title: Spatial-temporal Forecasting for Regions without Observations

abstract: Spatial-temporal forecasting plays an important role in many real-world applications, such as traffic forecasting, air pollutant forecasting, crowd-flow forecasting, and so on. State-of-the-art spatial-temporal forecasting models take data-driven approaches and rely heavily on data availability. Such models suffer from accuracy issues when data is incomplete, which is common in reality due to the heavy costs of deploying and maintaining sensors for data collection. A few recent studies attempted to address the issue of incomplete data. They typically assume some data availability in a region of interest either for a short period or at a few locations. In this paper, we further study spatial-temporal forecasting for a region of interest without any historical observations, to address scenarios such as unbalanced region development, progressive deployment of sensors or lack of open data. We propose a model named STSM for the task. The model takes a contrastive learning-based approach to learn spatial-temporal patterns from adjacent regions that have recorded data. Our key insight is to learn from the locations that resemble those in the region of interest, and we propose a selective masking strategy to enable the learning. As a result, our model outperforms adapted state-of-the-art models, reducing errors consistently over both traffic and air pollutant forecasting tasks. The source code is available at https://github.com/suzy0223/STSM.


title: A Wind-Aware Path Planning Method for UAV-Asisted Bridge Inspection

abstract: In response to the gap in considering wind conditions in the bridge inspection using unmanned aerial vehicle (UAV) , this paper proposes a path planning method for UAVs that takes into account the influence of wind, based on the simulated annealing algorithm. The algorithm considers the wind factors, including the influence of different wind speeds and directions at the same time on the path planning of the UAV. Firstly, An environment model is constructed specifically for UAV bridge inspection, taking into account the various objective functions and constraint conditions of UAVs. A more sophisticated and precise mathematical model is then developed based on this environmental model to enable efficient and effective UAV path planning. Secondly, the bridge separation planning model is applied in a novel way, and a series of parameters are simulated, including the adjustment of the initial temperature value. The experimental results demonstrate that, compared with traditional local search algorithms, the proposed method achieves a cost reduction of 30.05\% and significantly improves effectiveness. Compared to path planning methods that do not consider wind factors, the proposed approach yields more realistic and practical results for UAV applications, as demonstrated by its improved effectiveness in simulations. These findings highlight the value of our method in facilitating more accurate and efficient UAV path planning in wind-prone environments.


title: Quasi all-speed schemes for magnetohydrodynamic flows in a wide range of Mach numbers

abstract: We present novel numerical schemes for ideal magnetohydrodynamic (MHD) simulations aimed at enhancing stability against numerical shock instability and improving the accuracy of low-speed flows in multidimensions. Stringent benchmark tests confirm that our scheme is more robust against numerical shock instability and is more accurate for low-speed, nearly incompressible flows than conventional shock-capturing schemes. Our scheme is a promising tool for tackling MHD systems, including both high and low Mach number flows.

categories: physics.flu-dyn astro-ph.IM physics.comp-ph physics.space-ph


title: Cross-lingual Editing in Multilingual Language Models

abstract: The training of large language models (LLMs) necessitates substantial data and computational resources, and updating outdated LLMs entails significant efforts and resources. While numerous model editing techniques (METs) have emerged to efficiently update model outputs without retraining, their effectiveness in multilingual LLMs, where knowledge is stored in diverse languages, remains an underexplored research area. This research paper introduces the cross-lingual model editing (\textbf{XME}) paradigm, wherein a fact is edited in one language, and the subsequent update propagation is observed across other languages. To investigate the XME paradigm, we conducted experiments using BLOOM, mBERT, and XLM-RoBERTa using the two writing scripts: \textit{Latin} (English, French, and Spanish) and \textit{Indic} (Hindi, Gujarati, and Bengali). The results reveal notable performance limitations of state-of-the-art METs under the XME setting, mainly when the languages involved belong to two distinct script families. These findings highlight the need for further research and development of XME techniques to address these challenges. For more comprehensive information, the dataset used in this research and the associated code are publicly available at the following URL\url{https://github.com/lingo-iitgn/XME}.


title: FARe: Fault-Aware GNN Training on ReRAM-based PIM Accelerators

abstract: Resistive random-access memory (ReRAM)-based processing-in-memory (PIM) architecture is an attractive solution for training Graph Neural Networks (GNNs) on edge platforms. However, the immature fabrication process and limited write endurance of ReRAMs make them prone to hardware faults, thereby limiting their widespread adoption for GNN training. Further, the existing fault-tolerant solutions prove inadequate for effectively training GNNs in the presence of faults. In this paper, we propose a fault-aware framework referred to as FARe that mitigates the effect of faults during GNN training. FARe outperforms existing approaches in terms of both accuracy and timing overhead. Experimental results demonstrate that FARe framework can restore GNN test accuracy by 47.6% on faulty ReRAM hardware with a ~1% timing overhead compared to the fault-free counterpart.


title: A common generalization of hypercube partitions and ovoids in polar spaces

abstract: We investigate what we call generalized ovoids, that is families of totally isotropic subspaces of finite classical polar spaces such that each maximal totally isotropic subspace contains precisely one member of that family. This is a generalization of ovoids in polar spaces as well as the natural $q$-analog of a subcube partition of the hypercube (which can be seen as a polar space with $q=1$). Our main result proves that a generalized ovoid of $k$-spaces in polar spaces of large rank does not exist. More precisely, for $q=p^h$, $p$ prime, and some positive integer $k$, a generalized ovoid of $k$-spaces in a polar space $\mathcal{P}$ with rank $r \geq r_0(k, p)$ in a vector space $V(n,q)$ does not exist.


title: Spectral Switches of Light in Curved Space

abstract: Acting as analog models of curved spacetime, surfaces of revolution employed for exploring novel optical effects are followed with great interest nowadays to enhance our comprehension of the universe. It is of general interest to understand the spectral effect of light propagating through a long distance in the universe. Here, we address the issue on how curved space affects the phenomenon of spectral switches, a spectral sudden change during propagation caused by a finite size of a light source. By using the point spread function of curved space under the paraxial approximation, the expression of the on-axis output spectrum is derived and calculated numerically. A theoretical way to find on-axis spectral switches is also derived, which interprets the effect of spatial curvature of surfaces on spectral switches as a modification of effective Fresnel number. We find that the spectral switches on surfaces with positive Gaussian curvature are closer to the source, compared with the flat surface case, while the effect is opposite on surfaces with negative Gaussian curvature. We also find that the spectral switches farther away from the light source are more sensitive to the change in Gaussian curvature. This work deepens our understanding of the properties of fully and partially coherent lights propagating on two-dimensional curved space.


title: Focaler-IoU: More Focused Intersection over Union Loss

abstract: Bounding box regression plays a crucial role in the field of object detection, and the positioning accuracy of object detection largely depends on the loss function of bounding box regression. Existing researchs improve regression performance by utilizing the geometric relationship between bounding boxes, while ignoring the impact of difficult and easy sample distribution on bounding box regression. In this article, we analyzed the impact of difficult and easy sample distribution on regression results, and then proposed Focaler-IoU, which can improve detector performance in different detection tasks by focusing on different regression samples. Finally, comparative experiments were conducted using existing advanced detectors and regression methods for different detection tasks, and the detection performance was further improved by using the method proposed in this paper.Code is available at \url{https://github.com/malagoutou/Focaler-IoU}.


title: On mitigating stability-plasticity dilemma in CLIP-guided image morphing via geodesic distillation loss

abstract: Large-scale language-vision pre-training models, such as CLIP, have achieved remarkable text-guided image morphing results by leveraging several unconditional generative models. However, existing CLIP-guided image morphing methods encounter difficulties when morphing photorealistic images. Specifically, existing guidance fails to provide detailed explanations of the morphing regions within the image, leading to misguidance. In this paper, we observed that such misguidance could be effectively mitigated by simply using a proper regularization loss. Our approach comprises two key components: 1) a geodesic cosine similarity loss that minimizes inter-modality features (i.e., image and text) on a projected subspace of CLIP space, and 2) a latent regularization loss that minimizes intra-modality features (i.e., image and image) on the image manifold. By replacing the na\"ive directional CLIP loss in a drop-in replacement manner, our method achieves superior morphing results on both images and videos for various benchmarks, including CLIP-inversion.


title: A new approach to the Berlekamp-Massey-Sakata Algorithm. Improving Locator Decoding

abstract: We study the problem of the computation of Groebner basis for the ideal of linear recurring relations of a doubly periodic array. We find a set of indexes such that, along with some conditions, guarantees that the set of polynomials obtained at the last iteration in the Berlekamp-Massey-Sakata algorithm is exactly a Groebner basis for the mentioned ideal. Then, we apply these results to improve locator decoding in abelian codes.


title: Irreducibility of Some Quot Schemes on Nodal Curves

abstract: Let $C$ be an integral projective nodal curve over $\mathbb C$, of arithmetic genus $g \geqslant 2$. Let $E$ be a vector bundle on $C$ of rank $r$ and degree $e$. Let $\textrm{Quot}_{C/\mathbb C}(E,k,d)$ denote the Quot scheme of quotients of $E$ of rank $k$ and degree $d$. We show that $\textrm{Quot}_{C/\mathbb C}(E,k,d)$ is irreducible for $d \gg 0$.


title: Mementos: A Comprehensive Benchmark for Multimodal Large Language Model Reasoning over Image Sequences

abstract: Multimodal Large Language Models (MLLMs) have demonstrated proficiency in handling a variety of visual-language tasks. However, current MLLM benchmarks are predominantly designed to evaluate reasoning based on static information about a single image, and the ability of modern MLLMs to extrapolate from image sequences, which is essential for understanding our ever-changing world, has been less investigated. To address this challenge, this paper introduces Mementos, a new benchmark designed to assess MLLMs' sequential image reasoning abilities. Mementos features 4,761 diverse image sequences with varying lengths. We also employ a GPT-4 assisted method to evaluate MLLM reasoning performance. Through a careful evaluation of nine recent MLLMs on Mementos, including GPT-4V and Gemini, we find that they struggle to accurately describe dynamic information about given image sequences, often leading to hallucinations/misrepresentations of objects and their corresponding behaviors. Our quantitative analysis and case studies identify three key factors impacting MLLMs' sequential image reasoning: the correlation between object and behavioral hallucinations, the influence of cooccurring behaviors, and the compounding impact of behavioral hallucinations. Our dataset is available at https://github.com/umd-huang-lab/Mementos.


