title: Consumer Demand Modeling During COVID-19 Pandemic

abstract: The current pandemic has introduced substantial uncertainty to traditional methods for demand planning. These uncertainties stem from the disease progression, government interventions, economy and consumer behavior. While most of the emerging literature on the pandemic has focused on disease progression, a few have focused on consequent regulations and their impact on individual behavior. The contributions of this paper include a quantitative behavior model of fear of COVID-19, impact of government interventions on consumer behavior, and impact of consumer behavior on consumer choice and hence demand for goods. It brings together multiple models for disease progression, consumer behavior and demand estimation-thus bridging the gap between disease progression and consumer demand. We use panel regression to understand the drivers of demand during the pandemic and Bayesian inference to simplify the regulation landscape that can help build scenarios for resilient demand planning. We illustrate this resilient demand planning model using a specific example of gas retailing. We find that demand is sensitive to fear of COVID-19: as the number of COVID-19 cases increase over the previous week, the demand for gas decreases -- though this dissipates over time. Further, government regulations restrict access to different services, thereby reducing mobility, which in itself reduces demand.


title: Compactness and Guessing Principles in the Radin Extensions

abstract: We investigate the interaction between compactness principles and guessing principles in the Radin forcing extensions. In particular, we show that in any Radin forcing extension with respect to a measure sequence on $\kappa$, if $\kappa$ is weakly compact, then $\diamondsuit(\kappa)$ holds. This provides contrast with a well-known theorem of Woodin, who showed that in a certain Radin extension over a suitably prepared ground model relative to the existence of large cardinals, the diamond principle fails at a strongly inaccessible Mahlo cardinal. Refining the analysis of the Radin extensions, we consistently demonstrate a scenario where a compactness principle, stronger than the diagonal stationary reflection principle, holds yet the diamond principle fails at a strongly inaccessible cardinal, improving a result from \cite{BN19}.


title: Formalizing the Four-layer Metamodeling Stack -- Potential and Benefits

abstract: Enterprise modeling deals with the increasing complexity of processes and systems by operationalizing model content and by linking complementary models and languages, thus amplifying the model-value beyond mere comprehensible pictures. To enable this amplification and turn models into computer-processable structures a comprehensive formalization is needed. This paper presents a generic formalism based on typed first-order logic and provides a perspective on the potential and benefits arising for a variety of research issues in conceptual modeling. We define modeling languages as formal languages with a signature $\Sigma$ - comprising object types, relation types, and attributes through types and function symbols - and a set of constraints. Three cases studies are included to show the effectiveness of the approach. Applying the formalism to the next level in the hierarchy of models we create M2FOL, a formal modeling language for metamodels. We show that M2FOL is self-describing and therefore complete the formalization of the full four-layer metamodeling stack. On the basis of our generic formalism applicable to arbitrary modeling languages we examine three current research topics - language interleaving & consistency, operations on models, and automatic translation of formalizations to platform-specific code - and how to approach them with the proposed formalism. This shows that the rich knowledge stack on formal languages in logic offers new tools for old problems.


title: A Metropolized adaptive subspace algorithm for high-dimensional Bayesian variable selection

abstract: A simple and efficient adaptive Markov Chain Monte Carlo (MCMC) method, called the Metropolized Adaptive Subspace (MAdaSub) algorithm, is proposed for sampling from high-dimensional posterior model distributions in Bayesian variable selection. The MAdaSub algorithm is based on an independent Metropolis-Hastings sampler, where the individual proposal probabilities of the explanatory variables are updated after each iteration using a form of Bayesian adaptive learning, in a way that they finally converge to the respective covariates' posterior inclusion probabilities. We prove the ergodicity of the algorithm and present a parallel version of MAdaSub with an adaptation scheme for the proposal probabilities based on the combination of information from multiple chains. The effectiveness of the algorithm is demonstrated via various simulated and real data examples, including a high-dimensional problem with more than 20,000 covariates.


title: Is More Precise Word of Mouth Better for a High Quality Firm? ... Not Always

abstract: Consumers often resort to third-party information such as word of mouth, testimonials and reviews to learn more about the quality of a new product. However, it may be difficult for consumers to assess the precision of such information. We use a monopoly setting to investigate how the precision of third-party information and consumers' ability to recognize precision impact firm profits. Conventional wisdom suggests that when a firm is high quality, it should prefer a market where consumers are better at recognizing precise signals. Yet in a broad range of conditions, we show that when the firm is high quality, it is more profitable to sell to consumers who do not recognize precise signals. Given the ability of consumers to assess precision, we show a low quality firm always suffers from more precise information. However, a high quality firm can also suffer from more precise information. The precision range in which a high quality firm gains or suffers from better information depends on how skilled consumers are at recognizing precision.


title: On the Stability of Multilinear Dynamical Systems

abstract: This paper investigates the stability properties of discrete-time multilinear dynamical systems via tensor spectral theory. In particular, if the dynamic tensor of a multilinear dynamical system is orthogonally decomposable (odeco), we can construct its explicit solution by exploiting tensor Z-eigenvalues and Z-eigenvectors. Based on the form of the explicit solution, we illustrate that the Z-eigenvalues of the dynamic tensor play a significant role in the stability analysis, offering necessary and sufficient conditions. In addition, by utilizing the upper bounds of Z-spectral radii, we are able to determine the asymptotic stability of the multilinear dynamical system efficiently. Furthermore, we extend the stability results to the multilinear dynamical systems with non-odeco dynamic tensors by exploiting tensor singular values. We demonstrate our results via numerical examples.


title: The Best Thresholds for Rapid Identification of Episodic and Chronic Homeless Shelter Use

abstract: This paper explores how to best identify clients for housing services based on their homeless shelter access patterns. We focus on counting the number of shelter stays and episodes of shelter use for a client within a time window. Thresholds are then applied to these values to determine if that individual is a good candidate for housing support. Using new housing referral impact metrics, we explore a range of threshold and time window values to determine which combination both maximizes impact and identifies good candidates for housing as soon as possible. New insights are also provided regarding the characteristics of the "under-the-radar" client group who are typically not identified for housing support.


title: Errors in Learning from Others' Choices

abstract: Observation of other people's choices can provide useful information in many circumstances. However, individuals may not utilize this information efficiently, i.e., they may make decision-making errors in social interactions. In this paper, I use a simple and transparent experimental setting to identify these errors. In a within-subject design, I first show that subjects exhibit a higher level of irrationality in the presence than in the absence of social interaction, even when they receive informationally equivalent signals across the two conditions. A series of treatments aimed at identifying mechanisms suggests that a decision maker is often uncertain about the behavior of other people so that she has difficulty in inferring the information contained in others' choices. Building upon these reduced-from results, I then introduce a general decision-making process to highlight three sources of error in decision-making under social interactions. This model is non-parametrically estimated and sheds light on what variation in the data identifies which error.


title: Goldilocks: Just-Right Tuning of BERT for Technology-Assisted Review

abstract: Technology-assisted review (TAR) refers to iterative active learning workflows for document review in high recall retrieval (HRR) tasks. TAR research and most commercial TAR software have applied linear models such as logistic regression to lexical features. Transformer-based models with supervised tuning are known to improve effectiveness on many text classification tasks, suggesting their use in TAR. We indeed find that the pre-trained BERT model reduces review cost by 10% to 15% in TAR workflows simulated on the RCV1-v2 newswire collection. In contrast, we likewise determined that linear models outperform BERT for simulated legal discovery topics on the Jeb Bush e-mail collection. This suggests the match between transformer pre-training corpora and the task domain is of greater significance than generally appreciated. Additionally, we show that just-right language model fine-tuning on the task collection before starting active learning is critical. Too little or too much fine-tuning hinders performance, worse than that of linear models, even for a favorable corpus such as RCV1-v2.


title: Multiple-Output Channel Simulation and Lossy Compression of Probability Distributions

abstract: We consider a variant of the channel simulation problem with a single input and multiple outputs, where Alice observes a probability distribution $P$ from a set of prescribed probability distributions $\mathbb{\mathcal{P}}$, and sends a prefix-free codeword $W$ to Bob to allow him to generate $n$ i.i.d. random variables $X_{1},X_{2,}...,X_{n}$ which follow the distribution $P$. This can also be regarded as a lossy compression setting for probability distributions. This paper describes encoding schemes for three cases of $P$: $P$ is a distribution over positive integers, $P$ is a continuous distribution over $[0,1]$ with a non-increasing pdf, and $P$ is a continuous distribution over $[0,\infty)$ with a non-increasing pdf. We show that the growth rate of the expected codeword length is sub-linear in $n$ when a power law bound is satisfied. An application of multiple-outputs channel simulation is the compression of probability distributions.


title: Three Shades of Partial Protection in Elastic Optical Networks

abstract: Partial protection strategies based on the observation that in failure events, a service can tolerate a certain amount of degradation and therefore by reducing the protection traffic in the network, better spectrum utilization could be attained. Such concept has been widely studied in the traditional WDM context and yet has been somehow faded due to the fact that fixed transmission technologies allow small room for spectral improvement. This paper aims to renew the interest in partial protection and re-adapt it to the context of elastic optical networks. The evolutionary perspective we lay out in this paper identifies a new route for achieving greater spectral efficiency in a pragmatic way by simply differentiating the protection services for each demand rather than the uniform treatment for all demands. In doing so, we present a new research problem entitled, routing, modulation level, spectrum and protection service assignment which is an extension of the well-established one, that is, routing, modulation level, and spectrum assignment as the (partial) protection service for each demand is taken into account and optimized. Three variants of that problem reflecting shades of applying partial protection are covered in details. Specifically, the first one considers the intuitive case as the relative amount of protection traffic for each demand is given as the input to the network planning process while the second one is dedicated to the special case of enforcing the same figure of partial protection for all demands. More interesting is brought in the third variant where given the service level agreement for the total network traffic, we provide the optimal solution that determine the protection service for each individual demand so as to minimize the spectral occupancy.


