title: Unleashing the Power of Shared Label Structures for Human Activity Recognition

abstract: Current human activity recognition (HAR) techniques regard activity labels as integer class IDs without explicitly modeling the semantics of class labels. We observe that different activity names often have shared structures. For example, "open door" and "open fridge" both have "open" as the action; "kicking soccer ball" and "playing tennis ball" both have "ball" as the object. Such shared structures in label names can be translated to the similarity in sensory data and modeling common structures would help uncover knowledge across different activities, especially for activities with limited samples. In this paper, we propose SHARE, a HAR framework that takes into account shared structures of label names for different activities. To exploit the shared structures, SHARE comprises an encoder for extracting features from input sensory time series and a decoder for generating label names as a token sequence. We also propose three label augmentation techniques to help the model more effectively capture semantic structures across activities, including a basic token-level augmentation, and two enhanced embedding-level and sequence-level augmentations utilizing the capabilities of pre-trained models. SHARE outperforms state-of-the-art HAR models in extensive experiments on seven HAR benchmark datasets. We also evaluate in few-shot learning and label imbalance settings and observe even more significant performance gap.


title: Analysis of realistic and empirical multipole interactions for shell-model calculations

abstract: We perform analysis of realistic nucleon-nucleon interactions, as well as of empirically-corrected interactions, fitted to reproduce in detail the spectroscopic data in p and sd shells. We focus on the multipole part of the interactions, contrary to previous studies of that type which focused on monopole parts. We analyze how the different parts of the NN force (tensor, spin-orbit and central) contribute to the leading multipoles of the interaction and how do they renormalize in medium. We show that the leading coherent terms of the realistic and effective interactions are dominated by the central component as expected from their schematic operator structure. Convergence and cutoff dependence of multipole Hamiltonians is also discussed.


title: Swampland Revisited

abstract: The transcendental expectation of string theory is that the nature of the fundamental forces, particle spectra and masses, together with coupling constants, is uniquely determined by mathematical and logical consistency, non-empirically, that is by pure reason. However pluralism triumphed with the explosive emergence of the multiverse. String theorists have extended a long-sought dream (their unique and final theory) to a landscape or a happy caparnaum. Proponents of string theory try to qualify their arguments via swampland conjectures while cosmologists retreat to their telescopes. We review the current status of the string theory swampland.


title: Shorter Latency of Real-time Epileptic Seizure Detection via Probabilistic Prediction

abstract: Although recent studies have proposed seizure detection algorithms with good sensitivity performance, there is a remained challenge that they were hard to achieve significantly short detection latency in real-time scenarios. In this manuscript, we propose a novel deep learning framework intended for shortening epileptic seizure detection latency via probabilistic prediction. We are the first to convert the seizure detection task from traditional binary classification to probabilistic prediction by introducing a crossing period from seizure-oriented EEG recording and proposing a labeling rule using soft-label for crossing period samples. And, a novel multiscale STFT-based feature extraction method combined with 3D-CNN architecture is proposed to accurately capture predictive probabilities of samples. Furthermore, we also propose rectified weighting strategy to enhance predictive probabilities, and accumulative decision-making rule to achieve significantly shorter detection latency. We implement the proposed framework on two prevalent datasets -- CHB-MIT scalp EEG dataset and SWEC-ETHZ intracranial EEG dataset in patient-specific leave-one-seizure-out cross-validation scheme. Eventually, the proposed algorithm successfully detected 94 out of 99 seizures during crossing period and 100% seizures detected after EEG onset, averaged 14.84% rectified predictive ictal probability (RPIP) errors of crossing samples, 2.3 s detection latency, 0.08/h false detection rate (FDR) on CHB-MIT dataset. Meanwhile, 84 out of 89 detected seizures during crossing period, 100% detected seizures after EEG onset, 16.17% RPIP errors, 4.7 s detection latency, and 0.08/h FDR are achieved on SWEC-ETHZ dataset. The obtained detection latencies are at least 50% shorter than state-of-the-art results reported in previous studies.


title: Redox state and interior structure control on the long-term habitability of stagnant-lid planets

abstract: A major goal in the search for extraterrestrial life is the detection of liquid water on the surface of exoplanets. On terrestrial planets, volcanic outgassing is a significant source of atmospheric and surface water and a major contributor to the long-term evolution of the atmosphere. The rate of volcanism depends on the interior evolution and on numerous feedback processes between atmosphere and interior, which continuously shape atmospheric composition, pressure, and temperature. We present the results of a comprehensive 1D model of the coupled evolution of the interior and atmosphere of rocky exoplanets that combines central feedback processes between these two reservoirs. We carried out more than \num{280000} simulations over a wide range of mantle redox states and volatile content, planetary masses, interior structures and orbital distances in order to robustly assess the emergence, accumulation and preservation of surface water on rocky planets. To establish a conservative baseline of which types of planets can outgas and sustain water on their surface, we focus here on stagnant-lid planets. We find that only a narrow range of the mantle redox state around the iron-w\"ustite buffer allows the formation of atmospheres that lead to long-term habitable conditions. At oxidizing conditions similar to those of the Earth's mantle, most stagnant-lid planets end up in a hothouse regime akin to Venus due to strong \ce{CO2} outgassing. At more reducing conditions, the amount of outgassed greenhouse gases is often too low to keep surface water from freezing. In addition, Mercury-like planets with large metallic cores are able to sustain habitable conditions at an extended range of orbital distances as a result of lower volcanic activity.


title: ORKA: Accelerated Kaczmarz Algorithms for Signal Recovery from One-Bit Samples

abstract: One-bit quantization with time-varying sampling thresholds has recently found significant utilization potential in statistical signal processing applications due to its relatively low power consumption and low implementation cost. In addition to such advantages, an attractive feature of one-bit analog-to-digital converters (ADCs) is their superior sampling rates as compared to their conventional multi-bit counterparts. This characteristic endows one-bit signal processing frameworks with what we refer to as sample abundance. On the other hand, many signal recovery and optimization problems are formulated as (possibly non-convex) quadratic programs with linear feasibility constraints in the one-bit sampling regime. We demonstrate, with a particular focus on the nuclear norm minimization, that the sample abundance paradigm allows for the transformation of such quadratic problems to merely a linear feasibility problem by forming a large-scale overdetermined linear system; thus removing the need for costly optimization constraints and objectives. To make this achievable, we propose enhanced randomized Kaczmarz algorithms to tackle these highly overdetermined feasibility problems. Several numerical results are presented to illustrate the effectiveness of the proposed methodologies.


title: Knowledge-Aware Semantic Communication System Design and Data Allocation

abstract: The recent emergence of 6G raises the challenge of increasing the transmission data rate even further in order to overcome the Shannon limit. Traditional communication methods fall short of the 6G goals, paving the way for Semantic Communication (SemCom) systems that have applications in the metaverse, healthcare, economics, etc. In SemCom systems, only the relevant keywords from the data are extracted and used for transmission. In this paper, we design an auto-encoder and auto-decoder that only transmit these keywords and, respectively, recover the data using the received keywords and the shared knowledge. This SemCom system is used in a setup in which the receiver allocates various categories of the same dataset collected from the transmitter, which differ in size and accuracy, to a number of users. This scenario is formulated using an optimization problem called the data allocation problem (DAP). We show that it is NP-complete and propose a greedy algorithm to solve it. Using simulations, we show that the proposed methods for SemCom system design outperform state-of-the-art methods in terms of average number of words per sentence for a given accuracy, and that the proposed greedy algorithm solution of the DAP performs significantly close to the optimal solution.


title: KIDS: kinematics-based (in)activity detection and segmentation in a sleep case study

abstract: Sleep behaviour and in-bed movements contain rich information on the neurophysiological health of people, and have a direct link to the general well-being and quality of life. Standard clinical practices rely on polysomnography for sleep assessment; however, it is intrusive, performed in unfamiliar environments and requires trained personnel. Progress has been made on less invasive sensor technologies, such as actigraphy, but clinical validation raises concerns over their reliability and precision. Additionally, the field lacks a widely acceptable algorithm, with proposed approaches ranging from raw signal or feature thresholding to data-hungry classification models, many of which are unfamiliar to medical staff. This paper proposes an online Bayesian probabilistic framework for objective (in)activity detection and segmentation based on clinically meaningful joint kinematics, measured by a custom-made wearable sensor. Intuitive three-dimensional visualisations of kinematic timeseries were accomplished through dimension reduction based preprocessing, offering out-of-the-box framework explainability potentially useful for clinical monitoring and diagnosis. The proposed framework attained up to 99.2\% $F_1$-score and 0.96 Pearson's correlation coefficient in, respectively, the posture change detection and inactivity segmentation tasks. The work paves the way for a reliable home-based analysis of movements during sleep which would serve patient-centred longitudinal care plans.


title: Unsupervised Multivariate Time-Series Transformers for Seizure Identification on EEG

abstract: Epilepsy is one of the most common neurological disorders, typically observed via seizure episodes. Epileptic seizures are commonly monitored through electroencephalogram (EEG) recordings due to their routine and low expense collection. The stochastic nature of EEG makes seizure identification via manual inspections performed by highly-trained experts a tedious endeavor, motivating the use of automated identification. The literature on automated identification focuses mostly on supervised learning methods requiring expert labels of EEG segments that contain seizures, which are difficult to obtain. Motivated by these observations, we pose seizure identification as an unsupervised anomaly detection problem. To this end, we employ the first unsupervised transformer-based model for seizure identification on raw EEG. We train an autoencoder involving a transformer encoder via an unsupervised loss function, incorporating a novel masking strategy uniquely designed for multivariate time-series data such as EEG. Training employs EEG recordings that do not contain any seizures, while seizures are identified with respect to reconstruction errors at inference time. We evaluate our method on three publicly available benchmark EEG datasets for distinguishing seizure vs. non-seizure windows. Our method leads to significantly better seizure identification performance than supervised learning counterparts, by up to 16% recall, 9% accuracy, and 9% Area under the Receiver Operating Characteristics Curve (AUC), establishing particular benefits on highly imbalanced data. Through accurate seizure identification, our method could facilitate widely accessible and early detection of epilepsy development, without needing expensive label collection or manual feature extraction.


