title: HGAttack: Transferable Heterogeneous Graph Adversarial Attack

abstract: Heterogeneous Graph Neural Networks (HGNNs) are increasingly recognized for their performance in areas like the web and e-commerce, where resilience against adversarial attacks is crucial. However, existing adversarial attack methods, which are primarily designed for homogeneous graphs, fall short when applied to HGNNs due to their limited ability to address the structural and semantic complexity of HGNNs. This paper introduces HGAttack, the first dedicated gray box evasion attack method for heterogeneous graphs. We design a novel surrogate model to closely resemble the behaviors of the target HGNN and utilize gradient-based methods for perturbation generation. Specifically, the proposed surrogate model effectively leverages heterogeneous information by extracting meta-path induced subgraphs and applying GNNs to learn node embeddings with distinct semantics from each subgraph. This approach improves the transferability of generated attacks on the target HGNN and significantly reduces memory costs. For perturbation generation, we introduce a semantics-aware mechanism that leverages subgraph gradient information to autonomously identify vulnerable edges across a wide range of relations within a constrained perturbation budget. We validate HGAttack's efficacy with comprehensive experiments on three datasets, providing empirical analyses of its generated perturbations. Outperforming baseline methods, HGAttack demonstrated significant efficacy in diminishing the performance of target HGNN models, affirming the effectiveness of our approach in evaluating the robustness of HGNNs against adversarial attacks.


title: Neural ODEs for holographic transport models without translation symmetry

abstract: We investigate the data-driven holographic transport models without translation symmetry. Our data are the real part of the frequency-dependent shear viscosity, denoted as $\eta _{\mathrm{re}}(\omega )$. We develop a radial flow equation of the shear response and establish its relation to $\eta _{\mathrm{re}}(\omega )$ for a wide class of holographic models. This allows us to determine $\eta _{\mathrm{re}}(\omega )$ of a strongly coupled field theory by the black hole metric and the graviton mass. The latter serves as the bulk dual to the translation symmetry breaking on the boundary. We convert the flow equation to a Neural Ordinary Differential Equation (Neural ODE), which is a neural network with continuous depth and produces output through a black-box ODE solver. We test the Neural ODE in three well-known holographic models without translation symmetry. Given either the metric or the mass, we display that the Neural ODE can learn the other with high accuracy. We also illustrate that the learned metric can be used to predict the derivative of entanglement entropy $S$ with respect to the size of entangling region $l$, which suggests an intriguing relationship between $S^{\prime }(l)$ and $\eta _{\mathrm{re}}(\omega )$.


title: Time-Efficient Quantum Entropy Estimator via Samplizer

abstract: Entropy is a measure of the randomness of a system. Estimating the entropy of a quantum state is a basic problem in quantum information. In this paper, we introduce a time-efficient quantum approach to estimating the von Neumann entropy $S(\rho)$ and R\'enyi entropy $S_\alpha(\rho)$ of an $N$-dimensional quantum state $\rho$, given access to independent samples of $\rho$. Specifically, we provide the following quantum estimators. 1. A quantum estimator for $S(\rho)$ with time complexity $\widetilde O(N^2)$, improving the prior best time complexity $\widetilde O (N^6)$ by Acharya, Issa, Shende, and Wagner (2020) and Bavarian, Mehraba, and Wright (2016). 2. A quantum estimator for $S_\alpha(\rho)$ with time complexity $\widetilde O(N^{4/\alpha-2})$ for $0 < \alpha < 1$ and $\widetilde O(N^{4-2/\alpha})$ for $\alpha > 1$, improving the prior best time complexity $\widetilde O(N^{6/\alpha})$ for $0 < \alpha < 1$ and $\widetilde O(N^6)$ for $\alpha > 1$ by Acharya, Issa, Shende, and Wagner (2020), though at a cost of a slightly larger sample complexity. Moreover, these estimators are naturally extensible to the low-rank case. Technically, our method is quite different from the previous ones that are based on weak Schur sampling and Young diagrams. At the heart of our construction, is a novel tool called samplizer, which can "samplize" a quantum query algorithm to a quantum algorithm with similar behavior using only samples of quantum states; this suggests a unified framework for estimating quantum entropies. Specifically, when a quantum oracle $U$ block-encodes a mixed quantum state $\rho$, any quantum query algorithm using $Q$ queries to $U$ can be samplized to a $\delta$-close (in the diamond norm) quantum algorithm using $\widetilde \Theta(Q^2/\delta)$ samples of $\rho$. Moreover, this samplization is proven to be optimal, up to a polylogarithmic factor.


title: The extremal problem for weighted combined energy and the generalization of Nitsche inequality

abstract: We consider the existence and uniqueness of a minimizer of the extremal problem for weighted combined energy between two concentric annuli and obtain that the extremal mapping is a certain radial mapping. Meanwhile, this in turn implies a Nitsche type phenomenon and we get a $\frac{1}{|w|^{\lambda}}-$Nitsche type inequality ($\lambda\neq1$). As an application, on the basis of the relationship between weighted combined energy and weighted combined distortion, we also investigate the extremal problem for weighted combined distortion on annuli. This extends the result obtained by Kalaj in \cite{Ka1}.


title: SymbolNet: Neural Symbolic Regression with Adaptive Dynamic Pruning

abstract: Contrary to the use of genetic programming, the neural network approach to symbolic regression can scale well with high input dimension and leverage gradient methods for faster equation searching. Common ways of constraining expression complexity have relied on multistage pruning methods with fine-tuning, but these often lead to significant performance loss. In this work, we propose SymbolNet, a neural network approach to symbolic regression in a novel framework that enables dynamic pruning of model weights, input features, and mathematical operators in a single training, where both training loss and expression complexity are optimized simultaneously. We introduce a sparsity regularization term per pruning type, which can adaptively adjust its own strength and lead to convergence to a target sparsity level. In contrast to most existing symbolic regression methods that cannot efficiently handle datasets with more than $O$(10) inputs, we demonstrate the effectiveness of our model on the LHC jet tagging task (16 inputs), MNIST (784 inputs), and SVHN (3072 inputs).


title: Flow Structure near Three Phase Contact Line of Low-Contact-Angle Evaporating Droplets

abstract: Flow structure near three phase contact line (TPCL) of evaporating liquids plays a significant role in liquid wetting and dewetting, liquid film evaporation and boiling, etc. Despite the wide focus it receives, the interacting mechanisms therein remain elusive and in specific cases, controversial. Here, we reveal the profile of internal flow and elucidate the dominating mechanisms near TPCL of evaporating droplets, using mathematical modelling, microPIV, and infrared thermography. We indicate that for less volatile liquids such as butanol, the flow pattern is dominated by capillary flow. With increasing liquid volatility, e.g., alcohol, the effect of evaporation cooling, under conditions, induces interfacial temperature gradient with cold droplet apex and warm edge. The temperature gradient leads to Marangoni flow that competes with outwarding capillary flow, resulting in the reversal of interfacial flow and the formation of a stagnation point near TPCL. The spatiotemporal variations of capillary velocity and Marangoni velocity are further quantified by mathematically decomposing the tangential velocity of interfacial flow. The conclusions can serve as a theoretical base for explaining deposition patterns from colloidal suspensions, and can be utilized as a benchmark in analyzing more complex liquid systems.


title: Performance Evaluation of a Full-Duplex UWA System in Lake Experiments

abstract: In this work we present a full-duplex (FD) underwater acoustic (UWA) communication system simultaneously transmitting and receiving acoustic signals in the same frequency bandwidth. To simplify the FD hardware, the system exploits a recently designed transducer capable of simultaneously transmitting and receiving signals. The key challenge of implementing an FD system is to cancel at the near-end receiver the strong self-interference (SI) from the near-end transmitter. By using advanced adaptive filtering algorithms providing high accuracy channel estimates, a high level of SI cancellation can be achieved when the far-end signal is absent. However, the SI channel estimation performance is limited in FD scenarios since the far-end signal acts as an interference when estimating the near-end SI channel. In this paper, we propose an FD UWA communication system which alternates between the SI cancellation and far-end data demodulation. An adaptive Rake combiner with multipath interference cancellation is implemented to improve the demodulation performance in time-varying multipath channels. The performance of the FD UWA system is evaluated in lake experiments. It is shown that the proposed adaptive Rake combiner with multipath interference cancellation significantly outperforms the conventional Rake combiner in all the experiments. The experimental results demonstrate that, with the new Rake combiner, the detection performance of the proposed FD UWA system is comparable with that of the half-duplex system.


title: Thermodynamic precision of a chain of motors: the difference between phase and noise correlation

abstract: Inspired by recent experiments on fluctuations of the flagellar beating in sperms and C. reinhardtii, we investigate the precision of phase fluctuations in a system of nearest-neighbour-coupled molecular motors. We model the system as a Kuramoto chain of oscillators with coupling constant $k$ and noisy driving. The precision $p$ is a Fano-factor-like observable which obeys the Thermodynamic Uncertainty Relation (TUR), that is an upper bound related to dissipation. We first consider independent motor noises with diffusivity $D$: in this case the precision goes as $k/D$, coherently with the behavior of spatial order. The minimum observed precision is that of the uncoupled oscillator $p_{unc}$, the maximum observed one is $Np_{unc}$, saturating the TUR bound. Then we consider driving noises which are spatially correlated, as it may happen in the presence of some direct coupling between adjacent motors. Such a spatial correlation in the noise does not reduce evidently the degree of spatial correlation in the chain, but sensibly reduces the maximum attainable precision $p$, coherently with experimental observations. The limiting behaviors of the precision, in the two opposite cases of negligible interaction and strong interaction, are well reproduced by the precision of the single chain site $p_{unc}$ and the precision of the center of mass of the chain $N_{eff} p_{unc}$ with $N_{eff}<N$: both do not depend on the degree of interaction in the chain, but $N_{eff}$ decreases with the correlation length of the motor noises.


title: Through the Dual-Prism: A Spectral Perspective on Graph Data Augmentation for Graph Classification

