title: OneNet: Enhancing Time Series Forecasting Models under Concept Drift by Online Ensembling

abstract: Online updating of time series forecasting models aims to address the concept drifting problem by efficiently updating forecasting models based on streaming data. Many algorithms are designed for online time series forecasting, with some exploiting cross-variable dependency while others assume independence among variables. Given every data assumption has its own pros and cons in online time series modeling, we propose \textbf{On}line \textbf{e}nsembling \textbf{Net}work (OneNet). It dynamically updates and combines two models, with one focusing on modeling the dependency across the time dimension and the other on cross-variate dependency. Our method incorporates a reinforcement learning-based approach into the traditional online convex programming framework, allowing for the linear combination of the two models with dynamically adjusted weights. OneNet addresses the main shortcoming of classical online learning methods that tend to be slow in adapting to the concept drift. Empirical results show that OneNet reduces online forecasting error by more than $\mathbf{50\%}$ compared to the State-Of-The-Art (SOTA) method. The code is available at \url{https://github.com/yfzhang114/OneNet}.


title: Disturbance Rejection Control for Autonomous Trolley Collection Robots with Prescribed Performance

abstract: Trajectory tracking control of autonomous trolley collection robots (ATCR) is an ambitious work due to the complex environment, serious noise and external disturbances. This work investigates a control scheme for ATCR subjecting to severe environmental interference. A kinematics model based adaptive sliding mode disturbance observer with fast convergence is first proposed to estimate the lumped disturbances. On this basis, a robust controller with prescribed performance is proposed using a backstepping technique, which improves the transient performance and guarantees fast convergence. Simulation outcomes have been provided to illustrate the effectiveness of the proposed control scheme.


title: Homotopy commutativity in symmetric spaces

abstract: We extend the former results of Ganea and the two of the authors with Takeda on the homotopy commutativity of the loop spaces of Hermitian symmetric spaces such that the loop spaces of all irreducible symmetric spaces but $\mathbb{C}P^3$ are not homotopy commutative.


title: Hausdorff dimension of exceptional sets arising in $\theta$-expansions

abstract: For a fixed $\theta^2=1/m$, $m \in \mathbb{N}_+$, let $x \in [0, \theta)$ and $[a_1(x) \theta, a_2(x) \theta, \ldots]$ be the $\theta$-expansion of $x$. Our first goal is to extend for $\theta$-expansions the results of Jarnik \cite{J-1928} concerning the set of badly aproximable numbers and the set of irrationals whose partial quotients do not exceed a positive integer. Define $ L_n (x)= \displaystyle \max_{1 \leq i \leq n} a_i(x), x \in \Omega:=[0, \theta)\setminus \mathbb{Q} $. The second goal is to complete our result inspired by Philipp \cite{Ph-1976} % \[ \liminf_{n \to \infty} \frac{L_n(x) \log\log n}{n} = \frac{1}{\log \left( 1+ \theta^2\right)} \mbox{ for a.e. } x \in [0, \theta]. \] % In this regard we prove that for any $\eta > 0$ the set \[ E(\eta) = \left\lbrace x \in \Omega: \lim_{n \to \infty} \frac{L_n(x) \log\log n}{n} = \eta \right\rbrace \] is of full Hausdorff dimension.


title: Quantization of Length in Spaces with Position-Dependent Noncommutativity

abstract: We present a novel approach to quantizing the length in noncommutative spaces with positional-dependent noncommutativity. The method involves constructing ladder operators that change the length not only along a plane but also along the third direction due to a noncommutative parameter that is a combination of canonical/Weyl-Moyal type and Lie algebraic type. The primary quantization of length in canonical-type noncommutative space takes place only on a plane, while in the present case, it happens in all three directions. We establish an operator algebra that allows for the raising or lowering of eigenvalues of the operator corresponding to the square of the length. We also attempt to determine how the obtained ladder operators act on different states and work out the eigenvalues of the square of the length operator in terms of eigenvalues corresponding to the ladder operators. We conclude by discussing the results obtained.


title: Langevin Quasi-Monte Carlo

abstract: Langevin Monte Carlo (LMC) and its stochastic gradient versions are powerful algorithms for sampling from complex high-dimensional distributions. To sample from a distribution with density $\pi(\theta)\propto \exp(-U(\theta)) $, LMC iteratively generates the next sample by taking a step in the gradient direction $\nabla U$ with added Gaussian perturbations. Expectations w.r.t. the target distribution $\pi$ are estimated by averaging over LMC samples. In ordinary Monte Carlo, it is well known that the estimation error can be substantially reduced by replacing independent random samples by quasi-random samples like low-discrepancy sequences. In this work, we show that the estimation error of LMC can also be reduced by using quasi-random samples. Specifically, we propose to use completely uniformly distributed (CUD) sequences with certain low-discrepancy property to generate the Gaussian perturbations. Under smoothness and convexity conditions, we prove that LMC with a low-discrepancy CUD sequence achieves smaller error than standard LMC. The theoretical analysis is supported by compelling numerical experiments, which demonstrate the effectiveness of our approach.


title: Lovelock: Towards Smart NIC-hosted Clusters

abstract: Traditional cluster designs were originally server-centric, and have evolved recently to support hardware acceleration and storage disaggregation. In applications that leverage acceleration, the server CPU performs the role of orchestrating computation and data movement and data-intensive applications stress the memory bandwidth. Applications that leverage disaggregation can be adversely affected by the increased PCIe and network bandwidth resulting from disaggregation. In this paper, we advocate for a specialized cluster design for important data intensive applications, such as analytics, query processing and ML training. This design, Lovelock, replaces each server in a cluster with one or more headless smart NICs. Because smart NICs are significantly cheaper than servers on bandwidth, the resulting cluster can run these applications without adversely impacting performance, while obtaining cost and energy savings.


title: Diophantine estimates on shifts of trigonometric polynomials on $\mathbb{T}^d$

abstract: We establish Diophantine type estimates on shifts of trigonometric polynomials on the torus $\mathbb{T}^d$, as well as that of their square roots. These estimates arise from the spectral analysis of the quasi-periodic Schr\"odinger and the quasi-periodic wave operators. They have applications to the nonlinear quasi-periodic Schr\"odinger equations (NLS) and the nonlinear quasi-periodic wave equations (NLW). One could now, for example, extend the result of Bourgain (Geom. Funct. Anal. 17(3): 682-706, 2007) to the nonlinear setting.


title: Comparing Overlapping Data Distributions Using Visualization

abstract: We present results from a preregistered and crowdsourced user study where we asked members of the general population to determine whether two samples represented using different forms of data visualizations are drawn from the same or different populations. Such a task reduces to assessing whether the overlap between the two visualized samples is large enough to suggest similar or different origins. When using idealized normal curves fitted on the samples, it is essentially a graphical formulation of the classic Student's t-test. However, we speculate that using more sophisticated visual representations, such as bar histograms, Wilkinson dot plots, strip plots, or Tukey boxplots will both allow people to be more accurate at this task as well as better understand its meaning. In other words, the purpose of our study is to explore which visualization best scaffolds novices in making graphical inferences about data. However, our results indicate that the more abstracted idealized bell curve representation of the task yields more accuracy.


title: UWA360CAM: A 360$^{\circ}$ 24/7 Real-Time Streaming Camera System for Underwater Applications

abstract: Omnidirectional camera is a cost-effective and information-rich sensor highly suitable for many marine applications and the ocean scientific community, encompassing several domains such as augmented reality, mapping, motion estimation, visual surveillance, and simultaneous localization and mapping. However, designing and constructing such a high-quality 360$^{\circ}$ real-time streaming camera system for underwater applications is a challenging problem due to the technical complexity in several aspects including sensor resolution, wide field of view, power supply, optical design, system calibration, and overheating management. This paper presents a novel and comprehensive system that addresses the complexities associated with the design, construction, and implementation of a fully functional 360$^{\circ}$ real-time streaming camera system specifically tailored for underwater environments. Our proposed system, UWA360CAM, can stream video in real time, operate in 24/7, and capture 360$^{\circ}$ underwater panorama images. Notably, our work is the pioneering effort in providing a detailed and replicable account of this system. The experiments provide a comprehensive analysis of our proposed system.


title: HRoT: Hybrid prompt strategy and Retrieval of Thought for Table-Text Hybrid Question Answering

abstract: Answering numerical questions over hybrid contents from the given tables and text(TextTableQA) is a challenging task. Recently, Large Language Models (LLMs) have gained significant attention in the NLP community. With the emergence of large language models, In-Context Learning and Chain-of-Thought prompting have become two particularly popular research topics in this field. In this paper, we introduce a new prompting strategy called Hybrid prompt strategy and Retrieval of Thought for TextTableQA. Through In-Context Learning, we prompt the model to develop the ability of retrieval thinking when dealing with hybrid data. Our method achieves superior performance compared to the fully-supervised SOTA on the MultiHiertt dataset in the few-shot setting.


title: Weak degeneracy of regular graphs

abstract: Motivated by the study of greedy algorithms for graph coloring, Bernshteyn and Lee introduced a generalization of graph degeneracy, which is called weak degeneracy. In this paper, we show the lower bound of the weak degeneracy for $d$-regular graphs is exactly $\lfloor d/2\rfloor +1$, which is tight. This result refutes the conjecture of Bernshteyn and Lee on this lower bound.


title: How to Fine-tune the Model: Unified Model Shift and Model Bias Policy Optimization

abstract: Designing and deriving effective model-based reinforcement learning (MBRL) algorithms with a performance improvement guarantee is challenging, mainly attributed to the high coupling between model learning and policy optimization. Many prior methods that rely on return discrepancy to guide model learning ignore the impacts of model shift, which can lead to performance deterioration due to excessive model updates. Other methods use performance difference bound to explicitly consider model shift. However, these methods rely on a fixed threshold to constrain model shift, resulting in a heavy dependence on the threshold and a lack of adaptability during the training process. In this paper, we theoretically derive an optimization objective that can unify model shift and model bias and then formulate a fine-tuning process. This process adaptively adjusts the model updates to get a performance improvement guarantee while avoiding model overfitting. Based on these, we develop a straightforward algorithm USB-PO (Unified model Shift and model Bias Policy Optimization). Empirical results show that USB-PO achieves state-of-the-art performance on several challenging benchmark tasks.


title: CrossSinger: A Cross-Lingual Multi-Singer High-Fidelity Singing Voice Synthesizer Trained on Monolingual Singers

abstract: It is challenging to build a multi-singer high-fidelity singing voice synthesis system with cross-lingual ability by only using monolingual singers in the training stage. In this paper, we propose CrossSinger, which is a cross-lingual singing voice synthesizer based on Xiaoicesing2. Specifically, we utilize International Phonetic Alphabet to unify the representation for all languages of the training data. Moreover, we leverage conditional layer normalization to incorporate the language information into the model for better pronunciation when singers meet unseen languages. Additionally, gradient reversal layer (GRL) is utilized to remove singer biases included in lyrics since all singers are monolingual, which indicates singer's identity is implicitly associated with the text. The experiment is conducted on a combination of three singing voice datasets containing Japanese Kiritan dataset, English NUS-48E dataset, and one internal Chinese dataset. The result shows CrossSinger can synthesize high-fidelity songs for various singers with cross-lingual ability, including code-switch cases.


title: On Sparse Modern Hopfield Model

abstract: We introduce the sparse modern Hopfield model as a sparse extension of the modern Hopfield model. Like its dense counterpart, the sparse modern Hopfield model equips a memory-retrieval dynamics whose one-step approximation corresponds to the sparse attention mechanism. Theoretically, our key contribution is a principled derivation of a closed-form sparse Hopfield energy using the convex conjugate of the sparse entropic regularizer. Building upon this, we derive the sparse memory retrieval dynamics from the sparse energy function and show its one-step approximation is equivalent to the sparse-structured attention. Importantly, we provide a sparsity-dependent memory retrieval error bound which is provably tighter than its dense analog. The conditions for the benefits of sparsity to arise are therefore identified and discussed. In addition, we show that the sparse modern Hopfield model maintains the robust theoretical properties of its dense counterpart, including rapid fixed point convergence and exponential memory capacity. Empirically, we use both synthetic and real-world datasets to demonstrate that the sparse Hopfield model outperforms its dense counterpart in many situations.


title: A Conjecture on Antisymmetrized Geminal Power Wavefunctions

abstract: We conjecture that ``Antisymmetrized Geminal Power'' wave functions, and, in particular, those of extreme type in Coleman's terminology (i.e. with all geminal coefficients equal), can always be rewritten as antisymmetrized products of geminals orthogonal to each other. We prove this conjecture in simple cases and provide numerical evidence that it holds true in more complicated examples. Establishing the validity of this conjecture is important as it questions the physical interpretation of AGP wavefunctions.


title: Vision Transformers for Computer Go

abstract: Motivated by the success of transformers in various fields, such as language understanding and image analysis, this investigation explores their application in the context of the game of Go. In particular, our study focuses on the analysis of the Transformer in Vision. Through a detailed analysis of numerous points such as prediction accuracy, win rates, memory, speed, size, or even learning rate, we have been able to highlight the substantial role that transformers can play in the game of Go. This study was carried out by comparing them to the usual Residual Networks.


title: JCoLA: Japanese Corpus of Linguistic Acceptability

abstract: Neural language models have exhibited outstanding performance in a range of downstream tasks. However, there is limited understanding regarding the extent to which these models internalize syntactic knowledge, so that various datasets have recently been constructed to facilitate syntactic evaluation of language models across languages. In this paper, we introduce JCoLA (Japanese Corpus of Linguistic Acceptability), which consists of 10,020 sentences annotated with binary acceptability judgments. Specifically, those sentences are manually extracted from linguistics textbooks, handbooks and journal articles, and split into in-domain data (86 %; relatively simple acceptability judgments extracted from textbooks and handbooks) and out-of-domain data (14 %; theoretically significant acceptability judgments extracted from journal articles), the latter of which is categorized by 12 linguistic phenomena. We then evaluate the syntactic knowledge of 9 different types of Japanese language models on JCoLA. The results demonstrated that several models could surpass human performance for the in-domain data, while no models were able to exceed human performance for the out-of-domain data. Error analyses by linguistic phenomena further revealed that although neural language models are adept at handling local syntactic dependencies like argument structure, their performance wanes when confronted with long-distance syntactic dependencies like verbal agreement and NPI licensing.


title: TrTr: A Versatile Pre-Trained Large Traffic Model based on Transformer for Capturing Trajectory Diversity in Vehicle Population

abstract: Understanding trajectory diversity is a fundamental aspect of addressing practical traffic tasks. However, capturing the diversity of trajectories presents challenges, particularly with traditional machine learning and recurrent neural networks due to the requirement of large-scale parameters. The emerging Transformer technology, renowned for its parallel computation capabilities enabling the utilization of models with hundreds of millions of parameters, offers a promising solution. In this study, we apply the Transformer architecture to traffic tasks, aiming to learn the diversity of trajectories within vehicle populations. We analyze the Transformer's attention mechanism and its adaptability to the goals of traffic tasks, and subsequently, design specific pre-training tasks. To achieve this, we create a data structure tailored to the attention mechanism and introduce a set of noises that correspond to spatio-temporal demands, which are incorporated into the structured data during the pre-training process. The designed pre-training model demonstrates excellent performance in capturing the spatial distribution of the vehicle population, with no instances of vehicle overlap and an RMSE of 0.6059 when compared to the ground truth values. In the context of time series prediction, approximately 95% of the predicted trajectories' speeds closely align with the true speeds, within a deviation of 7.5144m/s. Furthermore, in the stability test, the model exhibits robustness by continuously predicting a time series ten times longer than the input sequence, delivering smooth trajectories and showcasing diverse driving behaviors. The pre-trained model also provides a good basis for downstream fine-tuning tasks. The number of parameters of our model is over 50 million.


title: QAL-BP: An Augmented Lagrangian Quantum Approach for Bin Packing

abstract: The bin packing is a well-known NP-Hard problem in the domain of artificial intelligence, posing significant challenges in finding efficient solutions. Conversely, recent advancements in quantum technologies have shown promising potential for achieving substantial computational speedup, particularly in certain problem classes, such as combinatorial optimization. In this study, we introduce QAL-BP, a novel Quadratic Unconstrained Binary Optimization (QUBO) formulation designed specifically for bin packing and suitable for quantum computation. QAL-BP utilizes the Augmented Lagrangian method to incorporate the bin packing constraints into the objective function while also facilitating an analytical estimation of heuristic, but empirically robust, penalty multipliers. This approach leads to a more versatile and generalizable model that eliminates the need for empirically calculating instance-dependent Lagrangian coefficients, a requirement commonly encountered in alternative QUBO formulations for similar problems. To assess the effectiveness of our proposed approach, we conduct experiments on a set of bin packing instances using a real Quantum Annealing device. Additionally, we compare the results with those obtained from two different classical solvers, namely simulated annealing and Gurobi. The experimental findings not only confirm the correctness of the proposed formulation but also demonstrate the potential of quantum computation in effectively solving the bin packing problem, particularly as more reliable quantum technology becomes available.


title: Small-Angle X-ray Scattering Unveils the Internal Structure of Lipid Nanoparticles

abstract: Lipid nanoparticles own a remarkable potential in nanomedicine, only partially disclosed. While the clinical use of liposomes and cationic lipid-nucleic acid complexes is well-established, liquid lipid nanoparticles (nanoemulsions), solid lipid nanoparticles, and nanostructured lipid carriers have even greater potential. However, they face obstacles in being used in clinics due to a lack of understanding about the molecular mechanisms controlling their drug loading and release, interactions with the biological environment (such as the protein corona), and shelf-life stability. To create effective drug delivery carriers and successfully translate bench research to clinical settings, it is crucial to have a thorough understanding of the internal structure of lipid nanoparticles. Through synchrotron small-angle X-ray scattering experiments, we determined the spatial distribution and internal structure of the nanoparticles' lipid, surfactant, and the water in them. The nanoparticles themselves have a barrel-like shape that consists of coplanar lipid platelets (specifically cetyl palmitate) that are partially covered by polysorbate 80 surfactant and retain a small amount of hydration water. Although the platelet structure was expected, the presence of surfactant molecules forming sticky patches between adjacent platelets challenges the classical core-shell model used to describe solid lipid nanoparticles. Additionally, the surfactant partially covers the water-nanoparticle interface, allowing certain lipid regions to come into direct contact with surrounding water. These structural features play a significant role in drug loading and release, biological fluid interaction, and nanoparticle stability, making these findings valuable for the rational design of lipid-based nanoparticles.


title: Can Urban Air Mobility become reality? Opportunities, challenges and selected research results

abstract: Urban Air Mobility (UAM) is a new air transportation system for passengers and cargo in urban environments, enabled by new technologies and integrated into multimodal transportation systems. The vision of UAM comprises the mass use in urban and suburban environments, complementing existing transportation systems and contributing to the decarbonization of the transport sector. Initial attempts to create a market for urban air transportation in the last century failed due to lack of profitability and community acceptance. Technological advances in numerous fields over the past few decades have led to a renewed interest in urban air transportation. UAM is expected to benefit users and to also have a positive impact on the economy by creating new markets and employment opportunities for manufacturing and operation of UAM vehicles and the construction of related ground infrastructure. However, there are also concerns about noise, safety and security, privacy and environmental impacts. Therefore, the UAM system needs to be designed carefully to become safe, affordable, accessible, environmentally friendly, economically viable and thus sustainable. This paper provides an overview of selected key research topics related to UAM and how the German Aerospace Center (DLR) contributed to this research in the project "HorizonUAM - Urban Air Mobility Research at the German Aerospace Center (DLR)". Selected research results that support the realization of the UAM vision are briefly presented.


title: Tight and Efficient Gradient Bounds for Parameterized Quantum Circuits

abstract: The training of a parameterized model largely depends on the landscape of the underlying loss function. In particular, vanishing gradients (also known as barren plateaus) are a central bottleneck in the scalability of variational quantum algorithms (VQAs), and are known to arise in various ways, from circuit depth and hardware noise to global observables. However, a caveat of most existing gradient bound results is the requirement of t-design circuit assumptions that are typically not satisfied in practice. In this work, we loosen these assumptions altogether and derive tight upper and lower bounds on loss and gradient concentration for a large class of parameterized quantum circuits and arbitrary observables, which are significantly stronger than prior work. Moreover, we show that these bounds, as well as the variance of the loss itself, can be estimated efficiently and classically--providing practical tools to study the loss landscapes of VQA models, including verifying whether or not a circuit/observable induces barren plateaus. This insight has direct implications for hybrid Quantum Generative Adversarial Networks (qGANs), a generative model that can be reformulated as a VQA with an observable composed of local and global terms. We prove that designing the discriminator appropriately leads to 1-local weights that stay constant in the number of qubits, regardless of discriminator depth. Combined with our first contribution, this implies that qGANs with shallow generators can be trained at scale without suffering from barren plateaus, making them a promising candidate for applications in generative quantum machine learning. We demonstrate this result by training a qGAN to learn a 2D mixture of Gaussian distributions with up to 16 qubits, and provide numerical evidence that global contributions to the gradient may kick in substantially over the course of training.


title: The comparison of two Zagreb-Fermat eccentricity indices

abstract: In this paper, we focus on comparing the first and second Zagreb-Fermat eccentricity indices of graphs. We show that $$\frac{\sum_{uv\in E\left( G \right)}{\varepsilon_3\left( u \right) \varepsilon_3\left( v \right)}}{m\left( G \right)} \leq \frac{\sum_{u\in V\left( G \right)}{\varepsilon_{3}^{2}\left( u \right)}}{n\left( G \right)} $$ holds for all acyclic and unicyclic graphs. Besides, we verify that the inequality may not be applied to graphs with at least two cycles.


title: Accelerating the laser-induced phase transition in nanostructured FeRh via plasmonic absorption

abstract: By ultrafast x-ray diffraction we show that the laser-induced magnetostructural phase transition in FeRh nanoislands proceeds faster and more complete than in continuous films. We observe an intrinsic 8 ps timescale for nucleation of ferromagnetic (FM) domains in both types of samples. For the continuous film, the substrate-near regions, which are not directly exposed to light, are only slowly transformed to the FM state by domain wall motion following heat transport. In contrast, numerical modeling of the plasmonic absorption in the investigated nanostructure reveals a strong contribution near the FeRh/MgO interface. On average, the absorption is larger and more homogeneous in the nanoislands, enabling the phase transition throughout the entire volume at the intrinsic nucleation timescale.


title: Visualization According to Statisticians: An Interview Study on the Role of Visualization for Inferential Statistics

abstract: Statisticians are not only one of the earliest professional adopters of data visualization, but also some of its most prolific users. Understanding how these professionals utilize visual representations in their analytic process may shed light on best practices for visual sensemaking. We present results from an interview study involving 18 professional statisticians (19.7 years average in the profession) on three aspects: (1) their use of visualization in their daily analytic work; (2) their mental models of inferential statistical processes; and (3) their design recommendations for how to best represent statistical inferences. Interview sessions consisted of discussing inferential statistics, eliciting participant sketches of suitable visual designs, and finally, a design intervention with our proposed visual designs. We analyzed interview transcripts using thematic analysis and open coding, deriving thematic codes on statistical mindset, analytic process, and analytic toolkit. The key findings for each aspect are as follows: (1) statisticians make extensive use of visualization during all phases of their work (and not just when reporting results); (2) their mental models of inferential methods tend to be mostly visually based; and (3) many statisticians abhor dichotomous thinking. The latter suggests that a multi-faceted visual display of inferential statistics that includes a visual indicator of analytically important effect sizes may help to balance the attributed epistemic power of traditional statistical testing with an awareness of the uncertainty of sensemaking.


title: eWand: A calibration framework for wide baseline frame-based and event-based camera systems

abstract: Accurate calibration is crucial for using multiple cameras to triangulate the position of objects precisely. However, it is also a time-consuming process that needs to be repeated for every displacement of the cameras. The standard approach is to use a printed pattern with known geometry to estimate the intrinsic and extrinsic parameters of the cameras. The same idea can be applied to event-based cameras, though it requires extra work. By using frame reconstruction from events, a printed pattern can be detected. A blinking pattern can also be displayed on a screen. Then, the pattern can be directly detected from the events. Such calibration methods can provide accurate intrinsic calibration for both frame- and event-based cameras. However, using 2D patterns has several limitations for multi-camera extrinsic calibration, with cameras possessing highly different points of view and a wide baseline. The 2D pattern can only be detected from one direction and needs to be of significant size to compensate for its distance to the camera. This makes the extrinsic calibration time-consuming and cumbersome. To overcome these limitations, we propose eWand, a new method that uses blinking LEDs inside opaque spheres instead of a printed or displayed pattern. Our method provides a faster, easier-to-use extrinsic calibration approach that maintains high accuracy for both event- and frame-based cameras.


title: Temporal networks provide a unifying understanding of the evolution of cooperation

abstract: Understanding the evolution of cooperation in structured populations represented by networks is a problem of long research interest, and a most fundamental and widespread property of social networks related to cooperation phenomena is that the node's degree (i.e., number of edges connected to the node) is heterogeneously distributed. Previous results indicate that static heterogeneous (i.e., degree-heterogeneous) networks promote cooperation in stationarity compared to static regular (i.e., degree-homogeneous) networks if equilibrium dynamics starting from many cooperators and defectors is employed. However, the above conclusion reverses if we employ non-equilibrium stochastic processes to measure the fixation probability for cooperation, i.e., the probability that a single cooperator successfully invades a population. Here we resolve this conundrum by analyzing the fixation of cooperation on temporal (i.e., time-varying) networks. We theoretically prove and numerically confirm that on both synthetic and empirical networks, contrary to the case of static networks, temporal heterogeneous networks can promote cooperation more than temporal regular networks in terms of the fixation probability of cooperation. Given that the same conclusion is known for the equilibrium fraction of cooperators on temporal networks, the present results provide a unified understanding of the effect of temporal degree heterogeneity on promoting cooperation across two main analytical frameworks, i.e., equilibrium and non-equilibrium ones.


title: Fixed confidence community mode estimation

abstract: Our aim is to estimate the largest community (a.k.a., mode) in a population composed of multiple disjoint communities. This estimation is performed in a fixed confidence setting via sequential sampling of individuals with replacement. We consider two sampling models: (i) an identityless model, wherein only the community of each sampled individual is revealed, and (ii) an identity-based model, wherein the learner is able to discern whether or not each sampled individual has been sampled before, in addition to the community of that individual. The former model corresponds to the classical problem of identifying the mode of a discrete distribution, whereas the latter seeks to capture the utility of identity information in mode estimation. For each of these models, we establish information theoretic lower bounds on the expected number of samples needed to meet the prescribed confidence level, and propose sound algorithms with a sample complexity that is provably asymptotically optimal. Our analysis highlights that identity information can indeed be utilized to improve the efficiency of community mode estimation.


title: Green Holographic MIMO Communications With A Few Transmit Radio Frequency Chains

abstract: Holographic multiple-input multiple-output (MIMO) communications are widely recognized as a promising candidate for the next-generation air interface. With holographic MIMO surface, the number of the spatial degrees-of-freedom (DoFs) considerably increases and also significantly varies as the user moves. To fully employ the large and varying number of spatial DoFs, the number of equipped RF chains has to be larger than or equal to the largest number of spatial DoFs. However, this causes much waste as radio frequency (RF) chains (especially the transmit RF chains) are costly and power-hungry. To avoid the heavy burden, this paper investigates green holographic MIMO communications with a few transmit RF chains under an electromagnetic-based communication model. We not only look at the fundamental capacity limits but also propose an effective transmission, namely non-uniform holographic pattern modulation (NUHPM), to achieve the capacity limit in the high signal-to-noise (SNR) regime. The analytical result sheds light on the green evaluation of MIMO communications, which can be realized by increasing the size of the antenna aperture without increasing the number of transmit RF chains. Numerical results are provided to verify our analysis and to show the great performance gain by employing the additional spatial DoFs as modulation resources.


title: AMPLIFY:Attention-based Mixup for Performance Improvement and Label Smoothing in Transformer

abstract: Mixup is an effective data augmentation method that generates new augmented samples by aggregating linear combinations of different original samples. However, if there are noises or aberrant features in the original samples, Mixup may propagate them to the augmented samples, leading to over-sensitivity of the model to these outliers . To solve this problem, this paper proposes a new Mixup method called AMPLIFY. This method uses the Attention mechanism of Transformer itself to reduce the influence of noises and aberrant values in the original samples on the prediction results, without increasing additional trainable parameters, and the computational cost is very low, thereby avoiding the problem of high resource consumption in common Mixup methods such as Sentence Mixup . The experimental results show that, under a smaller computational resource cost, AMPLIFY outperforms other Mixup methods in text classification tasks on 7 benchmark datasets, providing new ideas and new ways to further improve the performance of pre-trained models based on the Attention mechanism, such as BERT, ALBERT, RoBERTa, and GPT. Our code can be obtained at https://github.com/kiwi-lilo/AMPLIFY.


title: Strongly Coupled Spin Waves and Surface Acoustic Waves at Room Temperature

abstract: Here, we report the observation of strong coupling between magnons and surface acoustic wave (SAW) phonons in a thin CoFeB film constructed in an on-chip SAW resonator by analyzing SAW phonon dispersion anticrossings. Our device design provides the tunability of the film thickness with a fixed phonon wavelength, which is a departure from the conventional approach in strong magnon--phonon coupling research. We detect a monotonic increase in the coupling strength by expanding the film thickness, which agrees with our theoretical model. Our work offers a significant way to advance fundamental research and the development of devices based on magnon--phonon hybrid quasiparticles.


title: Characterizing the temporally stable structure of community evolution in intra-urban origin-destination networks

abstract: Intra-urban origin-destination (OD) network communities evolve throughout the day, indicating changing groups of closely connected regions. Under this variation, groups of regions with high consistency of community affiliation characterize the temporally stable structure of the evolution process, aiding in comprehending urban dynamics. However, how to quantify this consistency and identify these groups are open questions. In this study, we introduce the consensus OD network to quantify the consistency of community affiliation among regions. Furthermore, the temporally stable community decomposition method is proposed to identify groups of regions with high internal and low external consistency (named "stable groups"), where each group consists of temporally stable cores and attaching peripheries. Wuhan taxi data is used to verify our methods. On the hourly time scale, eleven stable groups containing 82.9% of regions are identified. This high percentage suggests that dynamic communities can be well organized via cores. Moreover, stable groups are spatially closed and more likely to distribute within a single district and separated by water bodies. Cores exhibit higher POI entropy and more healthcare and shopping services than peripheries. Our methods and empirical findings contribute to some practical issues, such as urban area division, polycentric evaluation and construction, and infectious disease control.


title: Enhancing Graph Representation of the Environment through Local and Cloud Computation

abstract: Enriching the robot representation of the operational environment is a challenging task that aims at bridging the gap between low-level sensor readings and high-level semantic understanding. Having a rich representation often requires computationally demanding architectures and pure point cloud based detection systems that struggle when dealing with everyday objects that have to be handled by the robot. To overcome these issues, we propose a graph-based representation that addresses this gap by providing a semantic representation of robot environments from multiple sources. In fact, to acquire information from the environment, the framework combines classical computer vision tools with modern computer vision cloud services, ensuring computational feasibility on onboard hardware. By incorporating an ontology hierarchy with over 800 object classes, the framework achieves cross-domain adaptability, eliminating the need for environment-specific tools. The proposed approach allows us to handle also small objects and integrate them into the semantic representation of the environment. The approach is implemented in the Robot Operating System (ROS) using the RViz visualizer for environment representation. This work is a first step towards the development of a general-purpose framework, to facilitate intuitive interaction and navigation across different domains.


title: Dimensional analysis identifies contrasting dynamics of past climate states and critical transitions

abstract: While one can unequivocally identify past climate transitions, we lack comprehensive knowledge about their underlying mechanisms and timescales. Our study employs a dimensional analysis of benthic stable isotope records to uncover, across different timescales, how the climatic fluctuation of the Cenozoic are associated with changes in the number of effective degrees of freedom. Precession timescales dominate the Hothouse and Warmhouse states, while the Icehouse climate is primarily influenced by obliquity and eccentricity timescales. Notably, the Coolhouse state lacks dominant timescales. Our analysis proves effective in objectively identifying abrupt climate shifts and extremes. This is also demonstrated using high-resolution data from the last glacial cycle, revealing abrupt climate shifts within a single climate state. These findings significantly impact our understanding of the inherent stability of each climate state and the evaluation of (paleo-)climate models' ability to replicate key features of past/future climate states and transitions.


title: Recurrent Temporal Revision Graph Networks

abstract: Temporal graphs offer more accurate modeling of many real-world scenarios than static graphs. However, neighbor aggregation, a critical building block of graph networks, for temporal graphs, is currently straightforwardly extended from that of static graphs. It can be computationally expensive when involving all historical neighbors during such aggregation. In practice, typically only a subset of the most recent neighbors are involved. However, such subsampling leads to incomplete and biased neighbor information. To address this limitation, we propose a novel framework for temporal neighbor aggregation that uses the recurrent neural network with node-wise hidden states to integrate information from all historical neighbors for each node to acquire the complete neighbor information. We demonstrate the superior theoretical expressiveness of the proposed framework as well as its state-of-the-art performance in real-world applications. Notably, it achieves a significant +9.6% improvement on averaged precision in a real-world Ecommerce dataset over existing methods on 2-layer models.


title: Total positivity and least squares problems in the Lagrange basis

abstract: The problem of polynomial least squares fitting in the standard Lagrange basis is addressed in this work. Although the matrices involved in the corresponding overdetermined linear systems are not totally positive, rectangular totally positive Lagrange-Vandermonde matrices are used to take advantage of total positivity in the construction of accurate algorithms to solve the considered problem. In particular, a fast and accurate algorithm to compute the bidiagonal decomposition of such rectangular totally positive matrices is crucial to solve the problem. This algorithm also allows the accurate computation of the Moore-Penrose inverse and the projection matrix of the collocation matrices involved in these problems. Numerical experiments showing the good behaviour of the proposed algorithms are included.


title: Counterfactual Conservative Q Learning for Offline Multi-agent Reinforcement Learning

abstract: Offline multi-agent reinforcement learning is challenging due to the coupling effect of both distribution shift issue common in offline setting and the high dimension issue common in multi-agent setting, making the action out-of-distribution (OOD) and value overestimation phenomenon excessively severe. Tomitigate this problem, we propose a novel multi-agent offline RL algorithm, named CounterFactual Conservative Q-Learning (CFCQL) to conduct conservative value estimation. Rather than regarding all the agents as a high dimensional single one and directly applying single agent methods to it, CFCQL calculates conservative regularization for each agent separately in a counterfactual way and then linearly combines them to realize an overall conservative value estimation. We prove that it still enjoys the underestimation property and the performance guarantee as those single agent conservative methods do, but the induced regularization and safe policy improvement bound are independent of the agent number, which is therefore theoretically superior to the direct treatment referred to above, especially when the agent number is large. We further conduct experiments on four environments including both discrete and continuous action settings on both existing and our man-made datasets, demonstrating that CFCQL outperforms existing methods on most datasets and even with a remarkable margin on some of them.


title: Semantic similarity prediction is better than other semantic similarity measures

abstract: Semantic similarity between natural language texts is typically measured either by looking at the overlap between subsequences (e.g., BLEU) or by using embeddings (e.g., BERTScore, S-BERT). Within this paper, we argue that when we are only interested in measuring the semantic similarity, it is better to directly predict the similarity using a fine-tuned model for such a task. Using a fine-tuned model for the Semantic Textual Similarity Benchmark tasks (STS-B) from the GLUE benchmark, we define the STSScore approach and show that the resulting similarity is better aligned with our expectations on a robust semantic similarity measure than other approaches.


title: Non-monotonic flow variations in a TASEP-based traffic model featuring cars searching for parking

abstract: The Totally Asymmetric Simple Exclusion Process (TASEP) is a paradigm of out-of-equilibrium Statistical Physics that serves as a simplistic model for one-way vehicular traffic. Since traffic is perturbed by cars cruising for parking in many metropolises, we introduce a variant of TASEP, dubbed SFP, in which particles are initially cruising at a slower speed and aiming to park on one of the sites adjacent to the main road, described by a unidimensional lattice. After parking, they pull out at a finite rate and move at a normal speed. We show that this model, which breaks many of the conservation rules applicable in other TASEP variants, exhibits singular features, in particular non-monotonic variations of the steady-state current with the injection rate and re-entrant transitions in the phase diagram, for some range of parameters. These features are robust to variations in the update rule and the boundary conditions.Neither the slow speed of cruising cars nor the perturbation of the flow due to pull-out maneuvers, taken in isolation, can rationalize these observations. Instead, they originate in a cramming (or `paper jam') effect which results from the coupling of these mechanisms: injecting too many cars into the system saturates the first sites of the road, which prevents parked cars from pulling out, thus forcing cruising cars to travel farther along the road.These strong discrepancies with even the qualitative trends of the baseline TASEP model highlight the importance of considering the effect of perturbations on traffic.


title: Center-symmetric Landau gauge: Further signatures of confinement

abstract: In a recent article [1], we have identified new signatures for the Yang-Mills deconfinement transition, based on the finite-temperature longitudinal or (chromo-)electric gluon propagator as computed in the center-symmetric Landau gauge. Here, we generalize these considerations into a systematic study of the center symmetry identities obeyed by the correlation functions in this gauge. Any violation of these constraints signals the breaking of center symmetry and can thus serve as a probe for the deconfinement transition.


title: mixed attention auto encoder for multi-class industrial anomaly detection

abstract: Most existing methods for unsupervised industrial anomaly detection train a separate model for each object category. This kind of approach can easily capture the category-specific feature distributions, but results in high storage cost and low training efficiency. In this paper, we propose a unified mixed-attention auto encoder (MAAE) to implement multi-class anomaly detection with a single model. To alleviate the performance degradation due to the diverse distribution patterns of different categories, we employ spatial attentions and channel attentions to effectively capture the global category information and model the feature distributions of multiple classes. Furthermore, to simulate the realistic noises on features and preserve the surface semantics of objects from different categories which are essential for detecting the subtle anomalies, we propose an adaptive noise generator and a multi-scale fusion module for the pre-trained features. MAAE delivers remarkable performances on the benchmark dataset compared with the state-of-the-art methods.


title: Interpretable Decision Tree Search as a Markov Decision Process

abstract: Finding an optimal decision tree for a supervised learning task is a challenging combinatorial problem to solve at scale. It was recently proposed to frame the problem as a Markov Decision Problem (MDP) and use deep reinforcement learning to tackle scaling. Unfortunately, these methods are not competitive with the current branch-and-bound state-of-the-art. We propose instead to scale the resolution of such MDPs using an information-theoretic tests generating function that heuristically, and dynamically for every state, limits the set of admissible test actions to a few good candidates. As a solver, we show empirically that our algorithm is at the very least competitive with branch-and-bound alternatives. As a machine learning tool, a key advantage of our approach is to solve for multiple complexity-performance trade-offs at virtually no additional cost. With such a set of solutions, a user can then select the tree that generalizes best and which has the interpretability level that best suits their needs, which no current branch-and-bound method allows.


title: Microlocal analysis of the X-ray transform in non-smooth geometry

abstract: We prove that the geodesic X-ray transform is injective on $L^2$ when the Riemannian metric is simple but the metric tensor is only finitely differentiable. The number of derivatives needed depends explicitly on dimension, and in dimension $2$ we assume $g\in C^{10}$. Our proof is based on microlocal analysis of the normal operator: we establish ellipticity and a smoothing property in a suitable sense and then use a recent injectivity result on Lipschitz functions. When the metric tensor is $C^k$, the Schwartz kernel is not smooth but $C^{k-2}$ off the diagonal, which makes standard smooth microlocal analysis inapplicable.


title: Irreducible unitary representations with non-zero relative Lie algebra cohomology of the Lie group $SO_0(2,m)$

abstract: By a theorem of D. Wigner, an irreducible unitary representation with non-zero $(\frak{g},K)$-cohomology has trivial infinitesimal character, and hence up to unitary equivalence, these are finite in number. We have determined the number of equivalence classes of these representations and the Poincar\'{e} polynomial of cohomologies of these representations for the Lie group $SO_0(2,m)$ for any positive integer $m.$ We have also determined, among these, which are discrete series representations and holomorphic discrete series representations.


title: Searching for Smurfs: Testing if Money Launderers Know Alert Thresholds

abstract: To combat money laundering, banks raise and review alerts on transactions that exceed confidential thresholds. This paper presents a data-driven approach to detect smurfing, i.e., money launderers seeking to evade detection by breaking up large transactions into amounts under the secret thresholds. The approach utilizes the notion of a counterfactual distribution and relies on two assumptions: (i) smurfing is unfeasible for the very largest financial transactions and (ii) money launderers have incentives to make smurfed transactions close to the thresholds. Simulations suggest that the approach can detect smurfing when as little as 0.1-0.5\% of all bank transactions are subject to smurfing. An application to real data from a systemically important Danish bank finds no evidence of smurfing and, thus, no evidence of leaked confidential thresholds. An implementation of our approach will be available online, providing a free and easy-to-use tool for banks.


title: Rapid generation of high fidelity, dissipation-stabilized dimerized chain

abstract: Despite the many proposals to use dissipation as a resource to prepare long-lived entangled states, the speed of such entanglement generation is usually limited by the requirement of perturbatively small driving strengths. We propose a new scheme to rapidly generate many-body entanglement between multiple spins coupled to a 1D bath stabilized by the dissipation into the bath. Our work stands in contrast to the current well known steady state protocols for entanglement generation in spins coupled to 1D baths that take a prohibitively long time, and exhibits a speedup over state-of-the-art protocols by several orders of magnitude. Importantly, the protocol works even with a local control Hamiltonian, and the timescale is independent of the system size. Our scheme can be applied to simultaneously generate a large number of spin dimer pairs, which can serve as a valuable resource for quantum metrology and teleportation-based information processing.


title: Multi-Label Noise Transition Matrix Estimation with Label Correlations: Theory and Algorithm

abstract: Noisy multi-label learning has garnered increasing attention due to the challenges posed by collecting large-scale accurate labels, making noisy labels a more practical alternative. Motivated by noisy multi-class learning, the introduction of transition matrices can help model multi-label noise and enable the development of statistically consistent algorithms for noisy multi-label learning. However, estimating multi-label noise transition matrices remains a challenging task, as most existing estimators in noisy multi-class learning rely on anchor points and accurate fitting of noisy class posteriors, which is hard to satisfy in noisy multi-label learning. In this paper, we address this problem by first investigating the identifiability of class-dependent transition matrices in noisy multi-label learning. Building upon the identifiability results, we propose a novel estimator that leverages label correlations without the need for anchor points or precise fitting of noisy class posteriors. Specifically, we first estimate the occurrence probability of two noisy labels to capture noisy label correlations. Subsequently, we employ sample selection techniques to extract information implying clean label correlations, which are then used to estimate the occurrence probability of one noisy label when a certain clean label appears. By exploiting the mismatches in label correlations implied by these occurrence probabilities, we demonstrate that the transition matrix becomes identifiable and can be acquired by solving a bilinear decomposition problem. Theoretically, we establish an estimation error bound for our multi-label transition matrix estimator and derive a generalization error bound for our statistically consistent algorithm. Empirically, we validate the effectiveness of our estimator in estimating multi-label noise transition matrices, leading to excellent classification performance.


title: Analytical Quantum Field methods in Particle Physics

abstract: In this thesis we deal with different aspects of quantum field theory, particularly in non-perturbative but also perturbative regimes, applied to the intellectual construction that is the Standard Model for Particle Physics (SM), but also its extension via effective theories. We have developed the following practical contributions in different subfields of Particle Physics: qualitatively assessing why the SM has those specific symmetries, explaining the $^3P_0$ mechanism of meson decay from fundamental Quantum Chromodynamics (QCD) calculations, experimentally distinguishing Effective Theories of the Electroweak sector beyond the SM in accelerators, extrapolating LHC data (low energies) to possible resonant regions of new physics (high energies) with controlled uncertainties and studying precision calculations of QCD (high energies) in coordinate space.


title: PointSSC: A Cooperative Vehicle-Infrastructure Point Cloud Benchmark for Semantic Scene Completion

abstract: Semantic Scene Completion (SSC) aims to jointly generate space occupancies and semantic labels for complex 3D scenes. Most existing SSC models focus on volumetric representations, which are memory-inefficient for large outdoor spaces. Point clouds provide a lightweight alternative but existing benchmarks lack outdoor point cloud scenes with semantic labels. To address this, we introduce PointSSC, the first cooperative vehicle-infrastructure point cloud benchmark for semantic scene completion. These scenes exhibit long-range perception and minimal occlusion. We develop an automated annotation pipeline leveraging Semantic Segment Anything to efficiently assign semantics. To benchmark progress, we propose a LiDAR-based model with a Spatial-Aware Transformer for global and local feature extraction and a Completion and Segmentation Cooperative Module for joint completion and segmentation. PointSSC provides a challenging testbed to drive advances in semantic point cloud completion for real-world navigation. The code and datasets are available at https://github.com/yyxssm/PointSSC.


title: Long time energy averages and a lower resolvent estimate for damped waves

abstract: We consider the damped wave equation on a compact manifold. We propose different ways of measuring decay of the energy (time averages of lower energy levels, decay for frequency localized data...) and exhibit links with resolvent estimates on the imaginary axis. As an application we prove a universal logarithmic lower resolvent bound on the imaginary axis for the damped wave operator when the Geometric Control Condition (GCC) is not satisfied. This is to be compared to the uniform boundedness of the resolvent on that set when GCC holds. The proofs rely on (i) various (re-)formulations of the damped wave equation as a conservative hyperbolic part perturbed by a lower order damping term;(ii) a "Plancherel-in-time" argument as in classical proofs of the Gearhart-Huang-Pr{\"u}ss theorem; and (iii) an idea of Bony-Burq-Ramond of propagating a coherent state along an undamped trajectory up to Ehrenfest time.


title: Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination

abstract: The disjunctive restricted chase is a sound and complete procedure for solving boolean conjunctive query entailment over knowledge bases of disjunctive existential rules. Alas, this procedure does not always terminate and checking if it does is undecidable. However, we can use acyclicity notions (sufficient conditions that imply termination) to effectively apply the chase in many real-world cases. To know if these conditions are as general as possible, we can use cyclicity notions (sufficient conditions that imply non-termination). In this paper, we discuss some issues with previously existing cyclicity notions, propose some novel notions for non-termination by dismantling the original idea, and empirically verify the generality of the new criteria.


title: The Mathematical Game

abstract: Monte Carlo Tree Search can be used for automated theorem proving. Holophrasm is a neural theorem prover using MCTS combined with neural networks for the policy and the evaluation. In this paper we propose to improve the performance of the Holophrasm theorem prover using other game tree search algorithms.


title: Big model only for hard audios: Sample dependent Whisper model selection for efficient inferences

abstract: Recent progress in Automatic Speech Recognition (ASR) has been coupled with a substantial increase in the model sizes, which may now contain billions of parameters, leading to slow inferences even with adapted hardware. In this context, several ASR models exist in various sizes, with different inference costs leading to different performance levels. Based on the observation that smaller models perform optimally on large parts of testing corpora, we propose to train a decision module, that would allow, given an audio sample, to use the smallest sufficient model leading to a good transcription. We apply our approach to two Whisper models with different sizes. By keeping the decision process computationally efficient, we build a decision module that allows substantial computational savings with reduced performance drops.


title: HammerHead: Leader Reputation for Dynamic Scheduling

abstract: The need for high throughput and censorship resistance in blockchain technology has led to research on DAG-based consensus. The Sui blockchain protocol uses a variant of the Bullshark consensus algorithm due to its lower latency, but this leader-based protocol causes performance issues when candidate leaders crash. In this paper, we explore the ideas pioneered by Carousel on providing Leader-Utilization and present HammerHead. Unlike Carousel, which is built with a chained and pipelined consensus protocol in mind, HammerHead does not need to worry about chain quality as it is directly provided by the DAG, but needs to make sure that even though validators might commit blocks in different views the safety and liveness is preserved. Our implementation of HammerHead shows a slight performance increase in a faultless setting, and a drastic 2x latency reduction and up to 40% throughput increase when suffering faults (100 validators, 33 faults).


title: Unsupervised Representations Improve Supervised Learning in Speech Emotion Recognition

abstract: Speech Emotion Recognition (SER) plays a pivotal role in enhancing human-computer interaction by enabling a deeper understanding of emotional states across a wide range of applications, contributing to more empathetic and effective communication. This study proposes an innovative approach that integrates self-supervised feature extraction with supervised classification for emotion recognition from small audio segments. In the preprocessing step, to eliminate the need of crafting audio features, we employed a self-supervised feature extractor, based on the Wav2Vec model, to capture acoustic features from audio data. Then, the output featuremaps of the preprocessing step are fed to a custom designed Convolutional Neural Network (CNN)-based model to perform emotion classification. Utilizing the ShEMO dataset as our testing ground, the proposed method surpasses two baseline methods, i.e. support vector machine classifier and transfer learning of a pretrained CNN. comparing the propose method to the state-of-the-art methods in SER task indicates the superiority of the proposed method. Our findings underscore the pivotal role of deep unsupervised feature learning in elevating the landscape of SER, offering enhanced emotional comprehension in the realm of human-computer interactions.


title: Cuttlefish: Expressive Fast Path Blockchains with FastUnlock

abstract: Cuttlefish addresses several limitations of existing consensus-less and consensus-minimized decentralized ledgers, including restricted programmability and the risk of deadlocked assets. The key insight of Cuttlefish is that consensus in blockchains is necessary due to contention, rather than multiple owners of an asset as suggested by prior work. Previous proposals proactively use consensus to prevent contention from blocking assets, taking a pessimistic approach. In contrast, Cuttlefish introduces collective objects and multi-owner transactions that can offer most of the functionality of classic blockchains when objects transacted on are not under contention. Additionally, in case of contention, Cuttlefish proposes a novel `Unlock' protocol that significantly reduces the latency of unblocking contented objects. By leveraging these features, Cuttlefish implements consensus-less protocols for a broader range of transactions, including asset swaps and multi-signature transactions, which were previously believed to require consensus.


title: H2O+: An Improved Framework for Hybrid Offline-and-Online RL with Dynamics Gaps

abstract: Solving real-world complex tasks using reinforcement learning (RL) without high-fidelity simulation environments or large amounts of offline data can be quite challenging. Online RL agents trained in imperfect simulation environments can suffer from severe sim-to-real issues. Offline RL approaches although bypass the need for simulators, often pose demanding requirements on the size and quality of the offline datasets. The recently emerged hybrid offline-and-online RL provides an attractive framework that enables joint use of limited offline data and imperfect simulator for transferable policy learning. In this paper, we develop a new algorithm, called H2O+, which offers great flexibility to bridge various choices of offline and online learning methods, while also accounting for dynamics gaps between the real and simulation environment. Through extensive simulation and real-world robotics experiments, we demonstrate superior performance and flexibility over advanced cross-domain online and offline RL algorithms.


title: Transformer-based Image Compression with Variable Image Quality Objectives

abstract: This paper presents a Transformer-based image compression system that allows for a variable image quality objective according to the user's preference. Optimizing a learned codec for different quality objectives leads to reconstructed images with varying visual characteristics. Our method provides the user with the flexibility to choose a trade-off between two image quality objectives using a single, shared model. Motivated by the success of prompt-tuning techniques, we introduce prompt tokens to condition our Transformer-based autoencoder. These prompt tokens are generated adaptively based on the user's preference and input image through learning a prompt generation network. Extensive experiments on commonly used quality metrics demonstrate the effectiveness of our method in adapting the encoding and/or decoding processes to a variable quality objective. While offering the additional flexibility, our proposed method performs comparably to the single-objective methods in terms of rate-distortion performance.


title: New classes of quadratically integrable systems with velocity dependent potentials: non-subgroup type cases

abstract: We study quadratic integrability of systems with velocity dependent potentials in three-dimensional Euclidean space. Unlike in the case with only scalar potential, quadratic integrability with velocity dependent potentials does not imply separability in the configuration space. The leading order terms in the pairs of commuting integrals can either generalize or have no relation to the forms leading to separation in the absence of a vector potential. We call such pairs of integrals generalized, to distinguish them from the standard ones, which would correspond to separation. Here we focus on three cases of generalized non-subgroup type integrals, namely elliptic cylindrical, prolate / oblate spheroidal and circular parabolic integrals, together with one case not related to any coordinate system. We find two new integrable systems, non-separable in the configuration space, both with generalized elliptic cylindrical integrals. In the other cases, all systems found were already known and possess standard pairs of integrals. In the limit of vanishing vector potential, both systems reduce to free motion and therefore separate in every orthogonal coordinate system.


title: An Efficient and Secure Arbitrary N-Party Quantum Key Agreement Protocol Using Bell States

abstract: Two quantum key agreement protocols using Bell states and Bell measurement were recently proposed by Shukla et al.(Quantum Inf. Process. 13(11), 2391-2405, 2014). However, Zhu et al. pointed out that there are some security flaws and proposed an improved version (Quantum Inf. Process. 14(11), 4245-4254, 2015). In this study, we will show Zhu et al.'s improvement still exists some security problems, and its efficiency is not high enough. For solving these problems, we utilize four Pauli operations {I, Z, X, Y } to encode two bits instead of the original two operations {I,X} to encode one bit, and then propose an efficient and secure arbitrary N-party quantum key agreement protocol. In the protocol, the channel checking with decoy single photons is introduced to avoid the eavesdropper's flip attack, and a post-measurement mechanism is used to prevent against the collusion attack. The security analysis shows the present protocol can guarantee the correctness, security, privacy and fairness of quantum key agreement.


title: Towards a Near-real-time Protocol Tunneling Detector based on Machine Learning Techniques

abstract: In the very last years, cybersecurity attacks have increased at an unprecedented pace, becoming ever more sophisticated and costly. Their impact has involved both private/public companies and critical infrastructures. At the same time, due to the COVID-19 pandemic, the security perimeters of many organizations expanded, causing an increase of the attack surface exploitable by threat actors through malware and phishing attacks. Given these factors, it is of primary importance to monitor the security perimeter and the events occurring in the monitored network, according to a tested security strategy of detection and response. In this paper, we present a protocol tunneling detector prototype which inspects, in near real time, a company's network traffic using machine learning techniques. Indeed, tunneling attacks allow malicious actors to maximize the time in which their activity remains undetected. The detector monitors unencrypted network flows and extracts features to detect possible occurring attacks and anomalies, by combining machine learning and deep learning. The proposed module can be embedded in any network security monitoring platform able to provide network flow information along with its metadata. The detection capabilities of the implemented prototype have been tested both on benign and malicious datasets. Results show 97.1% overall accuracy and an F1-score equals to 95.6%.


title: Metrology of Rydberg states of the hydrogen atom

abstract: We present a method to precisly measure the frequencies of transitions to high-$n$ Rydberg states of the hydrogen atom which are not subject to uncontrolled systematic shifts caused by stray electric fields. The method consists in recording Stark spectra of the field-insensitive $k=0$ Stark states and the field-sensitive $k=\pm2$ Stark states, which are used to calibrate the electric field strength. We illustrate this method with measurements of transitions from the $2\,\text{s}(f=0\text{ and } 1)$ hyperfine levels in the presence of intentionally applied electric fields with strengths in the range between $0.4$ and $1.6\,$Vcm$^{-1}$. The slightly field-dependent $k=0$ level energies are corrected with a precisely calculated shift to obtain the corresponding Bohr energies $\left(-cR_{\mathrm{H}}/n^2\right)$. The energy difference between $n=20$ and $n=24$ obtained with our method agrees with Bohr's formula within the $10\,$kHz experimental uncertainty. We also determined the hyperfine splitting of the $2\,\text{s}$ state by taking the difference between transition frequencies from the $2\,\text{s}(f=0 \text{ and }1)$ levels to the $n=20,k=0$ Stark states. Our results demonstrate the possibility of carrying out precision measurements in high-$n$ hydrogenic quantum states.


title: Direct Learning for Parameter-Varying Feedforward Control: A Neural-Network Approach

abstract: The performance of a feedforward controller is primarily determined by the extent to which it can capture the relevant dynamics of a system. The aim of this paper is to develop an input-output linear parameter-varying (LPV) feedforward parameterization and a corresponding data-driven estimation method in which the dependency of the coefficients on the scheduling signal are learned by a neural network. The use of a neural network enables the parameterization to compensate a wide class of constant relative degree LPV systems. Efficient optimization of the neural-network-based controller is achieved through a Levenberg-Marquardt approach with analytic gradients and a pseudolinear approach generalizing Sanathanan-Koerner to the LPV case. The performance of the developed feedforward learning method is validated in a simulation study of an LPV system showing excellent performance.


title: Enhancing Graph Collaborative Filtering via Uniformly Co-Clustered Intent Modeling

abstract: Graph-based collaborative filtering has emerged as a powerful paradigm for delivering personalized recommendations. Despite their demonstrated effectiveness, these methods often neglect the underlying intents of users, which constitute a pivotal facet of comprehensive user interests. Consequently, a series of approaches have arisen to tackle this limitation by introducing independent intent representations. However, these approaches fail to capture the intricate relationships between intents of different users and the compatibility between user intents and item properties. To remedy the above issues, we propose a novel method, named uniformly co-clustered intent modeling. Specifically, we devise a uniformly contrastive intent modeling module to bring together the embeddings of users with similar intents and items with similar properties. This module aims to model the nuanced relations between intents of different users and properties of different items, especially those unreachable to each other on the user-item graph. To model the compatibility between user intents and item properties, we design the user-item co-clustering module, maximizing the mutual information of co-clusters of users and items. This approach is substantiated through theoretical validation, establishing its efficacy in modeling compatibility to enhance the mutual information between user and item representations. Comprehensive experiments on various real-world datasets verify the effectiveness of the proposed framework.


title: A note on the power sums of the number of Fibonacci partitions

abstract: For every nonnegative integer $n$, let $r_F(n)$ be the number of ways to write $n$ as a sum of Fibonacci numbers, where the order of the summands does not matter. Moreover, for all positive integers $p$ and $N$, let \begin{equation*} S_{F}^{(p)}(N) := \sum_{n = 0}^{N - 1} \big(r_F(n)\big)^p . \end{equation*} Chow, Jones, and Slattery determined the order of growth of $S_{F}^{(p)}(N)$ for $p \in \{1,2\}$. We prove that, for all positive integers $p$, there exists a real number $\lambda_p > 1$ such that \begin{equation*} S^{(p)}_F(N) \asymp_p N^{(\log \lambda_p) /\!\log \varphi} \end{equation*} as $N \to +\infty$. Furthermore, we show that egin{equation*} \lim_{p \to +\infty} \lambda_p^{1/p} = \varphi^{1/2} , \end{equation*} where $\varphi := (1 + \sqrt{5})/2$ is the golden ratio. Our proofs employ automata theory and a result on the generalized spectral radius due to Blondel and Nesterov.


title: Scalable stellar evolution forecasting: Deep learning emulation vs. hierarchical nearest neighbor interpolation

abstract: Many astrophysical applications require efficient yet reliable forecasts of stellar evolution tracks. One example is population synthesis, which generates forward predictions of models for comparison with observations. The majority of state-of-the-art rapid population synthesis methods are based on analytic fitting formulae to stellar evolution tracks that are computationally cheap to sample statistically over a continuous parameter range. The computational costs of running detailed stellar evolution codes, such as MESA, over wide and densely sampled parameter grids are prohibitive, while stellar-age based interpolation in-between sparsely sampled grid points leads to intolerably large systematic prediction errors. In this work, we provide two solutions for automated interpolation methods that offer satisfactory trade-off points between cost-efficiency and accuracy. We construct a timescale-adapted evolutionary coordinate and use it in a two-step interpolation scheme that traces the evolution of stars from ZAMS all the way to the end of core helium burning while covering a mass range from ${0.65}$ to $300 \, \mathrm{M_\odot}$. The feedforward neural network regression model (first solution) that we train to predict stellar surface variables can make millions of predictions, sufficiently accurate over the entire parameter space, within tens of seconds on a 4-core CPU. The hierarchical nearest-neighbor interpolation algorithm (second solution) that we hard-code to the same end achieves even higher predictive accuracy, the same algorithm remains applicable to all stellar variables evolved over time, but it is two orders of magnitude slower. Our methodological framework is demonstrated to work on the MIST (Choi et al. 2016) data set. Finally, we discuss the prospective applications of these methods and provide guidelines for generalizing them to higher dimensional parameter spaces.


title: Stokes parameters alone cannot completely characterize the polarization of plane light waves

abstract: It was generally assumed that the Stokes parameters are complete characterization for the state of polarization of a plane light wave so that their counterparts in quantum optics, called the Stokes operators, represent the polarization of photons. Here we show, through analyzing the properties of polarized plane waves in an optically active medium, that the Stokes parameters are not able to completely characterize the state of polarization of a plane wave. The key point is that only when a plane wave is expanded in terms of the orthogonal base modes, which are physically meaningful, can the two expansion coefficients make up the Jones vector. Taking this into consideration, we demonstrate that the Stokes parameters of any elliptically polarized wave in an isotropic chiral medium, determined solely by its Jones vector, are transmitted unchanged. They are not able to reflect the rotation of its polarization ellipse along with the propagation. The relationship of the Stokes parameters with the polarization of light needs further investigation.


title: In-context Interference in Chat-based Large Language Models

abstract: Large language models (LLMs) have had a huge impact on society due to their impressive capabilities and vast knowledge of the world. Various applications and tools have been created that allow users to interact with these models in a black-box scenario. However, one limitation of this scenario is that users cannot modify the internal knowledge of the model, and the only way to add or modify internal knowledge is by explicitly mentioning it to the model during the current interaction. This learning process is called in-context training, and it refers to training that is confined to the user's current session or context. In-context learning has significant applications, but also has limitations that are seldom studied. In this paper, we present a study that shows how the model can suffer from interference between information that continually flows in the context, causing it to forget previously learned knowledge, which can reduce the model's performance. Along with showing the problem, we propose an evaluation benchmark based on the bAbI dataset.


title: Hopf triangulations of spheres and equilibrium triangulations of projective spaces

abstract: Following work by the first author and Banchoff, we investigate triangulations of real and complex projective spaces of real and complex dimension $k$ that are adapted to the decomposition into "zones of influence" around the points $[1,0,\ldots,0],$ $\ldots,$ $[0,\ldots,0,1]$ in homogeneous coordinates. The boundary of such a "zone of influence" must admit a simplicial version of the Hopf decomposition of a sphere into "solid tori" of various dimensions. We present such {\em Hopf triangulations} of $S^{2k-1}$ for $k \leq 4$, and give candidate triangulations for arbitrary $k$. In the complex case, a crucial role of this construction is the central $k$-torus as the intersection of all "zones of influence". Candidate triangulations of the $k$-torus with $2^{k+1}-1$, $k\geq 1$, vertices -- possibly the minimum numbers -- are well known. They admit an involution acting like complex conjugation and an automorphism of order $k+1$ realising the cyclic shift of coordinate directions in $\mathbb{C}P^k$. For $k=2$, this can be extended to what we call a {\em perfect equilibrium triangulation} of $\mathbb{C}P^2$, previously described in the literature. We prove that this is no longer possible for $k=3$, and no perfect equilibrium triangulation of $\mathbb{C}P^3$ exists. In the real case, the central torus is replaced by its fixed-point set under complex conjugation: the vertices of a $k$-dimensional cube. We revisit known equilibrium triangulations of $\mathbb{R}P^k$ for $k\leq 2$, and describe new equilibrium triangulations of $\mathbb{R}P^3$ and $\mathbb{R}P^4$. Finally, we discuss the most symmetric and vertex-minimal triangulation of $\mathbb{R}P^4$ and present a tight polyhedral embedding of $\mathbb{R}P^3$ into 6-space. No such embedding was known before.


title: Coordinated Information Campaigns on Social Media: A Multifaceted Framework for Detection and Analysis

abstract: The prevalence of coordinated information campaigns in social media platforms has significant negative consequences across various domains, including social, political, and economic processes. This paper proposes a multifaceted framework for detecting and analysing coordinated message promotion on social media. By simultaneously considering features related to content, time, and network dimensions, our framework can capture the diverse nature of coordinated activity and identify anomalous user accounts who likely engaged in suspicious behaviour. Unlike existing solutions that rely on specific constraints, our approach is more flexible as it employs specialised components to extract the significant structures within a network and to detect the most unusual interactions. We demonstrate the effectiveness of our framework using two Twitter datasets, the Russian Internet Research Agency (IRA), and long-term discussions on Data Science topics. The results demonstrate our framework's ability to isolate unusual activity from expected normal behaviour and provide valuable insights for further qualitative investigation.


title: The [CII] 158 $\mu$m emission line as a gas mass tracer in high redshift quiescent galaxies

abstract: Many efforts have been done in recent years to probe the gas fraction evolution of massive quiescent galaxies (QGs); however, a clear picture has not yet been established. Recent spectroscopic confirmations at z>3 offer the chance to measure the residual gas reservoirs of massive galaxies a few hundreds of Myr after their death and to study how fast quenching proceeds in a highly star-forming Universe. Even so, stringent constraints at z$>$2 remain hardly accessible with ALMA when adopting molecular gas tracers commonly used for the quenched population. In this letter, we propose overcoming this impasse by using the carbon [CII] 158 $\mu$m emission line to systematically probe the gaseous budget of unlensed QGs at z>2.8, when these galaxies could still host non-negligible star formation on an absolute scale and when the line becomes best observable with ALMA (Bands 8 and 7). So far predominantly used for star-forming galaxies, this emission line is the best choice to probe the gas budget of spectroscopically confirmed QGs at $z>3$, reaching 2-4 and 13-30 times deeper than dust continuum (ALMA band 7) and CO(2-1)/(1-0) (VLA K-K$\alpha$ bands), respectively, at fixed integration time. Exploiting archival ALMA observations, we place conservative 3$\sigma$ upper limits on the molecular gas fraction (f$_{\rm{mol}}=M_{\rm{H_2}}/M_{\star}$) of ADF22-QG1 (f$_{\rm{mol}}$<21%), ZF-COS-20115 (f$_{\rm{mol}}$<3.2%), two of the best-studied high-z QGs in the literature, and GS-9209 (f$_{\rm{mol}}$<72%), the most distant massive QG discovered to date. The deep upper limit found for ZF-COS-20115 is 3 times lower than previously anticipated for high-z QGs suggesting, at best, the existence of a large scatter in the f$_{\rm{mol}}$ distribution of the first QGs. Lastly, we discuss the current limitations of the method and propose ways to mitigate some of them by exploiting ALMA bands 9 and 10.


title: Defeasible Reasoning with Knowledge Graphs

abstract: Human knowledge is subject to uncertainties, imprecision, incompleteness and inconsistencies. Moreover, the meaning of many everyday terms is dependent on the context. That poses a huge challenge for the Semantic Web. This paper introduces work on an intuitive notation and model for defeasible reasoning with imperfect knowledge, and relates it to previous work on argumentation theory. PKN is to N3 as defeasible reasoning is to deductive logic. Further work is needed on an intuitive syntax for describing reasoning strategies and tactics in declarative terms, drawing upon the AIF ontology for inspiration. The paper closes with observations on symbolic approaches in the era of large language models.


title: OpenAi's GPT4 as coding assistant

abstract: Lately, Large Language Models have been widely used in code generation. GPT4 is considered the most potent Large Language Model from Openai. In this paper, we examine GPT3.5 and GPT4 as coding assistants. More specifically, we have constructed appropriate tests to check whether the two systems can a) answer typical questions that can arise during the code development, b) produce reliable code, and c) contribute to code debugging. The test results are impressive. The performance of GPT4 is outstanding and signals an increase in the productivity of programmers and the reorganization of software development procedures based on these new tools.