title: Technology Report : Smartphone-Based Pedestrian Dead Reckoning Integrated with Data-Fusion-Adopted Visible Light Positioning

abstract: Pedestrian dead-reckoning (PDR) is a potential indoor localization technology that obtains location estimation with the inertial measurement unit (IMU). However, one of its most significant drawbacks is the accumulation of its measurement error. This paper proposes a visible light positioning (VLP)-integrated PDR system, which could achieve real-time and accurate indoor positioning using IMU and the camera sensor of our smartphone. A multi-frame fusion method is proposed in the encoding and decoding process of the system, reaching 98.5% decoding accuracy with a 20-bit-long ID at the height of 2.1 m, which allows the variation in the shutter speeds of cameras and heights of the LED. Meanwhile, absolute locations and step length could be calibrated with the help of a single light-emitting diode (LED), promising average accuracy within 0.5 meters in a 108-meter walk.


title: The evolution of phase space densities in star-forming regions

abstract: The multi-dimensional phase space density (both position and velocity) of star-forming regions may encode information on the initial conditions of star and planet formation. Recently, a new metric based on the Mahalanobis distance has been used to show that hot Jupiters are more likely to be found around exoplanet host-stars in high 6D phase space density, suggesting a more dynamic formation environment for these planets. However, later work showed that this initial result may be due to a bias in the age of hot Jupiters and the kinematics of their host stars. We test the ability of the Mahalanobis distance and density to differentiate more generally between star-forming regions with different morphologies by applying it to static regions that are either substructured or smooth and centrally concentrated. We find that the Mahalanobis distance is unable to distinguish between different morphologies, and that the initial conditions of the N-body simulations cannot be constrained using only the Mahalanobis distance or density. Furthermore, we find that the more dimensions in the phase space the less effective the Mahalanobis density is at distinguishing between different initial conditions. We show that a combination of the mean three-dimensional (x, y, z) Mahalanobis density and the Q-parameter for a region can constrain its initial virial state. However this is due to the discriminatory power of the Q-parameter and not from any extra information imprinted in the Mahalanobis density. We therefore recommend continued use of multiple diagnostics for determining the initial conditions of star-forming regions, rather than relying on a single multi-dimensional metric.


title: Correlated carrier dynamics in a superconducting van der Waals heterostructure

abstract: The study of Berezinskii-Kosterlitz-Thouless transitions in clean, layered two-dimensional superconductors promises to provide insight into a host of novel phenomena like re-entrant vortex-dynamics, underlying unconventional metallic phases, and topological superconductivity. In this letter, we report the study of charge carrier dynamics in a novel 2-dimensional superconducting van der Waals heterostructure comprising monolayer MoS2 and few-layer NbSe2 (15 nm). Using low-frequency conductance fluctuation spectroscopy, we show that the superconducting transition in the system is percolative. We present a phenomenological picture of different phases across the transition correlating with the evaluated noise. The analysis of the higher-order statistics of fluctuation reveals non-Gaussian components around the transition indicative of long-range correlation in the system.


title: $Ab\,initio$ derivation of lattice gauge theory dynamics for cold gases in optical lattices

abstract: We introduce a method for quantum simulation of U$(1)$ lattice gauge theories coupled to matter, utilizing alkaline-earth(-like) atoms in state-dependent optical lattices. The proposal enables the study of both gauge and fermionic-matter fields without integrating out one of them in one and two dimensions. We focus on a realistic and robust implementation that utilizes the long-lived metastable clock state available in alkaline-earth(-like) atomic species. Starting from an $ab\,initio$ modelling of the experimental setting, we systematically carry out a derivation of the target U$(1)$ gauge theory. This approach allows us to identify and address conceptual and practical challenges for the implementation of lattice gauge theories that - while pivotal for a successful implementation - have never been rigorously addressed in the literature: those include the specific engineering of lattice potentials to achieve the desired structure of Wannier functions, and the subtleties involved in realizing the proper separation of energy scales to enable gauge-invariant dynamics. We discuss realistic experiments that can be carried out within such a platform using the fermionic isotope $^{173}$Yb, addressing via simulations all key sources of imperfections, and provide concrete parameter estimates for relevant energy scales in both one- and two-dimensional settings.

categories: cond-mat.quant-gas cond-mat.str-el hep-th quant-ph


title: Integrality relations for polynomial dissections

abstract: Given a trapezoid dissected into triangles, the area of any triangle determined by either diagonal of the trapezoid is integral over the ring generated by the areas of the triangles in the dissection. Given a parallelogram dissected into triangles, the area of any one of the triangles of the dissection is integral over the ring generated by the areas of the other triangles. In both cases, the integrality relations are invariant under deformation of the dissection. The trapezoid theorem implies and provides a new context for Monsky's Equidissection Theorem that a square cannot be dissected into an odd number of triangles of equal area. A corollary of these results is that the area polynomials for parallelograms introduced in previous work have all leading coefficients equal to $\pm 1$.


title: A mathematical model of marine mucilage, the case of the liga on the Basque coast

abstract: In this paper we are interested in modeling the production of mucus by diatoms under the constraint of a nutrient limitation. The initial questioning comes from the observation of the so-called ''liga'' on the Aquitaine coast. The biological origin of the phenomenon is presented and discussed based on the existing litterature.A mathematical model is proposed and its theoretical properties are analized: well-posedness and differentiability with respect to the model parameters.Finally, numerical experiments are provided, investigating the possibility of parameter identification for the model using chemostat-type experiments.


title: Bridging High-Density, Electron Beam Coronal Transport and Deep Chromospheric Heating in Stellar Flares

abstract: The optical and near-ultraviolet (NUV) continuum radiation in M dwarf flares is thought to be the impulsive response of the lower stellar atmosphere to magnetic energy release and electron acceleration at coronal altitudes. This radiation is sometimes interpreted as evidence of a thermal photospheric spectrum with $T \approx 10^4$ K. However, calculations show that standard solar flare coronal electron beams lose their energy in a thick target of gas in the upper and middle chromosphere (log$_{10}$ column mass /[g cm$^{-2}$] $\lesssim -3$). At larger beam injection fluxes, electric fields and instabilities are expected to further inhibit propagation to low altitudes. We show that recent numerical solutions of the time-dependent equations governing the power-law electrons and background coronal plasma (Langmuir and ion-acoustic) waves from Kontar et al. produce order-of-magnitude larger heating rates than occur in the deep chromosphere through standard solar flare electron beam power-law distributions. We demonstrate that the redistribution of beam energy above $E \gtrsim 100$ keV in this theory results in a local heating maximum that is similar to a radiative-hydrodynamic model with a large, low-energy cutoff and a hard power-law index. We use this semi-empirical forward modeling approach to produce opaque NUV and optical continua at gas temperatures $T \gtrsim 12,000$ K over the deep chromosphere with log$_{10}$ column mass /[g cm$^{-2}$] of $-1.2$ to $-2.3$. These models explain the color temperatures and Balmer jump strengths in high-cadence M dwarf flare observations, and they clarify the relation among atmospheric, radiation, and optical color temperatures in stellar flares.


title: Inverse problem approach in Extreme Adaptive Optics: analytical model of the fitting error and lowering of the aliasing

abstract: We present the results obtained with an end-to-end simulator of an Extreme Adaptive Optics (XAO) system control loop. It is used to predict its on-sky performances and to optimise the AO loop algorithms. It was first used to validate a novel analytical model of the fitting error, a limit due to the Deformable Mirror (DM) shape. Standard analytical models assume a sharp correction under the DM cutoff frequency, disregarding the transition between the AO corrected and turbulence dominated domains. Our model account for the influence function shape in this smooth transition. Then, it is well-known that Shack-Hartmann wavefront sensors (SH-WFS) have a limited spatial bandwidth, the high frequencies of the wavefront being seen as low frequencies. We show that this aliasing error can be partially compensated (both in terms of Strehl ratio and contrast) by adding priors on the turbulence statistics in the framework of an inverse problem approach. This represents an alternative to the standard additional optical filter used in XAO systems. In parallel to this numerical work, a bench was aligned to experimentally test the AO system and these new algorithms comprising a DM192 ALPAO deformable mirror and a 15x15 SH-WFS. We present the predicted performances of the AO loop based on end-to-end simulations.


title: Reaction Coordinates for Conformational Transitions using Linear Discriminant Analysis on Positions

abstract: In this work, we demonstrate that Linear Discriminant Analysis (LDA) applied to atomic positions in two different states of a biomolecule produces a good reaction coordinate between those two states. Atomic coordinates of a macromolecule are a direct representation of a macromolecular configuration, and yet they have not been used in enhanced sampling studies due to a lack of rotational and translational invariance. We resolve this issue using the technique of our prior work, where a molecular configuration is considered a member of an equivalence class in size-and-shape space, which is the set of all configurations that can be translated and rotated to a single point within a reference multivariate Gaussian distribution characterizing a single molecular state. The reaction coordinates produced by LDA applied to positions are shown to be good reaction coordinates both in terms of characterizing the transition between two states of a system within a long molecular dynamics (MD) simulation, and also ones that allow us to readily produce free energy estimates along that reaction coordinate using enhanced sampling MD techniques.


title: Differentiable Simulations for Enhanced Sampling of Rare Events

abstract: Simulating rare events, such as the transformation of a reactant into a product in a chemical reaction typically requires enhanced sampling techniques that rely on heuristically chosen collective variables (CVs). We propose using differentiable simulations (DiffSim) for the discovery and enhanced sampling of chemical transformations without a need to resort to preselected CVs, using only a distance metric. Reaction path discovery and estimation of the biasing potential that enhances the sampling are merged into a single end-to-end problem that is solved by path-integral optimization. This is achieved by introducing multiple improvements over standard DiffSim such as partial backpropagation and graph mini-batching making DiffSim training stable and efficient. The potential of DiffSim is demonstrated in the successful discovery of transition paths for the Muller-Brown model potential as well as a benchmark chemical system - alanine dipeptide.


