title: Laser-probing the rotational cooling of molecular ions by electron collisions

abstract: We present state-selected measurements of rotational cooling and excitation rates of CH$^+$ molecular ions by inelastic electron collisions. The experiments are carried out at the Cryogenic Storage Ring, making use of a monoenergetic electron beam at matched velocity in combination with state-sensitive laser-dissociation of the CH$^+$ ions for simultaneous monitoring of the rotational level populations. Employing storage times of up to 600 s, we create conditions where electron-induced cooling to the $J = 0$ ground state dominates over radiative relaxation, allowing for the experimental determination of inelastic electron collision rates to benchmark state-of-the-art theoretical calculations. On a broader scale, our experiments pave the way to probe inelastic electron collisions for a variety of molecular ions relevant in various plasma environments.


title: An Affine Type System with Hindley-Milner Style Type Inference

abstract: This article first provides an algorithm W based type inference algorithm for an affine type system. Then the article further assumes the language equipped with the above type system uses lazy evaluation, and explores the possibility of representing the !-modality as a user-defined type synonym with the power of the newly gained polymorphism.


title: High-temperature ferromagnetism in two-dimensional material MnSn originated from interlayer coupling

abstract: MnSn monolayer synthesized recently is a novel two-dimensional ferromagnetic material with a hexagonal lattice, in which three Mn atom come together to form a trimer, making it remarkably different from other magnetic two-dimensional materials. Most impressively, there happens a sharp increase of Curie temperature from 54 K to 225 K when the number of layers increase from 1 to 3. However, no quantitative explanation is reported in previous studies. Herein, by means of first-principle calculations method and Monte carlo method, we demonstrate that strong interlayer ferromagnetic coupling is the essential role in enhancing its critical temperature, which act as a magnetic field to stabilize the ferromagnetism in the MnSn multilayers.


title: $h^*$-vectors of graph polytopes using activities of dissecting spanning trees

abstract: Symmetric edge polytopes of graphs and root polytopes of semi-balanced digraphs are two classes of lattice polytopes whose $h^*$-polynomials have interesting properties and generalize important graph polynomials. For both classes of polytopes there are large, natural classes of dissections into unimodular simplices. These are such that the simplices correspond to certain spanning trees. We show that for any ``spanning tree dissection'' of the symmetric edge polytope of a graph, or the root polytope of a semi-balanced digraph, the $h^*$-polynomial of the polytope can be computed as a generating function of certain activities of the corresponding spanning trees. Apart from giving simple and flexible algorithms for computing these polynomials, our results also reveal that all dissections in question are surprisingly similar to each other: It turns out that the distributions of many statistics of spanning tree dissections are in fact independent of the actual dissection.


title: Neural Q-learning for solving PDEs

abstract: Solving high-dimensional partial differential equations (PDEs) is a major challenge in scientific computing. We develop a new numerical method for solving elliptic-type PDEs by adapting the Q-learning algorithm in reinforcement learning. Our "Q-PDE" algorithm is mesh-free and therefore has the potential to overcome the curse of dimensionality. Using a neural tangent kernel (NTK) approach, we prove that the neural network approximator for the PDE solution, trained with the Q-PDE algorithm, converges to the trajectory of an infinite-dimensional ordinary differential equation (ODE) as the number of hidden units $\rightarrow \infty$. For monotone PDE (i.e. those given by monotone operators, which may be nonlinear), despite the lack of a spectral gap in the NTK, we then prove that the limit neural network, which satisfies the infinite-dimensional ODE, converges in $L^2$ to the PDE solution as the training time $\rightarrow \infty$. More generally, we can prove that any fixed point of the wide-network limit for the Q-PDE algorithm is a solution of the PDE (not necessarily under the monotone condition). The numerical performance of the Q-PDE algorithm is studied for several elliptic PDEs.

categories: math.NA cs.LG cs.NA math.AP math.PR stat.ML


title: Mirror-induced reflection in the frequency domain

abstract: Mirrors are ubiquitous in optics and are used to control the propagation of optical signals in space. Here we propose and demonstrate frequency domain mirrors that provide reflections of the optical energy in a frequency synthetic dimension, using electro-optic modulation. First, we theoretically explore the concept of frequency mirrors with the investigation of propagation loss, and reflectivity in the frequency domain. Next, we explore the mirror formed through polarization mode-splitting in a thin-film lithium niobate micro-resonator. By exciting the Bloch waves of the synthetic frequency crystal with different wave vectors, we show various states formed by the interference between forward propagating and reflected waves. Finally, we expand on this idea, and generate tunable frequency mirrors as well as demonstrate trapped states formed by these mirrors using coupled lithium niobate micro-resonators. The ability to control the flow of light in the frequency domain could enable a wide range of applications, including the study of random walks, boson sampling, frequency comb sources, optical computation, and topological photonics. Furthermore, demonstration of optical elements such as cavities, lasers, and photonic crystals in the frequency domain, may be possible.


title: Resurgent revivals in bosonic quantum gases: a striking signature of many-body quantum interferences

abstract: Matter wave revivals depend on a delicate interplay of constructive many-body quantum interferences in the developing dynamics of an ultracold bosonic system in an optical lattice. It is shown that the interplay between weak intersite tunneling and strong onsite interactions can lead to the quantum dynamics of a density wave displaying several features not found in the mean-field limit: occupancy oscillations, resurgent revivals, and a (anti-) synchronization of revival peaks and occupancy oscillation peaks. This implies cooperative interference effects that alternate between constructive and destructive features leading to the peak revival behaviors. These many-body quantum interference phenomena create striking features in various observables, which are accessible in experimental measurements.


title: Hydroelastomers: soft, tough, highly swelling composites

abstract: Inspired by the cellular design of plant tissue, we present a new approach to make versatile, tough, highly water-swelling composites. We embed highly swelling hydrogel particles inside tough, water-permeable, elastomeric matrices. The resulting composites, which we call \emph{hydroelastomers}, show little softening as they swell, and have excellent fracture properties that match those of the best-performing, tough hydrogels. Our composites are straightforward to fabricate, based on commercial materials, and can easily be molded or extruded to form shapes with complex swelling geometries. Furthermore, there is a large design space available for making hydroelastomers, since one can use any hydrogel as the dispersed phase in the composite, including hydrogels with stimuli-responsiveness. These features should make hydroelastomers excellent candidates for use in soft robotics and swelling-based actuation, or as shape-morphing materials, while also being useful as hydrogel replacements in a wide range of other fields.


title: Fair Short Paths in Vertex-Colored Graphs

abstract: The computation of short paths in graphs with arc lengths is a pillar of graph algorithmics and network science. In a more diverse world, however, not every short path is equally valuable. For the setting where each vertex is assigned to a group (color), we provide a framework to model multiple natural fairness aspects. We seek to find short paths in which the number of occurrences of each color is within some given lower and upper bounds. Among other results, we prove the introduced problems to be computationally intractable (NP-hard and parameterized hard with respect to the number of colors) even in very restricted settings (such as each color should appear with exactly the same frequency), while also presenting an encouraging algorithmic result ("fixed-parameter tractability") related to the length of the sought solution path for the general problem.


title: Reduced Material Loss in Thin-film Lithium Niobate Waveguides

abstract: Thin-film lithium niobate has shown promise for scalable applications ranging from single-photon sources to high-bandwidth data communication systems. Realization of the next generation high-performance classical and quantum devices, however, requires much lower optical losses than the current state of the art ($\sim$10 million). Unfortunately, material limitations of ion-sliced thin-film lithium niobate have not been explored, and therefore it is unclear how high-quality factor can be achieved in this platform. Here we evaluate the material limited quality factor of thin-film lithium niobate photonic platform can be as high as $Q\approx 1.8\times10^{8}$ at telecommunication wavelengths, corresponding to a propagation loss of 0.2 dB/m.


title: Java Prolog Interface

abstract: There are many initiatives in presents-days for interaction between Java and Prolog programming languages. These initiatives allow combine two programming paradigms, Object Oriented Programming and Logic Programming. Every proposed interface has specifics features depending of the final use. The present paper introduces a new Java Prolog Interface to be use for Prolog persistence interacting from Java side and functional programming from Prolog side. To support this interaction, the most advanced solutions implements interlanguages data type mappings between Java objects and Prolog terms. Java Prolog Interface is a modern solution that take the best features from existing solutions and combine all in one. It' s more flexible, adaptive and have an Application Provider Interface (API) easy to use. JPI implement the javax.script interface include in Java from version 1.6. The project like existing solutions have an implementation for the most popular open source Prolog Engines. Is hosted on GitHub source code management at Prolobjectlink repository and deploy the resulting artifacts on Maven Central repository. The project have a web page too hosted on GitHub.


title: Neutrino follow-up with the Zwicky Transient Facility: Results from the first 24 campaigns

abstract: The Zwicky Transient Facility (ZTF) performs a systematic neutrino follow-up program, searching for optical counterparts to high-energy neutrinos with dedicated Target-of-Opportunity (ToO) observations. Since first light in March 2018, ZTF has taken prompt observations for 24 high-quality neutrino alerts from the IceCube Neutrino Observatory, with a median latency of 12.2 hours from initial neutrino detection. From two of these campaigns, we have already reported tidal disruption event (TDE) AT 2019dsg and likely TDE AT 2019fdr as probable counterparts, suggesting that TDEs contribute >7.8% of the astrophysical neutrino flux. We here present the full results of our program through to December 2021. No additional candidate neutrino sources were identified by our program, allowing us to place the first constraints on the underlying optical luminosity function of astrophysical neutrino sources. Transients with optical absolutes magnitudes brighter that $-21$ can contribute no more than 87% of the total, while transients brighter than $-22$ can contribute no more than 58% of the total, neglecting the effect of extinction and assuming they follow the star formation rate. These are the first observational constraints on the neutrino emission of bright populations such as superluminous supernovae. None of the neutrinos were coincident with bright optical AGN flares comparable to that observed for TXS 0506+056/IC170922A, with such optical blazar flares producing no more than 26% of the total neutrino flux. We highlight the outlook for electromagnetic neutrino follow-up programs, including the expected potential for the Rubin Observatory.


