title: Risk Aware Adaptive Belief-dependent Probabilistically Constrained Continuous POMDP Planning

abstract: Although risk awareness is fundamental to an online operating agent, it has received less attention in the challenging continuous domain and under partial observability. This paper presents a novel formulation and solution for risk-averse belief-dependent probabilistically constrained continuous POMDP. We tackle a demanding setting of belief-dependent reward and constraint operators. The probabilistic confidence parameter makes our formulation genuinely risk-averse and much more flexible than the state-of-the-art chance constraint. Our rigorous analysis shows that in the stiffest probabilistic confidence case, our formulation is very close to chance constraint. However, our probabilistic formulation allows much faster and more accurate adaptive acceptance or pruning of actions fulfilling or violating the constraint. In addition, with an arbitrary confidence parameter, we did not find any analogs to our approach. We present algorithms for the solution of our formulation in continuous domains. We also uplift the chance-constrained approach to continuous environments using importance sampling. Moreover, all our presented algorithms can be used with parametric and nonparametric beliefs represented by particles. Last but not least, we contribute, rigorously analyze and simulate an approximation of chance-constrained continuous POMDP. The simulations demonstrate that our algorithms exhibit unprecedented celerity compared to the baseline, with the same performance in terms of collisions.


title: Design and upgrade of the prototype Schwarzschild-Couder Telescope

abstract: The Cherenkov Telescope Array (CTA) is the next-generation ground-based observatory for very-high energy gamma-ray astronomy. CTA will have unparalleled sensitivity and angular resolution and will detect gamma-ray sources nearly 100 times faster than current arrays, enabling valuable multiwavelength and multimessenger observations. The Schwarzschild-Couder Telescope (SCT) is a candidate for the Medium-Sized telescope in CTA. A prototype SCT (pSCT) has been constructed at the Fred Lawrence Whipple Observatory in Arizona USA. Its camera is currently partially instrumented with 1600 pixels (2.7 degree FOV). The small plate scale of the optical system allows densely packed silicon photomultipliers to be used, which combined with high-density trigger and waveform readout electronics enable the high-resolution camera. The camera's electronics are capable of imaging air shower development with waveform readout with nanosecond resolution. The pSCT was inaugurated in January 2019, with commissioning continuing throughout that year. The first campaign of observations with the pSCT was conducted in January and February of 2020. Gamma-ray emission from the Crab Nebula was detected with a significance of 8.6 sigma. An upgrade to the pSCT camera is currently underway. The upgrade will fully populate the focal plane, increasing the field of view to 8 degrees diameter, and lower the front-end electronics noise, enabling a lower trigger threshold and improved reconstruction and background rejection.


title: How important are activation functions in regression and classification? A survey, performance comparison, and future directions

abstract: Inspired by biological neurons, the activation functions play an essential part in the learning process of any artificial neural network commonly used in many real-world problems. Various activation functions have been proposed in the literature for classification as well as regression tasks. In this work, we survey the activation functions that have been employed in the past as well as the current state-of-the-art. In particular, we present various developments in activation functions over the years and the advantages as well as disadvantages or limitations of these activation functions. We also discuss classical (fixed) activation functions, including rectifier units, and adaptive activation functions. In addition to discussing the taxonomy of activation functions based on characterization, a taxonomy of activation functions based on applications is presented. To this end, the systematic comparison of various fixed and adaptive activation functions is performed for classification data sets such as the MNIST, CIFAR-10, and CIFAR- 100. In recent years, a physics-informed machine learning framework has emerged for solving problems related to scientific computations. For this purpose, we also discuss various requirements for activation functions that have been used in the physics-informed machine learning framework. Furthermore, various comparisons are made among different fixed and adaptive activation functions using various machine learning libraries such as TensorFlow, Pytorch, and JAX.


title: Some eigenvalue problems involving the (p(x),q(x))-Laplacian

abstract: In this work, we are concerned with a Robin and Neumann problem with (p(x),q(x))-Laplacian. Under some appropriate conditions on the data involved in the elliptic problem, we prove the existence of solutions applying two versions of Mountain Pass theorem, Ekeland's variational principle and Lagrange multiplier rule.


title: Classicals versus Keynesians: Fifty Distinctions between Two Major Schools of Economic Thought

abstract: Macroeconomics essentially discusses macroeconomic phenomena from the perspectives of various schools of economic thought, each of which takes different views on how macroeconomic agents make decisions and how the corresponding markets operate. Therefore, developing a clear, comprehensive understanding of how and in what ways these schools of economic thought differ is a key and a prerequisite for economics students to prosper academically and professionally in the discipline. This becomes even more crucial as economics students pursue their studies toward higher levels of education and graduate school, during which students are expected to attain higher levels of Bloom's taxonomy, including analysis, synthesis, evaluation, and creation. Teaching the distinctions and similarities of the two major schools of economic thought has never been an easy task to undertake in the classroom. Although the reason for such a hardship can be multi-fold, one reason has undoubtedly been students' lack of a holistic view on how the two mainstream economic schools of thought differ. There is strong evidence that students make smoother transition to higher levels of education after building up such groundwork, on which they can build further later on (e.g. Didia and Hasnat, 1998; Marcal and Roberts, 2001; Islam, et al., 2008; Green, et al., 2009; White, 2016). The paper starts with a visual spectrum of various schools of economic thought, and then narrows down the scope to the classical and Keynesian schools, i.e. the backbone of modern macroeconomics. Afterwards, a holistic table contrasts the two schools in terms of 50 aspects. Not only does this table help economics students enhance their comprehension, retention, and critical-thinking capability, it also benefits macroeconomic instructors to ...


title: Bag of Tricks for FGSM Adversarial Training

abstract: Adversarial training (AT) with samples generated by Fast Gradient Sign Method (FGSM), also known as FGSM-AT, is a computationally simple method to train robust networks. However, during its training procedure, an unstable mode of "catastrophic overfitting" has been identified in arXiv:2001.03994 [cs.LG], where the robust accuracy abruptly drops to zero within a single training step. Existing methods use gradient regularizers or random initialization tricks to attenuate this issue, whereas they either take high computational cost or lead to lower robust accuracy. In this work, we provide the first study, which thoroughly examines a collection of tricks from three perspectives: Data Initialization, Network Structure, and Optimization, to overcome the catastrophic overfitting in FGSM-AT. Surprisingly, we find that simple tricks, i.e., a) masking partial pixels (even without randomness), b) setting a large convolution stride and smooth activation functions, or c) regularizing the weights of the first convolutional layer, can effectively tackle the overfitting issue. Extensive results on a range of network architectures validate the effectiveness of each proposed trick, and the combinations of tricks are also investigated. For example, trained with PreActResNet-18 on CIFAR-10, our method attains 49.8% accuracy against PGD-50 attacker and 46.4% accuracy against AutoAttack, demonstrating that pure FGSM-AT is capable of enabling robust learners. The code and models are publicly available at https://github.com/UCSC-VLAA/Bag-of-Tricks-for-FGSM-AT.


title: Neural Networks Optimized by Genetic Algorithms in Cosmology

abstract: The applications of artificial neural networks in the cosmological field have shone successfully during the past decade, this is due to their great ability of modeling large amounts of datasets and complex nonlinear functions. However, in some cases, their use still remains controversial because their ease of producing inaccurate results when the hyperparameters are not carefully selected. In this paper, to find the optimal combination of hyperparameters to artificial neural networks, we propose to take advantage of the genetic algorithms. As a proof of the concept, we analyze three different cosmological cases to test the performance of the architectures achieved with the genetic algorithms and compare them with the standard process, consisting of a grid with all possible configurations. First, we carry out a model-independent reconstruction of the distance modulus using a type Ia supernovae compilation. Second, the neural networks learn to infer the equation of state for the quintessence model, and finally with the data from a combined redshift catalog the neural networks predict the photometric redshift given six photometric bands (urgizy). We found that the genetic algorithms improve considerably the generation of the neural network architectures, which can ensure more confidence in their physical results because of the better performance in the metrics with respect to the grid method.


title: Unpaired Image Translation via Vector Symbolic Architectures

abstract: Image-to-image translation has played an important role in enabling synthetic data for computer vision. However, if the source and target domains have a large semantic mismatch, existing techniques often suffer from source content corruption aka semantic flipping. To address this problem, we propose a new paradigm for image-to-image translation using Vector Symbolic Architectures (VSA), a theoretical framework which defines algebraic operations in a high-dimensional vector (hypervector) space. We introduce VSA-based constraints on adversarial learning for source-to-target translations by learning a hypervector mapping that inverts the translation to ensure consistency with source content. We show both qualitatively and quantitatively that our method improves over other state-of-the-art techniques.


title: A Multimer Embedding Approach for Molecular Crystals up to Harmonic Vibrational Properties

abstract: Accurate calculations of molecular crystals are crucial for drug design and crystal engineering. However, periodic high-level density functional calculations using hybrid functionals are often prohibitively expensive for relevant systems. These expensive periodic calculations can be circumvented by the usage of embedding methods in which for instance the periodic calculation is only performed at a lower-cost level and then monomer energies and dimer interactions are replaced by those of the higher-level method. Herein, we extend upon such a multimer embedding approach to enable energy corrections for trimer interactions and the calculation of harmonic vibrational properties up to the dimer level. We evaluate this approach for the X23 benchmark set of molecular crystals by approximating a periodic hybrid density functional (PBE0+MBD) by embedding multimers into less expensive calculations using a generalized-gradient approximation (GGA) functional (PBE+MBD). We show that trimer interactions are crucial for accurately approximating lattice energies within 1 kJ/mol and might also be needed for further improvement of lattice constants and hence cell volumes. Finally, vibrational properties are already very well captured at the monomer and dimer level, making it possible to approximate vibrational free energies at room temperature within 1 kJ/mol.


title: Pressure-induced superconductivity in the weak topological insulator Bi2TeI and the topological metal Bi3TeI

