title: An Unconstrained Convex Formulation of Compliant Contact

abstract: We present a convex formulation of compliant frictional contact and a robust, performant method to solve it in practice. By analytically eliminating contact constraints, we obtain an unconstrained convex problem. Our solver has proven global convergence and warm-starts effectively, enabling simulation at interactive rates. We develop compact analytical expressions of contact forces allowing us to describe our model in clear physical terms and to rigorously characterize our approximations. Moreover, this enables us not only to model point contact, but also to incorporate sophisticated models of compliant contact patches. Our time stepping scheme includes the midpoint rule, which we demonstrate achieves second order accuracy even with frictional contact. We introduce a number of accuracy metrics and show our method outperforms existing commercial and open source alternatives without sacrificing accuracy. Finally, we demonstrate robust simulation of robotic manipulation tasks at interactive rates, with accurately resolved stiction and contact transitions, as required for meaningful sim-to-real transfer. Our method is implemented in the open source robotics toolkit Drake.


title: TESSERACT: Gradient Flip Score to Secure Federated Learning Against Model Poisoning Attacks

abstract: Federated learning---multi-party, distributed learning in a decentralized environment---is vulnerable to model poisoning attacks, even more so than centralized learning approaches. This is because malicious clients can collude and send in carefully tailored model updates to make the global model inaccurate. This motivated the development of Byzantine-resilient federated learning algorithms, such as Krum, Bulyan, FABA, and FoolsGold. However, a recently developed untargeted model poisoning attack showed that all prior defenses can be bypassed. The attack uses the intuition that simply by changing the sign of the gradient updates that the optimizer is computing, for a set of malicious clients, a model can be diverted from the optima to increase the test error rate. In this work, we develop TESSERACT---a defense against this directed deviation attack, a state-of-the-art model poisoning attack. TESSERACT is based on a simple intuition that in a federated learning setting, certain patterns of gradient flips are indicative of an attack. This intuition is remarkably stable across different learning algorithms, models, and datasets. TESSERACT assigns reputation scores to the participating clients based on their behavior during the training phase and then takes a weighted contribution of the clients. We show that TESSERACT provides robustness against even a white-box version of the attack.


title: In-Orbit Lunar Satellite Image Super Resolution for Selective Data Transmission

abstract: Rapid technological advancements have tremendously increased the data acquisition capabilities of remote sensing satellites. However, the data utilization efficiency in satellite missions is very low. This growing data also escalates the cost required for data downlink transmission and post-processing. Selective data transmission based on in-orbit inferences will address these issues to a great extent. Therefore, to decrease the cost of the satellite mission, we propose a novel system design for selective data transmission, based on in-orbit inferences. As the resolution of images plays a critical role in making precise inferences, we also include in-orbit super-resolution (SR) in the system design. We introduce a new image reconstruction technique and a unique loss function to enable the execution of the SR model on low-power devices suitable for satellite environments. We present a residual dense non-local attention network (RDNLA) that provides enhanced super-resolution outputs to improve the SR performance. SR experiments on Kaguya digital ortho maps (DOMs) demonstrate that the proposed SR algorithm outperforms the residual dense network (RDN) in terms of PSNR and block-sensitive PSNR by a margin of +0.1 dB and +0.19 dB, respectively. The proposed SR system consumes 48% less memory and 67% less peak instantaneous power than the standard SR model, RDN, making it more suitable for execution on a low-powered device platform.


title: Scheduling Improves the Performance of Belief Propagation for Noisy Group Testing

abstract: This paper considers the noisy group testing problem where among a large population of items some are defective. The goal is to identify all defective items by testing groups of items, with the minimum possible number of tests. The focus of this work is on the practical settings with a limited number of items rather than the asymptotic regime. In the current literature, belief propagation has been shown to be effective in recovering defective items from the test results. In this work, we adopt two variants of the belief propagation algorithm for the noisy group testing problem. These algorithms have been used successfully in the decoding of low-density parity-check codes. We perform an experimental study and using extensive simulations we show that these algorithms achieve higher success probability, lower false-negative, and false-positive rates compared to the traditional belief propagation algorithm. For instance, our results show that the proposed algorithms can reduce the false-negative rate by about $50\%$ (or more) when compared to the traditional BP algorithm, under the combinatorial model. Moreover, under the probabilistic model, this reduction in the false-negative rate increases to about $80\%$ for the tested cases.


title: Pentagon Functions for One-Mass Planar Scattering Amplitudes

abstract: We present analytic results for all planar two-loop Feynman integrals contributing to five-particle scattering amplitudes with one external massive leg. We express the integrals in terms of a basis of algebraically-independent transcendental functions, which we call one-mass pentagon functions. We construct them by using the properties of iterated integrals with logarithmic kernels. The pentagon functions are manifestly free of unphysical branch cuts, do not require analytic continuation, and can be readily evaluated over the whole physical phase space of the massive particle production channel. We develop an efficient algorithm for their numerical evaluation and present a public implementation suitable for direct phenomenological applications.


title: Quantum tops at the LHC: from entanglement to Bell inequalities

abstract: We present the prospects of detecting quantum entanglement and the violation of Bell inequalities in $t\bar{t}$ events at the LHC. We introduce a unique set of observables suitable for both measurements, and then perform the corresponding analyses using simulated events in the dilepton final state, reconstructing up to the unfolded level. We find that entanglement can be established at better than 5$\sigma$ both at threshold as well as at high $p_T$ already in the LHC Run 2 dataset. On the other hand, only very high-$p_T$ events are sensitive to a violation of Bell inequalities, making it significantly harder to observe experimentally. By employing a sensitive and robust observable, two different unfolding methods and independent statistical approaches, we conclude that, at variance with previous estimates, testing Bell inequalities will be challenging even in the high luminosity LHC run.


title: Thin Spectra and Singular Continuous Spectral Measures for Limit-Periodic Jacobi Matrices

abstract: This paper investigates the spectral properties of Jacobi matrices with limit-periodic coefficients. We show that for a residual set of such matrices, the spectrum is a Cantor set of zero Lebesgue measure, and the spectral measures are purely singular continuous. For a dense set of limit-periodic Jacobi matrices we can strengthen the result and show that the spectrum is a Cantor set of zero lower box counting dimension, and hence in particular of zero Hausdorff dimension, while still retaining the singular continuity of the spectral type. We also show how results of this nature can be established by fixing the off-diagonal coefficients and varying only the diagonal coefficients, and, in a more restricted version, by fixing the diagonal coefficients to be zero and varying only the off-diagonal coefficients. We apply these results to produce examples of weighted Laplacians on the multidimensional integer lattice having purely singular continuous spectral type and zero-dimensional spectrum.


title: Seshadri constants on some blow-ups of projective spaces

abstract: Let $X^n_{r,s}$ denote the blow-up of $\mathbb{P}^n$ along $r$ general lines and $s$ general points. In this paper, we focus on $l$-very ample line bundles on $X^n_{0,s}$ and investigate their Seshadri constants with some restrictions on $s$. Additionally, we compute the nef cone of $X^3_{r,0}$ for $r\leq 6$ and study the Seshadri constants of some ample line bundles on it. We also examine the Seshadri constants of some ample line bundles on $X^4_{r,0}$ ($r\leq 7$) and $X^5_{r,0}$ ($r \leq 5$).


title: Analysis of scale-dependent kinetic and potential energy in sheared, stably stratified turbulence

abstract: Budgets of turbulent kinetic energy (TKE) and turbulent potential energy (TPE) at different scales $\ell$ in sheared, stably stratified turbulence are analyzed using a filtering approach. Competing effects in the flow are considered, along with the physical mechanisms governing the energy fluxes between scales, and the budgets are used to analyze data from direct numerical simulation (DNS) at buoyancy Reynolds number $Re_b=O(100)$. The mean TKE exceeds TPE by an order of magnitude at the large scales, with the difference reducing as $\ell$ is decreased. At larger scales, buoyancy is never observed to be positive, with buoyancy always converting TKE to TPE. As $\ell$ is decreased, the probability of locally convecting regions increases, though it remains small at scales down to the Ozmidov scale. The TKE and TPE fluxes between scales are both downscale on average and their instantaneous values are positively correlated, but not strongly so, and this occurs due to the different physical mechanisms that govern these fluxes. Moreover, the contribution to these fluxes arising from the sub-grid fields are shown to be significant, in addition to the filtered scale contributions associated with the processes of strain-self amplification, vortex stretching, and density gradient amplification. Probability density functions (PDFs) of the $Q,R$ invariants of the filtered velocity gradient are considered. Unlike isotropic turbulence, as $\ell$ increases the sheared-drop shape of the PDF disappears and the PDF becomes symmetric about $R=0$, meaning regions of vortex stretching and compression become equi-probable, as well as regions of strain amplification or suppression.


title: On the Global Optimum Convergence of Momentum-based Policy Gradient

abstract: Policy gradient (PG) methods are popular and efficient for large-scale reinforcement learning due to their relative stability and incremental nature. In recent years, the empirical success of PG methods has led to the development of a theoretical foundation for these methods. In this work, we generalize this line of research by studying the global convergence of stochastic PG methods with momentum terms, which have been demonstrated to be efficient recipes for improving PG methods. We study both the soft-max and the Fisher-non-degenerate policy parametrizations, and show that adding a momentum improves the global optimality sample complexity of vanilla PG methods by $\tilde{\mathcal{O}}(\epsilon^{-1.5})$ and $\tilde{\mathcal{O}}(\epsilon^{-1})$, respectively, where $\epsilon>0$ is the target tolerance. Our work is the first one that obtains global convergence results for the momentum-based PG methods. For the generic Fisher-non-degenerate policy parametrizations, our result is the first single-loop and finite-batch PG algorithm achieving $\tilde{O}(\epsilon^{-3})$ global optimality sample complexity. Finally, as a by-product, our methods also provide general framework for analyzing the global convergence rates of stochastic PG methods, which can be easily applied and extended to different PG estimators.