title: $K$-Theory of Cuspidal Curves Over a Perfectoid Base And Formal Analogues

abstract: In this paper we continue the work of using the recent advances in algebraic $K$-theory to extend computations done in characteristic $p$ to the mixed characteristic setting using perfectoid rings. We extend the work of Hesselholt-Nikolaus in \cite{Hesselholt_Nikolaus} on the algebraic $K$-Theory of cuspidal curves. We consider both cuspidal curves and the $p$-completion of cuspidal curves. Along the way we also study the $K$-theory of the $p$-completed affine line over a perfectoid ring.


title: Gravitizing the Quantum

abstract: We discuss a new approach to the problem of quantum gravity in which the quantum mechanical structures that are traditionally fixed, such as the Fubini-Study metric in the Hilbert space of states, become dynamical and so implement the idea of gravitizing the quantum. In particular, in this formulation of quantum gravity the quantum geometry is still consistent with the principles of unitarity and also captures fundamental aspects of (quantum) gravity, such as topology change. Furthermore, we address specific ways of testing this new approach to quantum gravity by utilizing multi-path interference and optical lattice atomic clocks.


title: Imitate and Repurpose: Learning Reusable Robot Movement Skills From Human and Animal Behaviors

abstract: We investigate the use of prior knowledge of human and animal movement to learn reusable locomotion skills for real legged robots. Our approach builds upon previous work on imitating human or dog Motion Capture (MoCap) data to learn a movement skill module. Once learned, this skill module can be reused for complex downstream tasks. Importantly, due to the prior imposed by the MoCap data, our approach does not require extensive reward engineering to produce sensible and natural looking behavior at the time of reuse. This makes it easy to create well-regularized, task-oriented controllers that are suitable for deployment on real robots. We demonstrate how our skill module can be used for imitation, and train controllable walking and ball dribbling policies for both the ANYmal quadruped and OP3 humanoid. These policies are then deployed on hardware via zero-shot simulation-to-reality transfer. Accompanying videos are available at https://bit.ly/robot-npmp.


title: Prefix Filter: Practically and Theoretically Better Than Bloom

abstract: Many applications of approximate membership query data structures, or filters, require only an incremental filter that supports insertions but not deletions. However, the design space of incremental filters is missing a "sweet spot" filter that combines space efficiency, fast queries, and fast insertions. Incremental filters, such as the Bloom and blocked Bloom filter, are not space efficient. Dynamic filters (i.e., supporting deletions), such as the cuckoo or vector quotient filter, are space efficient but do not exhibit consistently fast insertions and queries. In this paper, we propose the prefix filter, an incremental filter that addresses the above challenge: (1) its space (in bits) is similar to state-of-the-art dynamic filters; (2) query throughput is high and is comparable to that of the cuckoo filter; and (3) insert throughput is high with overall build times faster than those of the vector quotient filter and cuckoo filter by $1.39\times$-$1.46\times$ and $3.2\times$-$3.5\times$, respectively. We present a rigorous analysis of the prefix filter that holds also for practical set sizes (i.e., $n=2^{25}$). The analysis deals with the probability of failure, false positive rate, and probability that an operation requires accessing more than a single cache line.


title: Separable spatio-temporal kriging for fast virtual sensing

abstract: Environmental monitoring is a task that requires to surrogate system-wide information with limited sensor readings. Under the proximity principle, an environmental monitoring system can be based on the virtual sensing logic and then rely on distance-based prediction methods, such as $k$-nearest-neighbors, inverse distance weighted regression and spatio-temporal kriging. The last one is cumbersome with large datasets, but we show that a suitable separability assumption reduces its computational cost to an extent broader than considered insofar. Only spatial interpolation needs to be performed in a centralized way, while forecasting can be delegated to each sensor. This simplification is mostly related to the fact that two separate models are involved, one in time and one in the space domain. Any of the two models can be replaced without re-estimating the other under a composite likelihood approach. Moreover, the use of convenient spatial and temporal models eases up computation. We show that this perspective on kriging allows to perform virtual sensing even in the case of tall datasets.


title: Angular Resolution of the Search for Anisotropic Stochastic Gravitational-Wave Background with Terrestrial Gravitational-Wave Detectors

abstract: We consider an anisotropic search for the stochastic gravitational-wave (GW) background by decomposing the gravitational-wave sky into its spherical harmonics components. Previous analyses have used the diffraction limit to define the highest-order spherical harmonics components used in this search. We investigate whether the angular resolution of this search is indeed diffraction-limited by testing our ability to detect and localize simulated GW signals. We show that while using low-order spherical harmonics modes is optimal for initially detecting GW sources, the detected sources can be better localized with higher-order spherical harmonics than expected based on the diffraction limit argument. Additionally, we discuss how the ability to recover simulated GW sources is affected by the number of detectors in the network, the frequency range over which the search is performed, and the method by which the covariance matrix of the GW skymap is regularized. While we primarily consider point-source signals in this study, we briefly apply our methodology to spatially-extended sources and discuss potential future modifications of our analysis for such signals.


title: The CO emission in the Taffy Galaxies (UGC 12914/5) at 60pc resolution-I: The battle for star formation in the turbulent Taffy Bridge

abstract: We present ALMA observations at a spatial resolution of 0.2 arcsec (60 pc) of CO emission from the Taffy galaxies (UGC 12914/5). The observations are compared with narrow-band Pa$\alpha$, mid-IR, radio continuum and X-ray imaging, plus optical spectroscopy. The galaxies have undergone a recent head-on collision, creating a massive gaseous bridge which is known to be highly turbulent. The bridge contains a complex web of narrow molecular filaments and clumps. The majority of the filaments are devoid of star formation, and fall significantly below the Kennicutt-Schmidt relationship for normal galaxies, especially for the numerous regions undetected in Pa$\alpha$ emission. Within the loosely connected filaments and clumps of gas we find regions of high velocity dispersion which appear gravitationally unbound for a wide range of likely values of $X_{\rm CO}$. Like the "Firecracker" region in the Antennae system, they would require extremely high external dynamical or thermal pressure to stop them dissipating rapidly on short crossing timescales of 2-5~Myrs. We suggest that the clouds may be transient structures within a highly turbulent multi-phase medium which is strongly suppressing star formation. Despite the overall turbulence in the system, stars seem to have formed in compact hotspots within a kpc-sized extragalactic HII region, where the molecular gas has a lower velocity dispersion than elsewhere, and shows evidence for a collision with an ionized gas cloud. Like the shocked gas in the Stephan's Quintet group, the conditions in the Taffy bridge shows how difficult it is to form stars within a turbulent, multi-phase, gas.


title: Quantitative convergence of the vectorial Allen-Cahn equation towards multiphase mean curvature flow

abstract: Phase-field models such as the Allen-Cahn equation may give rise to the formation and evolution of geometric shapes, a phenomenon that may be analyzed rigorously in suitable scaling regimes. In its sharp-interface limit, the vectorial Allen-Cahn equation with a potential with $N\geq 3$ distinct minima has been conjectured to describe the evolution of branched interfaces by multiphase mean curvature flow. In the present work, we give a rigorous proof for this statement in two and three ambient dimensions and for a suitable class of potentials: As long as a strong solution to multiphase mean curvature flow exists, solutions to the vectorial Allen-Cahn equation with well-prepared initial data converge towards multiphase mean curvature flow in the limit of vanishing interface width parameter $\varepsilon\searrow 0$. We even establish the rate of convergence $O(\varepsilon^{1/2})$. Our approach is based on the gradient flow structure of the Allen-Cahn equation and its limiting motion: Building on the recent concept of "gradient flow calibrations" for multiphase mean curvature flow, we introduce a notion of relative entropy for the vectorial Allen-Cahn equation with multi-well potential. This enables us to overcome the limitations of other approaches, e.g. avoiding the need for a stability analysis of the Allen-Cahn operator or additional convergence hypotheses for the energy at positive times.


title: Instability of backoff protocols with arbitrary arrival rates

abstract: In contention resolution, multiple processors are trying to coordinate to send discrete messages through a shared channel with sharply limited communication. If two processors inadvertently send at the same time, the messages collide and are not transmitted successfully. An important case is acknowledgement-based contention resolution, in which processors cannot listen to the channel at all; all they know is whether or not their own messages have got through. This situation arises frequently in both networking and cloud computing. The most common acknowledgement-based protocols in practice are backoff protocols - variants of binary exponential backoff are used in both Ethernet and TCP/IP, and both Google Drive and AWS instruct their users to implement it to handle busy periods. In queueing models, where each processor has a queue of messages, stable backoff protocols are already known (H{\aa}stad et al., SICOMP 1996). In queue-free models, where each processor has a single message but processors arrive randomly, it is a long-standing conjecture of Aldous (IEEE Trans. Inf. Theory 1987) that no stable backoff protocols exist for any positive arrival rate of processors. Despite exciting recent results for full-sensing protocols which assume far greater listening capabilities of the processors (see e.g. Bender et al. STOC 2020 or Chen et al. PODC 2021), this foundational question remains open; here instability is only known in general when the arrival rate of processors is at least 0.42 (Goldberg et al. SICOMP 2004). We prove Aldous' conjecture for all backoff protocols outside of a tightly-constrained special case using a new domination technique to get around the main difficulty, which is the strong dependencies between messages.


title: Convex Parameterization of Stabilizing Controllers and its LMI-based Computation via Filtering

abstract: Various new implicit parameterizations for stabilizing controllers that allow one to impose structural constraints on the controller have been proposed lately. They are convex but infinite-dimensional, formulated in the frequency domain with no available efficient methods for computation. In this paper, we introduce a kernel version of the Youla parameterization to characterize the set of stabilizing controllers. It features a single affine constraint, which allows us to recast the controller parameterization as a novel robust filtering problem. This makes it possible to derive the first efficient Linear Matrix Inequality (LMI) implicit parametrization of stabilizing controllers. Our LMI characterization not only admits efficient numerical computation, but also guarantees a full-order stabilizing dynamical controller that is efficient for practical deployment. Numerical experiments demonstrate that our LMI can be orders of magnitude faster to solve than the existing closed-loop parameterizations.


