title: Generalized Graphon Process: Convergence of Graph Frequencies in Stretched Cut Distance

abstract: Graphons have traditionally served as limit objects for dense graph sequences, with the cut distance serving as the metric for convergence. However, sparse graph sequences converge to the trivial graphon under the conventional definition of cut distance, which make this framework inadequate for many practical applications. In this paper, we utilize the concepts of generalized graphons and stretched cut distance to describe the convergence of sparse graph sequences. Specifically, we consider a random graph process generated from a generalized graphon. This random graph process converges to the generalized graphon in stretched cut distance. We use this random graph process to model the growing sparse graph, and prove the convergence of the adjacency matrices' eigenvalues. We supplement our findings with experimental validation. Our results indicate the possibility of transfer learning between sparse graphs.


title: Gall Bladder Cancer Detection from US Images with Only Image Level Labels

abstract: Automated detection of Gallbladder Cancer (GBC) from Ultrasound (US) images is an important problem, which has drawn increased interest from researchers. However, most of these works use difficult-to-acquire information such as bounding box annotations or additional US videos. In this paper, we focus on GBC detection using only image-level labels. Such annotation is usually available based on the diagnostic report of a patient, and do not require additional annotation effort from the physicians. However, our analysis reveals that it is difficult to train a standard image classification model for GBC detection. This is due to the low inter-class variance (a malignant region usually occupies only a small portion of a US image), high intra-class variance (due to the US sensor capturing a 2D slice of a 3D object leading to large viewpoint variations), and low training data availability. We posit that even when we have only the image level label, still formulating the problem as object detection (with bounding box output) helps a deep neural network (DNN) model focus on the relevant region of interest. Since no bounding box annotations is available for training, we pose the problem as weakly supervised object detection (WSOD). Motivated by the recent success of transformer models in object detection, we train one such model, DETR, using multi-instance-learning (MIL) with self-supervised instance selection to suit the WSOD task. Our proposed method demonstrates an improvement of AP and detection sensitivity over the SOTA transformer-based and CNN-based WSOD methods. Project page is at https://gbc-iitd.github.io/wsod-gbc


title: A horizon line annotation tool for streamlining autonomous sea navigation experiments

abstract: Horizon line (or sea line) detection (HLD) is a critical component in multiple marine autonomous navigation tasks, such as identifying the navigation area (i.e., the sea), obstacle detection and geo-localization, and digital video stabilization. A recent survey highlighted several weaknesses of such detectors, particularly on sea conditions lacking from the most extensive dataset currently used by HLD researchers. Experimental validation of more robust HLDs involves collecting an extensive set of these lacking sea conditions and annotating each collected image with the correct position and orientation of the horizon line. The annotation task is daunting without a proper tool. Therefore, we present the first public annotation software with tailored features to make the sea line annotation process fast and easy. The software is available at: https://drive.google.com/drive/folders/1c0ZmvYDckuQCPIWfh_70P7E1A_DWlIvF?usp=sharing


title: Brain-inspired Evolutionary Architectures for Spiking Neural Networks

abstract: The complex and unique neural network topology of the human brain formed through natural evolution enables it to perform multiple cognitive functions simultaneously. Automated evolutionary mechanisms of biological network structure inspire us to explore efficient architectural optimization for Spiking Neural Networks (SNNs). Instead of manually designed fixed architectures or hierarchical Network Architecture Search (NAS), this paper evolves SNNs architecture by incorporating brain-inspired local modular structure and global cross-module connectivity. Locally, the brain region-inspired module consists of multiple neural motifs with excitatory and inhibitory connections; Globally, we evolve free connections among modules, including long-term cross-module feedforward and feedback connections. We further introduce an efficient multi-objective evolutionary algorithm based on a few-shot performance predictor, endowing SNNs with high performance, efficiency and low energy consumption. Extensive experiments on static datasets (CIFAR10, CIFAR100) and neuromorphic datasets (CIFAR10-DVS, DVS128-Gesture) demonstrate that our proposed model boosts energy efficiency, archiving consistent and remarkable performance. This work explores brain-inspired neural architectures suitable for SNNs and also provides preliminary insights into the evolutionary mechanisms of biological neural networks in the human brain.


title: Enabling Runtime Verification of Causal Discovery Algorithms with Automated Conditional Independence Reasoning (Extended Version)

abstract: Causal discovery is a powerful technique for identifying causal relationships among variables in data. It has been widely used in various applications in software engineering. Causal discovery extensively involves conditional independence (CI) tests. Hence, its output quality highly depends on the performance of CI tests, which can often be unreliable in practice. Moreover, privacy concerns arise when excessive CI tests are performed. Despite the distinct nature between unreliable and excessive CI tests, this paper identifies a unified and principled approach to addressing both of them. Generally, CI statements, the outputs of CI tests, adhere to Pearl's axioms, which are a set of well-established integrity constraints on conditional independence. Hence, we can either detect erroneous CI statements if they violate Pearl's axioms or prune excessive CI statements if they are logically entailed by Pearl's axioms. Holistically, both problems boil down to reasoning about the consistency of CI statements under Pearl's axioms (referred to as CIR problem). We propose a runtime verification tool called CICheck, designed to harden causal discovery algorithms from reliability and privacy perspectives. CICheck employs a sound and decidable encoding scheme that translates CIR into SMT problems. To solve the CIR problem efficiently, CICheck introduces a four-stage decision procedure with three lightweight optimizations that actively prove or refute consistency, and only resort to costly SMT-based reasoning when necessary. Based on the decision procedure to CIR, CICheck includes two variants: ED-CICheck and ED-CICheck, which detect erroneous CI tests (to enhance reliability) and prune excessive CI tests (to enhance privacy), respectively. [abridged due to length limit]


title: Ionized regions in the central arcsecond of NGC 1068. YJHK spatially resolved spectroscopy

abstract: Context. Several bright emission line regions have been observed in the central 100 parsecs of the active galaxy NGC 1068. Aims. We aim to determine the properties and ionization mechanism of three regions of NGC 1068: the nucleus (B) and two clouds located at 0.3" and 0.7" north of it (C and D). Methods. We combined SPHERE (0.95 - 1.65 um) and SINFONI (1.5 - 2.45 um) spectra for the three regions B, C, and D. We compared these spectra to several CLOUDY photoionization models and to the MAPPINGS III Library of Fast Radiative Shock Models. Results. The emission line spectra of the three regions are almost identical to each other and contribute to most of the emission line flux in the nuclear region. The emitting media contain multiple phases, the most luminous of which have temperatures ranging from 104.8 K to 106 K. Central photoionization models can reproduce some features of the spectra, but the fast radiative shock model provides the best fit to the data. Conclusions. The similarity between the three regions indicates that they belong to the same class of objects. Based on our comparisons, we conclude that they are shock regions located where the jet of the active galactic nucleus impacts massive molecular clouds.


title: Self-normalized Cram\'{e}r type moderate deviations for martingales and applications

abstract: Cram\'er's moderate deviations give a quantitative estimate for the relative error of the normal approximation and provide theoretical justifications for many estimator used in statistics. In this paper, we establish self-normalized Cram\'{e}r type moderate deviations for martingales under some mile conditions. The result extends an earlier work of Fan, Grama, Liu and Shao [Bernoulli, 2019]. Moreover, applications of our result to Student's statistic, stationary martingale difference sequences and branching processes in a random environment are also discussed. In particular, we establish Cram\'{e}r type moderate deviations for Student's $t$-statistic for branching processes in a random environment.


title: Diving into Darkness: A Dual-Modulated Framework for High-Fidelity Super-Resolution in Ultra-Dark Environments

abstract: Super-resolution tasks oriented to images captured in ultra-dark environments is a practical yet challenging problem that has received little attention. Due to uneven illumination and low signal-to-noise ratio in dark environments, a multitude of problems such as lack of detail and color distortion may be magnified in the super-resolution process compared to normal-lighting environments. Consequently, conventional low-light enhancement or super-resolution methods, whether applied individually or in a cascaded manner for such problem, often encounter limitations in recovering luminance, color fidelity, and intricate details. To conquer these issues, this paper proposes a specialized dual-modulated learning framework that, for the first time, attempts to deeply dissect the nature of the low-light super-resolution task. Leveraging natural image color characteristics, we introduce a self-regularized luminance constraint as a prior for addressing uneven lighting. Expanding on this, we develop Illuminance-Semantic Dual Modulation (ISDM) components to enhance feature-level preservation of illumination and color details. Besides, instead of deploying naive up-sampling strategies, we design the Resolution-Sensitive Merging Up-sampler (RSMU) module that brings together different sampling modalities as substrates, effectively mitigating the presence of artifacts and halos. Comprehensive experiments showcases the applicability and generalizability of our approach to diverse and challenging ultra-low-light conditions, outperforming state-of-the-art methods with a notable improvement (i.e., $\uparrow$5\% in PSNR, and $\uparrow$43\% in LPIPS). Especially noteworthy is the 19-fold increase in the RMSE score, underscoring our method's exceptional generalization across different darkness levels. The code will be available online upon publication of the paper.


title: Effective Orientifolds from Broken Supersymmetry

abstract: We recently proposed a class of type IIB vacua that yield, at low energies, four--dimensional Minkowski spaces with broken supersymmetry and a constant string coupling. They are compactifications with an internal five-torus bearing a five--form flux $\Phi$ and warp factors depending on a single coordinate. The breaking of supersymmetry occurs when the internal space includes a finite interval. A probe-brane analysis revealed a gravitational repulsion and a charge attraction of equal magnitude from the left end of the interval, and a singularity at the other end. Here we complete the analysis revealing the presence, at one end, of an effective $O3$ of negative tension and positive five--form charge. We also determine the values of these quantities, and show that $T = -\, Q = \Phi$, and characterize the singularity present at the other end of the interval, which hosts an opposite charge. Finally, we discuss various forms of the gravity action in the presence of a boundary and identify a self--adjoint form for its fluctuations.