title: Act the Part: Learning Interaction Strategies for Articulated Object Part Discovery

abstract: People often use physical intuition when manipulating articulated objects, irrespective of object semantics. Motivated by this observation, we identify an important embodied task where an agent must play with objects to recover their parts. To this end, we introduce Act the Part (AtP) to learn how to interact with articulated objects to discover and segment their pieces. By coupling action selection and motion segmentation, AtP is able to isolate structures to make perceptual part recovery possible without semantic labels. Our experiments show AtP learns efficient strategies for part discovery, can generalize to unseen categories, and is capable of conditional reasoning for the task. Although trained in simulation, we show convincing transfer to real world data with no fine-tuning.


title: Rapid Aerodynamic Shape Optimization Under Parametric and Turbulence Model Uncertainty: A Stochastic Gradient Approach

abstract: Aerodynamic optimization is ubiquitous in the design of most engineering systems interacting with fluids. A common approach is to optimize a performance function defined by a choice of an aerodynamic model, e.g., turbulence RANS model, and at nominal operating conditions. Practical experience indicates that such a deterministic approach may result in considerably sub-optimal designs when the adopted aerodynamic model does not lead to accurate flow predictions or when the actual operating conditions differ from those considered in the design. One approach to address this shortcoming is to consider an average or robust design, wherein the statistical moments of the performance function, given the uncertainty in the operating conditions and the aerodynamic model, is optimized. However, when the number of uncertain inputs is large or the performance function exhibits significant variability, an accurate evaluation of these moments may require a large number of forward and/or adjoint solves, at each iteration of a gradient-based scheme. This, in turn, renders the design computationally expensive, if not infeasible. To tackle this difficulty, we consider a variant of the stochastic gradient descent method where, in each optimization iteration, a stochastic approximation of the objective, constraints, and their gradients are generated. This is done via a small number of forward/adjoint solves corresponding to random selections of the uncertain parameters and aerodynamic model. The methodology is applied to the robust optimization of the standard NACA-0012 subject to parametric and turbulence model uncertainty. With a cost that is a small factor larger than that of the deterministic approach, the stochastic gradient approach significantly improves the performance (mean and variance) of the aerodynamic design for a wide range of operating conditions and turbulence models.


title: Universal compiling and (No-)Free-Lunch theorems for continuous variable quantum learning

abstract: Quantum compiling, where a parameterized quantum circuit is trained to learn a target unitary, is an important primitive for quantum computing that can be used as a subroutine to obtain optimal circuits or as a tomographic tool to study the dynamics of an experimental system. While much attention has been paid to quantum compiling on discrete variable hardware, less has been paid to compiling in the continuous variable paradigm. Here we motivate several, closely related, short depth continuous variable algorithms for quantum compilation. We analyse the trainability of our proposed cost functions and numerically demonstrate our algorithms by learning arbitrary Gaussian operations and Kerr non-linearities. We further make connections between this framework and quantum learning theory in the continuous variable setting by deriving No-Free-Lunch theorems. These generalization bounds demonstrate a linear resource reduction for learning Gaussian unitaries using entangled coherent-Fock states and an exponential resource reduction for learning arbitrary unitaries using Two-Mode-Squeezed states.


title: Bound states at partial dislocation defects in multipole higher-order topological insulators

abstract: The bulk-boundary correspondence, which links a bulk topological property of a material to the existence of robust boundary states, is a hallmark of topological insulators. However, in crystalline topological materials the presence of boundary states in the insulating gap is not always necessary since they can be hidden in the bulk energy bands, obscured by boundary artifacts of non-topological origin, or, in the case of higher-order topology, they can be gapped altogether. Crucially, in such systems the interplay between symmetry-protected topology and the corresponding symmetry defects can provide a variety of bulk probes to reveal their topological nature. For example, bulk crystallographic defects, such as disclinations and dislocations, have been shown to bind fractional charges and/or robust localized bound states in insulators protected by crystalline symmetries. Recently, exotic defects of translation symmetry called partial dislocations have been proposed as a probe of higher-order topology. However, it is a herculean task to have experimental control over the generation and probing of isolated defects in solid-state systems; hence their use as a bulk probe of topology faces many challenges. Instead, here we show that partial dislocation probes of higher-order topology are ideally suited to the context of engineered materials. Indeed, we present the first observations of partial-dislocation-induced topological modes in 2D and 3D higher-order topological insulators built from circuit-based resonator arrays. While rotational defects (disclinations) have previously been shown to indicate higher-order topology, our work provides the first experimental evidence that exotic translation defects (partial dislocations) are bulk topological probes.


title: SUPERB: Speech processing Universal PERformance Benchmark

abstract: Self-supervised learning (SSL) has proven vital for advancing research in natural language processing (NLP) and computer vision (CV). The paradigm pretrains a shared model on large volumes of unlabeled data and achieves state-of-the-art (SOTA) for various tasks with minimal adaptation. However, the speech processing community lacks a similar setup to systematically explore the paradigm. To bridge this gap, we introduce Speech processing Universal PERformance Benchmark (SUPERB). SUPERB is a leaderboard to benchmark the performance of a shared model across a wide range of speech processing tasks with minimal architecture changes and labeled data. Among multiple usages of the shared model, we especially focus on extracting the representation learned from SSL due to its preferable re-usability. We present a simple framework to solve SUPERB tasks by learning task-specialized lightweight prediction heads on top of the frozen shared model. Our results demonstrate that the framework is promising as SSL representations show competitive generalizability and accessibility across SUPERB tasks. We release SUPERB as a challenge with a leaderboard and a benchmark toolkit to fuel the research in representation learning and general speech processing.


title: Applied Language Technology: NLP for the Humanities

abstract: This contribution describes a two-course module that seeks to provide humanities majors with a basic understanding of language technology and its applications using Python. The learning materials consist of interactive Jupyter Notebooks and accompanying YouTube videos, which are openly available with a Creative Commons licence.


title: Multi-agent consensus with heterogeneous time-varying input and communication delays in digraphs

abstract: This paper investigates the distributed consensus tracking control problem for general linear multi-agent systems (MASs) with external disturbances and heterogeneous time-varying input and communication delays under a directed communication graph topology, containing a spanning tree. First, for all agents whose state matrix has no eigenvalues with positive real parts, a communication-delay-related observer, which is used to construct the controller, is designed for followers to estimate the leader's state information. Second, by means of the output regulation theory, the results are relaxed to the case that only the leader's state matrix eigenvalues have non-positive real parts and, under these relaxed conditions, the controller is redesigned. Both cases lead to a closed-loop error system of which the stability is guaranteed via a Lyapunov-Krasovskii functional with sufficient conditions in terms of input-delay-dependent linear matrix inequalities (LMIs). An extended LMI is proposed which, in conjunction with the rest of LMIs, results in a solution with a larger upper bound on delays than what would be feasible without it. It is highlighted that the integration of communication-delay-related observer and input-delay-related LMI to construct a fully distributed controller (which requires no global information) is scalable to arbitrarily large networks. The efficacy of the proposed scheme is demonstrated via illustrative numerical examples.


title: Role of stochastic noise and generalization error in the time propagation of neural-network quantum states

abstract: Neural-network quantum states (NQS) have been shown to be a suitable variational ansatz to simulate out-of-equilibrium dynamics in two-dimensional systems using time-dependent variational Monte Carlo (t-VMC). In particular, stable and accurate time propagation over long time scales has been observed in the square-lattice Heisenberg model using the Restricted Boltzmann machine architecture. However, achieving similar performance in other systems has proven to be more challenging. In this article, we focus on the two-leg Heisenberg ladder driven out of equilibrium by a pulsed excitation as a benchmark system. We demonstrate that unmitigated noise is strongly amplified by the nonlinear equations of motion for the network parameters, which causes numerical instabilities in the time evolution. As a consequence, the achievable accuracy of the simulated dynamics is a result of the interplay between network expressiveness and measures required to remedy these instabilities. We show that stability can be greatly improved by appropriate choice of regularization. This is particularly useful as tuning of the regularization typically imposes no additional computational cost. Inspired by machine learning practice, we propose a validation-set based diagnostic tool to help determining optimal regularization hyperparameters for t-VMC based propagation schemes. For our benchmark, we show that stable and accurate time propagation can be achieved in regimes of sufficiently regularized variational dynamics.

categories: cond-mat.str-el cond-mat.dis-nn physics.comp-ph quant-ph


title: Non-linear optical processes in cavity light-matter systems

abstract: We study non-linear optical effects in electron systems with and without inversion symmetry in a Fabry-Perot cavity. General photon up- and down-conversion processes are modeled by the coupling of a noninteracting lattice model to two modes of the quantized light field. Effective descriptions retaining the most relevant states are devised via downfolding and a generalized Householder transformation. These models are used to relate the transition amplitudes for even order photon-conversion processes to the shift vector, a topological quantity describing the difference in polarization between the valence and conduction band in non-centrosymmetric systems. We also demonstrate that the truncated models, despite their small Hilbert space, capture correlation effects induced by the photons in the electronic subsystem.


title: THOR: An Algorithm for Cadence-Independent Asteroid Discovery