abstract: Graph Neural Networks (GNNs) have become the preferred tool to process graph data, with their efficacy being boosted through graph data augmentation techniques. Despite the evolution of augmentation methods, issues like graph property distortions and restricted structural changes persist. This leads to the question: Is it possible to develop more property-conserving and structure-sensitive augmentation methods? Through a spectral lens, we investigate the interplay between graph properties, their augmentation, and their spectral behavior, and found that keeping the low-frequency eigenvalues unchanged can preserve the critical properties at a large scale when generating augmented graphs. These observations inform our introduction of the Dual-Prism (DP) augmentation method, comprising DP-Noise and DP-Mask, which adeptly retains essential graph properties while diversifying augmented graphs. Extensive experiments validate the efficiency of our approach, providing a new and promising direction for graph data augmentation.


title: Discrete differential geometry-based model for nonlinear analysis of axisymmetric shells

abstract: In this paper, we propose a novel one-dimensional (1D) discrete differential geometry (DDG)-based numerical method for geometrically nonlinear mechanics analysis (e.g., buckling and snapping) of axisymmetric shell structures. Our numerical model leverages differential geometry principles to accurately capture the complex nonlinear deformation patterns exhibited by axisymmetric shells. By discretizing the axisymmetric shell into interconnected 1D elements along the meridional direction, the in-plane stretching and out-of-bending potentials are formulated based on the geometric principles of 1D nodes and edges under the Kirchhoff-Love hypothesis, and elastic force vector and associated Hession matrix required by equations of motion are later derived based on symbolic calculation. Through extensive validation with available theoretical solutions and finite element method (FEM) simulations in literature, our model demonstrates high accuracy in predicting the nonlinear behavior of axisymmetric shells. Importantly, compared to the classical theoretical model and three-dimensional (3D) FEM simulation, our model is highly computationally efficient, making it suitable for large-scale real-time simulations of nonlinear problems of shell structures such as instability and snap-through phenomena. Moreover, our framework can easily incorporate complex loading conditions, e.g., boundary nonlinear contact and multi-physics actuation, which play an essential role in the use of engineering applications, such as soft robots and flexible devices. This study demonstrates that the simplicity and effectiveness of the 1D discrete differential geometry-based approach render it a powerful tool for engineers and researchers interested in nonlinear mechanics analysis of axisymmetric shells, with potential applications in various engineering fields.


title: Consistent asset modelling with random coefficients and switches between regimes

abstract: We explore a stochastic model that enables capturing external influences in two specific ways. The model allows for the expression of uncertainty in the parametrisation of the stochastic dynamics and incorporates patterns to account for different behaviours across various times or regimes. To establish our framework, we initially construct a model with random parameters, where the switching between regimes can be dictated either by random variables or deterministically. Such a model is highly interpretable. We further ensure mathematical consistency by demonstrating that the framework can be elegantly expressed through local volatility models taking the form of standard jump diffusions. Additionally, we consider a Markov-modulated approach for the switching between regimes characterised by random parameters. For all considered models, we derive characteristic functions, providing a versatile tool with wide-ranging applications. In a numerical experiment, we apply the framework to the financial problem of option pricing. The impact of parameter uncertainty is analysed in a two-regime model, where the asset process switches between periods of high and low volatility imbued with high and low uncertainty, respectively.


title: On the Existence of Gr-semistable Filtrations of Orthogonal/Symplectic $\lambda$-connections

abstract: In this paper, we study the existence of gr-semistable filtrations of orthogonal/symplectic $\lambda$-connections. It is known that gr-semistable filtrations always exist for flat bundles in arbitrary characteristic. However, we found a counterexample of orthogonal flat bundles of rank 5 in positive characteristic. The central new idea in this example is the notion of quasi gr-semistability for orthogonal/symplectic $\lambda$-connections. We establish the equivalence between gr-semistability and quasi gr-semistablity for an orthogonal/symplectic $\lambda$-connection. This provides a way to determine whether an orthogonal/symplectic $\lambda$-connection is gr-semistable. As an application, we obtain a characterization of gr-semistable orthogonal $\lambda$-connections of rank $\leq 6$.


title: Most General Winning Secure Equilibria Synthesis in Graph Games

abstract: This paper considers the problem of co-synthesis in $k$-player games over a finite graph where each player has an individual $\omega$-regular specification $\phi_i$. In this context, a secure equilibrium (SE) is a Nash equilibrium w.r.t. the lexicographically ordered objectives of each player to first satisfy their own specification, and second, to falsify other players' specifications. A winning secure equilibrium (WSE) is an SE strategy profile $(\pi_i)_{i\in[1;k]}$ that ensures the specification $\phi:=\bigwedge_{i\in[1;k]}\phi_i$ if no player deviates from their strategy $\pi_i$. Distributed implementations generated from a WSE make components act rationally by ensuring that a deviation from the WSE strategy profile is immediately punished by a retaliating strategy that makes the involved players lose. In this paper, we move from deviation punishment in WSE-based implementations to a distributed, assume-guarantee based realization of WSE. This shift is obtained by generalizing WSE from strategy profiles to specification profiles $(\varphi_i)_{i\in[1;k]}$ with $\bigwedge_{i\in[1;k]}\varphi_i = \phi$, which we call most general winning secure equilibria (GWSE). Such GWSE have the property that each player can individually pick a strategy $\pi_i$ winning for $\varphi_i$ (against all other players) and all resulting strategy profiles $(\pi_i)_{i\in[1;k]}$ are guaranteed to be a WSE. The obtained flexibility in players' strategy choices can be utilized for robustness and adaptability of local implementations. Concretely, our contribution is three-fold: (1) we formalize GWSE for $k$-player games over finite graphs, where each player has an $\omega$-regular specification $\phi_i$; (2) we devise an iterative semi-algorithm for GWSE synthesis in such games, and (3) obtain an exponential-time algorithm for GWSE synthesis with parity specifications $\phi_i$.


title: Resetting as a swift equilibration protocol in an anharmonic potential

abstract: We present and characterize a method to accelerate the relaxation of a Brownian object between two distinct equilibrium states. Instead of relying on a deterministic time-dependent control parameter, we use stochastic resetting to guide and accelerate the transient evolution. The protocol is investigated numerically, and its thermodynamic cost is evaluated with the tools of stochastic thermodynamics. Remarkably, we show that stochastic resetting significantly accelerates the relaxation to the final state. This stochastic protocol exhibits energetic and temporal characteristics that align with the scales observed in previously investigated deterministic protocols. Moreover, it expands the spectrum of stationary states that can be manipulated, incorporating new potential profiles achievable through experimentally viable protocols.


title: Constraining $f(R)$ gravity using future galaxy cluster abundance and weak-lensing mass calibration datasets

abstract: We present forecasts for constraints on the Hu \& Sawicki $f(R)$ modified gravity model using realistic mock data representative of future cluster and weak lensing surveys. We create mock thermal Sunyaev-Zel'dovich effect selected cluster samples for SPT-3G and CMB-S4 and the corresponding weak gravitational lensing data from next-generation weak-lensing (ngWL) surveys like Euclid and Rubin. We employ a state-of-the-art Bayesian likelihood approach that includes all observational effects and systematic uncertainties to obtain constraints on the $f(R)$ gravity parameter $\log_{10}|f_{R0}|$. In this analysis we vary the cosmological parameters $[\Omega_{\rm m}, \Omega_\nu h^2, h^2, A_s, n_s, \log_{10}|f_{R0}|]$, which allows us to account for possible degeneracies between cosmological parameters and $f(R)$ modified gravity. The analysis accounts for $f(R)$ gravity via its effect on the halo mass function which is enhanced on cluster mass scales compared to the expectations within general relativity (GR). Assuming a fiducial GR model, the upcoming cluster dataset SPT-3G$\times$ngWL is expected to obtain an upper limit of $\log_{10}|f_{R0}| < -5.95$ at $95\,\%$ credibility, which significantly improves upon the current best bounds. The CMB-S4$\times$ngWL dataset is expected to improve this even further to $\log_{10}|f_{R0}| < -6.23$. Furthermore, $f(R)$ gravity models with $\log_{10}|f_{R0}| \geq -6$, which have larger numbers of clusters, would be distinguishable from GR with both datasets. We also report degeneracies between $\log_{10}|f_{R0}|$ and $\Omega_{\mathrm{m}}$ as well as $\sigma_8$ for $\log_{10}|f_{R0}| > -6$ and $\log_{10}|f_{R0}| > -5$ respectively. Our forecasts indicate that future cluster abundance studies of $f(R)$ gravity will enable substantially improved constraints that are competitive with other cosmological probes.


title: A Comprehensive Scalable Framework for Cloud-Native Pattern Detection with Enhanced Expressiveness

abstract: Detecting complex patterns in large volumes of event logs has diverse applications in various domains, such as business processes and fraud detection. Existing systems like ELK are commonly used to tackle this challenge, but their performance deteriorates for large patterns, while they suffer from limitations in terms of expressiveness and explanatory capabilities for their responses. In this work, we propose a solution that integrates a Complex Event Processing (CEP) engine into a broader query processsor on top of a decoupled storage infrastructure containing inverted indices of log events. The results demonstrate that our system excels in scalability and robustness, particularly in handling complex queries. Notably, our proposed system delivers responses for large complex patterns within seconds, while ELK experiences timeouts after 10 minutes. It also significantly outperforms solutions relying on FlinkCEP and executing MATCH_RECOGNIZE SQL queries.


title: Iteratively Reweighted Least Squares for Phase Unwrapping

abstract: The 2D phase unwrapping problem seeks to recover a phase image from its observation modulo 2$\pi$, and is a crucial step in a variety of imaging applications. In particular, it is one of the most time-consuming steps in the interferometric synthetic aperture radar (InSAR) pipeline. In this work we tackle the $L^1$-norm phase unwrapping problem. In optimization terms, this is a simple sparsity-inducing problem, albeit in very large dimension. To solve this high-dimensional problem, we iteratively solve a series of numerically simpler weighted least squares problems, which are themselves solved using a preconditioned conjugate gradient method. Our algorithm guarantees a sublinear rate of convergence in function values, is simple to implement and can easily be ported to GPUs, where it significantly outperforms state of the art phase unwrapping methods.


