title: Generating Software for Well-Understood Domains

abstract: Current software development is often quite code-centric and aimed at short-term deliverables, due to various contextual forces (such as the need for new revenue streams from many individual buyers). We're interested in software where different forces drive the development. \textbf{Well understood domains} and \textbf{long-lived software} provide one such context. A crucial observation is that software artifacts that are currently handwritten contain considerable duplication. By using domain-specific languages and generative techniques, we can capture the contents of many of the artifacts of such software. Assuming an appropriate codification of domain knowledge, we find that the resulting de-duplicated sources are shorter and closer to the domain. Our prototype, Drasil, indicates improvements to traceability and change management. We're also hopeful that this could lead to long-term productivity improvements for software where these forces are at play.


title: Haptic Feedback of Tool Vibrations Facilitates Telerobotic Construction

abstract: Telerobotics has shown promise in helping workers safely manipulate building components on construction sites; however, its primary reliance on visual feedback limits efficiency in situations with stiff contact or poor visibility. Reliable and economical haptic feedback could fill this perception gap and facilitate construction activities. Thus, we designed an audio-based haptic feedback system that measures the vibrations experienced by the robot tools and enables the operator to feel them in real time. Accurate haptic transmission was achieved by optimizing the positions of the system's off-the-shelf accelerometers and voice-coil actuators. A user study was conducted to evaluate how this naturalistic type of vibration feedback affects the operator's performance in telerobotic assembly. Thirty participants used a bimanual teleoperation system to build a structure under three randomly ordered haptic feedback conditions: no vibrations, one-axis vibrations, and three-axis vibrations. The results show that users took advantage of both kinds of haptic feedback after gaining some experience with the task, causing significantly lower vibrations and forces in the second trial. Subjective responses indicate that haptic feedback reduced the perceived task difficulty, task duration, and fatigue. These results demonstrate that providing this type of vibrotactile feedback on teleoperated construction robots would enhance user performance and experience.


title: Distributed CONGEST Algorithm for Finding Hamiltonian Paths in Dirac Graphs and Generalizations

abstract: We study the problem of finding a Hamiltonian cycle under the promise that the input graph has a minimum degree of at least $n/2$, where $n$ denotes the number of vertices in the graph. The classical theorem of Dirac states that such graphs (a.k.a. Dirac graphs) are Hamiltonian, i.e., contain a Hamiltonian cycle. Moreover, finding a Hamiltonian cycle in Dirac graphs can be done in polynomial time in the classical centralized model. This paper presents a randomized distributed CONGEST algorithm that finds w.h.p. a Hamiltonian cycle (as well as maximum matching) within $O(\log n)$ rounds under the promise that the input graph is a Dirac graph. This upper bound is in contrast to general graphs in which both the decision and search variants of Hamiltonicity require $\tilde{\Omega}(n^2)$ rounds, as shown by Bachrach et al. [PODC'19]. In addition, we consider two generalizations of Dirac graphs: Ore graphs and Rahman-Kaykobad graphs [IPL'05]. In Ore graphs, the sum of the degrees of every pair of non-adjacent vertices is at least $n$, and in Rahman-Kaykobad graphs, the sum of the degrees of every pair of non-adjacent vertices plus their distance is at least $n+1$. We show how our algorithm for Dirac graphs can be adapted to work for these more general families of graphs.


title: Cantor Derivative Logic in Topological Dynamics

abstract: Topological semantics for modal logic based on the Cantor derivative operator gives rise to derivative logics, also referred to as d-logics. Unlike logics based on the topological closure operator, d-logics have not previously been studied in the framework of dynamic topological systems (DTSs), which are pairs (X,f) consisting of a topological space X equipped with a continuous function f : X -> X. We introduce the logics wK4C, K4C and GLC and show that they all have the finite Kripke model property and are sound and complete with respect to the d-semantics in this dynamical setting. We also prove a general result for the case where f is a homeomorphism, which yields soundness and completeness for the corresponding systems wK4H, K4H and GLH. Of special interest is GLC, which is the d-logic of all DTSs based on a scattered space. We use the completeness of GLC and the properties of scattered spaces to demonstrate the first sound and complete dynamic topological logic in the original trimodal language. In particular, we show that the version of DTL based on the class of scattered spaces is finitely axiomatisable over the original language, and that the natural axiomatisation is sound and complete.


title: A Formal Algebraic Framework for DSL Composition

abstract: We discuss a formal framework for using algebraic structures to model a meta-language that can write, compose, and provide interoperability between abstractions of DSLs. The purpose of this formal framework is to provide a verification of compositional properties of the meta-language. Throughout our paper we discuss the construction of this formal framework, as well its relation to our team's work on the DARPA V-SPELLS program via the pipeline we have developed for completing our verification tasking on V-SPELLS. We aim to give a broad overview of this verification pipeline in our paper. The pipeline can be split into four main components: the first is providing a formal model of the meta-language in Coq; the second is to give a specification in Coq of our chosen algebraic structures; third, we need to implement specific instances of our algebraic structures in Coq, as well as give a proof in Coq that this implementation is an algebraic structure according to our specification in the second step; and lastly, we need to give a proof in Coq that the formal model for the meta-language in the first step is an instance of the implementation in the third step.


title: Erd\H{o}s-Ko-Rado theorem in Peisert-type graphs

abstract: The celebrated Erd\H{o}s-Ko-Rado (EKR) theorem for Paley graphs (of square order) states that all maximum cliques are canonical in the sense that each maximum clique arises from the subfield construction. Recently, Asgarli and Yip extended this result to Peisert graphs and other Cayley graphs which are Peisert-type graphs with nice algebraic properties on the connection set. On the other hand, there are Peisert-type graphs for which the EKR theorem fails to hold. In this paper, we show that the EKR theorem of Paley graphs extends to almost all pseudo-Paley graphs of Peisert-type. Furthermore, we establish the stability results of the same flavor.


title: Density of rational points on diagonal bidegree $(1,2)$ hypersurface in $\mathbb{P}^{s-1} \times \mathbb{P}^{s-1}$

abstract: In this paper we establish an asymptotic formula for the number of rational points of bounded anticanonical height which lie on a certain Zariski dense subset of the biprojective hypersurface \begin{align*} x_1y_1^2+...+x_sy_s^2 = 0 \end{align*} in $\mathbb{P}^{s-1} \times \mathbb{P}^{s-1} $ with $s \geq 7$. This confirms the Manin conjecture for this variety.


title: Universal Soldier: Using Universal Adversarial Perturbations for Detecting Backdoor Attacks

abstract: Deep learning models achieve excellent performance in numerous machine learning tasks. Yet, they suffer from security-related issues such as adversarial examples and poisoning (backdoor) attacks. A deep learning model may be poisoned by training with backdoored data or by modifying inner network parameters. Then, a backdoored model performs as expected when receiving a clean input, but it misclassifies when receiving a backdoored input stamped with a pre-designed pattern called "trigger". Unfortunately, it is difficult to distinguish between clean and backdoored models without prior knowledge of the trigger. This paper proposes a backdoor detection method by utilizing a special type of adversarial attack, universal adversarial perturbation (UAP), and its similarities with a backdoor trigger. We observe an intuitive phenomenon: UAPs generated from backdoored models need fewer perturbations to mislead the model than UAPs from clean models. UAPs of backdoored models tend to exploit the shortcut from all classes to the target class, built by the backdoor trigger. We propose a novel method called Universal Soldier for Backdoor detection (USB) and reverse engineering potential backdoor triggers via UAPs. Experiments on 345 models trained on several datasets show that USB effectively detects the injected backdoor and provides comparable or better results than state-of-the-art methods.


title: Constant RMR Recoverable Mutex under System-wide Crashes

abstract: We design two Recoverable Mutual Exclusion (RME) locks for the system-wide crash model. Our first algorithm requires only $O(1)$ space per process, and achieves $O(1)$ worst-case RMR complexity in the CC model. Our second algorithm enhances the first algorithm to achieve (the same) $O(1)$ space per process and $O(1)$ worst-case RMR complexity in both the CC and DSM models. Furthermore, both algorithms allow dynamically created threads of arbitrary names to join the protocol and access the locks. To our knowledge, these are the only RME locks to achieve worst-case $O(1)$ RMR complexity assuming nothing more than standard hardware support. In light of Chan and Woelfel's $\Omega(\log n / \log\log n)$ worst-case RMR lower bound for RME in the individual crash model, our results show a separation between the system-wide crash and individual crash models in worst-case RMR complexity in both the CC and DSM models.


title: Radial Laplacian on rotation groups

abstract: The Laplacian on the rotation group is invariant by conjugation. Hence, it maps class functions to class functions. A maximal torus consists of block diagonal matrices whose blocks are planar rotations. Class functions are determined by their values of this maximal torus. Hence, the Laplacian induces a second order operator on the maximal torus called the radial Laplacian. In this paper, we derive the expression of the radial Laplacian. Then, we use it to find the eigenvalues of the Laplacian, using that characters are class functions whose expressions are given by the Weyl character formula. Although this material is familiar to Lie-group experts, we gather it here in a synthetic and accessible way which may be useful to non experts who need to work with these concepts.


title: Developing Hands-on Labs for Source Code Vulnerability Detection with AI

abstract: As the role of information and communication technologies gradually increases in our lives, source code security becomes a significant issue to protect against malicious attempts Furthermore with the advent of data-driven techniques, there is now a growing interest in leveraging machine learning and natural language processing as a source code assurance method to build trustworthy systems Therefore training our future software developers to write secure source code is in high demand In this thesis we propose a framework including learning modules and hands on labs to guide future IT professionals towards developing secure programming habits and mitigating source code vulnerabilities at the early stages of the software development lifecycle In this thesis our goal is to design learning modules with a set of hands on labs that will introduce students to secure programming practices using source code and log file analysis tools to predict and identify vulnerabilities In a Secure Coding Education framework we will improve students skills and awareness on source code vulnerabilities detection tools and mitigation techniques integrate concepts of source code vulnerabilities from Function API and library level to bad programming habits and practices leverage deep learning NLP and static analysis tools for log file analysis to introduce the root cause of source code vulnerabilities


