title: Gauge invariant double copy of Yang-Mills theory: the quartic theory

abstract: We give an explicit gauge invariant, off-shell and local double copy construction of gravity from Yang-Mills theory to quartic order. To this end we use the framework of homotopy algebras, and we identify a rich new algebraic structure associated to color-stripped Yang-Mills theory. This algebra, which is a generalization of a Batalin-Vilkovisky algebra, is the underlying structure necessary for double copy. We give a self-contained introduction into these algebras by illustrating them for Chern-Simons theory in three dimensions. We then construct N = 0 supergravity in the form of double field theory in terms of the algebraic Yang-Mills building blocks to quartic order in interactions. As applications of the same universal formula, we re-derive the 4-graviton scattering amplitude and compute a chiral form of the Courant algebroid gauge structure of double field theory.


title: Stellar Reddening Based Extinction Maps for Cosmological Applications

abstract: Cosmological surveys must correct their observations for the reddening of extragalactic objects by Galactic dust. Existing dust maps, however, have been found to have spatial correlations with the large-scale structure of the Universe. Errors in extinction maps can propagate systematic biases into samples of dereddened extragalactic objects and into cosmological measurements such as correlation functions between foreground lenses and background objects and the primordial non-gaussianity parameter $f_{NL}$. Emission-based maps are contaminated by the cosmic infrared background, while maps inferred from stellar-reddenings suffer from imperfect removal of quasars and galaxies from stellar catalogs. Thus, stellar-reddening based maps using catalogs without extragalactic objects offer a promising path to making dust maps with minimal correlations with large-scale structure. We present two high-latitude integrated extinction maps based on stellar reddenings, with a point spread function of full-width half-maximum 6.1' and 15'. We employ a strict selection of catalog objects to filter out galaxies and quasars and measure the spatial correlation of our extinction maps with extragalactic structure. Our galactic extinction maps have reduced spatial correlation with large scale structure relative to most existing stellar-reddening based and emission-based extinction maps.


title: There is No Place Like Home -- Finding Birth Radii of Stars in the Milky Way

abstract: Stars move away from their birthplaces over time via a process known as radial migration, which blurs chemo-kinematic relations used for reconstructing the Milky Way (MW) formation history. To understand the true time evolution of the MW, one needs to take into account the effects of this process. We show that stellar birth radii can be derived directly from the data with minimum prior assumptions on the Galactic enrichment history. This is done by first recovering the time evolution of the stellar birth metallicity gradient, $d\mathrm{[Fe/H]}(R, \tau)/dR$, through its inverse relation to the metallicity range as a function of age today, allowing us to place any star with age and metallicity measurements back to its birthplace, $R_b$. Applying our method to a large, high-precision data set of MW disk subgiant stars, we find a steepening of the birth metallicity gradient from 11 to 8 Gyr ago, which coincides with the time of the last massive merger, Gaia-Sausage-Enceladus (GSE). This transition appears to play a major role in shaping both the age-metallicity relation and the bimodality in the [$\alpha$/Fe]-[Fe/H] plane. By dissecting the disk into mono-$R_b$ populations, clumps in the low-[$\alpha$/Fe] sequence appear, which are not seen in the total sample and coincide in time with known star-formation bursts, possibly associated with the Sagittarius Dwarf Galaxy. We estimated that the Sun was born at $4.5\pm 0.4$~kpc from the Galactic center. Our $R_b$ estimates provide the missing piece needed to recover the Milky Way formation history.


title: Affleck-Dine Cogenesis of Baryon and Dark Matter

abstract: We propose a mechanism for cogenesis of baryon and dark matter (DM) in the universe via the Affleck-Dine (AD) route. An AD field which breaks the lepton number symmetry, leads to the generation of lepton asymmetry by virtue of its cosmic evolution, which then gets transferred into lepton and dark sectors. While the lepton asymmetry gets converted into baryon asymmetry via sphalerons, the dark sector asymmetry leads to the final DM abundance with the symmetric part being annihilated away due to resonantly enhanced annihilation, which we choose to be provided by a gauged $B-L$ portal. Stringent constraints from DM direct detection forces DM and $B-L$ gauge boson masses to be light, in the few GeV ballpark. While a large portion of the model parameter space is already ruled out, the remaining parameter space is within sensitivity of laboratory as well as cosmology based experiments. The AD field also plays the role of inflaton with the required dynamics by virtue of its non-minimal coupling to gravity, consistent with observations.


title: Negative scalar potentials and the swampland: an Anti-Trans-Planckian Censorship Conjecture

abstract: In this paper, we derive a characterisation of negative scalar potentials, $V<0$, in $d$-dimensional effective theories of quantum gravity. This is achieved thanks to an Anti-Trans-Planckian Censorship Conjecture (ATCC), inspired by a refined version of the TCC. The ATCC relies on the fact that in a contracting universe, modes that become sub-Planckian in length violate the validity of the effective theory. In the asymptotics of field space, we deduce that $-V'/V \geq c_0$ when $V' \geq 0$. The rate $c_0 = 2/\sqrt{(d-1)(d-2)}$ is successfully tested in several string compactifications for $d\geq 4$. In addition, a new asymptotic condition, $V''/V \geq c_0^2$, is derived. By extrapolation to anti-de Sitter solutions of radius $l$, we infer the existence of a scalar whose mass should obey $m^2 l^2 \lesssim -2$. This property is verified in many supersymmetric examples.


title: Discovery of a binary-origin classical Cepheid in a binary system with a 59-day orbital period

abstract: We report the discovery of a surprising binary configuration of the double-mode Cepheid OGLE-LMC-CEP-1347 pulsating in the first (P_1=0.690d) and second overtone (P_2=0.556d) modes. The orbital period (P_orb=59d) of the system is five times shorter than the shortest known to date (310d) for a binary Cepheid. The Cepheid itself is also the shortest-period one ever found in a binary system and the first double-mode Cepheid in a spectroscopically double-lined binary. OGLE-LMC-CEP-1347 is most probably on its first crossing through the instability strip, as inferred from both its short period and fast period increase, consistent with evolutionary models, and from the short orbital period (not expected for binary Cepheids whose components have passed through the red giant phase). Our evolutionary analysis yielded a first-crossing Cepheid with a mass in a range of 2.9-3.4 Msun (lower than any measured Cepheid mass), consistent with observations. The companion is a stable star, at least two times fainter and less massive than the Cepheid (preliminary mass ratio q=0.55), while also redder and thus at the subgiant or more advanced evolutionary stage. To match these characteristics, the Cepheid has to be a product of binary interaction, most likely a merger of two less massive stars, which makes it the second known classical Cepheid of binary origin. Moreover, further evolution of the components may lead to another binary interaction.


title: Detecting topological phases in the square-octagon lattice with statistical methods

