title: Smooth maps on convex sets

abstract: There are several notions of a smooth map from a convex set to a cartesian space. Some of these notions coincide, but not all of them do. We construct a real-valued function on a convex subset of the plane that does not extend to a smooth function on any open neighbourhood of the convex set, but that for each $k$ extends to a $C^k$ function on an open neighbourhood of the convex set. It follows that the diffeological and Sikorski notions of smoothness on convex sets do not coincide. We show that, for a convex set that is locally closed, these notions do coincide. With the diffeological notion of smoothness for convex sets, we then show that the category of diffeological spaces is isomorphic to the category of so-called exhaustive Chen spaces.


title: A regularity result for the free boundary compressible Euler equations of a liquid

abstract: We derive a priori estimates for the compressible free boundary Euler equations in the case of a liquid without surface tension. We provide a new weighted functional framework which leads to the improved regularity of the flow map by using the Hardy inequality. One of main ideas is to decompose the initial density function. It is worth mentioning that in our analysis we do not need the higher order wave equation for the density.


title: Excitonic Spin-Coherence Lifetimes in CdSe Nanoplatelets Increase Significantly with Core/Shell Morphology

abstract: We report spin-polarized transient absorption for colloidal CdSe nanoplatelets as functions of thickness (2 to 6 monolayer thickness) and core/shell motif. Using electro-optical modulation of co- and cross-polarization pump-probe combinations, we sensitively observe spin-polarized transitions. Core-only nanoplatelets exhibit few-picosecond spin lifetimes that weakly increase with layer thickness. Spectral content of differenced spin-polarized signals indicate biexciton binding energies that decrease with increasing thickness and smaller values than previously reported. Shell growth of CdS with controlled thicknesses, which partially delocalize the electron from the hole, significantly increases the spin lifetime to ~49 picoseconds at room temperature. Implementation of ZnS shells, which do not alter delocalization but do alter surface termination, increased spin lifetimes up to ~100 ps, bolstering the interpretation that surface termination heavily influences spin coherence, likely due to passivation of dangling bonds. Spin precession in magnetic fields both confirms long coherence lifetime at room temperature and yields excitonic g-factor.


title: Depolarization of opinions on social networks through random nudges

abstract: Polarization of opinions has been empirically noted in many online social network platforms. Traditional models of opinion dynamics, based on statistical physics principles, do not account for the emergence of polarization and echo chambers in online network platforms. A recently introduced opinion dynamics model that incorporates the homophily factor -- the tendency of agents to connect with those holding similar opinions as their own -- captures polarization and echo chamber effects. In this work, we provide a non-intrusive framework for mildly nudging agents in an online community to form random connections. This is shown to lead to significant depolarization of opinions and decrease the echo chamber effects. Remarkably, even a mild nudge is seen to be effective in avoiding polarization, though a large nudge leads to another undesirable effect, namely, radicalization. Further, we obtain the optimal nudge factor to avoid the extremes of polarization and radicalization outcomes.


title: Losses over Labels: Weakly Supervised Learning via Direct Loss Construction

abstract: Owing to the prohibitive costs of generating large amounts of labeled data, programmatic weak supervision is a growing paradigm within machine learning. In this setting, users design heuristics that provide noisy labels for subsets of the data. These weak labels are combined (typically via a graphical model) to form pseudolabels, which are then used to train a downstream model. In this work, we question a foundational premise of the typical weakly supervised learning pipeline: given that the heuristic provides all ``label" information, why do we need to generate pseudolabels at all? Instead, we propose to directly transform the heuristics themselves into corresponding loss functions that penalize differences between our model and the heuristic. By constructing losses directly from the heuristics, we can incorporate more information than is used in the standard weakly supervised pipeline, such as how the heuristics make their decisions, which explicitly informs feature selection during training. We call our method Losses over Labels (LoL) as it creates losses directly from heuristics without going through the intermediate step of a label. We show that LoL improves upon existing weak supervision methods on several benchmark text and image classification tasks and further demonstrate that incorporating gradient information leads to better performance on almost every task.


title: Optimization strategies and artefacts of time-involved small angle neutron scattering experiments

abstract: Kinetic small-angle neutron scattering provides access to the microscopic properties of mesoscale systems under slow, periodic perturbations. By interlocking the phases of neutron pulse, sample modulation, and detector signal, so-called Time-Involved Small Angle Neutron scattering Experiments (TISANE) allow to exploit the neutron velocity spread and record data without major sacrifice in intensity at time-scales down to micro-seconds. We review the optimization strategies of TISANE that arise from specific aspects of the process of data acquisition and data analysis starting from the basic principles of operation. Typical artefacts of data recorded in TISANE due to the choice of time-binning and neutron chopper pulse width are illustrated by virtue of the response of the skyrmion lattice in MnSi under periodic changes of the direction of the magnetic field stabilizing the skyrmion lattice.


title: Know What You Don't Know: Consistency in Sliding Window Filtering with Unobservable States Applied to Visual-Inertial SLAM (Extended Version)

abstract: Estimation algorithms, such as the sliding window filter, produce an estimate and uncertainty of desired states. This task becomes challenging when the problem involves unobservable states. In these situations, it is critical for the algorithm to ``know what it doesn't know'', meaning that it must maintain the unobservable states as unobservable during algorithm deployment. This letter presents general requirements for maintaining consistency in sliding window filters involving unobservable states. The value of these requirements for designing navigation solutions is experimentally shown within the context of visual-inertial SLAM making use of IMU preintegration.


title: An adaptive spectral method for oscillatory second-order linear ODEs with frequency-independent cost

abstract: We introduce an efficient numerical method for second order linear ODEs whose solution may vary between highly oscillatory and slowly changing over the solution interval. In oscillatory regions the solution is generated via a nonoscillatory phase function that obeys the nonlinear Riccati equation. We propose a defect-correction iteration that gives an asymptotic series for such a phase function; this is numerically approximated on a Chebyshev grid with a small number of nodes. For analytic coefficients we prove that each iteration, up to a certain maximum number, reduces the residual by a factor of order of the local frequency. The algorithm adapts both the step size and the choice of method, switching to a conventional spectral collocation method away from oscillatory regions. In numerical experiments we find that our proposal outperforms other state-of-the-art oscillatory solvers, most significantly at low-to-intermediate frequencies and at low tolerances, where it may use up to $10^6$ times fewer function evaluations. Even in high frequency regimes, our implementation is on average 10 times faster than other specialized solvers.


title: On the Relationship Between Explanation and Prediction: A Causal View

abstract: Being able to provide explanations for a model's decision has become a central requirement for the development, deployment, and adoption of machine learning models. However, we are yet to understand what explanation methods can and cannot do. How do upstream factors such as data, model prediction, hyperparameters, and random initialization influence downstream explanations? While previous work raised concerns that explanations (E) may have little relationship with the prediction (Y), there is a lack of conclusive study to quantify this relationship. Our work borrows tools from causal inference to systematically assay this relationship. More specifically, we study the relationship between E and Y by measuring the treatment effect when intervening on their causal ancestors, i.e., on hyperparameters and inputs used to generate saliency-based Es or Ys. Our results suggest that the relationships between E and Y is far from ideal. In fact, the gap between 'ideal' case only increase in higher-performing models -- models that are likely to be deployed. Our work is a promising first step towards providing a quantitative measure of the relationship between E and Y, which could also inform the future development of methods for E with a quantitative metric.


title: Nanopowder Diffraction

abstract: As in the available literature there are still misconceptions about powder diffraction phenomena observed for small nanocrystals ($D<10$ nm), we propose here a systematic and concise review of the involved issues that can be approached by atomistic simulations. Most of phenomenological tools of powder diffraction can be now verified constructing realistic atomistic models, following their thermodynamics and impact on the diffraction pattern. The models concern small cuts of the perfect lattice as well as relaxed nanocrystals also with typical strain and faults, proven by experiments to approximate the real nanocrystals. The discussed examples concern metal nanocrystals. We describe the origin of peak shifts that for cuts of the perfect lattice are mostly due to multiplying of broad profiles by steep slope factors -- atomic scattering and Lorentz. The Lorentz factor embedded in the Debye summation is discussed in more detail. For models relaxed with realistic force fields and for the real nanocrystals the peak shift additionally includes contribution from surface relaxation which enables development of an experimental {\it{in situ }} method sensitive to the state of the surface. Such results are briefly reviewed. For small fcc nanocrystals we discuss the importance and effect of multiple (111) cross twinning on the peak shift and height. The strain and size effects for the perfect multitwinned clusters -- decahedra and icosahedra, are explained and visualised. The manuscript proposes new methods to interpret powder diffraction patterns of real, defected (twinned) fcc nanoparticles and points to unsuitability of the Rietveld method in this case.


title: A spectroscopic multiplicity survey of Galactic Wolf-Rayet stars. III. The northern late-type nitrogen-rich sample

