title: Characterization of Asymmetric Gap-Engineered Josephson Junctions and 3D Transmon Qubits

abstract: We have fabricated and characterized asymmetric gap-engineered junctions and transmon devices. To create Josephson junctions with asymmetric gaps, Ti was used to proximitize and lower the superconducting gap of the Al counter-electrode. DC IV measurements of these small, proximitized Josephson junctions show a reduced gap and larger excess current for voltage biases below the superconducting gap when compared to standard Al/AlOx/Al junctions. The energy relaxation time constant for an Al/AlOx/Al/Ti 3D transmon was T1 = 1 {\mu}s, over two orders of magnitude shorter than the measured T1 = 134 {\mu}s of a standard Al/AlOx/Al 3D transmon. Intentionally adding disorder between the Al and Ti layers reduces the proximity effect and subgap current while increasing the relaxation time to T1 = 32 {\mu}s.


title: Keeping matter in the loop in dS$_3$ quantum gravity

abstract: We propose a mechanism that couples matter fields to three-dimensional de Sitter quantum gravity. Our construction is based on the Chern-Simons formulation of three-dimensional Euclidean gravity, and it centers on a collection of Wilson loops winding around Euclidean de Sitter space. We coin this object a Wilson spool. To construct the spool, we build novel representations of $\mathfrak{su}(2)$. To evaluate the spool, we adapt and exploit several known exact results in Chern-Simons theory. Our proposal correctly reproduces the one-loop determinant of a free massive scalar field on $S^3$ as $G_N\to 0$. Moreover, allowing for quantum metric fluctuations, it can be systematically evaluated to any order in perturbation theory.


title: Magnetotransport on quantum spin Hall edge coupled to bulk midgap states

abstract: We consider magnetotransport on a helical edge of a quantum spin Hall insulator, in the presence of bulk midgap states ``side-coupled" to the edge. In the presence of a magnetic field, the midgap levels are spin-split, and hybridization of these levels with the itinerant edge states leads to backscattering, and the ensuing increase in the resistance. We show that there is a singular cusp-like contribution to the positive magnetoresistance stemming from resonant midgap states weakly coupled to the edge. The singular behavior persists for both coherent and incoherent edge transport regimes. We use the developed theory to fit the experimental data for the magnetoresistance for monolayer WTe$_2$ at liquid helium temperatures. The results of the fitting suggest that the cusp-like behavior of the resistance in weak magnetic fields observed in experiments on monolayer WTe$_2$ with long edge channels might indeed be explained by hybridization of the helical edge states with spin-split bulk midgap states. In particular, the dependence of the magnetoresistance on the direction of the external magnetic field is well described by the incoherent edge transport theory, at the same time being quite distinct from the one expected for a magnetic-field-induced edge gap.


title: A Bayesian Zero-Inflated Dirichlet-Multinomial Regression Model for Multivariate Compositional Count Data

abstract: The Dirichlet-multinomial (DM) distribution plays a fundamental role in modern statistical methodology development and application. Recently, the DM distribution and its variants have been used extensively to model multivariate count data generated by high-throughput sequencing technology in omics research due to its ability to accommodate the compositional structure of the data as well as overdispersion. A major limitation of the DM distribution is that it is unable to handle excess zeros typically found in practice which may bias inference. To fill this gap, we propose a novel Bayesian zero-inflated DM model for multivariate compositional count data with excess zeros. We then extend our approach to regression settings and embed sparsity-inducing priors to perform variable selection for high-dimensional covariate spaces. Throughout, modeling decisions are made to boost scalability without sacrificing interpretability or imposing limiting assumptions. Extensive simulations and an application to a human gut microbiome data set are presented to compare the performance of the proposed method to existing approaches. We provide an accompanying R package with a user-friendly vignette to apply our method to other data sets.


title: Flavor symmetry breaking in spin-orbit coupled bilayer graphene

abstract: Recent experimental discovery of flavor symmetry breaking metallic phases in Bernal-stacked bilayer graphene points to the strongly interacting nature of electrons near the top (bottom) of its valence (conduction) band. Superconductivity was also observed in between these symmetry breaking phases when the graphene bilayer is placed under a small in-plane magnetic field or in close proximity to a monolayer WSe$_2$ substrate. Here we address the correlated nature of the band edge electrons and obtain the quantum phase diagram of their many-body ground states incorporating the effect of proximity induced spin-orbit coupling. We find that in addition to the spin/valley flavor polarized half and quarter metallic states, two types of intervalley coherent phases emerge near the phase boundaries between the flavor polarized metals. Both spin-orbit coupling and in-plane magnetic field disfavor the spin-unpolarized valley coherent phase. Our findings suggest possible competition between intervalley coherence and superconducting orders, arising from the intriguing correlation effects in bilayer graphene in the presence of spin-orbit coupling.


title: The structure of $3$-pyramidal groups

abstract: A combinatorial block design $D$ is called $3$-pyramidal if there exists a subgroup $G$ of $\mbox{Aut}(D)$ fixing $3$ points and acting regularly on the other points. If this happens, we say that the design is $3$-pyramidal under $G$. In case $D$ is a Kirkman triple system, it is known that such a group $G$ has precisely $3$ involutions, all conjugate to each other. In this paper, we obtain a classification of the groups with this property.


title: Implementaci\'on computacional para el estudio de part\'iculas con esp\'in en agujeros negros rotantes modificados cu\'anticamente

abstract: The trajectories of test particles with spin orbiting a black hole depend on the geometry of space-time and the intrinsic physical characteristics of the test particles. In this work the motion of test particles with spin on the innermost stable circular orbit of a quantum improved rotating black hole is studied. A computational implementation is presented through the Mathematica program, which can calculate and graph the radius, angular momentum and energy as a function of the spin of the test particles and for various geometric parameters of the rotating black hole, as they are the spin $a$ and the mass $M$ of the rotating black hole and the quantum parameters $\gamma$ and $\omega$. Additionally, the program calculates the maximum spin physically possible for the test particles. At the end, some results given by the program are discussed and it is shown that these are consistent with those previously reported, both for the classical black holes of Schwarzschild and Kerr and for the quantum improved ones.


title: Non-Einsteinian Viscosity Behavior in Plasma-Functionalized Graphene Nanoflake Nanofluids and their Effect on the Dynamic Viscosity of Methane Hydrate Systems

abstract: Water's viscosity dependence on pressure was also not affected by O-GNFs, except at 10 ppm, where the shuttle effect may have increased the presence of hydrophobic methane bubbles in the solution. Under high pressure, the relative viscosity of the system remained non-Einsteinian at all temperatures except 2C. This may have been because the density anomaly of water was shifted to a colder temperature as the hydrogen bonding network was weaker. The phase transition from liquid to hydrate was identical to that of pure water, indicating that the presence of different stages of growth was not affected by the presence of O-GNF. However, the times to reach a maximum viscosity were faster in O-GNF systems compared to pure water. This said, the hydrate formation limitations inherent to the measurement system were not overcome by the presence of O-GNFs. The times to application-relevant viscosity values were maximized in the 1 ppm system at 49.75 % (200 mPa.s) and 31.93 % (500 mPa.s) faster than the baseline. Therefore, the presence of O-GNFs allowed for shorter times to desired viscosities and at lower driving forces than the baseline, improving the viability of the hydrate technologies to which they can be added.


title: ZoeDepth: Zero-shot Transfer by Combining Relative and Metric Depth

abstract: This paper tackles the problem of depth estimation from a single image. Existing work either focuses on generalization performance disregarding metric scale, i.e. relative depth estimation, or state-of-the-art results on specific datasets, i.e. metric depth estimation. We propose the first approach that combines both worlds, leading to a model with excellent generalization performance while maintaining metric scale. Our flagship model, ZoeD-M12-NK, is pre-trained on 12 datasets using relative depth and fine-tuned on two datasets using metric depth. We use a lightweight head with a novel bin adjustment design called metric bins module for each domain. During inference, each input image is automatically routed to the appropriate head using a latent classifier. Our framework admits multiple configurations depending on the datasets used for relative depth pre-training and metric fine-tuning. Without pre-training, we can already significantly improve the state of the art (SOTA) on the NYU Depth v2 indoor dataset. Pre-training on twelve datasets and fine-tuning on the NYU Depth v2 indoor dataset, we can further improve SOTA for a total of 21% in terms of relative absolute error (REL). Finally, ZoeD-M12-NK is the first model that can jointly train on multiple datasets (NYU Depth v2 and KITTI) without a significant drop in performance and achieve unprecedented zero-shot generalization performance to eight unseen datasets from both indoor and outdoor domains. The code and pre-trained models are publicly available at https://github.com/isl-org/ZoeDepth .


title: Beyond Moments: Robustly Learning Affine Transformations with Asymptotically Optimal Error

abstract: We present a polynomial-time algorithm for robustly learning an unknown affine transformation of the standard hypercube from samples, an important and well-studied setting for independent component analysis (ICA). Specifically, given an $\epsilon$-corrupted sample from a distribution $D$ obtained by applying an unknown affine transformation $x \rightarrow Ax+s$ to the uniform distribution on a $d$-dimensional hypercube $[-1,1]^d$, our algorithm constructs $\hat{A}, \hat{s}$ such that the total variation distance of the distribution $\hat{D}$ from $D$ is $O(\epsilon)$ using poly$(d)$ time and samples. Total variation distance is the information-theoretically strongest possible notion of distance in our setting and our recovery guarantees in this distance are optimal up to the absolute constant factor multiplying $\epsilon$. In particular, if the columns of $A$ are normalized to be unit length, our total variation distance guarantee implies a bound on the sum of the $\ell_2$ distances between the column vectors of $A$ and $A'$, $\sum_{i =1}^d \|a_i-\hat{a}_i\|_2 = O(\epsilon)$. In contrast, the strongest known prior results only yield a $\epsilon^{O(1)}$ (relative) bound on the distance between individual $a_i$'s and their estimates and translate into an $O(d\epsilon)$ bound on the total variation distance. Our key innovation is a new approach to ICA (even to outlier-free ICA) that circumvents the difficulties in the classical method of moments and instead relies on a new geometric certificate of correctness of an affine transformation. Our algorithm is based on a new method that iteratively improves an estimate of the unknown affine transformation whenever the requirements of the certificate are not met.


