title: Debiasing the Minimum-Mass Extrasolar Nebula: On the Diversity of Solid Disk Profiles

abstract: A foundational idea in the theory of in situ planet formation is the "minimum mass extrasolar nebula" (MMEN), a surface density profile ($\Sigma$) of disk solids that is necessary to form the planets in their present locations. While most previous studies have fit a single power-law to all exoplanets in an observed ensemble, it is unclear whether most exoplanetary systems form from a universal disk template. We use an advanced statistical model for the underlying architectures of multi-planet systems to reconstruct the MMEN. The simulated physical and Kepler-observed catalogs allows us to directly assess the role of detection biases, and in particular the effect of non-transiting or otherwise undetected planets, in altering the inferred MMEN. We find that fitting a power-law of the form $\Sigma = \Sigma_0^* (a/a_0)^\beta$ to each multi-planet system results in a broad distribution of disk profiles; $\Sigma_0^* = 336_{-291}^{+727}$ g/cm$^2$ and $\beta = -1.98_{-1.52}^{+1.55}$ encompass the 16th-84th percentiles of the marginal distributions in an underlying population, where $\Sigma_0^*$ is the normalization at $a_0 = 0.3$ AU. Around half of inner planet-forming disks have minimum solid masses of $\gtrsim 40 M_\oplus$ within 1 AU. While transit observations do not tend to bias the median $\beta$, they can lead to both significantly over- and under-estimated $\Sigma_0^*$ and thus broaden the inferred distribution of disk masses. Nevertheless, detection biases cannot account for the full variance in the observed disk profiles; there is no universal MMEN if all planets formed in situ. The great diversity of solid disk profiles suggests that a substantial fraction ($\gtrsim 23\%$) of planetary systems experienced a history of migration.


title: Coxeter quotients of knot groups through 16 crossings

abstract: We find explicit maximal rank Coxeter quotients for the knot groups of 595,515 out of the 1,701,936 knots through 16 crossings. We thus calculate the bridge numbers and verify Cappell and Shaneson's Meridional Rank Conjecture for these knots. In addition, we provide a computational tool for establishing the conjecture for knots beyond 16 crossings whose meridional ranks can be detected via finite Coxeter quotients.


title: Quantitative Universal Approximation Bounds for Deep Belief Networks

abstract: We show that deep belief networks with binary hidden units can approximate any multivariate probability density under very mild integrability requirements on the parental density of the visible nodes. The approximation is measured in the $L^q$-norm for $q\in[1,\infty]$ ($q=\infty$ corresponding to the supremum norm) and in Kullback-Leibler divergence. Furthermore, we establish sharp quantitative bounds on the approximation error in terms of the number of hidden units.


title: Integration of the Lane-Emden equation for relativistic anisotropic polytropes through Gravitational Decoupling: a novel approach

abstract: In this work we propose a novel approach to integrate the Lane-Emden equations for relativistic anisotropic polytropes. We take advantage of the fact that Gravitational Decoupling allows to decrease the number of degrees of freedom once a well known solution of the Einstein field equations is provided as a seed so after demanding the polytropic equation for the radial pressure the system is automatically closed. The approach not only allows to extend both isotropic or anisotropic known solutions but simplifies the computation of the Tolman mass whenever the Minimal Geometric Deformation is considered given that the $g_{tt}$ component of the metric remains unchanged. We illustrate how the the method works by analyzing the solutions obtained from Tolman IV, Durgapal IV and Wymann IIa isotropic systems as a seed for the integration.


title: An introduction to the concept of function within Descartes's algebra of segments

abstract: In his G\'eom\'etrie (1637) Descartes introduces the algebra of segments. This is a fundamental step in the mathematical treatment of variable quantities before the creation of differential calculus. It is an algebra with symbols but without numbers, in which the covariation between geometric variables, constrained by ruler and compass constructions or with other geometric constructions, can be expressed with symbolic equations. By using algebraic manipulations, it is possible to easily deduce the properties of the corresponding geometric constructions, including those that produce graphs of rational functions. We believe that the study of functions through Descartes's algebra can be didactically effective in teaching and learning the concept of function in secondary school. Firstly, it avoids the reference to real numbers; secondly, the interpretation of formulas as geometric constructions and vice versa facilitates the "transition" from functions understood as processes to functions understood as objects.


title: Nonlinear magnon control of atomic spin defects in scalable quantum devices

abstract: Ongoing efforts in quantum engineering have recently focused on integrating magnonics into hybrid quantum architectures for novel functionalities. While hybrid magnon-quantum spin systems have been demonstrated with nitrogen-vacancy (NV) centers in diamond, they have remained elusive on the technologically promising silicon carbide (SiC) platform mainly due to difficulties in finding a resonance overlap between the magnonic system and the spin centers. Here we circumvent this challenge by harnessing nonlinear magnon scattering processes in a magnetic vortex to access magnon modes that overlap in frequency with silicon-vacancy ($\textrm{V}_{\mathrm{Si}}$) spin transitions in SiC. Our results offer a route to develop hybrid systems that benefit from marrying the rich nonlinear dynamics of magnons with the advantageous properties of SiC for scalable quantum technologies.


title: Quasi-Characters in $\widehat{su(2)}$ Current Algebra at Fractional Levels

abstract: We study the even characters of $\widehat{su(2)}$ conformal field theories (CFTs) at admissible fractional levels obtained from the difference of the highest weight characters in the unflavoured limit. We show that admissible even character vectors arise only in three special classes of admissible fractional levels which include the threshold levels, the positive half-odd integer levels, and the isolated level at -$5/4$. Among them, we show that the even characters of the half-odd integer levels map to the difference of characters of $\widehat{su(2)}_{4N+4}$, with $N\in\mathbb{Z}_{>0}$, although we prove that they do not correspond to rational CFTs. The isolated level characters maps to characters of two subsectors with $\widehat{so(5)}_1$ and $\widehat{su(2)}_1$ current algebras. Furthermore, for the $\widehat{su(2)}_1$ subsector of the isolated level, we introduce discrete flavour fugacities. The threshold levels saturate the admissibility bound and their even characters have previously been shown to be proportional to the unflavoured characters of integrable representations in $\widehat{su(2)}_{4N}$ CFTs, where $N\in\mathbb{Z}_{> 0}$ and we reaffirm this result. Except at the three classes of fractional levels, we find special inadmissible characters called quasi-characters which are nice vector valued modular functions but with $q$-series coefficients violating positivity but not integrality.


title: In-vacuum microwave resonator for a compact cold atom frequency standard

abstract: A physics package for a compact cold atomic clock is hereby presented. The uniqueness of this package is its small dimensions that enable, for the first time, implementation of a primary cold atomic clock in a standard package of 3U height (=133mm). These dimensions are made possible by using an in-vacuum Microwave (MW) Loop Gap Resonator (LGR) whose length and diameter can be reduced from those of a typical resonator. Following our presentation of the design, we analyze the homogeneity of the MW field amplitude and phase. We find that the expected clock instability due to non-uniformity of the MW field is $\sim1.5\cdot10^{-14}$/day. Adding other clock errors, we estimate the total uncertainty of a cold atomic clock of this design will be around $\sim2\cdot10^{-14}$/day which results in a time drift of a few nanoseconds/day. Such a clock can serve as a primary-grade frequency reference, and may replace the cesium beam atomic clock and the GPS-disciplined rubidium atomic clocks.


title: The rate of accumulation of negative eigenvalues to zero and the absolutely continuous spectrum

abstract: For a bounded real-valued function $V$ on ${\Bbb R}^d$, we consider two Schr\"odinger operators $H_+=-\Delta+V$ and $H_-=-\Delta-V$. We prove that if the negative spectra $H_+$ and $H_-$ are discrete and the negative eigenvalues of $H_+$ and $H_-$ tend to zero sufficiently fast, then the absolutely continuous spectra cover the positive half-line $[0,\infty)$.


title: Generating and evaluating 1PI Feynman diagrams for an MSR field theory

abstract: We discuss certain computational methods and analytical techniques that can be used to automatize the various steps involved in the renormalization group analysis of an MSR field theory. The methods rely mainly on the well known packages FeynArts and SecDec. The former is used with minor modifications for generating the Feynman diagrams and obtaining the corresponding expressions, and the latter for dimensional regularization and epsilon expansion of the Feynman integrals. We first discuss how suitable classes and generic model files required by FeynArts are created, present the minor modifications made in the internal file Analytic.m, and then show how the diagrams and the expressions are generated. We then discuss the procedure followed in further simplifying the integrals obtained from the Feynman diagrams to render them in the form of standard scalar Feynman integrals so that the package SecDec can be used to dimensional regularize and epsilon expand them. We discuss these methods as it is applied to a particular theory, namely, the NSAPS three-vector model. However, they can be easily generalized to be applied to other similar MSR field theories.


title: Polarization tensor in de Sitter gauge gravity

abstract: The gauge theory of the de Sitter group, SO$(1,4)$, in the ambient space formalism has been considered in this article. This method is essential to constructing the de Sitter super-conformal gravity and Quantum gravity. $10$ gauge vector fields are needed, corresponding to $10$ generators of the de Sitter group. Using the gauge-invariant Lagrangian, the field equation of these vector fields has been obtained. The gauge vector field solutions are recalled. Then, the spin-$2$ gauge potentials are constructed from the gauge vector field. There are two possibilities for presenting this tensor field: rank-$2$ symmetric and mixed symmetry rank-$3$ tensor fields. To preserve the conformal transformation, a spin-$2$ field must be represented by a mixed symmetry rank-$3$ tensor field, $\mathcal {K}_{\alpha\beta\gamma}$. This tensor field has been rewritten using a generalized polarization tensor field and a de Sitter plane wave. This generalized polarization tensor field has been calculated as a combination of vector polarization, $\mathcal {E}_{\alpha}$, and tensor polarization of rank-$2$, $\mathcal {E}_{\alpha\beta}$, which can be used in the gravitational wave consideration. For the construction of this polarization tensor, the arbitrary constant vector fields appear. We fix it so that, in the limit, $H=0$, one obtains the polarization tensor in Minkowski space-time. It has been shown that under some simple conditions, the spin-$2$ mixed symmetry rank-$3$ tensor field can be simultaneously transformed by the unitary irreducible representation of de Sitter and conformal groups, SO$(2,4)$.