title: Approximate Group Fairness for Clustering

abstract: We incorporate group fairness into the algorithmic centroid clustering problem, where $k$ centers are to be located to serve $n$ agents distributed in a metric space. We refine the notion of proportional fairness proposed in [Chen et al., ICML 2019] as {\em core fairness}, and $k$-clustering is in the core if no coalition containing at least $n/k$ agents can strictly decrease their total distance by deviating to a new center together. Our solution concept is motivated by the situation where agents are able to coordinate and utilities are transferable. A string of existence, hardness and approximability results is provided. Particularly, we propose two dimensions to relax core requirements: one is on the degree of distance improvement, and the other is on the size of deviating coalition. For both relaxations and their combination, we study the extent to which relaxed core fairness can be satisfied in metric spaces including line, tree and general metric space, and design approximation algorithms accordingly.


title: Defining the semiclassical limit of the quantum Rabi Hamiltonian

abstract: The crossover from quantum to semiclassical behavior in the seminal Rabi model of light-matter interaction still, surprisingly, lacks a complete and rigorous understanding. A formalism for deriving the semiclassical model directly from the quantum Hamiltonian is developed here. Working in a displaced Fock-state basis $\lvert \alpha, n \rangle$, the semiclassical limit is obtained by taking $\lvert \alpha \rvert \to \infty$ and the coupling to zero. This resolves the discrepancy between coherent-state dynamics and semiclassical Rabi oscillations in both standard and ultrastrong coupling/driving regimes. Furthermore, it provides a framework for studying the quantum-to-classical transition, with potential applications in quantum technologies.


title: Joyce structures on spaces of quadratic differentials

abstract: Consider the space parameterising curves of genus g>1 equipped with a quadratic differential with simple zeroes. We use the geometry of isomonodromic deformations to construct a complex hyperkahler structure on the total space of its tangent bundle. This provides non-trivial examples of the Joyce structures recently introduced in relation to Donaldson-Thomas theory.


title: AEGNN: Asynchronous Event-based Graph Neural Networks

abstract: The best performing learning algorithms devised for event cameras work by first converting events into dense representations that are then processed using standard CNNs. However, these steps discard both the sparsity and high temporal resolution of events, leading to high computational burden and latency. For this reason, recent works have adopted Graph Neural Networks (GNNs), which process events as ``static" spatio-temporal graphs, which are inherently "sparse". We take this trend one step further by introducing Asynchronous, Event-based Graph Neural Networks (AEGNNs), a novel event-processing paradigm that generalizes standard GNNs to process events as ``evolving" spatio-temporal graphs. AEGNNs follow efficient update rules that restrict recomputation of network activations only to the nodes affected by each new event, thereby significantly reducing both computation and latency for event-by-event processing. AEGNNs are easily trained on synchronous inputs and can be converted to efficient, "asynchronous" networks at test time. We thoroughly validate our method on object classification and detection tasks, where we show an up to a 11-fold reduction in computational complexity (FLOPs), with similar or even better performance than state-of-the-art asynchronous methods. This reduction in computation directly translates to an 8-fold reduction in computational latency when compared to standard GNNs, which opens the door to low-latency event-based processing.


title: Online Learning for Traffic Routing under Unknown Preferences

abstract: In transportation networks, users typically choose routes in a decentralized and self-interested manner to minimize their individual travel costs, which, in practice, often results in inefficient overall outcomes for society. As a result, there has been a growing interest in designing road tolling schemes to cope with these efficiency losses and steer users toward a system-efficient traffic pattern. However, the efficacy of road tolling schemes often relies on having access to complete information on users' trip attributes, such as their origin-destination (O-D) travel information and their values of time, which may not be available in practice. Motivated by this practical consideration, we propose an online learning approach to set tolls in a traffic network to drive heterogeneous users with different values of time toward a system-efficient traffic pattern. In particular, we develop a simple yet effective algorithm that adjusts tolls at each time period solely based on the observed aggregate flows on the roads of the network without relying on any additional trip attributes of users, thereby preserving user privacy. In the setting where the O-D pairs and values of time of users are drawn i.i.d. at each period, we show that our approach obtains an expected regret and road capacity violation of $O(\sqrt{T})$, where $T$ is the number of periods over which tolls are updated. Our regret guarantee is relative to an offline oracle that has complete information on users' trip attributes. We further establish a $\Omega(\sqrt{T})$ lower bound on the regret of any algorithm, which establishes that our algorithm is optimal up to constants. Finally, we demonstrate the superior performance of our approach relative to several benchmarks on a real-world transportation network, thereby highlighting its practical applicability.


title: Asymmetric Fraunhofer pattern in Josephson junctions from heterodimensional superlattice V$_5$S$_8$

abstract: Introduction of spin-orbit coupling (SOC) in a Josephson junction (JJ) gives rise to unusual Josephson effects. We investigate JJs based on a newly discovered heterodimensional superlattice V$_5$S$_8$ with a special form of SOC. The unique homointerface of our JJs enables elimination of extrinsic effects due to interfaces and disorder. We observe asymmetric Fraunhofer patterns with respect to both the perpendicular magnetic field and the current. The asymmetry is influenced by an in-plane magnetic field. Analysis of the pattern points to a nontrivial spatial distribution of the Josephson current that is intrinsic to the SOC in V$_5$S$_8$.


title: Perceptual Contrast Stretching on Target Feature for Speech Enhancement

abstract: Speech enhancement (SE) performance has improved considerably owing to the use of deep learning models as a base function. Herein, we propose a perceptual contrast stretching (PCS) approach to further improve SE performance. The PCS is derived based on the critical band importance function and is applied to modify the targets of the SE model. Specifically, the contrast of target features is stretched based on perceptual importance, thereby improving the overall SE performance. Compared with post-processing-based implementations, incorporating PCS into the training phase preserves performance and reduces online computation. Notably, PCS can be combined with different SE model architectures and training criteria. Furthermore, PCS does not affect the causality or convergence of SE model training. Experimental results on the VoiceBank-DEMAND dataset show that the proposed method can achieve state-of-the-art performance on both causal (PESQ score = 3.07) and noncausal (PESQ score = 3.35) SE tasks.


title: An energy-based deep splitting method for the nonlinear filtering problem

abstract: The purpose of this paper is to explore the use of deep learning for the solution of the nonlinear filtering problem. This is achieved by solving the Zakai equation by a deep splitting method, previously developed for approximate solution of (stochastic) partial differential equations. This is combined with an energy-based model for the approximation of functions by a deep neural network. This results in a computationally fast filter that takes observations as input and that does not require re-training when new observations are received. The method is tested on four examples, two linear in one and twenty dimensions and two nonlinear in one dimension. The method shows promising performance when benchmarked against the Kalman filter and the bootstrap particle filter.


title: Solving the 3-SAT problem using network-based biocomputation

abstract: The 3-Satisfiability Problem (3-SAT) is a demanding combinatorial problem, of central importance among the non-deterministic polynomial (NP) complete problems, with applications in circuit design, artificial intelligence and logistics. Even with optimized algorithms, the solution space that needs to be explored grows exponentially with increasing size of 3-SAT instances. Thus, large 3-SAT instances require excessive amounts of energy to solve with serial electronic computers. Network-based biocomputation (NBC) is a multidisciplinary parallel computation approach with drastically reduced energy consumption. NBC uses biomolecular motors to propel cytoskeletal filaments through nanofabricated networks that encode the mathematical problems. By stochastically exploring possible paths through the networks, the cytoskeletal filaments find possible solutions to the encoded problem instance. Here we first report a novel algorithm that converts 3-SAT into NBC-compatible network format. We demonstrate that this algorithm works in practice, by experimentally solving four small 3-SAT instances (with up to 3 variables and 5 clauses) using the actin-myosin biomolecular motor system. This is a key step towards the broad general applicability of NBC because polynomial conversions to 3-SAT exist for a wide set of important NP-complete problems.


title: Predicting extreme events from data using deep machine learning: when and where

abstract: We develop a deep convolutional neural network (DCNN) based framework for model-free prediction of the occurrence of extreme events both in time ("when") and in space ("where") in nonlinear physical systems of spatial dimension two. The measurements or data are a set of two-dimensional snapshots or images. For a desired time horizon of prediction, a proper labeling scheme can be designated to enable successful training of the DCNN and subsequent prediction of extreme events in time. Given that an extreme event has been predicted to occur within the time horizon, a space-based labeling scheme can be applied to predict, within certain resolution, the location at which the event will occur. We use synthetic data from the 2D complex Ginzburg-Landau equation and empirical wind speed data of the North Atlantic ocean to demonstrate and validate our machine-learning based prediction framework. The trade-offs among the prediction horizon, spatial resolution, and accuracy are illustrated, and the detrimental effect of spatially biased occurrence of extreme event on prediction accuracy is discussed. The deep learning framework is viable for predicting extreme events in the real world.


title: Adaptive Mean-Residue Loss for Robust Facial Age Estimation

abstract: Automated facial age estimation has diverse real-world applications in multimedia analysis, e.g., video surveillance, and human-computer interaction. However, due to the randomness and ambiguity of the aging process, age assessment is challenging. Most research work over the topic regards the task as one of age regression, classification, and ranking problems, and cannot well leverage age distribution in representing labels with age ambiguity. In this work, we propose a simple yet effective loss function for robust facial age estimation via distribution learning, i.e., adaptive mean-residue loss, in which, the mean loss penalizes the difference between the estimated age distribution's mean and the ground-truth age, whereas the residue loss penalizes the entropy of age probability out of dynamic top-K in the distribution. Experimental results in the datasets FG-NET and CLAP2016 have validated the effectiveness of the proposed loss. Our code is available at https://github.com/jacobzhaoziyuan/AMR-Loss.


title: Broken global symmetries and defect conformal manifolds