title: Light-matter correlations in Quantum Floquet engineering

abstract: Quantum Floquet engineering seeks to externally control systems by means of quantum fields. However, to faithfully capture the physics at arbitrary coupling, a gauge-invariant description of light-matter interaction is required, which makes the Hamiltonian highly nonlinear in the photonic operators. Here we provide a non-perturbative truncation scheme, which is valid for arbitrary coupling strength. With this framework, we investigate the role of light-matter correlations, which are absent in systems described by semiclassical Floquet engineering. We find that even in the high-frequency regime, their importance can be crucial, in particular for the topological properties of the system. As an example we show that in an SSH chain coupled to a cavity, light-matter correlations break chiral symmetry, strongly affecting the robustness of its edge states. In addition, we show how light-matter correlations are imprinted in the photonic spectral function, and discuss their relation with the topology of the photonic bands.


title: Diversifying Investments and Maximizing Sharpe Ratio: a novel QUBO formulation

abstract: The Portfolio Optimization task has long been studied in the Financial Services literature as a procedure to identify the basket of assets that satisfy desired conditions on the expected return and the associated risk. A well-known approach to tackle this task is the maximization of the Sharpe Ratio, achievable with a problem reformulation as Quadratic Programming. While the sole Sharpe Ratio could be efficiently optimized via classical solvers, in business scenarios it is common that multiple additional needs arise, which have to be integrated in the optimization model as either new constraints or objective function terms. Then, in general, the problem may become non-convex and hence could potentially be not efficiently solvable via classical techniques anymore. One example of such additional objective function term consists of maximizing a diversification measure penalizing portfolios holding significant portions of investments on assets belonging to the same sector, while favouring solutions that diversify over multiple sectors. The problem of optimizing both the Sharpe Ratio and a diversification term can be mapped to a QUBO and be solved via quantum annealing devices or Hybrid Computing approaches, which are expected to find high quality solutions. We propose a new QUBO formulation for the task described and provide the mathematical details and required assumptions, showing the ease of modeling the optimization as QUBO against the effort that would be required by classical strategies. We derive results via the available QUBO solvers, as well as discussing the behaviour of Hybrid approaches to tackle large scale problems in the near term. We finally elaborate on the results showing the trade-off between the observed values of the portfolio's Sharpe Ratio and diversification, as a natural consequence of solving a multi-objective optimization problem.


title: Cleaner magic states with hook injection

abstract: In this paper, I show how an intentional hook error mechanism can be used as a control knob for injecting magic states into surface codes. The limitation, and benefit, of this approach is that it can only inject states in the XY or YZ plane of the Bloch sphere. This increases fidelity, because perturbations out of the target plane can be detected as errors. I use Monte Carlo sampling to show that this technique outperforms previous injection techniques, achieving lower error rates at smaller spacetime cost under digitized circuit noise.


title: Efficient Pathway to NaCs Ground State Molecules

abstract: We present a study of two-photon pathways for the transfer of NaCs molecules to their rovibrational ground state. Starting from NaCs Feshbach molecules, we perform bound-bound excited state spectroscopy in the wavelength range from 900~nm to 940~nm, covering more than 30 vibrational states of the $c \, ^3\Sigma^+$, $b \, ^3\Pi$, and $B \, ^1\Pi$ electronic states. Analyzing the rotational substructure, we identify the highly mixed $c \, ^3\Sigma^+_1 \, |v=22 \rangle \sim b \, ^3\Pi_1 \, | v=54\rangle$ state as an efficient bridge for stimulated Raman adiabatic passage (STIRAP). We demonstrate transfer into the NaCs ground state with an efficiency of up to 88(4)\%. Highly efficient transfer is critical for the realization of many-body quantum phases of strongly dipolar NaCs molecules and high fidelity detection of single molecules, for example, in spin physics experiments in optical lattices and quantum information experiments in optical tweezer arrays.


title: SySCoRe: Synthesis via Stochastic Coupling Relations

abstract: We present SySCoRe, a MATLAB toolbox that synthesizes controllers for stochastic continuous-state systems to satisfy temporal logic specifications. Starting from a system description and a co-safe temporal logic specification, SySCoRe provides all necessary functions for synthesizing a robust controller and quantifying the associated formal robustness guarantees. It distinguishes itself from other available tools by supporting nonlinear dynamics, complex co-safe temporal logic specifications over infinite horizons and model-order reduction. To achieve this, SySCoRe generates a finite-state abstraction of the provided model and performs probabilistic model checking. Then, it establishes a probabilistic coupling to the original stochastic system encoded in an approximate simulation relation, based on which a lower bound on the satisfaction probability is computed. SySCoRe provides non-trivial lower bounds for infinite-horizon properties and unbounded disturbances since its computed error does not grow linearly in the horizon of the specification. It exploits a tensor representation to facilitate the efficient computation of transition probabilities. We showcase these features on several benchmarks and compare the performance of the tool with existing tools.


title: Information cascade on networks and phase transitions

abstract: We herein consider a voting model for information cascades on several types of networks -- a random graph, the Barab\'{a}si--Albert(BA) model, and lattice networks -- by using one parameter $\omega$; $\omega=1,0, -1$ respectively correspond to these networks. Our objective is to study the relation between the phase transitions and networks using $\omega$. In $\omega=\ne -1$, without a lattice, the following two types of phase transitions can be observed: cascade transition and super-normal transition. The first is the transition between a state wherein most voters make correct choices and a state wherein most of them are wrong. This is an absorption transition that belongs to a non-equilibrium transition. In the symmetric case, the phase transition is continuous and the universality class is the same as nonlinear P\'{o}lya model. In contrast, in the asymmetric case, it is a discontinuous phase transition, where the gap in the discontinuous phase transition depends on the network. As $\omega$ increases, the size of the hub and the gap increase. Critical point of information cascade transition do not depend on $\omega$. The super-normal transition is the transition of the convergence speed, and the critical point of the convergence speed transition depends on $\omega$. At $\omega=1$, in the BA model, this transition disappears, and the range where we can observe the phase transition is the same as in the percolation model on the network. Both phase transitions disappeared at $\omega=-1$ in the lattice case. In conclusion, near the lattice case, $\omega\sim-1$ exhibited the best performance of the voting in all networks. Finally, we show the relation between the voting model and elephant walk model.


title: Response to: Comment on "Orbital precession of the S2 star in scalar-tensor-vector gravity"

abstract: The explicit derivation for the orbital precession of the S2 star in the Galactic Center in the Scalar-Tensor-Vector Gravity is discussed and compared with previous research. The two different predictions are validated by numerically integrating the geodesic equations for a test particle.


title: Dynamic Benchmarking of Masked Language Models on Temporal Concept Drift with Multiple Views

abstract: Temporal concept drift refers to the problem of data changing over time. In NLP, that would entail that language (e.g. new expressions, meaning shifts) and factual knowledge (e.g. new concepts, updated facts) evolve over time. Focusing on the latter, we benchmark $11$ pretrained masked language models (MLMs) on a series of tests designed to evaluate the effect of temporal concept drift, as it is crucial that widely used language models remain up-to-date with the ever-evolving factual updates of the real world. Specifically, we provide a holistic framework that (1) dynamically creates temporal test sets of any time granularity (e.g. month, quarter, year) of factual data from Wikidata, (2) constructs fine-grained splits of tests (e.g. updated, new, unchanged facts) to ensure comprehensive analysis, and (3) evaluates MLMs in three distinct ways (single-token probing, multi-token generation, MLM scoring). In contrast to prior work, our framework aims to unveil how robust an MLM is over time and thus to provide a signal in case it has become outdated, by leveraging multiple views of evaluation.


title: Sharpness of some Hardy-type inequalities

abstract: The current status concerning Hardy-type inequalities with sharp constants is presented and described in a unified convexity way. In particular, it is then natural to replace the Lebesgue measure $dx$ with the Haar measure $dx/x.$ There are also derived some new two-sided Hardy-type inequalities for monotone functions, where not only the two constants are sharp but also where the involved function spaces are (more) optimal. As applications, a number of both well-known and new Hardy-type inequalities are pointed out. And, in turn, these results are used to derive some new sharp information concerning sharpness in the relation between different quasi-norms in Lorentz spaces.


title: In What Languages are Generative Language Models the Most Formal? Analyzing Formality Distribution across Languages

abstract: Multilingual generative language models (LMs) are increasingly fluent in a large variety of languages. Trained on the concatenation of corpora in multiple languages, they enable powerful transfer from high-resource languages to low-resource ones. However, it is still unknown what cultural biases are induced in the predictions of these models. In this work, we focus on one language property highly influenced by culture: formality. We analyze the formality distributions of XGLM and BLOOM's predictions, two popular generative multilingual language models, in 5 languages. We classify 1,200 generations per language as formal, informal, or incohesive and measure the impact of the prompt formality on the predictions. Overall, we observe a diversity of behaviors across the models and languages. For instance, XGLM generates informal text in Arabic and Bengali when conditioned with informal prompts, much more than BLOOM. In addition, even though both models are highly biased toward the formal style when prompted neutrally, we find that the models generate a significant amount of informal predictions even when prompted with formal text. We release with this work 6,000 annotated samples, paving the way for future work on the formality of generative multilingual LMs.


title: An Integral Version of Hardy's Inequality

abstract: In this note we present a version of Hardy's inequality on a measure space $(X,\mu)$ endowed with a measurable function $N\colon X\to \mathbb R$ which replaces the absolute value on $\mathbb R$ or $\mathbb R^n$, and, more generally, the distance function from a given point when $X$ is a metric space.


title: An Aligned Multi-Temporal Multi-Resolution Satellite Image Dataset for Change Detection Research

