title: Probing dark fluids and modified gravity with gravitational lensing

abstract: We generalize the Rindler-Ishak (2007) result for the lensing deflection angle in a SdS spacetime, to the case of a general spherically symmetric fluid beyond the cosmological constant. We thus derive an analytic expression to first post-Newtonian order for the lensing deflection angle in a general static spherically symmetric metric of the form $ ds^2 = f(r)dt^{2} -\frac{dr^{2}}{f(r)}-r^{2}(d\theta ^2 +\sin ^2 \theta d\phi ^2)$ with $f(r) = 1 - \frac{2m}{r}-\sum_{i} b_i\; r_0^{-q_i}\; \left( \frac{r_0}{r}\right)^{q_i}$ where $r_0$ is the lensing impact parameter, $b_i\ll r_0^{q_i}$, $m$ is the mass of the lens and $q_i$ are real arbitrary constants related to the properties of the fluid that surrounds the lens or to modified gravity. This is a generalization of the well known Kiselev black hole metric. The approximate analytic expression of the deflection angle is verified by an exact numerical derivation and in special cases it reduces to results of previous studies. The density and pressure of the spherically symmetric fluid that induces this metric is derived in terms of the constants $b_i$. The Kiselev case of a Schwarzschild metric perturbed by a general spherically symmetric dark fluid (eg vacuum energy) is studied in some detail and consistency with the special case of Rindler Ishak result is found for the case of a cosmological constant background. Observational data of the Einstein radii from distant clusters of galaxies lead to observational constraints on the constants $b_i$ and through them on the density and pressure of dark fluids, field theories or modified gravity theories that could induce this metric.


title: A Numerical Approach for Modeling the Shunt Damping of Thin Panels with Arrays of Separately Piezoelectric Patches

abstract: Two-dimensional thin plates are widely used in many aerospace and automotive applications. Among many methods for the attenuation of vibration of these mechanical structures, piezoelectric shunt damping is a promising way. It enables a compact vibration damping method without adding significant mass and volumetric occupancy. Analyzing the dynamics of these electromechanical systems requires precise modeling tools that properly consider the coupling between the piezoelectric elements and the host structure. This paper presents a methodology for separately shunted piezoelectric patches for achieving higher performance on vibration attenuation. The Rayleigh-Ritz method is used for performing the modal analysis and obtaining the frequency response functions of the electro-mechanical system. The effectiveness of the method is investigated for a broader range of frequencies, and it was shown that separately shunted piezoelectric patches are more effective.


title: Model-Based Uncertainty in Value Functions

abstract: We consider the problem of quantifying uncertainty over expected cumulative rewards in model-based reinforcement learning. In particular, we focus on characterizing the variance over values induced by a distribution over MDPs. Previous work upper bounds the posterior variance over values by solving a so-called uncertainty Bellman equation, but the over-approximation may result in inefficient exploration. We propose a new uncertainty Bellman equation whose solution converges to the true posterior variance over values and explicitly characterizes the gap in previous work. Moreover, our uncertainty quantification technique is easily integrated into common exploration strategies and scales naturally beyond the tabular setting by using standard deep reinforcement learning architectures. Experiments in difficult exploration tasks, both in tabular and continuous control settings, show that our sharper uncertainty estimates improve sample-efficiency.


title: Hidden shock powering the peak of SN 2020faa

abstract: The link between the fate of the most massive stars and the resulting supernova (SN) explosion is still a matter of debate, in major part because of the ambiguity among light-curve powering mechanisms. When stars explode as SNe, the light-curve luminosity is typically sustained by a central engine (radioactive decay, magnetar spin-down, or fallback accretion). However, since massive stars eject considerable amounts of material during their evolution, there may be a significant contribution coming from interactions with the previously ejected circumstellar medium (CSM). Reconstructing the progenitor configuration at the time of explosion requires a detailed analysis of the long-term photometric and spectroscopic evolution of the related transient. In this paper, we present the results of our follow-up campaign of SN 2020faa. Given the high luminosity and peculiar slow light curve, it is purported to have a massive progenitor. We present the spectro-photometric dataset and investigate different options to explain the unusual observed properties that support this assumption. We computed the bolometric luminosity of the supernova and the evolution of its temperature, radius, and expansion velocity. We also fit the observed light curve with a multi-component model to infer information on the progenitor and the explosion mechanism. Reasonable parameters are inferred for SN 2020faa with a magnetar of energy Ep=1.5(+0.5,-0.2)x10^50 erg and spin-down time t(spin)=15+/-1 d, a shell mass M(shell)=2.4(+0.5,-0.4) Msun and kinetic energy Ekin(shell)=0.9(+0.5,-0.3)x 10^51 erg, and a core with M(core)=21.5(+1.4,-0.7) Msun and Ekin(core)=3.9(+0.1,-0.4)x10^51 erg. In addition, we need an extra source to power the luminosity of the second peak. We find that hidden interaction with either a CSM disc or delayed, choked jets is a viable mechanism for supplying the required energy to achieve this effect.


title: A mixed precision LOBPCG algorithm

abstract: The locally optimal block preconditioned conjugate gradient (LOBPCG) algorithm is a popular approach for computing a few smallest eigenvalues and the corresponding eigenvectors of a large Hermitian positive definite matrix A. In this work, we propose a mixed precision variant of LOBPCG that uses a (sparse) Cholesky factorization of A computed in reduced precision as the preconditioner. To further enhance performance, a mixed precision orthogonalization strategy is proposed. To analyze the impact of reducing precision in the preconditioner on performance, we carry out a rounding error and convergence analysis of PINVIT, a simplified variant of LOBPCG. Our theoretical results predict and our numerical experiments confirm that the impact on convergence remains marginal. In practice, our mixed precision LOBPCG algorithm typically reduces the computation time by a factor of 1.4--2.0 on both CPUs and GPUs.


title: Time-aware Multiway Adaptive Fusion Network for Temporal Knowledge Graph Question Answering

abstract: Knowledge graphs (KGs) have received increasing attention due to its wide applications on natural language processing. However, its use case on temporal question answering (QA) has not been well-explored. Most of existing methods are developed based on pre-trained language models, which might not be capable to learn \emph{temporal-specific} presentations of entities in terms of temporal KGQA task. To alleviate this problem, we propose a novel \textbf{T}ime-aware \textbf{M}ultiway \textbf{A}daptive (\textbf{TMA}) fusion network. Inspired by the step-by-step reasoning behavior of humans. For each given question, TMA first extracts the relevant concepts from the KG, and then feeds them into a multiway adaptive module to produce a \emph{temporal-specific} representation of the question. This representation can be incorporated with the pre-trained KG embedding to generate the final prediction. Empirical results verify that the proposed model achieves better performance than the state-of-the-art models in the benchmark dataset. Notably, the Hits@1 and Hits@10 results of TMA on the CronQuestions dataset's complex questions are absolutely improved by 24\% and 10\% compared to the best-performing baseline. Furthermore, we also show that TMA employing an adaptive fusion mechanism can provide interpretability by analyzing the proportion of information in question representations.


title: Dual Path Modeling for Semantic Matching by Perceiving Subtle Conflicts

abstract: Transformer-based pre-trained models have achieved great improvements in semantic matching. However, existing models still suffer from insufficient ability to capture subtle differences. The modification, addition and deletion of words in sentence pairs may make it difficult for the model to predict their relationship. To alleviate this problem, we propose a novel Dual Path Modeling Framework to enhance the model's ability to perceive subtle differences in sentence pairs by separately modeling affinity and difference semantics. Based on dual-path modeling framework we design the Dual Path Modeling Network (DPM-Net) to recognize semantic relations. And we conduct extensive experiments on 10 well-studied semantic matching and robustness test datasets, and the experimental results show that our proposed method achieves consistent improvements over baselines.


title: Design of Sturm global attractors 1: Meanders with three noses, and reversibility

abstract: We systematically explore a simple class of global attractors, called Sturm due to nodal properties, for the semilinear scalar parabolic PDE \begin{equation*}\label{eq:*} u_t = u_{xx} + f(x,u,u_x) %\tag{$*$} \end{equation*} on the unit interval $0 < x<1$, under Neumann boundary conditions. This models the interplay of reaction, advection, and diffusion. Our classification is based on the Sturm meanders, which arise from a shooting approach to the ODE boundary value problem of equilibrium solutions $u_t=0$. Specifically, we address meanders with only three "noses", each of which is innermost to a nested family of upper or lower meander arcs. The Chafee-Infante paradigm, with cubic nonlinearity $f=f(u)$, features just two noses. Our results on the gradient-like global PDE dynamics include a precise description of the connection graphs. The edges denote PDE heteroclinic orbits $v_1 \leadsto v_2$ between equilibrium vertices $v_1, v_2$ of adjacent Morse index. The global attractor turns out to be a ball of dimension $d$, given as the closure of the unstable manifold $W^u(\mathcal{O})$ of the unique equilibrium with maximal Morse index $d$. Surprisingly, for parabolic PDEs based on irreversible diffusion, the connection graph indicates time reversibility on the ($d$-1)-sphere boundary of the global attractor.


title: Pose-Controllable 3D Facial Animation Synthesis using Hierarchical Audio-Vertex Attention

abstract: Most of the existing audio-driven 3D facial animation methods suffered from the lack of detailed facial expression and head pose, resulting in unsatisfactory experience of human-robot interaction. In this paper, a novel pose-controllable 3D facial animation synthesis method is proposed by utilizing hierarchical audio-vertex attention. To synthesize real and detailed expression, a hierarchical decomposition strategy is proposed to encode the audio signal into both a global latent feature and a local vertex-wise control feature. Then the local and global audio features combined with vertex spatial features are used to predict the final consistent facial animation via a graph convolutional neural network by fusing the intrinsic spatial topology structure of the face model and the corresponding semantic feature of the audio. To accomplish pose-controllable animation, we introduce a novel pose attribute augmentation method by utilizing the 2D talking face technique. Experimental results indicate that the proposed method can produce more realistic facial expressions and head posture movements. Qualitative and quantitative experiments show that the proposed method achieves competitive performance against state-of-the-art methods.


