title: Operational Quantum Mereology and Minimal Scrambling

abstract: In this paper we will attempt to answer the following question: what are the natural quantum subsystems which emerge out of a system's dynamical laws? To answer this question we first define generalized tensor product structures (gTPS) in terms of observables, as dual pairs of an operator subalgebra $\cal A$ and its commutant. Second, we propose an operational criterion of minimal information scrambling at short time scales to dynamically select gTPS. In this way the emergent subsystems are those which maintain the longest informational identity. This strategy is made quantitative by defining a Gaussian scrambling rate in terms of the short-time expansion of an algebraic version of the Out of Time Order Correlation (OTOC) function i.e., the $\cal A$-OTOC. The Gaussian scrambling rate is computed analytically for physically important cases of general division into subsystems, and is shown to have an intuitive and compelling physical interpretation in terms of minimizing the interaction strength between subsystems.


title: Device-independent randomness certification using multiple copies of entangled states

abstract: We demonstrate to what extent many copies of maximally entangled two-qubit states enable for generating a greater amount of certified randomness than that can be certified from a single copy. Although it appears that greater the dimension of the system implies a higher amount of randomness, the non-triviality lies in the device-independent simultaneous certification of generated randomness from many copies of entangled states. This is because, most of the two-outcome Bell inequalities (viz., Clauser-Horne-Shimony-Holt, Elegant, or Chain Bell inequality) are optimized for a single copy of two-qubit entangled state. Thus, such Bell inequalities can certify neither many copies of entangled states nor a higher amount of randomness. In this work, we suitably invoke a family of $n$-settings Bell inequalities which is optimized for $\lfloor n/2 \rfloor$ copies of maximally entangled two-qubit states, thereby, possess the ability to certify more randomness from many copies of two-qubit entangled state.


title: On the absence of solutions of differential inequalities with $\infty$-Laplacian

abstract: For differential inequalities with the $\infty$-Laplacian in the principal part, we obtain conditions for the absence of solutions in unbounded domains. Examples are given to demonstrate the accuracy of these conditions.


title: Continuous-Variable Nonclassicality Detection under Coarse-Grained Measurement

abstract: Coarse graining is a common imperfection of realistic quantum measurement, obstructing the direct observation of quantum features. Under highly coarse-grained measurement, we experimentally detect the continuous-variable nonclassicality of both Gaussian and non-Gaussian states. Remarkably, we find that this coarse-grained measurement outperforms the conventional fine-grained measurement for nonclassicality detection: it detects nonclassicality beyond the reach of the variance criterion, and furthermore, it exhibits stronger statistical significance than the high-order moments method. Our work shows the usefulness of coarse-grained measurement by providing a reliable and efficient way of nonclassicality detection for quantum technologies.


title: Discrete gradients in short-range molecular dynamics simulations

abstract: Discrete gradients (DG) or more exactly discrete gradient methods are time integration schemes that are custom-built to preserve first integrals or Lyapunov functions of a given ordinary differential equation (ODE). In conservative molecular dynamics (MD) simulations, the energy of the system is constant and therefore a first integral of motion. Hence, discrete gradient methods seem to be a natural choice as an integration scheme in conservative molecular dynamics simulations.


title: On Learning the Structure of Clusters in Graphs

abstract: Graph clustering is a fundamental problem in unsupervised learning, with numerous applications in computer science and in analysing real-world data. In many real-world applications, we find that the clusters have a significant high-level structure. This is often overlooked in the design and analysis of graph clustering algorithms which make strong simplifying assumptions about the structure of the graph. This thesis addresses the natural question of whether the structure of clusters can be learned efficiently and describes four new algorithmic results for learning such structure in graphs and hypergraphs. All of the presented theoretical results are extensively evaluated on both synthetic and real-word datasets of different domains, including image classification and segmentation, migration networks, co-authorship networks, and natural language processing. These experimental results demonstrate that the newly developed algorithms are practical, effective, and immediately applicable for learning the structure of clusters in real-world data.


title: Young equations with singularities

abstract: In this paper we prove existence and uniqueness of a mild solution to the Young equation $dy(t)=Ay(t)dt+\sigma(y(t))dx(t)$, $t\in[0,T]$, $y(0)=\psi$. Here, $A$ is an unbounded operator which generates a semigroup of bounded linear operators $(S(t))_{t\geq 0}$ on a Banach space $X$, $x$ is a real-valued $\eta$-H\"older continuous. Our aim is to reduce, in comparison to [4] and [1] (see also [2,5]) in the bibliography, the regularity requirement on the initial datum $\psi$ eventually dropping it. The main tool is the definition of a sewing map for a new class of increments which allows the construction of a Young convolution integral in a general interval $[a,b]\subset \mathbb R$ when the $X_\alpha$-norm of the function under the integral sign blows up approaching $a$ and $X_{\alpha}$ is an intermediate space between $X$ and $D(A)$.


title: E-ideals in exponential polynomial ring

abstract: We investigate exponential ideals in the exponential polynomial ring over an exponential field. We study two notions of maximality for exponential ideals, and relate them to primeness. These three notions are independent, unlike in the classical case. We also show that over an algebraically closed field K the correspondence between points of K^n and maximal ideals of the ring of exponential polynomials does not hold.


title: On the large-order asymtptics of Kuznetsov-Ma breathers

abstract: We study the large-order asymptotics for the Kuznetsov-Ma breather of the nonlinear Schr\"{o}dinger equation in the far-field regime. With the aid of Darboux transformation, we first derive the corresponding Riemann-Hilbert representation for the high-order Kuznetsov-Ma breathers. Under the far-field limit, there are five asymptotical regions in the space-time plane where the breathers behave differently, the genus-two region, the algebraic-decay region, and three distinct genus-zero regions. With the aid of the Deift-Zhou nonlinear steepest decent method, we give the leading order term for each region and verify the consistency between the exact solution and the asymptotic solution numerically. Compared to the previous studies about the large-order asymptotic analysis of rogue waves and solitons, we find a novel genus-two asymptotic region, which further enriches the research of large-order dynamics.


title: Comparative analysis for the behavior of beryllium and magnesium crystals at ultrahigh pressures

abstract: The paper presents ab initio results on the structural phase stability of beryllium and magnesium crystals under high and ultrahigh pressures (multi-terapascal regime). Magnesium is shown to undergo a number of structural transformations which markedly reduce the crystal packing factor. As for beryllium, its high-pressure body-centered cubic phase remains stable even under ultrahigh pressures. Changes in the electronic structure of Be and Mg crystals under compression are analyzed and some interesting effects are revealed. Specifically, a narrow band gap appears in the electronic structure of magnesium under pressures above 2.5 TPa. For the metals of interest, PT-diagrams are constructed and compared with available experimental and theoretical results from other investigations.


title: Synthetic dataset generation methodology for Recommender Systems using statistical sampling methods, a Multinomial Logit model, and a Fuzzy Inference System

abstract: It is said that we live in the age of data, and that data is ubiquitous and readily available if one has the tools to harness it. That may well be true, but so is the opposite. It is ever more common to try to start a data science project only to find oneself without quality data. Be it due to just not having collected the needed features, or due to insufficient data, or even legality issues, the list goes on. When this happens, either the project is prematurely abandoned, or similar datasets are searched for and used. However, finding a dataset that answers your needs in terms of features, type of ratings, etc., may not be an easy task, this is particularly the case for recommender systems. In this work, a methodology for the generation of synthetic datasets for recommender systems is presented, thus allowing to overcome the obstacle of not having quality data in sufficient amount readily available. With this methodology, one can generate a synthetic dataset for recommendation composed by numerical/ordinal and nominal features. The dataset is built with Gaussian copulas, Dirichlet and Gaussian distributions, a Multinomial Logit model and a Fuzzy Logic Inference System that generates the ratings according to different user behavioural profiles and perceived item quality.


title: Properties of Group Fairness Metrics for Rankings

abstract: In recent years, several metrics have been developed for evaluating group fairness of rankings. Given that these metrics were developed with different application contexts and ranking algorithms in mind, it is not straightforward which metric to choose for a given scenario. In this paper, we perform a comprehensive comparative analysis of existing group fairness metrics developed in the context of fair ranking. By virtue of their diverse application contexts, we argue that such a comparative analysis is not straightforward. Hence, we take an axiomatic approach whereby we design a set of thirteen properties for group fairness metrics that consider different ranking settings. A metric can then be selected depending on whether it satisfies all or a subset of these properties. We apply these properties on eleven existing group fairness metrics, and through both empirical and theoretical results we demonstrate that most of these metrics only satisfy a small subset of the proposed properties. These findings highlight limitations of existing metrics, and provide insights into how to evaluate and interpret different fairness metrics in practical deployment. The proposed properties can also assist practitioners in selecting appropriate metrics for evaluating fairness in a specific application.


title: Correlated Mott insulators in a strong electric field: The effects of phonon renormalization

abstract: We characterize the response of a Mott insulating system to a static electric field in terms of its conducting and spectral properties. Dissipation is included by a coupling to fermionic baths and to either optical or acoustic phonons. This paper extends and completes the analysis made in a previous work by the authors [arXiv:2207.01921]. In the present work phonons are included diagrammatically within the Migdal approximation by also including self-consistency from the electronic feedback. The nonequilibrium steady-state is addressed by means of the dynamical mean-field theory based on the nonequilibrium Green's function approach, while the so-called auxiliary master equation approach is employed as impurity solver. With optical phonons the self-consistency suppresses the steady-state current at the onset of the metallic phase with respect to the nonself-consistent case. This is due to the interaction of phonons with the hot electrons of the lattice which increases their temperature, thus providing a less effective relaxation channel for the current-induced Joule heat. In addition, in the case of optical phonons the results are essentially independent of the temperature of the fermionic baths, as the latter is sensibly smaller than their characteristic frequency. On the other hand, with acoustic phonons the steady-state current is slightly suppressed by the self-consistent treatment only at field strengths close to half of the gap, away from the metallic phase, and especially at very small phonon frequency. Also, in this case the results seem to slightly depend on the temperature of the fermionic baths.