abstract: This paper presents an aligned multi-temporal and multi-resolution satellite image dataset for research in change detection. We expect our dataset to be useful to researchers who want to fuse information from multiple satellites for detecting changes on the surface of the earth that may not be fully visible in any single satellite. The dataset we present was created by augmenting the SpaceNet-7 dataset with temporally parallel stacks of Landsat and Sentinel images. The SpaceNet-7 dataset consists of time-sequenced Planet images recorded over 101 AOIs (Areas-of-Interest). In our dataset, for each of the 60 AOIs that are meant for training, we augment the Planet datacube with temporally parallel datacubes of Landsat and Sentinel images. The temporal alignments between the high-res Planet images, on the one hand, and the Landsat and Sentinel images, on the other, are approximate since the temporal resolution for the Planet images is one month -- each image being a mosaic of the best data collected over a month. Whenever we have a choice regarding which Landsat and Sentinel images to pair up with the Planet images, we have chosen those that had the least cloud cover. A particularly important feature of our dataset is that the high-res and the low-res images are spatially aligned together with our MuRA framework presented in this paper. Foundational to the alignment calculation is the modeling of inter-satellite misalignment errors with polynomials as in NASA's AROP algorithm. We have named our dataset MuRA-T for the MuRA framework that is used for aligning the cross-satellite images and "T" for the temporal dimension in the dataset.


title: Weighted maximal operators of Fej\'er means of Walsh-Fourier series in the martingale Hardy space $H_{1/2}$

abstract: In this paper we derive the restricted weighted maximal operator, defined by ${\sup }_{k\in \mathbb{N}}\left(\left\vert \sigma _{k}F\right\vert/A^2_k\right)$ of Fej\'er means of Walsh-Fourier series and prove that the it is bounded from the martingale Hardy space $H_{1/2}(G)$ to the Lebesgue space $L_{1/2}(G).$ The sharpness of this result is also proved. As a consequence we obtain some new and and well-know results.


title: How to measure the momentum of single quanta

abstract: The von Neumann theory of measurement, based on an entanglement of the quantum observable with a classical machine followed by decoherence or collapse, does not readily apply to most measurements of momentum. Indeed, how we measure the momentum of a quantum particle is not even discussed in most quantum mechanics textbooks. Instead, we often teach the lore that position and momentum cannot be measured at the same time. Yet, most ways to measure momentum actually involve measuring position to infer momentum. In this tutorial review, I examine real experiments that measure momentum and describe how one can improve our teaching of the theory of measurement when we focus on real experiments, rather than abstract mathematical models of measurement.


title: Uncertainty Injection: A Deep Learning Method for Robust Optimization

abstract: This paper proposes a paradigm of uncertainty injection for training deep learning model to solve robust optimization problems. The majority of existing studies on deep learning focus on the model learning capability, while assuming the quality and accuracy of the inputs data can be guaranteed. However, in realistic applications of deep learning for solving optimization problems, the accuracy of inputs, which are the problem parameters in this case, plays a large role. This is because, in many situations, it is often costly or sometime impossible to obtain the problem parameters accurately, and correspondingly, it is highly desirable to develop learning algorithms that can account for the uncertainties in the input and produce solutions that are robust against these uncertainties. This paper presents a novel uncertainty injection scheme for training machine learning models that are capable of implicitly accounting for the uncertainties and producing statistically robust solutions. We further identify the wireless communications as an application field where uncertainties are prevalent in problem parameters such as the channel coefficients. We show the effectiveness of the proposed training scheme in two applications: the robust power loading for multiuser multiple-input-multiple-output (MIMO) downlink transmissions; and the robust power control for device-to-device (D2D) networks.


title: Coded Matrix Computations for D2D-enabled Linearized Federated Learning

abstract: Federated learning (FL) is a popular technique for training a global model on data distributed across client devices. Like other distributed training techniques, FL is susceptible to straggler (slower or failed) clients. Recent work has proposed to address this through device-to-device (D2D) offloading, which introduces privacy concerns. In this paper, we propose a novel straggler-optimal approach for coded matrix computations which can significantly reduce the communication delay and privacy issues introduced from D2D data transmissions in FL. Moreover, our proposed approach leads to a considerable improvement of the local computation speed when the generated data matrix is sparse. Numerical evaluations confirm the superiority of our proposed method over baseline approaches.


title: Polytopic Superset Algorithm for Nonlinear Robust Optimization

abstract: Nonlinear robust optimization (NRO) is widely used in different applications, including energy, control, and economics, to make robust decisions under uncertainty. One of the classical solution methods in NRO is an outer approximation method that iteratively solves a sample-based nonlinear problem and updates the sample set by solving an auxiliary problem subject to the uncertainty set. Although it guarantees convergence under certain assumptions, its solution iterates are generally infeasible in the original NRO problem, and it provides only a lower bound on the optimal objective value. We propose a new algorithm for a class of NRO problems that generates feasible solution iterates and provides both lower and upper bounds to the optimal objective value. In each iteration, the algorithm solves the reformulation of an NRO subproblem with respect to the polytopic supersets of the original uncertainty set and uses a cutting plane method to improve the supersets over iteration. If the NRO subproblem is infeasible, we provide a feasibility restoration step to detect whether the original NRO problem is infeasible or construct a new superset to restore the feasibility of the NRO subproblem. Further, we prove that our superset algorithm converges to the optimal solution of the original NRO problem. In numerical studies, we use application instances from portfolio optimization and production cost minimization and compare the performance between the superset algorithm and an outer approximation method called Polak's algorithm. Our result shows that the superset algorithm is more advantageous than Polak's algorithm when the number of robust constraints is large.


title: On the Response of Basic Walfisch-Ikegami and Walfisch-Bertoni Models to QMM Calibration

abstract: This paper systematically examines the response to Quasi Moment Method (QMM) calibration, of the basic COST231 Walfisch Ikegami, ITUR Walfisch Ikegami, and Walfisch-Bertoni models. First, it is demonstrated that the component parameters of the models are suitable candidates for use as expansion or testing functions with QMM pathloss model calibration schemes; and thereafter, the basic models are subjected to calibration, using measurement data available in the open literature. Computational results reveal that the COST231 Walfisch Ikegami and ITU Walfisch Ikegami models have virtually identical QMM calibration root mean square error (RMSE) responses; and that the Walfisch Bertoni model has better RMSE responses than both of them. A particular attribute revealed by the simulation results is that all QMM calibrated Walfisch type basic models have excellent mean prediction error (MPE) metrics (in general, less than 0.001dB). In addition to pathloss prediction profiles, the paper also presents profiles of disaggregated net pathloss, in terms of contributions by component parameters, including roof-top-to-street diffraction and scatter loss and multiscreen diffraction loss.


title: Control of multi-agent systems: results, open problems, and applications

abstract: The purpose of this review paper is to present some recent results on the modeling and control of large systems of agents. We focus on particular applications where the agents are capable of independent actions instead of simply reacting to external forces. In the literature, such agents were referred to as autonomous, intelligent, self-propelled, greedy, and others. The main applications we have in mind are social systems (as opinion dynamics), pedestrian movements (also called crowd dynamics), animal groups, and vehicular traffic. Also, the control problems posed by such systems are new and require innovative methods. We illustrate some ideas, developed recently, including the use of sparse controls, limiting the total variation of controls, and defining new control problems for measures. After reviewing various approaches, we discuss some future research directions of potential interest. The latter encompasses both new types of equations, as well as new types of limiting procedures to connect several scales at which a system can be represented. We conclude by illustrating a recent real-life experiment using autonomous vehicles on an open highway to smooth traffic waves. This opens the door to a new era of interventions to control in real-time multi-agent systems and to increase the societal impact of such interventions guided by control research.


title: Safe and Quasi-Optimal Autonomous Navigation in Sphere Worlds

abstract: We propose a continuous feedback control strategy that steers a point-mass vehicle safely to a desired destination, in a quasi-optimal manner, from almost all initial conditions in an n-dimensional Euclidean space cluttered with spherical obstacles. The main idea consists in avoiding each obstacle via the shortest path within the cone enclosing the obstacle, and moving straight towards the target when the vehicle has a clear line of sight to the target location. The proposed control strategy ensures safe navigation with almost global asymptotic stability of the equilibrium point at the target location. Simulation results, illustrating the effectiveness of the proposed approach, are presented.


title: X-ray projection imaging of metal oxide particles inside gingival tissues

abstract: There is increasing recognition that oral health affects overall health and systemic diseases. Nonetheless it remains challenging to rapidly screen patient biopsies for signs of inflammation or the pathogens or foreign materials that elicit the immune response. This is especially true in conditions such as foreign body gingivitis (FBG), where the foreign particles are often difficult to detect. Our long term goal is to establish a method to determine if the inflammation of the gingival tissue is due to the presence of a metal oxide, with emphasis on elements that were previously reported in FBG biopsies, such as silicon dioxide, silica, and titanium dioxide whose persistent presence can be carcinogenic. In this paper, we proposed to use multiple energy X-ray projection imaging to detect and to differentiate different metal oxide particles embedded inside gingival tissues. To simulate the performance of the imaging system, we have used GATE simulation software to mimic the proposed system and to obtain images with different systematic parameters. The simulated parameters include the X-ray tube anode metal, the X-ray spectra bandwidth, the X-ray focal spot size, the X-ray photon number, and the X-ray dector pixel. We have also applied the de-noising algorithm to obtain better Contrast-to-noise ratio (CNR). Our results indicate that it is feasible to detect metal particles as small as 0.5 micrometer in diameter when we use a Chromium anode target with an energy bandwidth of 5 keV, an X-ray photon number of 10^8, and an X-ray detector with a pixel size of 0.5 micrometer and 100 by 100 pixels. We have also found that different metal particles could be differentiated from the CNR at four different X-ray anodes and spectra. These encouraging initial results will guide our future imaging system design.


title: Higher Tate traces of Chow motives

