title: Theoretical and numerical evidence for the potential realization of the Peregrine soliton in repulsive two-component Bose-Einstein condensates

abstract: The present work is motivated by the recent experimental realization of the Townes soliton in an effective two-component Bose-Einstein condensate by B. Bakkali-Hassan et al. [Phys. Rev. Lett. 127, 023603 (2021)]. Here, we use a similar multicomponent platform to exemplify theoretically and numerically, within the mean-field Gross-Pitaevskii framework, the potential toward the experimental realization of a different fundamental wave structure, namely the Peregrine soliton. Leveraging the effective attractive interaction produced within the mixture's minority species in the immiscible regime, we illustrate how initialization of the condensate with a suitable power-law decaying spatial density pattern yields the robust emergence of the Peregrine wave in the absence and in the presence of a parabolic trap. We then showcase the spontaneous emergence of the Peregrine soliton via a suitably crafted wide Gaussian initialization, again both in the homogeneous case and in the trap scenario. It is also found that narrower wave packets may result in periodic revivals of the Peregrine soliton, while broader ones give rise to a cascade of Peregrine solitons arranged in a so-called Christmas-tree structure. Strikingly, the persistence of these rogue-wave structures is demonstrated in certain temperature regimes as well as in the presence of transversal excitations through three-dimensional computations in a quasi-one-dimensional regime. This proof-of-principle illustration is expected to represent a practically feasible way to generate and observe this rogue wave in realistic current ultracold atom experimental settings.


title: Monte Carlo calculation of the organ equivalent dose and effective dose due to immersion in a 16N beta source in air using the ICRP Reference Phantoms

abstract: This work summarises the results of a comparison organized by EURADOS focused on the usage of the ICRP Reference Computational Phantoms. This activity aimed to provide training for the implementation of voxel phantoms in Monte Carlo radiation transport codes and the calculation of the dose equivalent in organs and the effective dose. This particular case describes a scenario of immersion in a 16N beta source distributed in the air of a room with concrete walls where the phantom is located. Seven participants took part in the comparison of results using GEANT4, TRIPOLI-4 and MCNP family codes, and there was detected a general problem when calculating the dose to skeletal tissue and the remainder tissue. After a process of feedback with the participants the errors were corrected and the final results reached an agreement of +/-5%.


title: Quantum error correction in the NISQ regime for sequential quantum computing

abstract: We use density matrix simulations to study the performance of three distance three quantum error correcting codes in the context of the rare-earth-ion-doped crystal (RE) platform for quantum computing. We analyze pseudothresholds for these codes when parallel operations are not available, and examine the behavior both with and without resting errors. In RE systems, resting errors can be mitigated by extending the system's ground state coherence time. For the codes we study, we find that if the ground state coherence time is roughly 100 times larger than the excited state coherence time, resting errors become small enough to be negligible compared to other error sources. This leads us to the conclusion that beneficial QEC could be achieved in the RE system with the expected gate fidelities available in the NISQ regime. However, for codes using more qubits and operations, a factor of more than 100 would be required. Furthermore, we investigate how often QEC should be performed in a circuit. We find that for early experiments in RE systems, the minimal $[\![5,1,3]\!]$ would be most suitable as it has a high threshold error and uses few qubits. However, when more qubits are available the $[\![9,1,3]\!]$ surface code might be a better option due to its higher circuit performance. Our findings are important for steering experiments to an efficient path for realizing beneficial quantum error correcting codes in early RE systems where resources are limited.


title: Bour's Theorem of Spacelike Surfaces in Minkowski 4--Space

abstract: In this paper, we study on three kinds of spacelike helicoidal surfaces in Minkowski $4$--space. First, we give an isometry between such helicoidal surfaces and rotational surfaces which is a kind of generalization of Bour theorem in Minkowski $3$--space to Minkowski $4$--space. Then, we investigate geometric properties for such isometric surfaces having same Gauss map. By using these results, we give the parametrizations of isometric pair of surfaces. As a particular case, we examine the right helicoidal surfaces in view of Bour's theorem. Also, we present some examples by choosing the components of the profile curves and the parameters of the surfaces via Mathematica.


title: Natural Answer Generation: From Factoid Answer to Full-length Answer using Grammar Correction

abstract: Question Answering systems these days typically use template-based language generation. Though adequate for a domain-specific task, these systems are too restrictive and predefined for domain-independent systems. This paper proposes a system that outputs a full-length answer given a question and the extracted factoid answer (short spans such as named entities) as the input. Our system uses constituency and dependency parse trees of questions. A transformer-based Grammar Error Correction model GECToR (2020), is used as a post-processing step for better fluency. We compare our system with (i) Modified Pointer Generator (SOTA) and (ii) Fine-tuned DialoGPT for factoid questions. We also test our approach on existential (yes-no) questions with better results. Our model generates accurate and fluent answers than the state-of-the-art (SOTA) approaches. The evaluation is done on NewsQA and SqUAD datasets with an increment of 0.4 and 0.9 percentage points in ROUGE-1 score respectively. Also the inference time is reduced by 85\% as compared to the SOTA. The improved datasets used for our evaluation will be released as part of the research contribution.


title: Policy Search for Model Predictive Control with Application to Agile Drone Flight

abstract: Policy Search and Model Predictive Control~(MPC) are two different paradigms for robot control: policy search has the strength of automatically learning complex policies using experienced data, while MPC can offer optimal control performance using models and trajectory optimization. An open research question is how to leverage and combine the advantages of both approaches. In this work, we provide an answer by using policy search for automatically choosing high-level decision variables for MPC, which leads to a novel policy-search-for-model-predictive-control framework. Specifically, we formulate the MPC as a parameterized controller, where the hard-to-optimize decision variables are represented as high-level policies. Such a formulation allows optimizing policies in a self-supervised fashion. We validate this framework by focusing on a challenging problem in agile drone flight: flying a quadrotor through fast-moving gates. Experiments show that our controller achieves robust and real-time control performance in both simulation and the real world. The proposed framework offers a new perspective for merging learning and control.


title: Stochastic Optimized Schwarz Methods for the Gravity Equations on Graphics Processing Unit

abstract: Low order, sequential or non-massively parallel finite elements are generaly used for three-dimensional gravity modelling. In this paper, in order to obtain better gravity anomaly solutions in heterogeneous media, we solve the gravimetry problem using massively parallel high order finite elements on hybrid multi-CPU/GPU clusters. Parallel algorithms well suited for such hybrid architectures have to be designed. A new stochastic-based optimization procedure for the optimized Schwarz method is here presented, implemented and tuned to graphical cards processors units. Numerical experiments performed on a reallistic test case, demonstrates the robustness and efficiency of the proposed method and of its implementation on massive multi-CPU/GPU architectures.


title: The Twisted Hilbert Space Ideals

abstract: We study those operators on a Hilbert space that can be lifted / extended to any twisted Hilbert space. We prove that these form an ideal of operators which contains all the Schatten classes. We characterize those multiplication operators on $\ell_p$ that are liftable / extensible through centralizers.


title: Rings with an elementary abelian $p$-group of units

abstract: What are all rings $R$ for which $R^*$ (the group of invertible elements of $R$ under multiplication) is an elementary abelian $p$-group? We answer this question for finite-dimensional commutative $k$-algebras, finite commutative rings, modular group algebras, and path algebras. Two interesting byproducts of this work are a characterization of Mersenne primes and a connection to Dedekind's problem.


title: Monte Carlo calculation of organ and effective dose rates from ground contaminated by Am 241: Results of an international intercomparison exercise

abstract: An intercomparison exercise is described that examines Monte Carlo modelling of anthropomorphic voxel phantoms in an idealized ground-contamination photon exposure scenario. Thirteen participants calculated and submitted organ and effective dose rates for comparison against a set of verified reference solutions. The effective dose rates are shown to agree with the reference value to within reasonable statistical uncertainties in five of the cases, though in only one of those was similar agreement also demonstrated in the evaluation of all requested organ dose rates. Orders-of-magnitude differences in doses are seen for some of the other participants, both internally within their own dataset and also relative to the reference solutions. Following limited feedback and suggestions from the organizer, up to two sets of revised solutions were resubmitted by some of the participants; these generally exhibited improved agreement, though not always. The overall observations and conclusions from this intercomparison exercise are summarized and discussed.


title: Quantum states and their back-reacted geometries in 2d dilaton gravity

abstract: Within the Russo-Susskind-Thorlacius (RST) two-dimensional model that includes a scalar (dilaton) field we address the important question of how the classical black hole geometry is modified in a semiclassical gravitational theory. It is the principle goal of this paper to analyze what is the back-reacted geometry that corresponds to a given quantum state. The story is shown to be dramatically different for the Hartle-Hawking state (HH) and for the Boulware state. In the HH case the back-reacted geometry is a modification of the classical black hole metric that still has a smooth horizon with a regular curvature. On the other hand, for the Boulware state the classical horizon is replaced by a throat in which the $(tt)$ component of the metric (while non-zero) is extremely small. The value of the metric at the throat is bounded by the inverse of the classical black hole entropy. On the other side of the throat the spacetime is ended at a null singularity. More generally, we identify a family of quantum states and their respective back-reacted geometries. We also identify a certain duality in the space of states. Finally, we study a hybrid set-up where both physical and non-physical fields, such as the ghosts, could be present. We suggest that it is natural to associate ghosts with the Boulware state, while the physical fields can be in any quantum state. In particular, if the physical fields are in the HH state, then the corresponding semiclassical geometry is horizonless. Depending on the balance between the number of physical fields and ghosts, it generically has a throat that may join with another asymptotically flat region on the other side of the throat.


title: Toric reflection groups