abstract: Massive stars are powerful cosmic engines. In the phases immediately preceding core-collapse, massive stars in the Galaxy with $M_i \gtrsim 20$ $M_{\odot}$ may appear as classical Wolf-Rayet (WR) stars. As the final contribution of a homogeneous RV survey, this work constrains the multiplicity properties of northern Galactic late-type nitrogen-rich Wolf-Rayet (WNL) stars. We compare their intrinsic binary fraction and orbital period distribution to the carbon-rich (WC) and early-type nitrogen-rich (WNE) populations from previous works. We obtained high-resolution spectra of the complete magnitude-limited sample of 11 Galactic WNL stars with the Mercator telescope on the island of La Palma. We used cross-correlation to measure relative RVs and flagged binary candidates based on the peak-to-peak RV dispersion. By using Monte Carlo sampling and a Bayesian framework, we computed the three-dimensional likelihood and one-dimensional posteriors for the upper period cut-off, power-law index, and intrinsic binary fraction. Adopting a threshold $C$ of 50 km s$^{-1}$, our Bayesian analysis produced an intrinsic fraction of $0.42\substack{+0.15 \\ -0.17}$ for the parent WNL population alongside distributions for the power-law index and the orbital periods. The observed period distribution of Galactic WN and WC binaries from the literature is in agreement with what is found. The period distribution of Galactic WN binaries peaks at $P{\sim}1$-$10$d and that of the WC population at $P{\sim}5000\,$d. This shift cannot be reconciled by orbital evolution due to mass loss or mass transfer. At long periods, the evolutionary sequence O($\xrightarrow{}$LBV)$\xrightarrow{}$WN$\xrightarrow{}$WC seems feasible. The high frequency of short-period WN binaries compared to WC binaries suggests that they either tend to merge or that the WN components in these binaries rarely evolve into WC stars in the Galaxy.


title: A graph-state based synthesis framework for Clifford isometries

abstract: We tackle the problem of Clifford isometry compilation, i.e, how to synthesize a Clifford isometry into an executable quantum circuit. We propose a simple framework for synthesis that only exploits the elementary properties of the Clifford group and one equation of the symplectic group. We highlight the versatility of our framework by showing that several normal forms of the literature are natural corollaries. We report an improvement of the two-qubit depth necessary for the execution of a Clifford circuit on an LNN architecture. We also apply our framework to the synthesis of graph states and the codiagonalization of Pauli rotations and we improve the 2-qubit count and 2-qubit depth of circuits taken from quantum chemistry experiments.


title: Generating extreme quantum scattering in graphene with machine learning

abstract: Graphene quantum dots provide a platform for manipulating electron behaviors in two-dimensional (2D) Dirac materials. Most previous works were of the "forward" type in that the objective was to solve various confinement, transport and scattering problems with given structures that can be generated by, e.g., applying an external electrical field. There are applications such as cloaking or superscattering where the challenging problem of inverse design needs to be solved: finding a quantum-dot structure according to certain desired functional characteristics. A brute-force search of the system configuration based directly on the solutions of the Dirac equation is computational infeasible. We articulate a machine-learning approach to addressing the inverse-design problem where artificial neural networks subject to physical constraints are exploited to replace the rigorous Dirac equation solver. In particular, we focus on the problem of designing a quantum dot structure to generate both cloaking and superscattering in terms of the scattering efficiency as a function of the energy. We construct a physical loss function that enables accurate prediction of the scattering characteristics. We demonstrate that, in the regime of Klein tunneling, the scattering efficiency can be designed to vary over two orders of magnitudes, allowing any scattering curve to be generated from a proper combination of the gate potentials. Our physics-based machine-learning approach can be a powerful design tool for 2D Dirac material-based electronics.


title: Tuning the parity of superconductivity in CeRh2As2 via pressure

abstract: In the recently discovered heavy fermion superconductor CeRh2As2, a magnetic field induced phase transition has been observed inside the superconducting state, which is proposed to be a transition from an even to an odd-parity superconducting state. The odd-parity superconducting state and its large upper critical field has been explained by local inversion symmetry breaking and consequent Rashba spin-orbit coupling. Here we report the experimental tuning of the parity of superconductivity in CeRh2As2 via applied pressure. Superconductivity is enhanced by pressure after its initial suppression, forming a second dome. However, the odd-parity state only exists in the first dome and the second dome is dominated by the even-parity state. This parity switch of superconductivity under pressure is consistent with the competition between Rashba spin-orbit coupling and interlayer hopping in determining the parity of superconductivity in systems with local inversion symmetry breaking. Our results provide insightful guidance on how to look for new odd-parity superconductors.


title: Testing the Graph of a Gaussian Graphical Model

abstract: The Gaussian graphical model is routinely employed to model the joint distribution of multiple random variables. The graph it induces is not only useful for describing the relationship between random variables but also critical for improving statistical estimation precision. In high-dimensional data analysis, despite an abundant literature on estimating this graph structure, tests for the adequacy of its specification at a global level is severely underdeveloped. To make progress, this paper proposes a novel goodness-of-fit test that is computationally easy and theoretically tractable. Under the null hypothesis, it is shown that asymptotic distribution of the proposed test statistic follows a Gumbel distribution. Interestingly the location parameter of this limiting Gumbel distribution depends on the dependence structure under the null. We further develop a novel consistency-empowered test statistic when the true structure is nested in the postulated structure, by amplifying the noise incurred in estimation. Extensive simulation illustrates that the proposed test procedure has the right size under the null, and is powerful under the alternative. As an application, we apply the test to the analysis of a COVID-19 data set, demonstrating that our test can serve as a valuable tool in choosing a graph structure to improve estimation efficiency.


title: Multiplication Kernels for the Analytic Langlands Program in Genus Zero

abstract: We provide an explicit proof of a recent result of Gaiotto arXiv:2110.02255 which gives an explicit formula for a so-called "multiplication kernel'' $K_3(x, y, z; t)$ intertwining the action of Hecke operators and Gaudin operators in three sets of variables. This function $K_3$ arises naturally in the context of the analytic formulation of the geometric Langlands program in the genus-zero case arXiv:1908.09677, arXiv:2103.01509, arXiv:2106.05243. We also discuss how the kernel $K_3$ relates to other objects typically considered in the analytic Langlands program.


title: Paraphrase Identification with Deep Learning: A Review of Datasets and Methods

abstract: The rapid advancement of AI technology has made text generation tools like GPT-3 and ChatGPT increasingly accessible, scalable, and effective. This can pose serious threat to the credibility of various forms of media if these technologies are used for plagiarism, including scientific literature and news sources. Despite the development of automated methods for paraphrase identification, detecting this type of plagiarism remains a challenge due to the disparate nature of the datasets on which these methods are trained. In this study, we review traditional and current approaches to paraphrase identification and propose a refined typology of paraphrases. We also investigate how this typology is represented in popular datasets and how under-representation of certain types of paraphrases impacts detection capabilities. Finally, we outline new directions for future research and datasets in the pursuit of more effective paraphrase detection using AI.


title: Spectral CT Reconstruction via Low-rank Representation and Structure Preserving Regularization

abstract: With the development of computed tomography (CT) imaging technology, it is possible to acquire multi-energy data by spectral CT. Being different from conventional CT, the X-ray energy spectrum of spectral CT is cutting into several narrow bins which leads to the result that only a part of photon can be collected in each individual energy channel, which cause the image qualities to be severely degraded by noise and artifacts. To address this problem, we propose a spectral CT reconstruction algorithm based on low-rank representation and structure preserving regularization in this paper. To make full use of the prior knowledge about both the inter-channel correlation and the sparsity in gradient domain of inner-channel data, this paper combines a low-rank correlation descriptor with a structure extraction operator as priori regularization terms for spectral CT reconstruction. Furthermore, a split-Bregman based iterative algorithm is developed to solve the reconstruction model. Finally, we propose a multi-channel adaptive parameters generation strategy according to CT values of each individual energy channel. Experimental results on numerical simulations and real mouse data indicate that the proposed algorithm achieves higher accuracy on both reconstruction and material decomposition than the methods based on simultaneous algebraic reconstruction technique (SART), total variation minimization (TVM), total variation with low-rank (LRTV), and spatial-spectral cube matching frame (SSCMF). Compared with SART, our algorithm improves the feature similarity (FSIM) by 40.4% on average for numerical simulation reconstruction, whereas TVM, LRTV, and SSCMF correspond to 26.1%, 28.2%, and 29.5%, respectively.


title: The partition function modulo 4

abstract: It is widely believed that the parity of the partition function $p(n)$ is ``random.'' Contrary to this expectation, in this note we prove the existence of infinitely many congruence relations modulo 4 among its values. For each square-free integer $1<D\equiv 23\pmod{24},$ we construct a weight 2 meromorphic modular form that is congruent modulo 4 to a certain twisted generating function for the numbers $p\big(\frac{Dm^2+1}{24}\big)\pmod 4$. We prove the existence of infinitely many linear dependence congruences modulo 4 among suitable sets of holomorphic normalizations of these series. These results rely on the theory of class numbers and Hilbert class polynomials, and {\it generalized twisted Borcherds products} developed by Bruinier and the author.


title: Extended transfer matrix method for electron transmission in anisotropic 2D materials: Interplay of strain and (a)periodicity of potentials

abstract: We extend the conventional transfer matrix method to include anisotropic features for electron transmission in two-dimensional materials, such as breaking reflection law in pseudo-spin phases and wave vectors. This method allows to study transmission properties of anisotropic and stratified electrostatic potential media from a wide range of tunable parameters, which include strain tensor and gating. We apply the extended matrix method to obtain the electron transmission, conductance, and Fano factor for the interplay of an uniaxially strained graphene sheet with external one-dimensional aperiodic potentials. Our results suggest the possibility of visualizing this interplay from conductance measurements.


title: On the $\infty$-topos semantics of homotopy type theory

abstract: Many introductions to homotopy type theory and the univalence axiom gloss over the semantics of this new formal system in traditional set-based foundations. This expository article, written as lecture notes to accompany a 3-part mini course delivered at the Logic and Higher Structures workshop at CIRM-Luminy, attempts to survey the state of the art, first presenting Voevodsky's simplicial model of univalent foundations and then touring Shulman's vast generalization, which provides an interpretation of homotopy type theory with strict univalent universes in any $\infty$-topos. As we will explain, this achievement was the product of a community effort to abstract and streamline the original arguments as well as develop new lines of reasoning.


title: Wilcoxon-Mann-Whitney Effects for Clustered Data: Informative Cluster Size