abstract: Just as exactly marginal operators allow to deform a conformal field theory along the space of theories known as the conformal manifold, appropriate operators on conformal defects allow for deformations of the defects. When a defect breaks a global symmetry, there is a contact term in the conservation equation with an exactly marginal defect operator. The resulting defect conformal manifold is the symmetry breaking coset and its Zamolodchikov metric is expressed as the 2-point function of the exactly marginal operator. As the Riemann tensor on the conformal manifold can be expressed as an integrated 4-point function of the marginal operators, we find an exact relation to the curvature of the coset space. We confirm this relation against previously obtained 4-point functions for insertions into the 1/2 BPS Wilson loop in ${\cal N} = 4$ SYM and 3d ${\cal N} = 6$ theory and the 1/2 BPS surface operator of the 6d ${\cal N} = (2, 0)$ theory.


title: The maximum measure of non-trivial 3-wise intersecting families

abstract: Let $\mathcal G$ be a family of subsets of an $n$-element set. The family $\mathcal G$ is called non-trivial $3$-wise intersecting if the intersection of any three subsets in $\mathcal G$ is non-empty, but the intersection of all subsets is empty. For a real number $p\in(0,1)$ we define the measure of the family by the sum of $p^{|G|}(1-p)^{n-|G|}$ over all $G\in\mathcal G$. We determine the maximum measure of non-trivial $3$-wise intersecting families. We also discuss the uniqueness and stability of the corresponding optimal structure. These results are obtained by solving linear programming problems.


title: Preventing Over-Smoothing for Hypergraph Neural Networks

abstract: In recent years, hypergraph learning has attracted great attention due to its capacity in representing complex and high-order relationships. However, current neural network approaches designed for hypergraphs are mostly shallow, thus limiting their ability to extract information from high-order neighbors. In this paper, we show both theoretically and empirically, that the performance of hypergraph neural networks does not improve as the number of layers increases, which is known as the over-smoothing problem. To avoid this issue, we develop a new deep hypergraph convolutional network called Deep-HGCN, which can maintain the heterogeneity of node representation in deep layers. Specifically, we prove that a $k$-layer Deep-HGCN simulates a polynomial filter of order $k$ with arbitrary coefficients, which can relieve the problem of over-smoothing. Experimental results on various datasets demonstrate the superior performance of the proposed model compared to the state-of-the-art hypergraph learning approaches.


title: On Busemann--Hausdorff densities of dimension two and of codimension two, with an application to Plateau Problem

abstract: The purpose of this paper is twofold. First, we describe one (presumably) new case, in which Busemann--Hausdorff densities are convex. We apply the corresponding result to prove the existence of minimizing rectifiable chains of codimension two in complex finite dimensional normed vector spaces. Second, we prove that for each $n\geq 4$, there exists an $n$ dimensional normed space in which the corresponding two dimensional Busemann--Hausdroff density is not totally convex. This gives a negative answer to a question posed by H. Busemann and E. Strauss.


title: Optical response of two-dimensional Dirac materials with a flat band

abstract: Two-dimensional Dirac materials with a flat band have been demonstrated to possess a plethora of unusual electronic properties, but the optical properties of these materials are less studied. Utilizing $\alpha$-$\mathcal{T}_3$ lattice as a prototypical system, where $0\le \alpha \le 1$ is a tunable parameter and a flat band through the conic intersection of two Dirac cones arises for $\alpha > 0$, we investigate the conductivity of flat-band Dirac material systems analytically and numerically. Motivated by the fact that the imaginary part of the optical conductivity can have significant effects on the optical response and is an important factor of consideration for developing $\alpha$-$\mathcal{T}_3$ lattice based optical devices, we are led to derive a complete conductivity formula with both the real and imaginary parts. Scrutinizing the formula, we uncover two phenomena. First, for the value of $\alpha$ in some range, two types of optical transitions coexist: one between the two Dirac cones and another from the flat band to a cone, which generate multi-frequency transverse electrical propagating waves. Second, for $\alpha=1$ so the quasiparticles become pseudospin-1, the flat-to-cone transition can result in resonant scattering. These results pave the way to exploiting $\alpha$-$T_3$ lattice for optical device applications in the terahertz frequency domain.


title: Viscosity solutions for obstacle problems on Wasserstein space

abstract: This paper is a continuation of our accompanying paper [Talbi, Touzi and Zhang (2021)], where we characterized the mean field optimal stopping problem by an obstacle equation on the Wasserstein space of probability measures, provided that the value function is smooth. Our purpose here is to establish this characterization under weaker regularity requirements. We shall define a notion of viscosity solutions for such equation, and prove existence, stability, and comparison principle.


title: Fully tunable longitudinal spin-photon interactions in Si and Ge quantum dots

abstract: Spin qubits in silicon and germanium quantum dots are promising platforms for quantum computing, but entangling spin qubits over micrometer distances remains a critical challenge. Current prototypical architectures maximize transversal interactions between qubits and microwave resonators, where the spin state is flipped by nearly resonant photons. However, these interactions cause back-action on the qubit, that yield unavoidable residual qubit-qubit couplings and significantly affect the gate fidelity. Strikingly, residual couplings vanish when spin-photon interactions are longitudinal and photons couple to the phase of the qubit. We show that large longitudinal interactions emerge naturally in state-of-the-art hole spin qubits. These interactions are fully tunable and can be parametrically modulated by external oscillating electric fields. We propose realistic protocols to measure these interactions and to implement fast and high-fidelity two-qubit entangling gates. These protocols work also at high temperatures, paving the way towards the implementation of large-scale quantum processors.


title: Recovering models of open quantum systems from data via polynomial optimization: Towards globally convergent quantum system identification

abstract: Current quantum devices suffer imperfections as a result of fabrication, as well as noise and dissipation as a result of coupling to their immediate environments. Because of this, it is often difficult to obtain accurate models of their dynamics from first principles. An alternative is to extract such models from time-series measurements of their behavior. Here, we formulate this system-identification problem as a polynomial optimization problem. Recent advances in optimization have provided globally convergent solvers for this class of problems, which using our formulation prove estimates of the Kraus map or the Lindblad equation. We include an overview of the state-of-the-art algorithms, bounds, and convergence rates, and illustrate the use of this approach to modeling open quantum systems.


title: Policy Iteration for Multiplicative Noise Output Feedback Control

abstract: We propose a policy iteration algorithm for solving the multiplicative noise linear quadratic output feedback design problem. The algorithm solves a set of coupled Riccati equations for estimation and control arising from a partially observable Markov decision process (POMDP) under a class of linear dynamic control policies. We show in numerical experiments far faster convergence than a value iteration algorithm, formerly the only known algorithm for solving this class of problem. The results suggest promising future research directions for policy optimization algorithms in more general POMDPs, including the potential to develop novel approximate data-driven approaches when model parameters are not available.


title: On the Evaluation of NLP-based Models for Software Engineering

abstract: NLP-based models have been increasingly incorporated to address SE problems. These models are either employed in the SE domain with little to no change, or they are greatly tailored to source code and its unique characteristics. Many of these approaches are considered to be outperforming or complementing existing solutions. However, an important question arises here: "Are these models evaluated fairly and consistently in the SE community?". To answer this question, we reviewed how NLP-based models for SE problems are being evaluated by researchers. The findings indicate that currently there is no consistent and widely-accepted protocol for the evaluation of these models. While different aspects of the same task are being assessed in different studies, metrics are defined based on custom choices, rather than a system, and finally, answers are collected and interpreted case by case. Consequently, there is a dire need to provide a methodological way of evaluating NLP-based models to have a consistent assessment and preserve the possibility of fair and efficient comparison.


title: The Legend of Zelda: The Complexity of Mechanics

abstract: We analyze some of the many game mechanics available to Link in the classic Legend of Zelda series of video games. In each case, we prove that the generalized game with that mechanic is polynomial, NP-complete, NP-hard and in PSPACE, or PSPACE-complete. In the process we give an overview of many of the hardness proof techniques developed for video games over the past decade: the motion-planning-through-gadgets framework, the planar doors framework, the doors-and-buttons framework, the "Nintendo" platform game / SAT framework, and the collectible tokens and toll roads / Hamiltonicity framework.


title: Lower bounds for uniform read-once threshold formulae in the randomized decision tree model

abstract: We investigate the randomized decision tree complexity of a specific class of read-once threshold functions. A read-once threshold formula can be defined by a rooted tree, every internal node of which is labeled by a threshold function $T_k^n$ (with output 1 only when at least $k$ out of $n$ input bits are 1) and each leaf by a distinct variable. Such a tree defines a Boolean function in a natural way. We focus on the randomized decision tree complexity of such functions, when the underlying tree is a uniform tree with all its internal nodes labeled by the same threshold function. We prove lower bounds of the form $c(k,n)^d$, where $d$ is the depth of the tree. We also treat trees with alternating levels of AND and OR gates separately and show asymptotically optimal bounds, extending the known bounds for the binary case.


title: Isovector helicity quark quasi-distributions inside a large Nc nucleon

abstract: In this letter, we report the results for the isovector polarized quark quasi-distribution functions $\Delta u(x,v) - \Delta d(x,v)$ in the large $N_c$, calculated within the chiral quark-soliton model. It is shown that the polarized quark quasi-distributions present good convergence to the light-cone PDFs in the limit of the nucleon boost momentum $P_N \to \infty$ (or the velocity $v \to 1$), compared to the case of the unpolarized isosinglet distributions.


title: Vector boson pair production at one loop: analytic results for the process $q \bar{q} \ell \bar\ell \ell^\prime \bar{\ell}^\prime g$

abstract: We present compact analytic results for the one-loop amplitude for the process $0 \rightarrow q \bar{q} \ell \bar\ell \ell^\prime \bar{\ell}^\prime g$, relevant for both the production of a pair of $Z$ and $W$-bosons in association with a jet. We focus on the gauge-invariant contribution mediated by a loop of quarks. We explicitly include all effects of the loop-quark mass $m$, appropriate for the production of a pair of $Z$-bosons. In the limit $m \to 0$, our results are also applicable to the production of $W$-boson pairs, mediated by a loop of massless quarks. Implemented in a numerical code, the results are fast. The calculation uses novel advancements in spinor-helicity simplification techniques, for the first time applied beyond five-point massless kinematics. We make use of primary decompositions from algebraic-geometry, which now involve non-radical ideals, and $p$-adic numbers from number theory. We show how to infer whether numerator polynomials belong to symbolic powers of non-radical ideals through numerical evaluations.