abstract: Electronic systems living on Archimedean lattices such as kagome and square-octagon networks are presently being intensively discussed for the possible realization of topological insulating phases. Coining the most interesting electronic topological states in an unbiased way is however not straightforward due to the large parameter space of possible Hamiltonians. A possible approach to tackle this problem is provided by a recently developed statistical learning method [T. Mertz and R. Valent\'i, Phys. Rev. Research 3, 013132 (2021)], based on the analysis of a large data sets of randomized tight-binding Hamiltonians labeled with a topological index. In this work, we complement this technique by introducing a feature engineering approach which helps identifying polynomial combinations of Hamiltonian parameters that are associated with non-trivial topological states. As a showcase, we employ this method to investigate the possible topological phases that can manifest on the square-octagon lattice, focusing on the case in which the Fermi level of the system lies at a high-order van Hove singularity, in analogy to recent studies of topological phases on the kagome lattice at the van Hove filling.


title: The compact support property for solutions to stochastic heat equations with stable noise

abstract: We consider weak non-negative solutions to the stochastic partial differential equation \begin{equation*} \partial_t Y_t(x) = \Delta Y_t(x) + Y_{t-}(x)^\gamma \dot{L}(t,x), \end{equation*} for $(t,x) \in \mathbb{R}_+ \times \mathbb{R}^d$, where $\gamma > 0$ and $\dot{L}$ is a one-sided stable noise of index $\alpha \in (1,2)$. We prove that solutions with compactly supported initial data have compact support for all times if $\gamma \in (2-\alpha, 1)$ for $d=1$, and if $\gamma \in [1/\alpha,1)$ in dimensions $d \in [2,2/(\alpha-1)) \cap \mathbb{N}$. This complements known results on solutions to the equation with Gaussian noise. We also establish a stochastic integral formula for the density of a solution and associated moment bounds which hold in all dimensions for which solutions are defined.


title: A simulation-based inference pipeline for cosmic shear with the Kilo-Degree Survey

abstract: The standard approach to inference from cosmic large-scale structure data employs summary statistics that are compared to analytic models in a Gaussian likelihood with pre-computed covariance. To overcome the idealising assumptions about the form of the likelihood and the complexity of the data inherent to the standard approach, we investigate simulation-based inference (SBI), which learns the likelihood as a probability density parameterised by a neural network. We construct suites of simulated, exactly Gaussian-distributed data vectors for the most recent Kilo-Degree Survey (KiDS) weak gravitational lensing analysis and demonstrate that SBI recovers the full 12-dimensional KiDS posterior distribution with just under $10^4$ simulations. We optimise the simulation strategy by initially covering the parameter space by a hypercube, followed by batches of actively learnt additional points. The data compression in our SBI implementation is robust to suboptimal choices of fiducial parameter values and of data covariance. Together with a fast simulator, SBI is therefore a competitive and more versatile alternative to standard inference.


title: A tale of two (or more) $h$'s

abstract: We use the large-scale structure galaxy data (LSS) from the BOSS and eBOSS surveys, in combination with abundances information from Big Bang Nucleosynthesis (BBN) to measure two values of the Hubble expansion rate, $H_0=100h\,[{\rm km}\, {\rm s}^{-1}\,{\rm Mpc}^{-1}]$, each of them based on very different physical processes. One is a (traditional) late-time-background measurement based on determining the BAO scale and using BBN abundances on baryons for calibrating its absolute size (BAO+BBN). This method anchors $H_0$ to the (standard) physics of the sound horizon scale at pre-recombination times. The other is a newer early-time based measurement associated with the broadband shape of the power spectrum. This second method anchors $H_0$ to the physics of the matter-radiation equality scale, which also needs BBN information for determining the suppression of baryons in the power spectrum shape (shape+BBN). Within the $\Lambda$CDM model, we find very good consistency among these two $H_0$'s: BAO+BBN (+growth) delivers $H_0=67.42_{-0.94}^{+0.88}$ $(67.37_{-0.95}^{+0.86})$ km s$^{-1}$Mpc$^{-1}$ , whereas the shape+BBN (+growth) delivers $H_0 = 70.1_{-2.1}^{+2.1}$ $(70.1_{-2.1}^{+1.9})$ km s$^{-1}$ Mpc$^{-1}$, where "growth" stands for information from the late-time-perturbations captured by the growth of structure parameter. These are the tightest sound-horizon free $H_0$ constraints from LSS data to date. As a consequence to be viable, any $\Lambda$CDM extension proposed to address the so-called "Hubble tension" needs to modify consistently not only the sound horizon scale physics, but also the matter-radiation equality scale, in such a way that both late- and early-based $H_0$'s return results mutually consistent and consistent with the high $H_0$ value recovered by the standard cosmic distance ladder (distance-redshift relation) determinations.


title: Assessing the Capacity of Transformer to Abstract Syntactic Representations: A Contrastive Analysis Based on Long-distance Agreement

abstract: The long-distance agreement, evidence for syntactic structure, is increasingly used to assess the syntactic generalization of Neural Language Models. Much work has shown that transformers are capable of high accuracy in varied agreement tasks, but the mechanisms by which the models accomplish this behavior are still not well understood. To better understand transformers' internal working, this work contrasts how they handle two superficially similar but theoretically distinct agreement phenomena: subject-verb and object-past participle agreement in French. Using probing and counterfactual analysis methods, our experiments show that i) the agreement task suffers from several confounders which partially question the conclusions drawn so far and ii) transformers handle subject-verb and object-past participle agreements in a way that is consistent with their modeling in theoretical linguistics.


title: Initial-Boundary Value Problem for the Maxwell-Bloch Equations with an Arbitrary Inhomogeneous Broadening and Periodic Boundary Function

abstract: The initial-boundary value problem (IBVP) for the Maxwell-Bloch equations with an arbitrary inhomogeneous broadening and periodic boundary condition is studied. This IBVP describes the propagation of an electromagnetic wave generated by periodic pumping in a resonant medium with distributed two-level atoms. We extended the inverse scattering transform method in the form of the matrix Riemann-Hilbert problem for solving the considered IBVP. Using the system of Ablowitz-Kaup-Newell-Segur equations equivalent to the system of the Maxwell-Bloch (MB) equations, we construct the associated matrix Riemann-Hilbert (RH) problem. Theorems on the existence, uniqueness and smoothness properties of a solution of the constructed RH problem are proved, and it is shown that a solution of the considered IBVP is uniquely defined by the solution of the associated RH problem. It is proved that the RH problem provides the causality principle. The representation of a solution of the MB equations in terms of a solution of the associated RH problem are given. The significance of this method also lies in the fact that, having studied the asymptotic behavior of the constructed RH problem and equivalent ones, we can obtain formulas for the asymptotics of a solution of the corresponding IBVP for the MB equations.


title: Monetary Uncertainty as a Determinant of the Response of Stock Market to Macroeconomic News

abstract: This paper examines the effect of macroeconomic news announcements (MNA) on the stock market. Stocks exhibit a strong positive response to major MNA: 1 standard deviation of MNA surprise causes 11-25 bps higher returns. This response is highly time-varying and is weaker during periods of high monetary uncertainty. I decompose this response into cash flow and risk-free rate channels. 1 standard deviation of good MNA surprise leads to plus 30 bps returns from the cash flow channel and minus 23 bps per 1\% of monetary uncertainty from the risk-free rate channel. Risk-free rate channel is time-varying and is stronger when monetary uncertainty is high. High levels of monetary uncertainty mask the strong positive response of stocks to MNA, which explains why past research failed to detect this relation.


title: Analytic approximations of scattering effects on beam chromaticity in 21-cm global experiments

abstract: Scattering from objects near an antenna produce correlated signals from strong compact radio sources in a manner similar to those used by the Sea Interferometer to measure the radio source positions using the fine frequency structure in the total power spectrum of a single antenna. These fringes or ripples due to correlated signal interference are present at a low level in the spectrum of any single antenna and are a major source of systematics in systems used to measure the global redshifted 21-cm signal from the early universe. In the Sea Interferometer a single antenna on a cliff above the sea is used to add the signal from the direct path to the signal from the path reflected from the sea thereby forming an interferometer. This was used for mapping radio sources with a single antenna by Bolton and Slee in the 1950s. In this paper we derive analytic expressions to determine the level of these ripples and compare these results in a few simple cases with electromagnetic modeling software to verify that the analytic calculations are sufficient to obtain the magnitude of the scattering effects on the measurements of the global 21-cm signal. These analytic calculations are needed to evaluate the magnitude of the effects in cases that are either too complex or take too much time to be modeled using software.


title: A proof of the 3/5-conjecture in the domination game

abstract: The domination game is an optimization game played by two players, Dominator and Staller, who alternately select vertices in a graph $G$. A vertex is said to be dominated if it has been selected or is adjacent to a selected vertex. Each selected vertex must strictly increase the number of dominated vertices at the time of its selection, and the game ends once every vertex in $G$ is dominated. Dominator aims to keep the game as short as possible, while Staller tries to achieve the opposite. In this article, we prove that for any graph $G$ on $n$ vertices, Dominator has a strategy to end the game in at most $3n/5$ moves, which was conjectured by Kinnersley, West and Zamani.


title: Towards Practical Application of Deep Learning in Diagnosis of Alzheimer's Disease

abstract: Accurate diagnosis of Alzheimer's disease (AD) is both challenging and time consuming. With a systematic approach for early detection and diagnosis of AD, steps can be taken towards the treatment and prevention of the disease. This study explores the practical application of deep learning models for diagnosis of AD. Due to computational complexity, large training times and limited availability of labelled dataset, a 3D full brain CNN (convolutional neural network) is not commonly used, and researchers often prefer 2D CNN variants. In this study, full brain 3D version of well-known 2D CNNs were designed, trained and tested for diagnosis of various stages of AD. Deep learning approach shows good performance in differentiating various stages of AD for more than 1500 full brain volumes. Along with classification, the deep learning model is capable of extracting features which are key in differentiating the various categories. The extracted features align with meaningful anatomical landmarks, that are currently considered important in identification of AD by experts. An ensemble of all the algorithm was also tested and the performance of the ensemble algorithm was superior to any individual algorithm, further improving diagnosis ability. The 3D versions of the trained CNNs and their ensemble have the potential to be incorporated in software packages that can be used by physicians/radiologists to assist them in better diagnosis of AD.


title: A fractal LTB model cannot explain Dark Energy

abstract: We revisited the problem of describing, on average, a fractal distribution of matter using a Lemaitre-Tolman-Bondi (LTB) solution. Here we study the fractal structure of our local universe having a fractal dimension and a scale transition, ensuring an homogeneous bang-time function. We test our model with the latest type Ia supernova data, the Pantheon compilation, and discuss problems and possible improvements for it, concluding that a fractal transition in LTB cosmology cannot be used to explain the effects of dark energy without requiring an inhomogeneous big-bang, but it can be useful to study structures at low scales.


title: Utilizing Machine Learning to Greatly Expand the Range and Accuracy of Bottom-Up Coarse-Grained Models Through Virtual Particles

abstract: Coarse-grained (CG) models parameterized using atomistic reference data, i.e., 'bottom up' CG models, have proven useful in the study of biomolecules and other soft matter. However, the construction of highly accurate, low resolution CG models of biomolecules remains challenging. We demonstrate in this work how virtual particles, CG sites with no atomistic correspondence, can be incorporated into CG models within the context of relative entropy minimization (REM) as latent variables. The methodology presented, variational derivative relative entropy minimization (VD-REM), enables optimization of virtual particle interactions through a gradient descent algorithm aided by machine learning. We apply this methodology to the challenging case of a solvent-free CG model of a 1,2-dioleoyl-sn-glycero-3-phosphocholine (DOPC) lipid bilayer and demonstrate that introduction of virtual particles captures solvent-mediated behavior and higher-order correlations which REM alone cannot capture in a more standard CG model based only on the mapping of collections of atoms to the CG sites.


title: ORCa: Glossy Objects as Radiance Field Cameras

abstract: Reflections on glossy objects contain valuable and hidden information about the surrounding environment. By converting these objects into cameras, we can unlock exciting applications, including imaging beyond the camera's field-of-view and from seemingly impossible vantage points, e.g. from reflections on the human eye. However, this task is challenging because reflections depend jointly on object geometry, material properties, the 3D environment, and the observer viewing direction. Our approach converts glossy objects with unknown geometry into radiance-field cameras to image the world from the object's perspective. Our key insight is to convert the object surface into a virtual sensor that captures cast reflections as a 2D projection of the 5D environment radiance field visible to the object. We show that recovering the environment radiance fields enables depth and radiance estimation from the object to its surroundings in addition to beyond field-of-view novel-view synthesis, i.e. rendering of novel views that are only directly-visible to the glossy object present in the scene, but not the observer. Moreover, using the radiance field we can image around occluders caused by close-by objects in the scene. Our method is trained end-to-end on multi-view images of the object and jointly estimates object geometry, diffuse radiance, and the 5D environment radiance field.


title: Framewise WaveGAN: High Speed Adversarial Vocoder in Time Domain with Very Low Computational Complexity

abstract: GAN vocoders are currently one of the state-of-the-art methods for building high-quality neural waveform generative models. However, most of their architectures require dozens of billion floating-point operations per second (GFLOPS) to generate speech waveforms in samplewise manner. This makes GAN vocoders still challenging to run on normal CPUs without accelerators or parallel computers. In this work, we propose a new architecture for GAN vocoders that mainly depends on recurrent and fully-connected networks to directly generate the time domain signal in framewise manner. This results in considerable reduction of the computational cost and enables very fast generation on both GPUs and low-complexity CPUs. Experimental results show that our Framewise WaveGAN vocoder achieves significantly higher quality than auto-regressive maximum-likelihood vocoders such as LPCNet at a very low complexity of 1.2 GFLOPS. This makes GAN vocoders more practical on edge and low-power devices.


title: Deep Architectures for Content Moderation and Movie Content Rating

abstract: Rating a video based on its content is an important step for classifying video age categories. Movie content rating and TV show rating are the two most common rating systems established by professional committees. However, manually reviewing and evaluating scene/film content by a committee is a tedious work and it becomes increasingly difficult with the ever-growing amount of online video content. As such, a desirable solution is to use computer vision based video content analysis techniques to automate the evaluation process. In this paper, related works are summarized for action recognition, multi-modal learning, movie genre classification, and sensitive content detection in the context of content moderation and movie content rating. The project page is available at https://github.com/fcakyon/content-moderation-deep-learning.


title: On the Optimization of Benefit to Cost Ratios for Public Sector Decision Making

abstract: Decision making in the public sector centers on delivering resources and services for the common good, emphasizing an expansive set of objectives such as equity and efficiency, beyond immediate short term returns to reflect the broader cares of society and public beneficiaries. Cost-benefit analysis is a prevailing decision-making framework in the public sector that often uses the benefit to cost ratio (BCR) to compare viable alternatives, yet no systematic framework exists for evaluating many alternatives beyond the status quo of doing nothing. We propose a new framework to maximize the BCR for public sector decisions, seeking the largest improvement per marginal deployment of capacity. Requiring a status quo representable through (constrained) decision variables, the framework is generally applicable and useful to a broad set of decision contexts that involve maximizing the BCR for marginal deployments of resources. We demonstrate the applicability of our framework on a compelling case study for the New York City runaway and homeless youth shelter system, an area of high societal need. We represent this problem as a mixed integer linear fractional program (MILFP) and employ Dinkelbach's algorithm that converts the MILFP to a series of linearized mixed-integer optimization problems, making our approach tractable for fairly large problem instances. Our optimization-based algorithmic framework yields data-informed recommendations for making New York City shelter expansion decisions to better serve runaway and homeless youth, and generalizes to reveal managerial insights for optimizing the BCR. More broadly, our algorithmic decision making framework allows for iteration and comparison across multiple potential constraints ensuring action away from the status quo, thereby empowering effective assessment of marginal deployment of additional resources.


title: Motion-Invariant Variational Auto-Encoding of Brain Structural Connectomes

abstract: Mapping of human brain structural connectomes via diffusion MRI offers a unique opportunity to understand brain structural connectivity and relate it to various human traits, such as cognition. However, the presence of motion artifacts during image acquisition can compromise the accuracy of connectome reconstructions and subsequent inference results. We develop a generative model to learn low-dimensional representations of structural connectomes that are invariant to motion artifacts, so that we can link brain networks and human traits more accurately, and generate motion-adjusted connectomes. We applied the proposed model to data from the Adolescent Brain Cognitive Development (ABCD) study and the Human Connectome Project (HCP) to investigate how our motion-invariant connectomes facilitate understanding of the brain network and its relationship with cognition. Empirical results demonstrate that the proposed motion-invariant variational auto-encoder (inv-VAE) outperforms its competitors in various aspects. In particular, motion-adjusted structural connectomes are more strongly associated with a wide array of cognition-related traits than other approaches without motion adjustment. Open source code is available at https://github.com/yzhang511/inv-vae.


title: On some rational extension properties for $GL_n(q)$ and even-degree characters fixed by order-2 Galois automorphisms

abstract: In this note, we prove that if every character of a finite group $G$ fixed by an order-2 Galois automorphism has odd degree, then $G$ has a normal Sylow $2$-subgroup. On the way, we study extensions of characters of $GL_n(q)$, $q$ odd, to the group extended by the transpose-inverse automorphism and prove that unipotent characters of $PSL_n(q)$ extend to rational characters of its automorphism group.


title: Graph Learning Indexer: A Contributor-Friendly and Metadata-Rich Platform for Graph Learning Benchmarks

abstract: Establishing open and general benchmarks has been a critical driving force behind the success of modern machine learning techniques. As machine learning is being applied to broader domains and tasks, there is a need to establish richer and more diverse benchmarks to better reflect the reality of the application scenarios. Graph learning is an emerging field of machine learning that urgently needs more and better benchmarks. To accommodate the need, we introduce Graph Learning Indexer (GLI), a benchmark curation platform for graph learning. In comparison to existing graph learning benchmark libraries, GLI highlights two novel design objectives. First, GLI is designed to incentivize \emph{dataset contributors}. In particular, we incorporate various measures to minimize the effort of contributing and maintaining a dataset, increase the usability of the contributed dataset, as well as encourage attributions to different contributors of the dataset. Second, GLI is designed to curate a knowledge base, instead of a plain collection, of benchmark datasets. We use multiple sources of meta information to augment the benchmark datasets with \emph{rich characteristics}, so that they can be easily selected and used in downstream research or development. The source code of GLI is available at \url{https://github.com/Graph-Learning-Benchmarks/gli}.


title: Experimental observation of trajectories beyond the long in high order harmonic generation

abstract: We experimentally observe longer than long trajectory influence in high order harmonic generation (HHG) by varying the peak intensity of the driving laser field through either direct attenuation, or by chirping the laser pulse. Using a theoretical Gaussian beam model to simulate spatial interference resulting from quantum path interference we show that the measured interference patterns cannot be solely explained by the well established short and long trajectories. The structure change is most prominent for the more divergent, off-axis components of the lower plateau harmonic region, affecting the direction and amplitude of the extreme ultraviolet light emitted, and is thus of importance for understanding and controlling the fundamentals of the HHG process.


title: Coactions on C*-algebras and universal properties

abstract: It is well-known that the maximalization of a coaction of a locally compact group on a C*-algebra enjoys a universal property. We show how this important property can be deduced from a categorical framework by exploiting certain properties of the maximalization functor for coactions. We also provide a dual proof for the universal property of normalization of coactions.


title: TinyKG: Memory-Efficient Training Framework for Knowledge Graph Neural Recommender Systems

abstract: There has been an explosion of interest in designing various Knowledge Graph Neural Networks (KGNNs), which achieve state-of-the-art performance and provide great explainability for recommendation. The promising performance is mainly resulting from their capability of capturing high-order proximity messages over the knowledge graphs. However, training KGNNs at scale is challenging due to the high memory usage. In the forward pass, the automatic differentiation engines (\textsl{e.g.}, TensorFlow/PyTorch) generally need to cache all intermediate activation maps in order to compute gradients in the backward pass, which leads to a large GPU memory footprint. Existing work solves this problem by utilizing multi-GPU distributed frameworks. Nonetheless, this poses a practical challenge when seeking to deploy KGNNs in memory-constrained environments, especially for industry-scale graphs. Here we present TinyKG, a memory-efficient GPU-based training framework for KGNNs for the tasks of recommendation. Specifically, TinyKG uses exact activations in the forward pass while storing a quantized version of activations in the GPU buffers. During the backward pass, these low-precision activations are dequantized back to full-precision tensors, in order to compute gradients. To reduce the quantization errors, TinyKG applies a simple yet effective quantization algorithm to compress the activations, which ensures unbiasedness with low variance. As such, the training memory footprint of KGNNs is largely reduced with negligible accuracy loss. To evaluate the performance of our TinyKG, we conduct comprehensive experiments on real-world datasets. We found that our TinyKG with INT2 quantization aggressively reduces the memory footprint of activation maps with $7 \times$, only with $2\%$ loss in accuracy, allowing us to deploy KGNNs on memory-constrained devices.


title: Generalized Hukuhara directional differentiability of interval-valued functions on Riemannian manifolds

abstract: In this paper, we show that generalized Hukuhara directional differentiability of an interval-valued function (IVF) defined on Riemannian manifolds is not equivalent to the directional differentiability of its center and half-width functions and hence not to its end point functions. This contrasts with S.-L. Chen's \cite{chen} assertion which says the equivalence holds in terms of endpoint functions of an IVF which is defined on a Hadamard manifold. Additionally, the paper addresses some inaccuracies made by the author which arise when assuming the convexity of a function at a single point in its domain. In light of these arguments, the paper presents some basic results that relate to both the convexity and directional differentiability of an IVF.


title: VASR: Visual Analogies of Situation Recognition

abstract: A core process in human cognition is analogical mapping: the ability to identify a similar relational structure between different situations. We introduce a novel task, Visual Analogies of Situation Recognition, adapting the classical word-analogy task into the visual domain. Given a triplet of images, the task is to select an image candidate B' that completes the analogy (A to A' is like B to what?). Unlike previous work on visual analogy that focused on simple image transformations, we tackle complex analogies requiring understanding of scenes. We leverage situation recognition annotations and the CLIP model to generate a large set of 500k candidate analogies. Crowdsourced annotations for a sample of the data indicate that humans agree with the dataset label ~80% of the time (chance level 25%). Furthermore, we use human annotations to create a gold-standard dataset of 3,820 validated analogies. Our experiments demonstrate that state-of-the-art models do well when distractors are chosen randomly (~86%), but struggle with carefully chosen distractors (~53%, compared to 90% human accuracy). We hope our dataset will encourage the development of new analogy-making models. Website: https://vasr-dataset.github.io/


title: Direct observations of causal links in plastic events validates statistical analysis tools for seismology

abstract: Earthquakes are complex physical processes driven by the stick-slip motion of a sliding fault. After the main quake, a series of aftershocks typically follows. These are loosely defined as events that follow a given event and occur within prescribed space-time windows. In seismology, it is however impossible to establish a causal relation and the popular Nearest-Neighbor metric is commonly used to distinguish aftershocks from independent events. Here we employ a model for earthquake dynamics, previously shown to be able to correctly reproduce the phenomenology of earthquakes, and a technique that allows us to separate independent and triggered events. We show that aftershocks in our catalogue follow Omori's law and we employ the model to show that the Nearest-Neighbor metric is effective in separating independent events from aftershocks.


title: Arbitrary static, spherically symmetric space-times as solutions of scalar-tensor gravity

abstract: It is shown that an arbitrary static, spherically symmetric metric can be presented as an exact solution of a scalar-tensor theory (STT) of gravity with certain nonminimal coupling function $f(\phi)$ and potential $U(\phi)$. The scalar field in this representation can change its nature from canonical to phantom on certain coordinate spheres. This representation, however, is valid in general not in the full range of the radial coordinate but only piecewise. Two examples of STT representations are discussed: for the Reissner-Nordstr\"om metric and for the Simpson-Visser regularization of the Schwarzschild metric (the so-called black bounce space-time).


title: The role of super-spreaders in modeling of SARS-CoV-2

abstract: In stochastic modeling of infectious diseases, it has been established that variations in infectivity affect the probability of a major outbreak, but not the shape of the curves during a major outbreak, which is predicted by deterministic models [Diekmann et al., 2012]. However, such conclusions are derived under idealized assumptions such as the population size tending to infinity, and the individual degree of infectivity only depending on variations in the infectiousness period. In this paper we show that the same conclusions hold true in a finite population representing a medium size city, where the degree of infectivity is determined by the offspring distribution, which we try to make as realistic as possible for SARS-CoV-2. In particular, we consider distributions with fat tails, to incorporate the existence of super-spreaders. We also provide new theoretical results on convergence of stochastic models which allows to incorporate any offspring distribution with a finite variance.


title: A Dependable Hybrid Machine Learning Model for Network Intrusion Detection

abstract: Network intrusion detection systems (NIDSs) play an important role in computer network security. There are several detection mechanisms where anomaly-based automated detection outperforms others significantly. Amid the sophistication and growing number of attacks, dealing with large amounts of data is a recognized issue in the development of anomaly-based NIDS. However, do current models meet the needs of today's networks in terms of required accuracy and dependability? In this research, we propose a new hybrid model that combines machine learning and deep learning to increase detection rates while securing dependability. Our proposed method ensures efficient pre-processing by combining SMOTE for data balancing and XGBoost for feature selection. We compared our developed method to various machine learning and deep learning algorithms to find a more efficient algorithm to implement in the pipeline. Furthermore, we chose the most effective model for network intrusion based on a set of benchmarked performance analysis criteria. Our method produces excellent results when tested on two datasets, KDDCUP'99 and CIC-MalMem-2022, with an accuracy of 99.99% and 100% for KDDCUP'99 and CIC-MalMem-2022, respectively, and no overfitting or Type-1 and Type-2 issues.


title: Bridging Coherence Optics and Classical Mechanics -- A Universal Light Polarization-Entanglement Complementary Relation

abstract: While optics and mechanics are two distinct branches of physics, they are connected. It is well known that geometrical/ray treatment of light has direct analogies to mechanical descriptions of particle motion. However, connections between coherence wave optics and classical mechanics are rarely reported. Here we explore links of the two for an arbitrary light field by performing a quantitative analysis of two optical coherence properties: polarization and entanglement (implied by a wave picture of light due to Huygens and Fresnel). A universal complementary identity relation is obtained. More surprisingly, optical polarization, entanglement, and their identity relation are shown to be quantitatively associated with mechanical concepts of center of mass and moment of inertia through the Huygens-Steiner theorem for rigid body rotation. The obtained result bridges coherence wave optics and classical mechanics through the two theories of Huygens.


title: STLGRU: Spatio-Temporal Lightweight Graph GRU for Traffic Flow Prediction

abstract: Reliable forecasting of traffic flow requires efficient modeling of traffic data. Indeed, different correlations and influences arise in a dynamic traffic network, making modeling a complicated task. Existing literature has proposed many different methods to capture traffic networks' complex underlying spatial-temporal relations. However, given the heterogeneity of traffic data, consistently capturing both spatial and temporal dependencies presents a significant challenge. Also, as more and more sophisticated methods are being proposed, models are increasingly becoming memory-heavy and, thus, unsuitable for low-powered devices. To this end, we propose Spatio-Temporal Lightweight Graph GRU, namely STLGRU, a novel traffic forecasting model for predicting traffic flow accurately. Specifically, our proposed STLGRU can effectively capture dynamic local and global spatial-temporal relations of traffic networks using memory-augmented attention and gating mechanisms in a continuously synchronized manner. Moreover, instead of employing separate temporal and spatial components, we show that our memory module and gated unit can successfully learn the spatial-temporal dependencies with reduced memory usage and fewer parameters. Extensive experimental results on three real-world public traffic datasets demonstrate that our method can not only achieve state-of-the-art performance but also exhibit competitive computational efficiency. Our code is available at https://github.com/Kishor-Bhaumik/STLGRU


title: Optimizing Real-Time Performances for Timed-Loop Racing under F1TENTH

abstract: Motion planning and control in autonomous car racing are one of the most challenging and safety-critical tasks due to high speed and dynamism. The lower-level control nodes are expected to be highly optimized due to resource constraints of onboard embedded processing units, although there are strict latency requirements. Some of these guarantees can be provided at the application level, such as using ROS2's Real-Time executors. However, the performance can be far from satisfactory as many modern control algorithms (such as Model Predictive Control) rely on solving complicated online optimization problems at each iteration. In this paper, we present a simple yet effective multi-threading technique to optimize the throughput of online-control algorithms for resource-constrained autonomous racing platforms. We achieve this by maintaining a systematic pool of worker threads solving the optimization problem in parallel which can improve the system performance by reducing latency between control input commands. We further demonstrate the effectiveness of our method using the Model Predictive Contouring Control (MPCC) algorithm running on Nvidia's Xavier AGX platform.


title: Modern Statistical Models and Methods for Estimating Fatigue-Life and Fatigue-Strength Distributions from Experimental Data

abstract: Engineers and scientists have been collecting and analyzing fatigue data since the 1800s to ensure the reliability of life-critical structures. Applications include (but are not limited to) bridges, building structures, aircraft and spacecraft components, ships, ground-based vehicles, and medical devices. Engineers need to estimate S-N relationships (Stress or Strain versus Number of cycles to failure), typically with a focus on estimating small quantiles of the fatigue-life distribution. Estimates from this kind of model are used as input to models (e.g., cumulative damage models) that predict failure-time distributions under varying stress patterns. Also, design engineers need to estimate lower-tail quantiles of the closely related fatigue-strength distribution. The history of applying incorrect statistical methods is nearly as long and such practices continue to the present. Examples include treating the applied stress (or strain) as the response and the number of cycles to failure as the explanatory variable in regression analyses (because of the need to estimate strength distributions) and ignoring or otherwise mishandling censored observations (known as runouts in the fatigue literature). The first part of the paper reviews the traditional modeling approach where a fatigue-life model is specified. We then show how this specification induces a corresponding fatigue-strength model. The second part of the paper presents a novel alternative modeling approach where a fatigue-strength model is specified and a corresponding fatigue-life model is induced. We explain and illustrate the important advantages of this new modeling approach.


title: Efficient Strategies for Graph Pattern Mining Algorithms on GPUs

abstract: Graph Pattern Mining (GPM) is an important, rapidly evolving, and computation demanding area. GPM computation relies on subgraph enumeration, which consists in extracting subgraphs that match a given property from an input graph. Graphics Processing Units (GPUs) have been an effective platform to accelerate applications in many areas. However, the irregularity of subgraph enumeration makes it challenging for efficient execution on GPU due to typical uncoalesced memory access, divergence, and load imbalance. Unfortunately, these aspects have not been fully addressed in previous work. Thus, this work proposes novel strategies to design and implement subgraph enumeration efficiently on GPU. We support a depth-first search style search (DFS-wide) that maximizes memory performance while providing enough parallelism to be exploited by the GPU, along with a warp-centric design that minimizes execution divergence and improves utilization of the computing capabilities. We also propose a low-cost load balancing layer to avoid idleness and redistribute work among thread warps in a GPU. Our strategies have been deployed in a system named DuMato, which provides a simple programming interface to allow efficient implementation of GPM algorithms. Our evaluation has shown that DuMato is often an order of magnitude faster than state-of-the-art GPM systems and can mine larger subgraphs (up to 12 vertices).


title: Landweber exactness of the formal group law in $c_1$-spherical bordism

abstract: We describe the structure of the coefficient ring $W^*(pt)=\varOmega_W^*$ of the $c_1$-spherical bordism theory for an arbitrary $SU$-bilinear multiplication. We prove that for any $SU$-bilinear multiplication the formal group of the theory $W^*$ is Landweber exact. Also we show that after inverting the set $\mathcal P$ of Fermat primes there exists a complex orientation of the localized theory $W^*[\mathcal P^{-1}]$ such that the coefficients of the corresponding formal group law generate the whole coefficient ring $\varOmega_W^*[\mathcal P^{-1}]$.


title: Rational points on Atkin-Lehner quotients of geometrically hyperelliptic Shimura curves

abstract: Guo and Yang give defining equations for all geometrically hyperelliptic Shimura curves $X_0(D,N)$. In this paper we compute the $\mathbb{Q}$-rational points on the Atkin-Lehner quotients of these curves using a variety of techniques. We also determine which rational points are CM for many of these curves.


title: Task-Directed Exploration in Continuous POMDPs for Robotic Manipulation of Articulated Objects

abstract: Representing and reasoning about uncertainty is crucial for autonomous agents acting in partially observable environments with noisy sensors. Partially observable Markov decision processes (POMDPs) serve as a general framework for representing problems in which uncertainty is an important factor. Online sample-based POMDP methods have emerged as efficient approaches to solving large POMDPs and have been shown to extend to continuous domains. However, these solutions struggle to find long-horizon plans in problems with significant uncertainty. Exploration heuristics can help guide planning, but many real-world settings contain significant task-irrelevant uncertainty that might distract from the task objective. In this paper, we propose STRUG, an online POMDP solver capable of handling domains that require long-horizon planning with significant task-relevant and task-irrelevant uncertainty. We demonstrate our solution on several temporally extended versions of toy POMDP problems as well as robotic manipulation of articulated objects using a neural perception frontend to construct a distribution of possible models. Our results show that STRUG outperforms the current sample-based online POMDP solvers on several tasks.


title: Influence of anthropomorphic agent on human empathy through games

abstract: The social acceptance of AI agents, including intelligent virtual agents and physical robots, is becoming more important for the integration of AI into human society. Although the agents used in human society share various tasks with humans, their cooperation may frequently reduce the task performance. One way to improve the relationship between humans and AI agents is to have humans empathize with the agents. By empathizing, humans feel positively and kindly toward agents, which makes it easier to accept them. In this study, we focus on tasks in which humans and agents have various interactions together, and we investigate the properties of agents that significantly influence human empathy toward the agents. To investigate the effects of task content, difficulty, task completion, and an agent's expression on human empathy, two experiments were conducted. The results of the two experiments showed that human empathy toward the agent was difficult to maintain with only task factors, and that the agent's expression was able to maintain human empathy. In addition, a higher task difficulty reduced the decrease in human empathy, regardless of task content. These results demonstrate that an AI agent's properties play an important role in helping humans accept them.


title: Super Stable Tensegrities and the Colin de Verdi\`{e}re Number $\nu$

abstract: A super stable tensegrity introduced by Connelly in 1982 is a globally rigid discrete structure made from stiff bars or struts connected by cables with tension. In this paper we show an exact relation between the maximum dimension that a multigraph can be realized as a super stable tensegrity and Colin de Verdi\`{e}re number~$\nu$ from spectral graph theory. As a corollary we obtain a combinatorial characterization of multigraphs that can be realized as 3-dimensional super stable tensegrities.


title: Assessing the C/O Ratio Formation Diagnostic: A Potential Trend with Companion Mass

abstract: The carbon-to-oxygen (C/O) ratio in an exoplanet atmosphere has been suggested as a potential diagnostic of planet formation. Now that a number of exoplanets have measured C/O ratios, it is possible to examine this diagnostic at a population level. Here, we present an analysis of currently measured C/O ratios of directly imaged and transit/eclipse planets. First, we derive atmospheric parameters for the substellar companion HD 284149 AB b using data taken with the OSIRIS integral field spectrograph at the W.M. Keck Observatory and report two non-detections from our ongoing imaging spectroscopy survey with Keck/OSIRIS. We find an effective temperature of $T_\mathrm{eff} = 2502$ K, with a range of 2291-2624 K, $\log g=4.52$, with a range of 4.38-4.91, and [M/H] = 0.37, with a range of 0.10-0.55. We derive a C/O of 0.59$^{+0.15}_{-0.30}$ for HD 284149 AB b. We add this measurement to the list of C/O ratios for directly imaged planets and compare them with those from a sample of transit/eclipse planets. We also derive the first dynamical mass estimate for HD 284149 AB b, finding a mass of $\sim$28 $M_\mathrm{Jup}$. There is a trend in C/O ratio with companion mass ($M_{\mathrm{Jup}}$), with a break seen around 4$M_{\mathrm{Jup}}$. We run a Kolmogorov-Smirnov and an Anderson-Darling test on planets above and below this mass boundary, and find that they are two distinct populations. This could be additional evidence of two distinct populations possibly having two different formation pathways, with companion mass as an indicator of most likely formation scenario.


title: Skein Algebras of Three-Manifolds at 4th Roots of Unity

abstract: This paper introduces an algebra structure on the part of the skein module of an arbitrary $3$-manifold $M$ spanned by links that represent $0$ in $H_1(M;\mathbb{Z}_2)$ when the value of the parameter used in the Kauffman bracket skein relation is equal to $\pm {\bf i}$. It is proved that if $M$ has no $2$-torsion in $H_1(M;\mathbb{Z})$ then those algebras, $K_{\pm {\bf i}}^0(M)$, are naturally isomorphic to the corresponding algebras when the value of the parameter is $\pm 1$. This implies that the algebra $K_{\pm{\bf i}}^0(M)$ is the unreduced coordinate ring of the variety of $PSL_2(\mathbb{C})$-characters of $\pi_1(M)$ that lift to $SL_2(\mathbb{C})$-representations.


title: SpeechLMScore: Evaluating speech generation using speech language model

abstract: While human evaluation is the most reliable metric for evaluating speech generation systems, it is generally costly and time-consuming. Previous studies on automatic speech quality assessment address the problem by predicting human evaluation scores with machine learning models. However, they rely on supervised learning and thus suffer from high annotation costs and domain-shift problems. We propose SpeechLMScore, an unsupervised metric to evaluate generated speech using a speech-language model. SpeechLMScore computes the average log-probability of a speech signal by mapping it into discrete tokens and measures the average probability of generating the sequence of tokens. Therefore, it does not require human annotation and is a highly scalable framework. Evaluation results demonstrate that the proposed metric shows a promising correlation with human evaluation scores on different speech generation tasks including voice conversion, text-to-speech, and speech enhancement.


title: Data-Driven Flow and Injection Estimation in PMU-Unobservable Transmission Systems

abstract: Fast and accurate knowledge of power flows and power injections is needed for a variety of applications in the electric grid. Phasor measurement units (PMUs) can be used to directly compute them at high speeds; however, a large number of PMUs will be needed for computing all the flows and injections. Similarly, if they are calculated from the outputs of a linear state estimator, then their accuracy will deteriorate due to the quadratic relationship between voltage and power. This paper employs machine learning to perform fast and accurate flow and injection estimation in power systems that are sparsely observed by PMUs. We train a deep neural network (DNN) to learn the mapping function between PMU measurements and power flows/injections. The relation between power flows and injections is incorporated into the DNN by adding a linear constraint to its loss function. The results obtained using the IEEE 118-bus system indicate that the proposed approach performs more accurate flow/injection estimation in severely unobservable power systems compared to other data-driven methods.


title: Christoffel words and the strong Fox conjecture for two-bridge knots

abstract: The trapezoidal Fox conjecture states that the coefficient sequence of the Alexander polynomial of an alternating knot is unimodal. We are motivated by a harder question, the strong Fox conjecture, which asks whether the coefficient sequence of the Alexander polynomial of alternating knots is actually log-concave. Our approach is to introduce a polynomial $\Delta(t)$ associated to a Christoffel word and to prove that its coefficient sequence is log-concave. This implies the strong Fox conjecture for two-bridge knots.


title: Paths to gravitation via the gauging of parameterized field theories

abstract: In special-relativistic physics, spacetime is imbued with a fixed, non-dynamical metric tensor. A path to gravitational theory is to promote this tensor to a genuine dynamical field. An alternative description of special-relativistic physics involves no fixed geometry but instead the inclusion of scalar fields $X^{I}(x^{\mu})$ which dynamically may take the form of inertial coordinates in spacetime. This suggests an alternative approach to gravity where the invariance of actions under global Poincar\'{e} transformations of $X^{I}$ is promoted to either a local Poincar\'{e} or local Lorentz symmetry via the introduction of gauge fields. Points of commonality and departure of the resulting gravitational theories as compared to General Relativity are discussed. It is shown that the model based on local Lorentz symmetry is an extension of General Relativity that can introduce a standard of time into the dynamics of the gravitational field and allows for spacetimes described by a Minkowski metric or flat Euclidean signature metric despite the gravitational gauge field possessing non-zero curvature.


title: An SLR on Edge Computing Security and possible threat protection

abstract: Mobile and Internet of Things devices are generating enormous amounts of multi-modal data due to their exponential growth and accessibility. As a result, these data sources must be directly analyzed in real time at the network edge rather than relying on the cloud. Significant processing power at the network's edge has made it possible to gather data and make decisions prior to data being sent to the cloud. Moreover, security problems have significantly towered as a result of the rapid expansion of mobile devices, Internet of Things (IoT) devices, and various network points. It's much harder than ever to guarantee the privacy of sensitive data, including customer information. This systematic literature review depicts the fact that new technologies are a great weapon to fight with the attack and threats to the edge computing security.


title: Population III star formation in an X-ray background: III. Periodic radiative feedback and luminosity induced by elliptical orbits

abstract: We model Pop III star formation in different FUV and X-ray backgrounds, including radiation feedback from protostars. We confirm previous results that a moderate X-ray background increases the number of Pop III systems per unit cosmological volume, but masses and multiplicities of the system are reduced. The stellar mass function also agrees with previous results, and we confirm the outward migration of the stars within the protostellar discs. We find that nearly all Pop III star systems are hierarchical, i.e., binaries of binaries. Typically, two equal-mass stars form near the centre of the protostellar disc and migrate outward. Around these stars, mini-discs fragment forming binaries that also migrate outward. Stars may also form at Lagrange points L4/L5 of the system. Afterward, star formation becomes more stochastic due to the large multiplicity, and zero-metallicity low-mass stars can form when rapidly ejected from the disc. Stars in the disc often have eccentric orbits, leading to a periodic modulation of their accretion rates and luminosities. At the pericenter, due to strong accretion, the star can enter a red-supergiant phase reaching nearly Eddington luminosity in the optical bands ($m_{\rm AB} \sim 34$ for a $100~M_{odot}$ star at $z=6$). During this phase, the star, rather than its nebular lines, can be observed directly by JWST, if sufficiently magnified by a gravitational lens. The $\sim 10,000$ AU separations and high eccentricities of many Pop III star binaries in our simulations are favorable parameters for IMBH mergers - and gravitational waves emission - through orbital excitation by field stars.


title: A Proof of the Grundy domination strong product conjecture

abstract: The Grundy domination number of a simple graph $G = (V,E)$ is the length of the longest sequence of unique vertices $S = (v_1, \ldots, v_k)$, $v_i \in V$, that satisfies the property $N[v_i] \setminus \cup_{j=1}^{i-1}N[v_j] \neq \emptyset$ for each $i \in [k]$. Here, $N(v) = \{u : uv \in E\}$ and $N[v] = N(v) \cup \{v\}$. In this note, we prove a recent conjecture about the Grundy domination number of the strong product of two graphs. We then discuss how this result relates to the zero forcing number of the strong product of graphs.


title: Simple and high-precision Hamiltonian simulation by compensating Trotter error with linear combination of unitary operations

abstract: Trotter and linear-combination-of-unitary (LCU) are two popular Hamiltonian simulation methods. We propose Hamiltonian simulation algorithms using LCU to compensate Trotter error, which enjoy both of their advantages. By adding few gates after the Kth-order Trotter, we realize a better time scaling than 2Kth-order Trotter. Our first algorithm exponentially improves the accuracy scaling of the Kth-order Trotter formula. In the second algorithm, we consider the detailed structure of Hamiltonians and construct LCU for Trotter errors with commutator scaling. Consequently, for lattice Hamiltonians, the algorithm enjoys almost linear system-size dependence and quadratically improves the accuracy of the Kth-order Trotter.


title: Enhanced prediction accuracy with uncertainty quantification in monitoring CO2 sequestration using convolutional neural networks

abstract: Monitoring changes inside a reservoir in real time is crucial for the success of CO2 injection and long-term storage. Machine learning (ML) is well-suited for real-time CO2 monitoring because of its computational efficiency. However, most existing applications of ML yield only one prediction (i.e., the expectation) for a given input, which may not properly reflect the distribution of the testing data, if it has a shift with respect to that of the training data. The Simultaneous Quantile Regression (SQR) method can estimate the entire conditional distribution of the target variable of a neural network via pinball loss. Here, we incorporate this technique into seismic inversion for purposes of CO2 monitoring. The uncertainty map is then calculated pixel by pixel from a particular prediction interval around the median. We also propose a novel data-augmentation method by sampling the uncertainty to further improve prediction accuracy. The developed methodology is tested on synthetic Kimberlina data, which are created by the Department of Energy and based on a CO2 capture and sequestration (CCS) project in California. The results prove that the proposed network can estimate the subsurface velocity rapidly and with sufficient resolution. Furthermore, the computed uncertainty quantifies the prediction accuracy. The method remains robust even if the testing data are distorted due to problems in the field data acquisition. Another test demonstrates the effectiveness of the developed data-augmentation method in increasing the spatial resolution of the estimated velocity field and in reducing the prediction error.


title: Spectroscopic confirmation of four metal-poor galaxies at z=10.3-13.2

abstract: Finding and characterising the first galaxies that illuminated the early Universe at cosmic dawn is pivotal to understand the physical conditions and the processes that led to the formation of the first stars. In the first few months of operations, imaging from the James Webb Space Telescope (JWST) have been used to identify tens of candidates of galaxies at redshift (z) greater than 10, less than 450 million years after the Big Bang. However, none of these candidates has yet been confirmed spectroscopically, leaving open the possibility that they are actually low-redshift interlopers. Here we present spectroscopic confirmation and analysis of four galaxies unambiguously detected at redshift 10.3<z<13.2, previously selected from NIRCam imaging. The spectra reveal that these primeval galaxies are extremely metal poor, have masses between 10^7 and a few times 10^8 solar masses, and young ages. The damping wings that shape the continuum close to the Lyman edge are consistent with a fully neutral intergalactic medium at this epoch. These findings demonstrate the rapid emergence of the first generations of galaxies at cosmic dawn.


title: Knowledge Distillation Applied to Optical Channel Equalization: Solving the Parallelization Problem of Recurrent Connection

abstract: To circumvent the non-parallelizability of recurrent neural network-based equalizers, we propose knowledge distillation to recast the RNN into a parallelizable feedforward structure. The latter shows 38\% latency decrease, while impacting the Q-factor by only 0.5dB.


title: On dominating graph of graphs, median graphs and partial cubes, and graphs in which complement of every minimal dominating set is minimal dominating

abstract: The dominating graph of a graph G is a graph whose vertices correspond to the dominating sets of G and two vertices are adjacent whenever their corresponding dominating sets differ in exactly one vertex. Studying properties of dominating graph has become an increasingly interesting subject in domination theory. On the other hand, median graphs and partial cubes are two fundamental graph classes in graph theory. In this paper, we make some new connections between domination theory and the theory of median graphs and partial cubes. As the main result, we show that the following conditions are equivalent for every graph $G \not \simeq C_4$ with no isolated vertex, and in particular, that the simple third condition completely characterizes first two ones in which three concepts of dominating graphs, median graphs and complement of minimal dominating sets get related: - The dominating graph of G is a median graph, - The complement of every minimal dominating set of G is a minimal dominating set, - Every vertex of G is either of degree 1 or adjacent to a vertex of degree 1. As another result, we prove that the dominating graph of every graph is a partial cube and also give some examples to show that not all partial cubes or median graphs are isomorphic to the dominating graph of a graph. The above-mentioned results, as another highlight of the paper, provide novel infinite sources of examples of median graphs and partial cubes.


title: Kondo Effect in Defect-bound Quantum Dots Coupled to NbSe$_2$

abstract: We report the fabrication of a van der Waals tunneling device hosting a defect-bound quantum dot coupled to NbSe$_2$. We find that upon application of magnetic field, the device exhibits a zero-bias conductance peak. The peak, which splits at higher fields, is associated with a Kondo effect. At the same time, the junction retains conventional quasiparticle tunneling features at finite bias. Such coexistence of a superconducting gap and a Kondo effect are unusual, and are explained by noting the two-gap nature of the superconducting state of NbSe$_2$, where a magnetic field suppresses the low energy gap associated with the Se band. Our data shows that van der Waals architectures, and defect-bound dots in them, can serve as a novel and effective platform for investigating the interplay of Kondo screening and superconducting pairing in unconventional superconductors.


title: A Data-driven Cognitive Salience Model for Objective Perceptual Audio Quality Assessment

abstract: Objective audio quality measurement systems often use perceptual models to predict the subjective quality scores of processed signals, as reported in listening tests. Most systems map different metrics of perceived degradation into a single quality score predicting subjective quality. This requires a quality mapping stage that is informed by real listening test data using statistical learning (i.e., a data-driven approach) with distortion metrics as input features. However, the amount of reliable training data is limited in practice, and usually not sufficient for a comprehensive training of large learning models. Models of cognitive effects in objective systems can, however, improve the learning model. Specifically, considering the salience of certain distortion types, they provide additional features to the mapping stage that improve the learning process, especially for limited amounts of training data. We propose a novel data-driven salience model that informs the quality mapping stage by explicitly estimating the cognitive/degradation metric interactions using a salience measure. Systems incorporating the novel salience model are shown to outperform equivalent systems that only use statistical learning to combine cognitive and degradation metrics, as well as other well-known measurement systems, for a representative validation dataset.


title: Modularity through Attention: Efficient Training and Transfer of Language-Conditioned Policies for Robot Manipulation

abstract: Language-conditioned policies allow robots to interpret and execute human instructions. Learning such policies requires a substantial investment with regards to time and compute resources. Still, the resulting controllers are highly device-specific and cannot easily be transferred to a robot with different morphology, capability, appearance or dynamics. In this paper, we propose a sample-efficient approach for training language-conditioned manipulation policies that allows for rapid transfer across different types of robots. By introducing a novel method, namely Hierarchical Modularity, and adopting supervised attention across multiple sub-modules, we bridge the divide between modular and end-to-end learning and enable the reuse of functional building blocks. In both simulated and real world robot manipulation experiments, we demonstrate that our method outperforms the current state-of-the-art methods and can transfer policies across 4 different robots in a sample-efficient manner. Finally, we show that the functionality of learned sub-modules is maintained beyond the training process and can be used to introspect the robot decision-making process. Code is available at https://github.com/ir-lab/ModAttn.


title: Hide, Not Seek: Perceived Fairness in Envy-Free Allocations of Indivisible Goods

abstract: Fair division provides a rich computational and mathematical framework for the allocation of indivisible goods, which has given rise to numerous fairness concepts and their relaxations. In recent years, much attention has been given to theoretical and computational aspects of various fairness concepts. Nonetheless, the choice of which fairness concept is in practice perceived to be fairer by individuals is not well understood. We consider two conceptually different relaxations of envy-freeness and investigate how individuals perceive the induced allocations as fair. In particular, we examine a well-studied relaxation of envy-freeness up to one good (EF1) which is based on counterfactual thinking that any pairwise envy can be eliminated by the hypothetical removal of a single good from the envied agent's bundle. In contrast, a recently proposed epistemic notion, namely envy-freeness up to $k$ hidden goods (HEF-$k$), provides a relaxation by hiding information about a small subset of $k$ goods. Through various crowdsourcing experiments, we empirically demonstrate that allocations achieved by withholding information are perceived to be fairer compared to two variants of EF1.


title: DDM-NET: End-to-end learning of keypoint feature Detection, Description and Matching for 3D localization

abstract: In this paper, we propose an end-to-end framework that jointly learns keypoint detection, descriptor representation and cross-frame matching for the task of image-based 3D localization. Prior art has tackled each of these components individually, purportedly aiming to alleviate difficulties in effectively train a holistic network. We design a self-supervised image warping correspondence loss for both feature detection and matching, a weakly-supervised epipolar constraints loss on relative camera pose learning, and a directional matching scheme that detects key-point features in a source image and performs coarse-to-fine correspondence search on the target image. We leverage this framework to enforce cycle consistency in our matching module. In addition, we propose a new loss to robustly handle both definite inlier/outlier matches and less-certain matches. The integration of these learning mechanisms enables end-to-end training of a single network performing all three localization components. Bench-marking our approach on public data-sets, exemplifies how such an end-to-end framework is able to yield more accurate localization that out-performs both traditional methods as well as state-of-the-art weakly supervised methods.


title: Generalizing LTL Instructions via Future Dependent Options

abstract: In many real-world applications of control system and robotics, linear temporal logic (LTL) is a widely-used task specification language which has a compositional grammar that naturally induces temporally extended behaviours across tasks, including conditionals and alternative realizations. An important problem in RL with LTL tasks is to learn task-conditioned policies which can zero-shot generalize to new LTL instructions not observed in the training. However, because symbolic observation is often lossy and LTL tasks can have long time horizon, previous works can suffer from issues such as training sampling inefficiency and infeasibility or sub-optimality of the found solutions. In order to tackle these issues, this paper proposes a novel multi-task RL algorithm with improved learning efficiency and optimality. To achieve the global optimality of task completion, we propose to learn options dependent on the future subgoals via a novel off-policy approach. In order to propagate the rewards of satisfying future subgoals back more efficiently, we propose to train a multi-step value function conditioned on the subgoal sequence which is updated with Monte Carlo estimates of multi-step discounted returns. In experiments on three different domains, we evaluate the LTL generalization capability of the agent trained by the proposed method, showing its advantage over previous representative methods.


title: An Optimization Approach to Improve Equitable Access to Local Parks

abstract: Local parks are public resources that promote human and environmental welfare. Unfortunately, park inequities are commonplace as historically marginalized groups may have insufficient access. Platforms exist to identify the geographical areas that would benefit from future park improvements. However, these platforms do not optimize decisions nor include key features, such as budget and infrastructure, that are relevant to park location decisions. To support recreational and government agencies in addressing inequities in the distribution and quality of parks, we propose a mixed-integer program that minimizes insufficient access, defined as weighted deviations across multiple categories (distance, capacity, and environmental features). We consider an equity-focused min-max objective and an overall objective to minimize total weighted deviations. We apply the model to a case study of Asheville, North Carolina. We conduct extensive data collection to parameterize the model. In policy analyses, we consider the effects of available budget, planning horizons, strategic demographic priorities, and thresholds of access. The model reflects user-defined criteria and goals, and the results suggest that the framework may be generalizable to other cities. This study serves as a step in the development and incorporation of mathematical modeling to achieve social goals within the recreational setting.


title: Multiresonances of quasi-trapped modes in metasurfaces based on nanoparticles of transition metal dichalcogenides

abstract: The features of polarization control of multiple multiresonances for quasi-trapped modes excited by synchronization of bianisotropic dipole responses in MoS$_2$ disks with a hole are considered. Using the numerical calculations with analytical multipole analysis, we showed that the presence of a strong optical anisotropy of MoS$_2$ nanoparticles provides an additional degree of freedom and allows to observe several resonances of electric and magnetic dipoles at once in a narrow spectral range. Based on the simulation results, we obtained the frequency dependences for the dipole polarizabilities of the MoS$_2$ disk with a hole, which allow one to distinguish the contributions of the nonlocal and bianisotropic dipole responses and possessing several features in the near infrared range. Using the polarizability spectra of single nanoparticles and applying the tuning strategy, the design of the MoS$_2$ metasurface supporting three resonances of quasi-trapped modes at once in a narrow spectral range was developed. One of these resonances corresponds to the telecom wavelength of 1550 nm. The spectrum of light reflection for MoS$_2$ metasurface is characterized by three narrowband dips corresponding to the wavelengths of the quasi-trapped modes. It was shown that a change in the polarization of a wave normally incident on the metasurface to orthogonal one leads to a change in the type of bianisotropic response excited in each MoS$_2$ disk and to the excitation of three other features in the reflection spectra of the metasurface at wavelengths close to the initial values.


title: 3D Inception-Based TransMorph: Pre- and Post-operative Multi-contrast MRI Registration in Brain Tumors

abstract: Deformable image registration is a key task in medical image analysis. The Brain Tumor Sequence Registration challenge (BraTS-Reg) aims at establishing correspondences between pre-operative and follow-up scans of the same patient diagnosed with an adult brain diffuse high-grade glioma and intends to address the challenging task of registering longitudinal data with major tissue appearance changes. In this work, we proposed a two-stage cascaded network based on the Inception and TransMorph models. The dataset for each patient was comprised of a native pre-contrast (T1), a contrast-enhanced T1-weighted (T1-CE), a T2-weighted (T2), and a Fluid Attenuated Inversion Recovery (FLAIR). The Inception model was used to fuse the 4 image modalities together and extract the most relevant information. Then, a variant of the TransMorph architecture was adapted to generate the displacement fields. The Loss function was composed of a standard image similarity measure, a diffusion regularizer, and an edge-map similarity measure added to overcome intensity dependence and reinforce correct boundary deformation. We observed that the addition of the Inception module substantially increased the performance of the network. Additionally, performing an initial affine registration before training the model showed improved accuracy in the landmark error measurements between pre and post-operative MRIs. We observed that our best model composed of the Inception and TransMorph architectures while using an initially affine registered dataset had the best performance with a median absolute error of 2.91 (initial error = 7.8). We achieved 6th place at the time of model submission in the final testing phase of the BraTS-Reg challenge.


title: Effective Dynamics of Generative Adversarial Networks

abstract: Generative adversarial networks (GANs) are a class of machine-learning models that use adversarial training to generate new samples with the same (potentially very complex) statistics as the training samples. One major form of training failure, known as mode collapse, involves the generator failing to reproduce the full diversity of modes in the target probability distribution. Here, we present an effective model of GAN training, which captures the learning dynamics by replacing the generator neural network with a collection of particles in the output space; particles are coupled by a universal kernel valid for certain wide neural networks and high-dimensional inputs. The generality of our simplified model allows us to study the conditions under which mode collapse occurs. Indeed, experiments which vary the effective kernel of the generator reveal a mode collapse transition, the shape of which can be related to the type of discriminator through the frequency principle. Further, we find that gradient regularizers of intermediate strengths can optimally yield convergence through critical damping of the generator dynamics. Our effective GAN model thus provides an interpretable physical framework for understanding and improving adversarial training.


title: PALMER: Perception-Action Loop with Memory for Long-Horizon Planning

abstract: To achieve autonomy in a priori unknown real-world scenarios, agents should be able to: i) act from high-dimensional sensory observations (e.g., images), ii) learn from past experience to adapt and improve, and iii) be capable of long horizon planning. Classical planning algorithms (e.g. PRM, RRT) are proficient at handling long-horizon planning. Deep learning based methods in turn can provide the necessary representations to address the others, by modeling statistical contingencies between observations. In this direction, we introduce a general-purpose planning algorithm called PALMER that combines classical sampling-based planning algorithms with learning-based perceptual representations. For training these perceptual representations, we combine Q-learning with contrastive representation learning to create a latent space where the distance between the embeddings of two states captures how easily an optimal policy can traverse between them. For planning with these perceptual representations, we re-purpose classical sampling-based planning algorithms to retrieve previously observed trajectory segments from a replay buffer and restitch them into approximately optimal paths that connect any given pair of start and goal states. This creates a tight feedback loop between representation learning, memory, reinforcement learning, and sampling-based planning. The end result is an experiential framework for long-horizon planning that is significantly more robust and sample efficient compared to existing methods.


title: Towards Holistic Surgical Scene Understanding

abstract: Most benchmarks for studying surgical interventions focus on a specific challenge instead of leveraging the intrinsic complementarity among different tasks. In this work, we present a new experimental framework towards holistic surgical scene understanding. First, we introduce the Phase, Step, Instrument, and Atomic Visual Action recognition (PSI-AVA) Dataset. PSI-AVA includes annotations for both long-term (Phase and Step recognition) and short-term reasoning (Instrument detection and novel Atomic Action recognition) in robot-assisted radical prostatectomy videos. Second, we present Transformers for Action, Phase, Instrument, and steps Recognition (TAPIR) as a strong baseline for surgical scene understanding. TAPIR leverages our dataset's multi-level annotations as it benefits from the learned representation on the instrument detection task to improve its classification capacity. Our experimental results in both PSI-AVA and other publicly available databases demonstrate the adequacy of our framework to spur future research on holistic surgical scene understanding.


title: High Quality Audio Coding with MDCTNet

abstract: We propose a neural audio generative model, MDCTNet, operating in the perceptually weighted domain of an adaptive modified discrete cosine transform (MDCT). The architecture of the model captures correlations in both time and frequency directions with recurrent layers (RNNs). An audio coding system is obtained by training MDCTNet on a diverse set of fullband monophonic audio signals at 48 kHz sampling, conditioned by a perceptual audio encoder. In a subjective listening test with ten excerpts chosen to be balanced across content types, yet stressful for both codecs, the mean performance of the proposed system for 24 kb/s variable bitrate (VBR) is similar to that of Opus at twice the bitrate.


title: Explaining Software Bugs Leveraging Code Structures in Neural Machine Translation

abstract: Software bugs claim approximately 50% of development time and cost the global economy billions of dollars. Once a bug is reported, the assigned developer attempts to identify and understand the source code responsible for the bug and then corrects the code. Over the last five decades, there has been significant research on automatically finding or correcting software bugs. However, there has been little research on automatically explaining the bugs to the developers, which is essential but a highly challenging task. In this paper, we propose Bugsplainer, a transformer-based generative model, that generates natural language explanations for software bugs by learning from a large corpus of bug-fix commits. Bugsplainer can leverage structural information and buggy patterns from the source code to generate an explanation for a bug. Our evaluation using three performance metrics shows that Bugsplainer can generate understandable and good explanations according to Google's standard, and can outperform multiple baselines from the literature. We also conduct a developer study involving 20 participants where the explanations from Bugsplainer were found to be more accurate, more precise, more concise and more useful than the baselines.


title: A Double Regression Method for Graphical Modeling of High-dimensional Nonlinear and Non-Gaussian Data

abstract: Graphical models have long been studied in statistics as a tool for inferring conditional independence relationships among a large set of random variables. The most existing works in graphical modeling focus on the cases that the data are Gaussian or mixed and the variables are linearly dependent. In this paper, we propose a double regression method for learning graphical models under the high-dimensional nonlinear and non-Gaussian setting, and prove that the proposed method is consistent under mild conditions. The proposed method works by performing a series of nonparametric conditional independence tests. The conditioning set of each test is reduced via a double regression procedure where a model-free sure independence screening procedure or a sparse deep neural network can be employed. The numerical results indicate that the proposed method works well for high-dimensional nonlinear and non-Gaussian data.


title: Basis set generation and optimization in the NISQ era with Quiqbox.jl

abstract: In the noisy intermediate-scale quantum era, ab initio computation of the electronic structure problem has become one of the major benchmarks for identifying the boundary between classical and quantum computational power. The single-particle basis set plays a key role in the electronic structure methods implemented on both classical and quantum devices. To investigate the consequences of the single-particle basis set, we propose a framework for more customizable basis set generation and basis set optimization. This framework allows configurations of composite Gaussian-type basis functions to go beyond typical Gaussian-type basis set frameworks such as the atomic orbitals and floating basis sets. Such basis set generations set the stage for more flexible variational optimization of basis set parameters. To realize this framework, we have developed an open-source electronic structure package named ``Quiqbox'' in the Julia programming language. Both the Hartree--Fock procedure and Gaussian-based electronic integral computations are implemented in this package. We compare Quiqbox with the basis set optimization package DiffiQult and find faster convergence of the basis set optimization with lower run time. We also demonstrate the additional customizability Quiqbox brings for more systematic basis set research with an example of constructing and optimizing delocalized orbitals.

categories: quant-ph cond-mat.mtrl-sci physics.chem-ph physics.comp-ph


title: Parameter Estimation with Maximal Updated Densities

abstract: A recently developed measure-theoretic framework solves a stochastic inverse problem (SIP) for models where uncertainties in model output data are predominantly due to aleatoric (i.e., irreducible) uncertainties in model inputs (i.e., parameters). The subsequent inferential target is a distribution on parameters. Another type of inverse problem is to quantify uncertainties in estimates of "true" parameter values under the assumption that such uncertainties should be reduced as more data are incorporated into the problem, i.e., the uncertainty is considered epistemic. A major contribution of this work is the formulation and solution of such a parameter identification problem (PIP) within the measure-theoretic framework developed for the SIP. The approach is novel in that it utilizes a solution to a stochastic forward problem (SFP) to update an initial density only in the parameter directions informed by the model output data. In other words, this method performs "selective regularization" only in the parameter directions not informed by data. The solution is defined by a maximal updated density (MUD) point where the updated density defines the measure-theoretic solution to the PIP. Another significant contribution of this work is the full theory of existence and uniqueness of MUD points for linear maps with Gaussian distributions. Data-constructed Quantity of Interest (QoI) maps are also presented and analyzed for solving the PIP within this measure-theoretic framework as a means of reducing uncertainties in the MUD estimate. We conclude with a demonstration of the general applicability of the method on two problems involving either spatial or temporal data for estimating uncertain model parameters.


title: Small logical qubit architecture based on strong interactions and many-body dynamical decoupling

abstract: We propose a novel superconducting logical qubit architecture, called the Cold Echo Qubit (CEQ), which is capable of preserving quantum information for much longer timescales than any of its component parts. The CEQ operates fully autonomously, requiring no measurement or feedback, and is compatible with relatively strong interaction elements, allowing for fast, high fidelity logical gates between multiple CEQ's. Its quantum state is protected by a combination of strong interactions and microwave driving, which implements a form of many-body dynamical decoupling to suppress phase noise. Estimates based on careful theoretical analysis and numerical simulations predict improvements in lifetimes and gate fidelities by an order of magnitude or more compared to the current state of the art, assuming no improvements in base coherence. Here, we consider the simplest possible implementation of the CEQ, using a pair of fluxonium qubits shunted through a shared mutual inductance. While not necessarily the best possible implementation, it is the easiest to test experimentally and should display coherence well past breakeven (as compared to the limiting coherence times of its components). A more complex three-node circuit is also presented; it is expected to roughly double the coherence of its two-fluxonium counterpart.


title: Optimizing Integrated Information with a Prior Guided Random Search Algorithm

abstract: Integrated information theory (IIT) is a theoretical framework that provides a quantitative measure to estimate when a physical system is conscious, its degree of consciousness, and the complexity of the qualia space that the system is experiencing. Formally, IIT rests on the assumption that if a surrogate physical system can fully embed the phenomenological properties of consciousness, then the system properties must be constrained by the properties of the qualia being experienced. Following this assumption, IIT represents the physical system as a network of interconnected elements that can be thought of as a probabilistic causal graph, $\mathcal{G}$, where each node has an input-output function and all the graph is encoded in a transition probability matrix. Consequently, IIT's quantitative measure of consciousness, $\Phi$, is computed with respect to the transition probability matrix and the present state of the graph. In this paper, we provide a random search algorithm that is able to optimize $\Phi$ in order to investigate, as the number of nodes increases, the structure of the graphs that have higher $\Phi$. We also provide arguments that show the difficulties of applying more complex black-box search algorithms, such as Bayesian optimization or metaheuristics, in this particular problem. Additionally, we suggest specific research lines for these techniques to enhance the search algorithm that guarantees maximal $\Phi$.


title: Learning Options via Compression

abstract: Identifying statistical regularities in solutions to some tasks in multi-task reinforcement learning can accelerate the learning of new tasks. Skill learning offers one way of identifying these regularities by decomposing pre-collected experiences into a sequence of skills. A popular approach to skill learning is maximizing the likelihood of the pre-collected experience with latent variable models, where the latent variables represent the skills. However, there are often many solutions that maximize the likelihood equally well, including degenerate solutions. To address this underspecification, we propose a new objective that combines the maximum likelihood objective with a penalty on the description length of the skills. This penalty incentivizes the skills to maximally extract common structures from the experiences. Empirically, our objective learns skills that solve downstream tasks in fewer samples compared to skills learned from only maximizing likelihood. Further, while most prior works in the offline multi-task setting focus on tasks with low-dimensional observations, our objective can scale to challenging tasks with high-dimensional image observations.


title: Theory of the Little-Parks effect in spin-triplet superconductors

abstract: The celebrated Little-Parks effect in mesoscopic superconducting rings has recently gained great attention due to its potential to probe half-quantum vortices in spin-triplet superconductors. However, despite the large number of works reporting anomalous Little-Parks measurements attributed to unconventional superconductivity, the general signatures of spin-triplet pairing in the Little-Parks effect have not yet been systematically investigated. Here we use Ginzburg-Landau theory to study the Little-Parks effect in a spin-triplet superconducting ring that supports half-quantum vortices; we calculate the field-induced Little-Parks oscillations of both the critical temperature itself and the residual resistance resulting from thermal vortex tunneling below the critical temperature. We observe two separate critical temperatures with a single-spin superconducting state in between and find that, due to the existence of half-quantum vortices, each minimum in the upper critical temperature splits into two minima for the lower critical temperature. From a rigorous calculation of the residual resistance, we confirm that these two minima in the lower critical temperature translate into two maxima in the residual resistance below and establish the general conditions under which the two maxima can be practically resolved. In particular, we identify a fundamental trade-off between sharpening each maximum and keeping the overall magnitude of the resistance large. Our results will guide experimental efforts in designing mesoscopic ring geometries for probing half-quantum vortices in spin-triplet candidate materials on the device scale.


title: Time-Synchronized State Estimation Using Graph Neural Networks in Presence of Topology Changes

abstract: Recently, there has been a major emphasis on developing data-driven approaches involving machine learning (ML) for high-speed static state estimation (SE) in power systems. The emphasis stems from the ability of ML to overcome difficulties associated with model-based approaches, such as handling of non-Gaussian measurement noise. However, topology changes pose a stiff challenge for performing ML-based SE because the training and test environments become different when such changes occur. This paper circumvents this challenge by formulating a graph neural network (GNN)-based time-synchronized state estimator that considers the physical connections of the power system during the training itself. The results obtained using the IEEE 118-bus system indicate that the GNN-based state estimator outperforms both the model-based linear state estimator and a data-driven deep neural network-based state estimator in the presence of non-Gaussian measurement noise and topology changes, respectively.