title: CustomVideo: Customizing Text-to-Video Generation with Multiple Subjects

abstract: Customized text-to-video generation aims to generate high-quality videos guided by text prompts and subject references. Current approaches for personalizing text-to-video generation suffer from tackling multiple subjects, which is a more challenging and practical scenario. In this work, our aim is to promote multi-subject guided text-to-video customization. We propose CustomVideo, a novel framework that can generate identity-preserving videos with the guidance of multiple subjects. To be specific, firstly, we encourage the co-occurrence of multiple subjects via composing them in a single image. Further, upon a basic text-to-video diffusion model, we design a simple yet effective attention control strategy to disentangle different subjects in the latent space of diffusion model. Moreover, to help the model focus on the specific area of the object, we segment the object from given reference images and provide a corresponding object mask for attention learning. Also, we collect a multi-subject text-to-video generation dataset as a comprehensive benchmark, with 63 individual subjects from 13 different categories and 68 meaningful pairs. Extensive qualitative, quantitative, and user study results demonstrate the superiority of our method compared to previous state-of-the-art approaches. The project page is https://kyfafyd.wang/projects/customvideo.


title: Quantitative Hardy inequality for magnetic Hamiltonians

abstract: In this paper we present a new method of proof of Hardy type inequalities for two-dimensional quantum Hamiltonians with a magnetic field of finite flux. Our approach gives a quantitative lower bound on the best constant in these inequalities both for Schr\"odinger and Pauli operators. Pauli operators with Aharonov-Bohm magnetic field are discussed as well.


title: When Neural Code Completion Models Size up the Situation: Attaining Cheaper and Faster Completion through Dynamic Model Inference

abstract: Leveraging recent advancements in large language models, modern neural code completion models have demonstrated the capability to generate highly accurate code suggestions. However, their massive size poses challenges in terms of computational costs and environmental impact, hindering their widespread adoption in practical scenarios. Dynamic inference emerges as a promising solution, as it allocates minimal computation during inference while maintaining the model's performance. In this research, we explore dynamic inference within the context of code completion. Initially, we conducted an empirical investigation on GPT-2, focusing on the inference capabilities of intermediate layers for code completion. We found that 54.4% of tokens can be accurately generated using just the first layer, signifying significant computational savings potential. Moreover, despite using all layers, the model still fails to predict 14.5% of tokens correctly, and the subsequent completions continued from them are rarely considered helpful, with only a 4.2% Acceptance Rate. These findings motivate our exploration of dynamic inference in code completion and inspire us to enhance it with a decision-making mechanism that stops the generation of incorrect code. We thus propose a novel dynamic inference method specifically tailored for code completion models. This method aims not only to produce correct predictions with largely reduced computation but also to prevent incorrect predictions proactively. Our extensive evaluation shows that it can averagely skip 1.7 layers out of 16 layers in the models, leading to an 11.2% speedup with only a marginal 1.1% reduction in ROUGE-L.


title: A phase space localization operator in negative binomial states

abstract: We are dealing with some spectral properties of a phase space localization operator PR corresponding to the indicator function of a disk of radius R < 1. The localization procedure is achieved with respect to a set of negative binomial states (NBS) labeled by points of the complex unit disk D and depending on a parameter 2B > 1. We derive a formula expressing PR as function of the pseudo harmonic oscillator whose potential function depends on B. The phase space content outside the localization domain is estimated in terms of the photon counting probability distribution associated with the NBS. By using the coherent states transform attached to NBS, we transfer the action of the operator PR to a Bergman space AB(D) of analytic functions on D satisfying a growth condition depending on B and we explicitly give its integral kernel whose limit as R goes to 1 coincides with the reproducing kernel of AB(D). This leads to a natural generalization of this Hilbert space with respect to the parameter R.


title: Towards Generative Abstract Reasoning: Completing Raven's Progressive Matrix via Rule Abstraction and Selection

abstract: Endowing machines with abstract reasoning ability has been a long-term research topic in artificial intelligence. Raven's Progressive Matrix (RPM) is widely used to probe abstract visual reasoning in machine intelligence, where models will analyze the underlying rules and select one image from candidates to complete the image matrix. Participators of RPM tests can show powerful reasoning ability by inferring and combining attribute-changing rules and imagining the missing images at arbitrary positions of a matrix. However, existing solvers can hardly manifest such an ability in realistic RPM tests. In this paper, we propose a deep latent variable model for answer generation problems through Rule AbstractIon and SElection (RAISE). RAISE can encode image attributes into latent concepts and abstract atomic rules that act on the latent concepts. When generating answers, RAISE selects one atomic rule out of the global knowledge set for each latent concept to constitute the underlying rule of an RPM. In the experiments of bottom-right and arbitrary-position answer generation, RAISE outperforms the compared solvers in most configurations of realistic RPM datasets. In the odd-one-out task and two held-out configurations, RAISE can leverage acquired latent concepts and atomic rules to find the rule-breaking image in a matrix and handle problems with unseen combinations of rules and attributes.


title: Sketch-Guided Constrained Decoding for Boosting Blackbox Large Language Models without Logit Access

abstract: Constrained decoding, a technique for enforcing constraints on language model outputs, offers a way to control text generation without retraining or architectural modifications. Its application is, however, typically restricted to models that give users access to next-token distributions (usually via softmax logits), which poses a limitation with blackbox large language models (LLMs). This paper introduces sketch-guided constrained decoding (SGCD), a novel approach to constrained decoding for blackbox LLMs, which operates without access to the logits of the blackbox LLM. SGCD utilizes a locally hosted auxiliary model to refine the output of an unconstrained blackbox LLM, effectively treating this initial output as a "sketch" for further elaboration. This approach is complementary to traditional logit-based techniques and enables the application of constrained decoding in settings where full model transparency is unavailable. We demonstrate the efficacy of SGCD through experiments in closed information extraction and constituency parsing, showing how it enhances the utility and flexibility of blackbox LLMs for complex NLP tasks.


abstract: The aim of this paper is to investigate Ennola duality for decomposition of tensor products of irreducible characters of finite general linear groups and finite unitary groups. We prove that Ennola duality holds generically and give a geometric interpretation using the cohomology of quiver varieties. We also investigate the case of unipotent characters (typically a non-generic situation).


title: Design of Initial Guess Low Thrust Trajectories Using Clohessy-Wiltshire Equations

abstract: The commercial interest in producing low-cost space missions by exploiting the superior propellant management of low-thrust propulsion technology has become increasingly popular. Typical to such missions is the design of transfer trajectories between desired targets. This is a complex and computationally expensive process. Additionally, the optimal solvers used to generate these trajectories are extremely sensitive to initial guesses. One way to overcome this challenge is to use a reasonably approximate trajectory as an initial guess on optimal solvers. This paper presents a flexible approach to generating very low thrust trajectories. The initial guess is obtained from a flexible semi-analytic approach that can provide both planar and three-dimensional initial guess trajectories for various design scenarios like orbit raising, orbit insertion, phasing, and rendezvous. NASA's Evolutionary Mission Trajectory Generator (EMTG) and General Mission Analysis Tool (GMAT) are used as optimal solvers in this analysis. Numerical case studies are presented in this paper.


title: Zero noise limit for singular ODE regularized by fractional noise

abstract: We consider scalar ODE with a power singularity at the origin, regularized by an additive fractional noise. We show that, as the intensity in front of the noise goes to $0$, the solution converges to the extremal solutions to the ODE (which exit the origin instantly), and we quantify this convergence with subexponential probability estimates. This extends classical results of Bafico and Baldi in the Brownian case. The main difficulty lies in the absence of the Markov property for the system. Our methods combine a dynamical approach due to Delarue and Flandoli, with techniques from the large time analysis of fractional SDE (due in particular to Panloup and Richard).


title: Harmonic Generation in a Terawatt X-Ray Free-Electron Laser

abstract: Terawatt x-ray free-electron lasers (XFELs) require high current densities with strong transverse focusing. The implications on harmonic generation are discussed using the MINERVA simulation code which self-consistently includes harmonic generation. We consider helical and planar undulators where the fundamental is at 1.5 Angstrom and study the associated harmonic generation. While tapered undulators are needed to reach TW powers at the fundamental, the taper does not enhance the harmonics because the taper must start before saturation of the fundamental, with the harmonics saturating earlier. Nevertheless, the harmonics reach substantial powers and enable enhanced applications.


title: Better Explain Transformers by Illuminating Important Information

abstract: Transformer-based models excel in various natural language processing (NLP) tasks, attracting countless efforts to explain their inner workings. Prior methods explain Transformers by focusing on the raw gradient and attention as token attribution scores, where non-relevant information is often considered during explanation computation, resulting in confusing results. In this work, we propose highlighting the important information and eliminating irrelevant information by a refined information flow on top of the layer-wise relevance propagation (LRP) method. Specifically, we consider identifying syntactic and positional heads as important attention heads and focus on the relevance obtained from these important heads. Experimental results demonstrate that irrelevant information does distort output attribution scores and then should be masked during explanation computation. Compared to eight baselines on both classification and question-answering datasets, our method consistently outperforms with over 3\% to 33\% improvement on explanation metrics, providing superior explanation performance. Our anonymous code repository is available at: https://github.com/LinxinS97/Mask-LRP


title: Accelerated Bounded Model Checking

abstract: Bounded Model Checking (BMC) is a powerful technique for proving unsafety. However, finding deep counterexamples that require a large bound is challenging for BMC. On the other hand, acceleration techniques compute "shortcuts" that "compress" many execution steps into a single one. In this paper, we tightly integrate acceleration techniques into SMT-based bounded model checking. By adding suitable "shortcuts" to the SMT-problem on the fly, our approach can quickly detect deep counterexamples, even when only using small bounds. Moreover, using so-called blocking clauses, our approach can prove safety of examples where BMC diverges. An empirical comparison with other state-of-the-art techniques shows that our approach is highly competitive for proving unsafety, and orthogonal to existing techniques for proving safety.


title: The proton-neutron resonance states by solving Schrodinger equation