title: Sheaf-theoretic self-filtering network of low-cost sensors for local air quality monitoring: A causal approach

abstract: Sheaf theory, which is a complex but powerful tool supported by topological theory, offers more flexibility and precision than traditional graph theory when it comes to modeling relationships between multiple features. In the realm of air quality monitoring, this can be incredibly useful in detecting sudden changes in local dust particle density, which can be difficult to accurately measure using commercial instruments. Traditional methods for air quality measurement often rely on calibrating the measurement with public standard instruments or calculating the measurements moving average over a constant period. However, this can lead to an incorrect index at the measurement location, as well as an oversmoothing effect on the signal. In this study, we propose a compact device that uses sheaf theory to detect and count vehicles as a local air quality change-causing factor. By inferring the number of vehicles into the PM2.5 index and propagating it into the recorded PM2.5 index from low-cost air monitoring sensors such as PMS7003 and BME280, we can achieve self-correction in real-time. Plus, the sheaf-theoretic method allows for easy scaling to multiple nodes for further filtering effects. By implementing sheaf theory in air quality monitoring, we can overcome the limitations of traditional methods and provide more accurate and reliable results.


title: A Fault Location Method Based on Electromagnetic Transient Convolution Considering Frequency-Dependent Parameters and Lossy Ground

abstract: As the capacity of power systems grows, the need for quick and precise short-circuit fault location becomes increasingly vital for ensuring the safe and continuous supply of power. In this paper, we propose a fault location method that utilizes electromagnetic transient convolution (EMTC). We assess the performance of a naive EMTC implementation in multi-phase power lines by using frequency-dependent parameters in real fault simulation, while using constant parameters in pre-calculation. Our results show that the location error increases as the distance between the fault location and the measurement location increases. Therefore, we adopt the aerial mode transients after phase-mode transformation to perform the convolution, which reduces the influence of frequency-dependence and ground loss. We conduct numerical experiments in a 3-phase 100-km transmission line, a radial distribution network and IEEE 9-bus system under different fault conditions. Our results show that the proposed method achieves tolerable location errors and operates efficiently through direct convolution of the real fault-generated transient signals and the pre-stored calculated transient signals.


title: New description of the scaling evolution of the cosmological magneto-hydrodynamic system

abstract: We present a new description of cosmological evolution of the primordial magnetic field under the condition that it is non-helical and its energy density is larger than the kinetic energy density. We argue that the evolution can be described by four different regimes, according to whether the decay dynamics is linear or not, and whether the dominant dissipation term is the shear viscosity or the drag force. Using this classification and conservation of the Hosking integral, we present analytic models to adequately interpret the results of various numerical simulations of field evolution with variety of initial conditions. It is found that, contrary to the conventional wisdom, the decay of the field is generally slow, exhibiting the inverse transfer, because of the conservation of the Hosking integral. Using the description proposed here, we may trace the intermediate evolution history of the magnetic field and clarify whether each process governing its evolution is frozen or not, which is essential to follow the evolution of relatively weak magnetic fields.


title: Near-Extremal Limits of de Sitter Black Holes

abstract: We analyze the thermodynamic response near extremality of charged black holes in four-dimensional Einstein-Maxwell theory with a positive cosmological constant. The latter exhibit three different extremal limits, dubbed cold, Nariai and ultracold configurations, with near-horizon geometries AdS$_2 \times S^2$, dS$_2 \times S^2$, Mink$_2 \times S^2$, respectively. For each of these three cases we analyze small deformations away from extremality, and contrast their response. We also construct the effective two-dimensional theory, obtained by dimensional reduction, that captures these features and we provide a more detailed analysis of the perturbations around the near-horizon geometry for each case. Our results for the ultracold case in particular show an interesting interplay between the entropy variation and charge variation, realizing a different symmetry breaking with respect to the other two near-extremal limits.


title: Increasing efficiency and reducing bias when assessing HPV vaccination efficacy by using non-targeted HPV strains

abstract: Studies of vaccine efficacy often record both the incidence of vaccine-targeted virus strains (primary outcome) and the incidence of non-targeted strains (secondary outcome). However, standard estimates of vaccine efficacy on targeted strains ignore the data on non-targeted strains. Assuming non-targeted strains are unaffected by vaccination, we regard the secondary outcome as a negative control outcome and show how using such data can (i) increase the precision of the estimated vaccine efficacy against targeted strains in randomized trials, and (ii) reduce confounding bias of that same estimate in observational studies. For objective (i), we augment the primary outcome estimating equation with a function of the secondary outcome that is unbiased for zero. For objective (ii), we jointly estimate the treatment effects on the primary and secondary outcomes. If the bias induced by the unmeasured confounders is similar for both types of outcomes, as is plausible for factors that influence the general risk of infection, then we can use the estimated efficacy against the secondary outcomes to remove the bias from estimated efficacy against the primary outcome. We demonstrate the utility of these approaches in studies of HPV vaccines that only target a few highly carcinogenic strains. In this example, using non-targeted strains increased precision in randomized trials modestly but reduced bias in observational studies substantially.


title: Sensitivity of the thermodynamics of two-dimensional systems towards the topological classes of their surfaces

abstract: Using Monte Carlo simulations we study the two-dimensional Ising model on triangular, square, and hexagonal lattices with various topologies. We focus on the behavior of the magnetic susceptibility and of the specific heat near the critical point of the planar bulk system. We find that scaling functions of these quantities on the spherical surface (Euler characteristic K = 2) differ from the scaling functions on the projective plane (K = 1) which, in turn, differ from the scaling functions on the torus and on the Klein bottle (both K = 0). This provides strong evidence that phase transitions of the Ising model on two-dimensional surfaces depend on their topologies.


title: StyleRes: Transforming the Residuals for Real Image Editing with StyleGAN

abstract: We present a novel image inversion framework and a training pipeline to achieve high-fidelity image inversion with high-quality attribute editing. Inverting real images into StyleGAN's latent space is an extensively studied problem, yet the trade-off between the image reconstruction fidelity and image editing quality remains an open challenge. The low-rate latent spaces are limited in their expressiveness power for high-fidelity reconstruction. On the other hand, high-rate latent spaces result in degradation in editing quality. In this work, to achieve high-fidelity inversion, we learn residual features in higher latent codes that lower latent codes were not able to encode. This enables preserving image details in reconstruction. To achieve high-quality editing, we learn how to transform the residual features for adapting to manipulations in latent codes. We train the framework to extract residual features and transform them via a novel architecture pipeline and cycle consistency losses. We run extensive experiments and compare our method with state-of-the-art inversion methods. Qualitative metrics and visual comparisons show significant improvements. Code: https://github.com/hamzapehlivan/StyleRes


title: Characterization of the Global Bias Problem in Aerial Federated Learning

abstract: Unmanned aerial vehicles (UAVs) mobility enables flexible and customized federated learning (FL) at the network edge. However, the underlying uncertainties in the aerial-terrestrial wireless channel may lead to a biased FL model. In particular, the distribution of the global model and the aggregation of the local updates within the FL learning rounds at the UAVs are governed by the reliability of the wireless channel. This creates an undesirable bias towards the training data of ground devices with better channel conditions, and vice versa. This paper characterizes the global bias problem of aerial FL in large-scale UAV networks. To this end, the paper proposes a channel-aware distribution and aggregation scheme to enforce equal contribution from all devices in the FL training as a means to resolve the global bias problem. We demonstrate the convergence of the proposed method by experimenting with the MNIST dataset and show its superiority compared to existing methods. The obtained results enable system parameter tuning to relieve the impact of the aerial channel deficiency on the FL convergence rate.


title: Dark Matter Bound States: A Window into the Early Universe

abstract: Despite significant experimental sensitivity to point-like, weakly interacting particles at the electroweak mass scale, dark matter has not been found yet. This could hint at a more complex dark sector with multiple states or composite dark particles, much like the complexity of the standard model. Currently, our experimental sensitivity to such scenarios is limited by a lack of theoretical understanding. The investigation of Dark Matter systems with unstable or stable bound states provides a playground that leads to the development of important tools needed for the understanding of dark sectors with complex phenomena and allows to experimentally test well-motivated DM scenarios.


title: Polarized gravitational waves in the parity violating scalar-nonmetricity theory

abstract: There has been increasing interest in investigating the possible parity violating features in the gravity theory and on the cosmological scales. In this work, we consider a class of scalar-nonmetricity theory, of which the Lagrangian is polynomial built of the nonmetricity tensor and a scalar field. The nonmetricity tensor is coupled with the scalar field through its first order derivative. Besides the monomials that are quadratic order in the nonmetricity tensor, we also construct monomials that are cubic order in the nonmetricity tensor in both the parity preserving and violating cases. These monomials act as the non-canonical (i.e., non-quadratic) kinetic terms for the spacetime metric, and will change the behavior in the propagation of the gravitational waves. We find that the gravitational waves are generally polarized, which present both the amplitude and velocity birefringence features due to the parity violation of the theory. Due to the term proportional to $1/k$ in the phase velocities, one of the two polarization modes suffers from the gradient instability on large scales.


title: Discovery prospects of a light charged Higgs near the fermiophobic region of Type-I 2HDM