title: On the KPZ scaling and the KPZ fixed point for TASEP

abstract: We consider all totally asymmetric simple exclusion processes (TASEPs) whose transition probabilities are given in the Sch\"utz-type formulas and which jump with homogeneous rates. We show that the multi-point distribution of particle positions and the coefficient of KPZ scaling are described using the probability generating function of the distribution followed when the rightmost particle jumps. For all TASEPs satisfying certain assumptions, We also prove the pointwise convergence of the kernels appearing in the joint distribution of particle positions to those appearing in the KPZ fixed point formula. Our result generalizes the result of Matetski, Quastel, and Remenik [Acta Math., 227, 115-203, (2021)].


title: A general maximal projection approach to uniformity testing on the hypersphere

abstract: We propose a novel approach to uniformity testing on the $d$-dimensional unit hypersphere $\mathcal{S}^{d-1}$ based on maximal projections. This approach gives a unifying view on the classical uniformity tests of Rayleigh and Bingham, and it links to measures of multivariate skewness and kurtosis. We derive the limiting distribution under the null hypothesis using limit theorems for Banach space valued stochastic processes and we present strategies to simulate the limiting processes by applying results on the theory of spherical harmonics. We examine the behavior under contiguous and fixed alternatives and show the consistency of the testing procedure for some classes of alternatives. For the first time in uniformity testing on the sphere, we derive local Bahadur efficiency statements. We evaluate the theoretical findings and empirical powers of the procedures in a broad competitive Monte Carlo simulation study and, finally, apply the new tests to a data set on midpoints of large craters on the moon.


title: Is $d^*(2380)$ a compact hexaquark state?

abstract: The most fascinating dibaryon in the non-strange quark sector is $d^*(2380)$, which was reported by WASA-at-COSY Collaboration and confirmed by A2@MAMI Collaboration. The reported mass and width are $M\approx2.37$ GeV, $\Gamma\approx70$ MeV and the quantum numbers $IJ^P=03^+$. The structure of $d^*(2380)$ is still in controversy. In the present calculation, the powerful method in few-body system, Gaussian expansion method is employed to explore the structure of $d^*(2380)$ in the framework of constituent quark models without assuming the presupposed structure. The results show that the radius of $d^*(2380)$ is around 0.7 fm, a very compact object. Because of the compact structure, the color singlet-singlet component has a large overlap with the color octet-octet one, two colorless, large overlapped $\Delta$s dominate the state is possible.


title: A Lyapunov approach to stability of positive semigroups: An overview with illustrations

abstract: The stability analysis of possibly time varying positive semigroups on non necessarily compact state spaces, including Neumann and Dirichlet boundary conditions is a notoriously difficult subject. These crucial questions arise in a variety of areas of applied mathematics, including nonlinear filtering, rare event analysis, branching processes, physics and molecular chemistry. This article presents an overview of some recent Lyapunov-based approaches, focusing principally on practical and powerful tools for designing Lyapunov functions. These techniques include semigroup comparisons as well as conjugacy principles on non necessarily bounded manifolds with locally Lipschitz boundaries. All the Lyapunov methodologies discussed in the article are illustrated in a variety of situations, ranging from conventional Markov semigroups on general state spaces to more sophisticated conditional stochastic processes possibly restricted to some non necessarily bounded domains, including locally Lipschitz and smooth hypersurface boundaries, Langevin diffusions as well as coupled harmonic oscillators.


title: A generalization of the classical Euler and Korteweg Fluids

abstract: The aim of this short paper is threefold. First, we develop an implicit generalization of a constitutive relation introduced by Korteweg [10] that can describe the phenomenon of capillarity. Second, using a sub-class of the constitutive relations (implicit Euler equations), we show that even in that simple situation more than one of the members of the sub-class may be able to describe one or a set of experiments one is interested in describing, and we must determine which amongst these constitutive relations is the best by culling the class by systematically comparing against an increasing set of observations. (The implicit generalization developed in this paper is not a sub-class of the implicit generalization of the Navier-Stokes fluid developed by Rajagopal [20, 21] or the generalization due to Prusa and Rajagopal [19], as spatial gradients of the density appear in the constitutive relation developed by Korteweg [10].) Third, we introduce a challenging set of partial differential equations that would lead to new techniques in both analysis and numerical analysis to study such equations.


title: A family of elliptic curves with non-trivial Shafarevich-Tate group

abstract: Rank computation of an elliptic curve is one of the most important problems in number theory due to its importance in various open questions in number theory. A common way to understand this rank is via understanding the Selmer group and the Shafarevich-Tate group of an elliptic curve. We construct a family of Heronian elliptic curves of rank $0$ and $2$-Selmer rank $2$. This, in turn, produces a family of elliptic curves such that the Shafarevich-Tate group is isomorphic to the Klein four-group.


title: A Critique of Sopin's "${\rm PH} = {\rm PSPACE}$"

abstract: We critique Valerii Sopin's paper "${\rm PH} = {\rm PSPACE}$" [Sop14]. The paper claims to resolve one of the major open problems of theoretical computer science by leveraging the Skolemization of existential quantifiers of quantified boolean formulas to show that ${\rm QBF}$ (a well-known ${\rm PSPACE}$-complete problem) is in $\Pi_4^p$, and thus ${\rm PH} = {\rm PSPACE}$. In this critique, we highlight problems in that paper and conclude that it fails to establish that ${\rm PH} = {\rm PSPACE}$.


title: Validating neutral-beam current drive simulations in the TJ-II stellarator

abstract: In this paper, we analyze the results of neutral-beam current drive (NBCD) experiments, performed in the TJ-II stellarator, with the aim of validating the theoretical predictions. Both parallel and anti-parallel injection with respect to the magnetic field were explored using co (NBI1) and counter (NBI2) beams at different injected beam power and plasma densities. The fast-ion current driven by both beams was simulated with the Monte Carlo code ASCOT and the electron response to the fast-ion current was calculated analytically using a model valid for an arbitrary magnetic configuration and a low collisionality plasma. The model reproduces with rather good agreement the toroidal current measured in NBI2 plasmas while the current driven by NBI1 is less than half the predicted one. Possible reasons for this discrepancy are discussed.


title: Unveiling and Mitigating Bias in Ride-Hailing Pricing for Equitable Policy Making

abstract: Ride-hailing services have skyrocketed in popularity due to the convenience they offer, but recent research has shown that their pricing strategies can have a disparate impact on some riders, such as those living in disadvantaged neighborhoods with a greater share of residents of color or residents below the poverty line. Since these communities tend to be more dependent on ride-hailing services due to lack of adequate public transportation, it is imperative to address this inequity. To this end, this paper presents the first thorough study on fair pricing for ride-hailing services by devising applicable fairness measures and corresponding fair pricing mechanisms. By providing discounts that may be subsidized by the government, our approach results in an increased number and more affordable rides for the disadvantaged community. Experiments on real-world Chicago taxi data confirm our theoretical findings which provide a basis for the government to establish fair ride-hailing policies.


title: Numerical study of Valence Band states evolution in AlGaAs [111] QDs systems

abstract: Quantum Dots are very attractive nanostructures from an application point of view due to their unique optical properties. Optical properties and Valence Band states character was numerically investigated from the effect of nanostructure geometry and composition. Numerical simulation was carried out using Luttinger Kohn model adapted to the particular use case of QDs in inverted pyramids. We present the source code of the 4 band Luttinger Kohn model that can be used to model AlGaAs or InGaAs nanostructures. Here we focus on the optical properties study of GaAs/AlGaAs [111] QDs and Quantum Dot Molecules (QDMs). We examine the dependence of Ground State (GS) optical properties on their structural parameters and predict optimal parameters of the QD and QDM systems to achieve the dynamic control of GS polarization by the applied electric field.

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


title: Coderivative-Based Semi-Newton Method in Nonsmooth Difference Programming

abstract: This paper addresses the study of a new class of nonsmooth optimization problems, where the objective is represented as a difference of two generally nonconvex functions. We propose and develop a novel Newton-type algorithm to solving such problems, which is based on the coderivative generated second-order subdifferential (generalized Hessian) and employs advanced tools of variational analysis. Well-posedness properties of the proposed algorithm are derived under fairly general requirements, while constructive convergence rates are established by using additional assumptions including the Kurdyka--{\L}ojasiewicz condition. We provide applications of the main algorithm to solving a general class of nonsmooth nonconvex problems of structured optimization that encompasses, in particular, optimization problems with explicit constraints. Finally, applications and numerical experiments are given for solving practical problems that arise in biochemical models, constrained quadratic programming, etc., where advantages of our algorithms are demonstrated in comparison with some known techniques and results.


title: The role of field correlations on turbulent dissipation

abstract: Nonlinear phenomena and turbulence are central to our understanding and modeling the dynamics of fluids and plasmas, and yet they still resist analytical resolutions in many instances. However, progress has been made recently, displaying a richness of phenomena which was somewhat unexpected a few years back, such as the double constant-flux cascades of a same invariant to both the large and to the small scales, or the presence of non-Gaussian wings in the large-scale fields, for fluids and plasmas. Here, I will concentrate on the direct measurement of the magnitude of dissipation and an evaluation of intermittency in a turbulent plasma using exact laws stemming from invariance principles and involving cross-correlation tensors with both the velocity and the magnetic fields. I will illustrate these points through scaling laws, together with data analysis from existing experiments, observations and numerical simulations. Finally, I will also briefly explore the possible implications for validity and use of several modeling strategies. To appear, Plasma Physics and Controlled Fusion, 2023.


title: Mean-field Analysis for Load Balancing on Spatial Graphs