abstract: We report a series of high-pressure electrical transport, magnetic susceptibility, and x-ray diffraction measurements on single crystals of the weak topological insulator Bi2TeI and the topological metal Bi3TeI. Room temperature x-ray diffraction measurements show that both materials go through a series of pressure-induced structural transitions and eventually adopt a disordered bcc alloy structure at high pressure. A re-analysis of the published data on BiTeI indicates that this material also adopts a disordered bcc structure at high pressure, in contrast to the previously suggested P4/nmm structure. We find that Bi2TeI and Bi3TeI become superconducting at 13 GPa and 11.5 GPa, respectively. The superconducting critical temperature Tc of the bcc phase reaches maximum values of 7 K and 7.5 K for Bi2TeI and Bi3TeI, respectively and dTc/dP < 0 in both cases. The results indicate that disordered alloy bcc superconducting phases appear to be a universal feature of both the Bi-Te and Bi-Te-I systems at high pressure.


title: A fast-convolution based space-time Chebyshev spectral method for peridynamic models

abstract: Peridynamics is a nonlocal generalization of continuum mechanics theory which adresses discontinuous problems without using partial derivatives and replacing its by an integral operator. As a consequence, it finds applications in the framework of the development and evolution of fractures and damages in elastic materials. In this paper we consider a one-dimensional nonlinear model of peridynamics and propose a suitable two-dimensional fast-convolution spectral method based on Chebyshev polynomials to solve the model. This choice allows us to gain the same accuracy both in space and time. We show the convergence of the method and perform several simulations to study the performance of the spectral scheme.


title: Classification Protocols with Minimal Disclosure

abstract: We consider multi-party protocols for classification that are motivated by applications such as e-discovery in court proceedings. We identify a protocol that guarantees that the requesting party receives all responsive documents and the sending party discloses the minimal amount of non-responsive documents necessary to prove that all responsive documents have been received. This protocol can be embedded in a machine learning framework that enables automated labeling of points and the resulting multi-party protocol is equivalent to the standard one-party classification problem (if the one-party classification problem satisfies a natural independence-of-irrelevant-alternatives property). Our formal guarantees focus on the case where there is a linear classifier that correctly partitions the documents.


title: Statistical Foundation Behind Machine Learning and Its Impact on Computer Vision

abstract: This paper revisits the principle of uniform convergence in statistical learning, discusses how it acts as the foundation behind machine learning, and attempts to gain a better understanding of the essential problem that current deep learning algorithms are solving. Using computer vision as an example domain in machine learning, the discussion shows that recent research trends in leveraging increasingly large-scale data to perform pre-training for representation learning are largely to reduce the discrepancy between a practically tractable empirical loss and its ultimately desired but intractable expected loss. Furthermore, this paper suggests a few future research directions, predicts the continued increase of data, and argues that more fundamental research is needed on robustness, interpretability, and reasoning capabilities of machine learning by incorporating structure and knowledge.


title: Deep Learning Assisted Optimization for 3D Reconstruction from Single 2D Line Drawings

abstract: In this paper, we revisit the long-standing problem of automatic reconstruction of 3D objects from single line drawings. Previous optimization-based methods can generate compact and accurate 3D models, but their success rates depend heavily on the ability to (i) identifying a sufficient set of true geometric constraints, and (ii) choosing a good initial value for the numerical optimization. In view of these challenges, we propose to train deep neural networks to detect pairwise relationships among geometric entities (i.e., edges) in the 3D object, and to predict initial depth value of the vertices. Our experiments on a large dataset of CAD models show that, by leveraging deep learning in a geometric constraint solving pipeline, the success rate of optimization-based 3D reconstruction can be significantly improved.


title: OneEE: A One-Stage Framework for Fast Overlapping and Nested Event Extraction

abstract: Event extraction (EE) is an essential task of information extraction, which aims to extract structured event information from unstructured text. Most prior work focuses on extracting flat events while neglecting overlapped or nested ones. A few models for overlapped and nested EE includes several successive stages to extract event triggers and arguments,which suffer from error propagation. Therefore, we design a simple yet effective tagging scheme and model to formulate EE as word-word relation recognition, called OneEE. The relations between trigger or argument words are simultaneously recognized in one stage with parallel grid tagging, thus yielding a very fast event extraction speed. The model is equipped with an adaptive event fusion module to generate event-aware representations and a distance-aware predictor to integrate relative distance information for word-word relation recognition, which are empirically demonstrated to be effective mechanisms. Experiments on 3 overlapped and nested EE benchmarks, namely FewFC, Genia11, and Genia13, show that OneEE achieves the state-of-the-art (SOTA) results. Moreover, the inference speed of OneEE is faster than those of baselines in the same condition, and can be further substantially improved since it supports parallel inference.


title: On the interaction of a magnetic quadrupole moment with an electric field in a rotating frame

abstract: We discuss results obtained recently for a quantum-mechanical model given by a neutral particle with a magnetic quadrupole moment in a radial electric field and a scalar potential proportional to the radial variable in cylindrical coordinates that also includes the noninertial effects of a rotating reference frame. We show that the conjectured allowed values of the cyclotron frequency are a mere artifact of the truncation of the power series used to solve the radial eigenvalue equation. Our analysis proves that the analytical expression for the eigenvalues are far from correct.


title: On Locality of Quantum Information in the Heisenberg Picture for Arbitrary States

