title: Positive values of non-homogeneous quadratic forms of type (1,4): A conjecture of Bambah, Dumir and Hans-Gill

abstract: Let $Q(x_1, \cdots,x_n)$ be a real indefinite quadratic form of the type $(r,s)$, $n=r+s$, signature $\sigma=r-s$ and determinant $D\neq 0$. Let $\Gamma_{r,n-r}$ denote the infimum of all numbers $\Gamma$ such that for any real numbers $c_1, c_2 ,\cdots, c_n$ there exist integers $x_1, x_ 2,\cdots, x_n$ satisfying $$0< Q(x_1+c_1,x_2+c_2,\cdots,x_n+c_n)\leq (\Gamma |D|)^{1/n}.$$ All the values of $\Gamma_{r,n-r}$ are known except for $\Gamma_{1,4}$. Earlier it was shown that $8\leq \Gamma_{1,4}<12$. It is conjectured that $\Gamma_{1,4}=8$. Here we shall prove that $\Gamma_{1,4}=8$, when (i) $c_2 \not \equiv 0 \pmod 1$, (ii) $c_2 \equiv 0 \pmod 1$, $a\geq \frac{1}{2}$, where $a$ is minima of positive definite ternary quadratic forms with determinant $4|D|$, and (iii) in some cases of $c_2 \equiv 0 \pmod 1$, $a< \frac{1}{2}$. We also obtain six critical forms for which the constant 8 is attained. In the remaining cases we prove that $\Gamma_{1,4}< \frac{32}{3}$.


title: End-to-End Quantum Vision Transformer: Towards Practical Quantum Speedup in Large-Scale Models

abstract: The field of quantum deep learning presents significant opportunities for advancing computational capabilities, yet it faces a major obstacle in the form of the "information loss problem" due to the inherent limitations of the necessary quantum tomography in scaling quantum deep neural networks. This paper introduces an end-to-end Quantum Vision Transformer (QViT), which incorporates an innovative quantum residual connection technique, to overcome these challenges and therefore optimize quantum computing processes in deep learning. Our thorough complexity analysis of the QViT reveals a theoretically exponential and empirically polynomial speedup, showcasing the model's efficiency and potential in quantum computing applications. We conducted extensive numerical tests on modern, large-scale transformers and datasets, establishing the QViT as a pioneering advancement in applying quantum deep neural networks in practical scenarios. Our work provides a comprehensive quantum deep learning paradigm, which not only demonstrates the versatility of current quantum linear algebra algorithms but also promises to enhance future research and development in quantum deep learning.


title: On the effectiveness of Bayesian discrete feedback for quantum information reclaiming

abstract: We consider discrete time feedback aimed at reclaiming quantum information after a channel action. We compare Bayesian and Markovian strategies. We show that the former does not offer any advantage for qubit channels, while its superior performance can appear in higher dimensional channels. This is witnessed by cases study for qutrit channels.


title: High-redshift halo-galaxy connection via constrained simulations

abstract: The evolution of halos with masses around $M_\textrm{h} \approx 10^{11}\; \textrm{M}_\odot$ and $M_\textrm{h} \approx 10^{12}\; \textrm{M}_\odot$ at redshifts $z>9$ is examined using constrained N-body simulations. The specific mass accretion rates, $\dot{M}_\textrm{h} / M_\textrm{h}$, exhibit minimal mass dependence and agree with existing literature. Approximately one-third of simulations reveal an increase in $\dot{M}_\textrm{h}$ around $z\approx 13$, possibly implying a dual-age stellar population. Comparing simulated halos with observed galaxies having spectroscopic redshifts, we find that for galaxies at $z\gtrsim9$, the ratio between observed star formation rate (SFR) and $\dot{M}_\textrm{h}$ is approximately $2\%$. This ratio remains consistent for the stellar-to-halo mass ratio (SHMR) but only for $z\gtrsim10$. At $z\simeq 9$, the SHMR is notably lower by a factor of a few. At $z\gtrsim10$, there is an agreement between specific star formation rates (sSFRs) and $\dot{M}_\textrm{h} / M_\textrm{h}$ of halos. However, at $z\simeq 9$, observed sSFRs exceed simulated values by a factor of two. To explain the relatively high star formation efficiencies in high-$z$ halos with $M_\textrm{h} \approx 10^{11} M_{\odot}$, a simplified model is proposed, assuming the applicability of the local Kennicutt-Schmidt law. The enhanced efficiency relative to low-$z$ is mainly driven by the reduced effectiveness of stellar feedback due to deeper gravitational potential for halos of a fixed mass.


title: Three-dimensional atomic interface between metal and oxide in Zr-ZrO2 nanoparticles

abstract: Metal-oxide interfaces with poor coherency have unique properties comparing to the bulk materials and offer broad applications in the fields of heterogeneous catalysis, battery, and electronics. However, current understanding of the three-dimensional (3D) atomic metal-oxide interfaces remains limited because of their inherent structural complexity and limitations of conventional two-dimensional imaging techniques. Here, we determine the 3D atomic structure of metal-oxide interfaces in zirconium-zirconia nanoparticles using atomic-resolution electron tomography. We quantitatively analyze the atomic concentration and the degree of oxidation, and find the coherency and translational symmetry of the interfaces are broken. Moreover, we observe porous structures such as Zr vacancies and nano-pores and investigate their distribution. Our findings provide a clear 3D atomic picture of metal-oxide interface with direct experimental evidence. We anticipate this work could encourage future studies on fundamental problems of oxides such as interfacial structures in semiconductor and atomic motion during oxidation process.


title: SemEval 2024 -- Task 10: Emotion Discovery and Reasoning its Flip in Conversation (EDiReF)