abstract: Several finite complex reflection groups have a braid group which is isomorphic to a torus knot group. The reflection group is obtained from the torus knot group by declaring meridians to have order $k$ for some $k\geq 2$, and meridians are mapped to reflections. We study all possible quotients of torus knot groups obtained by requiring meridians to have finite order. Using the theory of $J$-groups of Achar and Aubert, we show that these groups behave like (in general infinite) complex reflection groups of rank two. The large family of "toric reflection groups" which we obtain includes, among others, all finite complex reflection groups of rank two with a single conjugacy class of reflecting hyperplanes, as well as Coxeter's truncations of the $3$-strand braid group. We classify these toric reflection groups and explain why the corresponding torus knot group can be naturally considered as its braid group. In particular, this yields a new infinite family of reflection-like groups admitting a braid group which is a Garside group. Moreover, we show that a toric reflection group has cyclic center by showing that the quotient by the center is isomorphic to the alternating subgroup of a Coxeter group of rank three. To this end we use the fact that the center of the alternating subgroup of an irreducible, infinite Coxeter group of rank at least three is trivial. Several ingredients of the proofs are purely Coxeter-theoretic, and might be of independent interest.


title: Grounded Language-Image Pre-training

abstract: This paper presents a grounded language-image pre-training (GLIP) model for learning object-level, language-aware, and semantic-rich visual representations. GLIP unifies object detection and phrase grounding for pre-training. The unification brings two benefits: 1) it allows GLIP to learn from both detection and grounding data to improve both tasks and bootstrap a good grounding model; 2) GLIP can leverage massive image-text pairs by generating grounding boxes in a self-training fashion, making the learned representation semantic-rich. In our experiments, we pre-train GLIP on 27M grounding data, including 3M human-annotated and 24M web-crawled image-text pairs. The learned representations demonstrate strong zero-shot and few-shot transferability to various object-level recognition tasks. 1) When directly evaluated on COCO and LVIS (without seeing any images in COCO during pre-training), GLIP achieves 49.8 AP and 26.9 AP, respectively, surpassing many supervised baselines. 2) After fine-tuned on COCO, GLIP achieves 60.8 AP on val and 61.5 AP on test-dev, surpassing prior SoTA. 3) When transferred to 13 downstream object detection tasks, a 1-shot GLIP rivals with a fully-supervised Dynamic Head. Code is released at https://github.com/microsoft/GLIP.


title: Reducing Target Group Bias in Hate Speech Detectors

abstract: The ubiquity of offensive and hateful content on online fora necessitates the need for automatic solutions that detect such content competently across target groups. In this paper we show that text classification models trained on large publicly available datasets despite having a high overall performance, may significantly under-perform on several protected groups. On the \citet{vidgen2020learning} dataset, we find the accuracy to be 37\% lower on an under annotated Black Women target group and 12\% lower on Immigrants, where hate speech involves a distinct style. To address this, we propose to perform token-level hate sense disambiguation, and utilize tokens' hate sense representations for detection, modeling more general signals. On two publicly available datasets, we observe that the variance in model accuracy across target groups drops by at least 30\%, improving the average target group performance by 4\% and worst case performance by 13\%.


title: AIS Explorer: Prioritization for watercraft inspections-A decision-support tool for aquatic invasive species management

abstract: Invasions of aquatic invasive species have imposed significant economic and ecological damage to global aquatic ecosystems. Once an invasive population has established in a new habitat, eradication can be financially and logistically impossible, motivating management strategies to rely heavily upon prevention measures aimed at reducing the introduction and spread. To be productive, on-the-ground management of aquatic invasive species requires effective decision-making surrounding the allocation of limited resources. Watercraft inspections play an important role in managing aquatic invasive species by preventing the overland transport of invasive species between waterbodies and providing education to boaters. In this study, we developed and tested an interactive web-based decision-support tool, AIS Explorer: Prioritization for Watercraft Inspections, to guide AIS managers in developing efficient watercraft inspection plans. The decision-support tool is informed by a novel network model that maximized the number of inspected watercraft that move from AIS-infested to uninfested waterbodies, within and outside of counties in Minnesota, USA. It was iteratively built with stakeholder feedback, including consultations with county managers, beta-testing of the web-based application, and workshops to educate and train end-users. The co-development and implementation of data-driven decision support tools demonstrate how interdisciplinary methods can be used to connect science and management to support decision-making. The AIS Explorer: Prioritization for Watercraft Inspections application makes optimized research outputs accessible in multiple dynamic forms that maintain pace with the identification of new infestations and local needs. In addition, the decision support tool has supported improved and closer communication between AIS managers and researchers on this topic.


title: Differentiable Gaussianization Layers for Inverse Problems Regularized by Deep Generative Models

abstract: Deep generative models such as GANs, normalizing flows, and diffusion models are powerful regularizers for inverse problems. They exhibit great potential for helping reduce ill-posedness and attain high-quality results. However, the latent tensors of such deep generative models can fall out of the desired high-dimensional standard Gaussian distribution during inversion, particularly in the presence of data noise and inaccurate forward models, leading to low-fidelity solutions. To address this issue, we propose to reparameterize and Gaussianize the latent tensors using novel differentiable data-dependent layers wherein custom operators are defined by solving optimization problems. These proposed layers constrain inverse problems to obtain high-fidelity in-distribution solutions. We validate our technique on three inversion tasks: compressive-sensing MRI, image deblurring, and eikonal tomography (a nonlinear PDE-constrained inverse problem) using two representative deep generative models: StyleGAN2 and Glow. Our approach achieves state-of-the-art performance in terms of accuracy and consistency.


title: From Weyl groups to semisimple groups

abstract: In this (partly expository) paper we show, using ideas from the theory of total positivity, how a number of properties of a semisimple group over the complex numbers can be presented purely in terms of the Weyl group. We also describe some new connections of the theory of canonical bases with total positivity.


title: The Symmetrized Holographic Entropy Cone

abstract: The holographic entropy cone (HEC) characterizes the entanglement structure of quantum states which admit geometric bulk duals in holography. Due to its intrinsic complexity, to date it has only been possible to completely characterize the HEC for at most $n=5$ numbers of parties. For larger $n$, our knowledge of the HEC falls short of incomplete: almost nothing is known about its extremal elements. Here, we introduce a symmetrization procedure that projects the HEC onto a natural lower dimensional subspace. Upon symmetrization, we are able to deduce properties that its extremal structure exhibits for general $n$. Further, by applying this symmetrization to the quantum entropy cone, we are able to quantify the typicality of holographic entropies, which we find to be exponentially rare quantum entropies in the number of parties.


title: The Pantheon+ Analysis: The Full Dataset and Light-Curve Release

abstract: Here we present 1701 light curves of 1550 spectroscopically confirmed Type Ia supernovae (SNe Ia) that will be used to infer cosmological parameters as part of the Pantheon+ SN analysis and the SH0ES (Supernovae and H0 for the Equation of State of dark energy) distance-ladder analysis. This effort is one part of a series of works that perform an extensive review of redshifts, peculiar velocities, photometric calibration, and intrinsic-scatter models of SNe Ia. The total number of light curves, which are compiled across 18 different surveys, is a significant increase from the first Pantheon analysis (1048 SNe), particularly at low redshift ($z$). Furthermore, unlike in the Pantheon analysis, we include light curves for SNe with $z<0.01$ such that SN systematic covariance can be included in a joint measurement of the Hubble constant (H$_0$) and the dark energy equation-of-state parameter ($w$). We use the large sample to compare properties of 151 SNe Ia observed by multiple surveys and 12 pairs/triplets of "SN siblings" - SNe found in the same host galaxy. Distance measurements, application of bias corrections, and inference of cosmological parameters are discussed in the companion paper by Brout et al. (2022b), and the determination of H$_0$ is discussed by Riess et al. (2022). These analyses will measure w with $\sim3\%$ precision and H$_0$ with 1 km/s/Mpc precision.


title: The Pantheon+ Analysis: SuperCal-Fragilistic Cross Calibration, Retrained SALT2 Light Curve Model, and Calibration Systematic Uncertainty

abstract: We present here a re-calibration of the photometric systems used in the Pantheon+ sample of Type Ia supernovae (SNe Ia) including those used for the SH0ES distance-ladder measurement of H$_0$. We utilize the large and uniform sky coverage of the public Pan-STARRS stellar photometry catalog to cross-calibrate against tertiary standards released by individual SN Ia surveys. The most significant updates over the `SuperCal' cross-calibration used for the previous Pantheon and SH0ES analyses are: 1) expansion of the number of photometric systems (now 25) and filters (now 105), 2) solving for all filter offsets in all systems simultaneously in order to produce a calibration uncertainty covariance matrix that can be used in cosmological-model constraints, and 3) accounting for the change in the fundamental flux calibration of the HST CALSPEC standards from previous versions on the order of $1.5\%$ over a $\Delta \lambda$ of 4000~\AA. The re-calibration of samples used for light-curve fitting has historically been decoupled from the retraining of the light-curve model. Here, we are able to retrain the SALT2 model using this new calibration and find the change in the model coupled with the change to the calibration of the light-curves themselves causes a net distance modulus change ($d\mu/dz$) of 0.04 mag over the redshift range $0<z<1$. We introduce a new formalism to determine the systematic impact on cosmological inference by propagating the covariance in fitted calibration offsets through retraining simultaneously with light-curve fitting and find a total calibration uncertainty impact of $\sigma_w=0.013$, which is roughly half the size of the sample statistical uncertainty. Similarly, we find a systematic SN calibration contribution to the SH0ES H$_0$ uncertainty is less than 0.2~km/s/Mpc, suggesting that SN Ia calibration cannot resolve the current level of the `Hubble Tension'.


title: Universalizing Weak Supervision

abstract: Weak supervision (WS) frameworks are a popular way to bypass hand-labeling large datasets for training data-hungry models. These approaches synthesize multiple noisy but cheaply-acquired estimates of labels into a set of high-quality pseudolabels for downstream training. However, the synthesis technique is specific to a particular kind of label, such as binary labels or sequences, and each new label type requires manually designing a new synthesis algorithm. Instead, we propose a universal technique that enables weak supervision over any label type while still offering desirable properties, including practical flexibility, computational efficiency, and theoretical guarantees. We apply this technique to important problems previously not tackled by WS frameworks including learning to rank, regression, and learning in hyperbolic space. Theoretically, our synthesis approach produces a consistent estimators for learning some challenging but important generalizations of the exponential family model. Experimentally, we validate our framework and show improvement over baselines in diverse settings including real-world learning-to-rank and regression problems along with learning on hyperbolic manifolds.