title: UniKG: A Benchmark and Universal Embedding for Large-Scale Knowledge Graphs

abstract: Irregular data in real-world are usually organized as heterogeneous graphs (HGs) consisting of multiple types of nodes and edges. To explore useful knowledge from real-world data, both the large-scale encyclopedic HG datasets and corresponding effective learning methods are crucial, but haven't been well investigated. In this paper, we construct a large-scale HG benchmark dataset named UniKG from Wikidata to facilitate knowledge mining and heterogeneous graph representation learning. Overall, UniKG contains more than 77 million multi-attribute entities and 2000 diverse association types, which significantly surpasses the scale of existing HG datasets. To perform effective learning on the large-scale UniKG, two key measures are taken, including (i) the semantic alignment strategy for multi-attribute entities, which projects the feature description of multi-attribute nodes into a common embedding space to facilitate node aggregation in a large receptive field; (ii) proposing a novel plug-and-play anisotropy propagation module (APM) to learn effective multi-hop anisotropy propagation kernels, which extends methods of large-scale homogeneous graphs to heterogeneous graphs. These two strategies enable efficient information propagation among a tremendous number of multi-attribute entities and meantimes adaptively mine multi-attribute association through the multi-hop aggregation in large-scale HGs. We set up a node classification task on our UniKG dataset, and evaluate multiple baseline methods which are constructed by embedding our APM into large-scale homogenous graph learning methods. Our UniKG dataset and the baseline codes have been released at https://github.com/Yide-Qiu/UniKG.


title: CONFLATOR: Incorporating Switching Point based Rotatory Positional Encodings for Code-Mixed Language Modeling

abstract: The mixing of two or more languages is called Code-Mixing (CM). CM is a social norm in multilingual societies. Neural Language Models (NLMs) like transformers have been effective on many NLP tasks. However, NLM for CM is an under-explored area. Though transformers are capable and powerful, they cannot always encode positional information since they are non-recurrent. Therefore, to enrich word information and incorporate positional information, positional encoding is defined. We hypothesize that Switching Points (SPs), i.e., junctions in the text where the language switches (L1 -> L2 or L2 -> L1), pose a challenge for CM Language Models (LMs), and hence give special emphasis to SPs in the modeling process. We experiment with several positional encoding mechanisms and show that rotatory positional encodings along with switching point information yield the best results. We introduce CONFLATOR: a neural language modeling approach for code-mixed languages. CONFLATOR tries to learn to emphasize switching points using smarter positional encoding, both at unigram and bigram levels. CONFLATOR outperforms the state-of-the-art on two tasks based on code-mixed Hindi and English (Hinglish): (i) sentiment analysis and (ii) machine translation.


title: AutoFuse: Automatic Fusion Networks for Deformable Medical Image Registration

abstract: Deformable image registration aims to find a dense non-linear spatial correspondence between a pair of images, which is a crucial step for many medical tasks such as tumor growth monitoring and population analysis. Recently, Deep Neural Networks (DNNs) have been widely recognized for their ability to perform fast end-to-end registration. However, DNN-based registration needs to explore the spatial information of each image and fuse this information to characterize spatial correspondence. This raises an essential question: what is the optimal fusion strategy to characterize spatial correspondence? Existing fusion strategies (e.g., early fusion, late fusion) were empirically designed to fuse information by manually defined prior knowledge, which inevitably constrains the registration performance within the limits of empirical designs. In this study, we depart from existing empirically-designed fusion strategies and develop a data-driven fusion strategy for deformable image registration. To achieve this, we propose an Automatic Fusion network (AutoFuse) that provides flexibility to fuse information at many potential locations within the network. A Fusion Gate (FG) module is also proposed to control how to fuse information at each potential network location based on training data. Our AutoFuse can automatically optimize its fusion strategy during training and can be generalizable to both unsupervised registration (without any labels) and semi-supervised registration (with weak labels provided for partial training data). Extensive experiments on two well-benchmarked medical registration tasks (inter- and intra-patient registration) with eight public datasets show that our AutoFuse outperforms state-of-the-art unsupervised and semi-supervised registration methods.


title: Minuteman: Machine and Human Joining Forces in Meeting Summarization

abstract: Many meetings require creating a meeting summary to keep everyone up to date. Creating minutes of sufficient quality is however very cognitively demanding. Although we currently possess capable models for both audio speech recognition (ASR) and summarization, their fully automatic use is still problematic. ASR models frequently commit errors when transcribing named entities while the summarization models tend to hallucinate and misinterpret the transcript. We propose a novel tool -- Minuteman -- to enable efficient semi-automatic meeting minuting. The tool provides a live transcript and a live meeting summary to the users, who can edit them in a collaborative manner, enabling correction of ASR errors and imperfect summary points in real time. The resulting application eases the cognitive load of the notetakers and allows them to easily catch up if they missed a part of the meeting due to absence or a lack of focus. We conduct several tests of the application in varied settings, exploring the worthiness of the concept and the possible user strategies.


title: Formalizing Multimedia Recommendation through Multimodal Deep Learning

abstract: Recommender systems (RSs) offer personalized navigation experiences on online platforms, but recommendation remains a challenging task, particularly in specific scenarios and domains. Multimodality can help tap into richer information sources and construct more refined user/item profiles for recommendations. However, existing literature lacks a shared and universal schema for modeling and solving the recommendation problem through the lens of multimodality. This work aims to formalize a general multimodal schema for multimedia recommendation. It provides a comprehensive literature review of multimodal approaches for multimedia recommendation from the last eight years, outlines the theoretical foundations of a multimodal pipeline, and demonstrates its rationale by applying it to selected state-of-the-art approaches. The work also conducts a benchmarking analysis of recent algorithms for multimedia recommendation within Elliot, a rigorous framework for evaluating recommender systems. The main aim is to provide guidelines for designing and implementing the next generation of multimodal approaches in multimedia recommendation.


title: FuzzLLM: A Novel and Universal Fuzzing Framework for Proactively Discovering Jailbreak Vulnerabilities in Large Language Models

abstract: Jailbreak vulnerabilities in Large Language Models (LLMs), which exploit meticulously crafted prompts to elicit content that violates service guidelines, have captured the attention of research communities. While model owners can defend against individual jailbreak prompts through safety training strategies, this relatively passive approach struggles to handle the broader category of similar jailbreaks. To tackle this issue, we introduce FuzzLLM, an automated fuzzing framework designed to proactively test and discover jailbreak vulnerabilities in LLMs. We utilize templates to capture the structural integrity of a prompt and isolate key features of a jailbreak class as constraints. By integrating different base classes into powerful combo attacks and varying the elements of constraints and prohibited questions, FuzzLLM enables efficient testing with reduced manual effort. Extensive experiments demonstrate FuzzLLM's effectiveness and comprehensiveness in vulnerability discovery across various LLMs.


title: Onset of Vortex Shedding and Hysteresis in Flow over Tandem Sharp-Edged Cylinders of Diverse Cross Sections

abstract: Numerical simulations are conducted to analyze flow characteristics around two tandem sharp-edged cylinders with cross sections of square (b*1 = 1) for the upstream cylinder and rectangle (b*2) for the downstream cylinder (b* = b/a, where a and b are the sides of cylinders). The study investigates the effects of Reynolds numbers (Re = 30 - 150), cross-sectional aspect ratios of the downstream cylinder (b*2 = 1 - 4), and scaled gap-spacing between cylinders (S* = 1 - 6) on the flow structure, onset of vortex shedding, hysteresis and aerodynamic parameters. The results reveal that increasing b2* suppresses the vortex shedding of the upstream cylinder, depending on S*. The suppression is attributed to the interference effect and the adhesion of the shear layers on the downstream cylinder. Three distinct time-mean flow patterns are identified based on the separation and reattachment of shear layers. The first flow pattern (I) exhibits parallel flow along the side faces of the upstream cylinder, while the separation bubbles associated with reattachment points are formed in flow pattern II on these faces. For pattern III, no reattachment point is observed and the separation bubbles cover the upstream cylinder' side faces. Additionally, two instantaneous flow patterns of extended-body and co-shedding are apperceived within the ranges of examined Re and S*. The behaviors of time-mean and varying forces as well as the vortex shedding frequency are correlated with the flow structures. The onset of vortex shedding and hysteresis dependence are discussed comprehensively. The results show that the critical Reynolds numbers for the onset of vortex shedding decrease from 128 to 50 with S* increasing from 1 to 6 (b*1 = 1 and b*2 = 4). The hysteresis limit is found within the range of 3.5 < S* < 4.5 for flow over two tandem cylinders (b*1 = 1 and b*2 = 4) at Re = 150.


title: Beamforming in Wireless Coded-Caching Systems

abstract: Increased capacity in the access network poses capacity challenges on the transport network due to the aggregated traffic. However, there are spatial and time correlation in the user data demands that could potentially be utilized. To that end, we investigate a wireless transport network architecture that integrates beamforming and coded-caching strategies. Especially, our proposed design entails a server with multiple antennas that broadcasts content to cache nodes responsible for serving users. Traditional caching methods face the limitation of relying on the individual memory with additional overhead. Hence, we develop an efficient genetic algorithm-based scheme for beam optimization in the coded-caching system. By exploiting the advantages of beamforming and coded-caching, the architecture achieves gains in terms of multicast opportunities, interference mitigation, and reduced peak backhaul traffic. A comparative analysis of this joint design with traditional, un-coded caching schemes is also conducted to assess the benefits of the proposed approach. Additionally, we examine the impact of various buffering and decoding methods on the performance of the coded-caching scheme. Our findings suggest that proper beamforming is useful in enhancing the effectiveness of the coded-caching technique, resulting in significant reduction in peak backhaul traffic.


title: Interactive Class-Agnostic Object Counting