title: Analysis of RHC for stabilization of nonautonomous parabolic equations under uncertainty

abstract: Stabilization of a class of time-varying parabolic equations with uncertain input data using Receding Horizon Control (RHC) is investigated. The diffusion coefficient and the initial function are prescribed as random fields. We consider both cases, uniform and log-normal distributions of the diffusion coefficient. The controls are chosen to be finite-dimensional and enter into the system as a linear combination of finitely many indicator functions (actuators) supported in open subsets of the spatial domain. Under suitable regularity assumptions, we study the expected (averaged) stabilizability of the RHC-controlled system with respect to the number of actuators. An upper bound is also obtained for the failure probability of RHC in relation to the choice of the number of actuators and parameters in the equation.


title: Sparse Spectral Methods for Solving High-Dimensional and Multiscale Elliptic PDEs

abstract: In his monograph Chebyshev and Fourier Spectral Methods, John Boyd claimed that, regarding Fourier spectral methods for solving differential equations, ``[t]he virtues of the Fast Fourier Transform will continue to improve as the relentless march to larger and larger [bandwidths] continues''. This paper attempts to further the virtue of the Fast Fourier Transform (FFT) as not only bandwidth is pushed to its limits, but also the dimension of the problem. Instead of using the traditional FFT however, we make a key substitution: a high-dimensional, sparse Fourier transform (SFT) paired with randomized rank-1 lattice methods. The resulting sparse spectral method rapidly and automatically determines a set of Fourier basis functions whose span is guaranteed to contain an accurate approximation of the solution of a given elliptic PDE. This much smaller, near-optimal Fourier basis is then used to efficiently solve the given PDE in a runtime which only depends on the PDE's data compressibility and ellipticity properties, while breaking the curse of dimensionality and relieving linear dependence on any multiscale structure in the original problem. Theoretical performance of the method is established herein with convergence analysis in the Sobolev norm for a general class of non-constant diffusion equations, as well as pointers to technical extensions of the convergence analysis to more general advection-diffusion-reaction equations. Numerical experiments demonstrate good empirical performance on several multiscale and high-dimensional example problems, further showcasing the promise of the proposed methods in practice.


title: High-precision regressors for particle physics

abstract: Monte Carlo simulations of physics processes at particle colliders like the Large Hadron Collider at CERN take up a major fraction of the computational budget. For some simulations, a single data point takes seconds, minutes, or even hours to compute from first principles. Since the necessary number of data points per simulation is on the order of $10^9$ - $10^{12}$, machine learning regressors can be used in place of physics simulators to significantly reduce this computational burden. However, this task requires high-precision regressors that can deliver data with relative errors of less than $1\%$ or even $0.1\%$ over the entire domain of the function. In this paper, we develop optimal training strategies and tune various machine learning regressors to satisfy the high-precision requirement. We leverage symmetry arguments from particle physics to optimize the performance of the regressors. Inspired by ResNets, we design a Deep Neural Network with skip connections that outperform fully connected Deep Neural Networks. We find that at lower dimensions, boosted decision trees far outperform neural networks while at higher dimensions neural networks perform significantly better. We show that these regressors can speed up simulations by a factor of $10^3$ - $10^6$ over the first-principles computations currently used in Monte Carlo simulations. Additionally, using symmetry arguments derived from particle physics, we reduce the number of regressors necessary for each simulation by an order of magnitude. Our work can significantly reduce the training and storage burden of Monte Carlo simulations at current and future collider experiments.

categories: physics.comp-ph cs.LG hep-ex hep-ph stat.ML


title: On the real-rootedness of the Eulerian transformation

abstract: The Eulerian transformation is the linear operator on polynomials in one variable with real coefficients which maps the powers of this variable to the corresponding Eulerian polynomials. The derangement transformation is defined similarly. Br\"and\'en and Jochemko have conjectured that the Eulerian transforms of a class of polynomials with nonnegative coefficients, which includes those having all their roots in the interval $[-1,0]$, have only real zeros. This conjecture is proven in this paper. More general transformations are introduced in the combinatorial-geometric context of uniform triangulations of simplicial complexes, where Eulerian and derangement transformations arise in the special case of barycentric subdivision, and are shown to have strong unimodality and gamma-positivity properties. General real-rootedness conjectures for these transformations, which unify various results and conjectures in the literature, are also proposed.


title: Hierarchical shrinkage Gaussian processes: applications to computer code emulation and dynamical system recovery

abstract: In many areas of science and engineering, computer simulations are widely used as proxies for physical experiments, which can be infeasible or unethical. Such simulations can often be computationally expensive, and an emulator can be trained to efficiently predict the desired response surface. A widely-used emulator is the Gaussian process (GP), which provides a flexible framework for efficient prediction and uncertainty quantification. Standard GPs, however, do not capture structured sparsity on the underlying response surface, which is present in many applications, particularly in the physical sciences. We thus propose a new hierarchical shrinkage GP (HierGP), which incorporates such structure via cumulative shrinkage priors within a GP framework. We show that the HierGP implicitly embeds the well-known principles of effect sparsity, heredity and hierarchy for analysis of experiments, which allows our model to identify structured sparse features from the response surface with limited data. We propose efficient posterior sampling algorithms for model training and prediction, and prove desirable consistency properties for the HierGP. Finally, we demonstrate the improved performance of HierGP over existing models, in a suite of numerical experiments and an application to dynamical system recovery.


title: Quantum Decay of an Optical Soliton

abstract: Optical solitons are known to be classically stable objects which are robust to perturbations. In this work, we show that due to quantum mechanical effects, an optical soliton that is initially in a classical soliton coherent state will shed photons into the continuum and hence decay. The standard formulation of the quantized soliton uses the linearized version of the quantum nonlinear Schrodinger equation in the background of the classical soliton, and the quantized soliton remains stable in this approximation. We show that if higher-order interaction terms are taken into account, the soliton is no longer stable, and its photon number decreases quadratically as a function of the number of soliton cycles. We compute the power spectrum for the continuum radiation and find a narrow band that is localized about the initial soliton momentum with a cut-off that is inversely proportional to the initial soliton width.


title: Ap\'ery-like sequences defined by four-term recurrence relations

abstract: The Ap\'ery numbers may be defined by a cubic three-term recurrence relation, that is, a three-term relation where the coefficients are polynomials in the index of degree $3$. In this work, we first provide a systematic review of Ap\'ery numbers and other related sequences that satisfy quadratic or cubic three-term recurrence relations, and show how they are interrelated and how they may be classified. This leads to sequences defined by cubic $k$-term recurrence relations. The cases corresponding to $k=2$ in this framework lead to Ramanujan's theories of elliptic functions to alternative bases, while the cases corresponding to $k=3$ correspond to the Ap\'ery, Domb, Almkvist--Zudilin numbers and other sequences that are well-studied. We conduct a detailed analysis for the case $k=4$. Some of the sequences that arise are new. Of particular interest are ten sequences that are said to be self-starting in the sense that a single initial condition is enough to start the recurrence relation. Of additional interest are two sequences which take values in $\mathbb{Z}[i]$ and two others with values in $\mathbb{Z}[\sqrt{2}]$. Congruence properties and asymptotic expansions for the ten self-starting sequences are investigated and several conjectures are presented. For example, we conjecture that the integer-valued sequence defined by the recurrence relation \begin{align*} (n+1)^3T(n+1) &=2(2n+1)(5n^2+5n+2)T(n) \\ &\qquad -8n(7n^2+1)T(n-1)+22n(2n-1)(n-1)T(n-2) \end{align*} and initial condition $T(0)=1$ satisfies a Lucas congruence for every prime $p$. Moreover, the sequence is conjectured to satisfy the supercongruence $$ T(pn) \equiv T(n) \pmod{p^2} \quad\text{for all positive integers $n$} $$ if $p=2,\;59$ or $5581$, and for no other primes $p<10^4$.


title: A Dynamical Systems Approach for Most Probable Escape Paths over Periodic Boundaries

abstract: Analyzing when noisy trajectories, in the two dimensional plane, of a stochastic dynamical system exit the basin of attraction of a fixed point is specifically challenging when a periodic orbit forms the boundary of the basin of attraction. Our contention is that there is a distinguished Most Probable Escape Path (MPEP) crossing the periodic orbit which acts as a guide for noisy escaping paths in the case of small noise slightly away from the limit of vanishing noise. It is well known that, before exiting, noisy trajectories will tend to cycle around the periodic orbit as the noise vanishes, but we observe that the escaping paths are stubbornly resistant to cycling as soon as the noise becomes at all significant. Using a geometric dynamical systems approach, we isolate a subset of the unstable manifold of the fixed point in the Euler-Lagrange system, which we call the River. Using the Maslov index we identify a subset of the River which is comprised of local minimizers. The Onsager-Machlup (OM) functional, which is treated as a perturbation of the Friedlin-Wentzell functional, provides a selection mechanism to pick out a specific MPEP. Much of the paper is focused on the system obtained by reversing the van der Pol Equations in time (so-called IVDP). Through Monte-Carlo simulations, we show that the prediction provided by OM-selected MPEP matches closely the escape hatch chosen by noisy trajectories at a certain level of small noise.


title: Searching for a dark matter particle with anti-protonic atoms