abstract: In clustered data setting, informative cluster size has been a focus of recent research. In the nonparametric context, the problem has been considered mainly for testing equality of distribution functions. The aim in this paper is to develop inferential procedure for the Wilcoxon-Mann-Whintey effect (also known as the nonprametric relative effect). Unbiased estimator is provided and its asymptotic properties are investigated. The asymptotic theory is employed to develop inferential methods. While the proposed method takes information in the cluster sizes into consideration when constructing the estimator, it is equally applicable for ignorable cluster size situation. Simulation results show that our method appropriately accounts for informative cluster size and it generally outperforms existing methods, especially those designed under ignorable cluster sizes. The applications of the method is illustrated using data from a longitudinal study of alcohol use and a periodontal study.


title: Shock impingement on a transitional hypersonic high-enthalpy boundary layer

abstract: The dynamics of a shock wave impinging on a transitional high-enthalpy boundary layer out of thermochemical equilibrium is investigated for the first time by means of a direct numerical simulation. The freestream Mach number is equal to 9 and the oblique shock impinges with a cooled flat-plate boundary layer with an angle of 10{\deg}, generating a reversal flow region. In conjunction with freestream disturbances, the shock impingement triggers a transition to a fully turbulent regime shortly downstream of the interaction region. Accordingly, wall properties emphasize the presence of a laminar region, a recirculation bubble, a transitional zone and fully turbulent region. The breakdown to turbulence is characterized by an anomalous increase of skin friction and wall heat flux, due to the particular shock pattern. At the considered thermodynamic conditions the flow is found to be in a state of thermal non-equilibrium throughout, with non-equilibrium effects enhanced and sustained by the shock-induced laminar/turbulent transition, while chemical activity is almost negligible due to wall cooling. In the interaction region, relaxation towards thermal equilibrium is delayed and the fluctuating values of the rototranslational and the vibrational temperatures strongly differ, despite the strong wall-cooling. The fully turbulent portion exhibits evolutions of streamwise velocity, Reynolds stresses and turbulent Mach number in good accordance with previous results for highly-compressible cooled-wall boundary layers in thermal nonequilibrium, with turbulent motions sustaining thermal nonequilibrium. Nevertheless, the vibrational energy is found to contribute little to the total wall heat flux.


title: Heuristically Guided Compilation for Multi-Agent Path Finding

abstract: Multi-agent path finding (MAPF) is a task of finding non-conflicting paths connecting agents' specified initial and goal positions in a shared environment. We focus on compilation-based solvers in which the MAPF problem is expressed in a different well established formalism such as mixed-integer linear programming (MILP), Boolean satisfiability (SAT), or constraint programming (CP). As the target solvers for these formalisms act as black-boxes it is challenging to integrate MAPF specific heuristics in the MAPF compilation-based solvers. We show in this work how the build a MAPF encoding for the target SAT solver in which domain specific heuristic knowledge is reflected. The heuristic knowledge is transferred to the SAT solver by selecting candidate paths for each agent and by constructing the encoding only for these candidate paths instead of constructing the encoding for all possible paths for an agent. The conducted experiments show that heuristically guided compilation outperforms the vanilla variants of the SAT-based MAPF solver.


title: A Metric Graph for Which the Number of Possible Endpoints of a Random Walk Grows Minimally

abstract: We prove that metric graph with the minimal growth of the number of possible endpoints of a random walk is the union of several linear paths coming out of the same vertex


title: Modeling Supernovae as an Optically Thick Fireball

abstract: We calculate the properties of 135 stellar supernovae using data from the Open Supernova Catalog. We generate temperatures, radii, luminosities, and expansion velocities using a spherically symmetric optically thick fireball model. These modeled parameters reveal trends that are common across different types of supernovae. We have identified distinct phases that appear across Type Ia, II, II P, and IIb supernovae. We note that there is a long period of reasonable continuous growth (Phase 1), giving credence to our simple model of an optically thick fireball. The modeled radius reaches a maximum value beyond which it is flat or decreases (Phase 2). The temperature we observe at the maximum modeled radius, 4500 K, suggests that the loss of opacity due to electron recombination sets the timeline where our optically thick model no longer applies. We observe the fastest modeled fireball velocities, largest modeled fireball radii, and maximum modeled luminosities for Type Ia supernovae. As a group, Type Ia supernovae reach a maximum luminosity that is 8.5 times more luminous than Type II supernovae. We present a summary table that contains modeled parameters of supernovae and their timings by supernova classification type.


title: Frontier Orbital Degeneracy: A new Concept for Tailoring the Magnetic State in Organic Semiconductor Adsorbates

abstract: Kondo resonances in molecular adsorbates are an important building block for applications in the field of molecular spintronics. Here, we introduce the novel concept of using frontier orbital degeneracy for tailoring the magnetic state, which is demonstrated for the case of the organic semiconductor 1,4,5,8,9,11-Hexaazatriphenylenehexacarbonitrile (HATCN, C18N12) on Ag(111). Low-temperature scanning tunneling microscopy/spectroscopy (LT-STM/STS) measurements reveal the existence of two types of adsorbed HATCN molecules with distinctly different appearances and magnetic states, as evident from the presence or absence of an Abrikosov-Suhl-Kondo resonance. Our DFT results show that HATCN on Ag(111) supports two almost isoenergetic states, both with one excess electron transferred from the Ag surface, but with magnetic moments of either 0 or 0.65 uB. Therefore, even though all molecules undergo charge transfer of one electron from the Ag substrate, they exist in two different molecular magnetic states that resemble a free doublet or an entangled spin state. We explain how the origin of this behavior lies in the twofold degeneracy of the lowest unoccupied molecular orbitals of gas phase HATCN, lifted upon adsorption and charge-transfer from Ag(111). Our combined STM and DFT study introduces a new pathway to tailoring the magnetic state of molecular adsorbates on surfaces, with significant potential for spintronics and quantum information science.


title: Where are the vulnerable children? Identification and comparison of clusters of young children with health and developmental vulnerabilities across Queensland

abstract: This study aimed to better understand the vulnerability of 5 to 6 year old children in their first year of school, based on five health and development domains. Identification of subgroups of children within these domains can lead to more targeted research and policies to reduce these vulnerabilities. The study focused on finding clusters of geographical regions with high and low proportions of vulnerable children in Queensland, Australia. K-means analysis was conducted on data from the Australian Early Development Census and the Australian Bureau of Statistics. The clusters were then compared with respect to their geographic locations and risk factor profiles. The results are made publicly available via an interactive dashboard application in R Shiny


title: Variational Convexity of Functions in Banach Spaces

abstract: This paper addresses the study and characterizations of variational convexity of extended-real-valued functions on Banach spaces. This notion has been recently introduced by Rockafellar, and its importance has been already realized and applied to continuous optimization problems in finite-dimensional spaces. Variational convexity in infinite-dimensional spaces, which is studied here for the first time, is significantly more involved and requires the usage of powerful tools of geometric functional analysis together with variational analysis and generalized differentiation in Banach spaces.


title: The multiplicative K-theory of compact quantum spaces

abstract: In this paper, we refine the classification of compact quantum spaces by K-theory type. We do it by introducing a multiplicative K-theory functor for unital C*-algebras taking values in the category of augmented rings, together with a natural transformation to the standard K-theory functor, taking values in the category of abelian groups. The multiplicative K-theory type refines the K-theory type, defined in the framework of cw-Waldhausen categories. In our refinement, we require compatibility of morphisms with an additional structure which we call k-topology. This is a noncommutative version of the Grothendieck topology with covering families given by compact quantum principal bundles and bases related by suitable k-continuous maps. In the classical case of compact Hausdorff spaces, k-topology and k-continuity reduce to the usual topology and continuity, respectively, and our noncommutative counterpart of the product in K-theory reduces to the standard product in topological K-theory. As an application, we show that non-isomorphic quantizations of the standard CW-complex structure of a complex projective space belong to the same multiplicative K-theory type. In addition, for these complex quantum projective spaces, we prove a noncommutative generalization of the Atiyah--Todd calculation of the K-theory ring in terms of truncated polynomials.


title: Vector Superstrata

abstract: We present the construction of several microstate geometries of the supersymmetric D1-D5-P black hole in which, within six-dimensional supergravity, the momentum charge is carried by a vector field. The fully backreacted geometries are smooth and horizonless: They are asymptotically AdS$_3 \times S^3$ with an AdS$_2$ throat that smoothly caps off. We propose a holographic dual for these bulk solutions and discuss their extension to asymptotically flat space. In addition, we present several uplifts of the full six-dimensional supersymmetric ansatz to ten-dimensions. In particular, we show that there exists a frame in which geometries based on vector field momentum carriers are entirely in the NS-sector of supergravity, making them possible starting points for the exploration of stringy black-hole microstates.


title: QuYBE -- An Algebraic Compiler for Quantum Circuit Compression

abstract: QuYBE is an open-source algebraic compiler for the compression of quantum circuits. It has been applied for the efficient simulation of the Heisenberg Hamiltonian on quantum computers. Currently, it can simulate the time dynamics of one-dimensional chains. It includes modules to generate the quantum circuits for the above as well as produce the compressed circuits, which are independent of the time step. It utilizes the Yang-Baxter equation (YBE) to perform the compression. QuYBE enables users to seamlessly design, execute, and analyze the time dynamics of the Heisenberg Hamiltonian on quantum computers. QuYBE is the first step toward making the YBE technique available to a broader community of scientists from multiple domains. The QuYBE compiler is available at https://github.com/ZichangHe/QuYBE


title: Coupled oscillations of the Wilberforce pendulum unveiled by smartphones