title: NWPU-MOC: A Benchmark for Fine-grained Multi-category Object Counting in Aerial Images

abstract: Object counting is a hot topic in computer vision, which aims to estimate the number of objects in a given image. However, most methods only count objects of a single category for an image, which cannot be applied to scenes that need to count objects with multiple categories simultaneously, especially in aerial scenes. To this end, this paper introduces a Multi-category Object Counting (MOC) task to estimate the numbers of different objects (cars, buildings, ships, etc.) in an aerial image. Considering the absence of a dataset for this task, a large-scale Dataset (NWPU-MOC) is collected, consisting of 3,416 scenes with a resolution of 1024 $\times$ 1024 pixels, and well-annotated using 14 fine-grained object categories. Besides, each scene contains RGB and Near Infrared (NIR) images, of which the NIR spectrum can provide richer characterization information compared with only the RGB spectrum. Based on NWPU-MOC, the paper presents a multi-spectrum, multi-category object counting framework, which employs a dual-attention module to fuse the features of RGB and NIR and subsequently regress multi-channel density maps corresponding to each object category. In addition, to modeling the dependency between different channels in the density map with each object category, a spatial contrast loss is designed as a penalty for overlapping predictions at the same spatial position. Experimental results demonstrate that the proposed method achieves state-of-the-art performance compared with some mainstream counting algorithms. The dataset, code and models are publicly available at https://github.com/lyongo/NWPU-MOC.


title: Lessons Learned from Designing an Open-Source Automated Feedback System for STEM Education

abstract: As distance learning becomes increasingly important and artificial intelligence tools continue to advance, automated systems for individual learning have attracted significant attention. However, the scarcity of open-source online tools that are capable of providing personalized feedback has restricted the widespread implementation of research-based feedback systems. In this work, we present RATsApp, an open-source automated feedback system (AFS) that incorporates research-based features such as formative feedback. The system focuses on core STEM competencies such as mathematical competence, representational competence, and data literacy. It also allows lecturers to monitor students' progress. We conducted a survey based on the technology acceptance model (TAM2) among a set of students (N=64). Our findings confirm the applicability of the TAM2 framework, revealing that factors such as the relevance of the studies, output quality, and ease of use significantly influence the perceived usefulness. We also found a linear relation between the perceived usefulness and the intention to use, which in turn is a significant predictor of the frequency of use. Moreover, the formative feedback feature of RATsApp received positive feedback, indicating its potential as an educational tool. Furthermore, as an open-source platform, RATsApp encourages public contributions to its ongoing development, fostering a collaborative approach to improve educational tools.


title: On the origin of Higher Schwarzians

abstract: In this paper, we analyze higher Schwarzians and show that they are closely related to the nonlinear realization of the Virasoro algebra. The Goldstone fields of such a realization provide a new set of SL(2,R) invariant higher Schwarzians that are deeply related to the Aharonov,Tamanoi and Bonora-Matone ones. A minor change of the coset space parametrization leads to a new set of SL(2,R) non-invariant higher Schwarzians now related to the Schippers and Bertilsson Schwarzians.


title: Barrier penetration in a discrete-basis formalism

abstract: The dynamics of a many-particle system are often modeled by mapping the Hamiltonian onto a Schr\"odinger equation. An alternative approach is to solve the Hamiltonian equations directly in a model space of many-body configurations. In a previous paper the numerical convergence of the two approaches was compared with a simplified treatment of the Hamiltonian representation. Here we extend the comparison to the nonorthogonal model spaces that would be obtained by the generator-coordinate method. With a suitable choice of the collective-variable grid, a configuration-interaction Hamiltonian can reproduce the Schr\"odinger dynamics very well. However, the method as implemented here requires that the barrier height is not much larger than the zero-point energy in the collective coordinates of the configurations.


title: A New Division Algebra Representation of $E_7$

abstract: We decompose the Lie algebra $\mathfrak{e}_{8(-24)}$ into representations of $\mathfrak{e}_{7(-25)}\oplus\mathfrak{sl}(2,\mathbb{R})$ using our recent description of $\mathfrak{e}_8$ in terms of (generalized) $3\times3$ matrices over pairs of division algebras. Freudenthal's description of both $\mathfrak{e}_7$ and its minimal representation are therefore realized explicitly within $\mathfrak{e}_8$, with the action given by the (generalized) matrix commutator in $\mathfrak{e}_8$, and with a natural parameterization using division algebras. Along the way, we show how to implement standard operations on the Albert algebra such as trace of the Jordan product, the Freudenthal product, and the determinant, all using commutators in $\mathfrak{e}_8$.


title: The "Colonial Impulse" of Natural Language Processing: An Audit of Bengali Sentiment Analysis Tools and Their Identity-based Biases

abstract: While colonization has sociohistorically impacted people's identities across various dimensions, those colonial values and biases continue to be perpetuated by sociotechnical systems. One category of sociotechnical systems--sentiment analysis tools--can also perpetuate colonial values and bias, yet less attention has been paid to how such tools may be complicit in perpetuating coloniality, although they are often used to guide various practices (e.g., content moderation). In this paper, we explore potential bias in sentiment analysis tools in the context of Bengali communities that have experienced and continue to experience the impacts of colonialism. Drawing on identity categories most impacted by colonialism amongst local Bengali communities, we focused our analytic attention on gender, religion, and nationality. We conducted an algorithmic audit of all sentiment analysis tools for Bengali, available on the Python package index (PyPI) and GitHub. Despite similar semantic content and structure, our analyses showed that in addition to inconsistencies in output from different tools, Bengali sentiment analysis tools exhibit bias between different identity categories and respond differently to different ways of identity expression. Connecting our findings with colonially shaped sociocultural structures of Bengali communities, we discuss the implications of downstream bias of sentiment analysis tools.


title: Speech Swin-Transformer: Exploring a Hierarchical Transformer with Shifted Windows for Speech Emotion Recognition

abstract: Swin-Transformer has demonstrated remarkable success in computer vision by leveraging its hierarchical feature representation based on Transformer. In speech signals, emotional information is distributed across different scales of speech features, e.\,g., word, phrase, and utterance. Drawing above inspiration, this paper presents a hierarchical speech Transformer with shifted windows to aggregate multi-scale emotion features for speech emotion recognition (SER), called Speech Swin-Transformer. Specifically, we first divide the speech spectrogram into segment-level patches in the time domain, composed of multiple frame patches. These segment-level patches are then encoded using a stack of Swin blocks, in which a local window Transformer is utilized to explore local inter-frame emotional information across frame patches of each segment patch. After that, we also design a shifted window Transformer to compensate for patch correlations near the boundaries of segment patches. Finally, we employ a patch merging operation to aggregate segment-level emotional features for hierarchical speech representation by expanding the receptive field of Transformer from frame-level to segment-level. Experimental results demonstrate that our proposed Speech Swin-Transformer outperforms the state-of-the-art methods.


title: Learning Position-Aware Implicit Neural Network for Real-World Face Inpainting

abstract: Face inpainting requires the model to have a precise global understanding of the facial position structure. Benefiting from the powerful capabilities of deep learning backbones, recent works in face inpainting have achieved decent performance in ideal setting (square shape with $512px$). However, existing methods often produce a visually unpleasant result, especially in the position-sensitive details (e.g., eyes and nose), when directly applied to arbitrary-shaped images in real-world scenarios. The visually unpleasant position-sensitive details indicate the shortcomings of existing methods in terms of position information processing capability. In this paper, we propose an \textbf{I}mplicit \textbf{N}eural \textbf{I}npainting \textbf{N}etwork (IN$^2$) to handle arbitrary-shape face images in real-world scenarios by explicit modeling for position information. Specifically, a downsample processing encoder is proposed to reduce information loss while obtaining the global semantic feature. A neighbor hybrid attention block is proposed with a hybrid attention mechanism to improve the facial understanding ability of the model without restricting the shape of the input. Finally, an implicit neural pyramid decoder is introduced to explicitly model position information and bridge the gap between low-resolution features and high-resolution output. Extensive experiments demonstrate the superiority of the proposed method in real-world face inpainting task.


title: Deterministic Simple $(1+\varepsilon)\Delta$-Edge-Coloring in Near-Linear Time

abstract: We study the edge-coloring problem in simple $n$-vertex $m$-edge graphs with maximum degree $\Delta$. This is one of the most classical and fundamental graph-algorithmic problems. Vizing's celebrated theorem provides $(\Delta+1)$-edge-coloring in $O(m\cdot n)$ deterministic time. This running time was improved to $O\left(m\cdot\min\left\{\Delta\cdot\log n, \sqrt{n}\right\}\right)$. It is also well-known that $3\left\lceil\frac{\Delta}{2}\right\rceil$-edge-coloring can be computed in $O(m\cdot\log\Delta)$ time deterministically. Duan et al. devised a randomized $(1+\varepsilon)\Delta$-edge-coloring algorithm with running time $O\left(m\cdot\frac{\log^6 n}{\varepsilon^2}\right)$. It was however open if there exists a deterministic near-linear time algorithm for this basic problem. We devise a simple deterministic $(1+\varepsilon)\Delta$-edge-coloring algorithm with running time $O\left(m\cdot\frac{\log n}{\varepsilon}\right)$. We also devise a randomized $(1+\varepsilon)\Delta$-edge-coloring algorithm with running time $O(m\cdot(\varepsilon^{-18}+\log(\varepsilon\cdot\Delta)))$. For $\varepsilon\geq\frac{1}{\log^{1/18}\Delta}$, this running time is $O(m\cdot\log\Delta)$.