abstract: We propose a novel framework for interactive class-agnostic object counting, where a human user can interactively provide feedback to improve the accuracy of a counter. Our framework consists of two main components: a user-friendly visualizer to gather feedback and an efficient mechanism to incorporate it. In each iteration, we produce a density map to show the current prediction result, and we segment it into non-overlapping regions with an easily verifiable number of objects. The user can provide feedback by selecting a region with obvious counting errors and specifying the range for the estimated number of objects within it. To improve the counting result, we develop a novel adaptation loss to force the visual counter to output the predicted count within the user-specified range. For effective and efficient adaptation, we propose a refinement module that can be used with any density-based visual counter, and only the parameters in the refinement module will be updated during adaptation. Our experiments on two challenging class-agnostic object counting benchmarks, FSCD-LVIS and FSC-147, show that our method can reduce the mean absolute error of multiple state-of-the-art visual counters by roughly 30% to 40% with minimal user input. Our project can be found at https://yifehuang97.github.io/ICACountProjectPage/.


title: Low Peak-to-Average Power Ratio FBMC-OQAM System based on Data Mapping and DFT Precoding

abstract: Filter bank multicarrier with offset quadrature amplitude modulation (FBMC-OQAM) is an alternative to OFDM for enhanced spectrum flexible usage. To reduce the peak-to-average power ratio (PAPR), DFT spreading is usually adopted in OFDM systems. However, in FBMC-OQAM systems, because the OQAM pre-processing splits the spread data into the real and imaginary parts, the DFT spreading can result in only marginal PAPR reduction. This letter proposes a novel map-DFT-spread FBMC-OQAM scheme. In this scheme, the transmitting data symbols are first mapped with a conjugate symmetry rule and then coded by the DFT. According to this method, the OQAM pre-processing can be avoided. Compared with the simple DFT-spread scheme, the proposed scheme achieves a better PAPR reduction. In addition, the effect of the prototype filter on the PAPR is studied via numerical simulation and a trade-off exists between the PAPR and out-of-band performances.


title: Haagerup and St{\o}rmer's conjecture for pointwise inner automorphisms

abstract: In 1988, Haagerup and St{\o}rmer conjectured that any pointwise inner automorphism of a type $\rm III_1$ factor is a composition of an inner and a modular automorphism. We study this conjecture and prove that any type $\rm III_1$ factor with trivial bicentralizer indeed satisfies this condition. In particular, this shows that Haagerup and St{\o}rmer's conjecture holds in full generality if Connes' bicentralizer problem has an affirmative answer. Our proof is based on Popa's intertwining theory and Marrakchi's recent work on relative bicentralizers.


title: Optimization Method Based On Optimal Control

abstract: In this paper, we focus on a method based on optimal control to address the optimization problem. The objective is to find the optimal solution that minimizes the objective function. We transform the optimization problem into optimal control by designing an appropriate cost function. Using Pontryagin's Maximum Principle and the associated forward-backward difference equations (FBDEs), we derive the iterative update gain for the optimization. The steady system state can be considered as the solution to the optimization problem. Finally, we discuss the compelling characteristics of our method and further demonstrate its high precision, low oscillation, and applicability for finding different local minima of non-convex functions through several simulation examples.


title: Class-Incremental Grouping Network for Continual Audio-Visual Learning

abstract: Continual learning is a challenging problem in which models need to be trained on non-stationary data across sequential tasks for class-incremental learning. While previous methods have focused on using either regularization or rehearsal-based frameworks to alleviate catastrophic forgetting in image classification, they are limited to a single modality and cannot learn compact class-aware cross-modal representations for continual audio-visual learning. To address this gap, we propose a novel class-incremental grouping network (CIGN) that can learn category-wise semantic features to achieve continual audio-visual learning. Our CIGN leverages learnable audio-visual class tokens and audio-visual grouping to continually aggregate class-aware features. Additionally, it utilizes class tokens distillation and continual grouping to prevent forgetting parameters learned from previous tasks, thereby improving the model's ability to capture discriminative audio-visual categories. We conduct extensive experiments on VGGSound-Instruments, VGGSound-100, and VGG-Sound Sources benchmarks. Our experimental results demonstrate that the CIGN achieves state-of-the-art audio-visual class-incremental learning performance. Code is available at https://github.com/stoneMo/CIGN.


title: Can you text what is happening? Integrating pre-trained language encoders into trajectory prediction models for autonomous driving

abstract: In autonomous driving tasks, scene understanding is the first step towards predicting the future behavior of the surrounding traffic participants. Yet, how to represent a given scene and extract its features are still open research questions. In this study, we propose a novel text-based representation of traffic scenes and process it with a pre-trained language encoder. First, we show that text-based representations, combined with classical rasterized image representations, lead to descriptive scene embeddings. Second, we benchmark our predictions on the nuScenes dataset and show significant improvements compared to baselines. Third, we show in an ablation study that a joint encoder of text and rasterized images outperforms the individual encoders confirming that both representations have their complementary strengths.


title: Shape effect on ice melting in flowing water

abstract: Iceberg melting is a critical factor for climate change, contributing to rising sea levels and climate change. However, the shape of an iceberg is an often neglected aspect of its melting process. Our study investigates the influence of different ice shapes and ambient flow velocities on melt rates by conducting direct numerical simulations. Our study focuses on the ellipsoidal shape, with the aspect ratio as the control parameter. It plays a crucial role in the melting process, resulting in significant variations in the melt rate between different shapes. Without flow, the optimal shape for a minimal melt rate is the disk (2D) or sphere (3D), due to the minimal surface area. However, as the ambient flow velocity increases, the optimal shape changes with the aspect ratio. We find that ice with an elliptical shape (when the long axis is aligned with the flow direction) can melt up to 10\% slower than a circular shape when exposed to flowing water. We provide a quantitative theoretical explanation for this optimal shape, based on the competition between surface area effects and convective heat transfer effects. Our findings provide insight into the interplay between phase transitions and ambient flows, contributing to our understanding of the iceberg melting process and highlighting the need to consider the aspect ratio effect in estimates of iceberg melt rates.


title: Shear viscosity of rotating, hot, and dense spin-half fermionic systems from quantum field theory

abstract: In this study, we calculate the shear viscosity for rotating fermions with spin-half under conditions of high temperature and density. We employ the Kubo formalism, rooted in finite-temperature quantum field theory, to compute the field correlation functions essential for this evaluation. The one-loop diagram pertinent to shear viscosity is analyzed within the context of curved space, utilizing tetrad formalism as an effective approach in cylindrical coordinates. Our findings focus on extremely high angular velocities, ranging from 0.1 to 1 GeV, which align with experimental expectations. Furthermore, we explore the inter-relationship between the chemical potential and angular velocity within the scope of this study.


title: Effects of strain-tunable valleys on charge transport in bismuth

abstract: The manipulation of the valley degree of freedom can boost the technological development of novel functional devices based on valleytronics. The current mainstream platform for valleytronics is to produce a monolayer with inversion asymmetry, in which the strain-band engineering through the substrates can serve to improve the performance of valley-based devices. However, pinpointing the effective role of strain is inevitable for the precise design of the desired valley structure. Here, we demonstrate the charge transport under continuously controllable external strain for bulk bismuth crystals with three equivalent electron valleys and one hole valley. The strain response of resistance, namely elastoresistance, exhibits the evolutions in both antisymmetric and symmetric channels with decreasing temperature. The elastoresistance behaviors mainly reflect the significant changes in valley density depending on the symmetry of induced strain, evidenced by our strain-dependent quantum oscillation measurements and first-principle band calculations under strain. These facts suggest the successful tune and evaluation of the valley populations through strain-dependent charge valley transport.


title: Melting of excitonic insulator phase by an intense terahertz pulse in Ta$_2$NiSe$_5$

abstract: In this study, the optical response to a terahertz pulse was investigated in the transition metal chalcogenide Ta$_2$NiSe$_5$, a candidate excitonic insulator. First, by irradiating a terahertz pulse with a relatively weak electric field (0.3 MV/cm), the spectral changes in reflectivity near the absorption edge due to third-order optical nonlinearity were measured and the absorption peak characteristic of the excitonic phase just below the interband transition was identified. Next, by irradiating a strong terahertz pulse with a strong electric field of 1.65 MV/cm, the absorption of the excitonic phase was found to be reduced, and a Drude-like response appeared in the mid-infrared region. These responses can be interpreted as carrier generation by exciton dissociation induced by the electric field, resulting in the partial melting of the excitonic phase and metallization. The presence of a distinct threshold electric field for carrier generation indicates exciton dissociation via quantum-tunnelling processes. The spectral change due to metallization by the electric field is significantly different from that due to the strong optical excitation across the gap, which can be explained by the different melting mechanisms of the excitonic phase in the two types of excitations.

categories: cond-mat.str-el cond-mat.mes-hall cond-mat.mtrl-sci physics.optics


title: Addressing Feature Imbalance in Sound Source Separation

abstract: Neural networks often suffer from a feature preference problem, where they tend to overly rely on specific features to solve a task while disregarding other features, even if those neglected features are essential for the task. Feature preference problems have primarily been investigated in classification task. However, we observe that feature preference occurs in high-dimensional regression task, specifically, source separation. To mitigate feature preference in source separation, we propose FEAture BAlancing by Suppressing Easy feature (FEABASE). This approach enables efficient data utilization by learning hidden information about the neglected feature. We evaluate our method in a multi-channel source separation task, where feature preference between spatial feature and timbre feature appears.


title: On the Structure of the Linear Codes with a Given Automorphism

abstract: The purpose of this paper is to present the structure of the linear codes over a finite field with q elements that have a permutation automorphism of order m. These codes can be considered as generalized quasi-cyclic codes. Quasi-cyclic codes and almost quasi-cyclic codes are discussed in detail, presenting necessary and sufficient conditions for which linear codes with such an automorphism are self-orthogonal, self-dual, or linear complementary dual.


title: Task-driven Compression for Collision Encoding based on Depth Images