abstract: We establish the complete classification of Chow motives of projective homogeneous varieties for $p$-inner semisimple algebraic groups, with coefficients in a finite local ring of residue characteristic $p$. Our results involve a new motivic invariant, the Tate trace of a motive, defined as a pure Tate summand of maximal rank. They apply more generally to objects of the Tate subcategory generated by upper motives of irreducible, geometrically split varieties satisfying the nilpotence principle. Using Chernousov-Gille-Merkurjev decompositions and their interpretation through Bialynicki-Birula-Hesselink-Iversen filtrations due to Brosnan, we then generalize the characterization of the motivic equivalence of $p$-inner semisimple groups through the higher Tits $p$-indexes. We also define the motivic splitting pattern and the motivic splitting towers of a summand of the motive of a projective homogeneous variety, which correspond for quadrics to the classical splitting pattern and Knebusch tower of the underlying quadratic form.


title: Advanced Accelerator Concepts: From Birth to High Impact Science

abstract: This recounting of the history of the last three-and-a-half decades of advanced accelerator concepts is offered from a decidedly parochial point of view -- that of the career of the author, Prof. James Rosenzweig of the UCLA Dept. of Physics and Astronomy. This short voyage through a by-now long career will illustrate the very beginning of the compelling field of advanced accelerators, proceed through their maturation into one of the fastest growing areas of beam-based science, and give a look into their emerging importance in applications. An important aspect of advanced accelerators is their relationship to other burgeoning fields, particularly free-electron lasers. The framework of this retelling lends itself particularly well to illustrating this relationship. Likewise, this quick summary serves to demonstrate the essential team nature of our field, and the contributions of participants from all levels, ranging from students to those scientists whose careers may have developed in previous eras of positive ferment in accelerator science.


title: Testing AI performance on less frequent aspects of language reveals insensitivity to underlying meaning

abstract: Advances in computational methods and big data availability have recently translated into breakthroughs in AI applications. With successes in bottom-up challenges partially overshadowing shortcomings, the 'human-like' performance of Large Language Models has raised the question of how linguistic performance is achieved by algorithms. Given systematic shortcomings in generalization across many AI systems, in this work we ask whether linguistic performance is indeed guided by language knowledge in Large Language Models. To this end, we prompt GPT-3 with a grammaticality judgement task and comprehension questions on less frequent constructions that are thus unlikely to form part of Large Language Models' training data. These included grammatical 'illusions', semantic anomalies, complex nested hierarchies and self-embeddings. GPT-3 failed for every prompt but one, often offering answers that show a critical lack of understanding even of high-frequency words used in these less frequent grammatical constructions. The present work sheds light on the boundaries of the alleged AI human-like linguistic competence and argues that, far from human-like, the next-word prediction abilities of LLMs may face issues of robustness, when pushed beyond training data.


title: Characterizing Novelty in the Military Domain

abstract: A critical factor in utilizing agents with Artificial Intelligence (AI) is their robustness to novelty. AI agents include models that are either engineered or trained. Engineered models include knowledge of those aspects of the environment that are known and considered important by the engineers. Learned models form embeddings of aspects of the environment based on connections made through the training data. In operation, however, a rich environment is likely to present challenges not seen in training sets or accounted for in engineered models. Worse still, adversarial environments are subject to change by opponents. A program at the Defense Advanced Research Project Agency (DARPA) seeks to develop the science necessary to develop and evaluate agents that are robust to novelty. This capability will be required, before AI has the role envisioned within mission critical environments. As part of the Science of AI and Learning for Open-world Novelty (SAIL-ON), we are mapping possible military domain novelty types to a domain-independent ontology developed as part of a theory of novelty. Characterizing the possible space of novelty mathematically and ontologically will allow us to experiment with agent designs that are coming from the DARPA SAIL-ON program in relevant military environments. Utilizing the same techniques as being used in laboratory experiments, we will be able to measure agent ability to detect, characterize, and accommodate novelty.


title: Terahertz-driven Local Dipolar Correlation in a Quantum Paraelectric

abstract: Light-induced ferroelectricity in quantum paraelectrics is a new avenue of achieving dynamic stabilization of hidden orders in quantum materials. In this work, we explore the possibility of driving transient ferroelectric phase in the quantum paraelectric KTaO$_3$ via intense THz excitation of the soft mode. We observe a long-lived relaxation in the THz-driven second harmonic generation signal (SHG) that lasts up to 20 ps at 10 K which may be attributed to light-induced ferroelectricity. Through analyzing the THz-induced coherent soft-mode oscillation and finding its hardening with fluence well described by a single well potential, we demonstrate intense THz pulses up to 500 kV/cm cannot drive a global ferroelectric phase in KTaO$_3$. Instead, we find the unusual long-lived relaxation of SHG comes from a THz-driven moderate dipolar correlation between the defect-induced local polar structures. We discuss the impact of our findings on current investigations of the THz-induced ferroelectric phase in quantum paraelectrics.


title: Model for 1/f Flux noise in Superconducting Aluminum Devices: Impact of External Magnetic Fields

abstract: Superconducting quantum interference devices (SQUIDs) and related circuits made of aluminum are known to display $1/\omega$ flux noise, where $\omega$ is frequency. A recent experiment showed that the application of an external magnetic field in the $10-100$~G range changed the noise to a single Lorentzian peaked at $\omega=0$. Here it is shown that a model based on independent impurity spin flips with coexisting cross and direct mechanisms of spin relaxation may explain these experiments. The model shows that application of an external magnetic field can be used to reduce the impact of flux noise in qubits.


title: Fact or Artifact? Revise Layer-wise Relevance Propagation on various ANN Architectures

abstract: Layer-wise relevance propagation (LRP) is a widely used and powerful technique to reveal insights into various artificial neural network (ANN) architectures. LRP is often used in the context of image classification. The aim is to understand, which parts of the input sample have highest relevance and hence most influence on the model prediction. Relevance can be traced back through the network to attribute a certain score to each input pixel. Relevance scores are then combined and displayed as heat maps and give humans an intuitive visual understanding of classification models. Opening the black box to understand the classification engine in great detail is essential for domain experts to gain trust in ANN models. However, there are pitfalls in terms of model-inherent artifacts included in the obtained relevance maps, that can easily be missed. But for a valid interpretation, these artifacts must not be ignored. Here, we apply and revise LRP on various ANN architectures trained as classifiers on geospatial and synthetic data. Depending on the network architecture, we show techniques to control model focus and give guidance to improve the quality of obtained relevance maps to separate facts from artifacts.


title: Strongly magnetized accretion in two ultracompact binary systems

abstract: We present the discoveries of two of AM CVn systems, Gaia14aae and SDSS~J080449.49+161624.8, which show X-ray pulsations at their orbital periods, indicative of magnetically collimated accretion. Both also show indications of higher rates of mass transfer relative to the expectations from binary evolution driven purely by gravitational radiation, based on existing optical data for Gaia14aae, which show a hotter white dwarf temperature than expected from standard evolutionary models, and X-ray data for SDSS~J080449.49+161624.8 which show a luminosity 10-100 times higher than those for other AM~CVn at similar orbital periods. The higher mass transfer rates could be driven by magnetic braking from the disk wind interacting with the magnetosphere of the tidally locked accretor. We discuss implications of this additional angular momentum transport mechanism for evolution and gravitational wave detectability of AM CVn objects.


title: Age and market capitalization drive large price variations of cryptocurrencies

abstract: Cryptocurrencies are considered the latest innovation in finance with considerable impact across social, technological, and economic dimensions. This new class of financial assets has also motivated a myriad of scientific investigations focused on understanding their statistical properties, such as the distribution of price returns. However, research so far has only considered Bitcoin or at most a few cryptocurrencies, whilst ignoring that price returns might depend on cryptocurrency age or be influenced by market capitalization. Here, we therefore present a comprehensive investigation of large price variations for more than seven thousand digital currencies and explore whether price returns change with the coming-of-age and growth of the cryptocurrency market. We find that tail distributions of price returns follow power-law functions over the entire history of the considered cryptocurrency portfolio, with typical exponents implying the absence of characteristic scales for price variations in about half of them. Moreover, these tail distributions are asymmetric as positive returns more often display smaller exponents, indicating that large positive price variations are more likely than negative ones. Our results further reveal that changes in the tail exponents are very often simultaneously related to cryptocurrency age and market capitalization or only to age, with only a minority of cryptoassets being affected just by market capitalization or neither of the two quantities. Lastly, we find that the trends in power-law exponents usually point to mixed directions, and that large price variations are likely to become less frequent only in about 28\% of the cryptocurrencies as they age and grow in market capitalization.


title: Dynamic Regret Analysis of Safe Distributed Online Optimization for Convex and Non-convex Problems

abstract: This paper addresses safe distributed online optimization over an unknown set of linear safety constraints. A network of agents aims at jointly minimizing a global, time-varying function, which is only partially observable to each individual agent. Therefore, agents must engage in local communications to generate a safe sequence of actions competitive with the best minimizer sequence in hindsight, and the gap between the two sequences is quantified via dynamic regret. We propose distributed safe online gradient descent (D-Safe-OGD) with an exploration phase, where all agents estimate the constraint parameters collaboratively to build estimated feasible sets, ensuring the action selection safety during the optimization phase. We prove that for convex functions, D-Safe-OGD achieves a dynamic regret bound of $O(T^{2/3} \sqrt{\log T} + T^{1/3}C_T^*)$, where $C_T^*$ denotes the path-length of the best minimizer sequence. We further prove a dynamic regret bound of $O(T^{2/3} \sqrt{\log T} + T^{2/3}C_T^*)$ for certain non-convex problems, which establishes the first dynamic regret bound for a safe distributed algorithm in the non-convex setting.


title: On the Uniqueness of the Quasi-Moment-Method Solution to the Pathloss Model Calibration Problem