abstract: The Wilberforce pendulum is a great experience for illustrating important properties of coupled oscillatory systems, such as normal modes and beat phenomena, in physics courses. A helical spring attached to a mass comprises this simple but colorful device that features longitudinal and torsional oscillations, catching the eye of students and teachers, and offering a fantastic environment to study coupled oscillations at qualitative and quantitative levels. However, the experimental setups that are commonly used to simultaneously acquire both oscillation types can be cumbersome and/or costly, often requiring two synchronised cameras, or motion sensors and photo-gates integrated by an expensive analog-to-digital converter. Here, we show that a smartphone can be the perfect device for recording the oscillations of a Wilberforce pendulum composed of just an educational helical spring and a can. Our setup employs a smartphone's accelerator and gyroscope to acquire data from the longitudinal and torsional oscillations, respectively. This setup can successfully record both normal modes and beats. Furthermore, we show that our experimentally obtained time-series and power spectra are in great agreement with simulations of the motion equations. In addition, we critically analyse how to set the initial conditions to observe both normal modes and beats. We believe our study contributes to bring the striking physics of the Wilberforce pendulum closer to undergraduate classrooms with low-cost, highly-accessible materials.


title: Pre-trained Language Models Can be Fully Zero-Shot Learners

abstract: How can we extend a pre-trained model to many language understanding tasks, without labeled or additional unlabeled data? Pre-trained language models (PLMs) have been effective for a wide range of NLP tasks. However, existing approaches either require fine-tuning on downstream labeled datasets or manually constructing proper prompts. In this paper, we propose nonparametric prompting PLM (NPPrompt) for fully zero-shot language understanding. Unlike previous methods, NPPrompt uses only pre-trained language models and does not require any labeled data or additional raw corpus for further fine-tuning, nor does it rely on humans to construct a comprehensive set of prompt label words. We evaluate NPPrompt against previous major few-shot and zero-shot learning methods on diverse NLP tasks: including text classification, text entailment, similar text retrieval, and paraphrasing. Experimental results demonstrate that our NPPrompt outperforms the previous best fully zero-shot method by big margins, with absolute gains of 12.8% in accuracy on text classification and 18.9% on the GLUE benchmark.


title: AI Ethics on Blockchain: Topic Analysis on Twitter Data for Blockchain Security

abstract: Blockchain has empowered computer systems to be more secure using a distributed network. However, the current blockchain design suffers from fairness issues in transaction ordering. Miners are able to reorder transactions to generate profits, the so-called miner extractable value (MEV). Existing research recognizes MEV as a severe security issue and proposes potential solutions, including prominent Flashbots. However, previous studies have mostly analyzed blockchain data, which might not capture the impacts of MEV in a much broader AI society. Thus, in this research, we applied natural language processing (NLP) methods to comprehensively analyze topics in tweets on MEV. We collected more than 20000 tweets with #MEV and #Flashbots hashtags and analyzed their topics. Our results show that the tweets discussed profound topics of ethical concern, including security, equity, emotional sentiments, and the desire for solutions to MEV. We also identify the co-movements of MEV activities on blockchain and social media platforms. Our study contributes to the literature at the interface of blockchain security, MEV solutions, and AI ethics.


title: Nonequilibrium Electrochemical Phase Maps: Beyond Butler-Volmer Kinetics

abstract: Electrochemical kinetics at electrode-electrolyte interfaces are crucial to understand high-rate behavior of energy storage devices. Phase transformation of electrodes is typically treated under equilibrium thermodynamic conditions, while realistic operation is at finite rates. Analyzing phase transformations under nonequilibrium conditions requires integrating nonlinear electrochemical kinetic models with thermodynamic models. This had only previously been demonstrated for Butler-Volmer kinetics, where it can be done analytically. In this work, we develop a kinetic modeling package in the Julia language capable of efficient numerical inversion of rate relationships for general kinetic models using automatic differentiation. We demonstrate building nonequilibrium phase maps, including for models such as Marcus-Hush-Chidsey that require computation of an integral, and also discuss the impact of a variety of assumptions and model parameters (such as temperature, reorganization energy, activity, and ideal solution interaction energy), particularly on high-rate phase behavior. Even for a fixed set of parameters, the magnitude of the critical current can vary by in excess of a factor of two amongst kinetic models.


title: Robust Interlayer-Coherent Quantum Hall States in Twisted Bilayer Graphene

abstract: We introduce a novel two-dimensional electronic system with ultrastrong interlayer interactions, namely twisted bilayer graphene with a large twist angle, as an ideal ground for realizing interlayer-coherent excitonic condensates. In these systems, subnanometer atomic separation between the layers allows significant interlayer interactions, while interlayer electron tunneling is geometrically suppressed due to the large twist angle. By fully exploiting these two features we demonstrate that a sequence of odd-integer quantum Hall states with interlayer coherence appears at the second Landau level (N = 1). Notably the energy gaps for these states are of order 1 K, which is several orders of magnitude greater than those in GaAs. Furthermore, a variety of quantum Hall phase transitions are observed experimentally. All the experimental observations are largely consistent with our phenomenological model calculations. Hence, we establish that a large twist angle system is an excellent platform for high-temperature excitonic condensation.


title: Ease and Equity of Point of Interest Accessibility via Public Transit in the U.S

abstract: The tool developed as a result of this paper analyzes the ease and equity of access to major POI categories (e.g. vaccination centers, grocery stores, hospitals) using public transit in major U.S. cities. We built an interactive website that enables easy exploration of current access equity and allows performing scenario analysis by introducing/removing POIs. Accessibility indices were calculated using a 2SFCA (2-step floating catchment area) approach, and ML methods were utilized for exploratory statistical analysis of the results.


title: Detecting correlated errors in twin-field quantum key distribution

abstract: We experimentally demonstrate that we can detect correlated errors in a twin-field quantum key distribution (TFQKD) system by using a technique that is related to self-consistent tomography. We implement a TFQKD system based on a fiber-Sagnac loop, in which Alice and Bob encode information in the phase of weak coherent states that propagate in opposite directions around the loop. These states interfere as they exit the loop and are detected by a third party, Charlie, who reports the results of their measurements to Alice and Bob. We find that it is possible for Alice and Bob to detect correlated state-preparation and measurement errors while trusting only their own individual states, and without trusting Charlie's measurements.


title: Verifying term graph optimizations using Isabelle/HOL

abstract: Our objective is to formally verify the correctness of the hundreds of expression optimization rules used within the GraalVM compiler. When defining the semantics of a programming language, expressions naturally form abstract syntax trees, or, terms. However, in order to facilitate sharing of common subexpressions, modern compilers represent expressions as term graphs. Defining the semantics of term graphs is more complicated than defining the semantics of their equivalent term representations. More significantly, defining optimizations directly on term graphs and proving semantics preservation is considerably more complicated than on the equivalent term representations. On terms, optimizations can be expressed as conditional term rewriting rules, and proofs that the rewrites are semantics preserving are relatively straightforward. In this paper, we explore an approach to using term rewrites to verify term graph transformations of optimizations within the GraalVM compiler. This approach significantly reduces the overall verification effort and allows for simpler encoding of optimization rules.


title: A random coloring process gives improved bounds for the Erd\H{o}s-Gy\'arf\'as problem on generalized Ramsey numbers

abstract: The Erd\H{o}s-Gy\'arf\'as number $f(n, p, q)$ is the smallest number of colors needed to color the edges of the complete graph $K_n$ so that all of its $p$-clique spans at least $q$ colors. In this paper we improve the best known upper bound on $f(n, p, q)$ for many fixed values of $p, q$ and large $n$. Our proof uses a randomized coloring process, which we analyze using the so-called differential equation method to establish dynamic concentration.


title: A Novel Active Solution for Two-Dimensional Face Presentation Attack Detection

abstract: Identity authentication is the process of verifying one's identity. There are several identity authentication methods, among which biometric authentication is of utmost importance. Facial recognition is a sort of biometric authentication with various applications, such as unlocking mobile phones and accessing bank accounts. However, presentation attacks pose the greatest threat to facial recognition. A presentation attack is an attempt to present a non-live face, such as a photo, video, mask, and makeup, to the camera. Presentation attack detection is a countermeasure that attempts to identify between a genuine user and a presentation attack. Several industries, such as financial services, healthcare, and education, use biometric authentication services on various devices. This illustrates the significance of presentation attack detection as the verification step. In this paper, we study state-of-the-art to cover the challenges and solutions related to presentation attack detection in a single place. We identify and classify different presentation attack types and identify the state-of-the-art methods that could be used to detect each of them. We compare the state-of-the-art literature regarding attack types, evaluation metrics, accuracy, and datasets and discuss research and industry challenges of presentation attack detection. Most presentation attack detection approaches rely on extensive data training and quality, making them difficult to implement. We introduce an efficient active presentation attack detection approach that overcomes weaknesses in the existing literature. The proposed approach does not require training data, is CPU-light, can process low-quality images, has been tested with users of various ages and is shown to be user-friendly and highly robust to 2-dimensional presentation attacks.


title: Mechanics of geodesics in Information geometry and Black Hole Thermodynamics

abstract: In this article we shall discuss the theory of geodesics in information geometry, and an application in astrophysics. We will study how gradient flows in information geometry describe geodesics, explore the related mechanics by introducing a constraint, and apply our theory to Gaussian model and black hole thermodynamics. Thus, we demonstrate how deformation of gradient flows leads to more general Randers-Finsler metrics, describe Hamiltonian mechanics that derive from a constraint, and prove duality via canonical transformation. We also verified our theories for a deformation of the Gaussian model, and described dynamical evolution of flat metrics for Kerr and Reissner-Nordstr\"om black holes.


title: Zero-frequency corner modes in mechanical graphene