abstract: We present "Tracklet-less Heliocentric Orbit Recovery" (THOR), an algorithm for linking of observations of Solar System objects across multiple epochs that does not require intra-night tracklets or a predefined cadence of observations within a search window. By sparsely covering regions of interest in the phase space with "test orbits", transforming nearby observations over a few nights into the co-rotating frame of the test orbit at each epoch, and then performing a generalized Hough transform on the transformed detections followed by orbit determination (OD) filtering, candidate clusters of observations belonging to the same objects can be recovered at moderate computational cost and little to no constraints on cadence. We validate the effectiveness of this approach by running on simulations as well as on real data from the Zwicky Transient Facility (ZTF). Applied to a short, 2-week, slice of ZTF observations, we demonstrate THOR can recover 97.4% of all previously known and discoverable objects in the targeted ($a > 1.7$ au) population with 5 or more observations and with purity between 97.7% and 100%. This includes 10 likely new discoveries, and a recovery of an $e \sim 1$ comet C/2018 U1 (the comet would have been a ZTF discovery had THOR been running in 2018 when the data were taken). The THOR package and demo Jupyter notebooks are open source and available at https://github.com/moeyensj/thor.


title: Neural Monocular 3D Human Motion Capture with Physical Awareness

abstract: We present a new trainable system for physically plausible markerless 3D human motion capture, which achieves state-of-the-art results in a broad range of challenging scenarios. Unlike most neural methods for human motion capture, our approach, which we dub physionical, is aware of physical and environmental constraints. It combines in a fully differentiable way several key innovations, i.e., 1. a proportional-derivative controller, with gains predicted by a neural network, that reduces delays even in the presence of fast motions, 2. an explicit rigid body dynamics model and 3. a novel optimisation layer that prevents physically implausible foot-floor penetration as a hard constraint. The inputs to our system are 2D joint keypoints, which are canonicalised in a novel way so as to reduce the dependency on intrinsic camera parameters -- both at train and test time. This enables more accurate global translation estimation without generalisability loss. Our model can be finetuned only with 2D annotations when the 3D annotations are not available. It produces smooth and physically principled 3D motions in an interactive frame rate in a wide variety of challenging scenes, including newly recorded ones. Its advantages are especially noticeable on in-the-wild sequences that significantly differ from common 3D pose estimation benchmarks such as Human 3.6M and MPI-INF-3DHP. Qualitative results are available at http://gvv.mpi-inf.mpg.de/projects/PhysAware/


title: A Dataset and System for Real-Time Gun Detection in Surveillance Video Using Deep Learning

abstract: Gun violence is a severe problem in the world, particularly in the United States. Deep learning methods have been studied to detect guns in surveillance video cameras or smart IP cameras and to send a real-time alert to security personals. One problem for the development of gun detection algorithms is the lack of large public datasets. In this work, we first publish a dataset with 51K annotated gun images for gun detection and other 51K cropped gun chip images for gun classification we collect from a few different sources. To our knowledge, this is the largest dataset for the study of gun detection. This dataset can be downloaded at www.linksprite.com/gun-detection-datasets. We present a gun detection system using a smart IP camera as an embedded edge device, and a cloud server as a manager for device, data, alert, and to further reduce the false positive rate. We study to find solutions for gun detection in an embedded device, and for gun classification on the edge device and the cloud server. This edge/cloud framework makes the deployment of gun detection in the real world possible.


title: Shape effects of localized losses in quantum wires: dissipative resonances and nonequilibrium universality

abstract: We study the effects of the spacial structure of localized losses in weakly-interacting fermionic quantum wires. We show that multiple dissipative impurities give rise to resonant effects visible in the transport properties and the particles' momentum distribution. These resonances can enhance or suppress the effective particle losses in the wire. Moreover, we investigate the interplay between interactions and the impurity shape and find that, differently from the coherent scatterer case, the impurity shape modifies the scaling of the scattering probabilities close to the Fermi momentum. We show that, while the fluctuation-induced quantum Zeno effect is robust against the shape of the impurities, the fluctuation-induced transparency is lifted continuously. This is reflected in the emergence of a continuous line of fixed points in the renormalization group flow of the scattering probabilities.


title: Curious Representation Learning for Embodied Intelligence

abstract: Self-supervised representation learning has achieved remarkable success in recent years. By subverting the need for supervised labels, such approaches are able to utilize the numerous unlabeled images that exist on the Internet and in photographic datasets. Yet to build truly intelligent agents, we must construct representation learning algorithms that can learn not only from datasets but also learn from environments. An agent in a natural environment will not typically be fed curated data. Instead, it must explore its environment to acquire the data it will learn from. We propose a framework, curious representation learning (CRL), which jointly learns a reinforcement learning policy and a visual representation model. The policy is trained to maximize the error of the representation learner, and in doing so is incentivized to explore its environment. At the same time, the learned representation becomes stronger and stronger as the policy feeds it ever harder data to learn from. Our learned representations enable promising transfer to downstream navigation tasks, performing better than or comparably to ImageNet pretraining without using any supervision at all. In addition, despite being trained in simulation, our learned representations can obtain interpretable results on real images. Code is available at https://yilundu.github.io/crl/.


title: Collision Replay: What Does Bumping Into Things Tell You About Scene Geometry?

abstract: What does bumping into things in a scene tell you about scene geometry? In this paper, we investigate the idea of learning from collisions. At the heart of our approach is the idea of collision replay, where we use examples of a collision to provide supervision for observations at a past frame. We use collision replay to train convolutional neural networks to predict a distribution over collision time from new images. This distribution conveys information about the navigational affordances (e.g., corridors vs open spaces) and, as we show, can be converted into the distance function for the scene geometry. We analyze this approach with an agent that has noisy actuation in a photorealistic simulator.


title: Light-Induced Control of Magnetic Phases in Kitaev Quantum Magnets

abstract: Leveraging coherent light-matter interaction in solids is a promising new direction towards control and functionalization of quantum materials, to potentially realize regimes inaccessible in equilibrium and stabilize new or useful states of matter. We show how driving the strongly spin-orbit coupled proximal Kitaev magnet $\alpha$-RuCl$_3$ with circularly-polarized light can give rise to a novel ligand-mediated magneto-electric effect that both photo-induces a large dynamical effective magnetic field and dramatically alters the interplay of competing isotropic and anisotropic exchange interactions. We propose that tailored light pulses can nudge the material towards the elusive Kitaev quantum spin liquid as well as probe competing magnetic instabilities far from equilibrium, and predict that the transient competition of magnetic exchange processes can be readily observed via pump-probe spectroscopy.

categories: cond-mat.str-el cond-mat.mes-hall cond-mat.mtrl-sci quant-ph


title: Pulse-efficient circuit transpilation for quantum applications on cross-resonance-based hardware

abstract: We show a pulse-efficient circuit transpilation framework for noisy quantum hardware. This is achieved by scaling cross-resonance pulses and exposing each pulse as a gate to remove redundant single-qubit operations with the transpiler.Crucially, no additional calibration is needed to yield better results than a CNOT-based transpilation. This pulse-efficient circuit transpilation therefore enables a better usage of the finite coherence time without requiring knowledge of pulse-level details from the user. As demonstration, we realize a continuous family of cross-resonance-based gates for SU(4) by leveraging Cartan's decomposition. We measure the benefits of a pulse-efficient circuit transpilation with process tomography and observe up to a 50% error reduction in the fidelity of RZZ({\theta}) and arbitrary SU(4) gates on IBM Quantum devices.We apply this framework for quantum applications by running circuits of the Quantum Approximate Optimization Algorithm applied to MAXCUT. For an 11 qubit non-hardware native graph, our methodology reduces the overall schedule duration by up to 52% and errors by up to 38%


title: Alternate Model Growth and Pruning for Efficient Training of Recommendation Systems

abstract: Deep learning recommendation systems at scale have provided remarkable gains through increasing model capacity (i.e. wider and deeper neural networks), but it comes at significant training cost and infrastructure cost. Model pruning is an effective technique to reduce computation overhead for deep neural networks by removing redundant parameters. However, modern recommendation systems are still thirsty for model capacity due to the demand for handling big data. Thus, pruning a recommendation model at scale results in a smaller model capacity and consequently lower accuracy. To reduce computation cost without sacrificing model capacity, we propose a dynamic training scheme, namely alternate model growth and pruning, to alternatively construct and prune weights in the course of training. Our method leverages structured sparsification to reduce computational cost without hurting the model capacity at the end of offline training so that a full-size model is available in the recurring training stage to learn new data in real-time. To the best of our knowledge, this is the first work to provide in-depth experiments and discussion of applying structural dynamics to recommendation systems at scale to reduce training cost. The proposed method is validated with an open-source deep-learning recommendation model (DLRM) and state-of-the-art industrial-scale production models.


title: Stability of Neptune's distant resonances in the presence of Planet Nine

abstract: Trans-Neptunian Objects (TNOs) in the scattered disk with 50 < a < 100 au are thought to cluster near Neptune's n:1 resonances (e.g: 3:1, 4:1, and so on). While these objects spend lengthy periods of time at large heliocentric distances, if their perihelia remain less than around 40 au, their dynamical evolution is still largely coupled to Neptune's. Conversely, around a dozen extreme TNOs with a > 250 au and detached perihelia seem to exist in a regime where they are too distant to be affected by the giant planets, and too close for their dynamics to be governed by external forces. Recent work suggests that the apparent alignment of these orbits in physical space is a signature of gravitational shepherding by a distant massive planet. In this paper, we investigate the evolution of TNOs in each of Neptune's n:1 resonances between the 3:1 and 14:1. We conclude that both resonant and non-resonant objects beyond the 12:1 near ~157 au are removed rather efficiently via perturbations from the hypothetical Planet Nine. Additionally, we uncover a population of simulated TNOs with a < 100 au, 40 < q < 45 au and low inclinations that experience episodes of resonant interactions with both Neptune and Planet Nine. Finally, we simulate the evolution of observed objects with a > 100 au and identify several TNOs that are potentially locked in n:1 resonances with Neptune; including the most distant known resonant candidates 2014 JW80 and 2014 OS394 that appear to be in the 10:1 and 11:1 resonances, respectively. Our results suggest that the detection of similar remote objects might provide a useful constraint on hypotheses invoking the existence of additional distant planets.


title: Natural Night Sky Brightness during Solar Minimum