abstract: Determining if the SM-like Higgs is part of an extended Higgs sector is the most important question to be asked after discovery. A light charged Higgs boson with mass smaller than the sum of top and bottom quarks is naturally allowed in Type-I two Higgs doublet model and can be produced in association with neutral scalars for large parts of parameter space at the LHC. Such low mass charged scalars typically have dominant decays to the fermionic modes viz. $\tau\nu$ and $c s$. However in the presence of light neutral scalar ($\varphi$), the charged Higgs boson has a substantial branching fraction into the bosonic decay modes $H^{\pm} \to W^{(*)} \varphi$. Identifying the heavier neutral Higgs ($H$) with the observed 125 GeV Higgs and working in the limit $M_{H^\pm} \approx M_A$, we examine charged Higgs production and decay in the bosonic mode $p p \to H^\pm h \to W^{(*)}h h$. The presence of two light Higgses ($h$) is then the key to identifying charged Higgs production. The light Higgs branching ratio is largely dominated by the $b\bar{b}$ mode except when close to the fermiophobic limit. Here, the rates into $b \bar b$ and $\gamma \gamma$ can be comparable and we can use the $\gamma\gamma b\bar{b}$ signature. This signature is complementary to the $h h \to 4\gamma$ which has been previously discussed in literature. Using the lepton from the $W$ boson, we demonstrate with a cut-and-count analysis that both the new light neutral Higgs as well as charged Higgs can be probed with reasonable significance at 13.6 TeV LHC with 300-3000 fb$^{-1}$ of integrated luminosity.


title: Testbed for Functional Safety-Relevant Wireless Communication Based on IO-Link Wireless and 5G

abstract: In the field of industrial production automation, wireless networks support highly flexible manufacturing processes and enable technologies to set-up new production chains and future software businesses. The IO-Link Wireless (IOLW) protocol is an already established energy-efficient and cost-effective communication standard for smart sensor devices on the industrial shop floor, whereas the mobile communication standard 5G will be mainly applied for medium and long-range wireless communication applications promising low latency times and high reliability. Therefore, 5G with the coming enhancement of deterministic ultra-Reliable Low-Latency Communication (uRLLC) is combined with the robustness and low-latency performance characteristics of IO-Link Wireless. Features of both technologies are highly beneficial to realize even highly demanding safety-related applications. The presented testbed shall qualify wireless functional safety communication with respect to its Residual Error Probability (REP) and quantify the Probability of Failure per Hour (PFH).


title: INO: Invariant Neural Operators for Learning Complex Physical Systems with Momentum Conservation

abstract: Neural operators, which emerge as implicit solution operators of hidden governing equations, have recently become popular tools for learning responses of complex real-world physical systems. Nevertheless, the majority of neural operator applications has thus far been data-driven, which neglects the intrinsic preservation of fundamental physical laws in data. In this paper, we introduce a novel integral neural operator architecture, to learn physical models with fundamental conservation laws automatically guaranteed. In particular, by replacing the frame-dependent position information with its invariant counterpart in the kernel space, the proposed neural operator is by design translation- and rotation-invariant, and consequently abides by the conservation laws of linear and angular momentums. As applications, we demonstrate the expressivity and efficacy of our model in learning complex material behaviors from both synthetic and experimental datasets, and show that, by automatically satisfying these essential physical laws, our learned neural operator is not only generalizable in handling translated and rotated datasets, but also achieves state-of-the-art accuracy and efficiency as compared to baseline neural operator models.


title: Deep Temporal Contrastive Clustering

abstract: Recently the deep learning has shown its advantage in representation learning and clustering for time series data. Despite the considerable progress, the existing deep time series clustering approaches mostly seek to train the deep neural network by some instance reconstruction based or cluster distribution based objective, which, however, lack the ability to exploit the sample-wise (or augmentation-wise) contrastive information or even the higher-level (e.g., cluster-level) contrastiveness for learning discriminative and clustering-friendly representations. In light of this, this paper presents a deep temporal contrastive clustering (DTCC) approach, which for the first time, to our knowledge, incorporates the contrastive learning paradigm into the deep time series clustering research. Specifically, with two parallel views generated from the original time series and their augmentations, we utilize two identical auto-encoders to learn the corresponding representations, and in the meantime perform the cluster distribution learning by incorporating a k-means objective. Further, two levels of contrastive learning are simultaneously enforced to capture the instance-level and cluster-level contrastive information, respectively. With the reconstruction loss of the auto-encoder, the cluster distribution loss, and the two levels of contrastive losses jointly optimized, the network architecture is trained in a self-supervised manner and the clustering result can thereby be obtained. Experiments on a variety of time series datasets demonstrate the superiority of our DTCC approach over the state-of-the-art.


title: Optimal Robust Mechanism in Bilateral Trading

abstract: We consider a model of bilateral trade with private values. The value of the buyer and the cost of the seller are jointly distributed. The true joint distribution is unknown to the designer, however, the marginal distributions of the value and the cost are known to the designer. The designer wants to find a trading mechanism that is robustly Bayesian incentive compatible, robustly individually rational, budget-balanced and maximizes the expected gains from trade over all such mechanisms. We refer to such a mechanism as an optimal robust mechanism. We establish equivalence between Bayesian incentive compatible mechanisms (BIC) and dominant strategy mechanisms (DSIC). We characterise the worst distribution for a given mechanism and use this characterisation to find an optimal robust mechanism. We show that there is an optimal robust mechanism that is deterministic (posted-price), dominant strategy incentive compatible, and ex-post individually rational. We also derive an explicit expression of the posted-price of such an optimal robust mechanism. We also show the equivalence between the efficiency gains from the optimal robust mechanism (max-min problem) and guaranteed efficiency gains if the designer could choose the mechanism after observing the true joint distribution (min-max problem).


title: Pullbacks of Brill-Noether Classes Under Abel-Jacobi Sections

abstract: We prove that the pullbacks of the virtual fundamental classes of the Brill-Noether loci under any Abel-Jacobi section lie in the tautological ring of the moduli space of stable curves. This resolves a conjecture of Pagani, Ricolfi and van Zelm, and is part of a broader program to understand the logarithmic intersection theory of $\Mgn$.


title: Comparison of Density-Matrix Corrections to Density Functional Theory

abstract: Density functional theory (DFT), one of the most widely utilized methods available to computational chemistry, fails to describe systems with statically correlated electrons. To address this shortcoming, in previous work we transformed DFT into a one-electron reduced density matrix theory (1-RDMFT) via the inclusion of a quadratic one-electron reduced density matrix (1-RDM) correction. Here, we combine our 1-RDMFT approach with different DFT functionals as well as Hartree-Fock to elucidate the method's dependence on the underlying functional selection. Furthermore, we generalize the information density matrix functional theory (iDMFT), recently developed as a correction to the Hartree-Fock method, by incorporating density functionals in place of the Hartree-Fock functional. We relate iDMFT mathematically to our approach and benchmark the two with a common set of functionals and systems.


title: Can 5th Generation Local Training Methods Support Client Sampling? Yes!

abstract: The celebrated FedAvg algorithm of McMahan et al. (2017) is based on three components: client sampling (CS), data sampling (DS) and local training (LT). While the first two are reasonably well understood, the third component, whose role is to reduce the number of communication rounds needed to train the model, resisted all attempts at a satisfactory theoretical explanation. Malinovsky et al. (2022) identified four distinct generations of LT methods based on the quality of the provided theoretical communication complexity guarantees. Despite a lot of progress in this area, none of the existing works were able to show that it is theoretically better to employ multiple local gradient-type steps (i.e., to engage in LT) than to rely on a single local gradient-type step only in the important heterogeneous data regime. In a recent breakthrough embodied in their ProxSkip method and its theoretical analysis, Mishchenko et al. (2022) showed that LT indeed leads to provable communication acceleration for arbitrarily heterogeneous data, thus jump-starting the $5^{\rm th}$ generation of LT methods. However, while these latest generation LT methods are compatible with DS, none of them support CS. We resolve this open problem in the affirmative. In order to do so, we had to base our algorithmic development on new algorithmic and theoretical foundations.


title: Robust two-state swap by stimulated Raman adiabatic passage

abstract: Efficient initialization and manipulation of quantum states is important for numerous applications and it usually requires the ability to perform high fidelity and robust swapping of the populations of quantum states. Stimulated Raman adiabatic passage (STIRAP) has been known to perform efficient and robust inversion of the ground states populations of a three-level system. However, its performance is sensitive to the initial state of the system. In this contribution we demonstrate that a slight modification of STIRAP, where we introduce a non-zero single-photon detuning, allows for efficient and robust population swapping for any initial state. The results of our work could be useful for efficient and robust state preparation, dynamical decoupling and design of quantum gates in ground state qubits via two-photon interactions.


title: Deep Runge-Kutta schemes for BSDEs

abstract: We propose a new probabilistic scheme which combines deep learning techniques with high order schemes for backward stochastic differential equations belonging to the class of Runge-Kutta methods to solve high-dimensional semi-linear parabolic partial differential equations. Our approach notably extends the one introduced in [Hure Pham Warin 2020] for the implicit Euler scheme to schemes which are more efficient in terms of discrete-time error. We establish some convergence results for our implemented schemes under classical regularity assumptions. We also illustrate the efficiency of our method for different schemes of order one, two and three. Our numerical results indicate that the Crank-Nicolson schemes is a good compromise in terms of precision, computational cost and numerical implementation.


title: Some measure-theoretical and dynamical properties of successive minima on the space of unimodular lattices

abstract: In this article, we study the relation between lattice basis and successive minima and give an estimate for the measure-theoretical distribution of successive minima. As consequences, we also discuss some logarithm laws associated to higher sucessive minima.


title: Learning One Abstract Bit at a Time Through Self-Invented Experiments Encoded as Neural Networks

abstract: There are two important things in science: (A) Finding answers to given questions, and (B) Coming up with good questions. Our artificial scientists not only learn to answer given questions, but also continually invent new questions, by proposing hypotheses to be verified or falsified through potentially complex and time-consuming experiments, including thought experiments akin to those of mathematicians. While an artificial scientist expands its knowledge, it remains biased towards the simplest, least costly experiments that still have surprising outcomes, until they become boring. We present an empirical analysis of the automatic generation of interesting experiments. In the first setting, we investigate self-invented experiments in a reinforcement-providing environment and show that they lead to effective exploration. In the second setting, pure thought experiments are implemented as the weights of recurrent neural networks generated by a neural experiment generator. Initially interesting thought experiments may become boring over time.