title: Quality-Diversity Algorithms Can Provably Be Helpful for Optimization

abstract: Quality-Diversity (QD) algorithms are a new type of Evolutionary Algorithms (EAs), aiming to find a set of high-performing, yet diverse solutions. They have found many successful applications in reinforcement learning and robotics, helping improve the robustness in complex environments. Furthermore, they often empirically find a better overall solution than traditional search algorithms which explicitly search for a single highest-performing solution. However, their theoretical analysis is far behind, leaving many fundamental questions unexplored. In this paper, we try to shed some light on the optimization ability of QD algorithms via rigorous running time analysis. By comparing the popular QD algorithm MAP-Elites with $(\mu+1)$-EA (a typical EA focusing on finding better objective values only), we prove that on two NP-hard problem classes with wide applications, i.e., monotone approximately submodular maximization with a size constraint, and set cover, MAP-Elites can achieve the (asymptotically) optimal polynomial-time approximation ratio, while $(\mu+1)$-EA requires exponential expected time on some instances. This provides theoretical justification for that QD algorithms can be helpful for optimization, and discloses that the simultaneous search for high-performing solutions with diverse behaviors can provide stepping stones to good overall solutions and help avoid local optima.


title: Exploration of magnon-magnon coupling in an antidot lattice: The role of non-uniform magnetization texture

abstract: We numerically study the spin wave dynamics in an antidot lattice based on a Co/Pd multilayer structure with reduced perpendicular magnetic anisotropy at the edges of the antidots. This structure forms a magnonic crystal with a periodic antidot pattern and a periodic magnetization configuration consisting of out-of-plane magnetized bulk and in-plane magnetized rims. Our results show the different behavior of spin waves in the bulk and in the rims under varying out-of-plane external magnetic field strength, revealing complex spin-wave spectra and hybridizations between the modes of these two subsystems. A particularly strong magnon-magnon coupling, due to exchange interactions, is found between the fundamental bulk spin-wave mode and the second-order radial rim modes. However, the dynamical coupling between the spin-wave modes at low frequencies, involving the first-order radial rim modes, is masked by the changes in the static magnetization at the bulk-rim interface with magnetic field changes. The study expands the horizons of magnonic-crystal research by combining periodic structural patterning and non-collinear magnetization texture to achieve strong magnon-magnon coupling, highlighting the significant role of exchange interactions in the coupling.


title: I-SplitEE: Image classification in Split Computing DNNs with Early Exits

abstract: The recent advances in Deep Neural Networks (DNNs) stem from their exceptional performance across various domains. However, their inherent large size hinders deploying these networks on resource-constrained devices like edge, mobile, and IoT platforms. Strategies have emerged, from partial cloud computation offloading (split computing) to integrating early exits within DNN layers. Our work presents an innovative unified approach merging early exits and split computing. We determine the 'splitting layer', the optimal depth in the DNN for edge device computations, and whether to infer on edge device or be offloaded to the cloud for inference considering accuracy, computational efficiency, and communication costs. Also, Image classification faces diverse environmental distortions, influenced by factors like time of day, lighting, and weather. To adapt to these distortions, we introduce I-SplitEE, an online unsupervised algorithm ideal for scenarios lacking ground truths and with sequential data. Experimental validation using Caltech-256 and Cifar-10 datasets subjected to varied distortions showcases I-SplitEE's ability to reduce costs by a minimum of 55% with marginal performance degradation of at most 5%.


title: Undercoverage in high-statistics counting experiments with finite MC samples

abstract: We consider the problem of setting a confidence interval on a parameter of interest from a high-statistics counting experiment in the presence of systematic uncertainties modeled as unconstrained nuisance parameters. We use the profile-likelihood test statistic in the asymptotic limit for confidence interval setting and focus on the case where the likelihood function is derived from a finite sample of Monte Carlo simulated events. We prove as a general result that statistical uncertainties in the Monte Carlo sample affect the coverage of the confidence interval always in the same direction, namely they lead to a systematic undercoverage of the interval. We argue that such spurious effects might not be fully accounted for by statistical methods that are usually adopted in HEP measurements to counteract the effects of finite-size MC samples, such as those based on the Barlow-Beeston likelihood.


title: Multilingual acoustic word embeddings for zero-resource languages

abstract: This research addresses the challenge of developing speech applications for zero-resource languages that lack labelled data. It specifically uses acoustic word embedding (AWE) -- fixed-dimensional representations of variable-duration speech segments -- employing multilingual transfer, where labelled data from several well-resourced languages are used for pertaining. The study introduces a new neural network that outperforms existing AWE models on zero-resource languages. It explores the impact of the choice of well-resourced languages. AWEs are applied to a keyword-spotting system for hate speech detection in Swahili radio broadcasts, demonstrating robustness in real-world scenarios. Additionally, novel semantic AWE models improve semantic query-by-example search.


title: AAT: Adapting Audio Transformer for Various Acoustics Recognition Tasks

abstract: Recently, Transformers have been introduced into the field of acoustics recognition. They are pre-trained on large-scale datasets using methods such as supervised learning and semi-supervised learning, demonstrating robust generality--It fine-tunes easily to downstream tasks and shows more robust performance. However, the predominant fine-tuning method currently used is still full fine-tuning, which involves updating all parameters during training. This not only incurs significant memory usage and time costs but also compromises the model's generality. Other fine-tuning methods either struggle to address this issue or fail to achieve matching performance. Therefore, we conducted a comprehensive analysis of existing fine-tuning methods and proposed an efficient fine-tuning approach based on Adapter tuning, namely AAT. The core idea is to freeze the audio Transformer model and insert extra learnable Adapters, efficiently acquiring downstream task knowledge without compromising the model's original generality. Extensive experiments have shown that our method achieves performance comparable to or even superior to full fine-tuning while optimizing only 7.118% of the parameters. It also demonstrates superiority over other fine-tuning methods.


title: Understanding Biases in ChatGPT-based Recommender Systems: Provider Fairness, Temporal Stability, and Recency

abstract: This study explores the nuanced capabilities and inherent biases of Recommender Systems using Large Language Models (RecLLMs), with a focus on ChatGPT-based systems. It studies into the contrasting behaviors of generative models and traditional collaborative filtering models in movie recommendations. The research primarily investigates prompt design strategies and their impact on various aspects of recommendation quality, including accuracy, provider fairness, diversity, stability, genre dominance, and temporal freshness (recency). Our experimental analysis reveals that the introduction of specific 'system roles' and 'prompt strategies' in RecLLMs significantly influences their performance. For instance, role-based prompts enhance fairness and diversity in recommendations, mitigating popularity bias. We find that while GPT-based models do not always match the performance of CF baselines, they exhibit a unique tendency to recommend newer and more diverse movie genres. Notably, GPT-based models tend to recommend more recent films, particularly those released post-2000, and show a preference for genres like \sq{Drama} and Comedy, and Romance (compared to CF Action, Adventure) presumably due to the RecLLMs' training on varied data sets, which allows them to capture recent trends and discussions more effectively than CF models. Interestingly, our results demonstrate that the 'Simple' and 'Chain of Thought (COT)' paradigms yield the highest accuracy. These findings imply the potential of combining these strategies with scenarios that favor more recent content, thereby offering a more balanced and up-to-date recommendation experience. This study contributes significantly to the understanding of emerging RecLLMs, particularly in the context of harms and biases within these systems.


title: High-order BDF convolution quadrature for stochastic fractional evolution equations driven by integrated additive noise

abstract: The numerical analysis of stochastic time fractional evolution equations presents considerable challenges due to the limited regularity of the model caused by the nonlocal operator and the presence of noise. The existing time-stepping methods exhibit a significantly low order convergence rate. In this work, we introduce a smoothing technique and develop the novel high-order schemes for solving the linear stochastic fractional evolution equations driven by integrated additive noise. Our approach involves regularizing the additive noise through an $m$-fold integral-differential calculus, and discretizing the equation using the $k$-step BDF convolution quadrature. This novel method, which we refer to as the ID$m$-BDF$k$ method, is able to achieve higher-order convergence in solving the stochastic models. Our theoretical analysis reveals that the convergence rate of the ID$2$-BDF2 method is $O(\tau^{\alpha + \gamma -1/2})$ for $1< \alpha + \gamma \leq 5/2$, and $O(\tau^{2})$ for $5/2< \alpha + \gamma <3$, where $\alpha \in (1, 2)$ and $\gamma \in (0, 1)$ denote the time fractional order and the order of the integrated noise, respectively. Furthermore, this convergence rate could be improved to $O(\tau^{\alpha + \gamma -1/2})$ for any $\alpha \in (1, 2)$ and $\gamma \in (0, 1)$, if we employ the ID$3$-BDF3 method. The argument could be easily extended to the subdiffusion model with $\alpha \in (0, 1)$. Numerical examples are provided to support and complement the theoretical findings.


title: PhoGAD: Graph-based Anomaly Behavior Detection with Persistent Homology Optimization

abstract: A multitude of toxic online behaviors, ranging from network attacks to anonymous traffic and spam, have severely disrupted the smooth operation of networks. Due to the inherent sender-receiver nature of network behaviors, graph-based frameworks are commonly used for detecting anomalous behaviors. However, in real-world scenarios, the boundary between normal and anomalous behaviors tends to be ambiguous. The local heterophily of graphs interferes with the detection, and existing methods based on nodes or edges introduce unwanted noise into representation results, thereby impacting the effectiveness of detection. To address these issues, we propose PhoGAD, a graph-based anomaly detection framework. PhoGAD leverages persistent homology optimization to clarify behavioral boundaries. Building upon this, the weights of adjacent edges are designed to mitigate the effects of local heterophily. Subsequently, to tackle the noise problem, we conduct a formal analysis and propose a disentangled representation-based explicit embedding method, ultimately achieving anomaly behavior detection. Experiments on intrusion, traffic, and spam datasets verify that PhoGAD has surpassed the performance of state-of-the-art (SOTA) frameworks in detection efficacy. Notably, PhoGAD demonstrates robust detection even with diminished anomaly proportions, highlighting its applicability to real-world scenarios. The analysis of persistent homology demonstrates its effectiveness in capturing the topological structure formed by normal edge features. Additionally, ablation experiments validate the effectiveness of the innovative mechanisms integrated within PhoGAD.