abstract: In 2018, Solar Cycle 24 entered into a solar minimum phase. During this period, 11 million zenithal night sky brightness (NSB) data were collected at different dark sites around the planet, including astronomical observatories and natural protected areas, with identical broadband Telescope Encoder and Sky Sensor photometers (based on the Unihedron Sky Quality Meter TSL237 sensor). A detailed observational review of the multiple effects that contribute to the NSB measurement has been conducted with optimal filters designed to avoid brightening effects by the Sun, the Moon, clouds, and other astronomical sources (the Galaxy and zodiacal light). The natural NSB has been calculated from the percentiles for 44 different photometers by applying these new filters. The pristine night sky was measured to change with an amplitude of 0.1 mag/arcsec$^2$ in all the photometers, which is suggested to be due to NSB variations on scales of up to months and to be compatible with semiannual oscillations. We report the systematic observation of short-time variations in NSB on the vast majority of the nights and find these to be related to airglow events forming above the mesosphere.


title: Active nematic defects and epithelial morphogenesis

abstract: Inspired by recent experiments that highlight the role of nematic defects in the morphogenesis of epithelial tissues, we develop a minimal framework to study the dynamics of an active curved surface driven by its nematic texture. Allowing the surface to evolve via relaxational dynamics leads to a theory linking nematic defect dynamics, cellular division rates and Gaussian curvature. Regions of large positive (negative) curvature and positive (negative) growth are colocalized with the presence of positive (negative) defects. Applying this framework to the dynamics of cultured murine neural progenitor cells (NPCs) in an ex-vivo setting, we find that cells accumulate at positive defects and are depleted at negative defects. In contrast, applying this to the dynamics of a basal marine invertebrate \emph{Hydra} in an in-vivo setting, we show that activity stabilizes a bound $+1$ defect state by creating an incipient tentacle, while a bound $+1$ defect state surrounded by two $-1/2$ defects can create a stationary ring configuration of tentacles, consistent with observations.


title: Quasiparticle interference patterns in bilayer graphene with trigonal warping

abstract: We calculate the form of quasiparticle interference patterns in bilayer graphene within a low-energy description, taking into account perturbatively the trigonal warping terms. We introduce four different types of impurities localized on the A and B sublattices of the first and the second layer, and we obtain closed-form analytical expressions both in real and Fourier spaces for the oscillatory corrections to the local density of states generated by the impurities. Finally, we compare our findings with recent experimental and semi-analytical T-matrix results from arXiv:2104.10620 and we show that there is a very good agreement between our findings and the previous results, as well as with the experimental data.


title: Ladder Symmetries of Black Holes: Implications for Love Numbers and No-Hair Theorems

abstract: It is well known that asymptotically flat black holes in general relativity have a vanishing static, conservative tidal response. We show that this is a result of linearly realized symmetries governing static (spin 0,1,2) perturbations around black holes. The symmetries have a geometric origin: in the scalar case, they arise from the (E)AdS isometries of a dimensionally reduced black hole spacetime. Underlying the symmetries is a ladder structure which can be used to construct the full tower of solutions, and derive their general properties: (1) solutions that decay with radius spontaneously break the symmetries, and must diverge at the horizon; (2) solutions regular at the horizon respect the symmetries, and take the form of a finite polynomial that grows with radius. Taken together, these two properties imply that static response coefficients -- and in particular Love numbers -- vanish. Moreover, property (1) is consistent with the absence of black holes with linear (perturbative) hair. We also discuss the manifestation of these symmetries in the effective point particle description of a black hole, showing explicitly that for scalar probes the worldline couplings associated with a non-trivial tidal response and scalar hair must vanish in order for the symmetries to be preserved.


title: Image feature extraction and galaxy classification: a novel and efficient approach with automated machine learning

abstract: In this work we explore the possibility of applying machine learning methods designed for one-dimensional problems to the task of galaxy image classification. The algorithms used for image classification typically rely on multiple costly steps, such as the Point Spread Function (PSF) deconvolution and the training and application of complex Convolutional Neural Networks (CNN) of thousands or even millions of parameters. In our approach, we extract features from the galaxy images by analysing the elliptical isophotes in their light distribution and collect the information in a sequence. The sequences obtained with this method present definite features allowing a direct distinction between galaxy types, as opposed to smooth S\'ersic profiles. Then, we train and classify the sequences with machine learning algorithms, designed through the platform Modulos AutoML, and study how they optimize the classification task. As a demonstration of this method, we use the second public release of the Dark Energy Survey (DES DR2). We show that by applying it to this sample we are able to successfully distinguish between early-type and late-type galaxies, for images with signal-to-noise ratio greater then 300. This yields an accuracy of $86\%$ for the early-type galaxies and $93\%$ for the late-type galaxies, which is on par with most contemporary automated image classification approaches. Our novel method allows for galaxy images to be accurately classified and is faster than other approaches. Data dimensionality reduction also implies a significant lowering in computational cost. In the perspective of future data sets obtained with e.g. Euclid and the Vera Rubin Observatory (VRO), this work represents a path towards using a well-tested and widely used platform from industry in efficiently tackling galaxy classification problems at the peta-byte scale.


title: Quantum probing of null-singularities

abstract: We adapt the dual-null foliation to the functional Schr\"odinger representation of quantum field theory and study the behavior of quantum probes in plane-wave space-times near the null-singularity. A comparison between the Einstein-Rosen and the Brinkmann patch, where the latter extends beyond the first, shows a seeming tension that can be resolved by comparing the configuration spaces. Our analysis concludes that Einstein-Rosen space-times support exclusively configurations with non-empty gravitational memory that are focussed to a set of measure zero in the focal plane with respect to a Brinkmann observer. To conclude, we provide a rough framework to estimate the qualitative influence of back-reactions on these results.


title: Impact of gauge fixing on angular momentum operators of the covariantly quantized electromagnetic field

abstract: Covariant quantization of the electromagnetic field imposes the so-called gauge-fixing modification on the Lagrangian density. As a result of that, the total angular momentum operator receives at least one gauge-fixing-originated contribution, whose presence causes some confusion in the literature. The goal of this work is to discuss in detail why such a contribution, having no classical interpretation, is actually indispensable. For this purpose, we divide canonical and Belinfante-Rosenfeld total angular momentum operators into different components and study their commutation relations, their role in generation of rotations of quantum fields, and their action on states from the physical sector of the theory. Then, we examine physical matrix elements of operators having gauge-fixing-related contributions, illustrating problems that one may encounter due to careless employment of the resolution of identity during their evaluation. The resolution of identity, in the indefinite-metric space of the covariantly-quantized electromagnetic field, is extensively discussed because it takes a not-so-intuitive form if one insists on explicit projection onto states from the physical sector of the theory. Our studies are carried out in the framework of the Gupta-Bleuler theory of the free electromagnetic field. Relevant remarks about interacting systems, described by covariantly-quantized electrodynamics, are given.


title: A scaling relation for the molecular cloud lifetime in Milky Way-like galaxies

abstract: We study the time evolution of molecular clouds across three Milky Way-like isolated disc galaxy simulations at a temporal resolution of 1 Myr, and at a range of spatial resolutions spanning two orders of magnitude in spatial scale from ~10 pc up to ~1 kpc. The cloud evolution networks generated at the highest spatial resolution contain a cumulative total of ~80,000 separate molecular clouds in different galactic-dynamical environments. We find that clouds undergo mergers at a rate proportional to the crossing time between their centroids, but that their physical properties are largely insensitive to these interactions. Below the gas disc scale-height, the cloud lifetime obeys a scaling relation of the form $\tau_{\rm life} \propto \ell^{-0.3}$ with the cloud size $\ell$, consistent with over-densities that collapse, form stars, and are dispersed by stellar feedback. Above the disc scale-height, these self-gravitating regions are no longer resolved, so the scaling relation flattens to a constant value of ~13 Myr, consistent with the turbulent crossing time of the gas disc, as observed in nearby disc galaxies.


title: Space observations of AA Doradus provide consistent mass determinations. New HW-Vir systems observed with TESS

abstract: We present an overview of eclipsing systems of the HW-Virginis type, based on space observations from the TESS Mission. We perform a detailed analysis of the properties of AA Dor, which was monitored for almost a full year. This excellent time-series dataset permitted us to search for both stellar pulsations and eclipse timing variations. In addition, we used the high-precision trigonometric parallax from Gaia Early Data Release 3 to make an independent determination of the fundamental stellar parameters. No convincing pulsations were detected down to a limit of 76 parts per million, however we detected one peak with false alarm probability of 0.2%. 20 sec cadences being collected during Year 3 should confirm or reject our detection. From eclipse timing measurements we were able to confirm that the orbital period is stable, with an upper limit to any period change of 5.75 $\cdot$ 10$^{-13}$ s/s. The apparent offset of the secondary eclipse is consistent with the predicted R{\o}mer delay when the primary mass is that of a canonical extended horizontal branch star. Using parallax and a spectral energy distribution corroborates that the mass of the primary in AA Dor is canonical, and its radius and luminosity is consistent with an evolutionary state beyond core helium burning. The mass of the secondary is found to be at the limit of hydrogen burning.


title: Fingerprints of quantum criticality in locally resolved transport

abstract: Understanding electrical transport in strange metals, including the seeming universality of Planckian $T$-linear resistivity, remains a longstanding challenge in condensed matter physics. We propose that local imaging techniques, such as nitrogen vacancy center magnetometry, can locally identify signatures of quantum critical response which are invisible in measurements of a bulk electrical resistivity. As an illustrative example, we use a minimal holographic model for a strange metal in two spatial dimensions to predict how electrical current will flow in regimes dominated by quantum critical dynamics on the Planckian length scale. We describe the crossover between quantum critical transport and hydrodynamic transport (including Ohmic regimes), both in charge neutral and finite density systems. We compare our holographic predictions to experiments on charge neutral graphene, finding quantitative agreement with available data; we suggest further experiments which may determine the relevance of our framework to transport on Planckian scales in this material. More broadly, we propose that locally imaged transport be used to test the universality (or lack thereof) of microscopic dynamics in the diverse set of quantum materials exhibiting $T$-linear resistivity.