title: Beyond Exact Gradients: Convergence of Stochastic Soft-Max Policy Gradient Methods with Entropy Regularization

abstract: Entropy regularization is an efficient technique for encouraging exploration and preventing a premature convergence of (vanilla) policy gradient methods in reinforcement learning (RL). However, the theoretical understanding of entropy regularized RL algorithms has been limited. In this paper, we revisit the classical entropy regularized policy gradient methods with the soft-max policy parametrization, whose convergence has so far only been established assuming access to exact gradient oracles. To go beyond this scenario, we propose the first set of (nearly) unbiased stochastic policy gradient estimators with trajectory-level entropy regularization, with one being an unbiased visitation measure-based estimator and the other one being a nearly unbiased yet more practical trajectory-based estimator. We prove that although the estimators themselves are unbounded in general due to the additional logarithmic policy rewards introduced by the entropy term, the variances are uniformly bounded. We then propose a two-phase stochastic policy gradient (PG) algorithm that uses a large batch size in the first phase to overcome the challenge of the stochastic approximation due to the non-coercive landscape, and uses a small batch size in the second phase by leveraging the curvature information around the optimal policy. We establish a global optimality convergence result and a sample complexity of $\widetilde{\mathcal{O}}(\frac{1}{\epsilon^2})$ for the proposed algorithm. Our result is the first global convergence and sample complexity results for the stochastic entropy-regularized vanilla PG method.


title: Low Complexity Single Source DOA Estimation Based on Reduced Dimension SVR

abstract: Conventional direction of arrival (DOA) estimation algorithms suffer from performance degradation due to antenna pattern distortion and substantial computational complexity in real-time execution. The support vector regression (SVR) approach is a possible solution to overcome those limitations. In this work, we propose a sequential DOA estimation technique that combines the reduced dimension SVR (for the azimuthal plane) with a closed form approach (for the elevation plane). Thus, the training and testing are only required for the azimuthal angles which makes it very attractive from the implementation complexity point of view. Our analysis demonstrates that the proposed algorithm offers significant complexity gain over the popular MUSIC algorithm while exhibiting similar root-mean-square error performance.


title: Quantized Topological Charges of Ferroelectric Skyrmions in Two-Dimensional Multiferroic Materials

abstract: In multiferroic materials, the microscopic magnetic and electric textures are strongly correlated with each other by magnetoelectric (ME) coupling. Therefore, topological electric dipole textures, such as ferroelectric (FE) dipole skyrmions and periodic FE dipole crystals, are expected to be induced if ferromagnetic (FM) skyrmions and FM skyrmionic crystals (or lattices so as to be abbreviated as SLs for convenience) can be stabilized. In the present work, a quantum computational approach is utilized to simulate the topological textures of FE SLs in a two-dimensional (2D) multiferroic system. Consequently, we find that, FE SLs can indeed be induced once the FM SLs are formed; each FE skyrmion is an ferroelectric dipolar complex formed around an FM skyrmion; the topological charges of these FE skyrmions are usually quantized to be integers, half integers and multiples of certain fractional values, so that the FE SL coincides precisely with the corresponding FM SL; the topological charge density of each FE SL also forms periodic pattern; and a normally applied electric field is able to change the sizes of FM skyrmions, elevate their formation temperatures, and destroy FM SLs below the critical temperatures.


title: Tilting Correspondences of Perfectoid Rings

abstract: In this article, we present an alternate proof of a vanishing result of \'etale cohomology on perfectoid rings due to \v{C}esnavi\v{c}ius and more recently proved by a different approach by Bhatt and Scholze. To establish that, we prove a tilting equivalence of \'etale cohomology of perfectoid rings taking values in commutative, finite \'etale group schemes. On the way, we algebraically establish an analogue of the tilting correspondences of Scholze, between the category of finite \'etale schemes over a perfectoid ring and that over its tilt, without using tools from almost ring theory or adic spaces.


title: Approximately Dual p-Approximate Schauder Frames

abstract: Difficulty in the construction of dual frames for a given Hilbert space led to the introduction of approximately dual frames in Hilbert spaces by Christensen and Laugesen. It becomes even more difficult in Banach spaces to construct duals. For this purpose, we introduce approximately dual frames for a class of approximate Schauder frames for Banach spaces and develop basic theory. Approximate duals for this subclass is completely characterized and its perturbation is also studied.


title: Electricity Tariff Design via Lens of Energy Justice

abstract: Distributed Energy Resources (DERs) can significantly affect the net social benefit in power systems, raising concerns pertaining to distributive justice, equity, and fairness. Electricity tariff and DERs share a symbiotic relationship whereby the design of the former directly impacts the economic efficiency and equity in the system. Current tariff design approaches suffer from opaque efficiency-equity trade-offs and are also agnostic of the externalities that affect both economic efficiency and equity. Therefore, this paper develops a justice-cognizant tariff design framework that improves the economic efficiency of tariff without sacrificing its distributional equity, and encompasses economic welfare, social costs of environmental and public health impacts, and socio-economic and demographic characteristics of electricity consumers. The proposed framework is based on a Single Leader Single Follower (SLSF) game incorporating a multi-objective optimization problem, and is evaluated on four different tariff structures. The SLSF game is reformulated as a Multi-Objective Problem with Equilibrium Constraints (MOPEC) and is solved by integrating the objective sum method for multi-objective optimization and Scholtes's relaxation technique for equilibrium constraints. We compare the economic efficiency and equity of the proposed framework using the 11-zone New York ISO and 7-bus Manhattan power networks. The results demonstrate that spatially- and temporally-granular tariffs ensure equity and economic efficiency at a lower energy burden to consumers.


title: BlockIoT: Blockchain-based Health Data Integration using IoT Devices

abstract: The development and adoption of Electronic Health Records (EHR) and health monitoring Internet of Things (IoT) Devices have enabled digitization of patient records and has also substantially transformed the healthcare delivery system in aspects such as remote patient monitoring, healthcare decision making, and medical research. However, data tends to be fragmented among health infrastructures and prevents interoperability of medical data at the point of care. In order to address this gap, we introduce BlockIoT that uses blockchain technology to transfer previously inaccessible and centralized data from medical devices to EHR systems, which provides greater insight to providers who can, in turn, provide better outcomes for patients. This notion of interoperability of medical device data is possible through an Application Programming Interface (API), which serves as a versatile endpoint for all incoming medical device data, a distributed file system that ensures data resilience, and knowledge templates that analyze, identify, and represent medical device data to providers. Our participatory design survey on BlockIoT demonstrates that BlockIoT is a suitable system to supplement physicians' clinical practice and increases efficiency in most healthcare specialties, including cardiology, pulmonology, endocrinology, and primary care.


title: A Numerical Scheme for Wave Turbulence: 3-Wave Kinetic Equations

abstract: We introduce a finite volume scheme to solve a special case of isotropic 3-wave kinetic equations. We test our numerical solution against theoretical results concerning the long time behavior of the energy and observe that our solutions verify the energy cascade phenomenon. To our knowledge, this is the first numerical scheme that can capture the long time asymptotic behavior of solutions to those isotropic 3-wave kinetic equations, where the energy cascade can be observed. Our numerical energy cascade rates are in good agreement with previously obtained theoretical results. The finite volume scheme given here relies on a new identity, allowing one to reduce the number of terms needed in the collision operators.


title: Realizing distance-selective interactions in a Rydberg-dressed atom array

abstract: Measurement-based quantum computing relies on the rapid creation of large-scale entanglement in a register of stable qubits. Atomic arrays are well suited to store quantum information, and entanglement can be created using highly-excited Rydberg states. Typically, isolating pairs during gate operation is difficult because Rydberg interactions feature long tails at large distances. Here, we engineer distance-selective interactions that are strongly peaked in distance through off-resonant laser coupling of molecular potentials between Rydberg atom pairs. Employing quantum gas microscopy, we verify the dressed interactions by observing correlated phase evolution using many-body Ramsey interferometry. We identify atom loss and coupling to continuum modes as a limitation of our present scheme and outline paths to mitigate these effects, paving the way towards the creation of large-scale entanglement.


title: Charming Penguins and Lepton Universality Violation in $b \to s \ell^+ \ell^-$ decays

abstract: The LHCb experiment has very recently presented new results on Lepton Universality Violation (LUV) in $B \to K^{(*)} \ell^+ \ell^-$ decays involving $K_S$ in the final state, which strengthens the recent evidence of LUV obtained in $B^+ \to K^{+} \ell^+ \ell^-$ decays and the previous measurements of $B \to K^{*0} \ell^+ \ell^-$. While LUV observables in the Standard Model are theoretically clean, their predictions in New Physics scenarios are sensitive to the details of the hadronic dynamics, and in particular of the charming penguin contribution. In this work, we show how a conservative treatment of hadronic uncertainties is crucial not only to assess the significance of deviations from the Standard Model but also to obtain a conservative picture of the New Physics responsible for LUV. Adopting a very general parameterization of charming penguins, we find that: $i)$ current data hint at a sizable $q^2$ and helicity dependence of charm loop amplitudes; $ii)$ conservative NP solutions to $B$ anomalies favour a left-handed or an axial lepton coupling rather than a vector one.


title: Stellar models with like--Tolman IV complexity factor

abstract: In this work, we construct stellar models ba-\break sed on the complexity factor as a supplementary condition which allows to close the system of differential equations arising from the Gravitational Decoupling. The assumed complexity is a generalization of the one obtained from the well known Tolman IV solution. We use Tolman IV, Wyman IIa, Durgapal IV and Heintzmann IIa as seeds solutions. Reported compactness parameters of SMC X-1 and Cen X-3 are used to study the physical acceptability of the models. Some aspects related to the density ratio are also discussed.


title: Robust Event Classification Using Imperfect Real-world PMU Data