title: The remarkable predictive power of infrared data in Blazars

abstract: Blazars are the brightest and most abundant persistent sources in the extragalactic gamma-ray sky. Due to their significance, they are often observed across various energy bands to explore potential correlations between emissions at different energies, yielding valuable insights into the emission processes of their powerful jets. In this study we utilised infrared (IR) data at 3.4 and 4.6 microns from the Near-Earth Object Wide-field Infrared Survey Explorer Reactivation Mission (NEOWISE), spanning eight years of observations, Swift X-ray data collected throughout the satellite lifetime, and twelve years of gamma-ray measurements from the Fermi Large Area Telescope's all-sky survey. Our analysis reveals that the IR spectral slope reliably predicts the peak frequency and maximum intensity of the synchrotron component of blazars spectral energy distributions, provided it is uncontaminated by radiation unrelated to the jet. A notable correlation between the IR and gamma-ray fluxes was observed, with the BL Lac subclass of blazars displaying a strong correlation coefficient of r = 0.80. Infrared band variability is more pronounced in flat spectrum radio quasars than in BL Lacs, with mean fractional variability values of 0.65 and 0.35, respectively. We also observed that the synchrotron peak intensity of intermediate-high-energy-peaked objects blazars can forecast their detectability at very high energy gamma-ray, energies. We used this predicting power to identify objects in current catalogues that could meet the detection threshold of the Cerenkov telescope array extragalactic survey, which should encompass approximately 180 blazars.


title: Unified View Imputation and Feature Selection Learning for Incomplete Multi-view Data

abstract: Although multi-view unsupervised feature selection (MUFS) is an effective technology for reducing dimensionality in machine learning, existing methods cannot directly deal with incomplete multi-view data where some samples are missing in certain views. These methods should first apply predetermined values to impute missing data, then perform feature selection on the complete dataset. Separating imputation and feature selection processes fails to capitalize on the potential synergy where local structural information gleaned from feature selection could guide the imputation, thereby improving the feature selection performance in turn. Additionally, previous methods only focus on leveraging samples' local structure information, while ignoring the intrinsic locality of the feature space. To tackle these problems, a novel MUFS method, called UNified view Imputation and Feature selectIon lEaRning (UNIFIER), is proposed. UNIFIER explores the local structure of multi-view data by adaptively learning similarity-induced graphs from both the sample and feature spaces. Then, UNIFIER dynamically recovers the missing views, guided by the sample and feature similarity graphs during the feature selection procedure. Furthermore, the half-quadratic minimization technique is used to automatically weight different instances, alleviating the impact of outliers and unreliable restored data. Comprehensive experimental results demonstrate that UNIFIER outperforms other state-of-the-art methods.


title: Large recurrence of the polynomial Van der Waerden's theorem and its application in Ramsey theory

abstract: Recently M. Di Nasso and M. Ragosta proved an exponential version of Hindman's finite sum theorem: for every finite partition of $\mathbb{N}$, there exists a monochromatic Hindman tower of a single sequence. They used the stronger version of Furstenberg's Central Sets Theorem and the theory of ultrafilters to prove their results. In this article, we prove these patterns are abundant by considering two-fold extensions of the Di Nasso-Ragosta theorem. We prove that each term of this pattern can be chosen from a finite set of any given length, consisting of a multiplicative $IP_r$ (that we will define later) set and a set consisting of geometric progression (sets containing both arithmetic and geometric progression) of finite length. To prove our result, first, we improve the size of the recurrence set of V. Bergelson and A. Leibmann's polynomial Van der Waerden's Theorem, and then we study its two-fold applications. First, we study monochromatic patterns involving polynomials over sum sets in additive piecewise syndetic sets. Then in the second, applying methods of induction, we construct infinitary patterns involving a two-fold improvement of the Di Nasso-Ragosta theorem. Then we study the properties of some special classes of ultrafilters witnessing variants of these patterns. Throughout our article, we use the methods from the Algebra of the Stone-\v{C}ech-Compactification of discrete semigroups (for details see [N. Hindman and D. Strauss: Algebra in the Stone-\v{C}ech compactification. Walter de Gruyter\& Co., Berlin, 2012.]).


title: Hierarchic control for the coupled fourth order parabolic equations

abstract: In this paper, we obtain a null controllability result for a coupled fourth order parabolic system based on the Stackelberg-Nash strategies. For this purpose, we first prove the existence and uniqueness of Nash equilibrium pair of the original system and its explicit expression is provided. Next, we investigate the null controllability of Nash equilibrium to the corresponding optimal system. By duality theory, we establish an observability estimate for the coupled fourth order parabolic system. Such an estimate is obtained by a new global Carleman estimate we derived.


title: Upper bound of the lifespan of the solution to the nonlinear fractional wave equations with time-dependent damping

abstract: In this paper, we study the Cauchy problem of the nonlinear wave equation with fractional Laplacian and time-dependent damping. Firstly, we derive the weighted Sobolev estimate of the solution operators for the linear wave equation with the damping of constant coefficient, and prove the local existence and uniqueness in the weighted Sobolev space for the power-type nonlinearity and $b(t)\in L^\infty$, by the contraction mapping principle. Secondly, we consider the case of the source nonlinearity $f(u)\approx |u|^p$. In the subcritical and critical cases $1<p\leq p_c=1+\frac \sigma N$, based on the blow-up result on the ordinary differential inequality, we could prove the blow-up of the solution and obtain the upper bound of the lifespan. And the upper bound of the lifespan in the critical case is independent on the coefficient of the time-dependent damping and is completely new even if the classical case $b(t)=1$.


title: Single-set cubical categories and their formalisation with a proof assistant

abstract: We introduce a single-set axiomatisation of cubical $\omega$-categories, including connections and inverses. We justify these axioms by establishing a series of equivalences between the category of single-set cubical $\omega$-categories, and their variants with connections and inverses, and the corresponding cubical $\omega$-categories. We also report on the formalisation of cubical $\omega$-categories with the Isabelle/HOL proof assistant, which has been instrumental in finding the single-set axioms.


title: Chirality-2 fermion induced anti-Klein tunneling in 2D checkerboard lattice

abstract: The quantum tunneling effect in the two-dimensional (2D) checkerboard lattice is investigated. By analyzing the pseudospin texture of the states in a 2D checkerboard lattice based on the low-energy effective Hamiltonian, we find that this system has a chiral symmetry with chirality equal to 2. Although compared to regular chiral fermions, its pseudospin orientation does not vary uniformly. This suggests that the perfect reflection chiral tunneling, also known as the anti-Klein tunneling, is expected to appear in checkerboard lattice as well. In order to verify the conjecture, we calculate the transmission probability and find that normally incident electron states can be perfectly reflected by the barrier with hole states inside, and vice versa. Furthermore, we also numerically calculate the tunneling conductance of the checkerboard nanotube using the recursive Green's function method. The results show that a perfect on-off ratio can be achieved by confining the energy of the incident states within a certain range. It also suggests that, by tuning the barrier, the checkerboard nanotube is able to work as a perfect ``band filter" or ``tunneling field effect transistor", which transmits electrons selectively with respect to the pseudospin of the incident electrons.


title: A high frequency radiation hardened DC/DC-converter with low volume air core inductor

abstract: The hfrh-buck (high frequency radiation hardened-buck) is a radiation hardened DC/DC-converter operating at a high switching frequency of 100MHz with a small air core inductor of 22nH. To ensure a high radiation dose, the circuit is designed with core transistors of a 65nm TSMC technology. By stacking the transistors of the power stage, the converter can be supplied with a voltage of up to 4.8V. Stable operation can be achieved at an output voltage of 1.2V with a maximum load current of 1A. The prototype demonstrates the ability to power parallel connected hybrid-pixel modules in the innermost layers.


title: Symbol as Points: Panoptic Symbol Spotting via Point-based Representation

abstract: This work studies the problem of panoptic symbol spotting, which is to spot and parse both countable object instances (windows, doors, tables, etc.) and uncountable stuff (wall, railing, etc.) from computer-aided design (CAD) drawings. Existing methods typically involve either rasterizing the vector graphics into images and using image-based methods for symbol spotting, or directly building graphs and using graph neural networks for symbol recognition. In this paper, we take a different approach, which treats graphic primitives as a set of 2D points that are locally connected and use point cloud segmentation methods to tackle it. Specifically, we utilize a point transformer to extract the primitive features and append a mask2former-like spotting head to predict the final output. To better use the local connection information of primitives and enhance their discriminability, we further propose the attention with connection module (ACM) and contrastive connection learning scheme (CCL). Finally, we propose a KNN interpolation mechanism for the mask attention module of the spotting head to better handle primitive mask downsampling, which is primitive-level in contrast to pixel-level for the image. Our approach, named SymPoint, is simple yet effective, outperforming recent state-of-the-art method GAT-CADNet by an absolute increase of 9.6% PQ and 10.4% RQ on the FloorPlanCAD dataset. The source code and models will be available at https://github.com/nicehuster/SymPoint.


title: Newton's method and its hybrid with machine learning for Navier-Stokes Darcy Models discretized by mixed element methods

abstract: This paper focuses on discussing Newton's method and its hybrid with machine learning for the steady state Navier-Stokes Darcy model discretized by mixed element methods. First, a Newton iterative method is introduced for solving the relative discretized problem. It is proved technically that this method converges quadratically with the convergence rate independent of the finite element mesh size, under certain standard conditions. Later on, a deep learning algorithm is proposed for solving this nonlinear coupled problem. Following the ideas of an earlier work by Huang, Wang and Yang (2020), an Int-Deep algorithm is constructed by combining the previous two methods so as to further improve the computational efficiency and robustness. A series of numerical examples are reported to show the numerical performance of the proposed methods.