abstract: Investigations in this paper focus on establishing the uniqueness properties of the Quasi Moment Method (QMM) solution to the problem of calibrating nominal radiowave propagation pathloss prediction models. Nominal (basic) prediction models utilized for the investigations, were first subjected to QMM calibrations with measurements from three different propagation scenarios. Then, the nominal models were recast in forms suitable for Singular Value Decomposition (SVD) calibration before being calibrated with both the SVD and QMM algorithms. The prediction performances of the calibrated models as evaluated in terms of Root Mean Square Prediction Error (RMSE), Mean Prediction Error (MPE), and Grey Relational Grade Mean Absolute Percentage Error (GRG MAPE) very clearly indicate that the uniqueness of QMM calibrations of basic pathloss models is more readily observable, when the basic models are recast in forms specific to SVD calibration. In the representative case of calibration with indoor to outdoor measurements, RMSE values were recorded for QMM calibrated nominal models as 5.2639dB for the ECC33 model, and 5.3218dB for the other nominal models. Corresponding metrics for the alternative (rearranged) nominal models emerged as 5.2663dB for the ECC33 model and 5.2591dB for the other models. A similar general trend featured in the GRG MAPE metrics, which for both SVD and QMM calibrations of all the alternative models, was recorded as 0.9131, but differed slightly (between 0.9138 and 0.9196) for the QMM calibration of the nominal models. The slight differences between these metrics (due to computational round off approximations) confirm that when the components of basic models are linearly independent, the QMM solution is unique.


title: Testing Serial Independence of Object-Valued Time Series

abstract: We propose a novel method for testing serial independence of object-valued time series in metric spaces, which is more general than Euclidean or Hilbert spaces. The proposed method is fully nonparametric, free of tuning parameters, and can capture all nonlinear pairwise dependence. The key concept used in this paper is the distance covariance in metric spaces, which is extended to auto distance covariance for object-valued time series. Furthermore, we propose a generalized spectral density function to account for pairwise dependence at all lags and construct a Cramer-von Mises type test statistic. New theoretical arguments are developed to establish the asymptotic behavior of the test statistic. A wild bootstrap is also introduced to obtain the critical values of the non-pivotal limiting null distribution. Extensive numerical simulations and two real data applications are conducted to illustrate the effectiveness and versatility of our proposed method.


title: Employing High-temperature-grown SrZrO$_3$ Buffer to Enhance the Electron Mobility in La:BaSnO$_3$-based Heterostructures

abstract: We report a synthetic route to achieve high electron mobility at room temperature in epitaxial La:BaSnO$_3$/SrZrO$_3$ heterostructures prepared on several oxide substrates. Room-temperature mobilities of 157, 145, and 143 cm$^2$V$^{-1}$s$^{-1}$ are achieved for heterostructures grown on DyScO$_3$ (110), MgO (001), and TbScO$_3$ (110) crystalline substrates, respectively. This is realized by first employing pulsed laser deposition to grow at very high temperature the SrZrO$_3$ buffer layer to reduce dislocation density in the active layer, then followed by the epitaxial growth of an overlaying La:BaSnO$_3$ active layer by molecular-beam epitaxy. Structural properties of these heterostructures are investigated, and the extracted upper limit of threading dislocations is well below $1.0\times 10^{10}$cm$^{-2}$ for buffered films on DyScO$_3$, MgO, and TbScO$_3$ substrates. The present results provide a promising route towards achieving high mobility in buffered La:BaSnO$_3$ films prepared on most, if not all, oxide substrates with large compressive or tensile lattice mismatches to the film.


title: Summaries as Captions: Generating Figure Captions for Scientific Documents with Automated Text Summarization

abstract: Good figure captions help paper readers understand complex scientific figures. Unfortunately, even published papers often have poorly written captions. Automatic caption generation could aid paper writers by providing good starting captions that can be refined for better quality. Prior work often treated figure caption generation as a vision-to-language task. In this paper, we show that it can be more effectively tackled as a text summarization task in scientific documents. We fine-tuned PEGASUS, a pre-trained abstractive summarization model, to specifically summarize figure-referencing paragraphs (e.g., "Figure 3 shows...") into figure captions. Experiments on large-scale arXiv figures show that our method outperforms prior vision methods in both automatic and human evaluations. We further conducted an in-depth investigation focused on two key challenges: (i) the common presence of low-quality author-written captions and (ii) the lack of clear standards for good captions. Our code and data are available at: https://github.com/Crowd-AI-Lab/Generating-Figure-Captions-as-a-Text-Summarization-Task.


title: The Intrinsic Alignment of Red Galaxies in DES Y1 redMaPPer Galaxy Clusters

abstract: Clusters of galaxies are sensitive to the most nonlinear peaks in the cosmic density field. The weak gravitational lensing of background galaxies by clusters can allow us to infer their masses. However, galaxies associated with the local environment of the cluster can also be intrinsically aligned due to the local tidal gradient, contaminating any cosmology derived from the lensing signal. We measure this intrinsic alignment in Dark Energy Survey (DES) Year 1 redMaPPer clusters. We find evidence of a non-zero mean radial alignment of galaxies within clusters between redshift 0.1-0.7. We find a significant systematic in the measured ellipticities of cluster satellite galaxies that we attribute to the central galaxy flux and other intracluster light. We attempt to correct this signal, and fit a simple model for intrinsic alignment amplitude ($A_{\textrm{IA}}$) to the measurement, finding $A_{\textrm{IA}}=0.15\pm 0.04$, when excluding data near the edge of the cluster. We find a significantly stronger alignment of the central galaxy with the cluster dark matter halo at low redshift and with higher richness and central galaxy absolute magnitude (proxies for cluster mass). This is an important demonstration of the ability of large photometric data sets like DES to provide direct constraints on the intrinsic alignment of galaxies within clusters. These measurements can inform improvements to small-scale modeling and simulation of the intrinsic alignment of galaxies to help improve the separation of the intrinsic alignment signal in weak lensing studies.


title: Can Voice Assistants Be Microaggressors? Cross-Race Psychological Responses to Failures of Automatic Speech Recognition

abstract: Language technologies have a racial bias, committing greater errors for Black users than for white users. However, little work has evaluated what effect these disparate error rates have on users themselves. The present study aims to understand if speech recognition errors in human-computer interactions may mirror the same effects as misunderstandings in interpersonal cross-race communication. In a controlled experiment (N=108), we randomly assigned Black and white participants to interact with a voice assistant pre-programmed to exhibit a high versus low error rate. Results revealed that Black participants in the high error rate condition, compared to Black participants in the low error rate condition, exhibited significantly higher levels of self-consciousness, lower levels of self-esteem and positive affect, and less favorable ratings of the technology. White participants did not exhibit this disparate pattern. We discuss design implications and the diverse research directions to which this initial study aims to contribute.


title: On the Probable Interpretation of Anticorrelation between the Proton Temperature and Density in the Solar Wind

abstract: The anticorrelated distributions of temperature and density of protons are a well-known property of the solar wind. Nevertheless, it is unclear till now if they are formed by some kind of the universal physical mechanism? Unfortunately, a straightforward comparison of the characteristic relaxation times for the temperature and density, on the one hand, and pressure, on the other hand, encounters the problem of inapplicability of the hydrodynamical approach in the situation when the free-path length of the protons is considerably greater than the spatial scale of the structures under consideration. To resolve this problem, some kinds of the MHD turbulence - reducing the effective free paths - are usually assumed. In the present paper, we use an alternative approach based on the electrostatic (Langmuir) turbulence, described by the mathematical formalism of the spin-type Hamiltonians, which was actively discussed in the recent time in the literature on statistical physics. As follows from the corresponding calculations, formation of the anticorrelated distributions of temperature and density is a universal property of the strongly-nonequilibrium plasmas governed by the spin-type Hamiltonians when they gradually approach the thermodynamic equilibrium. So, just this phenomenon could be responsible for the anticorrelations observed in the solar wind.


title: Accurate prediction of heat conductivity of water by a neuroevolution potential

abstract: We propose an approach that can accurately predict the heat conductivity of liquid water. On the one hand, we develop an accurate machine-learned potential based on the neuroevolution-potential approach that can achieve quantum-mechanical accuracy at the cost of empirical force fields. On the other hand, we combine the Green-Kubo method and the spectral decomposition method within the homogeneous nonequilibrium molecular dynamics framework to account for the quantum-statistical effects of high-frequency vibrations. Excellent agreement with experiments under both isobaric and isochoric conditions within a wide range of temperatures is achieved using our approach.


title: Giant supermagnonic Bloch point velocities by jet propulsion effect in cylindrical ferromagnetic nanowires

abstract: Achieving high velocities of magnetic domain walls is a crucial factor for their use as information carriers in modern nanoelectronic applications. In nanomagnetism and spintronics, these velocities are often limited either by internal domain wall instabilities, known as the Walker breakdown phenomenon, or by spin wave emission, known as the magnonic regime. In the rigid domain wall model, the maximum magnon velocity acts as an effective "speed of light", providing a relativistic analogy for the domain wall speed limitation. Cylindrical magnetic nanowires are an example of systems with the absence of the Walker breakdown phenomenon. Here we demonstrate that in cylindrical nanowires with high magnetization such as Iron, also the magnonic limit could be outstandingly surpassed. Our numerical modelling shows the Bloch point domain wall velocities as high as 14 km/s, well above the magnonic limit estimated in the interval 1.7-2.0 km/s. The key ingredient is the conical shape of the domain wall which elongates and breaks during the dynamics, leading to domain wall acceleration due to the jet propulsion effect. This effect will be very important for three-dimensional spintronic networks based on cylindrical magnetic nanowires.


title: Coexistence of nonequilibrium density and equilibrium energy distribution of quasiparticles in a superconducting qubit

abstract: The density of quasiparticles typically observed in superconducting qubits exceeds the value expected in equilibrium by many orders of magnitude. Can this out-of-equilibrium quasiparticle density still possess an energy distribution in equilibrium with the phonon bath? Here, we answer this question affirmatively by measuring the thermal activation of charge-parity switching in a transmon qubit with a difference in superconducting gap on the two sides of the Josephson junction. We then demonstrate how the gap asymmetry of the device can be exploited to manipulate its parity.


