title: Improving Blockchain Scalability with the Setchain Data-type

abstract: Blockchain technologies are facing a scalability challenge, which must be overcome to guarantee a wider adoption of the technology. This scalability issue is due to the use of consensus algorithms to guarantee the total order of the chain of blocks and of the transactions within each block. However, total order is often not fully necessary, since important advanced applications of smart-contracts do not require a total order among all operations. A much higher scalability can potentially be achieved if a more relaxed order can be exploited. In this paper, we propose a novel distributed concurrent data type, called Setchain, which improves scalability significantly. A Setchain implements a grow-only set whose elements are not ordered, unlike conventional blockchain operations. When convenient, the Setchain allows forcing a synchronization barrier that assigns permanently an epoch number to a subset of the latest elements added, agreed by consensus. Therefore, two operations in the same epoch are not ordered, while two operations in different epochs are ordered by their respective epoch number. We present different Byzantine-tolerant implementations of Setchain, prove their correctness and report on an empirical evaluation of a prototype implementation. Our results show that Setchain is orders of magnitude faster than consensus-based ledgers, since it implements grow-only sets with epoch synchronization instead of total order. Since Setchain barriers can be synchronized with the underlying blockchain, Setchain objects can be used as a sidechain to implement many decentralized solutions with much faster operations than direct implementations on top of blockchains. Finally, we also present an algorithm that encompasses in a single process the combined behavior of Byzantine servers, which simplifies correctness proofs by encoding the general attacker in a concrete implementation.


title: Thermofluid topology optimization for cooling channel design

abstract: A framework for topology optimization of cooling channels is proposed, which paves the way towards automated design of additively-manufactured cooling channels, required in applications such as the efficient heat management of die casting molds. Combining a selection of pertinent techniques and methods, the proposed density-based approach is strengthened by systematic verification and validation steps, including the body-fitted meshing of an optimized design. Furthermore, this work features applications to simplified, yet industrially-relevant cases, as well as a detailed discussion of the effects of the hyper-parameters of the optimization problem. These enable the reader to acquire a better understanding of the control and regularization mechanisms, which are necessary for a robust development towards complex scenarios.


title: Aging effects in critical behavior of Heisenberg anisotropic ultrathin films

abstract: We present the results of Monte-Carlo studies of the non-equilibrium properties of ferromagnetic Heisenberg films. Aging effects were observed in non-equilibrium critical behavior. The calculations were carried out for both high-temperature and low-temperature initial states. The characteristic correlation time, which diverges at the transition temperature in the thermodynamic limit, was obtained as a function of system size and waiting time.


title: An $O(\log k)$-Approximation for Directed Steiner Tree in Planar Graphs

abstract: We present an $O(\log k)$-approximation for both the edge-weighted and node-weighted versions of \DST in planar graphs where $k$ is the number of terminals. We extend our approach to \MDST (in general graphs \MDST and \DST are easily seen to be equivalent but in planar graphs this is not the case necessarily) in which we get an $O(R+\log k)$-approximation for planar graphs for where $R$ is the number of roots.


title: Newton's Method for Global Free Flight Trajectory Optimization

abstract: Globally optimal free flight trajectory optimization can be achieved with a combination of discrete and continuous optimization. A key requirement is that Newton's method for continuous optimization converges in a sufficiently large neighborhood around a minimizer. We show in this paper that, under certain assumptions, this is the case.


title: Quantum Advantage from One-Way Functions

abstract: We demonstrate quantum advantage with several basic assumptions, specifically based on only the existence of OWFs. We introduce inefficient-verifier proofs of quantumness (IV-PoQ), and construct it from classical bit commitments. IV-PoQ is an interactive protocol between a verifier and a quantum prover consisting of two phases. In the first phase, the verifier is probabilistic polynomial-time, and it interacts with the prover. In the second phase, the verifier becomes inefficient, and makes its decision based on the transcript of the first phase. If the prover is honest, the inefficient verifier accepts with high probability, but any classical malicious prover only has a small probability of being accepted by the inefficient verifier. Our construction demonstrates the following results: (1)If one-way functions exist, then IV-PoQ exist. (2)If distributional collision-resistant hash functions exist (which exist if hard-on-average problems in $\mathbf{SZK}$ exist), then constant-round IV-PoQ exist. We also demonstrate quantum advantage based on worst-case-hard assumptions. We define auxiliary-input IV-PoQ (AI-IV-PoQ) that only require that for any malicious prover, there exist infinitely many auxiliary inputs under which the prover cannot cheat. We construct AI-IV-PoQ from an auxiliary-input version of commitments in a similar way, showing that (1)If auxiliary-input one-way functions exist (which exist if $\mathbf{CZK}\not\subseteq\mathbf{BPP}$), then AI-IV-PoQ exist. (2)If auxiliary-input collision-resistant hash functions exist (which is equivalent to $\mathbf{PWPP}\nsubseteq \mathbf{FBPP}$) or $\mathbf{SZK}\nsubseteq \mathbf{BPP}$, then constant-round AI-IV-PoQ exist.


title: A possible phase and dynamical transition in a three-dimensional Electron Glass

abstract: Using mean-field approximations, this paper identifies a phase transition in a three-dimensional Electron Glass lattice model. The density of states of the eigenvalue distribution of the inverse susceptibility matrix is used to identify the possibility of a phase transition. In the thermodynamic limit, the eigenvalue spectrum appears to extend to zero as $T \approx T_{c}$. To determine the dynamical relaxation laws near the transition temperature, we use the eigenvalue distribution of the linear dynamical matrix. Our analysis distinguishes between the phenomenon of phase transition and slow dynamics.


title: Mission Planning and Execution in Heterogeneous Teams of Aerial Robots supporting Power Line Inspection Operations

abstract: A software architecture aimed at coordinating a team of heterogeneous aerial vehicles for inspection and maintenance operations in high-voltage power line scenarios is presented in this paper. A hierarchical approach deals with high-level tasks by planning and executing complex missions requiring vehicles to support human operators. A resource-constrained problem allows distributing tasks among the team taking into account vehicles' capabilities and battery constraints. Besides, Behavior Trees (BTs) are in charge of mission execution, triggering replanning operations in case of unforeseen events, such as vehicle faults or communication drop-outs. The feasibility and validity of the approach are showcased through realistic simulations achieved in Gazebo.


title: Benchmarks for Automated Commonsense Reasoning: A Survey

abstract: More than one hundred benchmarks have been developed to test the commonsense knowledge and commonsense reasoning abilities of artificial intelligence (AI) systems. However, these benchmarks are often flawed and many aspects of common sense remain untested. Consequently, we do not currently have any reliable way of measuring to what extent existing AI systems have achieved these abilities. This paper surveys the development and uses of AI commonsense benchmarks. We discuss the nature of common sense; the role of common sense in AI; the goals served by constructing commonsense benchmarks; and desirable features of commonsense benchmarks. We analyze the common flaws in benchmarks, and we argue that it is worthwhile to invest the work needed ensure that benchmark examples are consistently high quality. We survey the various methods of constructing commonsense benchmarks. We enumerate 139 commonsense benchmarks that have been developed: 102 text-based, 18 image-based, 12 video based, and 7 simulated physical environments. We discuss the gaps in the existing benchmarks and aspects of commonsense reasoning that are not addressed in any existing benchmark. We conclude with a number of recommendations for future development of commonsense AI benchmarks.


title: Efficient displacement convex optimization with particle gradient descent

abstract: Particle gradient descent, which uses particles to represent a probability measure and performs gradient descent on particles in parallel, is widely used to optimize functions of probability measures. This paper considers particle gradient descent with a finite number of particles and establishes its theoretical guarantees to optimize functions that are \emph{displacement convex} in measures. Concretely, for Lipschitz displacement convex functions defined on probability over $\mathbb{R}^d$, we prove that $O(1/\epsilon^2)$ particles and $O(d/\epsilon^4)$ computations are sufficient to find the $\epsilon$-optimal solutions. We further provide improved complexity bounds for optimizing smooth displacement convex functions. We demonstrate the application of our results for function approximation with specific neural architectures with two-dimensional inputs.


title: Stochastic switching of delayed feedback suppresses oscillations in genetic regulatory systems

abstract: Delays and stochasticity have both served as crucially valuable ingredients in mathematical descriptions of control, physical, and biological systems. In this work, we investigate how explicitly dynamical stochasticity in delays modulates the effect of delayed feedback. To do so, we consider a hybrid model where stochastic delays evolve by a continuous-time Markov chain, and between switching events, the system of interest evolves via a deterministic delay equation. Our main contribution is the calculation of an effective delay equation in the fast switching limit. This effective equation maintains the influence of all subsystem delays and cannot be replaced with a single effective delay. To illustrate the relevance of this calculation, we investigate a simple model of stochastically switching delayed feedback motivated by gene regulation. We show that sufficiently fast switching between two oscillatory subsystems can yield stable dynamics.


title: Fermat's Last Theorem, Schur's Theorem (in Ramsey Theory), and the Infinitude of the Primes

abstract: Alpoge and Granville (separately) gave novel proofs that the primes are infinite that use Ramsey Theory. In particular, they use Van der Waerden's Theorem and some number theory. We prove the primes are infinite using an easier theorem from Ramsey Theory, namely Schur's Theorem, and some number theory (Elsholtz independently obtained the same proof that the primes were infinite). In particular, we use the n=3 case of Fermat's last theorem. We also apply our method to show other domains have an infinite number of irreducibles.


title: Strengthening of Mg-Al-Ca alloys with C15 and C36 Laves phases