title: Thermodynamics of the Ramsey Zone

abstract: We carry out a study on thermodynamics properties as entropy and heat $J_{Q}$ and work $J_{W}$ fluxes involved in a Ramsey zone, i.e., a mode field inside a low quality factor cavity that behaves classically and promotes rotations on atomic states. Focusing on the atomic dynamic only, here we show that $J_{W}$ predominates when the atomic state evolves maintaining its maximum purity, as computed by von Neumann entropy, in which case the rotation is successfully applied. On the other hand, $J_{Q}$ is the quantity that stands out when the atomic state ceases to be pure due to its entanglement with the cavity field mode state. We describe those limits in terms of the driving strength, the atom-field coupling and the cavity field dissipation rate, and interpret the quantum-to-classical transition in light of the heat and work fluxes. Besides, we show that for a driven-dissipative cavity mode to work out as a Ramsey zone (classical field), a very large amount of photons, of the order of $10^{6}$, need to cross the leaky cavity, which explains the classical behavior of the intra-cavity mode field even though, on average, it has a number of photons of the order of unity [Phys. Rev. Lett. 82, 4737 (1999)]


title: Efficient Non-Autoregressive GAN Voice Conversion using VQWav2vec Features and Dynamic Convolution

abstract: It was shown recently that a combination of ASR and TTS models yield highly competitive performance on standard voice conversion tasks such as the Voice Conversion Challenge 2020 (VCC2020). To obtain good performance both models require pretraining on large amounts of data, thereby obtaining large models that are potentially inefficient in use. In this work we present a model that is significantly smaller and thereby faster in processing while obtaining equivalent performance. To achieve this the proposed model, Dynamic-GAN-VC (DYGAN-VC), uses a non-autoregressive structure and makes use of vector quantised embeddings obtained from a VQWav2vec model. Furthermore dynamic convolution is introduced to improve speech content modeling while requiring a small number of parameters. Objective and subjective evaluation was performed using the VCC2020 task, yielding MOS scores of up to 3.86, and character error rates as low as 4.3\%. This was achieved with approximately half the number of model parameters, and up to 8 times faster decoding speed.


title: The DESC Stellarator Code Suite Part I: Quick and accurate equilibria computations

abstract: 3D equilibrium codes are vital for stellarator design and operation, and high-accuracy equilibria are also necessary for stability studies. This paper details comparisons of two three-dimensional equilibrium codes, VMEC, which uses a steepest-descent algorithm to reach a minimum-energy plasma state, and DESC, which minimizes the magnetohydrodynamic (MHD) force error in real space directly. Accuracy as measured by satisfaction of MHD force balance is presented for each code, along with the computation time. It is shown that DESC is able to achieve more accurate solutions, especially near-axis. The importance of higher accuracy equilibria is shown in DESC's better agreement of stability metrics with asymptotic formulae. DESC's global Fourier-Zernike basis also yields the solution with analytic derivatives explicitly everywhere in the plasma volume, provides improved accuracy in the radial direction versus conventional finite differences, and allows for exponential convergence. Further, DESC can compute the same accuracy solution as VMEC in an order of magnitude less time.


title: On an integrated Krylov-ADI solver for large-scale Lyapunov equations

abstract: One of the most computationally expensive steps of the low-rank ADI method for large-scale Lyapunov equations is the solution of a shifted linear system at each iteration. We propose the use of the extended Krylov subspace method for this task. In particular, we illustrate how a single approximation space can be constructed to solve all the shifted linear systems needed to achieve a prescribed accuracy in terms of Lyapunov residual norm. Moreover, we show how to fully merge the two iterative procedures in order to obtain a novel, efficient implementation of the low-rank ADI method, for an important class of equations. Many state-of-the-art algorithms for the shift computation can be easily incorporated into our new scheme, as well. Several numerical results illustrate the potential of our novel procedure when compared to an implementation of the low-rank ADI method based on sparse direct solvers for the shifted linear systems.


title: The Solar-Cycle Temporal Variation of the Solar Wind Charge Exchange X-ray Lines

abstract: Solar wind charge exchange (SWCX) is the primary contamination to soft X-ray emission lines from the Milky Way (MW) hot gas. We report a solar-cycle ($\approx 10$ yr) temporal variation of observed \ion{O}{7} and \ion{O}{8} emission line measurements in the {\it XMM-Newton} archive, which is tightly correlated with the solar cycle traced by the sunspot number (SSN). This temporal variation is expected to be associated with the heliospheric SWCX. Another observed correlation is that higher solar wind (SW) fluxes lead to higher O VII or O VIII fluxes, which is due to the magnetospheric SWCX. We construct an empirical model to reproduce the observed correlation between the line measurements and the solar activity (i.e., the SW flux and the SSN). With this model we discovered a lag of $0.91_{-0.22}^{+0.20}$ yr between the O VII flux and the SSN. This time lag is a combination of the SW transit time within the heliosphere, the lag of the neutral gas distribution responding to solar activity, and the intrinsic lag between the SSN and the launch of a high-energy SW (i.e., $\rm O^{7+}$ and $\rm O^{8+}$). MW O VII and O VIII fluxes have mean values of 5.4 L.U. and 1.7 L.U., which are reduced by $50\%$ and $30\%$, compared to studies where the SWCX contamination is not removed. This correction also changes the determination of the density distribution and the temperature profile of the MW hot gas.


title: Visualizing bulk and edge photocurrent flow in anisotropic Weyl semimetals

abstract: Materials that rectify light into current in their bulk are desired for optoelectronic applications. In inversion-breaking Weyl semimetals, bulk photocurrents may arise due to nonlinear optical processes that are enhanced near the Weyl nodes. However, the photoresponse of these materials is commonly studied by scanning photocurrent microscopy (SPCM), which convolves the effects of photocurrent generation and collection. Here, we directly image the photocurrent flow inside the type-II Weyl semimetals WTe2 and TaIrTe4 using high-sensitivity quantum magnetometry with nitrogen-vacancy center spins. We elucidate an unknown mechanism for bulk photocurrent generation termed the anisotropic photothermoelectric effect (APTE), where unequal thermopowers along different crystal axes drive intricate circulations of photocurrent around the photoexcitation. Using simultaneous SPCM and magnetic imaging at the sample's interior and edges, we visualize how the APTE stimulates the long-range photocurrent collected in our Weyl semimetal devices through the Shockley-Ramo theorem. Our results highlight an overlooked, but widely relevant source of current flow and inspire novel photodetectors using homogeneous materials with anisotropy.


title: A Python Package for Sampling from Copulae: clayton

abstract: The package \textsf{clayton} is designed to be intuitive, user-friendly, and efficient. It offers a wide range of copula models, including Archimedean, Elliptical, and Extreme. The package is implemented in pure \textsf{Python}, making it easy to install and use. In addition, we provide detailed documentation and examples to help users get started quickly. We also conduct a performance comparison with existing \textsf{R} packages, demonstrating the efficiency of our implementation. The \textsf{clayton} package is a valuable tool for researchers and practitioners working with copulas in \textsf{Python}.


title: 3D Equivariant Graph Implicit Functions

abstract: In recent years, neural implicit representations have made remarkable progress in modeling of 3D shapes with arbitrary topology. In this work, we address two key limitations of such representations, in failing to capture local 3D geometric fine details, and to learn from and generalize to shapes with unseen 3D transformations. To this end, we introduce a novel family of graph implicit functions with equivariant layers that facilitates modeling fine local details and guaranteed robustness to various groups of geometric transformations, through local $k$-NN graph embeddings with sparse point set observations at multiple resolutions. Our method improves over the existing rotation-equivariant implicit function from 0.69 to 0.89 (IoU) on the ShapeNet reconstruction task. We also show that our equivariant implicit function can be extended to other types of similarity transformations and generalizes to unseen translations and scaling.


title: 4DL: a four-valued Dynamic logic and its proof-theory

abstract: Transition systems are often used to describe the behaviour of software systems. If viewed as a graph then, at their most basic level, vertices correspond to the states of a program and each edge represents a transition between states via the (atomic) action labelled. In this setting, systems are thought to be consistent so that at each state formulas are evaluated as either True or False. On the other hand, when a structure of this sort - for example a map where states represent locations, some local properties are known and labelled transitions represent information available about different routes - is built resorting to multiple sources of information, it is common to find inconsistent or incomplete information regarding what holds at each state, both at the level of propositional variables and transitions. This paper aims at bringing together Belnap's four values, Dynamic Logic and hybrid machinery such as nominals and the satisfaction operator, so that reasoning is still possible in face of contradicting evidence. Proof-theory for this new logic is explored by means of a terminating, sound and complete tableaux system.


title: A Multi-Planet System's Sole Super-Puff: Exploring Allowable Physical Parameters for the Cold Super-Puff HIP 41378 f

abstract: The census of known exoplanets exhibits a variety of physical parameters, including densities that are measured to span the range from less dense than styrofoam to more dense than iron. These densities represent a large diversity of interior structures. Despite this staggering diversity, recent analyses have shown that the densities of planets that orbit a common star exhibit remarkable uniformity. A fascinating exception to this is the system HIP 41378 (also known as K2-93), which contains a super-puff planet, HIP 41378 f, as well as several planets with more typical bulk densities. The range of densities in this system begs the question of what physical processes are responsible for the disparate planetary structures in this system. In this paper, we consider how the densities of the planets in the HIP 41378 system would have changed over time as the host star evolved and the planets' atmospheres were subsequently affected by the evolving insolation level. We also present a range of allowable core masses for HIP 41378 f based on the measured planet parameters, and comment on the feasibility of the proposed existence of planetary rings around HIP 41378 f as an explanation for its current low density.


title: Quantum computing at the quantum advantage threshold: a down-to-business review