title: Smooth Compactifications of the Abel-Jacobi Section

abstract: For $\theta$ a small generic universal stability condition of degree $0$ and $A$ a vector of integers adding up to $k(2g-2)$, the spaces $\overline{M}_{g,n}^\theta$ resolving the Abel-Jacobi section to the compactified Jacobian Pic^\theta constructed in the work of Abreu-Pacini and Holmes-Molcho-Pandharipande-Pixton-Schmitt are observed to lie inside the space $\textbf{Div}$ of Marcus and Wise, and their pullback to the rubber space of loc. cit to be smooth. This provides smooth and modular blowups $\widetilde{M}_{g,n}^\theta$ of the moduli space of stable curves on which the logarithmic double ramification cycle can be calculated by several methods, old and novel.


title: Long-horizon video prediction using a dynamic latent hierarchy

abstract: The task of video prediction and generation is known to be notoriously difficult, with the research in this area largely limited to short-term predictions. Though plagued with noise and stochasticity, videos consist of features that are organised in a spatiotemporal hierarchy, different features possessing different temporal dynamics. In this paper, we introduce Dynamic Latent Hierarchy (DLH) -- a deep hierarchical latent model that represents videos as a hierarchy of latent states that evolve over separate and fluid timescales. Each latent state is a mixture distribution with two components, representing the immediate past and the predicted future, causing the model to learn transitions only between sufficiently dissimilar states, while clustering temporally persistent states closer together. Using this unique property, DLH naturally discovers the spatiotemporal structure of a dataset and learns disentangled representations across its hierarchy. We hypothesise that this simplifies the task of modeling temporal dynamics of a video, improves the learning of long-term dependencies, and reduces error accumulation. As evidence, we demonstrate that DLH outperforms state-of-the-art benchmarks in video prediction, is able to better represent stochasticity, as well as to dynamically adjust its hierarchical and temporal structure. Our paper shows, among other things, how progress in representation learning can translate into progress in prediction tasks.


title: Stateful Logic using Phase Change Memory

abstract: Stateful logic is a digital processing-in-memory technique that could address von Neumann memory bottleneck challenges while maintaining backward compatibility with standard von Neumann architectures. In stateful logic, memory cells are used to perform the logic operations without reading or moving any data outside the memory array. Stateful logic has been previously demonstrated using several resistive memory types, mostly by resistive RAM (RRAM). Here we present a new method to design stateful logic using a different resistive memory - phase change memory (PCM). We propose and experimentally demonstrate four logic gate types (NOR, IMPLY, OR, NIMP) using commonly used PCM materials. Our stateful logic circuits are different than previously proposed circuits due to the different switching mechanism and functionality of PCM compared to RRAM. Since the proposed stateful logic form a functionally complete set, these gates enable sequential execution of any logic function within the memory, paving the way to PCM-based digital processing-in-memory systems.


title: Quantum Phase Transitions in a Model Hamiltonian Exhibiting Entangled Simultaneous Fermion-Pair and Exciton Condensations

abstract: Quantum states of a novel Bose-Einstein condensate, in which both fermion-pair and exciton condensations are simultaneously present, have recently been realized theoretically in a model Hamiltonian system. Here we identify quantum phase transitions in that model between fermion-pair and exciton condensations based on a geometric analysis of the convex set of ground-state 2-particle reduced density matrices (2-RDMs). The 2-RDM set provides a finite representation of the infinite parameter space of Hamiltonians that readily reveals a fermion-pair condensate phase and two distinct exciton condensate phases, as well as the emergence of first- and second-order phase transitions as the particle number of the system is increased. The set, furthermore, shows that the fermion-exciton condensate (FEC) lies along the second-order phase transition between the exciton and fermion-pair condensate phases. The detailed information about the exciton and fermion-pair phases, the forces behind these phase, as well as their associated transitions provides additional insight into the formation of the FEC condensate, which we anticipate will prove useful in its experimental realization.


title: Charged-particle bound states in periodic boxes

abstract: We consider the binding energy of a two-body system with a repulsive Coulomb interaction in a finite periodic volume. We define the finite-volume Coulomb potential as the usual Coulomb potential, except that the distance is defined as the shortest separation between the two bodies in the periodic volume. We investigate this problem in one and three-dimensional periodic boxes and derive the asymptotic behavior of the volume dependence for bound states with zero angular momentum in terms of Whittaker functions. We benchmark our results against numerical calculations and show how the method can be used to extract asymptotic normalization coefficients for charged-particle bound states. The results we derive here have immediate applications for calculations of atomic nuclei in finite periodic volumes for the case where the leading finite-volume correction is associated with two charged clusters.


title: Weak elastic energy of irregular curves

abstract: A weak notion of elastic energy for (not necessarily regular) rectifiable curves in any space dimension is proposed. Our $p$-energy is defined through a relaxation process, where a suitable $p$-rotation of inscribed polygonals is adopted. The discrete $p$-rotation we choose has a geometric flavor: a polygonal is viewed as an approximation to a smooth curve and hence its discrete curvature is spread out into a smooth density. For any exponent $p$ greater than one, the $p$-energy is finite if and only if the arc-length parameterization of the curve has a second order summability with the same growth exponent. In that case, moreover, the energy agrees with the natural extension of the integral of the $p$-th power of the scalar curvature. Finally, a comparison with other definitions of discrete curvatures is discussed.


title: Analysis of Age of Incorrect Information under Generic Transmission Delay

abstract: This paper investigates the Age of Incorrect Information (AoII) in a communication system whose channel suffers a random delay. We consider a slotted-time system where a transmitter observes a dynamic source and decides when to send updates to a remote receiver through the communication channel. The threshold policy, under which the transmitter initiates transmission only when the AoII exceeds the threshold, governs the transmitter's decision. In this paper, we analyze and calculate the performance of the threshold policy in terms of the achieved AoII. Using the Markov chain to characterize the system evolution, the expected AoII can be obtained precisely by solving a system of linear equations whose size is finite and depends on the threshold. We also give closed-form expressions of the expected AoII under two particular thresholds. Finally, calculation results show that there are better strategies than the transmitter constantly transmitting new updates.


title: Novel Spring Mechanism Enables Iterative Energy Accumulation under Force and Deformation Constraints

abstract: Springs can provide force at zero net energy cost by recycling negative mechanical work to benefit motor-driven robots or spring-augmented humans. However, humans have limited force and range of motion, and motors have a limited ability to produce force. These limits constrain how much energy a conventional spring can store and, consequently, how much assistance a spring can provide. In this paper, we introduce an approach to accumulating negative work in assistive springs over several motion cycles. We show that, by utilizing a novel floating spring mechanism, the weight of a human or robot can be used to iteratively increase spring compression, irrespective of the potential energy stored by the spring. Decoupling the force required to compress a spring from the energy stored by a spring advances prior works, and could enable spring-driven robots and humans to perform physically demanding tasks without the use of large actuators.


title: Topology of $3$-manifolds with uniformly positive scalar curvature

abstract: In this article, we classify (non-compact) $3$-manifolds with uniformly positive scalar curvature. Precisely, we show that an oriented $3$-manifold has a complete metric with uniformly positive scalar curvature if and only if it is homeomorphic to an (possibly) infinite connected sum of spherical $3$-manifolds and some copies of $\mathbb{S}^1\times \mathbb{S}^2$. Further, we study an oriented $3$-manifold with mean convex boundary and with uniformly positive scalar curvature. If the boundary is a disjoint union of closed surfaces, then the manifold is an (possibly) infinite conned sum of spherical $3$-manifolds, some handlebodies and some copies of $\mathbb{S}^1\times \mathbb{S}^2$.


title: Towards data-driven modeling and real-time prediction of solar flares and coronal mass ejections

abstract: Modeling of transient events in the solar atmosphere requires the confluence of 3 critical elements: (1) model sophistication, (2) data availability, and (3) data assimilation. This white paper describes required advances that will enable statistical flare and CME forecasting (e.g. eruption probability and timing, estimation of strength, and CME details, such as speed and magnetic field orientation) similar to weather prediction on Earth.

categories: astro-ph.IM astro-ph.SR physics.data-an physics.space-ph stat.CO


title: Global angular momentum generation in heavy-ion reactions within a hadronic transport approach

abstract: In 2017, the STAR collaboration at the Relativistic Heavy Ion Collider (RHIC) has measured finite global angular momentum in heavy-ion collisions through a spin polarization measurement of $\Lambda$ hyperons. This measurement revealed a high angular momentum of the heavy ions and provided experimental evidence for vorticity in the quark-gluon plasma (QGP) for the first time. In order to investigate the underlying mechanisms, a dynamic description of the transfer of angular momentum is required. In this work, the microscopic non-equilibrium transport approach SMASH (Simulating Many Accelerated Strongly-interacting Hadrons) is applied to study the generation of global angular momentum by the interaction of two nuclei. As SMASH provides access to the whole phase-space evolution of every particle at any given time, it allows to assess the fraction of angular momentum generated in the fireball by all participants. We confirm the previous modeling by Becattini \textit{et al} within a geometric Glauber model approach, which found that the angular momentum transfer reaches a unique maximum in mid-central collisions during time evolution. The corresponding impact parameter is around $b=4-6$ fm for all beam energies from $\sqrt{s_{\rm NN}}=2.41-200$ GeV. Even though angular momentum is not conserved locally in the transport approach a priori, we identify the contributions to the conservation violation and propose optimal setups for different energy regimes that recover conservation, based upon the test particle method and the treatment of Fermi motion. Furthermore, the system size and centrality dependence are investigated.


title: Statistics and modelling of order patterns in univariate time series

abstract: Order patterns apply well to many fields, because of minimal stationarity assumptions. Here we fix the methodology of patterns of length 3 by introducing an orthogonal system of four pattern contrasts. These contrasts are statistically independent and turn up as eigenvectors of a covariance matrix both in the independence model and the random walk model. The most important contrast is turning rate. It can be used to evaluate sleep depth directly from EEG data. The paper discusses fluctuations of permutation entropy, statistical tests, and the need of new models for noises like EEG. We show how ordinal stationary processes can be constructed without any numerical values. An order by coin-tossing is a natural example. Every partially stationary probability measure on patterns of length $m$ can be extended to a stationary measure on patterns of infinite length.


