title: A physics-based domain adaptation framework for modelling and forecasting building energy systems

abstract: State-of-the-art machine-learning-based models are a popular choice for modeling and forecasting energy behavior in buildings because given enough data, they are good at finding spatiotemporal patterns and structures even in scenarios where the complexity prohibits analytical descriptions. However, their architecture typically does not hold physical correspondence to mechanistic structures linked with governing physical phenomena. As a result, their ability to successfully generalize for unobserved timesteps depends on the representativeness of the dynamics underlying the observed system in the data, which is difficult to guarantee in real-world engineering problems such as control and energy management in digital twins. In response, we present a framework that combines lumped-parameter models in the form of linear time-invariant (LTI) state-space models (SSMs) with unsupervised reduced-order modeling in a subspace-based domain adaptation (SDA) framework. SDA is a type of transfer-learning (TL) technique, typically adopted for exploiting labeled data from one domain to predict in a different but related target domain for which labeled data is limited. We introduce a novel SDA approach where instead of labeled data, we leverage the geometric structure of the LTI SSM governed by well-known heat transfer ordinary differential equations to forecast for unobserved timesteps beyond observed measurement data. Fundamentally, our approach geometrically aligns the physics-derived and data-derived embedded subspaces closer together. In this initial exploration, we evaluate the physics-based SDA framework on a demonstrative heat conduction scenario by varying the thermophysical properties of the source and target systems to demonstrate the transferability of mechanistic models from a physics-based domain to a data domain.


title: Symmetry-resolved R\'enyi fidelities and quantum phase transitions

abstract: We introduce a family of quantum R\'enyi fidelities and discuss their symmetry resolution. We express the symmetry-resolved fidelities as Fourier transforms of charged fidelities, for which we derive exact formulas for Gaussian states. These results also yield a formula for the total fidelities of Gaussian states, which we expect to have applications beyond the scope of this paper. We investigate the total and symmetry-resolved fidelities in the XX spin chain, and focus on (i) fidelities between thermal states, and (ii) fidelities between reduced density matrices at zero temperature. Both thermal and reduced fidelities can detect the quantum phase transition of the XX spin chain. Moreover, we argue that symmetry-resolved fidelities are sensitive to the inner structure of the states. In particular, they can detect the phase transition through the reorganisation of the charge sectors at the critical point. This a main feature of symmetry-resolved fidelities which we expect to be general. We also highlight that reduced fidelities can detect quantum phase transitions in the thermodynamic limit.

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


title: Dynamical transitions and aging in the superdiffusive Pomeau-Manneville map

abstract: The Pomeau-Manneville map is a paradigmatic intermittent dynamical system exhibiting weak chaos and anomalous dynamics. In this paper we analyse the parameter dependence of superdiffusion for the map lifted periodically onto the real line. From numerical simulations we compute the generalised diffusion coefficient (GDC) of this model as a function of the map's nonlinearity parameter. We identify two singular dynamical transitions in the GDC, one where it diverges to infinity, and a second one where it is fully suppressed. Using the continuous-time random walk theory of L\'evy walks we calculate an analytic expression for the GDC and show that it qualitatively reproduces these two transitions. Quantitatively it systematically deviates from the deterministic dynamics for small parameter values, which we explain by slow decay of velocity correlations. Interestingly, imposing aging onto the dynamics in simulations eliminates the dynamical transition that led to suppression of the GDC, thus yielding a non-trivial change in the parameter dependence of superdiffusion. This also applies to a respective intermittent model of subdiffusive dynamics displaying a related transition.


title: The Spectrum of Self-Adjoint Extensions associated with Exceptional Laguerre Differential Expressions

abstract: Exceptional Laguerre-type differential expressions make up an infinite class of Schr\"odinger operators having rational potentials and one limit-circle endpoint. In this manuscript, the spectrum of all self-adjoint extensions for a general exceptional Laguerre-type differential expression is given in terms of the Darboux transformations which relate the expression to the classical Laguerre differential expression. The spectrum is extracted from an explicit Weyl $m$-function, up to a sign. The construction relies primarily on two tools: boundary triples, which parameterize the self-adjoint extensions and produce the Weyl $m$-functions, and manipulations of Maya diagrams and partitions, which classify the seed functions defining the relevant Darboux transforms. Several examples are presented.


title: Long-distance transmon coupler with CZ gate fidelity above $99.8\%$

abstract: Tunable coupling of superconducting qubits has been widely studied due to its importance for isolated gate operations in scalable quantum processor architectures. Here, we demonstrate a tunable qubit-qubit coupler based on a floating transmon device which allows us to place qubits at least 2 mm apart from each other while maintaining over 50 MHz coupling between the coupler and the qubits. In the introduced tunable-coupler design, both the qubit-qubit and the qubit-coupler couplings are mediated by two waveguides instead of relying on direct capacitive couplings between the components, reducing the impact of the qubit-qubit distance on the couplings. This leaves space for each qubit to have an individual readout resonator and a Purcell filter needed for fast high-fidelity readout. In addition, the large qubit-qubit distance reduces unwanted non-nearest neighbor coupling and allows multiple control lines to cross over the structure with minimal crosstalk. Using the proposed flexible and scalable architecture, we demonstrate a controlled-$Z$ gate with $(99.81 \pm 0.02)\%$ fidelity.


title: Non-reciprocal forces and exceptional phase transitions in metric and topological flocks

abstract: Many models of flocking involve alignment rules based on the mean orientation of neighboring particles, which we show introduces microscopic non-reciprocal interactions. In the absence of this microscopic non-reciprocity an exceptional phase transition is predicted at low noise strength within the Toner-Tu framework of polar aligning matter; we demonstrate this transition via large-scale numerical simulations. By coarse-graining the microscopic non-reciprocal forces found in more common models of flocking, we identify additional terms in a hydrodynamic description which lead to a highly ordered clustered phase in metric models and restore the homogeneous flocking phase in topological models.


title: Production of PBHs from inflaton structure

abstract: At times prior to Big Bang Nucleosynthesis, the universe could show a primordial structure formation period if dominated by a fast oscillating inflaton field during reheating. In this context, we have postulated a new mechanism of primordial black hole formation [L. E. Padilla, J. C. Hidalgo, and K. A. Malik, Phys. Rev. D, vol. 106, p. 023519, Jul 2022], that draws the analogy between an extended reheating era and the scalar field dark matter model, stipulating the gravitational collapse of inflaton halos and inflaton stars. In this paper we look at the requirements for the realization of this new mechanism. We show that a generic primordial power spectrum with a peak at small scales is most suitable for the production of a considerable number of PBHs. When such requirement is met, and if reheating lasts long enough, large populations of PBHs with $M_{\rm PBH}\sim 1~\mathrm{gram}$ may be produced. We find in particular, that the mass fraction of PBHs is orders of magnitude larger than that obtained when PBHs form via direct collapse in a universe dominated by radiation or pressure-less dust. Looking at observable implications of our findings, we explore the possibility that the PBHs component may dominate the energy density of the universe at some point after the end of reheating.


title: Temporal View Synthesis of Dynamic Scenes through 3D Object Motion Estimation with Multi-Plane Images

abstract: The challenge of graphically rendering high frame-rate videos on low compute devices can be addressed through periodic prediction of future frames to enhance the user experience in virtual reality applications. This is studied through the problem of temporal view synthesis (TVS), where the goal is to predict the next frames of a video given the previous frames and the head poses of the previous and the next frames. In this work, we consider the TVS of dynamic scenes in which both the user and objects are moving. We design a framework that decouples the motion into user and object motion to effectively use the available user motion while predicting the next frames. We predict the motion of objects by isolating and estimating the 3D object motion in the past frames and then extrapolating it. We employ multi-plane images (MPI) as a 3D representation of the scenes and model the object motion as the 3D displacement between the corresponding points in the MPI representation. In order to handle the sparsity in MPIs while estimating the motion, we incorporate partial convolutions and masked correlation layers to estimate corresponding points. The predicted object motion is then integrated with the given user or camera motion to generate the next frame. Using a disocclusion infilling module, we synthesize the regions uncovered due to the camera and object motion. We develop a new synthetic dataset for TVS of dynamic scenes consisting of 800 videos at full HD resolution. We show through experiments on our dataset and the MPI Sintel dataset that our model outperforms all the competing methods in the literature.


title: Intrinsic efficiency of injection photocurrents in magnetic materials

abstract: The generation of shift and ballistic photocurrents in non-centrosymmetric materials represents a promising alternative mechanism for light energy harvesting. Many studies have focused on finding the best suited materials by maximizing the photocurrent magnitude, but estimating the actual efficiency requires knowledge of the light-induced DC photoconductivity and is rarely considered. Using the recently proposed jerk current as photoconductivity, in this work we show that only ballistic photocurrents have finite efficiency in the limit of large relaxation times $\tau$. Moreover, at zero temperature the only ballistic current which is finite for unpolarized light is the magnetic injection current, only present in magnetic materials. We present a band structure expression for the efficiency of such photocurrent, showing that it scales as $(\hbar \Omega-E_g)^2$ near the band edge, and we present its frequency dependence for a simple tight-binding model. Our work provides a new tool to guide the search for efficient energy harvesting based on the magnetic injection current.


title: Rogue planets and brown dwarfs: Predicting the populations of free-floating planetary mass objects observable with JWST