abstract: The analysis of large-scale, parallel-server load balancing systems has relied heavily on mean-field analysis. A pivotal assumption for this framework is that the servers are exchangeable. However, modern data-centers have data locality constraints, where tasks of a particular type can only be routed to a small subset of servers. An emerging line of research, therefore, considers load balancing algorithms on bipartite graphs where vertices in the two partitions represent the task types and servers, respectively, and an edge represents the server's ability to process the corresponding task type. Due to the lack of exchangeability in this model, the mean-field techniques fundamentally break down. Recent progress has been made by considering graphs with strong edge-expansion properties, i.e., where any two large subsets of vertices are well-connected. However, data locality often leads to spatial constraints, where edges are local. As a result, these bipartite graphs do not have strong expansion properties. In this paper, we consider the power-of-$d$ choices algorithm and develop a novel coupling-based approach to establish mean-field approximation for a large class of graphs that includes spatial graphs. As a corollary, we also show that, as the system size becomes large, the steady-state occupancy process for arbitrary regular bipartite graphs with diverging degrees, is indistinguishable from a fully flexible system on a complete bipartite graph. The method extends the scope of mean-field analysis far beyond the classical full-flexibility setup. En route, we prove that, starting from suitable states, the occupancy process becomes close to its steady state in a time that is independent of $N$. Such a large-scale mixing-time result might be of independent interest. Numerical experiments are conducted, which positively support the theoretical results.


title: On groups of smooth maps into a simple compact Lie group, revisited

abstract: Let $X$ be a closed smooth manifold, $G$ be a simple connected compact real Lie group, $M (G)$ be the group of all smooth maps from $X$ to $G$, and $M_0 (G)$ be its connected component for the $\mathcal C^\infty$-compact open topology. It is shown that maximal normal subgroups of $M_0 (G)$ are precisely the inverse images of the centre $Z(G)$ of $G$ by the evaluation homomorphisms $M_0 (G) \to G, \hskip.1cm \gamma \mapsto \gamma (a)$, for $a \in X$. This in turn is a consequence of a result on the group $\mathcal C^\infty_{n, G}$ of germs at the origin $O$ of $\mathbf R^n$ of smooth maps $\mathbf R^n \to G$: this group has a unique maximal normal subgroup, which is the inverse image of $Z(G)$ by the evaluation homomorphism $\mathcal C^\infty_{n, G} \to G, \hskip.1cm \underline \gamma \mapsto \underline \gamma (O)$. This article provides corrections for part of an earlier article [Harp--88].


title: On the challenges to learn from Natural Data Streams

abstract: In real-world contexts, sometimes data are available in form of Natural Data Streams, i.e. data characterized by a streaming nature, unbalanced distribution, data drift over a long time frame and strong correlation of samples in short time ranges. Moreover, a clear separation between the traditional training and deployment phases is usually lacking. This data organization and fruition represents an interesting and challenging scenario for both traditional Machine and Deep Learning algorithms and incremental learning agents, i.e. agents that have the ability to incrementally improve their knowledge through the past experience. In this paper, we investigate the classification performance of a variety of algorithms that belong to various research field, i.e. Continual, Streaming and Online Learning, that receives as training input Natural Data Streams. The experimental validation is carried out on three different datasets, expressly organized to replicate this challenging setting.


title: Time-Varying Graph Mode Decomposition

abstract: Time-varying graph signals are alternative representation of multivariate (or multichannel) signals in which a single time-series is associated with each of the nodes or vertex of a graph. Aided by the graph-theoretic tools, time-varying graph models have the ability to capture the underlying structure of the data associated with multiple nodes of a graph -- a feat that is hard to accomplish using standard signal processing approaches. The aim of this contribution is to propose a method for the decomposition of time-varying graph signals into a set of graph modes. The graph modes can be interpreted in terms of their temporal, spectral and topological characteristics. From the temporal (spectral) viewpoint, the graph modes represent the finite number of oscillatory signal components (output of multiple band-pass filters whose center frequencies and bandwidths are learned in a fully data-driven manner), similar in properties to those obtained from the empirical mode decomposition and related approaches. From the topological perspective, the graph modes quantify the functional connectivity of the graph vertices at multiple scales based on their signal content. In order to estimate the graph modes, a variational optimization formulation is designed that includes necessary temporal, spectral and topological requirements relevant to the graph modes. An efficient method to solve that problem is developed which is based on the alternating direction method of multipliers (ADMM) and the primal-dual optimization approach. Finally, the ability of the method to enable a joint analysis of the temporal and topological characteristics of time-varying graph signals, at multiple frequency bands/scales, is demonstrated on a series of synthetic and real time-varying graph data sets.


title: Phase transitions in inorganic halide perovskites from machine learning potentials

abstract: The atomic scale dynamics of halide perovskites have a direct impact not only on their thermal stability but their optoelectronic properties. Progress in machine learned potentials has only recently enabled modeling the finite temperature behavior of these material using fully atomistic methods with near first-principles accuracy. Here, we systematically analyze the impact of heating and cooling rate, simulation size, model uncertainty, and the role of the underlying exchange-correlation functional on the phase behavior of CsPbX3 with X=Cl, Br, and I, including both the perovskite and the delta-phases. We show that rates below approximately 30 K/ns and system sizes of at least a few ten thousand atoms are indicated to achieve convergence with regard to these parameters. By controlling these factors and constructing models that are specific for different exchange-correlation functionals we then show that the semi-local functionals considered in this work (SCAN, vdW-DF-cx, PBEsol, and PBE) systematically underestimate the transition temperatures separating the perovskite phases while overestimating the lattice parameters. Among the considered functionals the vdW-DF-cx functional yields the closest agreement with experiment, followed by SCAN, PBEsol, and PBE. Our work provides guidelines for the systematic analysis of dynamics and phase transitions in inorganic halide perovskites and similar systems. It also serves as a benchmark for the further development of machine-learned potentials as well as exchange-correlation functionals.


title: Convergence properties of optimal transport-based temporal hypernetworks

abstract: We present a method to extract temporal hypergraphs from sequences of 2-dimensional functions obtained as solutions to Optimal Transport problems. We investigate optimality principles exhibited by these solutions from the point of view of hypergraph structures. Discrete properties follow patterns that differ from those characterizing their continuous counterparts. Analyzing these patterns can bring new insights into the studied transportation principles. We also compare these higher-order structures to their network counterparts in terms of standard graph properties. We give evidence that some transportation schemes might benefit from hypernetwork representations. We demonstrate our method on real data by analyzing the properties of hypernetworks extracted from images of real systems.


title: Aether scalar tensor theory confronted with weak lensing data at small accelerations

abstract: The recently proposed aether scalar tensor (AeST) model reproduces both the successes of particle dark matter on cosmological scales and those of modified Newtonian dynamics (MOND) on galactic scales. But the AeST model reproduces MOND only up to a certain maximum galactocentric radius. Since MOND is known to fit very well to observations at these scales, this raises the question of whether the AeST model comes into tension with data. We tested whether or not the AeST model is in conflict with observations using a recent analysis of data for weak gravitational lensing. We solved the equations of motion of the AeST model, analyzed the solutions' behavior, and compared the results to observational data. The AeST model shows some deviations from MOND at the radii probed by weak gravitational lensing. The data show no clear indication of these predicted deviations.


title: Generalized Ricci solitons and Einstein metrics on weak $K$-contact manifolds

abstract: We study metric structures on a smooth manifold (introduced in our recent works and called a weak contact metric structure and a weak K-structure) which generalize the metric contact and K-contact structures, and allow a new look at the classical theory. First, we characterize weak K-contact manifolds among all weak contact metric manifolds by the property well known for K-contact manifolds, and find when a Riemannian manifold endowed with a unit Killing vector field forms a weak K-contact structure. Second, we find sufficient conditions for a weak K-contact manifold with parallel Ricci tensor or with a generalized Ricci soliton structure to be an Einstein manifold.


title: Discovery of enhanced lattice dynamics in a single-layered hybrid perovskite

abstract: Layered hybrid perovskites have attracted much attention in recent years due to their emergent physical properties and exceptional functional performances, but the coexistence of lattice order and structural disorder severely hinders our understanding of these materials. One unsolved problem regards how the lattice dynamics are affected by the dimensional engineering of the inorganic frameworks and the interaction with the molecular moieties. Here, we address this question by using a combination of high-resolution spontaneous Raman scattering, high-field terahertz spectroscopy, and molecular dynamics simulations. This approach enables us to reveal the structural vibrations and disorder in and out of equilibrium and provides surprising observables that differentiate single- and double-layered perovskites. While no distinct vibrational coherence is observed in double-layer perovskites, we discover that an off-resonant terahertz pulse can selectively drive a long-lived coherent phonon mode through a two-photon process in the single-layered system. This difference highlights the dramatic change in the lattice environment as the dimension is reduced. The present findings pave the way for the ultrafast structural engineering of hybrid lattices as well as for developing high-speed optical modulators based on layered perovskites.


title: An FRB Sent Me a DM: Constraining the Electron Column of the Milky Way Halo with Fast Radio Burst Dispersion Measures from CHIME/FRB

abstract: The CHIME/FRB project has detected hundreds of fast radio bursts (FRBs), providing an unparalleled population to probe statistically the foreground media that they illuminate. One such foreground medium is the ionized halo of the Milky Way (MW). We estimate the total Galactic electron column density from FRB dispersion measures (DMs) as a function of Galactic latitude using four different estimators, including ones that assume spherical symmetry of the ionized MW halo and ones that imply more latitudinal-variation in density. Our observation-based constraints of the total Galactic DM contribution for $|b|\geq 30^\circ$, depending on the Galactic latitude and selected model, span 87.8 - 141 pc cm^-3. This constraint implies upper limits on the MW halo DM contribution that range over 52-111 pc cm^-3. We discuss the viability of various gas density profiles for the MW halo that have been used to estimate the halo's contribution to DMs of extragalactic sources. Several models overestimate the DM contribution, especially when assuming higher halo gas masses (~ 3.5 x 10^12 solar masses). Some halo models predict a higher MW halo DM contribution than can be supported by our observations unless the effect of feedback is increased within them, highlighting the impact of feedback processes in galaxy formation.