title: The global Gan-Gross-Prasad conjecture for unitary groups. II. From Eisenstein series to Bessel periods

abstract: We state and prove an extension of the global Gan-Gross-Prasad conjecture and the Ichino-Ikeda conjecture to the case of some Eisenstein series on unitary groups $U_n\times U_{n+1}$. Our theorems are based on a comparison of the Jacquet-Rallis trace formulas. A new point is the expression of some interesting spectral contributions in these formulas in terms of integrals of relative characters. As an application of our mains theorems, we prove the global Gan-Gross-Prasad and the Ichino-Ikeda conjecture for Bessel periods of unitary groups.


title: On the Root of Unity Ambiguity in a Formula for the Brumer--Stark Units

abstract: We prove a conjectural formula for the Brumer--Stark units. Dasgupta--Kakde have shown the formula is correct up to a bounded root of unity. In this paper we resolve the ambiguity in their result. We also remove an assumption from Dasgupta--Kakde's result on the formula.


title: Auditing for Spatial Fairness

abstract: This paper studies algorithmic fairness when the protected attribute is location. To handle protected attributes that are continuous, such as age or income, the standard approach is to discretize the domain into predefined groups, and compare algorithmic outcomes across groups. However, applying this idea to location raises concerns of gerrymandering and may introduce statistical bias. Prior work addresses these concerns but only for regularly spaced locations, while raising other issues, most notably its inability to discern regions that are likely to exhibit spatial unfairness. Similar to established notions of algorithmic fairness, we define spatial fairness as the statistical independence of outcomes from location. This translates into requiring that for each region of space, the distribution of outcomes is identical inside and outside the region. To allow for localized discrepancies in the distribution of outcomes, we compare how well two competing hypotheses explain the observed outcomes. The null hypothesis assumes spatial fairness, while the alternate allows different distributions inside and outside regions. Their goodness of fit is then assessed by a likelihood ratio test. If there is no significant difference in how well the two hypotheses explain the observed outcomes, we conclude that the algorithm is spatially fair.


title: Using Automated Algorithm Configuration for Parameter Control

abstract: Dynamic Algorithm Configuration (DAC) tackles the question of how to automatically learn policies to control parameters of algorithms in a data-driven fashion. This question has received considerable attention from the evolutionary community in recent years. Having a good benchmark collection to gain structural understanding on the effectiveness and limitations of different solution methods for DAC is therefore strongly desirable. Following recent work on proposing DAC benchmarks with well-understood theoretical properties and ground truth information, in this work, we suggest as a new DAC benchmark the controlling of the key parameter $\lambda$ in the $(1+(\lambda,\lambda))$~Genetic Algorithm for solving OneMax problems. We conduct a study on how to solve the DAC problem via the use of (static) automated algorithm configuration on the benchmark, and propose techniques to significantly improve the performance of the approach. Our approach is able to consistently outperform the default parameter control policy of the benchmark derived from previous theoretical work on sufficiently large problem sizes. We also present new findings on the landscape of the parameter-control search policies and propose methods to compute stronger baselines for the benchmark via numerical approximations of the true optimal policies.


title: On intersections and stable intersections of tropical hypersurfaces

abstract: We prove that every connected component of an intersection of tropical hypersurfaces contains a point of their stable intersection unless their stable intersection is empty. This is done by studying algebraic hypersurfaces that tropicalize to them and the tropicalization of their intersection.


title: Physics Informed Deep Learning: Applications in Transportation

abstract: A recent development in machine learning - physics-informed deep learning (PIDL) - presents unique advantages in transportation applications such as traffic state estimation. Consolidating the benefits of deep learning (DL) and the governing physical equations, it shows the potential to complement traditional sensing methods in obtaining traffic states. In this paper, we first explain the conservation law from the traffic flow theory as ``physics'', then present the architecture of a PIDL neural network and demonstrate its effectiveness in learning traffic conditions of unobserved areas. In addition, we also exhibit the data collection scenario using fog computing infrastructure. A case study on estimating the vehicle velocity is presented and the result shows that PIDL surpasses the performance of a regular DL neural network with the same learning architecture, in terms of convergence time and reconstruction accuracy. The encouraging results showcase the broad potential of PIDL for real-time applications in transportation with a low amount of training data.


title: On the Limitations of Physics-informed Deep Learning: Illustrations Using First Order Hyperbolic Conservation Law-based Traffic Flow Models

abstract: Since its introduction in 2017, physics-informed deep learning (PIDL) has garnered growing popularity in understanding the evolution of systems governed by physical laws in terms of partial differential equations (PDEs). However, empirical evidence points to the limitations of PIDL for learning certain types of PDEs. In this paper, we (a) present the challenges in training PIDL architecture, (b) contrast the performance of PIDL architecture in learning a first order scalar hyperbolic conservation law and its parabolic counterpart, (c) investigate the effect of training data sampling, which corresponds to various sensing scenarios in traffic networks, (d) comment on the implications of PIDL limitations for traffic flow estimation and prediction in practice. Detailed in the case study, we present the contradistinction in PIDL results between learning the traffic flow model (LWR PDE) and its variation with diffusion. The outcome indicates that PIDL experiences significant challenges in learning the hyperbolic LWR equation due to the non-smoothness of its solution. On the other hand, the architecture with parabolic PDE, augmented with the diffusion term, leads to the successful reassembly of the density data even with the shockwaves present.


title: Tight Runtime Bounds for Static Unary Unbiased Evolutionary Algorithms on Linear Functions

abstract: In a seminal paper in 2013, Witt showed that the (1+1) Evolutionary Algorithm with standard bit mutation needs time $(1+o(1))n \ln n/p_1$ to find the optimum of any linear function, as long as the probability $p_1$ to flip exactly one bit is $\Theta(1)$. In this paper we investigate how this result generalizes if standard bit mutation is replaced by an arbitrary unbiased mutation operator. This situation is notably different, since the stochastic domination argument used for the lower bound by Witt no longer holds. In particular, starting closer to the optimum is not necessarily an advantage, and OneMax is no longer the easiest function for arbitrary starting positions. Nevertheless, we show that Witt's result carries over if $p_1$ is not too small, with different constraints for upper and lower bounds, and if the number of flipped bits has bounded expectation~$\chi$. Notably, this includes some of the heavy-tail mutation operators used in fast genetic algorithms, but not all of them. We also give examples showing that algorithms with unbounded $\chi$ have qualitatively different trajectories close to the optimum.


title: Anomalous delocalization of resonant states in graphene \& the vacancy magnetic moment

abstract: Carbon atom vacancies in graphene give rise to a local magnetic moment of $\sigma+\pi$ origin, whose magnitude is yet uncertain and debated. Partial quenching of $\pi$ magnetism has been ubiquitously reported in periodic $first-principles$ calculations, with magnetic moments scattered in the range 1.0 - 2.0 $\mu_{B}$, slowly converging to the lower or the upper end, depending on how the diluted limit is approached. By contrast, (ensemble) density functional theory calculations on cluster models neatly converge to the value of $2$ $\mu_{B}$ when increasing the system size. This stunning discrepancy has sparked an ongoing debate about the role of defect-defect interactions and self-doping, and about the importance of the self-interaction-error in the density-functional-theory description of the vacancy-induced states. Here, we settle this puzzle by showing that the problem has a fundamental, mono-electronic origin which is related to the special (periodic) arrangement of defects that results when using the slab-supercell approach. Specifically, we report the existence of resonant states that are $anomalously$ delocalized over the lattice and that make the $\pi$ midgap band $unphysically$ dispersive, hence prone to self-doping and quenching of the $\pi$ magnetism. Hybrid functionals fix the problem by widening the gap between the spin-resolved $\pi$ midgap bands, without reducing their artificial widths. As a consequence, while reconciling the magnetic moment with expectations, they predict a spin-splitting which is one order of magnitude larger than found in experiments.


title: Revealing magnetic field structure at the surfaces of protoplanetary disks via near-infrared circular polarization

abstract: Context. Magnetic fields play a fundamental role in the dynamical evolution of protoplanetary disks, in particular via magnetically induced disk winds. The magnetic field structure at the disk surface is crucial for driving the disk winds; however, it is still poorly understood observationally. Aims. We explore a new method to probe the magnetic field structure at the disk surface using near-infrared (NIR) circular polarization. Near-infrared circular polarization arises when unpolarized stellar light is scattered by magnetically aligned grains at the disk surface. In this study, we aim to clarify to what extent the observed circular polarization pattern can be used to diagnose the magnetic field structure. Methods. We first calculated light scattering properties of aligned spheroids, and the results were then used to create expected observational images of the degree of circular polarization at a NIR wavelength. Results. Magnetically aligned grains can produce circular polarization, particularly when the field configuration deviates from a purely toroidal field. We find that disk azimuthal dependence of the degree of circular polarization tends to exhibit a double peaked profile when the field structure is favorable for driving disk winds by centrifugal force. We also find that even if the disk is spatially unresolved, a net circular polarization can possibly be nonzero. We also show that the amplitude of circular polarization is strongly dependent on grain composition and axis ratio. Conclusions. Our results suggest that circular polarization observations would be useful to study the magnetic field structure and dust properties at the disk surface.


title: Rank-Based Causal Discovery for Post-Nonlinear Models

abstract: Learning causal relationships from empirical observations is a central task in scientific research. A common method is to employ structural causal models that postulate noisy functional relations among a set of interacting variables. To ensure unique identifiability of causal directions, researchers consider restricted subclasses of structural causal models. Post-nonlinear (PNL) causal models constitute one of the most flexible options for such restricted subclasses, containing in particular the popular additive noise models as a further subclass. However, learning PNL models is not well studied beyond the bivariate case. The existing methods learn non-linear functional relations by minimizing residual dependencies and subsequently test independence from residuals to determine causal orientations. However, these methods can be prone to overfitting and, thus, difficult to tune appropriately in practice. As an alternative, we propose a new approach for PNL causal discovery that uses rank-based methods to estimate the functional parameters. This new approach exploits natural invariances of PNL models and disentangles the estimation of the non-linear functions from the independence tests used to find causal orientations. We prove consistency of our method and validate our results in numerical experiments.


