title: On the range of validity of perturbative models for galaxy clustering and its uncertainty

abstract: We explore the reach of analytical models at one-loop in Perturbation Theory (PT) to accurately describe measurements of the galaxy power spectrum from numerical simulations in redshift space. We consider the validity range in terms of three different diagnostics: 1) the goodness of fit; 2) a figure-of-bias quantifying the error in recovering the fiducial value of a cosmological parameter; 3) an internal consistency check of the theoretical model quantifying the running of the model parameters with the scale cut. We consider different sets of measurements corresponding to an increasing cumulative simulation volume in redshift space. For each volume we define a median value and the associated scatter for the largest wavenumber where the model is valid (the $k$-reach of the model). We find, as a rather general result, that the median value of the reach decreases with the simulation volume, as expected since the smaller statistical errors provide a more stringent test for the model. This is true for all the three definitions considered, with the one given in terms of the figure-of-bias providing the most stringent scale cut. More interestingly, we find as well that the error associated with the $k$-reach value is quite large, with a significant probability of being as low as 0.1$\, h \, {\rm Mpc}^{-1}$ (or, more generally, up to 40% smaller than the median) for all the simulation volumes considered. We explore as well the additional information on the growth rate parameter encoded in the power spectrum hexadecapole, compared to the analysis of monopole and quadrupole, as a function of simulation volume. While our analysis is, in many ways, rather simplified, we find that the gain in the determination of the growth rate is quite small in absolute value and well within the statistical error on the corresponding figure of merit.


title: Feasibility Conditions of Robust Portfolio Solutions under Single and Combined Uncertainties

abstract: In this paper, we derive the feasibility conditions for the robust counterparts of the uncertain Markowitz model. Our study is based on ellipsoidal, box, polyhedral uncertainty sets and also the uncertainty sets obtained from their combinations. We write the uncertain Markowitz problem in a quadratically constrained convex quadratic programming form and the uncertain sets are converted into their quadratic forms for the derivation. The feasibility conditions of robust solutions which we obtained are in the form of positive semi-definite matrices. The study can be useful for deriving the robust counterparts of the combined uncertainties, which in general is difficult to find out.


title: Reveal the lost entanglement for accelerated atoms in the high-dimensional spacetime

abstract: When atoms are accelerated in the vacuum, entanglement among atoms will degrade compared with the initial situation before the acceleration. In this paper, we propose a novel and interesting view that the lost entanglement can be recovered completely when the high-dimensional spacetime is exploited, in the case that the acceleration is not too large, since the entanglement loss rate caused by the large acceleration is faster than the recovery process. We also calculate the entanglement change caused by the anti-Unruh effect and found that the lost entanglement could just be recovered part by the anti-Unruh effect, and the anti-Unruh effect could only appear for a finite range of acceleration when interaction time scale is approximately shorter than the reciprocal of the energy gap in two dimensional spacetime. The limit case of zero acceleration is also investigated, which gives an analytical interpretation for the increase or recovery of entanglement.


title: Byzantine-Tolerant Methods for Distributed Variational Inequalities

abstract: Robustness to Byzantine attacks is a necessity for various distributed training scenarios. When the training reduces to the process of solving a minimization problem, Byzantine robustness is relatively well-understood. However, other problem formulations, such as min-max problems or, more generally, variational inequalities, arise in many modern machine learning and, in particular, distributed learning tasks. These problems significantly differ from the standard minimization ones and, therefore, require separate consideration. Nevertheless, only one work (Adibi et al., 2022) addresses this important question in the context of Byzantine robustness. Our work makes a further step in this direction by providing several (provably) Byzantine-robust methods for distributed variational inequality, thoroughly studying their theoretical convergence, removing the limitations of the previous work, and providing numerical comparisons supporting the theoretical findings.


title: Was Einstein a Lone Genius?

abstract: Albert Einstein's journey to formulate the theory of general relativity involved significant shifts in his approach to gravitational field equations. Starting in 1912, he collaborated with Marcel Grossmann and initially explored broadly covariant field equations. However, in 1913, Einstein discarded these equations in favor of the non-covariant "Entwurf" field equations. This shift was a crucial step in his path to the final theory of general relativity, which he eventually achieved in 1915. This analysis explores Einstein's evolving ideas and decisions regarding the mathematical framework of his theory of gravity during the critical period 1912-1916. My findings in this paper highlight that Einstein's brilliance did not exist in isolation but thrived within a vibrant scientific discourse. His work was significantly enriched through contributions and discussions with friends and colleagues, notably Michele Besso and Marcel Grossmann, illustrating the collaborative essence of scientific advancement. Nevertheless, it is essential to recognize that while these individuals made substantial contributions, they did not share an equal role in shaping the fundamental framework of general relativity, which remained predominantly Einstein's intellectual creation. This nuanced perspective enhances our grasp of the pivotal role played by collaborative dynamics in the development of groundbreaking theories.


title: Time evolution of coherent wave propagation and spin relaxation in spin-orbit coupled systems

abstract: We investigate, both numerically and analytically, the time evolution of a particle in an initial plane wave state as it is subject to elastic scattering in a two-dimensional disordered system with Rashba spin-orbit coupling (SOC). In the analytic calculation, we treat the SOC non-perturbatively, and the disorder perturbatively using the Diffuson and the Cooperon. We calculate the time dependence of coherent backscattering (CBS) as a function of the strength of the SOC. We identify weak and strong SOC regimes, and give the relevant time and energy scales in each case. By studying the time dependence of the anisotropy of the disorder-averaged momentum distribution we identify the spin relaxation time. We find a crossover from D'yakonov-Perel' spin relaxation for weak SOC to Elliot-Yafet like behaviour for strong SOC.


title: LuminanceL1Loss: A loss function which measures percieved brightness and colour differences

abstract: We introduce LuminanceL1Loss, a novel loss function designed to enhance the performance of image restoration tasks. We demonstrate its superiority over MSE when applied to the Retinexformer, BUIFD and DnCNN architectures. Our proposed LuminanceL1Loss leverages a unique approach by transforming images into grayscale and subsequently computing the MSE loss for both grayscale and color channels. Experimental results demonstrate that this innovative loss function consistently outperforms traditional methods, showcasing its potential in image denoising and other related tasks in image reconstruction. It demonstrates gains up to 4.7dB. The results presented in this study highlight the efficacy of LuminanceL1Loss for various image restoration tasks.


title: Discrete stochastic maximal $ L^p $-regularity and convergence of a spatial semidiscretization for a stochastic parabolic equation

abstract: This study demonstrates that the boundedness of the \( H^\infty \)-calculus for the negative discrete Laplace operator is independent of the spatial mesh size. Using this result, we deduce the discrete stochastic maximal \( L^p \)-regularity estimate for a spatial semidiscretization. Furthermore, we derive (nearly) sharp error estimates for the semidiscretization under the general spatial \( L^q \)-norms.


title: A viscous ergodic problem with unbounded and measurable ingredients. Part 2: Mean-Field Games

abstract: We address the problem of existence and (non-)uniqueness of solutions $\big(c,u(\cdot),\mu\big)$ to ergodic mean-field games in the whole space $\mathbb{R}^{m}$ with unbounded and merely measurable data, and for non-separable Hamiltonian. The payoff functional satisfies a new monotonicity condition, different from the usual one due to Lasry and Lions. The method we use is also different from classical approaches. It relies on duality theory and optimization in abstract Banach spaces together with maximal dissipativity of diffusion operators.


title: Image Patch-Matching with Graph-Based Learning in Street Scenes

abstract: Matching landmark patches from a real-time image captured by an on-vehicle camera with landmark patches in an image database plays an important role in various computer perception tasks for autonomous driving. Current methods focus on local matching for regions of interest and do not take into account spatial neighborhood relationships among the image patches, which typically correspond to objects in the environment. In this paper, we construct a spatial graph with the graph vertices corresponding to patches and edges capturing the spatial neighborhood information. We propose a joint feature and metric learning model with graph-based learning. We provide a theoretical basis for the graph-based loss by showing that the information distance between the distributions conditioned on matched and unmatched pairs is maximized under our framework. We evaluate our model using several street-scene datasets and demonstrate that our approach achieves state-of-the-art matching results.


title: Multivariate generalized Pareto distributions along extreme directions

abstract: When modeling a vector of risk variables, extreme scenarios are often of special interest. The peaks-over-thresholds method hinges on the notion that, asymptotically, the excesses over a vector of high thresholds follow a multivariate generalized Pareto distribution. However, existing literature has primarily concentrated on the setting when all risk variables are always large simultaneously. In reality, this assumption is often not met, especially in high dimensions. In response to this limitation, we study scenarios where distinct groups of risk variables may exhibit joint extremes while others do not. These discernible groups are derived from the angular measure inherent in the corresponding max-stable distribution, whence the term extreme direction. We explore such extreme directions within the framework of multivariate generalized Pareto distributions, with a focus on their probability density functions in relation to an appropriate dominating measure. Furthermore, we provide a stochastic construction that allows any prespecified set of risk groups to constitute the distribution's extreme directions. This construction takes the form of a smoothed max-linear model and accommodates the full spectrum of conceivable max-stable dependence structures. Additionally, we introduce a generic simulation algorithm tailored for multivariate generalized Pareto distributions, offering specific implementations for extensions of the logistic and H\"usler-Reiss families capable of carrying arbitrary extreme directions.


title: A Large deviations principle at zero temperature for stationary Markov equilibrium states on countable Markov shifts

abstract: Consider a topologically transitive unilateral countable Markov shift $\Sigma$, a locally constant potential $\phi : \Sigma \to \mathbb{R}$ satisfying suitable conditions, and assume that $\mu_t$ is the unique stationary Markov equilibrium state associated to the potential $t\phi$ for each $t \geq 1$. In this paper we prove a first level large deviations principle at zero temperature for the family of equilibrium states $(\mu_t)_{t \geq 1}$ and we extend the result to the setting of bilateral countable Markov shifts.


title: Traversable Wormholes supported by Holographic Dark Energy with a modified Equation of State