title: Embedding Unimodular Gravity in String Theory

abstract: Unimodular Gravity is a theory displaying Weyl rescalings of the metric and transverse (volume-preserving) diffeomorphisms as gauge symmetries, as opposed to the full set of diffeomorphisms displayed by General Relativity. Recently, we presented a systematic comparison of both theories, concluding that both of them are equivalent in everything but the behaviour of the cosmological constant under radiative corrections. A careful study of how Unimodular Gravity can be embedded in the string theory framework has not been provided yet and was not analyzed there in detail. In this article, we provide such an explicit analysis, filling the gap in the literature. We restrict ourselves to the unoriented bosonic string theory in critical dimension for the sake of simplicity, although we argue that no differences are expected for other string theories. Our conclusions are that both a Diff and a WTDiff invariance principle are equally valid for describing the massless excitations of the string spectrum.


title: Radial pulsations, moment of inertia and tidal deformability of dark energy stars

abstract: We construct dark energy stars with Chaplygin-type equation of state (EoS) in the presence of anisotropic pressure within the framework of Einstein gravity. From the classification established by Iyer et al. [Class. Quantum Grav. 2, 219 (1985)], we discuss the possible existence of isotropic dark energy stars as compact objects. However, there is the possibility of constructing ultra-compact stars for sufficiently large anisotropies. We investigate the stellar stability against radial oscillations, and we also determine the moment of inertia and tidal deformability of these stars. We find that the usual static criterion for radial stability $dM/d\rho_c >0$ still holds for dark energy stars since the squared frequency of the fundamental pulsation mode vanishes at the critical central density corresponding to the maximum-mass configuration. The dependence of the tidal Love number on the anisotropy parameter $\alpha$ is also examined. We show that the surface gravitational redshift, moment of inertia and dimensionless tidal deformability undergo significant changes due to anisotropic pressure, primarily in the high-mass region. Furthermore, in light of the detection of gravitational waves GW190814, we explore the possibility of describing the secondary component of such event as a stable dark energy star in the presence of anisotropy.


title: Advances in Medical Image Analysis with Vision Transformers: A Comprehensive Review

abstract: The remarkable performance of the Transformer architecture in natural language processing has recently also triggered broad interest in Computer Vision. Among other merits, Transformers are witnessed as capable of learning long-range dependencies and spatial correlations, which is a clear advantage over convolutional neural networks (CNNs), which have been the de facto standard in Computer Vision problems so far. Thus, Transformers have become an integral part of modern medical image analysis. In this review, we provide an encyclopedic review of the applications of Transformers in medical imaging. Specifically, we present a systematic and thorough review of relevant recent Transformer literature for different medical image analysis tasks, including classification, segmentation, detection, registration, synthesis, and clinical report generation. For each of these applications, we investigate the novelty, strengths and weaknesses of the different proposed strategies and develop taxonomies highlighting key properties and contributions. Further, if applicable, we outline current benchmarks on different datasets. Finally, we summarize key challenges and discuss different future research directions. In addition, we have provided cited papers with their corresponding implementations in https://github.com/mindflow-institue/Awesome-Transformer.


title: Experimental evidence of a crossover between cooperative relaxation and liquid growth dynamics

abstract: In stark contrast with the conventional understanding of the glass transition, where the transition from glass to liquid appears as a dynamic process where atoms/molecules cooperatively relax into the equilibrium phase, we experimentally show that the nature of the glass transition depends at a given temperature on the ratio between the relaxation time of the glass, {\tau}_glass, taken as its transformation time, and the alpha relaxation time, {\tau}_{\alpha}. Although the relaxation of liquid-cooled glasses is not totally synchronous, due to the existence of a distribution of relaxation times, there has been no clear observation of phase separation. However, at temperatures at which {\tau}_glass/{\tau}_{\alpha} is large, high mobility regions nucleate into the liquid phase that subsequently grow by dynamic facilitation before, or while, cooperative glass relaxation sets into play. On the contrary, at temperatures associated to smaller {\tau}_glass/{\tau}_{\alpha} the glass transition proceeds by cooperative relaxation dynamics all across the material. This behavior is independent of the experimental procedure or protocol to produce the glass.


title: Fractionalization of Majorana-Ising-type quasiparticles

abstract: We theoretically investigate the spectral properties of a quantum impurity (QI) hosting the here proposed {Majorana-Ising-type quasiparticle (MIQ) excitation}. It arises from the coupling between a finite topological superconductor (TSC) based on a chain of magnetic adatoms-superconducting hybrid system and an integer large spin $S$ flanking the QI. Noteworthy, the spin $S$ couples to the QI via the Ising-type exchange interaction. As the Majorana zero-modes (MZMs) at the edges of the TSC chain are overlapped, we counterintuitively find a regime wherein the Ising term modulates the localization of a fractionalized and resonant MZM at the QI site. Interestingly enough, the fermionic nature of this state is revealed as purely of electron tunneling-type and most astonishingly, it has the Andreev conductance completely null in its birth. Therefore, we find that a resonant edge state appears as a zero-mode and discuss it in terms of a poor man's Majorana[Nature 614, 445 (2023)].


title: Nonlinear THz Control of the Lead Halide Perovskite Lattice

abstract: Lead halide perovskites (LHPs) have emerged as an excellent class of semiconductors for next-generation solar cells and optoelectronic devices. Tailoring physical properties by fine-tuning the lattice structures has been explored in these materials by chemical composition or morphology. Nevertheless, its dynamic counterpart, phonon-driven ultrafast material control, as contemporarily harnessed for oxide perovskites, has not been established yet. Here we employ intense THz electric fields to obtain direct lattice control via nonlinear excitation of coherent octahedral twist modes in hybrid CH3NH3PbBr3 and all-inorganic CsPbBr3 perovskites. These Raman-active phonons at 0.9 - 1.3 THz are found to govern the ultrafast THz-induced Kerr effect in the low-temperature orthorhombic phase and thus dominate the phonon-modulated polarizability with potential implications for dynamic charge carrier screening beyond the Froehlich polaron. Our work opens the door to selective control of LHP's vibrational degrees of freedom governing phase transitions and dynamic disorder.


title: Learning-based Design and Control for Quadrupedal Robots with Parallel-Elastic Actuators

abstract: Parallel-elastic joints can improve the efficiency and strength of robots by assisting the actuators with additional torques. For these benefits to be realized, a spring needs to be carefully designed. However, designing robots is an iterative and tedious process, often relying on intuition and heuristics. We introduce a design optimization framework that allows us to co-optimize a parallel elastic knee joint and locomotion controller for quadrupedal robots with minimal human intuition. We design a parallel elastic joint and optimize its parameters with respect to the efficiency in a model-free fashion. In the first step, we train a design-conditioned policy using model-free Reinforcement Learning, capable of controlling the quadruped in the predefined range of design parameters. Afterwards, we use Bayesian Optimization to find the best design using the policy. We use this framework to optimize the parallel-elastic spring parameters for the knee of our quadrupedal robot ANYmal together with the optimal controller. We evaluate the optimized design and controller in real-world experiments over various terrains. Our results show that the new system improves the torque-square efficiency of the robot by 33% compared to the baseline and reduces maximum joint torque by 30% without compromising tracking performance. The improved design resulted in 11% longer operation time on flat terrain.


title: Parallel Reasoning Network for Human-Object Interaction Detection

abstract: Human-Object Interaction (HOI) detection aims to learn how human interacts with surrounding objects. Previous HOI detection frameworks simultaneously detect human, objects and their corresponding interactions by using a predictor. Using only one shared predictor cannot differentiate the attentive field of instance-level prediction and relation-level prediction. To solve this problem, we propose a new transformer-based method named Parallel Reasoning Network(PR-Net), which constructs two independent predictors for instance-level localization and relation-level understanding. The former predictor concentrates on instance-level localization by perceiving instances' extremity regions. The latter broadens the scope of relation region to reach a better relation-level semantic understanding. Extensive experiments and analysis on HICO-DET benchmark exhibit that our PR-Net effectively alleviated this problem. Our PR-Net has achieved competitive results on HICO-DET and V-COCO benchmarks.


title: The value of internal memory for population growth in varying environments

abstract: In varying environments it is beneficial for organisms to utilize available cues to infer the conditions they may encounter and express potentially favorable traits. However, external cues can be unreliable or too costly to use. We consider an alternative strategy where organisms exploit internal sources of information. Even without sensing environmental cues, their internal states may become correlated with the environment as a result of selection, which then form a memory that helps predict future conditions. To demonstrate the adaptive value of such internal memory in varying environments, we revisit the classic example of seed dormancy in annual plants. Previous studies have considered the germination fraction of seeds and its dependence on environmental cues. In contrast, we consider a model of germination fraction that depends on the seed age, which is an internal state that can serve as a memory. We show that, if the environmental variation has temporal structure, then age-dependent germination fractions will allow the population to have an increased long-term growth rate. The more organisms can remember through their internal states, the higher growth rate a population can potentially achieve. Our results suggest experimental ways to infer internal memory and its benefit for adaptation in varying environments.


title: SCENE: Reasoning about Traffic Scenes using Heterogeneous Graph Neural Networks

abstract: Understanding traffic scenes requires considering heterogeneous information about dynamic agents and the static infrastructure. In this work we propose SCENE, a methodology to encode diverse traffic scenes in heterogeneous graphs and to reason about these graphs using a heterogeneous Graph Neural Network encoder and task-specific decoders. The heterogeneous graphs, whose structures are defined by an ontology, consist of different nodes with type-specific node features and different relations with type-specific edge features. In order to exploit all the information given by these graphs, we propose to use cascaded layers of graph convolution. The result is an encoding of the scene. Task-specific decoders can be applied to predict desired attributes of the scene. Extensive evaluation on two diverse binary node classification tasks show the main strength of this methodology: despite being generic, it even manages to outperform task-specific baselines. The further application of our methodology to the task of node classification in various knowledge graphs shows its transferability to other domains.