abstract: The Laves phase skeleton in cast Mg-Al-Ca alloys is known to provide considerable strengthening. Laves phases such as CaMg$_2$ (C14), Ca(Al,Mg)$_2$ (C36), and CaAl2 (C15) have high melting points, high hardness at room and elevated temperatures, but unfortunately are inherently brittle. Mg-Al-Ca alloys thus have good creep properties but limited ductility. An understanding of the co-deformation behaviour of $\alpha$-Mg and Laves phases is essential for optimising the strength-ductility balance of these alloys. Here, we study the mechanical behaviour of a Mg-4.65Al-2.82Ca alloy using micropillar compression in the $\alpha$-Mg matrix, at $\alpha$-Mg/C36 and $\alpha$-Mg/C15 interfaces and in the C15 phase in combination with scanning electron microscopy (SE imaging), electron backscatter diffraction (EBSD), transmission Kikuchi diffraction (TKD), and low-kV scanning transmission electron microscopy (STEM). We show that both, C15 and C36, Laves phases provide considerable strengthening to the $\alpha$-Mg matrix by delaying the onset of basal slip and extension twinning, while only the C36 phase appears to allow a certain extent of slip transfer/ plastic co-deformation, in spite of its greater anisotropy compared with the cubic C15 phase. We therefore conclude based on these results that strengthening of the $\alpha$-Mg matrix by the C36 Laves phase is preferable given that it combines easy skeleton formation with some co-deformation and considerable stability at common application temperatures of magnesium alloys.


title: An In-Depth Look at TOI-3884b: a Super-Neptune Transiting a M4 Dwarf with Persistent Star Spot Crossings

abstract: We perform an in-depth analysis of the recently validated TOI-3884 system, an M4 dwarf star with a transiting super-Neptune. Using high precision light curves obtained with the 3.5 m Apache Point Observatory and radial velocity observations with the Habitable-zone Planet Finder (HPF), we derive a planetary mass of 32.6 +7.3 -7.4 Earth Masses and radius of 6.4 +/- 0.2 Earth Radii. We detect a distinct star spot crossing event occurring just after ingress and spanning half the transit for every transit. We determine this spot feature to be wavelength-dependent with the amplitude and duration evolving slightly over time. Best-fit star spot models show that TOI-3884b possesses a misaligned ($\lambda$ = 75 +\- 10 degrees) orbit which crosses a giant pole-spot. This system presents a rare opportunity for studies into the nature of both a misaligned super-Neptune and spot evolution on an active mid-M dwarf.


title: Quasi-2D Fermi surface in the anomalous superconductor UTe2

abstract: The heavy fermion paramagnet UTe$_2$ exhibits numerous characteristics of spin-triplet superconductivity. Efforts to understand the microscopic details of this exotic superconductivity have been impeded by uncertainty regarding the underlying electronic structure. Here we directly probe the Fermi surface of UTe$_2$ by measuring magnetic quantum oscillations in pristine quality crystals. We find an angular profile of quantum oscillatory frequency and amplitude that is characteristic of a quasi-2D Fermi surface, which we find is well described by two cylindrical Fermi sheets of electron- and hole-type respectively. Additionally, we find that both cylindrical Fermi sheets possess considerable undulation but negligible small-scale corrugation, which may allow for their near-nesting and therefore promote magnetic fluctuations that enhance the triplet pairing mechanism. Importantly, we find no evidence for the presence of any 3D Fermi surface sections. Our results place strong constraints on the possible symmetry of the superconducting order parameter in UTe$_2$.


title: Robust and Scalable Bayesian Online Changepoint Detection

abstract: This paper proposes an online, provably robust, and scalable Bayesian approach for changepoint detection. The resulting algorithm has key advantages over previous work: it provides provable robustness by leveraging the generalised Bayesian perspective, and also addresses the scalability issues of previous attempts. Specifically, the proposed generalised Bayesian formalism leads to conjugate posteriors whose parameters are available in closed form by leveraging diffusion score matching. The resulting algorithm is exact, can be updated through simple algebra, and is more than 10 times faster than its closest competitor.


title: Spark Discharge Generator as a Stable and Reliable Nanoparticle Synthesis Device: Analysis of the Impact of Process and Circuit Variables on the Characteristics of Synthesized Nanoparticles

abstract: Nanotechnology offers the promise of harnessing quantum properties not available in the bulk phase. These desirable properties are highly dependent on size and composition. Generators that control these variables are therefore essential for progress in the field. The spark discharge generator (SDG) is an outstanding aerosol route for nanoparticle synthesis, which stands out due to its fast kinetics, scalability, high purity, accuracy and reproducibility with the added advantage of allowing the synthesis of nanoparticles of any conducting material. These advantages are a consequence of its vast heating and cooling rates, its intrinsic and easily controllable electronic variables at the reach of a click. However, the mechanistic impact of these variables on the actual aerosol generated is still not fully understood. In this work, we constructed an SDG and systematically studied its behavior with particular interest in the effect that resistance, capacitance, inductance, flow rate, gap separation and current have on the electrical behavior of the spark. Our model system produced primarily Fe and Cu nanoparticles with measured concentrations. We discuss how the spark influences particle size and number concentration and provide useful correlations that link dependent with independent variables. Remarkably, a finite resistance produces a maximum in the output of the generated aerosols. This suggests a direct link between RLC properties of the circuit and cabling into the frequency of the spark, and nanoparticle number concentration, indicating potential for exploiting such behavior towards maximizing nanoparticle generation. Furthermore, we discuss a link between spark oscillations and energy release with its consequent aerosol generation.


title: Toolformer: Language Models Can Teach Themselves to Use Tools

abstract: Language models (LMs) exhibit remarkable abilities to solve new tasks from just a few examples or textual instructions, especially at scale. They also, paradoxically, struggle with basic functionality, such as arithmetic or factual lookup, where much simpler and smaller models excel. In this paper, we show that LMs can teach themselves to use external tools via simple APIs and achieve the best of both worlds. We introduce Toolformer, a model trained to decide which APIs to call, when to call them, what arguments to pass, and how to best incorporate the results into future token prediction. This is done in a self-supervised way, requiring nothing more than a handful of demonstrations for each API. We incorporate a range of tools, including a calculator, a Q\&A system, two different search engines, a translation system, and a calendar. Toolformer achieves substantially improved zero-shot performance across a variety of downstream tasks, often competitive with much larger models, without sacrificing its core language modeling abilities.


title: The Josephson junction as a quantum engine

abstract: We treat the Cooper pairs in the superconducting electrodes of a Josephson junction (JJ) as an open system, coupled via Andreev scattering to external baths of electrons. The disequilibrium between the baths generates the direct-current bias applied to the JJ. In the weak-coupling limit we obtain a Markovian master equation that provides a simple dynamical description consistent with the main features of the JJ, including the form of the current-voltage characteristic, its hysteresis, and the appearance under periodic voltage driving of discrete Shapiro steps. For small dissipation, our model also exhibits a self-oscillation of the JJ's electrical dipole with frequency $\Omega = 2 e V / \hbar$ around mean voltage $V$. This self-oscillation, associated with "hidden attractors" of the nonlinear equations of motion, explains the observed production of monochromatic radiation with frequency $\Omega$ and its harmonics. We argue that this picture of the JJ as a quantum engine resolves open questions about the Josephson effect as an irreversible process and could open new perspectives in quantum thermodynamics and in the theory of dynamical systems.


title: On Sampling with Approximate Transport Maps

abstract: Transport maps can ease the sampling of distributions with non-trivial geometries by transforming them into distributions that are easier to handle. The potential of this approach has risen with the development of Normalizing Flows (NF) which are maps parameterized with deep neural networks trained to push a reference distribution towards a target. NF-enhanced samplers recently proposed blend (Markov chain) Monte Carlo methods with either (i) proposal draws from the flow or (ii) a flow-based reparametrization. In both cases, the quality of the learned transport conditions performance. The present work clarifies for the first time the relative strengths and weaknesses of these two approaches. Our study concludes that multimodal targets can be reliably handled with flow-based proposals up to moderately high dimensions. In contrast, methods relying on reparametrization struggle with multimodality but are more robust otherwise in high-dimensional settings and under poor training. To further illustrate the influence of target-proposal adequacy, we also derive a new quantitative bound for the mixing time of the Independent Metropolis-Hastings sampler.


title: Exploring the $\tau$ polarization in $B\to X\tau\bar\nu$ along different axes

abstract: The $\tau$ polarization in semileptonic $B$ decays provides probes of new physics complementary to decay rate distributions of the three-body final state. Prior calculations for inclusive decays used a definition for the polarization axis that is different from the choice used in calculations (and the only measurement) for exclusive channels. To compare inclusive and exclusive predictions, we calculate the $\tau$ polarization in inclusive $B\to X\tau\bar\nu$ using the same choice as in the exclusive decays, and construct a sum rule relating the inclusive $\tau$ polarization to a weighted sum of exclusive decay polarizations. We use this relation, experimental data, and theoretical predictions for the decays to the lightest charm or up-type hadrons to make predictions for excited channels.


title: Global Stability of a PDE-ODE model for acid-mediated tumor invasion

abstract: In this paper, we study the global dynamics of a general reaction-diffusion model based on acid-mediated invasion hypothesis, which is a candidate explanation for the Warburg effect. A key feature of this model is the density-limited tumor diffusion term for tumor cells, which might give rise to the degeneracy of the parabolic equation. Our theoretical results characterize the effects of acid resistance and mutual competition of healthy cells and tumor cells on tumor progression in the long term, i.e., whether the healthy cells and tumor cells coexist or the tumor cells prevail after tumor invasion. The approach relies on the construction of suitable Lyapunov functionals and upper/lower solutions.


title: Interference and reflection from the event horizon of a quantum corrected black hole

abstract: In this work, we calculate the Hawking temperature for a quantum corrected black hole geometry using the $reflection$ $from$ $the$ $horizon$ method. We observe that quantum gravity corrections indeed show up in the Hawking temperature formula of the quantum corrected black hole. It is important to notice that the quantum gravity corrections arise in the Hawking temperature formula only due to the underlying quantum gravity corrections to the lapse function of the black hole metric rather than the semi-classical methods used in the analysis. We also substantiate our result by computing the Hawking temperature using the tunneling approach.


title: Subhomogeneous Operator Systems and Classification of Operator Systems Generated by $\Lambda$-Commuting Unitaries

