title: Evaluating Synthetic Bugs

abstract: Fuzz testing has been used to find bugs in programs since the 1990s, but despite decades of dedicated research, there is still no consensus on which fuzzing techniques work best. One reason for this is the paucity of ground truth: bugs in real programs with known root causes and triggering inputs are difficult to collect at a meaningful scale. Bug injection technologies that add synthetic bugs into real programs seem to offer a solution, but the differences in finding these synthetic bugs versus organic bugs have not previously been explored at a large scale. Using over 80 years of CPU time, we ran eight fuzzers across 20 targets from the Rode0day bug-finding competition and the LAVA-M corpus. Experiments were standardized with respect to compute resources and metrics gathered. These experiments show differences in fuzzer performance as well as the impact of various configuration options. For instance, it is clear that integrating symbolic execution with mutational fuzzing is very effective and that using dictionaries improves performance. Other conclusions are less clear-cut; for example, no one fuzzer beat all others on all tests. It is noteworthy that no fuzzer found any organic bugs (i.e., one reported in a CVE), despite 50 such bugs being available for discovery in the fuzzing corpus. A close analysis of results revealed a possible explanation: a dramatic difference between where synthetic and organic bugs live with respect to the ''main path'' discovered by fuzzers. We find that recent updates to bug injection systems have made synthetic bugs more difficult to discover, but they are still significantly easier to find than organic bugs in our target programs. Finally, this study identifies flaws in bug injection techniques and suggests a number of axes along which synthetic bugs should be improved.


title: Impact of a rigid sphere onto an elastic membrane

abstract: We study the axisymmetric impact of a rigid sphere onto an elastic membrane theoretically and experimentally. We derive governing equations from first principles and impose natural kinematic and geometric constraints for the coupled motion of the sphere and the membrane during contact. The free-boundary problem of finding the contact surface, over which forces caused by the collision act, is solved by an iterative method. This results in a model that produces detailed predictions of the trajectory of the sphere, the deflection of the membrane, and the pressure distribution during contact. Our model predictions are validated against our direct experimental measurements. Moreover, we identify new phenomena regarding the behaviour of the coefficient of restitution for low impact velocities, the possibility of multiple contacts during a single rebound, and energy recovery on subsequent bounces. Insight obtained from this model problem in contact mechanics can inform ongoing efforts towards the development of predictive models for contact problems that arise naturally in multiple engineering applications.


title: IEEE Trust, Acceptance and Social Cues in Human-Robot Interaction -- SCRITA 2022 Workshop

abstract: The Trust, Acceptance and Social Cues in Human-Robot Interaction - SCRITA is the 5th edition of a series of workshops held in conjunction with the IEEE RO-MAN conference. This workshop focuses on addressing the challenges and development of the dynamics between people and robots in order to foster short interactions and long-lasting relationships in different fields, from educational, service, collaborative, companion, care-home and medical robotics. In particular, we aimed in investigating how robots can manipulate (i.e. creating, improving, and recovering) people's ability of accepting and trusting them for a fruitful and successful coexistence between humans and people. While advanced progresses are reached in studying and evaluating the factors affecting acceptance and trust of people in robots in controlled or short-term (repeated interactions) setting, developing service and personal robots, that are accepted and trusted by people where the supervision of operators is not possible, still presents an open challenge for scientists in robotics, AI and HRI fields. In such unstructured static and dynamic human-centred environments scenarios, robots should be able to learn and adapt their behaviours to the situational context, but also to people's prior experiences and learned associations, their expectations, and their and the robot's ability to predict and understand each other's behaviours. Although the previous editions valued the participation of leading researchers in the field and several exceptional invited speakers who tackled down some fundamental points in this research domains, we wish to continue to further explore the role of trust in robotics to present groundbreaking research to effectively design and develop socially acceptable and trustable robots to be deployed "in the wild". Website: https://scrita.herts.ac.uk


title: Full characterization of few-cycle superradiant pulses generated from a free-electron laser oscillator

abstract: The detailed structure of few-cycle superradiant pulses generated from a free-electron laser (FEL) oscillator was experimentally revealed for the first time. As predicted in numerical simulations, the obtained pulse structures have ringing, i.e., a train of subpulses following the main pulse. Owing to the phase retrieval with a combination of linear and nonlinear autocorrelation measurements, the temporal phase was also obtained with the pulse shape, and $\pi$-phase jumps between each pulse were confirmed. This particular pulse shape with $\pi$-phase jumps is a common feature of Burnham-Chiao ringing or superradiance ringing. Using unaveraged FEL simulations, the ringing was found to originate from repeated formation and deformation of microbunches across successive bunch slices. The simulation results imply that there should be superluminal propagation of the FEL pulse due to strong gain modulation along the undulator of the FEL oscillator.


title: A New Bound for the Orthogonality Defect of HKZ Reduced Lattices

abstract: In this work, we determine a sharp upper bound on the orthogonality defect of HKZ reduced bases up to dimension $3$. Using this result, we determine a general upper bound for the orthogonality defect of HKZ reduced bases of arbitrary rank. This upper bound seems to be sharper than existing bounds in literature, such as the one determined by Lagarias, Lenstra and Schnorr.


title: On some generalized number theoretic functions and Ighachanea-Akkouchia Holder's inequalities

abstract: Recently, it has been shown by Ighachanea and Akkouchia \cite{0.1} that using binomial coefficients, one can derive some new refinements of Holder's inequalities. This inequalities then can be applied to a wide class of special functions such as the Nielsen's beta function and some extended gamma functions. In this paper, we have derived some generalizations of previously known number theoretic functions. Furthermore, based on the results of Ighachanea and Akkouchia, Holder's inequalities for the derived generalized functions are established.


title: Dynamic Causal Collaborative Filtering

abstract: Causal graph, as an effective and powerful tool for causal modeling, is usually assumed as a Directed Acyclic Graph (DAG). However, recommender systems usually involve feedback loops, defined as the cyclic process of recommending items, incorporating user feedback in model updates, and repeating the procedure. As a result, it is important to incorporate loops into the causal graphs to accurately model the dynamic and iterative data generation process for recommender systems. However, feedback loops are not always beneficial since over time they may encourage more and more narrowed content exposure, which if left unattended, may results in echo chambers. As a result, it is important to understand when the recommendations will lead to echo chambers and how to mitigate echo chambers without hurting the recommendation performance. In this paper, we design a causal graph with loops to describe the dynamic process of recommendation. We then take Markov process to analyze the mathematical properties of echo chamber such as the conditions that lead to echo chambers. Inspired by the theoretical analysis, we propose a Dynamic Causal Collaborative Filtering ($\partial$CCF) model, which estimates users' post-intervention preference on items based on back-door adjustment and mitigates echo chamber with counterfactual reasoning. Multiple experiments are conducted on real-world datasets and results show that our framework can mitigate echo chambers better than other state-of-the-art frameworks while achieving comparable recommendation performance with the base recommendation models.


title: Quantum gravitational signatures in next-generation gravitational wave detectors

abstract: A recent study established a correspondence between the Generalized Uncertainty Principle (GUP) and Modified theories of gravity, particularly Stelle gravity. We investigate the consequences of this correspondence for inflation and cosmological observables by evaluating the power spectrum of the scalar and tensor perturbations using two distinct methods. First, we employ PLANCK observations to determine the GUP parameter $\gamma_0$. Then, we use the value of $\gamma_0$ to investigate the implications of quantum gravity on the power spectrum of primordial gravitational waves and their possible detectability in the next-generation detectors, like Einstein Telescope and Cosmic explorer.


title: Novel reaction force for ultra-relativistic dynamics of a classical point charge

abstract: The problem of the electromagnetic radiation of an accelerated charged particle is one of the most controversial issues in Physics since the beginning of the last century, representing one of the most popular unsolved problems of the Modern Physics. Different equations of motion have been proposed throughout history for a point charge including the electromagnetic radiation emitted, but all these expressions show some limitations. An equation based on the principle of conservation of energy is proposed in this work for the ultra-relativistic motion. Different examples are analyzed showing that the energy lost by the charge agrees with the Li\'enard formula. This proposed equation has been compared with the Landau-Lifshitz equation obtaining a good agreement in the range of application of the Landau-Lifshitz formula.


title: Oscillating bound states in non-Markovian photonic lattices

abstract: It is known that the superposition of two bound states in the continuum (BIC) leads to the phenomenon of an oscillating bound state, where excitations mediated by the continuum modes oscillate persistently. We perform exact calculations for the oscillating BICs in a 1D photonic lattice coupled to a "giant atom" at multiple points. Our work is significantly distinct from previous proposals of oscillating BICs in continuous waveguide systems due to the presence of a finite energy band contributing band-edge effects. In particular, we show that the bound states outside the energy band are detrimental to the oscillating BIC phenomenon, and can be suppressed by increasing either the number of coupling points or the separation between each coupling point. Crucially, non-Markovianity is necessary for the existence of oscillating BIC, and the oscillation amplitude increases with the characteristic delay time of the giant atom interactions. We also propose a novel initialization scheme in the BIC subspace. Our work be experimentally implemented on current photonic waveguide array platforms and opens up new prospects in utilizing reservoir engineering for the storage of quantum information in photonic lattices.


title: Quantum Information Approach to the Implementation of a Neutron Cavity

abstract: Using the quantum information model of dynamical diffraction we consider a neutron cavity composed of two perfect crystal silicon blades capable of containing the neutron wavefunction. We show that the internal confinement of the neutrons through Bragg diffraction can be modelled by a quantum random walk. Good agreement is found between the simulation and the experimental implementation. Analysis of the standing neutron waves is presented in regards to the crystal geometry and parameters; and the conditions required for well-defined bounces are derived. The presented results enable new approaches to studying the setups utilizing neutron confinement, such as the experiments to measure neutron magnetic and electric dipole moments.


title: Explaining Bias in Deep Face Recognition via Image Characteristics

abstract: In this paper, we propose a novel explanatory framework aimed to provide a better understanding of how face recognition models perform as the underlying data characteristics (protected attributes: gender, ethnicity, age; non-protected attributes: facial hair, makeup, accessories, face orientation and occlusion, image distortion, emotions) on which they are tested change. With our framework, we evaluate ten state-of-the-art face recognition models, comparing their fairness in terms of security and usability on two data sets, involving six groups based on gender and ethnicity. We then analyze the impact of image characteristics on models performance. Our results show that trends appearing in a single-attribute analysis disappear or reverse when multi-attribute groups are considered, and that performance disparities are also related to non-protected attributes. Source code: https://cutt.ly/2XwRLiA.