title: Well-Posedness and Finite Element Approximation of Mixed Dimensional Partial Differential Equations

abstract: We consider a mixed dimensional elliptic partial differential equation posed in a bulk domain with a large number of embedded interfaces. In particular, we study well-posedness of the problem and regularity of the solution. We also propose a fitted finite element approximation and prove an a priori error bound. For the solution of the arising linear system we propose and analyze an iterative method based on subspace decomposition. Finally, we present numerical experiments and achieve rapid convergence using the proposed preconditioner, confirming our theoretical findings.


title: From the binomial reshuffling model to Poisson distribution of money

abstract: We present a novel reshuffling exchange model and investigate its long time behavior. In this model, two individuals are picked randomly, and their wealth $X_i$ and $X_j$ are redistributed by flipping a sequence of fair coins leading to a binomial distribution denoted $B \circ (X_i+X_j)$. This dynamics can be considered as a natural variant of the so-called uniform reshuffling model in econophysics [2,14]. As the number of individuals goes to infinity, we derive its mean-field limit, which links the stochastic dynamics to a deterministic infinite system of ordinary differential equations. The main result of this work is then to prove (using a coupling argument) that the distribution of wealth converges to the Poisson distribution in the $2$-Wasserstein metric. Numerical simulations illustrate the main result and suggest that the polynomial convergence decay might be further improved.


title: Controllable Mechanical-domain Energy Accumulators

abstract: Springs are efficient in storing and returning elastic potential energy but are unable to hold the energy they store in the absence of an external load. Lockable springs use clutches to hold elastic potential energy in the absence of an external load, but have not yet been widely adopted in applications, partly because clutches introduce design complexity, reduce energy efficiency, and typically do not afford high fidelity control over the energy stored by the spring. Here, we present the design of a novel lockable compression spring that uses a small capstan clutch to passively lock a mechanical spring. The capstan clutch can lock over 1000 N force at any arbitrary deflection, unlock the spring in less than 10 ms with a control force less than 1 % of the maximal spring force, and provide an 80 % energy storage and return efficiency (comparable to a highly efficient electric motor operated at constant nominal speed). By retaining the form factor of a regular spring while providing high-fidelity locking capability even under large spring forces, the proposed design could facilitate the development of energy-efficient spring-based actuators and robots.


title: Large Cumulant Eigenvalue as a Signature of Exciton Condensation

abstract: The Bose-Einstein condensation of excitons into a single quantum state is known as exciton condensation. Exciton condensation, which potentially supports the frictionless flow of energy, has recently been realized in graphene bilayers and van der Waals heterostructures. Here we show that exciton condensates can be predicted from a combination of reduced density matrix theory and cumulant theory. We show that exciton condensation occurs if and only if there exists a large eigenvalue in the cumulant part of the particle-hole reduced density matrix. In the thermodynamic limit we show that the large eigenvalue is bounded from above by the number of excitons. In contrast to the eigenvalues of the particle-hole matrix, the large eigenvalue of the cumulant matrix has the advantage of providing a size-extensive measure of the extent of condensation. Here we apply this signature to predict exciton condensation in both the Lipkin model and molecular stacks of benzene. The computational signature has applications to the prediction of exciton condensation in both molecules and materials.

categories: cond-mat.mes-hall cond-mat.str-el physics.chem-ph quant-ph


title: Determination of a source term in Schr\"odinger equation with a data taken at final moment of observation

abstract: We establish the Lipshitz stability estimate in inverse problem of determination of a source term or zero order term in the Schr\"odinger equation with time-dependent coefficients under some non-trapping assumption. Based on this result we established the Lipshitz stability of the determination of a real-valued coefficient corresponding to zero-th order term in the Schr\"odinger equation.


title: Eliminating Meta Optimization Through Self-Referential Meta Learning

abstract: Meta Learning automates the search for learning algorithms. At the same time, it creates a dependency on human engineering on the meta-level, where meta learning algorithms need to be designed. In this paper, we investigate self-referential meta learning systems that modify themselves without the need for explicit meta optimization. We discuss the relationship of such systems to in-context and memory-based meta learning and show that self-referential neural networks require functionality to be reused in the form of parameter sharing. Finally, we propose fitness monotonic execution (FME), a simple approach to avoid explicit meta optimization. A neural network self-modifies to solve bandit and classic control tasks, improves its self-modifications, and learns how to learn, purely by assigning more computational resources to better performing solutions.


title: Quantum oscillations of transport coefficients and capacitance: an unexpected manifestation of the spin-Hall effect

abstract: The results of systematic experimental studies of quantum oscillations of resistivity, Hall coefficient and capacitance in GaAs and In$_x$Ga$_{1-x}$As quantum wells (QWs) with a simple electron spectrum and HgTe QWs with a complicated non-parabolic spectrum and strong spin-orbit interaction are reported. A striking result is the ratio of the amplitudes of the resistance and Hall coefficient oscillations. In GaAs QW with a simple spectrum characterized by negligibly small Zeeman and spin-orbit splitting, the ratio of amplitudes is close to that predicted theoretically. In HgTe QWs, this ratio is very different and behaves differently in QWs with normal and inverted electron spectra. In HgTe WQs with a normal spectrum, it tends to a theoretical value with an increase of the filling factor ($N$), while for HgTe QWs with an inverted spectrum, it differs significantly from the theoretical one for all available $N$. It is assumed that such a difference in the ratio of amplitudes in GaAs and HgTe QWs is due not to the peculiarities of the energy spectrum of HgTe, but to the peculiarities of electron scattering due to spin-orbit interaction with the potential of the scatterers. This assumption is justified by analysis of experimental results obtained for a heterostructure with a In$_{0.2}$Ga$_{0.8}$As QW, which spectrum is very close to the GaAs QW spectrum, but characterizes by much stronger spin-orbit splitting value. It has been found that the positions of the resistance and capacitance oscillations, the difference between the phases of the resistance and Hall coefficient oscillations and its $N$ dependence are close to those observed in GaAs QW. At the same time the ratio of the amplitude of the resistance oscillations to the Hall coefficient oscillations and its $N$ dependence differs very strongly and they are close to that observed in HgTe quantum wells.


title: DNA Unzipping as PT-Symmetry Breaking Transition

abstract: We show that classical DNA unzipping transition which is equivalently described by quantum mechanical localization-delocalization transition in the ground state of non-Hermitian Hatano-Nelson Hamiltonian is underpinned by generalized parity (P)-time reversal (T) symmetry breaking transition. We also study the one-dimensional discretized version of Hatano-Nelson model in the presence of the single impurity and quasiperiodic potential on a finite-size lattice. Our results show that these models undergo a phase transition from a PT unbroken phase to a broken phase. Interestingly, the generalized PT phase transition points also coincide with the localization-delocalization transition for both models.

categories: cond-mat.stat-mech cond-mat.dis-nn cond-mat.soft quant-ph


title: Graph Federated Learning for CIoT Devices in Smart Home Applications

abstract: This paper deals with the problem of statistical and system heterogeneity in a cross-silo Federated Learning (FL) framework where there exist a limited number of Consumer Internet of Things (CIoT) devices in a smart building. We propose a novel Graph Signal Processing (GSP)-inspired aggregation rule based on graph filtering dubbed ``G-Fedfilt''. The proposed aggregator enables a structured flow of information based on the graph's topology. This behavior allows capturing the interconnection of CIoT devices and training domain-specific models. The embedded graph filter is equipped with a tunable parameter which enables a continuous trade-off between domain-agnostic and domain-specific FL. In the case of domain-agnostic, it forces G-Fedfilt to act similar to the conventional Federated Averaging (FedAvg) aggregation rule. The proposed G-Fedfilt also enables an intrinsic smooth clustering based on the graph connectivity without explicitly specified which further boosts the personalization of the models in the framework. In addition, the proposed scheme enjoys a communication-efficient time-scheduling to alleviate the system heterogeneity. This is accomplished by adaptively adjusting the amount of training data samples and sparsity of the models' gradients to reduce communication desynchronization and latency. Simulation results show that the proposed G-Fedfilt achieves up to $3.99\% $ better classification accuracy than the conventional FedAvg when concerning model personalization on the statistically heterogeneous local datasets, while it is capable of yielding up to $2.41\%$ higher accuracy than FedAvg in the case of testing the generalization of the models.


title: Spinfoams and high performance computing

abstract: Numerical methods are a powerful tool for doing calculations in spinfoam theory. We review the major frameworks available, their definition, and various applications. We start from $\texttt{sl2cfoam-next}$, the state-of-the-art library to efficiently compute EPRL spin foam amplitudes based on the booster decomposition. We also review two alternative approaches based on the integration representation of the spinfoam amplitude: Firstly, the numerical computations of the complex critical points discover the curved geometries from the spinfoam amplitude and provides important evidence of resolving the flatness problem in the spinfoam theory. Lastly, we review the numerical estimation of observable expectation values based on the Lefschetz thimble and Markov-Chain Monte Carlo method, with the EPRL spinfoam propagator as an example.


title: AttEntropy: Segmenting Unknown Objects in Complex Scenes using the Spatial Attention Entropy of Semantic Segmentation Transformers

abstract: Vision transformers have emerged as powerful tools for many computer vision tasks. It has been shown that their features and class tokens can be used for salient object segmentation. However, the properties of segmentation transformers remain largely unstudied. In this work we conduct an in-depth study of the spatial attentions of different backbone layers of semantic segmentation transformers and uncover interesting properties. The spatial attentions of a patch intersecting with an object tend to concentrate within the object, whereas the attentions of larger, more uniform image areas rather follow a diffusive behavior. In other words, vision transformers trained to segment a fixed set of object classes generalize to objects well beyond this set. We exploit this by extracting heatmaps that can be used to segment unknown objects within diverse backgrounds, such as obstacles in traffic scenes. Our method is training-free and its computational overhead negligible. We use off-the-shelf transformers trained for street-scene segmentation to process other scene types.


