title: Evidence for Conical Magnetic Structure in M-type BaFe12O19 Hexaferrite: A Combined Single-Crystal XMCD and Neutron Diffraction Study

abstract: The magnetic ground state of BaFe12O19 (BFO) was investigated using X-ray absorption at 1.2 K and 1.5 K, respectively. The XMCD measurements on single-crystals of BFO in grazing incidence geometry reveal the canting of the spins away from the c-axis of the hexagonal unit cell. Single-crystal neutron diffraction studies reveal magnetic satellite peaks along the 00l reciprocal lattice row around the forbidden l = 2n +/- 1 positions confirming conical-type magnetic structure in the ground state of BFO. The observation of the conical magnetic structure of BFO opens the possibility of type-II multiferroicity in undoped BFO also.


title: Unveiling and Vanquishing Goroutine Leaks in Enterprise Microservices: A Dynamic Analysis Approach

abstract: Go is a modern programming language gaining popularity in enterprise microservice systems. Concurrency is a first-class citizen in Go with lightweight ``goroutines'' as the building blocks of concurrent execution. Go advocates message-passing to communicate and synchronize among goroutines. Improper use of message passing in Go can result in ``partial deadlocks'' , a subtle concurrency bug where a blocked sender (receiver) never finds a corresponding receiver (sender), causing the blocked goroutine to leak memory, via its call stack and objects reachable from the stack. In this paper, we systematically study the prevalence of message passing and the resulting partial deadlocks in 75 million lines of Uber's Go monorepo hosting over 2500 microservices. We develop two lightweight, dynamic analysis tools: Goleak and LeakProf, designed to identify partial deadlocks. Goleak detects partial deadlocks during unit testing and prevents the introduction of new bugs. Conversely, LeakProf uses goroutine profiles obtained from services deployed in production to pinpoint intricate bugs arising from complex control flow, unexplored interleavings, or the absence of test coverage. We share our experience and insights deploying these tools in developer workflows in a large industrial setting. Using Goleak we unearthed 857 pre-existing goroutine leaks in the legacy code and prevented the introduction of around 260 new leaks over one year period. Using LeakProf we found 24 and fixed 21 goroutine leaks, which resulted in up to 34% speedup and 9.2x memory reduction in some of our production services.


title: Modelling and characterization of fine Particulate Matter dynamics in Bujumbura using low cost sensors

abstract: Air pollution is a result of multiple sources including both natural and anthropogenic activities. The rapid urbanization of the cities such as Bujumbura economic capital of Burundi, is one of these factors. The very first characterization of the spatio-temporal variability of PM2.5 in Bujumbura and the forecasting of PM2.5 concentration have been conducted in this paper using data collected during a year, from august 2022 to august 2023, by low cost sensors installed in Bujumbura city. For each commune, an hourly, daily and seasonal analysis were carried out and the results showed that the mass concentrations of PM2.5 in the three municipalities differ from one commune to another. The average hourly and annual PM2.5 concentrations exceed the World Health Organization standards. The range is between 28.3 and 35.0 microgram/m3 . In order to make prediction of PM2.5 concentration, an investigation of RNN with Long Short Term Memory (LSTM) has been undertaken.


title: Stripping triangle loops: Discussion of $D_s^+\to \rho^+\eta\to \pi^+\pi^0\eta$ in $a_0(980)$ production

abstract: We address a general problem in the evaluation of triangle loops stemming from the consideration of the range of the interaction involved in some of the vertices, as well as the energy dependence of the width of some unstable particles in the loop. We find sizeable corrections from both effects. We apply that to a loop relevant to the $D_s^+ \to \pi^+ \pi^0 \eta $ decay, and find reductions of about a factor of $4$ in the mass distribution of invariant mass of the $\pi \eta$ in the region of the $a_0(980)$. The method used is based on the explicit analytical evaluation of the $q^0$ integration in the $d^4q$ loop integration, using Cauchy's residues method, which at the same time offers an insight on the convergence of the integrals and the effect of form factors and cutoffs.


title: Quasiperiodic gallium adlayer on i-Al-Pd-Mn

abstract: Using scanning tunneling microscopy (STM), low energy electron diffraction (LEED), and density functional theory (DFT), we demonstrate the formation of quasicrystalline gallium adlayer on icosahedral ($i$)-Al-Pd-Mn. Quasiperiodic motifs are evident in the STM topography images, including the Ga white flower (GaWF) and $\tau$ inflated GaWF ($\tau$-GaWF), where $\tau$ is the golden mean. A larger and more complicated ring motif is also identified, comprised of a bright center and an outer ring of pentagons. The fast Fourier transform of the STM images exhibits distinct quasiperiodic spots, thereby establishing quasiperiodicity on a length scale of $\sim$350 nm. Based on our DFT calculations, the preferred adsorption sites of Ga on i-Al-Pd-Mn are determined to be either the Mn atoms at the center of the Penrose P1 tile or the vertices of the P1 tile containing Pd atoms at the center of a cluster of 5 Al atoms (5-Al). The GaWF motif is modeled by an inner 6 atom Ga cluster (6-Ga) around the central Mn atom and an outer ring of 5 Ga atoms adsorbed at the centers of the 5-Al clusters, both having pentagonal symmetry. The $\tau$-GaWF motif is modeled by the 6-Ga arranged on the $\tau$-P1 tiling, while the ring motif is modeled by Ga atoms adsorbed at the center of 5-Al clusters above a Pd atom. The side lengths and diameters of the GaWF, $\tau$-GaWF, and the ring motifs are $\tau$ scaled and show excellent agreement with the DFT-based models. An additional indication of the quasiperiodic characteristics of the Ga monolayer is the 5-fold LEED patterns that were detected throughout the entire range of beam energy that was measured.


title: Can ChatGPT be Your Personal Medical Assistant?

abstract: The advanced large language model (LLM) ChatGPT has shown its potential in different domains and remains unbeaten due to its characteristics compared to other LLMs. This study aims to evaluate the potential of using a fine-tuned ChatGPT model as a personal medical assistant in the Arabic language. To do so, this study uses publicly available online questions and answering datasets in Arabic language. There are almost 430K questions and answers for 20 disease-specific categories. GPT-3.5-turbo model was fine-tuned with a portion of this dataset. The performance of this fine-tuned model was evaluated through automated and human evaluation. The automated evaluations include perplexity, coherence, similarity, and token count. Native Arabic speakers with medical knowledge evaluated the generated text by calculating relevance, accuracy, precision, logic, and originality. The overall result shows that ChatGPT has a bright future in medical assistance.


title: n-valued quandles and associated bialgebras

abstract: The principal aim of this article is to introduce and study n-valued quandles and n-corack bialgebras. We elaborate the basic methods of this theory, reproduce the coset construction known in the theory of n-valued groups. We also consider a construction of n-valued quandles using n-multi-quandles. In contrast to the case of n-valued groups this construction turns out to be quite rich in algebraic and topological applications. An important part of the work is the study of the properties of n-corack bialgebras those role is analogous to the group bialgebra.


title: How to develop, externally validate, and update multinomial prediction models

abstract: Multinomial prediction models (MPMs) have a range of potential applications across healthcare where the primary outcome of interest has multiple nominal or ordinal categories. However, the application of MPMs is scarce, which may be due to the added methodological complexities that they bring. This article provides a guide of how to develop, externally validate, and update MPMs. Using a previously developed and validated MPM for treatment outcomes in rheumatoid arthritis as an example, we outline guidance and recommendations for producing a clinical prediction model using multinomial logistic regression. This article is intended to supplement existing general guidance on prediction model research. This guide is split into three parts: 1) Outcome definition and variable selection, 2) Model development, and 3) Model evaluation (including performance assessment, internal and external validation, and model recalibration). We outline how to evaluate and interpret the predictive performance of MPMs. R code is provided. We recommend the application of MPMs in clinical settings where the prediction of a nominal polytomous outcome is of interest. Future methodological research could focus on MPM-specific considerations for variable selection and sample size criteria for external validation.


title: Active Preference Inference using Language Models and Probabilistic Reasoning

abstract: Actively inferring user preferences, for example by asking good questions, is important for any human-facing decision-making system. Active inference allows such systems to adapt and personalize themselves to nuanced individual preferences. To enable this ability for instruction-tuned large language models (LLMs), one may prompt them to ask users questions to infer their preferences, transforming the language models into more robust, interactive systems. However, out of the box, these models are not efficient at extracting preferences: the questions they generate are not informative, requiring a high number of user interactions and impeding the usability of the downstream system. In this work, we introduce an inference-time algorithm that helps LLMs quickly infer preferences by using more informative questions. Our algorithm uses a probabilistic model whose conditional distributions are defined by prompting an LLM, and returns questions that optimize expected entropy and expected model change. Results in a simplified interactive web shopping setting with real product items show that an LLM equipped with our entropy reduction algorithm outperforms baselines with the same underlying LLM on task performance while using fewer user interactions.


title: Outlier detection using flexible categorisation and interrogative agendas

abstract: Categorization is one of the basic tasks in machine learning and data analysis. Building on formal concept analysis (FCA), the starting point of the present work is that different ways to categorize a given set of objects exist, which depend on the choice of the sets of features used to classify them, and different such sets of features may yield better or worse categorizations, relative to the task at hand. In their turn, the (a priori) choice of a particular set of features over another might be subjective and express a certain epistemic stance (e.g. interests, relevance, preferences) of an agent or a group of agents, namely, their interrogative agenda. In the present paper, we represent interrogative agendas as sets of features, and explore and compare different ways to categorize objects w.r.t. different sets of features (agendas). We first develop a simple unsupervised FCA-based algorithm for outlier detection which uses categorizations arising from different agendas. We then present a supervised meta-learning algorithm to learn suitable (fuzzy) agendas for categorization as sets of features with different weights or masses. We combine this meta-learning algorithm with the unsupervised outlier detection algorithm to obtain a supervised outlier detection algorithm. We show that these algorithms perform at par with commonly used algorithms for outlier detection on commonly used datasets in outlier detection. These algorithms provide both local and global explanations of their results.