abstract: A unital $C^*$-algebra is called $N$-subhomogeneous if its irreducible representations are finite dimensional with dimension at most $N$. We extend this notion to operator systems, replacing irreducible representations by boundary representations. This is done by considering the matrix state space associated with an operator system and identifying the boundary representations as absolute matrix extreme points. We show that two $N$-subhomogeneous operator systems are completely order equivalent if and only if they are $N$-order equivalent. Moreover, we show that a unital $N$-positive map into a finite dimensional $N$-subhomogeneous operator system is completely positive. We apply these tools to classify pairs of $q$-commuting unitaries up to $*$-isomorphism. Similar results are obtained for operator systems related to higher dimensional non-commutative tori.


title: SpectraPy: a Python library for spectroscopic data reduction

abstract: SpectraPy is an Astropy affiliated package for spectroscopic data reduction. It collects algorithms and methods for data reduction of astronomical spectra obtained by through-slits spectrographs. It has been created to fill the gap in Astropy between the already existing data handling libraries and those for spectra analysis. SpectraPy combines Astropy facilities with SAOImageDS9 features, providing a set of tools for spectra calibration and 2D extraction. It starts from raw frames, and using configuration files which describe the optical setup of the instrument, it automatically locates and extracts 2D spectra that have been wavelength calibrated and corrected by distortions. The library is designed to be spectrograph-independent and can be used on both longslit and multi object spectrograph data. It comes with a set of ready-to-use configuration files for the LBT-LUCI and LBT-MODS spectrographs, but it can be configured for data reduction of other through-slits spectrographs. In the future I plan to extend SpectraPy to achieve a full data reduction for both through-slit and fiber fed spectrographs.


title: High-repetition-rate solid tape target delivery system for ultra-intense laser-matter interaction at CLPU

abstract: The VEGA-3 laser system at the Centro de L\'{a}seres Pulsados (CLPU) delivers laser pulses up to 1PW at 1Hz repetition rate, focused to intensities up to 2.5e20W/cm2. A versatile and compact targetry solution suitable for this repetition rate is presented. The system can operate in the challenging petawatt laser environment close to the laser-plasma interaction. Strips are spooled in a tape target system to deliver a solid density target to the laser focus for every shot. Results are presented for different tape materials and thicknesses. Experimental ion spectra are recorded by a Thomson Parabola Ion Spectrometer coupled with a scintillator screen; and an antenna array is used for the characterization of electromagnetic pulses. The results of both diagnostics show a good shot-to-shot stability of the system.


title: Optical communication-based identification for multi-UAV systems: theory and practice

abstract: Mutual relative localization and identification is an important feature for the stabilization and navigation of multi-Unmanned Aerial Vehicle (UAV) systems. Camera-based communications technology, also referred to as Optical Camera Communications (OCC) in the literature, is a novel approach that could bring a valuable solution to such a complex task. In such system, the UAVs are equipped with LEDs that act as beacons and with cameras allowing them to locate the LEDs of other UAVs. Specific blinking sequences are assigned to the LEDs of each of the UAVs in order to uniquely identify them. This camera-based relative localization and identification system is immune to Radio Frequency (RF) electromagnetic interference and operates in Global Navigation satellite (GNSS) denied environments. In addition, since many UAVs are already equipped with cameras, the implementation of this system is inexpensive. In this article, we study in detail the capacity of this system and its limitations. Furthermore, we show how to construct blinking sequences for UAV LEDs in order to improve system performance. Finally, experimental results are presented to corroborate the analytical derivations.


title: Designing Fairness in Autonomous Peer-to-peer Energy Trading

abstract: Several autonomous energy management and peer-to-peer trading mechanisms for future energy markets have been recently proposed based on optimization and game theory. In this paper, we study the impact of trading prices on the outcome of these market designs for energy-hub networks. We prove that, for a generic choice of trading prices, autonomous peer-to-peer trading is always network-wide beneficial but not necessarily individually beneficial for each hub. Therefore, we leverage hierarchical game theory to formalize the problem of designing locally-beneficial and network-wide fair peer-to-peer trading prices. Then, we propose a scalable and privacy-preserving price-mediation algorithm that provably converges to a profile of such prices. Numerical simulations on a 3-hub network show that the proposed algorithm can indeed incentivize active participation of energy hubs in autonomous peer-to-peer trading schemes.


title: Motivic cohomology of the Nisnevich classifying space of even Clifford groups

abstract: In this paper, we consider the split even Clifford group $\Gamma^+_n$ and compute the mod 2 motivic cohomology ring of its Nisnevich classifying space. The description we obtain is quite similar to the one provided for spin groups in [11]. The fundamental difference resides in the behaviour of the second subtle Stiefel-Whitney class that is non-trivial for even Clifford groups, while it vanished in the spin-case.


title: Electron-irradiation-facilitated production of chemically homogenized nanotwins in nanolaminated carbides

abstract: Twin boundaries have been exploited to stabilize ultrafine grains and improve the mechanical properties of nanomaterials. The production of twin boundaries and nanotwins is however prohibitively challenging in carbide ceramics. Using scanning transmission electron microscopes as a unique platform for atomic-scale structure engineering, we demonstrate that twin platelets could be produced in carbides by engineering antisite defects. Antisite defects at metal sites in various layered ternary carbides are collectively and controllably generated and the metal elements are homogenized by electron irradiation, which transforms the twin-like lamellae into nanotwin platelets. Accompanying the chemical homogenization, {\alpha}-Ti3AlC2 transforms to unconventional \b{eta}-Ti3AlC2. The chemical homogeneity and the width of the twin platelets can be tuned by the dose and energy of bombarding electrons. Chemically homogenized nanotwins can boost the hardness by ~45%. Our results provide a new way to produce ultrathin (<5 nm) nanotwin platelets in scientifically and technologically important carbide materials and showcase the feasibility of defect engineering by an angstrom-sized electron probe.


title: 3D Human Pose and Shape Estimation via HybrIK-Transformer

abstract: HybrIK relies on a combination of analytical inverse kinematics and deep learning to produce more accurate 3D pose estimation from 2D monocular images. HybrIK has three major components: (1) pretrained convolution backbone, (2) deconvolution to lift 3D pose from 2D convolution features, (3) analytical inverse kinematics pass correcting deep learning prediction using learned distribution of plausible twist and swing angles. In this paper we propose an enhancement of the 2D to 3D lifting module, replacing deconvolution with Transformer, resulting in accuracy and computational efficiency improvement relative to the original HybrIK method. We demonstrate our results on commonly used H36M, PW3D, COCO and HP3D datasets. Our code is publicly available https://github.com/boreshkinai/hybrik-transformer.


title: Adap-$\tau$: Adaptively Modulating Embedding Magnitude for Recommendation