abstract: This paper studies robust event classification using imperfect real-world phasor measurement unit (PMU) data. By analyzing the real-world PMU data, we find it is challenging to directly use this dataset for event classifiers due to the low data quality observed in PMU measurements and event logs. To address these challenges, we develop a novel machine learning framework for training robust event classifiers, which consists of three main steps: data preprocessing, fine-grained event data extraction, and feature engineering. Specifically, the data preprocessing step addresses the data quality issues of PMU measurements (e.g., bad data and missing data); in the fine-grained event data extraction step, a model-free event detection method is developed to accurately localize the events from the inaccurate event timestamps in the event logs; and the feature engineering step constructs the event features based on the patterns of different event types, in order to improve the performance and the interpretability of the event classifiers. Based on the proposed framework, we develop a workflow for event classification using the real-world PMU data streaming into the system in real-time. Using the proposed framework, robust event classifiers can be efficiently trained based on many off-the-shelf lightweight machine learning models. Numerical experiments using the real-world dataset from the Western Interconnection of the U.S power transmission grid show that the event classifiers trained under the proposed framework can achieve high classification accuracy while being robust against low-quality data.


title: Gummy Browsers: Targeted Browser Spoofing against State-of-the-Art Fingerprinting Techniques

abstract: We present a simple yet potentially devastating and hard-to-detect threat, called Gummy Browsers, whereby the browser fingerprinting information can be collected and spoofed without the victim's awareness, thereby compromising the privacy and security of any application that uses browser fingerprinting. The idea is that attacker A first makes the user U connect to his website (or to a well-known site the attacker controls) and transparently collects the information from U that is used for fingerprinting purposes. Then, A orchestrates a browser on his own machine to replicate and transmit the same fingerprinting information when connecting to W, fooling W to think that U is the one requesting the service rather than A. This will allow the attacker to profile U and compromise U's privacy. We design and implement the Gummy Browsers attack using three orchestration methods based on script injection, browser settings and debugging tools, and script modification, that can successfully spoof a wide variety of fingerprinting features to mimic many different browsers (including mobile browsers and the Tor browser). We then evaluate the attack against two state-of-the-art browser fingerprinting systems, FPStalker and Panopticlick. Our results show that A can accurately match his own manipulated browser fingerprint with that of any targeted victim user U's fingerprint for a long period of time, without significantly affecting the tracking of U and when only collecting U's fingerprinting information only once. The TPR (true positive rate) for the tracking of the benign user in the presence of the attack is larger than 0.9 in most cases. The FPR (false positive rate) for the tracking of the attacker is also high, larger than 0.9 in all cases. We also argue that the attack can remain completely oblivious to the user and the website, thus making it extremely difficult to thwart in practice.


title: Global solutions to the stochastic heat equation with superlinear accretive reaction term and superlinear multiplicative noise term on a bounded spatial domain

abstract: We describe sufficient conditions on the reaction terms and multiplicative noise terms of a stochastic reaction-diffusion equation that guarantee that the solutions never explode. Both the reaction term and multiplicative noise terms are allowed to grow superlinearly.


title: Personal Health Knowledge Graph for Clinically Relevant Diet Recommendations

abstract: We propose a knowledge model for capturing dietary preferences and personal context to provide personalized dietary recommendations. We develop a knowledge model called the Personal Health Ontology, which is grounded in semantic technologies, and represents a patient's combined medical information, social determinants of health, and observations of daily living elicited from interviews with diabetic patients. We then generate a personal health knowledge graph that captures temporal patterns from synthetic food logs, annotated with concepts from the Personal Health Ontology. We further discuss how lifestyle guidelines grounded in semantic technologies can be reasoned with the generated personal health knowledge graph to provide appropriate dietary recommendations that satisfy the user's medical and other lifestyle needs.


title: FriendlyCore: Practical Differentially Private Aggregation

abstract: Differentially private algorithms for common metric aggregation tasks, such as clustering or averaging, often have limited practicality due to their complexity or to the large number of data points that is required for accurate results. We propose a simple and practical tool, $\mathsf{FriendlyCore}$, that takes a set of points ${\cal D}$ from an unrestricted (pseudo) metric space as input. When ${\cal D}$ has effective diameter $r$, $\mathsf{FriendlyCore}$ returns a "stable" subset ${\cal C} \subseteq {\cal D}$ that includes all points, except possibly few outliers, and is {\em certified} to have diameter $r$. $\mathsf{FriendlyCore}$ can be used to preprocess the input before privately aggregating it, potentially simplifying the aggregation or boosting its accuracy. Surprisingly, $\mathsf{FriendlyCore}$ is light-weight with no dependence on the dimension. We empirically demonstrate its advantages in boosting the accuracy of mean estimation and clustering tasks such as $k$-means and $k$-GMM, outperforming tailored methods.


title: Locally Differentially Private Reinforcement Learning for Linear Mixture Markov Decision Processes

abstract: Reinforcement learning (RL) algorithms can be used to provide personalized services, which rely on users' private and sensitive data. To protect the users' privacy, privacy-preserving RL algorithms are in demand. In this paper, we study RL with linear function approximation and local differential privacy (LDP) guarantees. We propose a novel $(\varepsilon, \delta)$-LDP algorithm for learning a class of Markov decision processes (MDPs) dubbed linear mixture MDPs, and obtains an $\tilde{\mathcal{O}}( d^{5/4}H^{7/4}T^{3/4}\left(\log(1/\delta)\right)^{1/4}\sqrt{1/\varepsilon})$ regret, where $d$ is the dimension of feature mapping, $H$ is the length of the planning horizon, and $T$ is the number of interactions with the environment. We also prove a lower bound $\Omega(dH\sqrt{T}/\left(e^{\varepsilon}(e^{\varepsilon}-1)\right))$ for learning linear mixture MDPs under $\varepsilon$-LDP constraint. Experiments on synthetic datasets verify the effectiveness of our algorithm. To the best of our knowledge, this is the first provable privacy-preserving RL algorithm with linear function approximation.


title: Broadband-excitation-based mechanical spectroscopy of highly viscous tissue-mimicking phantoms

abstract: Standard rheometers assess mechanical properties of viscoelastic samples up to 100~Hz, which often hinders the assessment of the local-scale dynamics. We demonstrate that high-frequency analysis can be achieved by inducing broadband Rayleigh waves and monitoring their media-dependent propagation using Optical Coherence Tomography. Here, we present a new broadband wave analysis based on two-dimensional Fourier Transformation. We validated this method by comparing the mechanical parameters to monochromatic excitation data and a standard oscillatory test. Our method allows for high-frequency mechanical spectroscopy, which could be used to investigate the local-scale dynamics of different biological tissues and the influence of diseases on their microstructure.


title: Dark Energy Survey Year 3 results: Cosmology with peaks using an emulator approach

abstract: We constrain the matter density $\Omega_{\mathrm{m}}$ and the amplitude of density fluctuations $\sigma_8$ within the $\Lambda$CDM cosmological model with shear peak statistics and angular convergence power spectra using mass maps constructed from the first three years of data of the Dark Energy Survey (DES Y3). We use tomographic shear peak statistics, including cross-peaks: peak counts calculated on maps created by taking a harmonic space product of the convergence of two tomographic redshift bins. Our analysis follows a forward-modelling scheme to create a likelihood of these statistics using N-body simulations, using a Gaussian process emulator. We include the following lensing systematics: multiplicative shear bias, photometric redshift uncertainty, and galaxy intrinsic alignment. Stringent scale cuts are applied to avoid biases from unmodelled baryonic physics. We find that the additional non-Gaussian information leads to a tightening of the constraints on the structure growth parameter yielding $S_8~\equiv~\sigma_8\sqrt{\Omega_{\mathrm{m}}/0.3}~=~0.797_{-0.013}^{+0.015}$ (68% confidence limits), with a precision of 1.8%, an improvement of ~38% compared to the angular power spectra only case. The results obtained with the angular power spectra and peak counts are found to be in agreement with each other and no significant difference in $S_8$ is recorded. We find a mild tension of $1.5 \thinspace \sigma$ between our study and the results from Planck 2018, with our analysis yielding a lower $S_8$. Furthermore, we observe that the combination of angular power spectra and tomographic peak counts breaks the degeneracy between galaxy intrinsic alignment $A_{\mathrm{IA}}$ and $S_8$, improving cosmological constraints. We run a suite of tests concluding that our results are robust and consistent with the results from other studies using DES Y3 data.


title: Activation Landscapes as a Topological Summary of Neural Network Performance

abstract: We use topological data analysis (TDA) to study how data transforms as it passes through successive layers of a deep neural network (DNN). We compute the persistent homology of the activation data for each layer of the network and summarize this information using persistence landscapes. The resulting feature map provides both an informative visual- ization of the network and a kernel for statistical analysis and machine learning. We observe that the topological complexity often increases with training and that the topological complexity does not decrease with each layer.


title: Note on strong cosmic censorship for spherically symmetric Einstein-dust model

abstract: In this note, we derive an ordinary differential equation for outgoing light rays in the spacetime of a spherically symmetric contracting dust cloud. The violation of strong cosmic censorship is equivalent to the existence of a solution blowing up at the centre of the symmetry. As an application, we reprove the generic violation of strong cosmic censorship for a dust cloud first proved by Christodoulou. We also derive a similar equation for a spherically symmetric dust cloud in the case of positive cosmological constant and show the generic violation of strong cosmic censorship in this case.


title: Turbulence in large scale two-dimensional balanced hard sphere gas flow

abstract: In recent works we developed a model of balanced gas flow where the momentum equation possesses an additional mean field forcing term, which originates from the hard sphere interaction potential between the gas particles. We demonstrated that, in our model, a turbulent gas flow with a Kolmogorov kinetic energy spectrum develops from an otherwise laminar initial jet. In the current work, we investigate the possibility of a similar turbulent flow developing in a large scale two-dimensional setting, where a strong external acceleration compresses the gas into a relatively thin slab along the third dimension. The main motivation behind the current work is the following. According to observations, horizontal turbulent motions in the Earth atmosphere manifest in a wide range of spatial scales, from hundreds of meters to thousands of kilometers. Yet, the air density rapidly decays with altitude, roughly by an order of magnitude each 15-20 kilometers. This naturally raises the question as to whether or not there exists a dynamical mechanism which can produce large scale turbulence within a purely two-dimensional gas flow. To our surprise, we discover that our model indeed produces turbulent flows and the corresponding Kolmogorov energy spectra in such a two-dimensional setting.