abstract: This paper contributes a novel learning-based method for aggressive task-driven compression of depth images and their encoding as images tailored to collision prediction for robotic systems. A novel 3D image processing methodology is proposed that accounts for the robot's size in order to appropriately "inflate" the obstacles represented in the depth image and thus obtain the distance that can be traversed by the robot in a collision-free manner along any given ray within the camera frustum. Such depth-and-collision image pairs are used to train a neural network that follows the architecture of Variational Autoencoders to compress-and-transform the information in the original depth image to derive a latent representation that encodes the collision information for the given depth image. We compare our proposed task-driven encoding method with classical task-agnostic methods and demonstrate superior performance for the task of collision image prediction from extremely low-dimensional latent spaces. A set of comparative studies show that the proposed approach is capable of encoding depth image-and-collision image tuples from complex scenes with thin obstacles at long distances better than the classical methods at compression ratios as high as 4050:1.


title: Solving Systems of Linear Equations: HHL from a Tensor Networks Perspective

abstract: We present an algorithm for solving systems of linear equations based on the HHL algorithm with a novel qudits methodology, a generalization of the qubits with more states, to reduce the number of gates to be applied and the amount of resources. Based on this idea, we perform a quantum-inspired version on tensor networks, taking advantage of their ability to perform non-unitary operations such as projection. The main novelty of this proposal is to perform a simulation as efficient as possible of the HHL algorithm in order to benchmark the algorithm steps according to its input parameters and the input matrix. Finally, we use this algorithm to obtain a solution for the harmonic oscillator with an external force, the forced damped oscillator and the 2D static heat equation differential equations.


title: K-stability and large complex structure limits

abstract: We discuss how, under suitable assumptions, a K\"ahler test configuration admits a mirror Landau-Ginzburg model, giving a corresponding expression for the Donaldson-Futaki invariant as a residue pairing. We study the general behaviour of such mirror formulae under large scaling of the K\"ahler form. We exploit the observation that this scaling trivially preserves $K$-stability, but takes the mirror Landau-Ginzburg model to a large complex structure limit. In certain cases the mirror formulae for the Donaldson-Futaki invariant simplify in this limit. We focus on a special type of limiting behaviour, when the Donaldson-Futaki invariant concentrates at a single critical point of the Landau-Ginzburg potential, and show that this leads to new formulae for the Donaldson-Futaki invariant in terms of theta functions on the mirror. We provide a main application, which shows that such limiting behaviour actually occurs for test configurations in several nontrivial examples, both toric and non-toric, in the case of slope (in)stability for polarised surfaces.


title: The fine print on tempered posteriors

abstract: We conduct a detailed investigation of tempered posteriors and uncover a number of crucial and previously undiscussed points. Contrary to previous results, we first show that for realistic models and datasets and the tightly controlled case of the Laplace approximation to the posterior, stochasticity does not in general improve test accuracy. The coldest temperature is often optimal. One might think that Bayesian models with some stochasticity can at least obtain improvements in terms of calibration. However, we show empirically that when gains are obtained this comes at the cost of degradation in test accuracy. We then discuss how targeting Frequentist metrics using Bayesian models provides a simple explanation of the need for a temperature parameter $\lambda$ in the optimization objective. Contrary to prior works, we finally show through a PAC-Bayesian analysis that the temperature $\lambda$ cannot be seen as simply fixing a misspecified prior or likelihood.


title: Diagonal tensor algebra and naive liftings

abstract: The notion of naive lifting of DG modules was introduced by the authors in [16,17] for the purpose of studying problems in homological commutative algebra that involve self-vanishing of Ext. Our goal in this paper is to deeply study the naive lifting property using the tensor algebra of the shift of the diagonal ideal (or, diagonal tensor algebra, as is phrased in the title of this paper). Our main result provides several characterizations of naive liftability of DG modules under certain Ext vanishing conditions. As an application, we affirmatively answer [19, Question 4.10] under the same assumptions.


title: Non-invertible duality defect and non-commutative fusion algebra

abstract: We study non-invertible duality symmetries by gauging a diagonal subgroup of a non-anomalous U(1) $\times$ U(1) global symmetry. In particular, we employ the half-space gauging to $c=2$ bosonic torus conformal field theory (CFT) in two dimensions and pure U(1) $\times$ U(1) gauge theory in four dimensions. In $c=2$ bosonic torus CFT, we show that the non-invertible symmetry obtained from the diagonal gauging becomes emergent on an irrational CFT point. We also calculate the fusion rules concerning the duality defect. We find out that the fusion algebra is non-commutative. We also obtain a similar result in pure U(1) $\times$ U(1) gauge theory in four dimensions.


title: Discrete Denoising Diffusion Approach to Integer Factorization

abstract: Integer factorization is a famous computational problem unknown whether being solvable in the polynomial time. With the rise of deep neural networks, it is interesting whether they can facilitate faster factorization. We present an approach to factorization utilizing deep neural networks and discrete denoising diffusion that works by iteratively correcting errors in a partially-correct solution. To this end, we develop a new seq2seq neural network architecture, employ relaxed categorical distribution and adapt the reverse diffusion process to cope better with inaccuracies in the denoising step. The approach is able to find factors for integers of up to 56 bits long. Our analysis indicates that investment in training leads to an exponential decrease of sampling steps required at inference to achieve a given success rate, thus counteracting an exponential run-time increase depending on the bit-length.


title: Polyimides Crosslinked by Aromatic Molecules and Nanocomposites for High Temperature Capacitive Energy Storage

abstract: High temperature polymer-based dielectric capacitors are crucial for application in electronic power systems. However, the storage performance of conventional dielectrics polymer dramatically deteriorates due to the thermal breakdown under concurrent high temperatures and electric fields, and there are hardly reports on the causes of thermal breakdown from the aspects of the high temperature conduction loss and Joule heat dissipation. Herein, a combined strategy of crosslinking and compositing for polyimide-based nanocomposites is proposed, which minimizes the thermal breakdown by significantly inhibiting the high-temperature conduction loss and enhancing the high thermal conductivity. Furthermore, the rationale of the strategy was theoretically and experimentally verified from multiple perspectives. The charge-trapping effect is directly observed and quantitatively probed by Kelvin probe force microscopy with nano level resolution, indicating that the crosslinking network introduces local deep traps and effectively suppresses the charge transport. The thermal conductivity of the nanocomposites inhibits the high temperature thermal breakdown, which is confirmed by phase field simulations. Consequently, the optimized nanocomposites possess an ultra high discharge energy density(Ud) of 5.45 J/cm3 and 3.54 J/cm3 with a charge discharge efficiency, respectively, which outperforms the reported polyimide based dielectric nanocomposites. This work provides a scalable direction for high temperature polymer based capacitors with excellent performance.


title: On Ahn-Hendrey-Kim-Oum question for twin-width of graphs with 6 vertices

abstract: Twin-width is a recently introduced graph parameter for finite graphs. It is an open problem to determine whether there is an $n$-vertex graph having twin-width at least $n/2$ (due to J. Ahn, K. Hendrey, D. Kim and S. Oum). In an earlier paper, the author showed that such a graph with less than equal to 5 vertices does not exist. In this article, we show that such a graph with 6 vertices does not exist. More precisely, we prove that each graph with 6 vertices has twin-width less than equal to 2.


title: Real-Time Parallel Trajectory Optimization with Spatiotemporal Safety Constraints for Autonomous Driving in Congested Traffic

abstract: Multi-modal behaviors exhibited by surrounding vehicles (SVs) can typically lead to traffic congestion and reduce the travel efficiency of autonomous vehicles (AVs) in dense traffic. This paper proposes a real-time parallel trajectory optimization method for the AV to achieve high travel efficiency in dynamic and congested environments. A spatiotemporal safety module is developed to facilitate the safe interaction between the AV and SVs in the presence of trajectory prediction errors resulting from the multi-modal behaviors of the SVs. By leveraging multiple shooting and constraint transcription, we transform the trajectory optimization problem into a nonlinear programming problem, which allows for the use of optimization solvers and parallel computing techniques to generate multiple feasible trajectories in parallel. Subsequently, these spatiotemporal trajectories are fed into a multi-objective evaluation module considering both safety and efficiency objectives, such that the optimal feasible trajectory corresponding to the optimal target lane can be selected. The proposed framework is validated through simulations in a dense and congested driving scenario with multiple uncertain SVs. The results demonstrate that our method enables the AV to safely navigate through a dense and congested traffic scenario while achieving high travel efficiency and task accuracy in real time.


title: Partial Loopholes Free Device Independent Quantum Random Number Generator Using IBM's Quantum Computers

abstract: Random numbers form an intrinsic part of modern day computing with applications in a wide variety of fields. But due to their limitations, the use of pseudo random number generators (PRNGs) is certainly not desirable for sensitive applications. Quantum systems due to their intrinsic randomness form a suitable candidate for generation of true random numbers that can also be certified. In this work, the violation of CHSH inequality has been used to propose a scheme by which one can generate device independent quantum random numbers by use of IBM quantum computers that are available on the cloud. The generated random numbers have been tested for their source of origin through experiments based on the testing of CHSH inequality through available IBM quantum computers. The performance of each quantum computer against the CHSH test has been plotted and characterized. Further, efforts have been made to close as many loopholes as possible to produce device independent quantum random number generators. This study will provide new directions for the development of self-testing and semi-self-testing random number generators using quantum computers.


title: DeCUR: decoupling common & unique representations for multimodal self-supervision