title: Drift instabilities in localised Faraday patterns

abstract: Nature is intrinsically heterogeneous, and remarkable phenomena can only be observed in the presence of intrinsically nonlinear heterogeneities. Spontaneous pattern formation in nature has fascinated humankind for centuries, and the understanding of the underlying symmetry-breaking instabilities has been of longstanding scientific interest. In this article, we provide theoretical and experimental evidence that heterogeneities can generate convection (drift instabilities) in the amplitude of localised patterns. We derive a minimal theoretical model describing the growth of localised Faraday patterns under heterogeneous parametric drive, unveiling the presence of symmetry-breaking nonlinear gradients. The model reveals new dynamics in the phase of the underlying patterns, exhibiting convective instabilities when the system crosses a secondary bifurcation point. We discuss the impact of our results in the understanding of convective instabilities induced by heterogeneities in generic nonlinear extended systems far from equilibrium.


title: Towards a Shared Rubric for Dataset Annotation

abstract: When arranging for third-party data annotation, it can be hard to compare how well the competing providers apply best practices to create high-quality datasets. This leads to a "race to the bottom," where competition based solely on price makes it hard for vendors to charge for high-quality annotation. We propose a voluntary rubric which can be used (a) as a scorecard to compare vendors' offerings, (b) to communicate our expectations of the vendors more clearly and consistently than today, (c) to justify the expense of choosing someone other than the lowest bidder, and (d) to encourage annotation providers to improve their practices.


title: EmTract: Extracting Emotions from Social Media

abstract: We develop an open-source tool (EmTract) that extracts emotions from social media text tailed for financial context. To do so, we annotate ten thousand short messages from a financial social media platform (StockTwits) and combine it with open-source emotion data. We then use a pre-tuned NLP model, DistilBERT, augment its embedding space by including 4,861 tokens (emojis and emoticons), and then fit it first on the open-source emotion data, then transfer it to our annotated financial social media data. Our model outperforms competing open-source state-of-the-art emotion classifiers, such as Emotion English DistilRoBERTa-base on both human and chatGPT annotated data. Compared to dictionary based methods, our methodology has three main advantages for research in finance. First, our model is tailored to financial social media text; second, it incorporates key aspects of social media data, such as non-standard phrases, emojis, and emoticons; and third, it operates by sequentially learning a latent representation that includes features such as word order, word usage, and local context. Using EmTract, we explore the relationship between investor emotions expressed on social media and asset prices. We show that firm-specific investor emotions are predictive of daily price movements. Our findings show that emotions and market dynamics are closely related, and we provide a tool to help study the role emotions play in financial markets.


title: Constraining scalarization in scalar-Gauss-Bonnet gravity through binary pulsars

abstract: In the present paper we derive strong constrains on scalarization in scalar-Gauss-Bonnet (sGB) gravity using observations of pulsars in close binary systems. Since scalarized neutron stars carry a nonzero scalar change, they emit scalar dipole radiation while inspiraling which speeds up the orbital decay. The observations support the conjecture that such radiation is either absent or very small for the observed binary pulsars. Using this, we determine the allowed range of parameters for sGB gravity. We also transfer the derived constraints to black holes in sGB gravity. It turns out that the maximum mass of a scalarized static black hole can not exceed roughly ten to twenty solar masses, depending on the initial assumptions we make for the nuclear matter equations of state. The black hole scalar charge on the other hand can reach relatively large values that are potentially observable.


title: Fetus dose calculation during proton therapy of pregnant phantoms using MCNPX and MCNP6.2 codes

abstract: Radiotherapy of pregnant cancer patients is not common, but when applied accurate assessment of the fetus dose is required, especially since the treatment planning systems are not able and do not allow accurate assessment of out-of-field doses. Proton therapy significantly reduces out-of-field doses, such as dose to the fetus, when compared to the photon radiotherapy techniques and as such could be promising for pregnant cancer patients. Within this study Monte Carlo calculations are performed on the three different computational phantoms representing pregnant women, all in second trimester of pregnancy. Simplified proton beam to the pregnant women brain was modelled, and the total dose equivalent (normalized per target dose) to the fetus was calculated. Between MCNPX and MCNP6.2 code versions we observed up to 6% difference. In this work 3 groups participated and the variation between the groups was 8% and 12% for MCNPX and MCNP6.2, respectively. Depending on the phantom used in the calculations the fetal dose was between 0.4 and 0.8 {\mu}Sv/Gy. Major contribution to the total dose came from the neutrons, with only 20% of the dose coming from photons, while other particles have negligible contributions. Results of the total dose equivalent differ by factor of two, when different phantoms were used, due to geometrical and anatomical characteristics of mother and fetus position.


title: Training end-to-end speech-to-text models on mobile phones

abstract: Training the state-of-the-art speech-to-text (STT) models in mobile devices is challenging due to its limited resources relative to a server environment. In addition, these models are trained on generic datasets that are not exhaustive in capturing user-specific characteristics. Recently, on-device personalization techniques have been making strides in mitigating the problem. Although many current works have already explored the effectiveness of on-device personalization, the majority of their findings are limited to simulation settings or a specific smartphone. In this paper, we develop and provide a detailed explanation of our framework to train end-to-end models in mobile phones. To make it simple, we considered a model based on connectionist temporal classification (CTC) loss. We evaluated the framework on various mobile phones from different brands and reported the results. We provide enough evidence that fine-tuning the models and choosing the right hyperparameter values is a trade-off between the lowest WER achievable, training time on-device, and memory consumption. Hence, this is vital for a successful deployment of on-device training onto a resource-limited environment like mobile phones. We use training sets from speakers with different accents and record a 7.6% decrease in average word error rate (WER). We also report the associated computational cost measurements with respect to time, memory usage, and cpu utilization in mobile phones in real-time.


title: Nonparametric Treatment Effect Identification in School Choice

abstract: This paper studies nonparametric identification and estimation of causal effects in centralized school assignment. In many centralized assignment settings, students are subjected to both lottery-driven variation and regression discontinuity (RD) driven variation. We characterize the full set of identified atomic treatment effects (aTEs), defined as the conditional average treatment effect between a pair of schools, given student characteristics. Atomic treatment effects are the building blocks of more aggregated notions of treatment contrasts, and common approaches estimating aggregations of aTEs can mask important heterogeneity. In particular, many aggregations of aTEs put zero weight on aTEs driven by RD variation, and estimators of such aggregations put asymptotically vanishing weight on the RD-driven aTEs. We develop a diagnostic tool for empirically assessing the weight put on aTEs driven by RD variation. Lastly, we provide estimators and accompanying asymptotic results for inference on aggregations of RD-driven aTEs.


title: p-adic adelic metrics and Quadratic Chabauty I

abstract: We give a new construction of $p$-adic heights on varieties over number fields using $p$-adic Arakelov theory. In analogy with Zhang's construction of real-valued heights in terms of adelic metrics, these heights are given in terms of $p$-adic adelic metrics on line bundles. In particular, we describe a construction of canonical $p$-adic heights on abelian varieties and we show that we recover the canonical Mazur--Tate height and, for Jacobians, the height constructed by Coleman and Gross. Our main application is a new and simplified approach to the Quadratic Chabauty method for the computation of rational points on certain curves over the rationals, by pulling back the canonical height on the Jacobian with respect to a carefully chosen line bundle. We show that our construction allows us to reprove, without using $p$-adic Hodge theory or arithmetic fundamental groups, several results due to Balakrishnan and Dogra. Our method also extends to primes $p$ of bad reduction. One consequence of our work is that for any canonical height ($p$-adic or $\mathbb{R}$-valued) on an abelian variety (and hence on pull-backs to other varieties), the local contribution at a finite prime $q$ can be constructed using $q$-analytic methods.


title: Efficient Calibration of Multi-Agent Simulation Models from Output Series with Bayesian Optimization

abstract: Multi-agent simulation is commonly used across multiple disciplines, specifically in artificial intelligence in recent years, which creates an environment for downstream machine learning or reinforcement learning tasks. In many practical scenarios, however, only the output series that result from the interactions of simulation agents are observable. Therefore, simulators need to be calibrated so that the simulated output series resemble historical -- which amounts to solving a complex simulation optimization problem. In this paper, we propose a simple and efficient framework for calibrating simulator parameters from historical output series observations. First, we consider a novel concept of eligibility set to bypass the potential non-identifiability issue. Second, we generalize the two-sample Kolmogorov-Smirnov (K-S) test with Bonferroni correction to test the similarity between two high-dimensional distributions, which gives a simple yet effective distance metric between the output series sample sets. Third, we suggest using Bayesian optimization (BO) and trust-region BO (TuRBO) to minimize the aforementioned distance metric. Finally, we demonstrate the efficiency of our framework using numerical experiments both on a multi-agent financial market simulator.

categories: q-fin.ST cs.AI cs.CE cs.LG cs.MA stat.ME


title: NLO QCD Corrections to Inclusive $b \rightarrow c \ell \bar{\nu}$ Decay Spectra up to $1/m_Q^3$

abstract: We present analytical results for higher order corrections to the decay spectra of inclusive semileptonic heavy hadron weak decays using the heavy quark expansion (HQE). We compute analytically the spectrum of the leptonic invariant mass for $B \rightarrow X_c \ell \bar{\nu}$ up to and including terms of order $1/m_Q^3$ within the HQE at next-to-leading order (NLO) in $\alpha_s$. The full dependence of the differential rate on the mass of the final-state quark is taken into account. We discuss the implications of our results for the precision determination of the CKM matrix element $|V_{cb}|$.


title: A new analytical model for the contact of Gaussian rough surfaces