title: Chunked Autoregressive GAN for Conditional Waveform Synthesis

abstract: Conditional waveform synthesis models learn a distribution of audio waveforms given conditioning such as text, mel-spectrograms, or MIDI. These systems employ deep generative models that model the waveform via either sequential (autoregressive) or parallel (non-autoregressive) sampling. Generative adversarial networks (GANs) have become a common choice for non-autoregressive waveform synthesis. However, state-of-the-art GAN-based models produce artifacts when performing mel-spectrogram inversion. In this paper, we demonstrate that these artifacts correspond with an inability for the generator to learn accurate pitch and periodicity. We show that simple pitch and periodicity conditioning is insufficient for reducing this error relative to using autoregression. We discuss the inductive bias that autoregression provides for learning the relationship between instantaneous frequency and phase, and show that this inductive bias holds even when autoregressively sampling large chunks of the waveform during each forward pass. Relative to prior state-of-the-art GAN-based models, our proposed model, Chunked Autoregressive GAN (CARGAN) reduces pitch error by 40-60%, reduces training time by 58%, maintains a fast generation speed suitable for real-time or interactive applications, and maintains or improves subjective quality.


title: Radiated momentum in the Post-Minkowskian worldline approach via reverse unitarity

abstract: We compute the four-momentum radiated during the scattering of two spinless bodies, at leading order in the Newton's contant $G$ and at all orders in the velocities, using the Effective Field Theory worldline approach. Following \cite{Mougiakakos:2021ckm}, we derive the conserved stress-energy tensor linearly coupled to gravity generated by localized sources, at leading and next-to-leading order in $G$, and from that the classical probability amplitude of graviton emission. The total emitted momentum is obtained by phase-space integration of the graviton momentum weighted by the modulo squared of the radiation amplitude. We recast this as a two-loop integral that we solve using techniques borrowed from particle physics, such as reverse unitarity, reduction to master integrals by integration-by-parts identities and canonical differential equations. The emitted momentum agrees with recent results obtained by other methods. Our approach provides an alternative way of directly computing radiated observables in the post-Minkowskian expansion without going through the classical limit of scattering amplitudes.


title: Dark Energy Survey Year 3 results: cosmology with moments of weak lensing mass maps

abstract: We present a cosmological analysis using the second and third moments of the weak lensing mass (convergence) maps from the first three years of data (Y3) data of the Dark Energy Survey (DES). The survey spans an effective area of 4139 square degrees and uses the images of over 100 million galaxies to reconstruct the convergence field. The second moment of the convergence as a function of smoothing scale contains information similar to standard shear 2-point statistics. The third moment, or the skewness, contains additional non-Gaussian information. The data is analysed in the context of the $\Lambda$CDM model, varying 5 cosmological parameters and 19 nuisance parameters modelling astrophysical and measurement systematics. Our modelling of the observables is completely analytical, and has been tested with simulations in our previous methodology study. We obtain a 1.7\% measurement of the amplitude of fluctuations parameter $S_8\equiv \sigma_8 (\Omega_m/0.3)^{0.5} = 0.784\pm 0.013$. The measurements are shown to be internally consistent across redshift bins, angular scales, and between second and third moments. In particular, the measured third moment is consistent with the expectation of gravitational clustering under the $\Lambda$CDM model. The addition of the third moment improves the constraints on $S_8$ and $\Omega_{\rm m}$ by $\sim$15\% and $\sim$25\% compared to an analysis that only uses second moments. We compare our results with {\it Planck} constraints from the Cosmic Microwave Background (CMB), finding a $2.2$ \textendash $2.8\sigma$ tension in the full parameter space, depending on the combination of moments considered. The third moment independently is in $2.8\sigma$ tension with {\it Planck}, and thus provides a cross-check on analyses of 2-point correlations.


title: Model Predictive Control for Automotive Climate Control Systems via Value Function Approximation

abstract: Among the auxiliary loads in light-duty vehicles, the air conditioning system is the single largest energy consumer. For electrified vehicles, the impact of heating and cooling loads becomes even more significant, as they compete with the powertrain for battery energy use and can significantly reduce the range or performance. While considerable work has been made in the field of optimal energy management for electrified vehicles and optimization of vehicle velocity for eco-driving, few contributions have addressed the application of energy-optimal control for heating and cooling loads. This paper proposes an energy management strategy for the thermal management system of an electrified powertrain, based on Model Predictive Control. Starting from a nonlinear model of the vapor compression refrigeration system that captures the dynamics of the refrigerant in the heat exchangers and the power consumption of the system, a constrained multi-objective optimal control problem is formulated to reduce energy consumption while tracking a desired thermal set point. An efficient implementation of MPC is proposed for real-time applications by introducing a terminal cost obtained from the approximation of the global optimal solution.


title: On the minimum number of distinct eigenvalues of a threshold graph

abstract: For a graph $G$, we associate a family of real symmetric matrices, $S(G)$, where for any $A\in S(G)$, the location of the nonzero off-diagonal entries of $A$ are governed by the adjacency structure of $G$. Let $q(G)$ be the minimum number of distinct eigenvalues over all matrices in $S(G)$. In this work, we give a characterization of all connected threshold graphs $G$ with $q(G)=2$. Moreover, we study the values of $q(G)$ for connected threshold graphs with trace $2$, $3$, $n-2$, $n-3$, where $n$ is the order of threshold graph. The values of $q(G)$ are determined for all connected threshold graphs with $7$ and $8$ vertices with two exceptions. Finally, a sharp upper bound for $q(G)$ over all connected threshold graph $G$ is given.


title: FaxPlainAC: A Fact-Checking Tool Based on EXPLAINable Models with HumAn Correction in the Loop

abstract: Fact-checking on the Web has become the main mechanism through which we detect the credibility of the news or information. Existing fact-checkers verify the authenticity of the information (support or refute the claim) based on secondary sources of information. However, existing approaches do not consider the problem of model updates due to constantly increasing training data due to user feedback. It is therefore important to conduct user studies to correct models' inference biases and improve the model in a life-long learning manner in the future according to the user feedback. In this paper, we present FaxPlainAC, a tool that gathers user feedback on the output of explainable fact-checking models. FaxPlainAC outputs both the model decision, i.e., whether the input fact is true or not, along with the supporting/refuting evidence considered by the model. Additionally, FaxPlainAC allows for accepting user feedback both on the prediction and explanation. Developed in Python, FaxPlainAC is designed as a modular and easily deployable tool. It can be integrated with other downstream tasks and allowing for fact-checking human annotation gathering and life-long learning.


title: Critical transitions in piecewise uniformly continuous concave quadratic ordinary differential equations

abstract: A critical transition for a system modelled by a concave quadratic scalar ordinary differential equation occurs when a small variation of the coefficients changes dramatically the dynamics, from the existence of an attractor-repeller pair of hyperbolic solutions to the lack of bounded solutions. In this paper, a tool to analyze this phenomenon for asymptotically nonautonomous ODEs with bounded uniformly continuous or bounded piecewise uniformly continuous coefficients is described, and used to determine the occurrence of critical transitions for certain parametric equations. Some numerical experiments contribute to clarify the applicability of this tool.


title: Translated sums of primitive sets

abstract: The Erd\H{o}s primitive set conjecture states that the sum $f(A) = \sum_{a\in A}\frac{1}{a\log a}$, ranging over any primitive set $A$ of positive integers, is maximized by the set of prime numbers. Recently Laib, Derbal, and Mechik proved that the translated Erd\H{o}s conjecture for the sum $f(A,h) = \sum_{a\in A}\frac{1}{a(\log a+h)}$ is false starting at $h=81$, by comparison with semiprimes. In this note we prove that such falsehood occurs already at $h= 1.04\cdots$, and show this translate is best possible for semiprimes. We also obtain results for translated sums of $k$-almost primes with larger $k$.


title: Parametrized tests of post-Newtonian theory using principal component analysis

abstract: Searching for departures from general relativity (GR) in more than one post-Newtonian (PN) phasing coefficients, called a \emph{multi-parameter test}, is known to be ineffective given the sensitivity of the present generation of gravitational-wave (GW) detectors. Strong degeneracies in the parameter space make the outcome of the test uninformative. We argue that Principal Component Analysis (PCA) can remedy this problem by constructing certain linear combinations of the original PN parameters that are better constrained by gravitational-wave observations. By analyzing binary black hole events detected during the first and second observing runs (O1 and O2) of LIGO/Virgo, we show that the two dominant principal components can capture the essence of a multi-parameter test. Combining five binary black hole mergers during O1/O2, we find that the dominant linear combination of the PN coefficients obtained from PCA is consistent with GR within the 0.38 standard deviation of the posterior distribution. Furthermore, using a set of simulated \emph{non-GR} signals in the three-detector LIGO-Virgo network with designed sensitivities, we find that the method is capable of excluding GR with high confidence as well as recovering the injected values of the non-GR parameters with good precision.


title: Quantifying Unitary Flow Efficiency and Entanglement for Many-Body Localization

abstract: We probe the bulk geometry of the Wegner Wilson Flow (WWF) in the context of many-body localization, by addressing efficiency and bulk entanglement growth measures through approximating upper bounds on the boundary entanglement entropy. We connect these upper bounds to the Fubini-Study metric and clarify how a central quantity, the information fluctuation complexity, distinguishes bulk unitary rotation from entanglement production. We also give a short new proof of the small incremental entangling theorem in the absence of ancillas, achieving a dimension-independent, universal factor of $c= 2$.


title: Continuous Control with Action Quantization from Demonstrations