title: Partially hyperbolic endomorphisms with expanding linear part

abstract: In this paper we study transitivity of partially hyperbolic endomorphisms of the two torus whose action in the first homology has two integer eigenvalues of moduli greater than one. We prove that if the Jacobian is everywhere greater than the modulus of the largest eigenvalue, then the map is robustly transitive. For this we introduce Blichfedt's theorem as a tool for extracting dynamical information from the action of a map in homology. We also treat the case of specially partially hyperbolic endomorphisms, for which we obtain a complete dichotomy: either the map is transitive and conjugated to its linear part, or its unstable foliation must contain an annulus which may either be wandering or periodic.


title: CHiLL: Zero-shot Custom Interpretable Feature Extraction from Clinical Notes with Large Language Models

abstract: We propose CHiLL (Crafting High-Level Latents), an approach for natural-language specification of features for linear models. CHiLL prompts LLMs with expert-crafted queries to generate interpretable features from health records. The resulting noisy labels are then used to train a simple linear classifier. Generating features based on queries to an LLM can empower physicians to use their domain expertise to craft features that are clinically meaningful for a downstream task of interest, without having to manually extract these from raw EHR. We are motivated by a real-world risk prediction task, but as a reproducible proxy, we use MIMIC-III and MIMIC-CXR data and standard predictive tasks (e.g., 30-day readmission) to evaluate this approach. We find that linear models using automatically extracted features are comparably performant to models using reference features, and provide greater interpretability than linear models using "Bag-of-Words" features. We verify that learned feature weights align well with clinical expectations.


title: Mobility exceeding 100,000 cm$^2$/Vs in modulation-doped shallow InAs quantum wells coupled to epitaxial aluminum

abstract: The two-dimensional electron gas residing in shallow InAs quantum wells coupled to epitaxial aluminum is a widely utilized platform for exploration of topological superconductivity. Strong spin-orbit coupling, large effective $g$-factor, and control over proximity-induced superconductivity are important attributes. Disorder in shallow semiconductor structures plays a crucial role for the stability of putative topological phases in hybrid structures. We report on the transport properties of 2DEGs residing 10nm below the surface in shallow InAs quantum wells in which mobility may exceed 100,000 cm$^2$/Vs at 2DEG density n$_{2DEG}$$\leq$1$\times$10$^{12}$cm$^{-2}$ at low temperature.


title: RESI: An R Package for Robust Effect Sizes

abstract: Effect size indices are useful parameters that quantify the strength of association and are unaffected by sample size. There are many available effect size parameters and estimators, but it is difficult to compare effect sizes across studies as most are defined for a specific type of population parameter. We recently introduced a new Robust Effect Size Index (RESI) and confidence interval, which is advantageous because it is not model-specific. Here we present the RESI R package, which makes it easy to report the RESI and its confidence interval for many different model classes, with a consistent interpretation across parameters and model types. The package produces coefficient, ANOVA tables, and overall Wald tests for model inputs, appending the RESI estimate and confidence interval to each. The package also includes functions for visualization and conversions to and from other effect size measures. For illustration, we analyze and interpret three different model types.


title: Confinement Time and Ambipolar Potential in a Relativistic Mirror-Confined Plasma

abstract: Advanced aneutronic fusion fuels such as proton-Boron$^{11}$ tend to require much higher temperatures than conventional fuels like deuterium-tritium. For electrons, the bulk plasma temperature can approach a substantial fraction of the rest mass. In a mirror confinement system, where the electrons are confined by an ambipolar potential of at least five electron temperatures, the tail electrons which can escape the potential are fully relativistic, which must be taken into account in calculating their confinement. In this paper, simple estimates are employed to extend the scaling of the confinement time into the relativistic regime. By asymptotically matching this scaling to known solutions in the non-relativistic limit, accurate forms for the confinement time (and thus the the ambipolar potential) are obtained. These forms are verified using finite-element-based Fokker-Planck simulations over a wide range of parameters. Comparing relativistic and nonrelativistic mirror-confined plasmas with the same ratio of confining potential $|e\phi|$ to electron temperature $T_e$ and the same mirror ratio $R$, the net result is a decrease in the confinement time due to relativistic effects by a factor of $S \equiv (1+15T_e/8m_ec^2)/(1+2|e\phi|/m_ec^2)$.


title: MetaLDC: Meta Learning of Low-Dimensional Computing Classifiers for Fast On-Device Adaption

abstract: Fast model updates for unseen tasks on intelligent edge devices are crucial but also challenging due to the limited computational power. In this paper,we propose MetaLDC, which meta-trains braininspired ultra-efficient low-dimensional computing classifiers to enable fast adaptation on tiny devices with minimal computational costs. Concretely, during the meta-training stage, MetaLDC meta trains a representation offline by explicitly taking into account that the final (binary) class layer will be fine-tuned for fast adaptation for unseen tasks on tiny devices; during the meta-testing stage, MetaLDC uses closed-form gradients of the loss function to enable fast adaptation of the class layer. Unlike traditional neural networks, MetaLDC is designed based on the emerging LDC framework to enable ultra-efficient on-device inference. Our experiments have demonstrated that compared to SOTA baselines, MetaLDC achieves higher accuracy, robustness against random bit errors, as well as cost-efficient hardware computation.


title: Nonisothermal evaporation

abstract: Evaporation of a liquid layer on a substrate is examined without the often-used isothermality assumption -- i.e., temperature variations are accounted for. Qualitative estimates show that nonisothermality makes the evaporation rate depend on the conditions the substrate is maintained at. If it is thermally insulated, evaporative cooling dramatically slows evaporation down; the evaporation rate tends to zero with time and cannot be determined by measuring the external parameters only. If, however, the substrate is maintained at a fixed temperature, the heat flux coming from below sustains evaporation at a finite rate -- deducible from the fluid's characteristics, relative humidity, and the layer's depth (whose importance has not been recognized before). The qualitative predictions are quantified using the diffuse-interface model applied to a liquid evaporating into its own vapor.


title: Reward Learning as Doubly Nonparametric Bandits: Optimal Design and Scaling Laws

abstract: Specifying reward functions for complex tasks like object manipulation or driving is challenging to do by hand. Reward learning seeks to address this by learning a reward model using human feedback on selected query policies. This shifts the burden of reward specification to the optimal design of the queries. We propose a theoretical framework for studying reward learning and the associated optimal experiment design problem. Our framework models rewards and policies as nonparametric functions belonging to subsets of Reproducing Kernel Hilbert Spaces (RKHSs). The learner receives (noisy) oracle access to a true reward and must output a policy that performs well under the true reward. For this setting, we first derive non-asymptotic excess risk bounds for a simple plug-in estimator based on ridge regression. We then solve the query design problem by optimizing these risk bounds with respect to the choice of query set and obtain a finite sample statistical rate, which depends primarily on the eigenvalue spectrum of a certain linear operator on the RKHSs. Despite the generality of these results, our bounds are stronger than previous bounds developed for more specialized problems. We specifically show that the well-studied problem of Gaussian process (GP) bandit optimization is a special case of our framework, and that our bounds either improve or are competitive with known regret guarantees for the Mat\'ern kernel.


title: Positive solutions for concave-convex type problems for the one-dimensional $\phi$-Laplacian

abstract: Let $\Omega=(a,b)\subset\mathbb{R}$, $0\leq m,n\in L^{1}(\Omega)$, $\lambda,\mu>0$ be real parameters, and $\phi:\mathbb{R}\rightarrow\mathbb{R}$ be an odd increasing homeomorphism. In this paper we consider the existence of positive solutions for problems of the form \[ \begin{cases} -\phi\left( u^{\prime}\right) ^{\prime}=\lambda m(x)f(u)+\mu n(x)g(u) & \text{ in }\Omega,\\ u=0 & \text{ on }\partial\Omega, \end{cases} \] where $f,g:[0,\infty)\rightarrow\lbrack0,\infty)$ are continuous functions which are, roughly speaking, sublinear and superlinear with respect to $\phi$, respectively. Our assumptions on $\phi$, $m$ and $n$ are substantially weaker than the ones imposed in previous works. The approach used here combines the Guo-Krasnoselski\u{\i}\ fixed-point theorem and the sub-supersolutions method with some estimates on related nonlinear problems.


title: On the Hardness of Robustness Transfer: A Perspective from Rademacher Complexity over Symmetric Difference Hypothesis Space

abstract: Recent studies demonstrated that the adversarially robust learning under $\ell_\infty$ attack is harder to generalize to different domains than standard domain adaptation. How to transfer robustness across different domains has been a key question in domain adaptation field. To investigate the fundamental difficulty behind adversarially robust domain adaptation (or robustness transfer), we propose to analyze a key complexity measure that controls the cross-domain generalization: the adversarial Rademacher complexity over {\em symmetric difference hypothesis space} $\mathcal{H} \Delta \mathcal{H}$. For linear models, we show that adversarial version of this complexity is always greater than the non-adversarial one, which reveals the intrinsic hardness of adversarially robust domain adaptation. We also establish upper bounds on this complexity measure. Then we extend them to the ReLU neural network class by upper bounding the adversarial Rademacher complexity in the binary classification setting. Finally, even though the robust domain adaptation is provably harder, we do find positive relation between robust learning and standard domain adaptation. We explain \emph{how adversarial training helps domain adaptation in terms of standard risk}. We believe our results initiate the study of the generalization theory of adversarially robust domain adaptation, and could shed lights on distributed adversarially robust learning from heterogeneous sources, e.g., federated learning scenario.


title: Motion of Spinning Particles around Black Holes

abstract: The motion of spinning particles around compact objects, for example a rotating stellar object moving around a supermassive black hole, is described by differential equations that are, in general, non-integrable. In this work, we present a computational code that integrates the equations of motion of a spinning particle moving in the equatorial plane of a spherically symmetric spacetime and gives a visual representation of its trajectory. This code is open source, freely available and modular, so that users may extend its application not only to the Schwarzschild metric, but also to other backgrounds.