abstract: Inspired by holographic dark energy models, we consider different energy density profiles as possible sources needed to have traversable wormholes solutions. Since such energy densities are all positive, we are forced to introduce an equation of state of the form $p_{r}% (r)=\omega_{r}\left( r\right) \rho(r)$. We will find that Zero Tidal Forces can be imposed at the price of having the function $\omega_{r}\left( r\right) $ divergent for $r\rightarrow\infty$. To overcome this inconvenient, we abandon the request of having Zero Tidal Forces, by introducing appropriate modifications on the function $\omega_{r}\left( r\right) $ in such a way to obtain a finite result everywhere. We will find that such modifications will leave the behavior of the Equation of State close to the throat invariant. Moreover, despite of the initial assumption, we will find that every dark energy profile will be moved into the phantom region. Among the different energy density proposals, only one profile will not require a modification of the original $\omega _{r}\left(r\right) $ to have Zero Tidal Forces. Such an energy density profile will be consistent with the appearance of a Global Monopole.


title: Optimal quantum violations of n-locality inequalities with conditional dependence on inputs

abstract: Bell experiment in the network gives rise to a form of quantum nonlocality which is conceptually different from traditional multipartite Bell nonlocality. Conventional multipartite Bell experiment features a single source that distributes physical systems to multiple parties. In contrast, the network Bell experiment features multiple independent sources. This work considers a nontrivial quantum network, the star-network configuration in an arbitrary input scenario involving n independent sources and (n+1) parties, including n edge parties and one central party. Each of the n edge parties shares a physical system with the central party. We consider that the central party received an arbitrary m number of inputs, and each edge party receives 2^{m-1} number of inputs. The joint probabilities of the system are bounded by some linear constraints. We show that this behaviour of the joint probabilities in turn imposes conditional dependence on the inputs of the edge parties such that the observables of each edge party are bounded by few linear constraints. We derive a family of generalized n-locality inequalities and demonstrate its optimal quantum violation. We introduce an elegant sum-of-squares approach that enables the optimization in quantum theory without specifying the dimension of the quantum system. The optimal quantum value self-tests the observables of each edge party along with the conditional dependence. The observables of the central party along with the quantum state are also self-tested from the optimization procedure itself. Further, we characterize the network nonlocality and examine its correspondence with suitably derived standard Bell nonlocality.


title: Spatial distribution of Angular Momentum Inside a Quark State Dressed with a Gluon

abstract: We investigate the different decompositions of the angular momentum in QCD for a relativistic spin $1/2$ composite state, namely a quark dressed with a gluon. We use light-front Hamiltonian perturbation theory, and in the light-front gauge, use the two-component framework by eliminating the constrained degrees of freedom. We also investigate the different decompositions of the angular momentum at the level of two-dimensional densities in the front form, including the effect of the so-called potential term. In this work, we consider the contribution coming from the quark part of the energy-momentum tensor. We contrast the different decompositions and also compare with other calculations in the literature. We also present the gravitational form factor related to the antisymmetric part of the energy-momentum tensor.


title: Limit theorems for fixed point biased permutations avoiding a pattern of length three

abstract: We prove limit theorems for the number of fixed points occurring in a random pattern avoiding permutation distributed according to a one-parameter family of biased distributions. The bias parameter tilts the distribution towards favoring permutations with more or fewer fixed points than is typical under the uniform distribution. One case we study features a phase transition where the limiting distribution changes abruptly from negative binomial to Rayleigh to normal depending on the bias parameter.


title: Nijenhuis operators with a unity and F-manifolds

abstract: The core object of this paper is a pair $(L, e)$, where $L$ is a Nijenhuis operator and $e$ is a vector field satisfying a specific Lie derivative condition, i.e., $Lie_{e}L=\operatorname{Id}$. Our research unfolds in two parts. In the first part, we establish a Splitting Theorem for Nijenhuis operators with a unity, offering an effective reduction of their study to cases where $L$ has either one real or two complex conjugate eigenvalues at a given point. We further provide the normal forms for $\mathrm{gl}$-regular Nijenhuis operators with a unity around algebraically generic points, along with semi-normal forms for dimensions two and three. In the second part, we establish the relationship between Nijenhuis operators with a unity and $F$-manifolds. Specifically, we prove that the class of regular $F$-manifolds coincides with the class of Nijenhuis manifolds with a cyclic unity. By extending our results from dimension three, we reveal semi-normal forms for corresponding $F$-manifolds around singularities.


title: A Comprehensive Summarization and Evaluation of Feature Refinement Modules for CTR Prediction

abstract: Click-through rate (CTR) prediction is widely used in academia and industry. Most CTR tasks fall into a feature embedding \& feature interaction paradigm, where the accuracy of CTR prediction is mainly improved by designing practical feature interaction structures. However, recent studies have argued that the fixed feature embedding learned only through the embedding layer limits the performance of existing CTR models. Some works apply extra modules on top of the embedding layer to dynamically refine feature representations in different instances, making it effective and easy to integrate with existing CTR methods. Despite the promising results, there is a lack of a systematic review and summarization of this new promising direction on the CTR task. To fill this gap, we comprehensively summarize and define a new module, namely \textbf{feature refinement} (FR) module, that can be applied between feature embedding and interaction layers. We extract 14 FR modules from previous works, including instances where the FR module was proposed but not clearly defined or explained. We fully assess the effectiveness and compatibility of existing FR modules through comprehensive and extensive experiments with over 200 augmented models and over 4,000 runs for more than 15,000 GPU hours. The results offer insightful guidelines for researchers, and all benchmarking code and experimental results are open-sourced. In addition, we present a new architecture of assigning independent FR modules to separate sub-networks for parallel CTR models, as opposed to the conventional method of inserting a shared FR module on top of the embedding layer. Our approach is also supported by comprehensive experiments demonstrating its effectiveness.


title: On Choquet integrals and pointwise estimates

abstract: We consider inequalities where integrals are defined in the sense of Choquet with respect to Hausdorff content. We study cases where continuously differentiable functions are defined on open, connected sets with so much regularity that there exists a pointwise estimate between the values of a function and its gradient under the maximal operator or the Riesz potential, at every point of the set. We show that certain Hardy inequalities and Poincare-Sobolev inequalities are valid in this context.


title: Fokker-Planck analysis of superresolution microscopy images

abstract: A method for the analysis of superresolution microscopy images is presented. This method is based on the analysis of stochastic trajectories of particles moving on the membrane of a cell with the assumption that this motion is determined by the properties of this membrane. Thus, the purpose of this method is to recover the structural properties of the membrane by solving an inverse problem governed by the Fokker-Planck equation related to the stochastic trajectories. Results of numerical experiments demonstrate the ability of the proposed method to reconstruct the potential of a cell membrane by using synthetic data similar those captured by superresolution microscopy of luminescent activated proteins.


title: The Allen-Cahn equation with weakly critical random initial datum

abstract: This work considers the two-dimensional Allen-Cahn equation $$ \partial_t u = \frac{1}{2}\Delta u + \mathfrak{m}\, u -u^3\;, \quad u(0,x)= \eta (x)\;, \qquad \forall (t,x) \in [0, \infty) \times \mathbb{R}^{2} \;, $$ where the initial condition $ \eta $ is a two-dimensional white noise, which lies in the scaling critical space of initial data to the equation. In a weak coupling scaling, we establish a Gaussian limit with nontrivial size of fluctuations, thus casting the nonlinearity as marginally relevant. The result builds on a precise analysis of the Wild expansion of the solution and an understanding of the underlying stochastic and combinatorial structure. This gives rise to a representation for the limiting variance in terms of Butcher series associated to the solution of an ordinary differential equation.


title: Pairing symmetries of multiple superconducting phases in UTe2: Competition between ferromagnetic and antiferromagnetic fluctuations

abstract: The putative spin-triplet superconductor UTe2 exhibits multiple superconducting phases under applied pressure [D. Braithwaite et al., Commun. Phys. 2, 147 (2019)]. The clarification of pairing mechanisms and symmetries of gap functions are essentially important for understanding the multiple-phase diagram. Since the coexistence of ferromagnetic and antiferromagnetic spin fluctuations with Ising-like anisotropy is suggested from measurements of magnetic susceptibilities and neutron scattering measurements, it is expected that the interplay between these spin fluctuations plays a crucial role in the emergence of the multiple superconducting phases. Motivated by these observations, we examine the spin-fluctuation-mediated pairing mechanism, analyzing the linearized Eliashberg equations for an effective model of f-electron bands. It is found that the Ising-like ferromagnetic fluctuations stabilize spin-triplet pairings in either the Au or B3u states, whereas Ising-like antiferromagnetic fluctuations stabilize spin-triplet pairings in the B1u state. These results provide a plausible scenario elucidating the multiple superconducting phases under pressure.


title: Convolution semigroups on Rieffel deformations of locally compact quantum groups

abstract: Consider a locally compact quantum group $\mathbb{G}$ with a closed classical abelian subgroup $\Gamma$ equipped with a $2$-cocycle $\Psi:\hat{\Gamma}\times\hat{\Gamma}\to\mathbb{C}$. We study in detail the associated Rieffel deformation $\mathbb{G}^{\Psi}$ and establish a canonical correspondence between $\Gamma$-invariant convolution semigroups of states on $\mathbb{G}$ and on $\mathbb{G}^{\Psi}$.


title: Self-testing of an unbounded number of mutually commuting local observables

abstract: Based on the optimal quantum violation of suitable Bell's inequality, the device-independent self-testing of state and observables has been reported. It is well-studied that locally commuting or compatible observables cannot be used to reveal quantum nonlocality. Therefore, the self-testing of commuting local observables cannot be possible through the Bell test. In this work, we demonstrate the self-testing of a set of mutually commuting local observables. Such certification has not hitherto been reported. We show that the optimal quantum violations of suitably formulated bilocality and n-locality inequalities in networks uniquely fix the observables of one party to be mutually commuting. In particular, we first demonstrate that in a two-input-arbitrary-party star network, two commuting local observables can be self-tested. Further, by considering an arbitrary-input three-party bilocal network scenario, we demonstrate the self-testing of an unbounded number of mutually commuting local observables.


title: X-Ray Polarized View on the Accretion Geometry in the X-Ray Binary Circinus X-1