title: The Early Evolution of Magnetar Rotation I: Slowly Rotating "Normal" Magnetars

abstract: In the seconds following their formation in core-collapse supernovae, "proto"-magnetars drive neutrino-heated magneto-centrifugal winds. Using a suite of two-dimensional axisymmetric MHD simulations, we show that relatively slowly rotating magnetars with initial spin periods of $P_{\star0}=50-500$ ms spin down rapidly during the neutrino Kelvin-Helmholtz cooling epoch. These initial spin periods are representative of those inferred for normal Galactic pulsars, and much slower than those invoked for gamma-ray bursts and super-luminous supernovae. Since the flow is non-relativistic at early times, and because the Alfv\'en radius is much larger than the proto-magnetar radius, spindown is millions of times more efficient than the typically-used dipole formula. Quasi-periodic plasmoid ejections from the closed zone enhance spindown. For polar magnetic field strengths $B_0\gtrsim5\times10^{14}$ G, the spindown timescale can be shorter than than the Kelvin-Helmholtz timescale. For $B_0\gtrsim10^{15}$ G, it is of order seconds in early phases. We compute the spin evolution for cooling proto-magnetars as a function of $B_0$, $P_{\star0}$, and mass ($M$). Proto-magnetars born with $B_0$ greater than $\simeq1.3\times10^{15}\,{\rm\,G}\,(P_{\star0}/{400\,\rm\,ms})^{-1.4}(M/1.4\,{\rm M}_\odot)^{2.2}$ spin down to periods $> 1$ s in just the first few seconds of evolution, well before the end of the cooling epoch and the onset of classic dipole spindown. Spindown is more efficient for lower $M$ and for larger $P_{\star0}$. We discuss the implications for observed magnetars, including the discrepancy between their characteristic ages and supernova remnant ages. Finally, we speculate on the origin of 1E 161348-5055 in the remnant RCW 103, and the potential for other ultra-slowly rotating magnetars.


title: On the issue of magnetic monopoles in the prospect of UHE photon searches