abstract: Recent years have witnessed the great successes of embedding-based methods in recommender systems. Despite their decent performance, we argue one potential limitation of these methods -- the embedding magnitude has not been explicitly modulated, which may aggravate popularity bias and training instability, hindering the model from making a good recommendation. It motivates us to leverage the embedding normalization in recommendation. By normalizing user/item embeddings to a specific value, we empirically observe impressive performance gains (9\% on average) on four real-world datasets. Although encouraging, we also reveal a serious limitation when applying normalization in recommendation -- the performance is highly sensitive to the choice of the temperature $\tau$ which controls the scale of the normalized embeddings. To fully foster the merits of the normalization while circumvent its limitation, this work studied on how to adaptively set the proper $\tau$. Towards this end, we first make a comprehensive analyses of $\tau$ to fully understand its role on recommendation. We then accordingly develop an adaptive fine-grained strategy Adap-$\tau$ for the temperature with satisfying four desirable properties including adaptivity, personalized, efficiency and model-agnostic. Extensive experiments have been conducted to validate the effectiveness of the proposal. The code is available at \url{https://github.com/junkangwu/Adap_tau}.


title: Isolating clusters of zeros of analytic systems using arbitrary-degree inflation

abstract: Given a system of analytic functions and an approximation to a cluster of zeros, we wish to construct two regions containing the cluster and no other zeros of the system. The smaller region tightly contains the cluster while the larger region separates it from the other zeros of the system. We achieve this using the method of inflation which, counterintuitively, relates it to another system that is more amenable to our task but whose associated cluster of zeros is larger.


title: Integration of Efficacy Biomarkers Together with Toxicity Endpoints in Immune-Oncology Dose Finding Studies

abstract: The primary objective of phase I oncology studies is to establish the safety profile of a new treatment and determine the maximum tolerated dose (MTD). This is motivated by the development of cytotoxic agents based on the underlying assumption that the higher the dose, the greater the likelihood of efficacy and toxicity. However, evidence from the recent development of cancer immunotherapies that aim to stimulate patients' immune systems to fight cancer challenges this assumption, particularly further escalation after a certain dose level might not necessarily increase the efficacy. Dose escalation study of molecular targeted agents (MTA) often does not only rely on the safety profile. In this paper, we propose a simple and flexible model that uses multivariate Gaussian latent variables to integrate toxicity endpoint and efficacy biomarker. This model can be easily extended to incorporate additional immune biomarkers. By simultaneously considering multiple outcomes, the proposed method is better at identifying the biologically optimal dose, which results in better decision-making. Simulation studies showed that the proposed method has desirable operating characteristics by determining the target dose with an optimal risk-benefit trade-off. We have also implemented our proposed method in a user-friendly R Shiny tool.


title: MRS Modular UAV Hardware Platforms for Supporting Research in Real-World Outdoor and Indoor Environments

abstract: This paper presents a family of autonomous Unmanned Aerial Vehicles (UAVs) platforms designed for a diverse range of indoor and outdoor applications. The proposed UAV design is highly modular in terms of used actuators, sensor configurations, and even UAV frames. This allows to achieve, with minimal effort, a proper experimental setup for single, as well as, multi robot scenarios. Presented platforms are intended to facilitate the transition from simulations, and simplified laboratory experiments, into the deployment of aerial robots into uncertain and hard-to-model real-world conditions. We present mechanical designs, electric configurations, and dynamic models of the UAVs, followed by numerous recommendations and technical details required for building such a fully autonomous UAV system for experimental verification of scientific achievements. To show strength and high variability of the proposed system, we present results of tens of completely different real-robot experiments in various environments using distinct actuator and sensory configurations.


title: Quantitative estimates of convergence in nonlinear operator extensions of Korovkin's theorems

abstract: This paper is aimed to prove a quantitative estimate (in terms of the modulus of continuity) for the convergence in the nonlinear version of Korovkin's theorem for sequences of weakly nonlinear and monotone operators defined on spaces of continuous real functions. Several examples illustrating the theory are included.


title: Log-Paradox: Necessary and sufficient conditions for confounding statistically significant pattern reversal under the log-transform

abstract: The log-transform is a common tool in statistical analysis, reducing the impact of extreme values, compressing the range of reported values for improved visualization, enabling the usage of parametric statistical tests requiring normally distributed data, or enabling linear models on non-linear data. Practitioners are rarely aware that log-transformed results can reverse findings: a hypothesis test without the transform can show a negative trend, while with the log-transform, it can show a positive trend, both statistically significant. We derive necessary and sufficient conditions underlying this paradoxical pattern reversal using finite difference notation. We show that biomedical image quantification is very susceptible to these conditions. Using a novel heuristic maximizing the reversal, we show that statistical significance of the paradoxical pattern reversal can be easily induced by changing as little as 5% of a dataset. We illustrate how quantifying the sizes of objects in proportional data, especially where object sizes capture underlying creation and destruction dynamics, satisfies the precondition for the paradox. We discuss recommendations on proper use of the log-transform, discuss methods to explore the underlying patterns robustly, and emphasize that any transformed result should always be accompanied by its non-transformed source equivalent to exclude accidental confounded findings.


title: Quarkyonic Mean Field Theory

abstract: We discuss mean field theory of Quarkyonic matter at zero temperature. We treat the nucleons with contact interactions in mean field approximation, discussing both vector and scalar mean field interactions. We treat the quarks without mean field vector interactions, but allow mass terms to be generated consistent from a scalar mean field consistent with the additive quark model for quark masses. Quarkyonic matter is composed of a shell of nucleons that under-occupy the total available phase space associated with the underlying quark degrees of freedom. The fully occupied Fermi sphere beneath this shell of nucleons at high densities is thought of as quarks, but when this fully occupied distribution of states first appears, although the phase space is filled, the matter is at low density. For the transition between this low density and high density saturated matter, we advocate a dual description of the fully filled Fermi sea in terms of hadrons, and make a phenomenological hypothesis for the equation of state of this matter. We then proceed to an example where the mean field interactions are all vector and only associated with the nucleons, ignoring the effects of mass change associated with the scalar interactions. Except for the effects of Pauli blocking, the nucleons and quarks do not interact. To get a reasonable transition to Quarkyonic matter the interaction of the quarks among themselves are assumed to be non-perturbative, and a simple phenomenological relation between quark Fermi energy and density is introduced.


title: CLARE: Conservative Model-Based Reward Learning for Offline Inverse Reinforcement Learning

abstract: This work aims to tackle a major challenge in offline Inverse Reinforcement Learning (IRL), namely the reward extrapolation error, where the learned reward function may fail to explain the task correctly and misguide the agent in unseen environments due to the intrinsic covariate shift. Leveraging both expert data and lower-quality diverse data, we devise a principled algorithm (namely CLARE) that solves offline IRL efficiently via integrating "conservatism" into a learned reward function and utilizing an estimated dynamics model. Our theoretical analysis provides an upper bound on the return gap between the learned policy and the expert policy, based on which we characterize the impact of covariate shift by examining subtle two-tier tradeoffs between the exploitation (on both expert and diverse data) and exploration (on the estimated dynamics model). We show that CLARE can provably alleviate the reward extrapolation error by striking the right exploitation-exploration balance therein. Extensive experiments corroborate the significant performance gains of CLARE over existing state-of-the-art algorithms on MuJoCo continuous control tasks (especially with a small offline dataset), and the learned reward is highly instructive for further learning.


title: $t$-sails and sparse hereditary classes of unbounded tree-width

abstract: It has long been known that the following basic objects are obstructions to bounded tree-width: for arbitrarily large $t$, $(1)$ the complete graph $K_t$, $(2)$ the complete bipartite graph $K_{t,t}$, $(3)$ a subdivision of the $(t \times t)$-wall and $(4)$ the line graph of a subdivision of the $(t \times t)$-wall. We now add a further \emph{boundary object} to this list, a \emph{$t$-sail}. These results have been obtained by studying sparse hereditary \emph{path-star} graph classes, each of which consists of the finite induced subgraphs of a single infinite graph whose edges can be partitioned into a path (or forest of paths) with a forest of stars, characterised by an infinite word over a possibly infinite alphabet. We show that a path-star class whose infinite graph has an unbounded number of stars, each of which connects an unbounded number of times to the path, has unbounded tree-width. In addition, we show that such a class is not a subclass of the hereditary class of circle graphs. We identify a collection of \emph{nested} words with a recursive structure that exhibit interesting characteristics when used to define a path-star graph class. These graph classes do not contain any of the four basic obstructions but instead contain graphs that have large tree-width if and only if they contain arbitrarily large $t$-sails. We show that these classes are infinitely defined and, like classes of bounded degree or classes excluding a fixed minor, do not contain a minimal class of unbounded tree-width.


title: Optoelectronic Trajectory Reconfiguration and Directed Self-Assembly of Self-Propelling Electrically-Powered Active Particles

abstract: Self-propelling active particles are an exciting and interdisciplinary emerging area of research with projected biomedical and environmental applications. Due to their autonomous motion, control over these active particles that are free to travel along individual trajectories, is challenging. This work used optically patterned electrodes on a photoconductive substrate using a digital micromirror device (DMD) to dynamically control the region of movement of self-propelling particles (i.e. metallo-dielectric Janus particles (JPs)). This extends previous studies where only a passive micromotor was optoelectronically manipulated with a translocating optical pattern that illuminated the particle. In contrast, the current system used the optically patterned electrode merely to define the region within which the JPs moved autonomously. Interestingly, the JPs avoided crossing the optical region edge, which enables constraint of the area of motion and to dynamically shape the JP trajectory. Using the DMD system to simultaneously manipulate several JPs enabled to self-assemble the JPs into stable active structures (JPs ring) with precise control over the number of participating JPs and passive particles. Since the optoelectronic system is amenable to closed-loop operation using real-time image analysis, it enables exploitation of these active particles as active microrobots that can be operated in a programmable and parallelized manner


title: Analysis of business process automation as linear time-invariant system network

abstract: In this work, we examined Business Process (BP) production as a signal; this novel approach explores a BP workflow as a linear time-invariant (LTI) system. We analysed BP productivity in the frequency domain; this standpoint examines how labour and capital act as BP input signals and how their fundamental frequencies affect BP production. Our research also proposes a simulation framework of a BP in the frequency domain for estimating productivity gains due to the introduction of automation steps. Our ultimate goal was to supply evidence to address Solow's Paradox.


title: Nonlinear operator extensions of Korovkin's theorems

abstract: In this paper we extend Korovkin's theorem to the context of sequences of weakly nonlinear and monotone operators defined on certain Banach function spaces. Several examples illustrating the theory are included.


title: On the Privacy-Robustness-Utility Trilemma in Distributed Learning

abstract: The ubiquity of distributed machine learning (ML) in sensitive public domain applications calls for algorithms that protect data privacy, while being robust to faults and adversarial behaviors. Although privacy and robustness have been extensively studied independently in distributed ML, their synthesis remains poorly understood. We present the first tight analysis of the error incurred by any algorithm ensuring robustness against a fraction of adversarial machines, as well as differential privacy (DP) for honest machines' data against any other curious entity. Our analysis exhibits a fundamental trade-off between privacy, robustness, and utility. To prove our lower bound, we consider the case of mean estimation, subject to distributed DP and robustness constraints, and devise reductions to centralized estimation of one-way marginals. We prove our matching upper bound by presenting a new distributed ML algorithm using a high-dimensional robust aggregation rule. The latter amortizes the dependence on the dimension in the error (caused by adversarial workers and DP), while being agnostic to the statistical properties of the data.


title: How Good Can 2D Excitonic Solar Cells Be?

abstract: Excitonic semiconductors have been a subject of research for photovoltaic applications for many decades. Among them, the organic polymers and small molecules based solar cells have now exceeded 19% power conversion efficiency (PCE). While organic photovoltaics (OPVs) are approaching maturity, the advent of strongly excitonic inorganic semiconductors such as two-dimensional transition metal dichalcogenides (TMDCs) has renewed interest in excitonic solar cells due to their high-optical constants, stable inorganic structure and sub-nm film thicknesses. While several reports have been published on TMDC based PVs, achieving power conversion efficiencies higher than 6% under one-sun AM1.5G illumination has remained challenging. Here, we perform a full optical and electronic analysis of design, structure and performance of monolayer TMDC based, single-junction excitonic PVs. Our computational model with optimized properties predicts a PCE of 9.22% in a superlattice device structure. Our analysis suggests that, while the PCE for 2D excitonic solar cells may be limited to < 10%, a specific power > 100 W g-1 may be achieved with our proposed designs, making them attractive in aerospace, distributed remote sensing, and wearable electronics.

categories: physics.app-ph cond-mat.mes-hall cond-mat.mtrl-sci physics.optics


title: Quantum Potential Games, Replicator Dynamics, and the Separability Problem

abstract: Gamification is an emerging trend in the field of machine learning that presents a novel approach to solving optimization problems by transforming them into game-like scenarios. This paradigm shift allows for the development of robust, easily implementable, and parallelizable algorithms for hard optimization problems. In our work, we use gamification to tackle the Best Separable State (BSS) problem, a fundamental problem in quantum information theory that involves linear optimization over the set of separable quantum states. To achieve this we introduce and study quantum analogues of common-interest games (CIGs) and potential games where players have density matrices as strategies and their interests are perfectly aligned. We bridge the gap between optimization and game theory by establishing the equivalence between KKT (first-order stationary) points of a BSS instance and the Nash equilibria of its corresponding quantum CIG. Taking the perspective of learning in games, we introduce non-commutative extensions of the continuous-time replicator dynamics and the discrete-time Baum-Eagon/linear multiplicative weights update for learning in quantum CIGs, which also serve as decentralized algorithms for the BSS problem. We show that the common utility/objective value of a BSS instance is strictly increasing along trajectories of our algorithms, and finally corroborate our theoretical findings through extensive experiments.


title: Massively Multilingual Language Models for Cross Lingual Fact Extraction from Low Resource Indian Languages

abstract: Massive knowledge graphs like Wikidata attempt to capture world knowledge about multiple entities. Recent approaches concentrate on automatically enriching these KGs from text. However a lot of information present in the form of natural text in low resource languages is often missed out. Cross Lingual Information Extraction aims at extracting factual information in the form of English triples from low resource Indian Language text. Despite its massive potential, progress made on this task is lagging when compared to Monolingual Information Extraction. In this paper, we propose the task of Cross Lingual Fact Extraction(CLFE) from text and devise an end-to-end generative approach for the same which achieves an overall F1 score of 77.46.


title: Symbolic Metamodels for Interpreting Black-boxes Using Primitive Functions

abstract: One approach for interpreting black-box machine learning models is to find a global approximation of the model using simple interpretable functions, which is called a metamodel (a model of the model). Approximating the black-box with a metamodel can be used to 1) estimate instance-wise feature importance; 2) understand the functional form of the model; 3) analyze feature interactions. In this work, we propose a new method for finding interpretable metamodels. Our approach utilizes Kolmogorov superposition theorem, which expresses multivariate functions as a composition of univariate functions (our primitive parameterized functions). This composition can be represented in the form of a tree. Inspired by symbolic regression, we use a modified form of genetic programming to search over different tree configurations. Gradient descent (GD) is used to optimize the parameters of a given configuration. Our method is a novel memetic algorithm that uses GD not only for training numerical constants but also for the training of building blocks. Using several experiments, we show that our method outperforms recent metamodeling approaches suggested for interpreting black-boxes.