title: HUST bearing: a practical dataset for ball bearing fault diagnosis

abstract: In this work, we introduce a practical dataset named HUST bearing, that provides a large set of vibration data on different ball bearings. This dataset contains 90 raw vibration data of 6 types of defects (inner crack, outer crack, ball crack, and their 2-combinations) on 5 types of bearing at 3 working conditions with the sample rate of 51,200 samples per second. We established the envelope analysis and order tracking analysis on the introduced dataset to allow an initial evaluation of the data. A number of classical machine learning classification methods are used to identify bearing faults of the dataset using features in different domains. The typical advanced unsupervised transfer learning algorithms also perform to observe the transferability of knowledge among parts of the dataset. The experimental results of examined methods on the dataset gain divergent accuracy up to 100% on classification task and 60-80% on unsupervised transfer learning task.


title: Nonleptonic $B_c$ decay rates from model independent relations

abstract: Nonleptonic $B_c$ decays to $P$-wave charmonia and light $\pi^+$, $K^+$, and $\rho^+$, $K^{*+}$ mesons are analysed using factorization. The hadronic form factors parametrizing the $B_c \to \chi_{cJ}(h_c)$ matrix elements are expressed in terms of universal functions at the leading order of an expansion in the relative velocity of the heavy quarks in the $B_c$ rest-frame and in $1/m_Q$. Several ratios of branching fractions are evaluated, and when experimental information can be used, single branching fractions are presented. Both the $1P$ and $2P$ charmonia are considered. If the exotic candidate state $\chi_{c1}(3872)$ corresponds to $\chi_{c1}(2P)$, it should be produced in nonleptonic $B_c$ decays with predicted abundances with respect to the other states in the charmonium $2P$ spin four-plet.


title: Work fluctuations for a harmonically confined Active Ornstein-Uhlenbeck Particle

abstract: We study the active work fluctuations of an active Ornstein-Uhlenbeck particle in the presence of a confining harmonic potential. We tackle the problem analytically both for stationary and generic uncorrelated initial states. Our results show that harmonic confinement can induce singularities in the active work rate function, with linear stretches at large positive and negative active work, at sufficiently large active and harmonic force constants. These singularities originate from big jumps in the displacement and in the active force, occurring at the initial or ending points of trajectories and marking the relevance of boundary terms in this problem.

categories: cond-mat.stat-mech math-ph math.MP physics.comp-ph


title: A Fiber-coupled Scanning Magnetometer with Nitrogen-Vacancy Spins in a Diamond Nanobeam

abstract: Magnetic imaging with nitrogen-vacancy (NV) spins in diamond is becoming an established tool for studying nanoscale physics in condensed matter systems. However, the optical access required for NV spin readout remains an important hurdle for operation in challenging environments such as millikelvin cryostats or biological systems. Here, we demonstrate a scanning-NV sensor consisting of a diamond nanobeam that is optically coupled to a tapered optical fiber. This nanobeam sensor combines a natural scanning-probe geometry with high-efficiency through-fiber optical excitation and readout of the NV spins. We demonstrate through-fiber optically interrogated electron spin resonance and proof-of-principle magnetometry operation by imaging spin waves in an yttrium-iron-garnet thin film. Our scanning-nanobeam sensor can be combined with nanophotonic structuring to control the light-matter interaction strength, and has potential for applications that benefit from all-fiber sensor access such as millikelvin systems.


title: Why Target Networks Stabilise Temporal Difference Methods