abstract: A wide range of dark matter candidates have been proposed and are actively being searched for in a large number of experiments, both at high (TeV) and low (sub meV) energies. One dark matter candidate, a deeply bound $uuddss$ sexaquark, $S$, with mass $\sim 2$ GeV (having the same quark content as the hypothesized H-dibaryon, but long lived) is particularly difficult to explore experimentally. In this paper, we propose a scheme in which such a state could be produced at rest through the formation of $\bar{p}-^3$He antiprotonic atoms and their annihilation into $S$ + $K^+K^+\pi^-$, identified both through the unique tag of a S=+2, Q=+1 final state, as well as through full kinematic reconstruction of the final state recoiling against it.


title: Random walks on regular trees can not be slowed down

abstract: A random walk on a regular tree (or any non-amenable graph) has positive speed. We ask whether such a walk can be slowed down by applying carefully chosen time-dependent permutations of the vertices. We prove that on trees the random walk can not be slowed down.


title: Zero-Leverage Puzzle

abstract: In this paper, I examine why some firms have zero leverage. I fail to find evidence that firms are unlevered because of managerial entrenchment since these firms do not have weaker corporate governance. I reject the hypothesis that firms become zero-leverage after prolonged periods of high market valuation, since before levering these firms do not suffer from declining valuations and continue to issue large amounts of equity. I find strong evidence in favor of the financial constraints explanation of the zero-leverage puzzle. Zero-leverage firms appear to be financially constrained using three different measures of financial constraints. I obtain mixed evidence on the financial flexibility hypothesis since all-equity firms increase investments and acquisitions after levering, but the probability of their levering decreased during the financial crisis. My results suggest that financial constraints are the first-order the driver of zero-leverage behavior and are more important than less obvious explanations such as managerial entrenchment.


title: AmbiCoref: Evaluating Human and Model Sensitivity to Ambiguous Coreference

abstract: Given a sentence "Abby told Brittney that she upset Courtney", one would struggle to understand who "she" refers to, and ask for clarification. However, if the word "upset" were replaced with "hugged", "she" unambiguously refers to Abby. We study if modern coreference resolution models are sensitive to such pronominal ambiguity. To this end, we construct AmbiCoref, a diagnostic corpus of minimal sentence pairs with ambiguous and unambiguous referents. Our examples generalize psycholinguistic studies of human perception of ambiguity around particular arrangements of verbs and their arguments. Analysis shows that (1) humans are less sure of referents in ambiguous AmbiCoref examples than unambiguous ones, and (2) most coreference models show little difference in output between ambiguous and unambiguous pairs. We release AmbiCoref as a diagnostic corpus for testing whether models treat ambiguity similarly to humans.


title: Collaborating with language models for embodied reasoning

abstract: Reasoning in a complex and ambiguous environment is a key goal for Reinforcement Learning (RL) agents. While some sophisticated RL agents can successfully solve difficult tasks, they require a large amount of training data and often struggle to generalize to new unseen environments and new tasks. On the other hand, Large Scale Language Models (LSLMs) have exhibited strong reasoning ability and the ability to to adapt to new tasks through in-context learning. However, LSLMs do not inherently have the ability to interrogate or intervene on the environment. In this work, we investigate how to combine these complementary abilities in a single system consisting of three parts: a Planner, an Actor, and a Reporter. The Planner is a pre-trained language model that can issue commands to a simple embodied agent (the Actor), while the Reporter communicates with the Planner to inform its next command. We present a set of tasks that require reasoning, test this system's ability to generalize zero-shot and investigate failure cases, and demonstrate how components of this system can be trained with reinforcement-learning to improve performance.


title: Eigenvalues and congruences for the weight $3$ paramodular nonlifts of levels $61$, $73$, and $79$

abstract: We use Borcherds products to give a new construction of the weight $3$ paramodular nonlift eigenform $f_N$ for levels $N = 61, 73, 79$. We classify the congruences of $f_N$ to Gritsenko lifts. We provide techniques that compute eigenvalues to support future modularity applications. Our method does not compute Hecke eigenvalues from Fourier coefficients but instead uses elliptic modular forms, specifically the restrictions of Gritsenko lifts and their images under the slash operator to modular curves.


title: Visually Grounded Keyword Detection and Localisation for Low-Resource Languages

abstract: This study investigates the use of Visually Grounded Speech (VGS) models for keyword localisation in speech. The study focusses on two main research questions: (1) Is keyword localisation possible with VGS models and (2) Can keyword localisation be done cross-lingually in a real low-resource setting? Four methods for localisation are proposed and evaluated on an English dataset, with the best-performing method achieving an accuracy of 57%. A new dataset containing spoken captions in Yoruba language is also collected and released for cross-lingual keyword localisation. The cross-lingual model obtains a precision of 16% in actual keyword localisation and this performance can be improved by initialising from a model pretrained on English data. The study presents a detailed analysis of the model's success and failure modes and highlights the challenges of using VGS models for keyword localisation in low-resource settings.


title: Privacy Risk for anisotropic Langevin dynamics using relative entropy bounds

abstract: The privacy preserving properties of Langevin dynamics with additive isotropic noise have been extensively studied. However, the isotropic noise assumption is very restrictive: (a) when adding noise to existing learning algorithms to preserve privacy and maintain the best possible accuracy one should take into account the relative magnitude of the outputs and their correlations; (b) popular algorithms such as stochastic gradient descent (and their continuous time limits) appear to possess anisotropic covariance properties. To study the privacy risks for the anisotropic noise case, one requires general results on the relative entropy between the laws of two Stochastic Differential Equations with different drifts and diffusion coefficients. Our main contribution is to establish such a bound using stability estimates for solutions to the Fokker-Planck equations via functional inequalities. With additional assumptions, the relative entropy bound implies an $(\epsilon,\delta)$-differential privacy bound or translates to bounds on the membership inference attack success and we show how anisotropic noise can lead to better privacy-accuracy trade-offs. Finally, the benefits of anisotropic noise are illustrated using numerical results in quadratic loss and neural network setups.


title: ImageNomer: description of a functional connectivity and omics analysis tool and case study identifying a race confound

abstract: Most packages for the analysis of fMRI-based functional connectivity (FC) and genomic data are used with a programming language interface, lacking an easy-to-navigate GUI frontend. This exacerbates two problems found in these types of data: demographic confounds and quality control in the face of high dimensionality of features. The reason is that it is too slow and cumbersome to use a programming interface to create all the necessary visualizations required to identify all correlations, confounding effects, or quality control problems in a dataset. To remedy this situation, we have developed ImageNomer, a data visualization and analysis tool that allows inspection of both subject-level and cohort-level demographic, genomic, and imaging features. The software is Python-based, runs in a self-contained Docker image, and contains a browser-based GUI frontend. We demonstrate the usefulness of ImageNomer by identifying an unexpected race confound when predicting achievement scores in the Philadelphia Neurodevelopmental Cohort (PNC) dataset. In the past, many studies have attempted to use FC to identify achievement-related features in fMRI. Using ImageNomer, we find a clear potential for confounding effects of race. Using correlation analysis in the ImageNomer software, we show that FCs correlated with Wide Range Achievement Test (WRAT) score are in fact more highly correlated with race. Investigating further, we find that whereas both FC and SNP (genomic) features can account for 10-15\% of WRAT score variation, this predictive ability disappears when controlling for race. In this work, we demonstrate the advantage of our ImageNomer GUI tool in data exploration and confound detection. Additionally, this work identifies race as a strong confound in FC data and casts doubt on the possibility of finding unbiased achievement-related features in fMRI and SNP data of healthy adolescents.


title: Leveraging Task Dependency and Contrastive Learning for Case Outcome Classification on European Court of Human Rights Cases

abstract: We report on an experiment in case outcome classification on European Court of Human Rights cases where our model first learns to identify the convention articles allegedly violated by the state from case facts descriptions, and subsequently uses that information to classify whether the court finds a violation of those articles. We assess the dependency between these two tasks at the feature and outcome level. Furthermore, we leverage a hierarchical contrastive loss to pull together article-specific representations of cases at the higher level, leading to distinctive article clusters. The cases in each article cluster are further pulled closer based on their outcome, leading to sub-clusters of cases with similar outcomes. Our experiment results demonstrate that, given a static pre-trained encoder, our models produce a small but consistent improvement in classification performance over single-task and joint models without contrastive loss.


title: Aggregate Effects of Proliferating LEO Objects and Implications for Astronomical Data Lost in the Noise

abstract: The rising population of artificial satellites and associated debris in low-altitude orbits is increasing the overall brightness of the night sky, threatening ground-based astronomy as well as a diversity of stakeholders and ecosystems reliant on dark skies. We present calculations of the potentially large rise in global sky brightness from space objects, including qualitative and quantitative assessments of how professional astronomy may be affected. Debris proliferation is of special concern: since all log-decades in debris size contribute approximately the same amount of night sky radiance, debris-generating events are expected to lead to a rapid rise in night sky brightness along with serious collision risks for satellites from centimetre-sized objects. This will lead to loss of astronomical data and diminish opportunities for ground-based discoveries as faint astrophysical signals become increasingly lost in the noise. Lastly, we discuss the broader consequences of brighter skies for a range of sky constituencies, equity/inclusion and accessibility for Earth- and space-based science, and cultural sky traditions. Space and dark skies represent an intangible heritage that deserves intentional preservation and safeguarding for future generations.


title: Bootstrapping two-loop QCD amplitudes

abstract: Form factors of self-dual gauge theory are equal to correlators of an (extended) celestial chiral algebra. This suggests that these form factors can be computed using the "bootstrap" method familiar from 2d CFTs. The method can also be applied to certain QCD amplitudes, which are built from form-factors of self-dual gauge theory. In this paper this bootstrap method is applied to compute two-loop all-plus QCD amplitudes, for $SU(N)$ gauge theory with certain special matter conent. A closed formula is presented for all single-trace amplitudes.