abstract: It is expected that quantum computers would enable solving various problems that are beyond the capabilities of the most powerful current supercomputers, which are based on classical technologies. In the last three decades, advances in quantum computing stimulated significant interest in this field from industry, investors, media, executives, and general public. However, the understanding of this technology, its current capabilities and its potential impact in these communities is still lacking. Closing this gap requires a complete picture of how to assess quantum computing devices' performance and estimate their potential, a task made harder by the variety of quantum computing models and physical platforms. Here we review the state of the art in quantum computing, promising computational models and the most developed physical platforms. We also discuss potential applications, the requirements posed by these applications and technological pathways towards addressing these requirements. Finally, we summarize and analyze the arguments for the quantum computing market's further exponential growth. The review is written in a simple language without equations, and should be accessible to readers with no advanced background in mathematics and physics.


title: Current Challenges in Infinite-Domain Constraint Satisfaction: Dilemmas of the Infinite Sheep

abstract: A Constraint Satisfaction Problem (CSP) is a computational problem where we are given variables and constraints about them; the question is whether the variables can be assigned values such that all constraints are satisfied. We give an overview of the current state of research on CSPs where values for the variables and constraints are taken from a finitely bounded homogeneous structure which is fixed beforehand. We explain the main mathematical ideas so far, the three dilemmas they brought upon us, and what could be done to overcome them in order to obtain a satisfactory understanding of the computational complexity of such CSPs.


title: Ground state energy of dilute Bose gases in 1D

abstract: We study the ground state energy of a gas of 1D bosons with density $\rho$, interacting through a general, repulsive 2-body potential with scattering length $a$, in the dilute limit $\rho |a|\ll1$. The first terms in the expansion of the thermodynamic energy density are $\pi^2\rho^3/3(1+2\rho a)$, where the leading order is the 1D free Fermi gas. This result covers the Tonks-Girardeau limit of the Lieb-Liniger model as a special case, but given the possibility that $a>0$, it also applies to potentials that differ significantly from a delta function. We include extensions to spinless fermions and 1D anyonic symmetries, and discuss an application to confined 3D gases.


title: Stein-based preconditioners for weak-constraint 4D-var

abstract: Algorithms for data assimilation try to predict the most likely state of a dynamical system by combining information from observations and prior models. Variational approaches, such as the weak-constraint four-dimensional variational data assimilation formulation considered in this problem, can ultimately be interpreted as a minimization problem. One of the main challenges of such a formulation is the solution of large linear systems of equations which arise within the inner linear step of the adopted nonlinear solver. Depending on the adopted approach, these linear algebraic problems amount to either a saddle point linear system or a symmetric positive definite (SPD) one. Both formulations can be solved by means of a Krylov method, like GMRES or CG, that needs to be preconditioned to ensure fast convergence in terms of the number of iterations. In this paper we illustrate novel, efficient preconditioning operators which involve the solution of certain Stein matrix equations. In addition to achieving better computational performance, the latter machinery allows us to derive tighter bounds for the eigenvalue distribution of the preconditioned linear system for certain problem settings. A panel of diverse numerical results displays the effectiveness of the proposed methodology compared to current state-of-the-art approaches.


title: First Detections of Exop(lan)ets: Observations and Follow-Ups of the Floofiest Transits on Zoom

abstract: With the proliferation of online Zoom meetings as a means of doing science in the 2020s, astronomers have made new and unexpected Target of Opportunity (ToO) observations. Chief among these ToOs are observations of exop(lan)ets, or "exopets." Building on the work of Mayorga et al. (2021) - whose work characterized the rotational variations of "floofy" objects - we model exopets using methods similar to those used for exoplanetary transits. We present data collected for such exopet Zoom transits through a citizen science program in the month of February 2022. The dataset includes parameters like exopet color, floofiness, transit duration, and percentage of Zoom screen covered during the event. For some targets, we also present microlensing and direct imaging data. Using results from our modelling of 62 exopet observations as transits, microlensing, and direct imaging events, we discuss our inferences of exopet characteristics like their masses, sizes, orbits, colors, and floofiness.


title: Down-conversion of a single photon as a probe of many-body localization

abstract: Decay of a particle into more particles is a ubiquitous phenomenon to interacting quantum systems, taking place in colliders, nuclear reactors, or solids. In a non-linear medium, even a single photon would decay by down-converting (splitting) into lower frequency photons with the same total energy, at a rate given by Fermi's Golden Rule. However, the energy conservation condition cannot be matched precisely if the medium is finite and only supports quantized modes. In this case, the photon's fate becomes the long-standing question of many-body localization (MBL), originally formulated as a gedanken experiment for the lifetime of a single Fermi-liquid quasiparticle confined to a quantum dot. Here we implement such an experiment using a superconducting multi-mode cavity, the non-linearity of which was tailored to strongly violate the photon number conservation. The resulting interaction attempts to convert a single photon excitation into a shower of low-energy photons, but fails due to the MBL mechanism, which manifests as a striking spectral fine structure of multi-particle resonances at the cavity's standing wave mode frequencies. Each resonance was identified as a many-body state of radiation composed of photons from a broad frequency range, and not obeying the Fermi's Golden Rule theory. Our result introduces a new platform to explore fundamentals of MBL without having to control many atoms or qubits.


title: Nonprompt direct-photon production in Au$+$Au collisions at $\sqrt{s_{_{NN}}}=200$ GeV

abstract: The measurement of the direct-photon spectrum from Au$+$Au collisions at $\sqrt{s_{_{NN}}}=200$ GeV is presented by the PHENIX collaboration using the external-photon-conversion technique for 0\%--93\% central collisions in a transverse-momentum ($p_T$) range of 0.8--10 GeV/$c$. An excess of direct photons, above prompt-photon production from hard-scattering processes, is observed for $p_T<6$ GeV/$c$. Nonprompt direct photons are measured by subtracting the prompt component, which is estimated as $N_{\rm coll}$-scaled direct photons from $p$$+$$p$ collisions at 200 GeV, from the direct-photon spectrum. Results are obtained for $0.8<p_T<6.0$ GeV/$c$ and suggest that the spectrum has an increasing inverse slope from ${\approx}0.2$ to 0.4 GeV/$c$ with increasing $p_T$, which indicates a possible sensitivity of the measurement to photons from earlier stages of the evolution of the collision. In addition, like the direct-photon production, the $p_T$-integrated nonprompt direct-photon yields also follow a power-law scaling behavior as a function of collision-system size. The exponent, $\alpha$, for the nonprompt component is found to be consistent with 1.1 with no apparent $p_T$ dependence.


title: Effects of a strong phase transition on supernova explosions, compact stars and their mergers

abstract: We outline a theoretical approach supporting strong phase transitions from normal nuclear matter to the deconfined quark-gluon plasma, in the equation of state (EOS) for compact star matter. Implications of this hypothesis are discussed for astrophysical applications. Special emphasis is devoted to potentially detectable signatures, which can be directly related with the occurrence of a sufficiently strong phase transition. Therefore, simulations of core-collapse supernovae and binary compact star mergers are considered, including the subsequent emission of gravitational waves and, in the case of supernova, in addition the neutrinos play the role of messengers.


title: Scaling Up Models and Data with $\texttt{t5x}$ and $\texttt{seqio}$

abstract: Recent neural network-based language models have benefited greatly from scaling up the size of training datasets and the number of parameters in the models themselves. Scaling can be complicated due to various factors including the need to distribute computation on supercomputer clusters (e.g., TPUs), prevent bottlenecks when infeeding data, and ensure reproducible results. In this work, we present two software libraries that ease these issues: $\texttt{t5x}$ simplifies the process of building and training large language models at scale while maintaining ease of use, and $\texttt{seqio}$ provides a task-based API for simple creation of fast and reproducible training data and evaluation pipelines. These open-source libraries have been used to train models with hundreds of billions of parameters on datasets with multiple terabytes of training data. Along with the libraries, we release configurations and instructions for T5-like encoder-decoder models as well as GPT-like decoder-only architectures. $\texttt{t5x}$ and $\texttt{seqio}$ are open source and available at https://github.com/google-research/t5x and https://github.com/google/seqio, respectively.


title: Mixed-Phoneme BERT: Improving BERT with Mixed Phoneme and Sup-Phoneme Representations for Text to Speech

abstract: Recently, leveraging BERT pre-training to improve the phoneme encoder in text to speech (TTS) has drawn increasing attention. However, the works apply pre-training with character-based units to enhance the TTS phoneme encoder, which is inconsistent with the TTS fine-tuning that takes phonemes as input. Pre-training only with phonemes as input can alleviate the input mismatch but lack the ability to model rich representations and semantic information due to limited phoneme vocabulary. In this paper, we propose MixedPhoneme BERT, a novel variant of the BERT model that uses mixed phoneme and sup-phoneme representations to enhance the learning capability. Specifically, we merge the adjacent phonemes into sup-phonemes and combine the phoneme sequence and the merged sup-phoneme sequence as the model input, which can enhance the model capacity to learn rich contextual representations. Experiment results demonstrate that our proposed Mixed-Phoneme BERT significantly improves the TTS performance with 0.30 CMOS gain compared with the FastSpeech 2 baseline. The Mixed-Phoneme BERT achieves 3x inference speedup and similar voice quality to the previous TTS pre-trained model PnG BERT


title: Time Lens++: Event-based Frame Interpolation with Parametric Non-linear Flow and Multi-scale Fusion

abstract: Recently, video frame interpolation using a combination of frame- and event-based cameras has surpassed traditional image-based methods both in terms of performance and memory efficiency. However, current methods still suffer from (i) brittle image-level fusion of complementary interpolation results, that fails in the presence of artifacts in the fused image, (ii) potentially temporally inconsistent and inefficient motion estimation procedures, that run for every inserted frame and (iii) low contrast regions that do not trigger events, and thus cause events-only motion estimation to generate artifacts. Moreover, previous methods were only tested on datasets consisting of planar and faraway scenes, which do not capture the full complexity of the real world. In this work, we address the above problems by introducing multi-scale feature-level fusion and computing one-shot non-linear inter-frame motion from events and images, which can be efficiently sampled for image warping. We also collect the first large-scale events and frames dataset consisting of more than 100 challenging scenes with depth variations, captured with a new experimental setup based on a beamsplitter. We show that our method improves the reconstruction quality by up to 0.2 dB in terms of PSNR and up to 15% in LPIPS score.