abstract: The proton-neutron interaction is investigated by solving the Schrodinger equation, where a Yukawa type of potential with one pion exchanging between the proton and the neutron is assumed. Since the deutron is the unique bound state of the proton-neutron system, the coupling constant is fixed according to the binding energy of the deutron. The scattering process of the proton and the neutron is studied when the outgoing wave condition is taken into account, and two proton-neutron resonance states are obtained by solving the Schrodinger equation, which lie at $1905-i13$MeV and $2150-i342$MeV on the complex energy plane, respectively. It is no doubt that the calculation results would give some hints on the experimental research on the proton-neutron interaction in future.


title: Protonated acetylene in the z=0.89 molecular absorber toward PKS1830-211

abstract: We report the first interstellar identification of protonated acetylene, C2H3+, a fundamental hydrocarbon, in the z=0.89 molecular absorber toward the gravitationally lensed quasar PKS1830-211. The molecular species is identified from clear absorption features corresponding to the 2_12-1_01 (rest frequency 494.034 GHz) and 1_11-0_00 (431.316 GHz) ground-state transitions of ortho and para forms of C2H3+, respectively, in ALMA spectra toward the southwestern image of PKS1830-211, where numerous molecules, including other hydrocarbons, have already been detected. From the simple assumption of local thermodynamic equilibrium (LTE) with cosmic microwave background photons and an ortho-to-para ratio of three, we estimate a total C2H3+ column density of 2 x 10^12 cm^-2 and an abundance of 10^-10 compared to H_2. However, formation pumping could affect the population of metastable states, yielding a C2H3+ column density higher than the LTE value by a factor of a few. We explore possible routes to the formation of C2H3+, mainly connected to acetylene and methane, and find that the methane route is more likely in PDR environment. As one of the initial hydrocarbon building blocks, C2H3+ is thought to play an important role in astrochemistry, in particular in the formation of more complex organic molecules.


title: Contamination of spectroscopic observations by satellite constellations

abstract: The number of satellites on low orbit has dramatically increased over the past years, raising concerns among the astronomical community about their impact on observations. Spectroscopic observations represent a large fraction of professional data, and spectrographs lack spatial information that can reveal the presence of a satellite. We simulated how often satellites contaminate spectrograph observations by using realistic constellations with over 400,000 objects. We also measured how a spectrum is affected by using real data from different scientific targets and a scaled solar analogue as the satellite, and using standard tools to measure astrophysical parameters and compare them with the clean spectrum. The fraction of affected spectra varies dramatically with the elevation of the sun, with a maximum of 10% at twilight and a nightly average of about 2%. Because of the fast motion of the satellites and the limiting magnitude of the spectrographs, high-resolution instruments are essentially blind to most satellites. For lower resolution spectrographs, the effect on the measured astrophysical parameters depends strongly on the signal-to-noise of the exposure, longer exposures on brighter targets being the least affected at <=1%. Satellites that are brighter and/or higher than the constellation satellites, while less numerous, can also contaminate spectra. While the fraction of affected spectra is likely to remain low, some of these contaminated spectra will be difficult to identify, as it is already the case with existing satellites and asteroids. The best mitigation is to ensure that their brightness is fainter than V=7, that their absolute magnitude V1000km is also fainter than 7, and, whenever possible, to shoot multiple exposures.


title: Material-Response-Informed DeepONet and its Application to Polycrystal Stress-strain Prediction in Crystal Plasticity

abstract: Crystal plasticity (CP) simulations are a tool for understanding how microstructure morphology and texture affect mechanical properties and are an essential component of elucidating the structure-property relations. However, it can be computationally expensive. Hence, data-driven machine learning models have been applied to predict the mean-field response of a polycrystal representative volume element to reduce computation time. In this work, we proposed a novel Deep Operator Network (DeepONet) architecture for predicting microstructure stress-strain response. It employs a convolutional neural network in the trunk to encode the microstructure. To account for different material properties, boundary conditions, and loading, we proposed using single crystal stress-strain curves as inputs to the branch network, furnishing a material-response-informed DeepONet. Using four numerical examples, we demonstrate that the current DeepONet can be trained on a single material and loading and then generalized to new conditions via transfer learning. Results show that using single crystal responses as input outperforms a similar model using material properties as inputs and overcomes limitations with changing boundary conditions and temporal resolution. In all cases, the new model achieved a $R^2$ value of above 0.99, and over 95\% of predicted stresses have a relative error of $\le$ 5\%, indicating superior accuracy. With as few as 20 new data points and under 1min training time, the trained DeepONet can be fine-tuned to generate accurate predictions on different materials and loading. Once trained, the prediction speed is almost $1\times10^{4}$ times faster the CP simulations. The efficiency and high generalizability of our DeepONet render it a powerful data-driven surrogate model for CP simulations in multi-scale analyses.


title: Quantum Tomography and the Quantum Radon Transform

abstract: A general framework in the setting of $C^*$-algebras for the tomographical description of states, that includes, among other tomographical schemes, the classical Radon transform, quantum state tomography and group quantum tomography, is presented. Given a $C^*$-algebra, the main ingredients for a tomographical description of its states are identified: A generalized sampling theory and a positive transform. A generalization of the notion of dual tomographic pair provides the background for a sampling theory on $C^*$-algebras and, an extension of Bochner's theorem for functions of positive type, the positive transform. The abstract theory is realized by using dynamical systems, that is, groups represented on $C^*$-algebra. Using a fiducial state and the corresponding GNS construction, explicit expressions for tomograms associated with states defined by density operators on the corresponding Hilbert spade are obtained. In particular a general quantum version of the classical definition of the Radon transform is presented. The theory is completed by proving that if the representation of the group is square integrable, the representation itself defines a dual tomographic map and explicit reconstruction formulas are obtained by making a judiciously use of the theory of frames. A few significant examples are discussed that illustrates the use and scope of the theory.


title: False Discovery Rate Control for Gaussian Graphical Models via Neighborhood Screening

abstract: Gaussian graphical models emerge in a wide range of fields. They model the statistical relationships between variables as a graph, where an edge between two variables indicates conditional dependence. Unfortunately, well-established estimators, such as the graphical lasso or neighborhood selection, are known to be susceptible to a high prevalence of false edge detections. False detections may encourage inaccurate or even incorrect scientific interpretations, with major implications in applications, such as biomedicine or healthcare. In this paper, we introduce a nodewise variable selection approach to graph learning and provably control the false discovery rate of the selected edge set at a self-estimated level. A novel fusion method of the individual neighborhoods outputs an undirected graph estimate. The proposed method is parameter-free and does not require tuning by the user. Benchmarks against competing false discovery rate controlling methods in numerical experiments considering different graph topologies show a significant gain in performance.


title: Ventricular Segmentation: A Brief Comparison of U-Net Derivatives

abstract: Medical imaging refers to the technologies and methods utilized to view the human body and its inside, in order to diagnose, monitor, or even treat medical disorders. This paper aims to explore the application of deep learning techniques in the semantic segmentation of Cardiac short-axis MRI (Magnetic Resonance Imaging) images, aiming to enhance the diagnosis, monitoring, and treatment of medical disorders related to the heart. The focus centers on implementing various architectures that are derivatives of U-Net, to effectively isolate specific parts of the heart for comprehensive anatomical and functional analysis. Through a combination of images, graphs, and quantitative metrics, the efficacy of the models and their predictions are showcased. Additionally, this paper addresses encountered challenges and outline strategies for future improvements. This abstract provides a concise overview of the efforts in utilizing deep learning for cardiac image segmentation, emphasizing both the accomplishments and areas for further refinement.


title: A Census of Photometrically Selected Little Red Dots at 4 < z < 9 in JWST Blank Fields

abstract: Observations with the James Webb Space Telescope (JWST) have uncovered numerous faint active galactic nuclei (AGN) at $z\sim5$ and beyond. These objects are key to our understanding of the formation of supermassive black holes (SMBHs), their co-evolution with host galaxies, as well as the role of AGN in cosmic reionization. Using photometric colors and size measurements, we perform a search for compact red objects in an array of blank deep JWST/NIRCam fields totaling $\sim640$ arcmin$^{2}$. Our careful selection yields 260 reddened AGN candidates at $4<z_{\rm phot}<9$, dominated by a point-source like central component ($\langle r_{\rm eff} \rangle <130$ pc) and displaying a dichotomy in their rest-frame colors (blue UV and red optical slopes). Quasar model fitting reveals our objects to be moderately dust extincted ($A_{\rm V}\sim1.6$), which is reflected in their inferred bolometric luminosities of $L_{\rm bol}$ = 10$^{44-47}$ erg/s, and fainter UV magnitudes $M_{\rm UV} \simeq$ $-17$ to $-22$. Thanks to the large areas explored, we extend the existing dusty AGN luminosity functions to both fainter and brighter magnitudes, estimating their number densities to be $\times100$ higher than for UV-selected quasars of similar magnitudes. At the same time they constitute only a small fraction of all UV-selected galaxies at similar redshifts, but this percentage rises to $\sim$10\% for $M_{UV}\sim -22$ at $z\sim7$. Finally, assuming a conservative case of accretion at the Eddington rate, we place a lower limit on the SMBH mass function at $z\sim5$, finding it to be consistent with both theory and previous JWST observations.


title: Second-order estimates for the $p$-Laplacian in RCD spaces

abstract: We establish quantitative second-order Sobolev regularity for functions having a $2$-integrable $p$-Laplacian in bounded RCD spaces, with $p$ in a suitable range. In the finite-dimensional case, we also obtain Lipschitz regularity under the assumption that $p$-Laplacian is sufficiently integrable. Our results cover both $p$-Laplacian eigenfunctions and $p$-harmonic functions having relatively compact level sets.


title: Multiobjective Optimization Analysis for Finding Infrastructure-as-Code Deployment Configurations