title: A Two Martian Years Survey of Water Ice Clouds on Mars with ACS onboard TGO

abstract: The middle infrared (MIR) channel of the Atmospheric Chemistry Suite (ACS) instrument onboard the ExoMars Trace Gas Orbiter (TGO) ESA-Roscosmos mission has performed Solar occultation measurements of the Martian atmosphere in the 2.3-4.2 $\mu$m spectral range since March 2018, which now covers two Martian Years (MY). We use the methodology previously developed for the study of the MY 34 Global Dust Storm (GDS) (Stcherbinine et al., 2020) to monitor the properties (effective radii, extinction, altitude) of the Martian water ice clouds over the first two Martian years covered by ACS-MIR. The observations encompass the period $L_s$ = 163{\deg} in MY 34 to $L_s$ = 181{\deg} in MY 36. We determine that the typical altitude of the clouds varies by 20 to 40 km between the summer and winter, with a maximum extension up to 80 km during summer in the midlatitudes. Similarly, we also note that for a limited temporal range, the altitude of the clouds also varies by 20 to 40 km between the polar regions and the midlatitudes. We also compare observations acquired during the MY 34 GDS to observations from the same period in MY 35, using that latter as a reference to characterize the effects of this GDS on the clouds' properties. In addition, we compare our retrievals with the predictions of the Mars Planetary Climate Model (PCM), which shows a reasonable agreement overall for the altitude of the clouds, although the model usually predicts lower altitudes for the top of the clouds.


title: 2D Porphyrazine: A New Nanoporous Material

abstract: Crystalline microporous materials are solids formed by interconnected pores of less than 2 nm in size. Typically, they possess large surface areas desirable for versatile applications such as catalysis, gas adsorption, and energy storage. In the present work, we propose a new porphyrin-based 2D nanoporous crystal, named 2D Porphyrazine (2DP), which is formed by topological assembling H$_{5}$C$_{13}$N$_{4}$ porphyrins. We have considered its monolayer, bi-layer, and molecular crystal (bulk) arrangements. We carried out DFT calculations to investigate 2DP structural and electronic properties. Results show that 2DP is a very stable structure with a direct bandgap of 0.65 eV and significant optical absorption in the visible range. 2DP exhibited satisfactory affinity to lithium atoms. Simulations also showed the existence of proton transfer between nitrogen atoms. It is the first report on the site-specific hydrogen exchange process in 2D crystals.


title: Realisation of the Brazil-nut effect in charged colloids without external driving

abstract: Sedimentation is a ubiquitous phenomenon across many fields of science, such as geology, astrophysics, and soft matter. Sometimes, sedimentation leads to unusual phenomena, such as the Brazil-nut effect, where heavier (granular) particles reside on top of lighter particles after shaking. We show experimentally that a Brazil-nut effect can be realised in a binary colloidal system of long-range repulsive charged particles driven purely by Brownian motion and electrostatics without the need for activity. Using theory, we argue that not only the mass-per-charge for the heavier particles needs to be smaller than the mass-per-charge for the lighter particles, but that at high overall density, the system can be trapped in a long-lived metastable state, which prevents the occurrence of the equilibrium Brazil-nut effect. Therefore, we envision that our work provides valuable insights into the physics of strongly interacting systems, such as partially glassy and crystalline structures. Finally, our theory, which quantitatively agrees with the experimental data, predicts that the shapes of sedimentation density profiles of multicomponent charged colloids are greatly altered when the particles are charge regulating with more than two ion species involved. Hence, we hypothesise that sedimentation experiments can aid in revealing the type of ion-adsorption processes that determine the particle charge and possibly the value of the corresponding equilibrium constants.


title: Entire subsolutions of a kind of k-Hessian type equations with gradient terms

abstract: In this paper, we consider a kind of $k$-Hessian type equations $S_k^{\frac{1}{k}}(D^2u+\mu|D u|I)= f(u)$ in $\mathbb{R}^n$, and provide a necessary and sufficient condition of $f$ on the existence and nonexistence of entire admissible subsolutions, which can be regarded as a generalized Keller-Osserman condition. The existence and nonexistence results are proved in different ranges of the parameter $\mu$ respectively, which embrace the standard Hessian equation case ($\mu=0$) by Ji and Bao (Proc Amer Math Soc 138: 175--188, 2010) as a typical example. The difference between the semilinear case ($k=1$) and the fully nonlinear case ($k\ge 2$) is also concerned.


title: Error Estimates for a Linearized Fractional Crank-Nicolson FEM for Kirchhoff type Quasilinear Subdiffusion Equation with Memory

abstract: In this paper, we develop a linearized fractional Crank-Nicolson-Galerkin FEM for Kirchhoff type quasilinear time-fractional integro-differential equation $\left(\mathcal{D}^{\alpha}\right)$. In general, the solutions to the time-fractional problems exhibit a weak singularity at time $t=0$. This singular behavior of the solutions is taken into account while deriving the convergence estimates of the developed numerical scheme. We prove that the proposed numerical scheme has an accuracy rate of $O(M^{-1}+N^{-2})$ in $L^{\infty}(0,T;L^{2}(\Omega))$ as well as in $L^{\infty}(0,T;H^{1}_{0}(\Omega))$, where $M$ and $N$ are the degrees of freedom in the space and time directions respectively. A numerical experiment is presented to verify the theoretical results.


title: Multiple damage detection in piezoelectric ceramic sensor using point contact excitation and detection method

abstract: Lead Zirconate Titanate [(ZrxTi1-x)O3 ]is used to make ultrasound transducers, sensors, and actuators due to its large piezoelectric coefficient. Several surfaces and subsurface micro defects develop within the Lead Zirconate Titanate (PZT) sensor due to delamination, corrosion, huge temperature fluctuation, etc., causing a decline in its performance. It is thus necessary to identify, locate, and quantify the defects. Non-Destructive Structural Health Monitoring (SHM) is the most optimal and economical method of evaluation. Traditional ultrasound SHM techniques have a huge impedance mismatch between air and any solid material. And most of the popular signal processing methods define time-series signals in only one domain which gives sub-optimal results. Thus to improve the accuracy of detection point contact excitation and detection methods have been implemented to determine the interaction of ultrasonic waves with microscale defects in the PZT. And Haar Discrete Wavelet Transformation (DWT) is applied to the time series data obtained from the Coulomb coupling setup. Using the above process, defect up to 100 um in diameter could be successfully distinguished and localized.


title: Impact of $b \to c$ measurements on $\Lambda_b \to p \tau \bar{\nu}$ decay in $U_1$ leptoquark model

abstract: The measurements of several lepton flavor universality (LFU) violating observables in the decays induced by the quark level transition $b \to c \tau \bar{\nu}$ provide an inkling of plausible physics beyond the standard model of electroweak interactions. Such new physics would also impact other sectors. In this work, we estimate the leverage of new physics in $b \to c \tau \bar{\nu}$ on $\Lambda_b \to p \tau \bar{\nu}$ decay in the context of $U_1$ leptoquark model. In this model, the new physics couplings in $b \to u \tau \bar{\nu}$ transition can be written in terms of $b \to c \tau \bar{\nu}$ couplings and hence the extent of allowed new physics in $\Lambda_b \to p \tau \bar{\nu}$ would be determined by $b \to c \tau \bar{\nu}$ transition. Using the new physics parameter space obtained by performing a fit to all $b \to c \tau \bar{\nu}$ data, we obtain predictions of several $\Lambda_b \to p \tau \bar{\nu}$ observables. We find that the current $b \to c \tau \bar{\nu}$ data allows an order of magnitude enhancement in the branching ratio as well as in the LFU ratio. The other observables such as convexity parameter, lepton forward-backward asymmetry, longitudinal polarization of final state baryon and tau lepton are consistent with the SM value.


title: Approximations on Spirallike domains of $\mathbb{C}^{n}$

abstract: In this paper, we first show that any domain $\Om$ in $\cn(n \geq 2)$, which is spirallike with respect to a complete holomorphic globally asymptotic stable vector field $F$, is a Runge domain. Next, we prove an Anders\'{e}n-Lempert type approximation theorem: any biholomorphism $\Phi\colon \Om \to \Phi(\Om)$, with $\Phi(\Om)$ is Runge, can be approximated by automorphisms of $\mathbb{C}^{n}$ uniformly on compacts, in the following two cases. \begin{itemize} \item [(i)] The domain $\Om\subset\cn$ is a spirallike with respect to a linear vector field $A$, where $2\max\{\rl\lambda:\lambda\in\sigma(A)\}<\min\{\rl\lambda:\lambda\in\sigma(A)\}$. \item [(ii)] The domain $\Om$ is spirallike with respect to complete globally exponentially stable vector field $F$, with a certain rate of the convergence of the flow of the vector field $F$ in $\Om $ \end{itemize} We further show that, if $J(\Phi) \equiv 1$ (and $div(F)$ is constant in the situation (ii)) then the biholomorphism $\Phi\colon \Om \to \Phi(\Om)$ can be approximated by volume preserving automorphism of $\cn$ in both the cases mentioned above. As an application of our approximation results, we show that any Loewner PDE in a complete hyperbolic domain $\Om$ which satisfies (i) or (ii) mentioned above admits an essentially unique univalent solution with values in $\cn$. We also provide an example of a Hartogs domain in $\mathbb{C}^{2}$ which spirallike with respect to a complete holomorphic vector field $F(z_{1},z_{2})=(-2z_{1},-3z_{2}+z_{1}z_{2})$, but the domain is not spirallike with respect to any linear vector field. Some more examples are provided at the end of this paper.


title: Efficient Attention-free Video Shift Transformers

