title: SteloCoder: a Decoder-Only LLM for Multi-Language to Python Code Translation

abstract: With the recent focus on Large Language Models (LLMs), both StarCoder (Li et al., 2023) and Code Llama (Rozi\`ere et al., 2023) have demonstrated remarkable performance in code generation. However, there is still a need for improvement in code translation functionality with efficient training techniques. In response to this, we introduce SteloCoder, a decoder-only StarCoder-based LLM designed specifically for multi-programming language-to-Python code translation. In particular, SteloCoder achieves C++, C#, JavaScript, Java, or PHP-to-Python code translation without specifying the input programming language. We modified StarCoder model architecture by incorporating a Mixture-of-Experts (MoE) technique featuring five experts and a gating network for multi-task handling. Experts are obtained by StarCoder fine-tuning. Specifically, we use a Low-Rank Adaptive Method (LoRA) technique, limiting each expert size as only 0.06% of number of StarCoder's parameters. At the same time, to enhance training efficiency in terms of time, we adopt curriculum learning strategy and use self-instruct data for efficient fine-tuning. As a result, each expert takes only 6 hours to train on one single 80Gb A100 HBM. With experiments on XLCoST datasets, SteloCoder achieves an average of 73.76 CodeBLEU score in multi-programming language-to-Python translation, surpassing the top performance from the leaderboard by at least 3.5. This accomplishment is attributed to only 45M extra parameters with StarCoder as the backbone and 32 hours of valid training on one 80GB A100 HBM. The source code is release here: https://github.com/sade-adrien/SteloCoder.


title: Phase chimera states on non-local hyperrings

abstract: Chimera states are dynamical states where regions of synchronous trajectories coexist with incoherent ones. A significant amount of research has been devoted to study chimera states in systems of identical oscillators, non-locally coupled through pairwise interactions. Nevertheless, there is an increasing evidence, also supported by available data, that complex systems are composed by multiple units experiencing many-body interactions, that can be modeled by using higher-order structures beyond the paradigm of classic pairwise networks. In this work we investigate whether phase chimera states appear in this framework, by focusing on a novel topology solely involving many-body, non-local and non-regular interactions, hereby named non-local d-hyperring, being (d+1) the order of the interactions. We present the theory by using the paradigmatic Stuart-Landau oscillators as node dynamics, and show that phase chimera states emerge in a variety of structures and with different coupling functions. For comparison, we show that, when higher-order interactions are "flattened" to pairwise ones, the chimera behavior is weaker and more elusive.


title: Improving Language Models Meaning Understanding and Consistency by Learning Conceptual Roles from Dictionary

abstract: The non-humanlike behaviour of contemporary pre-trained language models (PLMs) is a leading cause undermining their trustworthiness. A striking phenomenon of such faulty behaviours is the generation of inconsistent predictions, which produces logically contradictory results, such as generating different predictions for texts delivering the same meaning or violating logical properties. Previous studies exploited data augmentation or implemented specialised loss functions to alleviate the issue. However, their usage is limited, because they consume expensive training resources for large-sized PLMs and can only handle a certain consistency type. To this end, we propose a practical approach that alleviates the inconsistent behaviour issue by fundamentally improving PLMs' meaning awareness. Based on the conceptual role theory, our method allows PLMs to capture accurate meaning by learning precise interrelationships between concepts from word-definition pairs in a dictionary. Next, we propose an efficient parameter integration technique that updates only a few additional parameters to combine the learned interrelationship with PLMs' pre-trained knowledge. Our experimental results reveal that the approach can concurrently improve multiple types of consistency, enables efficient knowledge integration, and easily applies to other languages.


title: Investigating the gaze control ability of VALORANT players using a Python based tool

abstract: The current study investigated the gaze movements of FPS gamers in actual game environments. We developed a low-cost analysis tool using Python to identify gaze movements in real-world gaming environments. In Experiment 1, 11 middle-skilled and ten high-skilled FPS gamers performed a task under the experimental condition. Gaze position, reaction time, and accuracy were calculated during the task. Reaction time exhibited a significant positive correlation with task accuracy, suggesting that speed and accuracy were associated with higher game performance. The middle-skilled gamers had a significantly wider horizontal gaze distribution than the high-skilled gamers, and gaze distribution and reaction time showed a negative correlation. These results suggested that high-skilled players utilize peripheral vision during gameplay. In Experiment 2, 15 middle-skilled and 12 high-skilled FPS gamers performed an actual FPS game match. The gaze distribution, kill/death/assist ratio (KDA), and percentage of gaze on game information were calculated. In experiment 2, gaze locations in less important areas were positively correlated with KDA. Thus, performance was determined by the important areas where the gaze was focused rather than by the coordination of gaze position alone. Therefore, a broader range of environments is necessary to comprehend the superior performance of FPS gamers.


title: Symmetry-preserving graph attention network to solve routing problems at multiple resolutions

abstract: Travelling Salesperson Problems (TSPs) and Vehicle Routing Problems (VRPs) have achieved reasonable improvement in accuracy and computation time with the adaptation of Machine Learning (ML) methods. However, none of the previous works completely respects the symmetries arising from TSPs and VRPs including rotation, translation, permutation, and scaling. In this work, we introduce the first-ever completely equivariant model and training to solve combinatorial problems. Furthermore, it is essential to capture the multiscale structure (i.e. from local to global information) of the input graph, especially for the cases of large and long-range graphs, while previous methods are limited to extracting only local information that can lead to a local or sub-optimal solution. To tackle the above limitation, we propose a Multiresolution scheme in combination with Equivariant Graph Attention network (mEGAT) architecture, which can learn the optimal route based on low-level and high-level graph resolutions in an efficient way. In particular, our approach constructs a hierarchy of coarse-graining graphs from the input graph, in which we try to solve the routing problems on simple low-level graphs first, then utilize that knowledge for the more complex high-level graphs. Experimentally, we have shown that our model outperforms existing baselines and proved that symmetry preservation and multiresolution are important recipes for solving combinatorial problems in a data-driven manner. Our source code is publicly available at https://github.com/HySonLab/Multires-NP-hard


title: Asymptotic tracking by funnel control with internal models

abstract: Funnel control achieves output tracking with guaranteed tracking performance for unknown systems and arbitrary reference signals. In particular, the tracking error is guaranteed to satisfy time-varying error bounds for all times (it evolves in the funnel). However, convergence to zero cannot be guaranteed, but the error often stays close to the funnel boundary, inducing a comparatively large feedback gain. This has several disadvantages (e.g. poor tracking performance and sensitivity to noise due to the underlying high-gain feedback principle). In this paper, therefore, the usually known reference signal is taken into account during funnel controller design, i.e. we propose to combine the well-known internal model principle with funnel control. We focus on linear systems with linear reference internal models and show that under mild adjustments of funnel control, we can achieve asymptotic tracking for a whole class of linear systems (i.e. without relying on the knowledge of system parameters).


title: Infinite product formulae for semilocal Solomon zeta functions

abstract: Lustig gave an infinite product formula for the zeta function of a commutative two-dimensional regular local ring with finite residue field. We extend this to the noncommutative setting with a method based on filtration by an invertible ideal. Our main formula may be viewed as a two-dimensional analogue of Hey's formula. In fact, upon revisiting Solomon's proof of Hey's formula, we find that our main two-dimensional zeta functions depend only on Artin-Wedderburn data for the top. This applies to zeta functions of local models for terminal orders on arithmetic surfaces, and we even suggest an analogy between our main formula and the Gottsche-Larsen-Lunts formula for the generating function of Hilbert schemes of a smooth surface. Our method gives us a more general and complicated formula than our main formula. It does, however, simplify to a general principle about the extent to which the zeta function of a module is determined by the module modulo an invertible ideal. The general formula also gives us a weird identity involving q-binomial coefficients.


title: Robust and Deterministic Preparation of Bosonic Logical States in a Trapped Ion

abstract: Encoding logical qubits in bosonic modes provides a potentially hardware-efficient implementation of fault-tolerant quantum information processing. Recent advancements in trapped ions and superconducting microwave cavities have led to experimental realizations of high-quality bosonic states and demonstrations of error-corrected logical qubits encoded in bosonic modes. However, current protocols for preparing bosonic code words lack robustness to common noise sources and can be experimentally challenging to implement, limiting the quality and breadth of codes that have been realized to date. Here, we combine concepts of error suppression via robust control with quantum error correction encoding and experimentally demonstrate high-fidelity, deterministic preparation of highly non-classical target bosonic states in the mechanical motion of a trapped ion. Our approach implements numerically optimized dynamical modulation of laser-driven spin-motion interactions to generate the target state in a single step. The optimized control pulses are tailored towards experimental constraints and are designed to be robust against the dominant source of error. Using these protocols, we demonstrate logical fidelities for the Gottesman-Kitaev-Preskill (GKP) state as high as $\bar{\mathcal{F}}=0.940(8)$, achieve the first realization of a distance-3 binomial logical state with an average fidelity of $\mathcal{F}=0.807(7)$, and demonstrate a 12.91(5) dB squeezed vacuum state.


title: Mean-Square Exponential Stabilization of Mixed-Autonomy Traffic PDE System

abstract: Control of mixed-autonomy traffic where Human-driven Vehicles (HVs) and Autonomous Vehicles (AVs) coexist on the road has gained increasing attention over the recent decades. This paper addresses the boundary stabilization problem for mixed traffic on freeways. The traffic dynamics are described by uncertain coupled hyperbolic partial differential equations (PDEs) with Markov jumping parameters, which aim to address the distinctive driving strategies between AVs and HVs. Considering that the spacing policies of AVs vary in mixed traffic, the stochastic impact area of AVs is governed by a continuous Markov chain. The interactions between HVs and AVs such as overtaking or lane changing are mainly induced by impact areas. Using backstepping design, we develop a full-state feedback boundary control law to stabilize the deterministic system (nominal system). Applying Lyapunov analysis, we demonstrate that the nominal backstepping control law is able to stabilize the traffic system with Markov jumping parameters, provided the nominal parameters are sufficiently close to the stochastic ones on average. The mean-square exponential stability conditions are derived, and the results are validated by numerical simulations.


title: Knowledge-driven Meta-learning for CSI Feedback

abstract: Accurate and effective channel state information (CSI) feedback is a key technology for massive multiple-input and multiple-output systems. Recently, deep learning (DL) has been introduced for CSI feedback enhancement through massive collected training data and lengthy training time, which is quite costly and impractical for realistic deployment. In this article, a knowledge-driven meta-learning approach is proposed, where the DL model initialized by the meta model obtained from meta training phase is able to achieve rapid convergence when facing a new scenario during target retraining phase. Specifically, instead of training with massive data collected from various scenarios, the meta task environment is constructed based on the intrinsic knowledge of spatial-frequency characteristics of CSI for meta training. Moreover, the target task dataset is also augmented by exploiting the knowledge of statistical characteristics of wireless channel, so that the DL model can achieve higher performance with small actually collected dataset and short training time. In addition, we provide analyses of rationale for the improvement yielded by the knowledge in both phases. Simulation results demonstrate the superiority of the proposed approach from the perspective of feedback performance and convergence speed.


title: Algorithmic Regularization in Tensor Optimization: Towards a Lifted Approach in Matrix Sensing

abstract: Gradient descent (GD) is crucial for generalization in machine learning models, as it induces implicit regularization, promoting compact representations. In this work, we examine the role of GD in inducing implicit regularization for tensor optimization, particularly within the context of the lifted matrix sensing framework. This framework has been recently proposed to address the non-convex matrix sensing problem by transforming spurious solutions into strict saddles when optimizing over symmetric, rank-1 tensors. We show that, with sufficiently small initialization scale, GD applied to this lifted problem results in approximate rank-1 tensors and critical points with escape directions. Our findings underscore the significance of the tensor parametrization of matrix sensing, in combination with first-order methods, in achieving global optimality in such problems.


title: PET Synthesis via Self-supervised Adaptive Residual Estimation Generative Adversarial Network

abstract: Positron emission tomography (PET) is a widely used, highly sensitive molecular imaging in clinical diagnosis. There is interest in reducing the radiation exposure from PET but also maintaining adequate image quality. Recent methods using convolutional neural networks (CNNs) to generate synthesized high-quality PET images from low-dose counterparts have been reported to be state-of-the-art for low-to-high image recovery methods. However, these methods are prone to exhibiting discrepancies in texture and structure between synthesized and real images. Furthermore, the distribution shift between low-dose PET and standard PET has not been fully investigated. To address these issues, we developed a self-supervised adaptive residual estimation generative adversarial network (SS-AEGAN). We introduce (1) An adaptive residual estimation mapping mechanism, AE-Net, designed to dynamically rectify the preliminary synthesized PET images by taking the residual map between the low-dose PET and synthesized output as the input, and (2) A self-supervised pre-training strategy to enhance the feature representation of the coarse generator. Our experiments with a public benchmark dataset of total-body PET images show that SS-AEGAN consistently outperformed the state-of-the-art synthesis methods with various dose reduction factors.


title: Universal bifurcations to explosive synchronization for networks of coupled oscillators with higher-order interactions

abstract: We determine critical parameter sets for transitions from gradual to explosive synchronization in coupled oscillator networks with higher-order coupling using self-consistency analysis. We obtain analytic bifurcation values for generic symmetric natural frequency distributions. We show that non-synchronized, drifting, oscillators are non-negligible, and play a crucial role in bifurcation. As such, the entire natural frequency distribution must be accounted for, rather than just the shape at the center. We verify our results for Lorentzian and Gaussian distributed natural frequencies.


title: Unveiling Multilinguality in Transformer Models: Exploring Language Specificity in Feed-Forward Networks

abstract: Recent research suggests that the feed-forward module within Transformers can be viewed as a collection of key-value memories, where the keys learn to capture specific patterns from the input based on the training examples. The values then combine the output from the 'memories' of the keys to generate predictions about the next token. This leads to an incremental process of prediction that gradually converges towards the final token choice near the output layers. This interesting perspective raises questions about how multilingual models might leverage this mechanism. Specifically, for autoregressive models trained on two or more languages, do all neurons (across layers) respond equally to all languages? No! Our hypothesis centers around the notion that during pretraining, certain model parameters learn strong language-specific features, while others learn more language-agnostic (shared across languages) features. To validate this, we conduct experiments utilizing parallel corpora of two languages that the model was initially pretrained on. Our findings reveal that the layers closest to the network's input or output tend to exhibit more language-specific behaviour compared to the layers in the middle.


title: A general center manifold theorem on fields of Banach spaces

abstract: A general local center manifold theorem around stationary trajectories is proved for nonlinear cocycles acting on measurable fields of Banach spaces.


title: Quantum speed limit of a single atom in a squeezed optical cavity mode

abstract: We theoretically study the quantum speed limit of a single atom trapped in a Fabry-Perot microresonator. The cavity mode will be squeezed when a driving laser is applied to the second-order nonlinear medium, and the effective Hamiltonian can be obtained under the Bogoliubov squeezing transformation. The analytical expression of evolved atom state can be obtained by using the non-Hermitian Schr\"{o}dinger equation for the initial excited state, and the quantum speed limit time coincides very well for both the analytical expression and the master equation method. From the perspective of quantum speed limit, it is more conducive to accelerate the evolution of the quantum state for the large detuning, strong driving and coupling strength. For the initial superposition state case, the form of initial state has more influence on the evolution speed. The quantum speed limit time is not only dependent on the system parameters but also determined by the initial state.


title: Transfer learning for day-ahead load forecasting: a case study on European national electricity demand time series

abstract: Short-term load forecasting (STLF) is crucial for the daily operation of power grids. However, the non-linearity, non-stationarity, and randomness characterizing electricity demand time series renders STLF a challenging task. Various forecasting approaches have been proposed for improving STLF, including neural network (NN) models which are trained using data from multiple electricity demand series that may not necessary include the target series. In the present study, we investigate the performance of this special case of STLF, called transfer learning (TL), by considering a set of 27 time series that represent the national day-ahead electricity demand of indicative European countries. We employ a popular and easy-to-implement NN model and perform a clustering analysis to identify similar patterns among the series and assist TL. In this context, two different TL approaches, with and without the clustering step, are compiled and compared against each other as well as a typical NN training setup. Our results demonstrate that TL can outperform the conventional approach, especially when clustering techniques are considered.


title: TCRA-LLM: Token Compression Retrieval Augmented Large Language Model for Inference Cost Reduction

abstract: Since ChatGPT released its API for public use, the number of applications built on top of commercial large language models (LLMs) increase exponentially. One popular usage of such models is leveraging its in-context learning ability and generating responses given user queries leveraging knowledge obtained by retrieval augmentation. One problem of deploying commercial retrieval-augmented LLMs is the cost due to the additionally retrieved context that largely increases the input token size of the LLMs. To mitigate this, we propose a token compression scheme that includes two methods: summarization compression and semantic compression. The first method applies a T5-based model that is fine-tuned by datasets generated using self-instruct containing samples with varying lengths and reduce token size by doing summarization. The second method further compresses the token size by removing words with lower impact on the semantic. In order to adequately evaluate the effectiveness of the proposed methods, we propose and utilize a dataset called Food-Recommendation DB (FRDB) focusing on food recommendation for women around pregnancy period or infants. Our summarization compression can reduce 65% of the retrieval token size with further 0.3% improvement on the accuracy; semantic compression provides a more flexible way to trade-off the token size with performance, for which we can reduce the token size by 20% with only 1.6% of accuracy drop.


title: Measuring nuclear spin qubits by qudit-enhanced spectroscopy in Silicon Carbide

abstract: Nuclear spins with hyperfine coupling to single electron spins are highly valuable quantum bits. In this work we probe and characterise the particularly rich nuclear spin environment around single silicon vacancy color-centers (V2) in 4H-SiC. By using the electron spin-3/2 qudit as a 4 level sensor, we identify several groups of $^{29}$Si and $^{13}$C nuclear spins through their hyperfine interaction. We extract the major components of their hyperfine coupling via optical detected nuclear resonance, and assign them to shell groups in the crystal via the DFT simulations. We utilise the ground state level anti-crossing of the electron spin for dynamic nuclear polarization and achieve a nuclear spin polarization of up to $98\pm6\,\%$. We show that this scheme can be used to detect the nuclear magnetic resonance signal of individual spins and demonstrate their coherent control. Our work provides a detailed set of parameters for future use of SiC as a multi-qubit memory and quantum computing platform.


title: Quantum geometry encoded to pair potentials

abstract: Bloch wave functions of electrons have properties called quantum geometry, which has recently attracted much attention as the origin of intriguing physical phenomena. In this paper, we introduce the notion of the quantum-geometric pair potentials (QGPP) based on the generalized band representation and thereby clarify how the quantum geometry of electrons is transferred to the Cooper pairs they form. QGPP quantifies the deviation of multiband superconductors from an assembly of single-band superconductors and has a direct connection to the quantum-geometric corrections to thermodynamic coefficients. We also discuss their potential ability to emulate exotic pair potentials and engineer intriguing superconducting phenomena including topological superconductivity.


title: From Oja's Algorithm to the Multiplicative Weights Update Method with Applications

abstract: Oja's algorithm is a well known online algorithm studied mainly in the context of stochastic principal component analysis. We make a simple observation, yet to the best of our knowledge a novel one, that when applied to a any (not necessarily stochastic) sequence of symmetric matrices which share common eigenvectors, the regret of Oja's algorithm could be directly bounded in terms of the regret of the well known multiplicative weights update method for the problem of prediction with expert advice. Several applications to optimization with quadratic forms over the unit sphere in $\reals^n$ are discussed.


title: Modeling and Design of the Communication Sensing and Control Coupled Closed-Loop Industrial System

abstract: With the advent of 5G era, factories are transitioning towards wireless networks to break free from the limitations of wired networks. In 5G-enabled factories, unmanned automatic devices such as automated guided vehicles and robotic arms complete production tasks cooperatively through the periodic control loops. In such loops, the sensing data is generated by sensors, and transmitted to the control center through uplink wireless communications. The corresponding control commands are generated and sent back to the devices through downlink wireless communications. Since wireless communications, sensing and control are tightly coupled, there are big challenges on the modeling and design of such closed-loop systems. In particular, existing theoretical tools of these functionalities have different modelings and underlying assumptions, which make it difficult for them to collaborate with each other. Therefore, in this paper, an analytical closed-loop model is proposed, where the performances and resources of communication, sensing and control are deeply related. To achieve the optimal control performance, a co-design of communication resource allocation and control method is proposed, inspired by the model predictive control algorithm. Numerical results are provided to demonstrate the relationships between the resources and control performances.


title: Uniform ergodicity and the one-sided ergodic Hilbert transform

abstract: Let $T$ be a bounded linear operator on a Banach space $X$ satisfying $\|T^n\|/n \to 0$. We prove that $T$ is uniformly ergodic if and only if the one-sided ergodic Hilbert transform $H_Tx:= \lim_{n\to\infty} \sum_{k=1}^n k^{-1}T^k x$ converges for every $x \in \overline{(I-T)X}$. When $T$ is power-bounded (or more generally $(C,\alpha)$ bounded for some $0< \alpha <1$), then $T$ is uniformly ergodic if and only if the domain of $H_T$ equals $(I-T)X$. We then study rotational uniform ergodicity -- uniform ergodicity of every $\lambda T$ with $|\lambda|=1$, and connect it to convergence of the rotated one-sided ergodic Hilbert transform, $H_{\lambda T}x$. In the Appendix we prove that positive isometries with finite-dimensional fixed space on infinite-dimensional Banach lattices are never uniformly ergodic. In particular, the Koopman operators of ergodic, even non-invertible, probability preserving transformations on standard spaces are never uniformly ergodic.


title: Label-free Imaging of Catalytic H2O2 Decomposition on Single Colloidal Pt Nanoparticles using Nanofluidic Scattering Microscopy

abstract: Single particle catalysis aims at determining factors that dictate nanoparticle activity and selectivity. Existing methods often use fluorescent model reactions at low reactant concentrations, operate at low pressures, or rely on plasmonic enhancement effects. Hence, methods to measure single nanoparticle activity at technically relevant conditions, and without fluorescence or other enhancement mechanisms, are still lacking. Here, we introduce nanofluidic scattering microscopy to fill this gap. By detecting minuscule refractive index changes in a liquid flushed through a nanochannel, we demonstrate that local H2O2 concentration changes in water can be accurately measured. Applying this principle, we analyze the H2O2 concentration profiles adjacent to single colloidal Pt nanoparticles during catalytic H2O2 decomposition into O2 and H2O and derive the particles individual turnover frequencies from the growth rate of O2 gas bubbles formed in their respective nanochannel during reaction.


title: Twisted Verlinde formula for vertex operator algebras

abstract: For a rational and $C_2$-cofinite vertex operator algebra $V$ with an automorphism group $G$ of prime order, the fusion rules for twisted $V$-modules are studied, a twisted Verlinde formula which relates fusion rules for $g$-twisted modules to the $S$-matrix in the orbifold theory is established. As an application of the twisted Verlinde formula, a twisted analogue of the Kac-Walton formula is proved, which gives fusion rules between twisted modules of affine vertex operator algebras in terms of Clebsch-Gordan coefficients associated to the corresponding finite dimensional simple Lie algebras.


abstract: We define Cartan subgroups in connected locally compact groups, which extends the classical notion of Cartan subgroups in Lie groups. We prove their existence and justify our choice of the definition which differs from the one given by Chevalley on general groups. Apart from proving some properties of Cartan subgroups, we show that the Cartan subgroups of the quotient groups are precisely the images of Cartan subgroups of the ambient group. We establish the so-called `Levi' decomposition of Cartan subgroups which extends W\"ustner's decomposition theorem and our earlier results about the same proven for Lie groups. We also show that the centraliser of any maximal torus of the radical is connected and its Cartan subgroups are also the Cartan subgroup of the ambient group; moreover, every Cartan subgroup arises this way. We prove that Cartan subalgebras defined by Hofmann and Morris in pro-Lie algebras are the same as those corresponding to Cartan subgroups in case of pro-Lie algebras of connected locally compact groups, and that they are nilpotent. We characterise density of the image of a power map in the group in terms of its surjectivity on all Cartan subgroups, and show that weak exponentiality of the group is equivalent to the condition that all its Cartan subgroups are connected.


title: Capacity-based Spatial Modulation Constellation and Pre-scaling Design

abstract: Spatial Modulation (SM) can utilize the index of the transmit antenna (TA) to transmit additional information. In this paper, to improve the performance of SM, a non-uniform constellation (NUC) and pre-scaling coefficients optimization design scheme is proposed. The bit-interleaved coded modulation (BICM) capacity calculation formula of SM system is firstly derived. The constellation and pre-scaling coefficients are optimized by maximizing the BICM capacity without channel state information (CSI) feedback. Optimization results are given for the multiple-input-single-output (MISO) system with Rayleigh channel. Simulation result shows the proposed scheme provides a meaningful performance gain compared to conventional SM system without CSI feedback. The proposed optimization design scheme can be a promising technology for future 6G to achieve high-efficiency.


title: RIS-Aided Receive Generalized Spatial Modulation Design with Reflecting Modulation

abstract: Spatial modulation (SM) transmits additional information bits by the selection of antennas. Generalized spatial modulation (GSM), as an advanced type of SM, can be divided into diversity and multiplexing (MUX) schemes according to the symbols carried on the selected antennas are identical or different. Recently, reconfigurable intelligent surface (RIS) assisted SM exhibits better reception performance compared to conventional SM. To overcome the limitations of SM, this paper combines GSM with RIS and proposes the RIS-aided receive generalized spatial modulation (RIS-RGSM) scheme. The RIS-RGSM diversity scheme is realized via a simple improvement based on the state-of-the-art scheme. To further increase the transmission rate, a novel RIS-RGSM MUX scheme is proposed, where the reflection phase shifts and on/off states of RIS elements are configured to achieve bit mapping. The theoretical bit error rate (BER) of the proposed scheme is derived and agrees well with the simulation results. Numerical simulations show that the RIS-RGSM MUX scheme has better BER performance than the diversity scheme. The proposed scheme can significantly increase the transmission rate and maintain good performance compared to the existing scheme under a limited number of antennas.


title: Unveiling low THz Dynamics of Liquid Crystals: Identification of Intermolecular Interaction among Intramolecular Modes

abstract: Liquid crystal based technologies have found considerably diversified uses and areas of application over the last few decades, proving to be excellent materials for tunable optical elements from visible to near-infrared frequencies. Currently, much effort is devoted to demonstrating their applicability in the far-infrared or THz spectral frequency (1 - 10 THz), where tremendous advances have been achieved in terms of broadband and intense sources. Yet a detailed understanding of the dynamics triggered by THz light in liquid crystals is far from complete. In this work, we perform broadband THz Time Domain Spectroscopy on the low-frequency modes of 4-cyano-4'-alkylbiphenyl (nCB) and 5-phenylcyclohexanes (PCH5) across different mesophases. DFT calculations on isolated molecules capture the majority of the measured response above 3 THz. In particular, the pronounced modes around 4.5 and 5.5 THz mainly originate from in-plane and out-of-plane bending of the cyano group. In contrast, the broad response below 3 THz, linked to modes of the alkyl chain, disagrees with the single molecule calculation. Here, we identify a clear intermolecular character of the response, supported by dimer and trimer calculations.


title: I$^2$MD: 3D Action Representation Learning with Inter- and Intra-modal Mutual Distillation

abstract: Recent progresses on self-supervised 3D human action representation learning are largely attributed to contrastive learning. However, in conventional contrastive frameworks, the rich complementarity between different skeleton modalities remains under-explored. Moreover, optimized with distinguishing self-augmented samples, models struggle with numerous similar positive instances in the case of limited action categories. In this work, we tackle the aforementioned problems by introducing a general Inter- and Intra-modal Mutual Distillation (I$^2$MD) framework. In I$^2$MD, we first re-formulate the cross-modal interaction as a Cross-modal Mutual Distillation (CMD) process. Different from existing distillation solutions that transfer the knowledge of a pre-trained and fixed teacher to the student, in CMD, the knowledge is continuously updated and bidirectionally distilled between modalities during pre-training. To alleviate the interference of similar samples and exploit their underlying contexts, we further design the Intra-modal Mutual Distillation (IMD) strategy, In IMD, the Dynamic Neighbors Aggregation (DNA) mechanism is first introduced, where an additional cluster-level discrimination branch is instantiated in each modality. It adaptively aggregates highly-correlated neighboring features, forming local cluster-level contrasting. Mutual distillation is then performed between the two branches for cross-level knowledge exchange. Extensive experiments on three datasets show that our approach sets a series of new records.


title: MuLMS: A Multi-Layer Annotated Text Corpus for Information Extraction in the Materials Science Domain

abstract: Keeping track of all relevant recent publications and experimental results for a research area is a challenging task. Prior work has demonstrated the efficacy of information extraction models in various scientific areas. Recently, several datasets have been released for the yet understudied materials science domain. However, these datasets focus on sub-problems such as parsing synthesis procedures or on sub-domains, e.g., solid oxide fuel cells. In this resource paper, we present MuLMS, a new dataset of 50 open-access articles, spanning seven sub-domains of materials science. The corpus has been annotated by domain experts with several layers ranging from named entities over relations to frame structures. We present competitive neural models for all tasks and demonstrate that multi-task training with existing related resources leads to benefits.


title: An Optimal Ansatz Space for Moving Least Squares Approximation on Spheres

abstract: We revisit the moving least squares (MLS) approximation scheme on the sphere $\mathbb S^{d-1} \subset \mathbb R^d$, where $d>1$. It is well known that using the spherical harmonics up to degree $L \in \mathbb N$ as ansatz space yields for functions in $\mathcal C^{L+1}(\mathbb S^{d-1})$ the approximation order $\mathcal O \left( h^{L+1} \right)$, where $h$ denotes the fill distance of the sampling nodes. In this paper we show that the dimension of the ansatz space can be almost halved, by including only spherical harmonics of even or odd degree up to $L$, while preserving the same order of approximation. Numerical experiments indicate that using the reduced ansatz space is essential to ensure the numerical stability of the MLS approximation scheme as $h \to 0$. Finally, we compare our approach with an MLS approximation scheme that uses polynomials on the tangent space as ansatz space.


title: Visually Grounded Continual Language Learning with Selective Specialization

abstract: A desirable trait of an artificial agent acting in the visual world is to continually learn a sequence of language-informed tasks while striking a balance between sufficiently specializing in each task and building a generalized knowledge for transfer. Selective specialization, i.e., a careful selection of model components to specialize in each task, is a strategy to provide control over this trade-off. However, the design of selection strategies requires insights on the role of each model component in learning rather specialized or generalizable representations, which poses a gap in current research. Thus, our aim with this work is to provide an extensive analysis of selection strategies for visually grounded continual language learning. Due to the lack of suitable benchmarks for this purpose, we introduce two novel diagnostic datasets that provide enough control and flexibility for a thorough model analysis. We assess various heuristics for module specialization strategies as well as quantifiable measures for two different types of model architectures. Finally, we design conceptually simple approaches based on our analysis that outperform common continual learning baselines. Our results demonstrate the need for further efforts towards better aligning continual learning algorithms with the learning behaviors of individual model parts.


title: Natural Language Processing for Drug Discovery Knowledge Graphs: promises and pitfalls

abstract: Building and analysing knowledge graphs (KGs) to aid drug discovery is a topical area of research. A salient feature of KGs is their ability to combine many heterogeneous data sources in a format that facilitates discovering connections. The utility of KGs has been exemplified in areas such as drug repurposing, with insights made through manual exploration and modelling of the data. In this article, we discuss promises and pitfalls of using natural language processing (NLP) to mine unstructured text typically from scientific literature as a data source for KGs. This draws on our experience of initially parsing structured data sources such as ChEMBL as the basis for data within a KG, and then enriching or expanding upon them using NLP. The fundamental promise of NLP for KGs is the automated extraction of data from millions of documents a task practically impossible to do via human curation alone. However, there are many potential pitfalls in NLP-KG pipelines such as incorrect named entity recognition and ontology linking all of which could ultimately lead to erroneous inferences and conclusions.


title: On the degeneracy of whispering gallery modes in a high-Q sapphire microwave resonator

abstract: Cylindrical WGM resonators machined in high-quality sapphire monocrystal cooled down to liquid helium temperature offer exceptionally-high Q-factors in the microwave frequency domain. Such a resonator constitutes the core of an ultra-stable oscillator featuring fractional frequency stability better than 1e-15 at short integration times. As in any cylindrical resonant structure, the WGM resonator presents a two fold degeneracy. When a defect breaks the cylindrical symmetry of the resonator, the WGMs split and appear as doublets. In the high-quality sapphire resonator, the frequency separation of these twin modes varies from one mode order to another with a maximum value of a few tens of kHz. While the mode splitting for a given mode was considered until now unpredictable and intrinsic to each resonator since resulting a priori from randomly distributed defects. we show here, at the contrary, that the observed mode splitting found on all the sapphire resonators whatever their origin mainly comes from a perfectly determined defect resulting from the manufacturing processes.


title: 3D Multi-Target Localization Via Intelligent Reflecting Surface: Protocol and Analysis

abstract: With the emerging environment-aware applications, ubiquitous sensing is expected to play a key role in future networks. In this paper, we study a 3-dimensional (3D) multi-target localization system where multiple intelligent reflecting surfaces (IRSs) are applied to create virtual line-of-sight (LoS) links that bypass the base station (BS) and targets. To fully unveil the fundamental limit of IRS for sensing, we first study a single-target-single-IRS case and propose a novel \textit{two-stage localization protocol} by controlling the on/off state of IRS. To be specific, in the IRS-off stage, we derive the Cram\'{e}r-Rao bound (CRB) of the azimuth/elevation direction-of-arrival (DoA) of the BS-target link and design a DoA estimator based on the MUSIC algorithm. In the IRS-on stage, the CRB of the azimuth/elevation DoA of the IRS-target link is derived and a simple DoA estimator based on the on-grid IRS beam scanning method is proposed. Particularly, the impact of echo signals reflected by IRS from different paths on sensing performance is analyzed. Moreover, we prove that the single-beam of the IRS is not capable of sensing, but it can be achieved with \textit{multi-beam}. Based on the two obtained DoAs, the 3D single-target location is constructed. We then extend to the multi-target-multi-IRS case and propose an \textit{IRS-adaptive sensing protocol} by controlling the on/off state of multiple IRSs, and a multi-target localization algorithm is developed. Simulation results demonstrate the effectiveness of our scheme and show that sub-meter-level positioning accuracy can be achieved.


title: POE: Process of Elimination for Multiple Choice Reasoning

abstract: Language models (LMs) are capable of conducting in-context learning for multiple choice reasoning tasks, but the options in these tasks are treated equally. As humans often first eliminate wrong options before picking the final correct answer, we argue a similar two-step strategy can make LMs better at these tasks. To this end, we present the Process of Elimination (POE), a two-step scoring method. In the first step, POE scores each option, and eliminates seemingly wrong options. In the second step, POE masks these wrong options, and makes the final prediction from the remaining options. Zero-shot experiments on 8 reasoning tasks illustrate the effectiveness of POE, and a following analysis finds our method to be especially performant on logical reasoning tasks. We further analyze the effect of masks, and show that POE applies to few-shot settings and large language models (LLMs) like ChatGPT.


title: A Quadratic Sample Complexity Reduction for Agnostic Learning via Quantum Algorithms

abstract: Using quantum algorithms, we obtain, for accuracy $\epsilon>0$ and confidence $1-\delta,0<\delta<1,$ a new sample complexity upper bound of $O((\mbox{log}(\frac{1}{\delta}))/\epsilon)$ as $\epsilon,\delta\rightarrow 0$ for a general agnostic learning model, provided the hypothesis class is of finite cardinality. This greatly improves upon a corresponding sample complexity of asymptotic order $\Theta((\mbox{log}(\frac{1}{\delta}))/\epsilon^{2})$ known in the literature to be attainable by means of classical (non-quantum) algorithms for an agnostic learning problem also with hypothesis set of finite cardinality (see, for example, Arunachalam and de Wolf (2018) and the classical statistical learning theory references cited there). Thus, for general agnostic learning, the quantum speedup in the rate of learning that we achieve with respect to these results is quadratic in $\epsilon^{-1}$.


title: CONTRASTE: Supervised Contrastive Pre-training With Aspect-based Prompts For Aspect Sentiment Triplet Extraction

abstract: Existing works on Aspect Sentiment Triplet Extraction (ASTE) explicitly focus on developing more efficient fine-tuning techniques for the task. Instead, our motivation is to come up with a generic approach that can improve the downstream performances of multiple ABSA tasks simultaneously. Towards this, we present CONTRASTE, a novel pre-training strategy using CONTRastive learning to enhance the ASTE performance. While we primarily focus on ASTE, we also demonstrate the advantage of our proposed technique on other ABSA tasks such as ACOS, TASD, and AESC. Given a sentence and its associated (aspect, opinion, sentiment) triplets, first, we design aspect-based prompts with corresponding sentiments masked. We then (pre)train an encoder-decoder model by applying contrastive learning on the decoder-generated aspect-aware sentiment representations of the masked terms. For fine-tuning the model weights thus obtained, we then propose a novel multi-task approach where the base encoder-decoder model is combined with two complementary modules, a tagging-based Opinion Term Detector, and a regression-based Triplet Count Estimator. Exhaustive experiments on four benchmark datasets and a detailed ablation study establish the importance of each of our proposed components as we achieve new state-of-the-art ASTE results.


title: VMAF Re-implementation on PyTorch: Some Experimental Results

abstract: Based on the standard VMAF implementation we propose an implementation of VMAF using PyTorch framework. For this implementation comparisons with the standard (libvmaf) show the discrepancy $\lesssim 10^{-2}$ in VMAF units. We investigate gradients computation when using VMAF as an objective function and demonstrate that training using this function does not result in ill-behaving gradients. The implementation is then used to train a preprocessing filter. It is demonstrated that its performance is superior to the unsharp masking filter. The resulting filter is also easy for implementation and can be applied in video processing tasks for video copression improvement. This is confirmed by the results of numerical experiments.


title: The monopole and quadrupole moments of the Epoch of Reionization (EoR) 21-cm bispectrum

abstract: We study the monopole ($\bar{B}^0_0$) and quadrupole ($\bar{B}^0_2$) moments of the 21-cm bispectrum (BS) from EoR simulations and present results for squeezed and stretched triangles. Both $\bar{B}^0_0$ and $\bar{B}^0_2$ are positive at the early stage of EoR where the mean neutral hydrogen (HI) density fraction $\bar{x}_{\rm HI} \approx 0.99$. The subsequent evolution of $\bar{B}^0_0$ and $\bar{B}^0_2$ at large and intermediate scales $(k=0.29$ and $0.56 \, {\rm Mpc}^{-1}$ respectively) is punctuated by two sign changes which mark transitions in the HI distribution. The first sign flip where $\bar{B}^0_0$ becomes negative occurs in the intermediate stages of EoR $(\bar{x}_{\rm HI} > 0.5)$, at large scale first followed by the intermediate scale. This marks the emergence of distinct ionized bubbles in the neutral background. $\bar{B}^0_2$ is relatively less affected by this transition, and it mostly remains positive even when $\bar{B}^0_0$ becomes negative. The second sign flip, which affects both $\bar{B}^0_0$ and $\bar{B}^0_2$, occurs at the late stage of EoR $(\bar{x}_{\rm HI} < 0.5)$. This marks a transition in the topology of the HI distribution, after which we have distinct HI islands in an ionized background. This causes $\bar{B}^0_0$ to become positive. The negative $\bar{B}^0_2$ is a definite indication that the HI islands survive only in under-dense regions.


title: Identifiable Latent Polynomial Causal Models Through the Lens of Change

abstract: Causal representation learning aims to unveil latent high-level causal representations from observed low-level data. One of its primary tasks is to provide reliable assurance of identifying these latent causal models, known as identifiability. A recent breakthrough explores identifiability by leveraging the change of causal influences among latent causal variables across multiple environments \citep{liu2022identifying}. However, this progress rests on the assumption that the causal relationships among latent causal variables adhere strictly to linear Gaussian models. In this paper, we extend the scope of latent causal models to involve nonlinear causal relationships, represented by polynomial models, and general noise distributions conforming to the exponential family. Additionally, we investigate the necessity of imposing changes on all causal parameters and present partial identifiability results when part of them remains unchanged. Further, we propose a novel empirical estimation method, grounded in our theoretical finding, that enables learning consistent latent causal representations. Our experimental results, obtained from both synthetic and real-world data, validate our theoretical contributions concerning identifiability and consistency.


title: Deep ReLU neural networks overcome the curse of dimensionality when approximating semilinear partial integro-differential equations

abstract: In this paper we consider PIDEs with gradient-independent Lipschitz continuous nonlinearities and prove that deep neural networks with ReLU activation function can approximate solutions of such semilinear PIDEs without curse of dimensionality in the sense that the required number of parameters in the deep neural networks increases at most polynomially in both the dimension $ d $ of the corresponding PIDE and the reciprocal of the prescribed accuracy $\epsilon $.


title: SecV: Secure Code Partitioning via Multi-Language Secure Values

abstract: Trusted execution environments like Intel SGX provide \emph{enclaves}, which offer strong security guarantees for applications. Running entire applications inside enclaves is possible, but this approach leads to a large trusted computing base (TCB). As such, various tools have been developed to partition programs written in languages such as C or Java into \emph{trusted} and \emph{untrusted} parts, which are run in and out of enclaves respectively. However, those tools depend on language-specific taint-analysis and partitioning techniques. They cannot be reused for other languages and there is thus a need for tools that transcend this language barrier. We address this challenge by proposing a multi-language technique to specify sensitive code or data, as well as a multi-language tool to analyse and partition the resulting programs for trusted execution environments like Intel SGX. We leverage GraalVM's Truffle framework, which provides a language-agnostic abstract syntax tree (AST) representation for programs, to provide special AST nodes called \emph{secure nodes} that encapsulate sensitive program information. Secure nodes can easily be embedded into the ASTs of a wide range of languages via Truffle's \emph{polyglot API}. Our technique includes a multi-language dynamic taint tracking tool to analyse and partition applications based on our generic secure nodes. Our extensive evaluation with micro- and macro-benchmarks shows that we can use our technique for two languages (Javascript and \python), and that partitioned programs can obtain up to $14.5\%$ performance improvement as compared to unpartitioned versions.


title: Learning Agility and Adaptive Legged Locomotion via Curricular Hindsight Reinforcement Learning

abstract: Agile and adaptive maneuvers such as fall recovery, high-speed turning, and sprinting in the wild are challenging for legged systems. We propose a Curricular Hindsight Reinforcement Learning (CHRL) that learns an end-to-end tracking controller that achieves powerful agility and adaptation for the legged robot. The two key components are (I) a novel automatic curriculum strategy on task difficulty and (ii) a Hindsight Experience Replay strategy adapted to legged locomotion tasks. We demonstrated successful agile and adaptive locomotion on a real quadruped robot that performed fall recovery autonomously, coherent trotting, sustained outdoor speeds up to 3.45 m/s, and tuning speeds up to 3.2 rad/s. This system produces adaptive behaviours responding to changing situations and unexpected disturbances on natural terrains like grass and dirt.


title: Accelerating Split Federated Learning over Wireless Communication Networks

abstract: The development of artificial intelligence (AI) provides opportunities for the promotion of deep neural network (DNN)-based applications. However, the large amount of parameters and computational complexity of DNN makes it difficult to deploy it on edge devices which are resource-constrained. An efficient method to address this challenge is model partition/splitting, in which DNN is divided into two parts which are deployed on device and server respectively for co-training or co-inference. In this paper, we consider a split federated learning (SFL) framework that combines the parallel model training mechanism of federated learning (FL) and the model splitting structure of split learning (SL). We consider a practical scenario of heterogeneous devices with individual split points of DNN. We formulate a joint problem of split point selection and bandwidth allocation to minimize the system latency. By using alternating optimization, we decompose the problem into two sub-problems and solve them optimally. Experiment results demonstrate the superiority of our work in latency reduction and accuracy improvement.


title: Multimodal Representations for Teacher-Guided Compositional Visual Reasoning

abstract: Neural Module Networks (NMN) are a compelling method for visual question answering, enabling the translation of a question into a program consisting of a series of reasoning sub-tasks that are sequentially executed on the image to produce an answer. NMNs provide enhanced explainability compared to integrated models, allowing for a better understanding of the underlying reasoning process. To improve the effectiveness of NMNs we propose to exploit features obtained by a large-scale cross-modal encoder. Also, the current training approach of NMNs relies on the propagation of module outputs to subsequent modules, leading to the accumulation of prediction errors and the generation of false answers. To mitigate this, we introduce an NMN learning strategy involving scheduled teacher guidance. Initially, the model is fully guided by the ground-truth intermediate outputs, but gradually transitions to an autonomous behavior as training progresses. This reduces error accumulation, thus improving training efficiency and final performance.We demonstrate that by incorporating cross-modal features and employing more effective training techniques for NMN, we achieve a favorable balance between performance and transparency in the reasoning process.


title: Detecting Intentional AIS Shutdown in Open Sea Maritime Surveillance Using Self-Supervised Deep Learning

abstract: In maritime traffic surveillance, detecting illegal activities, such as illegal fishing or transshipment of illicit products is a crucial task of the coastal administration. In the open sea, one has to rely on Automatic Identification System (AIS) message transmitted by on-board transponders, which are captured by surveillance satellites. However, insincere vessels often intentionally shut down their AIS transponders to hide illegal activities. In the open sea, it is very challenging to differentiate intentional AIS shutdowns from missing reception due to protocol limitations, bad weather conditions or restricting satellite positions. This paper presents a novel approach for the detection of abnormal AIS missing reception based on self-supervised deep learning techniques and transformer models. Using historical data, the trained model predicts if a message should be received in the upcoming minute or not. Afterwards, the model reports on detected anomalies by comparing the prediction with what actually happens. Our method can process AIS messages in real-time, in particular, more than 500 Millions AIS messages per month, corresponding to the trajectories of more than 60 000 ships. The method is evaluated on 1-year of real-world data coming from four Norwegian surveillance satellites. Using related research results, we validated our method by rediscovering already detected intentional AIS shutdowns.


title: ScanDL: A Diffusion Model for Generating Synthetic Scanpaths on Texts

abstract: Eye movements in reading play a crucial role in psycholinguistic research studying the cognitive mechanisms underlying human language processing. More recently, the tight coupling between eye movements and cognition has also been leveraged for language-related machine learning tasks such as the interpretability, enhancement, and pre-training of language models, as well as the inference of reader- and text-specific properties. However, scarcity of eye movement data and its unavailability at application time poses a major challenge for this line of research. Initially, this problem was tackled by resorting to cognitive models for synthesizing eye movement data. However, for the sole purpose of generating human-like scanpaths, purely data-driven machine-learning-based methods have proven to be more suitable. Following recent advances in adapting diffusion processes to discrete data, we propose ScanDL, a novel discrete sequence-to-sequence diffusion model that generates synthetic scanpaths on texts. By leveraging pre-trained word representations and jointly embedding both the stimulus text and the fixation sequence, our model captures multi-modal interactions between the two inputs. We evaluate ScanDL within- and across-dataset and demonstrate that it significantly outperforms state-of-the-art scanpath generation methods. Finally, we provide an extensive psycholinguistic analysis that underlines the model's ability to exhibit human-like reading behavior. Our implementation is made available at https://github.com/DiLi-Lab/ScanDL.


title: Closed Loop Molecular Communication Testbed: Setup, Interference Analysis, and Experimental Results

abstract: In this paper, we present a fluid-based experimental molecular communication (MC) testbed that, similar to the human cardiovascular system, operates in a closed circuit tube system. The proposed system is designed to be biocompatible, resource-efficient, and controllable from outside the tube. As signaling molecule, the testbed employs the green fluorescent protein variant "Dreiklang" (GFPD). GFPDs can be reversibly switched via light of different wavelengths between a bright fluorescent state and a less fluorescent state. Hence, this property allows for writing and erasing information encoded in the state of the GFPDs already present in the fluid via radiation from outside the tube. The concept of modulating the GFPDs existing in the channel at the transmitter for information transmission, instead of releasing new molecules, is a form of media modulation. In our testbed, due to the closed loop setup and the long experiment durations of up to 250 min, we observe new forms of inter-symbol interferences (ISI), which do not occur in short experiments and open loop systems. In particular, up to four different forms of ISI, namely channel ISI, inter-loop ISI, offset ISI, and permanent ISI, occur in the considered system. To mitigate inter-loop ISI and offset ISI, we propose a light based eraser unit. We experimentally demonstrate reliable information transmission in our testbed achieving error-free transmission of 500 bit at a data rate of 6 bit/min based on a sub-optimal low-complexity detection scheme.


title: Feynman's inverse problem

abstract: We analyse an inverse problem for water waves posed by Richard Feynman in the BBC documentary Fun to Imagine. The problem can be modelled as an inverse Cauchy problem for gravity-capillary waves on a bounded domain. We do a detailed analysis of the Cauchy problem and give a uniqueness proof for the inverse problem. This results, somewhat surprisingly, in a positive answer to Feynman's question. In addition, we derive stability estimates for the inverse problem both for continuous and discrete measurements, propose a simple inversion method and conduct numerical experiments to verify our results.


title: Facial Data Minimization: Shallow Model as Your Privacy Filter

abstract: Face recognition service has been used in many fields and brings much convenience to people. However, once the user's facial data is transmitted to a service provider, the user will lose control of his/her private data. In recent years, there exist various security and privacy issues due to the leakage of facial data. Although many privacy-preserving methods have been proposed, they usually fail when they are not accessible to adversaries' strategies or auxiliary data. Hence, in this paper, by fully considering two cases of uploading facial images and facial features, which are very typical in face recognition service systems, we proposed a data privacy minimization transformation (PMT) method. This method can process the original facial data based on the shallow model of authorized services to obtain the obfuscated data. The obfuscated data can not only maintain satisfactory performance on authorized models and restrict the performance on other unauthorized models but also prevent original privacy data from leaking by AI methods and human visual theft. Additionally, since a service provider may execute preprocessing operations on the received data, we also propose an enhanced perturbation method to improve the robustness of PMT. Besides, to authorize one facial image to multiple service models simultaneously, a multiple restriction mechanism is proposed to improve the scalability of PMT. Finally, we conduct extensive experiments and evaluate the effectiveness of the proposed PMT in defending against face reconstruction, data abuse, and face attribute estimation attacks. These experimental results demonstrate that PMT performs well in preventing facial data abuse and privacy leakage while maintaining face recognition accuracy.


title: Machine learning based nonlocal kinetic energy density functional for simple metals and alloys

abstract: Developing an accurate kinetic energy density functional (KEDF) remains a major hurdle in orbital-free density functional theory. We propose a machine learning based physical-constrained nonlocal (MPN) KEDF and implement it with the usage of the bulk-derived local pseudopotentials and plane wave basis sets in the ABACUS package. The MPN KEDF is designed to satisfy three exact physical constraints: the scaling law of electron kinetic energy, the free electron gas limit, and the non-negativity of Pauli energy density. The MPN KEDF is systematically tested for simple metals, including Li, Mg, Al, and 59 alloys. We conclude that incorporating nonlocal information for designing new KEDFs and obeying exact physical constraints are essential to improve the accuracy, transferability, and stability of ML-based KEDF. These results shed new light on the construction of ML-based functionals.


title: Honeybee-like collective decision making in a kilobot swarm

abstract: Drawing inspiration from honeybee swarms' nest-site selection process, we assess the ability of a kilobot robot swarm to replicate this captivating example of collective decision-making. Honeybees locate the optimal site for their new nest by aggregating information about potential locations and exchanging it through their waggle-dance. The complexity and elegance of solving this problem relies on two key abilities of scout honeybees: self-discovery and imitation, symbolizing independence and interdependence, respectively. We employ a mathematical model to represent this nest-site selection problem and program our kilobots to follow its rules. Our experiments demonstrate that the kilobot swarm can collectively reach consensus decisions in a decentralized manner, akin to honeybees. However, the strength of this consensus depends not only on the interplay between independence and interdependence but also on critical factors such as swarm density and the motion of kilobots. These factors enable the formation of a percolated communication network, through which each robot can receive information beyond its immediate vicinity. By shedding light on this crucial layer of complexity --the crowding and mobility conditions during the decision-making--, we emphasize the significance of factors typically overlooked but essential to living systems and life itself.

categories: cond-mat.dis-nn cond-mat.soft cond-mat.stat-mech nlin.AO physics.bio-ph


title: RecipeMeta: Metapath-enhanced Recipe Recommendation on Heterogeneous Recipe Network

abstract: Recipe is a set of instructions that describes how to make food. It can help people from the preparation of ingredients, food cooking process, etc. to prepare the food, and increasingly in demand on the Web. To help users find the vast amount of recipes on the Web, we address the task of recipe recommendation. Due to multiple data types and relationships in a recipe, we can treat it as a heterogeneous network to describe its information more accurately. To effectively utilize the heterogeneous network, metapath was proposed to describe the higher-level semantic information between two entities by defining a compound path from peer entities. Therefore, we propose a metapath-enhanced recipe recommendation framework, RecipeMeta, that combines GNN (Graph Neural Network)-based representation learning and specific metapath-based information in a recipe to predict User-Recipe pairs for recommendation. Through extensive experiments, we demonstrate that the proposed model, RecipeMeta, outperforms state-of-the-art methods for recipe recommendation.


title: Retrieval-based Knowledge Transfer: An Effective Approach for Extreme Large Language Model Compression

abstract: Large-scale pre-trained language models (LLMs) have demonstrated exceptional performance in various natural language processing (NLP) tasks. However, the massive size of these models poses huge challenges for their deployment in real-world applications. While numerous model compression techniques have been proposed, most of them are not well-suited for achieving extreme model compression when there is a significant gap in model scale. In this paper, we introduce a novel compression paradigm called Retrieval-based Knowledge Transfer (RetriKT), which effectively transfers the knowledge of LLMs to extremely small-scale models (e.g., 1%). In particular, our approach extracts knowledge from LLMs to construct a knowledge store, from which the small-scale model can retrieve relevant information and leverage it for effective inference. To improve the quality of the model, soft prompt tuning and Proximal Policy Optimization (PPO) reinforcement learning techniques are employed. Extensive experiments are conducted on low-resource tasks from SuperGLUE and GLUE benchmarks. The results demonstrate that the proposed approach significantly enhances the performance of small-scale models by leveraging the knowledge from LLMs.


title: Motion of Test Particles in Spacetimes with Torsion and Nonmetricity

abstract: We derive the equations of motion of a test particle with intrinsic hypermomentum in spacetimes with both torsion $S$ and nonmetricity $Q$ (along with curvature $R$). Accordingly, $S$ and $Q$ can be measured by tracing out the trajectory followed by a hypermomentum-charged test particle in such a non-Riemannian background. The test particle is approximated by means of a Dirac $\delta$-function. Thus we find a tangible way to observe and measure the effects of torsion and nonmetricity. Our results are consistent with earlier ones derived by Obukhov and Puetzfeld (2014) by means of a different method. We apply our insight and evaluate how far-reaching the so-called `geometrical trinity of gravity' really is.


title: Decentralized Proximal Method of Multipliers for Convex Optimization with Coupled Constraints

abstract: In this paper, a decentralized proximal method of multipliers (DPMM) is proposed to solve constrained convex optimization problems over multi-agent networks, where the local objective of each agent is a general closed convex function, and the constraints are coupled equalities and inequalities. This algorithm strategically integrates the dual decomposition method and the proximal point algorithm. One advantage of DPMM is that subproblems can be solved inexactly and in parallel by agents at each iteration, which relaxes the restriction of requiring exact solutions to subproblems in many distributed constrained optimization algorithms. We show that the first-order optimality residual of the proposed algorithm decays to $0$ at a rate of $o(1/k)$ under general convexity. Furthermore, if a structural assumption for the considered optimization problem is satisfied, the sequence generated by DPMM converges linearly to an optimal solution. In numerical simulations, we compare DPMM with several existing algorithms using two examples to demonstrate its effectiveness.


title: Emergent Communication in Interactive Sketch Question Answering

abstract: Vision-based emergent communication (EC) aims to learn to communicate through sketches and demystify the evolution of human communication. Ironically, previous works neglect multi-round interaction, which is indispensable in human communication. To fill this gap, we first introduce a novel Interactive Sketch Question Answering (ISQA) task, where two collaborative players are interacting through sketches to answer a question about an image in a multi-round manner. To accomplish this task, we design a new and efficient interactive EC system, which can achieve an effective balance among three evaluation factors, including the question answering accuracy, drawing complexity and human interpretability. Our experimental results including human evaluation demonstrate that multi-round interactive mechanism facilitates targeted and efficient communication between intelligent agents with decent human interpretability.


title: Coded Computing for Half-Duplex Wireless Distributed Computing Systems via Interference Alignment

abstract: Distributed computing frameworks such as MapReduce and Spark are often used to process large-scale data computing jobs. In wireless scenarios, exchanging data among distributed nodes would seriously suffer from the communication bottleneck due to limited communication resources such as bandwidth and power. To address this problem, we propose a coded parallel computing (CPC) scheme for distributed computing systems where distributed nodes exchange information over a half-duplex wireless interference network. The CPC scheme achieves the multicast gain by utilizing coded computing to multicast coded symbols {intended to} multiple receiver nodes and the cooperative transmission gain by allowing multiple {transmitter} nodes to jointly deliver messages via interference alignment. To measure communication performance, we apply the widely used latency-oriented metric: \emph{normalized delivery time (NDT)}. It is shown that CPC can significantly reduce the NDT by jointly exploiting the parallel transmission and coded multicasting opportunities. Surprisingly, when $K$ tends to infinity and the computation load is fixed, CPC approaches zero NDT while all state-of-the-art schemes achieve positive values of NDT. Finally, we establish an information-theoretic lower bound for the NDT-computation load trade-off over \emph{half-duplex} network, and prove our scheme achieves the minimum NDT within a multiplicative gap of $3$, i.e., our scheme is order optimal.


title: Grasp Multiple Objects with One Hand

abstract: The intricate kinematics of the human hand enable simultaneous grasping and manipulation of multiple objects, essential for tasks such as object transfer and in-hand manipulation. Despite its significance, the domain of robotic multi-object grasping is relatively unexplored and presents notable challenges in kinematics, dynamics, and object configurations. This paper introduces MultiGrasp, a novel two-stage approach for multi-object grasping using a dexterous multi-fingered robotic hand on a tabletop. The process consists of (i) generating pre-grasp proposals and (ii) executing the grasp and lifting the objects. Our experimental focus is primarily on dual-object grasping, achieving a success rate of 44.13%, highlighting adaptability to new object configurations and tolerance for imprecise grasps. Additionally, the framework demonstrates the potential for grasping more than two objects at the cost of inference speed.


title: The L'vov-Kaplansky Conjecture for Polynomials of Degree Three

abstract: The L'vov-Kaplansky conjecture states that the image of a multilinear noncommutative polynomial $f$ in the matrix algebra $M_n(K)$ is a vector space for every $n \in {\mathbb N}$. We prove this conjecture for the case where $f$ has degree $3$ and $K$ is an algebraically closed field of characteristic $0$.


title: Study of the doubly Cabibbo-suppressed decays $D^+_s\to K^+K^+\pi^-$ and $D^+_s\to K^+K^+\pi^-\pi^0$

abstract: Based on 7.33 fb$^{-1}$ of $e^+e^-$ collision data collected at center-of-mass energies between 4.128 and 4.226 GeV with the BESIII detector, the experimental studies of the doubly Cabibbo-suppressed decays $D^+_s\to K^+K^+\pi^-$ and $D^+_s\to K^+K^+\pi^-\pi^0$ are reported. We determine the absolute branching fraction of $D^+_s\to K^+K^+\pi^-$ to be (${1.23^{+0.28}_{-0.25}}({\rm stat})\pm0.06({\rm syst})$) $\times 10^{-4}$. No significant signal of $D^+_s\to K^+K^+\pi^-\pi^0$ is observed and the upper limit on its decay branching fraction at 90\% confidence level is set to be $1.7\times10^{-4}$.


title: MUSER: A Multi-View Similar Case Retrieval Dataset

abstract: Similar case retrieval (SCR) is a representative legal AI application that plays a pivotal role in promoting judicial fairness. However, existing SCR datasets only focus on the fact description section when judging the similarity between cases, ignoring other valuable sections (e.g., the court's opinion) that can provide insightful reasoning process behind. Furthermore, the case similarities are typically measured solely by the textual semantics of the fact descriptions, which may fail to capture the full complexity of legal cases from the perspective of legal knowledge. In this work, we present MUSER, a similar case retrieval dataset based on multi-view similarity measurement and comprehensive legal element with sentence-level legal element annotations. Specifically, we select three perspectives (legal fact, dispute focus, and law statutory) and build a comprehensive and structured label schema of legal elements for each of them, to enable accurate and knowledgeable evaluation of case similarities. The constructed dataset originates from Chinese civil cases and contains 100 query cases and 4,024 candidate cases. We implement several text classification algorithms for legal element prediction and various retrieval methods for retrieving similar cases on MUSER. The experimental results indicate that incorporating legal elements can benefit the performance of SCR models, but further efforts are still required to address the remaining challenges posed by MUSER. The source code and dataset are released at https://github.com/THUlawtech/MUSER.


title: Tilted circumbinary planetary systems as efficient progenitors of free-floating planets

abstract: The dominant mechanism for generating free-floating planets has so far remained elusive. One suggested mechanism is that planets are ejected from planetary systems due to planet-planet interactions. However, instability around a single star requires a very compactly spaced planetary system. We find that around binary star systems instability can occur even with widely separated planets that are on tilted orbits relative to the binary orbit due to combined effects of planet-binary and planet-planet interactions, especially if the binary is on an eccentric orbit. We investigate the orbital stability of planetary systems with various planet masses and architectures. We find that the stability of the system depends upon the mass of the highest mass planet. The order of the planets in the system does not significantly affect stability but, generally, the most massive planet remains stable and the lower mass planets are ejected. The minimum planet mass required to trigger the instability is about that of Neptune for a circular orbit binary and a super-Earth of about $10$ Earth masses for highly eccentric binaries. Hence, we suggest that planet formation around misaligned binaries can be an efficient formation mechanism for free-floating planets. While most observed free-floating planets are giant planets, we predict that there should be more low-mass free floating planets that are as yet unobserved than higher mass planets.


title: Radiative correction on moduli stabilization in modular flavor symmetric models

abstract: We study the radiative corrections to the stabilization of the complex structure modulus $\tau$ in modular flavor symmetric models. We discuss the possibility of obtaining the vacuum expectation value of $\tau$ in the vicinity of the fixed point where residual symmetries remain unbroken. As concrete examples, we analyze the 1-loop Coleman-Weinberg potential in the $A_4$ modular flavor models. We show that the 1-loop correction may lead to the slight deviation from the tree level result, which may realize a phenomenologically preferred value of the complex structure modulus $\tau$ particularly when the number of species contributing to the 1-loop correction is large enough.


title: tagE: Enabling an Embodied Agent to Understand Human Instructions

abstract: Natural language serves as the primary mode of communication when an intelligent agent with a physical presence engages with human beings. While a plethora of research focuses on natural language understanding (NLU), encompassing endeavors such as sentiment analysis, intent prediction, question answering, and summarization, the scope of NLU directed at situations necessitating tangible actions by an embodied agent remains limited. The inherent ambiguity and incompleteness inherent in natural language present challenges for intelligent agents striving to decipher human intention. To tackle this predicament head-on, we introduce a novel system known as task and argument grounding for Embodied agents (tagE). At its core, our system employs an inventive neural network model designed to extract a series of tasks from complex task instructions expressed in natural language. Our proposed model adopts an encoder-decoder framework enriched with nested decoding to effectively extract tasks and their corresponding arguments from these intricate instructions. These extracted tasks are then mapped (or grounded) to the robot's established collection of skills, while the arguments find grounding in objects present within the environment. To facilitate the training and evaluation of our system, we have curated a dataset featuring complex instructions. The results of our experiments underscore the prowess of our approach, as it outperforms robust baseline models.


title: Thermoelectric single-photon detection through superconducting tunnel junctions

abstract: Bipolar thermoelectricity in tunnel junctions between superconductors of different energy gap has been recently predicted and experimentally demonstrated. This effect showed thermovoltages up to $\pm150\;\mu$V at milliKelvin temperatures. Thus, superconducting tunnel junctions can be exploited to realize a passive single-photon thermoelectric detector $TED$ operating in the broadband range 15 GHz - 50 PHz. In particular, this detector is expected to show a signal-to-noise ratio of about 15 down to $\nu=50$ GHz and a operating window of more than 4 decades. Therefore, the $TED$ might find applications in quantum computing, telecommunications, optoelectronics, spectroscopy and astro-particle physics.


title: Distributed Proximal-Correction Algorithm for the Sum of Maximal Monotone Operators in Multi-Agent Network

abstract: This paper focuses on a class of inclusion problems of maximal monotone operators in a multi-agent network, where each agent is characterized by an operator that is not available to any other agents, but the agents can cooperate by exchanging information with their neighbors according to a given communication topology. All agents aim at finding a common decision vector that is the solution to the sum of agents' operators. This class of problems is motivated by distributed convex optimization with coupled constraints. In this paper, we propose a distributed proximal point method with a cumulative correction term (named Proximal-Correction Algorithm) for this class of inclusion problems of operators. It's proved that the Proximal-Correction Algorithm converges for any value of a constant penalty parameter. In order to make the Proximal-Correction ALgorithm computationally implementable for a wide variety of distributed optimization problems, we adopt two inexact criteria for calculating the proximal steps of the algorithm. Under each of these two criteria, the convergence of Proximal-Correction Algorithm can be guaranteed, and the linear convergence rate is established when the stronger one is satisfied. In numerical simulations, both exact and inexact versions of Proximal-Correction Algorithm are executed for a distributed convex optimization problem with coupled constraints. Compared with several alternative algorithms in the literature, the exact and inexact versions of Proximal-Correction both exhibit good numerical performance.


title: Exploring the Impact of Ejecta Velocity Profile on Kilonova Evolution: Diversity of the Kilonova Lightcurves

abstract: A kilonova is a short-lived explosive event in the universe, resulting from the merger of two compact objects. Despite its importance as a primary source of heavy elements through r-process nucleosynthesis, its nature is not well understood, due to its rarity. In this work, we introduce a model that determines the density of a radially-stratified relativistic ejecta. We apply the model to kilonova ejecta and explore several hypothesized velocity profiles as a function of the merger's ejection time. These velocity profiles result in diverse density profiles of the ejecta, for which we conduct radiative transfer simulations using TARDIS with the solar r-process composition. Consequently, we investigate the impact of the ejecta velocity profile on the resulting lightcurve and spectral evolution through the line transitions of heavy elements. The change in the rate at which these elements accumulate in the line-forming region leaves its imprint on the kilonova lightcurve at specific wavelengths, causing the lightcurves to decay at different rates. Furthermore, in several profiles, plateau-like behaviors (slow and/or flat decline) are also observed. In conclusion, this work proposes potential scenarios of the kilonova evolution due to the ejecta velocity profile.


title: String breaking and running coupling of $\rm Q\bar{Q}$ in a rotating media from holography

abstract: Through gravity/gauge duality, the string breaking and running coupling constant of heavy quark-antiquark pair are investigated in the rotating background. For the meson decay mode $\rm Q\bar{Q} \rightarrow Q \bar{q}+\bar{Q} q$, we discuss the string breaking and running coupling in the parallel and transverse case. It is found that the parallel case has a more significant on string breaking and running coupling constant than the transverse case in the confined phase. The string-breaking distance and the maximum value of running coupling will decrease with the increase of angular velocity in the parallel case. Besides, we also investigate the running coupling and screening distance at finite angular velocity in the deconfined phase. It is found that the maximum values of the running coupling and screening distance are decreasing functions of angular velocity. The parallel case has a more significant influence on the running coupling and screening distance than the transverse case in the deconfined phase.


title: Using Slisemap to interpret physical data

abstract: Manifold visualisation techniques are commonly used to visualise high-dimensional datasets in physical sciences. In this paper we apply a recently introduced manifold visualisation method, called Slise, on datasets from physics and chemistry. Slisemap combines manifold visualisation with explainable artificial intelligence. Explainable artificial intelligence is used to investigate the decision processes of black box machine learning models and complex simulators. With Slisemap we find an embedding such that data items with similar local explanations are grouped together. Hence, Slisemap gives us an overview of the different behaviours of a black box model. This makes Slisemap into a supervised manifold visualisation method, where the patterns in the embedding reflect a target property. In this paper we show how Slisemap can be used and evaluated on physical data and that Slisemap is helpful in finding meaningful information on classification and regression models trained on these datasets.


title: The strong Lefschetz property for quadratic reverse lexicographic ideals

abstract: Consider ideals $I$ of the form \[ I=(x_1^2,\dots, x_n^2)+\mathrm{RLex}(x_ix_j) \] where $\mathrm{RLex}(x_ix_j)$ is the ideal generated by all the square-free monomials which are greater than or equal to $x_ix_j$ in the reverse lexicographic order. We will determine some interesting properties regarding the shape of the Hilbert series of $I$. Using a theorem of Lindsey, this allows for a short proof that the algebras defined by $I$ has the strong Lefschetz property when the underlying field is of characteristic zero. Building on recent work by Phuong and Tran, this result is then extended to fields of sufficiently high positive characteristic. As a consequence, this shows that for any possible number of minimal generators for an artinian quadratic ideal, there exists such an ideal minimally generated by that many monomials and defining an algebra with the strong Lefschetz property.


title: Machine Translation for Nko: Tools, Corpora and Baseline Results

abstract: Currently, there is no usable machine translation system for Nko, a language spoken by tens of millions of people across multiple West African countries, which holds significant cultural and educational value. To address this issue, we present a set of tools, resources, and baseline results aimed towards the development of usable machine translation systems for Nko and other languages that do not currently have sufficiently large parallel text corpora available. (1) Fria$\parallel$el: A novel collaborative parallel text curation software that incorporates quality control through copyedit-based workflows. (2) Expansion of the FLoRes-200 and NLLB-Seed corpora with 2,009 and 6,193 high-quality Nko translations in parallel with 204 and 40 other languages. (3) nicolingua-0005: A collection of trilingual and bilingual corpora with 130,850 parallel segments and monolingual corpora containing over 3 million Nko words. (4) Baseline bilingual and multilingual neural machine translation results with the best model scoring 30.83 English-Nko chrF++ on FLoRes-devtest.


title: Multiplicity of solutions for semilinear subelliptic Dirichlet problem

abstract: In this paper, we study the semilinear subelliptic equation \[ \left\{ \begin{array}{cc} -\triangle_{X} u=f(x,u)+g(x,u) & \mbox{in}~\Omega, \\[2mm] u=0\hfill & \mbox{on}~\partial\Omega, \end{array} \right. \] where $\triangle_{X}=-\sum_{i=1}^{m}X_{i}^{*}X_{i}$ is the self-adjoint H\"{o}rmander operator associated with vector fields $X=(X_{1},X_{2},\ldots,X_{m})$ satisfying the H\"{o}rmander condition, $f(x,u)\in C(\overline{\Omega}\times \mathbb{R})$, $g(x,u)$ is a Carath\'{e}odory function on $\Omega\times \mathbb{R}$, and $\Omega$ is an open bounded domain in $\mathbb{R}^n$ with smooth boundary. Combining the perturbation from symmetry method with the approaches involving eigenvalue estimate and Morse index in estimating the min-max values, we obtain two kinds of existence results for multiple weak solutions to the problem above. Furthermore, we discuss the difference between the eigenvalue estimate approach and the Morse index approach in degenerate situations. Compared with the classical elliptic cases, both approaches here have their own strengths in the degenerate cases. This new phenomenon implies the results in general degenerate cases would be quite different from the situations in classical elliptic cases.


title: Sparse Bayesian neural networks for regression: Tackling overfitting and computational challenges in uncertainty quantification

abstract: Neural networks (NNs) are primarily developed within the frequentist statistical framework. Nevertheless, frequentist NNs lack the capability to provide uncertainties in the predictions, and hence their robustness can not be adequately assessed. Conversely, the Bayesian neural networks (BNNs) naturally offer predictive uncertainty by applying Bayes' theorem. However, their computational requirements pose significant challenges. Moreover, both frequentist NNs and BNNs suffer from overfitting issues when dealing with noisy and sparse data, which render their predictions unwieldy away from the available data space. To address both these problems simultaneously, we leverage insights from a hierarchical setting in which the parameter priors are conditional on hyperparameters to construct a BNN by applying a semi-analytical framework known as nonlinear sparse Bayesian learning (NSBL). We call our network sparse Bayesian neural network (SBNN) which aims to address the practical and computational issues associated with BNNs. Simultaneously, imposing a sparsity-inducing prior encourages the automatic pruning of redundant parameters based on the automatic relevance determination (ARD) concept. This process involves removing redundant parameters by optimally selecting the precision of the parameters prior probability density functions (pdfs), resulting in a tractable treatment for overfitting. To demonstrate the benefits of the SBNN algorithm, the study presents an illustrative regression problem and compares the results of a BNN using standard Bayesian inference, hierarchical Bayesian inference, and a BNN equipped with the proposed algorithm. Subsequently, we demonstrate the importance of considering the full parameter posterior by comparing the results with those obtained using the Laplace approximation with and without NSBL.


title: Super-resolved rainfall prediction with physics-aware deep learning

abstract: Rainfall prediction at the kilometre-scale up to a few hours in the future is key for planning and safety. But it is challenging given the complex influence of climate change on cloud processes and the limited skill of weather models at this scale. Following the set-up proposed by the \emph{weather4cast} challenge of NeurIPS, we build a two-step deep-learning solution for predicting rainfall occurrence at ground radar high spatial resolution starting from coarser resolution weather satellite images. Our approach is designed to predict future satellite images with a physics-aware ConvLSTM network, which is then converted into precipitation maps through a U-Net. We find that our two-step pipeline outperforms the baseline model and we quantify the benefits of including physical information. We find that local-scale rainfall predictions with good accuracy starting from satellite radiances can be obtained for up to 4 hours in the future.


title: Atoms and associated spectral properties for positive operators on L^p

abstract: Inspired by Schwartz, Jang-Lewis and Victory, who study in particular generalizations of triangularizations of matrices to operators, we shall give for positive operators on Lebesgue spaces equivalent definitions of atoms (maximal irreducible sets). We also characterize positive power compact operators having a unique non-zero atom which appears as a natural generalization of irreducible operators and are also considered in epidemiological models. Using the different characterizations of atoms, we also provide a short proof for the representation of the ascent of a positive power compact operator as the maximal length in the graph of critical atoms.


title: A lower bound for the genus of a knot using the Links-Gould invariant

abstract: The Links-Gould invariant of links $LG^{2,1}$ is a two-variable generalization of the Alexander-Conway polynomial. Using representation theory of $U_{q}\mathfrak{gl}(2 \vert 1)$, we prove that the degree of the Links-Gould polynomial provides a lower bound on the Seifert genus of any knot, therefore improving the bound known as the Seifert inequality in the case of the Alexander invariant. One practical consequence of this new genus bound is a straightforward proof of the fact that the Kinoshita-Terasaka and Conway knots have genus greater or equal to 2.


title: Estimating the dimension of Thurston spine

abstract: For g at least 2, the Thurston spine Pg is the subspace of Teichmueller space Tg , consisting of the marked surfaces for which the set of shortest curves, the systoles, cuts the surface into polygons. Our main result is the existence of an infinite set A of integers such that codim Pg is a o(g/ log g), when g varies over A. This proves the recent conjecture of M. Fortier Bourque.


title: Spanning trees in $\mathbb{Z}$-covers of a finite graph and Mahler measures

abstract: Using the special value at $u=1$ of Artin-Ihara $L$-functions, we associate to every $\mathbb{Z}$-cover of a finite graph a polynomial which we call the \emph{Ihara polynomial}. We show that the number of spanning trees for the finite intermediate graphs of such a cover can be expressed in terms of the Pierce-Lehmer sequence associated to a factor of the Ihara polynomial. This allows us to express the asymptotic growth of the number of spanning trees in terms of the Mahler measure of this polynomial. Specializing to the situation where the base graph is a bouquet or the dumbbell graph gives us back previous results in the literature for circulant and $I$-graphs (including the generalized Petersen graphs). We also express the $p$-adic valuation of the number of spanning trees of the finite intermediate graphs in terms of the $p$-adic Mahler measure of the Ihara polynomial. When applied to a particular $\mathbb{Z}$-cover, our result gives us back Lengyel's calculation of the $p$-adic valuations of Fibonacci numbers.


title: On minimal graphs of sublinear growth over manifolds with non-negative Ricci curvature

abstract: We prove that entire solutions of the minimal hypersurface equation \[ \mathrm{div}\left(\frac{Du}{\sqrt{1+|Du|^2}}\right) = 0 \] on a complete manifold with $\mathrm{Ric} \ge 0$, whose negative part grows like $\mathcal{O}(r/\log r)$ ($r$ the distance from a fixed origin), are constant. This extends the Bernstein Theorem for entire positive minimal graphs established in recent years. The proof depends on a new technique to get gradient bounds by means of integral estimates, which does not require any further geometric assumption on $M$.


title: Exact solutions for radiative transfer with partial frequency redistribution

abstract: The construction of exact solutions for radiative transfer in a plane-parallel medium has been addressed by Hemsch and Ferziger in 1972 for a partial frequency redistribution model of the formation of spectral lines consisting in a linear combination of frequency coherent and fully incoherent scattering. The method of solution is based on an eigenfunction expansion of the radiation field, leading to two singular integral equations with a Cauchy-type kernel, that have to be solved one after the other. We reconsider this problem, using as starting point the integral formulation of the radiative transfer equation, where the terms involving the coupling between the two scattering mechanisms are clearly displayed, as well as the primary source of photons. With an inverse Laplace transform, we recover the singular integral equations previously established and with Hilbert transforms, as in the previous work, recast them as boundary value problems in the complex plane. Their solutions are presented in detail for an infinite and a semi-infinite medium. The coupling terms are carefully analyzed and consistency with either the coherent or the incoherent limit is systematically checked. We recover the important results of the previous work that an exact solution exists for an infinite medium, whereas for a semi-infinite medium, which requires the introduction of half-space auxiliary functions, the solution is given by a Fredholm integral equation to be solved numerically. The solutions of the singular integral equations are used to construct explicit expressions providing the radiation field for an arbitrary primary source and for the Green function. An explicit expression is given for the radiation field emerging from a semi-infinite medium.