title: A Toponogov globalisation result for Lorentzian length spaces

abstract: In the synthetic geometric setting introduced by Kunzinger and S\"amann, we present an analogue of Toponogov's Globalisation Theorem which applies to Lorentzian length spaces with lower (timelike) curvature bounds. Our approach utilises a "cat's cradle" construction akin to that which appears in several proofs in the metric setting. On the road to our main result, we also provide a lemma regarding the subdivision of triangles in spaces with a local lower curvature bound and a synthetic Lorentzian version of the Lebesgue Number Lemma. Several properties of time functions and the null distance on globally hyperbolic Lorentzian length spaces are also highlighted. We conclude by presenting several applications of our results, including versions of the Bonnet--Myers Theorem and Splitting Theorem for Lorentzian length spaces with local lower curvature bounds, as well as discussion of stability of curvature bounds under Gromov--Hausdorff convergence.


title: On the Non-Existence of J-Homomorphisms of Higher Height

abstract: We show that for a large class of connective spectra, the mapping space into the units of the $p$-complete sphere spectrum is insensitive to $L_1$-localization followed by taking connective cover.


title: Optimal Dynamic Fees for Blockchain Resources

abstract: We develop a general and practical framework to address the problem of the optimal design of dynamic fee mechanisms for multiple blockchain resources. Our framework allows to compute policies that optimally trade-off between adjusting resource prices to handle persistent demand shifts versus being robust to local noise in the observed block demand. In the general case with more than one resource, our optimal policies correctly handle cross-effects (complementarity and substitutability) in resource demands. We also show how these cross-effects can be used to inform resource design, i.e. combining resources into bundles that have low demand-side cross-effects can yield simpler and more efficient price-update rules. Our framework is also practical, we demonstrate how it can be used to refine or inform the design of heuristic fee update rules such as EIP-1559 or EIP-4844 with two case studies. We then estimate a uni-dimensional version of our model using real market data from the Ethereum blockchain and empirically compare the performance of our optimal policies to EIP-1559.