abstract: This paper tackles the problem of efficient video recognition. In this area, video transformers have recently dominated the efficiency (top-1 accuracy vs FLOPs) spectrum. At the same time, there have been some attempts in the image domain which challenge the necessity of the self-attention operation within the transformer architecture, advocating the use of simpler approaches for token mixing. However, there are no results yet for the case of video recognition, where the self-attention operator has a significantly higher impact (compared to the case of images) on efficiency. To address this gap, in this paper, we make the following contributions: (a) we construct a highly efficient \& accurate attention-free block based on the shift operator, coined Affine-Shift block, specifically designed to approximate as closely as possible the operations in the MHSA block of a Transformer layer. Based on our Affine-Shift block, we construct our Affine-Shift Transformer and show that it already outperforms all existing shift/MLP--based architectures for ImageNet classification. (b) We extend our formulation in the video domain to construct Video Affine-Shift Transformer (VAST), the very first purely attention-free shift-based video transformer. (c) We show that VAST significantly outperforms recent state-of-the-art transformers on the most popular action recognition benchmarks for the case of models with low computational and memory footprint. Code will be made available.


title: Magnetic Relaxation of a Voigt-MHD System

abstract: We construct solutions of the magnetohydrostatic (MHS) equations in bounded domains and on the torus in three spatial dimensions, as infinite time limits of Voigt approximations of viscous, non-resistive incompressible magnetohydrodynamics equations. The Voigt approximations modify the time evolution without introducing artificial viscosity. We show that the obtained MHS solutions are regular, nontrivial, and are not Beltrami fields.


title: Duality for asymptotic invariants of graded families

abstract: The starting point of this paper is a duality for sequences of natural numbers which, under mild hypotheses, interchanges subadditive and superadditive sequences and inverts their asymptotic growth constants. We are motivated to explore this sequence duality since it arises naturally in at least two important algebraic-geometric contexts. The first context is Macaulay-Matlis duality, where the sequence of initial degrees of the family of symbolic powers of a radical ideal is dual to the sequence of Castelnuovo-Mumford regularity values of a quotient by ideals generated by powers of linear forms. This philosophy is drawn from an influential paper of Emsalem and Iarrobino. We generalize this duality to differentially closed graded filtrations of ideals. In a different direction, we establish a duality between the sequence of Castelnuovo-Mumford regularity values of the symbolic powers of certain ideals and a geometrically inspired sequence we term the jet separation sequence. We show that this duality underpins the reciprocity between two important geometric invariants: the multipoint Seshadri constant and the asymptotic regularity of a set of points in projective space.


title: Integrative conformal p-values for powerful out-of-distribution testing with labeled outliers

abstract: This paper develops novel conformal methods to test whether a new observation was sampled from the same distribution as a reference set. Blending inductive and transductive conformal inference in an innovative way, the described methods can re-weight standard conformal p-values based on dependent side information from known out-of-distribution data in a principled way, and can automatically take advantage of the most powerful model from any collection of one-class and binary classifiers. The solution can be implemented either through sample splitting or via a novel transductive cross-validation+ scheme which may also be useful in other applications of conformal inference, due to tighter guarantees compared to existing cross-validation approaches. After studying false discovery rate control and power within a multiple testing framework with several possible outliers, the proposed solution is shown to outperform standard conformal p-values through simulations as well as applications to image recognition and tabular data.


title: DeepInteraction: 3D Object Detection via Modality Interaction

abstract: Existing top-performance 3D object detectors typically rely on the multi-modal fusion strategy. This design is however fundamentally restricted due to overlooking the modality-specific useful information and finally hampering the model performance. To address this limitation, in this work we introduce a novel modality interaction strategy where individual per-modality representations are learned and maintained throughout for enabling their unique characteristics to be exploited during object detection. To realize this proposed strategy, we design a DeepInteraction architecture characterized by a multi-modal representational interaction encoder and a multi-modal predictive interaction decoder. Experiments on the large-scale nuScenes dataset show that our proposed method surpasses all prior arts often by a large margin. Crucially, our method is ranked at the first position at the highly competitive nuScenes object detection leaderboard.


title: Towards Open Set Video Anomaly Detection

abstract: Open Set Video Anomaly Detection (OpenVAD) aims to identify abnormal events from video data where both known anomalies and novel ones exist in testing. Unsupervised models learned solely from normal videos are applicable to any testing anomalies but suffer from a high false positive rate. In contrast, weakly supervised methods are effective in detecting known anomalies but could fail in an open world. We develop a novel weakly supervised method for the OpenVAD problem by integrating evidential deep learning (EDL) and normalizing flows (NFs) into a multiple instance learning (MIL) framework. Specifically, we propose to use graph neural networks and triplet loss to learn discriminative features for training the EDL classifier, where the EDL is capable of identifying the unknown anomalies by quantifying the uncertainty. Moreover, we develop an uncertainty-aware selection strategy to obtain clean anomaly instances and a NFs module to generate the pseudo anomalies. Our method is superior to existing approaches by inheriting the advantages of both the unsupervised NFs and the weakly-supervised MIL framework. Experimental results on multiple real-world video datasets show the effectiveness of our method.


title: Survey of Persistent Memory Correctness Conditions

abstract: The study of concurrent persistent programs has seen a surge of activity in recent years due to the introduction of non-volatile random access memories (NVRAM), yielding many models and correctness notions that are difficult to compare. In this paper, we survey existing correctness properties for this setting, placing them into the same context and comparing them. We present a hierarchy of these persistence properties based on the generality of the histories they deem correct, and show how this hierarchy shifts based on different model assumptions.


title: Bounds on Multigraded Regularity

abstract: We explore the asymptotic behavior of the multigraded Castelnuovo--Mumford regularity of powers of ideals. Specifically, if $I$ is an ideal in the total coordinate ring $S$ of a smooth projective toric variety $X$, we bound the region $\operatorname{reg}(I^n)\subset\operatorname{Pic} X$ by proving that it contains a translate of the regularity of $S$ and is contained in a translate of the nef cone of $X$. Each bound translates by a fixed vector as $n$ increases. Along the way we prove that the multigraded regularity of a finitely generated torsion-free module is contained in a translate of the nef cone determined by the degrees of the generators of $M$, and thus contains only finitely many minimal elements.


title: Elliptic modular graph forms II: Iterated integrals

abstract: Elliptic modular graph forms (eMGFs) are non-holomorphic modular forms depending on a modular parameter $\tau$ of a torus and marked points $z$ thereon. Traditionally, eMGFs are constructed from nested lattice sums over the discrete momenta on the worldsheet torus in closed-string genus-one amplitudes. In this work, we develop methods to translate the lattice-sum realization of eMGFs into iterated integrals over modular parameters $\tau$ of the torus with particular focus on cases with one marked point. Such iterated-integral representations manifest algebraic and differential relations among eMGFs and their degeneration limit $\tau \rightarrow i\infty$. From a mathematical point of view, our results yield concrete realizations of single-valued elliptic polylogarithms at arbitrary depth in terms of meromorphic iterated integrals over modular forms and their complex conjugates. The basis dimensions of eMGFs at fixed modular and transcendental weights are derived from a simple counting of iterated integrals and a generalization of Tsunogai's derivation algebra.


title: Rydberg ions in coherent motional states: A new method for determining the polarizability of Rydberg ions

abstract: We present a method for measuring the polarizability of Rydberg ions confined in the harmonic potential of a Paul trap. For a highly excited electronic state, the coupling between the electronic wave function and the trapping field modifies the excitation probability depending on the motional state of the ion. This interaction strongly depends on the polarizability of the excited state and manifests itself in the state-dependent secular frequencies of the ion. We initialize a single trapped $^{40}$Ca$^+$ ion from the motional ground state into coherent states with $|\alpha|$ up to 12 using electric voltages on the trap segments. The internal state, firstly initialised in the long-lived 3D$_{5/2}$ state, is excited to a Rydberg S$_{1/2}$-state via the 5P$_{3/2}$ state in a two-photon process. We probe the depletion of the 3D$_{5/2}$ state owing to the Rydberg excitation followed by a decay into the internal ground 4S$_{1/2}$ state. By analysing the obtained spectra we extract the polarizability of Rydberg states which agree with numerical calculations. The method is easy-to-implement and applicable to different Rydberg states regardless of their principal or angular quantum numbers. An accurate value of the state polarizability is needed for quantum gate operations with Rydberg ion crystals.


title: An alternative construction of the Rumin complex on homogeneous nilpotent Lie groups

abstract: In this paper, we consider the Rumin complex on homogenenous nilpotent Lie groups. We present an alternative construction to the classical one on Carnot groups using ideas from parabolic geometry. We also give the explicit computations for the Engel group with this approach.


title: Limits of Entrainment of Circadian Neuronal Networks

abstract: Circadian rhythmicity lies at the center of various important physiological and behavioral processes in mammals, such as sleep, metabolism, homeostasis, mood changes and more. It has been shown that this rhythm arises from self-sustained biomolecular oscillations of a neuronal network located in the Suprachiasmatic Nucleus (SCN). Under normal circumstances, this network remains synchronized to the day-night cycle due to signaling from the retina. Misalignment of these neuronal oscillations with the external light signal can disrupt numerous physiological functions and take a long-lasting toll on health and well-being. In this work, we study a modern computational neuroscience model to determine the limits of circadian synchronization to external light signals of different frequency and duty cycle. We employ a matrix-free approach to locate periodic steady states of the high-dimensional model for various driving conditions. Our algorithmic pipeline enables numerical continuation and construction of bifurcation diagrams w.r.t. forcing parameters. We computationally explore the effect of heterogeneity in the circadian neuronal network, as well as the effect of corrective therapeutic interventions, such as that of the drug molecule Longdaysin. Lastly, we employ unsupervised learning to construct a data-driven embedding space for representing neuronal heterogeneity.

categories: q-bio.NC cs.NA math.DS math.NA q-bio.QM stat.ML


title: Polynomial volume growth of quasi-unipotent automorphisms of abelian varieties (with an appendix in collaboration with Chen Jiang)