title: An Ultra-Weak Space-Time Variational Formulation for the Schr\"odinger Equation

abstract: We present a well-posed ultra-weak space-time variational formulation for the time-dependent version of the linear Schr\"odinger equation with an instationary Hamiltonian. We prove optimal inf-sup stability and introduce a space-time Petrov-Galerkin discretization with optimal discrete inf-sup stability. We show norm-preservation of the ultra-weak formulation. The inf-sup optimal Petrov-Galerkin discretization is shown to be asymptotically norm-preserving, where the deviation is shown to be in the order of the discretization. In addition, we introduce a Galerkin discretization, which has suboptimal inf-sup stability but exact norm-preservation. Numerical experiments underline the performance of the ultra-weak space-time variational formulation, especially for non-smooth initial data.


title: Quantum Mass Production Theorems

abstract: We prove that for any $n$-qubit unitary transformation $U$ and for any $r = 2^{o(n / \log n)}$, there exists a quantum circuit to implement $U^{\otimes r}$ with at most $O(4^n)$ gates. This asymptotically equals the number of gates needed to implement just a single copy of a worst-case $U$. We also establish analogous results for quantum states and diagonal unitary transformations. Our techniques are based on the work of Uhlig [Math. Notes 1974], who proved a similar mass production theorem for Boolean functions.


title: Visual CPG-RL: Learning Central Pattern Generators for Visually-Guided Quadruped Locomotion

abstract: We present a framework for learning visually-guided quadruped locomotion by integrating exteroceptive sensing and central pattern generators (CPGs), i.e. systems of coupled oscillators, into the deep reinforcement learning (DRL) framework. Through both exteroceptive and proprioceptive sensing, the agent learns to coordinate rhythmic behavior among different oscillators to track velocity commands, while at the same time override these commands to avoid collisions with the environment. We investigate several open robotics and neuroscience questions: 1) What is the role of explicit interoscillator couplings between oscillators, and can such coupling improve sim-to-real transfer for navigation robustness? 2) What are the effects of using a memory-enabled vs. a memory-free policy network with respect to robustness, energy-efficiency, and tracking performance in sim-to-real navigation tasks? 3) How do animals manage to tolerate high sensorimotor delays, yet still produce smooth and robust gaits? To answer these questions, we train our perceptive locomotion policies in simulation and perform sim-to-real transfers to the Unitree Go1 quadruped, where we observe robust navigation in a variety of scenarios. Our results show that the CPG, explicit interoscillator couplings, and memory-enabled policy representations are all beneficial for energy efficiency, robustness to noise and sensory delays of 90 ms, and tracking performance for successful sim-to-real transfer for navigation tasks. Video results can be found at https://youtu.be/wpsbSMzIwgM.


title: A parton branching algorithm with transverse momentum dependent splitting functions

abstract: Parton branching methods underlie the Monte Carlo (MC) generators, being therefore of key importance for obtaining high energy physics predictions. We construct a new parton branching algorithm which for the first time incorporates the off-shell, transverse-momentum dependent (TMD) splitting functions, defined from the high-energy limit of partonic decay amplitudes. Based on these TMD splitting functions we construct a new TMD Sudakov form factor. We present the first MC implementation of the algorithm for the evolution of the TMD and integrated parton distribution functions (PDFs). We use this implementation to evaluate small-$x$ corrections to the distributions and to verify the momentum sum rule. The presented study is a first step towards a full TMD MC generator covering the small-$x$ phase space.


title: GPT Takes the Bar Exam

abstract: Nearly all jurisdictions in the United States require a professional license exam, commonly referred to as "the Bar Exam," as a precondition for law practice. To even sit for the exam, most jurisdictions require that an applicant completes at least seven years of post-secondary education, including three years at an accredited law school. In addition, most test-takers also undergo weeks to months of further, exam-specific preparation. Despite this significant investment of time and capital, approximately one in five test-takers still score under the rate required to pass the exam on their first try. In the face of a complex task that requires such depth of knowledge, what, then, should we expect of the state of the art in "AI?" In this research, we document our experimental evaluation of the performance of OpenAI's `text-davinci-003` model, often-referred to as GPT-3.5, on the multistate multiple choice (MBE) section of the exam. While we find no benefit in fine-tuning over GPT-3.5's zero-shot performance at the scale of our training data, we do find that hyperparameter optimization and prompt engineering positively impacted GPT-3.5's zero-shot performance. For best prompt and parameters, GPT-3.5 achieves a headline correct rate of 50.3% on a complete NCBE MBE practice exam, significantly in excess of the 25% baseline guessing rate, and performs at a passing rate for both Evidence and Torts. GPT-3.5's ranking of responses is also highly-correlated with correctness; its top two and top three choices are correct 71% and 88% of the time, respectively, indicating very strong non-entailment performance. While our ability to interpret these results is limited by nascent scientific understanding of LLMs and the proprietary nature of GPT, we believe that these results strongly suggest that an LLM will pass the MBE component of the Bar Exam in the near future.


title: Utilizing Human Feedback for Primitive Optimization in Wheelchair Tennis

abstract: Agile robotics presents a difficult challenge with robots moving at high speeds requiring precise and low-latency sensing and control. Creating agile motion that accomplishes the task at hand while being safe to execute is a key requirement for agile robots to gain human trust. This requires designing new approaches that are flexible and maintain knowledge over world constraints. In this paper, we consider the problem of building a flexible and adaptive controller for a challenging agile mobile manipulation task of hitting ground strokes on a wheelchair tennis robot. We propose and evaluate an extension to work done on learning striking behaviors using a probabilistic movement primitive (ProMP) framework by (1) demonstrating the safe execution of learned primitives on an agile mobile manipulator setup, and (2) proposing an online primitive refinement procedure that utilizes evaluative feedback from humans on the executed trajectories.


title: Cross Version Defect Prediction with Class Dependency Embeddings

abstract: Software Defect Prediction aims at predicting which software modules are the most probable to contain defects. The idea behind this approach is to save time during the development process by helping find bugs early. Defect Prediction models are based on historical data. Specifically, one can use data collected from past software distributions, or Versions, of the same target application under analysis. Defect Prediction based on past versions is called Cross Version Defect Prediction (CVDP). Traditionally, Static Code Metrics are used to predict defects. In this work, we use the Class Dependency Network (CDN) as another predictor for defects, combined with static code metrics. CDN data contains structural information about the target application being analyzed. Usually, CDN data is analyzed using different handcrafted network measures, like Social Network metrics. Our approach uses network embedding techniques to leverage CDN information without having to build the metrics manually. In order to use the embeddings between versions, we incorporate different embedding alignment techniques. To evaluate our approach, we performed experiments on 24 software release pairs and compared it against several benchmark methods. In these experiments, we analyzed the performance of two different graph embedding techniques, three anchor selection approaches, and two alignment techniques. We also built a meta-model based on two different embeddings and achieved a statistically significant improvement in AUC of 4.7% (p < 0.002) over the baseline method.


title: Offline Policy Optimization in RL with Variance Regularizaton

abstract: Learning policies from fixed offline datasets is a key challenge to scale up reinforcement learning (RL) algorithms towards practical applications. This is often because off-policy RL algorithms suffer from distributional shift, due to mismatch between dataset and the target policy, leading to high variance and over-estimation of value functions. In this work, we propose variance regularization for offline RL algorithms, using stationary distribution corrections. We show that by using Fenchel duality, we can avoid double sampling issues for computing the gradient of the variance regularizer. The proposed algorithm for offline variance regularization (OVAR) can be used to augment any existing offline policy optimization algorithms. We show that the regularizer leads to a lower bound to the offline policy optimization objective, which can help avoid over-estimation errors, and explains the benefits of our approach across a range of continuous control domains when compared to existing state-of-the-art algorithms.


title: The Cauchy problem for the generalized hyperbolic Novikov-Veselov equation via the Moutard symmetries

abstract: We begin by introducing a new procedure for construction of the exact solutions to Cauchy problem of the real-valued (hyperbolic) Novikov-Veselov equation which is based on the Moutard symmetry. The procedure shown therein utilizes the well-known Airy function $\Ai(\xi)$ which in turn serves as a solution to the ordinary differential equation $\frac{d^2 z}{d \xi^2} = \xi z$. In the second part of the article we show that the aforementioned procedure can also work for the $n$-th order generalizations of the Novikov-Veselov equation, provided that one replaces the Airy function with the appropriate solution of the ordinary differential equation $\frac{d^{n-1} z}{d \xi^{n-1}} = \xi z$.


title: On the Feynman path integral formulation of the Bell-Clauser-Horne-Shimony-Holt inequality in Quantum Field Theory

abstract: By employing a free scalar Quantum Field Theory model previously introduced \cite{Peruzzo:2022pwv}, we attempt at formulating the Bell-CHSH inequality within the Feynman path integral. This possibility relies on the observation that the Bell-CHSH inequality exhibits a natural extension to Quantum Field Theory in such a way that it is compatible with the time ordering $T$. By treating the Feynman propagator as a distribution and by introducing a suitable localizing set of compact support smooth test functions, we work out the path integral setup for the Bell-CHSH inequality, recovering the same results of the canonical quantization.


title: Coherence generation, symmetry algebras and Hilbert space fragmentation