title: Neumann $p$-Laplacian problems with a reaction term on metric spaces

abstract: We use a variational approach to study existence and regularity of solutions for a Neumann $p$-Laplacian problem with a reaction term on metric spaces equipped with a doubling measure and supporting a Poincar\'e inequality. Trace theorems for functions with bounded variation are applied in the definition of the variational functional and minimizers are shown to satisfy De Giorgi type conditions.


title: Identifying the origin of delayed electroluminescence in a polariton organic light-emitting diode

abstract: Modifying the energy landscape of existing molecular emitters is an attractive challenge with favourable outcomes in chemistry and organic optoelectronic research. It has recently been explored through strong light-matter coupling studies where the organic emitters were placed in an optical cavity. Nonetheless, a debate revolves around whether the observed change in the material properties represents novel coupled system dynamics or the unmasking of pre-existing material properties induced by light-matter interactions. Here, for the first time, we examined the effect of strong coupling in polariton organic light-emitting diodes via time-resolved electroluminescence studies. We accompanied our experimental analysis with theoretical fits using a model of coupled rate equations accounting for all major mechanisms that can result in delayed electroluminescence in organic emitters. We found that in our devices the delayed electroluminescence was dominated by emission from trapped charges and this mechanism remained unmodified in the presence of strong coupling.