abstract: Free-floating (or rogue) planets are planets that are liberated (or ejected) from their host systems. Although simulations predict their existence in substantial numbers, direct observational evidence for free-floating planets with masses below ~5 MJup is still lacking. Several cycle-1 observing programs with JWST aim to hunt for them in four different star-forming clusters. These surveys are designed to be sensitive to masses of 1-15 MJup (assuming a hot-start formation), which corresponds to spectral types of early L to late T for the ages of these clusters. If the existing simulations are not wide off the mark, we show here that the planned programs are likely to find up to 10-20 giant rogue planets in moderate density clusters like NGC1333 or IC348, and several dozen to ~100 in high-density regions like NGC2024 and the Orion Nebula Cluster. These numbers correspond to 1-5% of the total cluster population; they could be substantially higher if stars form multiple giant planets at birth. In contrast, the number of free-floating brown dwarfs, formed from core collapse ("like stars") is expected to be significantly lower, only about 0.25% of the number of stars, or 1-7 for the clusters considered here. Below 10 MJup that number drops further by an order of magnitude. We also show that the planned surveys are not at risk of being significantly contaminated by field brown dwarfs in the foreground or background, after spectroscopic confirmation. Taken together, our results imply that if a population of L and T dwarfs were to be found in these JWST surveys, it is expected to be predominantly made up of rogue planets.


title: Gender Bias and Universal Substitution Adversarial Attacks on Grammatical Error Correction Systems for Automated Assessment

abstract: Grammatical Error Correction (GEC) systems perform a sequence-to-sequence task, where an input word sequence containing grammatical errors, is corrected for these errors by the GEC system to output a grammatically correct word sequence. With the advent of deep learning methods, automated GEC systems have become increasingly popular. For example, GEC systems are often used on speech transcriptions of English learners as a form of assessment and feedback - these powerful GEC systems can be used to automatically measure an aspect of a candidate's fluency. The count of \textit{edits} from a candidate's input sentence (or essay) to a GEC system's grammatically corrected output sentence is indicative of a candidate's language ability, where fewer edits suggest better fluency. The count of edits can thus be viewed as a \textit{fluency score} with zero implying perfect fluency. However, although deep learning based GEC systems are extremely powerful and accurate, they are susceptible to adversarial attacks: an adversary can introduce a small, specific change at the input of a system that causes a large, undesired change at the output. When considering the application of GEC systems to automated language assessment, the aim of an adversary could be to cheat by making a small change to a grammatically incorrect input sentence that conceals the errors from a GEC system, such that no edits are found and the candidate is unjustly awarded a perfect fluency score. This work examines a simple universal substitution adversarial attack that non-native speakers of English could realistically employ to deceive GEC systems used for assessment.


title: NGC1818 unveils the origin of the extended main-sequence turn-off in young Magellanic Clouds clusters

abstract: The origin of young star clusters represents a major challenge for modern stellar astrophysics. While stellar rotation partially explains the colour spread observed along main-sequence turn-offs, i.e. where stars leave the main-sequence after the exhaustion of hydrogen in their core, and the multiple main sequences in the colour-magnitude diagrams of stellar systems younger than approximately 2 Gyr, it appears that an age difference may still be required to fulfill the observational constraints. Here we introduce an alternative approach that exploits the main-sequence turn-on, i.e. the point alongside the colour-magnitude diagram where pre-main-sequence stars join the main-sequence, to disentangle between the effects of stellar rotation and age to assess the presence, or lack thereof, of prolonged star formation in the approximately 40-Myr-old cluster NGC1818. Our results provide evidence for a fast star formation, confined within 8 Myr, thus excluding age differences as responsible for the extended main-sequence turn-offs, and leading the way to alternative observational perspectives in the exploration of stellar populations in young clusters.


title: Unravelling the room temperature growth of two-dimensional h-BN nanosheets for multifunctional applications

abstract: Room temperature growth of two-dimensional van der Waals (2D-vdW) materials is indispensable for state-of-the-art nanotechnology. The low temperature growth supersedes the requirement of elevated growth temperature accompanied with high thermal budgets. Moreover, for electronic applications, low or room temperature growth reduces the possibility of intrinsic film-substrate interfacial thermal diffusion related deterioration of functional properties and consequent device performance. Here, we demonstrated the growth of ultrawide-bandgap boron nitride (BN) at room temperature by using the pulsed laser deposition (PLD) process and demonstrated various functionalities for potential applications. Comprehensive chemical, spectroscopic and microscopic characterization confirms the growth of ordered nanosheet-like hexagonal BN. Functionally, nanosheets show hydrophobicity, high lubricity (low coefficient of friction), low refractive index within the visible to near-infrared wavelength range, and room temperature single-photon quantum emission. Our work unveils an important step that brings a plethora of applications potential for room temperature grown h-BN nanosheets as it can be feasible on any given substrate, thus creating a scenario for h-BN on demand at frugal thermal budget.


title: Unidirectional domain growth of hexagonal boron nitride thin films

abstract: Two-dimensional van der Waals (2D-vdW) layered hexagonal boron nitride (h-BN) has gained tremendous research interest over recent years due to its unconventional domain growth morphology, fascinating properties and application potentials as an excellent dielectric layer for 2D-based nano-electronics. However, the unidirectional domain growth of h-BN thin films directly on insulating substrates remains significantly challenging because of high-bonding anisotropicity and complex growth kinetics than the conventional thin films growth, thus resulting in the formation of randomly oriented domains morphology, and hindering its usefulness in integrated nano-devices. Here, ultra-wide bandgap h-BN thin films are grown directly on low-miscut atomically smooth highly insulating c-plane sapphire substrates (without using any metal catalytic layer) by pulsed laser deposition, showing remarkable unidirectional triangular-shape domains morphology. This unidirectional domain growth is attributed to the step-edge guided nucleation caused by reducing the film-substrate interfacial symmetry and energy, thereby breaking the degeneracy of nucleation sites of random domains, as revealed by the density functional theory (DFT) calculations. Through extensive characterizations, we further demonstrate the excellent single crystal-like functional properties of films. Our findings might pave the way for feasible large-area direct growth of electronic-quality h-BN thin films on insulating substrates for high-performance 2D-electronics, and in addition would be beneficial for hetero engineering of 2D-vdW materials with emergent phenomena.


title: Undersampling Raster Scans in Spectromicroscopy for reduced dose and faster measurements

abstract: Combinations of spectroscopic analysis and microscopic techniques are used across many disciplines of scientific research, including material science, chemistry and biology. X-ray spectromicroscopy, in particular, is a powerful tool used for studying chemical state distributions at the micro and nano scales. With the beam fixed, a specimen is typically rastered through the probe with continuous motion and a range of multimodal data is collected at fixed time intervals. The application of this technique is limited in some areas due to: long scanning times to collect the data, either because of the area/volume under study or the compositional properties of the specimen; and material degradation due to the dose absorbed during the measurement. In this work, we propose a novel approach for reducing the dose and scanning times by undersampling the raster data. This is achieved by skipping rows within scans and reconstructing the x-ray spectromicroscopic measurements using low-rank matrix completion. The new method is robust and allows for x 5-6 reduction in sampling. Experimental results obtained on real data are illustrated.

categories: physics.med-ph cs.NA math.NA physics.optics


title: Accounting for surface temperature variations in Rayleigh-B\'{e}nard convection

abstract: Turbulent Rayleigh-B\'{e}nard convection is often modelled with a constant surface temperature. However, the surface temperature of many geophysical systems, such as lakes, is coupled to the atmospheric forcing. In this paper, we account for this dynamic surface temperature through an additional parameter $\beta$. Using an appropriately defined dynamical Rayleigh number $\RaD$, we recover many of the results from the standard Rayleigh-B\'{e}nard model. We hope that this work will simplify the application of Rayleigh-B\'{e}nard theory in geophysical contexts, such as lakes.


title: The maximum extent of the filaments and sheets in the cosmic web: an analysis of the SDSS DR17

abstract: Filaments and sheets are striking visual patterns in cosmic web. The maximum extent of these large-scale structures are difficult to determine due to their structural variety and complexity. We construct a volume-limited sample of galaxies in a cubic region from the SDSS, divide it into smaller subcubes and shuffle them around. We quantify the average filamentarity and planarity in the three-dimensional galaxy distribution as a function of the density threshold and compare them with those from the shuffled realizations of the original data. The analysis is repeated for different shuffling lengths by varying the size of the subcubes. The average filamentarity and planarity in the shuffled data show a significant reduction when the shuffling scales are smaller than the maximum size of the genuine filaments and sheets. We observe a statistically significant reduction in these statistical measures even at a shuffling scale of $\sim 130 \,$Mpc, indicating that the filaments and sheets in three dimensions can extend up to this length scale. They may extend to somewhat larger length scales that are missed by our analysis due to the limited size of the SDSS data cube. We expect to determine these length scales by applying this method to deeper and larger surveys in future.


title: Carefully choose the baseline: Lessons learned from applying XAI attribution methods for regression tasks in geoscience

abstract: Methods of eXplainable Artificial Intelligence (XAI) are used in geoscientific applications to gain insights into the decision-making strategy of Neural Networks (NNs) highlighting which features in the input contribute the most to a NN prediction. Here, we discuss our lesson learned that the task of attributing a prediction to the input does not have a single solution. Instead, the attribution results and their interpretation depend greatly on the considered baseline (sometimes referred to as reference point) that the XAI method utilizes; a fact that has been overlooked so far in the literature. This baseline can be chosen by the user or it is set by construction in the method s algorithm, often without the user being aware of that choice. We highlight that different baselines can lead to different insights for different science questions and, thus, should be chosen accordingly. To illustrate the impact of the baseline, we use a large ensemble of historical and future climate simulations forced with the SSP3-7.0 scenario and train a fully connected NN to predict the ensemble- and global-mean temperature (i.e., the forced global warming signal) given an annual temperature map from an individual ensemble member. We then use various XAI methods and different baselines to attribute the network predictions to the input. We show that attributions differ substantially when considering different baselines, as they correspond to answering different science questions. We conclude by discussing some important implications and considerations about the use of baselines in XAI research.


title: Counting surfaces on Calabi-Yau 4-folds I: Foundations