title: The role of jet-cocoon mixing, magnetization and shock breakout in neutrino and cosmic-ray emission from short GRBs

abstract: We perform GRMHD and RMHD simulations of weakly and highly magnetized gamma-ray burst (GRB) jets propagating in binary neutron star (BNS) merger ejecta. Using the simulations, we first find that mixing between the jet and cocoon, which is present in all types of jets, inhibits the formation of subphotospheric collisionless shocks. However, we show that a mild magnetization may lead to the formation of collisionless subshocks which allow efficient proton acceleration. We consider shear acceleration and diffusive shock acceleration at collimation shocks, internal shocks, shock breakout, and external shocks, to provide the first self-consistent estimate for neutrino and cosmic-ray (CR) signals from GRBs in BNS mergers. We find that short GRBs do not produce detectable neutrino signals with current-day facilities. Shock breakout yields $ \sim 10 $ PeV neutrinos at viewing angles $\sim20^\circ $, independent of the jet magnetization. However, a neutrino signal from shock breakout is well below detection limits of current detectors. Such a signal would allow a coincident neutrino-$\gamma-$ray detection, providing a testable prediction for shock breakout as a neutrino production site. Using the numerical modeling that fits GW170817 afterglow emission, we find that blast waves in BNS mergers can account for 5%-10% of the Galactic CR luminosity in the PeV-EeV energy range. Based on these estimates, the observed level of CR anisotropy places a constraint on the distance of the latest Galactic binary neutron star merger to $\lesssim3$ kiloparsecs.


title: A search for variable subdwarf B stars in TESS Full Frame Images II. Variable objects in the northern ecliptic hemisphere

abstract: We report the results of our search for pulsating subdwarf B stars in Full Frame Images collected during Year 2 of the TESS mission and covering the northern ecliptic hemisphere. This is a continuation of our effort we presented in Paper I. We found 13 likely new pulsating subdwarf B stars, 10 pulsating candidates that are identified as other hot subdwarfs, and 30 spectroscopically unclassified objects that show amplitude spectra typical of pulsating subdwarf B stars. We found 506 variable objects, most of them spectroscopically unclassified, hence their specific variability class yet to be confirmed. Eclipsing binaries with sharp eclipses sample comprises 33 systems. For 12 of them we derived precise orbital periods and checked their stabilities. We identified one known and five new candidate HW Vir systems. The amplitude spectra of the 13 likely sdB pulsators are not rich in modes, hence any further analysis is not possible. However, we selected three candidates for pulsating subdwarf B stars that show the richest amplitude spectra and we performed a mode identification deriving modal degrees of most of the detected modes. In total, in both ecliptic hemispheres, we found 15 likely pulsating pulsating subdwarf B stars, additional 10 candidates for pulsating subdwarf B stars, 66 other variable subdwarf B stars, 2076 spectroscopically unconfirmed variable stars, and 123 variable non-sdB stars.


title: ALP-SMEFT Interference

abstract: The Standard Model Effective Field Theory (SMEFT) offers a powerful theoretical framework for parameterizing the low-energy effects of heavy new particles with masses far above the scale of electroweak symmetry breaking. Additional light degrees of freedom extend the effective theory. We show that light new particles that are weakly coupled to the SM via non-renormalizable interactions induce non-zero Wilson coefficients in the SMEFT Lagrangian via renormalization-group evolution. For the well-motivated example of axions and axion-like particles (ALPs) interacting with the SM via classically shift-invariant dimension-5 interactions, we calculate how these interactions contribute to the one-loop renormalization of the dimension-6 SMEFT operators, and how this running sources additional contributions to the Wilson coefficients on top of those expected from heavy new states. As an application, we study the ALP contributions to the magnetic dipole moment of the top quark and comment on implications of electroweak precision constraints on ALP couplings.


title: Experimental Deep Reinforcement Learning for Error-Robust Gateset Design on a Superconducting Quantum Computer

abstract: Quantum computers promise tremendous impact across applications -- and have shown great strides in hardware engineering -- but remain notoriously error prone. Careful design of low-level controls has been shown to compensate for the processes which induce hardware errors, leveraging techniques from optimal and robust control. However, these techniques rely heavily on the availability of highly accurate and detailed physical models which generally only achieve sufficient representative fidelity for the most simple operations and generic noise modes. In this work, we use deep reinforcement learning to design a universal set of error-robust quantum logic gates on a superconducting quantum computer, without requiring knowledge of a specific Hamiltonian model of the system, its controls, or its underlying error processes. We experimentally demonstrate that a fully autonomous deep reinforcement learning agent can design single qubit gates up to $3\times$ faster than default DRAG operations without additional leakage error, and exhibiting robustness against calibration drifts over weeks. We then show that $ZX(-\pi/2)$ operations implemented using the cross-resonance interaction can outperform hardware default gates by over $2\times$ and equivalently exhibit superior calibration-free performance up to 25 days post optimization using various metrics. We benchmark the performance of deep reinforcement learning derived gates against other black box optimization techniques, showing that deep reinforcement learning can achieve comparable or marginally superior performance, even with limited hardware access.


title: Tunable Feshbach resonances and their spectral signatures in bilayer semiconductors

abstract: Feshbach resonances are an invaluable tool in atomic physics, enabling precise control of interactions and the preparation of complex quantum phases of matter. Here, we theoretically analyze a solid-state analogue of a Feshbach resonance in two dimensional semiconductor heterostructures. In the presence of inter-layer electron tunneling, the scattering of excitons and electrons occupying different layers can be resonantly enhanced by tuning an applied electric field. The emergence of an inter-layer Feshbach molecule modifies the optical excitation spectrum, and can be understood in terms of Fermi polaron formation. We discuss potential implications for the realization of correlated Bose-Fermi mixtures in bilayer semiconductors.

categories: cond-mat.mes-hall cond-mat.quant-gas cond-mat.str-el quant-ph


title: Multi-Fidelity Emulation for the Matter Power Spectrum using Gaussian Processes

abstract: We present methods for emulating the matter power spectrum by combining information from cosmological $N$-body simulations at different resolutions. An emulator allows estimation of simulation output by interpolating across the parameter space of a limited number of simulations. We present the first implementation in cosmology of multi-fidelity emulation, where many low-resolution simulations are combined with a few high-resolution simulations to achieve an increased emulation accuracy. The power spectrum's dependence on cosmology is learned from the low-resolution simulations, which are in turn calibrated using high-resolution simulations. We show that our multi-fidelity emulator predicts high-fidelity counterparts to percent-level relative accuracy when using only $3$ high-fidelity simulations and outperforms a single-fidelity emulator that uses $11$ simulations, although we do not attempt to produce a converged emulator with high absolute accuracy. With a fixed number of high-fidelity training simulations, we show that our multi-fidelity emulator is $\simeq 100$ times better than a single-fidelity emulator at $k \leq 2 h \mathrm{Mpc}^{-1}$, and $\simeq 20$ times better at $3 \leq k < 6.4 h \mathrm{Mpc}^{-1}$. Multi-fidelity emulation is fast to train, using only a simple modification to standard Gaussian processes. Our proposed emulator shows a new way to predict non-linear scales by fusing simulations from different fidelities.


title: A Search for Satellite Galaxies of Nearby Star-Forming Galaxies with Resolved Stars in LBT-SONG

abstract: We present results from a resolved stellar population search for dwarf satellite galaxies of six nearby (D $<5$ Mpc), sub-Milky-Way mass hosts using deep ($m\sim27$ mag) optical imaging from the Large Binocular Telescope. We perform image simulations to quantify our detection efficiency for dwarfs over a large range in luminosity and size, and develop a fast catalog-based emulator that includes a treatment of unresolved photometric blending. We discover no new dwarf satellites, but we recover two previously known dwarfs (DDO 113 and LV J1228+4358) with $M_{\text{V}}<-12$ that lie in our survey volume. We preview a new theoretical framework to predict satellite luminosity functions using analytic probability distribution functions and apply it to our sample, finding that we predict one fewer classical dwarf and one more faint dwarf ($M_{\text{V}}\sim-7.5$) than we find in our observational sample (i.e., the observational sample is slightly top-heavy). However, the overall number of dwarfs in the observational sample (2) is in good agreement with the theoretical expectations. Interestingly, DDO 113 shows signs of environmental quenching and LV J1228+4358 is tidally disrupting, suggesting that low-mass hosts may affect their satellites more severely than previously believed.


title: Cosmology at the top of the $\alpha'$ tower

abstract: The cosmology of the fully $\alpha'$-corrected duality-invariant action for the Neveu-Schwarz sector of string theory is revisited, with special emphasis on its coupling to matter sources. The role of the duality covariant pressure and dilatonic charge of the matter sector is explored in various contexts, from the low-curvature regime to non-perturbative solutions in $\alpha'$. We comment on how an infinite tower of $\alpha'$ corrections allows for fixed-dilaton de Sitter solutions, even in vacuum. We further investigate the necessary conditions for accelerated expansion in the Einstein frame, as well as for non-singular bounces that could resolve the big bang singularity. In particular, explicit examples are constructed, which show that the tower of $\alpha'$ corrections may support an Einstein-frame non-singular cosmological bouncing background, even when the matter sector respects the null energy condition.


title: Hydrodynamics of ideal fracton fluids