title: Using Language Models for Enhancing the Completeness of Natural-language Requirements

abstract: [Context and motivation] Incompleteness in natural-language requirements is a challenging problem. [Question/problem] A common technique for detecting incompleteness in requirements is checking the requirements against external sources. With the emergence of language models such as BERT, an interesting question is whether language models are useful external sources for finding potential incompleteness in requirements. [Principal ideas/results] We mask words in requirements and have BERT's masked language model (MLM) generate contextualized predictions for filling the masked slots. We simulate incompleteness by withholding content from requirements and measure BERT's ability to predict terminology that is present in the withheld content but absent in the content disclosed to BERT. [Contribution] BERT can be configured to generate multiple predictions per mask. Our first contribution is to determine how many predictions per mask is an optimal trade-off between effectively discovering omissions in requirements and the level of noise in the predictions. Our second contribution is devising a machine learning-based filter that post-processes predictions made by BERT to further reduce noise. We empirically evaluate our solution over 40 requirements specifications drawn from the PURE dataset [1]. Our results indicate that: (1) predictions made by BERT are highly effective at pinpointing terminology that is missing from requirements, and (2) our filter can substantially reduce noise from the predictions, thus making BERT a more compelling aid for improving completeness in requirements.


title: AI-based Question Answering Assistance for Analyzing Natural-language Requirements

abstract: By virtue of being prevalently written in natural language (NL), requirements are prone to various defects, e.g., inconsistency and incompleteness. As such, requirements are frequently subject to quality assurance processes. These processes, when carried out entirely manually, are tedious and may further overlook important quality issues due to time and budget pressures. In this paper, we propose QAssist -- a question-answering (QA) approach that provides automated assistance to stakeholders, including requirements engineers, during the analysis of NL requirements. Posing a question and getting an instant answer is beneficial in various quality-assurance scenarios, e.g., incompleteness detection. Answering requirements-related questions automatically is challenging since the scope of the search for answers can go beyond the given requirements specification. To that end, QAssist provides support for mining external domain-knowledge resources. Our work is one of the first initiatives to bring together QA and external domain knowledge for addressing requirements engineering challenges. We evaluate QAssist on a dataset covering three application domains and containing a total of 387 question-answer pairs. We experiment with state-of-the-art QA methods, based primarily on recent large-scale language models. In our empirical study, QAssist localizes the answer to a question to three passages within the requirements specification and within the external domain-knowledge resource with an average recall of 90.1% and 96.5%, respectively. QAssist extracts the actual answer to the posed question with an average accuracy of 84.2%. Keywords: Natural-language Requirements, Question Answering (QA), Language Models, Natural Language Processing (NLP), Natural Language Generation (NLG), BERT, T5.


title: The hot Neptune WASP-166 b with ESPRESSO III: A blue-shifted tentative water signal constrains the presence of clouds

abstract: With high-resolution spectroscopy we can study exoplanet atmospheres and learn about their chemical composition, temperature profiles, and presence of clouds and winds, mainly in hot, giant planets. State-of-the-art instrumentation is pushing these studies towards smaller exoplanets. Of special interest are the few planets in the 'Neptune desert', a lack of Neptune-size planets in close orbits around their hosts. Here, we assess the presence of water in one such planet, the bloated super-Neptune WASP-166 b, which orbits an F9-type star in a short orbit of 5.4 days. Despite its close-in orbit, WASP-166 b preserved its atmosphere, making it a benchmark target for exoplanet atmosphere studies in the desert. We analyse two transits observed in the visible with ESPRESSO. We clean the spectra from the Earth's telluric absorption via principal component analysis, which is crucial to the search for water in exoplanets. We use a cross-correlation-to-likelihood mapping to simultaneously estimate limits on the abundance of water and the altitude of a cloud layer, which points towards a low water abundance and/or high clouds. We tentatively detect a water signal blue-shifted ~5 km s-1 from the planetary rest frame. Injection and retrieval of model spectra show that a solar-composition, cloud-free atmosphere would be detected at high significance. This is only possible in the visible due to the capabilities of ESPRESSO and the collecting power of the VLT. This work provides further insight on the Neptune desert planet WASP-166 b, which will be observed with JWST.


title: GA-NIFS: Black hole and host galaxy properties of two z$\simeq$6.8 quasars from the NIRSpec IFU

abstract: Integral Field Spectroscopy (IFS) with JWST NIRSpec will significantly improve our understanding of the first quasars, by providing spatially resolved, infrared spectroscopic capabilities which cover key rest-frame optical emission lines that have been previously unobservable. Here we present our results from the first two z>6 quasars observed as a part of the Galaxy Assembly with NIRSpec IFS (GA-NIFS) GTO program, DELS J0411-0907 at z=6.82 and VDES J0020-3653 at z=6.86. By observing the H$\beta$, [OIII], and H$\alpha$ emission lines in these high-z quasars for the first time, we measure accurate black hole masses, $M_{\rm{BH}}=1.85e9$ and $2.9e9$M$_\odot$, corresponding to Eddington ratios of $\lambda_{\rm{Edd}}=0.8$ and 0.4 for DELS J0411-0907 and VDES J0020-3653 respectively. These provide a key comparison for existing estimates from the more uncertain MgII line. We perform quasar-host decomposition using models of the quasars' broad lines to measure the underlying host galaxies. We also discover multiple emission line regions surrounding each of the host galaxies, which are likely companion galaxies undergoing mergers with these hosts. We measure the star formation rates, excitation mechanisms, and dynamical masses of the hosts and companions, measuring the $M_{\rm{BH}}/M_{\rm{dyn}}$ ratios at high-z using these estimators for the first time. DELS J0411-0907 and VDES J0020-3653 both lie above the local black hole--host mass relation, and are consistent with the existing observations of $z\gtrsim6$ quasar host galaxies with ALMA. We detect ionized outflows in [OIII] and H$\beta$ from both quasars, with mass outflow rates of 58 and 525 M$_{\odot}$/yr for DELS J0411-0907 and VDES J0020-3653, much larger than their host star formation rates of <33 and <54 M$_\odot$/yr. This work highlights the exceptional capabilities of the JWST NIRSpec IFU for observing quasars in the early Universe.


title: BASICS: Broad quality Assessment of Static point clouds In Compression Scenarios

abstract: Point clouds are now commonly used to represent 3D scenes in virtual world, in addition to 3D meshes. Their ease of capture enable various applications on mobile devices, such as smartphones or other microcontrollers. Point cloud compression is now at an advanced level and being standardized. Nevertheless, quality assessment databases, which is needed to develop better objective quality metrics, are still limited. In this work, we create a broad quality assessment database for static point clouds, mainly for telepresence scenario. For the sake of completeness, the created database is analyzed using the mean opinion scores, and it is used to benchmark several state-of-the-art quality estimators. The generated database is named Broad quality Assessment of Static point clouds In Compression Scenario (BASICS). Currently, the BASICS database is used as part of the ICIP 2023 Grand Challenge on Point Cloud Quality Assessment, and therefore only a part of the database has been made publicly available at the challenge website. The rest of the database will be made available once the challenge is over.


title: Entanglement detection in arbitrary dimensional bipartite quantum systems through partial realigned moments

abstract: Detection of entanglement through partial knowledge of the quantum state is a challenge to implement efficiently. Here we propose a separability criterion for detecting bipartite entanglement in arbitrary dimensional quantum states using partial moments of the realigned density matrix. Our approach enables detection of both distillable and bound entangled states through a common framework. We illustrate the efficiency of our method through examples of states belonging to both the above categories, which are not detectable using comparable other schemes relying on partial state information. The formalism of employing partial realigned moments proposed here is further shown to be effective for two-qubit systems too, with a slight modification of our separability criterion.