title: QCD NLO corrections to $t\bar{t}Z$ production at the LHC including leptonic decays

abstract: The calculation of $t\bar{t}Z$ production including leptonic decays of both $Z$ boson and top quarks via a partially or fully off-shell calculation represents a definite step forward towards a more accurate description of events whose signatures originate from $t\bar{t}Z$ production. In this talk we review two studies that represent the state of the art of theoretical modeling of $t\bar{t}Z$ production by either performing the NLO QCD calculation of the fully decayed $pp\rightarrow e^+\nu_e\mu^-\bar{\nu}_\mu b\bar{b}\tau^+\tau^-$ process (see Ref. [1]) or matching the NLO QCD calculation of $pp\rightarrow t\bar{t}\ell^+\ell^-$ to parton shower, including top-quark decays with approximate LO spin correlation (see Ref.[2]).


title: Meta-Analytic Operation of Threshold-independent Filtering (MOTiF) Reveals Sub-threshold Genomic Robustness in Trisomy

abstract: Trisomy, a form of aneuploidy wherein the cell possesses an additional copy of a specific chromosome, exhibits a high correlation with cancer. Studies from across different hosts, cell-lines, and labs into the cellular effects induced by aneuploidy have conflicted, ranging from small, chaotic global changes to large instances of either overexpression or underexpression throughout the trisomic chromosome. We ascertained that conflicting findings may be correct but miss the overarching ground truth due to careless use of thresholds. To correct this deficiency, we introduce the Meta-analytic Operation of Threshold-independent Filtering (MOTiF) method, which begins by providing a panoramic view of all thresholds, transforms the data to eliminate the effects accounted for by known mechanisms, and then reconstructs an explanation of the mechanisms that underly the difference between the baseline and the uncharacterized effects observed. As a proof of concept, we applied MOTiF to human colonic epithelial cells, discovering a uniform decrease in gene expression levels throughout the genome, which while significant, is beneath most common thresholds. Using Hi-C data we identified the structural correlate, wherein the physical genomic architecture condenses, compactifying in a uniform, genome-wide manner, which we hypothesize is a robustness mechanism counteracting the addition of a chromosome. We were able to decompose the gene expression alterations into three overlapping mechanisms: the raw chromosome content, the genomic compartmentalization, and the global structural condensation. While further studies must be conducted to corroborate the hypothesized robustness mechanism, MOTiF presents a useful meta-analytic tool in the realm of gene expression and beyond.


title: Toward Physically Plausible Data-Driven Models: A Novel Neural Network Approach to Symbolic Regression

abstract: Many real-world systems can be described by mathematical models that are human-comprehensible, easy to analyze and help explain the system's behavior. Symbolic regression is a method that can automatically generate such models from data. Historically, symbolic regression has been predominantly realized by genetic programming, a method that evolves populations of candidate solutions that are subsequently modified by genetic operators crossover and mutation. However, this approach suffers from several deficiencies: it does not scale well with the number of variables and samples in the training data - models tend to grow in size and complexity without an adequate accuracy gain, and it is hard to fine-tune the model coefficients using just genetic operators. Recently, neural networks have been applied to learn the whole analytic model, i.e., its structure and the coefficients, using gradient-based optimization algorithms. This paper proposes a novel neural network-based symbolic regression method that constructs physically plausible models based on even very small training data sets and prior knowledge about the system. The method employs an adaptive weighting scheme to effectively deal with multiple loss function terms and an epoch-wise learning process to reduce the chance of getting stuck in poor local optima. Furthermore, we propose a parameter-free method for choosing the model with the best interpolation and extrapolation performance out of all the models generated throughout the whole learning process. We experimentally evaluate the approach on four test systems: the TurtleBot 2 mobile robot, the magnetic manipulation system, the equivalent resistance of two resistors in parallel, and the longitudinal force of the anti-lock braking system. The results clearly show the potential of the method to find parsimonious models that comply with the prior knowledge provided.


title: Estimating the false discovery risk of (randomized) clinical trials in medical journals based on published p-values

abstract: The influential claim that most published results are false raised concerns about the trustworthiness and integrity of science. Since then, there have been numerous attempts to examine the rate of false-positive results that have failed to settle this question empirically. Here we propose a new way to estimate the false positive risk and apply the method to the results of (randomized) clinical trials in top medical journals. Contrary to claims that most published results are false, we find that the traditional significance criterion of $\alpha = .05$ produces a false positive risk of 13%. Adjusting $\alpha$ to .01 lowers the false positive risk to less than 5%. However, our method does provide clear evidence of publication bias that leads to inflated effect size estimates. These results provide a solid empirical foundation for evaluations of the trustworthiness of medical research.


title: Model Monitoring and Robustness of In-Use Machine Learning Models: Quantifying Data Distribution Shifts Using Population Stability Index