abstract: Cir X-1 is a neutron star X-ray binary characterized by strong variations in flux during its eccentric $\sim$16.6 days orbit. There are also strong variations in the spectral state, and historically it has shown both atoll and Z state properties. We observed the source with the Imaging X-ray Polarimetry Explorer during two orbital segments, 6 days apart, for a total of 263~ks. We find an X-ray polarization degree in these segments of $1.6\%\pm0.3\%$ and $1.4\%\pm0.3\%$ at polarization angles of $37^\circ\pm5^\circ$ and $-12^\circ\pm7^\circ$, respectively. Thus we observed a rotation of the polarization angle by $49^\circ\pm8^\circ$ along the orbit. Because variations of accretion flow, and then of the hardness ratio, are expected during the orbit, we also studied the polarization binned in hardness ratio, and found the polarization angle differing by $67^\circ\pm11^\circ$ between the lowest and highest values of the hardness ratio. We discuss possible interpretations of this result that could indicate a possible misalignment between the symmetry axes of the accretion disk and the Comptonizing region caused by the misalignment of the neutron star's angular momentum with respect to the orbital one.


title: General Framework to Evaluate Unlinkability in Biometric Template Protection Systems

abstract: The wide deployment of biometric recognition systems in the last two decades has raised privacy concerns regarding the storage and use of biometric data. As a consequence, the ISO/IEC 24745 international standard on biometric information protection has established two main requirements for protecting biometric templates: irreversibility and unlinkability. Numerous efforts have been directed to the development and analysis of irreversible templates. However, there is still no systematic quantitative manner to analyse the unlinkability of such templates. In this paper we address this shortcoming by proposing a new general framework for the evaluation of biometric templates' unlinkability. To illustrate the potential of the approach, it is applied to assess the unlinkability of four state-of-the-art techniques for biometric template protection: biometric salting, Bloom filters, Homomorphic Encryption and block re-mapping. For the last technique, the proposed framework is compared with other existing metrics to show its advantages.


title: VET: Visual Error Tomography for Point Cloud Completion and High-Quality Neural Rendering

abstract: In the last few years, deep neural networks opened the doors for big advances in novel view synthesis. Many of these approaches are based on a (coarse) proxy geometry obtained by structure from motion algorithms. Small deficiencies in this proxy can be fixed by neural rendering, but larger holes or missing parts, as they commonly appear for thin structures or for glossy regions, still lead to distracting artifacts and temporal instability. In this paper, we present a novel neural-rendering-based approach to detect and fix such deficiencies. As a proxy, we use a point cloud, which allows us to easily remove outlier geometry and to fill in missing geometry without complicated topological operations. Keys to our approach are (i) a differentiable, blending point-based renderer that can blend out redundant points, as well as (ii) the concept of Visual Error Tomography (VET), which allows us to lift 2D error maps to identify 3D-regions lacking geometry and to spawn novel points accordingly. Furthermore, (iii) by adding points as nested environment maps, our approach allows us to generate high-quality renderings of the surroundings in the same pipeline. In our results, we show that our approach can improve the quality of a point cloud obtained by structure from motion and thus increase novel view synthesis quality significantly. In contrast to point growing techniques, the approach can also fix large-scale holes and missing thin structures effectively. Rendering quality outperforms state-of-the-art methods and temporal stability is significantly improved, while rendering is possible at real-time frame rates.


title: Towards Deeper, Lighter and Interpretable Cross Network for CTR Prediction