abstract: In this paper, we propose a novel Reinforcement Learning (RL) framework for problems with continuous action spaces: Action Quantization from Demonstrations (AQuaDem). The proposed approach consists in learning a discretization of continuous action spaces from human demonstrations. This discretization returns a set of plausible actions (in light of the demonstrations) for each input state, thus capturing the priors of the demonstrator and their multimodal behavior. By discretizing the action space, any discrete action deep RL technique can be readily applied to the continuous control problem. Experiments show that the proposed approach outperforms state-of-the-art methods such as SAC in the RL setup, and GAIL in the Imitation Learning setup. We provide a website with interactive videos: https://google-research.github.io/aquadem/ and make the code available: https://github.com/google-research/google-research/tree/master/aquadem.


title: Summ^N: A Multi-Stage Summarization Framework for Long Input Dialogues and Documents

abstract: Text summarization helps readers capture salient information from documents, news, interviews, and meetings. However, most state-of-the-art pretrained language models (LM) are unable to efficiently process long text for many summarization tasks. In this paper, we propose Summ$^N$, a simple, flexible, and effective multi-stage framework for input texts that are longer than the maximum context length of typical pretrained LMs. Summ$^N$ first splits the data samples and generates a coarse summary in multiple stages and then produces the final fine-grained summary based on it. Our framework can process input text of arbitrary length by adjusting the number of stages while keeping the LM input size fixed. Moreover, it can deal with both single-source documents and dialogues, and it can be used on top of different backbone abstractive summarization models. To the best of our knowledge, Summ$^N$ is the first multi-stage split-then-summarize framework for long input summarization. Our experiments demonstrate that Summ$^N$ outperforms previous state-of-the-art methods by improving ROUGE scores on three long meeting summarization datasets AMI, ICSI, and QMSum, two long TV series datasets from SummScreen, and a long document summarization dataset GovReport. Our data and code are available at https://github.com/psunlpgroup/Summ-N.


title: Can Fortran's 'do concurrent' replace directives for accelerated computing?

abstract: Recently, there has been growing interest in using standard language constructs (e.g. C++'s Parallel Algorithms and Fortran's do concurrent) for accelerated computing as an alternative to directive-based APIs (e.g. OpenMP and OpenACC). These constructs have the potential to be more portable, and some compilers already (or have plans to) support such standards. Here, we look at the current capabilities, portability, and performance of replacing directives with Fortran's do concurrent using a mini-app that currently implements OpenACC for GPU-acceleration and OpenMP for multi-core CPU parallelism. We replace as many directives as possible with do concurrent, testing various configurations and compiler options within three major compilers: GNU's gfortran, NVIDIA's nvfortran, and Intel's ifort. We find that with the right compiler versions and flags, many directives can be replaced without loss of performance or portability, and, in the case of nvfortran, they can all be replaced. We discuss limitations that may apply to more complicated codes and future language additions that may mitigate them. The software and Singularity containers are publicly provided to allow the results to be reproduced.


title: Identifying Stroke Indicators Using Rough Sets

abstract: Stroke is widely considered as the second most common cause of mortality. The adverse consequences of stroke have led to global interest and work for improving the management and diagnosis of stroke. Various techniques for data mining have been used globally for accurate prediction of occurrence of stroke based on the risk factors that are associated with the electronic health care records (EHRs) of the patients. In particular, EHRs routinely contain several thousands of features and most of them are redundant and irrelevant that need to be discarded to enhance the prediction accuracy. The choice of feature-selection methods can help in improving the prediction accuracy of the model and efficient data management of the archived input features. In this paper, we systematically analyze the various features in EHR records for the detection of stroke. We propose a novel rough-set based technique for ranking the importance of the various EHR records in detecting stroke. Unlike the conventional rough-set techniques, our proposed technique can be applied on any dataset that comprises binary feature sets. We evaluated our proposed method in a publicly available dataset of EHR, and concluded that age, average glucose level, heart disease, and hypertension were the most essential attributes for detecting stroke in patients. Furthermore, we benchmarked the proposed technique with other popular feature-selection techniques. We obtained the best performance in ranking the importance of individual features in detecting stroke.


title: The Creation of Puffin, the Automatic Uncertainty Compiler

abstract: An uncertainty compiler is a tool that automatically translates original computer source code lacking explicit uncertainty analysis into code containing appropriate uncertainty representations and uncertainty propagation algorithms. We have developed an prototype uncertainty compiler along with an associated object-oriented uncertainty language in the form of a stand-alone Python library. It handles the specifications of input uncertainties and inserts calls to intrusive uncertainty quantification algorithms in the library. The uncertainty compiler can apply intrusive uncertainty propagation methods to codes or parts of codes and therefore more comprehensively and flexibly address both epistemic and aleatory uncertainties.


title: Angular-Radial Integrability of Coulomb-like Potentials in Dirac Equations

abstract: We consider the Dirac equation, written in polar formalism, in presence of general Coulomb-like potentials, that is potentials arising from the time component of the vector potential and depending only on the radial coordinate, in order to study the conditions of integrability, given as some specific form for the solution: we find that the angular dependence can always be integrated, while the radial dependence is reduced to finding the solution of a Riccati equation so that it is always possible at least in principle. We exhibit the known case of the Coulomb potential and one special generalization as examples to show the versatility of the method.


title: Limitation in velocity of converging shock wave

abstract: The commonly applied self-similar solution of the problem of the converging shock wave (shock) evolution with constant compression of the medium behind the shock front results in an unlimited increase of the medium velocity in the vicinity of the implosion. In this paper, the convergence of cylindrical shocks in water is analyzed using the mass conservation law, when the water compression behind the shock front is a variable. The model predicts a finite range of radii, which depends on the adiabatic index of water and where the increase in pressure exceeds the sum of the change of the kinetic and internal energy densities behind the shock front. In this range of radii only the finite increase of the shock and water flow velocities is realized.


title: Cross-Sim-NGF: FFT-Based Global Rigid Multimodal Alignment of Image Volumes using Normalized Gradient Fields

abstract: Multimodal image alignment involves finding spatial correspondences between volumes varying in appearance and structure. Automated alignment methods are often based on local optimization that can be highly sensitive to their initialization. We propose a global optimization method for rigid multimodal 3D image alignment, based on a novel efficient algorithm for computing similarity of normalized gradient fields (NGF) in the frequency domain. We validate the method experimentally on a dataset comprised of 20 brain volumes acquired in four modalities (T1w, Flair, CT, [18F] FDG PET), synthetically displaced with known transformations. The proposed method exhibits excellent performance on all six possible modality combinations, and outperforms all four reference methods by a large margin. The method is fast; a 3.4Mvoxel global rigid alignment requires approximately 40 seconds of computation, and the proposed algorithm outperforms a direct algorithm for the same task by more than three orders of magnitude. Open-source implementation is provided.


title: Compactness of Brane Moduli and the String Lamppost Principle in $d>6$

abstract: We demonstrate the validity of the String Lamppost Principle-that all consistent theories of quantum gravity are in the String Landscape-for supersymmetric theories in $d>6$ using compactness and connectedness of the moduli space of small instantons, as well as the classification of the associated Coulomb branch.


title: Mapping the pressure-dependent day-night temperature contrast of a strongly irradiated atmosphere with HST spectroscopic phase curve

abstract: Many brown dwarfs are on ultra-short period and tidally-locked orbits around white dwarf hosts. Because of these small orbital separations, the brown dwarfs are irradiated at levels similar to hot Jupiters. Yet, they are easier to observe than hot Jupiters because white dwarfs are fainter than main-sequence stars at near-infrared wavelengths. Irradiated brown dwarfs are, therefore, ideal hot Jupiter analogs for studying the atmospheric response under strong irradiation and fast rotation. We present the 1.1--1.67$\rm \mu m$ spectroscopic phase curve of the irradiated brown dwarf (SDSS1411-B) in the SDSS J141126.20+200911.1 brown-dwarf white-dwarf binary with the near-infrared G141 grism of Hubble Space Telescope Wide Field Camera 3. SDSS1411-B is a $50~\rm M_{\rm Jup}$ brown dwarf with an irradiation temperature of 1300K and has an orbital period of 2.02864 hours. Our best-fit model suggests a phase-curve amplitude of 1.4$\%$ and places an upper limit of 11 degrees for the phase offset from the secondary eclipse. After fitting the white-dwarf spectrum, we extract the phase-resolved brown-dwarf emission spectra. We report a highly wavelength-dependent day-night spectral variation, with the water-band flux variation of about $360\pm70\% $ and a comparatively small J-band flux variation of $37\pm2\%$. By combining the atmospheric modeling results and the day-night brightness-temperature variations, we derive a pressure-dependent temperature contrast. We discuss the difference in the spectral features of SDSS1411-B and hot Jupiter WASP-43b, and the lower-than-predicted day-night temperature contrast of J4111-BD. Our study provides the high-precision observational constraints on the atmospheric structures of an irradiated brown dwarf at different orbital phases.


title: Orders of Vanishing and U(1) Charges in F-theory

abstract: Many interesting questions about F-theory models, including several concerning the F-theory swampland, involve massless matter charged under U(1) gauge symmetries. It is therefore important to better understand the geometric properties of F-theory models realizing various U(1) charges. We propose that, for F-theory models described by elliptic fibrations in Weierstrass form, the U(1) charge of light matter is encoded in the orders of vanishing of the section components corresponding to the U(1) gauge symmetry. We give specific equations relating the U(1) charges to the orders of vanishing that seem to hold for both U(1)-charged singlets and for matter additionally charged under a simply-laced nonabelian gauge algebra. Our formulas correctly describe properties of F-theory models in the prior literature, and we give an argument that they should describe the orders of vanishing for arbitrarily high U(1) charges. They also resemble formulas for the $p$-adic valuations of elliptic divisibility sequences developed by Stange [arXiv:1108.3051]. These proposals could serve as a U(1) analogue of the Katz-Vafa method, allowing one to determine U(1) charges without resolution. Additionally, they predict geometric information about F-theory models with general U(1) charges, which may be useful for exploring the F-theory landscape and swampland.


title: Scale vs. Conformal Invariance at the IR Fixed Point of Quantum Gravity