abstract: This is the first part in a series of papers on counting surfaces on Calabi-Yau 4-folds. Besides the Hilbert scheme of 2-dimensional subschemes, we introduce \emph{two} types of moduli spaces of stable pairs. We show that all three moduli spaces are related by GIT wall-crossing and parametrize stable objects in the bounded derived category. We construct \emph{reduced} Oh-Thomas virtual cycles on the moduli spaces via Kiem-Li cosection localization and prove that they are deformation invariant along Hodge loci. As an application, we show that the variational Hodge conjecture holds for any family of Calabi-Yau 4-folds supporting a non-zero reduced virtual cycle.


title: Strongly correlated itinerant magnetism on the boundary of superconductivity in a magnetic transition metal dichalcogenide

abstract: Metallic ferromagnets with strongly interacting electrons often exhibit remarkable electronic phases such as ferromagnetic superconductivity, complex spin textures, and nontrivial topology. In this report, we discuss the synthesis of a layered magnetic metal NiTa$_4$Se$_8$ (or Ni$_{1/4}$TaSe$_{2}$) with a Curie temperature of 58 Kelvin. Magnetization data and \textit{ab initio} calculations indicate that the nickel atoms host uniaxial ferromagnetic order of about 0.7$\mu_{B}$ per atom, while an even smaller moment is generated in the itinerant tantalum conduction electrons. Strong correlations are evident in flat bands near the Fermi level, a high heat capacity coefficient, and a high Kadowaki-Woods ratio. When the system is diluted of magnetic ions, the samples become superconducting below about 2 Kelvin. Remarkably, electron and hole Fermi surfaces are associated with opposite spin polarization. We discuss the implications of this feature on the superconductivity that emerges near itinerant ferromagnetism in this material, including the possibility of spin-polarized superconductivity.


title: Diophantine statements over Residue fields: Galois stratification and uniformity