abstract: Let $X$ be an abelian variety over an algebraically closed field $\mathbf{k}$ and $f$ a quasi-unipotent automorphism of $X$. When $\mathbf{k}$ is the field of complex numbers, Lin, Oguiso, and D.-Q. Zhang provide an explicit formula for the polynomial volume growth of (or equivalently, for the Gelfand--Kirillov dimension of the twisted homogeneous coordinate ring associated with) the pair $(X, f)$, by an analytic argument. We give an algebraic proof of this formula that works in arbitrary characteristic. In the course of the proof, we obtain: (1) a new description of the action of endomorphisms on the $\ell$-adic Tate spaces, in comparison with recent results of Zarhin and Poonen--Rybakov; (2) a partial converse to a result of Reichstein, Rogalski, and J.J. Zhang on quasi-unipotency of endomorphisms and their pullback action on the rational N\'eron--Severi space $\mathsf{N}^1(X)_{\mathbf{Q}}$ of $\mathbf{Q}$-divisors modulo numerical equivalence; (3) the maximum size of Jordan blocks of (the Jordan canonical form of) $f^*|_{\mathsf{N}^1(X)_{\mathbf{Q}}}$ in terms of the action of $f$ on the Tate space $V_\ell(X)$.


title: ATLASGAL -- Star forming efficiencies and the Galactic star formation rate

abstract: The ATLASGAL survey has characterised the properties of approximately 1000 embedded HII regions and found an empirical relationship between the clump mass and bolometric luminosity that covers 3-4 orders of magnitude. Comparing this relation with simulated clusters drawn from an initial mass function and using different star formation efficiencies we find that a single value is unable to fit the observed luminosity to mass ($L/M$) relation. We have used a Monte Carlo simulation to generate 200,000 clusters using the $L/M$-ratio as a constraint to investigate how the star formation efficiency changes as a function of clump mass. This has revealed that the star formation efficiency decreases with increasing clump mass with a value of 0.2 for clumps with masses of a few hundred solar masses and dropping to 0.08 for clumps with masses of a few thousand solar masses. We find good agreement between our results and star formation efficiencies determined from counts of embedded objects in nearby molecular clouds. Using the star formation efficiency relationship and the infrared excess time for embedded star formation of $2\pm1$, Myr we estimate the Galactic star formation rate to be approximately $0.9\pm0.45$ Msun yr$^{-1}$, which is in good agreement with previously reported values. This model has the advantage of providing a direct means of determining the star formation rate and avoids the difficulties encountered in converting infrared luminosities to stellar mass that affect previous galactic and extragalactic studies.


title: Distance-Aware Occlusion Detection with Focused Attention

abstract: For humans, understanding the relationships between objects using visual signals is intuitive. For artificial intelligence, however, this task remains challenging. Researchers have made significant progress studying semantic relationship detection, such as human-object interaction detection and visual relationship detection. We take the study of visual relationships a step further from semantic to geometric. In specific, we predict relative occlusion and relative distance relationships. However, detecting these relationships from a single image is challenging. Enforcing focused attention to task-specific regions plays a critical role in successfully detecting these relationships. In this work, (1) we propose a novel three-decoder architecture as the infrastructure for focused attention; 2) we use the generalized intersection box prediction task to effectively guide our model to focus on occlusion-specific regions; 3) our model achieves a new state-of-the-art performance on distance-aware relationship detection. Specifically, our model increases the distance F1-score from 33.8% to 38.6% and boosts the occlusion F1-score from 34.4% to 41.2%. Our code is publicly available.


title: An explicit version of Bombieri's log-free density estimate and S\'ark\"ozy's theorem for shifted primes

abstract: We make explicit Bombieri's refinement of Gallagher's log-free "large sieve density estimate near $\sigma = 1$" for Dirichlet $L$-functions. We use this estimate and recent work of Green to prove that if $N\geq 2$ is an integer, $A\subseteq\{1,\ldots,N\}$, and for all primes $p$ no two elements in $A$ differ by $p-1$, then $|A|\ll N^{1-1/10^{18}}$. This strengthens a theorem of S\'ark\"ozy.


title: Proof of an open problem on the Sombor index

abstract: The Sombor index is one of the geometry-based descriptors, which was defined as $$SO(G)=\sum_{uv\in E(G)}\sqrt{d^{2}(u)+d^{2}(v)},$$ where $d(u)$ (resp. $d(v)$) denotes the degree of vertex $u$ (resp. $v$) in $G$. In this note, we determine the maximum and minimum graphs with respect to the Sombor index among the set of graphs with vertex connectivity (resp. edge connectivity) at most $k$, which solves an open problem on the Sombor index proposed by Hayat and Rehman [On Sombor index of graphs with a given number of cut-vertices, MATCH Commun. Math. Comput. Chem. 89 (2023) 437--450]. For some of the conclusions of the above paper, we give some counterexamples. At last, we give the QSPR analysis with regression modeling and Sombor index.


title: Large-scale Entity Alignment via Knowledge Graph Merging, Partitioning and Embedding

abstract: Entity alignment is a crucial task in knowledge graph fusion. However, most entity alignment approaches have the scalability problem. Recent methods address this issue by dividing large KGs into small blocks for embedding and alignment learning in each. However, such a partitioning and learning process results in an excessive loss of structure and alignment. Therefore, in this work, we propose a scalable GNN-based entity alignment approach to reduce the structure and alignment loss from three perspectives. First, we propose a centrality-based subgraph generation algorithm to recall some landmark entities serving as the bridges between different subgraphs. Second, we introduce self-supervised entity reconstruction to recover entity representations from incomplete neighborhood subgraphs, and design cross-subgraph negative sampling to incorporate entities from other subgraphs in alignment learning. Third, during the inference process, we merge the embeddings of subgraphs to make a single space for alignment search. Experimental results on the benchmark OpenEA dataset and the proposed large DBpedia1M dataset verify the effectiveness of our approach.


title: Retrieval-based Controllable Molecule Generation

abstract: Generating new molecules with specified chemical and biological properties via generative models has emerged as a promising direction for drug discovery. However, existing methods require extensive training/fine-tuning with a large dataset, often unavailable in real-world generation tasks. In this work, we propose a new retrieval-based framework for controllable molecule generation. We use a small set of exemplar molecules, i.e., those that (partially) satisfy the design criteria, to steer the pre-trained generative model towards synthesizing molecules that satisfy the given design criteria. We design a retrieval mechanism that retrieves and fuses the exemplar molecules with the input molecule, which is trained by a new self-supervised objective that predicts the nearest neighbor of the input molecule. We also propose an iterative refinement process to dynamically update the generated molecules and retrieval database for better generalization. Our approach is agnostic to the choice of generative models and requires no task-specific fine-tuning. On various tasks ranging from simple design criteria to a challenging real-world scenario for designing lead compounds that bind to the SARS-CoV-2 main protease, we demonstrate our approach extrapolates well beyond the retrieval database, and achieves better performance and wider applicability than previous methods. Code is available at https://github.com/NVlabs/RetMol.


title: Electrically charged spherical matter shells in higher dimensions: Entropy, thermodynamic stability, and the black hole limit

abstract: We study the thermodynamic properties of a static electrically charged spherical thin shell in $d$ dimensions by imposing the first law of thermodynamics on the shell. The shell is at radius $R$, inside it the spacetime is Minkowski, and outside it the spacetime is Reissner-Nordstr\"om. We obtain that the shell thermodynamics is fully described by giving two additional reduced equations of state, one for the temperature and another for the electrostatic potential. We choose the equation of state for the temperature as a power law in the gravitational radius $r_+$ with exponent $a$, such that the $a=1$ case gives the temperature of a shell with black hole thermodynamic properties, and for the electrostatic potential we choose an equation of state characteristic of a Reissner-Nordstr\"om black hole spacetime. The entropy of the shell is found to be proportional to $A_+^a$, where $A_+$ is the gravitational area corresponding to $r_+$, with $a>0$. We are then able to perform the black hole limit $R=r_+$, find the Smarr formula, and recover the thermodynamics of a $d$-dimensional Reissner-Nordstr\"om black hole. We study the intrinsic thermodynamic stability of the shell with the chosen equations of state. We obtain that for $0<a\leq \frac{d-3}{d-2}$ all the configurations of the shell are thermodynamically stable, for $\frac{d-3}{d-2}<a<1$ stability depends on the mass and electric charge, and for $a>1$ all the configurations are unstable, except for the shell at its own gravitational radius, which is marginally stable. We rewrite the stability conditions in terms of laboratory variables. We find that the sufficient condition for the stability of these shells is when the isothermal electric susceptibility $\chi_{p,T}$ is positive, marginal stability happening when this quantity is infinite, and instability arising for configurations with a negative electric susceptibility.


title: N-bearing complex organics toward high-mass protostars: Constant ratios pointing to formation in similar pre-stellar conditions across a large mass range

abstract: No statistical study of COMs toward a large sample of high-mass protostars with ALMA has been carried out so far. We aim to study six N-bearing species: CH$_3$CN, HNCO, NH$_2$CHO, C$_2$H$_5$CN, C$_2$H$_3$CN and CH$_3$NH$_2$ in a large sample of high-mass protostars. From the ALMAGAL survey, 37 of the most line-rich hot molecular cores are selected. Next, we fit their spectra and find column densities and excitation temperatures of the above N-bearing species, in addition to CH$_3$OH. We (tentatively) detect CH$_3$NH$_2$ in $\sim32%$ of the sources. We find three groups of species when comparing their excitation temperatures: hot (NH$_2$CHO; Tex > 250 K), warm (C$_2$H$_3$CN, HN$^{13}$CO and CH$_{3}^{13}$CN; 100 K < Tex < 250 K) and cold species (CH$_3$OH and CH$_3$NH$_2$; Tex < 100 K). This temperature segregation reflects the trend seen in their sublimation temperatures and validates the idea of onion-like structure of COMs around protostars. Moreover, the molecules studied here show constant column density ratios across low- and high-mass protostars with scatter less than a factor $\sim3$ around the mean. The constant column density ratios point to a common formation environment of COMs or their precursors, most likely in the pre-stellar ices. The scatter around the mean of the ratios, although small, varies depending on the species considered. This spread can either have a physical origin (source structure, line or dust optical depth) or a chemical one. Formamide is most prone to the physical effects as it is tracing the closest regions to the protostars, whereas such effects are small for other species. Assuming that all molecules form in the pre-stellar ices, the scatter variations could be explained by differences in lifetimes or physical conditions of the pre-stellar clouds. If the pre-stellar lifetimes are the main factor, they should be similar for low- and high-mass protostars.


title: Dark Energy with a Triplet of Classical U(1) Fields