abstract: In an unconstrained elastic body, emergence of zero natural frequencies is an expectable outcome on account of the body's ability to purely translate or rotate with no structural deformation. Recent advances in literature have pushed such conventional definition and demonstrated properties transcending typical zero-frequency modes, such as localization of deformation at a structural edge or corner. In this paper, a spring-mass honeycomb lattice with an elastic foundation, referred to here as mechanical graphene, is designed to exhibit zero-frequency corner modes. A central element in the proposed design is the elastic foundation, and the zero-frequency corner modes are enabled by intricate modulation of the elastic-foundation's stiffness. These modes are proven to have their origins from the dynamics of a diatomic chain, made from a single strip of the mechanical graphene with free boundaries. Different shapes of finite mechanical graphene with free boundaries are considered and conditions leading to the manifestation of corner modes are correlated with the angle of corners and stiffness of springs supporting them. Finally, the effect of defects on zero-frequency corner modes is briefly discussed, demonstrating robustness against structural defects that are distant from corners.


title: Dimensions of popcorn-like pyramid sets

abstract: This article concerns the dimension theory of the graphs of a family of functions which include the well-known 'popcorn function' and its pyramid-like higher-dimensional analogues. We calculate the box and Assouad dimensions of these graphs, as well as the intermediate dimensions, which are a family of dimensions interpolating between Hausdorff and box dimension. As tools in the proofs, we use the Chung$\unicode{x2013}$Erd\H{o}s inequality from probability theory, higher-dimensional Duffin$\unicode{x2013}$Schaeffer type estimates from Diophantine approximation, and a bound for Euler's totient function. As applications we obtain bounds on the box dimension of fractional Brownian images of the graphs, and on the H\"older distortion between different graphs.


title: The disaggregated integer L-shaped method for the stochastic vehicle routing problem

abstract: This paper proposes a new integer L-shaped method for solving two-stage stochastic integer programs whose first-stage solutions can decompose into disjoint components, each one having a monotonic recourse function. In a minimization problem, the monotonicity property stipulates that the recourse cost of a component must always be higher or equal to that of any of its subcomponents. The method exploits new types of optimality cuts and lower bounding functionals that are valid under this property. The stochastic vehicle routing problem is particularly well suited to be solved by this approach, as its solutions can be decomposed into a set of routes. We consider the variant with stochastic demands in which the recourse policy consists of performing a return trip to the depot whenever a vehicle does not have sufficient capacity to accommodate a newly realized customer demand. This work shows that this policy can lead to a non-monotonic recourse function, but that the monotonicity holds when the customer demands are modeled by several commonly used families of probability distributions. We also present new problem-specific lower bounds on the recourse that strengthen the lower bounding functionals and significantly speed up the resolution process. Computational experiments on instances from the literature show that the new approach achieves state-of-the-art results.


title: Covariant phase space quantization of cosmological models

abstract: Covariant phase space quantization attempts to quantize the full space of classical solutions, leading to a quantum theory in which the usual time coordinate is missing. In this paper we explore how the time evolution of the quantum states of this system is restored. We compare covariant phase space methods for a nonrelativistic system (the harmonic oscillator) and three relativistic quantum cosmologies. We find that for the nonrelativistic case the preferred time coordinate emerges in a phase factor when one transforms among certain representations, giving exactly the phase that appears when the time evolution operator acts on the stationary states in the usual quantization method. For the relativistic cases, on the other hand, this phase factor is no longer present, and covariance appears to be restored. These results are consistent with other quantization methods for these models.


title: Some stable plethysms

abstract: In this note, we prove some new stability results for plethysm coefficients. As special cases, we verify a conjecture of Wildon, and show the stability of sequences recently predicted by Bessenrodt, Bowman and Paget to be weakly increasing.


title: Error-Aware B-PINNs: Improving Uncertainty Quantification in Bayesian Physics-Informed Neural Networks

abstract: Physics-Informed Neural Networks (PINNs) are gaining popularity as a method for solving differential equations. While being more feasible in some contexts than the classical numerical techniques, PINNs still lack credibility. A remedy for that can be found in Uncertainty Quantification (UQ) which is just beginning to emerge in the context of PINNs. Assessing how well the trained PINN complies with imposed differential equation is the key to tackling uncertainty, yet there is lack of comprehensive methodology for this task. We propose a framework for UQ in Bayesian PINNs (B-PINNs) that incorporates the discrepancy between the B-PINN solution and the unknown true solution. We exploit recent results on error bounds for PINNs on linear dynamical systems and demonstrate the predictive uncertainty on a class of linear ODEs.


title: The Inconsistent use of $\omega$ in the RV Equation

abstract: Since the discovery of the first exoplanet orbiting a main-sequence star, astronomers have inferred the orbital properties of planets using stellar radial velocity (RV) measurements. For a star orbited by a single planet, the stellar orbit is a dilation and $180^\circ$ rotation of the planetary orbit. Thus, many of the Keplerian orbital properties of the star are identical to those of the planet. However, there is a notable exception: the argument of periastron, $\omega$, defined as the angle between the periapsis of an orbiting body and its ascending node. The argument of periastron of the star ($\omega_\star$) is $180^\circ$ offset from the argument of periastron of the planet ($\omega_p$). This distinction is important because some derivations of the RV equation use $\omega_\star$, while others use $\omega_p$. This discrepancy arises because commonly used derivations of the RV equation do not adhere to a single coordinate system. As a result, there are inconsistencies in the definitions of the Keplerian orbital parameters in various RV models, leading to values of the ascending node and $\omega$ that are $180^\circ$ offset. For instance, some packages, such as \texttt{RadVel} and \texttt{ExoFast}, report values for $\omega_{\star}$ that are identical to the $\omega_p$ values determined with other packages, such as \texttt{TTVFast} and \texttt{Orvara}, resulting in orbital solutions that differ by $180^\circ$. This discrepancy highlights the need for standardized conventions and definitions in RV modeling, particularly as we enter the era of combining RVs with astrometry.


title: Explaining Agent's Decision-making in a Hierarchical Reinforcement Learning Scenario

abstract: Reinforcement learning is a machine learning approach based on behavioral psychology. It is focused on learning agents that can acquire knowledge and learn to carry out new tasks by interacting with the environment. However, a problem occurs when reinforcement learning is used in critical contexts where the users of the system need to have more information and reliability for the actions executed by an agent. In this regard, explainable reinforcement learning seeks to provide to an agent in training with methods in order to explain its behavior in such a way that users with no experience in machine learning could understand the agent's behavior. One of these is the memory-based explainable reinforcement learning method that is used to compute probabilities of success for each state-action pair using an episodic memory. In this work, we propose to make use of the memory-based explainable reinforcement learning method in a hierarchical environment composed of sub-tasks that need to be first addressed to solve a more complex task. The end goal is to verify if it is possible to provide to the agent the ability to explain its actions in the global task as well as in the sub-tasks. The results obtained showed that it is possible to use the memory-based method in hierarchical environments with high-level tasks and compute the probabilities of success to be used as a basis for explaining the agent's behavior.


title: Particle-Based Score Estimation for State Space Model Learning in Autonomous Driving

abstract: Multi-object state estimation is a fundamental problem for robotic applications where a robot must interact with other moving objects. Typically, other objects' relevant state features are not directly observable, and must instead be inferred from observations. Particle filtering can perform such inference given approximate transition and observation models. However, these models are often unknown a priori, yielding a difficult parameter estimation problem since observations jointly carry transition and observation noise. In this work, we consider learning maximum-likelihood parameters using particle methods. Recent methods addressing this problem typically differentiate through time in a particle filter, which requires workarounds to the non-differentiable resampling step, that yield biased or high variance gradient estimates. By contrast, we exploit Fisher's identity to obtain a particle-based approximation of the score function (the gradient of the log likelihood) that yields a low variance estimate while only requiring stepwise differentiation through the transition and observation models. We apply our method to real data collected from autonomous vehicles (AVs) and show that it learns better models than existing techniques and is more stable in training, yielding an effective smoother for tracking the trajectories of vehicles around an AV.


title: EgoLoc: Revisiting 3D Object Localization from Egocentric Videos with Visual Queries

abstract: With the recent advances in video and 3D understanding, novel 4D spatio-temporal methods fusing both concepts have emerged. Towards this direction, the Ego4D Episodic Memory Benchmark proposed a task for Visual Queries with 3D Localization (VQ3D). Given an egocentric video clip and an image crop depicting a query object, the goal is to localize the 3D position of the center of that query object with respect to the camera pose of a query frame. Current methods tackle the problem of VQ3D by unprojecting the 2D localization results of the sibling task Visual Queries with 2D Localization (VQ2D) into 3D predictions. Yet, we point out that the low number of camera poses caused by camera re-localization from previous VQ3D methods severally hinders their overall success rate. In this work, we formalize a pipeline (we dub EgoLoc) that better entangles 3D multiview geometry with 2D object retrieval from egocentric videos. Our approach involves estimating more robust camera poses and aggregating multi-view 3D displacements by leveraging the 2D detection confidence, which enhances the success rate of object queries and leads to a significant improvement in the VQ3D baseline performance. Specifically, our approach achieves an overall success rate of up to 87.12%, which sets a new state-of-the-art result in the VQ3D task. We provide a comprehensive empirical analysis of the VQ3D task and existing solutions, and highlight the remaining challenges in VQ3D. The code is available at https://github.com/Wayne-Mai/EgoLoc.


title: Measuring gravitational force from Femto-gram source masses