abstract: Click Through Rate (CTR) prediction plays an essential role in recommender systems and online advertising. It is crucial to effectively model feature interactions to improve the prediction performance of CTR models. However, existing methods face three significant challenges. First, while most methods can automatically capture high-order feature interactions, their performance tends to diminish as the order of feature interactions increases. Second, existing methods lack the ability to provide convincing interpretations of the prediction results, especially for high-order feature interactions, which limits the trustworthiness of their predictions. Third, many methods suffer from the presence of redundant parameters, particularly in the embedding layer. This paper proposes a novel method called Gated Deep Cross Network (GDCN) and a Field-level Dimension Optimization (FDO) approach to address these challenges. As the core structure of GDCN, Gated Cross Network (GCN) captures explicit high-order feature interactions and dynamically filters important interactions with an information gate in each order. Additionally, we use the FDO approach to learn condensed dimensions for each field based on their importance. Comprehensive experiments on five datasets demonstrate the effectiveness, superiority and interpretability of GDCN. Moreover, we verify the effectiveness of FDO in learning various dimensions and reducing model parameters. The code is available on \url{https://github.com/anonctr/GDCN}.


title: Learning Linear Gaussian Polytree Models with Interventions

abstract: We present a consistent and highly scalable local approach to learn the causal structure of a linear Gaussian polytree using data from interventional experiments with known intervention targets. Our methods first learn the skeleton of the polytree and then orient its edges. The output is a CPDAG representing the interventional equivalence class of the polytree of the true underlying distribution. The skeleton and orientation recovery procedures we use rely on second order statistics and low-dimensional marginal distributions. We assess the performance of our methods under different scenarios in synthetic data sets and apply our algorithm to learn a polytree in a gene expression interventional data set. Our simulation studies demonstrate that our approach is fast, has good accuracy in terms of structural Hamming distance, and handles problems with thousands of nodes.


title: Eigenvalue programming beyond matrices

abstract: In this paper we analyze and solve eigenvalue programs, which consist of the task of minimizing a function subject to constraints on the "eigenvalues" of the decision variable. Here, by making use of the FTvN systems framework introduced by Gowda, we interpret "eigenvalues" in a broad fashion going beyond the usual eigenvalues of matrices. This allows us to shed new light on classical problems such as inverse eigenvalue problems and also leads to new applications. In particular, after analyzing and developing a simple projected gradient algorithm for general eigenvalue programs, we show that eigenvalue programs can be used to express what we call vanishing quadratic constraints. A vanishing quadratic constraint requires that a given system of convex quadratic inequalities be satisfied and at least a certain number of those inequalities must be tight. As a particular case, this includes the problem of finding a point $x$ in the intersection of $m$ ellipsoids in such a way that $x$ is also in the boundary of at least $\ell$ of the ellipsoids, for some fixed $\ell > 0$. At the end, we also present some numerical experiments.


title: DAG-Sword: A Simulator of Large-Scale Network Topologies for DAG-Oriented Proof-of-Work Blockchains

abstract: The blockchain brought interesting properties for many practical applications. However, some properties, such as the transaction processing throughput remained limited, especially in Proof-of-Work blockchains. Therefore, several promising directions, such as sharding designs and DAG-based protocols emerged. In this paper, we focus on DAG-based consensus protocols and present a discrete-event simulator for them. Our simulator can simulate realistic blockchain networks created from data of a Bitcoin network, while its network configuration and topology can be customized. The simulated network consists of honest and malicious miners. Malicious miners do not make any attack on consensus itself. Instead, they use a different transaction selection strategy than honest miners (who select transactions randomly) with the intention to earn unfairly more profits than honest miners at the cost of downgrading the protocol performance by duplicate transactions. As a consequence, this harms the performance of some DAG-based protocols (e.g., PHANTOM and GHOSTDAG) in terms of transaction processing throughput, which we demonstrate in our experiments and extend the results of the related work that contains a small-scale network of 10 nodes by the results obtained on a large-scale network with 7000 nodes. Next, we empirically compare different algorithms for the mempool structure, and we propose a composite mempool structure that is memory-efficient and thus convenient for simulations of resource-demanding large-scale networks.


title: Initial Stages of Water Absorption on $\mathbf{CeO}_{2}$ Surfaces at Very Low Temperatures for Understanding Anti-Icing Coatings

abstract: Anti-icing coatings are intended to prevent ice formation on surfaces, minimising the risk of surface-related damage and also reducing ice-related hazards in society. $\mathrm{CeO}_{2}$ coatings are robust, hydrophobic, and transmit light, thus they are suitable for a range of applications. However, their evolving surface chemistry during the initial stages of $\mathrm{H}_{2}\mathrm{O}$ exposure at very low temperatures has not been investigated, despite that this is important for understanding their anti-icing properties. To study this, $\mathrm{CeO}_{2}$ coatings were grown by sputter deposition, cooled to $\approx100\,$K and exposed to a $\mathrm{H}_{2}\mathrm{O}$ atmosphere at $1\times10^{-8}\,\mathrm{mbar}$. We demonstrate the usefulness of X-ray photoelectron spectroscopy (XPS) as a tool for investigating the anti-icing properties of surfaces. We present XPS measurements of $\mathrm{CeO}_{2}$ coatings before and after exposure to $\mathrm{H}_{2}\mathrm{O}$, in-situ and at cryogenic temperatures. XPS reveals that little to no ice forms on the surface of $\mathrm{CeO}_{2}$ after the $\mathrm{H}_{2}\mathrm{O}$ exposure at $\approx100\,$K. In contrast, ice was observed all over the sample holder on which the $\mathrm{CeO}_{2}$ was mounted. These findings suggest that $\mathrm{CeO}_{2}$ is a promising candidate for future anti-icing coatings.


title: Object-Centric Learning with Slot Mixture Module

abstract: Object-centric architectures usually apply a differentiable module to the entire feature map to decompose it into sets of entity representations called slots. Some of these methods structurally resemble clustering algorithms, where the cluster's center in latent space serves as a slot representation. Slot Attention is an example of such a method, acting as a learnable analog of the soft k-means algorithm. Our work employs a learnable clustering method based on the Gaussian Mixture Model. Unlike other approaches, we represent slots not only as centers of clusters but also incorporate information about the distance between clusters and assigned vectors, leading to more expressive slot representations. Our experiments demonstrate that using this approach instead of Slot Attention improves performance in object-centric scenarios, achieving state-of-the-art results in the set property prediction task.


title: Liouville theorem for elliptic equations involving the sum of the function and its gradient in $\mathbb R^n$

abstract: We prove Liouville theorem for the equation $\Delta v + N v^p + M |\nabla v|^{q}= 0$ in $\mathbb R^n$, with $M, N > 0, q = \frac{2p}{p + 1}$ in the critical and subcritical case. The proof is based on an integral identity and Young inequality.


title: Entanglement Harvesting from Electromagnetic Quantum Fields

abstract: In many states of the quantum electromagnetic field, including the vacuum state, entanglement exists between different space-time regions -- even space-like separated ones. These correlations can be harvested and, thereby, detected by quantum systems which locally interact with the field. Here, we propose an experimental implementation of such an entanglement-harvesting scheme which is based on electro-optic sampling (EOS). We demonstrate that state-of-the-art EOS experiments enable one to harvest entanglement from the vacuum field and to study quantum correlations within general THz fields. We further show how Bell nonlocality present in the vacuum field can be probed. Finally, we introduce a novel approach to mitigate shot noise in single-beam EOS configurations. These findings pave the way for experimental inquiries into foundational properties of relativistic quantum field theory, and empower EOS as a diagnostic tool in THz quantum optics.


title: Software Architecture Recovery with Information Fusion

abstract: Understanding the architecture is vital for effectively maintaining and managing large software systems. However, as software systems evolve over time, their architectures inevitably change. To keep up with the change, architects need to track the implementation-level changes and update the architectural documentation accordingly, which is time-consuming and error-prone. Therefore, many automatic architecture recovery techniques have been proposed to ease this process. Despite efforts have been made to improve the accuracy of architecture recovery, existing solutions still suffer from two limitations. First, most of them only use one or two type of information for the recovery, ignoring the potential usefulness of other sources. Second, they tend to use the information in a coarse-grained manner, overlooking important details within it. To address these limitations, we propose SARIF, a fully automated architecture recovery technique, which incorporates three types of comprehensive information, including dependencies, code text and folder structure. SARIF can recover architecture more accurately by thoroughly analyzing the details of each type of information and adaptively fusing them based on their relevance and quality. To evaluate SARIF, we collected six projects with published ground-truth architectures and three open-source projects labeled by our industrial collaborators. We compared SARIF with nine state-of-the-art techniques using three commonly-used architecture similarity metrics and two new metrics. The experimental results show that SARIF is 36.1% more accurate than the best of the previous techniques on average. By providing comprehensive architecture, SARIF can help users understand systems effectively and reduce the manual effort of obtaining ground-truth architectures.


title: Bounds on the density of smooth lattice coverings

abstract: Let $K$ be a convex body in $\mathbb{R}^n$, let $L$ be a lattice with covolume one, and let $\eta>0$. We say that $K$ and $L$ form an $\eta$-smooth cover if each point $x \in \mathbb{R}^n$ is covered by $(1 \pm \eta) vol(K)$ translates of $K$ by $L$. We prove that for any positive $\sigma, \eta$, asymptotically as $n \to \infty$, for any $K$ of volume $n^{3+\sigma}$, one can find a lattice $L$ for which $L, K$ form an $\eta$-smooth cover. Moreover, this property is satisfied with high probability for a lattice chosen randomly, according to the Haar-Siegel measure on the space of lattices. Similar results hold for random construction A lattices, albeit with a worse power law, provided the ratio between the covering and packing radii of $\mathbb{Z}^n$ with respect to $K$ is at most polynomial in $n$. Our proofs rely on a recent breakthrough by Dhar and Dvir on the discrete Kakeya problem.


title: SKU-Patch: Towards Efficient Instance Segmentation for Unseen Objects in Auto-Store

abstract: In large-scale storehouses, precise instance masks are crucial for robotic bin picking but are challenging to obtain. Existing instance segmentation methods typically rely on a tedious process of scene collection, mask annotation, and network fine-tuning for every single Stock Keeping Unit (SKU). This paper presents SKU-Patch, a new patch-guided instance segmentation solution, leveraging only a few image patches for each incoming new SKU to predict accurate and robust masks, without tedious manual effort and model re-training. Technical-wise, we design a novel transformer-based network with (i) a patch-image correlation encoder to capture multi-level image features calibrated by patch information and (ii) a patch-aware transformer decoder with parallel task heads to generate instance masks. Extensive experiments on four storehouse benchmarks manifest that SKU-Patch is able to achieve the best performance over the state-of-the-art methods. Also, SKU-Patch yields an average of nearly 100% grasping success rate on more than 50 unseen SKUs in a robot-aided auto-store logistic pipeline, showing its effectiveness and practicality.


title: Training iterated protocols for distillation of GHZ states with variational quantum algorithms

abstract: We present optimized distillation schemes for preparing Greenberger-Horne-Zeilinger (GHZ) states. Our approach relies on training variational quantum circuits with white noise affected GHZ states as inputs. Optimizing for a single iteration of the scheme, we find that it is possible to achieve an increased fidelity to the GHZ state, although further iterations decrease the fidelity. The same scheme, acting on coherently distorted pure-state inputs, is effective only in certain special cases. We show that radically different results can be achieved, however, when one optimizes for the output after two iterations of the protocol. In this case, the obtained schemes are more effective in distilling GHZ states from inputs affected by white noise. Moreover, they can also correct several types of coherent pure-state errors.


title: Modelling the Light Curves of Transiting Exomoons: a Zero-order Photodynamic Agent Added to the Transit and Light Curve Modeller

abstract: Despite the ever-growing number of exoplanets discovered and the extensive analyses carried out to find their potential satellites, only two exomoon candidates, Kepler-1625b-i and Kepler-1708 b-i, have been discovered to date. A considerable amount of effort has been invested in the development of algorithms for modelling, searching, and detecting exomoons in exoplanetary light curves. In this work, we incorporate moon handling capabilities into the state-of-the-art and publicly available code, the Transit and Light Curve Modeller (TLCM). The code is designed for the analysis of transiting exoplanet systems with the inclusion of a wavelet-based noise handling algorithm. Here we present an updated version of TLCM that is capable of modelling a coplanar planet-moon system on an elliptical orbit around its host, accounting for mutual eclipses between the two bodies (and neglecting perturbative effects) -- a so-called photodynamic model. The key benefit of this framework is the ability for a joint analysis of multiple planet-moon transits. We demonstrate the necessity of this software on a case study of Kepler-1625b. Similarly to prior works, we conclude that there is no firm evidence of an exomoon in that system, by showing that temporally correlated noise can mimic apparent lunar transits.


title: Chrono DEM-Engine: A Discrete Element Method dual-GPU simulator with customizable contact forces and element shape

abstract: This paper introduces DEM-Engine, a new submodule of Project Chrono, that is designed to carry out Discrete Element Method (DEM) simulations. Based on spherical primitive shapes, DEM-Engine can simulate polydisperse granular materials and handle complex shapes generated as assemblies of primitives, referred to as clumps. DEM-Engine has a multi-tier parallelized structure that is optimized to operate simultaneously on two GPUs. The code uses custom-defined data types to reduce memory footprint and increase bandwidth. A novel "delayed contact detection" algorithm allows the decoupling of the contact detection and force computation, thus splitting the workload into two asynchronous GPU streams. DEM-Engine uses just-in-time compilation to support user-defined contact force models. This paper discusses its C++ and Python interfaces and presents a variety of numerical tests, in which impact forces, complex-shaped particle flows, and a custom force model are validated considering well-known benchmark cases. Additionally, the full potential of the simulator is demonstrated for the investigation of extraterrestrial rover mobility on granular terrain. The chosen case study demonstrates that large-scale co-simulations (comprising 11 million elements) spanning 15 seconds, in conjunction with an external multi-body dynamics system, can be efficiently executed within a day. Lastly, a performance test suggests that DEM-Engine displays linear scaling up to 150 million elements on two NVIDIA A100 GPUs.


title: AIRIC: Orchestration of Virtualized Radio Access Networks with Noisy Neighbours

abstract: Radio Access Networks virtualization (vRAN) is on its way becoming a reality driven by the new requirements in mobile networks, such as scalability and cost reduction. Unfortunately, there is no free lunch but a high price to be paid in terms of computing overhead introduced by noisy neighbors problem when multiple virtualized base station instances share computing platforms. In this paper, first, we thoroughly dissect the multiple sources of computing overhead in a vRAN, quantifying their different contributions to the overall performance degradation. Second, we design an AI-driven Radio Intelligent Controller (AIRIC) to orchestrate vRAN computing resources. AIRIC relies upon a hybrid neural network architecture combining a relation network (RN) and a deep Q-Network (DQN) such that: (i) the demand of concurrent virtual base stations is satisfied considering the overhead posed by the noisy neighbors problem while the operating costs of the vRAN infrastructure is minimized; and (ii) dynamically changing contexts in terms of network demand, signal-to-noise ratio (SNR) and the number of base station instances are efficiently supported. Our results show that AIRIC performs very closely to an offline optimal oracle, attaining up to 30% resource savings, and substantially outperforms existing benchmarks in service guarantees.


title: Molecular beam epitaxy growth of cadmium telluride structures on hexagonal boron nitride

abstract: We investigate the feasibility of epitaxial growth of a three-dimensional semiconductor on a two-dimensional substrate. In particular, we report for the first time on molecular beam epitaxy growth of cadmium telluride (CdTe) quantum wells on hexagonal boron nitride (hBN). The presence of the quantum wells is confirmed by photoluminescence measurements conducted at helium temperatures. Growth of quantum wells on two dimensional, almost perfectly flat hBN appears to be very different from growth on bulk substrates, in particular it requires 70-100$^\circ$C lower temperatures.


title: Higher-Order Bayesian Networks, Exactly (Extended version)

abstract: Bayesian networks (BNs) are graphical \emph{first-order} probabilistic models that allow for a compact representation of large probability distributions, and for efficient inference, both exact and approximate. We introduce a \emph{higher-order} programming language -- in the idealized form of a $\lambda$-calculus -- which we prove \emph{sound and complete} w.r.t. BNs: each BN can be encoded as a term, and conversely each (possibly higher-order and recursive) program of ground type \emph{compiles} into a BN. The language allows for the specification of recursive probability models and hierarchical structures. Moreover, we provide a \emph{compositional} and \emph{cost-aware} semantics which is based on factors, the standard mathematical tool used in Bayesian inference. Our results rely on advanced techniques rooted into linear logic, intersection types, rewriting theory, and Girard's geometry of interaction, which are here combined in a novel way.


title: Liouville theorem for elliptic equations involving the product of the function and its gradient in $\mathbb R^n$

abstract: We prove Liouville theorem for the equation $-\Delta v = v^p |\nabla v|^q$ in $\mathbb R^n$. The proof is based on an integral identity and Young inequality.


title: Hybrid Focal and Full-Range Attention Based Graph Transformers

abstract: The paradigm of Transformers using the self-attention mechanism has manifested its advantage in learning graph-structured data. Yet, Graph Transformers are capable of modeling full range dependencies but are often deficient in extracting information from locality. A common practice is to utilize Message Passing Neural Networks (MPNNs) as an auxiliary to capture local information, which however are still inadequate for comprehending substructures. In this paper, we present a purely attention-based architecture, namely Focal and Full-Range Graph Transformer (FFGT), which can mitigate the loss of local information in learning global correlations. The core component of FFGT is a new mechanism of compound attention, which combines the conventional full-range attention with K-hop focal attention on ego-nets to aggregate both global and local information. Beyond the scope of canonical Transformers, the FFGT has the merit of being more substructure-aware. Our approach enhances the performance of existing Graph Transformers on various open datasets, while achieves compatible SOTA performance on several Long-Range Graph Benchmark (LRGB) datasets even with a vanilla transformer. We further examine influential factors on the optimal focal length of attention via introducing a novel synthetic dataset based on SBM-PATTERN.


title: New approach to finding invisible states in $e^+e^-$ annihilation and application to BESIII data

abstract: We compare precision $e^+e^-$ to $\mu^+\mu^-$ cross section measurements by BESIII in the E_cm =3.8-4.6 GeV range, to predictions based on measured R_had data. The consistency is poor (p-value <0.012). Allowing for resonance contributions not seen in R_had gives an excellent fit, with the state at 4421 MeV ( 4.6 sigma) giving insight into the psi(4415) and the 3.1 sigma structure at 4211 MeV, if confirmed, being a new, very narrow resonance. This analysis shows the power of precision $e^+e^-$ to $\mu^+\mu^-$ measurements to uncover or probe otherwise difficult to access states.


title: Two new algorithms for solving M\"uller games and their applications

abstract: M\"uller games form a well-established class of games for model checking and verification. These games are played on directed graphs $\mathcal G$ where Player 0 and Player 1 play by generating an infinite path through the graph. The winner is determined by the set $X$ consisting of all vertices in the path that occur infinitely often. If $X$ belongs to $\Omega$, a specified collection of subsets of $\mathcal G$, then Player 0 wins. Otherwise, Player 1 claims the win. These games are determined, enabling the partitioning of $\mathcal G$ into two sets $W_0$ and $W_1$ of winning positions for Player 0 and Player 1, respectively. Numerous algorithms exist that decide M\"uller games $\mathcal G$ by computing the sets $W_0$ and $W_1$. In this paper, we introduce two novel algorithms that outperform all previously known methods for deciding explicitly given M\"uller games, especially in the worst-case scenarios. The previously known algorithms either reduce M\"uller games to other known games (e.g. safety games) or recursively change the underlying graph $\mathcal G$ and the collection of sets in $\Omega$. In contrast, our approach does not employ these techniques but instead leverages subgames, the sets within $\Omega$, and their interactions. This distinct methodology sets our algorithms apart from prior approaches for deciding M\"uller games. Additionally, our algorithms offer enhanced clarity and ease of comprehension. Importantly, our techniques are applicable not only to M\"uller games but also to improving the performance of existing algorithms that handle other game classes, including coloured M\"uller games, McNaughton games, Rabin games, and Streett games.


title: Computing pivot-minors

abstract: A graph $G$ contains a graph $H$ as a pivot-minor if $H$ can be obtained from $G$ by applying a sequence of vertex deletions and edge pivots. Pivot-minors play an important role in the study of rank-width. Pivot-minors have mainly been studied from a structural perspective. In this paper we perform the first systematic computational complexity study of pivot-minors. We first prove that the Pivot-Minor problem, which asks if a given graph $G$ contains a pivot-minor isomorphic to a given graph $H$, is NP-complete. If $H$ is not part of the input, we denote the problem by $H$-Pivot-Minor. We give a certifying polynomial-time algorithm for $H$-Pivot-Minor when (1) $H$ is an induced subgraph of $P_3+tP_1$ for some integer $t\geq 0$, (2) $H=K_{1,t}$ for some integer $t\geq 1$, or (3) $|V(H)|\leq 4$ except when $H \in \{K_4,C_3+ P_1\}$. Let ${\cal F}_H$ be the set of induced-subgraph-minimal graphs that contain a pivot-minor isomorphic to $H$. To prove the above statement, we either show that there is an integer $c_H$ such that all graphs in ${\cal F}_H$ have at most $c_H$ vertices, or we determine ${\cal F}_H$ precisely, for each of the above cases.


title: Long-Term Causal Inference with Imperfect Surrogates using Many Weak Experiments, Proxies, and Cross-Fold Moments

abstract: Inferring causal effects on long-term outcomes using short-term surrogates is crucial to rapid innovation. However, even when treatments are randomized and surrogates fully mediate their effect on outcomes, it's possible that we get the direction of causal effects wrong due to confounding between surrogates and outcomes -- a situation famously known as the surrogate paradox. The availability of many historical experiments offer the opportunity to instrument for the surrogate and bypass this confounding. However, even as the number of experiments grows, two-stage least squares has non-vanishing bias if each experiment has a bounded size, and this bias is exacerbated when most experiments barely move metrics, as occurs in practice. We show how to eliminate this bias using cross-fold procedures, JIVE being one example, and construct valid confidence intervals for the long-term effect in new experiments where long-term outcome has not yet been observed. Our methodology further allows to proxy for effects not perfectly mediated by the surrogates, allowing us to handle both confounding and effect leakage as violations of standard statistical surrogacy conditions.


title: Mass Adoption of NATs: Survey and experiments on carrier-grade NATs

abstract: In recent times, the prevalence of home NATs and the widespread implementation of Carrier-Grade NATs have posed significant challenges to various applications, particularly those relying on Peer-to-Peer communication. This paper addresses these issues by conducting a thorough review of related literature and exploring potential techniques to mitigate the problems. The literature review focuses on the disruptive effects of home NATs and CGNATs on application performance. Additionally, the study examines existing approaches used to alleviate these disruptions. Furthermore, this paper presents a comprehensive guide on how to puncture a NAT and facilitate direct communication between two peers behind any type of NAT. The techniques outlined in the guide are rigorously tested using a simple application running the IPv8 network overlay, along with their built-in NAT penetration procedures. To evaluate the effectiveness of the proposed techniques, 5G communication is established between two phones using four different Dutch telephone carriers. The results indicate successful cross-connectivity with three out of the four carriers tested, showcasing the practical applicability of the suggested methods.


title: Pragmatic Reasoning Unlocks Quantifier Semantics for Foundation Models

abstract: Generalized quantifiers (e.g., few, most) are used to indicate the proportions predicates are satisfied (for example, some apples are red). One way to interpret quantifier semantics is to explicitly bind these satisfactions with percentage scopes (e.g., 30%-40% of apples are red). This approach can be helpful for tasks like logic formalization and surface-form quantitative reasoning (Gordon and Schubert, 2010; Roy et al., 2015). However, it remains unclear if recent foundation models possess this ability, as they lack direct training signals. To explore this, we introduce QuRe, a crowd-sourced dataset of human-annotated generalized quantifiers in Wikipedia sentences featuring percentage-equipped predicates. We explore quantifier comprehension in language models using PRESQUE, a framework that combines natural language inference and the Rational Speech Acts framework. Experimental results on the HVD dataset and QuRe illustrate that PRESQUE, employing pragmatic reasoning, performs 20% better than a literal reasoning baseline when predicting quantifier percentage scopes, with no additional training required.


title: Reconstruction of Type II Supergravities via $O(d) \times O(d)$ Duality Invariants

abstract: We reconstruct type II supergravities by using building blocks of $O(d) \times O(d)$ invariants.These invariants are obtained by explicitly analyzing $O(d) \times O(d)$ transformations of 10 dimensional massless fields. Similar constructions are done by employing double field theory or generalized geometry, but we completed the reconstruction within the framework of the supergravities.


title: Massive Editing for Large Language Models via Meta Learning

abstract: While large language models (LLMs) have enabled learning knowledge from the pre-training corpora, the acquired knowledge may be fundamentally incorrect or outdated over time, which necessitates rectifying the knowledge of the language model (LM) after the training. A promising approach involves employing a hyper-network to generate parameter shift, whereas existing hyper-networks suffer from inferior scalability in synchronous editing operation amount. To mitigate the problem, we propose the MAssive Language Model Editing Network (MALMEN), which formulates the parameter shift aggregation as the least square problem, subsequently updating the LM parameters using the normal equation. To accommodate editing multiple facts simultaneously with limited memory budgets, we separate the computation on the hyper-network and LM, enabling arbitrary batch size on both neural networks. Our method is evaluated by editing up to thousands of facts on LMs with different architectures, i.e., BERT-base, GPT-2, T5-XL (2.8B), and GPT-J (6B), across various knowledge-intensive NLP tasks, i.e., closed book fact-checking and question answering. Remarkably, MALMEN is capable of editing hundreds of times more facts than strong baselines with the identical hyper-network architecture and outperforms editor specifically designed for GPT. Our code is available at https://github.com/ChenmienTan/malmen.


title: Versatile Airborne Ultrasonic NDT Technologies via Active Omni-Sliding with Over-Actuated Aerial Vehicles

abstract: This paper presents the utilization of advanced methodologies in aerial manipulation to address meaningful industrial applications and develop versatile ultrasonic Non-Destructive Testing (NDT) technologies with aerial robots. The primary objectives of this work are to enable multi-point measurements through sliding without re-approaching the work surface, and facilitate the representation of material thickness with B and C scans via dynamic scanning in arbitrary directions (i.e. omnidirections). To accomplish these objectives, a payload that can slide in omnidirections (here we call the omni-sliding payload) is designed for an over-actuated aerial vehicle, ensuring truly omnidirectional sliding mobility while exerting consistent forces in contact with a flat work surface. The omni-sliding payload is equipped with an omniwheel-based active end-effector and an Electro Magnetic Acoustic Transducer (EMAT). Furthermore, to ensure successful development of the designed payload and integration with the aerial vehicle, a comprehensive studying on contact conditions and system dynamics during active sliding is presented, and the derived system constraints are later used as guidelines for the hardware development and control setting. The proposed methods are validated through experiments, encompassing both the wall-sliding task and dynamic scanning for Ultrasonic Testing (UT), employing the aerial platform - Voliro T.


title: Most Iterations of Projections Converge

abstract: Consider three closed linear subspaces $C_1, C_2,$ and $C_3$ of a Hilbert space $H$ and the orthogonal projections $P_1, P_2$ and $P_3$ onto them. Halperin showed that a point in $C_1\cap C_2 \cap C_3$ can be found by iteratively projecting any point $x_0 \in H$ onto all the sets in a periodic fashion. The limit point is then the projection of $x_0$ onto $C_1\cap C_2 \cap C_3$. Nevertheless, a non-periodic projection order may lead to a non-convergent projection series, as shown by Kopeck\'{a}, M\"{u}ller, and Paszkiewicz. This raises the question how many projection orders in $\{1,2,3\}^\mathbb{N}$ are "well behaved" in the sense that they lead to a convergent projection series. Melo, da Cruz Neto, and de Brito provided a necessary and sufficient condition under which the projection series converges and showed that the "well behaved" projection orders form a large subset in the sense of having full product measure. We show that also from a topological viewpoint the set of "well behaved" projection orders is a large subset: it contains a dense $G_\delta$ subset with respect to the product topology. Furthermore, we analyze why the proof from the measure theoretic case cannot be directly adapted to the topological setting.


title: Speech language models lack important brain-relevant semantics

abstract: Despite known differences between reading and listening in the brain, recent work has shown that text-based language models predict both text-evoked and speech-evoked brain activity to an impressive degree. This poses the question of what types of information language models truly predict in the brain. We investigate this question via a direct approach, in which we systematically remove specific low-level stimulus features (textual, speech, and visual) from language model representations to assess their impact on alignment with fMRI brain recordings during reading and listening. Comparing these findings with speech-based language models reveals starkly different effects of low-level features on brain alignment. While text-based models show reduced alignment in early sensory regions post-removal, they retain significant predictive power in late language regions. In contrast, speech-based models maintain strong alignment in early auditory regions even after feature removal but lose all predictive power in late language regions. These results suggest that speech-based models provide insights into additional information processed by early auditory regions, but caution is needed when using them to model processing in late language regions. We make our code publicly available. [https://github.com/subbareddy248/speech-llm-brain]


title: A Complex Network Analysis on The Eigenvalue Spectra of Random Spin Systems

abstract: Recent works have established a novel viewpoint that treats the eigenvalue spectra of disordered quantum systems as time-series, and corresponding algorithms such as singular-value-decomposition has proven its advantage in studying subtle physical quantities like Thouless energy and non-ergodic extended regime. On the other hand, algorithms from complex networks have long been known as a powerful tool to study highly nonlinear time-series. In this work, we combine these two ideas together. Using the particular algorithm called visibility graph (VG) that transforms the eigenvalue spectra of a random spin system into complex networks, it's shown the degree distribution of the resulting network is capable of signaturing the eigenvalue evolution during the thermal to many-body localization transition, and the networks in the thermal phase have a small-world structure. We further show these results are robust even when the eigenvalues are incomplete with missing levels, which reveals the advantage of the VG algorithm.


title: Pre-training LLMs using human-like development data corpus

abstract: Pre-trained Large Language Models (LLMs) have shown success in a diverse set of language inference and understanding tasks. The pre-training stage of LLMs looks at a large corpus of raw textual data. The BabyLM shared task compares LLM pre-training to human language acquisition, where the number of tokens seen by 13-year-old kids is magnitudes smaller than the number of tokens seen by LLMs. In this work, we pre-train and evaluate LLMs on their ability to learn contextual word representations using roughly the same number of tokens as seen by children. We provide a strong set of baselines; with different architectures, evaluation of changes in performance across epochs, and reported pre-training metrics for the strict small and strict tracks of the task. We also try to loosely replicate the RoBERTa baseline given by the task organizers to observe the training robustness to hyperparameter selection and replicability. We provide the submission details to the strict and strict-small tracks in this report.


title: Interaction of monoclinic ZrO$_2$ grain boundaries with oxygen vacancies, Sn and Nb -- implications for the corrosion of Zr alloy fuel cladding

abstract: We used density-functional-theory simulations to examine the structural and electronic properties of the $\Sigma 180{\deg}(100)[001] $ grain boundary in monoclinic ZrO$_2$, which is a very low-energy (0.06Jm$^{-2}$) twin boundary present in experimental oxide texture maps, with suggested special properties. This equilibrium structure was compared with a metastable structure (with a boundary energy of 0.32Jm$^{-2}$), which was considered to be representative of a more general oxide boundary. The interaction of oxygen vacancies, substitutional Sn and Nb defects (substituting host Zr sites) with both structures - and their effect on the boundary properties - were examined. We found that the equilibrium structure energetically favours V$_\textrm{O}^{2+}$ and Nb$_\textrm{Zr}^{2-}$, whereas the metastable structure favours V$_\textrm{O}^{2+}$ and Sn$_\textrm{Zr}^{2-}$. Tin was further found to bind strongly with oxygen vacancies in both structures, and introduce gap states in the band gap of their electronic structure. Sn$_\textrm{Zr}^{2-}$ was, however, found to increase the segregation preference of V$_\textrm{O}^{2+}$ for the metastable structure, which might contribute to increased oxygen and electron transport down this interface, and therefore other more general boundaries, compared to the equilibrium structure of the studied monoclinic twin boundary.


title: Two partial orders on Standard Young Tableaux with applications to invariant subspaces of nilpotent linear operators

abstract: In the paper we investigate two partial orders on standard Young tableaux and show their applications in the theory of invariant subspaces of nilpotent linear operators.


title: Noise-Induced Collective Actuation in Active Solids

abstract: Collective actuation describes the spontaneous synchronized oscillations taking place in active solids, when the elasto-active feedback, that generically couples the reorientation of the active forces and the elastic stress, is large enough. In the absence of noise, collective actuation takes the form of a strong condensation of the dynamics on a specific pair of modes and their generalized harmonics. Here we report new experiments conducted with centimetric active elastic structures, where collective oscillation takes place along the single lowest energy mode of the system, gapped from the other modes because of the system's geometry. Combining the numerical and theoretical analysis of an agent-based model, we demonstrate that this new form of collective actuation is noise-induced. The effect of the noise is first analyzed in a single-particle toy model that reveals the interplay between the noise and the specific structure of the phase space. We then show that in the continuous limit, any finite amount of noise turns this new form of transition to collective actuation into a bona fide supercritical Hopf bifurcation.


title: Curvature-bias corrections using a pseudomass method

abstract: Momentum measurements for very high momentum charged particles, such as muons from electroweak vector boson decays, are particularly susceptible to charge-dependent curvature biases that arise from misalignments of tracking detectors. Low momentum charged particles used in alignment procedures have limited sensitivity to coherent displacements of such detectors, and therefore are unable to fully constrain these misalignments to the precision necessary for studies of electroweak physics. Additional approaches are therefore required to understand and correct for these effects. In this paper the curvature biases present at the LHCb detector are studied using the pseudomass method in proton-proton collision data recorded at centre of mass energy $\sqrt{s}=13$ TeV during 2016, 2017 and 2018. The biases are determined using $Z\to\mu^+\mu^-$ decays in intervals defined by the data-taking period, magnet polarity and muon direction. Correcting for these biases, which are typically at the $10^{-4}$ GeV$^{-1}$ level, improves the $Z\to\mu^+\mu^-$ mass resolution by roughly 18% and eliminates several pathological trends in the kinematic-dependence of the mean dimuon invariant mass.


title: A characterization of differential operators in the ring of complex polynomials

abstract: The paper aims to provide a full characterization of all operators $T\colon \mathscr{P}(\mathbb{C}) \to \mathscr{P}(\mathbb{C})$ acting on the space of all complex polynomials that satisfy the Leibniz rule \[ T(f\cdot g)= T(f)\cdot g+f\cdot T(g) \] for all $f, g\in \mathscr{P}(\mathbb{C})$. We do not assume the linearity of $T$. As we will see, contrary to the well-known theorems for function spaces there are many other solutions here, not only differential operators. From our main result, we also derive two corollaries, showing that in some special cases operators that satisfy the Leibniz rule have some particular form.


title: Parametrized multipolar gravitational waveform for testing general relativity: Amplitude corrections upto 2PN order

abstract: A parametrized multipolar gravitational wave phasing within multipolar post-Minkowskian and post-Newtonian formalism was developed in earlier works [S. Kastha et al., PRD 98, 124033 (2018) & S. Kastha et al., PRD 100, 044007 (2019)]. This facilitates the model-agnostic tests for the multipolar structure of compact binaries using gravitational wave observations. In this paper, we derive a parametrized multipolar amplitude of the gravitational wave signal in terms of mass and current-type radiative multipole moments within the post-Newtonian approximation to general relativity. We assume the compact binary to be moving in quasi-circular orbits, with component spins (anti-) aligned with respect to the binary's orbital angular momentum. We report a closed-form expression for the parameterized multipolar amplitude of the waveform at second post-Newtonian order both in time and frequency domains. This includes the contribution from the leading five mass-type and the leading four current-type radiative moments. This framework of constructing a parametrized waveform accomplishes a generic parametrization of both gravitational wave phase and amplitude with the same set of phenomenological parameters. Hence, it should significantly enhance the precision of the multipole tests in the context of present and future gravitational wave detectors.


title: Compressive Recovery of Sparse Precision Matrices

abstract: We consider the problem of learning a graph modeling the statistical relations of the $d$ variables from a dataset with $n$ samples $X \in \mathbb{R}^{n \times d}$. Standard approaches amount to searching for a precision matrix $\Theta$ representative of a Gaussian graphical model that adequately explains the data. However, most maximum likelihood-based estimators usually require storing the $d^{2}$ values of the empirical covariance matrix, which can become prohibitive in a high-dimensional setting. In this work, we adopt a compressive viewpoint and aim to estimate a sparse $\Theta$ from a \emph{sketch} of the data, i.e. a low-dimensional vector of size $m \ll d^{2}$ carefully designed from $X$ using non-linear random features. Under certain assumptions on the spectrum of $\Theta$ (or its condition number), we show that it is possible to estimate it from a sketch of size $m=\Omega\left((d+2k)\log(d)\right)$ where $k$ is the maximal number of edges of the underlying graph. These information-theoretic guarantees are inspired by compressed sensing theory and involve restricted isometry properties and instance optimal decoders. We investigate the possibility of achieving practical recovery with an iterative algorithm based on the graphical lasso, viewed as a specific denoiser. We compare our approach and graphical lasso on synthetic datasets, demonstrating its favorable performance even when the dataset is compressed.


title: Direct electrochemical reduction of graphene oxide thin film for aptamer-based selective and highly sensitive detection of Matrix metalloproteinase 2

abstract: Simple and low-cost biosensing solutions are suitable for point-of-care applications aiming to overcome the gap between scientific concepts and technological production. To compete with sensitivity and selectivity of golden standards, such as liquid chromatography, the functionalization of biosensors is continuously optimized to enhance the signal and improve their performance, often leading to complex chemical assay development. In this research, the efforts are made on optimizing the methodology for electrochemical reduction of graphene oxide to produce thin film-modified gold electrodes. Under the employed specific conditions, 20 cycles of cyclic voltammetry (CV) are shown to be optimal for superior electrical activation of graphene oxide into electrochemically reduced graphene oxide (ERGO). This platform is further used to develop a matrix metalloproteinase 2 (MMP-2) biosensor, where specific anti-MMP2 aptamers are utilized as a biorecognition element. MMP-2 is a protein which is typically overexpressed in tumor tissues, with important roles in tumor invasion, metastasis as well as in tumor angiogenesis. Based on impedimetric measurements, we were able to detect as low as 3.32 pg/mL of MMP-2 in PBS with a dynamic range of 10 pg/mL - 10 ng/mL. Besides high specificity, ERGO-based aptasensor showed a potential of reuse due to demonstrated successful signal restoration after experimental detection of MMP-2.


title: 3D Global climate model of an exo-Venus: a modern Venus-like atmosphere for the nearby super-Earth LP 890-9 c

abstract: The recently discovered super-Earth LP 890-9 c is an intriguing target for atmospheric studies as it transits a nearby, low-activity late-type M-dwarf star at the inner edge of the Habitable Zone. Its position at the runaway greenhouse limit makes it a natural laboratory to study the climate evolution of hot rocky planets. We present the first 3D-GCM exo-Venus model for a modern Venus-like atmosphere (92 bar surface pressure, realistic composition, H$_2$SO$_4$ radiatively-active clouds), applied to the tidally-locked LP 890-9c to inform observations by JWST and future instruments. If LP 890-9 c has developed into a modern exo-Venus, then the modelled temperatures suggest that H$_2$SO$_4$ clouds are possible even in the substellar region. Like on modern Venus, clouds on LP 890-9 c would create a flat spectrum. The strongest CO$_2$ bands in transmission predicted by our model for LP 890-9 c are about 10 ppm, challenging detection, given JWST estimated noise floor. Estimated phase curve amplitudes are 0.9 and 2.4 ppm for continuum and CO$_2$ bands, respectively. While pointing out the challenge to characterise modern exo-Venus analogues, these results provide new insights for JWST proposals and highlight the influence of clouds in the spectrum of hot rocky exoplanet spectra.


title: Analytical investigation of time-dependent two-dimensional non-Newtonian boundary layer equations

abstract: In this study, five different time-dependent incompressible non-Newtonian boundary layer models in two dimensions are investigated, including external magnetic field effects. The power law, the Casson fluid, the Oldroyd-B model, the Walter fluid B model and the Williamson fluid are analyzed. For the first two models, analytical results are given for the velocity and pressure distributions, which can be expressed by different types of hypergeometric functions. Depending on the parameters involved in the analytical solutions of the nonlinear ordinary differential equation obtained by the similarity transformation, a very wide range of solution types is presented.


title: Emergence of homochirality via template-directed ligation in an RNA reactor

abstract: RNA in extant biological systems is homochiral; it consists exclusively of D-ribonucleotides rather than L-ribonucleotides. How the homochirality of RNA emerged is not known. Here, we use stochastic simulations to quantitatively explore the conditions for RNA homochirality to emerge in the prebiotic scenario of an RNA reactor, in which RNA strands react in a non-equilibrium environment. These reactions include the hybridization, dehybridization, template-directed ligation, and cleavage of RNA strands. The RNA reactor is either closed, with a finite pool of ribonucleotide monomers of both chiralities (D and L), or the reactor is open, with a constant inflow of a racemic mixture of monomers. For the closed reactor, we also consider the interconversion between D and L monomers via a racemization reaction. We first show that template-free polymerization is unable to reach a high degree of homochirality, due to the lack of autocatalytic amplification. In contrast, in the presence of template-directed ligation, with base pairing and stacking between bases of the same chirality thermodynamically favored, a high degree of homochirality can arise and be maintained, provided the non equilibrium environment overcomes product inhibition, for instance via temperature cycling. Furthermore, if the experimentally observed kinetic stalling of ligation after chiral mismatches is also incorporated, the RNA reactor can evolve towards a fully homochiral state, in which one chirality is entirely lost. This is possible because the kinetic stalling after chiral mismatches effectively implements a chiral cross-inhibition process. Taken together, our model supports a scenario where the emergence of homochirality is assisted by template-directed ligation and polymerization in a non equilibrium RNA reactor.


title: Weakly supervised cross-modal learning in high-content screening

abstract: With the surge in available data from various modalities, there is a growing need to bridge the gap between different data types. In this work, we introduce a novel approach to learn cross-modal representations between image data and molecular representations for drug discovery. We propose EMM and IMM, two innovative loss functions built on top of CLIP that leverage weak supervision and cross sites replicates in High-Content Screening. Evaluating our model against known baseline on cross-modal retrieval, we show that our proposed approach allows to learn better representations and mitigate batch effect. In addition, we also present a preprocessing method for the JUMP-CP dataset that effectively reduce the required space from 85Tb to a mere usable 7Tb size, still retaining all perturbations and most of the information content.


title: The High Energy X-ray Probe (HEX-P): Probing the physics of the X-ray corona in active galactic nuclei

abstract: The hard X-ray emission in active galactic nuclei (AGN) and black hole X-ray binaries is thought to be produced by a hot cloud of electrons referred to as the corona. This emission, commonly described by a power law with a high-energy cutoff, is suggestive of Comptonization by thermal electrons. While several hypotheses have been proposed to explain the origin, geometry, and composition of the corona, we still lack a clear understanding of this fundamental component. NuSTAR has been playing a key role improving our knowledge of X-ray coronae thanks to its unprecedented sensitivity above 10 keV. However, these constraints are limited to bright, nearby sources. The High Energy X-ray Probe (HEX-P) is a probe-class mission concept combining high spatial resolution X-ray imaging and broad spectral coverage (0.2-80 keV) with a sensitivity superior to current facilities. In this paper, we highlight the major role that HEX-P will play in further advancing our insights of X-ray coronae, notably in AGN. We demonstrate how HEX-P will measure key properties and track the temporal evolution of coronae in unobscured AGN. This will allow us to determine their electron distribution and test the dominant emission mechanisms. Furthermore, we show how HEX-P will accurately estimate the coronal properties of obscured AGN in the local Universe, helping address fundamental questions about AGN unification. In addition, HEX-P will characterize coronae in a large sample of luminous quasars at cosmological redshifts for the first time and track the evolution of coronae in transient systems in real time. We also demonstrate how HEX-P will enable estimating the coronal geometry using spectral-timing techniques. HEX-P will thus be essential to understand the evolution and growth of black holes over a broad range of mass, distance, and luminosity, and will help uncover the black holes' role in shaping the Universe.


title: Holographic Einstein Rings of Black Holes in Scalar-Tensor-Vector Gravity

abstract: With the help of AdS/CFT correspondence, we analyze the holographic Einstein images via the response function of the complex scalar field as a probe wave on the AdS Schwarzschild scalar-tensor-vector gravity (STVG) black hole (BH). We find that the amplitude of the response function $|\langle O\rangle|$ decreases with the increasing values of the coupling parameter $\alpha$, while it increases with the decreasing values of temperature $T$. The frequency $\omega$ of the wave source also plays a significant role in wave periods, as we increase the values of $\omega$, we find a decrease in periods of waves, which means that the total response function closely depends on the wave source. Further, we investigate the optical appearance of the holographic images of the BH in bulk. We found that the holographic ring always appears with the concentric stripe surrounded when the observer is located at the north pole, and an extremely bright ring appears when the observer is at the position of the photon sphere of the BH. With the change of the observational angle, this ring will change into a luminosity-deformed ring or a bright light spot. The corresponding brightness profiles show that the luminosity of the ring decreases, and the shadow radius increases with increasing values of $\alpha$. The relation between temperature $T$ and the inverse of the horizon $h_{e}$ is discussed, which shows the smaller values at the beginning of the horizon $h_{e}$, and then increases as the horizon radius increases. This effect can be used to distinguish the STVG BH solution from other BH solutions. Moreover, these significant features are also reflected in the Einstein ring and the corresponding brightness profiles. In addition, we compare the results obtained by wave optics and geometric optics, which are aligned well, implying that the holographic scheme adopted in this paper is valid.


title: Efficiently stable presentations from error-correcting codes

abstract: We introduce a notion of \emph{efficient stability} for finite presentations of groups. Informally, a finite presentation using generators $S$ and relations $R$ is \emph{stable} if any map from $S$ to unitaries that approximately satisfies the relations (in the tracial norm) is close to the restriction of a representation of $G$ to the subset $S$. This notion and variants thereof have been extensively studied in recent years, in part motivated by connections to property testing in computer science. The novelty in our work is the focus on \emph{efficiency}, which, informally, places an onus on small presentations -- in the sense of encoding length. The goal in this setup is to achieve non-trivial tradeoffs between the presentation length and its modulus of stability. With this goal in mind we analyze various natural examples of presentations. We provide a general method for constructing presentations of $\mathbb{Z}_2^k$ from linear error-correcting codes. We observe that the resulting presentation has a weak form of stability exactly when the code is \emph{testable}. This raises the question of whether testable codes give rise to genuinely stable presentations using this method. While we cannot show that this is the case in general, we leverage recent results in the study of non-local games in quantum information theory (Ji et al., Discrete Analysis 2021) to show that a specific instantiation of our construction, based on the Reed-Muller family of codes, leads to a stable presentation of $\mathbb{Z}_2^k$ of size polylog$(k)$ only. As an application, we combine this result with recent work of de la Salle (arXiv:2204.07084) to re-derive the quantum low-degree test of Natarajan and Vidick (IEEE FOCS'18), which is a key building block in the recent refutation of Connes' Embedding Problem via complexity theory (Ji et al., arXiv:2001.04383).


title: On the existence of conformal Killing horizons in LRS spacetimes

abstract: Let $M$ be a locally rotationally symmetric spacetime, and $\xi^a$ a conformal Killing vector for the metric on $M$, lying in the subspace spanned by the unit timelike direction and the preferred spatial direction, and with non-constant components. Under the assumption that the divergence of $\xi^a$ has no critical point in $M$, we obtain the necessary and sufficient condition for $\xi^a$ to generate a conformal Killing horizon. It is shown that $\xi^a$ generates a conformal Killing horizon if and only if either of the components (which coincide on the horizon) is constant along its orbits. That is, a conformal Killing horizon can be realized as the set of critical points of the variation of the component(s) of the conformal Killing vector along its orbits. Using this result, a simple mechanism is provided by which to determine if an arbitrary vector in an expanding LRS spacetime is a conformal Killing vector that generates a conformal Killing horizon. In specializing the case for which $\xi^a$ is a special conformal Killing vector, provided that the gradient of the divergence of $\xi^a$ is non-null, it is shown that LRS spacetimes cannot admit a special conformal Killing vector field, thereby ruling out conformal Killing horizons generated by such vector fields.


title: Some inflationary models under the light of Planck 2018 results

abstract: In this work we study four well-known inflationary scenarios that are reported by the most recent Planck observations: Natural inflation, Hilltop quartic inflation, Starobinsky inflationary model, and Large field power-law potentials $V(\phi)\sim \phi^{p}$, considering $p=\sfrac{2}{3}, \sfrac{4}{3}$. The analysis is done using both the slow-roll approximation and the numerical solution to the background and perturbation equations. We show that the numerical solution improved the precision of these models with respect to the contour plot $r$ vs. $n_\sca$, having a lower $r$ in each model compared to the value calculated from the slow-roll approximation.


title: Impact of Cosmic Rays on Atmospheric Ion Chemistry and Spectral Transmission Features of TRAPPIST-1e

abstract: Ongoing observing projects like the James Webb Space Telescope (JWST) and future missions offer the chance to characterize Earth-like exoplanetary atmospheres. Thereby, M-dwarfs are preferred targets for transit observations, for example, due to their favorable planet-star contrast ratio. However, the radiation and particle environment of these cool stars could be far more extreme than what we know from the Sun. Thus, knowing the stellar radiation and particle environment and its possible influence on detectable biosignatures - particularly signs of life like ozone and methane - is crucial to understanding upcoming transit spectra. In this study, with the help of our unique model suite INCREASE, we investigate the impact of a strong stellar energetic particle event on the atmospheric ionization, neutral and ion chemistry, and atmospheric biosignatures of TRAPPIST-1e. Therefore, transit spectra for six scenarios are simulated. We find that a Carrington-like event drastically increases atmospheric ionization and induces substantial changes in ion chemistry and spectral transmission features: all scenarios show high event-induced amounts of nitrogen dioxide (i.e., at 6.2 $\mu$m), a reduction of the atmospheric transit depth in all water bands (i.e., at 5.5 -- 7.0 $\mu$m), a decrease of the methane bands (i.e., at 3.0 -- 3.5 $\mu$m), and depletion of ozone (i.e., at $\sim$ 9.6 $\mu$m). Therefore, it is essential to include high-energy particle effects to correctly assign biosignature signals from, e.g., ozone and methane. We further show that the nitric acid feature at 11.0 - 12.0 $\mu$m, discussed as a proxy for stellar particle contamination, is absent in wet-dead atmospheres.


title: An End-Cloud Computing Enabled Surveillance Video Transmission System

abstract: The enormous data volume of video poses a significant burden on the network. Particularly, transferring high-definition surveillance videos to the cloud consumes a significant amount of spectrum resources. To address these issues, we propose a surveillance video transmission system enabled by end-cloud computing. Specifically, the cameras actively down-sample the original video and then a redundant frame elimination module is employed to further reduce the data volume of surveillance videos. Then we develop a key-frame assisted video super-resolution model to reconstruct the high-quality video at the cloud side. Moreover, we propose a strategy of extracting key frames from source videos for better reconstruction performance by utilizing the peak signal-to-noise ratio (PSNR) of adjacent frames to measure the propagation distance of key frame information. Simulation results show that the developed system can effectively reduce the data volume by the end-cloud collaboration and outperforms existing video super-resolution models significantly in terms of PSNR and structural similarity index (SSIM).


title: Robust and Communication-Efficient Federated Domain Adaptation via Random Features

abstract: Modern machine learning (ML) models have grown to a scale where training them on a single machine becomes impractical. As a result, there is a growing trend to leverage federated learning (FL) techniques to train large ML models in a distributed and collaborative manner. These models, however, when deployed on new devices, might struggle to generalize well due to domain shifts. In this context, federated domain adaptation (FDA) emerges as a powerful approach to address this challenge. Most existing FDA approaches typically focus on aligning the distributions between source and target domains by minimizing their (e.g., MMD) distance. Such strategies, however, inevitably introduce high communication overheads and can be highly sensitive to network reliability. In this paper, we introduce RF-TCA, an enhancement to the standard Transfer Component Analysis approach that significantly accelerates computation without compromising theoretical and empirical performance. Leveraging the computational advantage of RF-TCA, we further extend it to FDA setting with FedRF-TCA. The proposed FedRF-TCA protocol boasts communication complexity that is \emph{independent} of the sample size, while maintaining performance that is either comparable to or even surpasses state-of-the-art FDA methods. We present extensive experiments to showcase the superior performance and robustness (to network condition) of FedRF-TCA.


title: The High Energy X-ray Probe (HEX-P): A New Window into Neutron Star Accretion

abstract: Accreting neutron stars (NSs) represent a unique laboratory for probing the physics of accretion in the presence of strong magnetic fields ($B\gtrsim 10^8$ G). Additionally, the matter inside the NS itself exists in an ultra-dense, cold state that cannot be reproduced in Earth-based laboratories. Hence, observational studies of these objects are a way to probe the most extreme physical regimes. Here we present an overview of the field and discuss the most important outstanding problems related to NS accretion. We show how these open questions regarding accreting NSs in both low-mass and high-mass X-ray binary systems can be addressed with the High-Energy X-ray Probe (HEX-P) via simulated data. In particular, with the broad X-ray passband and improved sensitivity afforded by a low X-ray background, HEX-P will be able to 1) distinguish between competing continuum emission models; 2) provide tighter upper limits on NS radii via reflection modeling techniques that are independent and complementary to other existing methods; 3) constrain magnetic field geometry, plasma parameters, and accretion column emission patterns by characterizing fundamental and harmonic cyclotron lines and exploring their behavior with pulse phase; 4) directly measure the surface magnetic field strength of highly magnetized NSs at the lowest accretion luminosities; as well as 5) detect cyclotron line features in extragalactic sources and probe their dependence on luminosity in the super-Eddington regime in order to distinguish between geometrical evolution and accretion-induced decay of the magnetic field. In these ways HEX-P will provide an essential new tool for exploring the physics of NSs, their magnetic fields, and the physics of extreme accretion.