abstract: Low-energy dynamics of many-body fracton excitations necessary to describe topological defects should be governed by a novel type of hydrodynamic theory. We use a Poisson bracket approach to systematically derive hydrodynamic equations from conservation laws of scalar theories with fracton excitations. We study three classes of theories. In the first class we introduce a general action for a scalar with a shift symmetry linear in the spatial coordinates, whereas the second one correspond with a complex scalar, while the third class serves as a toy model for disclinations and dislocations propagating along the Burgers vector. We apply our construction to study hydrodynamic fluctuations around equilibrium states and derive the dispersion relations of hydrodynamic modes.

categories: cond-mat.str-el cond-mat.quant-gas cond-mat.stat-mech hep-th


title: Intermediate mass black holes from stellar mergers in young star clusters

abstract: Intermediate mass black holes (IMBHs) in the mass range $10^2-10^5\,\mathrm{M_{\odot}}$ bridge the gap between stellar black holes (BHs) and supermassive BHs. Here, we investigate the possibility that IMBHs form in young star clusters via runaway collisions and BH mergers. We analyze $10^4$ simulations of dense young star clusters, featuring up-to-date stellar wind models and prescriptions for core collapse and (pulsational) pair instability. In our simulations, only 9 IMBHs out of 218 form via binary BH mergers, with a mass $\sim{}100-140$ M$_\odot$. This channel is strongly suppressed by the low escape velocity of our star clusters. In contrast, IMBHs with masses up to $\sim{}438$ M$_{\odot}$ efficiently form via runaway stellar collisions, especially at low metallicity. Up to $\sim{}0.2$~% of all the simulated BHs are IMBHs, depending on progenitor's metallicity. The runaway formation channel is strongly suppressed in metal-rich ($Z=0.02$) star clusters, because of stellar winds. IMBHs are extremely efficient in pairing with other BHs: $\sim{}70$% of them are members of a binary BH at the end of the simulations. However, we do not find any IMBH-BH merger. More massive star clusters are more efficient in forming IMBHs: $\sim{}8$% ($\sim{}1$%) of the simulated clusters with initial mass $10^4-3\times{}10^4$ M$_\odot$ ($10^3-5\times{}10^3$ M$_\odot$) host at least one IMBH.


title: Racah algebras, the centralizer $Z_n(\mathfrak{sl}_2)$ and its Hilbert-Poincar\'e series

abstract: The higher rank Racah algebra $R(n)$ introduced recently is recalled. A quotient of this algebra by central elements, which we call the special Racah algebra $sR(n)$, is then introduced. Using results from classical invariant theory, this $sR(n)$ algebra is shown to be isomorphic to the centralizer $Z_{n}(\mathfrak{sl}_2)$ of the diagonal embedding of $U(\mathfrak{sl}_2)$ in $U(\mathfrak{sl}_2)^{\otimes n}$. This leads to a first and novel presentation of the centralizer $Z_{n}(\mathfrak{sl}_2)$ in terms of generators and defining relations. An explicit formula of its Hilbert-Poincar\'e series is also obtained and studied. The extension of the results to the study of the special Askey-Wilson algebra and its higher rank generalizations is discussed.


title: Crystallography of Hyperbolic Lattices

abstract: Hyperbolic lattices are a revolutionary platform for tabletop simulations of holography and quantum physics in curved space and facilitate efficient quantum error correcting codes. Their underlying geometry is non-Euclidean, and the absence of Bloch's theorem precludes the straightforward application of the often indispensable energy band theory to study model Hamiltonians on hyperbolic lattices. Motivated by recent insights into hyperbolic band theory, we initiate a crystallography of hyperbolic lattices. We show that many hyperbolic lattices feature a hidden crystal structure characterized by unit cells, hyperbolic Bravais lattices, and associated symmetry groups. Using the mathematical framework of higher-genus Riemann surfaces and Fuchsian groups, we derive, for the first time, a list of example hyperbolic $\{p,q\}$ lattices and their hyperbolic Bravais lattices, including five infinite families and several graphs relevant for experiments in circuit quantum electrodynamics and topolectrical circuits. This dramatically simplifies the computation of energy spectra of tight-binding Hamiltonians on hyperbolic lattices, from exact diagonalization on the graph to solving a finite set of equations in terms of irreducible representations. The significance of this achievement needs to be compared to the all-important role played by conventional Euclidean crystallography in the study of solids. We exemplify the high potential of this approach by constructing and diagonalizing finite-dimensional Bloch wave Hamiltonians. Our work lays the foundation for generalizing some of the most powerful concepts of solid state physics, crystal momentum and Brillouin zone, to the emerging field of hyperbolic lattices and tabletop simulations of gravitational theories, and reveals the connections to concepts from topology and algebraic geometry.

categories: cond-mat.str-el cond-mat.mes-hall cond-mat.stat-mech math-ph math.MP quant-ph


title: Quantum impurity models using superpositions of fermionic Gaussian states: Practical methods and applications

abstract: The coherent superposition of non-orthogonal fermionic Gaussian states has been shown to be an efficient approximation to the ground states of quantum impurity problems [Bravyi and Gosset,Comm. Math. Phys.,356 451 (2017)]. We present a practical approach for performing a variational calculation based on such states. Our method is based on approximate imaginary-time equations of motion that decouple the dynamics of each Gaussian state forming the ansatz. It is independent of the lattice connectivity of the model and the implementation is highly parallelizable. To benchmark our variational method, we calculate the spin-spin correlation function and R\'enyi entanglement entropy of an Anderson impurity, allowing us to identify the screening cloud and compare to density matrix renormalization group calculations. Secondly, we study the screening cloud of the two-channel Kondo model, a problem difficult to tackle using existing numerical tools.


title: Collapse instability and staccato decay of oscillons in various dimensions

abstract: Oscillons are long-lived, slowly radiating solutions of nonlinear classical relativistic field theories. Recently it was discovered that in one spatial dimension their decay may proceed in "staccato" bursts. Here we perform a systematic numerical study to demonstrate that although this behaviour is not confined to one spatial dimension, it quickly becomes unobservable when the dimension of space is increased, at least for the class of potentials considered here. To complete the picture we also present explicit results on the dimension dependence of the collapse instability observed for three-dimensional oscillons.


title: Transformations in quantum networks via local operations assisted by finitely many rounds of classical communication

abstract: Recent advances have led towards first prototypes of quantum networks in which entanglement is distributed by sources producing bipartite entangled states. This raises the question of which states can be generated in quantum networks based on bipartite sources using local operations and classical communication. In this work, we study state transformations under finite rounds of local operations and classical communication (LOCC) in networks based on maximally entangled two-qubit states. We first derive the symmetries for arbitrary network structures, as these determine which transformations are possible. Then, we show that contrary to tree graphs, for which it has already been shown that any state within the same entanglement class can be reached, there exist states which can be reached probabilistically but not deterministically if the network contains a cycle. Furthermore, we provide a systematic way to determine states which are not reachable in networks consisting of a cycle. Moreover, we provide a complete characterization of the states which can be reached in a cycle network with a protocol where each party measures only once, and each step of the protocol results in a deterministic transformation. Finally, we present an example which cannot be reached with such a simple protocol, and constitutes, up to our knowledge, the first example of a LOCC transformation among fully entangled states requiring three rounds of classical communication.


title: Magnetorotational instability with smoothed particle hydrodynamics

abstract: We present a thorough numerical study on the MRI using the smoothed particle magnetohydrodynamics method (SPMHD) with the geometric density average force expression (GDSPH). We perform shearing box simulations with different initial setups and a wide range of resolution and dissipation parameters. We show, for the first time, that MRI with sustained turbulence can be simulated successfully with SPH, with results consistent with prior work with grid-based codes. In particular, for the stratified boxes, our simulations reproduce the characteristic butterfly diagram of the MRI dynamo with saturated turbulence for at least 100 orbits. On the contrary, traditional SPH simulations suffer from runaway growth and develop unphysically large azimuthal fields, similar to the results from a recent study with mesh-less methods. We investigated the dependency of MRI turbulence on the numerical Prandtl number in SPH, focusing on the unstratified, zero net-flux case. We found that turbulence can only be sustained with a Prandtl number larger than $\sim$2.5, similar to the critical values of physical Prandtl number found in grid-code simulations. However, unlike grid-based codes, the numerical Prandtl number in SPH increases with resolution, and for a fixed Prandtl number, the resulting magnetic energy and stresses are independent of resolution. Mean-field analyses were performed on all simulations, and the resulting transport coefficients indicate no $\alpha$-effect in the unstratified cases, but an active $\alpha\Omega$ dynamo and a diamagnetic pumping effect in the stratified medium, which are generally in agreement with previous studies. There is no clear indication of a shear-current dynamo in our simulation, which is likely to be responsible for a weaker mean-field growth in the tall, unstratified, zero net-flux simulation.

categories: astro-ph.GA astro-ph.HE astro-ph.SR physics.flu-dyn


title: Process Model Forecasting Using Time Series Analysis of Event Sequence Data

abstract: Process analytics is an umbrella of data-driven techniques which includes making predictions for individual process instances or overall process models. At the instance level, various novel techniques have been recently devised, tackling next activity, remaining time, and outcome prediction. At the model level, there is a notable void. It is the ambition of this paper to fill this gap. To this end, we develop a technique to forecast the entire process model from historical event data. A forecasted model is a will-be process model representing a probable future state of the overall process. Such a forecast helps to investigate the consequences of drift and emerging bottlenecks. Our technique builds on a representation of event data as multiple time series, each capturing the evolution of a behavioural aspect of the process model, such that corresponding forecasting techniques can be applied. Our implementation demonstrates the accuracy of our technique on real-world event log data.


title: Probing composite Higgs boson substructure at the HL-LHC

