title: Robotic Inspection and Characterization of Subsurface Defects on Concrete Structures Using Impact Sounding

abstract: Impact-sounding (IS) and impact-echo (IE) are well-developed non-destructive evaluation (NDE) methods that are widely used for inspections of concrete structures to ensure the safety and sustainability. However, it is a tedious work to collect IS and IE data along grid lines covering a large target area for characterization of subsurface defects. On the other hand, data processing is very complicated that requires domain experts to interpret the results. To address the above problems, we present a novel robotic inspection system named as Impact-Rover to automate the data collection process and introduce data analytics software to visualize the inspection result allowing regular non-professional people to understand. The system consists of three modules: 1) a robotic platform with vertical mobility to collect IS and IE data in hard-to-reach locations, 2) vision-based positioning module that fuses the RGB-D camera, IMU and wheel encoder to estimate the 6-DOF pose of the robot, 3) a data analytics software module for processing the IS data to generate defect maps. The Impact-Rover hosts both IE and IS devices on a sliding mechanism and can perform move-stop-sample operations to collect multiple IS and IE data at adjustable spacing. The robot takes samples much faster than the manual data collection method because it automatically takes the multiple measurements along a straight line and records the locations. This paper focuses on reporting experimental results on IS. We calculate features and use unsupervised learning methods for analyzing the data. By combining the pose generated by our vision-based localization module and the position of the head of the sliding mechanism we can generate maps of possible defects. The results on concrete slabs demonstrate that our impact-sounding system can effectively reveal shallow defects.


title: Wasserstein Complexity of Quantum Circuits