title: Symmetrization and asymptotic stability in non-homogeneous fluids around stratified shear flows

abstract: Significant advancements have emerged in the theory of asymptotic stability of shear flows in stably stratified fluids. In this comprehensive review, we spotlight these recent developments, with particular emphasis on novel approaches that exhibit robustness and applicability across various contexts.


title: Tackling Feynman integrals with quantum minimization algorithms

abstract: One of the most severe bottlenecks to reach high-precision predictions in QFT is the calculation of multiloop multileg Feynman integrals. Several new strategies have been proposed in the last years, allowing impressive results with deep implications in particle physics. Still, the efficiency of such techniques starts to drastically decrease when including many loops and legs. In this talk, we explore the implementation of quantum algorithms to optimize the integrands of scattering amplitudes. We rely on the manifestly causal loop-tree duality, which translates the loop into phase-space integrals and avoids the spurious singularities due to non-causal effects. Then, we built a Hamiltonian codifying causal-compatible contributions and minimize it using a Variational Quantum Eigensolver. Our very promising results point towards a potential speed-up for achieving a more numerically-stable representation of Feynman integrals by using quantum computers.


title: Emergence Of Directional Rotation In Optothermally Activated Colloidal System

abstract: We experimentally demonstrate the emergence of directional rotation in thermally active-passive colloidal structures under optical confinement. The observed handedness of rotation of the structure can be controlled by changing the relative position of the constituent colloids. We show that the angular velocity of rotation is sensitive to the intensity of the incident optical fields and the size of the constituent colloidal entities. The emergence of rotational dynamics can be understood in the context of asymmetric temperature distribution in the system and the relative location of the active colloid, which creates a local imbalance of optothermal torques to the confined system. Our work demonstrates how localized optothermal fields lead to directional rotational dynamics without explicitly utilizing spin or orbital angular momentum of light. We envisage that our results will have implications in realizing Brownian engines, and can directly relate to rotational dynamics in biological and ecological systems.