abstract: Integral to recent successes in deep reinforcement learning has been a class of temporal difference methods that use infrequently updated target values for policy evaluation in a Markov Decision Process. Yet a complete theoretical explanation for the effectiveness of target networks remains elusive. In this work, we provide an analysis of this popular class of algorithms, to finally answer the question: `why do target networks stabilise TD learning'? To do so, we formalise the notion of a partially fitted policy evaluation method, which describes the use of target networks and bridges the gap between fitted methods and semigradient temporal difference algorithms. Using this framework we are able to uniquely characterise the so-called deadly triad - the use of TD updates with (nonlinear) function approximation and off-policy data - which often leads to nonconvergent algorithms. This insight leads us to conclude that the use of target networks can mitigate the effects of poor conditioning in the Jacobian of the TD update. Instead, we show that under mild regularity conditions and a well tuned target network update frequency, convergence can be guaranteed even in the extremely challenging off-policy sampling and nonlinear function approximation setting.


title: UnbiasedNets: A Dataset Diversification Framework for Robustness Bias Alleviation in Neural Networks

abstract: Performance of trained neural network (NN) models, in terms of testing accuracy, has improved remarkably over the past several years, especially with the advent of deep learning. However, even the most accurate NNs can be biased toward a specific output classification due to the inherent bias in the available training datasets, which may propagate to the real-world implementations. This paper deals with the robustness bias, i.e., the bias exhibited by the trained NN by having a significantly large robustness to noise for a certain output class, as compared to the remaining output classes. The bias is shown to result from imbalanced datasets, i.e., the datasets where all output classes are not equally represented. Towards this, we propose the UnbiasedNets framework, which leverages K-means clustering and the NN's noise tolerance to diversify the given training dataset, even from relatively smaller datasets. This generates balanced datasets and reduces the bias within the datasets themselves. To the best of our knowledge, this is the first framework catering to the robustness bias problem in NNs. We use real-world datasets to demonstrate the efficacy of the UnbiasedNets for data diversification, in case of both binary and multi-label classifiers. The results are compared to well-known tools aimed at generating balanced datasets, and illustrate how existing works have limited success while addressing the robustness bias. In contrast, UnbiasedNets provides a notable improvement over existing works, while even reducing the robustness bias significantly in some cases, as observed by comparing the NNs trained on the diversified and original datasets.


title: On distribution dependent stochastic differential equations driven by $G$-Brownian motion

abstract: Distribution dependent stochastic differential equations have been a very hot subject with extensive studies. On the other hand, under the $G$-expectation framework, stochastic differential equations driven by $G$-Brownian motion (in short form, $G$-SDEs) have received increasing attentions, and the existence and uniqueness of solutions to $G$-SDEs under Lipschitz and non-Lipschitz conditions have been obtained. Based on these studies, it is very natural and also important to investigate the $G$-SDEs which are also distribution dependent. In this paper, we are concerned with the well-posedness of the distribution dependent $G$-SDEs. To this end, we first introduce a proper distance of the involved distribution functions and propose a new formulation of the distribution dependent $G$-SDEs. Then, by utilising fix point argument, we establish existence and uniqueness of the solutions of distributed dependent $G$-SDEs under Lipschitz condition. Finally, we derive certain estimates for the solutions of the distribution dependent $G$-SDEs.


title: A multi-wavelength view of Active Galactic Nuclei with an emphasis on gamma-rays

abstract: Active Galactic Nuclei (AGN) are remarkable astronomical sources emitting over the whole electromagnetic spectrum, with different bands providing unique windows on distinct sub-structures and their related physics. AGN come in a large number of types only partially related to intrinsic differences. I highlight here the most important AGN classes, namely jetted and non-jetted, radiatively efficient and inefficient, and face-on and edge-on, the source types selected by different bands together with the most important selection effects and biases, and the underlying emission processes, emphasising the gamma-ray band. I then conclude with a look at some open issues in AGN research and at the main new astronomical facilities, which will provide us with new data to tackle them.


title: Weak equivalence of local independence graphs

abstract: Classical graphical modeling of multivariate random vectors uses graphs to encode conditional independence. In graphical modeling of multivariate stochastic processes, graphs may encode so-called local independence analogously. If some coordinate processes of the multivariate stochastic process are unobserved, the local independence graph of the observed coordinate processes is a directed mixed graph (DMG). Two DMGs may encode the same local independences in which case we say that they are Markov equivalent. Markov equivalence is a central notion in graphical modeling. We show that deciding Markov equivalence of DMGs is coNP-complete, even under a sparsity assumption. As a remedy, we introduce a collection of equivalence relations on DMGs that are all less granular than Markov equivalence and we say that they are weak equivalence relations. This leads to feasible algorithms for naturally occurring computational problems related to weak equivalence of DMGs. The equivalence classes of a weak equivalence relation have attractive properties. In particular, each equivalence class has a greatest element which leads to a concise representation of an equivalence class. Moreover, these equivalence relations define a hierarchy of granularity in the graphical modeling which leads to simple and interpretable connections between equivalence relations corresponding to different levels of granularity.


title: Tutorial on survival modeling with applications to omics data

abstract: Motivation: Identification of genomic, molecular and clinical markers prognostic of patient survival is important for developing personalized disease prevention, diagnostic and treatment approaches. Modern omics technologies have made it possible to investigate the prognostic impact of markers at multiple molecular levels, including genomics, epigenomics, transcriptomics, proteomics and metabolomics, and how these potential risk factors complement clinical characterization of patient outcomes for survival prognosis. However, the massive sizes of the omics data sets, along with their correlation structures, pose challenges for studying relationships between the molecular information and patients' survival outcomes. Results: We present a general workflow for survival analysis that is applicable to high-dimensional omics data as inputs when identifying survival-associated features and validating survival models. In particular, we focus on the commonly used Cox-type penalized regressions and hierarchical Bayesian models for feature selection in survival analysis, which are are especially useful for high-dimensional data, but the framework is applicable more generally. Availability and implementation: A step-by-step R tutorial using The Cancer Genome Atlas survival and omics data for the execution and evaluation of survival models has been made available at https://ocbe-uio.github.io/survomics/survomics.html.


title: Stiff connections in pseudo-Euclidean manifolds

abstract: For a smooth manifold endowed with a (similarity) pseudo-Euclidean structure, a stiff connection $\nabla$ is a symmetric affine connection such that geodesics of $\nabla$ are straight lines of the pseudo-Euclidean structure while the first-order infinitesimal holonomy at each point is an infinitesimal isometry. In this paper, we give a complete classification of stiff connections in a local chart, identify canonical models and start investigating the global geometry of (similarity) pseudo-Euclidean manifolds endowed with a stiff connection. In the conformal class of the pseudo-Euclidean metric g, a stiff connection $\nabla$ defines a pseudo-Riemannian metric h such that unparameterized geodesics of $\nabla$ coincide with unparameterized geodesics of g but have a constant speed with respect to the so-called isochrone metric h. In particular, we obtain a new natural connection on the open unit ball that provides a compromise between properties of Cayley-Klein and Poincar\'e hyperbolic models.


title: Asymptotic convergence of iterative optimization algorithms

abstract: This paper introduces a general framework for iterative optimization algorithms and establishes under general assumptions that their convergence is asymptotically geometric. We also prove that under appropriate assumptions, the rate of convergence can be lower bounded. The convergence is then only geometric, and we provide the exact asymptotic convergence rate. This framework allows to deal with constrained optimization and encompasses the Expectation Maximization algorithm and the mirror descent algorithm, as well as some variants such as the alpha-Expectation Maximization or the Mirror Prox algorithm.Furthermore, we establish sufficient conditions for the convergence of the Mirror Prox algorithm, under which the method converges systematically to the unique minimizer of a convex function on a convex compact set.


title: Hybrid machine-learned homogenization: Bayesian data mining and convolutional neural networks

abstract: Beyond the generally deployed features for microstructure property prediction this study aims to improve the machine learned prediction by developing novel feature descriptors. Therefore, Bayesian infused data mining is conducted to acquire samples containing characteristics inexplicable to the current feature set, and suitable feature descriptors to describe these characteristics are proposed. The iterative development of feature descriptors resulted in 37 novel features, being able to reduce the prediction error by roughly one third. To further improve the predictive model, convolutional neural networks (Conv Nets) are deployed to generate auxiliary features in a supervised machine learning manner. The Conv Nets were able to outperform the feature based approach. A key ingredient for that is a newly proposed data augmentation scheme and the development of so-called deep inception modules. A combination of the feature based approach and the convolutional neural network leads to a hybrid neural network: A parallel deployment of the both neural network archetypes in a single model achieved a relative rooted mean squared error below 1%, more than halving the error compared to prior models operating on the same data. The hybrid neural network was found powerful enough to be extended to predict variable material parameters, from a low to high phase contrast, while allowing for arbitrary microstructure geometry at the same time.


title: Bayesian contiguity constrained clustering, spanning trees and dendrograms

abstract: Clustering is a well-known and studied problem, one of its variants, called contiguity-constrained clustering, accepts as a second input a graph used to encode prior information about cluster structure by means of contiguity constraints i.e. clusters must form connected subgraphs of this graph. This paper discusses the interest of such a setting and proposes a new way to formalise it in a Bayesian setting, using results on spanning trees to compute exactly a posteriori probabilities of candidate partitions. An algorithmic solution is then investigated to find a maximum a posteriori (MAP) partition and extract a Bayesian dendrogram from it. The interest of this last tool, which is reminiscent of the classical output of a simple hierarchical clustering algorithm, is analysed. Finally, the proposed approach is demonstrated with real applications. A reference implementation of this work is available in the R package gtclust that accompanies the paper (available at http://github.com/comeetie/gtclust)


title: Composition operators, convexity of their Berezin range and related questions

abstract: The Berezin range of a bounded operator $T$ acting on a reproducing kernel Hilbert space $\mathcal{H}$ is the set $\text{Ber}(T)$ := $\{\langle T\hat{k}_{x},\hat{k}_{x} \rangle_{\mathcal{H}} : x \in X\}$, where $\hat{k}_{x}$ is the normalized reproducing kernel for $\mathcal{H}$ at $x \in X$. In general, the Berezin range of an operator is not convex. In this paper, we discuss the convexity of range of the Berezin transforms. We characterize the convexity of the Berezin range for a class of composition operators acting on the Hardy space and the Bergman space of the unit disk. Also for so-called superquadratic functions, we prove the Berezin set mapping theorem for positive self-adjoint operators $A$ on the reproducing kernel Hilbert space $\mathcal{H}(\Omega)$, namely we prove that $f(\mathrm{Ber}(\Phi(A)))=\mathrm{Ber}(\Phi(f(A)))$, where $\Phi:\mathcal{B}%\left( \mathcal{H}\left( \Omega\right) \right) \mathcal{\rightarrow}\mathcal{B}\left( \mathcal{K(}Q\mathcal{)}\right) $ is a normalized positive linear map.


title: Getting the phase consistent: The importance of phase description in balanced steady-state free precession MRI of multicompartment systems

abstract: Purpose: Determine the correct mathematical phase description for balanced steady-state free precession (bSSFP) signals in multicompartment systems. Theory and Methods: Based on published bSSFP signal models, two distinct phase descriptions can be formulated: one predicting the presence and the other predicting the absence of destructive interference effects in multicompartment systems. Numerical simulations of bSSFP signals of water and acetone were performed to evaluate the predictions of these two distinct phase descriptions. For experimental validation, bSSFP profiles were measured at 3T using phase-cycled bSSFP acquisitions performed in a phantom containing mixtures of water and acetone, which replicates a system with two signal components. Localized single voxel MRS was performed at 7T to determine the relative chemical-shift of the acetone-water mixtures. Results: Based on the choice of phase description, the simulated bSSFP profiles of water-acetone mixtures varied significantly, either displaying or lacking destructive interference effects, as predicted theoretically. In phantom experiments, destructive interference was consistently observed in the measured bSSFP profiles of water-acetone mixtures, an observation which excludes the phase description that predicts an absence of destructive interference. The connection between the choice of phase description and predicted observation enables an unambiguous experimental identification of the correct phase description for multicompartment bSSFP profiles, which is consistent with Bloch equations. Conclusion: The study emphasizes that consistent phase descriptions are crucial for accurately describing multi-compartment bSSFP signals, as incorrect phase descriptions result in erroneous predictions.


title: Resonance behavior of a compliant piezo-driven inkjet channel with an entrained microbubble

abstract: Microbubbles entrained in a piezo-driven drop-on-demand (DOD) printhead disturb the acoustics of the microfluidic ink channel and thereby the jetting behavior. Here, the resonance behavior of an ink channel as a function of the microbubble size and the number of bubbles is studied through theoretical modeling and experiments. The system is modeled as a set of two coupled harmonic oscillators: one corresponding to the compliant ink channel and one to the microbubble. The predicted and measured eigenfrequencies are in excellent agreement. It was found that the resonance frequency is independent of the bubble size as long as the compliance of the bubble dominates over that of the piezo actuator. An accurate description of the eigenfrequency of the coupled system requires the inclusion of the increased inertance of the entrained microbubble due to confinement. We show that the inertance of a confined bubble can be accurately obtained by using a simple potential flow approach. The model is further validated by the excellent agreement between the modeled and measured microbubble resonance curves. The present work therefore provides physical insight in the coupled dynamics of a compliant ink channel with an entrained microbubble.


title: The $\mu(I)$ model and extensions applied to granular material in silo with inserts

abstract: Granular material is often handled using silos with inserts in industrial processes to prevent "rat-holing" and similar behaviour, optimise mixing behaviour, and prevent segregation. We study the mass flow rate and the static zones of granular silos using the $\mu(I)$ rheology in the incompressible Navier-Stokes equations. We also extend the $\mu(I)$ model to incorporate pseudo-dilatancy and nonlocal fluidity. We find that insert shape has a significant effect on flow rate and static material. We also find that the effect of inserts on flow rate is not strongly affected by the extensions, while the amount of static material is highly dependent on the interactions between insert shape and extensions. Finally, we find that the effect on flow rate varies with insert size, while the amount of static material is not significantly affected by increasing insert size. These results could provide important insights for optimising silo design.


title: On the appearance of time in the classical limit of quantum gravity

abstract: A possible solution of the problem of time in the Wheeler - DeWitt quantum geometrodynamics is that time appears in semiclassical limit. Following this line of thinking, one can come to the Schrodinger equation for matter fields in curved spacetime with quantum-gravitational corrections. In the present paper, we study the semiclassical limit in the case of a closed isotropic model with a scalar field decomposed into modes. We analyse calculations made within frameworks of three approaches. The first approach was proposed by Kiefer and Singh. Since the Wheeler - DeWitt equation does not contain a time derivative, it is constructed by means of a special mathematical procedure, time variable being a parameter along a classical trajectory of gravitational field. The second method was suggested in the paper of Maniccia and Montani who introduced the Kuchar - Torre reference fluid as an origin of time. And the third is the extended phase space approach to quantization of gravity. In this approach, the temporal Schrodinger equation is argued to be more fundamental than the Wheeler - DeWitt equation, and there is no problem of time. The origin of time is fixing of a reference frame of some observer, who can register macroscopic consequences of quantum gravitational phenomena in the Very Early Universe. To go to the semiclassical limit, the Born - Oppenheimer approximation for gravity is used. In each of the approaches, in the order ${\cal O}(1/M)$, a temporal Schrodinger equation for matter fields in curved spacetime with quantum gravitational corrections is obtained. However, equations and corrections are different in various approaches, and the results depend on additional assumptions made within the scopes of these approaches.


title: Deep Learning for Video-Text Retrieval: a Review

abstract: Video-Text Retrieval (VTR) aims to search for the most relevant video related to the semantics in a given sentence, and vice versa. In general, this retrieval task is composed of four successive steps: video and textual feature representation extraction, feature embedding and matching, and objective functions. In the last, a list of samples retrieved from the dataset is ranked based on their matching similarities to the query. In recent years, significant and flourishing progress has been achieved by deep learning techniques, however, VTR is still a challenging task due to the problems like how to learn an efficient spatial-temporal video feature and how to narrow the cross-modal gap. In this survey, we review and summarize over 100 research papers related to VTR, demonstrate state-of-the-art performance on several commonly benchmarked datasets, and discuss potential challenges and directions, with the expectation to provide some insights for researchers in the field of video-text retrieval.


title: Lower Bounds on the Depth of Integral ReLU Neural Networks via Lattice Polytopes

abstract: We prove that the set of functions representable by ReLU neural networks with integer weights strictly increases with the network depth while allowing arbitrary width. More precisely, we show that $\lceil\log_2(n)\rceil$ hidden layers are indeed necessary to compute the maximum of $n$ numbers, matching known upper bounds. Our results are based on the known duality between neural networks and Newton polytopes via tropical geometry. The integrality assumption implies that these Newton polytopes are lattice polytopes. Then, our depth lower bounds follow from a parity argument on the normalized volume of faces of such polytopes.


title: Functions with bounded Hessian-Schatten variation: density, variational and extremality properties

abstract: In this paper we analyze in detail a few questions related to the theory of functions with bounded $p$-Hessian-Schatten total variation, which are relevant in connection with the theory of inverse problems and machine learning. We prove an optimal density result, relative to the $p$-Hessian-Schatten total variation, of continuous piecewise linear (CPWL) functions in any space dimension $d$, using a construction based on a mesh whose local orientation is adapted to the function to be approximated. We show that not all extremal functions with respect to the $p$-Hessian-Schatten total variation are CPWL. Finally, we prove existence of minimizers of certain relevant functionals involving the $p$-Hessian-Schatten total variation in the critical dimension $d=2$.


title: An Integral Representation for the Dirac Propagator in the Reissner-Nordstr\"om Geometry in Eddington-Finkelstein Coordinates

abstract: The Cauchy problem for the massive Dirac equation is studied in the Reissner-Nordstr\"om geometry in horizon-penetrating Eddington-Finkelstein-type coordinates. We derive an integral representation for the Dirac propagator involving the solutions of the ordinary differential equations which arise in the separation of variables. Our integral representation describes the dynamics of Dirac particles outside and across the event horizon, up to the Cauchy horizon.


title: Exploring the recycling model of Phobos formation: rubble-pile satellites

abstract: Phobos is the target of the return sample mission Martian Moons eXploration by JAXA that will analyze in great details the physical and compositional properties of the satellite from orbit, from the surface and in terrestrial laboratories, giving clues about its formation. Some models propose that Phobos and Deimos were formed after a giant impact giving rise to an extended debris disk. Assuming that Phobos formed from a cascade of disruptions and re-accretions of several parent bodies in this disk, and that they are all characterized by a low material cohesion, Hesselbrock & Milton (2017) have showed that a recycling process may happen during the assembling of Phobos, by which Phobos' parents are destroyed into a Roche-interior ring and reaccreted several times. In the current paper we explore in details the recycling model, and pay particular attention to the characteristics of the disk using 1D models of disk/satellite interactions. In agreement with previous studies we confirm that, if Phobos' parents bodies are gravitational aggregates (rubble piles), then the recycling process does occur. However, Phobos should be accompanied today by a Roche-interior ring. Furthermore, the characteristics of the ring are not reconcilable with today`s observations of Mars' environment, which put stringent constraints on the existence of a ring around Mars. The recycling mechanism may or may not have occurred at the Roche limit for an old moon population, depending on their internal cohesion. However, the Phobos we see today cannot be the outcome of such a recycling process.