abstract: The locality issue of quantum mechanics is a key issue to a proper understanding of quantum physics and beyond. What has been commonly emphasized as quantum nonlocality has received an inspiring examination through the notion of Heisenberg picture of quantum information. Deutsch and Hayden established a local description of quantum information in a setting of quantum information flow in a system of qubits. With the introduction of a slightly modified version of what we call the Deutsch-Hayden matrix values of observables, together with our recently introduced parallel notion of the noncommutative values from a more fundamental perspective, we clarify all the locality issues based on such values as quantum information carried by local observables in any given arbitrary state of a generic composite system. Quantum information as the {\em `quantum' values} of observables gives a transparent conceptual picture of all the. Spatial locality for a projective measurement is also discussed. The pressing question is if and how such information for an entangled system can be retrieved through local processes which can only be addressed with new experimental thinking.


title: Instrument Separation of Symbolic Music by Explicitly Guided Diffusion Model

abstract: Similar to colorization in computer vision, instrument separation is to assign instrument labels (e.g. piano, guitar...) to notes from unlabeled mixtures which contain only performance information. To address the problem, we adopt diffusion models and explicitly guide them to preserve consistency between mixtures and music. The quantitative results show that our proposed model can generate high-fidelity samples for multitrack symbolic music with creativity.


title: Nonlinear Interferometry for Quantum-Enhanced Measurements of Multiphoton Absorption

abstract: Multiphoton absorption is of vital importance in many spectroscopic, microscopic or lithographic applications. However, given that it is an inherently weak process, the detection of multiphoton absorption signals typically requires large field intensities, hindering its applicability in many practical situations. In this work, we show that placing a multiphoton absorbent inside an imbalanced nonlinear interferometer can enhance the precision of multiphoton cross-section estimation with respect to strategies based on direct transmission measurements by coherent or even squeezed light. In particular, the power scaling of the sensitivity with photon flux can be increased by an order of magnitude compared to transmission measurements of the sample with coherent light, meaning that a signal could be observed at substantially reduced excitation intensities. Furthermore, we show that this enhanced measurement precision is robust against experimental imperfections leading to photon losses, which usually tend to degrade the detection sensitivity. We trace the origin of this enhancement to an optimal degree of squeezing which has to be generated in a nonlinear SU(1,1)-interferometer.


title: Painleve-Gullstrand coordinates for Schwarzschild-de Sitter spacetime

abstract: The Painleve-Gullstrand coordinates are extended to describe the black hole in the cosmological environment: the Schwarzschild-de-Sitter black hole, which has two horizons. The extension is made using the Arnowitt-Deser-Misner formalism. In this extension, which describes the metric in the whole range of radial coordinates $0<r < \infty$, there is the point $r=r_0$ at which the shift function (velocity) changes sign. At this point the observer is at rest, while the observers at $r<r_0$ are free falling to the black hole and the observers at $r>r_0$ are free falling towards the cosmological horizon. The existence of the stationary observer allows to determine the temperature of Hawking radiation, which is in agreement with R. Bousso and S.W. Hawking, Phys. Rev. D 54, 6312 (1996). It is the red-shifted modification of the conventional Hawking temperature determined by the gravity at the horizon. We also consider the Painlev\'e-Gullstrand coordinates and their extension for such configurations as Schwarzschild-de-Sitter white hole, where the sign of the shift function is everywhere positive; the black hole in the environment of the contracting de Sitter spacetime, where the sign of the shift function is everywhere negative; and the white hole in the contracting de Sitter spacetime, where the shift velocity changes sign at $r=r_0$.


title: Analytic study of conformable Schrodinger equation with Hydrogen atom

abstract: In this paper, the conformable Schrodinger equation for hydrogen atom with given conformable potential is solved. The conformable wave functions and energy levels are obtained, and the traditional energy levels and wave function for hydrogen atom are recovered when $\alpha = 1$. The probability density for the first three levels and different values of $\alpha$ is plotted. It is observed that the probability density gradually convert from $\alpha=0.5$ to $\alpha = 1$ for all levels.


title: Language-aware Domain Generalization Network for Cross-Scene Hyperspectral Image Classification

abstract: Text information including extensive prior knowledge about land cover classes has been ignored in hyperspectral image classification (HSI) tasks. It is necessary to explore the effectiveness of linguistic mode in assisting HSI classification. In addition, the large-scale pre-training image-text foundation models have demonstrated great performance in a variety of downstream applications, including zero-shot transfer. However, most domain generalization methods have never addressed mining linguistic modal knowledge to improve the generalization performance of model. To compensate for the inadequacies listed above, a Language-aware Domain Generalization Network (LDGnet) is proposed to learn cross-domain invariant representation from cross-domain shared prior knowledge. The proposed method only trains on the source domain (SD) and then transfers the model to the target domain (TD). The dual-stream architecture including image encoder and text encoder is used to extract visual and linguistic features, in which coarse-grained and fine-grained text representations are designed to extract two levels of linguistic features. Furthermore, linguistic features are used as cross-domain shared semantic space, and visual-linguistic alignment is completed by supervised contrastive learning in semantic space. Extensive experiments on three datasets demonstrate the superiority of the proposed method when compared with state-of-the-art techniques.


title: General Formulation of Topos Many-Node Theory

abstract: We consider the created entities (events) in the first moments of universe creation. It is assumed that there exists a causal energetic relationship between all events (nodes) such that all nodes are placed on a world line and each node occupies a region (instead of a point) in space-time, called locale, in mathematical terms. The set of locale nodes form a topos many-node system. Using some basic assumptions, we introduce two kinds of Hamiltonians. By attributing a general structural Hamiltonian to the system, it is shown that the system has an optimized critical dimension with a probable Raman and infrared spectrums. Also, we consider a general nonstructural Hamiltonian which includes a set of commutative self-adjoint operators and an interaction terms due to the spin, charge, or other kinds of probable degrees of freedoms for each $n^{th}$-optimized graph. For finding the state-space, truth values and quantity valued objects of the many-node system, a general procedure is introduced. The set of these values is a classical snapshot of the $n^{th}$-optimized graph which forms its kinematic. We show that the dynamic of the system can be explained by defining a combined map between the $n^{th}$- state-space belongs to the $n^{th}$-graph and the $({n+1)}^{th}$-state-space belong to $({n+1)}^{th}$-graph. Finally, by providing an interpretation of the general formulation of many-node theory, we discuss and explain how one can use the data of the cosmic background radiations and cosmic rays for finding a detailed model of both general structural and nonstructural introduced Hamiltonian. Here, time is no more than the change in truth value during comparison between $n^{th}$ and $({n+1)}^{th}$-graph.


title: An IoT-Enriched Event Log for Process Mining in Smart Factories

abstract: Modern technologies such as the Internet of Things (IoT) are becoming increasingly important in various domains, including Business Process Management (BPM) research. One main research area in BPM is process mining, which can be used to analyze event logs, e.g., for checking the conformance of running processes. However, there are only a few IoT-based event logs available for research purposes. Some of them are artificially generated and the problem occurs that they do not always completely reflect the actual physical properties of smart environments. In this paper, we present an IoT-enriched XES event log that is generated by a physical smart factory. For this purpose, we create the SensorStream XES extension for representing IoT-data in event logs. Finally, we present some preliminary analysis and properties of the log.


title: Sobolev regularity of Gaussian random fields

abstract: In this article, we fully characterize the measurable Gaussian processes $(U(x))_{x\in\mathcal{D}}$ whose sample paths lie in the Sobolev space of integer order $W^{m,p}(\mathcal{D}),\ m\in\mathbb{N}_0,\ 1 <p<+\infty$, where $\mathcal{D}$ is an arbitrary open set. The result is phrased in terms of a form of Sobolev regularity of the covariance function on the diagonal. This is then linked to the existence of suitable Mercer or otherwise nuclear decompositions of the integral operators associated to the covariance function and its cross-derivatives. In the Hilbert case $p=2$, additional links are made w.r.t. the Mercer decompositions of the said integral operators, their trace and the imbedding of the RKHS in $W^{m,2}(\mathcal{D})$. We provide simple examples and partially recover recent results pertaining to the Sobolev regularity of Gaussian processes.


title: GUP Corrected Casimir Wormholes in $f(Q)$ Gravity

abstract: We have presented systematically the effect of the Generalized Uncertainty Principle (GUP) in Casimir wormholes space-time in the recently proposed modified gravity, the so-called symmetric teleparallel gravity or $f(Q)$ gravity. Here $Q$ is the non-metricity scalar that drives the gravitation interaction. We consider two famous GUP relations, such as the Kempf, Mangano, and Mann (KMM) model and the Detournay, Gabriel, and Spindel (DGS) model, in our study. Besides this, we investigate with three different redshift functions under anisotropic fluid located at the throat. Further, we analyzed the obtained wormhole solutions with energy conditions, especially null energy conditions (NEC) at the throat of the wormhole, and encountered that some arbitrary quantity disrespects the classical energy conditions at the wormhole throat of radius $r_0$. Later, the ADM mass and the volume integral quantifier are also discussed to calculate the amount of exotic matter required near the wormhole throat. Additionally, we show the behavior of the equation of state parameters under the effect of GUP.


title: 3D Single-pixel imaging with active sampling patterns and learning based reconstruction

abstract: Single-pixel imaging (SPI) is significant for applications constrained by transmission bandwidth or lighting band, where 3D SPI can be further realized through capturing signals carrying depth. Sampling strategy and reconstruction algorithm are the key issues of SPI. Traditionally, random patterns are often adopted for sampling, but this blindly passive strategy requires a high sampling rate, and even so, it is difficult to develop a reconstruction algorithm that can maintain higher accuracy and robustness. In this paper, an active strategy is proposed to perform sampling with targeted scanning by designed patterns, from which the spatial information can be easily reordered well. Then, deep learning methods are introduced further to achieve 3D reconstruction, and the ability of deep learning to reconstruct desired information under low sampling rates are analyzed. Abundant experiments verify that our method improves the precision of SPI even if the sampling rate is very low, which has the potential to be extended flexibly in similar systems according to practical needs.


title: Statistical Shape Modeling of Biventricular Anatomy with Shared Boundaries

abstract: Statistical shape modeling (SSM) is a valuable and powerful tool to generate a detailed representation of complex anatomy that enables quantitative analysis and the comparison of shapes and their variations. SSM applies mathematics, statistics, and computing to parse the shape into a quantitative representation (such as correspondence points or landmarks) that will help answer various questions about the anatomical variations across the population. Complex anatomical structures have many diverse parts with varying interactions or intricate architecture. For example, the heart is four-chambered anatomy with several shared boundaries between chambers. Coordinated and efficient contraction of the chambers of the heart is necessary to adequately perfuse end organs throughout the body. Subtle shape changes within these shared boundaries of the heart can indicate potential pathological changes that lead to uncoordinated contraction and poor end-organ perfusion. Early detection and robust quantification could provide insight into ideal treatment techniques and intervention timing. However, existing SSM approaches fall short of explicitly modeling the statistics of shared boundaries. This paper presents a general and flexible data-driven approach for building statistical shape models of multi-organ anatomies with shared boundaries that capture morphological and alignment changes of individual anatomies and their shared boundary surfaces throughout the population. We demonstrate the effectiveness of the proposed methods using a biventricular heart dataset by developing shape models that consistently parameterize the cardiac biventricular structure and the interventricular septum (shared boundary surface) across the population data.


title: Resource-Efficient Real-Time Polarization Compensation for MDI-QKD with Rejected Data

abstract: Measurement-device-independent quantum key distribution (MDI-QKD) closes all the security loopholes in the detection system and is a promising solution for secret key sharing. Polarization encoding is the most common QKD encoding scheme, as it is straightforward to prepare and measure. However, implementing polarization encoding in MDI QKD imposes extra challenges, as polarization alignment must be maintained over both mutually unbiased bases and be maintained for both paths (Alice-Charlie and Bob-Charlie). Polarization alignment is usually done by interrupting the QKD process (reducing overall key generation rates) or using additional classical laser sources multiplexed with quantum channels for polarization alignment. Since low key rates and cost are the two most pressing challenges preventing wide adoption of QKD systems, using additional resources or reducing key rates runs contrary to making QKD commercially viable. Therefore, we propose and implement a novel polarization compensation scheme in the MDI-QKD system that avoids the aforementioned drawbacks by recycling part of discarded detection events. Our scheme evaluates the polarization drift in real-time based on single measurements corresponding to decoy intensities. Our fully automated experimental demonstration maintains the average polarization drift below 0.13 rad over 40 km of spooled fibre (without an insulating jacket) for at least four hours. The average quantum bit error rate is 3.8$\%$, and we achieved an average key rate of $7.45\times 10^{-6}$ bits per pulse.


title: A grounded perspective on New Early Dark Energy using ACT, SPT, and BICEP/Keck

abstract: We examine further the ability of the New Early Dark Energy model (NEDE) to resolve the current tension between the Cosmic Microwave Background (CMB) and local measurements of $H_0$ and the consequences for inflation. We perform new Bayesian analyses, including the current datasets from the ground-based CMB telescopes Atacama Cosmology Telescope (ACT), the South Pole Telescope (SPT), and the BICEP/Keck telescopes, employing an updated likelihood for the local measurements coming from the S$H_0$ES collaboration. Using the S$H_0$ES prior on $H_0$, the combined analysis with Baryonic Acoustic Oscillations (BAO), Pantheon, Planck and ACT improves the best-fit by $\Delta\chi^2 = -15.9$ with respect to $\Lambda$CDM, favors a non-zero fractional contribution of NEDE, $f_{\rm NEDE} > 0$, by $4.8\sigma$, and gives a best-fit value for the Hubble constant of $H_0 = 72.09$ km/s/Mpc (mean $71.48_{-0.81}^{+0.79}$ with $68\%$ C.L.). A similar analysis using SPT instead of ACT yields consistent results with a $\Delta \chi^2 = - 23.1$ over $\Lambda$CDM, a preference for non-zero $f_{\rm NEDE}$ of $4.7\sigma$ and a best-fit value of $H_0=71.77$ km/s/Mpc (mean $71.43_{-0.84}^{+0.84}$ with $68\%$ C.L.). We also provide the constraints on the inflation parameters $r$ and $n_s$ coming from NEDE, including the BICEP/Keck 2018 data, and show that the allowed upper value on the tensor-scalar ratio is consistent with the $\Lambda$CDM bound, but, as also originally found, with a more blue scalar spectrum implying that the simplest curvaton model is now favored over the Starobinsky inflation model.


title: New recursions for tree-level correlators in (Anti) de Sitter space

abstract: We present for the first time classical multiparticle solutions in Anti de Sitter space (AdS) involving scalars, gluons, and gravitons. They are recursively defined through multiparticle currents which reduce to Berends-Giele currents in the flat space limit. This construction exposes a compact definition of tree-level boundary correlators using a general prescription that removes unphysical boundary contributions. Similarly to the flat space perturbiner, a convenient gauge choice leads to a scalar basis for all degrees of freedom, while the tensor structure is exclusively captured by field theory vertices. This provides a fully automated way to compute AdS boundary correlators to any multiplicity and cosmological wavefunction coefficients after Wick-rotating to de Sitter space.


title: Hydrodynamic magnetoresistance in graphene Corbino devices

abstract: We study hydrodynamic electron magnetotransport in graphene devices. We show that in these systems a distinct mechanism of magnetoresistance appears, which is absent in systems with Galilean-invariant electron liquid. The resulting magnetoresistance depends on the intrinsic conductivity and viscosity of the electron liquid, and becomes especially pronounced near charge neutrality. We obtain analytic expressions for magnetoransport coefficients of Corbino devices, and obtain estimates for the electrical and thermal magnetoresistances for monolayer and bilayer systems at charge neutrality. Magnetoresistance becomes strong (of order 100%) at relatively weak fields, at which the kinetic coefficients of the electron liquid are practically unaffected by the magnetic field.


title: Kicks and Induced Spins of Neutron Stars at Birth

abstract: Using simulations of non-rotating supernova progenitors, we explore the kicks imparted to and the spins induced in the compact objects birthed in core collapse. We find that the recoil due to neutrino emissions can be a factor affecting core recoil, comparable to and at times larger than the corresponding kick due to matter recoil. This result would necessitate a revision of the general model of the origin of pulsar proper motions. In addition, we find that the sign of the net neutrino momentum can be opposite to the sign of the corresponding matter recoil. As a result, at times the pulsar recoil and ejecta can be in the same direction. Moreover, our results suggest that the duration of the dipole in the neutrino emissions can be shorter than the duration of the radiation of the neutron-star binding energy. This allows a larger dipole asymmetry to arise, but for a shorter time, resulting in kicks in the observed pulsar range. Furthermore, we find that the spin induced by the aspherical accretion of matter can leave the residues of collapse with spin periods comparable to those inferred for radio pulsars and that there seems to be a slight anti-correlation between the direction of the induced spin and the net kick direction. This could explain such a correlation among observed radio pulsars. Finally, we find that the kicks imparted to black holes are due to the neutrino recoil alone, resulting in birth kicks $\le$100 km s$^{-1}$ most of the time.


title: Could kilomasers pinpoint supermassive stars?

abstract: A strong nuclear kilomaser, W1, has been found in the nearby galaxy NGC 253, associated with a forming super star cluster. Kilomasers could arise from the accretion disc around supermassive stars (>10^3 Msun), hypothetical objects that have been proposed as polluters responsible for the chemical peculiarities in globular clusters. The supermassive stars would form via runaway collisions, simultaneously with the cluster. Their discs are perturbed by stellar flybys, inspiralling and colliding stars. This raises the question if an accretion disc would at all be able to survive in such a dynamic environment and mase water lines. We investigated what the predicted maser spectrum of such a disc would look like using 2D hydrodynamic simulations and compared this to the W1 kilomaser. We derived model maser spectra from the simulations by using a general maser model for appropriate disc temperatures. All our model discs survived. The model maser spectra for the most destructive case for the simulations of M = 1000 Msun are a reasonable match with the W1 kilomaser spectrum in terms of scaling, flux values and some of the signal trends. Details in the spectrum suggest that a star of a few 1000 Msun might fit even better, with 10,000 Msun clearly giving too large velocities. Our investigations thus support the hypothesis that kilomasers could pinpoint supermassive stars.


title: Blazar constraints on neutrino-dark matter scattering

abstract: Neutrino emission in coincidence with gamma rays has been observed from the blazar TXS 0506+056 by the IceCube telescope. Neutrinos from the blazar had to pass through a dense spike of dark matter (DM) surrounding the central black hole. The observation of such a neutrino implies new upper bounds on the neutrino-DM scattering cross section as a function of DM mass. The constraint is stronger than existing ones for a range of DM masses, if the cross section rises linearly with energy. For constant cross sections, competitive bounds are also possible, depending on details of the DM spike.


title: Spatial and orbital planes of the Milky Way satellites: unusual but consistent with $\Lambda$CDM

abstract: We examine the spatial distribution and orbital pole correlations of satellites in a suite of zoom-in high-resolution dissipationless simulations of Miky Way (MW) sized haloes. We use the measured distribution to estimate the incidence of satellite configurations as flattened and as correlated in their orbital pole distribution as satellite system of the Milky Way. We confirm that this incidence is sensitive to the radial distribution of subhaloes and thereby to the processes that affect it, such as artificial disruption due to numerical effects and disruption due to the central disk. Controlling for the resolution effects and bracketing the effects of the disk, we find that the MW satellite system is somewhat unusual (at the $\approx 2-3\sigma$ level) but is statistically consistent with the $\Lambda$CDM model, in general agreement with results and conclusions of other recent studies.


title: Concentration bounds for quantum states and limitations on the QAOA from polynomial approximations

abstract: We prove concentration bounds for the following classes of quantum states: (i) output states of shallow quantum circuits, answering an open question from [DPMRF22]; (ii) injective matrix product states; (iii) output states of dense Hamiltonian evolution, i.e. states of the form $e^{\iota H^{(p)}} \cdots e^{\iota H^{(1)}} |\psi_0\rangle$ for any $n$-qubit product state $|\psi_0\rangle$, where each $H^{(i)}$ can be any local commuting Hamiltonian satisfying a norm constraint, including dense Hamiltonians with interactions between any qubits. Our proofs use polynomial approximations to show that these states are close to local operators. This implies that the distribution of the Hamming weight of a computational basis measurement (and of other related observables) concentrates. An example of (iii) are the states produced by the quantum approximate optimisation algorithm (QAOA). Using our concentration results for these states, we show that for a random spin model, the QAOA can only succeed with negligible probability even at super-constant level $p = o(\log \log n)$, assuming a strengthened version of the so-called overlap gap property. This gives the first limitations on the QAOA on dense instances at super-constant level, improving upon the recent result [BGMZ22].


title: Noncommutative hamiltonian formalism for noncommutative gravity

abstract: We present a covariant canonical formalism for noncommutative gravity, and in general for noncommutative geometric theories defined via a twisted $\star$-wedge product between forms. Noether theorems are generalized to the noncommutative setting, and gauge generators are constructed in a twisted phase space with $\star$-deformed Poisson bracket. This formalism is applied to noncommutative $d=4$ vierbein gravity, and allows to find the canonical generators of the tangent space $\star$-gauge group.


title: HI 21-cm absorption in radio-loud AGN with double-peaked [OIII] emission

abstract: Different physical processes in galaxy evolution, such as galaxy mergers that lead to coalescence of dual Active Galactic Nuclei (AGN) and outflows emanating from the narrow line region, can leave their imprint on the optical spectra of AGN in the form of double-peaked narrow emission lines. To investigate the neutral gas in the centres of such AGN, we have conducted a pilot survey of HI 21-cm absorption, using the upgraded Giant Metrewave Radio Telescope (uGMRT), in radio-loud AGN whose optical spectra show double-peaked [OIII] emission lines at z<=0.4 (median z~0.14). Among the eight sources for which we could obtain clean spectra, we detect HI 21-cm absorption in three sources (detection rate of 38(+36/-20)%) and find tentative indication of absorption in two other sources. The detection rate of HI 21-cm absorption is tentatively higher for the systems that show signatures of interaction or tidal disturbance (>~50%) in the ground-based optical images than that for the systems that appear single and undisturbed (~25%). This is consistent with the high incidence of HI 21-cm absorption observed in z<=0.2 galaxy mergers. Higher spatial resolution spectroscopy is required to confirm the origin of the HI absorbing gas, i.e. either gas infalling onto the radio-loud AGN, outflowing gas ejected by the AGN, or gas in rotation on the galactic-scale or circumnuclear discs.


title: A MUSE view of the massive merging galaxy cluster ACT-CL J0102-4915 (El Gordo) at z = 0.87: robust strong lensing model and data release

abstract: We present a detailed strong lensing analysis of the massive and distant ($z=0.870$) galaxy cluster ACT-CL J0102$-$4915 (ACT0102, also known as El Gordo), taking advantage of new spectroscopic data from the Multi Unit Spectroscopic Explorer (MUSE) on the Very Large Telescope, and archival imaging from the Hubble Space Telescope. Thanks to the MUSE data, we measure secure redshifts for 374 single objects, including 23 multiply lensed galaxies, and 167 cluster members of ACT0102. The observed positions of 56 multiple images, along with their new spectroscopic redshift measurements, are used as constraints for our strong lensing model. Remarkably, some multiple images are detected out to a large projected distance of $\approx 1$ Mpc from the brightest cluster galaxy, allowing us to estimate a projected total mass value of $1.84_{-0.04}^{+0.03} \times 10^{15}\, \rm M_{\odot}$ within that radius. We find that we need two extended cluster mass components, the mass contributions from the cluster members and the additional lensing effect of a foreground ($z=0.633$) group of galaxies, to predict the positions of all multiple images with a root mean square offset of $0.75"$. The main cluster-scale mass component is centered very closely to the brightest cluster galaxy and the other extended mass component is located in the north-west region of the cluster. These two mass components have very similar values of mass projected within 300 kpc from their centers, namely $2.29_{-0.10}^{+0.09}\times10^{14}\,\rm M_{\odot}$ and $2.10_{-0.09}^{+0.08}\times10^{14}\,\rm M_{\odot}$, in agreement with the major merging scenario of ACT0102. We make publicly available the lens model, including the magnification maps and posterior distributions of the model parameter values, as well as the full spectroscopic catalogue containing all redshift measurements obtained with MUSE.


title: The Quadrupole Moment of Compact Binaries to the Fourth post-Newtonian Order: Relating the Harmonic and Radiative Metrics

abstract: Motivated by the completion of the fourth post-Newtonian (4PN) gravitational-wave generation from compact binary systems, we analyze and contrast different constructions of the metric outside an isolated system, using post-Minkowskian expansions. The metric in "harmonic" coordinates has been investigated previously, in particular to compute tails and memory effects. However, it is plagued by powers of the logarithm of the radial distance $r$ when $r\to\infty$ (with $t-r/c=$ const). As a result, the tedious computation of the "tail-of-memory" effect, which enters the gravitational-wave flux at 4PN order, is more efficiently performed in the so-called "radiative" coordinates, which admit a (Bondi-type) expansion at infinity in simple powers of $r^{-1}$, without any logarithms. Here we consider a particular construction, performed order by order in the post-Minkowskian expansion, which directly yields a metric in radiative coordinates. We relate both constructions, and prove that they are physically equivalent as soon as a relation between the "canonical" moments which parametrize the radiative metric, and those parametrizing the harmonic metric, is verified. We provide the appropriate relation for the mass quadrupole moment at 4PN order, which will be crucial when deriving the "tail-of-memory" contribution to the gravitational flux.


title: Flux Vacua with Approximate Flat Directions

abstract: We present a novel method to obtain type IIB flux vacua with flat directions at tree level. We perform appropriate choices of flux quanta that induce relations between the flux superpotential and its derivatives. This method is implemented in toroidal and Calabi-Yau compactifications in the large complex structure limit. Explicit solutions are obtained and classified on the basis of duality equivalences. In the toroidal case we present solutions with N=1 and N=2 supersymmetry and arbitrarily weak coupling. In Calabi-Yaus we find novel perturbatively flat vacua, as well as solutions with non-zero flux superpotential and an axionic flat direction which represent a promising starting point for de Sitter constructions from non-zero F-terms in the complex structure sector. The higher order (perturbative and non-perturbative) effects that can lift these flat directions are discussed. We also outline applications in a wide variety of settings involving the classical Regge growth conjecture, inflation and quintessence, supersymmetry breaking and F-term de Sitter uplifting.


title: Silicide-based Josephson field effect transistors for superconducting qubits

abstract: Scalability in the fabrication and operation of quantum computers is key to move beyond the NISQ era. So far, superconducting transmon qubits based on aluminum Josephson tunnel junctions have demonstrated the most advanced results, though this technology is difficult to implement with large-scale facilities. An alternative "gatemon" qubit has recently appeared, which uses hybrid superconducting/semiconducting (S/Sm) devices as gate-tuned Josephson junctions. Current implementations of these use nanowires however, of which the large-scale fabrication has not yet matured either. A scalable gatemon design could be made with CMOS Josephson Field-Effect Transistors as tunable weak link, where an ideal device has leads with a large superconducting gap that contact a short channel through high-transparency interfaces. High transparency, or low contact resistance, is achieved in the microelectronics industry with silicides, of which some turn out to be superconducting. The first part of the experimental work in this thesis covers material studies on two such materials: $\text{V}_3\text{Si}$ and PtSi, which are interesting for their high $T_\text{c}$, and mature integration, respectively. The second part covers experimental results on 50 nm gate length PtSi transistors, where the transparency of the S/Sm interfaces is modulated by the gate voltage. At low voltages, the transport shows no conductance at low energy, and well-defined features at the superconducting gap. The barrier height at the S/Sm interface is reduced by increasing the gate voltage, until a zero-bias peak appears around zero drain voltage, which reveals the appearance of an Andreev current. The successful gate modulation of Andreev current in a silicon-based transistor represents a step towards fully CMOS-integrated superconducting quantum computers.

categories: physics.app-ph cond-mat.mes-hall cond-mat.supr-con quant-ph


title: The Poor Old Heart of the Milky Way

abstract: Massive disk galaxies like our Milky Way should host an ancient, metal-poor, and centrally concentrated stellar population. This population reflects the star formation and enrichment in the few most massive progenitor components that coalesced at high redshift to form the proto-Galaxy. While metal-poor stars are known to reside in the inner few kiloparsecs of our Galaxy, current data do not yet provide a comprehensive picture of such a metal-poor "heart" of the Milky Way. We use information from Gaia DR3, especially the XP spectra, to construct a sample of 2 million bright (BP $<15.5$ mag) giant stars within $30^\circ$ of the Galactic Center with robust [M/H] estimates, $\delta$ [M/H] $\lesssim 0.1$. For most sample members we can calculate orbits based on Gaia RVS velocities and astrometry. This sample reveals an extensive, ancient, and metal-poor population that includes $\sim 18,000$ stars with $-2.7<$ [M/H] $<-1.5$, representing a stellar mass of $\gtrsim 5\times 10^7$ M$_\odot$. The spatial distribution of these [M/H] $<-1.5$ stars has a Gaussian extent of only $\sigma_{\mathrm{R_{GC}}} \sim 2.7$ kpc around the Galactic center, with most of these orbits being confined to the inner Galaxy. At high orbital eccentricities, there is clear evidence for accreted halo stars in their pericentral orbit phase. Stars with [M/H] $< -2$ show no net rotation, whereas those with [M/H] $\sim -1$ are rotation dominated. Most of the tightly bound stars show $[\alpha/\text{Fe}]$-enhancement and [Al/Fe]-[Mn/Fe] abundance patterns expected for an origin in the more massive portions of the proto-Galaxy. These central, metal-poor stars most likely predate the oldest part of the disk ($\tau_{\text{age}}\approx 12.5$ Gyrs), which implies that they formed at $z\gtrsim 5$, forging the proto-Milky Way.


title: Average Symmetry-Protected Topological Phases

abstract: Symmetry-protected topological (SPT) phases are many-body quantum states that are topologically nontrivial as long as the relevant symmetries are unbroken. In this work we show that SPT phases are also well defined for average symmetries, where quenched disorders locally break the symmetries, but restore the symmetries upon disorder averaging. An example would be crystalline SPT phases with imperfect lattices. Specifically, we define the notion of average SPT for disordered ensembles of quantum states. We then classify and characterize a large class of average SPT phases using a decorated domain wall approach, in which domain walls (and more general defects) of the average symmetries are decorated with lower dimensional topological states. We then show that if the decorated domain walls have dimension higher than $(0+1)d$, then the boundary states of such average SPT will almost certainly be long-range entangled, with probability approaching $1$ as the system size approaches infinity. This generalizes the notion of t'Hooft anomaly to average symmetries, which we dub "average anomaly". The average anomaly can also manifest as constraints on lattice systems similar to the Lieb-Schultz-Mattis (LSM) theorems, but with only average lattice symmetries. We also generalize our problem to "quantum disorders" that can admit short-range entanglement on their own, and develop a theory of such generalized average SPTs purely based on density matrices and quantum channels. Our results indicate that topological quantum phenomena associated with average symmetries can be at least as rich as those with ordinary exact symmetries.

categories: cond-mat.str-el cond-mat.dis-nn cond-mat.mes-hall cond-mat.stat-mech quant-ph


title: Celestial Liouville Theory for Yang-Mills Amplitudes

abstract: We consider Yang-Mills theory with the coupling constant and theta angle determined by the vacuum expectation values of a dynamical (complex) dilaton field. We discuss the tree-level N-gluon MHV scattering amplitudes in the presence of a nontrivial background dilaton field and construct the corresponding celestial amplitudes by taking Mellin transforms with respect to the lightcone energies. In this way, we obtain two-dimensional CFT correlators of primary fields on the celestial sphere. We show that the celestial Yang-Mills amplitudes evaluated in the presence of a spherical dilaton shockwave are given by the correlation functions of primary field operators factorized into the holomorphic current operators times the "light" Liouville operators. They are evaluated in the semiclassical limit of Liouville theory (the limit of infinite central charge) and are determined by the classical Liouville field describing metrics on the celestial sphere.


title: A Generative Model for Quasar Spectra

abstract: We build a multi-output generative model for quasar spectra and the properties of their black hole engines, based on a Gaussian process latent-variable model. This model treats every quasar as a vector of latent properties such that the spectrum and all physical properties of the quasar are associated with non-linear functions of those latent parameters; the Gaussian process kernel functions define priors on the function space. Our generative model is trained with a justifiable likelihood function that allows us to treat heteroscedastic noise and missing data correctly, which is crucial for all astrophysical applications. It can predict simultaneously unobserved spectral regions, as well as the physical properties of quasars in held-out test data. We apply the model to rest-frame ultraviolet and optical quasar spectra for which precise black hole masses (based on reverberation mapping measurements) are available. Unlike reverberation-mapping studies, which require multi-epoch data, our model predicts black hole masses from single-epoch spectra, even with limited spectral coverage. We demonstrate the capabilities of the model by predicting black hole masses and unobserved spectral regions. We find that we predict black hole masses at close to the best possible accuracy.


title: Shaken, not blown: the gentle baryonic feedback of nearby starburst dwarf galaxies

abstract: Baryonic feedback is expected to play a key role in regulating the star formation of low-mass galaxies by producing galaxy-scale winds associated with mass-loading factors $\beta\!\sim\!1\!-\!50$. We have tested this prediction using a sample of 19 nearby systems with stellar masses $10^7\!<\!M_\star/{\rm M}_{\odot}\!<\!10^{10}$, mostly lying above the main sequence of star-forming galaxies. We used MUSE@VLT optical integral field spectroscopy to study the warm ionised gas kinematics of these galaxies via a detailed modelling of their H$\alpha$ emission line. The ionised gas is characterised by irregular velocity fields, indicating the presence of non-circular motions of a few tens of km/s within galaxy discs, but with intrinsic velocity dispersion of $40$-$60$ km/s that are only marginally larger than those measured in main-sequence galaxies. Galactic winds, defined as gas at velocities larger than the galaxy escape speed, encompass only a few percent of the observed fluxes. Mass outflow rates and loading factors are strongly dependent on $M_\star$, star formation rate (SFR), SFR surface density and specific SFR. For $M_\star$ of $10^8$ M$_\odot$ we find $\beta\simeq0.02$, which is more than two orders of magnitude smaller than the values predicted by theoretical models of galaxy evolution. In our galaxy sample, baryonic feedback stimulates a gentle gas cycle rather than causing a large-scale blow out.


title: Fluid nature constrains Horndeski gravity

abstract: The elusive physical nature of Horndeski gravity is elucidated in a new approach depicting this class of theories as a dissipative effective fluid. Requiring the constitutive equations of the latter to be those of a Newtonian fluid restricts the theory to only two disconnected subclasses of "viable" Horndeski gravity. Therefore, a stress-energy tensor of Horndeski effective fluid, linear in the first derivatives of the fluid's 4-velocity, is a sufficient condition for gravitational waves to propagate at light speed. All other Horndeski theories correspond to exotic non-Newtonian effective fluids.


title: BASS. XXXVI. Constraining the Local Supermassive Black Hole - Halo Connection with BASS DR2 AGN

abstract: We investigate the connection between supermassive black holes (SMBHs) and their host dark matter halos in the local universe using the clustering statistics and luminosity function of AGN from the Swift/BAT AGN Spectroscopic survey (BASS DR2). By forward-modeling AGN activity into snapshot halo catalogs from N-body simulations, we test a scenario in which SMBH mass correlates with dark matter (sub)halo mass for fixed stellar mass. We compare this to a model absent of this correlation, where stellar mass alone determines the SMBH mass. We find that while both simple models are able to largely reproduce the abundance and overall clustering of AGN, the model in which black hole mass is tightly correlated with halo mass is preferred by the data by $1.8\sigma$. When including an independent measurement on the black hole mass-halo mass correlation, this model is preferred by $4.6\sigma$. We show that the clustering trends with black hole mass can further break the degeneracies between the two scenarios, and that our preferred model reproduces the measured clustering differences on 1-halo scales between large and small black hole masses. These results indicate that the halo binding energy is fundamentally connected to the growth of supermassive black holes.


title: Consistent Kaluza-Klein truncations and two-dimensional gauged supergravity

abstract: We consider generalized Scherk-Schwarz reductions of E$_9$ exceptional field theory to D=2 space-time dimensions and in particular construct the resulting scalar potential of all gauged supergravities that can be obtained in this way. This provides the first general expression for a multitude of theories with an interesting structure of vacua, covering potentially many new AdS$_2$ cases. As an application, we prove the consistency of the truncation of eleven-dimensional supergravity on $S^8\times S^1$ to SO(9) gauged maximal supergravity. Fluctuations around its supersymmetric SO(9)-invariant vacuum describe holographically the dynamics of interacting D0-branes.


title: Neutrino masses, flavor anomalies and muon $\boldsymbol{g-2}$ from dark loops

abstract: The lepton sector of the Standard Model is at present haunted by several intriguing anomalies, including an emerging pattern of deviations in $b \to s \ell \ell$ processes, with hints of lepton flavor universality violation, and a discrepancy in the muon anomalous magnetic moment. More importantly, it cannot explain neutrino oscillation data, which necessarily imply the existence of non-zero neutrino masses and lepton mixings. We propose a model that accommodates all the aforecited anomalies, induces neutrino masses and provides a testable dark matter candidate. This is achieved by introducing a dark sector contributing to the observables of interest at the 1-loop level. Our setup provides a very economical explanation to all these open questions in particle physics and is compatible with the current experimental constraints.


title: Tracing the Milky Way warp and spiral arms with classical Cepheids

abstract: Mapping the Galactic spiral structure is a difficult task since the Sun is located in the Galactic plane and because of dust extinction. For these reasons, molecular masers in radio wavelengths have been used with great success to trace the Milky Way spiral arms. Recently, Gaia parallaxes have helped in investigating the spiral structure in the Solar extended neighborhood. In this paper, we propose to determine the location of the spiral arms using Cepheids since they are bright, young supergiants with accurate distances (they are the first ladder of the extragalactic distance scale). They can be observed at very large distances; therefore, we need to take the Galactic warp into account. Thanks to updated mid-infrared photometry and to the most complete catalog of Galactic Cepheids, we derived the parameters of the warp using a robust regression method. Using a clustering algorithm, we identified groups of Cepheids after having corrected their Galactocentric distances from the (small) effects of the warp. We derived new parameters for the Galactic warp, and we show that the warp cannot be responsible for the increased dispersion of abundance gradients in the outer disk reported in previous studies. We show that Cepheids can be used to trace spiral arms, even at large distances from the Sun. The groups we identify are consistent with previous studies explicitly deriving the position of spiral arms using young tracers (masers, OB(A) stars) or mapping overdensities of upper main-sequence stars in the Solar neighborhood thanks to Gaia data.


title: Optical conductivity as a probe of the interaction-driven metal in rhombohedral trilayer graphene

abstract: Study of the strongly correlated states in van der Waals heterostructures is one of the central topics in modern condensed matter physics. Among these, the rhombohedral trilayer graphene (RTG) occupies a prominent place since it hosts a variety of interaction-driven phases, with the metallic ones yielding exotic superconducting orders upon doping. Motivated by these experimental findings, we show within the framework of the low-energy Dirac theory that the optical conductivity can distinguish different candidates for a paramagnetic metallic ground state in this system. In particular, this observable shows a single peak in the fully gapped valence-bond state. On the other hand, the bond-current state features two pronounced peaks in the optical conductivity as the probing frequency increases. Finally, the rotational symmetry breaking charge-density wave exhibits a minimal conductivity with the value independent of the amplitude of the order parameter, which corresponds precisely to the splitting of the two cubic nodal points at the two valleys into two triplets of the band touching points featuring linearly dispersing quasiparticles. These features represent the smoking gun signatures of different candidate order parameters for the paramagnetic metallic ground state, which should motivate further experimental studies of the RTG.


title: A theory of criticality for quantum ferroelectric metals

abstract: A variety of compounds, for example doped paraelectrics and polar metals, exhibit both ferroelectricity and correlated electronic phenomena such as low-density superconductivity and anomalous transport. Characterizing such properties is tied to understanding the quantum dynamics of inversion symmetry breaking in the presence of itinerant electrons. Here, we present a comprehensive analysis of the normal state properties of a metal near a quantum critical transition to a ferroelectric state, in both two and three dimensions. Starting from a minimal model of electrons coupled to a \emph{transverse} polar phonon via a Rashba-type spin-orbit interaction, we compute the dynamical response of both electrons and phonons. We find that the system can evince both Fermi and non-Fermi liquid phases, as well as enhanced pairing in both singlet and triplet channels. Furthermore, we systematically compute corrections to one-loop theory and find a tendency to quantum order-by-disorder, leading to a phase diagram that can include second order, first order, and finite-momentum phase transitions. Finally, we show that the entire phase diagram can be controlled via application of external strain, either compressive or volume-preserving. Our results provide a map of the dynamical and thermodynamical phase space of quantum ferroelectic metals, which can serve in characterizing existing materials and in seeking applications for quantum technologies.


title: Gross-Neveu-Heisenberg criticality from $2+\boldsymbol{\epsilon}$ expansion

abstract: The Gross-Neveu-Heisenberg universality class describes a continuous quantum phase transition between a Dirac semimetal and an antiferromagnetic insulator. Such quantum critical points have originally been discussed in the context of Hubbard models on $\pi$-flux and honeycomb lattices, but more recently also in Bernal-stacked bilayer models, of potential relevance for bilayer graphene. Here, we demonstrate how the critical behavior of this fermionic universality class can be computed within an $\epsilon$ expansion around the lower critical space-time dimension of two. This approach is complementary to the previously studied expansion around the upper critical dimension of four. The crucial technical novelty near the lower critical dimension is the presence of different four-fermion interaction channels at the critical point, which we take into account in a Fierz-complete way. By interpolating between the lower and upper critical dimensions, we obtain improved estimates for the critical exponents in 2+1 space-time dimensions. For the situation relevant to single-layer graphene, we find an unusually small leading-correction-to-scaling exponent, arising from the competition between different interaction channels. This suggests that corrections to scaling may need to be taken into account when comparing analytical estimates with numerical data from finite-size extrapolations.


title: The Effects Of Relativistic Hidden Sector Particles on the Matter Power Spectrum

abstract: If dark matter resides in a hidden sector minimally coupled to the Standard Model, another particle within the hidden sector might dominate the energy density of the early universe temporarily, causing an early matter-dominated era (EMDE). During an EMDE, matter perturbations grow more rapidly than they would in a period of radiation domination, which leads to the formation of microhalos much earlier than they would form in standard cosmological scenarios. These microhalos boost the dark matter annihilation signal, but this boost is highly sensitive to the small-scale cut-off in the matter power spectrum. If the dark matter is sufficiently cold, this cut-off is set by the relativistic pressure of the particle that dominates the hidden sector. We determine the evolution of dark matter density perturbations in this scenario, obtaining the power spectrum at the end of the EMDE. We analyze the suppression of perturbations due to the relativistic pressure of the dominant hidden sector particle and express the cut-off scale and peak scale for which the matter power spectrum is maximized in terms of the properties of this particle. We also supply transfer functions to relate the matter power spectrum with a small-scale cut-off resulting from the pressure of the dominant hidden sector particle to the matter power spectrum that results from a cold hidden sector. These transfer functions facilitate the quick computation of accurate matter power spectra in EMDE scenarios with initially hot hidden sectors and allow us to identify which models significantly enhance the microhalo abundance.


title: Spatiotemporal Cardiac Statistical Shape Modeling: A Data-Driven Approach

abstract: Clinical investigations of anatomy's structural changes over time could greatly benefit from population-level quantification of shape, or spatiotemporal statistic shape modeling (SSM). Such a tool enables characterizing patient organ cycles or disease progression in relation to a cohort of interest. Constructing shape models requires establishing a quantitative shape representation (e.g., corresponding landmarks). Particle-based shape modeling (PSM) is a data-driven SSM approach that captures population-level shape variations by optimizing landmark placement. However, it assumes cross-sectional study designs and hence has limited statistical power in representing shape changes over time. Existing methods for modeling spatiotemporal or longitudinal shape changes require predefined shape atlases and pre-built shape models that are typically constructed cross-sectionally. This paper proposes a data-driven approach inspired by the PSM method to learn population-level spatiotemporal shape changes directly from shape data. We introduce a novel SSM optimization scheme that produces landmarks that are in correspondence both across the population (inter-subject) and across time-series (intra-subject). We apply the proposed method to 4D cardiac data from atrial-fibrillation patients and demonstrate its efficacy in representing the dynamic change of the left atrium. Furthermore, we show that our method outperforms an image-based approach for spatiotemporal SSM with respect to a generative time-series model, the Linear Dynamical System (LDS). LDS fit using a spatiotemporal shape model optimized via our approach provides better generalization and specificity, indicating it accurately captures the underlying time-dependency.


title: Mixed approximation of nonlinear acoustic equations: Well-posedness and a priori error analysis

abstract: Accurate simulation of nonlinear acoustic waves is essential for the continued development of a wide range of (high-intensity) focused ultrasound applications. This article explores mixed finite element formulations of classical strongly damped quasilinear models of ultrasonic wave propagation; the Kuznetsov and Westervelt equations. Such formulations allow simultaneous retrieval of the acoustic particle velocity and either the pressure or acoustic velocity potential, thus characterizing the entire ultrasonic field at once. Using non-standard energy analysis and a fixed-point technique, we establish sufficient conditions for the well-posedness, stability, and optimal a priori errors in the energy norm for the semi-discrete equations. For the Westervelt equation, we also determine the conditions under which the error bounds can be made uniform with respect to the involved strong dissipation parameter. A byproduct of this analysis is the convergence rate for the inviscid (undamped) Westervelt equation in mixed form. Additionally, we discuss convergence in the $L^q(\Omega)$ norm for the involved scalar quantities, where $q$ depends on the spatial dimension. Finally, computer experiments for the Raviart--Thomas (RT) and Brezzi--Douglas--Marini (BDM) elements are performed to confirm the theoretical findings.


title: Nonlinear Color-Metallicity Relations of Globular Clusters. XI. Nonlinearity Effect Revealed by NGC 5128 (Centaurus A) and NGC 4594 (Sombrero) Galaxies

abstract: Metallicity distributions (MDs) of globular clusters (GCs) provide crucial clues for the assembly and star formation history of their host galaxies. GC colors, when GCs are old, have been used as a proxy of GC metallicities. Bimodal GC color distributions (CDs) observed in most early-type galaxies have been interpreted as bimodal MDs for decades, suggesting the presence of merely two GC subpopulations within single galaxies. However, the conventional view has been challenged by a new theory that nonlinear metallicity-to-color conversion can cause bimodal CDs from unimodal MDs. The unimodal MDs seem natural given that MDs involved many thousand protogalaxies. The new theory has been tested and corroborated by various observational and theoretical studies. Here we examine the nonlinear nature of GC color-metallicity relations (CMRs) using photometric and spectroscopic GC data of NGC 5128 (Centaurus A) and NGC 4594 (Sombrero), in comparison with stellar population simulations. We find that, with a slight offset in color, the overall shapes of observed and modeled CMRs agree well for all available colors. Diverse color-depending morphologies of GC CDs of the two galaxies are well reproduced based on their observed spectroscopic MDs via our CMR models. The results corroborate the nonlinear CMR interpretation of the GC color bimodality, shedding further light on theories of galaxy formation.


title: Stochastic Data-Driven Variational Multiscale Reduced Order Models

abstract: Trajectory-wise data-driven reduced order models (ROMs) tend to be sensitive to training data, and thus lack robustness. We propose to construct a robust stochastic ROM closure (S-ROM) from data consisting of multiple trajectories from random initial conditions. The S-ROM is a low-dimensional time series model for the coefficients of the dominating proper orthogonal decomposition (POD) modes inferred from data. Thus, it achieves reduction both space and time, leading to simulations orders of magnitude faster than the full order model. We show that both the estimated POD modes and parameters in the S-ROM converge when the number of trajectories increases. Thus, the S-ROM is robust when the training data size increases. We demonstrate the S-ROM on a 1D Burgers equation with a viscosity $\nu= 0.002$ and with random initial conditions. The numerical results verify the convergence. Furthermore, the S-ROM makes accurate trajectory-wise predictions from new initial conditions and with a prediction time far beyond the training range, and it quantifies the spread of uncertainties due to the unresolved scales.


title: Emergent hypernetworks in weakly coupled oscillators

abstract: Networks of weakly coupled oscillators had a profound impact on our understanding of complex systems. Studies on model reconstruction from data have shown prevalent contributions from hypernetworks with triplet and higher interactions among oscillators, in spite that such models were originally defined as oscillator networks with pairwise interactions. Here, we show that hypernetworks can spontaneously emerge even in the presence of pairwise albeit nonlinear coupling given certain triplet frequency resonance conditions. The results are demonstrated in experiments with electrochemical oscillators and in simulations with integrate-and-fire neurons. By developing a comprehensive theory, we uncover the mechanism for emergent hypernetworks by identifying appearing and forbidden frequency resonant conditions. Furthermore, it is shown that microscopic linear (difference) coupling among units results in coupled mean fields, which have sufficient nonlinearity to facilitate hypernetworks. Our findings shed light on the apparent abundance of hypernetworks and provide a constructive way to predict and engineer their emergence.


title: Probing ultralight scalar, vector and tensor dark matter with pulsar timing arrays

abstract: Pulsar timing arrays (PTAs) are sensitive to oscillations in the gravitational potential along the line-of-sight due to ultralight particle pressure. We calculate the probing power of PTAs for ultralight bosons across all frequencies, from those larger than the inverse observation time to those smaller than the inverse distance to the pulsar. We show that since the signal amplitude grows comparably to the degradation in PTA sensitivity at frequencies smaller than inverse observation time, the discovery potential can be extended towards lower masses by over three decades, maintaining high precision. We demonstrate that, in the mass range $10^{-26} -10^{-23}$ eV, existing 15-year PTA data can robustly detect or rule out an ultralight component down to $O(1 - 10)\%$ of the total dark matter. Non-detection, together with other bounds in different mass ranges, will imply that ultralight scalar/axion can comprise at most $1-10\%$ of dark matter in the $10^{-30}\!-\!10^{-17}$ eV range. With 30 years of observation, current PTAs can extend the reach down to $0.1-1 \%$, while next-generation PTAs such as SKA can attain the $0.01-0.1\%$ precision. We generalize the analysis and derive predictions for ultralight spin-1 vector (i.e. dark photon) and spin-2 tensor dark components.


title: Robust estimation for functional quadratic regression models

abstract: Functional quadratic regression models postulate a polynomial relationship between a scalar response rather than a linear one. As in functional linear regression, vertical and specially high-leverage outliers may affect the classical estimators. For that reason, the proposal of robust procedures providing reliable estimators in such situations is an important issue. Taking into account that the functional polynomial model is equivalent to a regression model that is a polynomial of the same order in the functional principal component scores of the predictor processes, our proposal combines robust estimators of the principal directions with robust regression estimators based on a bounded loss function and a preliminary residual scale estimator. Fisher-consistency of the proposed method is derived under mild assumptions. The results of a numerical study show, for finite samples, the benefits of the robust proposal over the one based on sample principal directions and least squares. The usefulness of the proposed approach is also illustrated through the analysis of a real data set which reveals that when the potential outliers are removed the classical and robust methods behave very similarly.


title: Identifying the Effect of Parenthood on Labor Force Participation: A Gender Comparison

abstract: Identifying the factors that influence labor force participation could elucidate how individuals arrive at their labor supply decisions, whose understanding is, in turn, of crucial importance in analyzing how the supply side of the labor market functions. This paper investigates the effect of parenthood status on Labor Force Participation (LFP) decisions using an individual-level fixed-effects identification strategy. The differences across individuals and over time in having or not having children as well as being or not being in the labor force provide the variation needed to assess the association between individuals' LFP behavior and parenthood. Parenthood could have different impacts on mothers than it would on fathers. In order to look at the causal effect of maternity and paternity on LFP separately, the data is disaggregated by gender. To this end, the effect of a change in the parenthood status can be measured using individual-level fixed-effects to account for time-invariant characteristics of individuals becoming a parent. The primary data source used is the National Longitudinal Surveys (NLS). Considering the nature of LFP variable, this paper employs Binary Response Models (BRMs) to estimate LFP equations using individual-level micro data. The findings of the study show that parenthood has a negative overall effect on LFP. However, paternity has a significant positive effect on the likelihood of being in the labor force, whilst maternity has a significant negative impact of LFP. In addition, the results imply that the effect of parenthood on LFP has been fading away over time, regardless of the gender of parents. These two pieces of evidence precisely map onto the theoretical predictions made by the related mainstream economic theories (the traditional neoclassical theory of labor supply as well as Becker's household production model). These results are ...


title: On the Morita invariance of Categorical Enumerative Invariants

abstract: Categorical Enumerative Invariants (CEI) are invariants associated with unital cyclic $A_\infty$-categories that are smooth, proper and satisfy the Hodge-to-de-Rham degeneration property. In this paper, we formulate and prove their Morita invariance. In particular, when applied to derived categories of coherent sheaves, this yields new birational invariants of smooth and proper Calabi-Yau $3$-folds.


title: Hierarchy of quasi-symmetries and degeneracies in chiral crystal materials CoSi

abstract: In materials, certain approximated symmetry operations can exist in a lower-order approximation of the effective model but are good enough to influence the physical responses of the system, and these approximated symmetries were recently dubbed "quasi-symmetries" \cite{guo_arxiv_2021}. In this work, we reveal a hierarchy structure of the quasi-symmetries and the corresponding nodal structures that they enforce via two different approaches of the perturbation expansions for the effective model in the chiral crystal material CoSi. In the first approach, we treat the spin-independent linear momentum (k) term as the zero-order Hamiltonian. Its energy bands are four-fold degenerate due to an SU(2)$\times$SU(2) quasi-symmetry. We next consider both the k-independent spin-orbit coupling (SOC) and full quadratic-k terms as the perturbation terms and find that the first-order perturbation leads to a model described by a self-commuting "stabilizer code" Hamiltonian with a U(1) quasi-symmetry that can protect nodal planes. In the second approach, we treat the SOC-free linear-k term and k-independent SOC term as the zero-order. They exhibit an SU(2) quasi-symmetry, which can be reduced to U(1) quasi-symmetry by a choice of quadratic terms. Correspondingly, a two-fold degeneracy for all the bands due to the SU(2) quasi-symmetry is reduced to two-fold nodal planes that are protected by the U(1) quasi-symmetry. For both approaches, including higher-order perturbation will break the U(1) quasi-symmetry and induce a small gap $\sim$ 1 meV for the nodal planes. These quasi-symmetry protected near degeneracies play an essential role in understanding recent quantum oscillation experiments in CoSi.


title: Handcrafted Feature Selection Techniques for Pattern Recognition: A Survey

abstract: The accuracy of a classifier, when performing Pattern recognition, is mostly tied to the quality and representativeness of the input feature vector. Feature Selection is a process that allows for representing information properly and may increase the accuracy of a classifier. This process is responsible for finding the best possible features, thus allowing us to identify to which class a pattern belongs. Feature selection methods can be categorized as Filters, Wrappers, and Embed. This paper presents a survey on some Filters and Wrapper methods for handcrafted feature selection. Some discussions, with regard to the data structure, processing time, and ability to well represent a feature vector, are also provided in order to explicitly show how appropriate some methods are in order to perform feature selection. Therefore, the presented feature selection methods can be accurate and efficient if applied considering their positives and negatives, finding which one fits best the problem's domain may be the hardest task.


title: The multi-epoch X-ray tale of I Zwicky 1 outflows

abstract: The narrow-line Seyfert 1 galaxy I Zwicky 1 shows a unique and complex system of ionised gas in outflow, which consists of an ultra-fast wind and a two-component warm absorber. In the last two decades, XMM-Newton monitored the source multiple times enabling the study of the long-term variability of the various outflows. Plasma in photoionisation equilibrium with the ionising source responds and varies accordingly to any change of the ionising luminosity. However, detailed modelling of the past RGS data has shown no correlation between the plasma ionisation state and the ionising continuum, revealing a complex long-term variability of the multi-phase warm absorber. Here, we present a new observation of I Zwicky 1 by XMM-Newton taken in early 2020 characterised by a lower X-ray flux state. The soft X-ray spectrum from the RGS reveals the two components of the warm absorber with $\log \xi \sim -1.0$ and $\log \xi \sim 1.7$. Comparing our results with the previous observations, the ionisation state of the two absorbing gas components is continuously changing, following the same unpredictable behaviour. The new results strengthen the scenario in which the ionisation state of the warm absorber is driven by the density of the gas rather than the ionising luminosity. In particular, the presence of a radiation driven, inhomogeneous clumpy outflow may explain both the variability in ionisation throughout the years and the line-locked N V system observed in the UV band. Finally, the EPIC-pn spectrum reveals an ultra-fast wind with an outflow velocity of $\sim 0.26c$ and ionisation parameter of $\log \xi \sim 3.8$.


title: Educating Educators to Integrate Inclusive Design Across a 4-Year CS Degree Program

abstract: How can an entire CS faculty, who together have been teaching the ACM standard CS curricula, shift to teaching elements of inclusive design across a 4-year undergraduate CS program? And will they even want to try? To investigate these questions, we developed an educate-the-educators curriculum to support this shift. The overall goal of the educate-the-educators curriculum was to enable CS faculty to creatively engage with embedding inclusive design into their courses in "minimally invasive" ways. GenderMag, an inclusive design evaluation method, was selected for use. The curriculum targeted the following learning outcomes: to enable CS faculty: (1) to analyze the costs and benefits of integrating inclusive design into their own course(s); (2) to evaluate software using the GenderMag method, and recognize its use to identify meaningful issues in software; (3) to integrate inclusive design into existing course materials with provided resources and collaboration; and (4) to prepare to engage and guide students on learning GenderMag concepts. We conducted a field study over a spring/summer followed by end-of-fall interviews, during which we worked with 18 faculty members to integrate inclusive design into 13 courses. Ten of these faculty then taught 7 of these courses that were on the Fall 2021 schedule, across 16 sections. We present the new educate-the-educators curriculum and report on the faculty's experiences acting upon it over the three-month field study and subsequent interviews. Our results showed that, of the 18 faculty we worked with, 83% chose to modify their courses; by Fall 2021, faculty across all four years of a CS degree program had begun teaching inclusive design concepts. When we followed up with the 10 Fall 2021 faculty, 91% of their reported outcomes indicated that the incorporations of inclusive design concepts in their courses went as well as or better than expected.


title: Scalable Regularization of Scene Graph Generation Models using Symbolic Theories

abstract: Several techniques have recently aimed to improve the performance of deep learning models for Scene Graph Generation (SGG) by incorporating background knowledge. State-of-the-art techniques can be divided into two families: one where the background knowledge is incorporated into the model in a subsymbolic fashion, and another in which the background knowledge is maintained in symbolic form. Despite promising results, both families of techniques face several shortcomings: the first one requires ad-hoc, more complex neural architectures increasing the training or inference cost; the second one suffers from limited scalability w.r.t. the size of the background knowledge. Our work introduces a regularization technique for injecting symbolic background knowledge into neural SGG models that overcomes the limitations of prior art. Our technique is model-agnostic, does not incur any cost at inference time, and scales to previously unmanageable background knowledge sizes. We demonstrate that our technique can improve the accuracy of state-of-the-art SGG models, by up to 33%.


title: A Bayesian Approach for Spatio-Temporal Data-Driven Dynamic Equation Discovery

abstract: Differential equations based on physical principals are used to represent complex dynamic systems in all fields of science and engineering. Through repeated use in both academics and industry, these equations have been shown to represent real-world dynamics well. Since the true dynamics of these complex systems are generally unknown, learning the governing equations can improve our understanding of the mechanisms driving the systems. Here, we develop a Bayesian approach to data-driven discovery of non-linear spatio-temporal dynamic equations. Our approach can accommodate measurement noise and missing data, both of which are common in real-world data, and accounts for parameter uncertainty. The proposed framework is illustrated using three simulated systems with varying amounts of observational uncertainty and missing data and applied to a real-world system to infer the temporal evolution of the vorticity of the streamfunction.


title: HubPUG: Proper Motions for Local Group Dwarfs observed with HST utilizing Gaia as a Reference Frame

abstract: We present the method behind HubPUG, a software tool built for recovering systemic proper motions (PMs) of Hubble Space Telescope (HST) fields with two epochs of observations by utilizing stars observed by Gaia as a foreground frame of reference. HST PM experiments have typically relied on the use of distant background galaxies or quasi-stellar objects (QSOs) as stationary sources against which to measure PMs. Without consistent profiles, background galaxies are more difficult to centroid, but benefit on-aggregate from their large numbers. QSOs, though they can be fit with stellar point-spread functions, are sparse, with most fields containing none. Historically, the use of stars as references against which to measure PMs would have been difficult because they have individual PMs of their own. However, Gaia has now provided positions and PMs for over 1.4 billion stars, which are much more likely to be well-imaged in the fields around targets versus background sources, have predictable stellar profiles, and require less observing time per-image for good signal-to-noise. This technique allows us to utilize the power of Gaia to measure the PM of targets too faint for Gaia to observe itself. We have recovered PMs for the Milky Way satellites Sculptor and Draco with comparable uncertainties over HST-only and Gaia-only measurements, limited primarily by the current capabilities of the Gaia data. We also show the promise of this method for satellites of M31 with a new PM measurement for Andromeda VII.


title: Specification-Guided Component-Based Synthesis from Effectful Libraries

abstract: Component-based synthesis seeks to build programs using the APIs provided by a set of libraries. Oftentimes, these APIs have effects, which make it challenging to reason about the correctness of potential synthesis candidates. This is because changes to global state made by effectful library procedures affect how they may be composed together, yielding an intractably large search space that can confound typical enumerative synthesis techniques. If the nature of these effects are exposed as part of their specification, however, deductive synthesis approaches can be used to help guide the search for components. In this paper, we present a new specification-guided synthesis procedure that uses Hoare-style pre- and post-conditions to express fine-grained effects of potential library component candidates to drive a bi-directional synthesis search strategy. The procedure alternates between a forward search process that seeks to build larger terms given an existing context but which is otherwise unaware of the actual goal, alongside a backward search mechanism that seeks terms consistent with the desired goal but which is otherwise unaware of the context from which these terms must be synthesized. To further improve efficiency and scalability, we integrate a conflict-driven learning procedure into the synthesis algorithm that provides a semantic characterization of previously encountered unsuccessful search paths that is used to prune the space of possible candidates as synthesis proceeds. We have implemented our ideas in a tool called Cobalt and demonstrate its effectiveness on a number of challenging synthesis problems defined over OCaml libraries equipped with effectful specifications.


title: Suppressing Amplitude Damping in Trapped Ions: Discrete Weak Measurements for a Non-unitary Probabilistic Noise Filter

abstract: The idea of exploiting maximally-entangled states as a resource lies at the core of several modalities of quantum information processing, including secure quantum communication, quantum computation, and quantum sensing. However, due to imperfections during or after the entangling gates used to prepare such states, the amount of entanglement decreases and their quality as a resource gets degraded. We introduce a low-overhead protocol to reverse this degradation by partially filtering out a specific type of noise relevant to many quantum technologies. We present two trapped-ion schemes for the implementation of a non-unitary probabilistic filter against amplitude damping noise, which can protect any maximally-entangled pair from spontaneous photon scattering during or after the two-qubit trapped-ion entangling gates. This filter can be understood as a protocol for single-copy quasi-distillation, as it uses only local operations to realise a reversal operation that can be understood in terms of weak measurements.