categories: cond-mat.soft cond-mat.stat-mech nlin.AO physics.optics


title: Revisiting models that enhance $B^+\to K^+ \nu\bar\nu$ in light of the new Belle II measurement

abstract: Belle II has recently reported the new measurement ${\cal B}(B^+\to K^+\nu\bar\nu)=(2.3\pm0.7)\times 10^{-5}$ \cite{Belle-II:2023esi} which is two times larger than their previous result (although consistent within errors) and about $2.7\,\sigma$ higher than the SM prediction. We re-examine new physics scenarios we have discussed previously which can enhance this rate to determine if they can accommodate the higher value reported in the new measurement. We use consistency with existing bounds on $B\to K^*\nu\bar\nu$, $b\to s \ell^+\ell^-$, $B\to D^{(*)}\ell\bar\nu$ and $B_s$ mixing to limit possible explanations for the excess. For the case of LFV neutrino couplings, we find that only two leptoquarks remain viable requiring a large $C_{9^\prime}^{\tau\tau}=-C_{10^\prime}^{\tau\tau}$. For models with different types of light dark matter particle pairs (scalar, fermion, or vector), the preliminary $q^2$ distribution from Belle II, which shows that the excess appears mostly for bins with $3\leq q^2\leq7$ GeV$^2$ \cite{Belle-II:2023esi}, implies only the vector current operators with scalar or vector dark matter particles with masses in the hundreds of MeV can match the anomaly.