title: Arithmetic properties modulo powers of 2 for overpartition k-tuples with odd parts

abstract: Recently, Drema and Saikia (2023) proved several congruences modulo powers of 2 and 3 for overpartition triples with odd parts. We extend their list substantially. We prove several congruences modulo powers of 2 for overpartition k-tuples with odd parts, along with a few infinite families of congruences for overpartition triples with odd parts and for overpartition k-tuples with odd parts (for k = 4 and for odd k).


title: Efficient and Private Federated Trajectory Matching

abstract: Federated Trajectory Matching (FTM) is gaining increasing importance in big trajectory data analytics, supporting diverse applications such as public health, law enforcement, and emergency response. FTM retrieves trajectories that match with a query trajectory from a large-scale trajectory database, while safeguarding the privacy of trajectories in both the query and the database. A naive solution to FTM is to process the query through Secure Multi-Party Computation (SMC) across the entire database, which is inherently secure yet inevitably slow due to the massive secure operations. A promising acceleration strategy is to filter irrelevant trajectories from the database based on the query, thus reducing the SMC operations. However, a key challenge is how to publish the query in a way that both preserves privacy and enables efficient trajectory filtering. In this paper, we design GIST, a novel framework for efficient Federated Trajectory Matching. GIST is grounded in Geo-Indistinguishability, a privacy criterion dedicated to locations. It employs a new privacy mechanism for the query that facilitates efficient trajectory filtering. We theoretically prove the privacy guarantee of the mechanism and the accuracy of the filtering strategy of GIST. Extensive evaluations on five real datasets show that GIST is significantly faster and incurs up to 3 orders of magnitude lower communication cost than the state-of-the-arts.


title: A final value problem with a non-local and a source term: regularization by truncation