abstract: We present SemEval-2024 Task 10, a shared task centred on identifying emotions and finding the rationale behind their flips within monolingual English and Hindi-English code-mixed dialogues. This task comprises three distinct subtasks - emotion recognition in conversation for code-mixed dialogues, emotion flip reasoning for code-mixed dialogues, and emotion flip reasoning for English dialogues. Participating systems were tasked to automatically execute one or more of these subtasks. The datasets for these tasks comprise manually annotated conversations focusing on emotions and triggers for emotion shifts (The task data is available at https://github.com/LCS2-IIITD/EDiReF-SemEval2024.git). A total of 84 participants engaged in this task, with the most adept systems attaining F1-scores of 0.70, 0.79, and 0.76 for the respective subtasks. This paper summarises the results and findings from 24 teams alongside their system descriptions.


title: SynGhost: Imperceptible and Universal Task-agnostic Backdoor Attack in Pre-trained Language Models

abstract: Pre-training has been a necessary phase for deploying pre-trained language models (PLMs) to achieve remarkable performance in downstream tasks. However, we empirically show that backdoor attacks exploit such a phase as a vulnerable entry point for task-agnostic. In this paper, we first propose $\mathtt{maxEntropy}$, an entropy-based poisoning filtering defense, to prove that existing task-agnostic backdoors are easily exposed, due to explicit triggers used. Then, we present $\mathtt{SynGhost}$, an imperceptible and universal task-agnostic backdoor attack in PLMs. Specifically, $\mathtt{SynGhost}$ hostilely manipulates clean samples through different syntactic and then maps the backdoor to representation space without disturbing the primitive representation. $\mathtt{SynGhost}$ further leverages contrastive learning to achieve universal, which performs a uniform distribution of backdoors in the representation space. In light of the syntactic properties, we also introduce an awareness module to alleviate the interference between different syntactic. Experiments show that $\mathtt{SynGhost}$ holds more serious threats. Not only do severe harmfulness to various downstream tasks on two tuning paradigms but also to any PLMs. Meanwhile, $\mathtt{SynGhost}$ is imperceptible against three countermeasures based on perplexity, fine-pruning, and the proposed $\mathtt{maxEntropy}$.


title: Real-Time Adaptive Safety-Critical Control with Gaussian Processes in High-Order Uncertain Models

abstract: This paper presents an adaptive online learning framework for systems with uncertain parameters to ensure safety-critical control in non-stationary environments. Our approach consists of two phases. The initial phase is centered on a novel sparse Gaussian process (GP) framework. We first integrate a forgetting factor to refine a variational sparse GP algorithm, thus enhancing its adaptability. Subsequently, the hyperparameters of the Gaussian model are trained with a specially compound kernel, and the Gaussian model's online inferential capability and computational efficiency are strengthened by updating a solitary inducing point derived from new samples, in conjunction with the learned hyperparameters. In the second phase, we propose a safety filter based on high-order control barrier functions (HOCBFs), synergized with the previously trained learning model. By leveraging the compound kernel from the first phase, we effectively address the inherent limitations of GPs in handling high-dimensional problems for real-time applications. The derived controller ensures a rigorous lower bound on the probability of satisfying the safety specification. Finally, the efficacy of our proposed algorithm is demonstrated through real-time obstacle avoidance experiments executed using both a simulation platform and a real-world 7-DOF robot.


title: Deforming ice with drops

abstract: A uniform solidification front undergoes non-trivial deformations when encountering an insoluble dispersed particle in a melt. For solid particles, the overall deformation characteristics are primarily dictated by heat transfer between the particle and the surroundings, remaining unaffected by the rate of approach of the solidification front. In this Letter, we show that, conversely, when interacting with a droplet or a bubble, the deformation behaviour exhibits entirely different and unexpected behaviour. It arises from an interfacial dynamics which is specific to particles with free interfaces, namely thermal Marangoni forces. Our study employs a combination of experiments, theory, and numerical simulations to investigate the interaction between the droplet and the freezing front and unveils its surprising behaviour. In particular, we quantitatively understand the dependence of the front deformation $\Delta$ on the front propagation velocity, which, for large front velocities, can even revert from attraction ($\Delta < 0$) to repulsion ($\Delta > 0$).


title: Towards the boundary of the fine curve graph

abstract: The fine curve graph was introduced as a geometric tool to study the homeomorphisms of surfaces. In this paper we study the Gromov boundary of this space and the local topology near points associated with minimal measurable foliations. We then give several applications including finding explicit elements with positive stable commutator length, and proving a Tits alternative for subgroups of $\textrm{Homeo}(S)$ containing a pseudo-Anosov map, generalizing a result of Hurtado-Xue.


title: Improving Group Connectivity for Generalization of Federated Deep Learning

abstract: Federated learning (FL) involves multiple heterogeneous clients collaboratively training a global model via iterative local updates and model fusion. The generalization of FL's global model has a large gap compared with centralized training, which is its bottleneck for broader applications. In this paper, we study and improve FL's generalization through a fundamental ``connectivity'' perspective, which means how the local models are connected in the parameter region and fused into a generalized global model. The term ``connectivity'' is derived from linear mode connectivity (LMC), studying the interpolated loss landscape of two different solutions (e.g., modes) of neural networks. Bridging the gap between LMC and FL, in this paper, we leverage fixed anchor models to empirically and theoretically study the transitivity property of connectivity from two models (LMC) to a group of models (model fusion in FL). Based on the findings, we propose FedGuCci and FedGuCci+, improving group connectivity for better generalization. It is shown that our methods can boost the generalization of FL under client heterogeneity across various tasks (4 CV datasets and 6 NLP datasets), models (both convolutional and transformer-based), and training paradigms (both from-scratch and pretrain-finetune).


title: PopALM: Popularity-Aligned Language Models for Social Media Trendy Response Prediction

abstract: Social media platforms are daily exhibiting millions of events. To preliminarily predict the mainstream public reaction to these events, we study trendy response prediction to automatically generate top-liked user replies to social media events. While previous works focus on generating responses without factoring in popularity, we propose Popularity-Aligned Language Models (PopALM) to distinguish responses liked by a larger audience through reinforcement learning. Recognizing the noisy labels from user "likes", we tailor-make curriculum learning in proximal policy optimization (PPO) to help models capture the essential samples for easy-to-hard training. In experiments, we build a large-scale Weibo dataset for trendy response prediction, and its results show that PopALM can help boost the performance of advanced language models.


title: Percept, Chat, and then Adapt: Multimodal Knowledge Transfer of Foundation Models for Open-World Video Recognition

abstract: Open-world video recognition is challenging since traditional networks are not generalized well on complex environment variations. Alternatively, foundation models with rich knowledge have recently shown their generalization power. However, how to apply such knowledge has not been fully explored for open-world video recognition. To this end, we propose a generic knowledge transfer pipeline, which progressively exploits and integrates external multimodal knowledge from foundation models to boost open-world video recognition. We name it PCA, based on three stages of Percept, Chat, and Adapt. First, we perform Percept process to reduce the video domain gap and obtain external visual knowledge. Second, we generate rich linguistic semantics as external textual knowledge in Chat stage. Finally, we blend external multimodal knowledge in Adapt stage, by inserting multimodal knowledge adaptation modules into networks. We conduct extensive experiments on three challenging open-world video benchmarks, i.e., TinyVIRAT, ARID, and QV-Pipe. Our approach achieves state-of-the-art performance on all three datasets.


title: A classification of 2-dimensional endo-commutative straight algebras of type II_1

abstract: In this paper, we present a complete classification of 2-dimensional endo-commutative straight algebras of type II$_1$ over any field. An endo-commutative algebra is a non-associative algebra in which the square mapping preserves multiplication. A 2-dimensional straight algebra satisfies the condition that there exists an element $x$ such that $x$ and $x^2$ are linearly independent. The term type II$_1$ denotes a distinguishing characteristic of its structure matrix, which has rank 2. We provide multiplication tables for these algebras, listing them up to isomorphism.


title: Robust Experimental Signatures of Phase Transitions in the Variational Quantum Eigensolver

abstract: The Variational Quantum Eigensolver (VQE) is widely considered to be a promising candidate for a quantum-classical algorithm which could achieve near-term quantum advantage. However, current levels of hardware noise can require extensive application of error-mitigation techniques to achieve reliable computations. In this work, we use several IBM devices to explore a finite-size spin model with multiple `phase-like' regions characterized by distinct ground-state configurations. Using pre-optimized VQE solutions, we demonstrate that in contrast to calculating the energy, where zero-noise extrapolation is required in order to obtain qualitatively accurate yet still unreliable results, calculations of the energy derivative, two-site spin correlation functions, and the fidelity susceptibility yield accurate behavior across multiple regions, even with minimal or no application of error-mitigation approaches. Taken together, these sets of observables could be used to identify level crossings in VQE solutions in a simple and noise-robust manner, with potential near-term application to identifying quantum phase transitions, avoided crossings and non-adiabatic conical intersections in electronic structure calculations.

categories: quant-ph cond-mat.mtrl-sci cond-mat.other cond-mat.stat-mech physics.comp-ph


title: Getting Saturated with Induction

abstract: Induction in saturation-based first-order theorem proving is a new exciting direction in the automation of inductive reasoning. In this paper we survey our work on integrating induction directly into the saturation-based proof search framework of first-order theorem proving. We describe our induction inference rules proving properties with inductively defined datatypes and integers. We also present additional reasoning heuristics for strengthening inductive reasoning, as well as for using induction hypotheses and recursive function definitions for guiding induction. We present exhaustive experimental results demonstrating the practical impact of our approach as implemented within Vampire. This is an extended version of a Principles of Systems Design 2022 paper with the same title and the same authors.


title: Santal\'o Geometry of Convex Polytopes

abstract: The Santal\'o point of a convex polytope is the interior point which leads to a polar dual of minimal volume. This minimization problem is relevant in interior point methods for convex optimization, where the logarithm of the dual volume is known as the universal barrier function. When translating the facet hyperplanes, the Santal\'o point traces out a semi-algebraic set. We describe and compute this geometry using algebraic and numerical techniques. We exploit connections with statistics, optimization and physics.


title: WWW: A Unified Framework for Explaining What, Where and Why of Neural Networks by Interpretation of Neuron Concepts

abstract: Recent advancements in neural networks have showcased their remarkable capabilities across various domains. Despite these successes, the "black box" problem still remains. Addressing this, we propose a novel framework, WWW, that offers the 'what', 'where', and 'why' of the neural network decisions in human-understandable terms. Specifically, WWW utilizes adaptive selection for concept discovery, employing adaptive cosine similarity and thresholding techniques to effectively explain 'what'. To address the 'where' and 'why', we proposed a novel combination of neuron activation maps (NAMs) with Shapley values, generating localized concept maps and heatmaps for individual inputs. Furthermore, WWW introduces a method for predicting uncertainty, leveraging heatmap similarities to estimate 'how' reliable the prediction is. Experimental evaluations of WWW demonstrate superior performance in both quantitative and qualitative metrics, outperforming existing methods in interpretability. WWW provides a unified solution for explaining 'what', 'where', and 'why', introducing a method for localized explanations from global interpretations and offering a plug-and-play solution adaptable to various architectures.


title: Vibrational properties differ between halide and chalcogenide perovskite semiconductors, and it matters for optoelectronic performance

abstract: We report a comparative study of temperature-dependent photoluminescence and structural dynamics of two perovskite semiconductors, the chalcogenide BaZrS$_3$ (BZS) and the halide CsPbBr$_3$ (CPB). These materials have similar crystal structures and direct band gaps, but we find that they have quite distinct optoelectronic and vibrational properties. Both materials exhibit thermally-activated non-radiative recombination, but the non-radiative recombination rate in BZS is between two and four orders of magnitude faster than in CPB. Raman spectroscopy reveals that the effects of phonon anharmonicity are far more pronounced in CPB than in BZS. Further, although both materials feature a large dielectric response due to low-energy polar optical phonons, the phonons in CPB are substantially lower in energy than in BZS. Our results suggest that electron-phonon coupling in BZS is more effective at non-radiative recombination than in CPB, and that BZS may also have a substantially higher concentration of non-radiative recombination centers than CPB. The low defect concentration in CPB may be related to the ease of lattice reconfiguration, typified by anharmonic bonding. It remains to be seen to what extent these differences are inherent to the chalcogenide and halide perovskites and to what extent they can be affected by materials processing; comparing BZS single-crystals and thin films provides reason for optimism.


title: Boosting Semi-Supervised Object Detection in Remote Sensing Images With Active Teaching

abstract: The lack of object-level annotations poses a significant challenge for object detection in remote sensing images (RSIs). To address this issue, active learning (AL) and semi-supervised learning (SSL) techniques have been proposed to enhance the quality and quantity of annotations. AL focuses on selecting the most informative samples for annotation, while SSL leverages the knowledge from unlabeled samples. In this letter, we propose a novel AL method to boost semi-supervised object detection (SSOD) for remote sensing images with a teacher student network, called SSOD-AT. The proposed method incorporates an RoI comparison module (RoICM) to generate high-confidence pseudo-labels for regions of interest (RoIs). Meanwhile, the RoICM is utilized to identify the top-K uncertain images. To reduce redundancy in the top-K uncertain images for human labeling, a diversity criterion is introduced based on object-level prototypes of different categories using both labeled and pseudo-labeled images. Extensive experiments on DOTA and DIOR, two popular datasets, demonstrate that our proposed method outperforms state-of-the-art methods for object detection in RSIs. Compared with the best performance in the SOTA methods, the proposed method achieves 1 percent improvement in most cases in the whole AL.


title: MambaStock: Selective state space model for stock prediction

abstract: The stock market plays a pivotal role in economic development, yet its intricate volatility poses challenges for investors. Consequently, research and accurate predictions of stock price movements are crucial for mitigating risks. Traditional time series models fall short in capturing nonlinearity, leading to unsatisfactory stock predictions. This limitation has spurred the widespread adoption of neural networks for stock prediction, owing to their robust nonlinear generalization capabilities. Recently, Mamba, a structured state space sequence model with a selection mechanism and scan module (S6), has emerged as a powerful tool in sequence modeling tasks. Leveraging this framework, this paper proposes a novel Mamba-based model for stock price prediction, named MambaStock. The proposed MambaStock model effectively mines historical stock market data to predict future stock prices without handcrafted features or extensive preprocessing procedures. Empirical studies on several stocks indicate that the MambaStock model outperforms previous methods, delivering highly accurate predictions. This enhanced accuracy can assist investors and institutions in making informed decisions, aiming to maximize returns while minimizing risks. This work underscores the value of Mamba in time-series forecasting. Source code is available at https://github.com/zshicode/MambaStock.


title: Towards Out-of-Distribution Detection for breast cancer classification in Point-of-Care Ultrasound Imaging

abstract: Deep learning has shown to have great potential in medical applications. In critical domains as such, it is of high interest to have trustworthy algorithms which are able to tell when reliable assessments cannot be guaranteed. Detecting out-of-distribution (OOD) samples is a crucial step towards building a safe classifier. Following a previous study, showing that it is possible to classify breast cancer in point-of-care ultrasound images, this study investigates OOD detection using three different methods: softmax, energy score and deep ensembles. All methods are tested on three different OOD data sets. The results show that the energy score method outperforms the softmax method, performing well on two of the data sets. The ensemble method is the most robust, performing the best at detecting OOD samples for all three OOD data sets.


title: A new interacting Fock space, the Quon algebra with operator parameter and its Wick's theorem

abstract: Motivated by the creation-annihilation operators in a newly defined interacting Fock space, we initiate the introduction and the study of the Quon algebra. This algebra serves as an extension of the conventional quon algebra, where the traditional constant parameter $q$ found in the $q$--commutation relation is replaced by a specific operator. Importantly, our investigation aims to establish Wick's theorem in the Quon algebra, offering valuable insights into its properties and applications.


title: Program Synthesis in Saturation

abstract: We present an automated reasoning framework for synthesizing recursion-free programs using saturation-based theorem proving. Given a functional specification encoded as a first-order logical formula, we use a first-order theorem prover to both establish validity of this formula and discover program fragments satisfying the specification. As a result, when deriving a proof of program correctness, we also synthesize a program that is correct with respect to the given specification. We describe properties of the calculus that a saturation-based prover capable of synthesis should employ, and extend the superposition calculus in a corresponding way. We implemented our work in the first-order prover Vampire, extending the successful applicability of first-order proving to program synthesis. This is an extended version of an Automated Deduction -- CADE 29 paper with the same title and the same authors.


title: Quantification of Tracer Dilution Dynamics: An Exploration into the Mathematical Modeling of Medical Imaging

abstract: Convolution and deconvolution are essential techniques in various fields, notably in medical imaging, where they play a crucial role in analyzing dynamic processes such as blood flow. This paper explores the convolution and deconvolution of arterial and microvascular signals for determining impulse and residue functions from in vivo or simulated data and the derivation of the relationship between the residue function and perfusion metrics such as the Cerebral Blood Flow (CBF), Mean Transit Time (MTT) and Transit Time to Heterogeneity (TTH). The paper presents the spectral derivatives as a technique for recovering the impulse response function from the residue function, detailing the computational procedures involved and strategies for mitigating noise effects.


title: Resonant generation of propagating second-harmonic spin waves in nano-waveguides

abstract: Generation of second-harmonic waves is one of the universal nonlinear phenomena that have found numerous technical applications in many modern technologies, in particular, in photonics. This phenomenon also has great potential in the field of magnonics, which considers the use of spin waves in magnetic nanostructures to implement wave-based signal processing and computing. However, due to the strong frequency dependence of the phase velocity of spin waves, resonant phase-matched generation of second-harmonic spin waves has not yet been achieved in practice. Here, we show experimentally that such a process can be realized using a combination of different modes of nano-sized spin-wave waveguides based on low-damping magnetic insulators. We demonstrate that our approach enables efficient spatially-extended energy transfer between interacting waves, which can be controlled by the intensity of the initial wave and the static magnetic field. The demonstrated approach can be used for the generation of short-wavelength spin waves that are difficult to excite directly, as well as for the implementation of novel devices for magnonic logic and unconventional computing.


title: Induced Gravitational Wave interpretation of PTA data: a complete study for general equation of state

abstract: We thoroughly study the induced gravitational wave interpretation of the possible gravitational wave background reported by PTA collaborations, considering the unknown equation of state $w$ of the early universe. We perform a Bayesian analysis of the NANOGrav data using the publicly available \textsc{PTArcade} code together with \textsc{SIGWfast} for the numerical integration of the induced gravitational wave spectrum. We focus on two cases: a monochromatic and a log-normal primordial spectrum of fluctuations. For the log-normal spectrum, we show that, while the results are not very sensitive to $w$ when the GW peak is close to the PTA window, radiation domination is out of the $2\sigma$ contours when only the infra-red power-law tail contributes. For the monochromatic spectrum, the $2\sigma$ bounds yield $0.1\lesssim w\lesssim0.9$ so that radiation domination is close to the central value. We also investigate the primordial black hole (PBH) counterpart using the peak formalism. We show that, in general terms, a larger width and stiffer equation of state alleviates the overproduction of PBHs. No PBH overproduction requires $w\gtrsim0.42$ up to 2-$\sigma$ level for the monochromatic spectrum. Furthermore, including bounds from the cosmic microwave background, we find in general that the mass range of the PBH counterpart is bounded by $10^{-5} M_\odot\lesssim M_{\rm PBH}\lesssim10^{-1} M_\odot$. Lastly, we find that the PTA signal can explain the microlensing events reported by OGLE for $0.42\lesssim w\lesssim 0.50$. Our work showcases a complete treatment of induced gravitational waves and primordial black holes for general $w$ for future data analysis.


title: Vector Valued G\aa rding Inequality for pseudo-differential operators on compact homogeneous manifolds

abstract: We prove sufficient conditions in order to obtain a sharp G\aa rding inequality for pseudo-differential operators acting on vector-valued functions on compact Lie groups. As a consequence, we obtain a sharp G\aa rding inequality for compact homogeneous vector bundles and compact homogeneous manifolds. The sharp G\aa rding inequality is the strongest lower bound estimate known to hold for systems on $\mathbb{R}^n$, and the aim of this paper is to extend this property to systems on compact Lie groups and compact homogeneous manifolds. Our results extend previous works by Lax and Nirenberg [Comm. Pure Appl. Math., Vol. 8, 129-209, (1966)], and by Ruzhansky and Turunen [J. Funct. Anal., Vol. 267, 144-172, (2011)]. As an application, we establish existence and uniqueness of solution to a class of systems of initial value problems of pseudo-differential equations on compact Lie groups and compact homogeneous manifolds.


title: Cosmological transition epoch from gamma-ray burst correlations

abstract: The redshift $z_t$ and the jerk parameter $j_t$ of the transition epoch are constrained by using two model-independent approaches involving the direct expansion of the Hubble rate and the expansion of the deceleration parameter around $z=z_t$. To extend our analysis to high-redshifts, we employ the \emph{Amati}, \emph{Combo}, \emph{Yonetoku} and \emph{Dainotti} gamma-ray burst correlations. The \textit{circularity problem} is prevented by calibrating these correlations through the B\'ezier interpolation of the updated observational Hubble data. Each gamma-ray burst data set is jointly fit with type Ia supernovae and baryonic acoustic oscillations through a Monte Carlo analysis, based on the Metropolis-Hastings algorithm, to obtain $z_t$, $j_t$ and the correlation parameters. The overall results are compatible with the concordance model with some exceptions. We also focus on the behaviors of the dark energy, verifying its compatibility with a cosmological constant, and the matter density $\Omega_m$ and compare them with the expectations of the concordance paradigm.


title: Ambisonics Networks -- The Effect Of Radial Functions Regularization

abstract: Ambisonics, a popular format of spatial audio, is the spherical harmonic (SH) representation of the plane wave density function of a sound field. Many algorithms operate in the SH domain and utilize the Ambisonics as their input signal. The process of encoding Ambisonics from a spherical microphone array involves dividing by the radial functions, which may amplify noise at low frequencies. This can be overcome by regularization, with the downside of introducing errors to the Ambisonics encoding. This paper aims to investigate the impact of different ways of regularization on Deep Neural Network (DNN) training and performance. Ideally, these networks should be robust to the way of regularization. Simulated data of a single speaker in a room and experimental data from the LOCATA challenge were used to evaluate this robustness on an example algorithm of speaker localization based on the direct-path dominance (DPD) test. Results show that performance may be sensitive to the way of regularization, and an informed approach is proposed and investigated, highlighting the importance of regularization information.


title: OHTA: One-shot Hand Avatar via Data-driven Implicit Priors

abstract: In this paper, we delve into the creation of one-shot hand avatars, attaining high-fidelity and drivable hand representations swiftly from a single image. With the burgeoning domains of the digital human, the need for quick and personalized hand avatar creation has become increasingly critical. Existing techniques typically require extensive input data and may prove cumbersome or even impractical in certain scenarios. To enhance accessibility, we present a novel method OHTA (One-shot Hand avaTAr) that enables the creation of detailed hand avatars from merely one image. OHTA tackles the inherent difficulties of this data-limited problem by learning and utilizing data-driven hand priors. Specifically, we design a hand prior model initially employed for 1) learning various hand priors with available data and subsequently for 2) the inversion and fitting of the target identity with prior knowledge. OHTA demonstrates the capability to create high-fidelity hand avatars with consistent animatable quality, solely relying on a single image. Furthermore, we illustrate the versatility of OHTA through diverse applications, encompassing text-to-avatar conversion, hand editing, and identity latent space manipulation.


title: PrivatEyes: Appearance-based Gaze Estimation Using Federated Secure Multi-Party Computation

abstract: Latest gaze estimation methods require large-scale training data but their collection and exchange pose significant privacy risks. We propose PrivatEyes - the first privacy-enhancing training approach for appearance-based gaze estimation based on federated learning (FL) and secure multi-party computation (MPC). PrivatEyes enables training gaze estimators on multiple local datasets across different users and server-based secure aggregation of the individual estimators' updates. PrivatEyes guarantees that individual gaze data remains private even if a majority of the aggregating servers is malicious. We also introduce a new data leakage attack DualView that shows that PrivatEyes limits the leakage of private training data more effectively than previous approaches. Evaluations on the MPIIGaze, MPIIFaceGaze, GazeCapture, and NVGaze datasets further show that the improved privacy does not lead to a lower gaze estimation accuracy or substantially higher computational costs - both of which are on par with its non-secure counterparts.


title: High-fidelity simulations of microramp-controlled shock wave/boundary layer interaction

abstract: Microvortex generators (MVGs) are a promising solution to control shock wave/turbulent boundary layer interactions (SBLIs). This study examines the effects of a microramp VG on an SBLI generated by an oblique shock wave and a turbulent boundary layer using direct numerical simulations (DNSs). Two cases, with and without MVGs, are compared at free-stream Mach number equal to 2 and friction Reynolds number equal to 600. A long integration period allows assessing how MVGs affect the typical SBLI low-frequency unsteadiness. The 3D microramp wake dramatically alters the interaction, inducing spanwise modulation and topology changes of the separation. For example, tornado-like structures redistribute the recirculating flow in the spanwise and wall-normal directions. The increase in momentum close to the wall by the ramp vortices delays the onset of the separation but also leads to an increase in the intensity of the wall-pressure fluctuations. We then characterise the interaction between the arch-like vortices around the ramp wake and the SBLI. The spanwise vorticity shows that these vortices follow the edge of the separation, and their intensity is unaffected by the shocks. The shocks, instead, are deformed by the impingement of the vortices, although the spectral analysis does not reveal relevant traces of their shedding frequency at separation. These vortices, however, may be important in the separation bubble closure. A constant increase - in both value and magnitude - in the low-frequency peak is observed all along the span, suggesting that the shock oscillation remains coherent while being disturbed by the arch-like vortices.


title: Relationship between chain reactions in a nuclear reactor and multifractality

abstract: A multifractal model of neutron evolution in a reactor is considered. For chain reactions, the dimension of the multifractal carrier, information and correlation dimensions, the entropy of the fractal set, the maximum and minimum values of the dimension, the multifractal spectrum function and other characteristics of multifractal neutron behavior are found. The use of geometric characteristics of a multifractal makes it possible to describe a stochastic system of hierarchically subordinate statistical ensembles, characterized by Cayley trees. A stationary distribution over hierarchical levels is established, which reduces to the Tsallis power law. Some possibilities for using fractal patterns in the theory of nuclear reactors are indicated.


title: Privacy Management and Interface Design for a Smart House

abstract: In today's life, more and more people tend to opt for a smart house. In this way, the idea of including technology has become popular worldwide. Despite this concept's many benefits, managing security remains an essential problem due to the shared activities. The Internet of Things system behind a smart house is based on several sensors to measure temperature, humidity, air quality, and movement. Because of being supervised every day through sensors and controlling their house only with a simple click, many people can be afraid of this new approach in terms of their privacy, and this fact can constrain them from following their habits. The security aspects should be constantly analyzed to keep the data's confidentiality and make people feel safe in their own houses. In this context, the current paper puts light on an alternative design of a platform in which the safety of homeowners is the primary purpose, and they maintain complete control over the data generated by smart devices. The current research highlights the role of security and interface design in controlling a smart house. The study underscores the importance of providing an interface that can be used easily by any person to manage data and live activities in a modern residence in an era dominated by continuously developing technology.


title: Graph Generation via Spectral Diffusion

abstract: In this paper, we present GRASP, a novel graph generative model based on 1) the spectral decomposition of the graph Laplacian matrix and 2) a diffusion process. Specifically, we propose to use a denoising model to sample eigenvectors and eigenvalues from which we can reconstruct the graph Laplacian and adjacency matrix. Our permutation invariant model can also handle node features by concatenating them to the eigenvectors of each node. Using the Laplacian spectrum allows us to naturally capture the structural characteristics of the graph and work directly in the node space while avoiding the quadratic complexity bottleneck that limits the applicability of other methods. This is achieved by truncating the spectrum, which as we show in our experiments results in a faster yet accurate generative process. An extensive set of experiments on both synthetic and real world graphs demonstrates the strengths of our model against state-of-the-art alternatives.


title: Theoretically Achieving Continuous Representation of Oriented Bounding Boxes

abstract: Considerable efforts have been devoted to Oriented Object Detection (OOD). However, one lasting issue regarding the discontinuity in Oriented Bounding Box (OBB) representation remains unresolved, which is an inherent bottleneck for extant OOD methods. This paper endeavors to completely solve this issue in a theoretically guaranteed manner and puts an end to the ad-hoc efforts in this direction. Prior studies typically can only address one of the two cases of discontinuity: rotation and aspect ratio, and often inadvertently introduce decoding discontinuity, e.g. Decoding Incompleteness (DI) and Decoding Ambiguity (DA) as discussed in literature. Specifically, we propose a novel representation method called Continuous OBB (COBB), which can be readily integrated into existing detectors e.g. Faster-RCNN as a plugin. It can theoretically ensure continuity in bounding box regression which to our best knowledge, has not been achieved in literature for rectangle-based object representation. For fairness and transparency of experiments, we have developed a modularized benchmark based on the open-source deep learning framework Jittor's detection toolbox JDet for OOD evaluation. On the popular DOTA dataset, by integrating Faster-RCNN as the same baseline model, our new method outperforms the peer method Gliding Vertex by 1.13% mAP50 (relative improvement 1.54%), and 2.46% mAP75 (relative improvement 5.91%), without any tricks.


title: Spectroscopic survey of faint planetary-nebula nuclei III. A [WC] central star and two new PG1159 nuclei

abstract: We present spectroscopy of three hydrogen-deficient central stars of faint planetary nebulae, with effective temperatures ($T_\mathrm{eff}$) in excess of 100,000 K. The nucleus of RaMul 2 is a Population II Wolf-Rayet star of spectral type [WC], and the central stars of Abell 25 and StDr 138 are two new members of the PG1159 class. Our spectral analyses reveal that their atmospheres have a similar chemical composition. They are dominated by helium and carbon, which was probably caused by a late helium-shell flash. Coincidentally, the three stars have similar masses of about $M=0.53\,M_\odot$ and, hence, form a post-AGB evolutionary sequence of an initially early-K type main-sequence star with $M=0.8\,M_\odot$. The central stars cover the period during which the luminosity fades from about $3000$ to $250\,L_\odot$ and the radius shrinks from about $0.15$ to $0.03\,R_\odot$. The concurrent increase of the surface gravity during this interval from $\log g$ = 5.8 to 7.2 causes the shutdown of the stellar wind from an initial mass-loss rate of $\log (\dot{M}/M_\odot\,$${\rm yr}^{-1}) = -6.4$, as measured for the [WC] star. Along the contraction phase, we observe an increase of $T_\mathrm{eff}$ from 112,000 K, marked by the [WC] star, to the maximum value of 140,000 K and a subsequent cooling to 130,000 K, marked by the two PG1159 stars.


title: Domain growth kinetics of active model B with thermal fluctuations

abstract: We perform a comprehensive study on the role of thermal noise on the ordering kinetics of a collection of active Brownian particles modeled using coarse-grained conserved active model B (AMB). The ordering kinetics of the system is studied for the critical mixture when quenched from high to a low temperature. The structure of the growing domains changes from isolated droplet type for AMB without noise to bi-continuous type for active model B with noise (AMBN). Unlike the passive counterpart of the AMB, the noise is relevant for the growth kinetics of the AMB. We use extensive numerical study, as well as dynamic scaling hypothesis to characterize the kinetics of the system. We find that the asymptotic growth law for AMBN is diffusive Lifshitz-Slyozov (LS) type, whereas it was reported previously that the asymptotic growth law for the AMB without noise is slower, with a growth exponent 4. Moreover, the kinetics of the growing domains show a strong time dependent growth for AMBN. The growth law shows a crossover from early time 1/3 value to intermediate time 1/4 value, and it again traverses from 1/4 to 1/3 asymptotically. The two different scaling functions are found for intermediate time and late time with growth law 1/4 and 1/3 respectively.


title: Calculated brightness temperatures of solar structures compared with ALMA and Mets\"ahovi measurements

abstract: The Atacama Large Millimeter/submillimeter Array (ALMA) allows for solar observations in the wavelength range of 0.3$-$10 mm, giving us a new view of the chromosphere. The measured brightness temperature at various frequencies can be fitted with theoretical models of density and temperature versus height. We use the available ALMA and Mets\"ahovi measurements of selected solar structures (quiet sun (QS), active regions (AR) devoid of sunspots, and coronal holes (CH)). The measured QS brightness temperature in the ALMA wavelength range agrees well with the predictions of the semiempirical Avrett$-$Tian$-$Landi$-$Curdt$-$W\"ulser (ATLCW) model, better than previous models such as the Avrett$-$Loeser (AL) or Fontenla$-$Avrett$-$Loeser model (FAL). We scaled the ATLCW model in density and temperature to fit the observations of the other structures. For ARs, the fitted models require 9%$-$13% higher electron densities and 9%$-$10% higher electron temperatures, consistent with expectations. The CH fitted models require electron densities 2%$-$40% lower than the QS level, while the predicted electron temperatures, although somewhat lower, do not deviate significantly from the QS model. Despite the limitations of the one-dimensional ATLCW model, we confirm that this model and its appropriate adaptations are sufficient for describing the basic physical properties of the solar structures.


title: Percolation threshold and critical point of a nuclear reactor

abstract: Neutrons in a nuclear reactor move along trajectories corresponding to Cayley trees associated with branching random processes. The probability of percolation, the appearance of such a state of the Bethe lattice in which there is at least one continuous path through neighboring conducting nodes through the entire lattice, corresponds to the probability of the occurrence of a self-sustaining fission chain reaction. At a critical value of the last probability, a (conditionally) infinite cluster of neutrons appears. The probability of percolation, depending on the operating time of the reactor and its size, is associated with the criticality of the reactor. The temporal behavior of the neutron multiplication factor is estimated. Particular attention is paid to the early stages of the development of a self-sustaining chain reaction of nuclear fission. The possibilities of determining the boundaries of the critical region are indicated.


title: Helper Data Schemes for Coded Modulation and Shaping in Physical Unclonable Functions

abstract: In this paper, we consider the generation and utilization of helper data for physical unclonable functions (PUFs) that provide real-valued readout symbols. Compared to classical binary PUFs, more entropy can be extracted from each basic building block (PUF node), resulting in longer keys/fingerprints and/or a higher reliability. To this end, a coded modulation and signal shaping scheme that matches the (approximately) Gaussian distribution of the readout has to be employed. A new helper data scheme is proposed that works with any type of coded modulation/shaping scheme. Compared to the permutation scheme from the literature, less amount of helper data has to be generated and a higher reliability is achieved. Moreover, the recently proposed idea of a two-metric helper data scheme is generalized to coded modulation and a general S-metric scheme. It is shown how extra helper data can be generated to improve decodability. The proposed schemes are assessed by numerical simulations and by evaluation of measurement data. We compare multi-level codes using a new rate design strategy with bit-interleaved coded modulation and trellis shaping with a distribution matcher. By selecting a suitable design, the rate per PUF node that can be reliably extracted can be as high as 2~bit/node.


title: HISOL: high-energy soliton dynamics enable ultrafast far-ultraviolet laser sources

abstract: Ultrafast laser sources in the far ultraviolet (100 nm to 300 nm) have been the subject of intense experimental efforts for several decades, driven primarily by the requirements of advanced experiments in ultrafast science. Resonant dispersive wave emission from high-energy laser pulses undergoing soliton self-compression in a gas-filled hollow capillary fibre promises to meet several of these requirements for the first time, most importantly by combining wide-ranging wavelength tuneability with the generation of extremely short pulses. In this Perspective, we give an overview of this approach to ultrafast far-ultraviolet sources, including its historical origin and underlying physical mechanism, the state of the art and current challenges, and our view of potential applications both within and beyond ultrafast science.


title: Splitting integrators for linear Vlasov equations with stochastic perturbations

abstract: We consider a class of linear Vlasov partial differential equations driven by Wiener noise. Different types of stochastic perturbations are treated: additive noise, multiplicative It\^o and Stratonovich noise, and transport noise. We propose to employ splitting integrators for the temporal discretization of these stochastic partial differential equations. These integrators are designed in order to preserve qualitative properties of the exact solutions depending on the stochastic perturbation, such as preservation of norms or positivity of the solutions. We provide numerical experiments in order to illustrate the properties of the proposed integrators and investigate mean-square rates of convergence.


title: Free energy expansions of a conditional GinUE and large deviations of the smallest eigenvalue of the LUE

abstract: We consider a planar Coulomb gas ensemble of size $N$ with the inverse temperature $\beta=2$ and external potential $Q(z)=|z|^2-2c \log|z-a|$, where $c>0$ and $a \in \mathbb{C}$. Equivalently, this model can be realised as $N$ eigenvalues of the complex Ginibre matrix of size $(c+1) N \times (c+1) N$ conditioned to have deterministic eigenvalue $a$ with multiplicity $cN$. Depending on the values of $c$ and $a$, the droplet reveals a phase transition: it is doubly connected in the post-critical regime and simply connected in the pre-critical regime. In both regimes, we derive precise large-$N$ expansions of the free energy up to the $O(1)$ term, providing a non-radially symmetric example that confirms the Zabrodin-Wiegmann conjecture made for general planar Coulomb gas ensembles. As a consequence, our results provide asymptotic behaviours of moments of the characteristic polynomial of the complex Ginibre matrix, where the powers are of order $O(N)$. Furthermore, by combining with a duality formula, we obtain precise large deviation probabilities of the smallest eigenvalue of the Laguerre unitary ensemble. Our proof is based on a refined Riemann-Hilbert analysis for planar orthogonal polynomials using the partial Schlesinger transform.


title: Graph Burning: Bounds and Hardness

abstract: Graph burning models the propagation of information within a network as a stepwise process where at each step, one node becomes informed, and this information also spreads to all neighbors of previously informed nodes. Formally, graph burning is defined as follows: For an undirected graph $G$, at step $t=0$ all vertices in $G$ are unburned. At each step $t\ge 1$, one new unburned vertex is selected to burn if such a vertex exists. If a vertex is burned at step $t$, then all its unburned neighbors are burned in step $t+1$, and the process continues until there are no unburned vertices in $G$. The burning number of a graph $G$, denoted by $b(G)$, is the minimum number of steps required to burn all the vertices of $G$. The burning number problem asks whether the burning number of an input graph $G$ is at most $k$ or not. In this paper, we study the burning number problem both from an algorithmic and a structural point of view. The burning number problem is known to be NP-complete for trees with maximum degree at most three and interval graphs. Here, we prove that this problem is NP-complete even when restricted to connected cubic graphs and connected proper interval graphs. The well-known burning number conjecture asserts that all the vertices of a graph of order $n$ can be burned in $\lceil\sqrt{n}~\rceil$ steps. In line with this conjecture, upper and lower bounds of $b(G)$ are well-studied for various graph classes. Here, we provide an improved upper bound for the burning number of connected $P_k$-free graphs and show that the bound is tight up to an additive constant $1$. Finally, we study two variants of the problem, namely edge burning (only edges are burned) and total burning (both vertices and edges are burned). In particular, we establish their relationship with the burning number problem and evaluate the algorithmic complexity of these variants.


title: Blume-Capel model analysis with microcanonical population annealing method

abstract: We present a modification of the Rose-Machta algorithm (Phys. Rev. E 100 (2019) 063304) and estimate the density of states for a two-dimensional Blume-Capel model, simulating $10^5$ replicas in parallel for each set of parameters. We perform a finite-size analysis of the specific heat and Binder cumulant, determine the critical temperature along the critical line, and evaluate the critical exponents. The results obtained are in good agreement with those obtained previously using various methods -- Markov Chain Monte Carlo simulation, Wang-Landau simulation, transfer matrix, and series expansion. The simulation results clearly illustrate the typical behavior of specific heat along the critical lines and through the tricritical point.


title: Always be Pre-Training: Representation Learning for Network Intrusion Detection with GNNs

abstract: Graph neural network-based network intrusion detection systems have recently demonstrated state-of-the-art performance on benchmark datasets. Nevertheless, these methods suffer from a reliance on target encoding for data pre-processing, limiting widespread adoption due to the associated need for annotated labels--a cost-prohibitive requirement. In this work, we propose a solution involving in-context pre-training and the utilization of dense representations for categorical features to jointly overcome the label-dependency limitation. Our approach exhibits remarkable data efficiency, achieving over 98% of the performance of the supervised state-of-the-art with less than 4% labeled data on the NF-UQ-NIDS-V2 dataset.


title: The Catalan's triangle system, the Catalan's trapezoids and (q,2)--Fock space

abstract: We provide an explicit formulation for the solution to the Catalan's triangle system using Catalan's trapezoids and a specified boundary condition. Additionally, we study this system with various boundary conditions obtained by utilizing different types of Fock spaces.


title: Atom interferometry at arbitrary orientations and rotation rates

abstract: The exquisite precision of atom interferometers has sparked the interest of a large community for use cases ranging from fundamental physics to geodesy and inertial navigation. However, their practical use for onboard applications is still limited, not least because rotation and acceleration are intertwined in a single phase shift in free-fall atom interferometers, which makes the extraction of a useful signal more challenging. Moreover, the spatial separation of the wave packets due to rotations leads to a loss of signal. Here we present an atom interferometer operating over a large range of random angles, rotation rates and accelerations. An accurate model of the expected phase shift allows us to untangle the rotation and acceleration signals. We also implement a real-time compensation system using two fibre-optic gyroscopes and a tip-tilt platform to rotate the reference mirror and maintain the full contrast of the atom interferometer. Using these theoretical and practical tools, we reconstruct the fringes and demonstrate a single-shot sensitivity to acceleration of 24 $\mu$g, for a total interrogation time of 2T = 20 ms, for angles and rotation rates reaching 30$^\circ$ and 14 $^\circ$/s respectively. Our hybrid rotating atom interferometer unlocks the full potential of quantum inertial sensors for onboard applications, such as autonomous navigation or gravity mapping.


title: Extracting quantum-critical properties from directly evaluated enhanced perturbative continuous unitary transformations

abstract: Directly evaluated enhanced perturbative continuous unitary transformations (deepCUTs) are used to calculate non-perturbatively extrapolated numerical data for the ground-state energy and the energy gap. The data coincides with the perturbative series up to the order with respect to which the deepCUT is truncated. We develop a general scheme to extract quantum-critical properties from the deepCUT data based on critical scaling and a strict correspondence between the truncation used for deepCUT and the length scale of correlations at the critical point. We apply our approach to transverse-field Ising models (TFIMs) as paradigmatic systems for quantum phase transitions of various universality classes depending on the lattice geometry and the choice of antiferromagnetic or ferromagnetic coupling. In particular, we focus on the quantum phase diagram of the bilayer antiferromagnetic TFIM on the triangular lattice with an Ising-type interlayer coupling. Without a field, the model is known to host a classically disordered ground state, and in the limit of decoupled layers it exhibits the 3d-XY 'order by disorder' transition of the corresponding single-layer model. Our starting point for the unknown parts of the phase diagram is a high-order perturbative calculation about the limit of isolated dimers where the model is in a gapped phase.


title: The astrophysical parameters of chemically peculiar stars from automatic methods

abstract: The chemically peculiar (CP) stars of the upper main sequence are excellent astrophysical laboratories for investigating the diffusion, mass loss, rotational mixing, and pulsation in the presence and absence of a stable local magnetic field. For this, we need a homogeneous set of parameters, such as effective temperature and surface gravity, to locate the stars in the Hertzsprung-Russell diagram so that we can then estimate the mass, radius, and age. In recent years, the results of several automatic pipelines have been published; these use various techniques and data sets, including effective temperature and surface gravity values for millions of stars. Because CP stars are known to have flux anomalies, these astrophysical parameters must be tested for their reliability and usefulness. If the outcome is positive, these can be used to analyse the new and faint CP stars published recently. I compared published effective temperature and surface gravity values of a set of CP stars, which are mostly based on high-resolution spectroscopy, with values from four automatic pipeline approaches. In doing so, I searched for possible correlations and offsets. I present a detailed statistical analysis of a comparison between the `standard' and published effective temperature and surface gravity values. The accuracy depends on the presence of a magnetic field and the spectral type of the CP subgroups. However, I obtain standard deviations of between 2% and 20%. Considering the statistical errors, the astrophysical parameters from the literature can be used for CP stars, although caution is advised for magnetic CP stars.


title: Variability mitigation in epitaxial-heterostructure-based spin qubit devices via gate layout optimization

abstract: The scalability of spin qubit devices is conditioned by qubit-to-qubit variability. Disorder in the host materials indeed affects the wave functions of the confined carriers, which leads to variations in their charge and spin properties. Charge disorder in the amorphous oxides is particularly detrimental owing to its long-range influence. Here we analyze the effects of charge traps at the semiconductor/oxide interface, which are generally believed to play a dominant role in variability. We consider multiple random distributions of these interface traps and numerically calculate their impact on the chemical potentials, detuning and tunnel coupling of two adjacent quantum dots in SiGe heterostructure. Our results highlight the beneficial screening effect of the metal gates. The surface of the heterostructure shall, therefore, be covered as much as possible by the gates in order to limit variability. We propose an alternative layout with tip-shaped gates that maximizes the coverage of the semiconductor/oxide interface and outperforms the usual planar layout in some regimes. This highlights the importance of design in the management of device-to-device variability.


title: Enhanced metamagnetic shape memory effect in Heusler-type Ni37Co11Mn43Sn9 polycrystalline ferromagnetic shape memory alloy

abstract: Polycrystalline Ni-Co-Mn-Sn based ferromagnetic shape memory alloys (FSMAs) show promise as actuator materials, but their practical application involving magnetic field induced strain (MFIS) is often limited by three factors: the requirement for high magnetic fields (> 5 T), martensitic transition temperature away from room temperature, and limited recovery of pre-strain applied to the martensite phase. Current work investigates the martensitic transition (MT) and shape memory effect under the application of magnetic field for bulk polycrystalline Ni37Co11Mn43Sn9 alloy. The outcome of the study reveals a metamagnetic transition from the martensitic phase to the austenitic phase at a low field of 2.8 T at 300 K which results 0.25% spontaneous MFIS. Interestingly, 1.3% pre-strained specimen registers a 100% recovery with the application of magnetic field of 4.5 T. Furthermore, the pre-strained specimen exhibited a two-way shape memory effect between a strain value of 1.0% to 1.55% during the field loading and unloading sequences. Notably, this study also demonstrates, to the best of our knowledge , for the first time, that the spontaneous strain and pre-strain add together. This finding paves the way for achieving a giant MFIS by pre-straining a Ni-Mn-Sn/In class of FSMAs which shows large spontaneous MFIS.


title: Kodama-like Vector Fields in Axisymmetric Spacetimes

abstract: We extend the concept of the Kodama symmetry, a quasi-local time translation symmetry for dynamical spherically symmetric spacetimes, to a specific class of dynamical axisymmetric spacetimes, namely the families of Kerr-Vaidya and Kerr-Vaidya-de Sitter spacetimes. We study some geometrical properties of the asymptotically flat Kerr-Vaidya metric, such as the Brown-York mass and the Einstein tensor. Furthermore, we propose a generalization of the Kerr-Vaidya metric to an asymptotic de Sitter background. We show that for these classes of dynamical axisymmetric black hole spacetimes, there exists a timelike vector field that exhibits similar properties to the Kodama vector field in spherical symmetry. This includes the construction of a covariantly conserved current and a corresponding locally conserved charge, which in the Kerr-Vaidya case converges to the Brown-York mass in the asymptotically flat region.


title: Spyx: A Library for Just-In-Time Compiled Optimization of Spiking Neural Networks

abstract: As the role of artificial intelligence becomes increasingly pivotal in modern society, the efficient training and deployment of deep neural networks have emerged as critical areas of focus. Recent advancements in attention-based large neural architectures have spurred the development of AI accelerators, facilitating the training of extensive, multi-billion parameter models. Despite their effectiveness, these powerful networks often incur high execution costs in production environments. Neuromorphic computing, inspired by biological neural processes, offers a promising alternative. By utilizing temporally-sparse computations, Spiking Neural Networks (SNNs) offer to enhance energy efficiency through a reduced and low-power hardware footprint. However, the training of SNNs can be challenging due to their recurrent nature which cannot as easily leverage the massive parallelism of modern AI accelerators. To facilitate the investigation of SNN architectures and dynamics researchers have sought to bridge Python-based deep learning frameworks such as PyTorch or TensorFlow with custom-implemented compute kernels. This paper introduces Spyx, a new and lightweight SNN simulation and optimization library designed in JAX. By pre-staging data in the expansive vRAM of contemporary accelerators and employing extensive JIT compilation, Spyx allows for SNN optimization to be executed as a unified, low-level program on NVIDIA GPUs or Google TPUs. This approach achieves optimal hardware utilization, surpassing the performance of many existing SNN training frameworks while maintaining considerable flexibility.


title: Negative-Binomial Randomized Gamma Markov Processes for Heterogeneous Overdispersed Count Time Series

abstract: Modeling count-valued time series has been receiving increasing attention since count time series naturally arise in physical and social domains. Poisson gamma dynamical systems (PGDSs) are newly-developed methods, which can well capture the expressive latent transition structure and bursty dynamics behind count sequences. In particular, PGDSs demonstrate superior performance in terms of data imputation and prediction, compared with canonical linear dynamical system (LDS) based methods. Despite these advantages, PGDS cannot capture the heterogeneous overdispersed behaviours of the underlying dynamic processes. To mitigate this defect, we propose a negative-binomial-randomized gamma Markov process, which not only significantly improves the predictive performance of the proposed dynamical system, but also facilitates the fast convergence of the inference algorithm. Moreover, we develop methods to estimate both factor-structured and graph-structured transition dynamics, which enable us to infer more explainable latent structure, compared with PGDSs. Finally, we demonstrate the explainable latent structure learned by the proposed method, and show its superior performance in imputing missing data and forecasting future observations, compared with the related models.


title: Metasurface spectrometers beyond resolution-sensitivity constraints

abstract: Optical spectroscopy plays an essential role across scientific research and industry for non-contact materials analysis1-3, increasingly through in-situ or portable platforms4-6. However, when considering low-light-level applications, conventional spectrometer designs necessitate a compromise between their resolution and sensitivity7,8, especially as device and detector dimensions are scaled down. Here, we report on a miniaturizable spectrometer platform where light throughput onto the detector is instead enhanced as the resolution is increased. This planar, CMOS-compatible platform is based around metasurface encoders designed to exhibit photonic bound states in the continuum9, where operational range can be altered or extended simply through adjusting geometric parameters. This system can enhance photon collection efficiency by up to two orders of magnitude versus conventional designs; we demonstrate this sensitivity advantage through ultra-low-intensity fluorescent and astrophotonic spectroscopy. This work represents a step forward for the practical utility of spectrometers, affording a route to integrated, chip-based devices that maintain high resolution and SNR without requiring prohibitively long integration times.


title: Motion of test particles in quasi anti-de Sitter regular black holes

abstract: We explore the characteristics of two novel regular spacetimes that exhibit a non-zero vacuum energy term, under the form of a (quasi) anti-de Sitter phase. Specifically, the first metric is spherical, while the second, derived by applying the generalized Newman-Janis algorithm to the first, is axisymmetric. We show that the equations of state of the effective fluids associated with the two metrics asymptotically tend to negative values, resembling quintessence. In addition, we study test particle motions, illustrating the main discrepancies among our models and more conventional metrics exhibiting non-vanishing anti-de Sitter phase.


title: COFT-AD: COntrastive Fine-Tuning for Few-Shot Anomaly Detection

abstract: Existing approaches towards anomaly detection~(AD) often rely on a substantial amount of anomaly-free data to train representation and density models. However, large anomaly-free datasets may not always be available before the inference stage; in which case an anomaly detection model must be trained with only a handful of normal samples, a.k.a. few-shot anomaly detection (FSAD). In this paper, we propose a novel methodology to address the challenge of FSAD which incorporates two important techniques. Firstly, we employ a model pre-trained on a large source dataset to initialize model weights. Secondly, to ameliorate the covariate shift between source and target domains, we adopt contrastive training to fine-tune on the few-shot target domain data. To learn suitable representations for the downstream AD task, we additionally incorporate cross-instance positive pairs to encourage a tight cluster of the normal samples, and negative pairs for better separation between normal and synthesized negative samples. We evaluate few-shot anomaly detection on on 3 controlled AD tasks and 4 real-world AD tasks to demonstrate the effectiveness of the proposed method.


title: Mixing Times for the Facilitated Exclusion Process

abstract: The facilitated simple exclusion process (FEP) is a one-dimensional exclusion process with a dynamical constraint. We establish bounds on the mixing time of the FEP on the segment, with closed boundaries, and the circle. The FEP on these spaces exhibits transient states that, if the macroscopic density of particles is at least $1/2$, the process will eventually exit to reach an ergodic component. If the macroscopic density is less than $1/2$ the process will hit an absorbing state. We show that the symmetric FEP (SFEP) on the segment $\{1,\ldots,N\}$, with $k>N/2$ particles, has mixing time of order $N^{2}\log(N-k)$ and exhibits the pre-cutoff phenomenon. For the asymmetric FEP (AFEP) on the segment, we show that there exists initial conditions for which the hitting time of the ergodic component is exponentially slow in the number of holes $N-k$. In particular, when $N-k$ is large enough, the hitting time of the ergodic component determines the mixing time. For the SFEP on the circle of size $N$, and macroscopic particle density $\rho \in(1/2,1)$, we establish bounds on the mixing time of order $N^{2}\log N$ for the process restricted to its ergodic component. We also give an upper bound on the hitting time of the ergodic component of order $N^{2}\log N$ for a large class of initial conditions. The proofs rely on couplings with exclusion processes (both open and closed boundaries) via a novel lattice path (height function) construction of the FEP.


title: On subgroups with narrow Schreier graphs

abstract: We study finitely generated pairs of groups $H \leq G$ such that the Schreier graph of $H$ has at least two ends and is \emph{narrow}. Examples of narrow Schreier graphs include those that are quasi-isometric to finitely ended trees or have linear growth. Under this hypothesis, we show that $H$ is a virtual fiber subgroup if and only if $G$ contains infinitely many double cosets of $H$. Along the way, we prove that if a group acts essentially on a finite dimensional CAT(0) cube complex with no facing triples then it virtually surjects onto the integers with kernel commensurable to a hyperplane stabiliser.


title: Analysis of the Two-Step Heterogeneous Transfer Learning for Laryngeal Blood Vessel Classification: Issue and Improvement

abstract: Accurate classification of laryngeal vascular as benign or malignant is crucial for early detection of laryngeal cancer. However, organizations with limited access to laryngeal vascular images face challenges due to the lack of large and homogeneous public datasets for effective learning. Distinguished from the most familiar works, which directly transfer the ImageNet pre-trained models to the target domain for fine-tuning, this work pioneers exploring two-step heterogeneous transfer learning (THTL) for laryngeal lesion classification with nine deep-learning models, utilizing the diabetic retinopathy color fundus images, semantically non-identical yet vascular images, as the intermediate domain. Attention visualization technique, Layer Class Activate Map (LayerCAM), reveals a novel finding that yet the intermediate and the target domain both reflect vascular structure to a certain extent, the prevalent radial vascular pattern in the intermediate domain prevents learning the features of twisted and tangled vessels that distinguish the malignant class in the target domain, summarizes a vital rule for laryngeal lesion classification using THTL. To address this, we introduce an enhanced fine-tuning strategy in THTL called Step-Wise Fine-Tuning (SWFT) and apply it to the ResNet models. SWFT progressively refines model performance by accumulating fine-tuning layers from back to front, guided by the visualization results of LayerCAM. Comparison with the original THTL approach shows significant improvements. For ResNet18, the accuracy and malignant recall increases by 26.1% and 79.8%, respectively, while for ResNet50, these indicators improve by 20.4% and 62.2%, respectively.


title: GoalNet: Goal Areas Oriented Pedestrian Trajectory Prediction

abstract: Predicting the future trajectories of pedestrians on the road is an important task for autonomous driving. The pedestrian trajectory prediction is affected by scene paths, pedestrian's intentions and decision-making, which is a multi-modal problem. Most recent studies use past trajectories to predict a variety of potential future trajectory distributions, which do not account for the scene context and pedestrian targets. Instead of predicting the future trajectory directly, we propose to use scene context and observed trajectory to predict the goal points first, and then reuse the goal points to predict the future trajectories. By leveraging the information from scene context and observed trajectory, the uncertainty can be limited to a few target areas, which represent the "goals" of the pedestrians. In this paper, we propose GoalNet, a new trajectory prediction neural network based on the goal areas of a pedestrian. Our network can predict both pedestrian's trajectories and bounding boxes. The overall model is efficient and modular, and its outputs can be changed according to the usage scenario. Experimental results show that GoalNet significantly improves the previous state-of-the-art performance by 48.7% on the JAAD and 40.8% on the PIE dataset.


title: GVZ-groups with two character degrees

abstract: We investigate the finite groups $G$ for which $\chi(1)^{2}=|G:Z(\chi)|$ for all characters $\chi \in Irr(G)$ and $|cd(G)|=2$. We obtain some alternate characterizations of these groups and we obtain some information regarding the structure of these groups.


title: RSAM-Seg: A SAM-based Approach with Prior Knowledge Integration for Remote Sensing Image Semantic Segmentation

abstract: The development of high-resolution remote sensing satellites has provided great convenience for research work related to remote sensing. Segmentation and extraction of specific targets are essential tasks when facing the vast and complex remote sensing images. Recently, the introduction of Segment Anything Model (SAM) provides a universal pre-training model for image segmentation tasks. While the direct application of SAM to remote sensing image segmentation tasks does not yield satisfactory results, we propose RSAM-Seg, which stands for Remote Sensing SAM with Semantic Segmentation, as a tailored modification of SAM for the remote sensing field and eliminates the need for manual intervention to provide prompts. Adapter-Scale, a set of supplementary scaling modules, are proposed in the multi-head attention blocks of the encoder part of SAM. Furthermore, Adapter-Feature are inserted between the Vision Transformer (ViT) blocks. These modules aim to incorporate high-frequency image information and image embedding features to generate image-informed prompts. Experiments are conducted on four distinct remote sensing scenarios, encompassing cloud detection, field monitoring, building detection and road mapping tasks . The experimental results not only showcase the improvement over the original SAM and U-Net across cloud, buildings, fields and roads scenarios, but also highlight the capacity of RSAM-Seg to discern absent areas within the ground truth of certain datasets, affirming its potential as an auxiliary annotation method. In addition, the performance in few-shot scenarios is commendable, underscores its potential in dealing with limited datasets.


title: Multidimensional Radiation Hydrodynamics Simulations of Supernova 1987A Shock Breakout

abstract: Shock breakout is the first electromagnetic signal from supernovae (SNe), which contains important information on the explosion energy and the size and chemical composition of the progenitor star. This paper presents the first two-dimensional (2D) multi-wavelength radiation hydrodynamics simulations of SN 1987A shock breakout by using the $\texttt{CASTRO}$ code with the opacity table, $\texttt{OPAL}$, considering eight photon groups from infrared to X-ray. To investigate the impact of the pre-supernova environment of SN 1987A, we consider possible three cases of circumstellar medium (CSM) environments: only a steady wind; an eruptive mass loss; and the existence of a companion star. In sum, the resulting breakout light curve has an hour duration and its peak luminosity of $\sim 6\times 10^{46} \mathrm{erg}\,\mathrm{s}^{-1}$ following efficient post-breakout X-ray cooling of $\sim 3.5$ mag hour$^{-1}$. The dominant band transits to UV after around 3 hours of shock breakout and its luminosity has a decay rate of $\sim 1.5$ mag hour$^{-1}$ that agrees well with the observed shock breakout tail. The detailed features of breakout emission are sensitive to the pre-explosion environment. Our 2D simulations also demonstrate the importance of post-breakout mixing and its impacts on shock dynamics and radiation emission. The mixing driven by the shock breakout may lead to a global asymmetry of SN ejecta and affect its later supernova remnant formation.


title: Light quarkonium hybrid mesons

abstract: We investigate the light quarkonium hybrid mesons of various spin-parities in QCD. Considering different interpolating currents made of the valence light quarks and single gluon, we calculate the mass and current coupling of the strange and nonstrange members of light hybrid mesons by including into computations the nonperturbative quark and gluon condensates up to ten dimensions in order to increase the accuracy of the results. The obtained results may be useful for future experimental searches of these hypothetical states. They can also be used in the calculations of different parameters related to the decays/interactions of light hybrid mesons to/with other states.


title: DOZE: A Dataset for Open-Vocabulary Zero-Shot Object Navigation in Dynamic Environments

abstract: Zero-Shot Object Navigation (ZSON) requires agents to autonomously locate and approach unseen objects in unfamiliar environments and has emerged as a particularly challenging task within the domain of Embodied AI. Existing datasets for developing ZSON algorithms lack consideration of dynamic obstacles, object attribute diversity, and scene texts, thus exhibiting noticeable discrepancy from real-world situations. To address these issues, we propose a Dataset for Open-Vocabulary Zero-Shot Object Navigation in Dynamic Environments (DOZE) that comprises ten high-fidelity 3D scenes with over 18k tasks, aiming to mimic complex, dynamic real-world scenarios. Specifically, DOZE scenes feature multiple moving humanoid obstacles, a wide array of open-vocabulary objects, diverse distinct-attribute objects, and valuable textual hints. Besides, different from existing datasets that only provide collision checking between the agent and static obstacles, we enhance DOZE by integrating capabilities for detecting collisions between the agent and moving obstacles. This novel functionality enables evaluation of the agents' collision avoidance abilities in dynamic environments. We test four representative ZSON methods on DOZE, revealing substantial room for improvement in existing approaches concerning navigation efficiency, safety, and object recognition accuracy. Our dataset could be found at https://DOZE-Dataset.github.io/.


title: Investigation of the determination of nuclear deformation using high-energy heavy-ion scattering

abstract: Background: Nuclear deformation provides a crucial characteristic of nuclear structure. Conventionally, the quadrupole deformation length of a nucleus, $\delta_{2}$, has often been determined based on a macroscopic model through a deformed nuclear potential with the deformation length $\delta^{\rm (pot)}_{2}$, which is determined to reproduce the nuclear scattering data. This approach assumes $\delta_{2}=\delta^{\rm (pot)}_{2}$ although there is no theoretical foundation. Purpose: We clarify the relationship between $\delta_{2}$ and $\delta^{\rm (pot)}_{2}$ for high-energy heavy-ion scattering systematically to evaluate the validity of the conventional approach to determine the nuclear deformation. Method: The deformation lengths for the $^{12}$C inelastic scattering by $^{12}$C, $^{16}$O, $^{40}$Ca, and $^{208}$Pb targets at $E/A$ = 50--400 MeV are examined. First, we perform microscopic coupled-channel (CC) calculations to relate $\delta_{2}$ of the deformed density into the inelastic scattering cross section. Second, we use the deformed potential model to determine $\delta^{\rm (pot)}_{2}$ so as to reproduce the microscopic CC result. We then compare $\delta^{\rm (pot)}_{2}$ with $\delta_{2}$. Results: We find that $\delta^{\rm (pot)}_{2}$ is about 20--40% smaller than presumed $\delta_{2}$, showing strong energy and target dependence. Conclusion: Our results suggest that one needs to be careful when the deformed potential model for the high-energy heavy-ion scattering is used to extract the nuclear deformation. The conventional approach may underestimate the deformation length $\delta_2$ systematically.


title: Unified Generation, Reconstruction, and Representation: Generalized Diffusion with Adaptive Latent Encoding-Decoding

abstract: The vast applications of deep generative models are anchored in three core capabilities -- generating new instances, reconstructing inputs, and learning compact representations -- across various data types, such as discrete text/protein sequences and continuous images. Existing model families, like variational autoencoders (VAEs), generative adversarial networks (GANs), autoregressive models, and (latent) diffusion models, generally excel in specific capabilities and data types but fall short in others. We introduce Generalized Encoding-Decoding Diffusion Probabilistic Models (EDDPMs) which integrate the core capabilities for broad applicability and enhanced performance. EDDPMs generalize the Gaussian noising-denoising in standard diffusion by introducing parameterized encoding-decoding. Crucially, EDDPMs are compatible with the well-established diffusion model objective and training recipes, allowing effective learning of the encoder-decoder parameters jointly with diffusion. By choosing appropriate encoder/decoder (e.g., large language models), EDDPMs naturally apply to different data types. Extensive experiments on text, proteins, and images demonstrate the flexibility to handle diverse data and tasks and the strong improvement over various existing models.


title: Reparametrization invariant action for Gravity with Dynamical Determinant of Metric

abstract: We present manifestly reparametrization invariant action for theory of gravity with dynamical determinant of metric. We show that it is similar to a reparametrization invariant action for unimodular gravity. We determine canonical form of the action and study structure of constraints.


title: Ruledger: Ensuring Execution Integrity in Trigger-Action IoT Platforms

abstract: Smart home IoT systems utilize trigger-action platforms, e.g., IFTTT, to manage devices from various vendors. However, they may be abused by triggering malicious rule execution with forged IoT devices or events violating the execution integrity and the intentions of the users. To address this issue, we propose a ledger based IoT platform called Ruledger, which ensures the correct execution of rules by verifying the authenticity of the corresponding information. Ruledger utilizes smart contracts to enforce verifying the information associated with rule executions, e.g., the user and configuration information from users, device events, and triggers in the trigger-action platforms. In particular, we develop three algorithms to enable ledger-wallet based applications for Ruledger and guarantee that the records used for verification are stateful and correct. Thus, the execution integrity of rules is ensured even if devices and platforms in the smart home systems are compromised. We prototype Ruledger in a real IoT platform, i.e., IFTTT, and evaluate the performance with various settings. The experimental results demonstrate Ruledger incurs an average of 12.53% delay, which is acceptable for smart home systems.


title: Algorithmically Expressive, Always-Terminating Model for Reversible Computation

abstract: Concerning classical computational models able to express all the Primitive Recursive Functions (PRF), there are interesting results regarding limits on their algorithmic expressiveness or, equivalently, efficiency, namely the ability to express algorithms with minimal computational cost. By introducing the reversible programming model Forest, at our knowledge, we provide a first study of analogous properties, adapted to the context of reversible computational models that can represent all the functions in PRF. Firstly, we show that Forest extends Matos' linear reversible computational model MSRL, the very extension being a guaranteed terminating iteration that can be halted by means of logical predicates. The consequence is that Forest is PRF complete, because MSRL is. Secondly, we show that Forest is strictly algorithmically more expressive than MSRL: it can encode a reversible algorithm for the minimum between two integers in optimal time, while MSRL cannot.


title: Ultraviolet Positioning via TDOA: Error Analysis and System Prototype

abstract: This work performs the design, real-time hardware realization, and experimental evaluation of a positioning system by ultra-violet (UV) communication under photon-level signal detection. The positioning is based on time-difference of arrival (TDOA) principle. Time division-based transmission of synchronization sequence from three transmitters with known positions is applied. We investigate the positioning error via decomposing it into two parts, the transmitter-side timing error and the receiver-side synchronization error. The theoretical average error matches well with the simulation results, which indicates that theoretical fitting can provide reliable guidance and prediction for hardware experiments. We also conduct real-time hardware realization of the TDOA-based positioning system using Field Programmable Gate Array (FPGA), which is experimentally evaluated via outdoor experiments. Experimental results match well with the theoretical and simulation results.


title: Enhancing Visual Document Understanding with Contrastive Learning in Large Visual-Language Models

abstract: Recently, the advent of Large Visual-Language Models (LVLMs) has received increasing attention across various domains, particularly in the field of visual document understanding (VDU). Different from conventional vision-language tasks, VDU is specifically concerned with text-rich scenarios containing abundant document elements. Nevertheless, the importance of fine-grained features remains largely unexplored within the community of LVLMs, leading to suboptimal performance in text-rich scenarios. In this paper, we abbreviate it as the fine-grained feature collapse issue. With the aim of filling this gap, we propose a contrastive learning framework, termed Document Object COntrastive learning (DoCo), specifically tailored for the downstream tasks of VDU. DoCo leverages an auxiliary multimodal encoder to obtain the features of document objects and align them to the visual features generated by the vision encoder of LVLM, which enhances visual representation in text-rich scenarios. It can represent that the contrastive learning between the visual holistic representations and the multimodal fine-grained features of document objects can assist the vision encoder in acquiring more effective visual cues, thereby enhancing the comprehension of text-rich documents in LVLMs. We also demonstrate that the proposed DoCo serves as a plug-and-play pre-training method, which can be employed in the pre-training of various LVLMs without inducing any increase in computational complexity during the inference process. Extensive experimental results on multiple benchmarks of VDU reveal that LVLMs equipped with our proposed DoCo can achieve superior performance and mitigate the gap between VDU and generic vision-language tasks.


title: Fractional material derivative: pointwise representation and a finite volume numerical scheme

abstract: The fractional material derivative appears as the fractional operator that governs the dynamics of the scaling limits of L\'evy walks - a stochastic process that originates from the famous continuous-time random walks. It is usually defined as the Fourier-Laplace multiplier, therefore, it can be thought of as a pseudo-differential operator. In this paper, we show that there exists a local representation in time and space, pointwise, of the fractional material derivative. This allows us to define it on a space of locally integrable functions which is larger than the original one in which Fourier and Laplace transform exist as functions. We consider several typical differential equations involving the fractional material derivative and provide conditions for their solutions to exist. In some cases, the analytical solution can be found. For the general initial value problem, we devise a finite volume method and prove its stability, convergence, and conservation of probability. Numerical illustrations verify our analytical findings. Moreover, our numerical experiments show superiority in the computation time of the proposed numerical scheme over a Monte Carlo method applied to the problem of probability density function's derivation.


title: SPriFed-OMP: A Differentially Private Federated Learning Algorithm for Sparse Basis Recovery

abstract: Sparse basis recovery is a classical and important statistical learning problem when the number of model dimensions $p$ is much larger than the number of samples $n$. However, there has been little work that studies sparse basis recovery in the Federated Learning (FL) setting, where the client data's differential privacy (DP) must also be simultaneously protected. In particular, the performance guarantees of existing DP-FL algorithms (such as DP-SGD) will degrade significantly when $p \gg n$, and thus, they will fail to learn the true underlying sparse model accurately. In this work, we develop a new differentially private sparse basis recovery algorithm for the FL setting, called SPriFed-OMP. SPriFed-OMP converts OMP (Orthogonal Matching Pursuit) to the FL setting. Further, it combines SMPC (secure multi-party computation) and DP to ensure that only a small amount of noise needs to be added in order to achieve differential privacy. As a result, SPriFed-OMP can efficiently recover the true sparse basis for a linear model with only $n = O(\sqrt{p})$ samples. We further present an enhanced version of our approach, SPriFed-OMP-GRAD based on gradient privatization, that improves the performance of SPriFed-OMP. Our theoretical analysis and empirical results demonstrate that both SPriFed-OMP and SPriFed-OMP-GRAD terminate in a small number of steps, and they significantly outperform the previous state-of-the-art DP-FL solutions in terms of the accuracy-privacy trade-off.


title: Preferential attachment in face-to-face relations

abstract: We propose a stochastic model to describe the dynamics of contact duration in face to face interactions. It reproduces precisely the deviations from the mean-time that were found to be statistically very similar in several environments. The model is based on geometric graphs built from points of a Levy walk. It has a single parameter, the Levy index, that is found to be $\alpha\simeq1.1$ on all the datasets. In this model, the duration of contacts in face to face interactions, which corresponds to the length of discussions for humans, is related to the size of the connected components (clusters) of the Levy graph. We compute analytically the distribution of the clusters size which is of stretched-exponential type and reveals the dynamics of the process. A discussion starts about a topic that is first developed, which, in the Levy framework is described by a geometric distribution. It is then driven by a preferential attachment mechanism; the more a discussion lasts, the more it is likely to continue since there are more points to come back to. This leads to heavy tails in the contact duration. The combined behavior is well captured by the formation of clusters in Levy graphs. We show it has some similarities with the case of a growing network with a sub-linear power-law kernel. More precisely, in this model discussions appear as an aggregation process with a natural scale fixed by the mean interaction time between the individuals.


title: Tangle free permutations and the Putman-Wieland property of Random covers

abstract: Let $\Sigma^p_g$ denote a surface of genus $g$ and with $p$ punctures. Our main result is that the fraction of degree $n$ covers of $\Sigma^p_g$ which have the Putman-Wieland property tends to $1$ as $n\to \infty$. In addition, we show that the monodromy of a random cover of $\Sigma^p_g$ is asymptotically almost surely tangle free.


title: Machine learning-enabled exploration of mesoscale architectures in amphiphilic-molecule self-assembly

abstract: Amphiphilic molecules spontaneously form self-assembled structures of various shapes depending on their molecular structures, the temperature, and other physical conditions. The functionalities of these structures are dictated by their formations and their properties must be evaluated for reproduction using molecular simulations. However, the assessment of such intricate structures involves many procedural steps. This study investigates the potential of machine-learning models to extract structural features from mesoscale non-ordered self-assembled structures, and suggests a methodology in which machine-learning models for the structural analysis of self-assembled structures are trained on particle types and coordinate data. In the proposed approach, graph neural networks are utilised to extract local structural data for analysis. In simulations using several hundred self-assembled structures of up to 4050 coarse-grained particles, local structures are successfully extracted and classified with up to 78.35 % accuracy. As the machine-learning models learn structural characteristics without the need for human-made feature engineering, the proposed method has important potential applications in the field of materials science.


title: Unsupervised Learning of High-resolution Light Field Imaging via Beam Splitter-based Hybrid Lenses

abstract: In this paper, we design a beam splitter-based hybrid light field imaging prototype to record 4D light field image and high-resolution 2D image simultaneously, and make a hybrid light field dataset. The 2D image could be considered as the high-resolution ground truth corresponding to the low-resolution central sub-aperture image of 4D light field image. Subsequently, we propose an unsupervised learning-based super-resolution framework with the hybrid light field dataset, which adaptively settles the light field spatial super-resolution problem with a complex degradation model. Specifically, we design two loss functions based on pre-trained models that enable the super-resolution network to learn the detailed features and light field parallax structure with only one ground truth. Extensive experiments demonstrate the same superiority of our approach with supervised learning-based state-of-the-art ones. To our knowledge, it is the first end-to-end unsupervised learning-based spatial super-resolution approach in light field imaging research, whose input is available from our beam splitter-based hybrid light field system. The hardware and software together may help promote the application of light field super-resolution to a great extent.