title: Analysis and spectral theory of neck-stretching problems

abstract: We study the mapping properties of a large class of elliptic operators $P_T$ in gluing problems where two non-compact manifolds with asymptotically cylindrical geometry are glued along a neck of length $2T$. In the limit where $T \rightarrow \infty$, we reduce the question of constructing approximate solutions of $P_T u = f$ to a finite-dimensional linear system, and provide a geometric interpretation of the obstructions to solving this system. Under some assumptions on the real roots of the model operator $P_0$ on the cylinder, we construct a Fredholm inverse for $P_T$ with good control on the growth of its norm. As applications of our method, we study the decay rate and density of the low eigenvalues of the Laplacian acting on differential forms, and give improved estimates for compact $G_2$-manifolds constructed by twisted connected sum. We relate our results to the swampland distance conjectures in physics.


title: Strong Collapse of Random Simplicial Complexes

abstract: The \emph{strong collapse} of a simplicial complex, proposed by Barmak and Minian (\emph{Disc. Comp. Geom. 2012}), is a combinatorial collapse of a complex onto its sub-complex. Recently, it has received attention from computational topology researchers, owing to its empirically observed usefulness in simplification and size-reduction of the size of simplicial complexes while preserving the homotopy class. We consider the strong collapse process on random simplicial complexes. For the Erd\H{o}s-R\'enyi random clique complex $X(n,c/n)$ on $n$ vertices with edge probability $c/n$ with $c>1$, we show that after any maximal sequence of strong collapses the remaining subcomplex, or \emph{core} must have $(1-\gamma)(1-c\gamma) n+o(n)$ vertices asymptotically almost surely (a.a.s.), where $\gamma$ is the least non-negative fixed point of the function $f(x) = \exp\left(-c(1-x)\right)$ in the range $(0,1)$. These are the first theoretical results proved for strong collapses on random (or non-random) simplicial complexes.


title: Identifying meteorite droppers among the population of bright 'sporadic' bolides imaged by the Spanish Meteor Network during the spring of 2022

abstract: The extraordinary weather conditions available between February and March 2022 over Spain have allowed us to analyze the brightest fireballs recorded by the monitoring stations of the Spanish Meteor Network (SPMN). We study the atmospheric flight of 15 large meteoroids to determine if they are meteorite dropper events to prepare campaigns to search for freshly fallen extraterrestrial material. We investigate their origins in the Solar System and their dynamic association with parent bodies and meteoroid streams. Employing our Python pipeline 3D-FireTOC, we reconstruct the atmospheric trajectory utilizing ground-based multi-station observations and compute the heliocentric orbit. In addition, we apply an ablation model to estimate the initial and terminal mass of each event. Using a dissimilarity criterion and propagating backward in time, we check the connection of these meteoroids with known complexes and near-Earth objects. We also calculate if the orbits are compatible with recent meteoroid ejections. We find that ~27% of these fireballs are dynamically associated with minor meteoroid streams and exhibit physical properties of cometary bodies, as well as one associated with a near-Earth asteroid. We identify two meteorite-producing events; however, the on-site search was unsuccessful. By considering that these fireballs are mostly produced by cm-sized rocks that might be the fragmentation product of much larger meteoroids, our findings emphasize the idea that the population of near-Earth objects is a source of near-term impact hazards, existing large Earth-colliding meteoroids in the known complexes.


title: Coherent Stokes Raman scattering microscopy (CSRS)

abstract: We report the first implementation of laser scanning Coherent Stokes Raman scattering (CSRS - pronounced "sCiSsoRS") microscopy. To overcome the major challenge in CSRS imaging, we show how to suppress the fluorescence background by narrow bandpass filter and a lock-in based demodulation. Near background free CSRS imaging of polymer beads, human skin, onion cells, avocado flesh and the wing disc of a drosphila larva are presented. Finally, we explain and demonstrate numerically that CSRS solves a major obstacle of other coherent Raman techniques by sending a significant part (up to 100%) of the CSRS photons into the backward direction under tight focusing conditions. We believe that this discovery will pave the way for numerous technological advances, e.g. in epi-detected coherent Raman multi-focus imaging, real-time laser scanning based spectroscopy or efficient endoscopy.


title: Diversification quotients based on VaR and ES

abstract: The diversification quotient (DQ) is recently introduced for quantifying the degree of diversification of a stochastic portfolio model. It has an axiomatic foundation and can be defined through a parametric class of risk measures. Since the Value-at-Risk (VaR) and the Expected Shortfall (ES) are the most prominent risk measures widely used in both banking and insurance, we investigate DQ constructed from VaR and ES in this paper. In particular, for the popular models of elliptical and multivariate regular varying (MRV) distributions, explicit formulas are available. The portfolio optimization problems for the elliptical and MRV models are also studied. Our results further reveal favourable features of DQ, both theoretically and practically, compared to traditional diversification indices based on a single risk measure.


title: Size Effects in Periodic Metamaterials

abstract: The optical properties of periodic electromagnetic metamaterials are considered as functions of their relative unit cell size $d / \lambda$. The reflection $R$ and transmission $T$ coefficients are numerically calculated for some realistic metamaterials in a wide range of their relative unit cell size values that comprises different operating regimes of the metamaterials. Peculiarities in $R$ and $T$ behavior are discussed and the causes of those peculiarities are outlined. The obtained results support the opinion on inapplicability of the very homogenization concept to metamaterials whose unit cell size is comparable to the incident wavelength, in contrast to some previously published results.


title: Evolution of elemental abundances in hot active region cores from Chandrayaan-2 XSM observations

abstract: The First Ionization Potential (FIP) bias, whereby elemental abundances for low FIP elements in different coronal structures vary from their photospheric values and may also vary with time, has been widely studied. In order to study the temporal variation, and to understand the physical mechanisms giving rise to the FIP bias, we have investigated the hot cores of three ARs using disk-integrated soft X-ray spectroscopic observation with the Solar X-ray Monitor (XSM) onboard Chandrayaan-2. Observations for periods when only one AR was present on the solar disk were used so as to ensure that the AR was the principal contributor to the total X-ray intensity. The average values of temperature and EM were ~3 MK and 3.0E46/cm3 respectively. Regardless of the age and activity of the AR, the elemental abundances of the low FIP elements, Al, Mg, and Si were consistently higher than their photospheric values. The average FIP bias for Mg and Si was ~3, whereas the FIP bias for the mid-FIP element, S, was ~1.5. However, the FIP bias for the lowest FIP element, Al, was observed to be higher than 3, which, if real, suggests a dependence of the FIP bias of low FIP elements on their FIP value. Another major result from our analysis is that the FIP bias of these elements is established in within ~10 hours of emergence of the AR and then remains almost constant throughout its lifetime.


title: Classifying weak phase retrieval

abstract: We will give several surprising equivalences and consequences of weak phase retrieval. These results give a complete understanding of the difference between weak phase retrieval and phase retrieval. We also answer two longstanding open problems on weak phase retrieval: (1) We show that the families of weak phase retrievable frames $\{x_{i}\}_{i=1}^{m}$ in $\mathbb{R}^n$ are not dense in the family of $m$-element sets of vectors in $\mathbb{R}^n$ for all $m\ge 2n-2$; (2) We show that any frame $\{x_i\}_{i=1}^{2n-2}$ containing one or more canonical basis vectors in $\mathbb{R}^n$ cannot do weak phase retrieval. We provide numerous examples to show that the obtained results are best possible.


title: Green's functions for first-order systems of ordinary differential equations without the unique continuation property

abstract: This paper is a contribution to the spectral theory associated with the differential equation $Ju'+qu=wf$ on the real interval $(a,b)$ when $J$ is a constant, invertible skew-Hermitian matrix and $q$ and $w$ are matrices whose entries are distributions of order zero with $q$ Hermitian and $w$ non-negative. Under these hypotheses it may not be possible to uniquely continue a solution from one point to another, thus blunting the standard tools of spectral theory. Despite this fact we are able to describe symmetric restrictions of the maximal relation associated with $Ju'+qu=wf$ and show the existence of Green's functions for self-adjoint relations even if unique continuation of solutions fails.


title: The Neverending Story of the Eternal Wormhole and the Noisy Sycamore

abstract: There has been a great buzz surrounding Daniel Jafferis et al.'s latest Nature paper, "Traversable wormhole dynamics on a quantum processor". The Nature paper discusses an experiment in which Google's Sycamore quantum processor is used to simulate a sparse N = 7 SYK model with 5 terms (a learned Hamiltonian). The Nature paper shows that the learned Hamiltonian preserves the key gravitational characteristics of an N = 10 SYK model with 210 terms and is sufficient to produce a traversable wormhole behavior. I will examine the experiment and discuss some philosophical challenges concerning the experiment in memory of Ian Hacking. Recently, Norman Yao and two graduate students discovered multiple flaws in Jafferis et al.'s learned Hamiltonian and uploaded a comment on the Nature paper. As expected, Jafferis and his team found a simple way to clarify the misunderstanding. They found a physical justification that allowed them to avoid the problem. In this paper, I elucidate the main arguments Yao and his students raised and the way Jafferis et al. found to save their learned Hamiltonian. I will end this paper with a philosophical comment on this recent development in the context of the learned Hamiltonian.


title: Can Sterile Neutrino Explain Very High Energy Photons from GRB221009A?

abstract: The LHAASO collaboration has reported their observation of very high energy photons ($E^{max}_\gamma \simeq 18$ TeV) from the gamma-ray burst GRB221009A. The sterile neutrino that involves both mixing and transition magnetic moment may be a viable explanation for these high energy photon events. However, we demonstrate that such a solution is strongly disfavored by the cosmic microwave background (CMB) and Big Bang nucleosynthesis (BBN) in the standard cosmology.