abstract: Gravity is the weakest of all known forces. Measuring the force of gravity from micro and nano-scale source masses is an essential first step toward low-energy quantum gravity tests. In addition, measuring gravitational forces where the center-of-mass inter-distance is at the sub-mm scale extends the experimentally achievable parameter space for tests of Yukawa-like corrections to Newtonian gravity and tests for higher dimensions proposed to resolve the hierarchy problem of fundamental forces. Here, we propose an experiment using two optically trapped particles in ultrahigh vacuum conditions where the center of mass inter-distance is on the order of $10^2 nm$. In the proposed experiment, the source mass is a rotating Janus nano-particle such that the test mass (sensor) experiences a periodic gravitational potential. Using realistic experimental parameters, a signal-to-noise ratio $\geq 1$ is obtained for a Janus particle with radius $\geq 10^2 nm$ and a mass $\geq \text{10 } fg$. The proposed experiment extends the search of Yukawa corrections to gravity at $\approx 10^{-5}$ times gravity regime at $10^{2}nm $ interaction range, opens the door to low energy tests for quantum gravity, and enables direct experimental tests of extra-dimensional solutions to the hierarchy problem.


title: Find Someone Who: Visual Commonsense Understanding in Human-Centric Grounding

abstract: From a visual scene containing multiple people, human is able to distinguish each individual given the context descriptions about what happened before, their mental/physical states or intentions, etc. Above ability heavily relies on human-centric commonsense knowledge and reasoning. For example, if asked to identify the "person who needs healing" in an image, we need to first know that they usually have injuries or suffering expressions, then find the corresponding visual clues before finally grounding the person. We present a new commonsense task, Human-centric Commonsense Grounding, that tests the models' ability to ground individuals given the context descriptions about what happened before, and their mental/physical states or intentions. We further create a benchmark, HumanCog, a dataset with 130k grounded commonsensical descriptions annotated on 67k images, covering diverse types of commonsense and visual scenes. We set up a context-object-aware method as a strong baseline that outperforms previous pre-trained and non-pretrained models. Further analysis demonstrates that rich visual commonsense and powerful integration of multi-modal commonsense are essential, which sheds light on future works. Data and code will be available https://github.com/Hxyou/HumanCog.


title: Disentangling Prosody Representations with Unsupervised Speech Reconstruction

abstract: Human speech can be characterized by different components, including semantic content, speaker identity and prosodic information. Significant progress has been made in disentangling representations for semantic content and speaker identity in Automatic Speech Recognition (ASR) and speaker verification tasks respectively. However, it is still an open challenging research question to extract prosodic information because of the intrinsic association of different attributes, such as timbre and rhythm, and because of the need for supervised training schemes to achieve robust large-scale and speaker-independent ASR. The aim of this paper is to address the disentanglement of emotional prosody from speech based on unsupervised reconstruction. Specifically, we identify, design, implement and integrate three crucial components in our proposed speech reconstruction model Prosody2Vec: (1) a unit encoder that transforms speech signals into discrete units for semantic content, (2) a pretrained speaker verification model to generate speaker identity embeddings, and (3) a trainable prosody encoder to learn prosody representations. We first pretrain the Prosody2Vec representations on unlabelled emotional speech corpora, then fine-tune the model on specific datasets to perform Speech Emotion Recognition (SER) and Emotional Voice Conversion (EVC) tasks. Both objective (weighted and unweighted accuracies) and subjective (mean opinion score) evaluations on the EVC task suggest that Prosody2Vec effectively captures general prosodic features that can be smoothly transferred to other emotional speech. In addition, our SER experiments on the IEMOCAP dataset reveal that the prosody features learned by Prosody2Vec are complementary and beneficial for the performance of widely used speech pretraining models and surpass the state-of-the-art methods when combining Prosody2Vec with HuBERT representations.


title: An accurate and efficient Ehrenfest dynamics approach for calculating linear and nonlinear electronic spectra

abstract: Linear and nonlinear electronic spectra provide an important tool to probe the absorption and transfer of electronic energy. Here we introduce a pure state Ehrenfest approach to obtain accurate linear and nonlinear spectra that is applicable to systems with large numbers of excited states and complex chemical environments. We achieve this by representing the initial conditions as sums of pure states and unfolding multi-time correlation functions into the Schr\"odinger picture. By doing this we show that one can obtain significant improvements in accuracy over the previously used projected Ehrenfest approach and that these benefits are particularly pronounced in cases where the initial condition is a coherence between excited states. While such initial conditions do not arise when calculating linear electronic spectra, they play a vital role in capturing multidimensional spectroscopies. We demonstrate the performance of our method by showing that it is able to quantitatively capture the exact linear, 2DES, and pump-probe spectra for a Frenkel exciton model in slow bath regimes and is even able to reproduce the main spectral features in fast bath regimes.


title: The Effectiveness of a Simple Helmholtz coil-like Magnetic Shield at Reducing X-ray-like Background in Space-based X-ray Detectors

abstract: Both active and passive magnetic shielding have been used extensively during past and current X-ray astronomy missions to shield detectors from soft protons and electrons entering through telescope optics. However, simulations performed throughout the past decade have discovered that a significant proportion of X-ray-like background originates from secondary electrons produced in spacecraft shielding surrounding X-ray detectors, which hit detectors isotropically from all directions. Here, the results from Geant4 simulations of a simple Helmholtz coil-like magnetic field surrounding a detector are presented, and it is found that a Helmholtz coil-like magnetic field is extremely effective at preventing secondary electrons from reaching the detector. This magnetic shielding method could remove almost all background associated with both backscattering electrons and fully absorbed soft electrons, which together are expected to account for approximately two thirds of the expected off-axis background in silicon-based X-ray detectors of several hundred microns in thickness. The magnetic field structure necessary for doing this could easily be produced using a set of solenoids or neodymium magnets providing that power requirements can be sufficiently optimised or neodymium fluorescence lines can be sufficiently attenuated, respectively.


title: The Quantum Chernoff Divergence in Advantage Distillation for QKD and DIQKD

abstract: Device-independent quantum key distribution (DIQKD) aims to mitigate adversarial exploitation of imperfections in quantum devices, by providing an approach for secret key distillation with modest security assumptions. Advantage distillation, a two-way communication procedure in error correction, has proven effective in raising noise tolerances in both device-dependent and device-independent QKD. Previously, device-independent security proofs against IID collective attacks were developed for an advantage distillation protocol known as the repetition-code protocol, based on security conditions involving the fidelity between some states in the protocol. However, there exists a gap between the sufficient and necessary security conditions, which hinders the calculation of tight noise-tolerance bounds based on the fidelity. We close this gap by presenting an alternative proof structure that replaces the fidelity with the quantum Chernoff divergence, a distinguishability measure that arises in symmetric hypothesis testing. Working in the IID collective attacks model, we derive matching sufficient and necessary conditions for the repetition-code protocol to be secure (up to a natural conjecture regarding the latter case) in terms of the quantum Chernoff divergence, hence indicating that this serves as the relevant quantity of interest for this protocol. Furthermore, using this security condition we obtain some improvements over previous results on the noise tolerance thresholds for DIQKD. Our results provide insight into a fundamental question in quantum information theory regarding the circumstances under which DIQKD is possible.


title: Impossibility Theorem for Extending Contextuality to Disturbing Systems

abstract: Recently there has been interest, and impressive progress, in extending the definition of contextuality to systems with disturbance. We prove here that such an endeavor cannot simultaneously satisfy the following core principles of contextuality: (1) Measuring more information cannot change a contextual system to a noncontextual one. (2) Classical post-processing cannot create contextuality: appending new observables that are functions of given observables cannot change a noncontextual system to a contextual one. (3) The joint realization of two statistically independent noncontextual systems is noncontextual. (4) Determinism cannot create contextuality: Any deterministic system is noncontextual, and adding deterministic observables to a noncontextual system cannot yield a contextual one. We also prove the same result without Principle 3, under the stronger version of Principle 4. Moreover, our results hold for restricted extensions of contextuality that apply only to systems of binary observables. In addition to these proofs, we analyze several particular proposals and identify which of our axioms they obey and which they violate.


title: How Haag-tied is QFT, really?

abstract: Haag's theorem cries out for explanation and critical assessment: it sounds the alarm that something is (perhaps) not right in one of the standard way of constructing interacting fields to be used in generating predictions for scattering experiments. Viewpoints as to the precise nature of the problem, the appropriate solution, and subsequently-called-for developments in areas of physics, mathematics, and philosophy differ widely. In this paper, we develop and deploy a conceptual framework for critically assessing these disparate responses to Haag's theorem. Doing so reveals the driving force of more general questions as to the nature and purpose of foundational work in physics.


title: Non-adiabatic Level Crossing in Resonant Neutrino Oscillations

abstract: Analytic results are presented for the probability of detecting an electron neutrino after passage through a resonant oscillation region. If the electron neutrino is produced far above the resonance density, this probability is simply given by $\langle \,P_{\nu_e} \, \rangle \approx \sin^2 \theta_0+ P_\text{x} \cos 2 \theta_0$, where $\theta_0$ is the vacuum mixing angle. The probability is averaged over the production as well as the detection positions of the neutrino and $P_\text{x} $ is the Landau-Zener transition probability between adiabatic states. Finally, this result is applied to resonance oscillations within the solar interior.


title: Fast parametric two-qubit gate for highly detuned fixed-frequency superconducting qubits using a double-transmon coupler