abstract: This paper advances an analytical incremental contact model for the purely elastic or elastic-perfectly plastic Gaussian rough surfaces. The contact is modelled by the accumulation of identical circular contacts with radius given by the total truncated area at varying heights divided by the contact patch number. The contact area-load relationship is derived analytically, showing approximate linearity for the contact fraction up to 10%. Good agreement is found between the new proposed model and the direct finite element simulations. To characterize the influence of plastic deformation, a dimensionless plasticity parameter is introduced as the ratio of yield strain to root mean square gradient of the rough surface. It is demonstrated that the general elastic-plastic contact response would approach to the limit of purely elastic as the plasticity parameter increases.


title: Is Complexity Important for Philosophy of Mind?

abstract: Computational complexity has often been ignored in philosophy of mind, in philosophical artificial intelligence studies. The purpose of this paper is threefold. First and foremost, to show the importance of complexity rather than computability in philosophical and AI problems. Second, to rephrase the notion of computability in terms of solvability, i.e. treating computability as non-sufficient for establishing intelligence. The Church-Turing thesis is therefore revisited and rephrased in order to capture the ontological background of spatial and temporal complexity. Third, to emphasize ontological differences between different time complexities, which seem to provide a solid base towards better understanding of artificial intelligence in general.


title: Change-point regression with a smooth additive disturbance

abstract: We assume a nonparametric regression model with signals given by the sum of a piecewise constant function and a smooth function. To detect the change-points and estimate the regression functions, we propose PCpluS, a combination of the fused Lasso and kernel smoothing. In contrast to existing approaches, it explicitly uses the assumption that the signal can be decomposed into a piecewise constant and a smooth function when detecting change-points. This is motivated by several applications and by theoretical results about partial linear model. Tuning parameters are selected by cross-validation. We argue that in this setting minimizing the L1-loss is superior to minimizing the L2-loss. We also highlight important consequences for cross-validation in piecewise constant change-point regression. Simulations demonstrate that our approach has a small average mean square error and detects change-points well, and we apply the methodology to genome sequencing data to detect copy number variations. Finally, we demonstrate its flexibility by combining it with smoothing splines and by proposing extensions to multivariate and filtered data.


title: Datensouver\"anit\"at f\"ur Verbraucher:innen: Technische Ans\"atze durch KI-basierte Transparenz und Auskunft im Kontext der DSGVO

abstract: A sufficient level of data sovereignty is extremely difficult for consumers in practice. The EU General Data Protection Regulation guarantees comprehensive data subject rights, which must be implemented by responsible controllers through technical and organizational measures. Traditional approaches, such as the provision of lengthy data protection declarations or the downloading of raw personal data without further assistance, do not meet the requirements of informational self-determination. The new technical approaches outlined below, in particular AI-based transparency and access modalities, demonstrate the practicability of effective and versatile mechanisms. For this purpose, the relevant transparency information is extracted in a semi-automated way, represented in a machine-readable format, and then played out via diverse channels such as virtual assistants or the enrichment of search results. --- Hinreichende Datensouver\"anit\"at gestaltet sich f\"ur Verbraucher:innen in der Praxis als \"au{\ss}erst schwierig. Die Europ\"aische Datenschutzgrundverordnung garantiert umfassende Betroffenenrechte, die von verantwortlichen Stellen durch technisch-organisatorische Ma{\ss}nahmen umzusetzen sind. Traditionelle Vorgehensweisen wie die Bereitstellung l\"anglicher Datenschutzerkl\"arungen oder der ohne weitere Hilfestellungen angebotene Download von personenbezogenen Rohdaten werden dem Anspruch der informationellen Selbstbestimmung nicht gerecht. Die im Folgenden aufgezeigten neuen technischen Ans\"atze insbesondere KI-basierter Transparenz- und Auskunftsmodalit\"aten zeigen die Praktikabilit\"at wirksamer und vielseitiger Mechanismen. Hierzu werden die relevanten Transparenzangaben teilautomatisiert extrahiert, maschinenlesbar repr\"asentiert und anschlie{\ss}end \"uber diverse Kan\"ale wie virtuelle Assistenten oder die Anreicherung von Suchergebnissen ausgespielt.


title: The influence of nuclear models and Monte Carlo radiation transport codes on stray neutron dose estimations in proton therapy

abstract: This study investigates the influence of several Monte Carlo radiation transport codes and nuclear models on the simulation of secondary neutron spectra and its impact on calculating and measuring neutron doses in proton therapy. Three different multi-purpose Monte Carlo radiation transport codes (FLUKA, MCNPX, Geant4) were used with different available nuclear models to calculate secondary neutron energy spectra at various points inside a water tank phantom with PMMA walls using a 10 cm x 10 cm rectangular, mono-energetic proton beam (110, 150, 180, and 210 MeV). Using Kerma approximation secondary neutron doses were calculated applying fluence-to-dose equivalent conversion coefficients in water. Moreover, the impact of varying spectra for electrochemically etched CR39 detector calibration was analyzed for different codes and models. In distal positions beyond the Bragg peak, results show largest variations between the codes, up to 53% for the high energy neutron fluence at 16 cm from the Bragg peak of the 110 MeV proton beam. In lateral positions, the variation between the codes is smaller and for the total neutron fluence within 20%. Variation in the nuclear models in MCNPX was only visible for the proton beam energies of 180 and 210 MeV and modeling the high energy neutron fluence which reached up to 23% for 210 MeV at 11 cm lateral from the beam axis. Impact on neutron dose equivalent was limited for the different models used (<8%) while it was pronounced for the different codes (45% at 16 cm from the Bragg peak of the 110 MeV proton beam). CR39 calibration factors in lateral positions were on average varying 10% between codes and 5 % between nuclear models.This study demonstrated a large impact on the neutron fluence spectra calculated by different codes while the impact of different models in MCNPX proved to be less prominent for the neutron modeling in proton therapy.


title: Nashian game theory is incompatible with quantum physics

abstract: We suggest to look at quantum measurement outcomes not through the lens of probability theory, but instead through decision theory. We introduce an original game-theoretical framework, model and algorithmic procedure where measurement scenarios are multiplayer games with a structure all observers agree on. Measurement axes and, newly, measurement outcomes are modeled as decisions with nature being an action-minimizing economic agent. We translate physical notions of causality, correlation, counterfactuals, and contextuality to particular aspects of game theory. We investigate the causal consistency of dynamic games with imperfect information from the quantum perspective and conclude that counterfactual dependencies should be distinguished from causation and correlation as a separate phenomenon of its own. Most significantly, we observe that game theory based on Nash equilibria stands in contradiction with a violation of Bell inequalities. Hence, we propose that quantum physics should be analyzed with non-Nashian game theory, the inner workings of which we demonstrate using our proposed model.


title: From Assistants to Friends: Investigating Emotional Intelligence of IPAs in Hindi and English

abstract: Intelligent Personal Assistants (IPAs) like Amazon Alexa, Apple Siri, and Google Assistant are increasingly becoming a part of our everyday. As IPAs become ubiquitous and their applications expand, users turn to them for not just routine tasks, but also intelligent conversations. In this study, we measure the emotional intelligence (EI) displayed by IPAs in the English and Hindi languages; to our knowledge, this is a pioneering effort in probing the emotional intelligence of IPAs in Indian languages. We pose utterances that convey the Sadness or Humor emotion and evaluate IPA responses. We build on previous research to propose a quantitative and qualitative evaluation scheme encompassing new criteria from social science perspectives (display of empathy, wit, understanding) and IPA-specific features (voice modulation, search redirects). We find EI displayed by Google Assistant in Hindi is comparable to EI displayed in English, with the assistant employing both voice modulation and emojis in text. However, we do find that IPAs are unable to understand and respond intelligently to all queries, sometimes even offering counter-productive and problematic responses. Our experiment offers evidence and directions to augment the potential for EI in IPAs.


title: On transverse momentum broadening in real-time lattice simulations of the glasma and in the weak-field limit

abstract: In these proceedings, we report on our numerical lattice simulations of partons traversing the boost-invariant, non-perturbative glasma as created at the early stages of collisions at RHIC and LHC. Since these highly energetic partons are produced from hard scatterings during heavy-ion collisions, they are already affected by the first stage of the medium's time evolution, the glasma, which is the pre-equilibrium precursor state of the quark-gluon plasma. We find that partons quickly accumulate transverse momentum up to the saturation momentum during the glasma stage. Moreover, we observe an interesting anisotropy in transverse momentum broadening of partons with larger broadening in the rapidity than in the azimuthal direction. Its origin can be related to correlations among the longitudinal color-electric and color-magnetic flux tubes in the initial state of the glasma. We compare these observations to the semi-analytic results obtained by a weak-field approximation, where we also find such an anisotropy in a parton's transverse momentum broadening.


title: Logics of upsets of De Morgan lattices

abstract: We study logics determined by matrices consisting of a De~Morgan lattice with an upward closed set of designated values, such as the logic of non-falsity preservation in a given finite Boolean algebra and Shramko's logic of non-falsity preservation in the four-element subdirectly irreducible De Morgan lattice. The key tool in the study of these logics is the lattice-theoretic notion of an $n$-filter. We study the logics of all (complete, consistent, and classical) $n$-filters on De Morgan lattices, which are non-adjunctive generalizations of the four-valued logic of Belnap and Dunn (of the three-valued logics of Priest and Kleene, and of classical logic). We then show how to find a finite Hilbert-style axiomatization of any logic determined by a finite family of prime upsets of finite De Morgan lattices and a finite Gentzen-style axiomatization of any logic determined by a finite family of filters on finite De Morgan lattices. As an application, we axiomatize Shramko's logic of anything but falsehood.


title: Finite rank kernel varieties: A variant of Hilbert's Nullstellensatz for graphons and applications to Hadamard matrices