title: Time evolution of the Navier-Stokes flow in far-field

abstract: Asymptotic expansion in far-field for the incompressive Navier-Stokes flow are established. Under moment conditions on the initial vorticity, technique of renormalization together with Biot-Savard law derives an asymptotic expansion for the velocity with high-order. Especially scalings and large-time behaviors of the expansions are clarified. By employing them, time evolution of velocity in far-field is drawn. As an appendix, asymptotic behavior of solutions as time variable tends to infinity is given.


title: Degree bounds for Putinar's Positivstellensatz on the hypercube

abstract: The Positivstellens\"atze of Putinar and Schm\"udgen show that any polynomial $f$ positive on a compact semialgebraic set can be represented using sums of squares. Recently, there has been large interest in proving effective versions of these results, namely to show bounds on the required degree of the sums of squares in such representations. These effective Positivstellens\"atze have direct implications for the convergence rate of the celebrated moment-SOS hierarchy in polynomial optimization. In this paper, we restrict to the fundamental case of the hypercube $\mathrm{B}^{n} = [-1, 1]^n$. We show an upper degree bound for Putinar-type representations on $\mathrm{B}^{n}$ of the order $O(f_{\max}/f_{\min})$, where $f_{\max}$, $f_{\min}$ are the maximum and minimum of $f$ on $\mathrm{B}^{n}$, respectively. Previously, specialized results of this kind were available only for Schm\"udgen-type representations and not for Putinar-type ones. Complementing this upper degree bound, we show a lower degree bound in $\Omega(\sqrt[8]{f_{\max}/f_{\min}})$. This is the first lower bound for Putinar-type representations on a semialgebraic set with nonempty interior described by a standard set of inequalities.


title: From Noisy Fixed-Point Iterations to Private ADMM for Centralized and Federated Learning

abstract: We study differentially private (DP) machine learning algorithms as instances of noisy fixed-point iterations, in order to derive privacy and utility results from this well-studied framework. We show that this new perspective recovers popular private gradient-based methods like DP-SGD and provides a principled way to design and analyze new private optimization algorithms in a flexible manner. Focusing on the widely-used Alternating Directions Method of Multipliers (ADMM) method, we use our general framework to derive novel private ADMM algorithms for centralized, federated and fully decentralized learning. For these three algorithms, we establish strong privacy guarantees leveraging privacy amplification by iteration and by subsampling. Finally, we provide utility guarantees using a unified analysis that exploits a recent linear convergence result for noisy fixed-point iterations.


title: Assessing model-based carbon and oxygen abundance derivation from ultraviolet emission lines in AGNs