abstract: We present a new mechanism for cosmic acceleration consisting of a scalar field coupled to a triplet of classical U(1) gauge fields. The gauge fields are arranged in a homogeneous, isotropic configuration, with both electric- and magnetic-like vacuum expectation values. The gauge fields provide a mass-like term via a Chern-Simons interaction that suspends the scalar away from its potential minimum, thereby enabling potential-dominated evolution. We show this mechanism can drive a brief period of acceleration, such as dark energy, without the need for fine tunings. We obtain simple analytic results for the dark energy equation of state and dependence on model parameters. In this model, the presence of the gauge field generically leads to a suppression of long-wavelength gravitational waves, with implications for the experimental search for cosmic microwave background B-modes and direct detection of a stochastic gravitational wave background.


title: A tale of 2-groups: D$_p$(USp(2N)) theories

abstract: A 1-form symmetry and a 0-form symmetry may combine to form an extension known as the 2-group symmetry. We find the presence of the latter in a class of Argyres-Douglas theories, called $D_p($USp$(2N))$, which can be realized by $\mathbb{Z}_2$-twisted compactification of the 6d $\mathcal{N}=(2,0)$ of the $D$-type on a sphere with an irregular twisted puncture and a regular twisted full puncture. We propose the $3$d mirror theories of general $D_p($USp$(2N))$ theories that serve as an important tool to study their flavor symmetry and Higgs branch. Yet another important result is presented: We elucidate a technique, dubbed ''bootstrap'', which generates an infinite family of $D^b_p(G)$ theories, where for a given arbitrary group $G$ and a parameter $b$, each theory in the same family has the same number of mass parameters, same number of marginal deformations, same $1$-form symmetry, and same $2$-group structure. This technique is utilized to establish the presence or absence of the 2-group symmetries in several classes of $D^b_p(G)$ theories. In this regard, we find that the $D_p($USp$(2N))$ theories constitute a special class of Argyres-Douglas theories that have a 2-group symmetry.


title: High-order Discontinuous Galerkin hydrodynamics with sub-cell shock capturing on GPUs

abstract: Hydrodynamical numerical methods that converge with high-order hold particular promise for astrophysical studies, as they can in principle reach prescribed accuracy goals with higher computational efficiency than standard second- or third-order approaches. Here we consider the performance and accuracy benefits of Discontinuous Galerkin (DG) methods, which offer a particularly straightforward approach to reach extremely high order. Also, their computational stencil maps well to modern GPU devices, further raising the attractiveness of this approach. However, a traditional weakness of this method lies in the treatment of physical discontinuities such as shocks. We address this by invoking an artificial viscosity field to supply required dissipation where needed, and which can be augmented, if desired, with physical viscosity and thermal conductivity, yielding a high-order treatment of the Navier-Stokes equations for compressible fluids. We show that our approach results in sub-cell shock capturing ability, unlike traditional limiting schemes that tend to defeat the benefits of going to high order in DG in problems featuring many shocks. We demonstrate exponential convergence of our solver as a function of order when applied to smooth flows, such as the Kelvin-Helmholtz reference problem of arXiv:1509.03630. We also demonstrate excellent scalability of our GPU implementation up to hundreds of GPUs distributed on different compute nodes. In a first application to driven, sub-sonic turbulence, we highlight the accuracy advantages of high-order DG compared to traditional second-order accurate methods, and we stress the importance of physical viscosity for obtaining accurate velocity power spectra.


title: SDSS-IV MaNGA: Unveiling Galaxy Interaction by Merger Stages with Machine Learning

abstract: We use machine learning techniques to classify galaxy merger stages, which can unveil physical processes that drive the star formation and active galactic nucleus (AGN) activities during galaxy interaction. The sample contains 4,690 galaxies from the integral field spectroscopy survey SDSS-IV MaNGA, and can be separated to 1,060 merging galaxies and 3630 non-merging or unclassified galaxies. For the merger sample, there are 468, 125, 293, and 174 galaxies in (1) incoming pair phase, (2) first pericentric passage phase, (3) aproaching or just passing the apocenter, and (4) final coalescence phase or post-mergers. With the information of projected separation, line-of-sight velocity difference, SDSS gri images, and MaNGA Ha velocity map, we are able to classify the mergers and their stages with good precision, which is the most important score to identify interacting galaxies. For the 2-phase classification (binary; non-merger and merger), the performance can be high (precision>0.90) with LGBMClassifier. We find that sample size can be increased by rotation, so the 5-phase classification (non-merger, 1, 2, 3, and 4 merger stages) can be also good (precision>0.85). The most important features come from SDSS gri images. The contribution from MaNGA Ha velocity map, projected separation, and line-of-sight velocity difference can further improve the performance by 0-20%. In other words, the image and the velocity information are sufficient to capture important features of galaxy interactions, and our results can apply to the entire MaNGA data as well as future all-sky surveys.


title: Anomalous transport from hot quasiparticles in interacting spin chains

abstract: Many experimentally relevant quantum spin chains are approximately integrable, and support long-lived quasiparticle excitations. A canonical example of integrable model of quantum magnetism is the XXZ spin chain, for which energy spreads ballistically, but, surprisingly, high-temperature spin transport can be diffusive or superdiffusive. We review the transport properties of this model using an intuitive quasiparticle picture that relies on the recently introduced framework of generalized hydrodynamics. We discuss how anomalous linear response properties emerge from hierarchies of quasiparticles both in integrable and near-integrable limits, with an emphasis on the role of hydrodynamic fluctuations. We also comment on recent developments including non-linear response, full-counting statistics and far-from-equilibrium transport. We provide an overview of recent numerical and experimental results on transport in XXZ spin chains.


title: Revisiting $\mathbf{Vh(\rightarrow b \bar b)}$ at the LHC and FCC-hh

abstract: Diboson production processes provide good targets for precision measurements at present and future hadron colliders. We consider $Vh$ production, focusing on the $h \to b\bar b$ decay channel, whose sizeable cross section makes it accessible at the LHC. We perform an improved analysis by combining the 0-, 1- and 2-lepton channels with a scale-invariant $b$-tagging algorithm that allows us to exploit events with either a boosted Higgs via mass-drop tagging or resolved $b$-jets. This strategy gives sensitivity to 4 dimension-6 SMEFT operators that modify the $W$ and $Z$ couplings to quarks and is competitive with the bounds obtained from global fits. The benefit of the $h\to b\bar b$ decay channel is the fact that it is the only $Vh$ channel accessible at the LHC Run 3 and HL-LHC, while at FCC-hh it is competitive with the effectively background-free $h\to \gamma\gamma$ channel assuming $\lesssim 5$% systematic uncertainty. Combining the boosted and resolved categories yields a 17% improvement on the most strongly bounded Wilson coefficient at the LHC Run 3 with respect to the boosted category alone (and a 7% improvement at FCC-hh). We also show that, at FCC-hh, a binning in the rapidity of the $Vh$ system can significantly reduce correlations between some EFT operators. The bounds we obtain translate to a lower bound on the new physics scale of $5$, $8$, and $20$ TeV at the LHC Run 3, HL-LHC, and FCC-hh respectively, assuming new-physics couplings of order unity. Finally, we assess the impact of the $Vh$ production channel on anomalous triple gauge coupling measurements, comparing with their determination at lepton colliders.


title: Energy wrinkles and phase-space folds of the last major merger

abstract: Relying on the dramatic increase in the number of stars with full 6D phase-space information provided by the Gaia Data Release 3, we discover unambiguous signatures of phase-mixing in the stellar halo around the Sun. We show that for the stars likely belonging to the last massive merger, the (v_r,r) distribution contains a series of long and thin chevron-like overdensities. These phase-space sub-structures are predicted to emerge following the dissolution of a satellite, when its tidal debris is given time to wind up, thin out and fold. Additionally, the observed energy and angular momentum (E, L_z) distribution appears more prograde at high energies, possibly revealing the original orbital angular momentum of the in-falling galaxy. The energy distribution of the debris is strongly asymmetric with a peak at low E -- which, we surmise, may be evidence of the dwarf's rapid sinking -- and riddled with wrinkles and bumps. If these small-scale energy inhomogeneities have been seeded during or immediately after the interaction with the Milky Way, and are not due to the spatial restriction of our study, then making use of the (v_r,r) chevrons to constrain the time of the merger becomes cumbersome. Nonetheless, we demonstrate that similar phase-space and (E,L_z) sub-structures are present in numerical simulations of galaxy interactions, both in bespoke N-body runs and in cosmological hydrodynamical zoom-in suites. The remnant traces of the progenitor's disruption and the signatures of the on-going phase-mixing discovered here will not only help to constrain the properties of our Galaxy's most important interaction, but also can be used as a novel tool to map out the Milky Way's current gravitational potential and its perturbations.


title: Nishimori's cat: stable long-range entanglement from finite-depth unitaries and weak measurements

abstract: In the field of monitored quantum circuits, it has remained an open question whether finite-time protocols for preparing long-range entangled states lead to phases of matter which are stable to gate imperfections, which can convert projective into weak measurements. Here we show that in certain cases, long-range entanglement persists in the presence of weak measurements, and gives rise to novel forms of quantum criticality. We demonstrate this explicitly for preparing the two-dimensional Greenberger-Horne-Zeilinger cat state and the three-dimensional toric code as minimal instances. In contrast to the monitored random unitary circuits, In contrast to random monitored circuits, our circuit of gates and measurements is deterministic; the only randomness is in the measurement outcomes. We show how the randomness in these weak measurements allows us to track the solvable Nishimori line of the random-bond Ising model, rigorously establishing the stability of the glassy long-range entangled states in two and three spatial dimensions. Away from this exactly solvable construction, we use hybrid tensor network and Monte Carlo simulations to obtain a nonzero Edwards-Anderson order parameter as an indicator of long-range entanglement in the two-dimensional scenario. We argue that our protocol admits a natural implementation in existing quantum computing architectures, requiring only a depth-3 circuit on IBM's heavy-hexagon transmon chips.

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


title: Properties of shocked dust grains in supernova remnants