abstract: Graphons are symmetric measurable functions that arise from a sequence of graphs. A graphon variety is the a set of all graphons defined by a condition of the form $t(g, W) = 0$ for a fixed quantum graph $g$, where $t(.,.)$ is the homomorphism density and a quantum graph is a formal linear combination of multigraphs. Using a method of representing graphs as polynomials, we construct an epimorphism from the space of quantum graphs to a subring of the complex polynomial ring that is invariant under permutations of variables. When graphons are of finite rank, we demonstrate that an analog of the "ideal" inverse in Algebraic Geometry is an ideal in our polynomial representation. Defining an algebraic kernel set using kernel varieties, we demonstrate that we can call such sets closed under the Zariski Topology. We determine several ties to Algebraic Geometry as a result of utilizing finite rank kernels and discover that a weaker version of Hilbert's Nullstellensatz applies to kernel zero-sets with respect to homomorphism density. Throughout, we examine the connection between Algebraic Geometry and Graphon Theory.


title: Some Strongly Polynomially Solvable Convex Quadratic Programs with Bounded Variables

abstract: This paper begins with a class of convex quadratic programs (QPs) with bounded variables solvable by the parametric principal pivoting algorithm with $\mathcal{O}(n^3)$ strongly polynomial complexity, where $n$ is the number of variables of the problem. Extension of the Hessian class is also discussed. Our research is motivated by a recent reference [7] wherein the efficient solution of a quadratic program with a tridiagonal Hessian matrix in the quadratic objective is needed for the construction of a polynomial-time algorithm for solving an associated sparse variable selection problem. With the tridiagonal structure, the complexity of the QP algorithm reduces to $\mathcal{O}(n^2)$. Our strongly polynomiality results extend previous works of some strongly polynomially solvable linear complementarity problems with a P-matrix [9]; special cases of the extended results include weakly quasi-diagonally dominant problems in addition to the tridiagonal ones.


title: Platonic Bell inequalities for all dimensions

abstract: In this paper we study the Platonic Bell inequalities for all possible dimensions. There are five Platonic solids in three dimensions, but there are also solids with Platonic properties (also known as regular polyhedra) in four and higher dimensions. The concept of Platonic Bell inequalities in the three-dimensional Euclidean space was introduced by Tavakoli and Gisin [Quantum 4, 293 (2020)]. For any three-dimensional Platonic solid, an arrangement of projective measurements is associated where the measurement directions point toward the vertices of the solids. For the higher dimensional regular polyhedra, we use the correspondence of the vertices to the measurements in the abstract Tsirelson space. We give a remarkably simple formula for the quantum violation of all the Platonic Bell inequalities, which we prove to attain the maximum possible quantum violation of the Bell inequalities, i.e. the Tsirelson bound. To construct Bell inequalities with a large number of settings, it is crucial to compute the local bound efficiently. In general, the computation time required to compute the local bound grows exponentially with the number of measurement settings. We find a method to compute the local bound exactly for any bipartite two-outcome Bell inequality, where the dependence becomes polynomial whose degree is the rank of the Bell matrix. To show that this algorithm can be used in practice, we compute the local bound of a 300-setting Platonic Bell inequality based on the halved dodecaplex. In addition, we use a diagonal modification of the original Platonic Bell matrix to increase the ratio of quantum to local bound. In this way, we obtain a four-dimensional 60-setting Platonic Bell inequality based on the halved tetraplex for which the quantum violation exceeds the $\sqrt 2$ ratio.


title: Image Enhancement via Bilateral Learning

abstract: Nowadays, due to advanced digital imaging technologies and internet accessibility to the public, the number of generated digital images has increased dramatically. Thus, the need for automatic image enhancement techniques is quite apparent. In recent years, deep learning has been used effectively. Here, after introducing some recently developed works on image enhancement, an image enhancement system based on convolutional neural networks is presented. Our goal is to make an effective use of two available approaches, convolutional neural network and bilateral grid. In our approach, we increase the training data and the model dimensions and propose a variable rate during the training process. The enhancement results produced by our proposed method, while incorporating 5 different experts, show both quantitative and qualitative improvements as compared to other available methods.


title: Beyond Jarlskog: 699 invariants for CP violation in SMEFT

abstract: As SMEFT is a framework of growing importance to analyze high-energy data, understanding its parameter space is crucial. The latter is commonly split into CP-even and CP-odd parts, but this classification is obscured by the fact that CP violation is actually a collective effect that is best captured by considering flavor-invariant combinations of Lagrangian parameters. First we show that fermion rephasing invariance imposes that several coefficients associated to dimension-six operators can never interfere with operators of dimension $\leq4$ and thus cannot appear in any physical observable at $\order{1/\Lambda^2}$. For those that can, instead, we establish a one-to-one correspondence with CP-odd flavor invariants, all linear with respect to SMEFT coefficients. We explicitly present complete lists of such linear CP-odd invariants, and carefully examine their relationship to CP breaking throughout the parameter space of coefficients of dimension $\leq 4$. Requiring that these invariants all vanish, together with the Jarlskog invariant, the strong-CP phase, and the 6 CP-violating dimension-6 bosonic operators, provides $699(+1+1+6)$ conditions for CP conservation to hold in any observable at leading order, $\cO\(1/\Lambda^2\)$.


title: Asymptotic charges for spin-1 and spin-2 fields at the critical sets of null infinity

abstract: The asymptotic charges of spin-1 and spin-2 fields are studied near spatial infinity. We evaluate the charges at the critical sets where spatial infinity meets null infinity with the aim of finding the relation between the charges at future and past null infinity. To this end, we make use of Friedrich's framework of the cylinder at spatial infinity to obtain asymptotic expansions of the Maxwell and spin-2 fields near spatial infinity, which are fully determined in terms of initial data on a Cauchy hypersurface. Expanding the initial data in terms of spin-weighted spherical harmonics, it is shown that only a subset of the initial data, that satisfies certain regularity conditions, gives rise to well-defined charges at the point where future (past) infinity meets spatial infinity. Given such initial data, the charges are shown to be fully expressed in terms of the freely specifiable part of the data. Moreover, it is shown that there exists a natural correspondence between the charges defined at future and past null infinity.


title: Quantum Hall interferometry in triangular domains of marginally twisted bilayer graphene

abstract: Quantum Hall (QH) interferometry provides an archetypal platform for the experimental realization of braiding statistics of fractional QH states. However, the complexity of observing fractional statistics requires phase coherence over the length of the interferometer, as well as suppression of Coulomb charging energy. Here, we demonstrate a new type of QH interferometer based on marginally twisted bilayer graphene (mtBLG), with a twist angle $\theta$ $\approx$ $0.16$ $^{\circ}$. With the device operating in the QH regime, we observe distinct signatures of electronic Fabry-P\'{e}rot (FP) and Aharonov-Bohm (AhB)-oscillations of the magneto-thermopower in the density-magnetic field phase-space, at Landau level filling factors $\nu=4$,$8$. We find that QH interference effects are intrinsic to the triangular AB/BA domains in mtBLG that show diminished Coulomb charging effects. Our results demonstrate phase-coherent interference of QH edge modes without any additional gate-defined complex architecture, which may be beneficial in experimental realizations of non-Abelian braiding statistics.


title: Event topology and global observables in heavy-ion collisions at the Large Hadron Collider

abstract: Particle production and event topology are very strongly correlated in high-energy hadronic and nuclear collisions. Event topology is decided by the underlying particle production dynamics and medium effects. Transverse spherocity is an event shape observable, which has been used in pp and heavy-ion collisions to separate the events based on their geometrical shapes. It has the unique capability to distinguish between jetty and isotropic events. In this work, we have implemented transverse spherocity in Pb-Pb collisions at $\sqrt{s_{\rm NN}}$ = 5.02 TeV using A Multi-Phase Transport Model (AMPT). While awaiting for experimental explorations, we perform a feasibility study of dependence of transverse spherocity on some of the global observables in heavy-ion collisions at the Large Hadron Collider energies. These global observables include the Bjorken energy density ($\epsilon_{\rm B_j}$), speed of sound ($c_{\rm s}^2$) in the medium and the kinetic freeze-out properties for different collision centralities. The present study reveals about the usefulness of event topology dependent measurements in heavy-ion collisions in contrast to proton-proton collisions.


title: Ramsey numbers of cycles versus general graphs

abstract: The Ramsey number $R(F,H)$ is the minimum number $N$ such that any $N$-vertex graph either contains a copy of $F$ or its complement contains $H$. Burr in 1981 proved a pleasingly general result that for any graph $H$, provided $n$ is sufficiently large, a natural lower bound construction gives the correct Ramsey number involving cycles: $R(C_n,H)=(n-1)(\chi(H)-1)+\sigma(H)$, where $\sigma(H)$ is the minimum possible size of a colour class in a $\chi(H)$-colouring of $H$. Allen, Brightwell and Skokan conjectured that the same should be true already when $n\geq |H|\chi(H)$. We improve this 40-year-old result of Burr by giving quantitative bounds of the form $n\geq C|H|\log^4\chi(H)$, which is optimal up to the logarithmic factor. In particular, this proves a strengthening of the Allen-Brightwell-Skokan conjecture for all graphs $H$ with large chromatic number.


title: The Interplay Between Solute Atoms and Vacancy Clusters in Magnesium Alloys

abstract: Atomic-scale calculations indicate that both stress effects and chemical binding contribute to the redistribution of solute in the presence of vacancy clusters in magnesium alloys. As the size of the vacancy cluster increases, chemical binding becomes more important relative to stress. By affecting the diffusivity of vacancies and vacancy clusters, solute atoms facilitate clustering and stabilize the resulting vacancy clusters, increasing their potential to promote solute segregation and to serve as heterogeneous nucleation sites during precipitation. Experimental observation of solute segregation in simultaneously deformed and aged Mg-Al alloys provides support for this mechanism.


title: Altitude and Particle Size Measurements of Noctilucent Clouds by RGB Photometry: Radiative Transfer and Correlation Analysis