title: Equivariant MuZero

abstract: Deep reinforcement learning repeatedly succeeds in closed, well-defined domains such as games (Chess, Go, StarCraft). The next frontier is real-world scenarios, where setups are numerous and varied. For this, agents need to learn the underlying rules governing the environment, so as to robustly generalise to conditions that differ from those they were trained on. Model-based reinforcement learning algorithms, such as the highly successful MuZero, aim to accomplish this by learning a world model. However, leveraging a world model has not consistently shown greater generalisation capabilities compared to model-free alternatives. In this work, we propose improving the data efficiency and generalisation capabilities of MuZero by explicitly incorporating the symmetries of the environment in its world-model architecture. We prove that, so long as the neural networks used by MuZero are equivariant to a particular symmetry group acting on the environment, the entirety of MuZero's action-selection algorithm will also be equivariant to that group. We evaluate Equivariant MuZero on procedurally-generated MiniPacman and on Chaser from the ProcGen suite: training on a set of mazes, and then testing on unseen rotated versions, demonstrating the benefits of equivariance. Further, we verify that our performance improvements hold even when only some of the components of Equivariant MuZero obey strict equivariance, which highlights the robustness of our construction.


title: Bounds on the number of higher-dimensional partitions

abstract: We establish some bounds on the number of higher-dimensional partitions by volume. In particular, we give bounds via vector partitions and MacMahon's numbers.


title: Drawing Attention to Detail: Pose Alignment through Self-Attention for Fine-Grained Object Classification

abstract: Intra-class variations in the open world lead to various challenges in classification tasks. To overcome these challenges, fine-grained classification was introduced, and many approaches were proposed. Some rely on locating and using distinguishable local parts within images to achieve invariance to viewpoint changes, intra-class differences, and local part deformations. Our approach, which is inspired by P2P-Net, offers an end-to-end trainable attention-based parts alignment module, where we replace the graph-matching component used in it with a self-attention mechanism. The attention module is able to learn the optimal arrangement of parts while attending to each other, before contributing to the global loss.


title: Dimension reduction and redundancy removal through successive Schmidt decompositions

abstract: Quantum computers are believed to have the ability to process huge data sizes which can be seen in machine learning applications. In these applications, the data in general is classical. Therefore, to process them on a quantum computer, there is a need for efficient methods which can be used to map classical data on quantum states in a concise manner. On the other hand, to verify the results of quantum computers and study quantum algorithms, we need to be able to approximate quantum operations into forms that are easier to simulate on classical computers with some errors. Motivated by these needs, in this paper we study the approximation of matrices and vectors by using their tensor products obtained through successive Schmidt decompositions. We show that data with distributions such as uniform, Poisson, exponential, or similar to these distributions can be approximated by using only a few terms which can be easily mapped onto quantum circuits. The examples include random data with different distributions, the Gram matrices of iris flower, handwritten digits, 20newsgroup, and labeled faces in the wild. And similarly, some quantum operations such as quantum Fourier transform and variational quantum circuits with a small depth also may be approximated with a few terms that are easier to simulate on classical computers. Furthermore, we show how the method can be used to simplify quantum Hamiltonians: In particular, we show the application to randomly generated transverse field Ising model Hamiltonians. The reduced Hamiltonians can be mapped into quantum circuits easily and therefore can be simulated more efficiently.


title: Near-Field Terahertz Communications: Model-Based and Model-Free Channel Estimation

abstract: Terahertz (THz) band is expected to be one of the key enabling technologies of the sixth generation (6G) wireless networks because of its abundant available bandwidth and very narrow beam width. Due to high frequency operations, electrically small array apertures are employed, and the signal wavefront becomes spherical in the near-field. Therefore, near-field signal model should be considered for channel acquisition in THz systems. Unlike prior works which mostly ignore the impact of near-field beam-split (NB) and consider either narrowband scenario or far-field models, this paper introduces both a model-based and a model-free techniques for wideband THz channel estimation in the presence of NB. The model-based approach is based on orthogonal matching pursuit (OMP) algorithm, for which we design an NB-aware dictionary. The key idea is to exploit the angular and range deviations due to the NB. We then employ the OMP algorithm, which accounts for the deviations thereby ipso facto mitigating the effect of NB. We further introduce a federated learning (FL)-based approach as a model-free solution for channel estimation in a multi-user scenario to achieve reduced complexity and training overhead. Through numerical simulations, we demonstrate the effectiveness of the proposed channel estimation techniques for wideband THz systems in comparison with the existing state-of-the-art techniques.


title: Wide Band Interaction Impedance and Mode Excitation in Glide Symmetric Double Corrugated Waveguides for mm-wave TWTs

abstract: Focusing on traveling wave tube (TWT) applications, the interaction impedance between an electron beam and electromagnetic modes in three distinct, but related, corrugated waveguides that operate at millimeter waves is investigated together with the role of glide symmetry. Two waveguide structures have glide symmetry, and the irreducible Brillouin zone is related to half of the period, leading to a wide band linearity, i.e., nondispersive, property of the dispersion diagram. The investigation on the modes with longitudinal electric field that can be excited shows that the bottom-top glide (BT Glide) symmetric corrugated waveguide has a wide band interaction impedance, hence it is a good candidate for millimeter wave TWT amplifiers. Furthermore, the backward electromagnetic mode in such BT Glide slow wave structure is not $z$ polarized, eliminating the {risk} of backward wave oscillations.


title: Revisiting the electronic properties of dislocated graphene sheets

abstract: The interplay between topological defects, such as dislocations or disclinations, and the electronic degrees of freedom in graphene has been extensively studied. In the literature, for the study of this kind of problems, it is in general used either a gauge theory or a curved spatial Riemannian geometry approach, where, in the geometric case, the information about the defects is contained in the metric and the spin-connection. However, these topological defects can also be associated to a Riemann-Cartan geometry where curvature and torsion plays an important role. In this article we study the interplay between a wedge dislocations in a planar graphene sheet and the properties of its electronic degrees of freedom. Our approach relies in its relation with elasticity theory through the so called elastic-gauge, where their typical coefficients, as for example the Poisson's ratio, appear directly in the metric, and consequently also in the electronic spectrum.

categories: cond-mat.str-el cond-mat.mtrl-sci gr-qc hep-th


title: Finitely presented simple left-orderable groups in the landscape of Richard Thompson's groups

abstract: We construct the first examples of finitely presented simple groups of orientation-preserving homeomorphisms of the real line. Our examples are also of type $F_{\infty}$, have infinite geometric dimension, and admit a nontrivial homogeneous quasimorphism (and hence have infinite commutator width).


title: Pseudoconvexity at infinity in Hodge theory: a codimension one example

abstract: The generalization of the Satake--Baily--Borel compactification to arbitrary period maps has been reduced to a certain extension problem on certain "neighborhoods at infinity". Extension problems of this type require that the neighborhood be pseudoconvex. The purpose of this note is to establish the desired pseudoconvexity in one relatively simple, but non-trivial, example: codimension one degenerations of a period map of weight two Hodge structures with first Hodge number $h^{2,0}$ equal to 2.


title: Running vacuum in Brans-Dicke theory: a possible cure for the $\sigma_8$ and $H_0$ tensions

abstract: Extensions of the gravitational framework of Brans-Dicke (BD) are studied by considering two different scenarios: i) `BD-$\Lambda$CDM', in which a rigid cosmological constant, $\Lambda$, is included, thus constituting a BD version of the vanilla concordance $\Lambda$CDM model (the current standard model of cosmology with flat three-dimensional geometry), and ii) `BD-RVM', a generalization of i) in which the vacuum energy density (VED), $\rho_{\textrm{vac}}$, is a running quantity evolving with the square of the Hubble rate: $\delta\rho_{\textrm{vac}}(H)\propto \nu\, m^2_{\textrm{Pl}} (H^2-H_0^2)$ (with $|\nu|\ll 1$). This dynamical scenario is motivated by recent studies of quantum field theory (QFT) in curved spacetime, which lead to the running vacuum model (RVM). We solve the background as well as the perturbation equations for each cosmological model and test their performance against the modern wealth of cosmological data, namely a compilation of the latest SNIa+$H(z)$+BAO+LSS+CMB observations. We utilize the AIC and DIC statistical information criteria in order to determine if they can fit better the observations than the concordance model. The two BD extensions are tested by considering three different datasets. According to the AIC and DIC criteria, both BD extensions i) and ii) are competitive, but the second one (the BD-RVM scenario) is particularly favored when it is compared with the vanilla model. This fact may indicate that the current observations favor a mild dynamical evolution of the Newtonian coupling $G_N$ as well as of the VED. This is in agreement with recent studies suggesting that the combination of these two features can be favorable for a possible resolution of the $\sigma_8$ and $H_0$ tensions. In this work, we show that the Brans-Dicke theory with running vacuum has the potential to alleviate the two tensions at the same time.


title: Coincident Massless, Minimally Coupled Scalar Correlators on General Cosmological Backgrounds

abstract: The coincidence limits of the massless, minimally coupled scalar propagator and its first two derivatives have great relevance for the project of summing up the leading logarithms induced by loops of inflationary gravitons. We use dimensional regularization to derive good analytic approximations for the three quantities on a general cosmological background geometry which underwent inflation.


title: Lower semicontinuity of the relative entropy disturbance and its corollaries

abstract: It is proved that the decrease of the quantum relative entropy under action of a quantum operation is a lower semicontinuous function of a pair of its arguments. This property implies, in particular, that the local discontinuity jumps of the quantum relative entropy do not increase under action of quantum operations. It implies also the lower semicontinuity of the modulus of the joint convexity of the quantum relative entropy (as a function of ensembles of quantum states). Various corollaries and applications of these results are considered.

categories: quant-ph cs.IT math-ph math.IT math.MP math.OA


title: Real-world Machine Learning Systems: A survey from a Data-Oriented Architecture Perspective