title: Physics-separating artificial neural networks for predicting sputtering and thin film deposition of AlN in Ar/N$_2$ discharges on experimental timescales

abstract: Understanding and modeling plasma-surface interactions frame a multi-scale as well as multi-physics problem. Scale-bridging machine learning surface surrogate models have been demonstrated to perceive the fundamental atomic fidelity for the physical vapor deposition of pure metals. However, the immense computational cost of the data-generating simulations render a practical application with predictions on relevant timescales impracticable. This issue is resolved in this work for the sputter deposition of AlN in Ar/N$_2$ discharges by developing a scheme that populates the parameter spaces effectively. Hybrid reactive molecular dynamics / time-stamped force-bias Monte Carlo simulations of randomized plasma-surface interactions / diffusion processes are used to setup a physics-separating artificial neural network. The application of this generic machine learning model to a specific experimental reference case study enables the systematic analysis of the particle flux emission as well as underlying system state (e.g., composition, mass density, stress, point defect structure) evolution within process times of up to 45 minutes.


title: Geometric invariants of non-smooth framed curves

abstract: We compare the Serret-Frenet frame with a {\em relatively parallel adapted frame} (RPAF) introduced by Bishop to parametrize $W^{2,2}$-curves. Next, we derive the geometric invariants, curvature and torsion, with the RPAF associated to the curve. Finally, we discuss applications of the two approaches in variational problems.


title: Thermal Hall conductivity of $\alpha$-RuCl$_3$

abstract: Thermal Hall conductivity originating from topological magnons is observed in the Kitaev candidate $\alpha$-RuCl$_3$ in broad intervals of temperature and in-plane magnetic field, raising questions on the role of the Majorana mode in heat conduction.


title: Cosmological Covariance of Fast Radio Burst Dispersions

abstract: The dispersion of fast radio bursts (FRBs) is a measure of the large-scale electron distribution. It enables measurements of cosmological parameters, especially of the expansion rate and the cosmic baryon fraction. The number of events is expected to increase dramatically over the coming years, and of particular interest are bursts with identified host galaxy and therefore redshift information. In this paper, we explore the covariance matrix of the dispersion measure (DM) of FRBs induced by the large-scale structure, as bursts from a similar direction on the sky are correlated by long wavelength modes of the electron distribution. We derive analytical expressions for the covariance matrix and examine the impact on parameter estimation from the FRB dispersion measure - redshift relation. The covariance also contains additional information that is missed by analysing the events individually. For future samples containing over $\sim300$ FRBs with host identification over the full sky, the covariance needs to be taken into account for unbiased inference, and the effect increases dramatically for smaller patches of the sky. Also forecasts must consider these effects as they would yield too optimistic parameter constraints. Our procedure can also be applied to the DM of the afterglow of Gamma Ray Bursts.