abstract: (also inside: this manuscript introduces the reader to the argument against the existence of magnetic monopoles, which forms an essential part of Staruszkiewicz's Quantum Mechanics of the Electric Charge) Ultra-high energy (UHE) photons with energies exceeding $10^{18}\eV$ can potentially be observed. They are produced in various processes involving electrically charged particles. However, more exotic scenarios are also possible. UHE photons could be emitted in encounters of massive magnetically charged monopole--antimonopole pairs or in processes associated with monopoles accelerated to high energies, typically $10^{21}\eV$ or beyond. Observing UHE photons can pose constraints on the properties of magnetic monopoles. There are compelling theoretical reasons in favor of the presence of magnetic monopoles in nature. The predicted observational signatures of these particles are therefore searched for in dedicated experiments currently in operation. Despite these attempts, magnetic monopoles have yet to be empirically proved. There are also theoretical reasons why magnetic monopoles allowed by Dirac's theory might not be realized in nature in the form of isolated particles. Detection or non-detection of UHE photon signatures of magnetic monopoles would bring us closer to solving this fascinating puzzle.


title: Complexity factor for black holes in the framework of the Newman-Penrose formalism

abstract: In this work, we introduce the {\it complexity factor} in the context of self--gravitating fluid distributions for the case of black holes by employing the Newman-Penrose formalism. In particular, by working with spherically symmetric and static AdS black holes, we show that the complexity factor can be interpreted in a natural way at the event horizon. Specifically, a thermodynamic interpretation for the aforementioned complexity factor in terms of a pressure partially supporting a Van der Waals-like equation of state is given.


title: Monte Carlo is a good sampling strategy for polynomial approximation in high dimensions

abstract: This paper concerns the approximation of smooth, high-dimensional functions from limited samples using polynomials. This task lies at the heart of many applications in computational science and engineering - notably, some of those arising from parametric modelling and computational uncertainty quantification. It is common to use Monte Carlo sampling in such applications, so as not to succumb to the curse of dimensionality. However, it is well known that such a strategy is theoretically suboptimal. Specifically, there are many polynomial spaces of dimension $n$ for which the sample complexity scales log-quadratically, i.e., like $c \cdot n^2 \cdot \log(n)$ as $n \rightarrow \infty$. This well-documented phenomenon has led to a concerted effort over the last decade to design improved, and moreover, near-optimal strategies, whose sample complexities scale log-linearly, or even linearly in $n$. In this work we demonstrate that Monte Carlo is actually a perfectly good strategy in high dimensions, despite its apparent suboptimality. We first document this phenomenon empirically via a systematic set of numerical experiments. Next, we present a theoretical analysis that rigorously justifies this fact in the case of holomorphic functions of infinitely-many variables. We show that there is a least-squares approximation based on $m$ Monte Carlo samples whose error decays algebraically fast in $m/\log(m)$, with a rate that is the same as that of the best $n$-term polynomial approximation. This result is non-constructive, since it assumes knowledge of a suitable polynomial subspace in which to perform the approximation. We next present a compressed sensing-based scheme that achieves the same rate, except for a larger polylogarithmic factor. This scheme is practical, and numerically it performs as well as or better than well-known adaptive least-squares schemes.


title: Self-Supervised Primal-Dual Learning for Constrained Optimization

abstract: This paper studies how to train machine-learning models that directly approximate the optimal solutions of constrained optimization problems. This is an empirical risk minimization under constraints, which is challenging as training must balance optimality and feasibility conditions. Supervised learning methods often approach this challenge by training the model on a large collection of pre-solved instances. This paper takes a different route and proposes the idea of Primal-Dual Learning (PDL), a self-supervised training method that does not require a set of pre-solved instances or an optimization solver for training and inference. Instead, PDL mimics the trajectory of an Augmented Lagrangian Method (ALM) and jointly trains primal and dual neural networks. Being a primal-dual method, PDL uses instance-specific penalties of the constraint terms in the loss function used to train the primal network. Experiments show that, on a set of nonlinear optimization benchmarks, PDL typically exhibits negligible constraint violations and minor optimality gaps, and is remarkably close to the ALM optimization. PDL also demonstrated improved or similar performance in terms of the optimality gaps, constraint violations, and training times compared to existing approaches.


title: Machine learning algorithms for three-dimensional mean-curvature computation in the level-set method

abstract: We propose a data-driven mean-curvature solver for the level-set method. This work is the natural extension to $\mathbb{R}^3$ of our two-dimensional strategy in [DOI: 10.1007/s10915-022-01952-2][1] and the hybrid inference system of [DOI: 10.1016/j.jcp.2022.111291][2]. However, in contrast to [1,2], which built resolution-dependent neural-network dictionaries, here we develop a pair of models in $\mathbb{R}^3$, regardless of the mesh size. Our feedforward networks ingest transformed level-set, gradient, and curvature data to fix numerical mean-curvature approximations selectively for interface nodes. To reduce the problem's complexity, we have used the Gaussian curvature to classify stencils and fit our models separately to non-saddle and saddle patterns. Non-saddle stencils are easier to handle because they exhibit a curvature error distribution characterized by monotonicity and symmetry. While the latter has allowed us to train only on half the mean-curvature spectrum, the former has helped us blend the data-driven and the baseline estimations seamlessly near flat regions. On the other hand, the saddle-pattern error structure is less clear; thus, we have exploited no latent information beyond what is known. In this regard, we have trained our models on not only spherical but also sinusoidal and hyperbolic paraboloidal patches. Our approach to building their data sets is systematic but gleans samples randomly while ensuring well-balancedness. We have also resorted to standardization and dimensionality reduction and integrated regularization to minimize outliers. In addition, we leverage curvature rotation/reflection invariance to improve precision at inference time. Several experiments confirm that our proposed system can yield more accurate mean-curvature estimations than modern particle-based interface reconstruction and level-set schemes around under-resolved regions.


title: Construction of a traversable wormhole from a suitable embedding function

abstract: In this work, we construct a traversable wormhole by providing a suitable embedding function ensuring the fulfilling of the flaring--out condition. The solution contains free parameters that are reduced through the study of the acceptable conditions of a traversable wormhole. We compute both the quantifier of exotic matter and the quasi--normal modes through the $13^{th}$ order WKB as a function of the remaining free parameters. We obtain that the wormhole geometry can be sustained by a finite amount of exotic matter and seems to be stable under scalar perturbations.


title: Tracing PAH Emission in $\lambda$-Orionis Using COBE/DIRBE Data

abstract: We use archival COBE/DIRBE data to construct a map of polycyclic aromatic hydrocarbon (PAH) emission in the $\lambda$-Orionis region. The presence of the 3.3 $\mu$m PAH feature within the DIRBE 3.5 $\mu$m band and the corresponding lack of significant PAH spectral features in the adjacent DIRBE bands (1.25, 2.2, and 4.9 $\mu$m) enable estimation of the PAH contribution to the 3.5 $\mu$m data. Having the shortest wavelength of known PAH features, the 3.3 $\mu$m feature probes the smallest PAHs, which are also the leading candidates for carriers of anomalous microwave emission (AME). We use this map to investigate the association between the AME and the emission from PAH molecules. We find that the spatial correlation in $\lambda$-Orionis is higher between AME and far-infrared dust emission (as represented by the DIRBE 240 $\mu$m map) than it is between our PAH map and AME. This finding, in agreement with previous studies using PAH features at longer wavelengths, is in tension with the hypothesis that AME is due to spinning PAHs. However, the expected correlation between mid-infrared and microwave emission could potentially be degraded by different sensitivities of each emission mechanism to local environmental conditions even if PAHs are the carriers of both.


title: Large totally symmetric sets

abstract: A totally symmetric set is a subset of a group such that every permutation of the subset can be realized by conjugation in the group. The (non-)existence of large totally symmetric sets obstruct homomorphisms, so bounds on the sizes of totally symmetric sets are of particular use. In this paper, we prove that if a group has a totally symmetric set of size $k$, it must have order at least $(k+1)!$. We also show that with three exceptions, $\{(1 \; i)\mid i = 2,\ldots,n\} \subset S_n$ is the only totally symmetric set making this bound sharp; it is thus the largest totally symmetric set relative to the size of the ambient group.


title: Energy Minimizing Configurations for Single-Director Cosserat Shells

abstract: We consider a class of single-director Cosserat shell models accounting for both curvature and finite mid-plane strains. We assume a polyconvexity condition for the stored-energy function that reduces to a physically correct membrane model in the absence of bending. With appropriate growth conditions, we establish the existence of energy minimizers. The local orientation of a minimizing configuration is maintained via the blowup of the stored energy as a version of the local volume ratio approaches zero. Finally, we specialize our results to three constrained versions of the theory commonly employed in the subject.


title: A Review of Uncertainty for Deep Reinforcement Learning

abstract: Uncertainty is ubiquitous in games, both in the agents playing games and often in the games themselves. Working with uncertainty is therefore an important component of successful deep reinforcement learning agents. While there has been substantial effort and progress in understanding and working with uncertainty for supervised learning, the body of literature for uncertainty aware deep reinforcement learning is less developed. While many of the same problems regarding uncertainty in neural networks for supervised learning remain for reinforcement learning, there are additional sources of uncertainty due to the nature of an interactable environment. In this work, we provide an overview motivating and presenting existing techniques in uncertainty aware deep reinforcement learning. These works show empirical benefits on a variety of reinforcement learning tasks. This work serves to help to centralize the disparate results and promote future research in this area.


title: Supernova search with active learning in ZTF DR3

abstract: We provide the first results from the complete SNAD adaptive learning pipeline in the context of a broad scope of data from large-scale astronomical surveys. The main goal of this work is to explore the potential of adaptive learning techniques in application to big data sets. Our SNAD team used Active Anomaly Discovery (AAD) as a tool to search for new supernova (SN) candidates in the photometric data from the first 9.4 months of the Zwicky Transient Facility (ZTF) survey, namely, between March 17 and December 31 2018 (58194 < MJD < 58483). We analysed 70 ZTF fields at a high galactic latitude and visually inspected 2100 outliers. This resulted in 104 SN-like objects being found, 57 of which were reported to the Transient Name Server for the first time and with 47 having previously been mentioned in other catalogues, either as SNe with known types or as SN candidates. We visually inspected the multi-colour light curves of the non-catalogued transients and performed fittings with different supernova models to assign it to a probable photometric class: Ia, Ib/c, IIP, IIL, or IIn. Moreover, we also identified unreported slow-evolving transients that are good superluminous SN candidates, along with a few other non-catalogued objects, such as red dwarf flares and active galactic nuclei. Beyond confirming the effectiveness of human-machine integration underlying the AAD strategy, our results shed light on potential leaks in currently available pipelines. These findings can help avoid similar losses in future large-scale astronomical surveys. Furthermore, the algorithm enables direct searches of any type of data and based on any definition of an anomaly set by the expert.


title: Topologically protected four-dimensional optical singularities

abstract: Optical singularities play a major role in modern optics and are frequently deployed in structured light, super-resolution microscopy, and holography. While phase singularities are uniquely defined as locations of undefined phase, polarization singularities studied thus far are either partial, i.e., bright points of well-defined polarization, or unstable for small field perturbations. We demonstrate for the first time a complete, topologically protected polarization singularity; it is located in the 4D space spanned by the three spatial dimensions and the wavelength and is created in the focus of a cascaded metasurface-lens system. The field Jacobian plays a key role in the design of such higher-dimensional singularities, which can be extended to multidimensional wave phenomena, and pave the way to novel applications in topological photonics and precision sensing.


title: On the Accuracy of the One-step UKF and the Two-step UKF

abstract: The most accurate version of the unscented Kalman filter (UKF) involves the construction of two ensembles. To reduce computational cost, however, UKF is often implemented without the second ensemble. This simplification comes at a price, however, since, for linear systems, the one-step variation of the two-step UKF does not specialize to the classical Kalman filter, with an associated loss of accuracy. This paper remedies this drawback by developing a modified one-step UKF that recovers the classical Kalman filter for linear systems. Numerical examples show that the modified one-step UKF also recovers the accuracy of the two-step UKF in nonlinear systems with linear outputs.


title: Hohenberg-Mermin-Wagner-type theorems and dipole symmetry

abstract: We study the possibility of spontaneous symmetry breaking in systems with both charge and dipole symmetries. For $d$-dimensional systems at a positive temperature, we show that charge symmetry cannot be spontaneously broken for $d\leq 4$, while dipole symmetry cannot be spontaneously broken for $d\leq 2$. For $T=0$, we show that charge symmetry cannot be spontaneously broken for $d\leq 2$ if the compressibility is finite. We also show that continuum systems with a dipole symmetry have infinite inertial mass density.


title: Alternating north-south brightness ratio of Ganymede's auroral ovals: Hubble Space Telescope observations around the Juno PJ34 flyby

abstract: We report results of Hubble Space Telescope observations from Ganymede's orbitally trailing side which were taken around the flyby of the Juno spacecraft on June 7, 2021. We find that Ganymede's northern and southern auroral ovals alternate in brightness such that the oval facing Jupiter's magnetospheric plasma sheet is brighter than the other one. This suggests that the generator that powers Ganymede's aurora is the momentum of the Jovian plasma sheet north and south of Ganymede's magnetosphere. Magnetic coupling of Ganymede to the plasma sheet above and below the moon causes asymmetric magnetic stresses and electromagnetic energy fluxes ultimately powering the auroral acceleration process. No clear statistically significant time variability of the auroral emission on short time scales of 100s could be resolved. We show that electron energy fluxes of several tens of mW m$^{-2}$ are required for its OI 1356 \AA$\;$ emission making Ganymede a very poor auroral emitter.


title: Mapping Husserlian phenomenology onto active inference

abstract: Phenomenology is the rigorous descriptive study of conscious experience. Recent attempts to formalize Husserlian phenomenology provide us with a mathematical model of perception as a function of prior knowledge and expectation. In this paper, we re-examine elements of Husserlian phenomenology through the lens of active inference. In doing so, we aim to advance the project of computational phenomenology, as recently outlined by proponents of active inference. We propose that key aspects of Husserl's descriptions of consciousness can be mapped onto aspects of the generative models associated with the active inference approach. We first briefly review active inference. We then discuss Husserl's phenomenology, with a focus on time consciousness. Finally, we present our mapping from Husserlian phenomenology to active inference.


title: Phase mixing and the 1/f spectrum in the solar wind

abstract: The origin and evolution of the 1/f power law observed in the energy spectrum of solar coronal and solar wind fluctuations at scales of around an hour is not entirely understood. Several existing theories aim at explaining it, involving both linear and nonlinear mechanisms. An often overlooked property of the solar corona and solar wind is their highly inhomogeneous nature. In this paper we investigate the linear evolution of pure Alfv\'en and surface Alfv\'en waves propagating through a plasma which is inhomogeneous across the magnetic field. The inhomogeneity is given by density, which we model to be two-dimensional colored noise, with power spectral slopes ranging from -2 to -1. Alfv\'en waves propagate independently on individual magnetic field lines, and eventually get completely out of phase through the process of phase mixing, leading to unrealistic spectra. When the coupling between the inhomogeneous background and the propagating waves is fully accounted for, transverse waves such as surface Alfv\'en waves (also referred to as kink or Alfv\'enic) appear, showing collective wave behavior of neighboring magnetic field lines with different Alfv\'en speeds. We show that the linear cascade of surface Alfv\'en wave energy, induced by phase mixing and resonant absorption, leads to a perpendicular wave energy spectrum which tends to the perpendicular power spectrum of the background density. Based on our model, we propose that a perpendicular density power spectrum of 1/f in the solar corona can induce, through linear processes, the 1/f spectrum of the fluctuations that is observed at the largest scales.


title: On toral posets and contact Lie algebras

abstract: A $(2k+1)-$dimensional Lie algebra is called contact if it admits a one-form $\varphi$ such that $\varphi\wedge(d\varphi)^k\neq 0.$ Here, we extend recent work to describe a combinatorial procedure for generating contact, type-A Lie poset algebras whose associated posets have chains of arbitrary cardinality, and we conjecture that our construction leads to a complete characterization.


title: Mouse Dynamics Behavioral Biometrics: A Survey

abstract: Utilization of the Internet in our everyday lives has made us vulnerable in terms of privacy and security of our data and systems. Therefore, there is a pressing need to protect our data and systems by improving authentication mechanisms, which are expected to be low cost, unobtrusive, and ideally ubiquitous in nature. Behavioral biometric modalities such as mouse dynamics (mouse behaviors on a graphical user interface (GUI)) and widget interactions (another modality closely related to mouse dynamics that also considers the target (widget) of a GUI interaction, such as links, buttons, and combo-boxes) can bolster the security of existing authentication systems because of their ability to distinguish an individual based on their unique features. As a result, it can be difficult for an imposter to impersonate these behavioral biometrics, making them suitable for authentication. In this paper, we survey the literature on mouse dynamics and widget interactions dated from 1897 to 2023. We begin our survey with an account of the psychological perspectives on behavioral biometrics. We then analyze the literature along the following dimensions: tasks and experimental settings for data collection, taxonomy of raw attributes, feature extractions and mathematical definitions, publicly available datasets, algorithms (statistical, machine learning, and deep learning), data fusion, performance, and limitations. Lastly, we end the paper with presenting challenges and promising research opportunities.


title: The three-center two-positron bond

abstract: Computational studies have shown that one or more positrons can stabilize two repelling atomic anions through the formation of two-center positronic bonds. In the present work, we study the energetic stability of a system containing two positrons and three hydride anions, namely 2\ce{e^+[H^{3-}_3]}. To this aim, we performed a preliminary scan of the potential energy surface of the system with both electrons and positron in a spin singlet state, with a multi-component MP2 method, that was further refined with variational and diffusion Monte Carlo calculations, and confirmed an equilibrium geometry with \ce{D_${3h}$} symmetry. The local stability of 2\ce{e^+[H^{3-}_3]} is demonstrated by analyzing the vertical detachment and adiabatic energy dissociation channels. Bonding properties of the positronic compound, such as the equilibrium interatomic distances, force constants, dissociation energies, and bonding densities are compared with those of the purely electronic \ce{H^+_3} and \ce{Li^+_3} systems. Through this analysis, we find compelling similarities between the 2\ce{e^+[H^{3-}_3]} compound and the trilithium cation. Our results strongly point out the formation of a non-electronic three-center two-positron bond, analogous to the well known three-center two-electron counterparts, which is fundamentally distinct from the two-center two-positron bond [D. Bressanini, \textit{J. Chem. Phys.} \textbf{155}, 054306 (2021)], thus extending the concept of positron bonded molecules.


title: How important are socioeconomic factors for hurricane performance of power systems? An analysis of disparities through machine learning

abstract: This paper investigates whether socioeconomic factors are important for the hurricane performance of the electric power system in Florida. The investigation is performed using the Random Forest classifier with Mean Decrease of Accuracy (MDA) for measuring the importance of a set of factors that include hazard intensity, time to recovery from maximum impact, and socioeconomic characteristics of the affected population. The data set (at county scale) for this study includes socioeconomic variables from the 5-year American Community Survey (ACS), as well as wind velocities, and outage data of five hurricanes including Alberto and Michael in 2018, Dorian in 2019, and Eta and Isaias in 2020. The study shows that socioeconomic variables are considerably important for the system performance model. This indicates that social disparities may exist in the occurrence of power outages, which directly impact the resilience of communities and thus require immediate attention.


title: Investigation of role of antisite disorder in the pristine cage compound FeGa$_3$

abstract: The role of controlled disorder in the strong correlated narrow gap semiconductor candidate FeGa$_3$ has been investigated. Polycrystalline samples were synthesized by the combination of arc-melting furnace and successive annealing processes. Deviations of the occupation number of Fe and Ga sites from those expected in the pristine compound were quantified with X-ray analysis. Besides that, electrical transport and magnetization measurements reveal that hierarchy in Fe and Ga site disorder tunes the ground state of FeGa$_3$ from paramagnetic semiconducting to a magnetic metal. These findings are discussed within the framework of Anderson metal-insulator transitions and spin fluctuations.


title: Towards directional force sensing in levitated optomechanics

abstract: Levitated nanoparticles are being intensively investigated from two different perspectives: as a potential realisation of macroscopic quantum coherence; and as ultra-sensitive sensors of force, down to the zeptoNewton level, with a range of various applications, including the search for Dark Matter. A future aim is to merge these two strands, enabling the development of quantum-limited sensors. Here we propose that mechanical cross-correlation spectra $S_{xy}(\omega)$ offer new possibilities: once detector misalignment errors are minimised, the spectral shape of $S_{xy}(\omega)$ directly points out the orientation of an external stochastic force, offering something akin to a compass in the $x-y$ plane. We analyse this for detection of microscopic gas currents, but any broad spectrum directed force will suffice, enabling straightforward investigation with laboratory test forces with or without cavities. For a cavity set-up, we analyse misalignment imprecisions between detectors and motional modes due to for example optical back-actions that mask the signature of the directed forces, and show how to suppress them. Near quantum regimes, we quantify the imprecision due to the $x-y$ correlating effect of quantum shot noise imprecision.


title: A Verified Implementation of B+-Trees in Isabelle/HOL

abstract: In this paper we present the verification of an imperative implementation of the ubiquitous B+-tree data structure in the interactive theorem prover Isabelle/HOL. The implementation supports membership test, insertion and range queries with efficient binary search for intra-node navigation. The imperative implementation is verified in two steps: an abstract set interface is refined to an executable but inefficient purely functional implementation which is further refined to the efficient imperative implementation.


title: An Integer L-shaped Method for Dynamic Order Fulfillment in Autonomous Last-Mile Delivery with Demand Uncertainty

abstract: Given their potential to significantly lower costs and enhance flexibility in last-mile delivery, autonomous delivery solutions like sidewalk robots and drones have garnered increased interest. This paper addresses the dynamic order fulfillment problem faced by a retailer who operates a fleet of low-capacity autonomous delivery vehicles, servicing requests arriving in a stochastic manner. These delivery requests may vary in package profiles, delivery locations, and urgency. We adopt a rolling-horizon framework for order fulfillment and devise a two-stage stochastic program aimed at strategically managing existing orders while considering incoming requests that are subject to various uncertainties. A significant challenge in deploying the envisioned two-stage model lies in its incorporation of vehicle routing constraints, on which exact or brute-force methods are computationally inefficient and unsuitable for real-time operational decisions. To address this, we propose an accelerated L-shaped algorithm, which (i) reduces the branching tree size; (ii) substitutes exact second-stage solutions with heuristic estimations; and (iii) adapts an alternating strategy for adding optimality cuts. This heuristic algorithm demonstrates remarkable performance superiority over the exact method, boasting a more than 20-fold improvement in average running time while maintaining an average optimality gap of less than 1%. It is then employed to solve a wide range of instances to evaluate the advantages of adopting the stochastic model. Our findings demonstrate long-term cost savings of up to 20% when accounting for demand uncertainty in order fulfillment decisions. Meanwhile, the derived savings could diminish as the uncertainty in order arrivals increases.


title: Signatures of Open and Noisy Quantum Systems in Single-Qubit Quantum Annealing

abstract: We propose a quantum annealing protocol that more effectively probes the dynamics of a single qubit on D-Wave's quantum annealing hardware. This protocol uses D-Wave's h-gain schedule functionality, which allows the rapid quenching of the longitudinal magnetic field at arbitrary points during the anneal. This features enables us to distinguish between open and closed system dynamics as well as the presence or absence of longitudinal magnetic field noise. We show that both thermal and magnetic field fluctuations are key sources of noise that need to be included in an open quantum system model to reproduce the output statistics of the hardware.


title: Search for the Chiral Effect using isobar collisions and BES-II data from STAR

abstract: In these proceedings we discuss the recent precision measurements of charge separation difference between Ru+Ru and Zr+Zr collisions at $\sqrt{s_{\rm NN}}=200$ GeV by STAR collaboration. The measurements indicate that the magnitude of the difference in the charge separation attributable to the magnetic fields between the two systems is smaller than previously expected. We also present charge separation measurements on the Chiral Magnetic Effect search from the RHIC BES-II experiment using the Event Plane Detectors (EPD) from Au+Au collisions at $\sqrt{s_{\rm NN}} =$ 27 GeV.


title: Electronic, Wireless, and Photonic Network-on-Chip Security: Challenges and Countermeasures

abstract: Networks-on-chips (NoCs) are an integral part of emerging manycore computing chips. They play a key role in facilitating communication among processing cores and between cores and memory. To meet the aggressive performance and energy-efficiency targets of machine learning and big data applications, NoCs have been evolving to leverage emerging paradigms such as silicon photonics and wireless communication. Increasingly, these NoC fabrics are becoming susceptible to security vulnerabilities, such as from hardware trojans that can snoop, corrupt, or disrupt information transfers on NoCs. This article surveys the landscape of security challenges and countermeasures across electronic, wireless, and photonic NoCs.


title: Droplet Migration in the Presence of a Reacting Surfactant at Low P\'eclet Numbers

abstract: A surfactant-laden droplet of one fluid dispersed in another immiscible fluid serves as an artificial model system capable of mimicking microbial swimmers. Either an interfacial chemical reaction or the process of solubilization generates gradients in interfacial tension resulting in a Marangoni flow. The resulting fluid flow propels the droplet toward a region of lower interfacial tension. The advective transport of surfactants sustains the active propulsion of these droplets. In these systems, the local interfacial tension is affected by the interfacial reaction kinetics as well as convection and diffusion induced concentration gradients. The migration of such a surfactant-laden viscous droplet undergoing an interfacial reaction, suspended in a background Poiseuille flow is investigated. The focus is specifically on the role of the surface reaction that generates a non-uniform interfacial coverage of the surfactant, which in turn dictates the migration velocity of the droplet in the background flow. Assuming negligible interface deformation and fluid inertia, the Lorentz reciprocal theorem is used to analytically determine the migration velocity of the droplet using regular perturbation expansion in terms of the surface P\'eclet number. We show that the presence of interfacial reaction affects the magnitude of both stream-wise and cross-stream migration velocity of the droplet in a background Poiseuille flow. We conclude that the stream-wise migration velocity is not of sufficient strength to exhibit positive rheotaxis as observed in recent experimental observations. Additional effects such as the hydrodynamic interactions with the adjacent wall may be essential to capture the same.


title: Berry-Esseen Theorem for Sample Quantiles with Locally Dependent Data

abstract: In this note, we derive a Gaussian Central Limit Theorem for the sample quantiles based on identically distributed but possibly dependent random variables with explicit convergence rate. Our approach is based on converting the problem to a sum of indicator random variables, applying Stein's method for local dependence, and bounding the distance between two normal distributions. We also generalize this approach to the joint convergence of sample quantiles with an explicit convergence rate.


title: Linear optimization on varieties and Chern-Mather classes

abstract: The linear optimization degree gives an algebraic measure of complexity of optimizing a linear objective function over an algebraic model. Geometrically, it can be interpreted as the degree of a projection map on the {affine} conormal variety. Fixing an affine variety, our first result shows that the geometry of {this} conormal variety, expressed in terms of bidegrees, completely determines the Chern-Mather classes of the given variety. We also show that these bidegrees coincide with the linear optimization degrees of generic affine sections.


title: dPMP-Deep Probabilistic Motion Planning: A use case in Strawberry Picking Robot

abstract: This paper presents a novel probabilistic approach to deep robot learning from demonstrations (LfD). Deep movement primitives (DMPs) are deterministic LfD model that maps visual information directly into a robot trajectory. This paper extends DMPs and presents a deep probabilistic model that maps the visual information into a distribution of effective robot trajectories. The architecture that leads to the highest level of trajectory accuracy is presented and compared with the existing methods. Moreover, this paper introduces a novel training method for learning domain-specific latent features. We show the superiority of the proposed probabilistic approach and novel latent space learning in the lab's real-robot task of strawberry harvesting. The experimental results demonstrate that latent space learning can significantly improve model prediction performances. The proposed approach allows to sample trajectories from distribution and optimises the robot trajectory to meet a secondary objective, e.g. collision avoidance.


title: Evaluation of fatigue crack initiation using accumulated entropy

abstract: The accumulated entropy is used to evaluate the initiation of crack in flat notched specimen made of stainless steel 304. Two notch radii have been studied to capture the thermography of crack initiation and measure accumulated heat dissipation. It has been observed that under pull-push loading with an R-ratio of -1, the accumulated entropy for crack initiation and crack length's growth up to a specific number, Fracture Fatigue Entropy remains nearly constant. Anaclastic deformation dissipation has been taken into account and a mathematical model based on Kelvin-Voigt type element has been discussed. The effect of anelastic deformation has been studied in terms of temperature evolution at the beginning of the test.


title: Implicit Session Contexts for Next-Item Recommendations

abstract: Session-based recommender systems capture the short-term interest of a user within a session. Session contexts (i.e., a user's high-level interests or intents within a session) are not explicitly given in most datasets, and implicitly inferring session context as an aggregation of item-level attributes is crude. In this paper, we propose ISCON, which implicitly contextualizes sessions. ISCON first generates implicit contexts for sessions by creating a session-item graph, learning graph embeddings, and clustering to assign sessions to contexts. ISCON then trains a session context predictor and uses the predicted contexts' embeddings to enhance the next-item prediction accuracy. Experiments on four datasets show that ISCON has superior next-item prediction accuracy than state-of-the-art models. A case study of ISCON on the Reddit dataset confirms that assigned session contexts are unique and meaningful.


title: A note on the Assmus--Mattson theorem for some binary codes II

abstract: Let $C$ be a four-weight binary code, which has all one vector. Furthermore, we assume that $C$ supports $t$-designs for all weights obtained from the Assmus--Mattson theorem. We previously showed that $t\leq 5$. In the present paper, we show an analogue of this result in the cases of five and six-weight codes.


title: Gaussian Basis Functions for a Polymer Self-Consistent Field Theory of Atoms

abstract: A representation of polymer self-consistent field theory equivalent to quantum density functional theory is given in terms of non-orthogonal basis sets. Molecular integrals and self-consistent equations for spherically symmetric systems using Gaussian basis functions are given, and the binding energies and radial electron densities of neutral atoms hydrogen through krypton are calculated. An exact electron self-interaction correction is adopted and the Pauli-exclusion principle is enforced through ideas of polymer excluded-volume. The atoms hydrogen through neon are additionally examined without some approximations which permit cancellation of errors. Correlations are neglected for both cases in the interest of simplicity and comparisons are made with Hartree-Fock theory. The implications of the Pauli-exclusion potential and its approximate form are discussed, and the Pauli model is analyzed using scaling theory for the uniform electron density case where the correct form of the Thomas-Fermi quantum kinetic energy and the Dirac exchange correction are recovered.

categories: physics.atom-ph cond-mat.stat-mech physics.chem-ph physics.comp-ph quant-ph


title: A Multi-Modal Wildfire Prediction and Personalized Early-Warning System Based on a Novel Machine Learning Framework

abstract: Wildfires are increasingly impacting the environment, human health and safety. Among the top 20 California wildfires, those in 2020-2021 burned more acres than the last century combined. California's 2018 wildfire season caused damages of $148.5 billion. Among millions of impacted people, those living with disabilities (around 15% of the world population) are disproportionately impacted due to inadequate means of alerts. In this project, a multi-modal wildfire prediction and personalized early warning system has been developed based on an advanced machine learning architecture. Sensor data from the Environmental Protection Agency and historical wildfire data from 2012 to 2018 have been compiled to establish a comprehensive wildfire database, the largest of its kind. Next, a novel U-Convolutional-LSTM (Long Short-Term Memory) neural network was designed with a special architecture for extracting key spatial and temporal features from contiguous environmental parameters indicative of impending wildfires. Environmental and meteorological factors were incorporated into the database and classified as leading indicators and trailing indicators, correlated to risks of wildfire conception and propagation respectively. Additionally, geological data was used to provide better wildfire risk assessment. This novel spatio-temporal neural network achieved >97% accuracy vs. around 76% using traditional convolutional neural networks, successfully predicting 2018's five most devastating wildfires 5-14 days in advance. Finally, a personalized early warning system, tailored to individuals with sensory disabilities or respiratory exacerbation conditions, was proposed. This technique would enable fire departments to anticipate and prevent wildfires before they strike and provide early warnings for at-risk individuals for better preparation, thereby saving lives and reducing economic damages.


title: Fractional Integrals Associated with Radon Transforms

abstract: We obtain sharp norm estimates for fractional integrals generated by Radon transforms of three types in the n-dimensional real Euclidean space. The method relies on recent interpolation results for analytic families of operators.


title: Self-Seeded Free-Electron Lasers with Orbital Angular Momentum

abstract: X-ray beams carrying orbital angular momentum (OAM) are an emerging tool for probing matter. Optical elements, such as spiral phase plates and zone plates, have been widely used to generate OAM light. However, these optics are challenging to use at x-ray free-electron lasers (XFELs) due to the high impinging intensities. Here, we propose a self-seeded FEL method to produce intense x-ray vortices. Unlike passive filtering after amplification, an optical element will be used to introduce the helical phase in the linear regime, significantly reducing the thermal load on the optical element. The generated OAM pulse is then used as a seed and significantly amplified. Theoretical analysis and numerical simulations demonstrate that the power of the OAM seed pulse can be amplified by more than two orders of magnitude, reaching peak powers of several tens of gigawatts. The proposed method paves the way for high-power and high-repetition-rate OAM pulses of XFEL light.


title: Standing Balance Improvement Using Vibrotactile Feedback in Virtual Reality

abstract: Virtual Reality (VR) users often encounter postural instability, i.e., balance issues, which can be a significant impediment to universal usability and accessibility, particularly for those with balance impairments. Prior research has validated imbalance issues, but little effort has been made to mitigate them. We recruited 39 participants (with balance impairments: 18, without balance impairments: 21) to examine the effect of various vibrotactile feedback techniques on balance in virtual reality, specifically spatial vibrotactile, static vibrotactile, rhythmic vibrotactile, and vibrotactile feedback mapped to the center of pressure (CoP). Participants completed standing visual exploration and standing reach and grasp tasks. According to within-subject results, each vibrotactile feedback enhanced balance in VR significantly (p < .001) for those with and without balance impairments. Spatial and CoP vibrotactile feedback enhanced balance significantly more (p < .001) than other vibrotactile feedback. This study presents strategies that might be used in future virtual environments to enhance standing balance and bring VR closer to universal usage.


title: Out-of-distribution Detection via Frequency-regularized Generative Models

abstract: Modern deep generative models can assign high likelihood to inputs drawn from outside the training distribution, posing threats to models in open-world deployments. While much research attention has been placed on defining new test-time measures of OOD uncertainty, these methods do not fundamentally change how deep generative models are regularized and optimized in training. In particular, generative models are shown to overly rely on the background information to estimate the likelihood. To address the issue, we propose a novel frequency-regularized learning FRL framework for OOD detection, which incorporates high-frequency information into training and guides the model to focus on semantically relevant features. FRL effectively improves performance on a wide range of generative architectures, including variational auto-encoder, GLOW, and PixelCNN++. On a new large-scale evaluation task, FRL achieves the state-of-the-art performance, outperforming a strong baseline Likelihood Regret by 10.7% (AUROC) while achieving 147$\times$ faster inference speed. Extensive ablations show that FRL improves the OOD detection performance while preserving the image generation quality. Code is available at https://github.com/mu-cai/FRL.


title: Local imaging of diamagnetism in proximity coupled niobium nano-island arrays on gold thin films

abstract: In this work we study the effect of engineered disorder on the local magnetic response of proximity coupled superconducting island arrays by comparing scanning Superconducting Quantum Interference Device (SQUID) susceptibility measurements to a model in which we treat the system as a network of one-dimensional (1D) superconductor-normal metal-superconductor (SNS) Josephson junctions, each with a Josephson coupling energy $E_J$ determined by the junction length or distance between islands. We find that the disordered arrays exhibit a spatially inhomogeneous diamagnetic response which, for low local applied magnetic fields, is well described by this junction network model, and we discuss these results as they relate to inhomogeneous two-dimensional (2D) superconductors. Our model of the static magnetic response of the arrays does not fully capture the onset of nonlinearity and dissipation with increasing applied field, as these effects are associated with vortex motion due to the dynamic nature of the scanning SQUID susceptometry measurement. This work demonstrates a model 2D superconducting system with engineered disorder and highlights the impact of dissipation on the local magnetic properties of 2D superconductors and Josephson junction arrays.


title: Early quark deconfinement in compact star astrophysics and heavy-ion collisions

abstract: Based on a recently developed relativistic density functional approach to color-superconducting quark matter and a novel quark-hadron transition construction which phenomenologically accounts for the effects of inhomogeneous pasta phases and quark-hadron continuity, we construct a class of hybrid equations of state applicable at the regimes typical for compact star astrophysics and heavy ion collisions. We outline that early quark deconfinement is a notable consequence of strong diquark pairing providing a good agreement with the observational data and driving the trajectories of the matter evolution during the supernovae explosions toward the regimes typical for the compact star mergers and heavy-ion collisions.


title: Laser-assisted electron-nucleon scattering

abstract: In both absence and presence of a circularly polarized monochromatic electromagnetic pulse, we have analyzed the electron-nucleon scattering process, where the nucleon is assumed to be spinless with a spherical shape. We have provided the theoretical calculation of the differential cross section (DCS) by using the Dirac-Volkov formalism. This research paper aims to provide two comparisons: We first compare the DCS in the absence of the laser field with its corresponding laser-assisted DCS. A second comparison is made between the electron-proton and electron-neutron scattering processes to study the effect of the laser on both processes. The results obtained about the effect of the laser field on the DCS and the electric form factor have been discussed for both scattering processes. We have found that the DCS is reduced when the laser field is applied for both processes. In addition, the form factor is also decreased by raising the incident electron energy in electron-proton scattering, but it increases in electron-neutron scattering. Moreover, the form factors for both scattering situations are unchanged by raising the laser field strength up to $10^{8}\,V/cm$.


title: Integrated modelling approaches for sustainable agri-economic growth and environmental improvement: Examples from Canada, Greece, and Ireland

abstract: Complex agricultural problems concern many countries, as the economic motives are increasingly higher, and at the same time the consequences from the irrational resources use and emissions are becoming more evident. In this work we study three of the most common agricultural problems and model them through optimization techniques, showing ways to assess conflicting objectives together as a system and provide overall optimum solutions. The studied problems refer to: i) a water-scarce area with overexploited surface and groundwater resources due to over-pumping for irrigation (Central Greece), ii) a water-abundant area with issues of water quality deterioration caused by agriculture (Southern Ontario, Canada), iii) and a case of intensified agriculture based on animal farming that causes issues of water, soil quality degradation, and increased greenhouse gases emissions (Central Ireland). Linear, non-linear, and Goal Programming optimization techniques have been developed and applied for each case to maximize farmers welfare, make a less intensive use of environmental resources, and control the emission of pollutants. The proposed approaches and their solutions are novel applications for each case-study, compared to the existing literature and practice. Furthermore, they provide useful insights for most countries facing similar problems, they are easily applicable, and developed and solved in publicly available tools such as Python.