abstract: Given a unitary transformation, what is the size of the smallest quantum circuit that implements it? This quantity, known as the quantum circuit complexity, is a fundamental property of quantum evolutions that has widespread applications in many fields, including quantum computation, quantum field theory, and black hole physics. In this letter, we obtain a new lower bound for the quantum circuit complexity in terms of a novel complexity measure that we propose for quantum circuits, which we call the quantum Wasserstein complexity. Our proposed measure is based on the quantum Wasserstein distance of order one (also called the quantum earth mover's distance), a metric on the space of quantum states. We also prove several fundamental and important properties of our new complexity measure, which stand to be of independent interest. Finally, we show that our new measure also provides a lower bound for the experimental cost of implementing quantum circuits, which implies a quantum limit on converting quantum resources to computational resources. Our results provide novel applications of the quantum Wasserstein distance and pave the way for a deeper understanding of the resources needed to implement a quantum computation.


title: Asynchronous Multiuser Detection for SCMA with Unknown Delays: A Compressed Sensing Approach

abstract: Despite being the subject of a growing body of research, non-orthogonal multiple access has failed to garner sufficient support to be included in modern standards. One of the more promising approaches to non-orthogonal multiple access is sparse code multiple access, which seeks to utilize non-orthogonal, sparse spreading codes to share bandwidth among users more efficiently than traditional orthogonal methods. Nearly all of the studies regarding sparse code multiple access assume synchronization at the receiver, which may not always be a practical assumption. In this work, we aim to bring this promising technology closer to a practical realization by dropping the assumption of synchronization. We therefore propose a compressed sensing-based delay estimation technique developed specifically for an uplink sparse code multiple access system. The proposed technique can be used with nearly all of the numerous decoding algorithms proposed in the existing literature, including the popular message passing approach. Furthermore, we derive a theoretical bound regarding the recovery performance of the proposed technique, and use simulations to demonstrate its viability in a practical uplink system.


title: Developing a Philosophical Framework for Fair Machine Learning: Lessons From The Case of Algorithmic Collusion

abstract: Fair machine learning research has been primarily concerned with classification tasks that result in discrimination. However, as machine learning algorithms are applied in new contexts the harms and injustices that result are qualitatively different than those presently studied. The existing research paradigm in machine learning which develops metrics and definitions of fairness cannot account for these qualitatively different types of injustice. One example of this is the problem of algorithmic collusion and market fairness. The negative consequences of algorithmic collusion affect all consumers, not only particular members of a protected class. Drawing on this case study, I propose an ethical framework for researchers and practitioners in machine learning seeking to develop and apply fairness metrics that extends to new domains. This contribution ties the development of formal metrics of fairness to specifically scoped normative principles. This enables fairness metrics to reflect different concerns from discrimination. I conclude with the limitations of my proposal and discuss promising avenues for future research.


title: ANTI-CARLA: An Adversarial Testing Framework for Autonomous Vehicles in CARLA

abstract: Despite recent advances in autonomous driving systems, accidents such as the fatal Uber crash in 2018 show these systems are still susceptible to edge cases. Such systems must be thoroughly tested and validated before being deployed in the real world to avoid such events. Testing in open-world scenarios can be difficult, time-consuming, and expensive. These challenges can be addressed by using driving simulators such as CARLA instead. A key part of such tests is adversarial testing, in which the goal is to find scenarios that lead to failures of the given system. While several independent efforts in testing have been made, a well-established testing framework that enables adversarial testing has yet to be made available for CARLA. We therefore propose ANTI-CARLA, an automated testing framework in CARLA for simulating adversarial weather conditions (e.g., heavy rain) and sensor faults (e.g., camera occlusion) that fail the system. The operating conditions in which a given system should be tested are specified in a scenario description language. The framework offers an efficient search mechanism that searches for adversarial operating conditions that will fail the tested system. In this way, ANTI-CARLA extends the CARLA simulator with the capability of performing adversarial testing on any given driving pipeline. We use ANTI-CARLA to test the driving pipeline trained with Learning By Cheating (LBC) approach. The simulation results demonstrate that ANTI-CARLA can effectively and automatically find a range of failure cases despite LBC reaching an accuracy of 100% in the CARLA benchmark.


title: Classification of multistationarity for mass action networks with one-dimensional stoichiometric subspace

abstract: We characterize completely the capacity for (nondegenerate) multistationarity of mass action reaction networks with one-dimensional stoichiometric subspace in terms of reaction structure. Specifically, we show that networks with two or more source complexes have the capacity for multistationarity if and only if they have both patterns $(\to, \gets)$ and $(\gets, \to)$ in some 1D projections. Moreover, we specify the classes of networks for which only degenerate multiple steady states may occur. In particular, we characterize the capacity for nondegenerate multistationarity of small networks composed of one irreversible and one reversible reaction, or two reversible reactions


title: Spread Complexity and Topological Transitions in the Kitaev Chain

abstract: A number of recent works have argued that quantum complexity, a well-known concept in computer science that has re-emerged recently in the context of the physics of black holes, may be used as an efficient probe of novel phenomena such as quantum chaos and even quantum phase transitions. In this article, we provide further support for the latter, using a 1-dimensional p-wave superconductor - the Kitaev chain - as a prototype of a system displaying a topological phase transition. The Hamiltonian of the Kitaev chain manifests two gapped phases of matter with fermion parity symmetry; a trivial strongly-coupled phase and a topologically non-trivial, weakly-coupled phase with Majorana zero-modes. We show that Krylov-complexity (or, more precisely, the associated spread-complexity) is able to distinguish between the two and provides a diagnostic of the quantum critical point that separates them. We also comment on some possible ambiguity in the existing literature on the sensitivity of different measures of complexity to topological phase transitions.


title: Existence of Nonzero Trace-Zero Idempotents in the Group Algebras of Finite Groups

abstract: Let $G$ be a finite group and $K$ a splitting field of $G$ of characteristic $p>0$. Denote by $KG$ the group algebra of $G$ over $K$ and $Z(KG)$ the center of $KG$. Let $V_G$ be the $K$-subspace of trace-zero elements of $KG$. We give some numerical sufficient and necessary conditions for $V_G$ and $V_G\cap Z(KG)$, respectively, to be Mathieu subspaces of $KG$ in terms of the degrees of irreducible representations of $G$ over $K$. The same numerical conditions also characterize the finite groups $G$ that $KG$ has no nonzero trace-zero idempotents and the finite groups $G$ that $KG$ has no nonzero central trace-zero idempotents, respectively.


title: Voxels Intersecting along Orthogonal Levels Attention U-Net for Intracerebral Haemorrhage Segmentation in Head CT

abstract: We propose a novel and flexible attention based U-Net architecture referred to as "Voxels-Intersecting Along Orthogonal Levels Attention U-Net" (viola-Unet), for intracranial hemorrhage (ICH) segmentation task in the INSTANCE 2022 Data Challenge on non-contrast computed tomography (CT). The performance of ICH segmentation was improved by efficiently incorporating fused spatially orthogonal and cross-channel features via our proposed Viola attention plugged into the U-Net decoding branches. The viola-Unet outperformed the strong baseline nnU-Net models during both 5-fold cross validation and online validation. Our solution was the winner of the challenge validation phase in terms of all four performance metrics (i.e., DSC, HD, NSD, and RVD). The code base, pretrained weights, and docker image of the viola-Unet AI tool are publicly available at \url{https://github.com/samleoqh/Viola-Unet}.


title: Engineering Semantic Communication: A Survey

abstract: As the global demand for data has continued to rise exponentially, some have begun turning to the idea of semantic communication as a means of efficiently meeting this demand. Pushing beyond the boundaries of conventional communication systems, semantic communication focuses on the accurate recovery of the meaning conveyed from source to receiver, as opposed to the accurate recovery of transmitted symbols. In this survey, we aim to provide a comprehensive view of the history and current state of semantic communication and the techniques for engineering this higher level of communication. A survey of the current literature reveals four broad approaches to engineering semantic communication. We term the earliest of these approaches classical semantic information, which seeks to extend information-theoretic results to include semantic information. A second approach makes use of knowledge graphs to achieve semantic communication, and a third utilizes the power of modern deep learning techniques to facilitate this communication. The fourth approach focuses on the significance of information, rather than its meaning, to achieve efficient, goal-oriented communication. We discuss each of these four approaches and their corresponding studies in detail, and provide some challenges and opportunities that pertain to each approach. Finally, we introduce a novel approach to semantic communication, which we term context-based semantic communication. Inspired by the way in which humans naturally communicate with one another, this context-based approach provides a general, optimization-based design framework for semantic communication systems. Together, this survey provides a useful guide for the design and implementation of semantic communication systems.


title: Validation of the 650 MHZ SRF tuner on the low and high beta cavities for PIP-II at 2 K*

abstract: The PIP-II linac will include thirty-six beta=0.61 and twenty-four beta=0.92 650 MHz 5 cell elliptical SRF cavities. Each cavity will be equipped with a tuning system consisting of a double lever slow tuner for coarse frequency tuning and a piezoelectric actuator for fine frequency tuning. The same tuner will be used for both the beta=0.61 and beta=0.92 cavities. Results of testing the cavity-tuner system for the beta=0.61 will be presented for the first time.


title: LCLS-II and HE Cryomodule Microphonics at CMTF in Fermilab*

abstract: Microphonics causes the cavity to detune. This study discusses the microphonics of sixteen 1.3 GHz cryomodules, 14 for LCLS-II and 2 for LCLS-II HE tested at CMTF. The peak detuning, as well as the RMS detuning for each cryomodule, will be discussed. For each cryomodule, the data was taken with enough soaking time to prevent any thermalization effects which can show up in the detuning. Each data capture taken was 30 minutes or longer and sampled at 1 kHz.


title: Algebraic Aspects of Boundaries in the Kitaev Quantum Double Model

abstract: We provide a systematic treatment of boundaries based on subgroups $K\subseteq G$ with the Kitaev quantum double $D(G)$ model in the bulk. The boundary sites are representations of a $*$-subalgebra $\Xi\subseteq D(G)$ and we explicate its structure as a strong $*$-quasi-Hopf algebra dependent on a choice of transversal $R$. We provide decomposition formulae for irreducible representations of $D(G)$ pulled back to $\Xi$. We also provide explicitly the monoidal equivalence of the category of $\Xi$-modules and the category of $G$-graded $K$-bimodules and use this to prove that different choices of $R$ are related by Drinfeld cochain twists. Examples include $S_{n-1}\subset S_n$ and an example related to the octonions where $\Xi$ is also a Hopf quasigroup. As an application of our treatment, we study patches with boundaries based on $K=G$ horizontally and $K=\{e\}$ vertically and show how these could be used in a quantum computer using the technique of lattice surgery.


title: Towards Code Summarization of APIs Based on Unofficial Documentation Using NLP Techniques

abstract: Each programming language comes with official documentation to guide developers with APIs, methods, and classes. However, in some cases, official documentation is not an efficient way to get the needed information. As a result, developers may consult other sources (e.g., Stack Overflow, GitHub) to learn more about an API, its implementation, usage, and other information that official documentation may not provide. In this research, we propose an automatic approach to generate summaries for APIs and methods by leveraging unofficial documentation using NLP techniques. Our findings demonstrate that the generated summaries are competitive, and can be used as a complementary source for guiding developers in software development and maintenance tasks.


title: Gauss Sums in Algebra and Topology

abstract: We consider Gauss sums associated to functions $T\to \mathbb R/\mathbb Z$ which satisfy some sort of quadratic property and investigate their elementary properties. These properties and a Gauss sum formula from the nineteenth century due to Dirichlet give the Milgram Gauss sum formula computing the signature mod $8$ of a non-singular bilinear form over $\mathbb Q$. Brown derived some results on the signature mod 8 of non-singular integral forms. Kirby and Melvin gave a formula for a generalization of this invariant to possibly non-singular forms and we further generalize it here. The Milgram Gauss sum formula and these formulas allow us to reprove Brown's result without resort to Witt group calculations. Assuming a bit of algebraic topology, we reprove a theorem of Morita's computing the signature mod $8$ of an oriented Poincar\'e duality space from the Pontrjagin square without using Bockstein spectral sequences. Since we work with forms which may be singular, we also obtain a version of Morita's theorem for Poincar\'e spaces with boundary. Finally we apply our results to the bilinear form $Sq^1x\cup y$ on $H^1(M;\mathbb Z/2\mathbb Z)$ of an orientable 3-manifold.


title: Tests Of The Extended Range SRF Cavity Tuners For The LCLS-II-HE Project*

abstract: The LCLS-II HE superconducting linac can produce multi-energy beams by supporting multiple undulator lines simultaneously. This could be achieved by using the cavity SRF tuner in the off-frequency detune mode. This off-frequency operation method was tested in the verification cryomodule (vCM) and CM 1 at Fermilab at 2 K. In both cases, the tuners achieved a frequency shift of -565$\pm$80 kHz. This study will discuss cavity frequency during each step as it is being assembled in the cryomodule string and finally when it is being tested at 2 K. Tracking the cavity frequency helped enable the tuners to reach this large frequency shift. The specific procedures of tuner setting during assembly will be presented.


title: Modeling Task Mapping for Data-intensive Applications in Heterogeneous Systems

abstract: We introduce a new model for the task mapping problem to aid in the systematic design of algorithms for heterogeneous systems including, but not limited to, CPUs, GPUs and FPGAs. A special focus is set on the communication between the devices, its influence on parallel execution, as well as on device-specific differences regarding parallelizability and streamability. We show how this model can be utilized in different system design phases and present two novel mixed-integer linear programs to demonstrate the usage of the model.


title: EEGNN: Edge Enhanced Graph Neural Network with a Bayesian Nonparametric Graph Model

abstract: Training deep graph neural networks (GNNs) poses a challenging task, as the performance of GNNs may suffer from the number of hidden message-passing layers. The literature has focused on the proposals of {over-smoothing} and {under-reaching} to explain the performance deterioration of deep GNNs. In this paper, we propose a new explanation for such deteriorated performance phenomenon, {mis-simplification}, that is, mistakenly simplifying graphs by preventing self-loops and forcing edges to be unweighted. We show that such simplifying can reduce the potential of message-passing layers to capture the structural information of graphs. In view of this, we propose a new framework, edge enhanced graph neural network (EEGNN). EEGNN uses the structural information extracted from the proposed Dirichlet mixture Poisson graph model (DMPGM), a Bayesian nonparametric model for graphs, to improve the performance of various deep message-passing GNNs. We propose a Markov chain Monte Carlo inference framework for DMPGM. Experiments over different datasets show that our method achieves considerable performance increase compared to baselines.


title: On the non-measurability of $\omega$-categorical Hrushovski constructions

abstract: We study $\omega$-categorical $MS$-measurable structures. Our main result is that a class of $\omega$-categorical Hrushovski constructions, supersimple of finite $SU$-rank is not $MS$-measurable. These results complement the work of Evans on a conjecture of Macpherson and Elwes. In contrast to Evans' work, our structures may satisfy independent $n$-amalgamation for all $n$. We also prove some general results in the context of $\omega$-categorical $MS$-measurable structures. Firstly, in these structures, the dimension in the $MS$-dimension-measure can be chosen to be $SU$-rank. Secondly, non-forking independence implies a form of probabilistic independence in the measure. The latter follows from more general unpublished results of Hrushovski, but we provide a self-contained proof.


title: On the Connectivity and Diameter of Geodetic Graphs

abstract: A graph $G$ is geodetic if between any two vertices there exists a unique shortest path. In 1962 Ore raised the challenge to characterize geodetic graphs, but despite many attempts, such characterization still seems well beyond reach. We may assume, of course, that $G$ is $2$-connected, and here we consider only graphs with no vertices of degree $1$ or $2$. We prove that all such graphs are, in fact $3$-connected. We also construct an infinite family of such graphs of the largest known diameter, namely $5$.


title: Handling Constrained Optimization in Factor Graphs for Autonomous Navigation

abstract: Factor graphs are graphical models used to represent a wide variety of problems across robotics, such as Structure from Motion (SfM), Simultaneous Localization and Mapping (SLAM) and calibration. Typically, at their core, they have an optimization problem whose terms only depend on a small subset of variables. Factor graph solvers exploit the locality of problems to drastically reduce the computational time of the Iterative Least-Squares (ILS) methodology. Although extremely powerful, their application is usually limited to unconstrained problems. In this paper, we model constraints over variables within factor graphs by introducing a factor graph version of the method of Lagrange Multipliers. We show the potential of our method by presenting a full navigation stack based on factor graphs. Differently from standard navigation stacks, we can model both optimal control for local planning and localization with factor graphs, and solve the two problems using the standard ILS methodology. We validate our approach in real-world autonomous navigation scenarios, comparing it with the de facto standard navigation stack implemented in ROS. Comparative experiments show that for the application at hand our system outperforms the standard nonlinear programming solver Interior-Point Optimizer (IPOPT) in runtime, while achieving similar solutions.


title: Sparse change detection in high-dimensional linear regression

abstract: We introduce a new methodology 'charcoal' for estimating the location of sparse changes in high-dimensional linear regression coefficients, without assuming that those coefficients are individually sparse. The procedure works by constructing different sketches (projections) of the design matrix at each time point, where consecutive projection matrices differ in sign in exactly one column. The sequence of sketched design matrices is then compared against a single sketched response vector to form a sequence of test statistics whose behaviour shows a surprising link to the well-known CUSUM statistics of univariate changepoint analysis. The procedure is computationally attractive, and strong theoretical guarantees are derived for its estimation accuracy. Simulations confirm that our methods perform well in extensive settings, and a real-world application to a large single-cell RNA sequencing dataset showcases the practical relevance.


title: Developing moral AI to support antimicrobial decision making

abstract: Artificial intelligence (AI) assisting with antimicrobial prescribing raises significant moral questions. Utilising ethical frameworks alongside AI-driven systems, while considering infection specific complexities, can support moral decision making to tackle antimicrobial resistance.


title: Nonlinear mechanosensation in fiber networks

abstract: In a diversity of physiological contexts, eukaryotic cells adhere to an extracellular matrix (ECM), a disordered network with complex nonlinear mechanics. Such cells can perform mechanosensation: using local force probing they can measure and respond to their substrate's mechanical properties. It remains unclear, however, how the mechanical complexity of the ECM at the cellular scale impacts mechanosensation. Here, we investigate the physical limits of mechanosensation imposed by the inherent structural disorder and nonlinear elastic response of the ECM. Using a theoretical framework for disordered fiber networks, we find that the extreme mechanical heterogeneity that cells can locally sense with small probing forces is strongly reduced with increasing force. Specifically, we predict that the accuracy of mechanosensation dramatically improves with force, following a universal power law insensitive to constitutive details, which we quantitatively confirm using microrheology experiments in collagen and fibrin gels. We provide conceptual insights into this behavior by introducing a general model for nonlinear mechanosensation, based on the idea of an emergent nonlinear length-scale associated with fiber buckling. This force-dependent length-scale enhances the range over which local mechanical measurements are performed, thereby averaging the response of a disordered network over an enlarged region. We show with an example how a cell can use this nonlinear mechanosensation to infer the macroscopic mechanical properties of a disordered ECM using local measurements. Together, our results demonstrate that cells can take advantage of the inherent nonlinearity of fibrous networks to robustly sense, control, and respond to their mechanical environment.


title: Multi-Model Probabilistic Programming

abstract: Probabilistic programming makes it easy to represent a probabilistic model as a program. Building an individual model, however, is only one step of probabilistic modeling. The broader challenge of probabilistic modeling is in understanding and navigating spaces of alternative models. There is currently no good way to represent these spaces of alternative models, despite their central role. We present an extension of probabilistic programming that lets each program represent a network of interrelated probabilistic models. We give a formal semantics for these multi-model probabilistic programs, a collection of efficient algorithms for network-of-model operations, and an example implementation built on top of the popular probabilistic programming language Stan. This network-of-models representation opens many doors, including search and automation in model-space, tracking and communication of model development, and explicit modeler degrees of freedom to mitigate issues like p-hacking. We demonstrate automatic model search and model development tracking using our Stan implementation, and we propose many more possible applications.


title: Universal lower bounds for the discrepancies of actions of a locally compact group

abstract: We prove universal lower bounds for discrepancies (i.e. sizes of spectral gaps of averaging operators) of measure-preserving actions of a locally compact group on probability spaces. For example, a locally compact Hausdorff unimodular group $G$, acting continuously, by measure-preserving transformations, on a compact atomless probability space $(X,\nu)$, with an orbit $Gx_0$ of measure zero, contained in the support of $\nu$, and with compact stabilizer (i.e. $G_{x_0}$ is compact) has the following property: any finite positive regular Borel measure $\mu$ on $G$ satisfies $$\|\pi_0(\mu)\|_{2\to 2}\geq \|\lambda_G(\mu)\|_{2\to 2},$$ where $\pi_0$ denotes the Koopman representation of $G$, defined by the given action, and $\lambda_G$ denotes the left-regular representation of $G$. The lower bounds we prove generalize the universal lower bounds for the discrepancies of measure-preserving actions of a discrete group. Many examples show that the generalization from discrete groups to locally compact groups requires some additional hypothesis on the action (we detail some examples of actions of amenable groups with a spectral gap, due to Margulis). Well-known examples and results of Kazhdan and Zimmer show that the discrepancies of some actions of Lie groups on homogeneous spaces match exactly the universal lower bounds we prove.


title: A Linear and Exact Algorithm for Whole-Body Collision Evaluation via Scale Optimization

abstract: Collision evaluation is of vital importance in various applications. However, existing methods are either cumbersome to calculate or have a gap with the actual value. In this paper, we propose a zero-gap whole-body collision evaluation which can be formulated as a low dimensional linear program. This evaluation can be solved analytically in O(m) computational time, where m is the total number of the linear inequalities in this linear program. Moreover, the proposed method is efficient in obtaining its gradient, making it easy to apply to optimization-based applications.


title: Accelerating Task-based Iterative Applications

abstract: Task-based programming models have risen in popularity as an alternative to traditional fork-join parallelism. They are better suited to write applications with irregular parallelism that can present load imbalance. However, these programming models suffer from overheads related to task creation, scheduling and dependency management, limiting performance and scalability when tasks become too small. At the same time, many HPC applications implement iterative methods or multi-step simulations that create the same directed acyclic graphs of tasks on each iteration. By giving application programmers a way to express that a specific loop is creating the same task pattern on each iteration, we can create a single task DAG once and transform it into a cyclic graph. This cyclic graph is then reused for successive iterations, minimizing task creation and dependency management overhead. This paper presents the taskiter, a new construct we propose for the OmpSs-2 and OpenMP programming models, allowing the use of directed cyclic task graphs (DCTG) to minimize runtime overheads. Moreover, we present a simple immediate successor locality-aware heuristic that minimizes task scheduling overhead by bypassing the runtime task scheduler. We evaluate the implementation of the taskiter and the immediate successor heuristic in 8 iterative benchmarks. Using small task granularities, we obtain an average speedup of 3.7x over the reference OmpSs-2 implementation and an average of 5x and 7.46x speedup over the LLVM and GCC OpenMP runtimes, respectively.


title: TOI-1452 b: SPIRou and TESS reveal a super-Earth in a temperate orbit transiting an M4 dwarf

abstract: Exploring the properties of exoplanets near or inside the radius valley provides insights on the transition from the rocky super-Earths to the larger, hydrogen-rich atmosphere mini-Neptunes. Here, we report the discovery of TOI-1452 b, a transiting super-Earth ($R_{\rm p} = 1.67 \pm 0.07$ R$_{\oplus}$) in an 11.1--day temperate orbit ($T_{\rm eq} = 326 \pm 7$ K) around the primary member ($H = 10.0$, $T_{\rm eff} = 3185 \pm 50$ K) of a nearby visual binary M dwarf. The transits were first detected by TESS, then successfully isolated between the two $3.2^{\prime\prime}$ companions with ground-based photometry from OMM and MuSCAT3. The planetary nature of TOI-1452 b was established through high-precision velocimetry with the near-infrared SPIRou spectropolarimeter as part of the ongoing SPIRou Legacy Survey. The measured planetary mass ($4.8 \pm 1.3$ M$_{\oplus}$) and inferred bulk density ($5.6^{+1.8}_{-1.6}$ g/cm$^3$) is suggestive of a rocky core surrounded by a volatile-rich envelope. More quantitatively, the mass and radius of TOI-1452 b, combined with the stellar abundance of refractory elements (Fe, Mg and Si) measured by SPIRou, is consistent with a core mass fraction of $18\pm6$ % and a water mass fraction of $22^{+21}_{-13}$%. The water world candidate TOI-1452 b is a prime target for future atmospheric characterization with JWST, featuring a Transmission Spectroscopy Metric similar to other well-known temperate small planets such as LHS 1140 b and K2-18 b. The system is located near Webb's northern Continuous Viewing Zone, implying that is can be followed at almost any moment of the year.


title: The 4d/2d correspondence in twistor space and holomorphic Wilson lines

abstract: We give an explicit realization of the 4d local operator / 2d conformal block correspondence of Costello and Paquette in the case of gauge theories. This is accomplished by lifting the 4d local operators to non-local operators in twistor space using a holomorphic generalization of the Wilson line. This procedure automatically constructs the 2d conformal blocks corresponding to the local operator. We interpret this lifting as effectively integrating out the 2d degrees of freedom living on the defect. We present some 2d chiral CFT representations of the defect algebra whose correlators reproduce the conformal blocks obtained by the lifting procedure.


title: OmniVoxel: A Fast and Precise Reconstruction Method of Omnidirectional Neural Radiance Field

abstract: This paper proposes a method to reconstruct the neural radiance field with equirectangular omnidirectional images. Implicit neural scene representation with a radiance field can reconstruct the 3D shape of a scene continuously within a limited spatial area. However, training a fully implicit representation on commercial PC hardware requires a lot of time and computing resources (15 $\sim$ 20 hours per scene). Therefore, we propose a method to accelerate this process significantly (20 $\sim$ 40 minutes per scene). Instead of using a fully implicit representation of rays for radiance field reconstruction, we adopt feature voxels that contain density and color features in tensors. Considering omnidirectional equirectangular input and the camera layout, we use spherical voxelization for representation instead of cubic representation. Our voxelization method could balance the reconstruction quality of the inner scene and outer scene. In addition, we adopt the axis-aligned positional encoding method on the color features to increase the total image quality. Our method achieves satisfying empirical performance on synthetic datasets with random camera poses. Moreover, we test our method with real scenes which contain complex geometries and also achieve state-of-the-art performance. Our code and complete dataset will be released at the same time as the paper publication.


title: The Strong Nine Dragon Tree Conjecture is true for $d \leq k+1$

abstract: The arboricity $\Gamma(G)$ of an undirected graph $G = (V,E)$ is the minimal number such that $E$ can be partitioned into $\Gamma(G)$ forests. Nash-Williams' formula states that $k = \lceil \gamma(G) \rceil$, where $\gamma(G)$ is the maximum of ${|E_H|}/(|V_H| -1)$ over all subgraphs $(V_H, E_H)$ of $G$ with $|V_H| \geq 2$. The Strong Nine Dragon Tree Conjecture states that if $\gamma(G) \leq k + \frac{d}{d+k+1}$ for $k, d \in \mathbb N_0$, then there is a partition of the edge set of $G$ into $k+1$ forests such that one forest has at most $d$ edges in each connected component. We settle the conjecture for $d \leq k + 1$. For $d \leq 2(k+1)$, we cannot prove the conjecture, however we show that there exists a partition in which the connected components in one forest have at most $d + \lceil k \cdot \frac{d}{k+1} \rceil - k$ edges. As an application of this theorem, we show that every $5$-edge-connected planar graph $G$ has a $\frac{5}{6}$-thin spanning tree. This theorem is best possible, in the sense that we cannot replace $5$-edge-connected with $4$-edge-connected, even if we replace $\frac{5}{6}$ with any positive real number less than $1$. This strengthens a result of Merker and Postle which showed $6$-edge-connected planar graphs have a $\frac{18}{19}$-thin spanning tree.


title: Tunable VUV Frequency Comb for $^{\mathrm{229m}}$Th Nuclear Spectroscopy

abstract: Laser spectroscopy of the $^{\mathrm{229m}}$Th nuclear clock transition is necessary for the future construction of a nuclear-based optical clock. Precision laser sources with broad spectral coverage in the vacuum ultraviolet are needed for this task. Here, we present a tunable vacuum-ultraviolet frequency comb based on cavity-enhanced seventh-harmonic generation. Its tunable spectrum covers the current uncertainty range of the $^{\mathrm{229m}}$Th nuclear clock transition.


title: Zilber-Pink in a product of modular curves assuming multiplicative degeneration

abstract: We prove the Zilber--Pink conjecture for curves in $Y(1)^n$ whose Zariski closure in $(\mathbb{P}^1)^n$ passes through the point $(\infty, \ldots, \infty)$, going beyond the asymmetry condition of Habegger and Pila. Our proof is based on a height bound following Andr\'e's G-functions method. The principal novelty is that we exploit relations between evaluations of G-functions at unboundedly many non-archimedean places.


title: On establishing learning separations between classical and quantum machine learning with classical data

abstract: Despite years of effort, the quantum machine learning community has only been able to show quantum learning advantages for certain contrived cryptography-inspired datasets in the case of classical data. In this note, we discuss the challenges of finding learning problems that quantum learning algorithms can learn much faster than any classical learning algorithm, and we study how to identify such learning problems. Specifically, we reflect on the main concepts in computational learning theory pertaining to this question, and we discuss how subtle changes in definitions can mean conceptually significantly different tasks, which can either lead to a separation or no separation at all. Moreover, we study existing learning problems with a provable quantum speedup to distill sets of more general and sufficient conditions (i.e., ``checklists'') for a learning problem to exhibit a separation between classical and quantum learners. These checklists are intended to streamline one's approach to proving quantum speedups for learning problems, or to elucidate bottlenecks. Finally, to illustrate its application, we analyze examples of potential separations (i.e., when the learning problem is build from computational separations, or when the data comes from a quantum experiment) through the lens of our approach.


title: Real numbers equally compressible in every base

abstract: This work solves an open question in finite-state compressibility posed by Lutz and Mayordomo about compressibility of real numbers in different bases. Finite-state compressibility, or equivalently, finite-state dimension, quantifies the asymptotic lower density of information in an infinite sequence. Absolutely normal numbers, being finite-state incompressible in every base of expansion, are precisely those numbers which have finite-state dimension equal to $1$ in every base. At the other extreme, for example, every rational number has finite-state dimension equal to $0$ in every base. Generalizing this, Lutz and Mayordomo (2021) posed the question: are there numbers which have absolute positive finite-state dimension strictly between 0 and 1 - equivalently, is there a real number $\xi$ and a compressibility ratio $s \in (0,1)$ such that for every base $b$, the compressibility ratio of the base-$b$ expansion of $\xi$ is precisely $s$? It is conceivable that there is no such number. Indeed, some works explore ``zero-one'' laws for other feasible dimensions - i.e. sequences with certain properties either have feasible dimension 0 or 1, taking no value strictly in between. However, we answer the question of Lutz and Mayordomo affirmatively by proving a more general result. We show that given any sequence of rational numbers $\langle q_b \rangle$, we can explicitly construct a single number $\xi$ such that for any base $b$, the finite-state dimension/compression ratio of $\xi$ in base-$b$ is $q_b$. As a special case, this result implies the existence of absolutely dimensioned numbers for any given rational dimension between $0$ and $1$, as posed by Lutz and Mayordomo. In our construction, we combine ideas from Wolfgang Schmidt's construction of absolutely normal numbers (1962), results regarding low discrepancy sequences and several new estimates related to exponential sums.


title: Sketched Reality: Sketching Bi-Directional Interactions Between Virtual and Physical Worlds with AR and Actuated Tangible UI

abstract: This paper introduces Sketched Reality, an approach that combines AR sketching and actuated tangible user interfaces (TUI) for bidirectional sketching interaction. Bi-directional sketching enables virtual sketches and physical objects to "affect" each other through physical actuation and digital computation. In the existing AR sketching, the relationship between virtual and physical worlds is only one-directional -- while physical interaction can affect virtual sketches, virtual sketches have no return effect on the physical objects or environment. In contrast, bi-directional sketching interaction allows the seamless coupling between sketches and actuated TUIs. In this paper, we employ tabletop-size small robots (Sony Toio) and an iPad-based AR sketching tool to demonstrate the concept. In our system, virtual sketches drawn and simulated on an iPad (e.g., lines, walls, pendulums, and springs) can move, actuate, collide, and constrain physical Toio robots, as if virtual sketches and the physical objects exist in the same space through seamless coupling between AR and robot motion. This paper contributes a set of novel interactions and a design space of bi-directional AR sketching. We demonstrate a series of potential applications, such as tangible physics education, explorable mechanism, tangible gaming for children, and in-situ robot programming via sketching.


title: Multiple testing of composite null hypotheses for discrete data using randomized $p$-values

abstract: $P$-values that are derived from continuously distributed test statistics are typically uniformly distributed on $(0,1)$ under least favorable parameter configurations (LFCs) in the null hypothesis. Conservativeness of a $p$-value $P$ (meaning that $P$ is under the null hypothesis stochastically larger than a random variable which is uniformly distributed on $(0,1)$) can occur if the test statistic from which $P$ is derived is discrete, or if the true parameter value under the null is not an LFC. To deal with both of these sources of conservativeness, we present two approaches utilizing randomized $p$-values, namely single-stage and two-stage randomization. We illustrate their effectiveness for testing a composite null hypothesis under a binomial model. We also give an example of how the proposed $p$-values can be used to test a composite null in group testing designs. Similar to previous findings, we find that the proposed randomized $p$-values are less conservative compared to non-randomized $p$-values under the null hypothesis, but that they are stochastically not smaller under the alternative. The problem of establishing the validity of randomized $p$-values is not trivial and has received attention in previous literature. We show that our proposed randomized $p$-values are valid under various discrete statistical models which are such that the distribution of the corresponding test statistic belongs to an exponential family. The behaviour of the power function for the tests based on the proposed randomized $p$-values as a function of the sample size is also investigated. Simulations and a real data analysis are used to compare the different considered $p$-values.


title: A universal nonlinear model for the dynamic behaviour of shock absorbers

abstract: Modern hydraulic shock absorbers display a wealth of nonlinear effects such as hysteresis and instabilities at high flow rates. Despite their wide application in practically all vehicles, both on- and off-road, a universal analytical model that captures the essential shock absorber dynamics and compressibility effects for various common damper architectures is lacking. This paper presents such a model and derives its system of equations from first principles for dampers of monotube- and piggyback-type. By applying the model to a typical suspension configuration, all relevant system variables, such as pressure drop, shim stack deflection, and damping force, are computed. Nonlinear oscillations and hysteresis loops, which might prove dangerous during operation, can be predicted effortlessly. The results achieved with the mathematical model are validated and agree well with test bench measurements. Furthermore, the presented approach is shown to be easily modifiable to describe the physical processes within other hydraulic shock absorber geometries in use today.


title: Modelleme ve Simulasyon

abstract: Computer modeling and simulation is used to analyze system behavior and evaluate strategies for operating in descriptive or predictive modes. In this part of the book, modeling and simulation approaches that have been proposed since the 1970s have been tried to be presented. Simulation models used in social sciences, risk management and cloud-based information systems are tried to be summarized, and information about agent-based modeling and simulation approach is given.


title: Forecasting and control in overlapping generations model: chaos stabilization via artificial intelligence

abstract: Irregular, especially chaotic, behavior is often undesirable for economic processes because it presents challenges for predicting their dynamics. In this situation, control of such a process by its mathematical model can be used to suppress chaotic behavior and to transit the system from irregular to regular dynamics. In this paper, we have constructed an overlapping generations model with a control function. By applying evolutionary algorithms we showed that in the absence of control, both regular and irregular behavior (periodic and chaotic) could be observed in this model. We then used the synthesis of control by the Pyragas control method with two control parameters to solve the problem of controlling the irregular behavior of the model. We solved a number of optimization problems applying evolutionary algorithms to select control parameters in order to ensure stability of periodic orbits. We compared qualitative and quantitative characteristics of the model's dynamics before and after applying control and verified the results obtained using simulation. We thus demonstrated that artificial intelligence technologies (in particular, evolutionary algorithms) combined with the Pyragas control method are well suited for in-depth analysis and stabilization of irregular dynamics in the model considered in this paper.


title: Unified approach to polarons and phonon-induced band structure renormalization

abstract: Ab initio calculations of the phonon-induced band structure renormalization are currently based on the perturbative Allen-Heine theory and its many-body generalizations. These approaches are unsuitable to describe materials where electrons form localized polarons. Here, we develop a self-consistent, many-body Green's function theory of band structure renormalization that incorporates localization and self-trapping. We show that the present approach reduces to the Allen-Heine theory in the weak-coupling limit, and to total energy calculations of self-trapped polarons in the strong-coupling limit. To demonstrate this methodology, we reproduce the path-integral results of Feynman and diagrammatic Monte Carlo calculations for the Fr\"ohlich model at all couplings, and we calculate the zero point renormalization of the band gap of an ionic insulator including polaronic effects.


title: GHz Rate Neuromorphic Photonic Spiking Neural Network with a Single Vertical-Cavity Surface-Emitting Laser (VCSEL)

abstract: Vertical-Cavity Surface-Emitting Lasers (VCSELs) are highly promising devices for the construction of neuromorphic photonic information processing systems, due to their numerous desirable properties such as low power consumption, high modulation speed, compactness, and ease of manufacturing. Of particular interest is the ability of VCSELs to exhibit neural-like spiking responses, much like biological neurons, but at ultrafast sub-nanosecond rates; thus offering great prospects for high-speed light-enabled neuromorphic (spike-based) processors. Recent works have shown the use the spiking dynamics in VCSELs for pattern recognition and image processing problems such as image data encoding and edge-feature detection. Additionally, VCSELs have also been used recently as nonlinear elements in photonic reservoir computing (RC) implementations, yielding excellent state of the art operation. This work introduces and experimentally demonstrates for the first time the new concept of a Ghz-rate photonic spiking neural network (SNN) built with a single VCSEL neuron. The reported system effectively implements a photonic VCSEL-based spiking reservoir computer, and demonstrates its successful application to a complex nonlinear classification task. Importantly, the proposed system benefits from a highly hardware-friendly, inexpensive realization (built with a single VCSEL and off-the-shelf fibre-optic components), for high-speed (GHz-rate inputs) and low-power (sub-mW optical input power) photonic operation. These results open new pathways towards future neuromorphic photonic spike-based information processing systems based upon VCSELs (or other laser types) for novel ultrafast machine learning and AI hardware.


title: Can Brain Signals Reveal Inner Alignment with Human Languages?

abstract: Brain Signals, such as Electroencephalography (EEG), and human languages have been widely explored independently for many downstream tasks, however, the connection between them has not been well explored. In this study, we explore the relationship and dependency between EEG and language. To study at the representation level, we introduced \textbf{MTAM}, a \textbf{M}ultimodal \textbf{T}ransformer \textbf{A}lignment \textbf{M}odel, to observe coordinated representations between the two modalities. We used various relationship alignment-seeking techniques, such as Canonical Correlation Analysis and Wasserstein Distance, as loss functions to transfigure features. On downstream applications, sentiment analysis and relation detection, we achieved new state-of-the-art results on two datasets, ZuCo and K-EmoCon. Our method achieved an F1-score improvement of 1.7% on K-EmoCon and 9.3% on Zuco datasets for sentiment analysis, and 7.4% on ZuCo for relation detection. In addition, we provide interpretations of the performance improvement: (1) feature distribution shows the effectiveness of the alignment module for discovering and encoding the relationship between EEG and language; (2) alignment weights show the influence of different language semantics as well as EEG frequency features; (3) brain topographical maps provide an intuitive demonstration of the connectivity in the brain regions. Our code is available at \url{https://github.com/Jason-Qiu/EEG_Language_Alignment}.


title: Multiple access for near-field communications: SDMA or LDMA?

abstract: Spatial division multiple access (SDMA) is essential to improve the spectrum efficiency for multi-user multiple-input multiple-output (MIMO) communications. The classical SDMA for massive MIMO with hybrid precoding heavily relies on the angular orthogonality in the far field to distinguish multiple users at different angles, which fails to fully exploit spatial resources in the distance domain. With the dramatically increasing number of antennas, the extremely large-scale antenna array (ELAA) introduces additional resolution in the distance domain in the near field. In this paper, we propose the concept of location division multiple access (LDMA) to provide a new possibility to enhance spectrum efficiency compared with classical SDMA. The key idea is to exploit extra spatial resources in the distance domain to serve different users at different locations (determined by angles and distances) in the near field. Specifically, the asymptotic orthogonality of near-field beam focusing vectors in the distance domain is proved, which reveals that near-field beam focusing is able to focus signals on specific locations with limited leakage energy at other locations. This special property could be leveraged in hybrid precoding to mitigate inter-user interferences for spectrum efficiency enhancement. Moreover, we provide the spherical-domain codebook design method for LDMA communications with the uniform planar array, which provides the sampling method in the distance domain. Additionally, performance analysis of LDMA is provided to reveal that the asymptotic optimal spectrum efficiency could be achieved with the increasing number of antennas. Finally, simulation results verify the superiority of the proposed LDMA over SDMA in different scenarios.


title: RealityTalk: Real-Time Speech-Driven Augmented Presentation for AR Live Storytelling

abstract: We present RealityTalk, a system that augments real-time live presentations with speech-driven interactive virtual elements. Augmented presentations leverage embedded visuals and animation for engaging and expressive storytelling. However, existing tools for live presentations often lack interactivity and improvisation, while creating such effects in video editing tools require significant time and expertise. RealityTalk enables users to create live augmented presentations with real-time speech-driven interactions. The user can interactively prompt, move, and manipulate graphical elements through real-time speech and supporting modalities. Based on our analysis of 177 existing video-edited augmented presentations, we propose a novel set of interaction techniques and then incorporated them into RealityTalk. We evaluate our tool from a presenter's perspective to demonstrate the effectiveness of our system.


title: Quantitative bounds in the central limit theorem for $m$-dependent random variables

abstract: For each $n\ge 1$, let $X_{n,1},\ldots,X_{n,N_n}$ be real random variables and $S_n=\sum_{i=1}^{N_n}X_{n,i}$. Let $m_n\ge 1$ be an integer. Suppose $(X_{n,1},\ldots,X_{n,N_n})$ is $m_n$-dependent, $E(X_{ni})=0$, $E(X_{ni}^2)<\infty$ and $\sigma_n^2:=E(S_n^2)>0$ for all $n$ and $i$. Then, \begin{gather*} d_W\Bigl(\frac{S_n}{\sigma_n},\,Z\Bigr)\le 30\,\bigl\{c^{1/3}+12\,U_n(c/2)^{1/2}\bigr\}\quad\quad\text{for all }n\ge 1\text{ and }c>0, \end{gather*} where $d_W$ is Wasserstein distance, $Z$ a standard normal random variable and $$U_n(c)=\frac{m_n}{\sigma_n^2}\,\sum_{i=1}^{N_n}E\Bigl[X_{n,i}^2\,1\bigl\{\abs{X_{n,i}}>c\,\sigma_n/m_n\bigr\}\Bigr].$$ Among other things, this estimate of $d_W\bigl(S_n/\sigma_n,\,Z\bigr)$ yields a similar estimate of $d_{TV}\bigl(S_n/\sigma_n,\,Z\bigr)$ where $d_{TV}$ is total variation distance.


title: Ab initio self-consistent many-body theory of polarons at all couplings

abstract: We present a theoretical framework to describe polarons from first principles within a many-body Green's function formalism. Starting from a general electron-phonon Hamiltonian, we derive a self-consistent Dyson equation in which the phonon-mediated self-energy is composed by two distinct terms. One term is the Fan-Migdal self-energy and describes dynamic electron-phonon processes, the other term is a new contribution to the self-energy originating from the static displacements of the atomic nuclei in the polaronic ground state. The lowest-order approximation to the present theory yields the standard many-body perturbation theory approach to electron-phonon interactions in the limit of large polarons, and the ab initio polaron equations introduced in [Sio et al., Phys. Rev. B 99, 235139 (2019); Phys. Rev. Lett. 122, 246403 (2019)] in the limit of small polarons. A practical recipe to implement the present unifying formalism in first-principles calculations is outlined. We apply our method to the Fr\"ohlich model, and obtain remarkably accurate polaron energies at all couplings, in line with Feynman's polaron theory and diagrammatic Monte Carlo calculations. We also recover the well-known results of Fr\"ohlich and Pekar at weak and strong coupling, respectively. The present approach enables predictive many-body calculations of polarons in real materials at all couplings.


title: Deep Learning Neural Network for Lung Cancer Classification: Enhanced Optimization Function

abstract: Background and Purpose: Convolutional neural network is widely used for image recognition in the medical area at nowadays. However, overall accuracy in predicting lung tumor is low and the processing time is high as the error occurred while reconstructing the CT image. The aim of this work is to increase the overall prediction accuracy along with reducing processing time by using multispace image in pooling layer of convolution neural network. Methodology: The proposed method has the autoencoder system to improve the overall accuracy, and to predict lung cancer by using multispace image in pooling layer of convolution neural network and Adam Algorithm for optimization. First, the CT images were pre-processed by feeding image to the convolution filter and down sampled by using max pooling. Then, features are extracted using the autoencoder model based on convolutional neural network and multispace image reconstruction technique is used to reduce error while reconstructing the image which then results improved accuracy to predict lung nodule. Finally, the reconstructed images are taken as input for SoftMax classifier to classify the CT images. Results: The state-of-art and proposed solutions were processed in Python Tensor Flow and It provides significant increase in accuracy in classification of lung cancer to 99.5 from 98.9 and decrease in processing time from 10 frames/second to 12 seconds/second. Conclusion: The proposed solution provides high classification accuracy along with less processing time compared to the state of art. For future research, large dataset can be implemented, and low pixel image can be processed to evaluate the classification


title: A novel solution of deep learning for enhanced support vector machine for predicting the onset of type 2 diabetes

abstract: Type 2 Diabetes is one of the most major and fatal diseases known to human beings, where thousands of people are subjected to the onset of Type 2 Diabetes every year. However, the diagnosis and prevention of Type 2 Diabetes are relatively costly in today's scenario; hence, the use of machine learning and deep learning techniques is gaining momentum for predicting the onset of Type 2 Diabetes. This research aims to increase the accuracy and Area Under the Curve (AUC) metric while improving the processing time for predicting the onset of Type 2 Diabetes. The proposed system consists of a deep learning technique that uses the Support Vector Machine (SVM) algorithm along with the Radial Base Function (RBF) along with the Long Short-term Memory Layer (LSTM) for prediction of onset of Type 2 Diabetes. The proposed solution provides an average accuracy of 86.31 % and an average AUC value of 0.8270 or 82.70 %, with an improvement of 3.8 milliseconds in the processing. Radial Base Function (RBF) kernel and the LSTM layer enhance the prediction accuracy and AUC metric from the current industry standard, making it more feasible for practical use without compromising the processing time.


title: Communication network model of the immune system identifies the impact of interactions with SARS-CoV-2 proteins

abstract: Interactions between SARS-CoV-2 and human proteins (SARS-CoV-2 PPIs) cause information transfer through biochemical pathways that contribute to the immunopathology of COVID-19. Here, we present a communication network model of the immune system to compute the information transferred by the viral proteins using the available SARS-CoV-2 PPIs data. The amount of transferred information depends on the reference state of the immune system, or the state without SARS-CoV-2 PPIs, and can quantify how many variables of the immune system are controlled by the viral proteins. The information received by the immune system proteins from the viral proteins is useful to identify the biological processes (BPs) susceptible to dysregulation, and also to estimate the duration of viral PPIs necessary for the dysregulation to occur. We found that computing the drop in information from viral PPIs due to drugs provides a direct measure for the efficacy of therapies.


title: Finding Multiply-Lensed and Binary Quasars in the DESI Legacy Imaging Surveys

abstract: The time delay between multiple images of strongly lensed quasars is a powerful tool for measuring the Hubble constant (H0). To achieve H0 measurements with higher precision and accuracy using the time delay, it is crucial to expand the sample of lensed quasars. We conduct a search for strongly lensed quasars in the Dark Energy Spectroscopic Instrument (DESI) Legacy Imaging Surveys. The DESI Legacy Surveys comprise 19,000 deg2 of the extragalactic sky observed in three optical bands (g, r, and z), making it well suited for the discovery of new strongly lensed quasars. We apply an autocorrelation algorithm to ~5 million objects classified as quasars in the DESI Quasar Sample. These systems are visually inspected and ranked. Here, we present 436 new multiply lensed and binary quasar candidates, 65 of which have redshifts from Sloan Digital Sky Survey Data Release 16. We provide redshifts for an additional 18 candidates from the SuperNova Integral Field Spectrograph.


title: Classification of Leavitt Path Algebras with Gelfand-Kirillov Dimension <4 up to Morita Equivalence

abstract: Leavitt path algebras are associated to di(rected )graphs and there is a combinatorial procedure (the reduction algorithm) making the digraph smaller while preserving the Morita type. We can recover the vertices and most of the arrows of the completely reduced digraph from the module category of a Leavitt path algebra of polynomial growth. We give an explicit classification of all irreducible representations of when the coefficients are a commutative ring with 1. We define a Morita invariant filtration of the module category by Serre subcategories and as a consequence we obtain a Morita invariant (the weighted Hasse diagram of the digraph) which captures the poset of the sinks and the cycles of $\Gamma$, the Gelfand-Kirillov dimension and more. When the Gelfand-Kirillov dimension of the Leavitt path algebra is less than 4, the weighted Hasse diagram (equivalently, the complete reduction of the digraph) is a complete Morita invariant.


title: Subdivisions with congruence constraints in digraphs of large chromatic number

abstract: We prove that for every digraph $F$ and every assignment of pairs of integers $(r_e,q_e)_{e \in A(F)}$ to its arcs there exists an integer $N$ such that every digraph $D$ with dichromatic number at least $N$ contains a subdivision of $F$ in which $e$ is subdivided into a directed path of length congruent to $r_e$ modulo $q_e$, for every $e \in A(F)$. This generalizes to the directed setting the analogous result by Thomassen for undirected graphs, and at the same time yields a novel short proof of his result.


title: A Case for Rejection in Low Resource ML Deployment

abstract: Building reliable AI decision support systems requires a robust set of data on which to train models; both with respect to quantity and diversity. Obtaining such datasets can be difficult in resource limited settings, or for applications in early stages of deployment. Sample rejection is one way to work around this challenge, however much of the existing work in this area is ill-suited for such scenarios. This paper substantiates that position and proposes a simple solution as a proof of concept baseline.


title: 3D Graph Contrastive Learning for Molecular Property Prediction

abstract: Self-supervised learning (SSL) is a method that learns the data representation by utilizing supervision inherent in the data. This learning method is in the spotlight in the drug field, lacking annotated data due to time-consuming and expensive experiments. SSL using enormous unlabeled data has shown excellent performance for molecular property prediction, but a few issues exist. (1) Existing SSL models are large-scale; there is a limitation to implementing SSL where the computing resource is insufficient. (2) In most cases, they do not utilize 3D structural information for molecular representation learning. The activity of a drug is closely related to the structure of the drug molecule. Nevertheless, most current models do not use 3D information or use it partially. (3) Previous models that apply contrastive learning to molecules use the augmentation of permuting atoms and bonds. Therefore, molecules having different characteristics can be in the same positive samples. We propose a novel contrastive learning framework, small-scale 3D Graph Contrastive Learning (3DGCL) for molecular property prediction, to solve the above problems. 3DGCL learns the molecular representation by reflecting the molecule's structure through the pre-training process that does not change the semantics of the drug. Using only 1,128 samples for pre-train data and 1 million model parameters, we achieved the state-of-the-art or comparable performance in four regression benchmark datasets. Extensive experiments demonstrate that 3D structural information based on chemical knowledge is essential to molecular representation learning for property prediction.


title: Hyperbolic Molecular Representation Learning for Drug Repositioning

abstract: Learning accurate drug representations is essential for task such as computational drug repositioning. A drug hierarchy is a valuable source that encodes knowledge of relations among drugs in a tree-like structure where drugs that act on the same organs, treat the same disease, or bind to the same biological target are grouped together. However, its utility in learning drug representations has not yet been explored, and currently described drug representations cannot place novel molecules in a drug hierarchy. Here, we develop a semi-supervised drug embedding that incorporates two sources of information: (1) underlying chemical grammar that is inferred from chemical structures of drugs and drug-like molecules (unsupervised), and (2) hierarchical relations that are encoded in an expert-crafted hierarchy of approved drugs (supervised). We use the Variational Auto-Encoder (VAE) framework to encode the chemical structures of molecules and use the drug-drug similarity information obtained from the hierarchy to induce the clustering of drugs in hyperbolic space. The hyperbolic space is amenable for encoding hierarchical relations. Our qualitative results support that the learned drug embedding can induce the hierarchical relations among drugs. We demonstrate that the learned drug embedding can be used for drug repositioning.


title: Hybrid Approach to Identify Druglikeness Leading Compounds against COVID-19 3CL Protease

abstract: SARS-COV-2 is a positive single-strand RNA-based macromolecule that has caused the death of more than 6.3 million people since June 2022. Moreover, by disturbing global supply chains through lockdown, the virus has indirectly caused devastating damage to the global economy. It is vital to design and develop drugs for this virus and its various variants. In this paper, we developed an in-silico study-based hybrid framework to repurpose existing therapeutic agents in finding drug-like bioactive molecules that would cure Covid-19. We employed the Lipinski rules on the retrieved molecules from the ChEMBL database and found 133 drug-likeness bioactive molecules against SARS coronavirus 3CL Protease. Based on standard IC50, the dataset was divided into three classes active, inactive, and intermediate. Our comparative analysis demonstrated that the proposed Extra Tree Regressor (ETR) based QSAR model has improved prediction results related to the bioactivity of chemical compounds as compared to Gradient Boosting, XGBoost, Support Vector, Decision Tree, and Random Forest based regressor models. ADMET analysis is carried out to identify thirteen bioactive molecules with ChEMBL IDs 187460, 190743, 222234, 222628, 222735, 222769, 222840, 222893, 225515, 358279, 363535, 365134 and 426898. These molecules are highly suitable drug candidates for SARS-COV-2 3CL Protease. In the next step, the efficacy of bioactive molecules is computed in terms of binding affinity using molecular docking and then shortlisted six bioactive molecules with ChEMBL IDs 187460, 222769, 225515, 358279, 363535, and 365134. These molecules can be suitable drug candidates for SARS-COV-2. It is anticipated that the pharmacologist/drug manufacturer would further investigate these six molecules to find suitable drug candidates for SARS-COV-2. They can adopt these promising compounds for their downstream drug development stages.


title: Weighted Gagliardo-Nirenberg Interpolation Inequalities

abstract: In this paper, we prove weighted versions of the Gagliardo-Nirenberg interpolation inequality with Riesz as well as Bessel type fractional derivatives. We use a harmonic analysis approach employing several methods, including the method of domination by sparse operators, to obtain such inequalities for a general class of weights satisfying Muckenhoupttype conditions. We also obtain improved results for some particular families of weights, including power-law weights $|x|^\alpha$. In particular, we prove an inequality which generalizes both the Stein-Weiss inequality and the Caffarelli-Kohn-Nirenberg inequality. However, our approach is sufficiently flexible to allow as well for non-homogeneous weights and we also prove versions of the inequalities with Japanese bracket weights $\langle x \rangle^\alpha=(1+|x|^2)^{\alpha/2}$.


title: A First Look into the Nature of JWST/MIRI 7.7 micron Sources from SMACS 0723

abstract: Until now, our knowledge of the extragalactic Universe at mid-IR wavelengths (> 5 microns) was limited to rare active galactic nuclei (AGN) and the brightest normal galaxies up to z~3. The advent of the JWST with its Mid-Infrared Instrument (MIRI) will revolutionise the ability of the mid-IR regime as a key wavelength domain to probe the high-z Universe. In this work we present a first study of JWST MIRI 7.7 micron sources selected with > 3 sigma significance from the lensing cluster field SMACS J0723.3-7327. We model their spectral energy distribution fitting with 13 JWST and HST broad bands, in order to obtain photometric redshifts and derived physical parameters for all these sources. We find that this 7.7 micron galaxy sample is mainly composed of normal galaxies up to z=4 and has a tail of about 2% of sources at higher redshifts to z~ 9-10. The vast majority of our galaxies have [3.6]-[7.7]<0 colours and very few of them need high dust extinction values (A_V=3 -6 mag) for their SED fitting. The resulting lensing-corrected stellar masses span the range 10^7-10^{11} Msun. Overall, our results clearly show that the first MIRI 7.7 micron observations of deep fields are already useful to probe the high-redshift Universe and suggest that the deeper 7.7 micron observations to be available very soon will open up, for the first time, the epoch of reionisation at mid-IR wavelengths.


title: On a multi-integral norm defined by weighted sums of log-concave random vectors

abstract: Let $C$ and $K$ be centrally symmetric convex bodies in ${\mathbb R}^n$. We show that if $C$ is isotropic then \begin{equation*}\|{\bf t}\|_{C^s,K}=\int_{C}\cdots\int_{C}\Big\|\sum_{j=1}^st_jx_j\Big\|_K\,dx_1\cdots dx_s \leq c_1L_C(\log n)^5\,\sqrt{n}M(K)\|{\bf t}\|_2\end{equation*} for every $s\geq 1$ and ${\bf t}=(t_1,\ldots ,t_s)\in {\mathbb R}^s$, where $L_C$ is the isotropic constant of $C$ and $M(K):=\int_{S^{n-1}}\|\xi\|_Kd\sigma (\xi)$. This reduces a question of V.~Milman to the problem of estimating from above the parameter $M(K)$ of an isotropic convex body. The proof is based on an observation that combines results of Eldan, Lehec and Klartag on the slicing problem: If $\mu $ is an isotropic log-concave probability measure on ${\mathbb R}^n$ then, for any centrally symmetric convex body $K$ in ${\mathbb R}^n$ we have that $$I_1(\mu ,K):=\int_{{\mathbb R}^n}\|x\|_K\,d\mu(x)\leq c_2\sqrt{n}(\log n)^5\,M(K).$$ We illustrate the use of this inequality with further applications.


title: BEiT v2: Masked Image Modeling with Vector-Quantized Visual Tokenizers

abstract: Masked image modeling (MIM) has demonstrated impressive results in self-supervised representation learning by recovering corrupted image patches. However, most existing studies operate on low-level image pixels, which hinders the exploitation of high-level semantics for representation models. In this work, we propose to use a semantic-rich visual tokenizer as the reconstruction target for masked prediction, providing a systematic way to promote MIM from pixel-level to semantic-level. Specifically, we propose vector-quantized knowledge distillation to train the tokenizer, which discretizes a continuous semantic space to compact codes. We then pretrain vision Transformers by predicting the original visual tokens for the masked image patches. Furthermore, we introduce a patch aggregation strategy which associates discrete image patches to enhance global semantic representation. Experiments on image classification and semantic segmentation show that BEiT v2 outperforms all compared MIM methods. On ImageNet-1K (224 size), the base-size BEiT v2 achieves 85.5% top-1 accuracy for fine-tuning and 80.1% top-1 accuracy for linear probing. The large-size BEiT v2 obtains 87.3% top-1 accuracy for ImageNet-1K (224 size) fine-tuning, and 56.7% mIoU on ADE20K for semantic segmentation. The code and pretrained models are available at https://aka.ms/beitv2.


title: Objective and perceived risk in seismic vulnerability assessment at urban scale

abstract: The assessment of seismic risk in urban areas with high seismicity is certainly one of the most important problems that territorial managers have to face. A reliable evaluation of this risk is the basis for the design of both specific seismic improvement interventions and emergency management plans. Unappropriate seismic risk assessments may provide misleading results and induce bad decisions with relevant economic and social impact. The seismic risk in urban areas is mainly linked to three factors, namely, "hazard", "exposure" and "vulnerability". Hazard measures the potential of an earthquake to produce harm; exposure evaluates the amount of population exposed to harm; vulnerability represents the proneness of considered buildings to suffer damages in case of an earthquake. Estimates of such factors may not always coincide with the perceived risk of the resident population. The propensity to implement structural seismic improvement interventions aimed at reducing the vulnerability of buildings depends significantly on the perceived risk. This paper investigates on the difference between objective and perceived risk and highlights some critical issues. The aim of this study is to calibrate opportune policies, which allow addressing the most appropriate seismic risk mitigation options with reference to current levels of perceived risk. We propose the introduction of a Seismic Policy Prevention index (SPPi). This methodology is applied to a case-study focused on a densely populated district of the city of Catania (Italy).


title: Markov Observation Models

abstract: Herein, the Hidden Markov Model is expanded to allow for Markov chain observations. In particular, the observations are assumed to be a Markov chain whose one step transition probabilities depend upon the hidden Markov chain. An Expectation-Maximization analog to the Baum-Welch algorithm is developed for this more general model to estimate the transition probabilities for both the hidden state and for the observations as well as to estimate the probabilities for the initial joint hidden-state-observation distribution. A believe state or filter recursion to track the hidden state then arises from the calculations of this Expectation-Maximization algorithm. A dynamic programming analog to the Viterbi algorithm is also developed to estimate the most likely sequence of hidden states given the sequence of observations.


title: Estimating Mixed-Mode Urban Trail Traffic Using Negative Binomial Regression Models

abstract: Data and models of non-motorized traffic on multiuse urban trails are needed to improve planning and management of urban transportation systems. Negative binomial regression models are appropriate and useful when dependent variables are non-negative integers with over-dispersion like traffic counts. This paper presents eight negative binomial models for estimating urban trail traffic using 1,898 daily mixed-mode traffic counts from active infrared monitors at six locations in Minneapolis, MN. Our models include up to 10 independent variables that represent socio-demographic, built environment, weather, and temporal characteristics. A general model can be used to estimate traffic at locations where traffic has not been monitored. A six-location model with dummy variables for each monitoring site rather than neighborhood specific variables can be used to estimate traffic at existing locations when counts from monitors are not available. Six trail-specific models are appropriate for estimating variation in traffic in response to variations in weather and day of week. Validation results indicate negative binomial models outperform models estimated by ordinary least squares regression. These new models estimate traffic within approximately 16.3% error, on average, which is reasonable for planning and management purposes.


title: Mitigating an epidemic on a geographic network using vaccination

abstract: We consider a mathematical model describing the propagation of an epidemic on a geographical network. The size of the outbreak is governed by the initial growth rate of the disease given by the maximal eigenvalue of the epidemic matrix formed by the susceptibles and the graph Laplacian representing the mobility. We use matrix perturbation theory to analyze the epidemic matrix and define a vaccination strategy, assuming the vaccination reduces the susceptibles. When mobility and local disease dynamics have similar time scales, it is most efficient to vaccinate the whole network because the disease grows uniformly. However, if only a few vertices can be vaccinated then which ones do we choose? We answer this question, and show that it is most efficient to vaccinate along an eigenvector corresponding to the largest eigenvalue of the Laplacian. We illustrate these general results on a 7 vertex graph and a realistic example of the french rail network. When mobility is slower than local disease dynamics, the epidemic grows on the vertex with largest susceptibles. The epidemic growth rate is more reduced when vaccinating a larger degree vertex; it also depends on the neighboring vertices. This study and its conclusions provides guidelines for the planning of vaccination on a network at the onset of an epidemic.


title: Reflexive Measurement

abstract: This essay is the first systematic account of causal relationships between measurement instruments and the data they elicit in the social sciences. This problem of reflexive measurement is pervasive and profoundly affects social scientific inquiry. I argue that, when confronted by the problem of reflexive measurement, scientific knowledge of the social world is not possible without a model of the causal effect of our measurement instruments.


title: Excess demand in public transportation systems: The case of Pittsburgh's Port Authority

abstract: "An advanced city is not a place where the poor move about in cars, rather it's where even the rich use public transportation". This is what Enrique Penalosa, the celebrated ex-mayor of Bogota once said. However, in order to achieve this objective, one of the crucial properties that the public transportation systems need to satisfy is reliability. While reliability is often referenced with respect to on-schedule arrivals and departures, in this study we are interested in the ability of the system to satisfy the total passenger demand. This is crucial, since if the capacity of the system is not enough to satisfy all the passengers, then ridership will inevitably drop. However, quantifying this excess demand is not straightforward since public transit data, and in particular data from bus systems that we focus on in this study, only include information for people that got on the bus, and not those that were left behind at a stop due to a full bus. In this work, we design a framework for estimating this excess demand. Our framework includes a mechanism for identifying instances of potential excess demand, and a Poisson regression model for the demand for a given bus route and stop. These instances of potential excess demand are filtered out from the training phase of the Poisson regression. We show through simulated data that this filtering is able to remove the bias introduced by the censored data logged by the system. Failure to remove these data points leads to an underestimation of the excess demand. We then apply our approach on real data collected from the Pittsburgh Port Authority and estimate the excess demand over an one-year period.


title: The Influence of Beta Decay Rates on r-Process Observables

abstract: The rapid neutron capture process (r-process) is one of the main mechanisms whereby elements heavier than iron are synthesized, and is entirely responsible for the natural production of the actinides. Kilonova emissions are modeled as being largely powered by the radioactive decay of species synthesized via the r -process. Given that the r -process occurs far from nuclear stability, unmeasured beta decay rates play an essential role in setting the time scale for the r -process. In an effort to better understand the sensitivity of kilonova modeling to different theoretical global beta-decay descriptions, we incorporate these into nucleosynthesis calculations. We compare the results of these calculations and highlight differences in kilonova nuclear energy generation and light curve predictions, as well as final abundances and their implications for nuclear cosmochronometry. We investigate scenarios where differences in beta decay rates are responsible for increased nuclear heating on time scales of days that propagates into a significantly increased average bolometric luminosity between 1-10 days post-merger. We identify key nuclei, both measured and unmeasured, whose decay rates are directly impact nuclear heating generation on timescales responsible for light curve evolution. We also find that uncertainties in beta decay rates significantly impact ages estimates from cosmochronometry.


title: Massless Fermions on a half-space: The curious case of 2+1-dimensions

abstract: Boundary conditions for a massless Dirac fermion in 2+1 dimensions where the space is a half-plane are discussed in detail. It is argued that linear boundary conditions that leave the Hamiltonian Hermitian generically break $C$ $P$ and $T$ symmetries as well as Lorentz and conformal symmetry. We show that there is essentially one special case where a single species of fermion has $CPT$ and the full Poincare and conformal symmetry of the boundary. We show that, with doubled fermions, there is a second special case which respects $CPT$ but still violates Lorentz and conformal symmetry. This second special case is essentially the unique boundary condition where the Dirac operator has fermion zero mode edge states. We discuss how the edge states lead to exotic representations of scale, phase and translation symmetries and how imposing a symmetry requirement leads to edge ferromagnetism of the system. We prove that the exotic ferromagnetic representations are indeed carried by the ground states of the system perturbed by a class of interaction Hamiltonians which includes the non-relativistic Coulomb interaction.

categories: hep-th cond-mat.mes-hall math-ph math.MP


title: Kinetic theory of particle-in-cell simulation plasma and the ensemble averaging technique

abstract: We derive the kinetic theory of fluctuations in physically and numerically stable particle-in-cell (PIC) simulations of electrostatic plasmas. The starting point is the single-time correlations at the simulation start between the statistical fluctuations of weighted densities of macroparticle centers in the plasma particle phase-space. The single-time correlations at all time steps and in each spatial grid cell are then determined from the Laplace-Fourier transforms of the discretized Klimontovich-like equation for the macroparticles and Maxwell's equations for the fields as computed by modern PIC codes. We recover the expressions for the electrostatic field and the plasma particle density fluctuation autocorrelations spectra as well as the kinetic equations describing the average evolution of PIC-simulated plasma particles, first derived by Langdon in 1970, using a macroparticle test approach perturbing a discretized Vlasovian plasma and then averaging the obtained physical quantity over the initial macroparticle velocity distribution. We generalize and extend these results to the modern algorithms in PIC codes and using arbitrary macroparticle weights. Analytical estimates of statistical fluctuations single-time correlation amplitudes are derived as a function of the plasma simulation parameters, using the central limit theorem in the limit of a large number of macroparticles per cell. The theory is then used to analyze the ensemble averaging technique of PIC simulations where statistical averages are performed over ensembles of PIC simulations, modeling the same plasma physics problem but using different statistical realizations of the initial distribution functions of the macroparticles.


title: Noncentral moderate deviations for fractional Skellam processes

abstract: The term \emph{moderate deviations} is often used in the literature to mean a class of large deviation principles that, in some sense, fills the gap between a convergence in probability to zero (governed by a large deviation principle) and a weak convergence to a centered Normal distribution. We talk about \emph{noncentral moderate deviations} when the weak convergence is towards a non-Gaussian distribution. In this paper we present noncentral moderate deviation results for two fractional Skellam processes in the literature (see Kerss, Leonenko and Sikorskii, 2014). We also establish that, for the fractional Skellam process of type 2 (for which we can refer the recent results for compound fractional Poisson processes in Beghin and Macci (2022)), the convergences to zero are usually faster because we can prove suitable inequalities between rate functions.


title: Relational Action Bases: Formalization, Effective Safety Verification, and Invariants (Extended Version)

abstract: Modeling and verification of dynamic systems operating over a relational representation of states are increasingly investigated problems in AI, Business Process Management, and Database Theory. To make these systems amenable to verification, the amount of information stored in each relational state needs to be bounded, or restrictions are imposed on the preconditions and effects of actions. We introduce the general framework of relational action bases (RABs), which generalizes existing models by lifting both these restrictions: unbounded relational states can be evolved through actions that can quantify both existentially and universally over the data, and that can exploit numerical datatypes with arithmetic predicates. We then study parameterized safety of RABs via (approximated) SMT-based backward search, singling out essential meta-properties of the resulting procedure, and showing how it can be realized by an off-the-shelf combination of existing verification modules of the state-of-the-art MCMT model checker. We demonstrate the effectiveness of this approach on a benchmark of data-aware business processes. Finally, we show how universal invariants can be exploited to make this procedure fully correct.


title: Topological data analysis for revealing structural origin of density anomalies in silica glass

abstract: Topological data analysis (TDA) is a new emerging and powerful tool to understand the medium range structure ordering of multi-scale data. This study investigates the density anomalies observed during cooling of liquid silica from topological point of view using TDA. The density of liquid silica does not monotonically increase during cooling; it instead shows a maximum and minimum. Despite tremendous efforts, the structural origin of these density anomalies is not clearly understood. Our approach reveals that the one-dimensional topology of the -Si-Si- network changes at the temperatures at which the maximum and minimum densities are observed in our MD simulations, while those of the -O-O- and -Si-O- networks change at lower temperatures. These results are also supported by conventional ring analysis. Our work demonstrates the value of new topological techniques in understanding the transitions in glassy materials and sheds light on the characterization of glass-liquid transitions.

categories: cond-mat.mtrl-sci cond-mat.soft physics.chem-ph physics.comp-ph


title: Microscopic fluctuations in power-grid frequency recordings at the sub-second scale

abstract: Complex systems, such as the power grid, are essential for our daily lives. Many complex systems display (multi-)fractal behavior, correlated fluctuations and power laws. Whether the power-grid frequency, an indicator about the balance on supply and demand in the electricity grid, also displays such complexity remains a mostly open question. Within the present article, we utilize highly resolved measurements to quantify the properties of the power-grid frequency. We show that below 1 second, the dynamics may fundamentally change, including a suddenly increasing power spectral density, emergence of multifractality and a change of correlation behavior. We provide a simplified stochastic model involving positively correlated noise to reproduce the observed dynamics, possibly linked to frequency dependent loads. Finally, we stress the need for high-quality measurements and discuss how we obtained the data analyzed here.

categories: physics.soc-ph cs.SY eess.SY physics.data-an stat.AP


title: Quantum metrology with ultracold chemical reactions

abstract: Chemical chain reactions are known to enable extremely sensitive detection schemes in chemical, biological, and medical analysis, and have even been used in the search for dark matter. Here we show that coherent, ultracold chemical reactions harbor great potential for quantum metrology: In an atom-molecule Bose-Einstein condensate (BEC), a weak external perturbation can modify the reaction dynamics and lead to the coherent creation of molecules in an atom-dominant regime which can be selectively detected with modern spectroscopic techniques. This promises to substantially improve the viability of previously proposed BEC-based sensors for acceleration, gravitational waves, and other physical quantities, including the detection of dark matter, that so far relied on the detection of the tiny density modulations caused by the creation of single phonons.


title: Tilting Theory in exact categories

abstract: We define tilting subcategories in arbitrary exact categories to archieve the following. Firstly: Unify existing definitions of tilting subcategories to arbitrary exact categories. Discuss standard results for tilting subcategories: Auslander correspondence, Bazzoni description of the perpendicular category. Secondly: We treat the question of induced derived equivalences separately - given a tilting subcategory T, we ask if a functor on the perpendicular category induces a derived equivalence to a (certain) functor category over T. If this is the case, we call the tilting subcategory ideq tilting. We prove a generalization of Miyashita's theorem (which is itself a generalization of a well-known theorem of Brenner-Butler) and characterize exact categories with enough projectives allowing ideq tilting subcategories. In particular, this is always fulfilled if the exact category is abelian with enough projectives.


title: Layers, Folds, and Semi-Neuronal Information Processing

abstract: What role does phenotypic complexity play in the systems-level function of an embodied agent? The organismal phenotype is a topologically complex structure that interacts with a genotype, developmental physics, and an informational environment. Using this observation as inspiration, we utilize a type of embodied agent that exhibits layered representational capacity: meta-brain models. Meta-brains are used to demonstrate how phenotypes process information and exhibit self-regulation from development to maturity. We focus on two candidate structures that potentially explain this capacity: folding and layering. As layering and folding can be observed in a host of biological contexts, they form the basis for our representational investigations. First, an innate starting point (genomic encoding) is described. The generative output of this encoding is a differentiation tree, which results in a layered phenotypic representation. Then we specify a formal meta-brain model of the gut, which exhibits folding and layering in development in addition to different degrees of representation of processed information. This organ topology is retained in maturity, with the potential for additional folding and representational drift in response to inflammation. Next, we consider topological remapping using the developmental Braitenberg Vehicle (dBV) as a toy model. During topological remapping, it is shown that folding of a layered neural network can introduce a number of distortions to the original model, some with functional implications. The paper concludes with a discussion on how the meta-brains method can assist us in the investigation of enactivism, holism, and cognitive processing in the context of biological simulation.


title: Synthesis of Parametric Hybrid Automata from Time Series

abstract: We propose an algorithmic approach for synthesizing linear hybrid automata from time-series data. Unlike existing approaches, our approach provides a whole family of models. Each model in the family is guaranteed to capture the input data up to a precision error {\epsilon}, in the following sense: For each time series, the model contains an execution that is {\epsilon}-close to the data points. Our construction allows to effectively choose a model from this family with minimal precision error {\epsilon}. We demonstrate the algorithm's efficiency and its ability to find precise models in two case studies.


title: Ensembles of Realistic Power Distribution Networks

abstract: The power grid is going through significant changes with the introduction of renewable energy sources and incorporation of smart grid technologies. These rapid advancements necessitate new models and analyses to keep up with the various emergent phenomena they induce. A major prerequisite of such work is the acquisition of well-constructed and accurate network datasets for the power grid infrastructure. In this paper, we propose a robust, scalable framework to synthesize power distribution networks which resemble their physical counterparts for a given region. We use openly available information about interdependent road and building infrastructures to construct the networks. In contrast to prior work based on network statistics, we incorporate engineering and economic constraints to create the networks. Additionally, we provide a framework to create ensembles of power distribution networks to generate multiple possible instances of the network for a given region. The comprehensive dataset consists of nodes with attributes such as geo-coordinates, type of node (residence, transformer, or substation), and edges with attributes such as geometry, type of line (feeder lines, primary or secondary) and line parameters. For validation, we provide detailed comparisons of the generated networks with actual distribution networks. The generated datasets represent realistic test systems (as compared to standard IEEE test cases) that can be used by network scientists to analyze complex events in power grids and to perform detailed sensitivity and statistical analyses over ensembles of networks.


title: Low Emission Building Control with Zero-Shot Reinforcement Learning

abstract: Heating and cooling systems in buildings account for 31\% of global energy use, much of which are regulated by Rule Based Controllers (RBCs) that neither maximise energy efficiency nor minimise emissions by interacting optimally with the grid. Control via Reinforcement Learning (RL) has been shown to significantly improve building energy efficiency, but existing solutions require access to building-specific simulators or data that cannot be expected for every building in the world. In response, we show it is possible to obtain emission-reducing policies without such knowledge a priori--a paradigm we call zero-shot building control. We combine ideas from system identification and model-based RL to create PEARL (Probabilistic Emission-Abating Reinforcement Learning) and show that a short period of active exploration is all that is required to build a performant model. In experiments across three varied building energy simulations, we show PEARL outperforms an existing RBC once, and popular RL baselines in all cases, reducing building emissions by as much as 31\% whilst maintaining thermal comfort. Our source code is available online via https://enjeeneer.io/projects/pearl .