abstract: We present an adapted version of the code HII-CHI-Mistry-UV (P\'erez-Montero & Amor\'in 2017) to derive chemical abundances from emission lines in the ultraviolet, for use in narrow line regions (NLR) of Active Galactic Nuclei (AGN). We evaluate different ultraviolet emission line ratios and how different assumptions about the models, including the presence of dust grains, the shape of the incident spectral energy distribution, or the thickness of the gas envelope around the central source, may affect the final estimates as a function of the set of emission lines used. We compare our results with other published recipes for deriving abundances using the same emission lines and show that deriving the carbon-to-oxygen abundance ratio using CIII] $\lambda$ 1909 \r{A} and OIII] $\lambda$ 1665 \r{A} emission lines is a robust indicator of the metal content in AGN that is nearly independent of the model assumptions, similar to the case of star-forming regions. Moreover, we show that a prior determination of C/O allows for a much more precise determination of the total oxygen abundance using carbon UV lines, as opposed to assuming an arbitrary relationship between O/H and C/O, which can lead to non-negligible discrepancies.


title: Inducing Schemes with Finite Weighted Complexity

abstract: In this paper, we consider a Borel measurable map of a compact metric space which admits an inducing scheme. Under the finite weighted complexity condition, we establish a thermodynamic formalism for a parameter family of potentials $\varphi+t\psi$ in an interval containing $t=0$. Furthermore, if there is a generating partition compatible to the inducing scheme, we show that all ergodic invariant measures with sufficiently large pressure are liftable.


title: A Knowledge Distillation framework for Multi-Organ Segmentation of Medaka Fish in Tomographic Image

abstract: Morphological atlases are an important tool in organismal studies, and modern high-throughput Computed Tomography (CT) facilities can produce hundreds of full-body high-resolution volumetric images of organisms. However, creating an atlas from these volumes requires accurate organ segmentation. In the last decade, machine learning approaches have achieved incredible results in image segmentation tasks, but they require large amounts of annotated data for training. In this paper, we propose a self-training framework for multi-organ segmentation in tomographic images of Medaka fish. We utilize the pseudo-labeled data from a pretrained Teacher model and adopt a Quality Classifier to refine the pseudo-labeled data. Then, we introduce a pixel-wise knowledge distillation method to prevent overfitting to the pseudo-labeled data and improve the segmentation performance. The experimental results demonstrate that our method improves mean Intersection over Union (IoU) by 5.9% on the full dataset and enables keeping the quality while using three times less markup.


title: Retrieved Sequence Augmentation for Protein Representation Learning

abstract: Protein language models have excelled in a variety of tasks, ranging from structure prediction to protein engineering. However, proteins are highly diverse in functions and structures, and current state-of-the-art models including the latest version of AlphaFold rely on Multiple Sequence Alignments (MSA) to feed in the evolutionary knowledge. Despite their success, heavy computational overheads, as well as the de novo and orphan proteins remain great challenges in protein representation learning. In this work, we show that MSAaugmented models inherently belong to retrievalaugmented methods. Motivated by this finding, we introduce Retrieved Sequence Augmentation(RSA) for protein representation learning without additional alignment or pre-processing. RSA links query protein sequences to a set of sequences with similar structures or properties in the database and combines these sequences for downstream prediction. We show that protein language models benefit from the retrieval enhancement on both structure prediction and property prediction tasks, with a 5% improvement on MSA Transformer on average while being 373 times faster. In addition, we show that our model can transfer to new protein domains better and outperforms MSA Transformer on de novo protein prediction. Our study fills a much-encountered gap in protein prediction and brings us a step closer to demystifying the domain knowledge needed to understand protein sequences. Code is available on https://github.com/HKUNLP/RSA.


title: Valleytronics in bulk MoS$_2$ by optical control of parity and time symmetries

abstract: The valley degree of freedom of electrons in materials promises routes toward energy-efficient information storage with enticing prospects towards quantum information processing. Current challenges in utilizing valley polarization are symmetry conditions that require monolayer structures or specific material engineering, non-resonant optical control to avoid energy dissipation, and the ability to switch valley polarization at optical speed. We demonstrate all-optical and non-resonant control over valley polarization using bulk MoS$_2$, a centrosymmetric material with zero Berry curvature at the valleys. Our universal method utilizes spin-angular momentum-shaped tri-foil optical control pulses to switch the material's electronic topology to induce valley polarization by transiently breaking time and space inversion symmetry through a simple phase rotation. The dependence of the generation of the second harmonic of an optical probe pulse on the phase rotation directly demonstrates the efficacy of valley polarization. It shows that direct optical control over the valley degree of freedom is not limited to monolayer structures. Instead, it is possible for systems with an arbitrary number of layers and bulk materials. Universal and non-resonant valley control at optical speeds unlocks the possibility of engineering efficient, multi-material valleytronic devices operating on quantum coherent timescales.


title: Variational Linearized Laplace Approximation for Bayesian Deep Learning

abstract: The Linearized Laplace Approximation (LLA) has been recently used to perform uncertainty estimation on the predictions of pre-trained deep neural networks (DNNs). However, its widespread application is hindered by significant computational costs, particularly in scenarios with a large number of training points or DNN parameters. Consequently, additional approximations of LLA, such as Kronecker-factored or diagonal approximate GGN matrices, are utilized, potentially compromising the model's performance. To address these challenges, we propose a new method for approximating LLA using a variational sparse Gaussian Process (GP). Our method is based on the dual RKHS formulation of GPs and retains, as the predictive mean, the output of the original DNN. Furthermore, it allows for efficient stochastic optimization, which results in sub-linear training time in the size of the training dataset. Specifically, its training cost is independent of the number of training points. We compare our proposed method against accelerated LLA (ELLA), which relies on the Nystr\"om approximation, as well as other LLA variants employing the sample-then-optimize principle. Experimental results, both on regression and classification datasets, show that our method outperforms these already existing efficient variants of LLA, both in terms of the quality of the predictive distribution and in terms of total computational time.


title: Observing M Dwarfs UV and optical flares from a CubeSat and their implications for exoplanets habitability

abstract: M dwarfs show the highest rocky planet occurrence among all spectral types, in some instances within the Habitable Zone. Because some of them are very active stars, they are often subject to frequent and powerful flaring, which can be a double-edged sword in regard of exoplanet habitability. On one hand, the increased flux during flare events can trigger the chemical reactions that are necessary to build the basis of prebiotic chemistry. On the other hand, sufficiently strong flares may erode exoplanets' atmospheres and reduce their UV protection. Recent observations of flares have shown that the flaring flux can be x100 times stronger in UV than in the optical. UV is also preferable to constrain more accurately both the prebiotic abiogenesis and the atmospheric erosion. For these reasons, we are developing a CubeSat payload concept to complement current flare surveys operating in the optical. This CubeSat will observe a high number of flaring M dwarfs, following an all-sky scanning law coverage, both in the UV and the optical to better understand the different effective temperatures as wavelengths and flaring status go. This will complement the bright optical flares data acquired from the current ground-based, high-cadence, wide FoV surveys. Another scientific planned goal is to conduct few-minute after-the-flare follow-up optical ground-based time-resolved spectroscopy, that will be triggered by the detection of UV flares in space on board of the proposed CubeSat. Finally, the study of M dwarfs stellar activity in the UV band will provide useful data for larger forthcoming missions that will survey exoplanets, such as PLATO, ARIEL, HabEx and LUVOIR.


title: A novel class of fractional adams method for solving uncertain fractional differential equation

abstract: Uncertain fractional differential equation (UFDE) is a kind of differential equation about uncertain process. As an significant mathematical tool to describe the evolution process of dynamic system, UFDE is better than the ordinary differential equation with integer derivatives because of its hereditability and memorability characteristics. However, in most instances, the precise analytical solutions of UFDE is difficult to obtain due to the complex form of the UFDE itself. Up to now, there is not plenty of researches about the numerical method of UFDE, as for the existing numerical algorithms, their accuracy is also not high. In this research, derive from the interval weighting method, a class of fractional adams method is innovatively proposed to solve UFDE. Meanwhile, such fractional adams method extends the traditional predictor-corrector method to higher order cases. The stability and truncation error limit of the improved algorithm are analyzed and deduced. As the application, several numerical simulations (including $\alpha$-path, extreme value and the first hitting time of the UFDE) are provided to manifest the higher accuracy and efficiency of the proposed numerical method.


title: The pruning front conjecture, folding patterns and classification of H\'enon maps in the presence of strange attractors

abstract: We study the topological dynamics of H\'enon maps. For a parameter set generalizing the Benedicks-Carleson parameters (the Wang-Young parameter set) we obtain the following: The pruning front conjecture (due to Cvitanovi\'c); A kneading theory (realizing a conjecture by Benedicks and Carleson); A classification: two H\'enon maps are conjugate on their strange attractors if and only if their sets of kneading sequences coincide, if and only if their folding patterns coincide. The folding pattern is a single sequence of 0s and 1s, which allows to distinguish two nonconjugate H\'enon attractors in finitely many steps. The classification result relies on further development of the authors' recent inverse limit description of H\'enon attractors in terms of densely branching trees.


title: Implicit Temporal Reasoning for Evidence-Based Fact-Checking

abstract: Leveraging contextual knowledge has become standard practice in automated claim verification, yet the impact of temporal reasoning has been largely overlooked. Our study demonstrates that time positively influences the claim verification process of evidence-based fact-checking. The temporal aspects and relations between claims and evidence are first established through grounding on shared timelines, which are constructed using publication dates and time expressions extracted from their text. Temporal information is then provided to RNN-based and Transformer-based classifiers before or after claim and evidence encoding. Our time-aware fact-checking models surpass base models by up to 9% Micro F1 (64.17%) and 15% Macro F1 (47.43%) on the MultiFC dataset. They also outperform prior methods that explicitly model temporal relations between evidence. Our findings show that the presence of temporal information and the manner in which timelines are constructed greatly influence how fact-checking models determine the relevance and supporting or refuting character of evidence documents.


title: Lasting Diversity and Superior Runtime Guarantees for the $(\mu+1)$ Genetic Algorithm

abstract: Most evolutionary algorithms (EAs) used in practice employ crossover. In contrast, only for few and mostly artificial examples a runtime advantage from crossover could be proven with mathematical means. The most convincing such result shows that the $(\mu+1)$ genetic algorithm (GA) with population size $\mu=O(n)$ optimizes jump functions with gap size $k \ge 3$ in time $O(n^k / \mu + n^{k-1}\log n)$, beating the $\Theta(n^k)$ runtime of many mutation-based EAs. This result builds on a proof that the GA occasionally and then for an expected number of $\Omega(\mu^2)$ iterations has a population that is not dominated by a single genotype. In this work, we show that this diversity persist with high probability for a time exponential in $\mu$ (instead of quadratic). From this better understanding of the population diversity, we obtain stronger runtime guarantees, among them the statement that for all $c\ln(n)\le\mu \le n/\log n$, with $c$ a suitable constant, the runtime of the $(\mu+1)$ GA on $\mathrm{Jump}_k$, with $k \ge 3$, is $O(n^{k-1})$. Consequently, already with logarithmic population sizes, the GA gains a speed-up of order $\Omega(n)$ from crossover.


title: 3D PETCT Tumor Lesion Segmentation via GCN Refinement

abstract: Whole-body PET/CT scan is an important tool for diagnosing various malignancies (e.g., malignant melanoma, lymphoma, or lung cancer), and accurate segmentation of tumors is a key part for subsequent treatment. In recent years, CNN-based segmentation methods have been extensively investigated. However, these methods often give inaccurate segmentation results, such as over-segmentation and under-segmentation. Therefore, to address such issues, we propose a post-processing method based on a graph convolutional neural network (GCN) to refine inaccurate segmentation parts and improve the overall segmentation accuracy. Firstly, nnUNet is used as an initial segmentation framework, and the uncertainty in the segmentation results is analyzed. Certainty and uncertainty nodes establish the nodes of a graph neural network. Each node and its 6 neighbors form an edge, and 32 nodes are randomly selected for uncertain nodes to form edges. The highly uncertain nodes are taken as the subsequent refinement targets. Secondly, the nnUNet result of the certainty nodes is used as label to form a semi-supervised graph network problem, and the uncertainty part is optimized through training the GCN network to improve the segmentation performance. This describes our proposed nnUNet-GCN segmentation framework. We perform tumor segmentation experiments on the PET/CT dataset in the MICCIA2022 autoPET challenge. Among them, 30 cases are randomly selected for testing, and the experimental results show that the false positive rate is effectively reduced with nnUNet-GCN refinement. In quantitative analysis, there is an improvement of 2.12 % on the average Dice score, 6.34 on 95 % Hausdorff Distance (HD95), and 1.72 on average symmetric surface distance (ASSD). The quantitative and qualitative evaluation results show that GCN post-processing methods can effectively improve tumor segmentation performance.


title: Derivation of the Deformed Heisenberg Algebra from Discrete Spacetime

abstract: Even though the deformation of Heisenberg algebra by a minimal length has become a main tool in quantum gravity phenomenology, it has never been rigorously obtained and is derived using heuristic reasoning. Thus, for the first time, we go beyond the heuristic derivation of deformed Heisenberg algebra, and explicitly derive it using a model of discrete spacetime, which will be motivated by quantum gravity. We first investigate the effects of leading order Planckian lattice corrections, and demonstrate that they exactly match those suggested by the heuristic arguments used in quantum gravity phenomenology. However, as will rigorously obtain deformations from higher order Planckian lattice corrections. Unlike the leading order corrections, these higher order corrections will be model dependent. We will choose a specific model, which will break the rotational symmetry, as it is important to produce such effects as CMB anisotropies are thought to be related quantum gravitational effects. We will propose based on the mathematical similarity of the Planckian lattice used here with graphene, that graphene can be used as an analogue system to study quantum gravity. Finally, we investigate the deformation of the covariant form of the Heisenberg algebra using a four dimensional Euclidean lattice.


title: Uncovering gravitational-wave backgrounds from noises of unknown shape with LISA

abstract: Detecting stochastic background radiation of cosmological origin is an exciting possibility for current and future gravitational-wave (GW) detectors. However, distinguishing it from other stochastic processes, such as instrumental noise and astrophysical backgrounds, is challenging. It is even more delicate for the space-based GW observatory LISA since it cannot correlate its observations with other detectors, unlike today's terrestrial network. Nonetheless, with multiple measurements across the constellation and high accuracy in the noise level, detection is still possible. In the context of GW background detection, previous studies have assumed that instrumental noise has a known, possibly parameterized, spectral shape. To make our analysis robust against imperfect knowledge of the instrumental noise, we challenge this crucial assumption and assume that the single-link interferometric noises have an arbitrary and unknown spectrum. We investigate possible ways of separating instrumental and GW contributions by using realistic LISA data simulations with time-varying arms and second-generation time-delay interferometry. By fitting a generic spline model to the interferometer noise and a power-law template to the signal, we can detect GW stochastic backgrounds up to energy density levels comparable with fixed-shape models. We also demonstrate that we can probe a region of the GW background parameter space that today's detectors cannot access.


title: Naver Labs Europe (SPLADE) @ TREC Deep Learning 2022

abstract: This paper describes our participation to the 2022 TREC Deep Learning challenge. We submitted runs to all four tasks, with a focus on the full retrieval passage task. The strategy is almost the same as 2021, with first stage retrieval being based around SPLADE, with some added ensembling with ColBERTv2 and DocT5. We also use the same strategy of last year for the second stage, with an ensemble of re-rankers trained using hard negatives selected by SPLADE. Initial result analysis show that the strategy is still strong, but is still unclear to us what next steps should we take.


title: Fast Single-shot Imaging of Individual Ions via Homodyne Detection of Rydberg-Blockade-Induced Absorption

abstract: We introduce well-separated $^{87}$Rb$^+$ ions into an atomic ensemble by microwave ionization of Rydberg excitations and realize single-shot imaging of the individual ions with an exposure time of 1 $\mu$s. This imaging sensitivity is reached by using homodyne detection of ion-Rydberg-atom interaction induced absorption. We obtain an ion detection fidelity of (80 $\pm$ 5)\% from analyzing the absorption spots in acquired single-shot images. These \textit{in situ} images provide a direct visualization of the ion-Rydberg interaction blockade and reveal clear spatial correlations between Rydberg excitations. The capability of imaging individual ions in a single shot is of interest for investigating collisional dynamics in hybrid ion-atom systems and for exploring ions as a probe for measurements of quantum gases.


title: Non-Vanishing of L-Functions of Vector-Valued Modular Forms

abstract: We show a non-vanishing result for the averages of L-functions associated with the orthogonal basis of the space of cusp forms of vector-valued modular forms on the full group. We also show the existence of at least one basis element whose L-function does not vanish under certain conditions.


title: TRINIDI: Time-of-Flight Resonance Imaging with Neutrons for Isotopic Density Inference

abstract: Accurate reconstruction of 2D and 3D isotope densities is a desired capability with great potential impact in applications such as evaluation and development of next-generation nuclear fuels. Neutron time-of-flight (TOF) resonance imaging offers a potential approach by exploiting the characteristic neutron absorption spectra of each isotope. However, it is a major challenge to compute quantitatively accurate images due to a variety of confounding effects such as severe Poisson noise, background scatter, beam non-uniformity, absorption non-linearity, and extended source pulse duration. We present the TRINIDI algorithm which is based on a two-step process in which we first estimate the neutron flux and background counts, and then reconstruct the areal densities of each isotope and pixel. Both components are based on the inversion of a forward model that accounts for the highly non-linear absorption, energy-dependent emission profile, and Poisson noise, while also modeling the substantial spatio-temporal variation of the background and flux. To do this, we formulate the non-linear inverse problem as two optimization problems that are solved in sequence. We demonstrate on both synthetic and measured data that TRINIDI can reconstruct quantitatively accurate 2D views of isotopic areal density that can then be reconstructed into quantitatively accurate 3D volumes of isotopic volumetric density.


title: Fairness in Language Models Beyond English: Gaps and Challenges

abstract: With language models becoming increasingly ubiquitous, it has become essential to address their inequitable treatment of diverse demographic groups and factors. Most research on evaluating and mitigating fairness harms has been concentrated on English, while multilingual models and non-English languages have received comparatively little attention. This paper presents a survey of fairness in multilingual and non-English contexts, highlighting the shortcomings of current research and the difficulties faced by methods designed for English. We contend that the multitude of diverse cultures and languages across the world makes it infeasible to achieve comprehensive coverage in terms of constructing fairness datasets. Thus, the measurement and mitigation of biases must evolve beyond the current dataset-driven practices that are narrowly focused on specific dimensions and types of biases and, therefore, impossible to scale across languages and cultures.


title: Observation of the decay $\chi_{cJ} \to \Omega^- \bar{\Omega}^+$

abstract: Using an $e^+e^-$ collision data sample of $(27.08 \pm 0.14) \times 10^{8}$ $\psi(3686)$ events collected by the BESIII detector, we report the first observation of $\chi_{cJ} \to \Omega^- \bar{\Omega}^+$ ($J=0,\,1,\,2$) decays with significances of $5.6\sigma$, $6.4\sigma$, and $18\sigma$, respectively, where the $\chi_{cJ}$ mesons are produced in the radiative $\psi(3686)$ decays. The branching fractions are determined to be $\mathcal{B}(\chi_{c0} \to \Omega^- \bar{\Omega}^+) = (3.51 \pm 0.54 \pm 0.29) \times 10^{-5}$, $\mathcal{B}(\chi_{c1} \to \Omega^- \bar{\Omega}^+) = (1.49 \pm 0.23 \pm 0.10) \times 10^{-5}$, and $\mathcal{B}(\chi_{c2} \to \Omega^- \bar{\Omega}^+) = (4.52 \pm 0.24 \pm 0.18) \times 10^{-5}$, where the first and second uncertainties are statistical and systematic, respectively.


title: Membership Inference Attacks against Synthetic Data through Overfitting Detection

abstract: Data is the foundation of most science. Unfortunately, sharing data can be obstructed by the risk of violating data privacy, impeding research in fields like healthcare. Synthetic data is a potential solution. It aims to generate data that has the same distribution as the original data, but that does not disclose information about individuals. Membership Inference Attacks (MIAs) are a common privacy attack, in which the attacker attempts to determine whether a particular real sample was used for training of the model. Previous works that propose MIAs against generative models either display low performance -- giving the false impression that data is highly private -- or need to assume access to internal generative model parameters -- a relatively low-risk scenario, as the data publisher often only releases synthetic data, not the model. In this work we argue for a realistic MIA setting that assumes the attacker has some knowledge of the underlying data distribution. We propose DOMIAS, a density-based MIA model that aims to infer membership by targeting local overfitting of the generative model. Experimentally we show that DOMIAS is significantly more successful at MIA than previous work, especially at attacking uncommon samples. The latter is disconcerting since these samples may correspond to underrepresented groups. We also demonstrate how DOMIAS' MIA performance score provides an interpretable metric for privacy, giving data publishers a new tool for achieving the desired privacy-utility trade-off in their synthetic data.


title: The variance-gamma ratio distribution

abstract: Let $X$ and $Y$ be independent variance-gamma random variables with zero location parameter; then the exact probability density function of the ratio $X/Y$ is derived. Some basic distributional properties are also derived, including identification of parameter regimes under which the density is bounded, asymptotic approximations of tail probabilities, and fractional moments; in particular, we see that the mean is undefined. In the case that $X$ and $Y$ are independent symmetric variance-gamma random variables, an exact formula is also given for the cumulative distribution function of the ratio $X/Y$.


title: Non-parametric analysis of the Hubble Diagram with Neural Networks

abstract: The recent extension of the Hubble diagram of Supernovae and quasars to redshifts much higher than 1 prompted a revived interest in non-parametric approaches to test cosmological models and to measure the expansion rate of the Universe. In particular, it is of great interest to infer model-independent constraints on the possible evolution of the dark energy component. Here we present a new method, based on a Neural Network Regression, to analyze the Hubble Diagram in a completely non-parametric, model-independent fashion. We first validate the method through simulated samples with the same redshift distribution as the real ones, and discuss the limitations related to the "inversion problem" for the distance-redshift relation. We then apply this new technique to the analysis of the Hubble diagram of Supernovae and quasars. We confirm that the data up to $z \sim 1-1.5$ are in agreement with a flat ${\Lambda}CDM$ model with ${\Omega}_M \sim 0.3$, while $\sim 5$-sigma deviations emerge at higher redshifts. A flat ${\Lambda}CDM$ model would still be compatible with the data with ${\Omega}_M > 0.4$. Allowing for a generic evolution of the dark energy component, we find solutions suggesting an increasing value of ${\Omega}_M$ with the redshift, as predicted by interacting dark sector models.


title: Level-Set Topology Optimization for Ductile and Brittle Fracture Resistance Using the Phase-Field Method

abstract: This work presents a rigorous mathematical formulation for topology optimization of a macrostructure undergoing ductile failure. The prediction of ductile solid materials which exhibit dominant plastic deformation is an intriguingly challenging task and plays an extremely important role in various engineering applications. Here, we rely on the phase-field approach to fracture which is a widely adopted framework for modeling and computing the fracture failure phenomena in solids. The first objective is to optimize the topology of the structure in order to minimize its mass, while accounting for structural damage. To do so, the topological phase transition function (between solid and void phases) is introduced, thus resulting in an extension of all the governing equations. Our second objective is to additionally enhance the fracture resistance of the structure. Accordingly, two different formulations are proposed. One requires only the residual force vector of the deformation field as a constraint, while in the second formulation, the residual force vector of the deformation and phase-field fracture simultaneously have been imposed. An incremental minimization principles for a class of gradient-type dissipative materials are used to derive the governing equations. Here, the level-set-based topology optimization is employed to seek an optimal layout with smooth and clear boundaries. Sensitivities are derived using the analytical gradient-based adjoint method to update the level-set surface for both formulations. Here, the evolution of the level-set surface is realized by the reaction-diffusion equation to maximize the strain energy of the structure while a certain volume of design domain is prescribed. Several three-dimensional numerical examples are presented to substantiate our algorithmic developments.


title: VivesDebate-Speech: A Corpus of Spoken Argumentation to Leverage Audio Features for Argument Mining

abstract: In this paper, we describe VivesDebate-Speech, a corpus of spoken argumentation created to leverage audio features for argument mining tasks. The creation of this corpus represents an important contribution to the intersection of speech processing and argument mining communities, and one of the most complete publicly available resources in this topic. Moreover, we have performed a set of first-of-their-kind experiments which show an improvement when integrating audio features into the argument mining pipeline. The provided results can be used as a baseline for future research.


title: Normalized solutions for nonlinear Schr\"odinger equations on graphs

abstract: We are concerned with the nonlinear Schr\"odinger equation with an $L^2$ mass constraint on both finite and locally finite graphs and prove that the equation has a normalized solution by employing variational methods. We also pay attention to the behaviours of the normalized solution as the mass constraint tends to $0^+$ or $+\infty$ and give clear descriptions of the limit equations. Finally, we provide some numerical experiments on a finite graph to illustrate our theoretical results.


title: Optimal decay and regularity for a Thomas--Fermi type variational problem

abstract: We study existence and qualitative properties of the minimizers for a Thomas--Fermi type energy functional defined by $$E_\alpha(\rho):=\frac{1}{q}\int_{\mathbb{R}^d}|\rho(x)|^q dx+\frac{1}{2}\iint_{\mathbb{R}^d\times\mathbb{R}^d}\frac{\rho(x)\rho(y)}{|x-y|^{d-\alpha}}dx dy-\int_{\mathbb{R}^d}V(x)\rho(x)dx,$$ where $d\ge 2$, $\alpha\in (0,d)$ and $V$ is a potential. Under broad assumptions on $V$ we establish existence, uniqueness and qualitative properties such as positivity, regularity and decay at infinity of the global minimizer. The decay at infinity depends in a non--trivial way on the choice of $\alpha$ and $q$. If $\alpha\in (0,2)$ and $q>2$ the global minimizer is proved to be positive under mild regularity assumptions on $V$, unlike in the local case $\alpha=2$ where the global minimizer has typically compact support. We also show that if $V$ decays sufficiently fast the global minimizer is sign--changing even if $V$ is non--negative. In such regimes we establish a relation between the positive part of the global minimizer and the support of the minimizer of the energy, constrained on the non--negative functions. Our study is motivated by recent models of charge screening in graphene, where sign--changing minimizers appear in a natural way.


title: 3D Trajectory Planning for UAV-based Search Missions: An Integrated Assessment and Search Planning Approach

abstract: The ability to efficiently plan and execute search missions in challenging and complex environments during natural and man-made disasters is imperative. In many emergency situations, precise navigation between obstacles and time-efficient searching around 3D structures is essential for finding survivors. In this work we propose an integrated assessment and search planning approach which allows an autonomous UAV (unmanned aerial vehicle) agent to plan and execute collision-free search trajectories in 3D environments. More specifically, the proposed search-planning framework aims to integrate and automate the first two phases (i.e., the assessment phase and the search phase) of a traditional search-and-rescue (SAR) mission. In the first stage, termed assessment-planning we aim to find a high-level assessment plan which the UAV agent can execute in order to visit a set of points of interest. The generated plan of this stage guides the UAV to fly over the objects of interest thus providing a first assessment of the situation at hand. In the second stage, termed search-planning, the UAV trajectory is further fine-tuned to allow the UAV to search in 3D (i.e., across all faces) the objects of interest for survivors. The performance of the proposed approach is demonstrated through extensive simulation analysis.


title: Identifying contact graphs of sphere packings with generic radii

abstract: Ozkan et al. conjectured that any packing of $n$ spheres with generic radii will be stress-free, and hence will have at most $3n-6$ contacts. In this paper we prove that this conjecture is true for any sphere packing with contact graph of the form $G \oplus K_2$, i.e., the graph formed by connecting every vertex in a graph $G$ to every vertex in the complete graph with two vertices. We also prove the converse of the conjecture holds in this special case: specifically, a graph $G \oplus K_2$ is the contact graph of a generic radii sphere packing if and only if $G$ is a penny graph with no cycles.


title: Revisiting Modality Imbalance In Multimodal Pedestrian Detection

abstract: Multimodal learning, particularly for pedestrian detection, has recently received emphasis due to its capability to function equally well in several critical autonomous driving scenarios such as low-light, night-time, and adverse weather conditions. However, in most cases, the training distribution largely emphasizes the contribution of one specific input that makes the network biased towards one modality. Hence, the generalization of such models becomes a significant problem where the non-dominant input modality during training could be contributing more to the course of inference. Here, we introduce a novel training setup with regularizer in the multimodal architecture to resolve the problem of this disparity between the modalities. Specifically, our regularizer term helps to make the feature fusion method more robust by considering both the feature extractors equivalently important during the training to extract the multimodal distribution which is referred to as removing the imbalance problem. Furthermore, our decoupling concept of output stream helps the detection task by sharing the spatial sensitive information mutually. Extensive experiments of the proposed method on KAIST and UTokyo datasets shows improvement of the respective state-of-the-art performance.


title: Near-field imaging of optical nano-cavities in Hyperuniform disordered materials

abstract: Hyperuniform disordered photonic materials have recently been shown to display large, complete photonic band gaps and isotropic optical properties, and are emerging as strong candidates for a plethora of optoelectronic applications, making them competitive with many of their periodic and quasiperiodic counterparts. In this work, high quality factor optical cavities in hyperuniform disordered architectures are fabricated through semiconductor slabs and experimentally addressed by scanning near-field optical microscopy. The wide range of confined cavity modes that we detect arise from carefully designed local modifications of the dielectric structure. Previous works on hyperuniform disordered photonic systems have previously identified several Anderson localized states spectrally located at the PBG edges with relatively high quality factors. In this work, by engineering the structural parameters of the cavity, we achieve an experimental quality factor of order 6000 (higher than the one of the Anderson states) and we demonstrate that three types of localized modes of different nature coexist within a small area and in a relatively narrow spectral window of the disordered correlated system. Their compatibility with general boundary constraints, in contrast with ordered architectures that suffer strict layout constraints imposed by photonic crystals' axes orientation, makes optical cavities in disordered hyperuniform patterns a flexible optical insulator platform for planar optical circuits.


title: Classification of structural building damage grades from multi-temporal photogrammetric point clouds using a machine learning model trained on virtual laser scanning data

abstract: Automatic damage assessment based on UAV-derived 3D point clouds can provide fast information on the damage situation after an earthquake. However, the assessment of multiple damage grades is challenging due to the variety in damage patterns and limited transferability of existing methods to other geographic regions or data sources. We present a novel approach to automatically assess multi-class building damage from real-world multi-temporal point clouds using a machine learning model trained on virtual laser scanning (VLS) data. We (1) identify object-specific change features, (2) separate changed and unchanged building parts, (3) train a random forest machine learning model with VLS data based on object-specific change features, and (4) use the classifier to assess building damage in real-world point clouds from photogrammetry-based dense image matching (DIM). We evaluate classifiers trained on different input data with respect to their capacity to classify three damage grades (heavy, extreme, destruction) in pre- and post-event DIM point clouds of a real earthquake event. Our approach is transferable with respect to multi-source input point clouds used for training (VLS) and application (DIM) of the model. We further achieve geographic transferability of the model by training it on simulated data of geometric change which characterises relevant damage grades across different geographic regions. The model yields high multi-target classification accuracies (overall accuracy: 92.0% - 95.1%). Its performance improves only slightly when using real-world region-specific training data (< 3% higher overall accuracies) and when using real-world region-specific training data (< 2% higher overall accuracies). We consider our approach relevant for applications where timely information on the damage situation is required and sufficient real-world training data is not available.


title: Securing IoT Communication using Physical Sensor Data -- Graph Layer Security with Federated Multi-Agent Deep Reinforcement Learning

abstract: Internet-of-Things (IoT) devices are often used to transmit physical sensor data over digital wireless channels. Traditional Physical Layer Security (PLS)-based cryptography approaches rely on accurate channel estimation and information exchange for key generation, which irrevocably ties key quality with digital channel estimation quality. Recently, we proposed a new concept called Graph Layer Security (GLS), where digital keys are derived from physical sensor readings. The sensor readings between legitimate users are correlated through a common background infrastructure environment (e.g., a common water distribution network or electric grid). The challenge for GLS has been how to achieve distributed key generation. This paper presents a Federated multi-agent Deep reinforcement learning-assisted Distributed Key generation scheme (FD2K), which fully exploits the common features of physical dynamics to establish secret key between legitimate users. We present for the first time initial experimental results of GLS with federated learning, achieving considerable security performance in terms of key agreement rate (KAR), and key randomness.


title: Effect of Lossy Compression Algorithms on Face Image Quality and Recognition

abstract: Lossy face image compression can degrade the image quality and the utility for the purpose of face recognition. This work investigates the effect of lossy image compression on a state-of-the-art face recognition model, and on multiple face image quality assessment models. The analysis is conducted over a range of specific image target sizes. Four compression types are considered, namely JPEG, JPEG 2000, downscaled PNG, and notably the new JPEG XL format. Frontal color images from the ColorFERET database were used in a Region Of Interest (ROI) variant and a portrait variant. We primarily conclude that JPEG XL allows for superior mean and worst case face recognition performance especially at lower target sizes, below approximately 5kB for the ROI variant, while there appears to be no critical advantage among the compression types at higher target sizes. Quality assessments from modern models correlate well overall with the compression effect on face recognition performance.


title: A comprehensive review of visualization methods for association rule mining: Taxonomy, Challenges, Open problems and Future ideas

abstract: Association rule mining is intended for searching for the relationships between attributes in transaction databases. The whole process of rule discovery is very complex, and involves pre-processing techniques, a rule mining step, and post-processing, in which visualization is carried out. Visualization of discovered association rules is an essential step within the whole association rule mining pipeline, to enhance the understanding of users on the results of rule mining. Several association rule mining and visualization methods have been developed during the past decades. This review paper aims to create a literature review, identify the main techniques published in peer-reviewed literature, examine each method's main features, and present the main applications in the field. Defining the future steps of this research area is another goal of this review paper.


title: A Spatial Data Focusing and Generalized Time-invariant Frequency Diverse Array Approach for High Precision Range-angle-based Geocasting

abstract: A novel unified frequency diverse array (FDA) and spatial data focusing (SDF) approach is proposed to simultaneously overcome time-variance and precision constraints of conventional FDA in geocasting, i.e., spatially confined broadcasting, scenarios. This paper describes a free space FDA-based SDF (FDA-SDF) system model for 2-dimensional range-angle-based focusing, including a generalized multi-purpose baseband approach for time-invariant FDA, complemented by SDF processing for improved spatial focusing precision and reduced array size. Comprehensive analytical derivations - general for any frequency offset configuration - describe the geographical FDA-SDF properties and design rules, such as geocast delivery zone steering, location, uniqueness, and size. Simulations of the proposed scheme validate theoretical derivations and demonstrate FDA-SDF's superior spatial precision and minimal design complexity. In particular, using novel alternating logarithmic frequency offsets, a 3-antenna FDA-SDF setup is shown to match the radial and azimuthal precision of its beamforming-based FDA counterpart using, respectively, 64 and 24 antennas.


title: A Markov Game of Age of Information From Strategic Sources With Full Online Information

abstract: We investigate the performance of concurrent remote sensing from independent strategic sources, whose goal is to minimize a linear combination of the freshness of information and the updating cost. In the literature, this is often investigated from a static perspective of setting the update rate of the sources a priori, either in a centralized optimal way or with a distributed game-theoretic approach. However, we argue that truly rational sources would better make such a decision with full awareness of the current age of information, resulting in a more efficient implementation of the updating policies. To this end, we investigate the scenario where sources independently perform a stateful optimization of their objective. Their strategic character leads to the formalization of this problem as a Markov game, for which we find the resulting Nash equilibrium. This can be translated into practical smooth threshold policies for their update. The results are eventually tested in a sample scenario, comparing a centralized optimal approach with two distributed approaches with different objectives for the players.


title: Active Velocity Estimation using Light Curtains via Self-Supervised Multi-Armed Bandits

abstract: To navigate in an environment safely and autonomously, robots must accurately estimate where obstacles are and how they move. Instead of using expensive traditional 3D sensors, we explore the use of a much cheaper, faster, and higher resolution alternative: programmable light curtains. Light curtains are a controllable depth sensor that sense only along a surface that the user selects. We adapt a probabilistic method based on particle filters and occupancy grids to explicitly estimate the position and velocity of 3D points in the scene using partial measurements made by light curtains. The central challenge is to decide where to place the light curtain to accurately perform this task. We propose multiple curtain placement strategies guided by maximizing information gain and verifying predicted object locations. Then, we combine these strategies using an online learning framework. We propose a novel self-supervised reward function that evaluates the accuracy of current velocity estimates using future light curtain placements. We use a multi-armed bandit framework to intelligently switch between placement policies in real time, outperforming fixed policies. We develop a full-stack navigation system that uses position and velocity estimates from light curtains for downstream tasks such as localization, mapping, path-planning, and obstacle avoidance. This work paves the way for controllable light curtains to accurately, efficiently, and purposefully perceive and navigate complex and dynamic environments. Project website: https://siddancha.github.io/projects/active-velocity-estimation/


title: Dynamic Graph Convolutional Network with Attention Fusion for Traffic Flow Prediction

abstract: Accurate and real-time traffic state prediction is of great practical importance for urban traffic control and web mapping services. With the support of massive data, deep learning methods have shown their powerful capability in capturing the complex spatialtemporal patterns of traffic networks. However, existing approaches use pre-defined graphs and a simple set of spatial-temporal components, making it difficult to model multi-scale spatial-temporal dependencies. In this paper, we propose a novel dynamic graph convolution network with attention fusion to tackle this gap. The method first enhances the interaction of temporal feature dimensions, and then it combines a dynamic graph learner with GRU to jointly model synchronous spatial-temporal correlations. We also incorporate spatial-temporal attention modules to effectively capture longrange, multifaceted domain spatial-temporal patterns. We conduct extensive experiments in four real-world traffic datasets to demonstrate that our method surpasses state-of-the-art performance compared to 18 baseline methods.


title: A Machine Learning Approach for Hierarchical Classification of Software Requirements

abstract: Context: Classification of software requirements into different categories is a critically important task in requirements engineering (RE). Developing machine learning (ML) approaches for requirements classification has attracted great interest in the RE community since the 2000s. Objective: This paper aims to address two related problems that have been challenging real-world applications of ML approaches: the problems of class imbalance and high dimensionality with low sample size data (HDLSS). These problems can greatly degrade the classification performance of ML methods. Method: The paper proposes HC4RC, a novel ML approach for multiclass classification of requirements. HC4RC solves the aforementioned problems through semantic-role-based feature selection, dataset decomposition and hierarchical classification. We experimentally compare the effectiveness of HC4RC with three closely related approaches - two of which are based on a traditional statistical classification model whereas one uses an advanced deep learning model. Results: Our experiment shows: 1) The class imbalance and HDLSS problems present a challenge to both traditional and advanced ML approaches. 2) The HC4RC approach is simple to use and can effectively address the class imbalance and HDLSS problems compared to similar approaches. Conclusion: This paper makes an important practical contribution to addressing the class imbalance and HDLSS problems in multiclass classification of software requirements.