abstract: We examine the question of scale vs. conformal invariance for the linearized Einstein-Hilbert action, which describes the IR fixed point of quantum gravity. In $D = 4$, although the action is not conformally invariant in the usual sense, we explicitly show that the theory is a conformal field theory at the level of correlation functions. In higher dimensions, we show that the theory is scale but not conformally invariant, but can be embedded into a larger non-unitary conformal field theory, analogous to what has been found for Maxwell theory in $D>4$. We give evidence that similar statements are true for all free higher spin theories.


title: Precision analysis of the redshift-space galaxy bispectrum

abstract: We study the information content of the angle-averaged (monopole) redshift space galaxy bispectrum. The main novelty of our approach is the use of a systematic tree-level perturbation theory model that includes galaxy bias, IR resummation, and also accounts for nonlinear redshift space distortions, binning, and projection effects. We analyze data from the PT challenge simulations, whose cumulative volume of 566 $h^{-3}$Gpc$^3$ allows for a precise comparison to theoretical predictions. Fitting the power spectrum and bispectrum of our simulated data, and varying all necessary cosmological and nuisance parameters in a consistent Markov chain Monte Carlo analysis, we find that our tree-level bispectrum model is valid up to $k_{\max}=0.08~h{\rm Mpc}^{-1}$ (at $z=0.61$). We also find that inclusion of the bispectrum monopole improves constraints on cosmological parameters by $(5-15)\%$ relative to the power spectrum. The improvement is more significant for the quadratic bias parameters of our simulated galaxies, which we also show to deviate from biases of the host dark matter halos at the $\sim 3\sigma$ level. Finally, we adjust the covariance and scale cuts to match the volume of the BOSS survey, and estimate that within the minimal $\Lambda$CDM model the bispectrum data can tighten the constraint on the mass fluctuation amplitude $\sigma_8$ by roughly $10\%$.


title: HST/WFC3 Complete Phase-resolved Spectroscopy of White Dwarf-Brown Dwarf Binaries WD 0137 and EPIC 2122

abstract: Brown dwarfs in close-in orbits around white dwarfs offer an excellent opportunity to investigate properties of fast-rotating, tidally-locked, and highly-irradiated atmospheres. We present Hubble Space Telescope Wide Field Camera 3 G141 phase-resolved observations of two brown dwarf-white dwarf binaries: WD 0137-349 and EPIC 212235321. Their 1.1 to 1.7 $\mu$m phase curves demonstrate rotational modulations with semi-amplitudes of $5.27\pm0.02$% and $29.1\pm0.1$%; both can be well fit by multi-order Fourier series models. The high-order Fourier components have the same phase as the first order and are likely caused by hot spots located at the substellar points, suggesting inefficient day/night heat transfer. Both brown dwarfs' phase-resolved spectra can be accurately represented by linear combinations of their day- and night-side spectra. Fitting the irradiated brown dwarf model grids to the day-side spectra require a filling factor of ~50%, further supporting a hot spot dominating the emission of the day-sides. The night-side spectrum of WD 0137-349B is reasonably well fit by non-irradiated substellar models and the one of EPIC 212235321B can be approximated by a Planck function. We find strong spectral variations in the brown dwarfs' day/night flux and brightness temperature contrasts, which highlights the limitations of band-integrated measurements in probing heat transfer in irradiated objects. On the color-magnitude diagram, WD 0137-349B evolves along a cloudless model track connecting the early-L and mid-T spectral types, demonstrating that clouds and disequilibrium chemistry have a negligible effect on this object. A full interpretation of these high-quality phase-resolved spectra calls for new models that couple atmospheric circulation and radiative transfer under high-irradiation conditions.


title: On the Formation of an Eccentric Nuclear Disk following the Gravitational Recoil Kick of a Supermassive Black Hole

abstract: The anisotropic emission of gravitational waves during the merger of two supermassive black holes can result in a recoil kick of the merged remnant. We show here that eccentric nuclear disks - stellar disks of eccentric, apse-aligned orbits - can directly form as a result. An initially circular disk of stars will align orthogonal to the black hole kick direction with a distinctive 'tick-mark' eccentricity distribution and a spiral pattern in mean anomaly.


title: Cosmological forecasts with the clustering of weak lensing peaks

abstract: Maximising the information that can be extracted from weak lensing measurements is a key goal for upcoming surveys such as LSST and Euclid. This is typically achieved through statistics that are complementary to the cosmic shear two-point correlation function, the most well established of which is the weak lensing peak abundance. In this work, we study the clustering of weak lensing peaks, and present parameter constraint forecasts for an LSST-like survey. We use the cosmoslics $w$CDM simulations to measure the peak two-point correlation function for a range of cosmological parameters, and use the simulation data to train a Gaussian process regression emulator which is applied to generate likelihood contours and provide parameter constraint forecasts from mock observations. We investigate the dependence of the peak two-point correlation function on the peak height, and find that the clustering of low amplitude peaks is complementary to that of high amplitude peaks. Consequently, their combination gives significantly tighter constraints than the clustering of high peaks alone. The peak two-point correlation function is significantly more sensitive to the cosmological parameters $h$ and $w_0$ than the peak abundance, and when the probes are combined, constraints on $\Omega_{\rm m}$, $S_8$, $h$ and $w_0$ improve by at least a factor of two, relative to the peak abundance alone. Finally, we compare the forecasts for weak lensing peaks and weak lensing voids, and show that the two are also complementary; both probes can offer better constraints on $S_8$ and $w_0$ than the shear correlation function by roughly a factor of two.


title: NAS-HPO-Bench-II: A Benchmark Dataset on Joint Optimization of Convolutional Neural Network Architecture and Training Hyperparameters

abstract: The benchmark datasets for neural architecture search (NAS) have been developed to alleviate the computationally expensive evaluation process and ensure a fair comparison. Recent NAS benchmarks only focus on architecture optimization, although the training hyperparameters affect the obtained model performances. Building the benchmark dataset for joint optimization of architecture and training hyperparameters is essential to further NAS research. The existing NAS-HPO-Bench is a benchmark for joint optimization, but it does not consider the network connectivity design as done in modern NAS algorithms. This paper introduces the first benchmark dataset for joint optimization of network connections and training hyperparameters, which we call NAS-HPO-Bench-II. We collect the performance data of 4K cell-based convolutional neural network architectures trained on the CIFAR-10 dataset with different learning rate and batch size settings, resulting in the data of 192K configurations. The dataset includes the exact data for 12 epoch training. We further build the surrogate model predicting the accuracies after 200 epoch training to provide the performance data of longer training epoch. By analyzing NAS-HPO-Bench-II, we confirm the dependency between architecture and training hyperparameters and the necessity of joint optimization. Finally, we demonstrate the benchmarking of the baseline optimization algorithms using NAS-HPO-Bench-II.


title: Non-Linear Arrhenius Behavior of Self-Diffusion in $\beta$-Ti and Mo

abstract: While anomalous diffusion coefficients with non-Arrhenius like temperature dependence are observed in a number of metals, a conclusive comprehensive framework of explanation has not been brought forward to date. Here, we use first-principles calculations based on density functional theory to calculate self-diffusion coefficients in the bcc metals Mo and $\beta$-Ti by coupling quasiharmonic transition state theory and large displacement phonon calculations and show that anharmonicity from thermal expansion is the major reason for the anomalous temperature dependence. We use a modified Debye approach to quantify the thermal expansion over the entire temperature range and introduce a method to relax the vacancy structure in a mechanically unstable crystal such as $\beta$-Ti. Thermal expansion is found to weakly affect the activation enthalpy but has a strong effect on the prefactor of the diffusion coefficient, reproducing the non-linear, non-Arrhenius "anomalous" self-diffusion in both bcc systems with good agreement between calculation and experiment. The proposed methodology is general and simple enough to be applicable to other mechanically unstable crystals.


title: Anomalous Electromagnetic Field Penetration in a Weyl or Dirac Semimetal

abstract: The current response to an electromagnetic field in a Weyl or Dirac semimetal becomes nonlocal due to the chiral anomaly activated by an applied static magnetic field. The nonlocality develops under the conditions of the normal skin effect and is related to the valley charge imbalance generated by the joint effect of the electric field of the impinging wave and the static magnetic field. We elucidate the signatures of this nonlocality in the transmission of electromagnetic waves. The signatures include enhancement of the transmission amplitude and its specific dependence on the wave's frequency and the static magnetic field strength.


title: Rate limits in quantum networks with lossy repeaters

abstract: The derivation of ultimate limits to communication over certain quantum repeater networks have provided extremely valuable benchmarks for assessing near-term quantum communication protocols. However, these bounds are usually derived in the limit of ideal devices and leave questions about the performance of practical implementations unanswered. To address this challenge, we quantify how the presence of loss in repeater stations affect the maximum attainable rates for quantum communication over linear repeater chains and more complex quantum networks. Extending the framework of node splitting, we model the loss introduced at the repeater stations and then prove the corresponding limits. In the linear chain scenario we show that, by increasing the number of repeater stations, the maximum rate cannot overcome a quantity which solely depends on the loss of a single station. We introduce a way of adapting the standard machinery for obtaining bounds to this realistic scenario. The difference is that whilst ultimate limits for any strategy can be derived given a fixed channel, when the repeaters introduce additional decoherence, then the effective overall channel is itself a function of the chosen repeater strategy (e.g., one-way versus two-way classical communication). Classes of repeater strategies can be analysed using additional modelling and the subsequent bounds can be interpreted as the optimal rate within that class.


title: Confinement and Flux Attachment