title: Multi-point Pad\`e for the study of phase transitions: from the Ising model to lattice QCD

abstract: The Bielefeld Parma collaboration has recently put forward a method to investigate the QCD phase diagram based on the computation of Taylor series coefficients at both zero and imaginary values of the baryonic chemical potential. The method is based on the computation of multi-point Pad\`e approximants. We review the methodological aspects of the computation and, in order to gain confidence in the approach, we report on the application of the method to the two-dimensional Ising model (probably the most popular arena for testing tools in the study of phase transitions). Besides showing the effectiveness of the multi-point Pad\`e approach, we discuss what these results can suggest in view of further progress in the study of the QCD phase diagram. We finally report on very preliminary results in which we look for Pad\`e approximants at different temperatures and fixed values of the (imaginary) baryonic chemical potential.


title: MIS: A Multi-Identifier Management and Resolution System Based on Consortium Blockchain in Metaverse

abstract: The metaverse gradually evolves into a virtual world containing a series of interconnected sub-metaverses. Diverse digital resources, including identities, contents, services, and supporting data, are key components of the sub-metaverse. Therefore, a Domain Name System (DNS)-like system is necessary for efficient management and resolution. However, the legacy DNS was designed with security vulnerabilities and trust risks due to centralized issues. Blockchain is used to mitigate these concerns due to its decentralized features. Additionally, it supports identity management as a default feature, making it a natural fit for the metaverse. While there are several DNS alternatives based on the blockchain, they either manage only a single type of identifiers or isolate identities from other sorts of identifiers, making it difficult for sub-metaverses to coexist and connect with each other. This paper proposes a Multi-Identifier management and resolution System (MIS) in the metaverse, supporting the registration, resolution, and inter-translation functions. The basic MIS is portrayed as a four-tier architecture on a consortium blockchain due to its manageability, enhanced security, and efficiency properties. On-chain data is lightweight and compressed to save on storage while accelerating reading and writing operations. The resource data is encrypted based on the attributes of the sub-metaverse in the storage tier for privacy protection and access control. For users with decentralization priorities, a modification named EMIS is built on top of Ethereum. Finally, MIS is implemented on two testbeds and is available online as the open-source system. The first testbed consists of 4 physical servers located in the UK and Malaysia while the second is made up of 200 virtual machines (VMs) spread over 26 countries across all 5 continents on Google Cloud.


title: Exciton dissociation mediated by phonons in organic photovoltaics

abstract: It is well known that phonons can overscreen the bare Coulomb electron-electron repulsion, turning it into the effective attraction that binds the Cooper pairs responsible for BCS superconductivity. Here, we use a simple lattice model to prove that the counterpart of this is also possible, whereby phonons overscreen the bare electron-hole attraction and may turn it repulsive at short distances, driving exciton dissociation in certain regions of the parameter space. We argue that this phonon-mediated short-range screening plays an important role in the physics of organic solar cell materials (and other materials with strong electron-phonon coupling) and could point the way to new strategies for optimizing their efficiencies.


title: Leveraging Contextual Relatedness to Identify Suicide Documentation in Clinical Notes through Zero Shot Learning

abstract: Identifying suicidality including suicidal ideation, attempts, and risk factors in electronic health record data in clinical notes is difficult. A major difficulty is the lack of training samples given the small number of true positive instances among the increasingly large number of patients being screened. This paper describes a novel methodology that identifies suicidality in clinical notes by addressing this data sparsity issue through zero-shot learning. U.S. Veterans Affairs clinical notes served as data. The training dataset label was determined using diagnostic codes of suicide attempt and self-harm. A base string associated with the target label of suicidality was used to provide auxiliary information by narrowing the positive training cases to those containing the base string. A deep neural network was trained by mapping the training documents contents to a semantic space. For comparison, we trained another deep neural network using the identical training dataset labels and bag-of-words features. The zero shot learning model outperformed the baseline model in terms of AUC, sensitivity, specificity, and positive predictive value at multiple probability thresholds. In applying a 0.90 probability threshold, the methodology identified notes not associated with a relevant ICD 10 CM code that documented suicidality, with 94 percent accuracy. This new method can effectively identify suicidality without requiring manual annotation.


title: Efficient Attack Detection in IoT Devices using Feature Engineering-Less Machine Learning

abstract: Through the generalization of deep learning, the research community has addressed critical challenges in the network security domain, like malware identification and anomaly detection. However, they have yet to discuss deploying them on Internet of Things (IoT) devices for day-to-day operations. IoT devices are often limited in memory and processing power, rendering the compute-intensive deep learning environment unusable. This research proposes a way to overcome this barrier by bypassing feature engineering in the deep learning pipeline and using raw packet data as input. We introduce a feature engineering-less machine learning (ML) process to perform malware detection on IoT devices. Our proposed model, "Feature engineering-less-ML (FEL-ML)," is a lighter-weight detection algorithm that expends no extra computations on "engineered" features. It effectively accelerates the low-powered IoT edge. It is trained on unprocessed byte-streams of packets. Aside from providing better results, it is quicker than traditional feature-based methods. FEL-ML facilitates resource-sensitive network traffic security with the added benefit of eliminating the significant investment by subject matter experts in feature engineering.


title: Unfolded Point Particle as a Field in Minkowski Space

abstract: Point-particle dynamics is reformulated as a field theory. This is achieved by using the unfolded dynamics approach that makes it possible to give dynamical interpretation to the concept of physical dimension which is 1 for a point particle in the $d$-dimensional space-time. The main idea for the description of a $k$-dimensional on-shell system in the $d$-dimensional space is to keep the evolution along $d-k$ dimensions off-shell or, alternatively, restrict it in a specific way respecting the compatibility conditions of the resulting unfolded system. The developed approach gives some hints how a non-linear realization of the symmetry $G$ of a larger-dimensional space in a lower-dimensional system can emerge from a geometrical realization on the fields in an appropriate $G$-invariant space. For the example of a relativistic point particle considered in this paper, $ G$ is the Poincare group. The proposed general scheme is illustrated by simple examples that reproduce conventional results.


title: The one-visibility Localization game

abstract: We introduce a variant of the Localization game in which the cops only have visibility one, along with the corresponding optimization parameter, the one-visibility localization number $\zeta_1$. By developing lower bounds using isoperimetric inequalities, we give upper and lower bounds for $\zeta_1$ on $k$-ary trees with $k\ge 2$ that differ by a multiplicative constant, showing that the parameter is unbounded on $k$-ary trees. We provide a $O(\sqrt{n})$ bound for $K_h$-minor free graphs of order $n$, and we show Cartesian grids meet this bound by determining their one-visibility localization number up to four values. We present upper bounds on $\zeta_1$ using pathwidth and the domination number and give upper bounds on trees via their depth and order. We conclude with open problems.


title: RISs and Sidelink Communications in Smart Cities: The Key to Seamless Localization and Sensing

abstract: A smart city involves, among other elements, intelligent transportation, crowd monitoring, and digital twins, each of which requires information exchange via wireless communication links and localization of connected devices and passive objects (including people). Although localization and sensing (L&S) are envisioned as core functions of future communication systems, they have inherently different demands in terms of infrastructure compared to communications. Wireless communications generally requires a connection to only a single access point (AP), while L&S demand simultaneous line-of-sight propagation paths to several APs, which serve as location and orientation anchors. Hence, a smart city deployment optimized for communication will be insufficient to meet stringent L&S requirements. In this article, we argue that the emerging technologies of reconfigurable intelligent surfaces (RISs) and sidelink communications constitute the key to providing ubiquitous coverage for L&S in smart cities with low-cost and energy-efficient technical solutions. To this end, we propose and evaluate AP-coordinated and self-coordinated RIS-enabled L&S architectures and detail three groups of application scenarios, relying on low-complexity beacons, cooperative localization, and full-duplex transceivers. A list of practical issues and consequent open research challenges of the proposed L&S systems is also provided.


title: Certified randomness in tight space

abstract: Reliable randomness is a core ingredient in algorithms and applications ranging from numerical simulations to statistical sampling and cryptography. The outcomes of measurements on entangled quantum states can violate Bell inequalities, thus guaranteeing their intrinsic randomness. This constitutes the basis for certified randomness generation. However, this certification requires spacelike separated devices, making it unfit for a compact apparatus. Here we provide a general method for certified randomness generation on a small-scale application-ready device and perform an integrated photonic demonstration combining a solid-state emitter and a glass chip. In contrast to most existing certification protocols, which in the absence of spacelike separation are vulnerable to loopholes inherent to realistic devices, the protocol we implement accounts for information leakage and is thus compatible with emerging compact scalable devices. We demonstrate a 2-qubit photonic device that achieves the highest standard in randomness yet is cut out for real-world applications. The full 94.5-hour-long stabilized process harnesses a bright and stable single-photon quantum-dot based source, feeding into a reconfigurable photonic chip, with stability in the milliradian range on the implemented phases and consistent indistinguishability of the entangled photons above 93%. Using the contextuality framework, we certify private randomness generation and achieve a rate compatible with randomness expansion secure against quantum adversaries.


title: TinyVers: A Tiny Versatile System-on-chip with State-Retentive eMRAM for ML Inference at the Extreme Edge

abstract: Extreme edge devices or Internet-of-thing nodes require both ultra-low power always-on processing as well as the ability to do on-demand sampling and processing. Moreover, support for IoT applications like voice recognition, machine monitoring, etc., requires the ability to execute a wide range of ML workloads. This brings challenges in hardware design to build flexible processors operating in ultra-low power regime. This paper presents TinyVers, a tiny versatile ultra-low power ML system-on-chip to enable enhanced intelligence at the Extreme Edge. TinyVers exploits dataflow reconfiguration to enable multi-modal support and aggressive on-chip power management for duty-cycling to enable smart sensing applications. The SoC combines a RISC-V host processor, a 17 TOPS/W dataflow reconfigurable ML accelerator, a 1.7 $\mu$W deep sleep wake-up controller, and an eMRAM for boot code and ML parameter retention. The SoC can perform up to 17.6 GOPS while achieving a power consumption range from 1.7 $\mu$W-20 mW. Multiple ML workloads aimed for diverse applications are mapped on the SoC to showcase its flexibility and efficiency. All the models achieve 1-2 TOPS/W of energy efficiency with power consumption below 230 $\mu$W in continuous operation. In a duty-cycling use case for machine monitoring, this power is reduced to below 10 $\mu$W.


title: Quantify how space mission influence geopolitical dynamics? A security and social policy approach

abstract: We present a computational method to quantify the geopolitical impact of a space mission, based on the national budget and data logs of previous missions, and evidencing how even if some missions succeed, they can bring negative effects to the sponsored country. The objective of this research is to study how the success (or failure) of a space mission can bring an economical and political benefit (or loss) to a country. By retrieving various data, including sentiment from #hashtags related to the considered space missions, national budgets for space exploration, and the reliability of space launch systems, from social networks, public institutions, and online repositories, we propose an equation to evaluate the geopolitical importance of a space mission for a particular country or space agency. The geopolitical equation can be used by public institutions or private companies to estimate the potential impact of a space mission on public opinion and international relationships, which can be either positive or negative, as even successful missions may negatively affect international relationships and negotiations with some countries and their partners. Also we combine the ideology of classic social policy with a security and space mission point of view, to enlighten cultural, institutional, and political limits in public spending decisions.


title: Securely Aggregated Coded Matrix Inversion

abstract: Coded computing is a method for mitigating straggling workers in a centralized computing network, by using erasure-coding techniques. Federated learning is a decentralized model for training data distributed across client devices. In this work we propose approximating the inverse of an aggregated data matrix, where the data is generated by clients; similar to the federated learning paradigm, while also being resilient to stragglers. To do so, we propose a coded computing method based on gradient coding. We modify this method so that the coordinator does not access the local data at any point; while the clients access the aggregated matrix in order to complete their tasks. The network we consider is not centrally administrated, and the communications which take place are secure against potential eavesdroppers.


title: 3D Zeros in Electromagnetic Fields

abstract: We present a study of 3D electromagnetic field zeros, uncovering their remarkable characteristic features and propose a classifying framework. These are a special case of general dark spots in optical fields, which sculpt light's spatial structure into matter-moving, information-rich vortices, escape the diffraction limit for single-molecule imaging, and can trap particles for nanoscale manipulation. Conventional dark spots are two-dimensional in two aspects: localised in a plane and having a non-zero out-of-plane field component. We focus on non-paraxial fields, where three-dimensional dark spots can exist non-stably at fully localised points, making distinct imprints in the flux of energy and momentum, and in the light's polarisation texture. With this work, we hope to enhance current dark spot applications, or inspire new ones impossible with lower-dimensional zeros.


title: A unipolar quantum dot diode structure for advanced quantum light sources

abstract: Triggered, indistinguishable, single photons play a central role in various quantum photonic implementations. Here, we realize a novel n$^+-$i$-$n$^{++}$ diode structure embedding semiconductor quantum dots: the gated device enables spectral tuning of the transitions and deterministic control of the observed charged states. Blinking-free single-photon emission and high two-photon indistinguishability is observed. The linewidth's temporal evolution is investigated for timescales spanning more than $6$ orders of magnitude, combining photon-correlation Fourier spectroscopy, high-resolution photoluminescence spectroscopy, and two-photon interference (visibility of $V_{\text{TPI, 2ns}}=\left(85.5\pm2.2\right){\%}$ and $V_{\text{TPI, 9ns}}=\left(78.3\pm3.0\right){\%}$). No spectral diffusion or decoherence on timescales above $\sim 9\,\text{ns}$ is observed for most of the dots, and the emitted photons' linewidth $\left(\left(420\pm30\right)\text{MHz}\right)$ deviates from the Fourier-transform limit only by a factor of $1.68$. Thus, for remote TPI experiments, visibilities above $74\%$ are anticipated. The presence of n-doping only signifies higher available carrier mobility, making the presented device highly attractive for future development of high-speed tunable, high-performance quantum light sources.


title: A Sequential Test for Log-Concavity

abstract: On observing a sequence of i.i.d.\ data with distribution $P$ on $\mathbb{R}^d$, we ask the question of how one can test the null hypothesis that $P$ has a log-concave density. This paper proves one interesting negative and positive result: the non-existence of test (super)martingales, and the consistency of universal inference. To elaborate, the set of log-concave distributions $\mathcal{L}$ is a nonparametric class, which contains the set $\mathcal G$ of all possible Gaussians with any mean and covariance. Developing further the recent geometric concept of fork-convexity, we first prove that there do no exist any nontrivial test martingales or test supermartingales for $\mathcal G$ (a process that is simultaneously a nonnegative supermartingale for every distribution in $\mathcal G$), and hence also for its superset $\mathcal{L}$. Due to this negative result, we turn our attention to constructing an e-process -- a process whose expectation at any stopping time is at most one, under any distribution in $\mathcal{L}$ -- which yields a level-$\alpha$ test by simply thresholding at $1/\alpha$. We take the approach of universal inference, which avoids intractable likelihood asymptotics by taking the ratio of a nonanticipating likelihood over alternatives against the maximum likelihood under the null. Despite its conservatism, we show that the resulting test is consistent (power one), and derive its power against Hellinger alternatives. To the best of our knowledge, there is no other e-process or sequential test for $\mathcal{L}$.


title: Efficient Mutation Testing via Pre-Trained Language Models

abstract: Mutation testing is an established fault-based testing technique. It operates by seeding faults into the programs under test and asking developers to write tests that reveal these faults. These tests have the potential to reveal a large number of faults -- those that couple with the seeded ones -- and thus are deemed important. To this end, mutation testing should seed faults that are both "natural" in a sense easily understood by developers and strong (have high chances to reveal faults). To achieve this we propose using pre-trained generative language models (i.e. CodeBERT) that have the ability to produce developer-like code that operates similarly, but not exactly, as the target code. This means that the models have the ability to seed natural faults, thereby offering opportunities to perform mutation testing. We realise this idea by implementing $\mu$BERT, a mutation testing technique that performs mutation testing using CodeBert and empirically evaluated it using 689 faulty program versions. Our results show that the fault revelation ability of $\mu$BERT is higher than that of a state-of-the-art mutation testing (PiTest), yielding tests that have up to 17% higher fault detection potential than that of PiTest. Moreover, we observe that $\mu$BERT can complement PiTest, being able to detect 47 bugs missed by PiTest, while at the same time, PiTest can find 13 bugs missed by $\mu$BERT.


title: Report on the Future of Conferences

abstract: In 2020, virtual conferences became almost the only alternative to cancellation. Now that the pandemic is subsiding, the pros and cons of virtual conferences need to be reevaluated. In this report, we scrutinize the dynamics and economics of conferences and highlight the history of successful virtual meetings in industry. We also report on the attitudes of conference attendees from an informal survey we ran in spring 2022.