abstract: The increasing availability of multi-sensor data sparks interest in multimodal self-supervised learning. However, most existing approaches learn only common representations across modalities while ignoring intra-modal training and modality-unique representations. We propose Decoupling Common and Unique Representations (DeCUR), a simple yet effective method for multimodal self-supervised learning. By distinguishing inter- and intra-modal embeddings, DeCUR is trained to integrate complementary information across different modalities. We evaluate DeCUR in three common multimodal scenarios (radar-optical, RGB-elevation, and RGB-depth), and demonstrate its consistent benefits on scene classification and semantic segmentation downstream tasks. Notably, we get straightforward improvements by transferring our pretrained backbones to state-of-the-art supervised multimodal methods without any hyperparameter tuning. Furthermore, we conduct a comprehensive explainability analysis to shed light on the interpretation of common and unique features in our multimodal approach. Codes are available at \url{https://github.com/zhu-xlab/DeCUR}.


title: Classification of normal phylogenetic varieties for tripods

abstract: We provide a complete classification of normal phylogenetic varieties coming from tripods, and more generally, from trivalent trees. Let $G$ be an abelian group. We prove that the group-based phylogenetic variety $X_{G,\mathcal{T}}$, for any trivalent tree $\mathcal{T}$, is projectively normal if and only if $G\in \{\mathbb{Z}_2, \mathbb{Z}_3, \mathbb{Z}_2\times\mathbb{Z}_2, \mathbb{Z}_4, \mathbb{Z}_5, \mathbb{Z}_7\}$.


title: Design of a Freely Rotating Wind Tunnel Test Bench for Measurements of Dynamic Coefficients

abstract: The needs to improve performances of artillery projectiles require accurate aerodynamic investigation methods. The aerodynamic design of a projectile usually starts from numerical analyses, mostly including semiempirical methods and/or Computational Fluid Dynamics (CFD), up to experimental techniques composed of wind-tunnel measurements or free-flight validations. In the frame, the present paper proposes a dedicated measurement methodology able to simultaneously determine the stability derivative C m$\alpha$ and the pitch damping coefficient sum Cmq + Cm$\alpha$ in a wind tunnel by means of a single and almost non-intrusive metrological setup called MiRo. This method is based on the stereovision principle and a three-axis freely-rotating mechanical test bench. In order to assess the reliability, repeatability and accuracy of this technique, the MiRo wind tunnel measurements are compared to other sources like aerodynamic balance measurements, alternative wind tunnel measurements, Ludwieg tube measurements, free-flight measurements and CFD simulations.


title: Morley Type Virtual Element Method for Von K\'{a}rm\'{a}n Equations

abstract: This paper analyses the nonconforming Morley type virtual element method to approximate a regular solution to the von K\'{a}rm\'{a}n equations that describes bending of very thin elastic plates. Local existence and uniqueness of a discrete solution to the non-linear problem is discussed. A priori error estimate in the energy norm is established under minimal regularity assumptions on the exact solution. Error estimates in piecewise $H^1$ and $L^2$ norm are also derived. A working procedure to find an approximation for the discrete solution using Newtons method is discussed. Numerical results that justify theoretical estimates are presented.


title: Filtered colimit elimination from Birkhoff's variety theorem

abstract: Birkhoff's variety theorem, a fundamental theorem of universal algebra, asserts that a subclass of a given algebra is definable by equations if and only if it satisfies specific closure properties. In a generalized version of this theorem, closure under filtered colimits is required. However, in some special cases, such as finite-sorted equational theories and ordered algebraic theories, the theorem holds without assuming closure under filtered colimits. We call this phenomenon "filtered colimit elimination," and study a sufficient condition for it. We show that if a locally finitely presentable category $\mathscr{A}$ satisfies a noetherian-like condition, then filtered colimit elimination holds in the generalized Birkhoff's theorem for algebras relative to $\mathscr{A}$.


title: Fully-Connected Spatial-Temporal Graph for Multivariate Time-Series Data

abstract: Multivariate Time-Series (MTS) data is crucial in various application fields. With its sequential and multi-source (multiple sensors) properties, MTS data inherently exhibits Spatial-Temporal (ST) dependencies, involving temporal correlations between timestamps and spatial correlations between sensors in each timestamp. To effectively leverage this information, Graph Neural Network-based methods (GNNs) have been widely adopted. However, existing approaches separately capture spatial dependency and temporal dependency and fail to capture the correlations between Different sEnsors at Different Timestamps (DEDT). Overlooking such correlations hinders the comprehensive modelling of ST dependencies within MTS data, thus restricting existing GNNs from learning effective representations. To address this limitation, we propose a novel method called Fully-Connected Spatial-Temporal Graph Neural Network (FC-STGNN), including two key components namely FC graph construction and FC graph convolution. For graph construction, we design a decay graph to connect sensors across all timestamps based on their temporal distances, enabling us to fully model the ST dependencies by considering the correlations between DEDT. Further, we devise FC graph convolution with a moving-pooling GNN layer to effectively capture the ST dependencies for learning effective representations. Extensive experiments show the effectiveness of FC-STGNN on multiple MTS datasets compared to SOTA methods. The code is available at https://github.com/Frank-Wang-oss/FCSTGNN.


title: Comprehensive analysis of synthetic learning applied to neonatal brain MRI segmentation

abstract: Brain segmentation from neonatal MRI images is a very challenging task due to large changes in the shape of cerebral structures and variations in signal intensities reflecting the gestational process. In this context, there is a clear need for segmentation techniques that are robust to variations in image contrast and to the spatial configuration of anatomical structures. In this work, we evaluate the potential of synthetic learning, a contrast-independent model trained using synthetic images generated from the ground truth labels of very few subjects.We base our experiments on the dataset released by the developmental Human Connectome Project, for which high-quality T1- and T2-weighted images are available for more than 700 babies aged between 26 and 45 weeks post-conception. First, we confirm the impressive performance of a standard Unet trained on a few T2-weighted volumes, but also confirm that such models learn intensity-related features specific to the training domain. We then evaluate the synthetic learning approach and confirm its robustness to variations in image contrast by reporting the capacity of such a model to segment both T1- and T2-weighted images from the same individuals. However, we observe a clear influence of the age of the baby on the predictions. We improve the performance of this model by enriching the synthetic training set with realistic motion artifacts and over-segmentation of the white matter. Based on extensive visual assessment, we argue that the better performance of the model trained on real T2w data may be due to systematic errors in the ground truth. We propose an original experiment combining two definitions of the ground truth allowing us to show that learning from real data will reproduce any systematic bias from the training set, while synthetic models can avoid this limitation. Overall, our experiments confirm that synthetic learning is an effective solution for segmenting neonatal brain MRI. Our adapted synthetic learning approach combines key features that will be instrumental for large multi-site studies and clinical applications.


title: FOREVER22: Gas and metal outflow from massive galaxies in protocluster regions

abstract: We study gas and metal outflow from massive galaxies in protocluster regions at $z=3-9$ by using the results of the FOREVER22 simulation project. Our simulations contain massive haloes with $M_{\rm h} \gtrsim 10^{13}~\rm M_{\odot}$, showing high star formation rates of $> 100~\rm M_{\odot}~yr^{-1}$ and hosting supermassive black holes with $M_{\rm BH} \gtrsim 10^{8}~\rm M_{\odot}$. We show that the mass loading factor ($\eta_{\rm M}$) sensitively depends on the halo mass and it is $\eta_{\rm M} = 1.2~(9.2)$ for $M_{\rm h} = 10^{13}~(10^{11})~\rm M_{\odot}$. Once the halo mass exceeds $\sim 10^{12.5}~\rm M_{\odot}$, the outflow velocity of the gas rapidly decreases near a virial radius, and the gas returns to a galactic centre finally as a fountain flow. Also, the metal inflow and outflow rates sensitively depend on the halo mass and redshift. At $z=3$, the inflow rate becomes larger than the outflow one if $M_{\rm h} \gtrsim 10^{13.0}~\rm M_{\odot}$. Thus, we suggest that massive haloes cannot be efficient metal enrichment sources beyond virial radii that will be probed in future observations, e.g., studies of metal absorption lines with the Prime Focus Spectrograph on the Subaru telescope.


title: Two-way Linear Probing Revisited

abstract: We introduce linear probing hashing schemes that construct a hash table of size $n$, with constant load factor $\alpha$, on which the worst-case unsuccessful search time is asymptotically almost surely $O(\log \log n)$. The schemes employ two linear probe sequences to find empty cells for the keys. Matching lower bounds on the maximum cluster size produced by any algorithm that uses two linear probe sequences are obtained as well.


title: Simba: A Scalable Bilevel Preconditioned Gradient Method for Fast Evasion of Flat Areas and Saddle Points

abstract: The convergence behaviour of first-order methods can be severely slowed down when applied to high-dimensional non-convex functions due to the presence of saddle points. If, additionally, the saddles are surrounded by large plateaus, it is highly likely that the first-order methods will converge to sub-optimal solutions. In machine learning applications, sub-optimal solutions mean poor generalization performance. They are also related to the issue of hyper-parameter tuning, since, in the pursuit of solutions that yield lower errors, a tremendous amount of time is required on selecting the hyper-parameters appropriately. A natural way to tackle the limitations of first-order methods is to employ the Hessian information. However, methods that incorporate the Hessian do not scale or, if they do, they are very slow for modern applications. Here, we propose Simba, a scalable preconditioned gradient method, to address the main limitations of the first-order methods. The method is very simple to implement. It maintains a single precondition matrix that it is constructed as the outer product of the moving average of the gradients. To significantly reduce the computational cost of forming and inverting the preconditioner, we draw links with the multilevel optimization methods. These links enables us to construct preconditioners in a randomized manner. Our numerical experiments verify the scalability of Simba as well as its efficacy near saddles and flat areas. Further, we demonstrate that Simba offers a satisfactory generalization performance on standard benchmark residual networks. We also analyze Simba and show its linear convergence rate for strongly convex functions.


title: ImitationNet: Unsupervised Human-to-Robot Motion Retargeting via Shared Latent Space

abstract: This paper introduces a novel deep-learning approach for human-to-robot motion retargeting, enabling robots to mimic human poses accurately. Contrary to prior deep-learning-based works, our method does not require paired human-to-robot data, which facilitates its translation to new robots. First, we construct a shared latent space between humans and robots via adaptive contrastive learning that takes advantage of a proposed cross-domain similarity metric between the human and robot poses. Additionally, we propose a consistency term to build a common latent space that captures the similarity of the poses with precision while allowing direct robot motion control from the latent space. For instance, we can generate in-between motion through simple linear interpolation between two projected human poses. We conduct a comprehensive evaluation of robot control from diverse modalities (i.e., texts, RGB videos, and key poses), which facilitates robot control for non-expert users. Our model outperforms existing works regarding human-to-robot retargeting in terms of efficiency and precision. Finally, we implemented our method in a real robot with self-collision avoidance through a whole-body controller to showcase the effectiveness of our approach. More information on our website https://evm7.github.io/UnsH2R/


title: Analysing Cross-Lingual Transfer in Low-Resourced African Named Entity Recognition

abstract: Transfer learning has led to large gains in performance for nearly all NLP tasks while making downstream models easier and faster to train. This has also been extended to low-resourced languages, with some success. We investigate the properties of cross-lingual transfer learning between ten low-resourced languages, from the perspective of a named entity recognition task. We specifically investigate how much adaptive fine-tuning and the choice of transfer language affect zero-shot transfer performance. We find that models that perform well on a single language often do so at the expense of generalising to others, while models with the best generalisation to other languages suffer in individual language performance. Furthermore, the amount of data overlap between the source and target datasets is a better predictor of transfer performance than either the geographical or genetic distance between the languages.


title: Experimenting with UD Adaptation of an Unsupervised Rule-based Approach for Sentiment Analysis of Mexican Tourist Texts

abstract: This paper summarizes the results of experimenting with Universal Dependencies (UD) adaptation of an Unsupervised, Compositional and Recursive (UCR) rule-based approach for Sentiment Analysis (SA) submitted to the Shared Task at Rest-Mex 2023 (Team Olga/LyS-SALSA) (within the IberLEF 2023 conference). By using basic syntactic rules such as rules of modification and negation applied on words from sentiment dictionaries, our approach exploits some advantages of an unsupervised method for SA: (1) interpretability and explainability of SA, (2) robustness across datasets, languages and domains and (3) usability by non-experts in NLP. We compare our approach with other unsupervised approaches of SA that in contrast to our UCR rule-based approach use simple heuristic rules to deal with negation and modification. Our results show a considerable improvement over these approaches. We discuss future improvements of our results by using modality features as another shifting rule of polarity and word disambiguation techniques to identify the right sentiment words.


title: Carrier filtering effect for enhanced thermopower in a body-centered tetragonal ruthenate

abstract: Charged carriers in solids diffuse from hot to cold sides under temperature gradient to induce the thermoelectric voltage. Carrier filtering effect, which only passes either electrons or holes for the conduction process, is an efficient method to enhance such voltage, although it is challenging to experimentally realize it especially in conventional metals with weak energy dependence of the density of states near the Fermi level. Here we measure the in-plane and out-of-plane thermopower of the layered perovskite Sr$_2$RuO$_4$ single crystals above room temperature, and find that the out-of-plane thermopower is largely enhanced with increasing temperature, while the in-plane one seems to remain a temperature-independent constant value which is expected from the Heikes formula. The observed large out-of-plane thermopower may originate from the recently proposed intriguing hole filtering effect in the body-centered tetragonal system, in which the carrier hopping through the centered atom is essential. Thus, the present carrier filtering effect may be a universal property to be applicable in various materials belonging to such crystal system.

categories: cond-mat.str-el cond-mat.mtrl-sci cond-mat.supr-con physics.app-ph


title: Semantic Latent Decomposition with Normalizing Flows for Face Editing

abstract: Navigating in the latent space of StyleGAN has shown effectiveness for face editing. However, the resulting methods usually encounter challenges in complicated navigation due to the entanglement among different attributes in the latent space. To address this issue, this paper proposes a novel framework, termed SDFlow, with a semantic decomposition in original latent space using continuous conditional normalizing flows. Specifically, SDFlow decomposes the original latent code into different irrelevant variables by jointly optimizing two components: (i) a semantic encoder to estimate semantic variables from input faces and (ii) a flow-based transformation module to map the latent code into a semantic-irrelevant variable in Gaussian distribution, conditioned on the learned semantic variables. To eliminate the entanglement between variables, we employ a disentangled learning strategy under a mutual information framework, thereby providing precise manipulation controls. Experimental results demonstrate that SDFlow outperforms existing state-of-the-art face editing methods both qualitatively and quantitatively. The source code is made available at https://github.com/phil329/SDFlow.


title: Computing Wasserstein Barycenter via operator splitting: the method of averaged marginals

abstract: The Wasserstein barycenter (WB) is an important tool for summarizing sets of probabilities. It finds applications in applied probability, clustering, image processing, etc. When the probability supports are finite and fixed, the problem of computing a WB is formulated as a linear optimization problem whose dimensions generally exceed standard solvers' capabilities. For this reason, the WB problem is often replaced with a simpler nonlinear optimization model constructed via an entropic regularization function so that specialized algorithms can be employed to compute an approximate WB efficiently. Contrary to such a widespread inexact scheme, we propose an exact approach based on the Douglas-Rachford splitting method applied directly to the WB linear optimization problem for applications requiring accurate WB. Our algorithm, which has the interesting interpretation of being built upon averaging marginals, operates series of simple (and exact) projections that can be parallelized and even randomized, making it suitable for large-scale datasets. As a result, our method achieves good performance in terms of speed while still attaining accuracy. Furthermore, the same algorithm can be applied to compute generalized barycenters of sets of measures with different total masses by allowing for mass creation and destruction upon setting an additional parameter. Our contribution to the field lies in the development of an exact and efficient algorithm for computing barycenters, enabling its wider use in practical applications. The approach's mathematical properties are examined, and the method is benchmarked against the state-of-the-art methods on several data sets from the literature.


title: Sharp Decay of the Fisher Information for Degenerate Fokker-Planck Equations

abstract: The goal of this work is to find the sharp rate of convergence to equilibrium under the quadratic Fisher information functional for solutions to Fokker-Planck equations governed by a constant drift term and a constant, yet possibly degenerate, diffusion matrix. A key ingredient in our investigation is a recent work of Arnold, Signorello, and Schmeiser, where the $L^2$-propagator norm of such Fokker-Planck equations was shown to be identical to the propagator norm of a finite dimensional ODE which is determined by matrices that are intimately connected to those appearing in the associated Fokker-Planck equations.


title: Neural Koopman prior for data assimilation

abstract: With the increasing availability of large scale datasets, computational power and tools like automatic differentiation and expressive neural network architectures, sequential data are now often treated in a data-driven way, with a dynamical model trained from the observation data. While neural networks are often seen as uninterpretable black-box architectures, they can still benefit from physical priors on the data and from mathematical knowledge. In this paper, we use a neural network architecture which leverages the long-known Koopman operator theory to embed dynamical systems in latent spaces where their dynamics can be described linearly, enabling a number of appealing features. We introduce methods that enable to train such a model for long-term continuous reconstruction, even in difficult contexts where the data comes in irregularly-sampled time series. The potential for self-supervised learning is also demonstrated, as we show the promising use of trained dynamical models as priors for variational data assimilation techniques, with applications to e.g. time series interpolation and forecasting.


title: Mickelsson algebras and inverse Shapovalov form

abstract: Let $\mathcal{A}$ be an associative algebra containing the classical or quantum universal enveloping algebra $U$ of a semi-simple complex Lie algebra. Let $\mathcal{J}\subset \mathcal{A}$ designate the left ideal generated by positive root vectors in $U$. We construct the reduction algebra of the pair $(\mathcal{A},\mathcal{J})$ via the inverse Shapovalov form of $U$.


title: Janus-graphene: a two-dimensional half-auxetic carbon allotropes with non-chemical Janus configuration

abstract: The asymmetric properties of Janus two-dimensional materials commonly depend on chemical effects, such as different atoms, elements, material types, etc. Herein, based on carbon gene recombination strategy, we identify an intrinsic non-chemical Janus configuration in a novel purely sp$^2$ hybridized carbon monolayer, named as Janus-graphene. With the carbon gene of tetragonal, hexagonal, and octagonal rings, the spontaneous unilateral growth of carbon atoms drives the non-chemical Janus configuration in Janus-graphene, which is totally different from the chemical effect in common Janus materials such as MoSSe. A structure-independent half-auxetic behavior is mapped in Janus-graphene that the structure maintains expansion whether stretched or compressed, which lies in the key role of $p_z$ orbital. The unprecedented half-auxeticity in Janus-graphene extends intrinsic auxeticity into pure sp$^2$ hybrid carbon configurations. With the unique half-auxeticity emerged in the non-chemical Janus configuration, Janus-graphene enriches the functional carbon family as a promising candidate for micro/nanoelectronic device applications.


title: DynamicScore: a Novel Metric for Quantifying Graph Dynamics

abstract: This study introduces a new metric called ''DynamicScore'' to evaluate the dynamics of graphs. It can be applied to both vertices and edges. Unlike traditional metrics, DynamicScore not only measures changes in the number of vertices or edges between consecutive time steps, but also takes into account the composition of these sets. To illustrate the possible contributions of this metric, we calculate it for increasing networks of preferential attachment (Barab{\'a}si-Albert model) and Edge-Markovian graphs. The results improve our understanding of the dynamics inherent in these generated evolving graphs.


title: Unified tensor network theory for frustrated classical spin models in two dimensions

abstract: Frustration is a ubiquitous phenomenon in many-body physics that influences the nature of the system in a profound way with exotic emergent behavior. Despite its long research history, the analytical or numerical investigations on frustrated spin models remain a formidable challenge due to their extensive ground state degeneracy. In this work, we propose a unified tensor network theory to numerically solve the frustrated classical spin models on various two-dimensional (2D) lattice geometry with high efficiency. We show that the appropriate encoding of emergent degrees of freedom in each local tensor is of crucial importance in the construction of the infinite tensor network representation of the partition function. The frustrations are thus relieved through the effective interactions between emergent local degrees of freedom. Then the partition function is written as a product of a one-dimensional (1D) transfer operator, whose eigen-equation can be solved by the standard algorithm of matrix product states rigorously, and various phase transitions can be accurately determined from the singularities of the entanglement entropy of the 1D quantum correspondence. We demonstrated the power of our unified theory by numerically solving 2D fully frustrated XY spin models on the kagome, square and triangular lattices, giving rise to a variety of thermal phase transitions from infinite-order Brezinskii-Kosterlitz-Thouless transitions, second-order transitions, to first-order phase transitions. Our approach holds the potential application to other types of frustrated classical systems like Heisenberg spin antiferromagnets.


title: Time-dependent photoionization spectroscopy of the Seyfert galaxy NGC 3783

abstract: We present an investigation into the spectroscopic properties of non-equilibrium photoionization processes operating in a time-evolving mode. Through a quantitative comparison between equilibrium and time-evolving models, we find that the time-evolving model exhibits a broader distribution of charge states compared to the equilibrium model, accompanied by a slight shift in the peak ionization state depending on the source variability and gas density. The time-evolving code, tpho in SPEX, has been successfully employed to analyze the spectral properties of warm absorbers in the Seyfert galaxy NGC 3783. The incorporation of variability in the tpho model improves the fits of the time-integrated spectra, providing more accurate descriptions to the average charge states of several elements, in particular for Fe which is peaked around Fe XIX. The inferred densities and distances of the relevant X-ray absorber components are estimated to be approximately a few 1E11 per cubic meter and less than 1 pc, respectively. Furthermore, the updated fit suggests a potential scenario in which the observed absorbers are being expelled from the central AGN at the escape velocities. This implies that these absorbers might not play a significant role in the AGN feedback mechanism.


title: Precise determination of ground-state hyperfine splitting and calculation of Zeeman coefficients for 171Yb+ microwave frequency standard

abstract: We report precise measurement of the hyperfine splitting and calculation of the Zeeman coefficients of the $^{171}$Yb$^+$ ground state. The absolute hyperfine splitting frequency is measured using high-resolution laser-microwave double-resonance spectroscopy at 0.1 mHz level, and evaluated using more accurate Zeeman coefficients. These Zeeman coefficients are derived using Land\'{e} $g_J$ factors calculated by two atomic-structure methods, multiconfiguration Dirac-Hartree-Fock, and multireference configuration interaction. The cross-check of the two calculations ensures an accuracy of the Zeeman coefficients at $10^{-2}$ Hz/G$^2$ level. The results provided in this paper improve the accuracy and reliability of the second-order Zeeman shift correction, thus further improving the accuracy of the microwave frequency standards based on $^{171}$Yb$^+$. The high-precision hyperfine splitting and Zeeman coefficients could also support could also support further experiments to improve the constraints of fundamental constants through clock frequency comparison of the Yb$^+$ system.


title: Reconstruction multiclasse pour l'imagerie TEP 3-photons

abstract: This contribution addresses the problem of image reconstruction of radioactivity distribution for which the available information arises from several classes of data, each associated with a specific combination of detections. We introduce a theoretical framework to measure the amount of information brought by each class and we develop an iterative algorithm dedicated to multi-class reconstruction based on maximum likelihood.We apply our approach to the XEMIS2 camera, a preclinical prototype of a Compton telescope dedicated to 3-photon PET imaging for which four distinct classes of partial detections coexist with the full detection class.Based on Monte Carlo simulations, we present the first elements of our model.


title: Superfolded configuration induced low thermal conductivity in two-dimensional carbon allotropes revealed via machine learning force constant potential

abstract: Understanding the fundamental link between structure and functionalization is crucial for the design and optimization of functional materials, since different structural configurations could trigger materials to demonstrate diverse physical, chemical, and electronic properties. However, the correlation between crystal structure and thermal conductivity (\k{appa}) remains enigmatic. In this study, taking two-dimensional (2D) carbon allotropes as study cases, we utilize phonon Boltzmann transport equation (BTE) along with machine learning force constant potential to thoroughly explore the complex folding structure of pure sp2 hybridized carbon materials from the perspective of crystal structure, mode-level phonon resolved thermal transport, and atomic interactions, with the goal of identifying the underlying relationship between 2D geometry and \k{appa}. We propose two potential structure evolution mechanisms for targeted thermal transport properties: in-plane and out-of-plane folding evolutions, which are generally applicable to 2D carbon allotropes. It is revealed that the folded structure produces strong symmetry breaking, and simultaneously produces exceptionally strongly suppressed phonon group velocities, strong phonon-phonon scattering, and weak phonon hydrodynamics, which ultimately lead to low \k{appa}. The insight into the folded effect of atomic structures on thermal transport deepens our understanding of the relationship between structure and functionalization, which offers straightforward guidance for designing novel nanomaterials with targeted \k{appa}, as well as propel developments in materials science and engineering.


title: Probing bad theories with the dualization algorithm I

abstract: Recently an algorithm to build $SL(2,\mathbb{Z})$ duals, including mirror duals, of 3d $\mathcal{N}=4$ quiver theories and their 4d $\mathcal{N}=1$ uplift has been introduced. In this work we use this new tool to study the so-called bad theories. Our approach allows us to determine exactly indices/partition functions for generic values of fugacities/real mass and FI parameters revealing their surprising feature: the 4d index/3d partition function of a bad theory behaves as a sum of distributions rather than an ordinary function of the deformation parameters. We focus on the bad SQCD, with $U(N_c)$ gauge group in 3d and $USp(2N_c)$ in 4d, while in an upcoming paper we will consider linear quivers which, in the 3d case, have both unitary and special unitary bad nodes.


title: Iterative Interference Cancellation for Time Reversal Division Multiple Access

abstract: Time Reversal (TR) has been proposed as a competitive precoding strategy for low-complexity devices, relying on ultra-wideband waveforms. This transmit processing paradigm can address the need for low power and low complexity receivers, which is particularly important for the Internet of Things, since it shifts most of the communications signal processing complexity to the transmitter side. Due to its spatio-temporal focusing property, TR has also been used to design multiple access schemes for multi-user communications scenarios. However, in wideband time-division multiple access schemes, the signals received by users suffer from significant levels of inter-symbol interference as well as interference from uncoordinated users, which often require additional processing at the receiver side. This paper proposes an iterative TR scheme that aims to reduce the level of interference in wideband multi-user settings, while keeping the processing complexity only at the transmitter side. The performance of the proposed TR-based protocol is evaluated using analytical derivations. In addition, its superiority over the conventional Time Reversal Division Multiple Access (TRDMA) scheme is demonstrated through simulations as well as experimental measurements at $2.5$ GHz carrier frequency with variable bandwidth values.


title: Heat flow of p-harmonic maps from complete manifolds into generalised regular balls

abstract: We study the heat flow of p-harmonic maps between complete Riemannian manifolds. We prove the global existence of the flow when the initial datum has values in a generalised regular ball. In particular, if the target manifold has nonpositive sectional curvature, we obtain the global existence of the flow for any initial datum with finite p-energy. If, in addition, the target manifold is compact, the flow converges to a p-harmonic map. This gives an extension of the results of Liao-Tam [12] concerning the harmonic heat flow (p = 2) to the case p $\ge$ 2. We also derive a Liouville type theorem for p-harmonic maps between complete Riemannian manifolds.


title: A functional limit theorem for lattice oscillating random walk

abstract: The paper is devoted to an invariance principle for Kemperman's model of oscillating random walk on $\mathbb{Z}$. This result appears as an extension of the invariance principal theorem for classical random walks on $\mathbb{Z}$ or reflected random walks on $\mathbb{N}_0$. Relying on some natural Markov sub-process which takes into account the oscillation of the random walks between $\mathbb{Z}^-$ and $\mathbb{Z}^+$, we first construct an aperiodic sequence of renewal operators acting on a suitable Banach space and then apply a powerful theorem proved by S. Gou\"ezel.


title: Diff-Privacy: Diffusion-based Face Privacy Protection

abstract: Privacy protection has become a top priority as the proliferation of AI techniques has led to widespread collection and misuse of personal data. Anonymization and visual identity information hiding are two important facial privacy protection tasks that aim to remove identification characteristics from facial images at the human perception level. However, they have a significant difference in that the former aims to prevent the machine from recognizing correctly, while the latter needs to ensure the accuracy of machine recognition. Therefore, it is difficult to train a model to complete these two tasks simultaneously. In this paper, we unify the task of anonymization and visual identity information hiding and propose a novel face privacy protection method based on diffusion models, dubbed Diff-Privacy. Specifically, we train our proposed multi-scale image inversion module (MSI) to obtain a set of SDM format conditional embeddings of the original image. Based on the conditional embeddings, we design corresponding embedding scheduling strategies and construct different energy functions during the denoising process to achieve anonymization and visual identity information hiding. Extensive experiments have been conducted to validate the effectiveness of our proposed framework in protecting facial privacy.


title: A Distributed Algebra System for Time Integration on Parallel Computers

abstract: We present a distributed algebra system for efficient and compact implementation of numerical time integration schemes on parallel computers and graphics processing units (GPU). The software implementation combines the time integration library Odeint from Boost with the OpenFPM framework for scalable scientific computing. Implementing multi-stage, multi-step, or adaptive time integration methods in distributed-memory parallel codes or on GPUs is challenging. The present algebra system addresses this by making the time integration methods from Odeint available in a concise template-expression language for numerical simulations distributed and parallelized using OpenFPM. This allows using state-of-the-art time integration schemes, or switching between schemes, by changing one line of code, while maintaining parallel scalability. This enables scalable time integration with compact code and facilitates rapid rewriting and deployment of simulation algorithms. We benchmark the present software for exponential and sigmoidal dynamics and present an application example to the 3D Gray-Scott reaction-diffusion problem on both CPUs and GPUs in only 60 lines of code.


title: Gas-phase metallicity of local AGN in the GASP and MaNGA surveys: the role of ram-pressure stripping

abstract: Growing evidence in support of a connection between Active Galactic Nuclei (AGN) activity and the Ram-Pressure Stripping (RPS) phenomenon has been found both observationally and theoretically in the past decades. In this work, we further explore the impact of RPS on the AGN activity by estimating the gas-phase metallicity of nuclear regions and the mass-metallicity relation of galaxies at $z \leq$ 0.07 and with stellar masses $\log {\rm M}_* / {\rm M}_\odot \geq 9.0 $, either experiencing RPS or not. To measure oxygen abundances, we exploit Integral Field Spectroscopy data from the GASP and MaNGA surveys, photoionization models generated with the code CLOUDY and the code Nebulabayes to compare models and observations. In particular, we build CLOUDY models to reproduce line ratios induced by photoionization from stars, AGN, or a contribution of both. We find that the distributions of metallicity and [O III]$\lambda$5007 luminosity of galaxies undergoing RPS are similar to the ones of undisturbed galaxies. Independently of the RPS, we do not find a correlation between stellar mass and AGN metallicity in the mass range $\log {\rm M}_* / {\rm M}_\odot \geq 10.4$, while for the star-forming galaxies we observe the well-known mass-metallicity relation (MZR) between $ 9.0 \leq \log \ {\rm M}_* /{\rm M}_\odot \leq 10.8$ with a scatter mainly driven by the star-formation rate (SFR) and a plateau around $\log {\rm M}_* / {\rm M}_\odot \sim 10.5$. The gas-phase metallicity in the nuclei of AGN hosts is enhanced with respect to those of SF galaxies by a factor of $\sim$ 0.05 dex regardless of the RPS.


title: In situ monitoring of block copolymer self-assembly through controlled dialysis with light and neutron scattering detection

abstract: Solution self-assembly of amphiphilic block copolymers (BCs) is typically performed by a solvent-to-water exchange. However, BC assemblies are often trapped in metastable states depending on the mixing conditions such as the magnitude and rate of water addition. BC self-assembly can be performed under near thermodynamic control by dialysis, which accounts for a slow and gradual water addition. In this Letter we report the use of a specifically designed dialysis cell to continuously monitor by dynamic light scattering and small-angle neutron scattering the morphological changes of PDMS-b-PEG BCs self-assemblies during THF-to-water exchange. The complete phase diagrams of near-equilibrium structures can then be established. Spherical micelles first form before evolving to rod-like micelles and vesicles, decreasing the total developed interfacial area of self-assembled structures in response to increasing interfacial energy as the water content increases. The dialysis kinetics can be tailored to the time scale of BC self-assembly by modifying the membrane pore size, which is of interest to study the interplay between thermodynamics and kinetics in self-assembly pathways.


title: MultIOD: Rehearsal-free Multihead Incremental Object Detector

abstract: Class-Incremental learning (CIL) refers to the ability of artificial agents to integrate new classes as they appear in a stream. It is particularly interesting in evolving environments where agents have limited access to memory and computational resources. The main challenge of incremental learning is catastrophic forgetting, the inability of neural networks to retain past knowledge when learning a new one. Unfortunately, most existing class-incremental methods for object detection are applied to two-stage algorithms such as Faster-RCNN, and rely on rehearsal memory to retain past knowledge. We argue that those are not suitable in resource-limited environments, and more effort should be dedicated to anchor-free and rehearsal-free object detection. In this paper, we propose MultIOD, a class-incremental object detector based on CenterNet. Our contributions are: (1) we propose a multihead feature pyramid and multihead detection architecture to efficiently separate class representations, (2) we employ transfer learning between classes learned initially and those learned incrementally to tackle catastrophic forgetting, and (3) we use a class-wise non-max-suppression as a post-processing technique to remove redundant boxes. Results show that our method outperforms state-of-the-art methods on two Pascal VOC datasets, while only saving the model in its current state, contrary to other distillation-based counterparts.


title: Einstein Structure of Squashed Four-Spheres

abstract: It is known that the moduli space of Einstein structures is an isolated point so that an Einstein structure has no infinitesimal Einstein deformations. We examine the rigidity of the Einstein structure by considering deformations of the round four-sphere $\mathbb{S}^4$. We show that any deformation of the round four-sphere $\mathbb{S}^4$ causes it to deviate from the Einstein structure, except trivial deformations at most only changing the size of the sphere.


title: Vacuum Static Spherically Symmetric Spacetimes in Harada's Theory

abstract: Very recently Harada proposed a gravitational theory which is of third order in the derivatives of the metric tensor with the property that any solution of Einstein's field equations (EFEs) possibly with a cosmological constant is necessarily a solution of the new theory. He then applied his theory to derive a second-order ODE for the evolution of the scale factor of the FLRW metric. Remarkably he showed that, even in a matter-dominated universe with zero cosmological constant, there is a late-time transition from decelerating to accelerating expansion. Harada also derived a generalisation of the Schwarzschild solution. However, as his starting point he assumed an unnecessarily restricted form for a static spherically symmetric metric. In this note the most general spherically symmetric static vacuum solution of the theory is derived. Mantica and Molinari have shown that Harada's theory may be recast into the form of the EFEs with an additional source term in the form of a second-order conformal Killing tensor(CKT). Accordingly they have dubbed the theory conformal Killing gravity. Then, using a result in a previous paper of theirs on CKTs in generalised Robertson-Walker spacetimes, they rederived Harada's generalised evolution equation for the scale factor of the FLRW metric. However, Mantica and Molinari appear to have overlooked the fact that all solutions of the new theory (except those satisfying the EFEs) admit a non-trivial second-order Killing tensor. Such Killing tensors are invaluable when considering the geodesics of a metric as they lead to a second quadratic invariant of the motion in addition to that derived from the metric.


title: Stochastic Gradient Descent-like relaxation is equivalent to Metropolis dynamics in discrete optimization and inference problems

abstract: Is Stochastic Gradient Descent (SGD) substantially different from Metropolis Monte Carlo dynamics? This is a fundamental question at the time of understanding the most used training algorithm in the field of Machine Learning, but it received no answer until now. Here we show that in discrete optimization and inference problems, the dynamics of an SGD-like algorithm resemble very closely that of Metropolis Monte Carlo with a properly chosen temperature, which depends on the mini-batch size. This quantitative matching holds both at equilibrium and in the out-of-equilibrium regime, despite the two algorithms having fundamental differences (e.g.\ SGD does not satisfy detailed balance). Such equivalence allows us to use results about performances and limits of Monte Carlo algorithms to optimize the mini-batch size in the SGD-like algorithm and make it efficient at recovering the signal in hard inference problems.


title: Incentive-Based Software Security: Fair Micro-Payments for Writing Secure Code

abstract: We describe a mechanism to create fair and explainable incentives for software developers to reward contributions to security of a product. We use cooperative game theory to model the actions of the developer team inside a risk management workflow, considering the team to actively work against known threats, and thereby receive micro-payments based on their performance. The use of the Shapley-value provides natural explanations here directly through (new) interpretations of the axiomatic grounding of the imputation. The resulting mechanism is straightforward to implement, and relies on standard tools from collaborative software development, such as are available for git repositories and mining thereof. The micropayment model itself is deterministic and does not rely on uncertain information outside the scope of the developer team or the enterprise, hence is void of assumptions about adversarial incentives, or user behavior, up to their role in the risk management process that the mechanism is part of. We corroborate our model with a worked example based on real-life data.


title: PAg-NeRF: Towards fast and efficient end-to-end panoptic 3D representations for agricultural robotics

abstract: Precise scene understanding is key for most robot monitoring and intervention tasks in agriculture. In this work we present PAg-NeRF which is a novel NeRF-based system that enables 3D panoptic scene understanding. Our representation is trained using an image sequence with noisy robot odometry poses and automatic panoptic predictions with inconsistent IDs between frames. Despite this noisy input, our system is able to output scene geometry, photo-realistic renders and 3D consistent panoptic representations with consistent instance IDs. We evaluate this novel system in a very challenging horticultural scenario and in doing so demonstrate an end-to-end trainable system that can make use of noisy robot poses rather than precise poses that have to be pre-calculated. Compared to a baseline approach the peak signal to noise ratio is improved from 21.34dB to 23.37dB while the panoptic quality improves from 56.65% to 70.08%. Furthermore, our approach is faster and can be tuned to improve inference time by more than a factor of 2 while being memory efficient with approximately 12 times fewer parameters.


title: Commutator nilpotency for somewhere-to-below shuffles

abstract: Given a positive integer $n$, we consider the group algebra of the symmetric group $S_{n}$. In this algebra, we define $n$ elements $t_{1},t_{2},\ldots,t_{n}$ by the formula \[ t_{\ell}:=\operatorname*{cyc}\nolimits_{\ell}+\operatorname*{cyc}\nolimits_{\ell,\ell+1}+\operatorname*{cyc}\nolimits_{\ell,\ell+1,\ell+2}+\cdots+\operatorname*{cyc}\nolimits_{\ell,\ell+1,\ldots,n}, \] where $\operatorname*{cyc}\nolimits_{\ell,\ell+1,\ldots,k}$ denotes the cycle that sends $\ell\mapsto\ell+1\mapsto\ell+2\mapsto\cdots\mapsto k\mapsto\ell$. These $n$ elements are called the *somewhere-to-below shuffles* due to an interpretation as card-shuffling operators. In this paper, we show that their commutators $\left[ t_{i},t_{j}\right] =t_{i}t_{j}-t_{j}t_{i}$ are nilpotent, and specifically that \[ \left[ t_{i},t_{j}\right] ^{\left\lceil \left( n-j\right) /2\right\rceil +1}=0\ \ \ \ \ \ \ \ \ \ \text{for any }i,j\in\left\{ 1,2,\ldots,n\right\} \] and \[ \left[ t_{i},t_{j}\right] ^{j-i+1}=0\ \ \ \ \ \ \ \ \ \ \text{for any }1\leq i\leq j\leq n. \] We discuss some further identities and open questions.