abstract: Flux-attached theories are a novel class of lattice gauge theories whose gauge constraints involve both electric and magnetic operators. Like ordinary gauge theories, they possess confining phases. Unlike ordinary gauge theories, their confinement does not imply a trivial gapped vacuum. This paper will offer three lessons about the confining phases of flux-attached $\mathbb Z_K$ theories in two spatial dimensions. First, on an arbitrary orientable lattice, flux attachment that satisfies a simple, explicitly derived criterion leads to a confining theory whose low-energy behavior is captured by an action of a general Chern-Simons form. Second, on a square lattice, this criterion can be solved, and all theories that satisfy it can be enumerated. The simplest such theory has an action given by a difference of two Chern-Simons terms, and it features a kind of subsystem symmetry that causes its topological entanglement entropy to behave pathologically. Third, the simplest flux-attached theory on a square lattice that does not satisfy the above criterion is exactly solvable when the gauge group is $\mathbb Z_2$. On a torus, its confined phase possesses a twofold topological degeneracy that stems from a sum over spin structures in a dual fermionic theory. This makes this flux-attached $\mathbb Z_2$ theory an appealing candidate for a microscopic description of a $\mathrm U(1)_2$ Chern-Simons theory.

categories: hep-th cond-mat.stat-mech cond-mat.str-el hep-lat math-ph math.MP


title: High-temperature transport and polaron speciation in the anharmonic Holstein model