abstract: Shockwaves driven by supernovae both destroy dust and reprocess the surviving grains, greatly affecting the resulting dust properties of the interstellar medium (ISM). While these processes have been extensively studied theoretically, observational constraints are limited. We use physically-motivated models of dust emission to fit the infrared (IR) spectral energy distributions of seven Galactic supernova remnants, allowing us to determine the distribution of dust mass between diffuse and dense gas phases, and between large and small grain sizes. We find that the dense ($\sim 10^3 \,{\rm cm}^{-3}$), relatively cool ($\sim 10^3 \, {\rm K}$) gas phase contains $>90\%$ of the dust mass, making the warm dust located in the X-ray emitting plasma ($\sim 1 \,{\rm cm}^{-3}$/$10^6 \, {\rm K}$) a negligible fraction of the total, despite dominating the mid-IR emission. The ratio of small ($\lesssim 10 \, {\rm nm}$) to large ($\gtrsim 0.1 \, {\rm \mu m}$) grains in the cold component is consistent with that in the ISM, and possibly even higher, whereas the hot phase is almost entirely devoid of small grains. This suggests that grain shattering, which processes large grains into smaller ones, is ineffective in the low-density gas, contrary to model predictions. Single-phase models of dust destruction in the ISM, which do not account for the existence of the cold swept-up material containing most of the dust mass, are likely to greatly overestimate the rate of dust destruction by supernovae.


title: A dress of flavour to suit any jet

abstract: Identifying the flavour of reconstructed hadronic jets is critical for precision phenomenology and the search for new physics at collider experiments, as it allows to pinpoint specific scattering processes and reject backgrounds. Jet measurements at the LHC are almost universally performed using the anti-$k_T$ algorithm, however no approach exists to define the jet flavour for this algorithm that is infrared and collinear (IRC) safe. We propose a new approach, a flavour dressing algorithm, that is IRC safe to all orders in perturbation theory and can be combined with any definition of a jet. We test the algorithm in $\mathrm{e}^+\mathrm{e}^-$ and $\mathrm{p}\mathrm{p}$ environments, and consider the $\mathrm{p}\mathrm{p} \to \mathrm{Z}+\mathrm{b}\text{-jet}$ process as a practical application.


title: The Geometric $\nu$SMEFT: Operators and Connections

abstract: We write down a geometric realization of the Standard Model Effective Field Theory (SMEFT) extended by $n_f$ flavours of light sterile neutrinos, a so-called geo$\nu$SMEFT. As with the geoSMEFT introduced by Helset, Martin and Trott, we show that a refactorization of the $\nu$SMEFT's operator product expansion is possible, such that two- and three-point composite operator forms are dressed with field-space connections composed of towers of Higgs dressings and symmetry generators, valid at \emph{all-orders} in the $\overline{v}_T/\Lambda$ expansion parameter of the EFT ($\overline{v}_T \equiv \sqrt{2\langle H^\dagger H\rangle}$) . These connections are parameterized by real Higgs coordinates and contribute to the field-space geometry of the ($\nu$)SM, with structure linked to the strength of Beyond-the-($\nu$)Standard Model physics encoded in $\overline{v}_T/\Lambda$. In addition to enumerating the relevant composite operators and associated connections, we briefly outline the route to calculating all-$\overline{v}_T/\Lambda$-orders amplitudes, including the flavor-invariant theory required to understand the neutrino mass-eigenstate basis geometrically.


title: Improvement of Sliding Mode Control Strategy Founded on Cascaded Doubly Fed Induction Generator Powered by a Matrix Converter

abstract: The current paper presents a Sliding Mode Controller (SMC) for indirect field-oriented Cascaded Doubly Fed Induction Generator (CDFIG) powered through a Matrix Converter (MC). The proposed SMC employs a continuous control strategy to accomplish free chattering fractional-order sliding-mode control and to ensure that the control of the first DFIG stator's reactive and active power is separated. An MC is used to control the current provided to the second stator of the CDFIG as an alternative to standard voltage source inverters. The two MCs are controlled via Space-Vector Pulse-Width Modulation (SVPWM) and Indirect Field Oriented Control (IFOC). The proposed Wind Power Generation System (WPGS) is used with the purpose to ensure Maximum Power Point Tracking (MPPT) sensing under various disturbance variables such as turbulent wind. The simulation results prove the efficiency and robustness of the proposed method.


title: The Stranger Things of Symmetric Product Orbifold CFTs

abstract: Symmetric product orbifold theories are valuable due to their universal features at large $N$. Here we will demonstrate that they have features that are not as pervasive: we provide evidence of strange behaviour under deformations within their moduli space. To this end, we consider the symmetric product orbifold of tensor products of $\mathcal{N}=2$ super-Virasoro minimal models, and classify them according to two criteria. The first criterion is the existence of a single-trace twisted exactly marginal operator that triggers the deformation. The second criterion is a sparseness condition on the growth of light states in the elliptic genera. In this context we encounter a strange variety: theories that obey the first criterion but the second criterion falls into a Hagedorn-like growth. We explain why this may be counter-intuitive and discuss how it might be accounted for in conformal perturbation theory. We also find a new infinite class of theories that obey both criteria, which are necessary conditions for each moduli space to contain a supergravity point.


title: Twisted-bilayer FeSe and the Fe-based superlattices

abstract: We derive BM-like continuum models for the bands of superlattice heterostructures formed out of Fe-chalcogenide monolayers: (${\bf\text I}$) a single monolayer experiencing an external periodic potential, and (${\bf\text II}$) twisted bilayers with long-range moire tunneling. A symmetry derivation for the inter-layer moire tunnelling is provided for both the $\Gamma$ and $M$ high-symmetry points. In this paper, we focus on moire bands formed from hole-band maxima centered on $\Gamma$, and show the possibility of moire bands with $C=0$ or $\pm 1$ topological quantum numbers without breaking time-reversal symmetry. In the $C=0$ region for $\theta\rightarrow 0$ (and similarly in the limit of large superlattice period for ${\bf\text I}$), the system becomes a square lattice of 2D harmonic oscillators. We fit our model to FeSe and argue that it is a viable platform for the simulation of the square Hubbard model with tunable interaction strength.


title: Quadratic Programming with Sparsity Constraints via Polynomial Roots

abstract: Quadratically constrained quadratic programs (QCQPs) are an expressive family of optimization problems that occur naturally in many applications. It is often of interest to seek out sparse solutions, where many of the entries of the solution are zero. This paper will consider QCQPs with a single linear constraint, together with a sparsity constraint that requires that the set of nonzero entries of a solution be small. This problem class includes many fundamental problems of interest, such as sparse versions of linear regression and principal component analysis, which are both known to be very hard to approximate. We introduce a family of tractable approximations of such sparse QCQPs using the roots of polynomials which can be expressed as linear combinations of principal minors of a matrix. These polynomials arose naturally from the study of hyperbolic polynomials. Our main contributions are formulations of these approximations and computational methods for finding good solutions to a sparse QCQP. We will also give numerical evidence that these methods can be effective on practical problems.


title: CrossA11y: Identifying Video Accessibility Issues via Cross-modal Grounding

abstract: Authors make their videos visually accessible by adding audio descriptions (AD), and auditorily accessible by adding closed captions (CC). However, creating AD and CC is challenging and tedious, especially for non-professional describers and captioners, due to the difficulty of identifying accessibility problems in videos. A video author will have to watch the video through and manually check for inaccessible information frame-by-frame, for both visual and auditory modalities. In this paper, we present CrossA11y, a system that helps authors efficiently detect and address visual and auditory accessibility issues in videos. Using cross-modal grounding analysis, CrossA11y automatically measures accessibility of visual and audio segments in a video by checking for modality asymmetries. CrossA11y then displays these segments and surfaces visual and audio accessibility issues in a unified interface, making it intuitive to locate, review, script AD/CC in-place, and preview the described and captioned video immediately. We demonstrate the effectiveness of CrossA11y through a lab study with 11 participants, comparing to existing baseline.


title: Collective targeted migrations: a balancing act involving aggregation, group size and environmental clues: a simulation study

abstract: What is behind the \emph{wisdom of the crowds} described by Simons (2004)? It has been showed that insects may use gravitational fields to travel (Dreyer et al 2018) and we may ask whether the use of gravitational fields is enough to secure the arrival of an individual to a relatively narrow spot thousands of kilometers away, as it is the case for example of monarch butterflies, which may travel 4,500 km to land in Mexico within an area of about 1/8 the size of Long Island. Here we show that if individuals budget a fraction of time to seek the target and the rest to maintain aggregation, the chances of landing within a narrow spot even under a weak signal are increased. Our model exhibits the existence of an equilibrium, the tradeoff that comes from maintaining group size, aggregation, and targeting. Whenever this balance is broken, the population may behave erratically. If this strategic balance between targeting and aggregation is prevalent then the possibility of destabilizing may be used to control or regulate the spread of undesirable organisms that navigate under this balancing set of mechanisms.


title: Reheating with Effective Potentials

abstract: We consider reheating for a charged inflaton which is minimally coupled to electromagnetism. The evolution of such an inflaton induces a time-dependent mass for the photon. We show how the massive photon propagator can be expressed as a spatial Fourier mode sum involving three different sorts of mode functions, just like the constant mass case. We develop accurate analytic approximations for these mode functions, and use them to approximate the effective force exerted on the inflaton $0$-mode. This effective force allows one to simply compute the evolution of the inflaton $0$-mode and to follow the progress of reheating.


title: SoK: Content Moderation Schemes in End-to-End Encrypted Systems

abstract: This paper aims to survey various techniques utilized for content moderation in end-to-end encryption systems. We assess the challenging aspect of content moderation: maintaining a safe platform while assuring user privacy. We study the unique features of some content moderation techniques, such as message franking and perceptual hashing, and highlight their limitations. Currently implemented content moderation techniques violate the goals of end-to-end encrypted messaging to some extent. This has led researchers to develop remediations and design new security primitives to make content moderation compatible with end-to-end encryption systems. We detail these developments, analyze the proposed research efforts, assess their security guarantees, correlate them with other proposed solutions, and determine suitable improvements under specific scenarios.


title: Multi-domain Learning for Updating Face Anti-spoofing Models