abstract: Multiobjective optimization is a hot topic in the artificial intelligence and operations research communities. The design and development of multiobjective methods is a frequent task for researchers and practitioners. As a result of this vibrant activity, a myriad of techniques have been proposed in the literature to date, demonstrating a significant effectiveness for dealing with situations coming from a wide range of real-world areas. This paper is focused on a multiobjective problem related to optimizing Infrastructure-as-Code deployment configurations. The system implemented for solving this problem has been coined as IaC Optimizer Platform (IOP). Despite the fact that a prototypical version of the IOP has been introduced in the literature before, a deeper analysis focused on the resolution of the problem is needed, in order to determine which is the most appropriate multiobjective method for embedding in the IOP. The main motivation behind the analysis conducted in this work is to enhance the IOP performance as much as possible. This is a crucial aspect of this system, deeming that it will be deployed in a real environment, as it is being developed as part of a H2020 European project. Going deeper, we resort in this paper to nine different evolutionary computation-based multiobjective algorithms. For assessing the quality of the considered solvers, 12 different problem instances have been generated based on real-world settings. Results obtained by each method after 10 independent runs have been compared using Friedman's non-parametric tests. Findings reached from the tests carried out lad to the creation of a multi-algorithm system, capable of applying different techniques according to the user's needs.


title: Gradable ChatGPT Translation Evaluation

abstract: ChatGPT, as a language model based on large-scale pre-training, has exerted a profound influence on the domain of machine translation. In ChatGPT, a "Prompt" refers to a segment of text or instruction employed to steer the model towards generating a specific category of response. The design of the translation prompt emerges as a key aspect that can wield influence over factors such as the style, precision and accuracy of the translation to a certain extent. However, there is a lack of a common standard and methodology on how to design and select a translation prompt. Accordingly, this paper proposes a generic taxonomy, which defines gradable translation prompts in terms of expression type, translation style, POS information and explicit statement, thus facilitating the construction of prompts endowed with distinct attributes tailored for various translation tasks. Specific experiments and cases are selected to validate and illustrate the effectiveness of the method.


title: WorldDreamer: Towards General World Models for Video Generation via Predicting Masked Tokens

abstract: World models play a crucial role in understanding and predicting the dynamics of the world, which is essential for video generation. However, existing world models are confined to specific scenarios such as gaming or driving, limiting their ability to capture the complexity of general world dynamic environments. Therefore, we introduce WorldDreamer, a pioneering world model to foster a comprehensive comprehension of general world physics and motions, which significantly enhances the capabilities of video generation. Drawing inspiration from the success of large language models, WorldDreamer frames world modeling as an unsupervised visual sequence modeling challenge. This is achieved by mapping visual inputs to discrete tokens and predicting the masked ones. During this process, we incorporate multi-modal prompts to facilitate interaction within the world model. Our experiments show that WorldDreamer excels in generating videos across different scenarios, including natural scenes and driving environments. WorldDreamer showcases versatility in executing tasks such as text-to-video conversion, image-tovideo synthesis, and video editing. These results underscore WorldDreamer's effectiveness in capturing dynamic elements within diverse general world environments.


title: Improving Local Training in Federated Learning via Temperature Scaling

abstract: Federated learning is inherently hampered by data heterogeneity: non-i.i.d. training data over local clients. We propose a novel model training approach for federated learning, FLex&Chill, which exploits the Logit Chilling method. Through extensive evaluations, we demonstrate that, in the presence of non-i.i.d. data characteristics inherent in federated learning systems, this approach can expedite model convergence and improve inference accuracy. Quantitatively, from our experiments, we observe up to 6X improvement in the global federated learning model convergence time, and up to 3.37% improvement in inference accuracy.


title: A-KIT: Adaptive Kalman-Informed Transformer

abstract: The extended Kalman filter (EKF) is a widely adopted method for sensor fusion in navigation applications. A crucial aspect of the EKF is the online determination of the process noise covariance matrix reflecting the model uncertainty. While common EKF implementation assumes a constant process noise, in real-world scenarios, the process noise varies, leading to inaccuracies in the estimated state and potentially causing the filter to diverge. To cope with such situations, model-based adaptive EKF methods were proposed and demonstrated performance improvements, highlighting the need for a robust adaptive approach. In this paper, we derive and introduce A-KIT, an adaptive Kalman-informed transformer to learn the varying process noise covariance online. The A-KIT framework is applicable to any type of sensor fusion. Here, we present our approach to nonlinear sensor fusion based on an inertial navigation system and Doppler velocity log. By employing real recorded data from an autonomous underwater vehicle, we show that A-KIT outperforms the conventional EKF by more than 49.5% and model-based adaptive EKF by an average of 35.4% in terms of position accuracy.


title: Developing an AI-based Integrated System for Bee Health Evaluation

abstract: Honey bees pollinate about one-third of the world's food supply, but bee colonies have alarmingly declined by nearly 40% over the past decade due to several factors, including pesticides and pests. Traditional methods for monitoring beehives, such as human inspection, are subjective, disruptive, and time-consuming. To overcome these limitations, artificial intelligence has been used to assess beehive health. However, previous studies have lacked an end-to-end solution and primarily relied on data from a single source, either bee images or sounds. This study introduces a comprehensive system consisting of bee object detection and health evaluation. Additionally, it utilized a combination of visual and audio signals to analyze bee behaviors. An Attention-based Multimodal Neural Network (AMNN) was developed to adaptively focus on key features from each type of signal for accurate bee health assessment. The AMNN achieved an overall accuracy of 92.61%, surpassing eight existing single-signal Convolutional Neural Networks and Recurrent Neural Networks. It outperformed the best image-based model by 32.51% and the top sound-based model by 13.98% while maintaining efficient processing times. Furthermore, it improved prediction robustness, attaining an F1-score higher than 90% across all four evaluated health conditions. The study also shows that audio signals are more reliable than images for assessing bee health. By seamlessly integrating AMNN with image and sound data in a comprehensive bee health monitoring system, this approach provides a more efficient and non-invasive solution for the early detection of bee diseases and the preservation of bee colonies.


title: Power Grid Parameter Estimation Without Phase Measurements: Theory and Empirical Validation

abstract: Reliable integration and operation of renewable distributed energy resources requires accurate distribution grid models. However, obtaining precise models is often prohibitively expensive, given their large scale and the ongoing nature of grid operations. To address this challenge, considerable efforts have been devoted to harnessing abundant consumption data for automatic model inference. The primary result of the paper is that, while the impedance of a line or a network can be estimated without synchronized phase angle measurements in a consistent way, the admittance cannot. Furthermore, a detailed statistical analysis is presented, quantifying the expected estimation errors of four prevalent admittance estimation methods. Such errors constitute fundamental model inference limitations that cannot be resolved with more data. These findings are empirically validated using synthetic data and real measurements from the town of Walenstadt, Switzerland, confirming the theory. The results contribute to our understanding of grid estimation limitations and uncertainties, offering guidance for both practitioners and researchers in the pursuit of more reliable and cost-effective solutions.


title: Exploring the Mechanisms Behind Non Aromatic Fluorescence with Density Functional Tight Binding Method

abstract: Recent experimental findings reveal non-conventional fluorescence emission in biological systems devoid of conjugated bonds or aromatic compounds, termed \textit{Non-Aromatic Fluorescence} (NAF). This phenomenon is exclusive to aggregated or solid states, remaining absent in monomeric solutions. Previous studies focused on small model systems in vacuum show that the carbonyl stretching mode along with strong interaction of short hydrogen bonds (SHBs) remain the primary vibrational mode explaining NAF in these systems. In order to simulate larger model systems taking into account the effects of the surrounding environment, in this work we propose using the density functional tight-binding (DFTB) method in combination with non-adiabatic molecular dynamics (NAMD) and the mixed quantum/molecular mechanics (QM/MM) approach. We investigate the mechanism behind NAF in the crystal structure of L-pyroglutamine-ammonium, comparing it with the related non-fluorescent amino acid L-glutamine. Our results extend our previous findings to more realistic systems, demonstrating the efficiency and robustness of the proposed DFTB method in the context of NAMD in biological systems. Furthemore, due to its inherent low computational cost, this method allows for a better sampling on the non-radiative events at the conical intersection which is crucial for a complete understanding of this phenomenon. Beyond contributing to the ongoing exploration of NAF, this work paves the way for future application of this method in more complex biological systems such as amyloid aggregates, biomaterials and non-aromatic proteins.


title: Irrelevant and marginal deformed BMS field theories

abstract: In this study, we investigate various deformations within the framework of Bondi-van der Burg-Metzner-Sachs invariant field theory (BMSFT). Specifically, we explore the impact of Bondi-van der Burg-Metzner-Sachs (BMS) symmetry on the theory by introducing key deformations, namely, $T \overline{T}$, $JT_{\mu}$, and $\sqrt{T \overline{T}}$ deformations. In the context of generic seed theories possessing BMS symmetry, we derive the first-order correction of correlation functions using the systematic application of BMS symmetry ward identities. However, it is worth noting that higher-order corrections are intricately dependent on the specific characteristics of the seed theories. To illustrate our findings, we select the BMS free scalar and free fermion as representative seed theories. We then proceed to analytically determine the deformed action by solving the nontrivial flow equations. Additionally, we extend our analysis to include second-order deformations within these deformed theories.


title: The diversity of spectral shapes of hydrogen Lyman lines and Mg II lines in a quiescent prominence

abstract: Broad sets of spectroscopic observations comprising multiple lines represent an excellent opportunity for diagnostics of the properties of the prominence plasma and the dynamics of their fine structures. However, they also bring significant challenges when they are compared with synthetic spectra provided by radiative transfer modeling. In this work, we provide a statistical spectroscopic analysis of a unique dataset of coordinated prominence observations in the Lyman lines (Ly_alpha to Ly_delta) and the Mg II k and h lines. The observed data were obtained by the Solar Ultraviolet Measurements of Emitted Radiation (SUMER) spectrograph on board of the Solar and Heliospheric Observatory (SoHO) satellite and the Interface Region Imaging Spectrograph (IRIS) on 22 October 2013. We focus on the following profile characteristics: the shape of the observed line profiles based on the number of distinct peaks, the integrated line intensity, the center-to-peak ratio describing the depth of the reversal of two-peaked profiles, and the asymmetry of these peaks. We show that the presence of noise has a negligible effect on the integrated intensity of all observed lines, but it significantly affects the classification of spectral profiles using the number of distinct peaks, the reversal depth, and also the peak asymmetry. We also demonstrate that by taking the influence of noise into account, we can assess which profile characteristics in which spectral lines are suitable for diagnostics of different properties of the observed prominence.