abstract: The Higgs boson may well be a composite scalar with a finite extension in space. Owing to the momentum dependence of its couplings the imprints of such a composite pseudo Goldstone Higgs may show up in the tails of various kinematic distributions at the LHC, distinguishing it from an elementary state. From the bottom up we construct the momentum dependent form factors to capture the interactions of the composite Higgs with the weak gauge bosons. We demonstrate their impact in the differential distributions of various kinematic parameters for the $pp\rightarrow Z^*H\rightarrow l^+l^-b\bar{b}$ channel. We show that this channel can provide an important handle to probe the Higgs' substructure at the HL-LHC.


title: Constructing Nano-Object Quantum Superpositions with a Stern-Gerlach Interferometer

abstract: Probing quantum mechanics, quantum aspects of general relativity along with the sensing and the constraining of classical gravity can all be enabled by unprecedented spatial sizes of superpositions of massive objects. In this paper, we show that there is a feasible setup sourced by realizable magnetic field gradients ${\cal O}(10-100)$ Tm$^{-1}$ to construct a large spatial superposition of ${\cal O}(10^{-4}-10^{-8})$ m for masses ${\cal O}(10^{-16}-10^{-14})$ kg over a time period of up to $0.1-10$ seconds.


title: Jets and Photons Spectroscopy of Higgs-ALP Interactions

abstract: Axion-like particles (ALPs) and Higgs bosons can interact in scalar sectors beyond the Standard Model, leading the Higgs boson to decay into pairs of gluons and photons through the ALP interaction and giving rise to resonances in the decay products of the process $h\to aa\to gg+\gamma\gamma$, resembling a spectral lines analysis. We explore this signature to constrain an ALP effective field theory formulation and show that the forthcoming runs of the LHC will be capable to probe the ALP-Higgs interaction in the ALP mass range from 0.5 to 60 GeV using an automatized search strategy that adapts to different ALP masses in inclusive jets plus photons final states. Such interaction can also be tested in mass regions where the two and four-photon search channels are currently ineffective.


title: The consistency of chemical clocks among coeval stars

abstract: The abundance ratios of some chemical species have been found to correlate with stellar age, leading to the possibility of using stellar atmospheric abundances as stellar age indicators. These chemical clocks have been calibrated with solar-twins, open clusters and red giants, but it remains to be seen whether they can be effective at identifying coeval stars in a field population that spans a broad parameter space (i.e., the promise of chemical tagging). Since the components of wide binaries are known to be stars of common origins, they constitute ideal laboratories for testing the usefulness of chemical clocks for the age dating of field stars. We determined the abundances of a new sample of 5 binaries and collected data for other 31 systems from the literature in order to test the applicability of chemical clocks. We recover the well known result that the components of wide binaries have more consistent chemistry than that of random pairs. However, we also show for the first time that abundance ratios designed as chemical clocks are even more consistent among the components of wide binaries than their [X/Fe] ratios. Not only that, but the special case of the pair HIP 34426/HIP 34407 may indicate that chemical clocks are consistent for coeval stars even when the individual abundances are not. If the assumption that chemical clocks are reliable age indicators is correct, this would constitute first quantitative, statistically significant evidence that the components of wide binaries in the Galactic field are indeed coeval, validating a large body of published work that relies on that to be the case. Moreover, our results provide strong evidence that chemical clocks indeed carry important information about stellar birthplaces and chemical evolution, and thus we propose that including them in chemical tagging efforts may facilitate the identification of nowadays dissolved stellar groups.


title: Illuminating entanglement shadows of BTZ black holes by a generalized entanglement measure

abstract: We define a generalized entanglement measure in the context of the AdS/CFT correspondence. Compared to the ordinary entanglement entropy for a spatial subregion dual to the area of the Ryu-Takayanagi surface, we take into account both entanglement between spatial degrees of freedom as well as between different fields of the boundary theory. Moreover, we resolve the contribution to the entanglement entropy of strings with different winding numbers in the bulk geometry. We then calculate this generalized entanglement measure in a thermal state dual to the BTZ black hole in the setting of the D1/D5 system at and close to the orbifold point. We find that the entanglement entropy defined in this way is dual to the length of a geodesic with non-zero winding number. Such geodesics probe the entire bulk geometry, including the entanglement shadow up to the horizon in the one-sided black hole as well as the wormhole growth in the case of a two-sided black hole for an arbitrarily long time. Therefore, we propose that the entanglement structure of the boundary state is enough to reconstruct asymptotically AdS$_3$ geometries up to extremal surface barriers.


title: A flexible forecasting model for production systems

abstract: This paper discusses desirable properties of forecasting models in production systems. It then develops a family of models which are designed to satisfy these properties: highly customizable to capture complex patterns; accommodates a large variety of objectives; has interpretable components; produces robust results; has automatic changepoint detection for trend and seasonality; and runs fast -- making it a good choice for reliable and scalable production systems. The model allows for seasonality at various time scales, events/holidays, and change points in trend and seasonality. The volatility is fitted separately to maintain flexibility and speed and is allowed to be a function of specified features.


title: Reinforcement Learning for Ridesharing: An Extended Survey

abstract: In this paper, we present a comprehensive, in-depth survey of the literature on reinforcement learning approaches to decision optimization problems in a typical ridesharing system. Papers on the topics of rideshare matching, vehicle repositioning, ride-pooling, routing, and dynamic pricing are covered. Most of the literature has appeared in the last few years, and several core challenges are to continue to be tackled: model complexity, agent coordination, and joint optimization of multiple levers. Hence, we also introduce popular data sets and open simulation environments to facilitate further research and development. Subsequently, we discuss a number of challenges and opportunities for reinforcement learning research on this important domain.


title: Frozen formalism and canonical quantization in group field theory

abstract: Canonical quantization of gravitational systems is obstructed by the problem of time. Due to diffeomorphism symmetry the Hamiltonian vanishes: dynamics with respect to a background time parameter appears "frozen." Two strategies towards the quantization of such systems are the identification of a clock degree of freedom before quantization (deparametrization), and quantization on a kinematical Hilbert space which is subject to constraints (Dirac quantization). The usual canonical quantization in quantum field theory is analogous to deparametrization. Here we introduce a frozen formalism and Dirac quantization for a complex Klein-Gordon scalar field, and show that the resulting theory is equivalent to usual canonical quantization. We then apply the formalism to the group field theory formalism for quantum gravity, for which both deparametrization and a "timeless" quantization have been proposed in past work. We show how a frozen formalism for group field theory links between these two existing approaches, and illustrate in particular the construction of physical observables. We derive effective cosmological dynamics for group field theory in the new formalism and compare these to previous work. The frozen formalism could be extended to other approaches to quantum gravity that do not use a preferred time parameter.


title: The effect of a strong pressure bump in the Sun's natal disk: Terrestrial planet formation via planetesimal accretion rather than pebble accretion

abstract: Mass-independent isotopic anomalies of carbonaceous and non-carbonaceous meteorites show a clear dichotomy suggesting an efficient separation of the inner and outer solar system. Observations show that ring-like structures in the distribution of mm-sized pebbles in protoplanetary disks are common. These structures are often associated with drifting pebbles being trapped by local pressure maxima in the gas disk. Similar structures may also have existed in the sun's natal disk, which could naturally explain the meteorite/planetary isotopic dichotomy. Here, we test the effects of a strong pressure bump in the outer disk (e.g. $\sim$5~au) on the formation of the inner solar system. We model dust coagulation and evolution, planetesimal formation, as well as embryo's growth via planetesimal and pebble accretion. Our results show that terrestrial embryos formed via planetesimal accretion rather than pebble accretion. In our model, the radial drift of pebbles foster planetesimal formation. However, once a pressure bump forms, pebbles in the inner disk are lost via drift before they can be efficiently accreted by embryos growing at $\gtrapprox$1~au. Embryos inside $\sim$0.5-1.0au grow relatively faster and can accrete pebbles more efficiently. However, these same embryos grow to larger masses so they should migrate inwards substantially, which is inconsistent with the current solar system. Therefore, terrestrial planets most likely accreted from giant impacts of Moon to roughly Mars-mass planetary embryos formed around $\gtrapprox$1.0~au. Finally, our simulations produce a steep radial mass distribution of planetesimals in the terrestrial region which is qualitatively aligned with formation models suggesting that the asteroid belt was born low-mass.


title: Mass-radius relationships for irradiated ocean planets

abstract: Massive and water-rich planets should be ubiquitous in the universe. Many of those worlds are expected to be subject to important irradiation from their host star, and display supercritical water layers surrounded by extended steam atmospheres. Irradiated ocean planets with such inflated hydrospheres have been recently shown to be good candidates for matching the mass-radius distribution of sub-Neptunes. Here we describe a model that computes a realistic structure for water-rich planets by combining an interior model with an updated equation of state (EoS) for water, and an atmospheric model that takes into account radiative transfer. We find that the use of non appropriate EoSs can lead to the overestimation of the planetary radius by up to $\sim$10\%, depending on the planet size and composition. Our model has been applied to the GJ 9827 system as a test case and indicates Earth- or Venus-like interiors for planets b and c, respectively. Planet d could be an irradiated ocean planet with a water mass fraction of $\sim$$20\pm10\%$. We also provide fits for the mass-radius relationships, allowing one to directly retrieve a wide range of planetary compositions, without the requirement to run the model. Our calculations finally suggest that highly irradiated planets lost their H/He content through atmospheric loss processes, and that the leftover material led to either super-Earths or sub-Neptunes, depending on the water mass fraction.


title: Coherent Interactions Between Silicon-Vacancy Centers in Diamond

abstract: We report coherent interactions within an ensemble of silicon-vacancy color centers in diamond. The interactions are ascribed to resonant dipole-dipole coupling. Further, we demonstrate control over resonant center pairs by using a driving optical pulse to induce collective, interaction-enabled Rabi-oscillations in the ensemble. Non-resonant center pairs do not undergo collective oscillations.


title: On 13-Crossing-Critical Graphs with Arbitrarily Large Degrees