title: Make the U in UDA Matter: Invariant Consistency Learning for Unsupervised Domain Adaptation

abstract: Domain Adaptation (DA) is always challenged by the spurious correlation between domain-invariant features (e.g., class identity) and domain-specific features (e.g., environment) that does not generalize to the target domain. Unfortunately, even enriched with additional unsupervised target domains, existing Unsupervised DA (UDA) methods still suffer from it. This is because the source domain supervision only considers the target domain samples as auxiliary data (e.g., by pseudo-labeling), yet the inherent distribution in the target domain -- where the valuable de-correlation clues hide -- is disregarded. We propose to make the U in UDA matter by giving equal status to the two domains. Specifically, we learn an invariant classifier whose prediction is simultaneously consistent with the labels in the source domain and clusters in the target domain, hence the spurious correlation inconsistent in the target domain is removed. We dub our approach "Invariant CONsistency learning" (ICON). Extensive experiments show that ICON achieves the state-of-the-art performance on the classic UDA benchmarks: Office-Home and VisDA-2017, and outperforms all the conventional methods on the challenging WILDS 2.0 benchmark. Codes are in https://github.com/yue-zhongqi/ICON.


abstract: These notes summarize the lectures about "Cosmic-ray propagation in extragalactic space and secondary messengers", focusing in particular on the interactions of cosmic-ray particles with the background photons in the Universe, including nuclear species heavier than hydrogen, and on the analytical computation of the expected cosmic-ray fluxes at Earth. The lectures were held at the Course 208 of the International School of Physics "Enrico Fermi" on "Foundations of Cosmic-Ray Astrophysics", in Varenna (Como, Italy) from June 23rd to June 29th, 2022. These notes are complementary to the content of the lectures held by Pasquale Dario Serpico at the same school.