title: Extracting work optimally with imprecise measurements

abstract: Measurement and feedback allows an external agent to extract work from a system in contact with a single thermal bath. The maximum amount of work that can be extracted in a single measurement and the corresponding feedback loop is given by the information acquired via the measurement, a result that manifests the close relation between information theory and stochastic thermodynamics. In this paper we show how to reversibly confine a Brownian particle in an optical tweezer potential and then extract the corresponding increase of the free energy as work. By repeatedly tracking the position of the particle and modifying the potential accordingly, we can extract work optimally even with a high degree of inaccuracy in the measurements.


title: Bayesian modeling of spatial ordinal data from health surveys

abstract: Health surveys allow exploring health indicators that are of great value from a public health point of view and that cannot normally be studied from regular health registries. These indicators are usually coded as ordinal variables and may depend on covariates associated with individuals. In this paper, we propose a Bayesian individual-level model for small-area estimation of survey-based health indicators. A categorical likelihood is used at the first level of the model hierarchy to describe the ordinal data, and spatial dependence among small areas is taken into account by using a conditional autoregressive (CAR) distribution. Post-stratification of the results of the proposed individual-level model allows extrapolating the results to any administrative areal division, even for small areas. We apply this methodology to the analysis of the Health Survey of the Region of Valencia (Spain) of 2016 to describe the geographical distribution of a self-perceived health indicator of interest in this region.


title: Stated $SL_n$-skein modules, roots of unity, and TQFT