abstract: High-performance two-qubit gates have been reported with superconducting qubits coupled via a single-transmon coupler (STC). Most of them are implemented for qubits with a small detuning since reducing residual $ZZ$ coupling for highly detuned qubits by an STC is challenging. In terms of the frequency crowding and crosstalk, however, highly detuned qubits are desirable. Here, we numerically demonstrate a high-performance parametric gate for highly detuned fixed-frequency qubits using a recently proposed tunable coupler called a double-transmon coupler (DTC). Applying an ac flux pulse, we can perform a maximally entangling universal gate ($\sqrt{\rm iSWAP}$) with an average fidelity over 99.99$\%$ and a short gate time of about 24 ns. This speed is comparable to resonance-based gates for slightly detuned tunable qubits. Moreover, using a dc flux pulse alternatively, we can achieve another kind of entangling gate called a CZ gate with an average fidelity over 99.99$\%$ and a gate time of about 18 ns. Given the frexibility and feasible settings, we can expect that the DTC will contribute to realizing a high-performance quantum computer in the near future.


title: Extending the Use of Information Theory in Segregation Analyses to Construct Comprehensive Models of Segregation

abstract: The traditional approach to the quantitative study of segregation is to employ indices that are selected by ``desirable properties''. Here, we detail how information theory underpins entropy-based indices and demonstrate how desirable properties can be used to systematically construct models of segregation. The resulting models capture all indices which satisfy the selected properties and provide new insights, such as how the entropy index presumes a particular form of intergroup interactions and how the dissimilarity index depends on the regional composition. Additionally, our approach reveals that functions, rather than indices, tend to be necessary mathematical tools for a comprehensive quantification of segregation. We then proceed with exploratory considerations of two-group residential segregation, finding striking similarities in major U.S. cities, subtle segregation patterns that correlate with minority group diversity, and substantive reductions in segregation that may be overlooked with traditional approaches. Finally, we explore the promise of our approach for segregation forecasting.


title: Automatic Classification of Galaxy Morphology: a rotationally invariant supervised machine learning method based on the UML-dataset

abstract: Classification of galaxy morphology is a challenging but meaningful task for the enormous amount of data produced by the next-generation telescope. By introducing the adaptive polar coordinate transformation, we develop a rotationally invariant supervised machine learning (SML) method that ensures consistent classifications when rotating galaxy images, which is always required to be satisfied physically but difficult to achieve algorithmically. The adaptive polar coordinate transformation, compared with the conventional method of data augmentation by including additional rotated images in the training set, is proved to be an effective and efficient method in improving the robustness of the SML methods. In the previous work, we generated a catalog of galaxies with well-classified morphologies via our developed unsupervised machine learning (UML) method. By using this UML-dataset as the training set, we apply the new method to classify galaxies into five categories (unclassifiable, irregulars, late-type disks, early-type disks, and spheroids). In general, the result of our morphological classifications following the sequence from irregulars to spheroids agrees well with the expected trends of other galaxy properties, including S\'{e}rsic indices, effective radii, nonparametric statistics, and colors. Thus, we demonstrate that the rotationally invariant SML method, together with the previously developed UML method, completes the entire task of automatic classification of galaxy morphology.


title: Image-based searches for pulsar candidates using MWA VCS data

abstract: Pulsars have proven instrumental in exploring a wide variety of physics. Pulsars at low radio frequencies is crucial to further our understanding of spectral properties and emission mechanisms.The Murchison Widefield Array Voltage Capture System (MWA-VCS) has been routinely used to study and discover pulsars at low frequencies, offering the unique opportunity of recording complex voltages ,which can be off-line beamformed or imaged at millisecond time resolution.Devising imaged-based methods for finding pulsar candidates, which can be verified in beamformed data, can accelerate the complete process and lead to more pulsar detections by reducing the number of tied-array beams required, increasing compute resource efficiency.Despite a factor of ~4 loss in sensitivity, searching for pulsar candidates in images from the MWA-VCS, we can explore a larger parameter space, potentially leading to discoveries of pulsars missed by high-frequency surveys such as pulsars obscured in high-time resolution timeseries data by propagation effects.Image-based searches are also essential to probing parts of parameter space inaccessible to traditional beamformed searches with the MWA.In this paper we describe the innovative approach and capability of dual-processing MWA VCS data, i.e. finding pulsar candidates in these images, and verifying by forming tied-array beam.We developed and tested image-based methods of finding pulsar candidates, based on pulsar properties such as spectral index, polarisation and variability.The efficiency of these methodologies has been verified on known pulsars, and the main limitations explained in terms of sensitivity and low-frequency spectral turnover of some pulsars.No candidates were confirmed to be a new pulsar.This new capability will now be applied to multiple observations to accelerate pulsar discoveries with MWA and speed up future searches with the SKA-Low.


title: A Fast Successive QP Algorithm for General Mean-Variance Portfolio Optimization

abstract: The mean and variance of portfolio returns are the standard quantities to measure the expected return and risk of a portfolio. Efficient portfolios that provide optimal trade-offs between mean and variance warrant consideration. To express a preference among these efficient portfolios, investors have put forward many mean-variance portfolio (MVP) formulations which date back to the classical Markowitz portfolio. However, most existing algorithms are highly specialized to particular formulations and cannot be generalized for broader applications. Therefore, a fast and unified algorithm would be extremely beneficial. In this paper, we first introduce a general MVP problem formulation that can fit most existing cases by exploring their commonalities. Then, we propose a widely applicable and provably convergent successive quadratic programming algorithm (SCQP) for the general formulation. The proposed algorithm can be implemented based on only the QP solvers and thus is computationally efficient. In addition, a fast implementation is considered to accelerate the algorithm. The numerical results show that our proposed algorithm significantly outperforms the state-of-the-art ones in terms of convergence speed and scalability.


title: Market Mechanisms for Low-Carbon Electricity Investments: A Game-Theoretical Analysis

abstract: Electricity markets are transforming from the dominance of conventional energy resources (CERs), e.g., fossil fuels, to low-carbon energy resources (LERs), e.g., renewables and energy storage. This work examines market mechanisms to incentivize LER investments, while ensuring adequate market revenues for investors, guiding investors' strategic investments towards social optimum, and protecting consumers from scarcity prices. To reduce the impact of excessive scarcity prices, we present a new market mechanism, which consists of a Penalty payment for lost load, a supply Incentive, and an energy price Uplift (PIU). We establish a game-theoretical framework to analyze market equilibrium. We prove that one Nash equilibrium under the penalty payment and supply incentive can reach the social optimum given quadratic supply costs of CERs. Although the price uplift can ensure adequate revenues, the resulting system cost deviates from the social optimum while the gap decreases as more CERs retire. Furthermore, under the traditional marginal-cost pricing (MCP) mechanism, investors may withhold investments to cause scarcity prices, but such behavior is absent under the PIU mechanism. Simulation results show that the PIU mechanism can reduce consumers' costs by over 30% compared with the MCP mechanism by reducing excessive revenues of low-cost CERs from scarcity prices.


title: Local Probabilistic Decoding of a Quantum Code

abstract: flip is an extremely simple and maximally local classical decoder which has been used to great effect in certain classes of classical codes. When applied to quantum codes there exist constant-weight errors (such as half of a stabiliser) which are uncorrectable for this decoder, so previous studies have considered modified versions of flip, sometimes in conjunction with other decoders. We argue that this may not always be necessary, and present numerical evidence for the existence of a threshold for flip when applied to the looplike syndromes of a three-dimensional toric code on a cubic lattice. This result can be attributed to the fact that the lowest-weight uncorrectable errors for this decoder are closer (in terms of Hamming distance) to correctable errors than to other uncorrectable errors, and so they are likely to become correctable in future code cycles after transformation by additional noise. Introducing randomness into the decoder can allow it to correct these "uncorrectable" errors with finite probability, and for a decoding strategy that uses a combination of belief propagation and probabilistic flip we observe a threshold of $\sim5.5\%$ under phenomenological noise. This is comparable to the best known threshold for this code ($\sim7.1\%$) which was achieved using belief propagation and ordered statistics decoding [Higgott and Breuckmann, 2022], a strategy with a runtime of $O(n^3)$ as opposed to the $O(n)$ ($O(1)$ when parallelised) runtime of our local decoder. We expect that this strategy could be generalised to work well in other low-density parity check codes, and hope that these results will prompt investigation of other previously overlooked decoders.


title: Why entanglement?

abstract: In this piece, written for a general audience, we propose a mechanism for quantum entanglement. The key ingredient is collider bias. In the language of causal models, a collider is a variable causally influenced by two or more other variables. Conditioning on a collider typically produces non-causal correlations between its contributing causes. This phenomenon can produce associations analogous to Bell correlations, in suitable post-selected ensembles. Such collider artefacts may become real connections, resembling causality, if a collider is 'constrained' (e.g., by a future boundary condition). We consider the time-reversed analogues of these points in the context of retrocausal models of QM. Retrocausality yields a collider at the source of an EPR-Bell particle pair, and in this case constraint of the collider is possible by normal methods of experimental preparation. It follows that connections resembling causality may emerge across such colliders, from one branch of the experiment to the other. Our hypothesis is that this constrained retrocausal collider bias is the origin of entanglement. This piece is based on a suggestion first made in arXiv:2101.05370v4 [quant-ph], and is an ancestor of an essay now published online in Aeon magazine [Price & Wharton 2023a]. In an updated version of the argument in arXiv:2309.10969 [quant-ph] we (i) demonstrate its application in a real Bell experiment; and (ii) show that we can do without an explicit postulate of retrocausality


title: A Survey on Privacy of Personal and Non-Personal Data in B5G/6G Networks

abstract: The upcoming Beyond 5G (B5G) and 6G networks are expected to provide enhanced capabilities such as ultra-high data rates, dense connectivity, and high scalability. It opens many possibilities for a new generation of services driven by Artificial Intelligence (AI) and billions of interconnected smart devices. However, with this expected massive upgrade, the privacy of people, organizations, and states is becoming a rising concern. The recent introduction of privacy laws and regulations for personal and non-personal data signals that global awareness is emerging in the current privacy landscape. Yet, many gaps need to be identified in the case of two data types. If not detected, they can lead to significant privacy leakages and attacks that will affect billions of people and organizations who utilize B5G/6G. This survey is a comprehensive study of personal and non-personal data privacy in B5G/6G to identify the current progress and future directions to ensure data privacy. We provide a detailed comparison of the two data types and a set of related privacy goals for B5G/6G. Next, we bring data privacy issues with possible solutions. This paper also provides future directions to preserve personal and non-personal data privacy in future networks.