abstract: This paper is concerned with recovering the solution of a final value problem associated with a parabolic equation involving a non linear source and a non-local term, which to the best of our knowledge has not been studied earlier. It is shown that the considered problem is ill-posed, and thus, some regularization method has to be employed in order to obtain stable approximations. In this regard, we obtain regularized approximations by solving some non linear integral equations which is derived by considering a truncated version of the Fourier expansion of the sought solution. Under different Gevrey smoothness assumptions on the exact solution, we provide parameter choice strategies and obtain the error estimates. A key tool in deriving such estimates is a version of Gr{\"o}nwalls' inequality for iterated integrals, which perhaps, is proposed and analysed for the first time.


title: Students' and Professionals' Perceived Creativity In Software Engineering: A Comparative Study

abstract: Creativity is a critical skill that professional software engineers leverage to tackle difficult problems. In higher education, multiple efforts have been made to spark creative skills of engineering students. However, creativity is a vague concept that is open to interpretation. Furthermore, studies have shown that there is a gap in perception and implementation of creativity between industry and academia. To better understand the role of creativity in software engineering (SE), we interviewed 33 professionals via four focus groups and 10 SE students. Our results reveal 45 underlying topics related to creativity. When comparing the perception of students versus professionals, we discovered fundamental differences, grouped into five themes: the creative environment, application of techniques, creative collaboration, nature vs nurture, and the perceived value of creativity. As our aim is to use these findings to install and further encourage creative problem solving in higher education, we have included a list of implications for educational practice.


title: ASASSN-18ap: A Dusty Tidal Disruption Event Candidate with an Early Bump in the Light Curve

abstract: We re-examined the classification of the optical transient ASASSN-18ap, which was initially identified as a supernova (SNe) upon its discovery. Based on newly emerged phenomena, such as a delayed luminous infrared outburst and the emergence of luminous coronal emission lines, we suggest that ASASSN-18ap is more likely a tidal disruption event (TDE) in a dusty environment, rather than a supernova. The total energy in the infrared outburst is $\rm 3.1\times10^{51}$ erg, which is an order of magnitude higher than the total energy in the optical-to-ultraviolet range, indicating a large dust extinction, an extra-EUV component, or anisotropic continuum emission. A bumpy feature appeared in the optical light curve at the start of brightening, which was reported in a couple of TDEs very recently. This early bump may have been overlooked in the past due to the lack of sufficient sampling of the light curves of most TDEs during their ascending phase, and it could provide insight into the origin of optical emission.


title: Potentials of ChatGPT for Annotating Vaccine Related Tweets

abstract: This study evaluates ChatGPT's performance in annotating vaccine-related Arabic tweets by comparing its annotations with human annotations. A dataset of 2,100 tweets representing various factors contributing to vaccine hesitancy was examined. Two domain experts annotated the data, with a third resolving conflicts. ChatGPT was then employed to annotate the same dataset using specific prompts for each factor. The ChatGPT annotations were evaluated through zero-shot, one-shot, and few-shot learning tests, with an average accuracy of 82.14%, 83.85%, and 85.57%, respectively. Precision averaged around 86%, minimizing false positives. The average recall and F1-score ranged from 0.74 to 0.80 and 0.65 to 0.93, respectively. AUC for zero-shot, one-shot, and few-shot learning was 0.79, 0.80, and 0.83. In cases of ambiguity, both human annotators and ChatGPT faced challenges. These findings suggest that ChatGPT holds promise as a tool for annotating vaccine-related tweets.


title: Random exchange dynamics with bounds: H-theorem and negative temperature

abstract: Random exchange kinetic models are widely employed to describe the conservative dynamics of large interacting systems. Due to their simplicity and generality, they are quite popular in several fields, from statistical mechanics to biophysics and economics. Here we study a version where bounds on the individual shares of the globally conserved quantity are introduced. We analytically show that this dynamics allows stationary states with population inversion, described by Boltzmann statistics at negative absolute temperature. Their genuine equilibrium nature is verified by checking the detailed balance condition. An H-theorem is proven: the Boltzmann entropy monotonically increases during the dynamics. Finally, we provide analytical and numerical evidence that a large intruder in contact with the system thermalizes, suggesting a practical way to design a thermal bath at negative temperature. These results open new research perspectives, creating a bridge between negative temperature statistical descriptions and kinetic models with bounds.


title: Reaction-driven Diffusiophoresis of Liquid Condensates: Mechanisms for Intra-cellular Organization

abstract: The cellular environment, characterized by its intricate composition and spatial organization, hosts a variety of organelles, ranging from membrane-bound ones to membraneless structures that are formed through liquid-liquid phase separation. Cells show precise control over the position of such condensates. We demonstrate that organelle movement in external concentration gradients, diffusiophoresis, is distinct from the one of colloids because fluxes can remain finite inside the liquid-phase droplets and movement of the latter arises from incompressibility. Within cellular domains diffusiophoresis naturally arises from biochemical reactions that are driven by a chemical fuel and produce waste. Simulations and analytical arguments within a minimal model of reaction-driven phase separation reveal that the directed movement stems from two contributions: Fuel and waste are refilled or extracted locally, resulting in concentration gradients, which (i) induce product fluxes via incompressibility and (ii) result in an asymmetric forward reaction in the droplet's surroundings (as well as asymmetric backward reaction inside the droplet), thereby shifting the droplet's position. We show that the former contribution dominates and sets the direction of the movement, away from or towards fuel source and waste sink, depending on the product molecules' affinity towards fuel and waste, respectively. The mechanism thus provides a simple means to organize condensates with different composition. Particle-based simulations and systems with more complex reaction cycles corroborate the robustness and universality of this mechanism.


title: Separable algebras in multitensor C$^*$-categories are unitarizable

abstract: Recently, S. Carpi et al. (Comm. Math. Phys., 402:169-212, 2023) proved that every connected (i.e. haploid) Frobenius algebra in a tensor C$^*$-category is unitarizable (i.e. isomorphic to a special C$^*$-Frobenius algebra). Building on this result, we extend it to the non-connected case by showing that an algebra in a multitensor C$^*$-category is unitarizable if and only if it is separable.


title: Spatial Metric Space for Pattern Recognition Problems

abstract: The definition of weighted distance measure involves weights. The paper proposes a weighted distance measure without the help of weights. Here, weights are intrinsically added to the measure, and for this, the concept of metric space is generalized based on a novel divided difference operator. The proposed operator is used over a two-dimensional sequence of bounded variation, and it generalizes metric space with the introduction of a multivalued metric space called spatial metric space. The environment considered for the study is a two-dimensional Atanassov intuitionistic fuzzy set (AIFS) under the assumption that membership and non-membership components are its independent variables. The weighted distance measure is proposed as a spatial distance measure in the spatial metric space. The spatial distance measure consists of three branches. In the first branch, there is a domination of membership values, non-membership values dominate the second branch, and the third branch is equidominant. The domination of membership and non-membership values are not in the form of weights in the proposed spatial distance measure, and hence it is a measure independent of weights. The proposed spatial metric space is mathematically studied, and as an implication, the spatial similarity measure is multivalued in nature. The spatial similarity measure can recognize a maximum of three patterns simultaneously. The spatial similarity measure is tested for the pattern recognition problems and the obtained classification results are compared with some other existing similarity measures to show its potency. This study connects the double sequence to the application domain via a divided difference operator for the first time while proposing a novel divided difference operator-based spatial metric space.


title: Synergistic Anchored Contrastive Pre-training for Few-Shot Relation Extraction

abstract: Few-shot Relation Extraction (FSRE) aims to extract relational facts from a sparse set of labeled corpora. Recent studies have shown promising results in FSRE by employing Pre-trained Language Models (PLMs) within the framework of supervised contrastive learning, which considers both instances and label facts. However, how to effectively harness massive instance-label pairs to encompass the learned representation with semantic richness in this learning paradigm is not fully explored. To address this gap, we introduce a novel synergistic anchored contrastive pre-training framework. This framework is motivated by the insight that the diverse viewpoints conveyed through instance-label pairs capture incomplete yet complementary intrinsic textual semantics. Specifically, our framework involves a symmetrical contrastive objective that encompasses both sentence-anchored and label-anchored contrastive losses. By combining these two losses, the model establishes a robust and uniform representation space. This space effectively captures the reciprocal alignment of feature distributions among instances and relational facts, simultaneously enhancing the maximization of mutual information across diverse perspectives within the same relation. Experimental results demonstrate that our framework achieves significant performance enhancements compared to baseline models in downstream FSRE tasks. Furthermore, our approach exhibits superior adaptability to handle the challenges of domain shift and zero-shot relation extraction. Our code is available online at https://github.com/AONE-NLP/FSRE-SaCon.


title: LightGCNet: A Lightweight Geometric Constructive Neural Network for Data-Driven Soft sensors

abstract: Data-driven soft sensors provide a potentially cost-effective and more accurate modeling approach to measure difficult-to-measure indices in industrial processes compared to mechanistic approaches. Artificial intelligence (AI) techniques, such as deep learning, have become a popular soft sensors modeling approach in the area of machine learning and big data. However, soft sensors models based deep learning potentially lead to complex model structures and excessive training time. In addition, industrial processes often rely on distributed control systems (DCS) characterized by resource constraints. Herein, guided by spatial geometric, a lightweight geometric constructive neural network, namely LightGCNet, is proposed, which utilizes compact angle constraint to assign the hidden parameters from dynamic intervals. At the same time, a node pool strategy and spatial geometric relationships are used to visualize and optimize the process of assigning hidden parameters, enhancing interpretability. In addition, the universal approximation property of LightGCNet is proved by spatial geometric analysis. Two versions algorithmic implementations of LightGCNet are presented in this article. Simulation results concerning both benchmark datasets and the ore grinding process indicate remarkable merits of LightGCNet in terms of small network size, fast learning speed, and sound generalization.


title: Progressive Frequency-Aware Network for Laparoscopic Image Desmoking

abstract: Laparoscopic surgery offers minimally invasive procedures with better patient outcomes, but smoke presence challenges visibility and safety. Existing learning-based methods demand large datasets and high computational resources. We propose the Progressive Frequency-Aware Network (PFAN), a lightweight GAN framework for laparoscopic image desmoking, combining the strengths of CNN and Transformer for progressive information extraction in the frequency domain. PFAN features CNN-based Multi-scale Bottleneck-Inverting (MBI) Blocks for capturing local high-frequency information and Locally-Enhanced Axial Attention Transformers (LAT) for efficiently handling global low-frequency information. PFAN efficiently desmokes laparoscopic images even with limited training data. Our method outperforms state-of-the-art approaches in PSNR, SSIM, CIEDE2000, and visual quality on the Cholec80 dataset and retains only 629K parameters. Our code and models are made publicly available at: https://github.com/jlzcode/PFAN.


title: Calibration and surrogate model-based sensitivity analysis of crystal plasticity finite element models

abstract: Crystal plasticity models are a powerful tool for predicting the deformation behaviour of polycrystalline materials accounting for the underlying grain morphology and texture. These models typically have a large number of parameters, an understanding of which is required to effectively calibrate and apply the model. This study presents a structured framework for the global sensitivity analysis, using Sobol indices, of the effect of crystal plasticity parameters on model outputs. Due to the computational cost of evaluating the crystal plasticity model multiple times within a finite element framework, a Gaussian process regression surrogate model was constructed and used to conduct the sensitivity analysis. Influential parameters from the sensitivity analysis were carried forward for calibration using both a local Nelder-Mead and global differential evolution optimisation algorithm. The results show that the surrogate based global sensitivity analysis is able to efficiently identify influential crystal plasticity parameters and parameter combinations. With a reduced parameter set, both the Nelder-Mead algorithm with multiple runs and the differential evolution algorithm were able to find an optimal parameter set which gives a close calibration of a simulated tensile curve to experimental data. However, only the differential evolutionary algorithm was able to reliably find the global optimum due to the presence of local minima in the calibration objective function.


title: Control Aspects for Using RIS in Latency-Constrained Mobile Edge Computing

abstract: This paper investigates the role and the impact of control operations for dynamic mobile edge computing (MEC) empowered by Reconfigurable Intelligent Surfaces (RISs), in which multiple devices offload their computation tasks to an access point (AP) equipped with an edge server (ES), with the help of the RIS. While usually ignored, the control aspects related to channel estimation (CE), resource allocation (RA), and control signaling play a fundamental role in the user-perceived delay and energy consumption. In general, the higher the resources involved in the control operations, the higher their reliability; however, this introduces an overhead, which reduces the number of resources available for computation offloading, possibly increasing the overall latency experienced. Conversely, a lower control overhead translates to more resources available for computation offloading but impacts the CE accuracy and RA flexibility. This paper establishes a basic framework for integrating the impact of control operations in the performance evaluation of the RIS-aided MEC paradigm, clarifying their trade-offs through theoretical analysis and numerical simulations.


title: An Approximate Skolem Function Counter

abstract: One approach to probabilistic inference involves counting the number of models of a given Boolean formula. Here, we are interested in inferences involving higher-order objects, i.e., functions. We study the following task: Given a Boolean specification between a set of inputs and outputs, count the number of functions of inputs such that the specification is met. Such functions are called Skolem functions. We are motivated by the recent development of scalable approaches to Boolean function synthesis. This stands in relation to our problem analogously to the relationship between Boolean satisfiability and the model counting problem. Yet, counting Skolem functions poses considerable new challenges. From the complexity-theoretic standpoint, counting Skolem functions is not only #P-hard; it is quite unlikely to have an FPRAS (Fully Polynomial Randomized Approximation Scheme) as the problem of even synthesizing one Skolem function remains challenging, even given access to an NP oracle. The primary contribution of this work is the first algorithm, SkolemFC, that computes an estimate of the number of Skolem functions. SkolemFC relies on technical connections between counting functions and propositional model counting: our algorithm makes a linear number of calls to an approximate model counter and computes an estimate of the number of Skolem functions with theoretical guarantees. Moreover, we show that Skolem function count can be approximated through a polynomial number of calls to a SAT oracle. Our prototype displays impressive scalability, handling benchmarks comparably to state-of-the-art Skolem function synthesis engines, even though counting all such functions ostensibly poses a greater challenge than synthesizing a single function.


title: A continuous cold rubidium atomic beam with enhanced flux and tunable velocity

abstract: We present a cold atomic beam source based on a two-dimensional (2D)+ magneto-optical trap (MOT), capable of generating a continuous cold beam of 87Rb atoms with a flux up to 4.3*10^9 atoms/s, a mean velocity of 10.96(2.20) m/s, and a transverse temperature of 16.90(1.56) uK. Investigating the influence of high cooling laser intensity, we observe a significant population loss of atoms to hyperfine-level dark states. To account for this, we employ a multiple hyperfine level model to calculate the cooling efficiency associated with the population in dark states, subsequently modifying the scattering force. Simulations of beam flux at different cooling and repumping laser intensities using the modified scattering force are in agreement with experimental results. Optimizing repumping and cooling intensities enhances the flux by 50%. The influence of phase modulation on both the pushing and cooling lasers is experimentally studied, revealing that the mean velocity of cold atoms can be tuned from 9.5 m/s to 14.6 m/s with a phase-modulated pushing laser. The versatility of this continuous beam source, featuring high flux, controlled velocity, and narrow transverse temperature, renders it valuable for applications in atom interferometers and clocks, ultimately enhancing bandwidth, sensitivity, and signal contrast in these devices.


title: EyePreserve: Identity-Preserving Iris Synthesis

abstract: Synthesis of same-identity biometric iris images, both for existing and non-existing identities while preserving the identity across a wide range of pupil sizes, is complex due to intricate iris muscle constriction mechanism, requiring a precise model of iris non-linear texture deformations to be embedded into the synthesis pipeline. This paper presents the first method of fully data-driven, identity-preserving, pupil size-varying s ynthesis of iris images. This approach is capable of synthesizing images of irises with different pupil sizes representing non-existing identities as well as non-linearly deforming the texture of iris images of existing subjects given the segmentation mask of the target iris image. Iris recognition experiments suggest that the proposed deformation model not only preserves the identity when changing the pupil size but offers better similarity between same-identity iris samples with significant differences in pupil size, compared to state-of-the-art linear and non-linear (bio-mechanical-based) iris deformation models. Two immediate applications of the proposed approach are: (a) synthesis of, or enhancement of the existing biometric datasets for iris recognition, mimicking those acquired with iris sensors, and (b) helping forensic human experts in examining iris image pairs with significant differences in pupil dilation. Source codes and weights of the models are made available with the paper.


title: Glueballs from Dyson-Schwinger and Bethe-Salpeter equations

abstract: The quenched spectrum of glueballs with positive charge parity is calculated from two-body bound state equations. As input, a self-contained solution for the primitively divergent correlation functions from Dyson-Schwinger equations is used. It only has one parameter to be set which is the physical scale. An important feature of this setup is the consistent construction of the bound state kernels along the same lines as the equations from which the input was obtained. Keeping only the one-particle exchanges, already good agreement with lattice results is obtained. For the tensor glueball, we present first results including two-loop contributions, elevating its calculation to the same level of truncation as for the spin zero glueballs for which such calculations have been done previously.


title: Towards Accurate Guided Diffusion Sampling through Symplectic Adjoint Method

abstract: Training-free guided sampling in diffusion models leverages off-the-shelf pre-trained networks, such as an aesthetic evaluation model, to guide the generation process. Current training-free guided sampling algorithms obtain the guidance energy function based on a one-step estimate of the clean image. However, since the off-the-shelf pre-trained networks are trained on clean images, the one-step estimation procedure of the clean image may be inaccurate, especially in the early stages of the generation process in diffusion models. This causes the guidance in the early time steps to be inaccurate. To overcome this problem, we propose Symplectic Adjoint Guidance (SAG), which calculates the gradient guidance in two inner stages. Firstly, SAG estimates the clean image via $n$ function calls, where $n$ serves as a flexible hyperparameter that can be tailored to meet specific image quality requirements. Secondly, SAG uses the symplectic adjoint method to obtain the gradients accurately and efficiently in terms of the memory requirements. Extensive experiments demonstrate that SAG generates images with higher qualities compared to the baselines in both guided image and video generation tasks.


title: Towards a theta correspondence in families for type II dual pairs

abstract: Let $R$ be a commutative $\mathbb{Z}[1/p]$-algebra, let $m \leq n$ be positive integers, and let $G_n=\text{GL}_n(F)$ and $G_m=\text{GL}_m(F)$ where $F$ is a $p$-adic field. The Weil representation is the smooth $R[G_n\times G_m]$-module $C_c^{\infty}(\text{Mat}_{n\times m}(F),R)$ with the action induced by matrix multiplication. When $R=\mathbb{C}$ or is any algebraically closed field of banal characteristic compared to $G_n$ and $G_m$, the local theta correspondence holds by the work of Howe and M\'inguez. At the level of supercuspidal support, we interpret the theta correspondence as a morphism of varieties $\theta_R$, which we describe as an explicit closed immersion. For arbitrary $R$, we construct a canonical ring homomorphism $\theta^\#_{R} : \mathfrak{Z}_{R}(G_n)\to \mathfrak{Z}_{R}(G_m)$ that controls the action of the center $\mathfrak{Z}_{R}(G_n)$ of the category of smooth $R[G_n]$-modules on the Weil representation. We use the rank filtration of the Weil representation to first obtain $\theta_{\mathbb{Z}[1/p]}^\#$, then obtain $\theta^\#_R$ for arbitrary $R$ by proving $\mathfrak{Z}_R(G_n)$ is compatible with scalar extension. In particular, the map $\text{Spec}(\mathfrak{Z}_R(G_m))\to \text{Spec}(\mathfrak{Z}_R(G_n))$ induced by $\theta_R^\#$ recovers $\theta_R$ in the $R=\mathbb{C}$ case and in the banal case. We use gamma factors to prove $\theta_R^\#$ is surjective for any $R$. Finally, we describe $\theta^\#_R$ in terms of the moduli space of Langlands parameters and use this description to give an alternative proof of surjectivity in the tamely ramified case.


title: A note on the convergence of deterministic gradient sampling in nonsmooth optimization

abstract: Approximation of subdifferentials is one of the main tasks when computing descent directions for nonsmooth optimization problems. In this article, we propose a bisection method for weakly lower semismooth functions which is able to compute new subgradients that improve a given approximation in case a direction with insufficient descent was computed. Combined with a recently proposed deterministic gradient sampling approach, this yields a deterministic and provably convergent way to approximate subdifferentials for computing descent directions.


title: Emergence of a potential charge disproportionated insulating state in SrCrO$_{3}$

abstract: We use a combination of density functional theory (DFT) and dynamical mean-field theory (DMFT) to investigate the potential emergence of a charge-disproportionated insulating phase in SrCrO$_{3}$, whereby the Cr cations disproportionate according to $3\text{Cr}^{4+} \rightarrow 2\text{Cr}^{3+} + \text{Cr}^{6+}$ and arrange in ordered planes perpendicular to the cubic [111] direction. We show that the charge disproportionation couples to a structural distortion where the oxygen octahedra around the nominal Cr$^{6+}$ sites contract, while the octahedra surrounding the Cr$^{3+}$ sites expand and distort. Our results indicate that the charge-disproportionated phase can be stabilized for realistic values of the Hubbard $U$ and Hund's $J$ parameters, but this requires a scaling of the DFT+DMFT double counting correction by at least 35%. The disproportionated state can also be stabilized in DFT+U calculations for a specific magnetic configuration with antiparallel magnetic moments on adjacent Cr$^{3+}$ sites and no magnetic moment on the Cr$^{6+}$ sites. While this phase is higher in energy than other magnetic states that can arise in SrCrO$_{3}$, the presence of an energy minimum suggests that the charge disproportionated state represents a metastable state of SrCrO$_{3}$.


title: Boosting energy transfer between quantum devices through spectrum engineering in the dissipative ultrastrong coupling regime

abstract: The coherent energy transfer between two quantum devices (a quantum charger and a quantum battery) mediated by a photonic cavity is investigated, in presence of dissipative environments, with particular focus on the the ultrastrong coupling regime. Here, very short transfer times and high charging power can be achieved in comparison with the usually addressed weak coupling case. Such phenomenology is further magnified by the presence of level crossings appearing in the energy spectrum and which reveal very robust against dissipative environmental effects. Moreover, by carefully control the physical parameters of the model, e.g. the matter-radiation coupling and the frequencies of the system, it is possible to tune these crossings making this device more flexible and experimentally feasible. Finally to broaden our analysis, we assume the possibility of choosing between a Fock and a coherent initial state of the cavity, with the latter showing better energetic performances.


title: Embeddable partial Hadamard matrices related to the projective planes

abstract: The existence of a projective plane of order $p\equiv3\pmod{4}$, where $p$ is a prime power, is shown to be equivalent to the existence of a balancedly multi-splittable embeddable $p^2\times p(p+1)$ partial Hadamard matrix.


title: LHManip: A Dataset for Long-Horizon Language-Grounded Manipulation Tasks in Cluttered Tabletop Environments

abstract: Instructing a robot to complete an everyday task within our homes has been a long-standing challenge for robotics. While recent progress in language-conditioned imitation learning and offline reinforcement learning has demonstrated impressive performance across a wide range of tasks, they are typically limited to short-horizon tasks -- not reflective of those a home robot would be expected to complete. While existing architectures have the potential to learn these desired behaviours, the lack of the necessary long-horizon, multi-step datasets for real robotic systems poses a significant challenge. To this end, we present the Long-Horizon Manipulation (LHManip) dataset comprising 200 episodes, demonstrating 20 different manipulation tasks via real robot teleoperation. The tasks entail multiple sub-tasks, including grasping, pushing, stacking and throwing objects in highly cluttered environments. Each task is paired with a natural language instruction and multi-camera viewpoints for point-cloud or NeRF reconstruction. In total, the dataset comprises 176,278 observation-action pairs which form part of the Open X-Embodiment dataset. The full LHManip dataset is made publicly available at https://github.com/fedeceola/LHManip.


title: Founder-GPT: Self-play to evaluate the Founder-Idea fit

abstract: This research introduces an innovative evaluation method for the "founder-idea" fit in early-stage startups, utilizing advanced large language model techniques to assess founders' profiles against their startup ideas to enhance decision-making. Embeddings, self-play, tree-of-thought, and critique-based refinement techniques show early promising results that each idea's success patterns are unique and they should be evaluated based on the context of the founder's background.


title: Flow cross-overs under surface fluctuations in cylindrical nano-channel

abstract: We analyse surface-fluctuations-driven fluid flow through nano-channels to investigate the interplay between boundary layer flow structures and the bulk flow of fluid under a pressure-head. Surface fluctuations of a wide range of frequencies (up to several thousands of Hertz) in a nano-channel keep the flow in the low Reynolds number regime. Using this advantage of low Reynolds number flow, we develop a perturbation analysis of the fluid flow that clearly distinguishes the bulk flow under a pressure head around the axis of a nano-tube from its surface flow structure induced by fluctuations. In terms of particle transport under such flow conditions, there exists the opportunity to drag particles near the periphery of the nano-tube in a direction opposite to the bulk flow near the axis. This can potentially find applications in the separation, trapping, and filtration of particles under surface-driven flow through nano-tubes under widely varying conditions.


title: Dynamically selected steady states and criticality in non-reciprocal networks

abstract: Diverse equilibrium systems with heterogeneous interactions lie at the edge of stability. Such marginally stable states are dynamically selected as the most abundant ones or as those with the largest basins of attraction. On the other hand, systems with non-reciprocal (or asymmetric) interactions are inherently out of equilibrium, and exhibit a rich variety of steady states, including fixed points, limit cycles and chaotic trajectories. How are steady states dynamically selected away from equilibrium? We address this question in a simple neural network model, with a tunable level of non-reciprocity. Our study reveals different types of ordered phases and it shows how non-equilibrium steady states are selected in each phase. In the spin-glass region, the system exhibits marginally stable behaviour for reciprocal (or symmetric) interactions and it smoothly transitions to chaotic dynamics, as the non-reciprocity (or asymmetry) in the couplings increases. Such region, on the other hand, shrinks and eventually disappears when couplings become anti-symmetric. Our results are relevant to advance the knowledge of disordered systems beyond the paradigm of reciprocal couplings, and to develop an interface between statistical physics of equilibrium spin-glasses and dynamical systems theory.


title: Transitive Nonlocal Games

abstract: We study a class of nonlocal games, called transitive games, for which the set of perfect strategies forms a semigroup. We establish several interesting correspondences of bisynchronous transitive games with the theory of compact quantum groups. In particular, we associate a quantum permutation group with each bisynchronous transitive game and vice versa. We prove that the existence of a C*-strategy, the existence of a quantum commuting strategy, and the existence of a classical strategy are all equivalent for bisynchronous transitive games. We then use some of these correspondences to establish necessary and sufficient conditions for some classes of correlations, that arise as perfect strategies of transitive games, to be nonlocal.


title: Investigation of two-photon electron capture by H-like uranium

abstract: We present a study of two-photon electron capture by H-like uranium ions. The energy of the incident electron was chosen to be in the region with the most significant contribution of the dielectric recombination. We studied the photon emission spectrum, including the main resonance groups corresponding to the cascade transition, and the low-energy photon region, where the infrared divergence required special processing. The calculations were performed within the framework of QED theory. The importance of generalized Breit interaction was discussed. We investigated the roles of the dielectric recombination and the radiative recombination. We introduced and investigated the resonance approximation and the single-photon approximation, which are commonly used to describe radiation spectra.


title: Pose2Gaze: Eye-body Coordination during Daily Activities for Gaze Prediction from Full-body Poses

abstract: Human eye gaze plays a significant role in many virtual and augmented reality (VR/AR) applications, such as gaze-contingent rendering, gaze-based interaction, or eye-based activity recognition. However, prior works on gaze analysis and prediction have only explored eye-head coordination and were limited to human-object interactions. We first report a comprehensive analysis of eye-body coordination in various human-object and human-human interaction activities based on four public datasets collected in real-world (MoGaze), VR (ADT), as well as AR (GIMO and EgoBody) environments. We show that in human-object interactions, e.g. pick and place, eye gaze exhibits strong correlations with full-body motion while in human-human interactions, e.g. chat and teach, a person's gaze direction is correlated with the body orientation towards the interaction partner. Informed by these analyses we then present Pose2Gaze, a novel eye-body coordination model that uses a convolutional neural network and a spatio-temporal graph convolutional neural network to extract features from head direction and full-body poses, respectively, and then uses a convolutional neural network to predict eye gaze. We compare our method with state-of-the-art methods that predict eye gaze only from head movements and show that Pose2Gaze outperforms these baselines with an average improvement of 24.0% on MoGaze, 10.1% on ADT, 21.3% on GIMO, and 28.6% on EgoBody in mean angular error, respectively. We also show that our method significantly outperforms prior methods in the sample downstream task of eye-based activity recognition. These results underline the significant information content available in eye-body coordination during daily activities and open up a new direction for gaze prediction.


title: Rational approximations to values of $E$-functions

abstract: We solve a long standing problem in the theory of Siegel's $E$-functions, initiated by Lang for Bessel's function $J_0$ in the 60's and considered in full generality by G. Chudnovsky in the 80's: we prove that irrational values taken at rational points by $E$-functions with rational Taylor coefficients have irrationality exponent equal to 2. This result had been obtained before by Zudilin under stronger assumptions on algebraic independence of $E$-functions, satisfied by $J_0$ but not by all hypergeometric $E$-functions for instance.


title: XLand-MiniGrid: Scalable Meta-Reinforcement Learning Environments in JAX

abstract: Inspired by the diversity and depth of XLand and the simplicity and minimalism of MiniGrid, we present XLand-MiniGrid, a suite of tools and grid-world environments for meta-reinforcement learning research. Written in JAX, XLand-MiniGrid is designed to be highly scalable and can potentially run on GPU or TPU accelerators, democratizing large-scale experimentation with limited resources. Along with the environments, XLand-MiniGrid provides pre-sampled benchmarks with millions of unique tasks of varying difficulty and easy-to-use baselines that allow users to quickly start training adaptive agents. In addition, we have conducted a preliminary analysis of scaling and generalization, showing that our baselines are capable of reaching millions of steps per second during training and validating that the proposed benchmarks are challenging.


title: Plane Wave Discontinuous Galerkin methods for scattering by periodic structures

abstract: This thesis explores the application of Plane Wave Discontinuous Galerkin (PWDG) methods for the numerical simulation of electromagnetic scattering by periodic structures. Periodic structures play a pivotal role in various engineering and scientific applications, including antenna design, metamaterial characterization, and photonic crystal analysis. Understanding and accurately predicting the scattering behavior of electromagnetic waves from such structures is crucial in optimizing their performance and advancing technological advancements. The thesis commences with an overview of the theoretical foundations of electromagnetic scattering by periodic structures. This theoretical dissertation serves as the basis for formulating the PWDG method within the context of wave equation. The DtN operator is presented and it is used to derive a suitable boundary condition. The numerical implementation of PWDG methods is discussed in detail, emphasizing key aspects such as basis function selection and boundary conditions. The algorithm's efficiency is assessed through numerical experiments. We then present the DtN-PWDG method, which is discussed in detail and is used to derive numerical solutions of the scattering problem. A comparison with the finite element method (FEM) is presented. In conclusion, this thesis demonstrates that PWDG methods are a powerful tool for simulating electromagnetic scattering by periodic structures.


title: Pulsation modelling of the Cepheid Y Ophiuchi with RSP/MESA. Impact of the circumstellar envelope and a high projection factor on Baade-Wesselink method

abstract: Y~Ophiuchi (Y~Oph) is a classical Cepheid reported to be as dim as a Cepheid of about half its pulsation period, and exhibits a low radial velocity and light-curves amplitude. Our objective is to conduct hydrodynamical pulsation modeling of Y~Oph to derive its distance and provide physical insight to its low amplitude and luminosity, constrained by an extensive set of observations. We first perform a linear analysis on a grid of models using hydrodynamical pulsation code \texttt{MESA-RSP} in order to find the combinations of mass, metallicity, effective temperature and luminosity resulting in linear excitation of pulsations with period of about 17$\,$days. Then, for the best combinations of stellar parameters, we perform non-linear computations to obtain the full-amplitude pulsations of these models. Last, we compare the results to a complete set of observations along the pulsation cycle. We adjust simultaneously the distance, the color excess and circumstellar envelope (CSE) model to fit the light curves and the angular diameter. We find that all pulsation models at high effective temperature are in remarkable agreement with the observations along the pulsation cycle. This result suggests that the low amplitude of Y~Oph can be explained by its location close to the blue edge of the instability strip. We also find that a pulsational mass of about 7-8$\,\mathrm{M}_\odot$ is consistent with a non-canonical evolutionary model with moderate overshooting, PL relation and \textit{Gaia} parallax. However, a much lower mass below 5$\,$M$_\odot$ is required to match Baade-Wesselink (BW) distance measurements from the literature. We show that the combination of the impact of the CSE on the photometry together with a projection factor of about 1.5 explains the discrepant distance and luminosity values obtained from BW methods.


title: Jordan Algebraic Formulation of Quantum Mechanics and The Non-commutative Landau Problem

abstract: We present a Jordan algebraic formulation of the non-commutative Landau problem coupled to a harmonic potential. To achieve this, an alternative formulation of the Hilbert space version of quantum mechanics is presented. Using this construction, the Hilbert space corresponding to the non-commutative Landau problem is obtained. Non-commutative parameters are then described in terms of an associator in the Jordan algebraic setting. Pure states and density matrices arising from this problem are characterized. This in turn leads us to the Jordan-Schr\"odinger time-evolution equation for the state vectors for this specific problem.


title: Irreversible behaviour of a gas owing to Unruh radiation

abstract: When gas molecules collide, they accelerate, and therefore encounter the Fulling-Davies-Unruh and Moore-DeWitt effects. The size of these effects is sufficient to randomize the motion of the gas molecules after about 1 nanosecond at standard temperature and pressure. Such observations show that quantum field theory modifies what is required to isolate a physical system sufficiently for its behaviour to be unitary. In practice the requirements are never satisfied exactly. Therefore the evolution of the observable universe is non-unitary and thermodynamically irreversible.


title: EncryIP: A Practical Encryption-Based Framework for Model Intellectual Property Protection

abstract: In the rapidly growing digital economy, protecting intellectual property (IP) associated with digital products has become increasingly important. Within this context, machine learning (ML) models, being highly valuable digital assets, have gained significant attention for IP protection. This paper introduces a practical encryption-based framework called \textit{EncryIP}, which seamlessly integrates a public-key encryption scheme into the model learning process. This approach enables the protected model to generate randomized and confused labels, ensuring that only individuals with accurate secret keys, signifying authorized users, can decrypt and reveal authentic labels. Importantly, the proposed framework not only facilitates the protected model to multiple authorized users without requiring repetitive training of the original ML model with IP protection methods but also maintains the model's performance without compromising its accuracy. Compared to existing methods like watermark-based, trigger-based, and passport-based approaches, \textit{EncryIP} demonstrates superior effectiveness in both training protected models and efficiently detecting the unauthorized spread of ML models.


title: Extension of the Dip-test Repertoire -- Efficient and Differentiable p-value Calculation for Clustering

abstract: Over the last decade, the Dip-test of unimodality has gained increasing interest in the data mining community as it is a parameter-free statistical test that reliably rates the modality in one-dimensional samples. It returns a so called Dip-value and a corresponding probability for the sample's unimodality (Dip-p-value). These two values share a sigmoidal relationship. However, the specific transformation is dependent on the sample size. Many Dip-based clustering algorithms use bootstrapped look-up tables translating Dip- to Dip-p-values for a certain limited amount of sample sizes. We propose a specifically designed sigmoid function as a substitute for these state-of-the-art look-up tables. This accelerates computation and provides an approximation of the Dip- to Dip-p-value transformation for every single sample size. Further, it is differentiable and can therefore easily be integrated in learning schemes using gradient descent. We showcase this by exploiting our function in a novel subspace clustering algorithm called Dip'n'Sub. We highlight in extensive experiments the various benefits of our proposal.


title: Congestions and Spectral Transition in Time-Lagged Correlations of Motorway Traffic

abstract: The congestion of a motorway section is propagated to its neighbouring sections, leading to correlations. The resulting correlation matrix encodes the information on congestion. Here, we study symmetrized time-lagged correlations and show how their spectral properties reveal congestion durations. We carry out an empirical analysis and find a transition behavior for the dominant eigenvalue as function of the time lag. Furthermore, we set up a numerical simulation model for indicator time series of traffic phases as well as a simplified model that we treat analytically. We consider various scenarios. Our results reveal a nonlinear relation between the spectral transition and the congestion duration. In our simplified model, we derive this relation analytically.


title: On some topological games involving networks

abstract: In these notes we introduce and investigate two new games called R-nw-selective game and the M-nw-selective game. These games naturally arise from the corresponding selection principles involving networks introduced in \cite{BG}.


title: Asynchronous multiplicative coarse-space correction

abstract: This paper introduces the multiplicative variant of the recently proposed asynchronous additive coarse-space correction method. Definition of an asynchronous extension of multiplicative correction is not straightforward, however, our analysis allows for usual asynchronous programming approaches. General asynchronous iterative models are explicitly devised both for shared or replicated coarse problems and for centralized or distributed ones. Convergence conditions are derived and shown to be satisfied for M-matrices, as also done for the additive case. Implementation aspects are discussed, which reveal the need for non-blocking synchronization for building the successive right-hand-side vectors of the coarse problem. Optionally, a parameter allows for applying each coarse solution a maximum number of times, which has an impact on the algorithm efficiency. Numerical results on a high-speed homogeneous cluster confirm the practical efficiency of the asynchronous two-level method over its synchronous counterpart, even when it is not the case for the underlying one-level methods.


title: Effects of cavity-mediated processes on the polarization entanglement of photon pairs emitted from quantum dots

abstract: Semiconductor quantum dots are among the best sources of on-demand entangled photon pairs. The degree of entanglement, however, is generally limited by the fine structure splitting of exciton states. In this paper, we theoretically investigate the generation of polarisation-entangled photon pairs under two-photon excitation and cavity-assisted two-photon emission, both in the weak and strong cavity coupling regimes. We demonstrate and clarify that cavity coupling together with an excitation pulse reduces the degree of entanglement in three different ways. Firstly, in a strong coupling regime, cavity introduces the unequal ac-Stark shift of horizontally and vertically polarised exciton states, which results in the effective splitting of exciton states. Secondly, it induces the cross-coupling between the exciton states even in the weak coupling regime, causing the creation of unfavorable two-photon states. Finally, higher excited states of the cavity modes also contribute to the reduction of entanglement. Therefore, in the setting considered here, cavity coupling, which is generally required for the efficient collection of emitted photons, degrades the entanglement both in weak and strong coupling regimes.


title: Search for leptonic decays of the dark photon at NA62

abstract: The NA62 experiment at CERN, configured in beam-dump mode, has searched for dark photon decays in flight to electron-positron pairs using a sample of $1.4\times 10^{17}$ protons on dump collected in 2021. No evidence for a dark photon signal is observed. The combined result for dark photon searches in lepton-antilepton final states is presented and a region of the parameter space is excluded at 90% CL, improving on previous experimental limits for dark photon mass values between 50 and 600 MeV$/c^2$ and coupling values in the range $10^{-6}$ to $4\times10^{-5}$. An interpretation of the $e^+ e^-$ search result in terms of the emission and decay of an axion-like particle is also presented.


title: Word Closure-Based Metamorphic Testing for Machine Translation

abstract: With the wide application of machine translation, the testing of Machine Translation Systems (MTSs) has attracted much attention. Recent works apply Metamorphic Testing (MT) to address the oracle problem in MTS testing. Existing MT methods for MTS generally follow the workflow of input transformation and output relation comparison, which generates a follow-up input sentence by mutating the source input and compares the source and follow-up output translations to detect translation errors, respectively. These methods use various input transformations to generate test case pairs and have successfully triggered numerous translation errors. However, they have limitations in performing fine-grained and rigorous output relation comparison and thus may report false alarms and miss true errors. In this paper, we propose a word closure-based output comparison method to address the limitations of the existing MTS MT methods. Specifically, we first build a new comparison unit called word closure, where each closure includes a group of correlated input and output words in the test case pair. Word closures suggest the linkages between the appropriate fragment in the source output translation and its counterpart in the follow-up output for comparison. Next, we compare the semantics on the level of word closure to identify the translation errors. In this way, we perform a fine-grained and rigorous semantic comparison for the outputs and thus realize more effective violation identification. We evaluate our method with the test cases generated by five existing input transformations and translation outputs from three popular MTSs. Results show that our method significantly outperforms the existing works in violation identification by improving the precision and recall and achieving an average increase of 29.8% in F1 score. It also helps to increase the F1 score of translation error localization by 35.9%.


title: Monitoring Auditable Claims in the Cloud

abstract: When deploying mission-critical systems in the cloud, where deviations may have severe consequences, the assurance of critical decisions becomes essential. Typical cloud systems are operated by third parties and are built on complex software stacks consisting of e.g., Kubernetes, Istio, or Kafka, which due to their size are difficult to be verified. Nevertheless, one needs to make sure that mission-critical choices are made correctly. We propose a flexible runtime monitoring approach that is independent of the implementation of the observed system that allows to monitor safety and data-related properties. Our approach is based on combining distributed Datalog-based programs with tamper-proof storage based on Trillian to verify the premises of safety-critical actions. The approach can be seen as a generalization of the Certificate Transparency project. We apply our approach to an industrial use case that uses a cloud infrastructure for orchestrating unmanned air vehicles.


title: Quantum field theories of relativistic Luttinger fermions

abstract: We propose relativistic Luttinger fermions as a new ingredient for the construction of fundamental quantum field theories. We construct the corresponding Clifford algebra and the spin metric for relativistic invariance of the action using the spin-base invariant formalism. The corresponding minimal spinor has 32 complex components, matching with the degrees of freedom of a standard-model generation including a right-handed neutrino. The resulting fermion fields exhibit a canonical scaling different from Dirac fermions and thus support the construction of novel relativistic and perturbatively renormalizable, interacting quantum field theories. In particular, new asymptotically free self-interacting field theories can be constructed, representing first examples of high-energy complete quantum field theories based on pure matter degrees of freedom. Gauge theories with relativistic Luttinger fermions exhibit a strong paramagnetic dominance, requiring large nonabelian gauge groups to maintain asymptotic freedom. We comment on the possibility to use Luttinger fermions for particle physics model building and the expected naturalness properties of such models.


title: Microfluidic pressure-driven flow of a pair of deformable particles suspended in Newtonian and viscoelastic media: A numerical study

abstract: The manipulation and control of microparticles through non-intrusive methods is pivotal in biomedical applications such as cell sorting and cell focusing. Although several experimental and numerical studies have been dedicated to single suspended particles or clusters of rigid spheres, analogous cases with deformable particles have not been as thoroughly studied, especially when the suspending liquid exhibits relevant viscoelastic properties. With the goal of expanding the current knowledge concerning these systems, we perform a computational study on the hydrodynamic interactions between two neutrally buoyant initially spherical elastic particles suspended in Newtonian and shear-thinning viscoelastic matrices subjected to pressure-driven flow in a cylindrical microchannel. Due to the well-known focusing mechanism induced by both particle deformability and fluid elasticity, the two particles are assumed to flow at the axis of the tube. The rheological behavior of the viscoelastic continuous phase is modelled via the Giesekus constitutive equation, whereas the particles are assumed to behave as Neo-Hookean solids. The problem is tackled by employing a mixed finite element method. The effects of particle deformability, fluid elasticity, confinement ratio, and initial interparticle separation distance on the pair dynamics are investigated. The main outcome of this study is a quantitative indication of the flow conditions and spatial configurations (initial distances) under which the particles will spontaneously form organized structures. Such results are helpful to design efficient microfluidic devices with the aim of promoting particle ordering.


title: Spin-dependent localization of helical edge states in a non-Hermitian phononic crystal

abstract: As a distinctive feature unique to non-Hermitian systems, non-Hermitian skin effect displays fruitful exotic phenomena in one or higher dimensions, especially when conventional topological phases are involved. Among them, hybrid skin-topological effect is theoretically proposed recently, which exhibits anomalous localization of topological boundary states at lower-dimensional boundaries accompanied by extended bulk states. Here we experimentally realize the hybrid skin-topological effect in a non-Hermitian phononic crystal. The phononic crystal, before tuning to be non-Hermitian, is an ideal acoustic realization of the Kane-Mele model, which hosts gapless helical edge states at the boundaries. By introducing a staggered distribution of loss, the spin-dependent edge modes pile up to opposite corners, leading to a direct observation of the spin-dependent hybrid skin-topological effect. Our work highlights the interplay between topology and non-Hermiticity and opens new routes to non-Hermitian wave manipulations.


title: On spectral flow for operator algebras

abstract: Spectral flow was first studied by Atiyah and Lusztig, and first appeared in print in the work of Atiyah-Patodi-Singer (APS). For a norm-continuous path of self-adjoint Fredholm operators in the multiplier algebra $\mathcal{M}(\mathcal{B})$ with $\mathcal{B}$ separable and stable, spectral flow roughly measures the ``net mass" of spectrum that passes through zero in the positive direction, as we move along the continuous path. As the index of a Fredholm operator has had many fruitful and important generalizations to general operator algebras, generalizing the spectral flow of a path of self-adjoint Fredholm operators would also be of great interest to operator theory. We develop a notion of spectral flow which works for arbitrary separable stable canonical ideals -- including stably projectionless C*-algebras (which depends on a quite general notion of essential codimension). We show that, under appropriate hypotheses, spectral flow induces a group isomorphism $\pi_1(Fred_{SA,\infty},pt)\cong K_0(\mathcal{B})$, generalizing a result of APS. We also provide an axiomatization of spectral flow.


title: mRNA translation from a unidirectional traffic perspective

abstract: mRNA translation is a crucial process that leads to protein synthesis in living cells. Therefore, it is a process that needs to work optimally for a cell to stay healthy and alive. With advancements in microscopy and novel experimental techniques, a lot of the intricate details about the translation mechanism are now known. However, the why and how of this mechanism are still ill understood, and therefore, is an active area of research. Theoretical studies of mRNA translation typically view it in terms of the Totally Asymmetric Simple Exclusion Process or TASEP. Various works have used the TASEP model in order to study a wide range of phenomena and factors affecting translation, such as ribosome traffic on an mRNA under noisy (codon-dependent or otherwise) conditions, ribosome stalling, premature termination, ribosome reinitiation and dropoff, codon-dependent elongation and competition among mRNA for ribosomes, among others. In this review, we relay the history and physics of the translation process in terms of the TASEP framework. In particular, we discuss the viability and evolution of this model and its limitations while also formulating the reasons behind its success. Finally, we also identify gaps in the existing literature and suggest possible extensions and applications that will lead to a better understanding of ribosome traffic on the mRNA.


title: Resource-efficient Generative Mobile Edge Networks in 6G Era: Fundamentals, Framework and Case Study

abstract: As the next-generation wireless communication system, Sixth-Generation (6G) technologies are emerging, enabling various mobile edge networks that can revolutionize wireless communication and connectivity. By integrating Generative Artificial Intelligence (GAI) with mobile edge networks, generative mobile edge networks possess immense potential to enhance the intelligence and efficiency of wireless communication networks. In this article, we propose the concept of generative mobile edge networks and overview widely adopted GAI technologies and their applications in mobile edge networks. We then discuss the potential challenges faced by generative mobile edge networks in resource-constrained scenarios. To address these challenges, we develop a universal resource-efficient generative incentive mechanism framework, in which we design resource-efficient methods for network overhead reduction, formulate appropriate incentive mechanisms for the resource allocation problem, and utilize Generative Diffusion Models (GDMs) to find the optimal incentive mechanism solutions. Furthermore, we conduct a case study on resource-constrained mobile edge networks, employing model partition for efficient AI task offloading and proposing a GDM-based Stackelberg model to motivate edge devices to contribute computing resources for mobile edge intelligence. Finally, we propose several open directions that could contribute to the future popularity of generative mobile edge networks.


title: MPI Planar Correction of Pulse Based ToF Cameras

abstract: Time-of-Flight (ToF) cameras are becoming popular in a wide span of areas ranging from consumer-grade electronic devices to safety-critical industrial robots. This is mainly due to their high frame rate, relative good precision and the lowered costs. Although ToF cameras are in continuous development, especially pulse-based variants, they still face different problems, including spurious noise over the points or multipath inference (MPI). The latter can cause deformed surfaces to manifest themselves on curved surfaces instead of planar ones, making standard spatial data preprocessing, such as plane extraction, difficult. In this paper, we focus on the MPI reduction problem using Feature Pyramid Networks (FPN) which allow the mitigation of this type of artifact for pulse-based ToF cameras. With our end-to-end network, we managed to attenuate the MPI effect on planar surfaces using a learning-based method on real ToF data. Both the custom dataset used for our model training as well as the code is available on the author's Github homepage.


title: PPO-Clip Attains Global Optimality: Towards Deeper Understandings of Clipping

abstract: Proximal Policy Optimization algorithm employing a clipped surrogate objective (PPO-Clip) is a prominent exemplar of the policy optimization methods. However, despite its remarkable empirical success, PPO-Clip lacks theoretical substantiation to date. In this paper, we contribute to the field by establishing the first global convergence results of a PPO-Clip variant in both tabular and neural function approximation settings. Our findings highlight the $O(1/\sqrt{T})$ min-iterate convergence rate specifically in the context of neural function approximation. We tackle the inherent challenges in analyzing PPO-Clip through three central concepts: (i) We introduce a generalized version of the PPO-Clip objective, illuminated by its connection with the hinge loss. (ii) Employing entropic mirror descent, we establish asymptotic convergence for tabular PPO-Clip with direct policy parameterization. (iii) Inspired by the tabular analysis, we streamline convergence analysis by introducing a two-step policy improvement approach. This decouples policy search from complex neural policy parameterization using a regression-based update scheme. Furthermore, we gain deeper insights into the efficacy of PPO-Clip by interpreting these generalized objectives. Our theoretical findings also mark the first characterization of the influence of the clipping mechanism on PPO-Clip convergence. Importantly, the clipping range affects only the pre-constant of the convergence rate.


title: Automatic bony structure segmentation and curvature estimation on ultrasound cervical spine images -- a feasibility study

abstract: The loss of cervical lordosis is a common degenerative disorder known to be associated with abnormal spinal alignment. In recent years, ultrasound (US) imaging has been widely applied in the assessment of spine deformity and has shown promising results. The objectives of this study are to automatically segment bony structures from the 3D US cervical spine image volume and to assess the cervical lordosis on the key sagittal frames. In this study, a portable ultrasound imaging system was applied to acquire cervical spine image volume. The nnU-Net was trained on to segment bony structures on the transverse images and validated by 5-fold-cross-validation. The volume data were reconstructed from the segmented image series. An energy function indicating intensity levels and integrity of bony structures was designed to extract the proxy key sagittal frames on both left and right sides for the cervical curve measurement. The mean absolute difference (MAD), standard deviation (SD) and correlation between the spine curvatures of the left and right sides were calculated for quantitative evaluation of the proposed method. The DSC value of the nnU-Net model in segmenting ROI was 0.973. For the measurement of 22 lamina curve angles, the MAD, SD and correlation between the left and right sides of the cervical spine were 3.591, 3.432 degrees and 0.926, respectively. The results indicate that our method has a high accuracy and reliability in the automatic segmentation of the cervical spine and shows the potential of diagnosing the loss of cervical lordosis using the 3D ultrasound imaging technique.


title: Optimistic Policy Gradient in Multi-Player Markov Games with a Single Controller: Convergence Beyond the Minty Property

abstract: Policy gradient methods enjoy strong practical performance in numerous tasks in reinforcement learning. Their theoretical understanding in multiagent settings, however, remains limited, especially beyond two-player competitive and potential Markov games. In this paper, we develop a new framework to characterize optimistic policy gradient methods in multi-player Markov games with a single controller. Specifically, under the further assumption that the game exhibits an equilibrium collapse, in that the marginals of coarse correlated equilibria (CCE) induce Nash equilibria (NE), we show convergence to stationary $\epsilon$-NE in $O(1/\epsilon^2)$ iterations, where $O(\cdot)$ suppresses polynomial factors in the natural parameters of the game. Such an equilibrium collapse is well-known to manifest itself in two-player zero-sum Markov games, but also occurs even in a class of multi-player Markov games with separable interactions, as established by recent work. As a result, we bypass known complexity barriers for computing stationary NE when either of our assumptions fails. Our approach relies on a natural generalization of the classical Minty property that we introduce, which we anticipate to have further applications beyond Markov games.


title: PICNN: A Pathway towards Interpretable Convolutional Neural Networks

abstract: Convolutional Neural Networks (CNNs) have exhibited great performance in discriminative feature learning for complex visual tasks. Besides discrimination power, interpretability is another important yet under-explored property for CNNs. One difficulty in the CNN interpretability is that filters and image classes are entangled. In this paper, we introduce a novel pathway to alleviate the entanglement between filters and image classes. The proposed pathway groups the filters in a late conv-layer of CNN into class-specific clusters. Clusters and classes are in a one-to-one relationship. Specifically, we use the Bernoulli sampling to generate the filter-cluster assignment matrix from a learnable filter-class correspondence matrix. To enable end-to-end optimization, we develop a novel reparameterization trick for handling the non-differentiable Bernoulli sampling. We evaluate the effectiveness of our method on ten widely used network architectures (including nine CNNs and a ViT) and five benchmark datasets. Experimental results have demonstrated that our method PICNN (the combination of standard CNNs with our proposed pathway) exhibits greater interpretability than standard CNNs while achieving higher or comparable discrimination power.


title: High Resolution Optimized High-Order Schemes for Discretization of Non-Linear Straight and Mixed Second Derivative Terms

abstract: In this paper, we propose a new set of midpoint-based high-order discretization schemes for computing straight and mixed nonlinear second derivative terms that appear in the compressible Navier-Stokes equations. Firstly, we detail a set of conventional fourth and sixth-order baseline schemes that utilize central midpoint derivatives for the calculation of second derivatives terms. To enhance the spectral properties of the baseline schemes, an optimization procedure is proposed that adjusts the order and truncation error of the midpoint derivative approximation while still constraining the same overall stencil width and scheme order. A new filter penalty term is introduced into the midpoint derivative calculation to help achieve high wavenumber accuracy and high-frequency damping in the mixed derivative discretization. Fourier analysis performed on the both straight and mixed second derivative terms show high spectral efficiency and minimal numerical viscosity with no odd-even decoupling effect. Numerical validation of the resulting optimized schemes is performed through various benchmark test cases assessing their theoretical order of accuracy and solution resolution. The results highlight that the present optimized schemes efficiently utilize the inherent viscosity of the governing equations to achieve improved simulation stability - a feature attributed to their superior spectral resolution in the high wavenumber range. The method is also tested and applied to non-uniform structured meshes in curvilinear coordinates, employing a supersonic impinging jet test case.

categories: math.NA cs.NA physics.comp-ph physics.flu-dyn


title: Reconstruction of rough surfaces from a single receiver at grazing angle

abstract: The paper develops a method for recovering a one-dimensional rough surface profile from scattered wave field, using a single receiver and repeated measurements when the surface is moving with respect to source and receiver. This extends a previously introduced marching method utilizing low grazing angles, and addresses the key issue of the requirement for many simultaneous receivers. The algorithm recovers the surface height below the receiver point step-by-step as the surface is moved, using the parabolic wave integral equations. Numerical examples of reconstructed surfaces demonstrate that the method is robust in both Dirichlet and Neumann boundary conditions, and with respect to different roughness characteristics and to some degree of measurement noise.


title: On the de Rham homomorphism for $L_\pi$-cohomologies

abstract: We study the procedure of regularization in the context of the Lipschitz version of de Rham calculus on metric simplicial complexes with bounded geometry. It provides us with the machinery to handle the de Rham homomorphism for $L_\pi$-cohomologies. In this respect, we obtain the condition resolving the question of triviality of the kernel for de Rham homomorphism. In particular, we specify the non-trivial cohomology classes explicitly for a sequence of parameters $\pi = \langle p_0,\,p_1,\dots,\,p_n\rangle$ missing non-increasing monotonicity.


title: Mechanism of intermetallic charge transfer and bond disproportionation in BiNiO$_3$ and PbNiO$_3$ revealed by hard x-ray photoemission spectroscopy

abstract: Perovskites with Bi or Pb on the A-site host a number of interesting and yet to be understood phenomena such as negative thermal expansion in BiNiO$_3$. We employ hard x-ray photoemission spectroscopy of Ni 2$p$ core-level as well as valence band to probe the electronic structure of BiNiO$_3$ and PbNiO$_3$. The experimental results supported by theoretical calculations using dynamical mean-field theory reveal essentially identical electronic structure of the Ni-O subsystem typical of Ni$^{2+}$ charge-transfer insulators. The two materials are distinguished by filling of the Bi(Pb)-O antibonding states in the vicinity of the Fermi level, which is responsible for the Bi disproportionation in BiNiO$_3$ at ambient pressure and absence of similar behavior in PbNiO$_3$. The present experiments provide evidence for this conclusion by revealing the presence/absence of Bi/Pb $6s$ states at the top of the valence band in the two materials.


title: Designing Cybersecurity Awareness Solutions for the Young People in Rural Developing Countries: The Need for Diversity and Inclusion

abstract: Cybersecurity challenges and the need for awareness are well-recognized in developed countries, but this still needs attention in less-developed countries. With the expansion of technology, security concerns are also becoming more prevalent worldwide. This paper presents a design and creation research study exploring which factors we should consider when designing cybersecurity awareness solutions for young people in developing countries. We have developed prototypes of mini-cybersecurity awareness applications and conducted a pilot study with eight participants (aged 16-30) from Gambia, Eritrea, and Syria. Our findings show that factors like the influence of culture and social constructs, literacy, and language competence, the way of introducing cybersecurity terms and concepts, and the need for reflection are essential to consider when designing and developing cybersecurity awareness solutions for target users in developing countries. The findings of this study will guide future researchers to design more inclusive cybersecurity awareness solutions for users in developing countries.


title: Synchronization in a System of Kuramoto Oscillators with Distributed Gaussian Noise

abstract: We consider a system of globally-coupled phase-only oscillators with distributed intrinsic frequencies and evolving in presence of distributed Gaussian, white noise, namely, a Gaussian, white noise whose strength for every oscillator is a specified function of its intrinsic frequency. In the absence of noise, the model reduces to the celebrated Kuramoto model of spontaneous synchronization. For two specific forms of the mentioned functional dependence and for a symmetric and unimodal distribution of the intrinsic frequencies, we unveil the rich long-time behavior that the system exhibits, which stands in stark contrast to the case in which the noise strength is the same for all the oscillators. Namely, in the studied dynamics, the system may exist in either a synchronized or an incoherent or a time-periodic state; interestingly, all of these states also appear as long-time solutions of the Kuramoto dynamics for the case of bimodal frequency distributions, but in the absence of any noise in the dynamics.


title: A Survey on Property-Preserving Database Encryption Techniques in the Cloud

abstract: Outsourcing a relational database to the cloud offers several benefits, including scalability, availability, and cost-effectiveness. However, there are concerns about the security and confidentiality of the outsourced data. A general approach here would be to encrypt the data with a standardized encryption algorithm and then store the data only encrypted in the cloud. The problem with this approach, however, is that with encryption, important properties of the data such as sorting, format or comparability, which are essential for the functioning of database queries, are lost. One solution to this problem is the use of encryption algorithms, which also preserve these properties in the encrypted data, thus enabling queries to encrypted data. These algorithms range from simple algorithms like Caesar encryption to secure algorithms like mOPE. The report at hand presents a survey on common encryption techniques used for storing data in relation Cloud database services. It presents the applied methods and identifies their characteristics.


title: Circularly polarized RABBIT applied to a Rabi-cycling atom

abstract: We utilize the reconstruction of attosecond beating by interference of two-photon transitions (RABBIT) technique to study the phase of a Rabi-cycling atom using circularly polarized extreme ultraviolet and infrared (IR) fields, where the IR field induces Rabi oscillations between the 2s and 2p states of lithium. Autler-Townes splittings are observed in sidebands of the photoelectron spectra and the relative phases of outgoing electron wave packets are retrieved from the azimuthal angle. In this RABBIT scheme, more ionization pathways beyond the usual two-photon pathways are required. Our results show that the polar-angle-integrated and polar-angle-resolved RABBIT phases have different behaviors when the XUV and IR fields have co- and counter-rotating circular polarizations, which are traced back to the different ionization channels according to the selection rules in these two cases and their competition relying on the propensity rule in laser-assisted photoionization.


title: Hamiltonians for the quantised Volterra hierarchy

abstract: This paper builds upon our recent work, published in Lett. Math. Phys., 112: 94, 2022, where we established that the integrable Volterra lattice on a free associative algebra and the whole hierarchy of its symmetries admits a quantisation dependent on a parameter $\omega$. We also uncovered an intriguing aspect: all odd-degree symmetries of the hierarchy admits an alternative, non-deformation quantisation, resulting in a non-commutative algebra for any choice of the quantisation parameter $\omega$. In this study, we demonstrate that each equation within the quantum Volterra hierarchy can be expressed in the Heisenberg form. We provide explicit expressions for all quantum Hamiltonians and establish their commutativity. In the classical limit, these quantum Hamiltonians yield explicit expressions for the classical ones of the commutative Volterra hierarchy. Furthermore, we present Heisenberg equations and their Hamiltonians in the case of non-deformation quantisation. Finally, we discuss commuting first integrals, central elements of the quantum algebra, and the integrability problem for periodic reductions of the Volterra lattice in the context of both quantisations.


title: $T\bar{T}$-deformation: a lattice approach

abstract: Integrable quantum field theories can be regularized on the lattice while preserving integrability. The resulting theory on the lattice are integrable lattice models. A prototype of such a regularization is the correspondence between sine-Gordon model and 6-vertex model on a light-cone lattice. We propose an integrable deformation of the light-cone lattice model such that in the continuum limit we obtain the $T\bar{T}$-deformed sine-Gordon model. Under this deformation, the cut-off momentum becomes energy dependent while the underlying Yang-Baxter integrability is preserved. Therefore this deformation is integrable but non-local, similar to the $T\bar{T}$-deformation of quantum field theory.


title: Unified Lagrangian for Canonical and Non-Canonical Scalar Field

abstract: We proposed a generalized Lagrangian for three different classes of scalar fields namely quintessence($\alpha =-1$), phantom($\alpha =0$), and tachyonic ($\alpha =1$) parameterized by $\alpha$. These three scalar fields can be described by a common single Lagrangian called generalized scalar field Lagrangian and corresponding scalar field termed as generalized scalar field. We obtain mathematically consistent forms of generalized equations of motion from which individual equations of motion of quintessence, phantom, and tachyon can be recovered.


title: Learning Subject-Aware Cropping by Outpainting Professional Photos

abstract: How to frame (or crop) a photo often depends on the image subject and its context; e.g., a human portrait. Recent works have defined the subject-aware image cropping task as a nuanced and practical version of image cropping. We propose a weakly-supervised approach (GenCrop) to learn what makes a high-quality, subject-aware crop from professional stock images. Unlike supervised prior work, GenCrop requires no new manual annotations beyond the existing stock image collection. The key challenge in learning from this data, however, is that the images are already cropped and we do not know what regions were removed. Our insight is to combine a library of stock images with a modern, pre-trained text-to-image diffusion model. The stock image collection provides diversity and its images serve as pseudo-labels for a good crop, while the text-image diffusion model is used to out-paint (i.e., outward inpainting) realistic uncropped images. Using this procedure, we are able to automatically generate a large dataset of cropped-uncropped training pairs to train a cropping model. Despite being weakly-supervised, GenCrop is competitive with state-of-the-art supervised methods and significantly better than comparable weakly-supervised baselines on quantitative and qualitative evaluation metrics.


title: Torsional Constitutive Relations at Finite Temperature

abstract: The general form of the linear torsional constitutive relations at finite temperature of the chiral current, energy-momentum tensor, and spin energy potential are computed for a chiral fermion fluid minimally coupled to geometric torsion and with nonzero chiral chemical potential. The corresponding transport coefficients are explicitly calculated in terms of the energy and number densities evaluated at vanishing torsion. A microscopic calculation of these constitutive relations in some particular backgrounds is also presented, confirming the general structure found.


title: Stochastic homogenisation for functionals defined on asymptotically piecewise rigid functions

abstract: We study stochastic homogenisation of free-discontinuity surface functionals defined on piecewise rigid functions which arise in the study of fracture in brittle materials. In particular, under standard assumptions on the density, we show that there exists a $\Gamma$-limit almost surely and that it can be represented by a surface integral. In addition, the effective density can be characterised via a suitable cell formula and is deterministic under an ergodicity assumption. We also show via $\Gamma$-convergence that the homogenised functional defined on piecewise rigid functions can be recovered from a Griffith-type model by passing to the limit of vanishing elastic deformations.


title: On homeomorphisms of three-dimensional manifolds with pseudo-Anosov attractors and repellers

abstract: The present paper is devoted to a study of orientation-preserving homeomorphisms on three-dimensional manifolds with a non-wandering set consisting of a finite number of surface attractors and repellers. The main results of the paper relate to a class of homeomorphisms for which the restriction of the map to a connected component of the non-wandering set is topologically conjugate to an orientation-preserving pseudo-Anosov homeomorphism. The ambient $\Omega$-conjugacy of a homeomorphism from the class with a locally direct product of a pseudo-Anosov homeomorphism and a rough transformation of the circle is proved. In addition, we prove that the centralizer of a pseudo-Anosov homeomorphisms consists of only pseudo-Anosov and periodic maps.


title: Differentiability of Adelic Volumes and Equidistribution on Quasi-Projective Varieties

abstract: Differentiability of geometric and arithmetic volumes of Hermitian line-bundles leads to the proof of equidistribution results on projective varieties using the variational principle. In this article, we work in the setting of adelic divisors on quasi-projective varieties recently introduced by Xinyi Yuan and Shou-Wu Zhang to show that their geometric and arithmetic adelic volume functions are differentiable on the big cone. We introduce the notions of positive intersection products and show that the differentials are realised as positive intersection products against integrable divisors at big points. We show an analogue of the Fujita Approximation for restricted volumes of adelic divisors in the geometric setting using a construction similar to those of positive intersections and as an application of our differentiability result we derive a slightly weaker quasi-projective analogue of the equidistribution theorem of Berman and Boucksom which generalises the equidistribution obtained by Yuan and Zhang for arithmetically nef adelic divisors on quasi-projective varieties.