abstract: For a pb surface $\Sigma$, two positive integers $m,n$ with $m\mid n$, and two invertible elements $v,\epsilon$ in a commutative domain $R$ with $\epsilon^{2m} = 1$, we construct an $R$-linear isomorphism between the stated $SL_n$-skein algebras $S_n(\Sigma,v)$ and $S_n(\Sigma,\epsilon v)$, which restricts to an algebraic ismorphism between subalgebras of $S_n(\Sigma,v)$ and $S_n(\Sigma,\epsilon v)$. Using this linear isomorphism, we prove the splitting map $\Theta_{c}:S_n(\Sigma,v)\rightarrow S_n(\text{Cut}_c(\Sigma),v)$ for the pb surface $\Sigma$ and the ideal arc $c$ is injective when $v^{2m} = 1$ and $m\mid n$. We generalize Barrett's work to the $SL_n$-skein space and stated $SL_n$-skein space. As an application, we prove the splitting map for the marked 3-manifolds is always injective when the quantum parameter $v=-1$. Let $(M,\mathcal{N})$ be a connected marked 3-manifold with $\mathcal{N}\neq\emptyset$, and let $(M,\mathcal{N}')$ be obtained from $(M,\mathcal{N})$ by adding one extra marking. When $v^4 =1$, we prove the $R$-linear map from $S_n(M,\mathcal{N},v)$ to $S_n(M,\mathcal{N}',v)$ induced by the embedding $(M,\mathcal{N})\rightarrow (M,\mathcal{N}')$ is injective and $S_n(M.\mathcal{N}',v) = S_n(M,\mathcal{N},v)\otimes_{R}O_{q_v}(SL_n)$, where $O_{q_v}(SL_n)$ is the quantization of the regular function ring of $SL_n$. This shows the splitting map for $S_n(M,\mathcal{N},v)$ is always injective. We formulate the stated $SL_n$-TQFT theory, which generalizes the Costantino and L\^e's stated $SL_2$-TQFT theory.


title: Hypercontractivity and strips of convergence in Hardy spaces of general Dirichlet series

abstract: For a general Dirichlet series $\sum a_n e^{-\lambda_n s}$ with frequency $\lambda=(\lambda_n)_n$, we study how horizontal translation (i.e. convolution with a Poisson kernel) improves its integrability properties. We characterize hypercontractive frequencies in terms of their additive structure answering some questions posed by Bayart. We also provide sharp bounds for the strips $S_p(\lambda)$ that encode the minimum translation necessary for series in the Hardy space $\mathcal{H}_p(\lambda)$ to have absolutely convergent coefficients.


title: BPDO:Boundary Points Dynamic Optimization for Arbitrary Shape Scene Text Detection

abstract: Arbitrary shape scene text detection is of great importance in scene understanding tasks. Due to the complexity and diversity of text in natural scenes, existing scene text algorithms have limited accuracy for detecting arbitrary shape text. In this paper, we propose a novel arbitrary shape scene text detector through boundary points dynamic optimization(BPDO). The proposed model is designed with a text aware module (TAM) and a boundary point dynamic optimization module (DOM). Specifically, the model designs a text aware module based on segmentation to obtain boundary points describing the central region of the text by extracting a priori information about the text region. Then, based on the idea of deformable attention, it proposes a dynamic optimization model for boundary points, which gradually optimizes the exact position of the boundary points based on the information of the adjacent region of each boundary point. Experiments on CTW-1500, Total-Text, and MSRA-TD500 datasets show that the model proposed in this paper achieves a performance that is better than or comparable to the state-of-the-art algorithm, proving the effectiveness of the model.


title: On the anti-concentration functions of some familiar families of distributions

abstract: Let $\{X_{\alpha}\}$ be a family of random variables following a certain type of distributions with finite expectation $\mathbf{E}[X_{\alpha}]$ and finite variance ${\rm Var}(X_{\alpha})$, where $\alpha$ is a parameter. Motivated by the recent paper of Hollom and Portier (arXiv: 2306.07811v1), we study the anti-concentration function $(0, \infty)\ni y\to \inf_{\alpha}\mathbf{P}\left(|X_{\alpha}-\mathbf{E}[X_{\alpha}]|\geq y \sqrt{{\rm Var}(X_{\alpha})}\right)$ and find its explicit expression. We show that, for certain familiar families of distributions, including uniform distributions, exponential distributions, non-degenerate Gaussian distributions and student's $t$-distribution, the anti-concentration function is not identically zero, while for some other familiar families of distributions, including binomial, Poisson, negative binomial, hypergeometric, Gamma, Pareto, Weibull, log-normal and Beta distributions, the anti-concentration function is identically zero.


title: Toward a theory of neutrino mass and mixing

abstract: Among numerous theoretical ideas, approaches, mechanisms, models there are probably few elements which will eventually enter the true theory of neutrino masses and mixing. The task is to identify them. Still something conceptually important can be missed. The problems of construction of the theory are outlined. Perspectives and possible future developments are discussed.


title: The possible $K \bar{K}^*$ and $D \bar{D}^*$ bound and resonance states by solving Schrodinger equation

abstract: The Schrodinger equation with a Yukawa type of potential is solved analytically. When different boundary conditions are taken into account, a series of solutions are indicated as Bessel function, the first kind of Hankel function and the second kind of Hankel function, respectively. Subsequently, the scattering processes of $K \bar{K}^*$ and $D \bar{ D}^*$ are investigated. In the $K \bar{K}^*$ sector, the $f_1(1285)$ particle is treated as a $K \bar{K}^*$ bound state, therefore, the coupling constant in the $K \bar{K}^*$ Yukawa potential can be fixed according to the binding energy of the $f_1(1285)$ particle. Consequently, a $K \bar{K}^*$ resonance state is generated by solving the Schrodinger equation with the outgoing wave condition, which lie at $1417-i18$MeV on the complex energy plane. It is reasonable to assume that the $K \bar{K}^*$ resonance state at $1417-i18$MeV might correspond to the $f_1(1420)$ particle in the review of Particle Data Group(PDG).In the $D \bar{D}^*$ sector, since the $X(3872)$ particle is almost located at the $D \bar{ D}^*$ threshold, the binding energy of it equals to zero approximately. Therefore, the coupling constant in the $D \bar{ D}^*$ Yukawa potential is determined, which is related to the first zero point of the zero order Bessel function. Similarly to the $K \bar{K}^*$ case, four resonance states are produced as solutions of the Schrodinger equation with the outgoing wave condition. It is assumed that the resonance states at $3885-i1$MeV, $4029-i108$ MeV, $4328-i191$MeV and $4772-i267$MeV might be associated with the $Zc(3900)$, the $X(3940)$, the $\chi_{c1}(4274)$ and $\chi_{c1}(4685)$ particles, respectively. It is noted that all solutions are isospin degenerate.


title: A Review on the Scientific and Technological Breakthroughs in Thermal Emission Engineering

abstract: The emission of thermal radiation is a physical process of fundamental and technological interest. From different approaches, thermal radiation can be regarded either as one of the basic mechanisms of heat transfer, as a fundamental quantum phenomenon of photon production, or as the propagation of electromagnetic waves. However, unlike light emanating from conventional photonic sources, such as lasers or antennas, thermal radiation is characterized for being broadband, omnidirectional, and unpolarized. Due to these features, ultimately tied to its inherently incoherent nature, taming the thermal radiation constitutes a challenging issue. Latest advances in the field of nanophotonics have led to a whole set of artificial platforms, ranging from spatially structured materials, and much more recently, time-modulated media, offering promising avenues for enhancing the control and manipulation of electromagnetic waves, from far to near-field regimes. Given the ongoing parallelism between the fields of nanophotonics and thermal emission, these recent developments have been harnessed to deal with radiative thermal processes, thereby conforming the current basis of thermal emission engineering. In this review, we survey some of the main breakthroughs carried out in this burgeoning research field, from fundamental aspects, theoretical limits, the emergence of new phenomena, practical applications, challenges, and future prospects.


title: Distantly Supervised Morpho-Syntactic Model for Relation Extraction

abstract: The task of Information Extraction (IE) involves automatically converting unstructured textual content into structured data. Most research in this field concentrates on extracting all facts or a specific set of relationships from documents. In this paper, we present a method for the extraction and categorisation of an unrestricted set of relationships from text. Our method relies on morpho-syntactic extraction patterns obtained by a distant supervision method, and creates Syntactic and Semantic Indices to extract and classify candidate graphs. We evaluate our approach on six datasets built on Wikidata and Wikipedia. The evaluation shows that our approach can achieve Precision scores of up to 0.85, but with lower Recall and F1 scores. Our approach allows to quickly create rule-based systems for Information Extraction and to build annotated datasets to train machine-learning and deep-learning based classifiers.


title: Frequency conversion to the telecom O-band using pressurized hydrogen

abstract: Large-scale quantum networks rely on optical fiber networks and photons as so-called flying qubits for information transport. While dispersion and absorption of optical fibers are minimum at the infrared telecom wavelengths, most atomic and solid state platforms operate at visible or near-infrared wavelengths. Quantum frequency conversion is required to bridge these two wavelength regimes, and nonlinear crystals are currently employed for this process. Here, we report on a novel approach of frequency conversion to the telecom band. This interaction is based on coherent Stokes Raman scattering (CSRS), a four-wave mixing process resonantly enhanced in a dense molecular hydrogen gas. We show the conversion of photons from \SI{863}{\nano\meter} to the telecom O-Band and demonstrate that the input polarization state is preserved. This process is intrinsically broad-band and can be adapted to any other wavelength.


title: Continuous Analogues for the Pochhammer Symbol

abstract: We develop continuous analogues for the Pochhammer symbol following the line of research initiated by D\'iaz and Cano on the construction of continuous analogues for combinatorial objects.


title: Advancing Large Multi-modal Models with Explicit Chain-of-Reasoning and Visual Question Generation

abstract: The increasing demand for intelligent systems capable of interpreting and reasoning about visual content requires the development of Large Multi-Modal Models (LMMs) that are not only accurate but also have explicit reasoning capabilities. This paper presents a novel approach to imbue an LMM with the ability to conduct explicit reasoning based on visual content and textual instructions. We introduce a system that can ask a question to acquire necessary knowledge, thereby enhancing the robustness and explicability of the reasoning process. Our method comprises the development of a novel dataset generated by a Large Language Model (LLM), designed to promote chain-of-thought reasoning combined with a question-asking mechanism. We designed an LMM, which has high capabilities on region awareness to address the intricate requirements of image-text alignment. The model undergoes a three-stage training phase, starting with large-scale image-text alignment using a large-scale datasets, followed by instruction tuning, and fine-tuning with a focus on chain-of-thought reasoning. The results demonstrate a stride toward a more robust, accurate, and interpretable LMM, capable of reasoning explicitly and seeking information proactively when confronted with ambiguous visual input.


title: Regime change detection in irregularly sampled time series

abstract: Irregular sampling is a common problem in palaeoclimate studies. We propose a method that provides regularly sampled time series and at the same time a difference filtering of the data. The differences between successive time instances are derived by a transformation costs procedure. A subsequent recurrence analysis is used to investigate regime transitions. This approach is applied on speleothem based palaeoclimate proxy data from the Indonesian-Australian monsoon region. We can clearly identify Heinrich events in the palaeoclimate as characteristic changes in the dynamics.


title: Spintronic logic: from transducers to logic gates and circuits

abstract: While magnetic solid-state memory has found commercial applications to date, magnetic logic has rather remained on a conceptual level so far. Here, we discuss open challenges of different spintronic logic approaches, which use magnetic excitations for computation. While different logic gate designs have been proposed and proof of concept experiments have been reported, no nontrivial operational spintronic circuit has been demonstrated due to many open challenges in spintronic circuit and system design. Furthermore, the integration of spintronic circuits in CMOS systems will require the usage of transducers between the electric (CMOS) and magnetic domains. We show that these transducers can limit the performance as well as the energy consumption of hybrid CMOS-spintronic systems. Hence, the optimization of transducer efficiency will be a major step towards competitive spintronic logic system.


title: Attack tree metrics are operad algebras

abstract: Attack Trees (ATs) are a widely used tool for security analysis. ATs can be employed in quantitative security analysis through metrics, which assign a security value to an AT. Many different AT metrics exist, and there exist multiple general definitions that aim to study a wide variety of AT metrics at once. However, these all have drawbacks: they do not capture all metrics, and they do not easily generalize to extensions of ATs. In this paper, we introduce a definition of AT metrics based on category theory, specifically operad algebras. This encompasses all previous definitions of AT metrics, and is easily generalized to extensions of ATs. Furthermore, we show that under easily expressed operad-theoretic conditions, existing metric calculation algorithms can be extended in considerable generality.


title: An optimization-based equilibrium measure describes non-equilibrium steady state dynamics: application to edge of chaos

abstract: Understanding neural dynamics is a central topic in machine learning, non-linear physics and neuroscience. However, the dynamics is non-linear, stochastic and particularly non-gradient, i.e., the driving force can not be written as gradient of a potential. These features make analytic studies very challenging. The common tool is the path integral approach or dynamical mean-field theory, but the drawback is that one has to solve the integro-differential or dynamical mean-field equations, which is computationally expensive and has no closed form solutions in general. From the aspect of associated Fokker-Planck equation, the steady state solution is generally unknown. Here, we treat searching for the steady states as an optimization problem, and construct an approximate potential related to the speed of the dynamics, and find that searching for the ground state of this potential is equivalent to running an approximate stochastic gradient dynamics or Langevin dynamics. Only in the zero temperature limit, the distribution of the original steady states can be achieved. The resultant stationary state of the dynamics follows exactly the canonical Boltzmann measure. Within this framework, the quenched disorder intrinsic in the neural networks can be averaged out by applying the replica method, which leads naturally to order parameters for the non-equilibrium steady states. Our theory reproduces the well-known result of edge-of-chaos, and further the order parameters characterizing the continuous transition are derived, and the order parameters are explained as fluctuations and responses of the steady states. Our method thus opens the door to analytically study the steady state landscape of the deterministic or stochastic high dimensional dynamics.


title: A global kernel estimator for partially linear varying coefficient additive hazards models

abstract: In biomedical studies, we are often interested in the association between different types of covariates and the times to disease events. Because the relationship between the covariates and event times is often complex, standard survival models that assume a linear covariate effect are inadequate. A flexible class of models for capturing complex interaction effects among types of covariates is the varying coefficient models, where the effects of a type of covariates can be modified by another type of covariates. In this paper, we study kernel-based estimation methods for varying coefficient additive hazards models. Unlike many existing kernel-based methods that use a local neighborhood of subjects for the estimation of the varying coefficient function, we propose a novel global approach that is generally more efficient. We establish theoretical properties of the proposed estimators and demonstrate their superior performance compared with existing local methods through large-scale simulation studies. To illustrate the proposed method, we provide an application to a motivating cancer genomic study.


title: CPCL: Cross-Modal Prototypical Contrastive Learning for Weakly Supervised Text-based Person Re-Identification

abstract: Weakly supervised text-based person re-identification (TPRe-ID) seeks to retrieve images of a target person using textual descriptions, without relying on identity annotations and is more challenging and practical. The primary challenge is the intra-class differences, encompassing intra-modal feature variations and cross-modal semantic gaps. Prior works have focused on instance-level samples and ignored prototypical features of each person which are intrinsic and invariant. Toward this, we propose a Cross-Modal Prototypical Contrastive Learning (CPCL) method. In practice, the CPCL introduces the CLIP model to weakly supervised TPRe-ID for the first time, mapping visual and textual instances into a shared latent space. Subsequently, the proposed Prototypical Multi-modal Memory (PMM) module captures associations between heterogeneous modalities of image-text pairs belonging to the same person through the Hybrid Cross-modal Matching (HCM) module in a many-to-many mapping fashion. Moreover, the Outlier Pseudo Label Mining (OPLM) module further distinguishes valuable outlier samples from each modality, enhancing the creation of more reliable clusters by mining implicit relationships between image-text pairs. Experimental results demonstrate that our proposed CPCL attains state-of-the-art performance on all three public datasets, with a significant improvement of 11.58%, 8.77% and 5.25% in Rank@1 accuracy on CUHK-PEDES, ICFG-PEDES and RSTPReid datasets, respectively. The code is available at https://github.com/codeGallery24/CPCL.


title: Local entropy theory and applications

abstract: This paper is a survey about recent developments in the local entropy theory for topological dynamical systems and continuous group actions, with particular emphasis on the connections with other areas of dynamical systems and mathematics.


title: Editorial note to Jean-Marie Souriau's " On the motion of spinning particles in general relativity"

abstract: The gravitational interaction of (classical and quantum) spinning bodies is currently the focus of many works using a variety of approaches. This note is a comment on a short paper by Jean-Marie Souriau, now reprinted in the GRG Golden Oldies collection. Souriau's short 1970 note was a pioneering contribution to a symplectic description of the dynamics of spinning particles in general relativity which remained somewhat unnoticed. We explain the specificity of Souriau's approach and emphasize its potential interest within the current flurry of activity on the gravitational interaction of spinning particles.


title: Optimizing Medication Decisions for Patients with Atrial Fibrillation through Path Development Network

abstract: Atrial fibrillation (AF) is a common cardiac arrhythmia characterized by rapid and irregular contractions of the atria. It significantly elevates the risk of strokes due to slowed blood flow in the atria, especially in the left atrial appendage, which is prone to blood clot formation. Such clots can migrate into cerebral arteries, leading to ischemic stroke. To assess whether AF patients should be prescribed anticoagulants, doctors often use the CHA2DS2-VASc scoring system. However, anticoagulant use must be approached with caution as it can impact clotting functions. This study introduces a machine learning algorithm that predicts whether patients with AF should be recommended anticoagulant therapy using 12-lead ECG data. In this model, we use STOME to enhance time-series data and then process it through a Convolutional Neural Network (CNN). By incorporating a path development layer, the model achieves a specificity of 30.6% under the condition of an NPV of 1. In contrast, LSTM algorithms without path development yield a specificity of only 2.7% under the same NPV condition.


title: Towards Hierarchical Spoken Language Dysfluency Modeling

abstract: Speech disfluency modeling is the bottleneck for both speech therapy and language learning. However, there is no effective AI solution to systematically tackle this problem. We solidify the concept of disfluent speech and disfluent speech modeling. We then present Hierarchical Unconstrained Disfluency Modeling (H-UDM) approach, the hierarchical extension of UDM that addresses both disfluency transcription and detection to eliminate the need for extensive manual annotation. Our experimental findings serve as clear evidence of the effectiveness and reliability of the methods we have introduced, encompassing both transcription and detection tasks.


title: Gender Bias in Machine Translation and The Era of Large Language Models

abstract: This chapter examines the role of Machine Translation in perpetuating gender bias, highlighting the challenges posed by cross-linguistic settings and statistical dependencies. A comprehensive overview of relevant existing work related to gender bias in both conventional Neural Machine Translation approaches and Generative Pretrained Transformer models employed as Machine Translation systems is provided. Through an experiment using ChatGPT (based on GPT-3.5) in an English-Italian translation context, we further assess ChatGPT's current capacity to address gender bias. The findings emphasize the ongoing need for advancements in mitigating bias in Machine Translation systems and underscore the importance of fostering fairness and inclusivity in language technologies.


title: Text Region Multiple Information Perception Network for Scene Text Detection

abstract: Segmentation-based scene text detection algorithms can handle arbitrary shape scene texts and have strong robustness and adaptability, so it has attracted wide attention. Existing segmentation-based scene text detection algorithms usually only segment the pixels in the center region of the text, while ignoring other information of the text region, such as edge information, distance information, etc., thus limiting the detection accuracy of the algorithm for scene text. This paper proposes a plug-and-play module called the Region Multiple Information Perception Module (RMIPM) to enhance the detection performance of segmentation-based algorithms. Specifically, we design an improved module that can perceive various types of information about scene text regions, such as text foreground classification maps, distance maps, direction maps, etc. Experiments on MSRA-TD500 and TotalText datasets show that our method achieves comparable performance with current state-of-the-art algorithms.


title: Parabolic optimal control problems with combinatorial switching constraints -- Part III: Branch-and-bound algorithm

abstract: We present a branch-and-bound algorithm for globally solving parabolic optimal control problems with binary switches that have bounded variation and possibly need to satisfy further combinatorial constraints. More precisely, for a given tolerance $\varepsilon>0$, we show how to compute in finite time an $\varepsilon$-optimal solution in function space, independently of any prior discretization. The main ingredients in our approach are an appropriate branching strategy in infinite dimension, an a posteriori error estimation in order to obtain safe dual bounds, and an adaptive refinement strategy in order to allow arbitrary switching points in the limit. The performance of our approach is demonstrated by extensive experimental results.


title: R-Judge: Benchmarking Safety Risk Awareness for LLM Agents

abstract: Large language models (LLMs) have exhibited great potential in autonomously completing tasks across real-world applications. Despite this, these LLM agents introduce unexpected safety risks when operating in interactive environments. Instead of centering on LLM-generated content safety in most prior studies, this work addresses the imperative need for benchmarking the behavioral safety of LLM agents within diverse environments. We introduce R-Judge, a benchmark crafted to evaluate the proficiency of LLMs in judging and identifying safety risks given agent interaction records. R-Judge comprises 162 records of multi-turn agent interaction, encompassing 27 key risk scenarios among 7 application categories and 10 risk types. It incorporates human consensus on safety with annotated safety labels and high-quality risk descriptions. Evaluation of 9 LLMs on R-Judge shows considerable room for enhancing the risk awareness of LLMs: The best-performing model, GPT-4, achieves 72.52% in contrast to the human score of 89.07%, while all other models score less than the random. Moreover, further experiments demonstrate that leveraging risk descriptions as environment feedback achieves substantial performance gains. With case studies, we reveal that correlated to parameter amount, risk awareness in open agent scenarios is a multi-dimensional capability involving knowledge and reasoning, thus challenging for current LLMs. R-Judge is publicly available at https://github.com/Lordog/R-Judge.


title: Self-Rewarding Language Models

abstract: We posit that to achieve superhuman agents, future models require superhuman feedback in order to provide an adequate training signal. Current approaches commonly train reward models from human preferences, which may then be bottlenecked by human performance level, and secondly these separate frozen reward models cannot then learn to improve during LLM training. In this work, we study Self-Rewarding Language Models, where the language model itself is used via LLM-as-a-Judge prompting to provide its own rewards during training. We show that during Iterative DPO training that not only does instruction following ability improve, but also the ability to provide high-quality rewards to itself. Fine-tuning Llama 2 70B on three iterations of our approach yields a model that outperforms many existing systems on the AlpacaEval 2.0 leaderboard, including Claude 2, Gemini Pro, and GPT-4 0613. While there is much left still to explore, this work opens the door to the possibility of models that can continually improve in both axes.


title: Interference Cancellation for UWA Random Access Data Packet Transmission

abstract: In underwater acoustic (UWA) random access communication networks with multiple users and data packet transmissions, the packet collisions are the main cause of the network performance degradation. The aim of this paper is to investigate interference cancellation (IC) techniques capable of resolving such collisions in a low-complexity modem with single-carrier modulation and single transducer. More specifically, in this modem, the IC is used at multiple stages of the receiver. Firstly, the IC is performed for cancelling the multipath interference to improve the equalization performance in comparison with the linear equalization and Rake combining. Secondly, the IC removes the interference from collided data packets within extracted signal segments after identifying the collisions. Finally, the IC is applied to the received baseband signal to improve the data packet detection. The modem performance is investigated in a lake experiment with intensive multipath channels. The experimental results demonstrate high detection performance of the proposed modem design and show that the proposed IC techniques can significantly improve the throughput of random access UWA networks.


title: Entropy Production of Quantum Reset Models

abstract: We analyze the entropy production of Quantum Reset Models (QRMs) corresponding to quantum dynamical semigroups driven by Lindbladians motivated by a probabilistic description of dissipation in an external environment. We investigate the strict positivity of entropy production for Lindbladians given as sums of QRMs, when the Hamiltonian of the total Lindbladian is split as an affine combination of Hamiltonians of the individual QRMs. In this setup, we derive conditions on the coefficients of the combination and on the reset states ensuring either positive or zero entropy production. Second, we deal with a tri-partite system subject at its ends to two independent QRMs and a weak coupling Hamiltonian. The latter is split as an affine combination of individual Hamiltonians, and we provide necessary and sufficient conditions ensuring strict positivity of the entropy production to leading order, with the possible exception of one affine combination. We apply these results to a physically motivated model and exhibit explicit expressions for the leading orders steady-state solution, entropy production and entropy fluxes. Moreover, these approximations are numerically shown to hold beyond the expected regimes.


title: A first approach to the Burchnall-Chaundy theory for quadratic algebras having PBW bases

abstract: In this paper, we present a first approach toward a Burchnall-Chaundy theory for the skew Ore polynomials of higher order generated by quadratic relations defined by Golovashkin and Maksimov \cite{GolovashkinMaksimov1998}.


title: Towards including super-sample covariance in the unbinned likelihood for cluster abundance cosmology

abstract: The measurement of the abundance of galaxy clusters in the Universe is a sensitive probe of cosmology, which depends on both the expansion history of the Universe and the growth of structure. Density fluctuations across the finite survey volume add noise to this measurement, this is often referred to as super-sample covariance (SSC). For an unbinned cluster analysis, such noise has not been included in the cluster likelihood, since the effect of SSC was small compared to the Poisson shot-noise for samples of a few hundred clusters. For upcoming large cluster surveys such as the Rubin LSST, which will deliver catalogs of tens of thousands of clusters, this effect will no longer be negligible. In this paper, we propose a new hybrid likelihood based on the Gauss-Poisson Compound model (GPC), by using infinitesimal mass bins and standard redshift bins. This likelihood has the advantages of an unbinned Poisson likelihood whilst successfully incorporating the effects of SSC. Using a simulated dark matter halo catalog, we find that the hybrid likelihood, accounting for both Poisson noise and SSC, increases the dispersion of the parameter posteriors by 20 percent when using 100,000 clusters compared to the standard unbinned likelihood, based on Poisson statistics only.


title: Aspects of regular and singular electromagnetic-generalized-quasitopological-gravities black holes in (2+1) dimensions

abstract: We investigate quasitopological black holes in $(2+1)$ dimensions in the context of electromagnetic-generalized-quasitopological-gravities (EM-GQT). For three different families of geometries of quasitopological nature, we study the causal structure and their response to a probe scalar field. To linear order, we verify that the scalar field evolves stably, decaying in different towers of quasinormal modes. The studied black holes are either charged geometries (regular and singular) or a regular Ba\~nados-Teitelboim-Zanelli (BTZ)-like black hole, both coming from the EM-GQT theory characterized by nonminimal coupling parameters between gravity and a background scalar field. We calculate the quasinormal modes applying different numerical methods with convergent results between them. The oscillations demonstrate a very peculiar structure for charged black holes: in the intermediate and near extremal cases, a particular scaling arises, similar to that of the rotating BTZ geometry, with the modes being proportional to the distance between horizons. For the single horizon black hole solution, we identify the presence of different quasinormal families by analyzing the features of that spectrum. In all three considered geometries, no instabilities were found.


title: Jet Quenching: From Theory to Simulation

abstract: With the explosion of data on jet based observables in relativistic heavy-ion collisions at the Large Hadron Collider and the Relativistic Heavy-Ion Collider, perturbative QCD based simulations of these processes, often interacting with an expanding viscous fluid dynamical background, have taken center stage. This review is meant to bridge the gap between theory, simulation and phenomenology of jet modification in a dense medium. We will demonstrate how the existence of such end-to-end event generators with semi-realistic or even fully realistic final states allows for the most rigorous comparisons between pQCD based jet modification theory and experiment. State-of-the-art calculations of several jet based observables are presented. Extensions of this theory to jets in the small systems of $p$-$A$ and $e$-$A$ collisions is discussed.


title: Pattern-avoiding modified ascent sequences

abstract: We initiate an in-depth study of pattern avoidance on modified ascent sequences. Our main technique consists in using Stanley's standardization to obtain a transport theorem between primitive modified ascent sequences and permutations avoiding a bivincular pattern of length three. We enumerate some patterns via bijections with other combinatorial structures such as Fishburn permutations, lattice paths and set partitions. We settle the last remaining case of a conjecture by Duncan and Steingr\'imsson by proving that modified ascent sequences avoiding 2321 are counted by the Bell numbers.