abstract: Safety goes first. Meeting and maintaining industry safety standards for robustness of artificial intelligence (AI) and machine learning (ML) models require continuous monitoring for faults and performance drops. Deep learning models are widely used in industrial applications, e.g., computer vision, but the susceptibility of their performance to environment changes (e.g., noise) \emph{after deployment} on the product, are now well-known. A major challenge is detecting data distribution shifts that happen, comparing the following: {\bf (i)} development stage of AI and ML models, i.e., train/validation/test, to {\bf (ii)} deployment stage on the product (i.e., even after `testing') in the environment. We focus on a computer vision example related to autonomous driving and aim at detecting shifts that occur as a result of adding noise to images. We use the population stability index (PSI) as a measure of presence and intensity of shift and present results of our empirical experiments showing a promising potential for the PSI. We further discuss multiple aspects of model monitoring and robustness that need to be analyzed \emph{simultaneously} to achieve robustness for industry safety standards. We propose the need for and the research direction toward \emph{categorizations} of problem classes and examples where monitoring for robustness is required and present challenges and pointers for future work from a \emph{practical} perspective.


title: Safe Interval Path Planning With Kinodynamic Constraints

abstract: Safe Interval Path Planning (SIPP) is a powerful algorithm for solving single-agent pathfinding problem when the agent is confined to a graph and certain vertices/edges of this graph are blocked at certain time intervals due to dynamic obstacles that populate the environment. Original SIPP algorithm relies on the assumption that the agent is able to stop instantaneously. However, this assumption often does not hold in practice, e.g. a mobile robot moving with a cruising speed is not able to stop immediately but rather requires gradual deceleration to a full stop that takes time. In other words, the robot is subject to kinodynamic constraints. Unfortunately, as we show in this work, in such a case original SIPP is incomplete. To this end, we introduce a novel variant of SIPP that is provably complete and optimal for planning with acceleration/deceleration. In the experimental evaluation we show that the key property of the original SIPP still holds for the modified version -- it performs much less expansions compared to A* and, as a result, is notably faster.


title: Coupling a Cosmic String to a TQFT

abstract: A common framework of particle physics consists of two sectors of particles, such as the Standard Model and a dark sector, with some interaction between them. In this work, we initiate the study of a qualitatively different setup in which one of the sectors is a topological quantum field theory (TQFT). Instead of particles, the physics of a TQFT only manifests itself in non-trivial spacetime topologies. Topological defects provide a natural place to investigate such effects. In particular, we consider two possible ways in which axionic cosmic strings can interact with a Zn TQFT. One of them, by extending the structure of the axion coupling, leads to specific predictions for the localized degrees of freedom on the cosmic string, which can in turn effect their evolution and leave observable signals. The second approach, by gauging a discrete subgroup of the axionic shift symmetry, leads to dramatic changes in the string spectrum. We stress that the scenario considered here should be regarded as a plausible way for new physics to arise since it can be the low energy effective field theory for quite generic scenarios at high energies. To demonstrate this point and further illustrate the physical implications, we constructed such UV completions for both of the cases of couplings to TQFTs. The detailed prediction for observable signals of such scenarios needs further investigation. At the same time, our results demonstrate that there are rich new phenomena in this scenario.


title: User Study for Improving Tools for Bible Translation

abstract: Technology has increasingly become an integral part of the Bible translation process. Over time, both the translation process and relevant technology have evolved greatly. More recently, the field of Natural Language Processing (NLP) has made great progress in solving some problems previously thought impenetrable. Through this study we endeavor to better understand and communicate about a segment of the current landscape of the Bible translation process as it relates to technology and identify pertinent issues. We conduct several interviews with individuals working in different levels of the Bible translation process from multiple organizations to identify gaps and bottlenecks where technology (including recent advances in AI) could potentially play a pivotal role in reducing translation time and improving overall quality.


title: An Eulerian finite element method for tangential Navier-Stokes equations on evolving surfaces

abstract: The paper introduces a geometrically unfitted finite element method for the numerical solution of the tangential Navier--Stokes equations posed on a passively evolving smooth closed surface embedded in $\mathbb{R}^3$. The discrete formulation employs finite difference and finite elements methods to handle evolution in time and variation in space, respectively. A complete numerical analysis of the method is presented, including stability, optimal order convergence, and quantification of the geometric errors. Results of numerical experiments are also provided.


title: On constraining Cosmology and the Halo Mass Function with Weak Gravitational Lensing

abstract: The discrepancy between the weak lensing (WL) and the {\it Planck} measurements of $S_8$ has been a subject of several studies. These studies tend to show that a suppression of the amplitude of the mass power spectrum $P(k)$ at high $k$ could resolve it. The WL signal at small-scale is sensitive to various effects, such as baryonic effects and intrinsic alignment. The accuracy of $P(k)$ depends on the modelling precision of these effects. A common approach for calculating $P(k)$ relies on a halo model. Amongst the various components necessary for the construction of $P(k)$, the halo mass function (HMF) is an important one. Traditionally, the HMF has been assumed to follow a fixed model. Recent literature shows that baryonic physics, amongst several other factors, could affect the HMF. In this study, we investigate the impact of allowing the HMF to vary. This provides a way of testing the validity of the halo model-HMF calibration using data. We find that the {\it Planck} cosmology is not compatible with the vanilla HMF for both the DES-y3 and the KiDS-1000 data. When the cosmology and the HMF parameters are allowed to vary, the {\it Planck} cosmology is no longer in tension. The modified HMF predicts a matter power spectrum with a $\sim 25\%$ power loss at $k\sim 1~{\rm h/Mpc}$, in agreement with the recent studies. We show that Stage IV surveys will be able to measure the HMF parameters with a few percent accuracy.


title: Monitoring the risk of a tailings dam collapse through spectral analysis of satellite InSAR time-series data

abstract: Slope failures possess destructive power that can cause significant damage to both life and infrastructure. Monitoring slopes prone to instabilities is therefore critical in mitigating the risk posed by their failure. The purpose of slope monitoring is to detect precursory signs of stability issues, such as changes in the rate of displacement with which a slope is deforming. This information can then be used to predict the timing or probability of an imminent failure in order to provide an early warning. In this study, a more objective, statistical-learning algorithm is proposed to detect and characterise the risk of a slope failure, based on spectral analysis of serially correlated displacement time series data. The algorithm is applied to satellite-based interferometric synthetic radar (InSAR) displacement time series data to retrospectively analyse the risk of the 2019 Brumadinho tailings dam collapse in Brazil. Two potential risk milestones are identified and signs of a definitive but emergent risk (27 February 2018 to 26 August 2018) and imminent risk of collapse of the tailings dam (27 June 2018 to 24 December 2018) are detected by the algorithm. Importantly, this precursory indication of risk of failure is detected as early as at least five months prior to the dam collapse on 25 January 2019. The results of this study demonstrate that the combination of spectral methods and second order statistical properties of InSAR displacement time series data can reveal signs of a transition into an unstable deformation regime, and that this algorithm can provide sufficient early warning that could help mitigate catastrophic slope failures.


title: Evolving Flying Machines in Minecraft Using Quality Diversity

abstract: Minecraft is a great testbed for human creativity that has inspired the design of various structures and even functioning machines, including flying machines. EvoCraft is an API for programmatically generating structures in Minecraft, but the initial work in this domain was not capable of evolving flying machines. This paper applies fitness-based evolution and quality diversity search in order to evolve flying machines. Although fitness alone can occasionally produce flying machines, thanks in part to a more sophisticated fitness function than was used previously, the quality diversity algorithm MAP-Elites is capable of discovering flying machines much more reliably, at least when an appropriate behavior characterization is used to guide the search for diverse solutions.


title: Instantons: the next frontier

abstract: Instantons, emerged in particle physics, have been intensely studied since the 1970's and had an enormous impact in mathematics since then. In this paper, we focus on one particular way in which mathematical physics has guided the development of algebraic geometry in the past 40+ years. To be precise, we examine how the notion of mathematical instanton bundles in algebraic geometry has evolved from a class of vector bundles over the complex projective 3-space both to a class of torsion free sheaves on projective varieties of arbitrary dimension, and to a class of objects in the derived category of Fano threefolds. The original results contained in this survey focus precisely on the latter direction; in particular, we prove that the classical rank 2 instanton bundles over the projective 3-space are indeed instanton objects for any suitable chamber in the space of Bridgeland stability conditions.


title: An $L_\infty$-module Structure on Annular Khovanov Homology

abstract: Let $L$ be a link in a thickened annulus. Grigsby-Licata-Wehrli showed that the annular Khovanov homology of $L$ is equipped with an action of $sl_2(\wedge)$, the exterior current algebra of the Lie algebra $sl_2$. In this paper, we upgrade this result to the setting of $L_\infty$-algebras and modules. That is, we show that $sl_2(\wedge)$ is an $L_\infty$-algebra and that the annular Khovanov homology of $L$ is an $L_\infty$-module over $sl_2(\wedge)$. Up to $L_\infty$-quasi-isomorphism, this structure is invariant under Reidemeister moves. Finally, we include explicit formulas to compute the higher $L_\infty$-operations.


title: SkinCon: A skin disease dataset densely annotated by domain experts for fine-grained model debugging and analysis

abstract: For the deployment of artificial intelligence (AI) in high-risk settings, such as healthcare, methods that provide interpretability/explainability or allow fine-grained error analysis are critical. Many recent methods for interpretability/explainability and fine-grained error analysis use concepts, which are meta-labels that are semantically meaningful to humans. However, there are only a few datasets that include concept-level meta-labels and most of these meta-labels are relevant for natural images that do not require domain expertise. Densely annotated datasets in medicine focused on meta-labels that are relevant to a single disease such as melanoma. In dermatology, skin disease is described using an established clinical lexicon that allows clinicians to describe physical exam findings to one another. To provide a medical dataset densely annotated by domain experts with annotations useful across multiple disease processes, we developed SkinCon: a skin disease dataset densely annotated by dermatologists. SkinCon includes 3230 images from the Fitzpatrick 17k dataset densely annotated with 48 clinical concepts, 22 of which have at least 50 images representing the concept. The concepts used were chosen by two dermatologists considering the clinical descriptor terms used to describe skin lesions. Examples include "plaque", "scale", and "erosion". The same concepts were also used to label 656 skin disease images from the Diverse Dermatology Images dataset, providing an additional external dataset with diverse skin tone representations. We review the potential applications for the SkinCon dataset, such as probing models, concept-based explanations, and concept bottlenecks. Furthermore, we use SkinCon to demonstrate two of these use cases: debugging mistakes of an existing dermatology AI model with concepts and developing interpretable models with post-hoc concept bottleneck models.


title: Autonomous Drone Landing: Marked Landing Pads and Solidified Lava Flows

abstract: Landing is the most challenging and risky aspect of multirotor drone flight, and only simple landing methods exist for autonomous drones. We explore methods for autonomous drone landing in two scenarios. In the first scenario, we examine methods for landing on known landing pads using fiducial markers and a gimbal-mounted monocular camera. This method has potential in drone applications where a drone must land more accurately than GPS can provide (e.g.~package delivery in an urban canyon). We expand on previous methods by actuating the drone's camera to track the marker over time, and we address the complexities of pose estimation caused by fiducial marker orientation ambiguity. In the second scenario, and in collaboration with the RAVEN project, we explore methods for landing on solidified lava flows in Iceland, which serves as an analog environment for Mars and provides insight into the effectiveness of drone-rover exploration teams. Our drone uses a depth camera to visualize the terrain, and we are developing methods to analyze the terrain data for viable landing sites in real time with minimal sensors and external infrastructure requirements, so that the solution does not heavily influence the drone's behavior, mission structure, or operational environments.


title: FAVOR#: Sharp Attention Kernel Approximations via New Classes of Positive Random Features

abstract: The problem of efficient approximation of a linear operator induced by the Gaussian or softmax kernel is often addressed using random features (RFs) which yield an unbiased approximation of the operator's result. Such operators emerge in important applications ranging from kernel methods to efficient Transformers. We propose parameterized, positive, non-trigonometric RFs which approximate Gaussian and softmax-kernels. In contrast to traditional RF approximations, parameters of these new methods can be optimized to reduce the variance of the approximation, and the optimum can be expressed in closed form. We show that our methods lead to variance reduction in practice ($e^{10}$-times smaller variance and beyond) and outperform previous methods in a kernel regression task. Using our proposed mechanism, we also present FAVOR#, a method for self-attention approximation in Transformers. We show that FAVOR# outperforms other random feature methods in speech modelling and natural language processing.


title: A supplemental investigation of non-linearity in quantum generative models with respect to simulatability and optimization

abstract: Recent work has demonstrated the utility of introducing non-linearity through repeat-until-success (RUS) sub-routines into quantum circuits for generative modeling. As a follow-up to this work, we investigate two questions of relevance to the quantum algorithms and machine learning communities: Does introducing this form of non-linearity make the learning model classically simulatable due to the deferred measurement principle? And does introducing this form of non-linearity make the overall model's training more unstable? With respect to the first question, we demonstrate that the RUS sub-routines do not allow us to trivially map this quantum model to a classical one, whereas a model without RUS sub-circuits containing mid-circuit measurements could be mapped to a classical Bayesian network due to the deferred measurement principle of quantum mechanics. This strongly suggests that the proposed form of non-linearity makes the model classically in-efficient to simulate. In the pursuit of the second question, we train larger models than previously shown on three different probability distributions, one continuous and two discrete, and compare the training performance across multiple random trials. We see that while the model is able to perform exceptionally well in some trials, the variance across trials with certain datasets quantifies its relatively poor training stability.


title: Variational Autoencoder Learns Better Feature Representations for EEG-based Obesity Classification

abstract: Obesity is a common issue in modern societies today that can lead to various diseases and significantly reduced quality of life. Currently, research has been conducted to investigate resting state EEG (electroencephalogram) signals with an aim to identify possible neurological characteristics associated with obesity. In this study, we propose a deep learning-based framework to extract the resting state EEG features for obese and lean subject classification. Specifically, a novel variational autoencoder framework is employed to extract subject-invariant features from the raw EEG signals, which are then classified by a 1-D convolutional neural network. Comparing with conventional machine learning and deep learning methods, we demonstrate the superiority of using VAE for feature extraction, as reflected by the significantly improved classification accuracies, better visualizations and reduced impurity measures in the feature representations. Future work can be directed to gaining an in-depth understanding regarding the spatial patterns that have been learned by the proposed model from a neurological view, as well as improving the interpretability of the proposed model by allowing it to uncover any temporal-related information.


title: A note on commutators of singular integrals with ${\rm BMO}$ and ${\rm VMO}$ functions in the Dunkl setting

abstract: On $\mathbb R^N$ equipped with a root system $R$, multiplicity function $k \geq 0$, and the associated measure $dw(\mathbf{x})=\prod_{\alpha \in R}|\langle \mathbf{x},\alpha\rangle|^{k(\alpha)}\,d\mathbf{x}$, we consider a (non-radial) kernel ${K}(\mathbf{x})$ which has properties similar to those from the classical theory of singular integrals and the Dunkl convolution operator $\mathbf{T}f=f*K$ associated with ${K}$. Assuming that $b$ belongs to the ${\rm BMO}$ space on the space of homogeneous type $X=(\mathbb{R}^N,\|\cdot\|,dw)$, we prove that the commutator $[b,\mathbf{T}]f(\mathbf{x})=b(\mathbf{x})\mathbf{T}f(\mathbf{x})-\mathbf{T}(bf)(\mathbf{x})$ is a bounded operator on $L^p(dw)$ for all $1<p<\infty$. Moreover, $[b,\mathbf T]$ is compact on $L^p(dw)$, provided $b\in {\rm VMO} (X)$. The paper extents results of Han, Lee, Li and Wick.


title: Facilitating method development for reverse fill/flush flow modulation by using a tunable auxiliary pressure source instead of a fixed bleed capillary

abstract: The conventional reverse fill/flush flow modulation for comprehensive two-dimensional gas chromatography requires a bleed capillary column to be connected to the outlet of the modulator channel. The purpose of this capillary, that does not contain the stationary phase, is to provide a pressure resistance to the modulator channel flow. In this way, the desired modulator flow can be achieved, and channel over-filling can be avoided. Normally, the length and the internal diameter of the bleed capillary are chosen so as to obtain the modulator flow that is close to the flow of the first separation column. Thus, for any chosen set of chromatographic conditions, the required dimensions of the bleed capillary can be completely different, making the GCxGC method development tedious and generating additional costs in consumables and analyst time. In this work a tunable pressure source generating a suitable backpressure was used instead of the fixed bleed capillary which has the advantage of the possibility to freely adapt the pressure resistance and generate the required modulator channel flow for any conditions. This set-up has been evaluated and compared in terms of the impact on the modulation performance to the set-up involving a fixed bleed capillary demonstrating comparable performance.


title: Advanced Modeling of Rectangular Waveguide Devices with Smooth Profiles by Hierarchical Model Reduction

abstract: We present a new method for the analysis of smoothly varying tapers, transitions and filters in rectangular waveguides. With this aim, we apply a Hierarchical Model (HiMod) reduction to the vector Helmholtz equation. We exploit a suitable coordinate transformation and, successively, we use the waveguide modes as a basis for the HiMod expansion. We show that accurate results can be obtained with an impressive speed-up factor when compared with standard commercial codes based on a three-dimensional finite element discretization.


title: Inverse-designed low-index-contrast structures on silicon photonics platform for vector-matrix multiplication

abstract: Inverse-designed Silicon photonic metastructures offer an efficient platform to perform analog computations with electromagnetic waves. However, due to computational difficulties, scaling up these metastructures to handle a large number of data channels is not trivial. Furthermore, a typical inverse-design procedure utilizes a small computational domain and therefore tends to employ resonant features to achieve its objectives. This results in structures that are narrow-bandwidth and highly sensitive to fabrication errors. Here, we employ a 2D inverse-design method based on the effective index approximation with a low-index contrast constraint. This results in compact amorphous lens systems which are generally feed-forward and low-resonance. We designed and experimentally demonstrated a vector-matrix product for a 2 x 2 and a 3 x 3 matrix. We also designed a 10 x 10 matrix using the proposed 2D computational method. These examples demonstrate that these techniques have the potential to enable larger-scale wave-based analog computing platforms.


title: Using Machine Learning to Develop Smart Reflex Testing Protocols

abstract: Objective: Reflex testing protocols allow clinical laboratories to perform second line diagnostic tests on existing specimens based on the results of initially ordered tests. Reflex testing can support optimal clinical laboratory test ordering and diagnosis. In current clinical practice, reflex testing typically relies on simple "if-then" rules; however, this limits their scope since most test ordering decisions involve more complexity than a simple rule will allow. Here, using the analyte ferritin as an example, we propose an alternative machine learning-based approach to "smart" reflex testing with a wider scope and greater impact than traditional rule-based approaches. Methods: Using patient data, we developed a machine learning model to predict whether a patient getting CBC testing will also have ferritin testing ordered, consider applications of this model to "smart" reflex testing, and evaluate the model by comparing its performance to possible rule-based approaches. Results: Our underlying machine learning models performed moderately well in predicting ferritin test ordering and demonstrated greater suitability to reflex testing than rule-based approaches. Using chart review, we demonstrate that our model may improve ferritin test ordering. Finally, as a secondary goal, we demonstrate that ferritin test results are missing not at random (MNAR), a finding with implications for unbiased imputation of missing test results. Conclusions: Machine learning may provide a foundation for new types of reflex testing with enhanced benefits for clinical diagnosis and laboratory utilization management.


title: Applications and resource reductions in measurement-based variational quantum eigensolvers

abstract: We discuss the procedure for obtaining measurement-based implementations of quantum algorithms given by quantum circuit diagrams and how to reduce the required resources needed for a given measurement-based computation. This forms the foundation for quantum computing on photonic systems in the near term. To demonstrate that these ideas are well grounded we present three different problems which are solved by employing a measurement-based implementation of the variational quantum eigensolver algorithm (MBVQE). We show that by utilising native measurement-based gates rather than standard gates, such as the standard CNOT, MBQCs may be obtained that are both shallow and have simple connectivity while simultaneously exhibiting a large expressibility. We conclude that MBVQE has promising prospects for resource states that are not far from what is already available today.


title: Unsupervised Entity Alignment for Temporal Knowledge Graphs

abstract: Entity alignment (EA) is a fundamental data integration task that identifies equivalent entities between different knowledge graphs (KGs). Temporal Knowledge graphs (TKGs) extend traditional knowledge graphs by introducing timestamps, which have received increasing attention. State-of-the-art time-aware EA studies have suggested that the temporal information of TKGs facilitates the performance of EA. However, existing studies have not thoroughly exploited the advantages of temporal information in TKGs. Also, they perform EA by pre-aligning entity pairs, which can be labor-intensive and thus inefficient. In this paper, we present DualMatch which effectively fuses the relational and temporal information for EA. DualMatch transfers EA on TKGs into a weighted graph matching problem. More specifically, DualMatch is equipped with an unsupervised method, which achieves EA without necessitating seed alignment. DualMatch has two steps: (i) encoding temporal and relational information into embeddings separately using a novel label-free encoder, Dual-Encoder; and (ii) fusing both information and transforming it into alignment using a novel graph-matching-based decoder, GM-Decoder. DualMatch is able to perform EA on TKGs with or without supervision, due to its capability of effectively capturing temporal information. Extensive experiments on three real-world TKG datasets offer the insight that DualMatch outperforms the state-of-the-art methods in terms of H@1 by 2.4% - 10.7% and MRR by 1.7% - 7.6%, respectively.


title: Combining Tree-Search, Generative Models, and Nash Bargaining Concepts in Game-Theoretic Reinforcement Learning

abstract: Multiagent reinforcement learning (MARL) has benefited significantly from population-based and game-theoretic training regimes. One approach, Policy-Space Response Oracles (PSRO), employs standard reinforcement learning to compute response policies via approximate best responses and combines them via meta-strategy selection. We augment PSRO by adding a novel search procedure with generative sampling of world states, and introduce two new meta-strategy solvers based on the Nash bargaining solution. We evaluate PSRO's ability to compute approximate Nash equilibrium, and its performance in two negotiation games: Colored Trails, and Deal or No Deal. We conduct behavioral studies where human participants negotiate with our agents ($N = 346$). We find that search with generative modeling finds stronger policies during both training time and test time, enables online Bayesian co-player prediction, and can produce agents that achieve comparable social welfare negotiating with humans as humans trading among themselves.


title: Conformal blocks in genus zero and the KZ connection

abstract: We survey some recent work on conformal blocks in genus zero, focussing on (1) Chern classes, global generation and morphisms, and (2) the Knizhnik--Zamolodchikov connection on conformal blocks (and invariants), their motivic realizations, and unitarity.


title: Charting the Sociotechnical Gap in Explainable AI: A Framework to Address the Gap in XAI

abstract: Explainable AI (XAI) systems are sociotechnical in nature; thus, they are subject to the sociotechnical gap--divide between the technical affordances and the social needs. However, charting this gap is challenging. In the context of XAI, we argue that charting the gap improves our problem understanding, which can reflexively provide actionable insights to improve explainability. Utilizing two case studies in distinct domains, we empirically derive a framework that facilitates systematic charting of the sociotechnical gap by connecting AI guidelines in the context of XAI and elucidating how to use them to address the gap. We apply the framework to a third case in a new domain, showcasing its affordances. Finally, we discuss conceptual implications of the framework, share practical considerations in its operationalization, and offer guidance on transferring it to new contexts. By making conceptual and practical contributions to understanding the sociotechnical gap in XAI, the framework expands the XAI design space.


title: Many-body multipole index and bulk-boundary correspondence

abstract: We propose new dipole and quadrupole indices for interacting insulators with point group symmetries. The proposed indices are defined in terms of many-body quantum multipole operators combined with the generator of the point group symmetry. Unlike the original multipole operators, these combined operators commute with Hamiltonian under the symmetry and therefore their eigenvalues are quantized. This enables a clear identification of nontrivial multipolar states. We calculate the multipole indices in representative models and show their effectiveness as order parameters. Furthermore, we demonstrate a bulk-boundary correspondence: a non-zero index implies the existence of edge/corner states under the the point group symmetry.


title: A tutorial on networks in social systems: A mathematical modeling perspective

abstract: This article serves as an introduction to the study of networks of social systems. First, we introduce the reader to key mathematical tools to study social networks, including mathematical representations of networks and essential terminology. We describe several network properties of interest and techniques for measuring these properties. We also discuss some popular generative models of networks and see how the study of these models provides insight into the mechanisms for the emergence of structural patterns. Throughout, we will highlight the patterns that commonly emerge in social networks. The goal is to provide an accessible, broad, and solid foundation for a reader who is new to the field so that they may confidently engage more deeply with the mathematical study of social networks.


title: Orbit-finite linear programming

abstract: An infinite set is orbit-finite if, up to permutations of the underlying structure of atoms, it has only finitely many elements. We study a generalisation of linear programming where constraints are expressed by an orbit-finite system of linear inequalities. As our principal contribution we provide a decision procedure for checking if such a system has a real solution, and for computing the minimal/maximal value of a linear objective function over the solution set. We also show undecidability of these problems in case when only integer solutions are considered. Therefore orbit-finite linear programming is decidable, while orbit-finite integer linear programming is not.


title: Inversion Symmetry Breaking in Epitaxial Ultrathin Bi (111) Films

abstract: Bismuth (Bi) films hold potential for spintronic devices and topological one-dimensional edge transport. Large-area high-quality (111) Bi ultrathin films are grown on InSb (111)B substrates. Strong film-substrate interactions epitaxially stabilize the (111) orientation and lead to inversion symmetry breaking. We resolve the longstanding controversy over the Z_2 topological assignment of bismuth and show that the surface states are topologically trivial. Our results demonstrate that interfacial bonds prevent the semimetal-to-semiconductor transition predicted for freestanding bismuth layers, highlighting the importance of controlled functionalization and surface passivation in two-dimensional materials.


title: Ultrastrong Magnon-Photon Coupling Achieved by Magnetic Films in Contact with Superconducting Resonators

abstract: Coherent coupling between spin wave excitations (magnons) and microwave photons in a cavity may disclose new paths to unconventional phenomena as well as for novel applications. Here, we present a systematic investigation on YIG (Yttrium Iron Garnet) films on top of coplanar waveguide resonators made of superconducting YBCO. We first show that spin wave excitations with frequency higher than the Kittel mode can be excited by putting in direct contact a 5~$\mu$m thick YIG film with the YBCO coplanar resonator (cavity frequency $\omega_c/2 \pi = 8.65$~GHz). With this configuration, we obtain very large values of the collective coupling strength $\lambda/2 \pi \approx 2$~GHz and cooperativity $C=5 \times 10^4$. Transmission spectra are analyzed by a modified Hopfield model for which we provide an exact solution that allows us to well reproduce spectra by introducing a limited number of free parameters. It turns out that the coupling of the dominant magnon mode with photons exceeds 0.2 times the cavity frequency, thus demonstrating the achievement of the ultrastrong coupling regime with this architecture. Our analysis also shows a vanishing contribution of the diamagnetic term which is a peculiarity of pure spin systems.


title: Conditioning Predictive Models: Risks and Strategies

abstract: Our intention is to provide a definitive reference on what it would take to safely make use of generative/predictive models in the absence of a solution to the Eliciting Latent Knowledge problem. Furthermore, we believe that large language models can be understood as such predictive models of the world, and that such a conceptualization raises significant opportunities for their safe yet powerful use via carefully conditioning them to predict desirable outputs. Unfortunately, such approaches also raise a variety of potentially fatal safety problems, particularly surrounding situations where predictive models predict the output of other AI systems, potentially unbeknownst to us. There are numerous potential solutions to such problems, however, primarily via carefully conditioning models to predict the things we want (e.g. humans) rather than the things we don't (e.g. malign AIs). Furthermore, due to the simplicity of the prediction objective, we believe that predictive models present the easiest inner alignment problem that we are aware of. As a result, we think that conditioning approaches for predictive models represent the safest known way of eliciting human-level and slightly superhuman capabilities from large language models and other similar future models.


title: Oracle-Preserving Latent Flows

abstract: We develop a deep learning methodology for the simultaneous discovery of multiple nontrivial continuous symmetries across an entire labelled dataset. The symmetry transformations and the corresponding generators are modeled with fully connected neural networks trained with a specially constructed loss function ensuring the desired symmetry properties. The two new elements in this work are the use of a reduced-dimensionality latent space and the generalization to transformations invariant with respect to high-dimensional oracles. The method is demonstrated with several examples on the MNIST digit dataset.


title: Deep neural operators can serve as accurate surrogates for shape optimization: A case study for airfoils

abstract: Deep neural operators, such as DeepONets, have changed the paradigm in high-dimensional nonlinear regression from function regression to (differential) operator regression, paving the way for significant changes in computational engineering applications. Here, we investigate the use of DeepONets to infer flow fields around unseen airfoils with the aim of shape optimization, an important design problem in aerodynamics that typically taxes computational resources heavily. We present results which display little to no degradation in prediction accuracy, while reducing the online optimization cost by orders of magnitude. We consider NACA airfoils as a test case for our proposed approach, as their shape can be easily defined by the four-digit parametrization. We successfully optimize the constrained NACA four-digit problem with respect to maximizing the lift-to-drag ratio and validate all results by comparing them to a high-order CFD solver. We find that DeepONets have low generalization error, making them ideal for generating solutions of unseen shapes. Specifically, pressure, density, and velocity fields are accurately inferred at a fraction of a second, hence enabling the use of general objective functions beyond the maximization of the lift-to-drag ratio considered in the current work.


title: ACPO: A Policy Optimization Algorithm for Average MDPs with Constraints

abstract: Reinforcement Learning (RL) for constrained MDPs (CMDPs) is an increasingly important problem for various applications. Often, the average criterion is more suitable than the discounted criterion. Yet, RL for average-CMDPs (ACMDPs) remains a challenging problem. Algorithms designed for discounted constrained RL problems often do not perform well for the average CMDP setting. In this paper, we introduce a new policy optimization with function approximation algorithm for constrained MDPs with the average criterion. The Average-Constrained Policy Optimization (ACPO) algorithm is inspired by trust region-based policy optimization algorithms. We develop basic sensitivity theory for average CMDPs, and then use the corresponding bounds in the design of the algorithm. We provide theoretical guarantees on its performance, and through extensive experimental work in various challenging OpenAI Gym environments, show its superior empirical performance when compared to other state-of-the-art algorithms adapted for the ACMDPs.


title: A Survey on Convex Hypersurfaces of Riemannian Manifolds

abstract: We survey the main extensions of the classical Hadamard, Liebmann and Cohn-Vossen rigidity theorems on convex surfaces of $3$-Euclidean space to the context of convex hypersurfaces of Riemannian manifolds. The results we present include the one by Professor Renato Tribuzy (in collaboration with H. Rosenberg) on rigidity of convex surfaces of homogeneous $3$-manifolds.


title: Beyond KNN: Deep Neighborhood Learning for WiFi-based Indoor Positioning Systems

abstract: K-Neares Neighbors (KNN) and its variant weighted KNN (WKNN) have been explored for years in both academy and industry to provide stable and reliable performance in WiFi-based indoor positioning systems. Such algorithms estimate the location of a given point based on the locality information from the selected nearest WiFi neighbors according to some distance metrics calculated from the combination of WiFi received signal strength (RSS). However, such a process does not consider the relational information among the given point, WiFi neighbors, and the WiFi access points (WAPs). Therefore, this study proposes a novel Deep Neighborhood Learning (DNL). The proposed DNL approach converts the WiFi neighborhood to heterogeneous graphs, and utilizes deep graph learning to extract better representation of the WiFi neighborhood to improve the positioning accuracy. Experiments on 3 real industrial datasets collected from 3 mega shopping malls on 26 floors have shown that the proposed approach can reduce the mean absolute positioning error by 10% to 50% in most of the cases. Specially, the proposed approach sharply reduces the root mean squared positioning error and 95\% percentile positioning error, being more robust to the outliers than conventional KNN and WKNN.


title: Boundedness of composition operators on higher order Besov spaces in one dimension

abstract: This paper aims to characterize boundedness of composition operators on Besov spaces $B^s_{p,q}$ of higher order derivatives $s>1+1/p$ on the one-dimensional Euclidean space. In contrast to the lower order case $0<s<1$, there were a few results on the boundedness of composition operators for $s>1$. We prove a relation between the composition operators and pointwise multipliers of Besov spaces, and effectively use the characterizations of the pointwise multipliers. As a result, we obtain necessary and sufficient conditions for the boundedness of composition operators for general $p$, $q$, and $s$ such that $1<p\le \infty$, $0<q\le \infty$, and $s>1+1/p$. In this paper, we treat, as a map that induces the composition operator, not only a homeomorphism on the real line but also a continuous map whose number of elements of inverse images at any one point is bounded above. We also show a similar characterization of the boundedness of composition operators on Sobolev spaces.


title: Event-triggered Hybrid Energy-aware Scheduling in Manufacturing Systems

abstract: Incorporating renewable energy sources (RESs) into manufacturing systems has been an active research area in order to address many challenges originating from the unpredictable nature of RESs such as photovoltaics.In the energy-aware scheduling for manufacturing systems, the traditional off-line scheduling techniques cannot always work well due to their lack of robustness with respect to uncertainties coming from imprecise models or unexpected situations. On the other hand, on-line scheduling or rescheduling, which can improve the robustness by using the model and the latest measurements simultaneously, suffer from a high computational cost. This work proposes a hybrid scheduling framework, which combines the advantages of both off-line scheduling and on-line scheduling, to provide a balanced solution between robustness and computational cost. A novel concept of partially-dispatchable state is introduced. It can be treated as a constant in scheduling when the model works well. When the model does not work well, it is triggered as the variable to tune to improve the performance. Such an event-triggered structure can reduce the number of rescheduling and computational costs while achieving a reasonable performance and enhancing system robustness. Moreover, the choice of partially-dispatchable state also provides an extra design freedom in achieving green manufacturing. Simulation examples on a manufacturing system, of which consists a 100-kW solar photovoltaic system, a 10-machine flow shop production line, a 50-kWh energy storage system, a 100-kW gas turbine, and the grid for power supply, demonstrating the validity and applicability of this event-triggered hybrid scheduling (ETHS) framework.


title: Goal Alignment: A Human-Aware Account of Value Alignment Problem

abstract: Value alignment problems arise in scenarios where the specified objectives of an AI agent don't match the true underlying objective of its users. The problem has been widely argued to be one of the central safety problems in AI. Unfortunately, most existing works in value alignment tend to focus on issues that are primarily related to the fact that reward functions are an unintuitive mechanism to specify objectives. However, the complexity of the objective specification mechanism is just one of many reasons why the user may have misspecified their objective. A foundational cause for misalignment that is being overlooked by these works is the inherent asymmetry in human expectations about the agent's behavior and the behavior generated by the agent for the specified objective. To address this lacuna, we propose a novel formulation for the value alignment problem, named goal alignment that focuses on a few central challenges related to value alignment. In doing so, we bridge the currently disparate research areas of value alignment and human-aware planning. Additionally, we propose a first-of-its-kind interactive algorithm that is capable of using information generated under incorrect beliefs about the agent, to determine the true underlying goal of the user.


title: Stochastic Contextual Bandits with Long Horizon Rewards

abstract: The growing interest in complex decision-making and language modeling problems highlights the importance of sample-efficient learning over very long horizons. This work takes a step in this direction by investigating contextual linear bandits where the current reward depends on at most $s$ prior actions and contexts (not necessarily consecutive), up to a time horizon of $h$. In order to avoid polynomial dependence on $h$, we propose new algorithms that leverage sparsity to discover the dependence pattern and arm parameters jointly. We consider both the data-poor ($T<h$) and data-rich ($T\ge h$) regimes, and derive respective regret upper bounds $\tilde O(d\sqrt{sT} +\min\{ q, T\})$ and $\tilde O(\sqrt{sdT})$, with sparsity $s$, feature dimension $d$, total time horizon $T$, and $q$ that is adaptive to the reward dependence pattern. Complementing upper bounds, we also show that learning over a single trajectory brings inherent challenges: While the dependence pattern and arm parameters form a rank-1 matrix, circulant matrices are not isometric over rank-1 manifolds and sample complexity indeed benefits from the sparse reward dependence structure. Our results necessitate a new analysis to address long-range temporal dependencies across data and avoid polynomial dependence on the reward horizon $h$. Specifically, we utilize connections to the restricted isometry property of circulant matrices formed by dependent sub-Gaussian vectors and establish new guarantees that are also of independent interest.


title: Slope inequality for an arbitrary divisor

abstract: Let $f: S \longrightarrow C$ be a surjective morphism with connected fibers from a smooth complex projective surface $S$ to a smooth complex projective curve $C$ with general fiber $F$. In this paper, we develop a more general version of slope inequality for a data $(D, \mathcal{F})$ where $D$ is an arbitrary relatively effective divisor on $S$ and $\mathcal{F}$ is a locally free sub-sheaf of $f_{*}\mathcal{O}_{S}(D)$ without assuming any linear stability condition of $|D_{|_{F}}|$, we explain how the speciality of $D$ restricted to the general fiber play a role in the results. However, we compute some natural examples and give applications.


title: Dynamic Atomic Column Detection in Transmission Electron Microscopy Videos via Ridge Estimation

abstract: Ridge detection is a classical tool to extract curvilinear features in image processing. As such, it has great promise in applications to material science problems; specifically, for trend filtering relatively stable atom-shaped objects in image sequences, such as Transmission Electron Microscopy (TEM) videos. Standard analysis of TEM videos is limited to frame-by-frame object recognition. We instead harness temporal correlation across frames through simultaneous analysis of long image sequences, specified as a spatio-temporal image tensor. We define new ridge detection algorithms to non-parametrically estimate explicit trajectories of atomic-level object locations as a continuous function of time. Our approach is specially tailored to handle temporal analysis of objects that seemingly stochastically disappear and subsequently reappear throughout a sequence. We demonstrate that the proposed method is highly effective and efficient in simulation scenarios, and delivers notable performance improvements in TEM experiments compared to other material science benchmarks.


title: Recurrent Graph Convolutional Networks for Spatiotemporal Prediction of Snow Accumulation Using Airborne Radar

abstract: The accurate prediction and estimation of annual snow accumulation has grown in importance as we deal with the effects of climate change and the increase of global atmospheric temperatures. Airborne radar sensors, such as the Snow Radar, are able to measure accumulation rate patterns at a large-scale and monitor the effects of ongoing climate change on Greenland's precipitation and run-off. The Snow Radar's use of an ultra-wide bandwidth enables a fine vertical resolution that helps in capturing internal ice layers. Given the amount of snow accumulation in previous years using the radar data, in this paper, we propose a machine learning model based on recurrent graph convolutional networks to predict the snow accumulation in recent consecutive years at a certain location. We found that the model performs better and with more consistency than equivalent nongeometric and nontemporal models.


title: Analyticity of Steklov Eigenvalues in nearly-hyperspherical domains in \mathbb{R}^{d+1}

abstract: We consider the Dirichlet-to-Neumann operator (DNO) on nearly-hyperspherical domains in dimension greater than 3. Treating such domains as perturbations of the ball, we prove the analytic dependence of the DNO on the shape perturbation parameter for fixed perturbation functions. Consequently, we conclude that the Steklov eigenvalues are analytic in the shape perturbation parameter as well. To obtain these results, we use the strategy of Nicholls and Nigam (2004), and of Viator and Osting (2020); we transform the Laplace-Dirichlet problem on the perturbed domain to a more complicated, parameter-dependent equation on the ball, and then geometrically bound the Neumann expansion of the transformed DNO. These results are a generalization of the work of Viator and Osting (2020) for dimension 2 and 3.


title: Introduction to Arithmetic Coding -- Theory and Practice

abstract: This introduction to arithmetic coding is divided in two parts. The first explains how and why arithmetic coding works. We start presenting it in very general terms, so that its simplicity is not lost under layers of implementation details. Next, we show some of its basic properties, which are later used in the computational techniques required for a practical implementation. In the second part, we cover the practical implementation aspects, including arithmetic operations with low precision, the subdivision of coding and modeling, and the realization of adaptive encoders. We also analyze the arithmetic coding computational complexity, and techniques to reduce it.


title: mlpack 4: a fast, header-only C++ machine learning library

abstract: For over 15 years, the mlpack machine learning library has served as a "swiss army knife" for C++-based machine learning. Its efficient implementations of common and cutting-edge machine learning algorithms have been used in a wide variety of scientific and industrial applications. This paper overviews mlpack 4, a significant upgrade over its predecessor. The library has been significantly refactored and redesigned to facilitate an easier prototyping-to-deployment pipeline, including bindings to other languages (Python, Julia, R, Go, and the command line) that allow prototyping to be seamlessly performed in environments other than C++. mlpack is open-source software, distributed under the permissive 3-clause BSD license; it can be obtained at https://mlpack.org


title: Designing a Hybrid Digital / Analog Quantum Physics Emulator as Open Hardware

abstract: One of the most exciting quantum emulation [1] breakthroughs was the first analog signal-based emulation of a universal quantum computer [2]. This yielded a very interesting paper, but no practical use - even for theorists. The reason for this was that a signal duration of the approximate age of the universe (13.77 billion years) could accommodate only about 95 qubits. We propose a new scheme with the following properties: 1) a pair of oscillators or sinusioidal wave sources must be sufficient to emulate n superimposed states with the ability to be identifiably mixed or entangled, 2) the time required to perform a measurement of a state must not scale poorly with the complexity of the state, 3) a fixed set of hardware components must be sufficient to emulate a system of a significant number of qubits, and 4) at least as much must be knowable about an emulated quantum state as is expected to be measurable in a theoretical quantum computing system. We achieve a design whose time complexity scales favourably based on a new method of encoding quantum information into classical signals, but only anticipate the feasibility of encodings of up to 20 qubits with modern electrical hardware.


title: Quantitative stochastic homogenization of elliptic equations with unbounded coefficients

abstract: In this paper, we consider stochastic homogenization of elliptic equations with unbounded and non-uniformly elliptic coefficients. Extending subadditive arguments, we get an estimate for the rate of the convergence of the solution of the Dirichlet problem under the condition that coefficients in the unit cube have a certain exponential integrability. For the coefficient field $\mathbf{a}$ in this paper, we only assume a constant decrease at a constant distance of the maximal correlation as an assumption of ergodicity, and stationarity with respect to $\mathbb{Z}^d$-translations.


title: Batalin-Tyutin quantization of dynamical boundary of AdS$_2$

abstract: In a two-dimensional AdS space, a dynamical boundary of AdS space was described by a one-dimensional quantum-mechanical Hamiltonian with a coupling between the bulk and boundary system. In this paper, we present a Lagrangian corresponding to the Hamiltonian through the Legendre transformation with a constraint. In Dirac's constraint analysis, we find two primary constraints without secondary constraints; however, they are fully second-class. In order to make the second-class constraint system into a first-class constraint system, we employ the Batalin-Tyutin Hamiltonian method, where the extended system reduces to the original one for the unitary gauge condition. In the spirit of the AdS/CFT correspondence, it raises a question whether a well-defined extended bulk theory corresponding to the extended boundary theory can exist or not.