title: Efficient Exploration in Resource-Restricted Reinforcement Learning

abstract: In many real-world applications of reinforcement learning (RL), performing actions requires consuming certain types of resources that are non-replenishable in each episode. Typical applications include robotic control with limited energy and video games with consumable items. In tasks with non-replenishable resources, we observe that popular RL methods such as soft actor critic suffer from poor sample efficiency. The major reason is that, they tend to exhaust resources fast and thus the subsequent exploration is severely restricted due to the absence of resources. To address this challenge, we first formalize the aforementioned problem as a resource-restricted reinforcement learning, and then propose a novel resource-aware exploration bonus (RAEB) to make reasonable usage of resources. An appealing feature of RAEB is that, it can significantly reduce unnecessary resource-consuming trials while effectively encouraging the agent to explore unvisited states. Experiments demonstrate that the proposed RAEB significantly outperforms state-of-the-art exploration strategies in resource-restricted reinforcement learning environments, improving the sample efficiency by up to an order of magnitude.


title: RLEKF: An Optimizer for Deep Potential with Ab Initio Accuracy

abstract: It is imperative to accelerate the training of neural network force field such as Deep Potential, which usually requires thousands of images based on first-principles calculation and a couple of days to generate an accurate potential energy surface. To this end, we propose a novel optimizer named reorganized layer extended Kalman filtering (RLEKF), an optimized version of global extended Kalman filtering (GEKF) with a strategy of splitting big and gathering small layers to overcome the $O(N^2)$ computational cost of GEKF. This strategy provides an approximation of the dense weights error covariance matrix with a sparse diagonal block matrix for GEKF. We implement both RLEKF and the baseline Adam in our $\alpha$Dynamics package and numerical experiments are performed on 13 unbiased datasets. Overall, RLEKF converges faster with slightly better accuracy. For example, a test on a typical system, bulk copper, shows that RLEKF converges faster by both the number of training epochs ($\times$11.67) and wall-clock time ($\times$1.19). Besides, we theoretically prove that the updates of weights converge and thus are against the gradient exploding problem. Experimental results verify that RLEKF is not sensitive to the initialization of weights. The RLEKF sheds light on other AI-for-science applications where training a large neural network (with tons of thousands parameters) is a bottleneck.


title: Spectral Factorization of Rank-Deficient Rational Densities

abstract: Though there have been hundreds of methods on solving rational spectral factorization, most of them are based on a positive definite density matrix assumption. In this work, we propose a novel approach on the spectral factorization of a low-rank spectral density, to a minimum-phase full-rank factor. Compared with other several approaches on low-rank spectral factorizations, our approach uses the deterministic relation inside a factor, leading to a high computation efficiency. In addition, we shall show that this method is easily used in identification of low-rank processes and Wiener Filter.


title: An Architecture for Reactive Mobile Manipulation On-The-Move

abstract: We present a generalised architecture for reactive mobile manipulation while a robot's base is in motion toward the next objective in a high-level task. By performing tasks on-the-move, overall cycle time is reduced compared to methods where the base pauses during manipulation. Reactive control of the manipulator enables grasping objects with unpredictable motion while improving robustness against perception errors, environmental disturbances, and inaccurate robot control compared to open-loop, trajectory-based planning approaches. We present an example implementation of the architecture and investigate the performance on a series of pick and place tasks with both static and dynamic objects and compare the performance to baseline methods. Our method demonstrated a real-world success rate of over 99%, failing in only a single trial from 120 attempts with a physical robot system. The architecture is further demonstrated on other mobile manipulator platforms in simulation. Our approach reduces task time by up to 48%, while also improving reliability, gracefulness, and predictability compared to existing architectures for mobile manipulation. See https://benburgesslimerick.github.io/ManipulationOnTheMove for supplementary materials.


title: Moduli of Genus Six Curves and K-stability

abstract: The K-moduli theory provides a different compactification of moduli spaces of curves. As a general genus six curve can be canonically embedded into the smooth quintic del Pezzo surface, we study in this paper the K-moduli spaces $\overline{M}^K(c)$ of the quintic log Fano pairs. We classify the strata of genus six curves $C$ appearing in the K-moduli by explicitly describing the wall-crossing structure. The K-moduli spaces interpolate between two birational moduli spaces constructed by GIT and moduli of K3 surfaces via Hodge theory.


title: The Direct Mid-Infrared Detectability of Habitable-zone Exoplanets Around Nearby Stars

abstract: Giant planets within the habitable zones of the closest several stars can currently be imaged with ground-based telescopes. Within the next decade, the Extremely Large Telescopes (ELTs) will begin to image the habitable zones of a greater number of nearby stars with much higher sensitivity$-$ potentially imaging exo-Earths around the closest stars. To determine the most promising candidates for observations over the next decade, we establish a theoretical framework for the direct detectability of Earth$-$ to super-Jovian-mass exoplanets in the mid-infrared based on available atmospheric and evolutionary models. Of the 83 closest BAFGK type stars, we select 37 FGK type stars within 10 pc and 34 BA type stars within 30 pc with reliable age constraints. We prioritize targets based on a parametric model of a planet's effective temperature based on a star's luminosity, distance, and age, and on the planet's orbital semi-major axis, radius, and albedo. We then predict the most likely planets to be detectable with current 8-meter telescopes and with a 39-m ELT with up to 100 hours of observation per star. Putting this together, we recommend observation times needed for the detection of habitable-zone exoplanets spanning the range of very nearby temperate Earth-sized planets to more distant young giant planets. We then recommend ideal initial targets for current telescopes and the upcoming ELTs.


title: Parameterizing Network Graph Heterogeneity using a Modified Weibull Distribution

abstract: We present a simple method to quantitatively capture the heterogeneity in the degree distribution of a network graph using a single parameter $\sigma$. Using an exponential transformation of the shape parameter of the Weibull distribution, this control parameter allows the degree distribution to be easily interpolated between highly symmetric and highly heterogeneous distributions on the unit interval. This parameterization of heterogeneity also recovers several other canonical distributions as intermediate special cases, including the Gaussian, Rayleigh, and exponential distributions. We then outline a general graph generation algorithm to produce graphs with a desired amount of heterogeneity. The utility of this formulation of a heterogeneity parameter is demonstrated with examples relating to epidemiological modeling and spectral analysis.

categories: physics.data-an cs.SI physics.soc-ph stat.AP


title: Bifurcations in the Herd Immunity Threshold for Discrete-Time Models of Epidemic Spread

abstract: We performed a thorough sensitivity analysis of the herd immunity threshold for discrete-time SIR compartmental models with a static network structure. We find unexpectedly that these models violate classical intuition which holds that the herd immunity threshold should monotonically increase with the transmission parameter. We find the existence of bifurcations in the herd immunity threshold in the high transmission probability regime. The extent of these bifurcations is modulated by the graph heterogeneity, the recovery parameter, and the network size. In the limit of large, well-mixed networks, the behavior approaches that of difference equation models, suggesting this behavior is a universal feature of all discrete-time SIR models. These results suggest careful attention is needed in both selecting the assumptions on how to model time and heterogeneity in epidemiological models and the subsequent conclusions that can be drawn.


title: Equivalence of Approximate Message Passing and Low-Degree Polynomials in Rank-One Matrix Estimation

abstract: We consider the problem of estimating an unknown parameter vector ${\boldsymbol \theta}\in{\mathbb R}^n$, given noisy observations ${\boldsymbol Y} = {\boldsymbol \theta}{\boldsymbol \theta}^{\top}/\sqrt{n}+{\boldsymbol Z}$ of the rank-one matrix ${\boldsymbol \theta}{\boldsymbol \theta}^{\top}$, where ${\boldsymbol Z}$ has independent Gaussian entries. When information is available about the distribution of the entries of ${\boldsymbol theta}$, spectral methods are known to be strictly sub-optimal. Past work characterized the asymptotics of the accuracy achieved by the optimal estimator. However, no polynomial-time estimator is known that achieves this accuracy. It has been conjectured that this statistical-computation gap is fundamental, and moreover that the optimal accuracy achievable by polynomial-time estimators coincides with the accuracy achieved by certain approximate message passing (AMP) algorithms. We provide evidence towards this conjecture by proving that no estimator in the (broader) class of constant-degree polynomials can surpass AMP.


title: Ordered creation and motion of skyrmions with surface acoustic wave

abstract: Magnetic skyrmions with a well-defined spin texture have shown unprecedented potential for various spintronic applications owning to their topologically non-trivial and quasiparticle properties. To put skyrmions into practical technology, efficient manipulation, especially the inhibition of skyrmion Hall effect (SkHE) has been intensively pursued. In spite of the recent progress made on reducing SkHE in several substituted systems, such as ferrimagnets and synthetic antiferromagnets, the organized creation and current driven motion of skyrmions with negligible SkHE in ferromagnets remain challenging. Here, by embeding the [Co/Pd] multilayer into a surface acoustic wave (SAW) delay line, we experimentally realized the ordered generation of magnetic skyrmions. The resultant current-induced skyrmions movement with negligible SkHE was observed, which can be attributed to the energy redistribution of the system during the excitation of SAW. Our findings open up an unprecedentedly new perspective for manipulating topological solitons, and would advance the development of skyrmionics and spin acousto-electronics.