abstract: Noctilucent or polar mesospheric clouds have become visually brighter and occurred more frequently during the recent years and decades. The study of possible reasons and relations with climate changes requires data on long-time trends of mean particle size and altitude. Extended worldwide observational data is a good tool for this, and it can be provided by simple RGB-photometry using widely distributed all-sky cameras. Based on observations of bright expanded clouds in summer 2020 and 2021, the method of mean particle size determination is developed, results are validated using the radiative transfer model. The procedure also allows finding the effective 'umbral' altitude of clouds. The correlation of size and altitude of particles is compared with existing lidar data and models of particle growth.


title: Gradient and Projection Free Distributed Online Min-Max Resource Optimization

abstract: We consider distributed online min-max resource allocation with a set of parallel agents and a parameter server. Our goal is to minimize the pointwise maximum over a set of time-varying and decreasing cost functions, without a priori information about these functions. We propose a novel online algorithm, termed Distributed Online resource Re-Allocation (DORA), where non-stragglers learn to relinquish resource and share resource with stragglers. A notable feature of DORA is that it does not require gradient calculation or projection operation, unlike most existing online optimization strategies. This allows it to substantially reduce the computation overhead in large-scale and distributed networks. We analyze the worst-case performance of DORA and derive an upper bound on its dynamic regret for non-convex functions. We further consider an application to the bandwidth allocation problem in distributed online machine learning. Our numerical study demonstrates the efficacy of the proposed solution and its performance advantage over gradient- and/or projection-based resource allocation algorithms in reducing wall-clock time.


title: The hidden symmetry of Kontsevich's graph flows on the spaces of Nambu-determinant Poisson brackets

abstract: Kontsevich's graph flows are -- universally for all finite-dimensional affine Poisson manifolds -- infinitesimal symmetries of the spaces of Poisson brackets. We show that the previously known tetrahedral flow and the recently obtained pentagon-wheel flow preserve the class of Nambu-determinant Poisson bi-vectors $P=[\![ \varrho(\boldsymbol{x})\,\partial_x\wedge\partial_y\wedge\partial_z,a]\!]$ on $\mathbb{R}^3\ni\boldsymbol{x}=(x,y,z)$ and $P=[\![ [\![\varrho(\boldsymbol{y})\,\partial_{x^1}\wedge\ldots\wedge\partial_{x^4},a_1]\!],a_2]\!]$ on $\mathbb{R}^4\ni\boldsymbol{y}$, including the general case $\varrho \not\equiv 1$. We detect that the Poisson bracket evolution $\dot{P} = Q_\gamma(P^{\otimes^{\# Vert(\gamma)}})$ is trivial in the second Poisson cohomology, $Q_\gamma = [\![ P, \vec{X}([\varrho],[a]) ]\!]$, for the Nambu-determinant bi-vectors $P(\varrho,[a])$ on $\mathbb{R}^3$. For the global Casimirs $\mathbf{a} = (a_1,\ldots,a_{d-2})$ and inverse density $\varrho$ on $\mathbb{R}^d$, we analyse the combinatorics of their evolution induced by the Kontsevich graph flows, namely $\dot{\varrho} = \dot{\varrho}([\varrho], [\mathbf{a}])$ and $\dot{\mathbf{a}} = \dot{\mathbf{a}}([\varrho],[\mathbf{a}])$ with differential-polynomial right-hand sides. Besides the anticipated collapse of these formulas by using the Civita symbols (three for the tetrahedron $\gamma_3$ and five for the pentagon-wheel graph cocycle $\gamma_5$), as dictated by the behaviour $\varrho(\mathbf{x}') = \varrho(\mathbf{x}) \cdot \det \| \partial \mathbf{x}' / \partial \mathbf{x} \|$ of the inverse density $\varrho$ under reparametrizations $\mathbf{x} \rightleftarrows \mathbf{x}'$, we discover another, so far hidden discrete symmetry in the construction of these evolution equations.


title: Lattice-Based Methods Surpass Sum-of-Squares in Clustering