abstract: We study the finite-temperature transport of electrons coupled to anharmonic local phonons. Our focus is on the high-temperature incoherent regime, where controlled calculations are possible both for weak and strong electron--phonon coupling. At strong coupling, the dynamics is described in terms of a multiple-species gas of small polarons: this emergent `speciation' is driven by energy conservation. We explicitly compute the dc and ac response in this regime. We discuss the breakdown of the polaron picture, and the onset of localization, in the limit where phonons become quasistatic.


title: Statistical learning of engineered topological phases in the kagome superlattice of AV$_3$Sb$_5$

abstract: Recent experimental findings have reported the presence of unconventional charge orders in the enlarged ($2 \times 2$) unit-cell of kagome metals AV$_3$Sb$_5$ (A=K,Rb,Cs) and hinted towards specific topological signatures. Motivated by these discoveries, we investigate the types of topological phases that can be realized in such kagome superlattices. In this context, we employ a recently introduced statistical method capable of constructing topological models for any generic lattice. By analyzing large data sets generated from symmetry-guided distributions of randomized tight-binding parameters, and labeled with the corresponding topological index, we extract physically meaningful information. We illustrate the possible real-space manifestations of charge and bond modulations and associated flux patterns for different topological classes, and discuss their relation to present theoretical predictions and experimental signatures for the AV$_3$Sb$_5$ family. Simultaneously, we predict new higher-order topological phases that may be realized by appropriately manipulating the currently known systems.


title: Nematic, chiral and topological superconductivity in transition metal dichalcogenides

abstract: We introduce and study a realistic model for superconductivity in twisted bilayer WSe$_{2}$, where electron pairing arises from spin-valley fluctuations in the weak-coupling regime. Our model comprises both the full continuum model moir\'{e} bandstructure and a short-ranged repulsive interaction. By calculating the spin-valley susceptibility, we identify a Fermi surface nesting feature near half-filling of the top-most moir\'{e} band, which induces significantly enhanced spin-valley fluctuations. We then analyze the dominant Kohn-Luttinger pairing instabilities due to these spin-valley fluctuations and show that the leading instability corresponds to a two-component order parameter, which can give rise to nematic, chiral and topological superconductivity. As our findings are asymptotically exact for small interaction strengths, they provide a viable starting point for future studies of superconductivity in twisted transition metal dichalcogenide bilayers.


title: A Force Explosion Condition for Spherically Symmetric Core-collapse Supernovae

abstract: Understanding which stars explode leaving behind neutron stars and which stars collapse forming black holes remains a fundamental astrophysical problem. We derive an analytic explosion condition for spherically symmetric core-collapse supernovae. The derivation starts with the exact governing equations, considers the balance of integral forces, includes the important dimensionless parameters, and includes an explicit set of self-consistent approximations. The force explosion condition is $\tilde{L}_\nu\tau_g - 0.06 \tilde{\kappa} > 0.38$, and only depends upon two dimensionless parameters. The first compares the neutrino power deposited in the gain region with the accretion power, $\tilde{L}_\nu \tau_g = L_{\nu} \tau_g R_{\rm NS}/ ( G \dot{M} M_{\rm NS})$. The second, $\tilde{\kappa} = \kappa \dot{M} / \sqrt{G M_{\rm NS} R_{\rm NS}}$, parameterizes the neutrino optical depth in the accreted matter near the neutron-star surface. Over the years, many have proposed approximate explosion conditions: the critical neutrino-luminosity, ante-sonic, and timescale conditions. We are able to derive these other conditions from the force explosion condition, which unifies them all. Using numerical, steady-state and fully hydrodynamic solutions, we test the explosion condition. The success of these tests is promising in two ways. One, the force explosion condition helps to illuminate the underlying physics of explosions. Two, this condition may be a useful explosion diagnostic for more realistic, three-dimensional radiation hydrodynamic core-collapse simulations.


title: Hand-Object Contact Prediction via Motion-Based Pseudo-Labeling and Guided Progressive Label Correction

abstract: Every hand-object interaction begins with contact. Despite predicting the contact state between hands and objects is useful in understanding hand-object interactions, prior methods on hand-object analysis have assumed that the interacting hands and objects are known, and were not studied in detail. In this study, we introduce a video-based method for predicting contact between a hand and an object. Specifically, given a video and a pair of hand and object tracks, we predict a binary contact state (contact or no-contact) for each frame. However, annotating a large number of hand-object tracks and contact labels is costly. To overcome the difficulty, we propose a semi-supervised framework consisting of (i) automatic collection of training data with motion-based pseudo-labels and (ii) guided progressive label correction (gPLC), which corrects noisy pseudo-labels with a small amount of trusted data. We validated our framework's effectiveness on a newly built benchmark dataset for hand-object contact prediction and showed superior performance against existing baseline methods. Code and data are available at https://github.com/takumayagi/hand_object_contact_prediction.


title: The origins of massive black holes

abstract: Massive black holes (MBHs) inhabit galaxy centers, power luminous quasars and Active Galactic Nuclei (AGN) and shape their cosmic environment with the energy they produce. The origins of MBHs remain a mystery and the recent detection by LIGO/Virgo of an almost 150 solar mass black hole has revitalized the question of whether there is a continuum between "stellar" and "massive" black holes and what the seeds of MBHs are. Seeds could have formed in the first galaxies, or could be also related to the collapse of horizon-sized regions in the early Universe. Understanding the origins of MBHs straddles fundamental physics, cosmology and astrophysics and it bridges the fields of gravitational wave physics and traditional astronomy. With several facilities in the next 10-15 years we foresee the possibility of discovering MBHs' avenues of formation. In this article we link three main topics: the channels of black hole seed formation, the journey from seeds to massive black holes, the diagnostics on the origins of MBHs. We highlight and critically discuss current unsolved problems and touch on recent developments that stirred the community.


title: The Search for the Farthest Quasar: Consequences for Black Hole Growth and Seed Models

abstract: The quest for high-redshift quasars has led to a series of record-breaking sources, with the current record holder at $z=7.642$. Here, we show how future detections of $z>8$ quasars impact the constraints on the parameters for black hole growth and seed models. Using broad flat priors on the growth parameters (Eddington ratio $\,f_{\rm Edd}$, duty cycle ${\cal D}$, seed mass $M_{\rm \bullet, seed}$ and radiative efficiency $\epsilon$), we show that the large uncertainties in their determination decrease by a factor $\sim 5$ when a quasar's detection redshift goes from $z=9$ to $z=12$. In this high-redshift regime, $\epsilon$ tends to the lowest value allowed, and the distribution for $M_{\rm \bullet, seed}$ peaks well inside the heavy seed domain. Remarkably, two quasars detected at $z > 7$ with low accretion rates (J1243+0100 and J0313-1806) already tighten the available parameter space, requiring $M_{\rm \bullet, seed} > 10^{3.5} \,{\rm M_\odot}$ and $\epsilon < 0.1$. The radiative efficiency is a crucial unknown, with factor $\sim 2$ changes able to modify the predicted mass by $\sim 3$ orders of magnitude already at $z\sim 9$. The competing roles of inefficient accretion (decreasing $\epsilon$) and black hole spin-up (increasing $\epsilon$) significantly impact growth models. Finally, we suggest that yields currently predicted by upcoming quasar surveys (e.g., Euclid) will be instrumental for determining the most-likely seed mass regime. For example, assuming thin-disk accretion, a detection of a quasar with $M_\bullet \sim 10^{10} \,{\rm M_\odot}$ by $z\sim 9-10$ would exclude the entire parameter space available for light seeds and dramatically reduce the one for heavy seeds.


title: Constraining CP-violation in the Higgs-top-quark interaction using machine-learning-based inference

abstract: While CP violation in the Higgs interactions with massive vector boson is already tightly constrained, the CP nature of the Higgs interactions with fermions is far less constrained. In this work, we assess the potential of machine-learning-based inference methods to constrain CP violation in the Higgs top-Yukawa coupling. This approach enables the use of the full available kinematic information. Concentrating on top-associated Higgs production with the Higgs decaying to two photons, we derive expected exclusion bounds for the LHC and the high-luminosity phase of the LHC. We also study the dependence of these bounds on the Higgs interaction with massive vector bosons and their robustness against theoretical uncertainties. In addition to deriving expected exclusion bounds, we discuss at which level a non-zero CP-violating top-Yukawa coupling can be distinguished from the SM. Moreover, we analyze which kinematic distributions are most sensitive to a CP-violating top-Yukawa coupling.


title: Repulsive Black Holes and Higher-Derivatives

abstract: In two-derivative theories of gravity coupled to matter, charged black holes are self-attractive at large distances, with the force vanishing at zero temperature. However, in the presence of massless scalar fields and four-derivative corrections, zero-temperature black holes no longer need to obey the no-force condition. In this paper, we show how to calculate the long-range force between such black holes. We develop an efficient method for computing the higher-derivative corrections to the scalar charges when the two-derivative theory has a shift symmetry, and compute the resulting force in a variety of examples. We find that higher-derivative corrected black holes may be self-attractive or self-repulsive, depending on the value of the Wilson coefficients and the VEVs of scalar moduli. Indeed, we find black hole solutions which are both superextremal and self-attractive. Furthermore, we present examples where no choice of higher-derivative coefficients allows for self-repulsive black hole states in all directions in charge space. This suggests that, unlike the Weak Gravity Conjecture, which may be satisfied by the black hole spectrum alone, the Repulsive Force Conjecture requires additional constraints on the spectrum of charged particles.


title: TMDs as a platform for spin liquid physics: A strong coupling study of twisted bilayer WSe$_2$

abstract: The advent of twisted moir\'e heterostructures as a playground for strongly correlated electron physics has led to a plethora of experimental and theoretical efforts seeking to unravel the nature of the emergent superconducting and insulating states. Amongst these layered compositions of two dimensional materials, transition metal dichalcogenides (TMDs) are by now appreciated as highly-tunable platforms to simulate reinforced electronic interactions in the presence of low-energy bands with almost negligible bandwidth. Here, we focus on the twisted homobilayer WSe$_2$ and the insulating phase at half-filling of the flat bands reported therein. More specifically, we explore the possibility of realizing quantum spin liquid (QSL) physics on the basis of a strong coupling description, including up to second nearest neighbor Heisenberg couplings $J_1$ and $J_2$, as well as Dzyaloshinskii-Moriya (DM) interactions. Mapping out the global phase diagram as a function of an out-of-plane displacement field, we indeed find evidence for putative QSL states, albeit only close to SU$(2)$ symmetric points. In the presence of finite DM couplings and XXZ anisotropy, long-range order is predominantly present, with a mix of both commensurate and incommensurate magnetic phases.


title: Dynamical Signatures of Rank-2 $U(1)$ Spin Liquids

abstract: Emergent $U(1)$ gauge theories and artificial photons in frustrated magnets are outstanding examples of many-body collective phenomena. The classical and quantum regimes of these systems provide platforms for classical and quantum spin liquids, and are the subject of current active theoretical and experimental investigations. Recently, realizations of rank-2 $U(1)$ (R2-U1) gauge theories in three-dimensional frustrated magnets have been proposed. Such systems in the quantum regime may lead to the so-called fracton ordered phases -- a new class of topological order that has been associated with quantum stabilizer codes and holography. However, there exist few distinguishing characteristics of these states for their detection in real materials. Here we focus on the classical limit, and present the dynamical spin structure factor for a R2-U1 spin liquid state on a breathing pyrochlore lattice. Remarkably, we find unique signatures of the R2-U1 state, and we contrast them with the results obtained from a more conventional $U(1)$ spin liquid. These results provide a new path of investigation for future inelastic neutron scattering experiments on candidate materials.


title: Spatially Resolved X-ray Study of Supernova Remnant G306.3$-$0.9 with Unusually High Calcium Abundance

abstract: G306.3$-$0.9 is an asymmetric Galactic supernova remnant (SNR), whose progenitor has been thought to be a Type Ia supernova (SN), but its high Ca abundance appears inconsistent with the Type Ia origin. Hoping to uncover the reason for its asymmetry and the origin of this SNR, we performed a spatially resolved X-ray spectroscopic analysis of XMM-Newton and Chandra observation data. We divided the SNR into 13 regions and analyzed the spectra using two-temperature models (0.2 keV + 1 keV). Compared to the southwestern regions, the northeastern regions have higher metal abundances and a lower gas density. This suggests that the asymmetric morphology results from the non-uniform ambient environment. We found that neither Type Ia nor core-collapse SN models can account for the abnormally high abundance ratios of Ar/Si, Ca/Si, or the shape of the abundance curve. A comparison with the Ca-rich transient models shows that G306.3$-$0.9 is likely to be the first identified Galactic "Ca-rich transient" remnant, although the theoretical production of element S is lower. We also note that the conclusion for the SNR's origin relies on the measured abundance ratios and existing nucleosynthesis models. Between two groups of Ca-rich transient explosion models, we prefer the He shell detonation for an accreting WD, rather than the merger of a white dwarf and a neutron star.


title: European VLBI Network Observations of the Proposed Dual AGN SDSS J101022.95+141300.9

abstract: During galaxy merger events, the supermassive black holes in the center of the galaxies may form a pair of active galactic nuclei (AGN) with kpc-scale or even pc-scale separation. Recently, optical observations revealed a promising dual AGN candidate at the center of the galaxy SDSS J101022.95$+$141300.9 (hereafter J1010$+$1413). The presence of two distinct [O III]-emitting point sources with a projected separation of $\sim 430$ pc indicates a dual AGN system. To search for AGN-dominated radio emission originating from the Hubble Space Telescope (HST) point sources, we carried out very long baseline interferometry observations. We resolved the radio structure of J1010$+$1413 and detected a single feature offset from the HST point sources and also from the Gaia optical position of the object. Our multi-wavelength analysis of J1010$+$1413 inferred two possible interpretations of the observed properties challenging its proposed dual AGN classification.


title: Cascaded Cross MLP-Mixer GANs for Cross-View Image Translation

abstract: It is hard to generate an image at target view well for previous cross-view image translation methods that directly adopt a simple encoder-decoder or U-Net structure, especially for drastically different views and severe deformation cases. To ease this problem, we propose a novel two-stage framework with a new Cascaded Cross MLP-Mixer (CrossMLP) sub-network in the first stage and one refined pixel-level loss in the second stage. In the first stage, the CrossMLP sub-network learns the latent transformation cues between image code and semantic map code via our novel CrossMLP blocks. Then the coarse results are generated progressively under the guidance of those cues. Moreover, in the second stage, we design a refined pixel-level loss that eases the noisy semantic label problem with more reasonable regularization in a more compact fashion for better optimization. Extensive experimental results on Dayton~\cite{vo2016localizing} and CVUSA~\cite{workman2015wide} datasets show that our method can generate significantly better results than state-of-the-art methods. The source code and trained models are available at https://github.com/Amazingren/CrossMLP.


title: Angular systematics-free cosmological analysis of galaxy clustering in configuration space

abstract: Galaxy redshift surveys are subject to incompleteness and inhomogeneous sampling due to the various constraints inherent to spectroscopic observations. This can introduce systematic errors on the summary statistics of interest, which need to be mitigated in cosmological analysis to achieve high accuracy. Standard practices involve applying weighting schemes based on completeness estimates across the survey footprint, possibly supplemented with additional weighting schemes accounting for density-dependent effects. In this work, we concentrate on pure angular systematics and describe an alternative approach consisting in analysing the galaxy two-point correlation function where angular modes are nulled. By construction, this procedure removes all possible known and unknown sources of angular observational systematics, but also part of the cosmological signal.We use a modified Landy-Szalay estimator for the two-point correlation function that relies on an additional random catalogue where angular positions are randomly drawn from the galaxy catalogue, and provide an analytical model to describe this modified statistic. We test the model by performing an analysis of the full anisotropic clustering in mock catalogues of luminous red and emission-line galaxies at 0.43 < z < 1.1. We find that the model fully accounts for the modified correlation function in redshift space, without introducing new nuisance parameters. The derived cosmological parameters from the analysis of baryon acoustic oscillations and redshift-space distortions display slightly larger statistical uncertainties, mostly for the growth rate of structure parameter fs8 that exhibits a 50% statistical error increase, but free from angular systematic error.


title: GenNI: Human-AI Collaboration for Data-Backed Text Generation

abstract: Table2Text systems generate textual output based on structured data utilizing machine learning. These systems are essential for fluent natural language interfaces in tools such as virtual assistants; however, left to generate freely these ML systems often produce misleading or unexpected outputs. GenNI (Generation Negotiation Interface) is an interactive visual system for high-level human-AI collaboration in producing descriptive text. The tool utilizes a deep learning model designed with explicit control states. These controls allow users to globally constrain model generations, without sacrificing the representation power of the deep learning models. The visual interface makes it possible for users to interact with AI systems following a Refine-Forecast paradigm to ensure that the generation system acts in a manner human users find suitable. We report multiple use cases on two experiments that improve over uncontrolled generation approaches, while at the same time providing fine-grained control. A demo and source code are available at https://genni.vizhub.ai .


title: Matching methods for truncation by death problems

abstract: Even in a carefully designed randomized trial, outcomes for some study participants can be missing, or more precisely, ill-defined, because participants had died prior to date of outcome collection. This problem, known as truncation by death, means that the treated and untreated are no longer balanced with respect to covariates determining survival. Therefore, researchers often utilize principal stratification and focus on the Survivor Average Causal Effect (SACE). The SACE is the average causal effect among the subpopulation that will survive regardless of treatment status. In this paper, we present matching-based methods for SACE identification and estimation. We provide an identification result for the SACE that motivates the use of matching to restore the balance among the survivors. We discuss various practical issues, including the choice of distance measures, possibility of matching with replacement, and post-matching crude and model-based SACE estimators. Simulation studies and data analysis demonstrate the flexibility of our approach. Because the cross-world assumptions needed for SACE identification can be too strong, we also present sensitivity analysis techniques and illustrate their use in real data analysis. Finally, we show how our approach can also be utilized to estimate conditional separable effects, a recently-proposed alternative for the SACE.


title: Sky Is Not the Limit: Tighter Rank Bounds for Elevator Automata in B\"{u}chi Automata Complementation (Technical Report)

abstract: We propose several heuristics for mitigating one of the main causes of combinatorial explosion in rank-based complementation of B\"{u}chi automata (BAs): unnecessarily high bounds on the ranks of states. First, we identify elevator automata, which is a large class of BAs (generalizing semi-deterministic BAs), occurring often in practice, where ranks of states are bounded according to the structure of strongly connected components. The bounds for elevator automata also carry over to general BAs that contain elevator automata as a sub-structure. Second, we introduce two techniques for refining bounds on the ranks of BA states using data-flow analysis of the automaton. We implement out techniques as an extension of the tool Ranker for BA complementation and show that they indeed greatly prune the generated state space, obtaining significantly better results and outperforming other state-of-the-art tools on a large set of benchmarks.