abstract: In this work, we study multi-domain learning for face anti-spoofing(MD-FAS), where a pre-trained FAS model needs to be updated to perform equally well on both source and target domains while only using target domain data for updating. We present a new model for MD-FAS, which addresses the forgetting issue when learning new domain data, while possessing a high level of adaptability. First, we devise a simple yet effective module, called spoof region estimator(SRE), to identify spoof traces in the spoof image. Such spoof traces reflect the source pre-trained model's responses that help upgraded models combat catastrophic forgetting during updating. Unlike prior works that estimate spoof traces which generate multiple outputs or a low-resolution binary mask, SRE produces one single, detailed pixel-wise estimate in an unsupervised manner. Secondly, we propose a novel framework, named FAS-wrapper, which transfers knowledge from the pre-trained models and seamlessly integrates with different FAS models. Lastly, to help the community further advance MD-FAS, we construct a new benchmark based on SIW, SIW-Mv2 and Oulu-NPU, and introduce four distinct protocols for evaluation, where source and target domains are different in terms of spoof type, age, ethnicity, and illumination. Our proposed method achieves superior performance on the MD-FAS benchmark than previous methods. Our code and newly curated SIW-Mv2 are publicly available.


title: Analyzing Trends in Tor

abstract: The Tor Network has been a significant part of the Internet for years. Tor was originally started in the Naval Research Laboratory for anonymous Internet browsing and Internet-based communication. From being used for anonymous communications, it has now segmented into various other use-cases like censorship circumvention, performing illegal activities, etc. In this paper, we perform empirical measurements on the Tor network to analyze the trends in Tor over the years. We gather our measurements data through our measurement scripts, past research in this domain, and aggregated data provided by the Tor metrics directory. We use this data to analyze trends and understand the incidents that caused fluctuations in the trends of different data parameters. We collect measurements data for Tor parameters like Tor users, onion services, Tor relays, and bridges, etc. We also study censorshiprelated events and study trends by analyzing censorship-related metrics. Finally, we touch upon the location diversity in Tor and study how the Tor circuit selection and construction are impacted by the bandwidth distribution of Tor relays across geographies.


title: Direct Optimisation of $\boldsymbol\lambda$ for HDR Content Adaptive Transcoding in AV1

abstract: Since the adoption of VP9 by Netflix in 2016, royalty-free coding standards continued to gain prominence through the activities of the AOMedia consortium. AV1, the latest open source standard, is now widely supported. In the early years after standardisation, HDR video tends to be under served in open source encoders for a variety of reasons including the relatively small amount of true HDR content being broadcast and the challenges in RD optimisation with that material. AV1 codec optimisation has been ongoing since 2020 including consideration of the computational load. In this paper, we explore the idea of direct optimisation of the Lagrangian $\lambda$ parameter used in the rate control of the encoders to estimate the optimal Rate-Distortion trade-off achievable for a High Dynamic Range signalled video clip. We show that by adjusting the Lagrange multiplier in the RD optimisation process on a frame-hierarchy basis, we are able to increase the Bjontegaard difference rate gains by more than 3.98$\times$ on average without visually affecting the quality.


title: Optimal control of a cavity-mediated iSWAP gate between silicon spin qubits

abstract: Semiconductor spin qubits may be coupled through a superconducting cavity to generate an entangling two-qubit gate. However, the fidelity of such an operation will be reduced by a variety of error mechanisms such as charge and magnetic noise, phonons, cavity loss, transitions to non-qubit states and, for electrons in silicon, excitation into other valley eigenstates. Here, we model the effects of these error sources and the valley degree of freedom on the performance of a cavity-mediated two-qubit iSWAP gate. For valley splittings inadequately large relative to the interdot tunnel coupling within each qubit, we find that valley excitation may be a limiter to the fidelity of this two-qubit gate. In addition, we show tradeoffs between gating times and exposure to various error sources, identifying optimal operating regimes and device improvements that would have the greatest impact on the fidelity of the cavity-mediated spin iSWAP. Importantly, we find that while the impact of charge noise and phonon relaxation favor operation in the regime where the qubits are most spin-like to reduce sensitivity to these sources of noise, the combination of hyperfine noise and valley physics shifts the optimal regime to charge-like qubits with stronger effective spin-photon coupling so that gate times can be made as short as possible. In this regime, the primary limitation is the need to avoid Landau-Zener transitions as the gate is implemented.


title: Strong XOR Lemma for Communication with Bounded Rounds

abstract: In this paper, we prove a strong XOR lemma for bounded-round two-player randomized communication. For a function $f:\mathcal{X}\times \mathcal{Y}\rightarrow\{0,1\}$, the $n$-fold XOR function $f^{\oplus n}:\mathcal{X}^n\times \mathcal{Y}^n\rightarrow\{0,1\}$ maps $n$ input pairs $(X_1,\ldots,X_n,Y_1,\ldots,Y_n)$ to the XOR of the $n$ output bits $f(X_1,Y_1)\oplus \cdots \oplus f(X_n, Y_n)$. We prove that if every $r$-round communication protocols that computes $f$ with probability $2/3$ uses at least $C$ bits of communication, then any $r$-round protocol that computes $f^{\oplus n}$ with probability $1/2+\exp(-O(n))$ must use $n\cdot \left(r^{-O(r)}\cdot C-1\right)$ bits. When $r$ is a constant and $C$ is sufficiently large, this is $\Omega(n\cdot C)$ bits. It matches the communication cost and the success probability of the trivial protocol that computes the $n$ bits $f(X_i,Y_i)$ independently and outputs their XOR, up to a constant factor in $n$. A similar XOR lemma has been proved for $f$ whose communication lower bound can be obtained via bounding the discrepancy [Shaltiel'03]. By the equivalence between the discrepancy and the correlation with $2$-bit communication protocols [Viola-Wigderson'08], our new XOR lemma implies the previous result.


title: Convergence at infinity for solutions of nonhomogeneous degenerate elliptic equations in exterior domains

abstract: In this work, first we prove that for any compact set $K\subset\mathbb{R}^{n}$ and any continuous function $\phi$ defined on $\partial K$, there exists a bounded weak solution in $C(\bar{\mathbb{R}^{n}\backslash K}) \cap C^1(\mathbb{R}^{n}\backslash K)$ to the exterior Dirichlet problem $$ \begin{cases} -{\rm div}\big(\,|\nabla u|^{p-2}A(\,|\nabla u|\,)\nabla u\,\big)=f & \text{ in }\, \mathbb{R}^n \backslash K \;\;\;\;\;\; u = \phi & \text{ on } \partial K \end{cases} $$ provided $p > n$, $A$ satisfies some growth conditions and $f\in L^{\infty}(\mathbb{R}^n)$ meets a suitable pointwise decay rate. We obtain thereafter the existence of the limit at the infinity for solutions to this problem, for any $p\in(1,+\infty)$ and $n\geq2$. Moreover, for $p > n$ we can show that the solutions converge at some rate and for $p <n$ the convergence holds even for some unbounded $f$.


title: An approximate solution to Erd\"os' maximum modulus points problem

abstract: In this note we investigate the asymptotic behavior of the number of maximum modulus points, of an entire function, sitting in a disc of radius $r$. In 1964, Erd\Humlaut{o}s asked whether there exists a non-monomial function so that this quantity is unbounded? tends to infinity? In 1968 Herzog and Piranian constructed an entire map for which it is unbounded. Nevertheless, it is still unknown today whether it is possible that it tends to infinity or not. In this paper, we construct a transcendental entire function that is arbitrarily close to satisfying this property, thereby giving the strongest evidence supporting a positive answer to this question.


title: A coupled FE-RRM-based numerical model for analysis of energy transmission loss through stiffened double-wall panel due to TBL excitation

abstract: We propose a fully coupled numerical model to predict energy transmission through a turbulent boundary layer (TBL) excited stiffened double-leaf flexible aircraft panel using a finite element (FE) framework. Mindlin first order shear deformation model is adopted for the panels and a TBL-structure-acoustic coupling model is developed using finite element-radiation resistance matrix (FE-RRM) approach to predict the transmission loss (TL) through double-leaf panels with variable thickness and stiffener orientation. The model is also capable to capture the contribution of orthotropic lamina sequence and frequency-dependent structural damping in predicting the TL. Thus, a new numerical model is proposed that enables the designers with greater flexibility in terms of the number of panel leaves, boundary, and stiffening condition of the aircraft panel-cavity-panel system, made of isotropic or orthotropic laminates.


title: Birational rowmotion on a rectangle over a noncommutative ring

abstract: We extend the periodicity of birational rowmotion for rectangular posets to the case when the base field is replaced by a noncommutative ring (under appropriate conditions). This resolves a conjecture from 2014. The proof uses a novel approach and is fully self-contained. Consider labellings of a finite poset $P$ by $\left|P\right| + 2$ elements of a ring $\mathbb{K}$: one label associated with each poset element and two constant labels for the added top and bottom elements in $\hat{P}$. *Birational rowmotion* is a partial map on such labellings. It was originally defined by Einstein and Propp for $\mathbb{K}=\mathbb{R}$ as a lifting (via detropicalization) of *piecewise-linear rowmotion*, a map on the order polytope $\mathcal{O}(P) := \{\text{order-preserving } f: P \to[0,1]\}$. The latter, in turn, extends the well-studied rowmotion map on the set of order ideals (or more properly, the set of order filters) of $P$, which correspond to the vertices of $\mathcal{O}(P)$. Dynamical properties of these combinatorial maps sometimes (but not always) extend to the birational level, while results proven at the birational level always imply their combinatorial counterparts. Allowing $\mathbb{K}$ to be noncommutative, we generalize the birational level even further, and some properties are in fact lost at this step. In 2014, the authors gave the first proof of periodicity for birational rowmotion on rectangular posets (when $P$ is a product of two chains) for $\mathbb{K}$ a field, and conjectured that it survives (in an appropriately twisted form) in the noncommutative case. In this paper, we prove this noncommutative periodicity and a concomitant antipodal reciprocity formula. We end with some conjectures about periodicity for other posets, and the question of whether our results can be extended to (noncommutative) semirings.


title: An efficient and energy decaying discontinuous Galerkin method for Maxwell's equations for the Cole-Cole dispersive medium