title: Primordial Stochastic Gravitational Wave Background Anisotropies: in-in Formalization and Applications

abstract: Primordial non-Gaussianities of the scalar(tensor)-tensor-tensor type supporting a non-trivial squeezed component are known to induce anisotropies in the stochastic gravitational wave background. We derive the explicit form of such anisotropies by making use, for the first time in this context, of the in-in formalism for cosmological correlation functions. After illustrating the general method and using it for the minimal single-field slow-roll case, we apply it to multi-field models, providing both a tree-level and a one-loop example. First, we make contact with previous results on anisotropies due to the presence of an extra spin-2 field during inflation. Secondly, we calculate the 1-loop scalar-tensor-tensor three-point function in the context of so-called supersolid inflation. The corresponding gravitational wave anisotropy is induced atop a gravitational signal that may be sufficiently large for detection.


title: Learning from many trajectories

abstract: We initiate a study of supervised learning from many independent sequences ("trajectories") of non-independent covariates, reflecting tasks in sequence modeling, control, and reinforcement learning. Conceptually, our multi-trajectory setup sits between two traditional settings in statistical learning theory: learning from independent examples and learning from a single auto-correlated sequence. Our conditions for efficient learning generalize the former setting--trajectories must be non-degenerate in ways that extend standard requirements for independent examples. Notably, we do not require that trajectories be ergodic, long, nor strictly stable. For linear least-squares regression, given $n$-dimensional examples produced by $m$ trajectories, each of length $T$, we observe a notable change in statistical efficiency as the number of trajectories increases from a few (namely $m \lesssim n$) to many (namely $m \gtrsim n$). Specifically, we establish that the worst-case error rate of this problem is $\Theta(n / m T)$ whenever $m \gtrsim n$. Meanwhile, when $m \lesssim n$, we establish a (sharp) lower bound of $\Omega(n^2 / m^2 T)$ on the worst-case error rate, realized by a simple, marginally unstable linear dynamical system. A key upshot is that, in domains where trajectories regularly reset, the error rate eventually behaves as if all of the examples were independent, drawn from their marginals. As a corollary of our analysis, we also improve guarantees for the linear system identification problem.


title: Free Resolutions and Generalized Hamming Weights of binary linear codes

abstract: In this work, we explore the relationship between free resolution of some monomial ideals and Generalized Hamming Weights (GHWs) of binary codes. More precisely, we look for a structure smaller than the set of codewords of minimal support that provides us some information about the GHWs. We prove that the first and second generalized Hamming weight of a binary linear code can be computed (by means of a graded free resolution) from a set of monomials associated to a binomial ideal related with the code. Moreover, the remaining weights are bounded by the Betti numbers for that set.


title: Linear instability analysis on compressible Navier-Stokes equations with strong boundary layer

abstract: It is a classical problem in fluid dynamics about the stability and instability of different hydrodynamic patterns in various physical settings, in particular in the high Reynolds number limit of laminar flow with boundary layer. However, there are very few mathematical results on the compressible fluid despite the extensive studies when the fluid is governed by the incompressible Navier-Stokes equations. This paper aims to introduce a new approach to study the compressible Navier-Stokes equations in the subsonic and high Reynolds number regime where a subtle quasi-compressible and Stokes iteration is developed. As a byproduct, we show the spectral instability of subsonic boundary layer.


title: CatIss: An Intelligent Tool for Categorizing Issues Reports using Transformers

abstract: Users use Issue Tracking Systems to keep track and manage issue reports in their repositories. An issue is a rich source of software information that contains different reports including a problem, a request for new features, or merely a question about the software product. As the number of these issues increases, it becomes harder to manage them manually. Thus, automatic approaches are proposed to help facilitate the management of issue reports. This paper describes CatIss, an automatic CATegorizer of ISSue reports which is built upon the Transformer-based pre-trained RoBERTa model. CatIss classifies issue reports into three main categories of Bug reports, Enhancement/feature requests, and Questions. First, the datasets provided for the NLBSE tool competition are cleaned and preprocessed. Then, the pre-trained RoBERTa model is fine-tuned on the preprocessed dataset. Evaluating CatIss on about 80 thousand issue reports from GitHub, indicates that it performs very well surpassing the competition baseline, TicketTagger, and achieving 87.2% F1-score (micro average). Additionally, as CatIss is trained on a wide set of repositories, it is a generic prediction model, hence applicable for any unseen software project or projects with little historical data. Scripts for cleaning the datasets, training CatIss, and evaluating the model are publicly available.


title: The collider landscape: which collider for establishing the SM instability?