abstract: Using Felgner's problem I revisit a key issue in using the "Galois Stratification Procedure" that first appeared in [FrS76]. The emphasis here is on using arithmetic homotopy to make the production of Poincare; series attached to general diophantine statements canonical. According to work in progress of Michael Benedikt and E. Hrushovski, Galois stratification - over one finite field - is as efficient as is possible: on a statement of length n, it requires time bounded by a stack of exponentials of length linear in n. This doesn't take advantage of problems prepped for using homotopy aspects, Chow Motives, efficiently as in the main example which comes from my paper on the generalization of exceptional covers. That example [FrJ, Chap. 30], simplifies aspects of the original procedure. It combines this with the later theory of Frobenius fields to produce objects over Q whose reductions mod primes give the stratification procedure at the prime. The paper separates two different uses of the Chebotarev non-regular analog. 1. Field crossing to interpret Poincare series coefficients directly from traces on Chow motives (providing valuable statements on variation with the prime p; versus 2. Chebotarev using Lang-Weil to approximate the number of points on an appropriate variety for the Galois stratification procedure. We consider variables taking values in the algebraic closure of Z/p but fixed by respective powers of the Frobenius: we call these Frobenius vectors. For this there is a twisted Chebotarev version stemming from a conjecture of Deligne, and outlined in a preprint of Hrushovski. This paper expands on the work of D. Wan, J. Denef and F. Loeser, J. Nicaise, I. Tomasic and E. Hrushovski, all relevant to taking the Galois stratification procedure beyond the original finite field framework.


title: Hamiltonian Formulations of Quasilinear Theory for Magnetized Plasmas

abstract: Hamiltonian formulations of quasilinear theory are presented for the cases of uniform and nonuniform magnetized plasmas. First, the standard quasilinear theory of Kennel and Engelmann (1966) is reviewed and reinterpreted in terms of a general Hamiltonian formulation. Within this Hamiltonian representation, we present the transition from two-dimensional quasilinear diffusion in a spatially uniform magnetized background plasma to three-dimensional quasilinear diffusion in a spatially nonuniform magnetized background plasma based on our previous work Brizard_Chan (2001,2004). The resulting quasilinear theory for nonuniform magnetized plasmas yields a $3\times 3$ diffusion tensor that naturally incorporates quasilinear radial diffusion as well as its synergistic connections to diffusion in two-dimensional invariant velocity space (e.g., energy and pitch angle).


title: Federated Learning of Neural ODE Models with Different Iteration Counts

abstract: Federated learning is a distributed machine learning approach in which clients train models locally with their own data and upload them to a server so that their trained results are shared between them without uploading raw data to the server. There are some challenges in federated learning, such as communication size reduction and client heterogeneity. The former can mitigate the communication overheads, and the latter can allow the clients to choose proper models depending on their available compute resources. To address these challenges, in this paper, we utilize Neural ODE based models for federated learning. The proposed flexible federated learning approach can reduce the communication size while aggregating models with different iteration counts or depths. Our contribution is that we experimentally demonstrate that the proposed federated learning can aggregate models with different iteration counts or depths. It is compared with a different federated learning approach in terms of the accuracy. Furthermore, we show that our approach can reduce communication size by up to 92.4% compared with a baseline ResNet model using CIFAR-10 dataset.


title: GJ 1252b: A Hot Terrestrial Super-Earth With No Atmosphere

abstract: The increasing numbers of rocky, terrestrial exoplanets known to orbit nearby stars (especially M dwarfs) has drawn increased attention to the possibility of studying these planets' surface properties, and atmospheric compositions & escape histories. Here we report the detection of the secondary eclipse of the terrestrial exoplanet GJ1252b using the Spitzer Space Telescope's IRAC2 4.5 micron channel. We measure an eclipse depth of 149(+25/-32) ppm, corresponding to a day-side brightness temperature of 1410(+91/-125) K and consistent with the prediction for no atmosphere. Comparing our measurement to atmospheric models indicates that GJ1252b has a surface pressure of <10 bar, substantially less than Venus. Assuming energy-limited escape, even a 100 bar atmosphere would be lost in <1 Myr, far shorter than estimated age of 3.9+/-0.4 Gyr. The expected mass loss could be overcome by mantle outgassing, but only if the mantle's carbon content were >7% by mass - over two orders of magnitude greater than that found in Earth. We therefore conclude that GJ1252b has no significant atmosphere. Model spectra with granitoid or feldspathic surface composition, but with no atmosphere, are disfavored at >2 sigma. The eclipse occurs just +1.4(+2.8/-1.0) min after orbital phase 0.5, indicating e cos omega=+0.0025(+0.0049/-0.0018), consistent with a circular orbit. Tidal heating is therefore likely to be negligible to GJ1252b's global energy budget. Finally, we also analyze additional, unpublished TESS transit photometry of GJ1252b which improves the precision of the transit ephemeris by a factor of ten, provides a more precise planetary radius of 1.180+/-0.078 R_E, and rules out any transit timing variations with amplitudes <1 min.


title: Neural Light Field Estimation for Street Scenes with Differentiable Virtual Object Insertion

abstract: We consider the challenging problem of outdoor lighting estimation for the goal of photorealistic virtual object insertion into photographs. Existing works on outdoor lighting estimation typically simplify the scene lighting into an environment map which cannot capture the spatially-varying lighting effects in outdoor scenes. In this work, we propose a neural approach that estimates the 5D HDR light field from a single image, and a differentiable object insertion formulation that enables end-to-end training with image-based losses that encourage realism. Specifically, we design a hybrid lighting representation tailored to outdoor scenes, which contains an HDR sky dome that handles the extreme intensity of the sun, and a volumetric lighting representation that models the spatially-varying appearance of the surrounding scene. With the estimated lighting, our shadow-aware object insertion is fully differentiable, which enables adversarial training over the composited image to provide additional supervisory signal to the lighting prediction. We experimentally demonstrate that our hybrid lighting representation is more performant than existing outdoor lighting estimation methods. We further show the benefits of our AR object insertion in an autonomous driving application, where we obtain performance gains for a 3D object detector when trained on our augmented data.


title: Graph neural networks for materials science and chemistry

abstract: Machine learning plays an increasingly important role in many areas of chemistry and materials science, e.g. to predict materials properties, to accelerate simulations, to design new materials, and to predict synthesis routes of new materials. Graph neural networks (GNNs) are one of the fastest growing classes of machine learning models. They are of particular relevance for chemistry and materials science, as they directly work on a graph or structural representation of molecules and materials and therefore have full access to all relevant information required to characterize materials. In this review article, we provide an overview of the basic principles of GNNs, widely used datasets, and state-of-the-art architectures, followed by a discussion of a wide range of recent applications of GNNs in chemistry and materials science, and concluding with a road-map for the further development and application of GNNs.


title: A New Outlook on the Profitability of Rogue Mining Strategies in the Bitcoin Network

abstract: Many of the recent works on the profitability of rogue mining strategies hinge on a parameter called $\gamma$ that measures the proportion of the honest network attracted by the attacker to mine on top of his fork. These works, see arXiv:1808.01041 and arXiv.1805.08281, have surmised conclusions based on premises that erroneously treat $\gamma$ to be constant. In this paper, we treat $\gamma$ as a stochastic process and attempt to find its distribution through a Markov analysis. We begin by making strong assumptions on gamma's behaviour and proceed to translate them mathematically in order to apply them in a Markov setting. The aforementioned is executed in two separate occasions for two different models. Furthermore, we model the Bitcoin network and numerically derive a limiting distribution whereby the relative accuracy of our models is tested through a likelihood analysis. Finally, we conclude that even with control of 20% of the total hashrate, honest mining is the strongly dominant strategy.


title: Blind Image Deblurring with Unknown Kernel Size and Substantial Noise

abstract: Blind image deblurring (BID) has been extensively studied in computer vision and adjacent fields. Modern methods for BID can be grouped into two categories: single-instance methods that deal with individual instances using statistical inference and numerical optimization, and data-driven methods that train deep-learning models to deblur future instances directly. Data-driven methods can be free from the difficulty in deriving accurate blur models, but are fundamentally limited by the diversity and quality of the training data -- collecting sufficiently expressive and realistic training data is a standing challenge. In this paper, we focus on single-instance methods that remain competitive and indispensable. However, most such methods do not prescribe how to deal with unknown kernel size and substantial noise, precluding practical deployment. Indeed, we show that several state-of-the-art (SOTA) single-instance methods are unstable when the kernel size is overspecified, and/or the noise level is high. On the positive side, we propose a practical BID method that is stable against both, the first of its kind. Our method builds on the recent ideas of solving inverse problems by integrating the physical models and structured deep neural networks, without extra training data. We introduce several crucial modifications to achieve the desired stability. Extensive empirical tests on standard synthetic datasets, as well as real-world NTIRE2020 and RealBlur datasets, show the superior effectiveness and practicality of our BID method compared to SOTA single-instance as well as data-driven methods. The code of our method is available at: \url{https://github.com/sun-umn/Blind-Image-Deblurring}.


title: In Silico Prediction of Blood-Brain Barrier Permeability of Chemical Compounds through Molecular Feature Modeling

abstract: The introduction of computational techniques to analyze chemical data has given rise to the analytical study of biological systems, known as "bioinformatics". One facet of bioinformatics is using machine learning (ML) technology to detect multivariable trends in various cases. Amongst the most pressing cases is predicting blood-brain barrier (BBB) permeability. The development of new drugs to treat central nervous system disorders presents unique challenges due to poor penetration efficacy across the blood-brain barrier. In this research, we aim to mitigate this problem through an ML model that analyzes chemical features. To do so: (i) An overview into the relevant biological systems and processes as well as the use case is given. (ii) Second, an in-depth literature review of existing computational techniques for detecting BBB permeability is undertaken. From there, an aspect unexplored across current techniques is identified and a solution is proposed. (iii) Lastly, a two-part in silico model to quantify likelihood of permeability of drugs with defined features across the BBB through passive diffusion is developed, tested, and reflected on. Testing and validation with the dataset determined the predictive logBB model's mean squared error to be around 0.112 units and the neuroinflammation model's mean squared error to be approximately 0.3 units, outperforming all relevant studies found.


title: Optimization of p-i-n GaAs/AlGaAs Heterojunction Nanowire Solar Cell for improved Optical and Electrical Properties

abstract: In this study, we designed and optimized the performance of pin junction GaAs/AlGaAs heterojunction nanowire solar cell arrays. It is done by performing coupled optoelectronic simulations to find the optimal doping for the GaAs core and AlGaAs shell, and to see the influence of GaAs and AlGaAs shell thickness and junction positions on the solar cell performance. Further, the impact of different surface effects that exists at the semiconductor interface such as surface traps, surface recombination velocities, and associated lifetime degradation are also investigated. It has been observed that a high core and shell doping is essential to achieve the appropriate band configuration and carrier extraction. Further, it is observed that having a larger doping density is more important than having a larger lifetime. The importance of the thickness and the passivation properties of the radial and axial AlGaAs layer is also examined and it has been observed that having a thick AlGaAs shell at the cost of the i-GaAs region can be detrimental to the performance due to increased local carrier generation and recombination. Finally, the effect of having different Aluminium compositions (on the shell) on the photogeneration inside the nanowire is examined and it was observed that having a large Aluminium composition can confine most of the photogeneration to the inner GaAs regions, thus potentially allowing for thicker Aluminium shells which can more efficiently prevent surface recombination.


title: Significant and megathrust earthquake predictions by real-time monitoring of the genesis processes with Physical Wavelets

abstract: Physical Wavelets can offer real-time significant and megathrust earthquake predictions and disaster prevention warnings up to three months in advance, saving lives and minimizing damages.

categories: physics.geo-ph nlin.CD physics.data-an physics.pop-ph


title: 30 to 100-kG magnetic fields in the cores of red giant stars

abstract: A red giant star is an evolved low- or intermediate-mass star that has exhausted its central hydrogen content, leaving a helium core and a hydrogen-burning shell. Oscillations of stars can be observed as periodic dimmings and brightenings in the optical light curves. In red giant stars, non-radial acoustic waves couple to gravity waves and give rise to mixed modes, which behave as pressure (p) modes in the envelope and gravity (g) modes in the core. These modes were previously used to measure the internal rotation of red giants, leading to the conclusion that purely hydrodynamical processes of angular momentum transport from the core are too inefficient. Magnetic fields could produce the additional required transport. However, due to the lack of direct measurements of magnetic fields in stellar interiors, very little is currently known about their properties. Asteroseismology can provide direct detection of magnetic fields because, like rotation, the fields induce shifts in the oscillation mode frequencies. Here we report the measurement of magnetic fields in the cores of three red giant stars observed with the Kepler satellite. The fields induce shifts that break the symmetry of dipole mode multiplets. We thus measure field strengths ranging from ~30 to ~100 kG in the vicinity of the hydrogen-burning shell and place constraints on the field tolopolgy.


title: Binary neutron star mergers in Einstein-scalar-Gauss-Bonnet gravity

abstract: Binary neutron star mergers, which can lead to less massive black holes relative to other known astrophysical channels, have the potential to probe modifications to general relativity that arise at smaller curvature scales compared to more massive compact object binaries. As a representative example of this, here we study binary neutron star mergers in shift-symmetric Einstein-scalar-Gauss-Bonnet gravity using evolutions of the full, nonperturbative evolution equations. We find that the impact on the inspiral is small, even at large values of the modified gravity coupling (as expected, as neutron stars do not have scalar charge in this theory). However, postmerger there can be strong scalar effects, including radiation. When a black hole forms, it develops scalar charge, impacting the ringdown gravitational wave signal. In cases where a longer-lived remnant star persists postmerger, we find that the oscillations of the star source levels of scalar radiation similar to the black hole formation cases. In remnant stars, we further find that at coupling values comparable to the maximum value for which black hole solutions of the same mass exist, there is significant nonlinear enhancement in the scalar field, which if sufficiently large leads to a breakdown in the evolution, seemingly due to loss of hyperbolicity of the underlying equations.


title: What gravity mediated entanglement can really tell us about quantum gravity

abstract: We revisit the Bose-Marletto-Vedral (BMV) table-top experimental proposal - which aims to witness quantum gravity using gravity mediated entanglement - analyzing the role of locality in the experiment. We first carry out a fully quantum modelling of the interaction of matter and gravity and then show in what way gravity mediated entanglement in the BMV experiment could be accounted for without appealing to quantum degrees of freedom of the gravitational field. We discuss what assumptions are needed in order to interpret the current BMV experiment proposals as a proof of quantum gravity, and also identify the modifications that a BMV-like experiment could have in order to serve as proof of quantum gravity without having to assume the existence of a local mediators in the gravitational field.


title: Divergent nonlinear response from quasiparticle interactions

abstract: We demonstrate that nonlinear response functions in many-body systems carry a sharp signature of interactions between gapped low-energy quasiparticles. Such interactions are challenging to deduce from linear response measurements. The signature takes the form of a divergent-in-time contribution to the response -- linear in time in the case when quasiparticles propagate ballistically -- that is absent for free bosonic excitations. We give an intuitive semiclassical picture of this singular behaviour, validated against exact results from a form-factor expansion of the Ising chain and tDMRG simulations in a non-integrable model -- the spin-1 AKLT chain. We comment on extensions of these results to more general settings, finite temperature, and higher dimensions.


title: Kapitza stabilization of quantum critical order

abstract: Dynamical perturbations modify the states of classical systems in surprising ways and give rise to important applications in science and technology. For example, Floquet engineering exploits the possibility of band formation in the frequency domain when a strong, periodic variation is imposed on parameters such as spring constants. We describe here Kapitza engineering, where a drive field oscillating at a frequency much higher than the characteristic frequencies for the linear response of a system changes the potential energy surface so much that maxima found at equilibrium become local minima, in precise analogy to the celebrated Kapitza pendulum where the unstable inverted configuration, with the mass above rather than below the fulcrum, actually becomes stable. Our starting point is a quantum field theory of the Ginzburg-Devonshire type, suitable for many condensed matter systems, including particularly ferroelectrics and quantum paralectrics. We show that an off-resonance oscillatory electric field generated by a laser-driven THz source can induce ferroelectric order in the quantum-critical limit. Heating effects are estimated to be manageable using pulsed radiation; ``hidden" radiation-induced order can persist to low temperatures without further pumping due to stabilization by strain. We estimate the Ginzburg-Devonshire free-energy coefficients in SrTiO${}_{3}$ using density-functional theory (DFT) and the stochastic self-consistent harmonic approximation accelerated by a machine-learned force field. Although we find that SrTiO${}_{3}$ is not an optimal choice for Kapitza stabilization, we show that scanning for further candidate materials can be performed at the computationally convenient density-functional theory level. We suggest second-harmonic-generation, soft-mode-spectroscopy, and X-ray-diffraction experiments to characterize the induced order.


title: Quantum heat engine with long-range advantages

abstract: The employment of long-range interactions in quantum devices provides a promising route towards enhancing their performance in quantum technology applications. Here, the presence of long-range interactions is shown to enhance the performances of a quantum heat engine featuring a many-body working substance. We focus on the paradigmatic example of a Kitaev chain undergoing a quantum Otto cycle and show that a substantial thermodynamic advantage may be achieved as the range of the interactions among its constituents increases. Interestingly, such an advantage is most significant for the realistic situation of a finite time cycle: the presence of long-range interactions reduces the non-adiabatic energy losses, by suppressing the detrimental effects of dynamically generated excitations. This effect allows mitigating the trade-off between power and efficiency, paving the way for a wide range of experimental and technological applications.


title: Near-optimal fitting of ellipsoids to random points

abstract: Given independent standard Gaussian points $v_1, \ldots, v_n$ in dimension $d$, for what values of $(n, d)$ does there exist with high probability an origin-symmetric ellipsoid that simultaneously passes through all of the points? This basic problem of fitting an ellipsoid to random points has connections to low-rank matrix decompositions, independent component analysis, and principal component analysis. Based on strong numerical evidence, Saunderson, Parrilo, and Willsky [Proc. of Conference on Decision and Control, pp. 6031-6036, 2013] conjecture that the ellipsoid fitting problem transitions from feasible to infeasible as the number of points $n$ increases, with a sharp threshold at $n \sim d^2/4$. We resolve this conjecture up to logarithmic factors by constructing a fitting ellipsoid for some $n = \Omega( \, d^2/\mathrm{polylog}(d) \,)$, improving prior work of Ghosh et al. [Proc. of Symposium on Foundations of Computer Science, pp. 954-965, 2020] that requires $n = o(d^{3/2})$. Our proof demonstrates feasibility of the least squares construction of Saunderson et al. using a convenient decomposition of a certain non-standard random matrix and a careful analysis of its Neumann expansion via the theory of graph matrices.

categories: cs.DS math.OC math.PR math.ST stat.ML stat.TH


title: Kinematics and brightness temperatures of transition discs -- A survey of gas substructures as seen with ALMA

abstract: In recent years, high-angular-resolution observations of the dust and gas in circumstellar discs have revealed a variety of morphologies, naturally triggering the question of whether these substructures are driven by forming planets. While it remains difficult to directly image embedded planets, a promising method to distinguish disc-shaping mechanisms is to study the gas kinematics as characterising deviations from Keplerian rotation can be used to probe underlying perturbations such as planets. Creating spiral structures, the latter can also be traced in the brightness temperature. Here we analyse the brightness temperatures and kinematics of a sample of 36 transition discs observed with ALMA to search for substructures possibly tracing companions. We use archival Band 6 and 7 observations of different CO isotopologues and fit Keplerian disc models to the velocity fields. After subtraction of an azimuthally averaged brightness temperature and Keplerian rotation model from the data, we find significant substructures in both residuals of eight sources. Other sources show tentative features, while half of our sample does not show any substructures that may be indicative of planet-disc interactions. For the first time, we compare the substructures from our analysis with various other indicators of planets. About 20% of discs show strong features such as arcs or spirals, possibly associated with the presence of planets, while the majority do not present as clear planet-driven signatures. Almost all discs that exhibit spirals in near-infrared scattered light show at least tentative features in the CO data. The present data are able to reveal only very massive bodies and a lack of features may suggest that, if there are planets, they are of lower mass (<1-3Mj) or located closer to the star within deep cavities. Dedicated observations and modelling efforts are needed to confirm such scenarios.


title: Topical: Learning Repository Embeddings from Source Code using Attention

abstract: This paper presents Topical, a novel deep neural network for repository level embeddings. Existing methods, reliant on natural language documentation or naive aggregation techniques, are outperformed by Topical's utilization of an attention mechanism. This mechanism generates repository-level representations from source code, full dependency graphs, and script level textual data. Trained on publicly accessible GitHub repositories, Topical surpasses multiple baselines in tasks such as repository auto-tagging, highlighting the attention mechanism's efficacy over traditional aggregation methods. Topical also demonstrates scalability and efficiency, making it a valuable contribution to repository-level representation computation. For further research, the accompanying tools, code, and training dataset are provided at: https://github.com/jpmorganchase/topical.


title: A decomposition of book structure through ousiometric fluctuations in cumulative word-time

abstract: While quantitative methods have been used to examine changes in word usage in books, studies have focused on overall trends, such as the shapes of narratives, which are independent of book length. We instead look at how words change over the course of a book as a function of the number of words, rather than the fraction of the book, completed at any given point; we define this measure as "cumulative word-time". Using ousiometrics, a reinterpretation of the valence-arousal-dominance framework of meaning obtained from semantic differentials, we convert text into time series of power and danger scores in cumulative word-time. Each time series is then decomposed using empirical mode decomposition into a sum of constituent oscillatory modes and a non-oscillatory trend. By comparing the decomposition of the original power and danger time series with those derived from shuffled text, we find that shorter books exhibit only a general trend, while longer books have fluctuations in addition to the general trend. These fluctuations typically have a period of a few thousand words regardless of the book length or library classification code, but vary depending on the content and structure of the book. Our findings suggest that, in the ousiometric sense, longer books are not expanded versions of shorter books, but are more similar in structure to a concatenation of shorter texts. Further, they are consistent with editorial practices that require longer texts to be broken down into sections, such as chapters. Our method also provides a data-driven denoising approach that works for texts of various lengths, in contrast to the more traditional approach of using large window sizes that may inadvertently smooth out relevant information, especially for shorter texts. These results open up avenues for future work in computational literary analysis, particularly the measurement of a basic unit of narrative.


title: Rank growth of elliptic curves in $S_4$ and $A_4$ quartic extensions of the rationals

abstract: We investigate the rank growth of elliptic curves from $\mathbb{Q}$ to $S_4$ and $A_4$ quartic extensions $K/\mathbb{Q}$. In particular, we are interested in the quantity $\mathrm{rk}(E/K) - \mathrm{rk}(E/\mathbb{Q})$ for fixed $E$ and varying $K$. When $\mathrm{rk}(E/\mathbb{Q}) \leq 1$, with $E$ subject to some other conditions, we prove there are infinitely many $S_4$ quartic extensions $K/\mathbb{Q}$ over which $E$ does not gain rank, i.e. such that $\mathrm{rk}(E/K) - \mathrm{rk}(E/\mathbb{Q}) = 0$. To do so, we show how to control the 2-Selmer rank of $E$ in certain quadratic extensions, which in turn contributes to controlling the rank in families of $S_4$ and $A_4$ quartic extensions of $\mathbb{Q}$.


title: Solutions of kinetic-type equations with perturbed collisions

abstract: We study a class of kinetic-type differential equations $\partial \phi_t/\partial t+\phi_t=\widehat{\mathcal{Q}}\phi_t$, where $\widehat{\mathcal{Q}}$ is an inhomogeneous smoothing transform and, for every $t\geq 0$, $\phi_t$ is the Fourier--Stieltjes transform of a probability measure. We show that under mild assumptions on $\widehat{\mathcal{Q}}$ the above differential equation possesses a unique solution and represent this solution as the characteristic function of a certain stochastic process associated with the continuous time branching random walk pertaining to $\widehat{\mathcal{Q}}$. Establishing limit theorems for this process allows us to describe asymptotic properties of the solution, as $t\to\infty$.


title: Sampling--Dependent Transition Paths of Iceland-Scotland Overflow Water

abstract: In this note, we apply Transition Path Theory (TPT) from Markov chains to shed light on the problem of Iceland-Scotland Overflow Water (ISOW) equatorward export. A recent analysis of observed trajectories of submerged floats demanded revision of the traditional abyssal circulation theory, which postulates that ISOW should steadily flow along a deep boundary current (DBC) around the subpolar North Atlantic prior to exiting it. The TPT analyses carried out here allow to focus the attention on the portions of flow from the origin of ISOW to the region where ISOW exits the subpolar North Atlantic and suggest that insufficient sampling may be biasing the aforementioned demand. The analyses, appropriately adapted to represent a continuous input of ISOW, are carried out on three time-homogeneous Markov chains modeling the ISOW flow. One is constructed using a high number of simulated trajectories homogeneously covering the flow domain. The other two use much fewer trajectories which heterogeneously cover the domain. The trajectories in the latter two chains are observed trajectories or simulated trajectories subsampled at the observed frequency. While the densely sampled chain supports a well-defined DBC, the more heterogeneously sampled chains do not, irrespective of whether observed or simulated trajectories are used. Studying the sampling sensitivity of the Markov chains, we can give recommendations for enlarging the existing float dataset to improve the significance of conclusions about time-asymptotic aspects of the ISOW circulation.


title: Causality-Inspired Taxonomy for Explainable Artificial Intelligence

abstract: As two sides of the same coin, causality and explainable artificial intelligence (xAI) were initially proposed and developed with different goals. However, the latter can only be complete when seen through the lens of the causality framework. As such, we propose a novel causality-inspired framework for xAI that creates an environment for the development of xAI approaches. To show its applicability, biometrics was used as case study. For this, we have analysed 81 research papers on a myriad of biometric modalities and different tasks. We have categorised each of these methods according to our novel xAI Ladder and discussed the future directions of the field.


title: Existence of a percolation threshold on finite transitive graphs

abstract: Let $(G_n)$ be a sequence of finite connected vertex-transitive graphs with volume tending to infinity. We say that a sequence of parameters $(p_n)$ is a percolation threshold if for every $\varepsilon > 0$, the proportion $\left\lVert K_1 \right\rVert$ of vertices contained in the largest cluster under bond percolation $\mathbb{P}_p^G$ satisfies both \[ \begin{split} \lim_{n \to \infty} \mathbb{P}_{(1+\varepsilon)p_n}^{G_n} \left( \left\lVert K_1 \right\rVert \geq \alpha \right) &= 1 \quad \text{for some $\alpha > 0$, and} \lim_{n \to \infty} \mathbb{P}_{(1-\varepsilon)p_n}^{G_n} \left( \left\lVert K_1 \right\rVert \geq \alpha \right) &= 0 \quad \text{for all $\alpha > 0$}. \end{split}\] We prove that $(G_n)$ has a percolation threshold if and only if $(G_n)$ does not contain a particular infinite collection of pathological subsequences of dense graphs. Our argument uses an adaptation of Vanneuville's new proof of the sharpness of the phase transition for infinite graphs via couplings [Van22] together with our recent work with Hutchcroft on the uniqueness of the giant cluster [EH21].


title: On Affine Real Cubic Surfaces

abstract: We prove that the space of affine, transversal at infinity, non-singular real cubic surfaces has 15 connected components. We give a topological criterion to distinguish them and show also how these 15 components are adjacent to each other via wall-crossing.


title: Updated orbital monitoring and dynamical masses for nearby M-dwarf binaries

abstract: Young M-type binaries are particularly useful for precise isochronal dating by taking advantage of their extended pre-main sequence evolution. Orbital monitoring of these low-mass objects becomes essential in constraining their fundamental properties, as dynamical masses can be extracted from their Keplerian motion. Here, we present the combined efforts of the AstraLux Large Multiplicity Survey, together with a filler sub-programme from the SpHere INfrared Exoplanet (SHINE) project and previously unpublished data from the FastCam lucky imaging camera at the Nordical Optical Telescope (NOT) and the NaCo instrument at the Very Large Telescope (VLT). Building on previous work, we use archival and new astrometric data to constrain orbital parameters for 20 M-type binaries. We identify that eight of the binaries have strong Bayesian probabilities and belong to known young moving groups (YMGs). We provide a first attempt at constraining orbital parameters for 14 of the binaries in our sample, with the remaining six having previously fitted orbits for which we provide additional astrometric data and updated Gaia parallaxes. The substantial orbital information built up here for four of the binaries allows for direct comparison between individual dynamical masses and theoretical masses from stellar evolutionary model isochrones, with an additional three binary systems with tentative individual dynamical mass estimates likely to be improved in the near future. We attained an overall agreement between the dynamical masses and the theoretical masses from the isochrones based on the assumed YMG age of the respective binary pair. The two systems with the best orbital constrains for which we obtained individual dynamical masses, J0728 and J2317, display higher dynamical masses than predicted by evolutionary models.


title: Density probabilities and quantum critical phenomena of a Bose-Fermi Mixture in 1D Double well potential

abstract: The time evolution of probability density, the ground-state fidelity and the entanglement of a Bose-Fermi mixture in a 1D double well potential, are studied through the two mode approximation. We found that the behaviour of the quantum return probability shows three distinct regions. The first region is characterized by a complete miscibility, and correlated tunneling of bosons and fermion. The second region is characterized by correlated sequential tunneling and in the last region we found an increase in the tunneling frequency of the two species. We found through the Von Neumann entropy, that the boson-fermion coupling allows a maximum entanglement of quantum correlations of bosons and fermions in the same value. Finally we calculated the fidelity in the $\lambda_{FF}-\lambda_{BF}$ and $\lambda_{BB}-\lambda_{BF}$ planes and we found that the drop of the two fidelities becomes deeper and deeper as the boson-fermion interaction decreases.


title: Metamorphic Testing for Web System Security

abstract: Security testing aims at verifying that the software meets its security properties. In modern Web systems, however, this often entails the verification of the outputs generated when exercising the system with a very large set of inputs. Full automation is thus required to lower costs and increase the effectiveness of security testing. Unfortunately, to achieve such automation, in addition to strategies for automatically deriving test inputs, we need to address the oracle problem, which refers to the challenge, given an input for a system, of distinguishing correct from incorrect behavior. In this paper, we propose Metamorphic Security Testing for Web-interactions (MST-wi), a metamorphic testing approach that integrates test input generation strategies inspired by mutational fuzzing and alleviates the oracle problem in security testing. It enables engineers to specify metamorphic relations (MRs) that capture many security properties of Web systems. To facilitate the specification of such MRs, we provide a domain-specific language accompanied by an Eclipse editor. MST-wi automatically collects the input data and transforms the MRs into executable Java code to automatically perform security testing. It automatically tests Web systems to detect vulnerabilities based on the relations and collected data. We provide a catalog of 76 system-agnostic MRs to automate security testing in Web systems. It covers 39% of the OWASP security testing activities not automated by state-of-the-art techniques; further, our MRs can automatically discover 102 different types of vulnerabilities, which correspond to 45% of the vulnerabilities due to violations of security design principles according to the MITRE CWE database. We also define guidelines that enable test engineers to improve the testability of the system under test with respect to our approach.


title: The double white dwarf merger progenitors of SDSS J2211+1136 and ZTF J1901+1458

abstract: Double white dwarf (DWD) mergers are possibly the leading formation channel of massive, rapidly rotating, high-field magnetic white dwarfs (HFMWDs). However, the direct link connecting a DWD merger to any observed HFMWD is still missing. We here show that the HFMWDs SDSS J221141.80+113604.4 (hereafter J2211+1136) and ZTF J190132.9+145808.7 (hereafter J1901+1458), might be DWD merger products. J2211+1136 is a $1.27\, M_\odot$ WD with a rotation period of $70.32$ s and a surface magnetic field of $15$ MG. J1901+1458 is a $1.327$--$1.365\, M_\odot$ WD with a rotation period of $416.20$ s, and a surface magnetic field in the range $600$--$900$ MG. With the assumption of single-star evolution, the currently measured WD masses and surface temperatures, the cooling ages of J2211+1136 and J1901+1458 are, respectively, $2.61$--$2.85$ Gyr and $10$--$100$ Myr. We hypothesize that these WDs are DWD merger products and compute the evolution of the post-merged configuration formed by a central WD surrounded by a disk. We show that the post-merger system evolves through three phases depending on whether accretion, mass ejection (propeller), or magnetic braking dominates the torque onto the central WD. We calculate the time the WD spends in each of these phases and obtain the accretion rate and disk mass for which the WD rotational age, i.e., the total time elapsed since the merger to the instant where the WD central remnant reaches the current measured rotation period, agrees with the estimated WD cooling age. We infer the mass values of the primary and secondary WD components of the DWD merger that lead to a post-merger evolution consistent with the observations.


title: Effects of head modeling errors on the spatial frequency representation of MEG

abstract: Optically-pumped magnetometers (OPM) -- next-generation magnetoencephalography (MEG) sensors -- may be placed directly on the head, unlike the more commonly used superconducting quantum interference device (SQUID) sensors, which must be placed a few centimeters away. This allows for signals of higher spatial resolution to be captured, resulting in potentially more accurate source localization. In this paper, we show that in the noiseless and high signal-to-noise ratio (SNR) case of approximately $\geq 6$ dB, inaccuracies in boundary element method (BEM) head conductor models (or equivalently, inaccurate volume current models) lead to increased signal and equivalent current dipole (ECD) source localization inaccuracies when sensor arrays are placed closer to the head. This is true especially in the case of deep and superficial sources where volume current contributions are high. In the noisy case however, the higher SNR for closer sensor arrays allows for an improved ECD fit and outweighs the effects of head geometry inaccuracies. This calls for an increase in emphasis in head modeling to reduce inverse modeling errors, especially as the field of MEG strives for closer sensor arrays and cleaner signals. An analytical form to obtain the magnetic field errors for small perturbations in the BEM head geometry is also provided.


title: Blurring cluster randomized trials and observational studies using Two-Stage TMLE to address sub-sampling, missingness, and minimal independent units

abstract: Cluster randomized trials (CRTs) often enroll large numbers of participants, but due to logistical and fiscal challenges, only a subset of participants may be selected for measurement of certain outcomes, and those sampled may, purposely or not, be unrepresentative of all participants. Missing data also present a challenge: if sampled individuals with measured outcomes are dissimilar from those with missing outcomes, unadjusted estimates of arm-specific outcomes and the intervention effect may be biased. Further, CRTs often enroll and randomize few clusters by necessity, limiting statistical power and raising concerns about finite sample performance. Motivated by a sub-study of the SEARCH community randomized trial on the incidence of TB infection, we demonstrate interlocking methods to handle these challenges. First, we extend Two-Stage targeted minimum loss-based estimation (TMLE) to account for three sources of missingness: (1) sampling for the sub-study; (2) measurement of baseline status among those sampled, and (3) measurement of final status among those in the incidence cohort (i.e., persons known to be at risk at baseline). Second, we critically evaluate the assumptions under which sub-units of the cluster can be considered the conditionally independent unit, improving precision and statistical power but also causing the CRT to behave more like an observational study. Our application to the SEARCH highlights the impact of different assumptions on measurement and dependence as well as the real-life gains of our approach for bias reduction and efficiency improvement.


title: Matrix taxonomy and Bourn localization

abstract: In a recent paper, an algorithm has been presented for determining implications between a particular kind of category theoretic property represented by matrices -- the so called `matrix properties'. In this paper we extend this algorithm to include matrix properties involving pointedness of a category, such as the properties of a category to be unital, strongly unital or subtractive, for example. Moreover, this extended algorithm can also be used to determine whether a given matrix property is the Bourn localization of another, thus leading to new characterizations of Mal'tsev, majority and arithmetical categories. Using a computer implementation of our algorithm, we can display all such properties given by matrices of fixed dimensions, grouped according to their Bourn localizations, as well as the implications between them.


title: Calculations of vacuum mean values of spinor field current and energy-momentum tensor in a constant electric background

abstract: In the framework of strong-field QED with $x$-steps, we study vacuum mean values of the current density and energy--momentum tensor of the quantized spinor field placed in the so-called $L$-constant electric background. The latter background can be, for example, understood as the electric field confined between capacitor plates, which are separated by a sufficiently large distance $L$. First, we reveal peculiarities of nonperturbative calculating of mean values in strong-field QED with $x$-steps in general and, in the $L$-constant electric field, in particular. We propose a new renormalization and volume regularization procedures that are adequate for these calculations. We find necessary representations for singular spinor functions in the external background under consideration. With their help, we calculate the above mentioned vacuum means. In the obtained expressions, we show how to separate global contributions due to the particle creation and local ones due to the vacuum polarization. We demonstrate how these contributions can be related to the renormalized effective Heisenberg-Euler Lagrangian.


title: Application of the cranking method to the semimicroscopic algebraic cluster model and nuclear molecules

abstract: A particular quantum phase transition (QPT) is studied at excited energies of light nuclei within the Semimicroscopic Algebraic Cluster Model (SACM), using a combination of catastrophe theory and a direct minimization of the potential. A distinct change from a compact nucleus to a nuclear molecule is described as a second order QPT occurring at a certain value of angular momentum. This finding is in accordance with experimental observations when nuclear molecules appear. The method has implication in the fission of heavy nuclei.


title: Exploring the Limits of Synthetic Creation of Solar EUV Images via Image-to-Image Translation

abstract: The Solar Dynamics Observatory (SDO), a NASA multi-spectral decade-long mission that has been daily producing terabytes of observational data from the Sun, has been recently used as a use-case to demonstrate the potential of machine learning methodologies and to pave the way for future deep-space mission planning. In particular, the idea of using image-to-image translation to virtually produce extreme ultra-violet channels has been proposed in several recent studies, as a way to both enhance missions with less available channels and to alleviate the challenges due to the low downlink rate in deep space. This paper investigates the potential and the limitations of such a deep learning approach by focusing on the permutation of four channels and an encoder--decoder based architecture, with particular attention to how morphological traits and brightness of the solar surface affect the neural network predictions. In this work we want to answer the question: can synthetic images of the solar corona produced via image-to-image translation be used for scientific studies of the Sun? The analysis highlights that the neural network produces high-quality images over three orders of magnitude in count rate (pixel intensity) and can generally reproduce the covariance across channels within a 1% error. However the model performance drastically diminishes in correspondence of extremely high energetic events like flares, and we argue that the reason is related to the rareness of such events posing a challenge to model training.


title: Globus Automation Services: Research process automation across the space-time continuum

abstract: Research process automation -- the reliable, efficient, and reproducible execution of linked sets of actions on scientific instruments, computers, data stores, and other resources -- has emerged as an essential element of modern science. We report here on new services within the Globus research data management platform that enable the specification of diverse research processes as reusable sets of actions, \emph{flows}, and the execution of such flows in heterogeneous research environments. To support flows with broad spatial extent (e.g., from scientific instrument to remote data center) and temporal extent (from seconds to weeks), these Globus automation services feature: 1) cloud hosting for reliable execution of even long-lived flows despite sporadic failures; 2) a simple specification and extensible asynchronous action provider API, for defining and executing a wide variety of actions and flows involving heterogeneous resources; 3) an event-driven execution model for automating execution of flows in response to arbitrary events; and 4) a rich security model enabling authorization delegation mechanisms for secure execution of long-running actions across distributed resources. These services permit researchers to outsource and automate the management of a broad range of research tasks to a reliable, scalable, and secure cloud platform. We present use cases for Globus automation services, describe their design and implementation, present microbenchmark studies, and review experiences applying the services in a range of applications.


title: The Effect of Element Composition on the Structural and Electronic Properties of Carbon, Silicon, Silicon Carbide, and Boron Nitride Gyroid Schwarzites

abstract: Schwarzites are porous structures that present negative Gaussian curvatures. Although initially proposed for carbon, in principle, schwarzites of other elements are possible. In this work, we have carried out a detailed investigation of the effect of element composition (C, Ge, Si, SiC, and BN) on the structural, electronic and optical properties of a gyroid schwarzite structure, the so-called G688. The DFT simulations were carried out using the well-known SIESTA code. Our results showed that formation energy values are in similar range of other related allotrope structures and are thermally stable (up to 1000~K). From the electronic analyses, our results indicate that all structures, except the carbon one, present semiconductor characteristics. From the optical properties, except for the infrared region where only silicon and germanium show some absorption, the other structures exhibit optical activity only in the visible and ultra-violet regions, and all of them have large refractive index values. For reflectivity, except for Si and Ge schwarzites that reflect almost 40\% of light, the other schwarzites exhibit low reflectivity. These characteristics make them good candidates for optoelectronic applications, such as infrared/ultraviolet absorbers, and ultraviolet blockers.


title: Spectral Decomposition Representation for Reinforcement Learning

abstract: Representation learning often plays a critical role in reinforcement learning by managing the curse of dimensionality. A representative class of algorithms exploits a spectral decomposition of the stochastic transition dynamics to construct representations that enjoy strong theoretical properties in an idealized setting. However, current spectral methods suffer from limited applicability because they are constructed for state-only aggregation and derived from a policy-dependent transition kernel, without considering the issue of exploration. To address these issues, we propose an alternative spectral method, Spectral Decomposition Representation (SPEDER), that extracts a state-action abstraction from the dynamics without inducing spurious dependence on the data collection policy, while also balancing the exploration-versus-exploitation trade-off during learning. A theoretical analysis establishes the sample efficiency of the proposed algorithm in both the online and offline settings. In addition, an experimental investigation demonstrates superior performance over current state-of-the-art algorithms across several benchmarks.


title: When a matrix condition implies the Mal'tsev property

abstract: Matrix conditions extend linear Mal'tsev conditions from Universal Algebra to exactness properties in Category Theory. Some can be stated in the finitely complete context while, in general, they can only be stated for regular categories. We study when such a matrix condition implies the Mal'tsev property. Our main results assert that, for both types of matrices, this implication is equivalent to the corresponding implication restricted to the context of varieties of universal algebras.


title: Exploring Popularity Bias in Music Recommendation Models and Commercial Steaming Services

abstract: Popularity bias is the idea that a recommender system will unduly favor popular artists when recommending artists to users. As such, they may contribute to a winner-take-all marketplace in which a small number of artists receive nearly all of the attention, while similarly meritorious artists are unlikely to be discovered. In this paper, we attempt to measure popularity bias in three state-of-art recommender system models (e.g., SLIM, Multi-VAE, WRMF) and on three commercial music streaming services (Spotify, Amazon Music, YouTube). We find that the most accurate model (SLIM) also has the most popularity bias while less accurate models have less popularity bias. We also find no evidence of popularity bias in the commercial recommendations based on a simulated user experiment.


title: Recurrent Neural Network-based Anti-jamming Framework for Defense Against Multiple Jamming Policies

abstract: Conventional anti-jamming methods mainly focus on preventing single jammer attacks with an invariant jamming policy or jamming attacks from multiple jammers with similar jamming policies. These anti-jamming methods are ineffective against a single jammer following several different jamming policies or multiple jammers with distinct policies. Therefore, this paper proposes an anti-jamming method that can adapt its policy to the current jamming attack. Moreover, for the multiple jammers scenario, an anti-jamming method that estimates the future occupied channels using the jammers' occupied channels in previous time slots is proposed. In both single and multiple jammers scenarios, the interaction between the users and jammers is modeled using recurrent neural networks (RNN)s. The performance of the proposed anti-jamming methods is evaluated by calculating the users' successful transmission rate (STR) and ergodic rate (ER), and compared to a baseline based on Q-learning (DQL). Simulation results show that for the single jammer scenario, all the considered jamming policies are perfectly detected and high STR and ER are maintained. Moreover, when 70 % of the spectrum is under jamming attacks from multiple jammers, the proposed method achieves an STR and ER greater than 75 % and 80 %, respectively. These values rise to 90 % when 30 % of the spectrum is under jamming attacks. In addition, the proposed anti-jamming methods significantly outperform the DQL method for all the considered cases and jamming scenarios.


title: Resource Allocation in Serverless Query Processing

abstract: Data lakes hold a growing amount of cold data that is infrequently accessed, yet require interactive response times. Serverless functions are seen as a way to address this use case since they offer an appealing alternative to maintaining (and paying for) a fixed infrastructure. Recent research has analyzed the potential of serverless for data processing. In this paper, we expand on such work by looking into the question of serverless resource allocation to data processing tasks (number and size of the functions). We formulate a general model to roughly estimate completion time and financial cost, which we apply to augment an existing serverless data processing system with an advisory tool that automatically identifies configurations striking a good balance -- which we define as being close to the "knee" of their Pareto frontier. The model takes into account key aspects of serverless: start-up, computation, network transfers, and overhead as a function of the input sizes and intermediate result exchanges. Using (micro)benchmarks and parts of TPC-H, we show that this advisor is capable of pinpointing configurations desirable to the user. Moreover, we identify and discuss several aspects of data processing on serverless affecting efficiency. By using an automated tool to configure the resources, the barrier to using serverless for data processing is lowered and the narrow window where it is cost effective can be expanded by using a more optimal allocation instead of having to over-provision the design.


title: Accelerating Vision Transformer Training via a Patch Sampling Schedule

abstract: We introduce the notion of a Patch Sampling Schedule (PSS), that varies the number of Vision Transformer (ViT) patches used per batch during training. Since all patches are not equally important for most vision objectives (e.g., classification), we argue that less important patches can be used in fewer training iterations, leading to shorter training time with minimal impact on performance. Additionally, we observe that training with a PSS makes a ViT more robust to a wider patch sampling range during inference. This allows for a fine-grained, dynamic trade-off between throughput and accuracy during inference. We evaluate using PSSs on ViTs for ImageNet both trained from scratch and pre-trained using a reconstruction loss function. For the pre-trained model, we achieve a 0.26% reduction in classification accuracy for a 31% reduction in training time (from 25 to 17 hours) compared to using all patches each iteration. Code, model checkpoints and logs are available at https://github.com/BradMcDanel/pss.


title: CCAT-prime: The Optical Design for the Epoch of Reionization Spectrometer

abstract: The Epoch of Reionization Spectrometer (EoR-Spec) will be an instrument module for the Prime-Cam receiver on the CCAT-prime Collaboration's Fred Young Submillimeter Telescope (FYST), a 6-m primary mirror Crossed Dragone telescope. With its Fabry-Perot interferometer (FPI), EoR-Spec will step through frequencies between 210 and 420 GHz to perform line intensity mapping of the 158 $\mu$m [CII] line in aggregates of star-forming galaxies between redshifts of 3.5 and 8 to trace the evolution of structure in the universe during the epoch of reionization. Here we present the optical design of the module including studies of the optical quality and other key parameters at the image surface. In order to achieve the required resolving power (R$\sim$100) with the FPI, it is important to have a highly collimated beam at the Lyot stop of the system; the optimization process to achieve this goal with four lenses instead of three as used in other Prime-Cam modules is outlined. As part of the optimization, we test the effect of replacing some of the aspheric lenses with biconic lenses in this Crossed Dragone design and find that the biconic lenses tend to improve the image quality across the focal plane of the module.


title: Packet Forwarding with a Locally Bursty Adversary

abstract: We consider packet forwarding in the adversarial queueing theory (AQT) model introduced by Borodin et al. We introduce a refinement of the AQT $(\rho, \sigma)$-bounded adversary, which we call a \emph{locally bursty adversary} (LBA) that parameterizes injection patterns jointly by edge utilization and packet origin. For constant ($O(1)$) parameters, the LBA model is strictly more permissive than the $(\rho, \sigma)$ model. For example, there are injection patterns in the LBA model with constant parameters that can only be realized as $(\rho, \sigma)$-bounded injection patterns with $\rho + \sigma = \Omega(n)$ (where $n$ is the network size). We show that the LBA model (unlike the $(\rho, \sigma)$ model) is closed under packet bundling and discretization operations. Thus, the LBA model allows one to reduce the study of general (uniform) capacity networks and inhomogenous packet sizes to unit capacity networks with homogeneous packets. On the algorithmic side, we focus on information gathering networks -- i.e., networks in which all packets share a common destination, and the union of packet routes forms a tree. We show that the Odd-Even Downhill (OED) forwarding protocol described independently by Dobrev et al.\ and Patt-Shamir and Rosenbaum achieves buffer space usage of $O(\log n)$ against all LBAs with constant parameters. OED is a local protocol, but we show that the upper bound is tight even when compared to centralized protocols. Our lower bound for the LBA model is in contrast to the $(\rho, \sigma)$-model, where centralized protocols can achieve worst-case buffer space usage $O(1)$ for $\rho, \sigma = O(1)$, while the $O(\log n)$ upper bound for OED is optimal only for local protocols.


title: Role of Local Ru Hexamers in Superconductivity of Ruthenium Phosphide

abstract: Superconductivity in binary ruthenium pnictides occurs proximal to and upon suppression of a mysterious non-magnetic ground state, preceded by a pseudogap phase associated with Fermi surface instability, and its critical temperature, T$_{c}$, is maximized around the pseudogap quantum critical point. By analogy with isoelectronic iron based counterparts, antiferromagnetic fluctuations became "usual suspects" as putative mediators of superconducting pairing. Here we report on a high temperature local symmetry breaking in RuP, the parent of the maximum-Tc branch of these novel superconductors, revealed by combined nanostructure-sensitive powder and single crystal X-ray total scattering experiments. Large local Ru$_{6}$ hexamer distortions associated with orbital-charge trimerization form above the two-stage electronic transition in RuP. While hexamer ordering enables the nonmagnetic ground state and presumed complex oligomerization, the relevance of pseudogap fluctuations for superconductivity emerges as a distinct prospect. As a transition metal system in which partial d-manifold filling combined with high crystal symmetry promotes electronic instabilities, this represents a further example of local electronic precursors underpinning the macroscopic collective behavior of quantum materials.


title: Majorana correlations in quantum impurities coupled to a topological wire

abstract: In this work we investigate Majorana correlations in quantum impurities coupled to a topological superconducting wire. By employing a density matrix renormalization group approach, we have calculated the Majorana correlation functions in the ground state of the system for different positions of the impurities along the wire. We observe that the correlations decreases exponentially with the distance between the impurities and the ends of the wire. Moreover, different electron-electron interactions on the wire and on the impurities were also analyzed, and the results showed a stronger effect as the electron occupation in the wire is increased. Moreover, changing the occupation of the impurities by tuning their energy levels, we observe that for specific values of $\epsilon$ the absolute value of correlation is highly peaked when the chemical potential lies within the window of the topological regime. These peaks are associated to coulomb blockade phenomena in the impurities, revealing very clearly its effect on the Majorana bound states in the topological phase of the system.


title: Glass-Vault: A Generic Transparent Privacy-preserving Exposure Notification Analytics Platform

abstract: The highly transmissible COVID-19 disease is a serious threat to people's health and life. To automate tracing those who have been in close physical contact with newly infected people and/or to analyse tracing-related data, researchers have proposed various ad-hoc programs that require being executed on users' smartphones. Nevertheless, the existing solutions have two primary limitations: (1) lack of generality: for each type of analytic task, a certain kind of data needs to be sent to an analyst; (2) lack of transparency: parties who provide data to an analyst are not necessarily infected individuals; therefore, infected individuals' data can be shared with others (e.g., the analyst) without their fine-grained and direct consent. In this work, we present Glass-Vault, a protocol that addresses both limitations simultaneously. It allows an analyst to run authorised programs over the collected data of infectious users, without learning the input data. Glass-Vault relies on a new variant of generic Functional Encryption that we propose in this work. This new variant, called DD-Steel, offers these two additional properties: dynamic and decentralised. We illustrate the security of both Glass-Vault and DD-Steel in the Universal Composability setting. Glass-Vault is the first UC-secure protocol that allows analysing the data of Exposure Notification users in a privacy-preserving manner. As a sample application, we indicate how it can be used to generate "infection heatmaps".


title: Electromagnetic probes of the Quark-Gluon Plasma

abstract: The penetrating nature of electromagnetic probes makes them an ideal candidate to study properties of the Quark-Gluon Plasma (QGP). A selection of recent developments in the theory and phenomenology of electromagnetic probes is discussed, with an emphasis given towards how these probes can be used to constrain QGP trapnsport coefficients. A Bayesian treatment of electromagnetic radiation, similar to the one of soft hadronic observables and jets, is suggested as a path towards imposing more stringent constraints on various transport coefficients of the QCD medium.


title: Nilpotent algebras, implicit function theorem, and polynomial quasigroups

abstract: We study finite-dimensional nonassociative algebras. We prove the implicit function theorem for such algebras. This allows us to establish a correspondence between such algebras and quasigroups, in the spirit of classical correspondence between divisible torsion-free nilpotent groups and rational nilpotent Lie algebras. We study the related questions of the commensurators of nilpotent groups, filiform Lie algebras of maximal solvability length and partially ordered algebras.


title: The fractional $p\,$-biharmonic systems: optimal Poincar\'e constants, unique continuation and inverse problems

abstract: This article investigates nonlocal, fully nonlinear generalizations of the classical biharmonic operator $(-\Delta)^2$. These fractional $p$-biharmonic operators appear naturally in the variational characterization of the optimal fractional Poincar\'e constants in Bessel potential spaces. We study the following basic questions for anisotropic fractional $p$-biharmonic systems: existence and uniqueness of weak solutions to the associated interior source and exterior value problems, unique continuation properties (UCP), monotonicity relations, and inverse problems for the exterior Dirichlet-to-Neumann maps. Furthermore, we show the UCP for the fractional Laplacian in all Bessel potential spaces $H^{t,p}$ for any $t\in \mathbb{R}$, $1 \leq p < \infty$ and $s \in \mathbb{R}_+ \setminus \mathbb{N}$: If $u\in H^{t,p}(\mathbb{R}^n)$ satisfies $(-\Delta)^su=u=0$ in a nonempty open set $V$, then $u\equiv 0$ in $\mathbb{R}^n$. This property of the fractional Laplacian is then used to obtain a UCP for the fractional $p$-biharmonic systems and plays a central role in the analysis of the associated inverse problems. Our proofs use variational methods and the Caffarelli-Silvestre extension.


title: Intersection of Parallels as an Early Stopping Criterion

abstract: A common way to avoid overfitting in supervised learning is early stopping, where a held-out set is used for iterative evaluation during training to find a sweet spot in the number of training steps that gives maximum generalization. However, such a method requires a disjoint validation set, thus part of the labeled data from the training set is usually left out for this purpose, which is not ideal when training data is scarce. Furthermore, when the training labels are noisy, the performance of the model over a validation set may not be an accurate proxy for generalization. In this paper, we propose a method to spot an early stopping point in the training iterations without the need for a validation set. We first show that in the overparameterized regime the randomly initialized weights of a linear model converge to the same direction during training. Using this result, we propose to train two parallel instances of a linear model, initialized with different random seeds, and use their intersection as a signal to detect overfitting. In order to detect intersection, we use the cosine distance between the weights of the parallel models during training iterations. Noticing that the final layer of a NN is a linear map of pre-last layer activations to output logits, we build on our criterion for linear models and propose an extension to multi-layer networks, using the new notion of counterfactual weights. We conduct experiments on two areas that early stopping has noticeable impact on preventing overfitting of a NN: (i) learning from noisy labels; and (ii) learning to rank in IR. Our experiments on four widely used datasets confirm the effectiveness of our method for generalization. For a wide range of learning rates, our method, called Cosine-Distance Criterion (CDC), leads to better generalization on average than all the methods that we compare against in almost all of the tested cases.


title: Coordinating charging request allocation between self-interested navigation service platforms

abstract: Current electric vehicle market trends indicate an increasing adoption rate across several countries. To meet the expected growing charging demand, it is necessary to scale up the current charging infrastructure and to mitigate current reliability deficiencies, e.g., due to broken connectors or misreported charging station availability status. However, even within a properly dimensioned charging infrastructure, a risk for local bottlenecks remains if several drivers cannot coordinate their charging station visit decisions. Here, navigation service platforms can optimally balance charging demand over available stations to reduce possible station visit conflicts and increase user satisfaction. While such fleet-optimized charging station visit recommendations may alleviate local bottlenecks, they can also harm the system if self-interested navigation service platforms seek to maximize their own customers' satisfaction. To study these dynamics, we model fleet-optimized charging station allocation as a resource allocation game in which navigation platforms constitute players and assign potentially free charging stations to drivers. We show that no pure Nash equilibrium guarantee exists for this game, which motivates us to study VCG mechanisms both in offline and online settings, to coordinate players' strategies toward a better social outcome. Extensive numerical studies for the city of Berlin show that when coordinating players through VCG mechanisms, the social cost decreases on average by 42 % in the online setting and by 52 % in the offline setting.