title: A Unified Algorithmic Framework for Distributed Adaptive Signal and Feature Fusion Problems -- Part II: Convergence Properties

abstract: This paper studies the convergence conditions and properties of the distributed adaptive signal fusion (DASF) algorithm, the framework itself having been introduced in a `Part I' companion paper. The DASF algorithm can be used to solve linear signal and feature fusion optimization problems in a distributed fashion, and is in particular well-suited for solving spatial filtering optimization problems encountered in wireless sensor networks. The convergence conditions and results are provided along with rigorous proofs and analyses, as well as various example problems to which they apply. Additionally, we describe procedures that can be added to the DASF algorithm to ensure convergence in specific cases where some of the technical convergence conditions are not satisfied.


title: Singular locus of q-logarithmic foliations

abstract: We determine the structure of the singular locus of generic codimension-$q$ logarithmic foliations and its relation with the unfoldings of said foliations. In the case where the ambient variety is the projective space $\mathbb{P}^n$ we calculate the graded ideal defining the scheme of persistent singularities.


title: Research on the electromagnetic and weak dipole moments of the tau-lepton at the Bestest Little Higgs Model

abstract: In this paper, using the Bestest Little Higgs Model (BLHM) we calculate at the one-loop level the contributions to the Anomalous Magnetic Dipole Moment (AMDM) and Anomalous Weak Magnetic Dipole Moment (AWMDM) of the tau-lepton. The implications from this model are study, emphasizing the contributions of the new physics induced by the new scalar and vector bosons of the BLHM: $S_i=H_0, A_0, \phi^{0}, \eta^{0}, \sigma, H^{\pm}, \phi^{\pm}, \eta^{\pm}$, and $V_i=Z', W'$, because these quantify the new physics. With these new contributions we estimated bounds on both the real and imaginary parts of the AMDM and AWMDM of the tau-lepton. Our study complements other one-loop level research performed on models beyond the Standard Model.


title: A Hausdorff dimension analysis of sets with the product of consecutive vs single partial quotients in continued fractions

abstract: We present a detailed Hausdorff dimension analysis of the set of real numbers where the product of consecutive partial quotients in their continued fraction expansion grow at a certain rate but the growth of the single partial quotient is at a different rate. We consider the set \begin{equation*} \FF(\Phi_1,\Phi_2) \defeq \EE(\Phi_1) \backslash \EE(\Phi_2)=\left\{x\in[0,1): \begin{split} a_n(x)a_{n+1}(x) & \geq\Phi_1(n) \text{\,\, for infinitely many } n\in\N a_{n+1}(x) & <\Phi_2(n) \text{\,\, for all sufficiently large } n\in\N \end{split} \right\}, \end{equation*} where $\Phi_i:\N\to(0,\infty)$ are any functions such that $\lim\limits_{n\to\infty} \Phi_i(n)=\infty$. We obtain some surprising results including the situations when $\FF(\Phi_1,\Phi_2)$ is empty for various non-trivial choices of $\Phi_i$'s. Our results contribute to the metrical theory of continued fractions by generalising several known results including the main result of [Nonlinearity, 33(6):2615--2639, 2020]. To obtain some of the results, we consider an alternate generalised set, which may be of independent interest, and calculate its Hausdorff dimension. One of the main ingredients is in the usage of the classical mass distribution principle; specifically a careful distribution of the mass on the Cantor subset by introducing a new idea of two different types of probability measures.


title: On Target-Oriented Control of Henon and Lozi maps

abstract: We explore stabilization for nonlinear systems of difference equations with modified Target-Oriented Control and a chosen equilibrium as a target, both in deterministic and stochastic settings. The influence of stochastic components in the control parameters is explored. The results are tested on the H\'{e}non and the Lozi maps.


title: Three subjects of the Jacobi-Perron algorithm of dimension 2

abstract: We shall study three subjects of the Jacobi-Perron Algorithm of dimension 2. First, we study the "ideal convergence". About the approximations (p_n/r_n, q_n/r_n) to (A, B) (where A and B are positive real numbers, r_n, p_n and q_n are natural numbers), Showing some inequalities and evaluations of |p_n-Ar_n| and |q_n-Br_n|, we shall prove some sufficient conditions for p_n-Ar_n and q_n-Br_n converge at 0, in which case the algorithm is said to be ideally convergent(see [1]). Second, in connection with the classical continued fractions, we treat the behavior of the algebraic conjugates. Third, we shall prove that the set of (A, B) for which the digits of expansions are bounded from above is null which is a generalization of Theorem 196 in [3].


title: Towards Situation Awareness and Attention Guidance in a Multiplayer Environment using Augmented Reality and Carcassonne

abstract: Augmented reality (AR) games are a rich environment for researching and testing computational systems that provide subtle user guidance and training. In particular computer systems that aim to augment a user's situation awareness benefit from the range of sensors and computing power available in AR headsets. In this work-in-progress paper, we present a new environment for research into situation awareness and attention guidance (SAAG): an augmented reality version of the board game Carcassonne. We also present our initial work in producing a SAAG pipeline, including the creation of game state encodings, the development and training of a gameplay AI, and the design of situation modelling and gaze tracking systems.


title: Estimating and using information in inverse problems

abstract: In inverse problems, one attempts to infer spatially variable functions from indirect measurements of a system. To practitioners of inverse problems, the concept of "information" is familiar when discussing key questions such as which parts of the function can be inferred accurately and which cannot. For example, it is generally understood that we can identify system parameters accurately only close to detectors, or along ray paths between sources and detectors, because we have "the most information" for these places. Although referenced in many publications, the "information" that is invoked in such contexts is not a well understood and clearly defined quantity. Herein, we present a definition of information density that is based on the variance of coefficients as derived from a Bayesian reformulation of the inverse problem. We then discuss three areas in which this information density can be useful in practical algorithms for the solution of inverse problems, and illustrate the usefulness in one of these areas -- how to choose the discretization mesh for the function to be reconstructed -- using numerical experiments.


title: Representation Learning for the Automatic Indexing of Sound Effects Libraries

abstract: Labeling and maintaining a commercial sound effects library is a time-consuming task exacerbated by databases that continually grow in size and undergo taxonomy updates. Moreover, sound search and taxonomy creation are complicated by non-uniform metadata, an unrelenting problem even with the introduction of a new industry standard, the Universal Category System. To address these problems and overcome dataset-dependent limitations that inhibit the successful training of deep learning models, we pursue representation learning to train generalized embeddings that can be used for a wide variety of sound effects libraries and are a taxonomy-agnostic representation of sound. We show that a task-specific but dataset-independent representation can successfully address data issues such as class imbalance, inconsistent class labels, and insufficient dataset size, outperforming established representations such as OpenL3. Detailed experimental results show the impact of metric learning approaches and different cross-dataset training methods on representational effectiveness.


title: Fixing Dockerfile Smells: An Empirical Study

abstract: Background. Containerization technologies are widely adopted in the DevOps workflow. The most commonly used one is Docker, which requires developers to define a specification file (Dockerfile) to build the image used for creating containers. There are several best practice rules for writing Dockerfiles, but the developers do not always follow them. Violations of such practices, known as Dockerfile smells, can negatively impact the reliability and the performance of Docker images. Previous studies showed that Dockerfile smells are widely diffused, and there is a lack of automatic tools that support developers in fixing them. However, it is still unclear what Dockerfile smells get fixed by developers and to what extent developers would be willing to fix smells in the first place. Objective. The aim of our exploratory study is twofold. First, we want to understand what Dockerfiles smells receive more attention from developers, i.e., are fixed more frequently in the history of open-source projects. Second, we want to check if developers are willing to accept changes aimed at fixing Dockerfile smells (e.g., generated by an automated tool), to understand if they care about them. Method. In the first part of the study, we will evaluate the survivability of Dockerfile smells on a state-of-the-art dataset composed of 9.4M unique Dockerfiles. We rely on a state-of-the-art tool (hadolint) for detecting which Dockerfile smells disappear during the evolution of Dockerfiles, and we will manually analyze a large sample of such cases to understand if developers fixed them and if they were aware of the smell. In the second part, we will detect smelly Dockerfiles on a set of GitHub projects, and we will use a rule-based tool to automatically fix them. Finally, we will open pull requests proposing the modifications to developers, and we will quantitatively and qualitatively evaluate their outcome.


title: Discovering Faint and High Apparent Motion Rate Near-Earth Asteroids Using A Deep Learning Program

abstract: Although many near-Earth objects have been found by ground-based telescopes, some fast-moving ones, especially those near detection limits, have been missed by observatories. We developed a convolutional neural network for detecting faint fast-moving near-Earth objects. It was trained with artificial streaks generated from simulations and was able to find these asteroid streaks with an accuracy of 98.7% and a false positive rate of 0.02% on simulated data. This program was used to search image data from the Zwicky Transient Facility (ZTF) in four nights in 2019, and it identified six previously undiscovered asteroids. The visual magnitudes of our detections range from ~19.0 - 20.3 and motion rates range from ~6.8 - 24 deg/day, which is very faint compared to other ZTF detections moving at similar motion rates. Our asteroids are also ~1 - 51 m diameter in size and ~5 - 60 lunar distances away at close approach, assuming their albedo values follow the albedo distribution function of known asteroids. The use of a purely simulated dataset to train our model enables the program to gain sensitivity in detecting faint and fast-moving objects while still being able to recover nearly all discoveries made by previously designed neural networks which used real detections to train neural networks. Our approach can be adopted by any observatory for detecting fast-moving asteroid streaks.


title: Scalable Multi-Agent Lab Framework for Lab Optimization

abstract: Autonomous materials research systems allow scientists to fail smarter, learn faster, and spend less resources in their studies. As these systems grow in number, capability, and complexity, a new challenge arises - how will they work together across large facilities? We explore one solution to this question - a multi-agent laboratory control frame-work. We demonstrate this framework with an autonomous material science lab in mind - where information from diverse research campaigns can be combined to ad-dress the scientific question at hand. This framework can 1) account for realistic resource limits such as equipment use, 2) allow for machine learning agents with diverse learning capabilities and goals capable of running re-search campaigns, and 3) facilitate multi-agent collaborations and teams. The framework is dubbed the MULTI-agent auTonomous fAcilities - a Scalable frameworK aka MULTITASK. MULTITASK makes possible facility-wide simulations, including agent-instrument and agent-agent interactions. Through MULTITASK's modularity, real-world facilities can come on-line in phases, with simulated instruments gradually replaced by real-world instruments. We hope MULTITASK opens new areas of study in large-scale autonomous and semi-autonomous research campaigns and facilities.


title: User Experience of Symptom Checkers: A Systematic Review

abstract: This review reports the user experience of symptom checkers, aiming to characterize users studied in the existing literature, identify the aspects of user experience of symptom checkers that have been studied, and offer design suggestions. Our literature search resulted in 31 publications. We found that (1) most symptom checker users are relatively young; (2) eight relevant aspects of user experience have been explored, including motivation, trust, acceptability, satisfaction, accuracy, usability, safety or security, and functionality; (3) future symptom checkers should improve their accuracy, safety, and usability.


title: Towards Non-Invertible Anomalies from Generalized Ising Models

abstract: We present a general approach to the bulk-boundary correspondence of noninvertible topological phases, including both topological and fracton orders. This is achieved by a novel bulk construction protocol where solvable $(d+1)$-dimensional bulk models with noninvertible topology are constructed from the so-called generalized Ising (GI) models in $d$ dimensions. The GI models can then terminate on the boundaries of the bulk models. The construction generates abundant examples, including not only prototype ones such as $Z_2$ toric code models in any dimensions no less than two, and the X-cube fracton model, but also more diverse ones such as the $Z_2\times Z_2$ topological order, the 4d $Z_2$ topological order with pure-loop excitations, etc. The boundary of the solvable model is potentially anomalous and corresponds to precisely only sectors of the GI model that host certain total symmetry charges and/or satisfy certain boundary conditions. We derive a concrete condition for such bulk-boundary correspondence. The condition is violated only when the bulk model is either trivial or fracton ordered. A generalized notion of Kramers-Wannier duality plays an important role in the construction. Also, utilizing the duality, we find an example where a single anomalous theory can be realized on the boundaries of two distinct bulk fracton models, a phenomenon not expected in the case of topological orders. More generally, topological orders may also be generated starting with lattice models beyond the GI models, such as those with symmetry protected topological orders, through a variant bulk construction, which we provide in an appendix.


title: On the Estimation of Peer Effects for Sampled Networks

abstract: This paper deals with the estimation of exogeneous peer effects for partially observed networks under the new inferential paradigm of design identification, which characterizes the missing data challenge arising with sampled networks with the central idea that two full data versions which are topologically compatible with the observed data may give rise to two different probability distributions. We show that peer effects cannot be identified by design when network links between sampled and unsampled units are not observed. Under realistic modeling conditions, and under the assumption that sampled units report on the size of their network of contacts, the asymptotic bias arising from estimating peer effects with incomplete network data is characterized, and a bias-corrected estimator is proposed. The finite sample performance of our methodology is investigated via simulations.


title: Intersection Two-Vehicle Crash Scenario Specification for Automated Vehicle Safety Evaluation Using Sequence Analysis and Bayesian Networks

abstract: This paper develops a test scenario specification procedure using crash sequence analysis and Bayesian network modeling. Intersection two-vehicle crash data was obtained from the 2016 to 2018 National Highway Traffic Safety Administration Crash Report Sampling System database. Vehicles involved in the crashes are specifically renumbered based on their initial positions and trajectories. Crash sequences are encoded to include detailed pre-crash events and concise collision events. Based on sequence patterns, the crashes are characterized as 55 types. A Bayesian network model is developed to depict the interrelationships among crash sequence types, crash outcomes, human factors, and environmental conditions. Scenarios are specified by querying the Bayesian network conditional probability tables. Distributions of operational design domain attributes - such as driver behavior, weather, lighting condition, intersection geometry, traffic control device - are specified based on conditions of sequence types. Also, distribution of sequence types is specified on specific crash outcomes or combinations of operational design domain attributes.


title: A Causality-Based Learning Approach for Discovering the Underlying Dynamics of Complex Systems from Partial Observations with Stochastic Parameterization

abstract: Discovering the underlying dynamics of complex systems from data is an important practical topic. Constrained optimization algorithms are widely utilized and lead to many successes. Yet, such purely data-driven methods may bring about incorrect physics in the presence of random noise and cannot easily handle the situation with incomplete data. In this paper, a new iterative learning algorithm for complex turbulent systems with partial observations is developed that alternates between identifying model structures, recovering unobserved variables, and estimating parameters. First, a causality-based learning approach is utilized for the sparse identification of model structures, which takes into account certain physics knowledge that is pre-learned from data. It has unique advantages in coping with indirect coupling between features and is robust to the stochastic noise. A practical algorithm is designed to facilitate the causal inference for high-dimensional systems. Next, a systematic nonlinear stochastic parameterization is built to characterize the time evolution of the unobserved variables. Closed analytic formula via an efficient nonlinear data assimilation is exploited to sample the trajectories of the unobserved variables, which are then treated as synthetic observations to advance a rapid parameter estimation. Furthermore, the localization of the state variable dependence and the physics constraints are incorporated into the learning procedure, which mitigate the curse of dimensionality and prevent the finite time blow-up issue. Numerical experiments show that the new algorithm succeeds in identifying the model structure and providing suitable stochastic parameterizations for many complex nonlinear systems with chaotic dynamics, spatiotemporal multiscale structures, intermittency, and extreme events.


title: Phononic-crystal cavity magnomechanics

abstract: Establishing a way to control magnetic dynamics and elementary excitations (magnons) is crucial to fundamental physics and the search for novel phenomena and functions in magnetic solid-state systems. Electromagnetic waves have been developed as means of driving and sensing in magnonic and spintronics devices used in magnetic spectroscopy, non-volatile memory, and information processors. However, their millimeter-scale wavelengths and undesired cross-talk have limited operation efficiency and made individual control of densely integrated magnetic systems difficult. Here, we utilize acoustic waves (phonons) to control magnetic dynamics in a miniaturized phononic crystal micro-cavity and waveguide architecture. We demonstrate acoustic pumping of localized ferromagnetic magnons, where their back-action allows dynamic and mode-dependent modulation of phononic cavity resonances. The phononic crystal platform enables spatial driving, control and read-out of tiny magnetic states and provides a means of tuning acoustic vibrations with magnons. This alternative technology enhances the usefulness of magnons and phonons for advanced sensing, communications and computation architectures that perform transduction, processing, and storage of classical and quantum information.


title: A Risk-Sensitive Approach to Policy Optimization

abstract: Standard deep reinforcement learning (DRL) aims to maximize expected reward, considering collected experiences equally in formulating a policy. This differs from human decision-making, where gains and losses are valued differently and outlying outcomes are given increased consideration. It also fails to capitalize on opportunities to improve safety and/or performance through the incorporation of distributional context. Several approaches to distributional DRL have been investigated, with one popular strategy being to evaluate the projected distribution of returns for possible actions. We propose a more direct approach whereby risk-sensitive objectives, specified in terms of the cumulative distribution function (CDF) of the distribution of full-episode rewards, are optimized. This approach allows for outcomes to be weighed based on relative quality, can be used for both continuous and discrete action spaces, and may naturally be applied in both constrained and unconstrained settings. We show how to compute an asymptotically consistent estimate of the policy gradient for a broad class of risk-sensitive objectives via sampling, subsequently incorporating variance reduction and regularization measures to facilitate effective on-policy learning. We then demonstrate that the use of moderately "pessimistic" risk profiles, which emphasize scenarios where the agent performs poorly, leads to enhanced exploration and a continual focus on addressing deficiencies. We test the approach using different risk profiles in six OpenAI Safety Gym environments, comparing to state of the art on-policy methods. Without cost constraints, we find that pessimistic risk profiles can be used to reduce cost while improving total reward accumulation. With cost constraints, they are seen to provide higher positive rewards than risk-neutral approaches at the prescribed allowable cost.


title: Spatial Equity of Micromobility Systems: A Comparison of Shared E-scooters and Station-based Bikeshare in Washington DC

abstract: Many cities around the world have introduced dockless micromobility services in recent years and witnessed their rapid growth. Shared dockless e-scooters have the potential to benefit neighborhoods that lack access to station-based bikeshare services, but they may also exacerbate the existing spatial disparities. While some studies have examined the equity of station-based bikeshare systems, limited knowledge is available regarding dockless e-scooter services. This study uses Washington DC as a case study, a city with both dockless e-scooter and station-based bikeshare systems, to conduct equity analysis of the two types of micromobility options. We develop an analytical framework to examine how dockless e-scooter and station-based bikeshare differ on a set of equity-related outcomes (i.e., availability, accessibility, usage, and idle time) across neighborhoods of different socioeconomic categories. Results reveal that dockless e-scooter services increase accessibility to shared micromobility options for disadvantaged neighborhoods but also widen the access gap across neighborhoods. Compared to bikeshare, shared e-scooters have a higher level of spatial accessibility overall due to greater supply; however, the greater supply largely leads to longer average idle time of shared e-scooters rather than a greater number of trips. Finally, it appears that the bikeshare system's equity program effectively promotes low-income use but e-scooters' equity programs do not. Our findings suggest that increasing vehicle supply alone would probably not lead to higher micromobility use in disadvantaged neighborhoods. Instead, policymakers should combine a variety of strategies such as promoting the enrollment of equity programs and reducing access barriers (e.g., smartphone and banking requirements) to micromobility services.


title: Numerical weighted integration of functions having mixed smoothness

abstract: We investigate the approximation of weighted integrals over $\mathbb{R}^d$ for integrands from weighted Sobolev spaces of mixed smoothness. We prove upper and lower bounds of the convergence rate of optimal quadratures with respect to $n$ integration nodes for functions from these spaces. In the one-dimensional case $(d=1)$, we obtain the right convergence rate of optimal quadratures. For $d \ge 2$, the upper bound is performed by sparse-grid quadratures with integration nodes on step hyperbolic crosses in the function domain $\mathbb{R}^d$.


title: Flexibility of Affine cones over Mukai fourfolds of genus $g\ge7$

abstract: We show that the affine cones over a general Fano-Mukai fourfold of genus $g=7$, $8$ and $9$ are flexible. Equivalently, there is an infinitely transitive action of the special automorphism group on such affine cones. In particular, any Mukai fourfold of genus $7,8$ and $9$ is $\Bbb A^2$-cylindrical.


title: 3M: An Effective Multi-view, Multi-granularity, and Multi-aspect Modeling Approach to English Pronunciation Assessment

abstract: As an indispensable ingredient of computer-assisted pronunciation training (CAPT), automatic pronunciation assessment (APA) plays a pivotal role in aiding self-directed language learners by providing multi-aspect and timely feedback. However, there are at least two potential obstacles that might hinder its performance for practical use. On one hand, most of the studies focus exclusively on leveraging segmental (phonetic)-level features such as goodness of pronunciation (GOP); this, however, may cause a discrepancy of feature granularity when performing suprasegmental (prosodic)-level pronunciation assessment. On the other hand, automatic pronunciation assessments still suffer from the lack of large-scale labeled speech data of non-native speakers, which inevitably limits the performance of pronunciation assessment. In this paper, we tackle these problems by integrating multiple prosodic and phonological features to provide a multi-view, multi-granularity, and multi-aspect (3M) pronunciation modeling. Specifically, we augment GOP with prosodic and self-supervised learning (SSL) features, and meanwhile develop a vowel/consonant positional embedding for a more phonology-aware automatic pronunciation assessment. A series of experiments conducted on the publicly-available speechocean762 dataset show that our approach can obtain significant improvements on several assessment granularities in comparison with previous work, especially on the assessment of speaking fluency and speech prosody.


title: Performance Analysis of OMP in Super-Resolution

abstract: Given a spectrally sparse signal $\mathbf{y} = \sum_{i=1}^s x_i\mathbf{f}(\tau_i) \in \mathbb{C}^{2n+1}$ consisting of $s$ complex sinusoids, we consider the super-resolution problem, which is about estimating frequency components $\{\tau_i\}_{i=1}^s$ of $\mathbf y$. We consider the OMP-type algorithms for super-resolution, which is more efficient than other approaches based on Semi-Definite Programming. Our analysis shows that a two-stage algorithm with OMP initialization can recover frequency components under the separation condition $n\Delta \gtrsim \text{dyn}(\mathbf{x})$ and the dependency on $\text{dyn}(\mathbf{x})$ is inevitable for the vanilla OMP algorithm. We further show that the Sliding-OMP algorithm, a variant of the OMP algorithm with an additional refinement step at each iteration, is provable to recover $\{\tau_i\}_{i=1}^s$ under the separation condition $n\Delta \geq c$. Moreover, our result can be extended to an incomplete measurement model with $O( s^2\log n)$ measurements.


title: On Hilbert coefficients and sequentially generalized Cohen-Macaulay modules

abstract: This paper shows that if $R$ is a homomorphic image of a Cohen-Macaulay local ring, then $R$-module $M$ is sequentially generalized Cohen-Macaulay if and only if the difference between Hilbert coefficients and arithmetic degrees for all distinguished parameter ideals of $M$ are bounded.


title: Measurement-induced nuclear spin polarization

abstract: We propose a nuclear-spin-polarization protocol in a general evolution-and-measurement framework. The protocol works in a spin-star configuration, where the central spin is coupled to the surrounding bath (nuclear) spins by flip-flop interaction of equal strength and is subject to a sequence of projective measurements on its ground state. Then a nondeterministic nuclear spin polarization could be implemented by entropy reduction through measurement. The optimized measurement-interval $\tau_{\rm opt}$ is analytically obtained in the near-resonant condition, which is relevant to the nuclear spins' polarization degree of the last-round measurement, the number of nuclear spins, and the coupling strength between the central spin and nuclear spins. Hundreds and even thousands of randomly aligned nuclear spins at the thermal state could be almost fully polarized with an optimized sequence of less than $20$ unequal-time-spacing measurements. In comparison to the conventional approaches, our protocol is not sensitive to the magnetic-field intensity, and it is robust against the extra counterrotating interaction in the near-resonant situation.


title: Quantum excitations of static charges in the Ginzburg-Landau model of superconductivity

abstract: We point out that in superconductors there may exist localized quantum excitations of the electric and condensate fields surrounding a static charge, which cannot be interpreted as simply the ground state of the screened charge plus some number of massive photons. This is illustrated via a lattice Monte Carlo calculation of the energy spectrum of a pair of separated static charges in an effective Ginzburg-Landau model of superconductivity.


title: Resilience assessment and improvement for electric power transmission systems against typhoon disasters: A data-model hybrid driven approach

abstract: In response to the damage to electric power transmission systems caused by typhoon disasters in coastal areas, a planning-targeted resilience assessment framework that considers the impact of multiple factors is established to accurately find the weak links of the transmission system and improve the system resilience. Firstly, this paper constructs the attenuation model of the wind field and the comprehensive failure model of the system, in which the model drive to establish the cumulative failure model of the transmission system is adopted, and multiple data-driven schemes to correct the cumulative failure rate by relying on the feature factor information of the transmission system is adopted. At the same time, an analytic hierarchy process-weighted arithmetic averaging (AHP-WAA) method is introduced to select the optimal data-driven evaluation scheme. Secondly, this paper adopts the impact-increment-based state enumeration (IISE) method to establish resilience indicators for systems and corridors separately. On this basis, the optimal promotion strategy is selected according to the construction difficulty, resilience improvement ability, and cost analysis. Finally, simulations on the IEEE RTS-79 system have been carried out considering the influence of the real typhoon scenarios, micro-topographic and transmission corridor information factors. The results demonstrate that the hybrid-driven system resilience assessment and improvement method can assist planners in accurately judging the resilience level of the system against typhoon disasters and selecting the best resilience improvement strategy based on the cost-effectiveness ratio.


title: Effective, Platform-Independent GUI Testing via Image Embedding and Reinforcement Learning

abstract: Software applications have been playing an increasingly important role in various aspects of society. In particular, mobile apps and web apps are the most prevalent among all applications and are widely used in various industries as well as in people's daily lives. To help ensure mobile and web app quality, many approaches have been introduced to improve app GUI testing via automated exploration. Despite the extensive effort, existing approaches are still limited in reaching high code coverage, constructing high-quality models, and being generally applicable. Reinforcement learning-based approaches are faced with difficult challenges, including effective app state abstraction, reward function design, etc. Moreover, they heavily depend on the specific execution platforms, thus leading to poor generalizability and being unable to adapt to different platforms. We propose PIRLTest, an effective platform-independent approach for app testing. It utilizes computer vision and reinforcement learning techniques in a novel, synergistic manner for automated testing. It extracts the GUI widgets from GUI pages and characterizes the corresponding GUI layouts, embedding the GUI pages as states. The app GUI state combines the macroscopic perspective and the microscopic perspective, and attaches the critical semantic information from GUI images. This enables PIRLTest to be platform-independent and makes the testing approach generally applicable on different platforms. PIRLTest explores apps with the guidance of a curiosity-driven strategy, which uses a Q-network to estimate the values of specific state-action pairs to encourage more exploration in uncovered pages without platform dependency. The exploration will be assigned with rewards for all actions, which are designed considering both the app GUI states and the concrete widgets, to help the framework explore more uncovered pages.


title: Learning Local Volt/Var Controllers Towards Efficient Network Operation with Stability Guarantees

abstract: This paper considers the problem of voltage regulation in distribution networks. The primary motivation is to keep voltages within preassigned operating limits by commanding the reactive power output of distributed energy resources (DERs) deployed in the grid. We develop a framework for developing local Volt/Var control that comprises two main steps. In the first, by exploiting historical data and for each DER, we learn a function representing the desirable equilibrium points for the power network. These points approximate solutions of an Optimal Power Flow (OPF) problem. In the second, we propose a control scheme for steering the network towards these favorable configurations. Theoretical conditions are derived to formally guarantee the stability of the developed control scheme, and numerical simulations illustrate the effectiveness of the proposed approach.