abstract: Hilbert space fragmentation is a novel type of ergodicity breaking in closed quantum systems. Recently, an algebraic approach was utilized to provide a definition of Hilbert space fragmentation characterizing \emph{families} of Hamiltonian systems based on their (generalized) symmetries. In this paper, we reveal a simple connection between the aforementioned classification of physical systems and their coherence generation properties, quantified by the coherence generating power (CGP). The maximum CGP (in the basis associated to the algebra of each family of Hamiltonians) is exactly related to the number of independent Krylov subspaces $K$, which is precisely the characteristic used in the classification of the system. In order to gain further insight, we numerically simulate paradigmatic models with both ordinary symmetries and Hilbert space fragmentation, comparing the behavior of the CGP in each case with the system dimension. More generally, allowing the time evolution to be any unitary channel in a specified algebra, we show analytically that the scaling of the Haar averaged value of the CGP depends only on $K$. These results illustrate the intuitive relationship between coherence generation and symmetry algebras.


title: A mathematical overview and some applications of gear design

abstract: In this paper we give a brief overview of the geometry of involute gears, from a mathematical more than an engineering perspective. We also list some of the many variant geared mechanisms and discuss some of our 3D printed mechanisms.


title: Shared Cache Coded Caching Schemes Using Designs and Circuits of Matrices

abstract: In this paper, we study shared cache coded caching (SC-CC): a set of caches serves a larger set of users; each user access one cache, and a cache may serve many users. For this problem, under uncoded placement, Parrinello, \"Unsal, and Elia showed an optimal SC-CC scheme, in which the subpacketization level depends upon the number of caches. We show an SC-CC scheme where the subpacketization level does not directly depend upon the number of users or caches; any number of caches and users can be accommodated for a fixed subpacketization level. Furthermore, new caches can be added without re-doing the placement of the existing caches. We show that given an upper limit on the allowable subpacketization level, our SC-CC scheme may achieve a lesser rate than other relevant SC-CC schemes. Our scheme is constructed using matrices and designs. A matroid can be obtained from a matrix over a finite field; the placement of our scheme is decided by a design constructed from a matrix; the circuits of a matroid obtained from the matrix and the design is used to decide the delivery.


title: Near-Optimal Non-Parametric Sequential Tests and Confidence Sequences with Possibly Dependent Observations

abstract: Sequential tests and their implied confidence sequences, which are valid at arbitrary stopping times, promise flexible statistical inference and on-the-fly decision making. However, strong guarantees are limited to parametric sequential tests that under-cover in practice or concentration-bound-based sequences that over-cover and have suboptimal rejection times. In this work, we consider classic delayed-start normal-mixture sequential probability ratio tests, and we provide the first asymptotic type-I-error and expected-rejection-time guarantees under general non-parametric data generating processes, where the asymptotics are indexed by the test's burn-in time. The type-I-error results primarily leverage a martingale strong invariance principle and establish that these tests (and their implied confidence sequences) have type-I error rates asymptotically equivalent to the desired (possibly varying) $\alpha$-level. The expected-rejection-time results primarily leverage an identity inspired by It\^o's lemma and imply that, in certain asymptotic regimes, the expected rejection time is asymptotically equivalent to the minimum possible among $\alpha$-level tests. We show how to apply our results to sequential inference on parameters defined by estimating equations, such as average treatment effects. Together, our results establish these (ostensibly parametric) tests as general-purpose, non-parametric, and near-optimal. We illustrate this via numerical simulations and a real-data application to A/B testing at Netflix.


title: Modularity over $\mathbb{C}$ implies modularity over $\mathbb{Q}$

abstract: We give an account of Mazur's proof that, for an elliptic curve over $\mathbb{Q}$, if it admits a nonconstant mapping from $X(N)$ defined over the complex numbers $\mathbb{C}$, for some $N$, then it also admits a nonconstant mapping from $X_0(M)$ for some (possibly different) $M$ defined over the rational numbers $\mathbb{Q}$. We also briefly discuss two open questions of Khare concerning uniformisations of elliptic curves by noncongruence modular curves. This expository note is based on the author's expository talk in March 2022 during the 2nd Trimester Program on "Modularity and the Generalised Fermat Equation" held online and organised by Bhaskaracharya Pratishthana in Pune, India.


title: Cooling microwave fields into general multimode Gaussian states

abstract: We show that a collection of lossy multi-chromatically modulated qubits can be used to dissipatively engineer arbitrary Gaussian states of a set of bosonic modes. Our ideas are especially suited to superconducting-circuit architectures, where all the required ingredients are experimentally available. The generation of such multimode Gaussian states is necessary for many applications, most notably measurement-based quantum computation. We build upon some of our previous proposals, where we showed how to generate single-mode and two-mode squeezed states through cooling and lasing. Special care must be taken when extending these ideas to many bosonic modes, and we discuss here how to overcome all the limitations and hurdles that naturally appear. We illustrate our ideas with a fully worked out example consisting of GHZ states, but have also tested several other examples such as cluster states. All these examples allow us to show that it is possible to use a set of N lossy qubits to cool down a bosonic chain of N modes to any desired Gaussian state.


title: A posteriori error analysis and adaptivity for a VEM discretization of the Navier-Stokes equations

abstract: We consider the Virtual Element method (VEM) introduced by Beir\~ao da Veiga, Lovadina and Vacca in 2016 for the numerical solution of the steady, incompressible Navier-Stokes equations; the method has arbitrary order $k \geq 2$ and guarantees divergence-free velocities. For such discretization, we develop a residual-based a posteriori error estimator, which is a combination of standard terms in VEM analysis (residual terms, data oscillation, and VEM stabilization), plus some other terms originated by the VEM discretization of the nonlinear convective term. We show that a linear combination of the velocity and pressure errors is upper-bounded by a multiple of the estimator (reliability). We also establish some efficiency results, involving lower bounds of the error. Some numerical tests illustrate the performance of the estimator and of its components while refining the mesh uniformly, yielding the expected decay rate. At last, we apply an adaptive mesh refinement strategy to the computation of the low-Reynolds flow around a square cylinder inside a channel.


title: Connecting Euclidean to light-cone correlations: From flavor nonsinglet in forward kinematics to flavor singlet in non-forward kinematics

abstract: We present a unified framework for the perturbative factorization connecting Euclidean correlations to light-cone correlations. Starting from nonlocal quark and gluon bilinear correlators, we derive the relevant hard-matching kernel up to the next-to-leading-order, both for the flavor singlet and non-singlet combinations, in non-forward and forward kinematics, and in coordinate and momentum space. The results for the generalized distribution functions (GPDs), parton distribution functions (PDFs), and distribution amplitudes (DAs) are obtained by choosing appropriate kinematics. The renormalization and matching are done in a state-of-the-art scheme. We also clarify some issues raised on the perturbative matching of GPDs in the literature. Our results provide a complete manual for extracting all leading-twist GPDs, PDFs as well as DAs from lattice simulations of Euclidean correlations in a state-of-the-art strategy, either in coordinate or in momentum space factorization approach.


title: Magnetically enhanced thin film coarsening by a magnetic XPFC model allowing to decouple magnetic anisotropy and magnetostriction

abstract: External magnetic fields provide a macroscopic control mechanism to influence the microstructure of polycrystalline materials. We model the influence of strong magnetic fields on grain growth in thin films with a magnetic extended phase field crystal (XPFC) model. The magneto-structural effects are incorporated into the correlation function in reciprocal space. With this approach magnetic anisotropy, magnetostriction and mobility of grain boundary can be controlled and a variety of geometrical and topological properties consistent with experimental results can be determined.


title: A minimal b ghost

abstract: The $b$ ghost, or $b$ operator, used for fixing Siegel gauge in the pure spinor superfield formalism, is a composite operator of negative ghost number, satisfying $\{q,b\}=\square$, where $q$ is the pure spinor differential (BRST operator). It is traditionally constructed using non-minimal variables. However, since all cohomology has minimal representatives, it seems likely that there should be versions of physically meaningful operators, also with negative ghost number, using only minimal variables. The purpose of this letter is to demonstrate that this statement holds by providing a concrete construction in $D=10$ super-Yang-Mills theory, and to argue that it is a general feature in the pure spinor superfield formalism.


title: Heterogeneous Computing Systems

abstract: This survey of heterogeneous computing systems will help in analyzing the technological trends that will be at the basis of heterogeneous computing systems, highlighting the major opportunities and challenges such technologies will bring with them. This will help to understand the importance of heterogeneous computing systems, which are becoming common architectural elements of not only the modern data centers but also highly integrated devices (IoT). Identify problems related to it, such as the resource allocation problem, middleware, processing architectures, programming challenges, etc. from the perspective of heterogeneous resources.


title: The d-Dimensional Cosmological Constant and the Holographic Horizons

abstract: This article is dedicated to establishing a novel approach to the cosmological constant, in which it is treated as an eigenvalue of a certain Sturm--Liouville problem. The key to this approach lies in the proper formulation of physically relevant boundary conditions. Our suggestion in this regard is to utilize the ``holographic boundary condition'', under which the cosmological horizon can only bear a natural (i.e., non-fractional) number of bits of information. Under this framework, we study the general d-dimensional problem and derive the general formula for the discrete spectrum of a positive energy density of vacuum. For the particular case of two dimensions, the resultant problem can be analytically solved in the degenerate hypergeometric functions, so it is possible to define explicitly a self-action potential, which determines the fields of matter in the model. We conclude the article by taking a look at the d-dimensional model of a fractal horizon, where the Bekenstein's formula for the entropy gets replaced by the Barrow entropy. This gives us a chance to discuss a recently realized problem of possible existence of naked singularities in the $D\neq 3$ models.


title: The pong algebra and the wrapped Fukaya category

abstract: The aim of this paper is to identify the pong algebra defined in our earlier work with a certain endomorphism algebra in the wrapped Fukaya category of the symmetric product of a disk.


title: Timestomping Vulnerability of Age-Sensitive Gossip Networks