abstract: Clustering is a fundamental primitive in unsupervised learning which gives rise to a rich class of computationally-challenging inference tasks. In this work, we focus on the canonical task of clustering d-dimensional Gaussian mixtures with unknown (and possibly degenerate) covariance. Recent works (Ghosh et al. '20; Mao, Wein '21; Davis, Diaz, Wang '21) have established lower bounds against the class of low-degree polynomial methods and the sum-of-squares (SoS) hierarchy for recovering certain hidden structures planted in Gaussian clustering instances. Prior work on many similar inference tasks portends that such lower bounds strongly suggest the presence of an inherent statistical-to-computational gap for clustering, that is, a parameter regime where the clustering task is statistically possible but no polynomial-time algorithm succeeds. One special case of the clustering task we consider is equivalent to the problem of finding a planted hypercube vector in an otherwise random subspace. We show that, perhaps surprisingly, this particular clustering model does not exhibit a statistical-to-computational gap, even though the aforementioned low-degree and SoS lower bounds continue to apply in this case. To achieve this, we give a polynomial-time algorithm based on the Lenstra--Lenstra--Lovasz lattice basis reduction method which achieves the statistically-optimal sample complexity of d+1 samples. This result extends the class of problems whose conjectured statistical-to-computational gaps can be "closed" by "brittle" polynomial-time algorithms, highlighting the crucial but subtle role of noise in the onset of statistical-to-computational gaps.

categories: cs.LG cs.CC cs.DS math.ST stat.ML stat.TH


title: Information is Power: Intrinsic Control via Information Capture

abstract: Humans and animals explore their environment and acquire useful skills even in the absence of clear goals, exhibiting intrinsic motivation. The study of intrinsic motivation in artificial agents is concerned with the following question: what is a good general-purpose objective for an agent? We study this question in dynamic partially-observed environments, and argue that a compact and general learning objective is to minimize the entropy of the agent's state visitation estimated using a latent state-space model. This objective induces an agent to both gather information about its environment, corresponding to reducing uncertainty, and to gain control over its environment, corresponding to reducing the unpredictability of future world states. We instantiate this approach as a deep reinforcement learning agent equipped with a deep variational Bayes filter. We find that our agent learns to discover, represent, and exercise control of dynamic objects in a variety of partially-observed environments sensed with visual observations without extrinsic reward.


title: Computational Synthesis of 2D Materials: A High-throughput Approach to Materials Design

abstract: 2D materials find promising applications in next-generation devices, however, large-scale, low-defect, and reproducible synthesis of 2D materials remains a challenging task. To assist in the selection of suitable substrates for the synthesis of as-yet hypothetical 2D materials, we have developed an open-source high-throughput workflow package, $Hetero2d$, that searches for low-lattice mismatched substrate surfaces for any 2D material and determines the stability of these 2D-substrate heterostructures using density functional theory (DFT) simulations. $Hetero2d$ automates the generation of 2D-substrate heterostructures, the creation of DFT input files, the submission and monitoring of computational jobs on supercomputing facilities, and the storage of relevant parameters alongside the post-processed results in a MongoDB database. We demonstrate the capability of $Hetero2d$ in identifying stable 2D-substrate heterostructures for four 2D materials, namely $2H$-MoS$_2$, $1T$- and $2H$-NbO$_2$, and hexagonal-ZnTe, considering 50 cubic elemental substrates. We find Cu, Hf, Mn, Nd, Ni, Pd, Re, Rh, Sc, Ta, Ti, V, W, Y, and Zr substrates sufficiently stabilize the formation energies of these 2D materials, with binding energies in the range of ~0.1 - 0.6 eV/atom. Upon examining the $z$-separation, the charge transfer, and the electronic density of states at the 2D-substrate interface, we find a covalent type bonding at the interface which suggests that these substrates can be used as contact materials for the 2D materials. $Hetero2d$ (https://github.com/cmdlab/Hetero2d) is available on GitHub as an open-source package under the GNU license.


title: General theory for thermal and nonthermal quantum linear engines

abstract: We present the exact theory of quantum engines whose working medium is a network of driven oscillators performing an arbitrary cyclic process while coupled to thermal and nonthermal reservoirs. We show that when coupled to a single reservoir work cannot be extracted unless there is population inversion, and prove that the ratio between the heat flowing out and into the working medium cannot be arbitrarily small, satisfying a form of Clausius inequality. We use such identity to prove that the efficiency of linear quantum engines satisfies a generalized bound, which coincides with the Carnot limit for thermal reservoirs. The previous results enable us to estimate the cost of preparing nonthermal reservoirs, which, if available, could be used to violate the Carnot limit.


title: MS-TCT: Multi-Scale Temporal ConvTransformer for Action Detection

abstract: Action detection is an essential and challenging task, especially for densely labelled datasets of untrimmed videos. The temporal relation is complex in those datasets, including challenges like composite action, and co-occurring action. For detecting actions in those complex videos, efficiently capturing both short-term and long-term temporal information in the video is critical. To this end, we propose a novel ConvTransformer network for action detection. This network comprises three main components: (1) Temporal Encoder module extensively explores global and local temporal relations at multiple temporal resolutions. (2) Temporal Scale Mixer module effectively fuses the multi-scale features to have a unified feature representation. (3) Classification module is used to learn the instance center-relative position and predict the frame-level classification scores. The extensive experiments on multiple datasets, including Charades, TSU and MultiTHUMOS, confirm the effectiveness of our proposed method. Our network outperforms the state-of-the-art methods on all three datasets.


title: Improved a priori error estimates for a discontinuous Galerkin pressure correction scheme for the Navier-Stokes equations

abstract: The pressure correction scheme is combined with interior penalty discontinuous Galerkin method to solve the time-dependent Navier-Stokes equations. Optimal error estimates are derived for the velocity in the L$^2$ norm in time and in space. Error bounds for the discrete time derivative of the velocity and for the pressure are also established.


title: Hypergraph Co-Optimal Transport: Metric and Categorical Properties

abstract: Hypergraphs capture multi-way relationships in data, and they have consequently seen a number of applications in higher-order network analysis, computer vision, geometry processing, and machine learning. In this paper, we develop theoretical foundations for studying the space of hypergraphs using ingredients from optimal transport. By enriching a hypergraph with probability measures on its nodes and hyperedges, as well as relational information capturing local and global structures, we obtain a general and robust framework for studying the collection of all hypergraphs. First, we introduce a hypergraph distance based on the co-optimal transport framework of Redko et al. and study its theoretical properties. Second, we formalize common methods for transforming a hypergraph into a graph as maps between the space of hypergraphs and the space of graphs, and study their functorial properties and Lipschitz bounds. Finally, we demonstrate the versatility of our Hypergraph Co-Optimal Transport (HyperCOT) framework through various examples.


title: ViewCLR: Learning Self-supervised Video Representation for Unseen Viewpoints

abstract: Learning self-supervised video representation predominantly focuses on discriminating instances generated from simple data augmentation schemes. However, the learned representation often fails to generalize over unseen camera viewpoints. To this end, we propose ViewCLR, that learns self-supervised video representation invariant to camera viewpoint changes. We introduce a view-generator that can be considered as a learnable augmentation for any self-supervised pre-text tasks, to generate latent viewpoint representation of a video. ViewCLR maximizes the similarities between the latent viewpoint representation with its representation from the original viewpoint, enabling the learned video encoder to generalize over unseen camera viewpoints. Experiments on cross-view benchmark datasets including NTU RGB+D dataset show that ViewCLR stands as a state-of-the-art viewpoint invariant self-supervised method.


title: Cross-modal Manifold Cutmix for Self-supervised Video Representation Learning

abstract: Contrastive representation learning of videos highly relies on the availability of millions of unlabelled videos. This is practical for videos available on web but acquiring such large scale of videos for real-world applications is very expensive and laborious. Therefore, in this paper we focus on designing video augmentation for self-supervised learning, we first analyze the best strategy to mix videos to create a new augmented video sample. Then, the question remains, can we make use of the other modalities in videos for data mixing? To this end, we propose Cross-Modal Manifold Cutmix (CMMC) that inserts a video tesseract into another video tesseract in the feature space across two different modalities. We find that our video mixing strategy STC-mix, i.e. preliminary mixing of videos followed by CMMC across different modalities in a video, improves the quality of learned video representations. We conduct thorough experiments for two downstream tasks: action recognition and video retrieval on two small scale video datasets UCF101, and HMDB51. We also demonstrate the effectiveness of our STC-mix on NTU dataset where domain knowledge is limited. We show that the performance of our STC-mix on both the downstream tasks is on par with the other self-supervised approaches while requiring less training data.


title: Ref-NeRF: Structured View-Dependent Appearance for Neural Radiance Fields

abstract: Neural Radiance Fields (NeRF) is a popular view synthesis technique that represents a scene as a continuous volumetric function, parameterized by multilayer perceptrons that provide the volume density and view-dependent emitted radiance at each location. While NeRF-based techniques excel at representing fine geometric structures with smoothly varying view-dependent appearance, they often fail to accurately capture and reproduce the appearance of glossy surfaces. We address this limitation by introducing Ref-NeRF, which replaces NeRF's parameterization of view-dependent outgoing radiance with a representation of reflected radiance and structures this function using a collection of spatially-varying scene properties. We show that together with a regularizer on normal vectors, our model significantly improves the realism and accuracy of specular reflections. Furthermore, we show that our model's internal representation of outgoing radiance is interpretable and useful for scene editing.


title: Causal Imitative Model for Autonomous Driving

abstract: Imitation learning is a powerful approach for learning autonomous driving policy by leveraging data from expert driver demonstrations. However, driving policies trained via imitation learning that neglect the causal structure of expert demonstrations yield two undesirable behaviors: inertia and collision. In this paper, we propose Causal Imitative Model (CIM) to address inertia and collision problems. CIM explicitly discovers the causal model and utilizes it to train the policy. Specifically, CIM disentangles the input to a set of latent variables, selects the causal variables, and determines the next position by leveraging the selected variables. Our experiments show that our method outperforms previous work in terms of inertia and collision rates. Moreover, thanks to exploiting the causal structure, CIM shrinks the input dimension to only two, hence, can adapt to new environments in a few-shot setting. Code is available at https://github.com/vita-epfl/CIM.


title: Vehicle trajectory prediction works, but not everywhere

abstract: Vehicle trajectory prediction is nowadays a fundamental pillar of self-driving cars. Both the industry and research communities have acknowledged the need for such a pillar by providing public benchmarks. While state-of-the-art methods are impressive, i.e., they have no off-road prediction, their generalization to cities outside of the benchmark remains unexplored. In this work, we show that those methods do not generalize to new scenes. We present a method that automatically generates realistic scenes causing state-of-the-art models to go off-road. We frame the problem through the lens of adversarial scene generation. The method is a simple yet effective generative model based on atomic scene generation functions along with physical constraints. Our experiments show that more than 60% of existing scenes from the current benchmarks can be modified in a way to make prediction methods fail (i.e., predicting off-road). We further show that the generated scenes (i) are realistic since they do exist in the real world, and (ii) can be used to make existing models more robust, yielding 30-40 reductions in the off-road rate. The code is available online: https://s-attack.github.io/.


title: Against identification of contextuality with violation of the Bell inequalities: lessons from theory of randomness

abstract: Nowadays contextuality is the hotest topic of quantum foundations and, especially, foundations of quantum information theory. This notion is characterized by the huge diversity of approaches and interpretations. One of the strongest trends in contextual research is to identify contextuality with violation of the Bell inequalities. We call this sort of contextuality {\it Bell test contextuality} (BTC). In this note, we criticize the BTC-approach. It can be compared with an attempt to identify the complex and theoretically nontrivial notion of randomness with a test for randomness (or a batch of tests, as the NIST-test). We advertize {\it Bohr contextuality} -- taking into account all experimental conditions (context). In the simplest case, the measurement context of an observable $A$ is reduced to joint measurement with a compatible observable $B.$ The latter definition was originally considered by Bell in relation to his inequality. We call it {\it joint measurement contextuality} (JMC). Although JMC is based on the use of counterfactuals, by considering it in the general Bohr's framework it is possible to handle JMC on physical grounds. We suggest (similarly to randomness) to certify JMC in experimental data with Bell tests, but only certify and not reduce.


title: Dyadic Sex Composition and Task Classification Using fNIRS Hyperscanning Data

abstract: Hyperscanning with functional near-infrared spectroscopy (fNIRS) is an emerging neuroimaging application that measures the nuanced neural signatures underlying social interactions. Researchers have assessed the effect of sex and task type (e.g., cooperation versus competition) on inter-brain coherence during human-to-human interactions. However, no work has yet used deep learning-based approaches to extract insights into sex and task-based differences in an fNIRS hyperscanning context. This work proposes a convolutional neural network-based approach to dyadic sex composition and task classification for an extensive hyperscanning dataset with $N = 222$ participants. Inter-brain signal similarity computed using dynamic time warping is used as the input data. The proposed approach achieves a maximum classification accuracy of greater than $80$ percent, thereby providing a new avenue for exploring and understanding complex brain behavior.


title: RID-Noise: Towards Robust Inverse Design under Noisy Environments

abstract: From an engineering perspective, a design should not only perform well in an ideal condition, but should also resist noises. Such a design methodology, namely robust design, has been widely implemented in the industry for product quality control. However, classic robust design requires a lot of evaluations for a single design target, while the results of these evaluations could not be reused for a new target. To achieve a data-efficient robust design, we propose Robust Inverse Design under Noise (RID-Noise), which can utilize existing noisy data to train a conditional invertible neural network (cINN). Specifically, we estimate the robustness of a design parameter by its predictability, measured by the prediction error of a forward neural network. We also define a sample-wise weight, which can be used in the maximum weighted likelihood estimation of an inverse model based on a cINN. With the visual results from experiments, we clearly justify how RID-Noise works by learning the distribution and robustness from data. Further experiments on several real-world benchmark tasks with noises confirm that our method is more effective than other state-of-the-art inverse design methods. Code and supplementary is publicly available at https://github.com/ThyrixYang/rid-noise-aaai22


title: Holomorphy of normalized intertwining operators for certain induced representations I: a toy example

abstract: The theory of intertwining operators plays an important role in the development of the Langlands program. This, in some sense, is a very sophisticated theory, but the basic question of its singularity, in general, is quite unknown. Motivated by its deep connection with the longstanding pursuit of constructing automorphic $L$-functions via the method of integral representations, we prove the holomorphy of normalized local intertwining operators, normalized in the sense of Casselman--Shahidi, for a family of induced representations of quasi-split classical groups as an exercise. Our argument is the outcome of an observation of an intrinsic non-symmetry property of normalization factors appearing in different reduced decompositions of intertwining operators. Such an approach bears the potential to work in general.


title: Synthetic Acute Hypotension and Sepsis Datasets Based on MIMIC-III and Published as Part of the Health Gym Project

abstract: These two synthetic datasets comprise vital signs, laboratory test results, administered fluid boluses and vasopressors for 3,910 patients with acute hypotension and for 2,164 patients with sepsis in the Intensive Care Unit (ICU). The patient cohorts were built using previously published inclusion and exclusion criteria and the data were created using Generative Adversarial Networks (GANs) and the MIMIC-III Clinical Database. The risk of identity disclosure associated with the release of these data was estimated to be very low (0.045%). The datasets were generated and published as part of the Health Gym, a project aiming to publicly distribute synthetic longitudinal health data for developing machine learning algorithms (with a particular focus on offline reinforcement learning) and for educational purposes.


title: Embedding Gradient-based Optimization in Image Registration Networks

abstract: Deep learning (DL) image registration methods amortize the costly pair-wise iterative optimization by training deep neural networks to predict the optimal transformation in one fast forward-pass. In this work, we bridge the gap between traditional iterative energy optimization-based registration and network-based registration, and propose Gradient Descent Network for Image Registration (GraDIRN). Our proposed approach trains a DL network that embeds unrolled multiresolution gradient-based energy optimization in its forward pass, which explicitly enforces image dissimilarity minimization in its update steps. Extensive evaluations were performed on registration tasks using 2D cardiac MR and 3D brain MR images. We demonstrate that our approach achieved state-of-the-art registration performance while using fewer learned parameters, with good data efficiency and domain robustness.


title: BT-Unet: A self-supervised learning framework for biomedical image segmentation using Barlow Twins with U-Net models

abstract: Deep learning has brought the most profound contribution towards biomedical image segmentation to automate the process of delineation in medical imaging. To accomplish such task, the models are required to be trained using huge amount of annotated or labelled data that highlights the region of interest with a binary mask. However, efficient generation of the annotations for such huge data requires expert biomedical analysts and extensive manual effort. It is a tedious and expensive task, while also being vulnerable to human error. To address this problem, a self-supervised learning framework, BT-Unet is proposed that uses the Barlow Twins approach to pre-train the encoder of a U-Net model via redundancy reduction in an unsupervised manner to learn data representation. Later, complete network is fine-tuned to perform actual segmentation. The BT-Unet framework can be trained with a limited number of annotated samples while having high number of unannotated samples, which is mostly the case in real-world problems. This framework is validated over multiple U-Net models over diverse datasets by generating scenarios of a limited number of labelled samples using standard evaluation metrics. With exhaustive experiment trials, it is observed that the BT-Unet framework enhances the performance of the U-Net models with significant margin under such circumstances.


title: Scalable 3D Semantic Segmentation for Gun Detection in CT Scans

abstract: With the increased availability of 3D data, the need for solutions processing those also increased rapidly. However, adding dimension to already reliably accurate 2D approaches leads to immense memory consumption and higher computational complexity. These issues cause current hardware to reach its limitations, with most methods forced to reduce the input resolution drastically. Our main contribution is a novel deep 3D semantic segmentation method for gun detection in baggage CT scans that enables fast training and low video memory consumption for high-resolution voxelized volumes. We introduce a moving pyramid approach that utilizes multiple forward passes at inference time for segmenting an instance.


title: General Relativistic Stream Crossing in Tidal Disruption Events

abstract: When a star is tidally disrupted by a supermassive black hole (BH), the gas debris is stretched into an elongated stream. The longitudinal motion of the stream follows geodesics in the Kerr spacetime and the evolution in the transverse dimensions is decoupled from the longitudinal motion. Using an approximate tidal equation, we calculate the evolution of the stream thickness along the geodesic, during which we treat the effect of nozzle shocks as a perfect bounce. Intersection occurs when the thickness exceeds the closest approach separation. This algorithm allows us to explore a wide parameter space of orbital angular momenta, inclinations, and BH spins to obtain the properties of stream intersection. We identify two collision modes, split evenly among all cases: "rear-end" collisions near the pericenter at an angle close to $0$ and "head-on" collisions far from the pericenter at an angle close to $\pi$. The intersection typically occurs between consecutive half-orbits with a delay time that spans a wide range (from months up to a decade). The intersection radius generally increases with the orbital angular momentum and depends less strongly on the inclination and BH spin. The thickness ratio of the colliding ends is of order unity. The transverse separation is a small fraction of the sum of the two thicknesses, so a large fraction of the stream is shock-heated in an offset collision. Many of the numerical results can be analytically understood in a post-Newtonian picture, where the orientation of an elliptical orbit undergoes apsidal and Lense-Thirring precessions. Instead of thickness inflation due to energy dissipation at nozzle shocks as invoked in earlier works, we find the physical reason for stream collision to be a geometric one. After the collision, we expect the gas to undergo secondary shocks and form an accretion disk, generating bright electromagnetic emission.


title: Bootstrapping Mixed MN Correlators in 3D

abstract: The recent emergence of the modern conformal bootstrap method for the study of conformal field theories (CFTs) has enabled the revisiting of old problems in classical critical phenomena described by three-dimensional CFTs. The study of such CFTs with $O(m)^n \rtimes S_n$ global symmetry, also known as MN models, is pursued in this work. Systems of mixed correlators involving scalar operators in two different representations of the global symmetry group are considered. Isolated allowed regions are found in parameter space for various values of $m$ and $n$. These "islands" can be separated into two qualitative groups: those close to the unitarity bound and those further away. As a by-product of our analysis generic tensor structures required to bootstrap any $G^n \rtimes S_n$ theory with $G$ arbitrary are worked out.


title: Maximizing Direct Detection with Highly Interactive Particle Relic Dark Matter

abstract: We estimate the maximum direct detection cross section for sub-GeV dark matter (DM) scattering off nucleons. For DM masses in the range $10 \text{ keV }- 100 \text{ MeV}$, cross sections greater than $10^{-36}$- $10^{-30} \,\text{cm}^2$ seem implausible. We present a DM candidate which realizes this maximum cross section: HighlY interactive ParticlE Relics (HYPERs). After HYPERs freeze-in, a dark sector phase transition decreases the mediator's mass. This increases the HYPER's direct detection cross section without impacting its abundance or measurements of Big Bang Nucleosynthesis and the Cosmic Microwave Background.


title: A dynamics-based density profile for dark haloes. I. Algorithm and basic results

abstract: The density profiles of dark matter haloes can potentially probe dynamics, fundamental physics, and cosmology, but some of the most promising signals reside near or beyond the virial radius. While these scales have recently become observable, the profiles at large radii are still poorly understood theoretically, chiefly because the distribution of orbiting matter (the one-halo term) is partially concealed by particles falling into halos for the first time. We present an algorithm to dynamically disentangle the orbiting and infalling contributions by counting the pericentric passages of billions of simulation particles. We analyse dynamically split profiles out to 10 R200m across a wide range of halo mass, redshift, and cosmology. We show that the orbiting term experiences a sharp truncation at the edge of the orbit distribution. Its sharpness and position are mostly determined by the mass accretion rate, confirming that the entire profile shape primarily depends on halo dynamics and secondarily on mass, redshift, and cosmology. The infalling term also depends on the accretion rate for fast-accreting haloes but is mostly set by the environment for slowly accreting haloes, leading to a diverse array of shapes that does not conform to simple theoretical models. While the resulting scatter in the infalling term reaches 1 dex, the scatter in the orbiting term is only between 0.1 and 0.4 dex and almost independent of radius. We demonstrate a tight correspondence between the redshift evolution in LCDM and the slope of the matter power spectrum. Our code and data are publicly available.


title: Islands and the de Sitter entropy bound

abstract: The de Sitter (dS) entropy bound gives the maximal number of e-folds that non-eternal inflation can last before violating the thermodynamical interpretation of dS space. This semiclassical argument is the analogue, for dS space, of the Black-Hole information paradox. We use techniques developed to address the latter, namely the island formula, to calculate semiclassically the fine-grained entropy as seen by a Minkowskian observer after inflation and find that this follows a Page-like curve, never exceeding the thermodynamic dS entropy. This calculation, performed for a CFT in 2D gravity, suggests that the semiclassical expectation should be modified in such a way that the entropy bound might actually not be present.


title: A quantum processor based on coherent transport of entangled atom arrays

abstract: The ability to engineer parallel, programmable operations between desired qubits within a quantum processor is central for building scalable quantum information systems. In most state-of-the-art approaches, qubits interact locally, constrained by the connectivity associated with their fixed spatial layout. Here, we demonstrate a quantum processor with dynamic, nonlocal connectivity, in which entangled qubits are coherently transported in a highly parallel manner across two spatial dimensions, in between layers of single- and two-qubit operations. Our approach makes use of neutral atom arrays trapped and transported by optical tweezers; hyperfine states are used for robust quantum information storage, and excitation into Rydberg states is used for entanglement generation. We use this architecture to realize programmable generation of entangled graph states such as cluster states and a 7-qubit Steane code state. Furthermore, we shuttle entangled ancilla arrays to realize a surface code with 19 qubits and a toric code state on a torus with 24 qubits. Finally, we use this architecture to realize a hybrid analog-digital evolution and employ it for measuring entanglement entropy in quantum simulations, experimentally observing non-monotonic entanglement dynamics associated with quantum many-body scars. Realizing a long-standing goal, these results pave the way toward scalable quantum processing and enable new applications ranging from simulation to metrology.


title: Local quantum overlapping tomography

abstract: Reconstructing the full quantum state of a many-body system requires the estimation of a number of parameters that grows exponentially with system size. Nevertheless, there are situations in which one is only interested in a subset of these parameters and a full reconstruction is not needed. A paradigmatic example is a scenario where one aims at determining all the reduced states only up to a given size. Overlapping tomography provides constructions to address this problem with a number of product measurements much smaller than what is obtained when performing independent tomography of each reduced state. There are however many relevant physical systems with a natural notion of locality where one is mostly interested in the reduced states of neighboring particles. In this work, we study this form of local overlapping tomography. First of all, we show that, contrary to its full version, the number of product-measurement settings needed for local overlapping tomography does not grow with system size. Then, we present strategies for qubit and fermionic systems in selected lattice geometries. The developed methods find a natural application in the estimation of many-body systems prepared in current quantum simulators or quantum computing devices, where interactions are often local.


title: Signatures of clean phases in many-body localized quantum circuits

abstract: Many-body phenomena far from equilibrium present challenges beyond reach by classical computational resources. Digital quantum computers provide a possible way forward but noise limits their use in the near-term. We propose a scheme to simulate and characterize many-body Floquetsystems hosting a rich variety of phases that operates with a shallow depth circuit. Starting from a "clean" periodic circuit that simulates the dynamical evolution of a Floquet system, we introduce quasi-periodicity to the circuit parameters to prevent thermalization by introducing many-body localization. By inspecting the time averaged properties of the many-body integrals of motion, the phase structure can then be probed using random measurements. This approach avoids the need to compute the ground state and operates at finite energy density. We numerically demonstrate this scheme with a simulation of the Floquet Ising model of time-crystals and present results clearly distinguishing different Floquet phases in the absence of quasi-periodicity in the circuit parameters. Our results pave the way for mapping phase diagrams of exotic systems on near-term quantum devices.