title: ICBeLLM: High Quality International Events Data with Open Source Large Language Models on Consumer Hardware

abstract: The International Crises Behavior Events (ICBe) ontology provides high coverage over the thoughts, communications, and actions that constitute international relations. A major disadvantage of that level of detail is that it requires large human capital costs to apply it manually to new texts. Whether such an ontolgy is practical for international relations research given limited human and financial resources is a pressing concern. We introduce a working proof of concept showing that ICBe codings can be reliably extracted from new texts using the current generation of open source large language models (LLM) running on consumer grade computer hardware. Our solution requires no finetuning and only limited prompt engineering. We detail our solution and present benchmarks against the original ICBe codings. We conclude by discussing the implications of very high quality event coding of any text being within reach of individual researchers with limited resources.


title: OrchMoE: Efficient Multi-Adapter Learning with Task-Skill Synergy

abstract: We advance the field of Parameter-Efficient Fine-Tuning (PEFT) with our novel multi-adapter method, OrchMoE, which capitalizes on modular skill architecture for enhanced forward transfer in neural networks. Unlike prior models that depend on explicit task identification inputs, OrchMoE automatically discerns task categories, streamlining the learning process. This is achieved through an integrated mechanism comprising an Automatic Task Classification module and a Task-Skill Allocation module, which collectively deduce task-specific classifications and tailor skill allocation matrices. Our extensive evaluations on the 'Super Natural Instructions' dataset, featuring 1,600 diverse instructional tasks, indicate that OrchMoE substantially outperforms comparable multi-adapter baselines in terms of both performance and sample utilization efficiency, all while operating within the same parameter constraints. These findings suggest that OrchMoE offers a significant leap forward in multi-task learning efficiency.


title: 360ORB-SLAM: A Visual SLAM System for Panoramic Images with Depth Completion Network

abstract: To enhance the performance and effect of AR/VR applications and visual assistance and inspection systems, visual simultaneous localization and mapping (vSLAM) is a fundamental task in computer vision and robotics. However, traditional vSLAM systems are limited by the camera's narrow field-of-view, resulting in challenges such as sparse feature distribution and lack of dense depth information. To overcome these limitations, this paper proposes a 360ORB-SLAM system for panoramic images that combines with a depth completion network. The system extracts feature points from the panoramic image, utilizes a panoramic triangulation module to generate sparse depth information, and employs a depth completion network to obtain a dense panoramic depth map. Experimental results on our novel panoramic dataset constructed based on Carla demonstrate that the proposed method achieves superior scale accuracy compared to existing monocular SLAM methods and effectively addresses the challenges of feature association and scale ambiguity. The integration of the depth completion network enhances system stability and mitigates the impact of dynamic elements on SLAM performance.


title: MAEDiff: Masked Autoencoder-enhanced Diffusion Models for Unsupervised Anomaly Detection in Brain Images

abstract: Unsupervised anomaly detection has gained significant attention in the field of medical imaging due to its capability of relieving the costly pixel-level annotation. To achieve this, modern approaches usually utilize generative models to produce healthy references of the diseased images and then identify the abnormalities by comparing the healthy references and the original diseased images. Recently, diffusion models have exhibited promising potential for unsupervised anomaly detection in medical images for their good mode coverage and high sample quality. However, the intrinsic characteristics of the medical images, e.g. the low contrast, and the intricate anatomical structure of the human body make the reconstruction challenging. Besides, the global information of medical images often remain underutilized. To address these two issues, we propose a novel Masked Autoencoder-enhanced Diffusion Model (MAEDiff) for unsupervised anomaly detection in brain images. The MAEDiff involves a hierarchical patch partition. It generates healthy images by overlapping upper-level patches and implements a mechanism based on the masked autoencoders operating on the sub-level patches to enhance the condition on the unnoised regions. Extensive experiments on data of tumors and multiple sclerosis lesions demonstrate the effectiveness of our method.


title: Many-body Stark resonances by the complex absorbing potential method

abstract: The resonances of many-body Stark Hamiltonians are characterized by the complex absorbing potential method. Namely, the resonances are shown to be the limit points of complex discrete eigenvalues of many-body Stark Hamiltonians with quadratic complex potential when the coefficient of the complex potential tends to zero.


title: Comment on "Machine Learning the Operator Content of the Critical Self-Dual Ising-Higgs Gauge Model'', arXiv:2311.17994v1

abstract: We critically discuss the results reported in arXiv:2311.17994v1 by L. Oppenheim, M. Koch-Janusz, S. Gazit, and Z. Ringel, on the multicritical behavior of the three-dimensional Ising-Gauge model at the multicritical point. We argue that their results do not contradict the theoretical scenario put forward in ``Multicritical point of the three-dimensional ${\mathbb Z}_2$ gauge Higgs model'', Phys. Rev. B 105, 165138 (2022), arXiv:2112.01824, that predicted a multicritical behavior controlled by the stable $XY$ fixed point of an effective three-dimensional ${\mathbb Z}_2\oplus {\mathbb Z}_2$ Landau-Ginzburg-Wilson $\Phi^4$ field theory. Actually, their results, as well as all numerical results reported so far in the literature, are consistent with a multicritical $XY$ scenario.

categories: cond-mat.stat-mech cond-mat.dis-nn cond-mat.str-el hep-lat hep-th


title: Dream360: Diverse and Immersive Outdoor Virtual Scene Creation via Transformer-Based 360 Image Outpainting