abstract: A recent result of Bokal et al. [Combinatorica, 2022] proved that the exact minimum value of c such that c-crossing-critical graphs do not have bounded maximum degree is c=13. The key to that result is an inductive construction of a family of 13-crossing-critical graphs with many vertices of arbitrarily high degrees. While the inductive part of the construction is rather easy, it all relies on the fact that a certain 17-vertex base graph has the crossing number 13, which was originally verified only by a machine-readable computer proof. We provide a relatively short self-contained computer-free proof of the latter fact. Furthermore, we subsequently generalize the critical construction in order to provide a definitive answer to a remaining open question of this research area; we prove that for every c>=13 and integers d,q, there exists a c-crossing-critical graph with more than q vertices of each of the degrees 3,4,...,d.


title: Spherulitic and rotational crystal growth of Quartz thin films

abstract: To obtain crystalline thin films of alpha-Quartz represents a challenge due to the tendency for the material towards spherulitic growth. Thus, understanding the mechanisms that give rise to spherulitic growth can help regulate the growth process. Here the spherulitic type of 2D crystal growth in thin amorphous Quartz films was analyzed by electron back-scatter diffraction (EBSD). EBSD was used to measure the size, orientation, and rotation of crystallographic grains in polycrystalline SiO2 and GeO2 thin films with high spatial resolution. Individual spherulitic Quartz crystal colonies contain primary and secondary single crystal fibers, which grow radially from the colony center towards its edge, and fill a near circular crystalline area completely. During their growth, individual fibers form so-called rotational crystals, when some lattice planes are continuously bent. The directions of the lattice rotation axes in the fibers were determined by an enhanced analysis of EBSD data. A possible mechanism, including the generation of the particular type of dislocation(s), is suggested.


title: Star-Galaxy Image Separation with Computationally Efficient Gaussian Process Classification

abstract: We introduce a novel method for discerning optical telescope images of stars from those of galaxies using Gaussian processes (GPs). Although applications of GPs often struggle in high-dimensional data modalities such as optical image classification, we show that a low-dimensional embedding of images into a metric space defined by the principal components of the data suffices to produce high-quality predictions from real large-scale survey data. We develop a novel method of GP classification hyperparameter training that scales approximately linearly in the number of image observations, which allows for application of GP models to large-size Hyper Suprime-Cam (HSC) Subaru Strategic Program data. In our experiments we evaluate the performance of a principal component analysis (PCA) embedded GP predictive model against other machine learning algorithms including a convolutional neural network and an image photometric morphology discriminator. Our analysis shows that our methods compare favorably with current methods in optical image classification while producing posterior distributions from the GP regression that can be used to quantify object classification uncertainty. We further describe how classification uncertainty can be used to efficiently parse large-scale survey imaging data to produce high-confidence object catalogs.


title: Improving qubit coherence using closed-loop feedback

abstract: Superconducting qubits are a promising platform for building a larger-scale quantum processor capable of solving otherwise intractable problems. In order for the processor to reach practical viability, the gate errors need to be further suppressed and remain stable for extended periods of time. With recent advances in qubit control, both single- and two-qubit gate fidelities are now in many cases limited by the coherence times of the qubits. Here we experimentally employ closed-loop feedback to stabilize the frequency fluctuations of a superconducting transmon qubit, thereby increasing its coherence time by 26\% and reducing the single-qubit error rate from $(8.5 \pm 2.1)\times 10^{-4}$ to $(5.9 \pm 0.7)\times 10^{-4}$. Importantly, the resulting high-fidelity operation remains effective even away from the qubit flux-noise insensitive point, significantly increasing the frequency bandwidth over which the qubit can be operated with high fidelity. This approach is helpful in large qubit grids, where frequency crowding and parasitic interactions between the qubits limit their performance.


title: Consistent Density Estimation Under Discrete Mixture Models

abstract: This work considers a problem of estimating a mixing probability density $f$ in the setting of discrete mixture models. The paper consists of three parts. The first part focuses on the construction of an $L_1$ consistent estimator of $f$. In particular, under the assumptions that the probability measure $\mu$ of the observation is atomic, and the map from $f$ to $\mu$ is bijective, it is shown that there exists an estimator $f_n$ such that for every density $f$ $\lim_{n\to \infty} \mathbb{E} \left[ \int |f_n -f | \right]=0$. The second part discusses the implementation details. Specifically, it is shown that the consistency for every $f$ can be attained with a computationally feasible estimator. The third part, as a study case, considers a Poisson mixture model. In particular, it is shown that in the Poisson noise setting, the bijection condition holds and, hence, estimation can be performed consistently for every $f$.


title: Distributed Quantum Computing with QMPI

abstract: Practical applications of quantum computers require millions of physical qubits and it will be challenging for individual quantum processors to reach such qubit numbers. It is therefore timely to investigate the resource requirements of quantum algorithms in a distributed setting, where multiple quantum processors are interconnected by a coherent network. We introduce an extension of the Message Passing Interface (MPI) to enable high-performance implementations of distributed quantum algorithms. In turn, these implementations can be used for testing, debugging, and resource estimation. In addition to a prototype implementation of quantum MPI, we present a performance model for distributed quantum computing, SENDQ. The model is inspired by the classical LogP model, making it useful to inform algorithmic decisions when programming distributed quantum computers. Specifically, we consider several optimizations of two quantum algorithms for problems in physics and chemistry, and we detail their effects on performance in the SENDQ model.


title: The common range of co-analytic Toeplitz operators on the Drury-Arveson space

abstract: We characterize the common range of the adjoints of cyclic multiplication operators on the Drury--Arveson space. We show that a function belongs to this common range if and only if its Taylor coefficients satisfy a simple decay condition. To achieve this, we introduce the uniform Smirnov class on the ball and determine its dual space. We show that the dual space of the uniform Smirnov class equals the dual space of the strictly smaller Smirnov class of the Drury-Arveson space, and that this in turn equals the common range of the adjoints of cyclic multiplication operators.


title: Radiation of Charge Moving along Face of Inverted Prism

abstract: Cherenkov radiation (CR) generated by a charge moving along one of the faces of a dielectric prism is analyzed. Unlike our previous papers, here we suppose that the charge moves from the the prism ``nose'' to its base. For CR analysis, we use the technique described in our previous papers and called the ``aperture method''. However, here we develop a new version of this technique which is suitable for objects with plane faces: it utilizes field expansion only over plane waves inside the object. This approach is especially convenient for objects having two or more plane interfaces on which the waves are reflected and/or refracted. Using this technique, we obtain the electromagnetic field distribution over the aperture and then apply Stratton-Chu formulas (aperture integrals). Further, the main attention is paid to the calculation of the radiation field in the Fraunhofer (far-field) area. It is notable that we obtain expressions for corresponding Fourier transforms in the form of single integrals. Using them, the series of typical angular diagrams are computed and physical conclusions are made.


title: Tuple Interpretations for Higher-Order Rewriting

abstract: We develop a class of algebraic interpretations for many-sorted and higher-order term rewriting systems that takes type information into account. Specifically, base-type terms are mapped to \emph{tuples} of natural numbers and higher-order terms to functions between those tuples. Tuples may carry information relevant to the type; for instance, a term of type $\mathsf{nat}$ may be associated to a pair $(\mathsf{cost}, \mathsf{size})$ representing its evaluation cost and size. This class of interpretations results in a more fine-grained notion of complexity than runtime or derivational complexity, which makes it particularly useful to obtain complexity bounds for higher-order rewriting systems. We show that rewriting systems compatible with tuple interpretations admit finite bounds on derivation height. Furthermore, we demonstrate how to mechanically construct tuple interpretations and how to orient $\beta$ and $\eta$ reductions within our technique. Finally, we relate our method to runtime complexity and prove that specific interpretation shapes imply certain runtime complexity bounds.


title: Essential properties of AlCl4-related graphite intercalation compounds of aluminum-ion-based battery cathodes

abstract: Up to now, many guest atoms/molecules/ions have been successfully synthesized into graphite to form the various compounds. For example, alkali-atom graphite intercalation compounds are verified to reveal the stage-n structures, including LiC6n and LiM8n [M=K. Rb and Cs; n=1, 2, 3; 4]. On the other side, AlCl4-ion/molecule ones are examined to show stage-4 and stage-3 cases at room and lower temperatures, respectively. Stage-1 and stage-2 configurations, with the higher intercalant concentrations, are unable to synthesize in experimental laboratories. This might arise from the fact that it is quite difficult to build the periodical arrangements along the longitudinal z and transverse directions simultaneously for the large ions or molecules. Our works are mainly focused on stage-1 and stage-2 systems in terms of geometric and electronic properties. The critical features, being associated with the atom-dominated energy spectra and wave function within the specific energy ranges, the active multi-orbital hybridization in distinct chemical bonds, and atom- & orbital-decomposed van Hove singularities, will be thoroughly clarified by the delicate simulations and analyses.


title: Progress toward favorable landscapes in quantum combinatorial optimization

abstract: The performance of variational quantum algorithms relies on the success of using quantum and classical computing resources in tandem. Here, we study how these quantum and classical components interrelate. In particular, we focus on algorithms for solving the combinatorial optimization problem MaxCut, and study how the structure of the classical optimization landscape relates to the quantum circuit used to evaluate the MaxCut objective function. In order to analytically characterize the impact of quantum features on the critical points of the landscape, we consider a family of quantum circuit ans\"atze composed of mutually commuting elements. We identify multiqubit operations as a key resource and show that overparameterization allows for obtaining favorable landscapes. Namely, we prove that an ansatz from this family containing exponentially many variational parameters yields a landscape free of local optima for generic graphs. However, we further prove that these ans\"atze do not offer superpolynomial advantages over purely classical MaxCut algorithms. We then present a series of numerical experiments illustrating that noncommutativity and entanglement are important features for improving algorithm performance.