title: Single Server Private Information Retrieval Protocols With Codes Over Rings

abstract: A Private Information Retrieval (PIR) protocol based on coding theory for a single server is proposed. It provides computational security against linear algebra attacks, addressing the main drawback of previous PIR proposals based on coding theory. The approach involves two types of codes each one over a different ring, an inner non-free linear code that will be used as a distinguisher of some elements added to the query matrix, and an outer code that will be used for generating the query matrix. Moreover, it only uses modular arithmetic at the server level and the recovering stage if the base ring chosen for the inner code is $\mathbb Z_m$.


title: Extremal Polynomial Norms of Graphs

abstract: Recent work shows that a new family of norms on Hermitian matrices arise by evaluating the even degree complete homogeneous symmetric (CHS) polynomials on the eigenvalues of a Hermitian matrix. The CHS norm of a graph is then defined by evaluating the even degree CHS polynomials on the eigenvalues of the adjacency matrix of a graph. The fact that these norms are defined in terms of eigenvalues (as opposed to singular values) ensures they can distinguish between graphs that other norms cannot. In addition, we prove that the CHS norms are minimized over all connected graphs by the path and maximized over all connected graphs by the complete graph. Finally, we prove that the CHS norms are minimized over all trees by the path and maximized over all trees by the star. Our paper is intended for a wide mathematical audience and we assume no prior knowledge about graphs or symmetric polynomials.


title: Learning Quantum Phase Estimation by Variational Quantum Circuits

abstract: Quantum Phase Estimation (QPE) stands as a pivotal quantum computing subroutine that necessitates an inverse Quantum Fourier Transform (QFT). However, it is imperative to recognize that enhancing the precision of the estimation inevitably results in a significantly deeper circuit. We developed a variational quantum circuit (VQC) approximation to reduce the depth of the QPE circuit, yielding enhanced performance in noisy simulations and real hardware. Our experiments demonstrated that the VQC outperformed both Noisy QPE and standard QPE on real hardware by reducing circuit noise. This VQC integration into quantum compilers as an intermediate step between input and transpiled circuits holds significant promise for quantum algorithms with deep circuits. Future research will explore its potential applicability across various quantum computing hardware architectures.