abstract: We consider gossip networks consisting of a source that maintains the current version of a file, $n$ nodes that use asynchronous gossip mechanisms to disseminate fresh information in the network, and an oblivious adversary who infects the packets at a target node through data timestamp manipulation, with the intent to replace circulation of fresh packets with outdated packets in the network. We demonstrate how network topology capacitates an adversary to influence age scaling in a network. We show that in a fully connected network, a single infected node increases the expected age from $O(\log n)$ to $O(n)$. Further, we show that the optimal behavior for an adversary is to reset the timestamps of all outgoing packets to the current time and of all incoming packets to an outdated time for the infected node; thereby preventing any fresh information to go into the infected node, and facilitating acceptance of stale information out of the infected node into other network nodes. Lastly for fully connected network, we show that if an infected node contacts only a single node instead of all nodes of the network, the system age can still be degraded to $O(n)$. These show that fully connected nature of a network can be both a benefit and a detriment for information freshness; full connectivity, while enabling fast dissemination of information, also enables fast dissipation of adversarial inputs. We then analyze the unidirectional ring network, the other end of the network connectivity spectrum, where we show that the adversarial effect on age scaling of a node is limited by its distance from the adversary, and the age scaling for a large fraction of the network continues to be $O(\sqrt{n})$, unchanged from the case with no adversary. We finally support our findings with simulations.


title: Security, Privacy and Challenges in Microservices Architecture and Cloud Computing- Survey

abstract: Security issues in processor architectures remain really critical since users and devices continue to share computing as well as networking resources. So, preserving data privacy in such an environment is really a critical concern. We know that there is a continuous growth in security and privacy issues that need to be addressed. Here, we have chosen a microservice architecture, which is a small or even an independent microprocess that interacts, acts, and responds to messages via lightweight technologies such as Thrift, HTTP, or REST API.


title: Three-dimensional stationary incompressible inhomogeneous Navier-Stokes equation in the axially symmetric case

abstract: We show the existence of (a class of) weak solutions to the three-dimensional stationary incompressible inhomogeneous Navier--Stokes equations with density-dependent viscosity coefficient in the axially symmetric case. Further symmetric solutions in cylindrical coordinates, spherical coordinates and Cartesian coordinates are also discussed.


title: Normalizing flow neural networks by JKO scheme

abstract: Normalizing flow is a class of deep generative models for efficient sampling and likelihood estimation, which achieves attractive performance, particularly in high dimensions. The flow is often implemented using a sequence of invertible residual blocks. Existing works adopt special network architectures and regularization of flow trajectories. In this paper, we develop a neural ODE flow network called JKO-iFlow, inspired by the Jordan-Kinderleherer-Otto (JKO) scheme, which unfolds the discrete-time dynamic of the Wasserstein gradient flow. The proposed method stacks residual blocks one after another, allowing efficient block-wise training of the residual blocks, avoiding sampling SDE trajectories and score matching or variational learning, thus reducing the memory load and difficulty in end-to-end training. We also develop adaptive time reparameterization of the flow network with a progressive refinement of the induced trajectory in probability space to improve the model accuracy further. Experiments with synthetic and real data show that the proposed JKO-iFlow network achieves competitive performance compared with existing flow and diffusion models at a significantly reduced computational and memory cost.


title: $(1-\epsilon)$-Approximate Maximum Weighted Matching in Distributed, Parallel, and Semi-Streaming Settings

abstract: The maximum weighted matching (MWM) problem is one of the most well-studied combinatorial optimization problems in distributed graph algorithms. Despite a long development on the problem, and the recent progress of Fischer, Mitrovic, and Uitto [FMU22] who gave a $\text{poly}(1/\epsilon, \log n)$-round algorithm for obtaining a $(1-\epsilon)$-approximate solution for unweighted maximum matching, it had been an open problem whether a $(1-\epsilon)$-approximate MWM can be obtained in $\text{poly}(1/\epsilon, \log n)$ rounds in the CONGEST model. Algorithms with such running times were only known for special graph classes such as bipartite graphs [AKO18] and minor-free graphs [CS22]. For general graphs, the previously known algorithms require exponential in $(1/\epsilon)$ rounds for obtaining a $(1-\epsilon)$-approximate solution [FFK21] or achieve an approximation factor of at most 2/3 [AKO18]. In this work, we settle this open problem by giving a deterministic $\text{poly}(1/\epsilon, \log n)$-round algorithm for computing a $(1-\epsilon)$-approximate MWM for general graphs in the CONGEST model. Our proposed solution extends the algorithm of Fischer, Mitrovic, and Uitto [FMU22], blends in the sequential algorithm from Duan and Pettie [DP14] and the work of Faour, Fuchs, and Kuhn [FFK21]. Interestingly, this solution also implies a CREW PRAM algorithm with $\text{poly}(1/\epsilon, \log n)$ span using only $O(m)$ processors. In addition, with the reduction from Gupta and Peng [GP13], we further obtain a semi-streaming algorithm with $\text{poly}(1/\epsilon)$ passes. When $\epsilon$ is smaller than a constant $o(1)$ but at least $1/\log^{o(1)} n$, our algorithm is more efficient than both Ahn and Guha's $\text{poly}(1/\epsilon, \log n)$-passes algorithm [AG13] and Gamlath, Kale, Mitrovic, and Svensson's $(1/\epsilon)^{O(1/\epsilon^2)}$-passes algorithm [GKMS19].


title: Restricting to the chip architecture maintains the quantum neural network accuracy

abstract: In the era of noisy intermediate-scale quantum devices, variational quantum algorithms (VQAs) stand as a prominent strategy for constructing quantum machine learning models. These models comprise both a quantum and a classical component. The quantum facet is characterized by a parametrization $U$, typically derived from the composition of various quantum gates. On the other hand, the classical component involves an optimizer that adjusts the parameters of $U$ to minimize a cost function $C$. Despite the extensive applications of VQAs, several critical questions persist, such as determining the optimal gate sequence, devising efficient parameter optimization strategies, selecting appropriate cost functions, and understanding the influence of quantum chip architectures on the final results. This article aims to address the last question, emphasizing that, in general, the cost function tends to converge towards an average value as the utilized parameterization approaches a $2$-design. Consequently, when the parameterization closely aligns with a $2$-design, the quantum neural network model's outcome becomes less dependent on the specific parametrization. This insight leads to the possibility of leveraging the inherent architecture of quantum chips to define the parametrization for VQAs. By doing so, the need for additional swap gates is mitigated, consequently reducing the depth of VQAs and minimizing associated errors.


title: Efficient Movie Scene Detection using State-Space Transformers

abstract: The ability to distinguish between different movie scenes is critical for understanding the storyline of a movie. However, accurately detecting movie scenes is often challenging as it requires the ability to reason over very long movie segments. This is in contrast to most existing video recognition models, which are typically designed for short-range video analysis. This work proposes a State-Space Transformer model that can efficiently capture dependencies in long movie videos for accurate movie scene detection. Our model, dubbed TranS4mer, is built using a novel S4A building block, which combines the strengths of structured state-space sequence (S4) and self-attention (A) layers. Given a sequence of frames divided into movie shots (uninterrupted periods where the camera position does not change), the S4A block first applies self-attention to capture short-range intra-shot dependencies. Afterward, the state-space operation in the S4A block is used to aggregate long-range inter-shot cues. The final TranS4mer model, which can be trained end-to-end, is obtained by stacking the S4A blocks one after the other multiple times. Our proposed TranS4mer outperforms all prior methods in three movie scene detection datasets, including MovieNet, BBC, and OVSD, while also being $2\times$ faster and requiring $3\times$ less GPU memory than standard Transformer models. We will release our code and models.


title: Geometry of CMC surfaces of finite index

abstract: Given $r_0>0$, $I\in \mathbb{N}\cup \{0\}$ and $K_0,H_0\geq 0$, let $X$ be a complete Riemannian $3$-manifold with injectivity radius $\mbox{Inj}(X)\geq r_0$ and with the supremum of absolute sectional curvature at most $K_0$, and let $M\looparrowright X$ be a complete immersed surface of constant mean curvature $H\in [0,H_0]$ and with index at most $I$. We will obtain geometric estimates for such an $M\looparrowright X$ as a consequence of the Hierarchy Structure Theorem in [9]. The Hierarchy Structure Theorem (see Theorem 2.2 below) will be applied to understand global properties of $M\looparrowright X$, especially results related to the area and diameter of $M$. By item E of Theorem 2.2, the area of such a non-compact $M\looparrowright X$ is infinite. We will improve this area result by proving the following when $M$ is connected; here $g(M)$ denotes the genus of the orientable cover of $M$: 1. There exists $C_1=C_1(I,r_0,K_0,H_0)>0$ such that Area$(M)\geq C_1(g(M)+1)$. 2. There exists $C>0,G(I)\in \mathbb{N}$ independent of $r_0,K_0,H_0$ and also $C$ independent of $I$ such that if $g(M)\geq G(I)$, then Area$(M)\geq \frac{C}{(\max\{1,\frac{1}{r_0},\sqrt{K_0}, H_0\})^2}(g(M)+1)$. 3. If the scalar curvature $\rho$ of $X$ satisfies $3H^2+\frac{1}{2}\rho\geq c$ in $X$ for some $c>0$, then there exist $A,D>0$ depending on $c,I,r_0,K_0,H_0$ such that Area$(M)\leq A$ and Diameter$(M)\leq D$. Hence, $M$ is compact and, by item 1, $g(M)\leq A/C -1$.


title: Krylov complexity in quantum field theory, and beyond

abstract: We study Krylov complexity in various models of quantum field theory: free massive bosons and fermions on flat space and on spheres, holographic models, and lattice models with the UV-cutoff. In certain cases we find asymptotic behavior of Lanczos coefficients, which goes beyond previously observed universality. We confirm that in all cases the exponential growth of Krylov complexity satisfies the conjectural inequality, which generalizes the Maldacena-Shenker-Stanford bound on chaos. We discuss temperature dependence of Lanczos coefficients and note that the relation between the growth of Lanczos coefficients and chaos may only hold for the sufficiently late, truly asymptotic regime governed by the physics at the UV cutoff. Contrary to previous suggestions, we show scenarios when Krylov complexity in quantum field theory behaves qualitatively differently from the holographic complexity.