abstract: 360 images, with a field-of-view (FoV) of 180x360, provide immersive and realistic environments for emerging virtual reality (VR) applications, such as virtual tourism, where users desire to create diverse panoramic scenes from a narrow FoV photo they take from a viewpoint via portable devices. It thus brings us to a technical challenge: `How to allow the users to freely create diverse and immersive virtual scenes from a narrow FoV image with a specified viewport?' To this end, we propose a transformer-based 360 image outpainting framework called Dream360, which can generate diverse, high-fidelity, and high-resolution panoramas from user-selected viewports, considering the spherical properties of 360 images. Compared with existing methods, e.g., [3], which primarily focus on inputs with rectangular masks and central locations while overlooking the spherical property of 360 images, our Dream360 offers higher outpainting flexibility and fidelity based on the spherical representation. Dream360 comprises two key learning stages: (I) codebook-based panorama outpainting via Spherical-VQGAN (S-VQGAN), and (II) frequency-aware refinement with a novel frequency-aware consistency loss. Specifically, S-VQGAN learns a sphere-specific codebook from spherical harmonic (SH) values, providing a better representation of spherical data distribution for scene modeling. The frequency-aware refinement matches the resolution and further improves the semantic consistency and visual fidelity of the generated results. Our Dream360 achieves significantly lower Frechet Inception Distance (FID) scores and better visual fidelity than existing methods. We also conducted a user study involving 15 participants to interactively evaluate the quality of the generated results in VR, demonstrating the flexibility and superiority of our Dream360 framework.


title: Reflecting on naked singularities: iron line fitting as a probe of the cosmic censorship conjecture

abstract: We demonstrate that the X-ray iron line fitting technique can be leveraged as a powerful probe of the cosmic censorship conjecture. We do this by extending existing emission line models to arbitrary spin parameters of the Kerr metric, no longer restricted to black hole metrics with $|a_\bullet |< 1$. We show that the emission lines from naked singularity metrics ($|a_\bullet| > 1$) show significant differences to their black hole counterparts, even for those metrics with identical locations of the innermost stable circular orbit, i.e., emission line fitting does not suffer from the degeneracy which affects continuum fitting approaches. These differences are entirely attributable to the disappearance of the event horizon for $|a_\bullet| > 1$. We highlight some novel emission line features of naked singularity metrics, such as ``inverted'' emission lines (with sharp red wings and extended blue wings) and ``triple lines''. The lack of detection of any of these novel features provides support of the cosmic censorship conjecture. We publicly release {\tt XSPEC} packages {\tt skline} and {\tt skconv} which can now be used to probe the cosmic censorship conjecture in Galactic X-ray binaries and Active Galactic Nuclei. The inclusion of super-extremal spacetimes can be alternatively posed as a way of stress-testing conventional models of accretion.


title: Robust Multi-Modal Density Estimation

abstract: The estimation of probability density functions is a fundamental problem in science and engineering. However, common methods such as kernel density estimation (KDE) have been demonstrated to lack robustness, while more complex methods have not been evaluated in multi-modal estimation problems. In this paper, we present ROME (RObust Multi-modal Estimator), a non-parametric approach for density estimation which addresses the challenge of estimating multi-modal, non-normal, and highly correlated distributions. ROME utilizes clustering to segment a multi-modal set of samples into multiple uni-modal ones and then combines simple KDE estimates obtained for individual clusters in a single multi-modal estimate. We compared our approach to state-of-the-art methods for density estimation as well as ablations of ROME, showing that it not only outperforms established methods but is also more robust to a variety of distributions. Our results demonstrate that ROME can overcome the issues of over-fitting and over-smoothing exhibited by other estimators.


title: Self-training from Self-memory in Data-to-text Generation

abstract: This paper introduces a novel training model, self-training from self-memory (STSM) in data-to-text generation (DTG), allowing the model to self-train on subsets, including self-memory as outputs inferred directly from the trained models and/or the new data. The quality of self-memory is validated by two models, data-to-text (D2T) and text-to-data (T2D), by two pre-defined conditions: (1) the appearance of all source values in the outputs of the D2T model and (2) the ability to convert back to source data in the outputs in the T2D model. We utilize a greedy algorithm to generate shorter D2T outputs if they contain all source values. Subsequently, we use the T2D model to confirm that these outputs can capture input relationships by demonstrating their capacity to convert text back into data. With 30% of the dataset, we can train the D2T model with a competitive performance compared to full training in the same setup. We experiment with our model on two datasets, E2E NLG and DART. STSM offers the D2T model a generalization capability from its subset memory while reducing training data volume. Ultimately, we anticipate that this paper will contribute to continual learning solutions that adapt to new training data, incorporating it as a form of self-memory in DTG tasks. The curated dataset is publicly available at: https://github.com/hoangthangta/STSM.


title: CivRealm: A Learning and Reasoning Odyssey in Civilization for Decision-Making Agents

abstract: The generalization of decision-making agents encompasses two fundamental elements: learning from past experiences and reasoning in novel contexts. However, the predominant emphasis in most interactive environments is on learning, often at the expense of complexity in reasoning. In this paper, we introduce CivRealm, an environment inspired by the Civilization game. Civilization's profound alignment with human history and society necessitates sophisticated learning, while its ever-changing situations demand strong reasoning to generalize. Particularly, CivRealm sets up an imperfect-information general-sum game with a changing number of players; it presents a plethora of complex features, challenging the agent to deal with open-ended stochastic environments that require diplomacy and negotiation skills. Within CivRealm, we provide interfaces for two typical agent types: tensor-based agents that focus on learning, and language-based agents that emphasize reasoning. To catalyze further research, we present initial results for both paradigms. The canonical RL-based agents exhibit reasonable performance in mini-games, whereas both RL- and LLM-based agents struggle to make substantial progress in the full game. Overall, CivRealm stands as a unique learning and reasoning challenge for decision-making agents. The code is available at https://github.com/bigai-ai/civrealm.


title: Resolving the relaxation complexity of vitrimers: time-temperature superpositions of a time-temperature non-equivalent system

abstract: Vitrimers are polymer networks that, thanks to covalent bond exchange, combine desirable properties of thermoplastic and thermosets, such as flowability and insolubility. For this reason, vitrimers are considered to be good candidates for a number of innovative applications from self-healing soft robots to hard reprocessable materials. All these applications are related to the unusual thermomechanical behavior of vitrimers, consequence of the non-trivial interplay between the polymer network dynamics and the thermally activated chemical link exchange. Here we use solid-state rheology to investigate the properties of a recently developed epoxy-based vitrimer. The rheological analysis demonstrates that the mechanical spectrum is composed of two relaxation processes with distinct activation energies which are associated with glass dynamics and covalent bond exchange, respectively. This makes the material thermo-rheologically complex and time temperature equivalence does not apply. Nonetheless, thanks to mechanical spectral analysis in a wide range of stiffness, time and temperature, we are able to depict the time-temperature-relaxation landscape in an enough precise way to account for the two dynamical processes and recombine them to predict the mechanical moduli in a wide (virtually unlimited) interval of frequencies, from low temperatures (close to room temperature) to high temperatures (above the Tg).


title: Photodriven germanium hole qubit

abstract: Hole qubits in germanium quantum dots are promising candidates for coherent control and manipulation of the spin degree of freedom through electric dipole spin resonance. We theoretically study the time dynamics of a single heavy-hole qubit in a laser-driven planar germanium quantum dot confined laterally by a harmonic potential in presence of linear and cubic Rashba spin-orbit couplings and an out-of-plane magnetic field. We obtain an approximate analytical formula of the Rabi frequency using a Schrieffer-Wolff transformation and establish a connection of our model with the ESDR results obtained for this system. For stronger beams, we employ different methods such as unitary transformation and Floquet theory to study the time evolution numerically. We observe that high radiation intensity is not suitable for the qubit rotation due to the presence of high frequency noise superimposed on the Rabi oscillations. We display the Floquet spectrum and highlight the quasienergy levels responsible for the Rabi oscillations in the Floquet picture. We study the interplay of both the types of Rashba couplings and show that the Rabi oscillations, which are brought about by the linear Rashba coupling, vanish for typical values of the cubic Rashba coupling in this system.


title: Testing the consistency of early and late cosmological parameters with BAO and CMB data

abstract: The recent local measurements of the Hubble constant $H_0$, indicate a significant discrepancy of over 5$\sigma$ compared to the value inferred from \textit{Planck} observations of the cosmic microwave background (CMB). In this paper, we try to understand the origin of this tension by testing the consistency of early and late cosmological parameters in the same observed data. In practice, we simultaneously derive the early and late parameters using baryon acoustic oscillation (BAO) measurements, which provide both low and high-redshift information. To resolve parameter degeneracy, the complementary data from CMB observations are included in the analysis. By using the parameter $\omega_m = \Omega_mh^2$, we introduce ${\rm ratio}(\omega_m)$, defined as the ratio of $\omega_m$ which are constrained from high and low-redshift measurements respectively, to quantify the consistency between early and late parameters. We obtained a value of ${\rm ratio}(\omega_m) = 1.0069\pm0.0070$, indicating there is no tension between early parameters and late parameters in the framework of $\Lambda$CDM model. As a result, the Hubble tension may arise from the differences of datasets or unknown systematic errors in the current data. In addition, we forecast the future BAO measurements of ${\rm ratio}(\omega_m)$, using several galaxy redshift surveys and 21 cm intensity mapping surveys, and find that these measurements can significantly improve the precision of cosmological parameters.


title: Zero-Sum State-Blind Stochastic Games with Vanishing Stage Duration

abstract: In stochastic games with stage duration h, players act at times h, 2h, 3h, ..., and the payoff and leaving probabilities are proportional to h. When h tends to 0, such games approximate games in continuous time. The behavior of the values when h tends to 0 was already studied in the case of stochastic games with perfect observation of the state. We consider the same question for the case of state-blind stochastic games. Our main result states that the value of any state-blind stochastic game with stage duration h converges as h tends to 0 to a unique viscosity solution of a partial differential equation.


title: Towards Synthetic Magnetic Turbulence with Coherent Structures

abstract: Synthetic turbulence is a relevant tool to study complex astrophysical and space plasma environments inaccessible by direct simulation. However, conventional models lack intermittent coherent structures, which are essential in realistic turbulence. We present a novel method, featuring coherent structures, conditional structure function scaling and fieldline curvature statistics comparable to magnetohydrodynamic turbulence. Enhanced transport of charged particles is investigated as well. This method presents significant progress towards physically faithful synthetic turbulence.


title: Characterization of self-affine tile digit sets on $\mathbb{R}^n$

abstract: Let $R$ be an $n\times n$ expanding matrix with integral entries. A fundamental question in the fractal tiling theory is to understand the structure of the digit set $\mathcal{D}\subset\mathbb{Z}^n$ so that the integral self-affine set $T(R,\mathcal{D})$ is a translational tile on $\mathbb{R}^n$ In this paper, we introduce a notion of skew-product-form digit set which is a very general class of tile digit sets. Especially, we show that in the one-dimensional case, if $T(b,\mathcal{D})$ is a self-similar tile, then there exists $m\geq 1$ such that $$\mathcal{D}_m=\mathcal{D}+b\mathcal{D}+\cdots+b^{m-1}\mathcal{D}$$ is a skew-product-form digit set. Notice that $T(b,\mathcal{D})=T(b^m,\mathcal{D}_m)$, in some sense, we completely characterize the self-similar tiles in $\mathbb{R}^1$ As an application, we establish that all self-similar tiles $T(b,\mathcal{D})$ where $b=p^{\alpha}q^{\beta}$ contains at most two prime factors are spectral sets in $\mathbb{R}^1$.


title: The continuous collision-induced nonlinear fragmentation equation with non-integrable fragment daughter distributions

abstract: Existence, non-existence, and uniqueness of mass-conserving weak solutions to the continuous collision-induced nonlinear fragmentation equations are established for the collision kernels $\Phi$ satisfying $\Phi(x_1,x_2)={x_1}^{\lambda_1} {x_2}^{\lambda_2}+{x_2}^{\lambda_1} {x_1}^{\lambda_2}$, $(x_1,x_2)\in(0,\infty)^2$, with ${\lambda_1} \leq {\lambda_2}\leq 1$, and non-integrable fragment daughter distributions. In particular, global existence of mass-conserving weak solutions is shown when $1\le\lambda:={\lambda_1}+{\lambda_2}\le2$ with $\lambda_1\ge k_0$, the parameter $k_0\in(0,1)$ being related to the non-integrability of the fragment daughter distribution. The existence of at least one mass-conserving weak solution is also demonstrated when $2k_0 \le \lambda < 1$ with $\lambda_1\ge k_0$ but its maximal existence time is shown to be finite. Uniqueness is also established in both cases. The last result deals with the non-existence of mass-conserving weak solutions, even on a small time interval, for power law fragment daughter distribution when $\lambda_1<k_0$. It is worth mentioning that the previous literature on the nonlinear fragmentation equation does not treat non-integrable fragment daughter distribution functions.


title: In vivo exposure of the bladder using a non-invasive high intensity focused ultrasound toroidal transducer

abstract: A toroidal high-intensity focused ultrasound (HIFU) transducer was used to expose normal bladder wall tissues non-invasively in vivo in a porcine model in order to investigate the potential to treat bladder tumors. The transducer was divided into 32 concentric rings with equal surface areas, operating at 2.5 MHz. Eight animals were split into two groups of 4. In the first group, post-mortem evaluation was performed immediately after ultrasound exposure. In the second group, animals survived for up to seven days before post-mortem evaluation. The ultrasound imaging guided HIFU device was hand-held during the procedure using optical tracking to ensure correct targeting. One thermal lesion in each animal was created using a 40 s exposure at 80 acoustic Watts (free-field) in the trigone region of the bladder wall. The average ($\pm$Standard Deviation) abdominal wall and bladder wall thicknesses were 10.3 $\pm$ 1.4 mm and 1.1 $\pm$ 0.4 mm respectively. The longest and shortest axes of the HIFU ablations were 7.7 $\pm$ 2.9 mm and 6.0 $\pm$ 1.8 mm, respectively, resulting in an ablation of the whole thickness of the bladder wall in most cases. Ablation were performed at an average depth (distance from the skin surface to the centre of the HIFU lesion) of 42.5 $\pm$ 3.8 mm and extended throughout the thickness of the bladder. There were two cases of injury to tissues immediately adjacent to the bladder wall but without signs of perforation, as confirmed by histological analysis. Non-invasive HIFU ablation using a hand-held toroidal transducer was successfully performed to destroy regions of the bladder wall in vivo.


title: Observation of periodic optical spectra and soliton molecules in a novel passively mode-locked fiber laser

abstract: Due to the necessity of making a series of random adjustments after mode-locking in most experiments for preparing soliton molecules, the repeatability of the preparations remains a challenge. Here, we introduce a novel all-polarization-maintaining erbium-doped fiber laser that utilizes a nonlinear amplifying loop mirror for mode-locking and features a linear shape. This laser can stably output soliton molecules without any additional adjustment once the mode-locking self-starts. Moreover, it can achieve the transition from soliton molecule state to soliton state, and then to multi-pulse state by reducing the pumping power. The unconventional method of generating multi-pulses, combined with a wide pumping power range of 200--640 mW for maintaining mode-locking, allowed us to observe periodic optical spectra with two complete cycles for the first time. Based on the experimental facts, we develop a multistability model to explain this phenomenon. With its ability to switch between three stable states, this flexible laser can serve as a versatile toolbox for studying soliton dynamics.


title: 3D Shape Completion on Unseen Categories:A Weakly-supervised Approach

abstract: 3D shapes captured by scanning devices are often incomplete due to occlusion. 3D shape completion methods have been explored to tackle this limitation. However, most of these methods are only trained and tested on a subset of categories, resulting in poor generalization to unseen categories. In this paper, we introduce a novel weakly-supervised framework to reconstruct the complete shapes from unseen categories. We first propose an end-to-end prior-assisted shape learning network that leverages data from the seen categories to infer a coarse shape. Specifically, we construct a prior bank consisting of representative shapes from the seen categories. Then, we design a multi-scale pattern correlation module for learning the complete shape of the input by analyzing the correlation between local patterns within the input and the priors at various scales. In addition, we propose a self-supervised shape refinement model to further refine the coarse shape. Considering the shape variability of 3D objects across categories, we construct a category-specific prior bank to facilitate shape refinement. Then, we devise a voxel-based partial matching loss and leverage the partial scans to drive the refinement process. Extensive experimental results show that our approach is superior to state-of-the-art methods by a large margin.


title: Trade-offs between classical and quantum space using spooky pebbling

abstract: Pebble games are used to study space/time trade-offs. Recently, spooky pebble games were introduced to study classical space / quantum space / time trade-offs for simulation of classical circuits on quantum computers. In this paper, the spooky pebble game framework is applied for the first time to general circuits. Using this framework we prove an upper bound for quantum space in the spooky pebble game. We also prove that solving the spooky pebble game is PSPACE-complete. Moreover, we present a solver for the spooky pebble game based on satisfiability combined with heuristic solvers. This spooky pebble game solver was empirically evaluated by calculating optimal classical space / quantum space / time trade-offs. Within limited runtime, the solver could find a strategy reducing quantum space when classical space is taken into account, showing that the spooky pebble model is useful to reduce quantum space.


title: PHOENIX: Open-Source Language Adaption for Direct Preference Optimization

abstract: Large language models have gained immense importance in recent years and have demonstrated outstanding results in solving various tasks. However, despite these achievements, many questions remain unanswered in the context of large language models. Besides the optimal use of the models for inference and the alignment of the results to the desired specifications, the transfer of models to other languages is still an underdeveloped area of research. The recent publication of models such as Llama-2 and Zephyr has provided new insights into architectural improvements and the use of human feedback. However, insights into adapting these techniques to other languages remain scarce. In this paper, we build on latest improvements and apply the Direct Preference Optimization(DPO) approach to the German language. The model is available at https://huggingface.co/DRXD1000/Phoenix.


title: Co-propagation of Classical and Continuous-variable QKD Signals over a Turbulent Optical Channel with a Real-time QKD Receiver

abstract: We demonstrate classical and quantum signal co-propagation over a turbulent free-space channel with 3 Tbit/s throughput and record 2.7 Mbit/s secret-key rate. Our real-time GPU-based receiver assessed quantum signal integrity under different turbulence scenarios for the first time.


title: Exploiting Kubernetes' Image Pull Implementation to Deny Node Availability

abstract: Kubernetes (K8s) has grown in popularity over the past few years to become the de-facto standard for container orchestration in cloud-native environments. While research is not new to topics such as containerization and access control security, the Application Programming Interface (API) interactions between K8s and its runtime interfaces have not been studied thoroughly. In particular, the CRI-API is responsible for abstracting the container runtime, managing the creation and lifecycle of containers along with the downloads of the respective images. However, this decoupling of concerns and the abstraction of the container runtime renders K8s unaware of the status of the downloading process of the container images, obstructing the monitoring of the resources allocated to such process. In this paper, we discuss how this lack of status information can be exploited as a Denial of Service attack in a K8s cluster. We show that such attacks can generate up to 95% average CPU usage, prevent downloading new container images, and increase I/O and network usage for a potentially unlimited amount of time. Finally, we propose two possible mitigation strategies: one, implemented as a stopgap solution, and another, requiring more radical architectural changes in the relationship between K8s and the CRI-API.


title: Existence and relaxation for optimal control governed by steady, quasilinear PDEs

abstract: We focus on optimal control problems governed by elliptic, quasilinear PDEs. Though there are various examples of such problems in the literature, we make an attempt at describing some general principles by dealing with three basic situations. In the first one, we assume that the state equation is variational; the second one focuses on a non-variational, monotone operator as state equation; finally, we add a non-linear term off the divergence part of the equation. In the first two cases, existence of optimal solutions can be established under suitable sets of assumptions, while relaxation is required for the third situation. Concerning the cost functional, and though more general examples can be dealt with, we will take a typical case consisting of two terms: one depending on the state, and another one of the form of a typical Thychonov regularization.


title: Fast winning strategies for the attacker in eternal domination

abstract: Dominating sets in graphs are often used to model some monitoring of the graph: guards are posted on the vertices of the dominating set, and they can thus react to attacks occurring on the unguarded vertices by moving there (yielding a new set of guards, which may not be dominating anymore). A dominating set is eternal if it can endlessly resist to attacks. From the attacker's perspective, if we are given a non-eternal dominating set, the question is to determine how fast can we provoke an attack that cannot be handled by a neighboring guard. We investigate this question from a computational complexity point of view, by showing that this question is PSPACE-hard, even for graph classes where finding a minimum eternal dominating set is in P. We then complement this result by giving polynomial time algorithms for cographs and trees, and showing a connection with tree-depth for the latter. We also investigate the problem from a parameterized complexity perspective, mainly considering two parameters: the number of guards and the number of steps.


title: Bimodal buckling governs human fingers luxation

abstract: Equilibrium bifurcation in natural systems can sometimes be explained as a route to stress shielding for preventing failure. Although compressive buckling has been known for a long time, its less-intuitive tensile counterpart was only recently discovered and yet never identified in living structures or organisms. Through the analysis of an unprecedented all-in-one paradigm of elastic instability, it is theoretically and experimentally shown that coexistence of two curvatures in human finger joints is the result of an optimal design by nature that exploits both compressive and tensile buckling for inducing luxation in case of traumas, so realizing a unique mechanism for protecting tissues and preventing more severe damage under extreme loads. Our findings might pave the way to conceive complex architectured and bio-inspired materials, as well as next generation artificial joint prostheses and robotic arms for bio-engineering and healthcare applications.


title: PuriDefense: Randomized Local Implicit Adversarial Purification for Defending Black-box Query-based Attacks

abstract: Black-box query-based attacks constitute significant threats to Machine Learning as a Service (MLaaS) systems since they can generate adversarial examples without accessing the target model's architecture and parameters. Traditional defense mechanisms, such as adversarial training, gradient masking, and input transformations, either impose substantial computational costs or compromise the test accuracy of non-adversarial inputs. To address these challenges, we propose an efficient defense mechanism, PuriDefense, that employs random patch-wise purifications with an ensemble of lightweight purification models at a low level of inference cost. These models leverage the local implicit function and rebuild the natural image manifold. Our theoretical analysis suggests that this approach slows down the convergence of query-based attacks by incorporating randomness into purifications. Extensive experiments on CIFAR-10 and ImageNet validate the effectiveness of our proposed purifier-based defense mechanism, demonstrating significant improvements in robustness against query-based attacks.


title: 3d TQFTs and 3-manifold invariants

abstract: This is an invited contribution to the 2nd edition of the Encyclopedia of Mathematical Physics. We give an overview of 3-dimensional topological quantum field theories (TQFTs) and the corresponding quantum invariants of 3-manifolds. We recall the main algebraic concepts and constructions, such as modular and spherical fusion categories, the Witten-Reshetikhin-Turaev and Turaev-Viro theories, and the relation between these two TQFTs. We also briefly discuss generalizations of these constructions by providing a (non-exhaustive) review of some recent works on 3-dimensional extended TQFTs, defect TQFTs, homotopy QFTs, and non-semisimple TQFTs.


title: DGL: Dynamic Global-Local Prompt Tuning for Text-Video Retrieval

abstract: Text-video retrieval is a critical multi-modal task to find the most relevant video for a text query. Although pretrained models like CLIP have demonstrated impressive potential in this area, the rising cost of fully finetuning these models due to increasing model size continues to pose a problem. To address this challenge, prompt tuning has emerged as an alternative. However, existing works still face two problems when adapting pretrained image-text models to downstream video-text tasks: (1) The visual encoder could only encode frame-level features and failed to extract global-level general video information. (2) Equipping the visual and text encoder with separated prompts failed to mitigate the visual-text modality gap. To this end, we propose DGL, a cross-modal Dynamic prompt tuning method with Global-Local video attention. In contrast to previous prompt tuning methods, we employ the shared latent space to generate local-level text and frame prompts that encourage inter-modal interaction. Furthermore, we propose modeling video in a global-local attention mechanism to capture global video information from the perspective of prompt tuning. Extensive experiments reveal that when only 0.67% parameters are tuned, our cross-modal prompt tuning strategy DGL outperforms or is comparable to fully finetuning methods on MSR-VTT, VATEX, LSMDC, and ActivityNet datasets. Code will be available at https://github.com/knightyxp/DGL


title: Rethinking the Soft Conflict Pseudo Boolean Constraint on MaxSAT Local Search Solvers

abstract: MaxSAT is an optimization version of the famous NP-complete Satisfiability problem (SAT). Algorithms for MaxSAT mainly include complete solvers and local search incomplete solvers. In many complete solvers, once a better solution is found, a Soft conflict Pseudo Boolean (SPB) constraint will be generated to enforce the algorithm to find better solutions. In many local search algorithms, clause weighting is a key technique for effectively guiding the search directions. In this paper, we propose to transfer the SPB constraint into the clause weighting system of the local search method, leading the algorithm to better solutions. We further propose an adaptive clause weighting strategy that breaks the tradition of using constant values to adjust clause weights. Based on the above methods, we propose a new local search algorithm called SPB-MaxSAT that provides new perspectives for clause weighting on MaxSAT local search solvers. Extensive experiments demonstrate the excellent performance of the proposed methods.


title: Adversarially Robust Signed Graph Contrastive Learning from Balance Augmentation

abstract: Signed graphs consist of edges and signs, which can be separated into structural information and balance-related information, respectively. Existing signed graph neural networks (SGNNs) typically rely on balance-related information to generate embeddings. Nevertheless, the emergence of recent adversarial attacks has had a detrimental impact on the balance-related information. Similar to how structure learning can restore unsigned graphs, balance learning can be applied to signed graphs by improving the balance degree of the poisoned graph. However, this approach encounters the challenge "Irreversibility of Balance-related Information" - while the balance degree improves, the restored edges may not be the ones originally affected by attacks, resulting in poor defense effectiveness. To address this challenge, we propose a robust SGNN framework called Balance Augmented-Signed Graph Contrastive Learning (BA-SGCL), which combines Graph Contrastive Learning principles with balance augmentation techniques. Experimental results demonstrate that BA-SGCL not only enhances robustness against existing adversarial attacks but also achieves superior performance on link sign prediction task across various datasets.


title: Area and Power Efficient FFT/IFFT Processor for FALCON Post-Quantum Cryptography

abstract: Quantum computing is an emerging technology on the verge of reshaping industries, while simultaneously challenging existing cryptographic algorithms. FALCON, a recent standard quantum-resistant digital signature, presents a challenging hardware implementation due to its extensive non-integer polynomial operations, necessitating FFT over the ring $\mathbb{Q}[x]/(x^n+1)$. This paper introduces an ultra-low power and compact processor tailored for FFT/IFFT operations over the ring, specifically optimized for FALCON applications on resource-constrained edge devices. The proposed processor incorporates various optimization techniques, including twiddle factor compression and conflict-free scheduling. In an ASIC implementation using a 22 nm GF process, the proposed processor demonstrates an area occupancy of 0.15 mm$^2$ and a power consumption of 12.6 mW at an operating frequency of 167 MHz. Since a hardware implementation of FFT/IFFT over the ring is currently non-existent, the execution time achieved by this processor is compared to the software implementation of FFT/IFFT of FALCON on a Raspberry Pi 4 with Cortex-A72, where the proposed processor achieves a speedup of up to 2.3$\times$. Furthermore, in comparison to dedicated state-of-the-art hardware accelerators for classic FFT, this processor occupies 42\% less area and consumes 83\% less power, on average. This suggests that the proposed hardware design offers a promising solution for implementing FALCON on resource-constrained devices.


title: Bayesian sample size determination using robust commensurate priors with interpretable discrepancy weights

abstract: Randomized controlled clinical trials provide the gold standard for evidence generation in relation to the efficacy of a new treatment in medical research. Relevant information from previous studies may be desirable to incorporate in the design and analysis of a new trial, with the Bayesian paradigm providing a coherent framework to formally incorporate prior knowledge. Many established methods involve the use of a discounting factor, sometimes related to a measure of `similarity' between historical and the new trials. However, it is often the case that the sample size is highly nonlinear in those discounting factors. This hinders communication with subject-matter experts to elicit sensible values for borrowing strength at the trial design stage. Focusing on a commensurate predictive prior method that can incorporate historical data from multiple sources, we highlight a particular issue of nonmonotonicity and explain why this causes issues with interpretability of the discounting factors (hereafter referred to as `weights'). We propose a solution for this, from which an analytical sample size formula is derived. We then propose a linearization technique such that the sample size changes uniformly over the weights. Our approach leads to interpretable weights that represent the probability that historical data are (ir)relevant to the new trial, and could therefore facilitate easier elicitation of expert opinion on their values. Keywords: Bayesian sample size determination; Commensurate priors; Historical borrowing; Prior aggregation; Uniform shrinkage.