abstract: Machine Learning models are being deployed as parts of real-world systems with the upsurge of interest in artificial intelligence. The design, implementation, and maintenance of such systems are challenged by real-world environments that produce larger amounts of heterogeneous data and users requiring increasingly faster responses with efficient resource consumption. These requirements push prevalent software architectures to the limit when deploying ML-based systems. Data-oriented Architecture (DOA) is an emerging concept that equips systems better for integrating ML models. DOA extends current architectures to create data-driven, loosely coupled, decentralised, open systems. Even though papers on deployed ML-based systems do not mention DOA, their authors made design decisions that implicitly follow DOA. The reasons why, how, and the extent to which DOA is adopted in these systems are unclear. Implicit design decisions limit the practitioners' knowledge of DOA to design ML-based systems in the real world. This paper answers these questions by surveying real-world deployments of ML-based systems. The survey shows the design decisions of the systems and the requirements these satisfy. Based on the survey findings, we also formulate practical advice to facilitate the deployment of ML-based systems. Finally, we outline open challenges to deploying DOA-based systems that integrate ML models.


title: A Large-Scale Multilingual Study of Visual Constraints on Linguistic Selection of Descriptions

abstract: We present a large, multilingual study into how vision constrains linguistic choice, covering four languages and five linguistic properties, such as verb transitivity or use of numerals. We propose a novel method that leverages existing corpora of images with captions written by native speakers, and apply it to nine corpora, comprising 600k images and 3M captions. We study the relation between visual input and linguistic choices by training classifiers to predict the probability of expressing a property from raw images, and find evidence supporting the claim that linguistic properties are constrained by visual context across languages. We complement this investigation with a corpus study, taking the test case of numerals. Specifically, we use existing annotations (number or type of objects) to investigate the effect of different visual conditions on the use of numeral expressions in captions, and show that similar patterns emerge across languages. Our methods and findings both confirm and extend existing research in the cognitive literature. We additionally discuss possible applications for language generation.


title: Simulations of the progenitors of black hole-neutron star gravitational wave sources

abstract: Recent discoveries of gravitational wave (GW) events most likely originating from black hole (BH) + neutron star (NS) mergers reveal the existence of BH+NS binaries. The formation of BH+NS binaries and their merger rates through isolated binary evolution have been investigated extensively with population synthesis simulations. A detailed stellar evolution modelings of the formation of this population, however, is missing in the literature. In this work, we perform the first complete 1D model of more than 30 BH+NS progenitor systems which are calculated self-consistently until the iron core collapse with infall velocity exceeds 1000 km s^-1. Focusing on the progenitors of BH- NS GW sources, we apply the MESA code starting from a post-common envelope binary with short orbital period (< 1 day) consisting of a BH and a zero-age main-sequence helium star that experiences stable mass transfer. These NS masses could be significantly larger depending on the exact mass cut during the supernova explosion. These BH+NS systems are likely to merge and produce GW events within a Hubble time. System C is a potential progenitor of a GW200115-like event, while Systems A and B are possible candidates for a GW200105-like event and may represent the final destiny of the X-ray binary SS433.


title: Explanation Selection Using Unlabeled Data for Chain-of-Thought Prompting

abstract: Recent work has shown how to prompt large language models with explanations to obtain strong performance on textual reasoning tasks, i.e., the chain-of-thought paradigm. However, subtly different explanations can yield widely varying downstream task accuracy. Explanations that have not been "tuned" for a task, such as off-the-shelf explanations written by nonexperts, may lead to mediocre performance. This paper tackles the problem of how to optimize explanation-infused prompts in a blackbox fashion. We first generate sets of candidate explanations for each example in the prompt using a leave-one-out scheme, then find an effective combination of these explanations with a two-stage framework. We first evaluate explanations for each in-context example in isolation according to two proxy metrics, log likelihood and accuracy on new examples. Then, we search over combinations of explanations to find one that yields high performance against a silver-labeled development set. Across four textual reasoning tasks spanning question answering, mathematical reasoning, and natural language inference, results show that our proxy metrics correlate with ground truth accuracy and our overall method can effectively improve prompts over crowdworker annotations and naive search strategies


title: Pressure-Poisson Equation in Numerical Simulation of Cerebral Arterial Circulation and Its Effect on the Electrical Conductivity of the Brain

abstract: This study considers dynamic modelling of the cerebral arterial circulation and reconstructing an atlas for the electrical conductivity of the brain. While high-resolution 7-Tesla (T) Magnetic Resonance Imaging (MRI) data allow for reconstructing the cerebral arteries with a cross-sectional diameter larger than the voxel size, electrical conductivity cannot be directly inferred from MRI data. Brain models of electrophysiology typically associate each brain tissue compartment with a constant electrical conductivity, omitting any dynamic effects of cerebral blood circulation. Incorporating those effects poses the challenge of solving a system of incompressible Navier-Stokes equations in a realistic multi-compartment head model. We postulate that circulation in the distinguishable arteries can be estimated via the pressure-Poisson equation, which is coupled with Fick's law of diffusion for microcirculation. To establish a fluid exchange model between arteries and microarteries, a boundary condition derived from the Hagen-Poisseuille model is applied. The relationship between the estimated volumetric blood concentration and the electrical conductivity of the brain tissue is approximated through Archie's law for fluid flow in porous media. Through the formulation of the PPE and a set of boundary conditions based on the Hagen-Poisseuille model, we obtained an equivalent formulation of the incompressible Stokes equation. Thus, allowing effective blood pressure estimation in cerebral arteries segmented from open 7T MRI data. As a result of this research, we developed and built a useful modelling framework that accounts for the effects of dynamic blood flow on a novel MRI-based electrical conductivity atlas. The electrical conductivity perturbation obtained in numerical experiments has an appropriate overall match with previous studies on this subject.


title: To Perceive or Not to Perceive: Lightweight Stacked Hourglass Network

abstract: Human pose estimation (HPE) is a classical task in computer vision that focuses on representing the orientation of a person by identifying the positions of their joints. We design a lighterversion of the stacked hourglass network with minimal loss in performance of the model. The lightweight 2-stacked hourglass has a reduced number of channels with depthwise separable convolutions, residual connections with concatenation, and residual connections between the necks of the hourglasses. The final model has a marginal drop in performance with 79% reduction in the number of parameters and a similar drop in MAdds


title: Optimal Semiclassical Regularity of Projection Operators and Strong Weyl Law

abstract: Projection operators arise naturally as one-particle density operators associated to Slater determinants in fields such as quantum mechanics and the study of determinantal processes. In the context of the semiclassical approximation of quantum mechanics, projection operators can be seen as the analogue of characteristic functions of subsets of the phase space, which are discontinuous functions. We prove that projection operators indeed converge to characteristic functions of the phase space and that in terms of quantum Sobolev spaces, they exhibit the same maximal regularity as characteristic functions. This can be interpreted as a semiclassical asymptotic on the size of commutators in Schatten norms. Our study answers a question raised in [J. Chong, L. Lafleche, C. Saffirio, arXiv:2103.10946 [math.AP]] about the possibility of having projection operators as initial data. It also gives a strong convergence result in Sobolev spaces for the Weyl law in phase space.

categories: math-ph math.AP math.FA math.MP quant-ph


title: The Edge of Orthogonality: A Simple View of What Makes BYOL Tick

abstract: Self-predictive unsupervised learning methods such as BYOL or SimSiam have shown impressive results, and counter-intuitively, do not collapse to trivial representations. In this work, we aim at exploring the simplest possible mathematical arguments towards explaining the underlying mechanisms behind self-predictive unsupervised learning. We start with the observation that those methods crucially rely on the presence of a predictor network (and stop-gradient). With simple linear algebra, we show that when using a linear predictor, the optimal predictor is close to an orthogonal projection, and propose a general framework based on orthonormalization that enables to interpret and give intuition on why BYOL works. In addition, this framework demonstrates the crucial role of the exponential moving average and stop-gradient operator in BYOL as an efficient orthonormalization mechanism. We use these insights to propose four new \emph{closed-form predictor} variants of BYOL to support our analysis. Our closed-form predictors outperform standard linear trainable predictor BYOL at $100$ and $300$ epochs (top-$1$ linear accuracy on ImageNet).


title: Exploring the Cognitive Dynamics of Artificial Intelligence in the Post-COVID-19 and Learning 3.0 Era: A Case Study of ChatGPT

abstract: The emergence of artificial intelligence has incited a paradigm shift across the spectrum of human endeavors, with ChatGPT serving as a catalyst for the transformation of various established domains, including but not limited to education, journalism, security, and ethics. In the post-pandemic era, the widespread adoption of remote work has prompted the educational sector to reassess conventional pedagogical methods. This paper is to scrutinize the underlying psychological principles of ChatGPT, delve into the factors that captivate user attention, and implicate its ramifications on the future of learning. The ultimate objective of this study is to instigate a scholarly discourse on the interplay between technological advancements in education and the evolution of human learning patterns, raising the question of whether technology is driving human evolution or vice versa.


title: An image of the heteroatom influence in acyclic polyenes

abstract: The study is devoted to development of the theory of the heteroatom influence in acyclic polyenes from a local perspective. The charge redistribution due to introduction of heteroatom(s) (X) is decomposed into additive and meaningful contributions undergoing an extinction with growth of the substructure embraced. Each of these contributions, in turn, is traced back to specific additional interactions of bond orbitals (BOs) of C=C bonds of the parent hydrocarbon. The expansion starts with local and transferable dipoles of individual X=C (or C=X) bonds that are proportional to direct interactions of BOs within respective parent C=C bonds. Thereupon, populations transferred between first-neighbouring double bonds follow along with parallel and anti-parallel secondary (induced) dipoles of the latter. These contributions are determined by an interplay of two indirect interbond interactions of BOs and consequently depend on positions of heteroatom(s) inside the bonds concerned.


title: High-fidelity Interpretable Inverse Rig: An Accurate and Sparse Solution Optimizing the Quartic Blendshape Model