abstract: Capabilities of future colliders are usually discussed assuming specific hypothetical new physics. We consider the opposite possibility: that no new physics is accessible, and we want to learn if the unnatural Standard Model is part of a vast landscape. We argue that a main step in this direction would be establishing the possible instability scale of the Higgs potential. This primarily needs reducing the uncertainty on the strong coupling and on the top quark mass. We show that the top quark mass can be measured well enough via a $t \bar t$ threshold scan with low $10^{33}\,{\rm cm}^{-2}{\rm sec}^{-1}$ luminosity, that seems achievable at a `small' $e^+ e^-$ collider in the LEP tunnel, or at the first low-energy stage of a muon collider.


title: Optical characterization of two cataclysmic variables: RBS 0490 and SDSS J075939.79+191417.3

abstract: We present optical photometric and spectroscopic observations of two Cataclysmic Variables (CVs), namely RBS 0490 and SDSS J075939.79+191417.3. The optical variations of RBS 0490 have been found to occur at the period of 1.689$\pm$0.001 hr which appears to be a probable orbital period of the system. Present photometric observations of SDSS J075939.79+191417.3 confirm and refine the previously determined orbital period as 3.14240928$\pm$0.00000096 hr. The presence of long-duration eclipse features in the light curves of SDSS J075939.79+191417.3 indicates eclipses might be due to an accretion disc and bright spot. The orbital inclination of SDSS J075939.79+191417.3 is estimated to be $\sim$ 78 $^\circ$ using the eclipse morphology. The phased-light curve variations during the orbital cycle of RBS 0490 provide evidence of the emission from an independent second accretion region or a second fainter pole. Optical spectra of RBS 0490 and SDSS J075939.79+191417.3 show the presence of strong Balmer, weak He II ($\lambda$4686) emission lines, along with the detection of strong $H\beta$ emission lines with a large value of equivalent width. The characteristic features of RBS 0490 seem to favour low-field polars, while SDSS J075939.79+191417.3 appears to be similar to the non-magnetic systems.


title: Quantum interference in asymmetric superconducting nanowire loops

abstract: Macroscopic phase coherence in superconductors enables quantum interference and phase manipulation at realistic device length scales. Numerous superconducting electronic devices are based on the modulation of the supercurrent in superconducting loops. While the overall behavior of symmetric superconducting loops have been studied, the effects of asymmetries in such devices remain under-explored and poorly understood. Here we report on an experimental and theoretical study of the flux modulation of the persistent current in a doubly-connected asymmetric aluminum nanowire loop. A model considering the length and electronic cross-section asymmetries in the loop provides a quantitative account of the observations. Comparison with experiments give essential parameters such as persistent and critical currents as well as the amount of asymmetry which can provide feedback into the design of superconducting quantum devices.


title: Restoring Vision through Retinal Implants -- A Systematic Literature Review

abstract: This work presents a bunched of promising technologies to treat blind people: the bionic eyes. The strategy is to combine a retina implant with software capable to interpret the information received. Along this line of thinking, projects such as Retinal Prosthetic Strategy with the Capacity to Restore Normal Vision from Weill Medical College of Cornell University Project, Update on Retinal Prosthetic Research from The Boston Retinal Implant Project, and Restoration of Vision Using Wireless Cortical Implants from Monash Vision Group Project, have shown in a different context the use of technologies that commits to bring the vision through its use.


title: Freeness and $S$-arithmeticity of rational M\"{o}bius groups

abstract: We initiate a new, computational approach to a classical problem: certifying non-freeness of ($2$-generator, parabolic) M\"{o}bius subgroups of $\mathrm{SL}(2,\mathbb{Q})$. The main tools used are algorithms for Zariski dense groups and algorithms to compute a presentation of $\mathrm{SL}(2, R)$ for a localization $R= \mathbb{Z}[\frac{1}{b}]$ of $\mathbb{Z}$. We prove that a M\"{o}bius subgroup $G$ is not free by showing that it has finite index in the relevant $\mathrm{SL}(2, R)$. Further information about the structure of $G$ is obtained; for example, we compute the minimal subgroup of finite index in $\mathrm{SL}(2,R)$ that contains $G$.


title: Two-loop mixed QCD-EW corrections to $q \overline{q} \to H g$, $qg \to Hq$, and $\overline{q}g \to H\overline{q}$

abstract: We compute the two-loop mixed QCD-Electroweak corrections to $q \overline{q} \to H g$ and its crossed channels $q g \to H q$, $\overline{q} g \to H \overline{q}$, limiting ourselves to the contribution of light virtual quarks. We compute the independent helicity amplitudes as well as the form factors for this process, expressing them in terms of hyperlogarithms with algebraic arguments. The Feynman integrals are computed by direct integration over Feynman parameters and the results are expressed in terms of a basis of rational prefactors.


title: Notes on 5d Partition Functions -- II

abstract: We study the large $N$ limit of partition functions for 5d supersymmetric gauge theories with fundamental matter. Depending on the matter content, we find that the scaling behaviour at the leading order can be either $N^2$ or $N^{\frac{3}{2}}$. The latter scaling reminds one of the 3d theories with M-theory duals and we discuss how to extract this behaviour from the recently proposed 3d theories associated with the compactification of 5d SCFTs on 2d surfaces.


title: Dynamics of mean-field bosons at positive temperature

abstract: We study the time evolution of an initially trapped weakly interacting Bose gas at positive temperature, after the trapping potential has been switched off. It has been recently shown in arXiv:2009.00992 that the one-particle density matrix of Gibbs states of the interacting trapped gas is given, to leading order in $N$, as $N \to \infty$, by the one of the ideal gas, with the condensate wave function replaced by the minimizer of the Hartree energy functional. We show that this structure is stable with respect to the many-body evolution in the following sense: the dynamics can be approximated in terms of the time-dependent Hartree equation for the condensate wave function and in terms of the free evolution for the thermally excited particles. The main technical novelty of our work is the use of the Hartree-Fock-Bogoliubov equations to define a fluctuation dynamics.


title: Leverage Your Local and Global Representations: A New Self-Supervised Learning Strategy

abstract: Self-supervised learning (SSL) methods aim to learn view-invariant representations by maximizing the similarity between the features extracted from different crops of the same image regardless of cropping size and content. In essence, this strategy ignores the fact that two crops may truly contain different image information, e.g., background and small objects, and thus tends to restrain the diversity of the learned representations. In this work, we address this issue by introducing a new self-supervised learning strategy, LoGo, that explicitly reasons about Local and Global crops. To achieve view invariance, LoGo encourages similarity between global crops from the same image, as well as between a global and a local crop. However, to correctly encode the fact that the content of smaller crops may differ entirely, LoGo promotes two local crops to have dissimilar representations, while being close to global crops. Our LoGo strategy can easily be applied to existing SSL methods. Our extensive experiments on a variety of datasets and using different self-supervised learning frameworks validate its superiority over existing approaches. Noticeably, we achieve better results than supervised models on transfer learning when using only 1/10 of the data.


title: Stochastic Calculus in Infinite Dimensions and SPDEs

abstract: These notes rigorously construct the stochastic integral of a Hilbert Space valued process driven by a Cylindrical Brownian Motion. We expand upon this stochastic calculus to present an introduction to stochastic differential equations in infinite dimensions, with a particular focus on Stratonovich equations due to their physical importance as well as unbounded noise operators (with applications to transport noise). Furthermore we explore techniques in the existence theory for nonlinear stochastic partial differential equations.


title: A Proof of the Kahn-Kalai Conjecture

abstract: Proving the ``expectation-threshold'' conjecture of Kahn and Kalai, we show that for any increasing property $\mathcal{F}$ on a finite set $X$, $$p_c(\mathcal{F})=O(q(\mathcal{F})\log \ell(\mathcal{F})),$$ where $p_c(\mathcal{F})$ and $q(\mathcal{F})$ are the threshold and ``expectation threshold'' of $\mathcal{F}$, and $\ell(\mathcal{F})$ is the maximum of $2$ and the maximum size of a minimal member of $\mathcal{F}$.


title: Controlled Discovery and Localization of Signals via Bayesian Linear Programming

abstract: Scientists often must simultaneously localize and discover signals. For instance, in genetic fine-mapping, high correlations between nearby genetic variants make it hard to identify the exact locations of causal variants. So the statistical task is to output as many disjoint regions containing a signal as possible, each as small as possible, while controlling false positives. Similar problems arise in any application where signals cannot be perfectly localized, such as locating stars in astronomical surveys and changepoint detection in sequential data. Common Bayesian approaches to these problems involve computing a posterior distribution over signal locations. However, existing procedures to translate these posteriors into actual credible regions for the signals fail to capture all the information in the posterior, leading to lower power and (sometimes) inflated false discoveries. With this motivation, we introduce Bayesian Linear Programming (BLiP). Given a posterior distribution over signals, BLiP outputs credible regions for signals which verifiably nearly maximize expected power while controlling false positives. BLiP overcomes an extremely high-dimensional and nonconvex problem to verifiably nearly maximize expected power while controlling false positives. BLiP is very computationally efficient compared to the cost of computing the posterior and can wrap around nearly any Bayesian model and algorithm. Applying BLiP to existing state-of-the-art analyses of UK Biobank data (for genetic fine-mapping) and the Sloan Digital Sky Survey (for astronomical point source detection) increased power by 30-120% in just a few minutes of additional computation. BLiP is implemented in pyblip (Python) and blipr (R).


title: Adversarial Examples in Random Neural Networks with General Activations

abstract: A substantial body of empirical work documents the lack of robustness in deep learning models to adversarial examples. Recent theoretical work proved that adversarial examples are ubiquitous in two-layers networks with sub-exponential width and ReLU or smooth activations, and multi-layer ReLU networks with sub-exponential width. We present a result of the same type, with no restriction on width and for general locally Lipschitz continuous activations. More precisely, given a neural network $f(\,\cdot\,;{\boldsymbol \theta})$ with random weights ${\boldsymbol \theta}$, and feature vector ${\boldsymbol x}$, we show that an adversarial example ${\boldsymbol x}'$ can be found with high probability along the direction of the gradient $\nabla_{{\boldsymbol x}}f({\boldsymbol x};{\boldsymbol \theta})$. Our proof is based on a Gaussian conditioning technique. Instead of proving that $f$ is approximately linear in a neighborhood of ${\boldsymbol x}$, we characterize the joint distribution of $f({\boldsymbol x};{\boldsymbol \theta})$ and $f({\boldsymbol x}';{\boldsymbol \theta})$ for ${\boldsymbol x}' = {\boldsymbol x}-s({\boldsymbol x})\nabla_{{\boldsymbol x}}f({\boldsymbol x};{\boldsymbol \theta})$.


title: A Few Almost Trivial Notes on the Symplectic Radon Transform and the Tomographic Picture of Quantum Mechanics

abstract: We emphasize in these pedagogical notes the that the theory of the Radon transform and its applications is best understood using the theory of the metaplectic group and the quadratic Fourier transforms generating metaplectic operator.. Doing this we hope that these notes will be useful to a larger audience, including researchers in time-frequency analysis.


title: ShapeFindAR: Exploring In-Situ Spatial Search for Physical Artifact Retrieval using Mixed Reality

abstract: Personal fabrication is made more accessible through repositories like Thingiverse, as they replace modeling with retrieval. However, they require users to translate spatial requirements to keywords, which paints an incomplete picture of physical artifacts: proportions or morphology are non-trivially encoded through text only. We explore a vision of in-situ spatial search for (future) physical artifacts, and present ShapeFindAR, a mixed-reality tool to search for 3D models using in-situ sketches blended with textual queries. With ShapeFindAR, users search for geometry, and not necessarily precise labels, while coupling the search process to the physical environment (e.g., by sketching in-situ, extracting search terms from objects present, or tracing them). We developed ShapeFindAR for HoloLens 2, connected to a database of 3D-printable artifacts. We specify in-situ spatial search, describe its advantages, and present walkthroughs using ShapeFindAR, which highlight novel ways for users to articulate their wishes, without requiring complex modeling tools or profound domain knowledge.


title: Anomaly-free axion dark matter in three Higgs doublet model and its phenomenological implications

abstract: We study phenomenological implications of an axion that arises as a pseudo Nambu-Goldstone boson due to the spontaneous breaking of anomaly-free global flavor symmetry. One interesting possibility for such anomaly-free axion to explain dark matter (DM) is when it has a mass of order keV and an intermediate scale decay constant, since it can be explored through direct search experiments, X-ray observations, various stellar cooling processes, and the misalignment mechanism naturally explains the DM abundance. As a concrete renormalizable model of such axion, we consider an extended Higgs sector with global flavor symmetry, which consists of three Higgs doublet fields and three singlet Higgs fields with $U(1)_{\rm B-L}$ charges. We identify viable parameter regions that satisfy theoretical bounds on the Higgs potential and various experimental limits on this model, and evaluate the mass spectra of the axion and extra Higgs bosons. We find that even an anomaly-free axion can generally couple to photons through mixing with CP-odd Higgs, and that its strength depends on the vacuum expectation values of the Higgs doublets as well as the axion mass. As a result, the ratios of the vacuum expectation values of the Higgs doublets are tightly constrained to satisfy the X-ray constraints. We show the favored parameter region where axion DM explains the XENON1T excess. We also demonstrate that the axion-electron coupling is correlated with the extra Higgs boson masses and mixing angles for CP-even Higgs bosons. Thus, if the axion is detected in future observations, the extra Higgs boson masses and the coupling of the standard model-like Higgs boson with the weak gauge bosons are restricted. This is a good example of the synergy between searches for the axion DM and the BSM around the electroweak scale.


title: Analyzing Wrap-Up Effects through an Information-Theoretic Lens

abstract: Numerous analyses of reading time (RT) data have been implemented -- all in an effort to better understand the cognitive processes driving reading comprehension. However, data measured on words at the end of a sentence -- or even at the end of a clause -- is often omitted due to the confounding factors introduced by so-called "wrap-up effects," which manifests as a skewed distribution of RTs for these words. Consequently, the understanding of the cognitive processes that might be involved in these wrap-up effects is limited. In this work, we attempt to learn more about these processes by examining the relationship between wrap-up effects and information-theoretic quantities, such as word and context surprisals. We find that the distribution of information in prior contexts is often predictive of sentence- and clause-final RTs (while not of sentence-medial RTs). This lends support to several prior hypotheses about the processes involved in wrap-up effects.


title: Constraining galaxy-halo connection with high-order statistics

abstract: We investigate using three-point statistics in constraining the galaxy-halo connection. We show that for some galaxy samples, the constraints on the halo occupation distribution parameters are dominated by the three-point function signal (over its two-point counterpart). We demonstrate this on mock catalogs corresponding to the Luminous Red Galaxies (LRGs), Emission-Line Galaxies (ELG), and quasars (QSOs) targeted by the Dark Energy Spectroscopic Instrument (DESI) Survey. The projected three-point function for triangle sides less up to 20$h^{-1}$ Mpc measured from a cubic Gpc of data can constrain the characteristic minimum mass of the LRGs with a precision of $0.46$ %. For comparison, similar constraints from the projected two-point function are $1.55$ %. The improvements for the ELGs and QSOs targets are more modest. In the case of the QSOs it is caused by the high shot-noise of the sample, and in the case of the ELGs, this is caused by the range of halo masses of the host halos. The most time-consuming part of our pipeline is the measurement of the three-point functions. We adopt a tabulation method, proposed in earlier works for the two-point function, to reduce significantly the required compute time for the three-point analysis.