title: Towards predicting shear-banding instabilities in lipid monolayers

abstract: Langmuir monolayers are advantageous systems used to investigate how lipid membranes get involved in the physiology of many living structures, such as collapse phenomena in alveolar structures. Much work focuses on characterizing the pressure-bearing capacity of Langmuir films, expressed in the form of isotherm curves. These show that monolayers experience different phases during compression with an according evolution of their mechanical response, incurring into instability events when a critical stress threshold is overcome. Although well-known state equations, which establish an inverse relationship between surface pressure and area change, are able to describe monolayer behavior during liquid expanded phase, the modelling of their nonlinear behavior in the subsequent condensed region is still an open issue. In this regard, efforts are addressed to explain out-of-plane collapse by modeling buckling and wrinkling mainly resorting to linearly elastic plate theory. However, some experiments on Langmuir monolayers also show in-plane instability phenomena leading to the formation of the so-called shear bands and, to date, no theoretical description of the onset of shear banding bifurcation in monolayers has been yet provided. For this reason, by adopting a macroscopic description, we here study material stability of the monolayers and exploit an incremental approach to find the conditions that kindle shear bands. By starting from the widely assumed hypothesis that monolayers behave elastically in the solid-like region, a hyperfoam hyperelastic potential is introduced as a new constitutive strategy to trace back the nonlinear response of monolayer response during densification. In this way, the obtained mechanical properties together with the adopted strain energy are successfully employed to reproduce the onset of shear banding exhibited by some lipid systems under different conditions.