abstract: We propose a method to fit arbitrarily accurate blendshape rig models by solving the inverse rig problem in realistic human face animation. The method considers blendshape models with different levels of added corrections and solves the regularized least-squares problem using coordinate descent, i.e., iteratively estimating blendshape weights. Besides making the optimization easier to solve, this approach ensures that mutually exclusive controllers will not be activated simultaneously and improves the goodness of fit after each iteration. We show experimentally that the proposed method yields solutions with mesh error comparable to or lower than the state-of-the-art approaches while significantly reducing the cardinality of the weight vector (over 20 percent), hence giving a high-fidelity reconstruction of the reference expression that is easier to manipulate in the post-production manually. Python scripts for the algorithm will be publicly available upon acceptance of the paper.


title: Mach--Zehnder-like interferometry with graphene nanoribbon networks

abstract: We study theoretically electron interference in a Mach--Zehnder-like geometry formed by four zigzag graphene nanoribbons (ZGNRs) arranged in parallel pairs, one on top of the other, such that they form intersection angles of 60$^\circ$. Depending on the interribbon separation, each intersection can be tuned to act either as an electron beam splitter or as a mirror, enabling tuneable circuitry with interfering pathways. Based on the mean-field Hubbard model and Green's function techniques, we evaluate the electron transport properties of such 8-terminal devices and identify pairs of terminals that are subject to self-interference. We further show that the scattering matrix formalism in the approximation of independent scattering at the four individual junctions provides accurate results as compared with the Green's function description, allowing for a simple interpretation of the interference process between two dominant pathways. This enables us to characterize the device sensitivity to phase shifts from an external magnetic flux according to the Aharonov--Bohm effect as well as from small geometric variations in the two path lengths. The proposed devices could find applications as magnetic field sensors and as detectors of phase shifts induced by local scatterers on the different segments, such as adsorbates, impurities or defects. The setup could also be used to create and study quantum entanglement.


title: Linear-response time-dependent density functional theory approach to warm dense matter with adiabatic exchange--correlation kernels

abstract: We present a new methodology for the linear-response time-dependent density functional theory (LR-TDDFT) calculation of the dynamic density response function of warm dense matter in an adiabatic approximation that can be used with any available exchange-correlation (XC) functional across Jacob's Ladder and across temperature regimes. The main novelty of the presented approach is that it can go beyond the adiabatic local density approximation (ALDA) and generalized LDA (AGGA) while preserving the self-consistence between the Kohn-Sham (KS) response function and adiabatic XC kernel for extended systems. The key ingredient for the presented method is the combination of the adiabatic XC kernel from the direct perturbation approach with the macroscopic dynamic KS response from the standard LR-TDDFT method using KS orbitals. We demonstrate the application of the method for the example of warm dense hydrogen, for which we perform a detailed analysis of the KS density response function, the RPA result, the total density response function and of the adiabatic XC kernel. The analysis is performed using LDA, GGA, and meta-GGA level approximations for the XC effects. The presented method is directly applicable to disordered systems such as liquid metals, warm dense matter, and dense plasmas.

categories: physics.comp-ph cond-mat.stat-mech cond-mat.str-el physics.plasm-ph


title: Hierarchical Generative Adversarial Imitation Learning with Mid-level Input Generation for Autonomous Driving on Urban Environments

abstract: Deriving robust control policies for realistic urban navigation scenarios is not a trivial task. In an end-to-end approach, these policies must map high-dimensional images from the vehicle's cameras to low-level actions such as steering and throttle. While pure Reinforcement Learning (RL) approaches are based exclusively on engineered rewards, Generative Adversarial Imitation Learning (GAIL) agents learn from expert demonstrations while interacting with the environment, which favors GAIL on tasks for which a reward signal is difficult to derive, such as autonomous driving. However, training deep networks directly from raw images on RL tasks is known to be unstable and troublesome. To deal with that, this work proposes a hierarchical GAIL-based architecture (hGAIL) which decouples representation learning from the driving task to solve the autonomous navigation of a vehicle. The proposed architecture consists of two modules: a GAN (Generative Adversarial Net) which generates an abstract mid-level input representation, which is the Bird's-Eye View (BEV) from the surroundings of the vehicle; and the GAIL which learns to control the vehicle based on the BEV predictions from the GAN as input. hGAIL is able to learn both the policy and the mid-level representation simultaneously as the agent interacts with the environment. Our experiments made in the CARLA simulation environment have shown that GAIL exclusively from cameras without BEV) fails to even learn the task, while hGAIL, after training exclusively on one city, was able to autonomously navigate successfully in 98% of the intersections of a new city not used in training phase.


title: Lithium Metal Battery Quality Control via Transformer-CNN Segmentation

abstract: Lithium metal battery (LMB) has the potential to be the next-generation battery system because of its high theoretical energy density. However, defects known as dendrites are formed by heterogeneous lithium (Li) plating, which hinders the development and utilization of LMBs. Non-destructive techniques to observe the dendrite morphology often use X-ray computed tomography (XCT) to provide cross-sectional views. To retrieve three-dimensional structures inside a battery, image segmentation becomes essential to quantitatively analyze XCT images. This work proposes a new semantic segmentation approach using a transformer-based neural network called TransforCNN that is capable of segmenting out dendrites from XCT data. In addition, we compare the performance of the proposed TransforCNN with three other algorithms, such as U-Net, Y-Net, and E-Net, consisting of an Ensemble Network model for XCT analysis. Our results show the advantages of using TransforCNN when evaluating over-segmentation metrics, such as mean Intersection over Union (mIoU) and mean Dice Similarity Coefficient (mDSC) as well as through several qualitatively comparative visualizations.


title: Boundary conditions in hydrodynamic simulations of isolated galaxies and their impact on the gas-loss processes

abstract: Three-dimensional hydrodynamic simulations are commonly used to study the evolution of the gaseous content in isolated galaxies, besides its connection with galactic star formation histories. Stellar winds, supernova blasts, and black hole feedback are mechanisms usually invoked to drive galactic outflows and decrease the initial galactic gas reservoir. However, any simulation imposes the need of choosing the limits of the simulated volume, which depends, for instance, on the size of the galaxy and the required numerical resolution, besides the available computational capability to perform it. In this work, we discuss the effects of boundary conditions on the evolution of the gas fraction in a small-sized galaxy (tidal radius of about 1 kpc), like classical spheroidal galaxies in the Local Group. We found that open boundaries with sizes smaller than approximately 10 times the characteristic radius of the galactic dark-matter halo become unappropriated for this kind of simulation after about 0.6 Gyr of evolution, since they act as an infinity reservoir of gas due to dark-matter gravity. We also tested two different boundary conditions that avoid gas accretion from numerical frontiers: closed and selective boundary conditions. Our results indicate that the later condition (that uses a velocity threshold criterion to open or close frontiers) is preferable since minimizes the number of reversed shocks due to closed boundaries. Although the strategy of putting computational frontiers as far as possible from the galaxy itself is always desirable, simulations with selective boundary condition can lead to similar results at lower computational costs.


title: Direct Images and Hilbert Fields

abstract: In this article we undertake a careful study of the curvature operator of a field of Bergman spaces associated to a holomorphic fibration of K\"ahler manifolds. We focus on the case when the fibers are smoothly bounded pseudoconvex domains.


title: Refined Gribov-Zwanziger theory coupled to scalar fields in the Landau gauge

abstract: The Refined Gribov-Zwanziger (RGZ) action in the Landau gauge accounts for the existence of infinitesimal Gribov copies as well as the dynamical formation of condensates in the infrared of Euclidean Yang-Mills theories. We couple scalar fields to the RGZ action and compute the one-loop scalar propagator in the adjoint representation of the gauge group. We compare our findings with existing lattice data. The fate of BRST symmetry in this model is discussed, and we provide a comparison to a previous proposal for a non-minimal coupling between matter and the RGZ action. We find good agreement with the lattice data of the scalar propagator for the values of the mass parameters that fit the RGZ gluon propagator to the lattice. This suggests that the non-perturbative information carried by the gluon propagator in the RGZ framework provides a suitable mechanism to reproduce the behavior of correlation functions of colored matter fields in the infrared.


title: Geodesic motion on the symplectic leaf of $SO(3)$ with distorted $e(3)$ algebra and Liouville integrability of a free rigid body

abstract: The solutions to the Euler-Poisson equations are geodesic lines of $SO(3)$ manifold with the metric determined by the inertia tensor. However, the Poisson structure on the corresponding symplectic leaf does not depend on the inertia tensor. We calculate its explicit form and confirm that it differs from the algebra $e(3)$. The obtained Poisson brackets are used to demonstrate the Liouville integrability of a free rigid body. The general solution to the Euler-Poisson equations is written in terms of exponential of the Hamiltonian vector field.


title: Modeling and Forecasting COVID-19 Cases using Latent Subpopulations

abstract: Classical epidemiological models assume homogeneous populations. There have been important extensions to model heterogeneous populations, when the identity of the sub-populations is known, such as age group or geographical location. Here, we propose two new methods to model the number of people infected with COVID-19 over time, each as a linear combination of latent sub-populations -- i.e., when we do not know which person is in which sub-population, and the only available observations are the aggregates across all sub-populations. Method #1 is a dictionary-based approach, which begins with a large number of pre-defined sub-population models (each with its own starting time, shape, etc), then determines the (positive) weight of small (learned) number of sub-populations. Method #2 is a mixture-of-$M$ fittable curves, where $M$, the number of sub-populations to use, is given by the user. Both methods are compatible with any parametric model; here we demonstrate their use with first (a)~Gaussian curves and then (b)~SIR trajectories. We empirically show the performance of the proposed methods, first in (i) modeling the observed data and then in (ii) forecasting the number of infected people 1 to 4 weeks in advance. Across 187 countries, we show that the dictionary approach had the lowest mean absolute percentage error and also the lowest variance when compared with classical SIR models and moreover, it was a strong baseline that outperforms many of the models developed for COVID-19 forecasting.