title: Open Source Robot Localization for Non-Planar Environments

abstract: The operational environments in which a mobile robot executes its missions often exhibit non-flat terrain characteristics, encompassing outdoor and indoor settings featuring ramps and slopes. In such scenarios, the conventional methodologies employed for localization encounter novel challenges and limitations. This study delineates a localization framework incorporating ground elevation and incline considerations, deviating from traditional 2D localization paradigms that may falter in such contexts. In our proposed approach, the map encompasses elevation and spatial occupancy information, employing Gridmaps and Octomaps. At the same time, the perception model is designed to accommodate the robot's inclined orientation and the potential presence of ground as an obstacle, besides usual structural and dynamic obstacles. We provide an implementation of our approach fully working with Nav2, ready to replace the baseline AMCL approach when the robot is in non-planar environments. Our methodology was rigorously tested in both simulated environments and through practical application on actual robots, including the Tiago and Summit XL models, across various settings ranging from indoor and outdoor to flat and uneven terrains. Demonstrating exceptional precision, our approach yielded error margins below 10 centimeters and 0.05 radians in indoor settings and less than 1.0 meters in extensive outdoor routes. While our results exhibit a slight improvement over AMCL in indoor environments, the enhancement in performance is significantly more pronounced when compared to 3D SLAM algorithms. This underscores the considerable robustness and efficiency of our approach, positioning it as an effective strategy for mobile robots tasked with navigating expansive and intricate indoor/outdoor environments.