title: EvoTorch: Scalable Evolutionary Computation in Python

abstract: Evolutionary computation is an important component within various fields such as artificial intelligence research, reinforcement learning, robotics, industrial automation and/or optimization, engineering design, etc. Considering the increasing computational demands and the dimensionalities of modern optimization problems, the requirement for scalable, re-usable, and practical evolutionary algorithm implementations has been growing. To address this requirement, we present EvoTorch: an evolutionary computation library designed to work with high-dimensional optimization problems, with GPU support and with high parallelization capabilities. EvoTorch is based on and seamlessly works with the PyTorch library, and therefore, allows the users to define their optimization problems using a well-known API.


title: "An Adapt-or-Die Type of Situation": Perception, Adoption, and Use of Text-To-Image-Generation AI by Game Industry Professionals

abstract: Text-to-image generation (TTIG) models, a recent addition to creative AI, can generate images based on a text description. These models have begun to rival the work of professional creatives, and sparked discussions on the future of creative work, loss of jobs, and copyright issues, amongst other important implications. To support the sustainable adoption of TTIG, we must provide rich, reliable and transparent insights into how professionals perceive, adopt and use TTIG. Crucially though, the public debate is shallow, narrow and lacking transparency, while academic work has focused on studying the use of TTIG in a general artist population, but not on the perceptions and attitudes of professionals in a specific industry. In this paper, we contribute a qualitative, exploratory interview study on TTIG in the Finnish videogame industry. Through a Template Analysis on semi-structured interviews with 14 game professionals, we reveal 12 overarching themes, structured into 49 sub-themes on professionals' perception, adoption and use of TTIG systems in games industry practice. Experiencing (yet another) change of roles and creative processes, our participants' reflections can inform discussions within the industry, be used by policymakers to inform urgently needed legislation, and support researchers in games, HCI and AI to support the sustainable, professional use of TTIG to benefit people and games as cultural artefacts.