title: Autonomous Restructuring of Asteroids into Rotating Space Stations

abstract: Asteroid restructuring uses robotics, self replication, and mechanical automatons to autonomously restructure an asteroid into a large rotating space station. The restructuring process makes structures from asteroid oxide materials; uses productive self-replication to make replicators, helpers, and products; and creates a multiple floor station to support a large population. In an example simulation, it takes 12 years to autonomously restructure a large asteroid into the space station. This is accomplished with a single rocket launch. The single payload contains a base station, 4 robots (spiders), and a modest set of supplies. Our simulation creates 3000 spiders and over 23,500 other pieces of equipment. Only the base station and spiders (replicators) have advanced microprocessors and algorithms. These represent 21st century technologies created and trans-ported from Earth. The equipment and tools are built using in-situ materials and represent 18th or 19th century technologies. The equipment and tools (helpers) have simple mechanical programs to perform repetitive tasks. The resulting example station would be a rotating framework almost 5 kilometers in diameter. Once completed, it could support a population of over 700,000 people. Many researchers identify the high launch costs, the harsh space environment, and the lack of gravity as the key obstacles hindering the development of space stations. The single probe addresses the high launch cost. The autonomous construction eliminates the harsh space environment for construction crews. The completed rotating station provides radiation protection and centripetal gravity for the first work crews and colonists.


title: YbV$_3$Sb$_4$ and EuV$_3$Sb$_4$, vanadium-based kagome metals with Yb$^{2+}$ and Eu$^{2+}$ zig-zag chains

abstract: Here we present YbV$_3$Sb$_4$ and EuV$_3$Sb$_4$, two new compounds exhibiting slightly distorted vanadium-based kagome nets interleaved with zig-zag chains of divalent Yb$^{2+}$ and Eu$^{2+}$ ions. Single crystal growth methods are reported alongside magnetic, electronic, and thermodynamic measurements. YbV$_3$Sb$_4$ is a nonmagnetic metal with no collective phase transitions observed between 60mK and 300K. Conversely, EuV$_3$Sb$_4$ is a magnetic kagome metal exhibiting easy-plane ferromagnetic-like order below $T_\text{C}$=32K with signatures of noncollinearity under low field. Our discovery of YbV$_3$Sb$_4$ and EuV$_3$Sb$_4$ demonstrate another direction for the discovery and development of vanadium-based kagome metals while incorporating the chemical and magnetic degrees of freedom offered by a rare-earth sublattice.


title: Fundamental Bounds on Online Strategic Classification

abstract: We study the problem of online binary classification where strategic agents can manipulate their observable features in predefined ways, modeled by a manipulation graph, in order to receive a positive classification. We show this setting differs in fundamental ways from non-strategic online classification. For instance, whereas in the non-strategic case, a mistake bound of $\ln|H|$ is achievable via the halving algorithm when the target function belongs to a known class $H$, we show that no deterministic algorithm can achieve a mistake bound $o(\Delta)$ in the strategic setting, where $\Delta$ is the maximum degree of the manipulation graph (even when $|H|=O(\Delta)$). We obtain an algorithm achieving mistake bound $O(\Delta\ln|H|)$. We also extend this to the agnostic setting and obtain an algorithm with a $\Delta$ multiplicative regret, and we show no deterministic algorithm can achieve $o(\Delta)$ multiplicative regret. Next, we study two randomized models based on whether the random choices are made before or after agents respond, and show they exhibit fundamental differences. In the first model, at each round the learner deterministically chooses a probability distribution over classifiers inducing expected values on each vertex (probabilities of being classified as positive), which the strategic agents respond to. We show that any learner in this model has to suffer linear regret. On the other hand, in the second model, while the adversary who selects the next agent must respond to the learner's probability distribution over classifiers, the agent then responds to the actual hypothesis classifier drawn from this distribution. Surprisingly, we show this model is more advantageous to the learner, and we design randomized algorithms that achieve sublinear regret bounds against both oblivious and adaptive adversaries.


title: On the fractional instanton liquid picture of the Yang-Mills vacuum and Confinement

abstract: I review the main features of our model of the 4-dimensional Yang-Mills theory vacuum as a liquid of fractional instantons. The model provides a possible microscopic mechanism for Confinement in four dimensional Yang-Mills theory at $T=0$. It also connects this property to other non-perturbative properties of the theory which can be explained by the same model. This paper is a, somewhat enlarged, written up version of my recent talks on the subject given at ICTS-Bangalore, KITP-Santa Barbara and IMSC-Chennai.


title: Auto-HeG: Automated Graph Neural Network on Heterophilic Graphs

abstract: Graph neural architecture search (NAS) has gained popularity in automatically designing powerful graph neural networks (GNNs) with relieving human efforts. However, existing graph NAS methods mainly work under the homophily assumption and overlook another important graph property, i.e., heterophily, which exists widely in various real-world applications. To date, automated heterophilic graph learning with NAS is still a research blank to be filled in. Due to the complexity and variety of heterophilic graphs, the critical challenge of heterophilic graph NAS mainly lies in developing the heterophily-specific search space and strategy. Therefore, in this paper, we propose a novel automated graph neural network on heterophilic graphs, namely Auto-HeG, to automatically build heterophilic GNN models with expressive learning abilities. Specifically, Auto-HeG incorporates heterophily into all stages of automatic heterophilic graph learning, including search space design, supernet training, and architecture selection. Through the diverse message-passing scheme with joint micro-level and macro-level designs, we first build a comprehensive heterophilic GNN search space, enabling Auto-HeG to integrate complex and various heterophily of graphs. With a progressive supernet training strategy, we dynamically shrink the initial search space according to layer-wise variation of heterophily, resulting in a compact and efficient supernet. Taking a heterophily-aware distance criterion as the guidance, we conduct heterophilic architecture selection in the leave-one-out pattern, so that specialized and expressive heterophilic GNN architectures can be derived. Extensive experiments illustrate the superiority of Auto-HeG in developing excellent heterophilic GNNs to human-designed models and graph NAS models.


title: Extending Wormald's Differential Equation Method to One-sided Bounds

abstract: In this note, we formulate a ``one-sided'' version of Wormald's differential equation method. In the standard ``two-sided'' method, one is given a family of random variables which evolve over time and which satisfy some conditions including a tight estimate of the expected change in each variable over one time step. These estimates for the expected one-step changes suggest that the variables ought to be close to the solution of a certain system of differential equations, and the standard method concludes that this is indeed the case. We give a result for the case where instead of a tight estimate for each variable's expected one-step change, we have only an upper bound. Our proof is very simple, and is flexible enough that if we instead assume tight estimates on the variables, then we recover the conclusion of the standard differential equation method.


title: Targeted Search Control in AlphaZero for Effective Policy Improvement

abstract: AlphaZero is a self-play reinforcement learning algorithm that achieves superhuman play in chess, shogi, and Go via policy iteration. To be an effective policy improvement operator, AlphaZero's search requires accurate value estimates for the states appearing in its search tree. AlphaZero trains upon self-play matches beginning from the initial state of a game and only samples actions over the first few moves, limiting its exploration of states deeper in the game tree. We introduce Go-Exploit, a novel search control strategy for AlphaZero. Go-Exploit samples the start state of its self-play trajectories from an archive of states of interest. Beginning self-play trajectories from varied starting states enables Go-Exploit to more effectively explore the game tree and to learn a value function that generalizes better. Producing shorter self-play trajectories allows Go-Exploit to train upon more independent value targets, improving value training. Finally, the exploration inherent in Go-Exploit reduces its need for exploratory actions, enabling it to train under more exploitative policies. In the games of Connect Four and 9x9 Go, we show that Go-Exploit learns with a greater sample efficiency than standard AlphaZero, resulting in stronger performance against reference opponents and in head-to-head play. We also compare Go-Exploit to KataGo, a more sample efficient reimplementation of AlphaZero, and demonstrate that Go-Exploit has a more effective search control strategy. Furthermore, Go-Exploit's sample efficiency improves when KataGo's other innovations are incorporated.


title: Practical Knowledge Distillation: Using DNNs to Beat DNNs

abstract: For tabular data sets, we explore data and model distillation, as well as data denoising. These techniques improve both gradient-boosting models and a specialized DNN architecture. While gradient boosting is known to outperform DNNs on tabular data, we close the gap for datasets with 100K+ rows and give DNNs an advantage on small data sets. We extend these results with input-data distillation and optimized ensembling to help DNN performance match or exceed that of gradient boosting. As a theoretical justification of our practical method, we prove its equivalence to classical cross-entropy knowledge distillation. We also qualitatively explain the superiority of DNN ensembles over XGBoost on small data sets. For an industry end-to-end real-time ML platform with 4M production inferences per second, we develop a model-training workflow based on data sampling that distills ensembles of models into a single gradient-boosting model favored for high-performance real-time inference, without performance loss. Empirical evaluation shows that the proposed combination of methods consistently improves model accuracy over prior best models across several production applications deployed worldwide.


title: The Diversity of Entanglement Structures with Self-Duality and Non-Orthogonal State Discrimination in General Probabilistic Theories

abstract: This thesis deals with General Probabilistic Theories (GPTs) and Entanglement Structures (ESs). An ES is a possible structure of a quantum composite system in GPTs, which is not uniquely determined as the Standard Entanglement Structure (SES). It is an important problem to find reasonable postulates that determine various ESs as the SES. In order to solve this problem, this thesis explores the diversity of ESs. The topics of this thesis are roughly divided into two parts. First, this thesis considers state discrimination in ESs. As a main result, this thesis gives equivalent conditions for a given measurement in ESs to have a performance superior to standard quantum theory. Second, this thesis focuses on symmetry and self-duality. As a main result, this thesis gives derivations of the SES by symmetric conditions. On the other hand, this thesis clarifies that there are infinitely many self-dual ESs, even if they cannot be distinguished from the SES by a certain physical experiment with small errors.