abstract: In this work, we investigate the propagation of electromagnetic waves in the Cole-Cole dispersive medium by using the discontinuous Galerkin (DG) method to solve the coupled time-domain Maxwell's equations and polarization equation. We define a new and sharpened total energy function for the Cole-Cole model, which better describes the behaviors of the energy than what is available in the current literature. A major theme in the time-domain numerical modeling of this problem has been tackling the difficulty of handling the nonlocal term involved in the time-domain polarization equation. Based on the diffusive representation and the quadrature formula, we derive an approximate system, where the convolution kernel is replaced by a finite number of auxiliary variables that satisfy local-in-time ordinary differential equations. To ensure the resulted approximate system is stable, a nonlinear constrained optimization numerical scheme is established to determine the quadrature coefficients. By a special choice of the numerical fluxes and projections, we obtain {for the constant coefficient case } an optimal-order convergence result for the semi-discrete DG scheme. The temporal discretization is achieved by the standard two-step backward difference formula and a fast algorithm with linear complexity is constructed. Numerical examples are provided for demonstrating the efficiency of the proposed algorithm, validating the theoretical results and illustrating the behaviors of the energy.


title: Sparse Polynomial Optimization: Theory and Practice

abstract: The problem of minimizing a polynomial over a set of polynomial inequalities is an NP-hard non-convex problem. Thanks to powerful results from real algebraic geometry, one can convert this problem into a nested sequence of finite-dimensional convex problems. At each step of the associated hierarchy, one needs to solve a fixed size semidefinite program, which can be in turn solved with efficient numerical tools. On the practical side however, there is no-free lunch and such optimization methods usually encompass severe scalability issues. Fortunately, for many applications, we can look at the problem in the eyes and exploit the inherent data structure arising from the cost and constraints describing the problem, for instance sparsity or symmetries. This book presents several research efforts to tackle this scientific challenge with important computational implications, and provides the development of alternative optimization schemes that scale well in terms of computational complexity, at least in some identified class of problems. The presented algorithmic framework in this book mainly exploits the sparsity structure of the input data to solve large-scale polynomial optimization problems. We present sparsity-exploiting hierarchies of relaxations, for either unconstrained or constrained problems. By contrast with the dense hierarchies, they provide faster approximation of the solution in practice but also come with the same theoretical convergence guarantees. Our framework is not restricted to static polynomial optimization, and we expose hierarchies of approximations for values of interest arising from the analysis of dynamical systems. We also present various extensions to problems involving noncommuting variables, e.g., matrices of arbitrary size or quantum physic operators.


title: Instability and spectrum of the linearized two-phase fluids interface problem at shear flows

abstract: This paper is concerned with the 2-dim two-phase interface Euler equation linearized at a pair of monotone shear flows in both fluids. We extend the Howard's Semicircle Theorem and study the eigenvalue distribution of the linearized Euler system. Under certain conditions, there are exactly two eigenvalues for each fixed wave number $k\in \mathbb{R}$ in the whole complex plane. We provide sufficient conditions for spectral instability arising from some boundary values of the shear flow velocity. A typical mode is the ocean-air system in which the density ratio of the fluids is sufficiently small. We give a complete picture of eigenvalue distribution for a certain class of shear flows in the ocean-air system.


title: The Moisture-Convection Feedback Can Lead to Spontaneous Tropical Cyclogenesis

abstract: In contrast to prevailing knowledge, Ram\'irez Reyes and Yang (2021) showed that tropical cyclones (TCs) can form spontaneously without moisture-radiation and surface-flux feedbacks in a cloud-resolving model (CRM) simulation. Here we ask, why? Thirteen 3D cloud-resolving simulations show that the moisture-convection (MC) feedback can effectively lead to spontaneous TC genesis and intensification in the absence of radiative and surface-flux feedbacks. In the MC feedback, a moister environment favors new deep convective events that further moisten the environment, leading to aggregation of deep convection. The impact of the MC feedback on TC genesis and intensification occurs in two distinct time scales: a short time scale set by detrainment moistening the environment (a few hours) and a long time scale (17 days) due to subsidence drying. The hours-long time scale of detrainment suggests that the MC feedback is an efficient process relevant to TC genesis in the real world.


title: Classifying rational G-spectra for profinite G

abstract: For G an arbitrary profinite group, we construct an algebraic model for rational G-spectra in terms of G-equivariant sheaves over the space of subgroups of G. This generalises the known case of finite groups to a much wider class of topological groups, and improves upon earlier work of the first author on the case where G is the p-adic integers. As the purpose of an algebraic model is to allow one to use homological algebra to study questions of homotopy theory, we prove that the homological dimension (injective dimension) of the algebraic model is determined by the Cantor--Bendixson rank of the space of closed subgroups of the profinite group G. This also provides a calculation of the homological dimension of the category of rational Mackey functors.


title: Notes on Ramond-Ramond spinors and bispinors in double field theory

abstract: The Ramond-Ramond sector of double field theory (DFT) can be described either as an O(D,D) spinor or an O(D-1,1) x O(1,D-1) bispinor. Both formulations may be related to the standard polyform expansion in terms of even or odd rank field strengths corresponding to IIA or IIB duality frames. The spinor approach is natural in a (bosonic) metric formulation of DFT, while the bispinor is indispensable for supersymmetric DFT. In these notes, we show how these two approaches may be covariantly connected using a spinorial version of the DFT vielbein, which flattens an O(D,D) spinor into a bispinor. We also elaborate on details of the bispinor formulation in both even and odd D and elaborate on the distinction between the IIA/IIB/IIA*/IIB* duality frames.


title: Cyber-resilient Automatic Generation Control for Systems of AC Microgrids

abstract: In this paper we propose a co-design of the secondary frequency regulation in systems of AC microgrids and its cyber securty solutions. We term the secondary frequency regulator a Micro-Automatic Generation Control (Micro-AGC) for highlighting its same functionality as the AGC in bulk power systems. We identify sensory challenges and cyber threats facing the Micro-AGC. To address the sensory challenges, we introduce a new microgrid model by exploiting the rank-one deficiency property of microgrid dynamics. This model is used to pose an optimal Micro-AGC control problem that is easily implemented, because it does not require fast frequency measurements. An end-to-end cyber security solution to the False Data Injection (FDI) attack detection and mitigation is developed for the proposed Micro-AGC. The front-end barrier of applying off-the-shelf algorithms for cyber attack detection is removed by introducing a data-driven modeling approach. Finally, we propose an observer-based corrective control for an islanded microgrid and a collaborative mitigation schemes in systems of AC microgrids. We demonstrate a collaborative role of systems of microgrids during cyber attacks. The performance of the proposed cyber-resilient Micro-AGC is tested in a system of two networked microgrids.


title: Identifying Galaxy Mergers in Simulated CEERS NIRCam Images using Random Forests

abstract: Identifying merging galaxies is an important - but difficult - step in galaxy evolution studies. We present random forest classifications of galaxy mergers from simulated JWST images based on various standard morphological parameters. We describe (a) constructing the simulated images from IllustrisTNG and the Santa Cruz SAM, and modifying them to mimic future CEERS observations as well as nearly noiseless observations, (b) measuring morphological parameters from these images, and (c) constructing and training the random forests using the merger history information for the simulated galaxies available from IllustrisTNG. The random forests correctly classify $\sim60\%$ of non-merging and merging galaxies across $0.5 < z < 4.0$. Rest-frame asymmetry parameters appear more important for lower redshift merger classifications, while rest-frame bulge and clump parameters appear more important for higher redshift classifications. Adjusting the classification probability threshold does not improve the performance of the forests. Finally, the shape and slope of the resulting merger fraction and merger rate derived from the random forest classifications match with theoretical Illustris predictions, but are underestimated by a factor of $\sim 0.5$.


title: Identification of the heterogeneous conductivity in an inverse heat conduction problem

abstract: This work deals with the problem of determining a non-homogeneous heat conductivity profile in a steady-state heat conduction boundary-value problem with mixed Dirichlet-Neumann boundary conditions over a bounded domain in $\mathbb{R}^n$, from the knowledge of the state over the whole domain. We develop a method based on a variational approach leading to an optimality equation which is then projected into a finite dimensional space. Discretization yields a linear although severely ill-posed equation which is then regularized via appropriate ad-hoc penalizers resulting a in a generalized Tikhonov-Phillips functional. No smoothness assumptions are imposed on the conductivity. Numerical examples for the case in which the conductivity can take only two prescribed values (a two-materials case) show that the approach is able to produce very good reconstructions of the exact solution.


title: Ad hoc test functions for homogenization of compressible viscous fluid with application to the obstacle problem in dimension two

abstract: In this paper we highlight a set of ad hoc test functions to study the homogenization of viscous compressible fluid in domains with tiny holes. This set of functions allows to improve previous results in dimensions two and three. As an application we show that the presence of a small obstacle does not influence the dynamics of a viscous compressible fluid in dimension two.


title: Evolutionary Quantum Architecture Search for Parametrized Quantum Circuits

abstract: Recent advancements in quantum computing have shown promising computational advantages in many problem areas. As one of those areas with increasing attention, hybrid quantum-classical machine learning systems have demonstrated the capability to solve various data-driven learning tasks. Recent works show that parameterized quantum circuits (PQCs) can be used to solve challenging reinforcement learning (RL) tasks with provable learning advantages. While existing works yield potentials of PQC-based methods, the design choices of PQC architectures and their influences on the learning tasks are generally underexplored. In this work, we introduce EQAS-PQC, an evolutionary quantum architecture search framework for PQC-based models, which uses a population-based genetic algorithm to evolve PQC architectures by exploring the search space of quantum operations. Experimental results show that our method can significantly improve the performance of hybrid quantum-classical models in solving benchmark reinforcement problems. We also model the probability distributions of quantum operations in top-performing architectures to identify essential design choices that are critical to the performance.


title: Doc2Graph: a Task Agnostic Document Understanding Framework based on Graph Neural Networks

abstract: Geometric Deep Learning has recently attracted significant interest in a wide range of machine learning fields, including document analysis. The application of Graph Neural Networks (GNNs) has become crucial in various document-related tasks since they can unravel important structural patterns, fundamental in key information extraction processes. Previous works in the literature propose task-driven models and do not take into account the full power of graphs. We propose Doc2Graph, a task-agnostic document understanding framework based on a GNN model, to solve different tasks given different types of documents. We evaluated our approach on two challenging datasets for key information extraction in form understanding, invoice layout analysis and table detection. Our code is freely accessible on https://github.com/andreagemelli/doc2graph.