title: Variational quantum algorithm for generalized eigenvalue problems and its application to the finite element method

abstract: Generalized eigenvalue problems (GEPs) play an important role in the variety of fields including engineering, machine learning and quantum chemistry. Especially, many problems in these fields can be reduced to finding the minimum or maximum eigenvalue of GEPs. One of the key problems to handle GEPs is that the memory usage and computational complexity explode as the size of the system of interest grows. This paper aims at extending sequential quantum optimizers for GEPs. Sequential quantum optimizers are a family of algorithms that iteratively solve the analytical optimization of single-qubit gates in a coordinate descent manner. The contribution of this paper is as follows. First, we formulate the GEP as the minimization/maximization problem of the fractional form of the expectations of two Hermitians. We then showed that the fractional objective function can be analytically minimized or maximized with respect to a single-qubit gate by solving a GEP of a 4 $\times$ 4 matrix. Second, we show that a system of linear equations (SLE) characterized by a positive-definite Hermitian can be formulated as a GEP and thus be attacked using the proposed method. Finally, we demonstrate two applications to important engineering problems formulated with the finite element method. Through the demonstration, we have the following bonus finding; a problem having a real-valued solution can be solved more effectively using quantum gates generating a complex-valued state vector, which demonstrates the effectiveness of the proposed method.


title: Parameterized shadowing for nonautonomous dynamics

abstract: For nonautonomous and nonlinear differential and difference equations depending on a parameter, we formulate sufficient conditions under which they exhibit $C^k$, $k\in \N$ shadowing with respect to a parameter. Our results are applicable to situations when the linear part is not hyperbolic. In the case when the linear part is hyperbolic, we obtain results dealing with parameterized Hyers-Ulam stability.