title: Modelling and dynamics of pendulum systems subjected to a nonstationary magnetic field

abstract: The prepared doctoral dissertation focuses on studying dynamics of systems composed of magnetic pendulums subjected to a non-stationary magnetic field. A magnetic pendulum is a physical pendulum with a magnet attached to its end and is placed in an external magnetic field. The non-stationary external magnetic field is generated by an electric coil placed under the pendulum and powered by a time-varying current signal. The presented research mainly concerns the oscillations in one potential well of a single magnetic pendulum, as well as the control of the energy flow between two torsionally coupled magnetic pendulums.


title: Earthquake dynamics constrained from laboratory experiments: new insights from granular materials

abstract: The traction evolution is a fundamental ingredient to model the dynamics of an earthquake rupture which ultimately controls, during the coseismic phase, the energy release, the stress redistribution and the consequent excitation of seismic waves. In the present paper we explore the use of the friction behavior derived from laboratory shear experiments performed on granular materials at low normal stress. We find that the rheological properties emerging from these laboratory experiments can not be described in terms of preexisting governing models already presented in literature; our results indicate that neither rate-and state-dependent friction laws nor nonlinear slip-dependent models, commonly adopted for modeling earthquake ruptures, are able to capture all the features of the experimental data. Then, by exploiting a novel numerical approach, we directly incorporate the laboratory data into a code to simulate the fully dynamic propagation of a 3-D slip failure. We demonstrate that the rheology of the granular material, imposed as fault boundary condition, is dynamically consistent. Indeed, it is able to reproduce the basic features of a crustal earthquake, spontaneously accelerating up to some terminal rupture speed, both sub- and supershear.


title: Intensive gamma-ray light sources based on oriented single crystals

abstract: The feasibility of gamma-ray light sources based on the channeling phenomenon of ultra-relativistic electrons and positrons in oriented single crystals is demonstrated by means of rigorous numerical modeling. Case studies presented refer to 10 GeV $e^{-}/e^{+}$ beams incident on $10^{-1}-10^0$ mm thick diamond and silicon crystals. It is shown that for moderate values of the beam average current ($\lesssim 1$ mA) the average photon flux in the energy range $10^1-10^2$ MeV emitted within the $10^1-10^2$ $\mu$rad cone and 1 \% bandwidth can be on the level of $10^{12}$ photon/s for electrons and $10^{14}$ photon/s for positrons. These values are higher than the fluxes available at modern laser-Compton gamma ray light sources.


title: Stability of traveling waves for doubly nonlinear equations

abstract: In this note, we investigate a doubly nonlinear diffusion equation in the slow diffusion regime. We prove stability of the pressure of solutions that are close to traveling wave solutions in a homogeneous Lipschitz sense. We derive regularity estimates for arbitrary derivatives of the solution's pressure by extending existing results for the porous medium equation (Ref. 15).


title: Active Axial Motion Compensation in Multiphoton-Excited Fluorescence Microscopy

abstract: In living organisms, the natural motion caused by the heartbeat, breathing, or muscle movements leads to the deformation of tissue caused by translation and stretching of the tissue structure. This effect results in the displacement or deformation of the plane of observation for intravital microscopy and causes motion-induced aberrations of the resulting image data. This, in turn, places severe limitations on the time during which specific events can be observed in intravital imaging experiments. These limitations can be overcome if the tissue motion can be compensated such that the plane of observation remains steady. We have developed a mathematical shape space model that can predict the periodic motion of a cylindrical tissue phantom resembling blood vessels. This model is then used to rapidly calculate the future position of the plane of observation of a confocal multiphoton fluorescence microscope. The focal plane is continuously adjusted to the calculated position with a piezo-actuated objective lens holder. We demonstrate active motion compensation for non-harmonic axial displacements of the vessel phantom with a field of view up to 400 $\mu$m $\times$ 400 $\mu$m, vertical amplitudes of more than 100 $\mu$m, and at a rate of 0.5 Hz.