title: Geometry and convergence of natural policy gradient methods

abstract: We study the convergence of several natural policy gradient (NPG) methods in infinite-horizon discounted Markov decision processes with regular policy parametrizations. For a variety of NPGs and reward functions we show that the trajectories in state-action space are solutions of gradient flows with respect to Hessian geometries, based on which we obtain global convergence guarantees and convergence rates. In particular, we show linear convergence for unregularized and regularized NPG flows with the metrics proposed by Kakade and Morimura and co-authors by observing that these arise from the Hessian geometries of conditional entropy and entropy respectively. Further, we obtain sublinear convergence rates for Hessian geometries arising from other convex functions like log-barriers. Finally, we interpret the discrete-time NPG methods with regularized rewards as inexact Newton methods if the NPG is defined with respect to the Hessian geometry of the regularizer. This yields local quadratic convergence rates of these methods for step size equal to the penalization strength.


title: Federated Hypergradient Descent

abstract: In this work, we explore combining automatic hyperparameter tuning and optimization for federated learning (FL) in an online, one-shot procedure. We apply a principled approach on a method for adaptive client learning rate, number of local steps, and batch size. In our federated learning applications, our primary motivations are minimizing communication budget as well as local computational resources in the training pipeline. Conventionally, hyperparameter tuning methods involve at least some degree of trial-and-error, which is known to be sample inefficient. In order to address our motivations, we propose FATHOM (Federated AuTomatic Hyperparameter OptiMization) as a one-shot online procedure. We investigate the challenges and solutions of deriving analytical gradients with respect to the hyperparameters of interest. Our approach is inspired by the fact that, with the exception of local data, we have full knowledge of all components involved in our training process, and this fact can be exploited in our algorithm impactfully. We show that FATHOM is more communication efficient than Federated Averaging (FedAvg) with optimized, static valued hyperparameters, and is also more computationally efficient overall. As a communication efficient, one-shot online procedure, FATHOM solves the bottleneck of costly communication and limited local computation, by eliminating a potentially wasteful tuning process, and by optimizing the hyperparamters adaptively throughout the training procedure without trial-and-error. We show our numerical results through extensive empirical experiments with the Federated EMNIST-62 (FEMNIST) and Federated Stack Overflow (FSO) datasets, using FedJAX as our baseline framework.


title: Variable Parameter Analysis for Scheduling One Machine

abstract: In contrast to the fixed parameter analysis (FPA), in the variable parameter analysis (VPA) the value of the target problem parameter is not fixed, it rather depends on the structure of a given problem instance and tends to have a favorable asymptotic behavior when the size of the input increases. While applying the VPA to an intractable optimization problem with $n$ objects, the exponential-time dependence in enumeration of the feasible solution set is attributed solely to the variable parameter $\nu$, $\nu<<n$. As opposed to the FPA, the VPA does not imply any restriction on some problem parameters, it rather takes an advantage of a favorable nature of the problem, which permits to reduce the cost of enumeration of the solution space. Our main technical contribution is a variable parameter algorithm for a strongly $\mathsf{NP}$-hard single-machine scheduling problem to minimize maximum job lateness. The target variable parameter $\nu$ is the number of jobs with some specific characteristics, the ``emerging'' ones. The solution process is separated in two phases. At phase 1 a partial solution including $n-\nu$ non-emerging jobs is constructed in a low degree polynomial time. At phase 2 less than $\nu!$ permutations of the $\nu$ emerging jobs are considered. Each of them are incorporated into the partial schedule of phase 1. Doe to the results of an earlier conducted experimental study, $\nu/n$ varied from $1/4$ for small problem instances to $1/10$ for the largest tested problem instances, so that that the ratio becomes closer to 0 for large $n$s.


title: Sky-image-based solar forecasting using deep learning with multi-location data: training models locally, globally or via transfer learning?

abstract: Solar forecasting from ground-based sky images has shown great promise in reducing the uncertainty in solar power generation. With more and more sky image datasets open sourced in recent years, the development of accurate and reliable deep learning-based solar forecasting methods has seen a huge growth in potential. In this study, we explore three different training strategies for solar forecasting models by leveraging three heterogeneous datasets collected globally with different climate patterns. Specifically, we compare the performance of local models trained individually based on single datasets and global models trained jointly based on the fusion of multiple datasets, and further examine the knowledge transfer from pre-trained solar forecasting models to a new dataset of interest. The results suggest that the local models work well when deployed locally, but significant errors are observed when applied offsite. The global model can adapt well to individual locations at the cost of a potential increase in training efforts. Pre-training models on a large and diversified source dataset and transferring to a target dataset generally achieves superior performance over the other two strategies. With 80% less training data, it can achieve comparable performance as the local baseline trained using the entire dataset.


title: The Giant Accreting Protoplanet Survey (GAPlanetS) -- Results from a Six Year Campaign to Image Accreting Protoplanets

abstract: Accreting protoplanets represent a window into planet formation processes. We report H{\alpha} differential imaging results from the deepest and most comprehensive accreting protoplanet survey to date, acquired with the Magellan Adaptive Optics (MagAO) system's VisAO camera. The fourteen transitional disks targeted are ideal candidates for protoplanet discovery due to their wide, heavily depleted central cavities, wealth of non-axisymmetric circumstellar disk features evocative of ongoing planet formation, and ongoing stellar accretion. To address the twin challenges of morphological complexity in the target systems and PSF instability, we develop novel approaches for frame selection and optimization of the Karhounen-Loeve Image Processing algorithm pyKLIP. We detect one new candidate protoplanet, CS Cha "c", at a separation of 75mas and a Delta mag of 5.1 and robustly recover the HD142527 B and HD100453 B low mass stellar companions across multiple epochs. Though we cannot rule out a substantial scattered light contribution to its emission, we also recover LkCa 15 b. Its presence inside of the cleared disk cavity and consistency with a forward-modeled point source suggest that it remains a viable protoplanet candidate. The protoplanet PDS 70 c was marginally recovered under our conservative general methodology. However, through targeted optimization in H-alpha} imagery, we tentatively recover PDS 70 c in three epochs and PDS 70 b in one epoch. Of the many other previously-reported companions and companion candidates around objects in the sample, we do not recover any additional robust candidates. However, lack of recovery at moderate H-alpha contrast does not rule out the presence of protoplanets at these locations, and we report limiting H-alpha contrasts in such cases.


title: Attitude Trajectory Optimization and Momentum Conservation with Control Moment Gyroscopes

abstract: In this work, we develop a numerically tractable trajectory optimization problem for rest-to-rest attitude transfers with CMG-driven spacecraft. First, we adapt a specialized dynamical model which avoids many of the numerical challenges (singularities) introduced by common dynamical approximations. To formulate and solve our specialized trajectory optimization problem, we design a locally stabilizing Linear Quadratic (LQ) regulator on the system's configuration manifold then lift it into the ambient state space to produce suitable terminal and running LQ cost functionals. Finally, we examine the performance benefits and drawbacks of solutions to this optimization problem via the PRONTO solver and find significant improvements in maneuver time, terminal state accuracy, and total control effort. This analysis also highlights a critical shortcoming for objective functions which penalize only the norm of the control input rather than electrical power usage.


title: Translated Skip Connections -- Expanding the Receptive Fields of Fully Convolutional Neural Networks

abstract: The effective receptive field of a fully convolutional neural network is an important consideration when designing an architecture, as it defines the portion of the input visible to each convolutional kernel. We propose a neural network module, extending traditional skip connections, called the translated skip connection. Translated skip connections geometrically increase the receptive field of an architecture with negligible impact on both the size of the parameter space and computational complexity. By embedding translated skip connections into a benchmark architecture, we demonstrate that our module matches or outperforms four other approaches to expanding the effective receptive fields of fully convolutional neural networks. We confirm this result across five contemporary image segmentation datasets from disparate domains, including the detection of COVID-19 infection, segmentation of aerial imagery, common object segmentation, and segmentation for self-driving cars.


title: $\mathcal{T,P}$-odd effects in the LuOH$^+$ cation

abstract: The LuOH$^+$ cation is a promising system to search for manifestations of time reversal and spatial parity violation effects. Such effects in LuOH$^+$ induced by the electron electric dipole moment $e$EDM and the scalar-pseudoscalar interaction of the nucleus with electrons, characterized by $k_s$ constant, in LuOH$^+$ are studied. The enhancement factors, polarization in the external electric field, hyperfine interaction, rovibrational structure are calculated. The study is required for the experiment preparation and extraction of the eEDM and ks values from experimental data.


title: P-graph Associahedra and Hypercube Graph Associahedra

abstract: A graph associahedron is a polytope dual to a simplicial complex whose elements are induced connected subgraphs called tubes. Graph associahedra generalize permutahedra, associahedra, and cyclohedra, and therefore are of great interest to those who study Coxeter combinatorics. This thesis characterizes nested complexes of simplicial complexes, which we call $\Delta$-nested complexes. From here, we can define P-nestohedra by truncating simple polyhedra, and in more specificity define P-graph associahedra, which are realized by repeated truncation of faces of simple polyhedra in accordance with tubes of graphs. We then define hypercube-graph associahedra as a special case. Hypercube-graph associahedra are defined by tubes and tubings on a graph with a matching of dashed edges, with tubes and tubings avoiding those dashed edges. These simple rules make hypercube-graph tubings a simple and intuitive extension of classical graph tubings. We explore properties of $\Delta$-nested complexes and P-nestohedra, and use these results to explore properties of hypercube-graph associahedra, including their facets and faces, as well as their normal fans and Minkowski sum decompositions. We use these properties to develop general methods of enumerating $f$-polynomials of families of hypercube-graph associahedra. Several of these hypercube-graphs correspond to previously-studied polyhedra, such as cubeahedra, the halohedron, the type $A_n$ linear $c$-cluster associahedron, and the type $A_n$ linear $c$-cluster biassociahedron. We provide enumerations for these polyhedra and others.


title: $r$-primitive $k$-normal elements in arithmetic progressions over finite fields

abstract: Let $\mathbb{F}_{q^n}$ be a finite field with $q^n$ elements. For a positive divisor $r$ of $q^n-1$, the element $\alpha \in \mathbb{F}_{q^n}^*$ is called \textit{$r$-primitive} if its multiplicative order is $(q^n-1)/r$. Also, for a non-negative integer $k$, the element $\alpha \in \mathbb{F}_{q^n}$ is \textit{$k$-normal} over $\mathbb{F}_q$ if $\gcd(\alpha x^{n-1}+ \alpha^q x^{n-2} + \ldots + \alpha^{q^{n-2}}x + \alpha^{q^{n-1}} , x^n-1)$ in $\mathbb{F}_{q^n}[x]$ has degree $k$. In this paper we discuss the existence of elements in arithmetic progressions $\{\alpha, \alpha+\beta, \alpha+2\beta, \ldots\alpha+(m-1)\beta\} \subset \mathbb{F}_{q^n}$ with $\alpha+(i-1)\beta$ being $r_i$-primitive and at least one of the elements in the arithmetic progression being $k$-normal over $\mathbb{F}_q$. We obtain asymptotic results for general $k, r_1, \dots, r_m$ and concrete results when $k = r_i = 2$ for $i \in \{1, \dots, m\}$.


title: Abstract Images Have Different Levels of Retrievability Per Reverse Image Search Engine

abstract: Much computer vision research has focused on natural images, but technical documents typically consist of abstract images, such as charts, drawings, diagrams, and schematics. How well do general web search engines discover abstract images? Recent advancements in computer vision and machine learning have led to the rise of reverse image search engines. Where conventional search engines accept a text query and return a set of document results, including images, a reverse image search accepts an image as a query and returns a set of images as results. This paper evaluates how well common reverse image search engines discover abstract images. We conducted an experiment leveraging images from Wikimedia Commons, a website known to be well indexed by Baidu, Bing, Google, and Yandex. We measure how difficult an image is to find again (retrievability), what percentage of images returned are relevant (precision), and the average number of results a visitor must review before finding the submitted image (mean reciprocal rank). When trying to discover the same image again among similar images, Yandex performs best. When searching for pages containing a specific image, Google and Yandex outperform the others when discovering photographs with precision scores ranging from 0.8191 to 0.8297, respectively. In both of these cases, Google and Yandex perform better with natural images than with abstract ones achieving a difference in retrievability as high as 54\% between images in these categories. These results affect anyone applying common web search engines to search for technical documents that use abstract images.


title: Tailoring three-dimensional topological codes for biased noise

abstract: Tailored topological stabilizer codes in two dimensions have been shown to exhibit high storage threshold error rates and improved subthreshold performance under biased Pauli noise. Three-dimensional (3D) topological codes can allow for several advantages including a transversal implementation of non-Clifford logical gates, single-shot decoding strategies, parallelized decoding in the case of fracton codes as well as construction of fractal lattice codes. Motivated by this, we tailor 3D topological codes for enhanced storage performance under biased Pauli noise. We present Clifford deformations of various 3D topological codes, such that they exhibit a threshold error rate of $50\%$ under infinitely biased Pauli noise. Our examples include the 3D surface code on the cubic lattice, the 3D surface code on a checkerboard lattice that lends itself to a subsystem code with a single-shot decoder, the 3D color code, as well as fracton models such as the X-cube model, the Sierpinski model and the Haah code. We use the belief propagation with ordered statistics decoder (BP-OSD) to study threshold error rates at finite bias. We also present a rotated layout for the 3D surface code, which uses roughly half the number of physical qubits for the same code distance under appropriate boundary conditions. Imposing coprime periodic dimensions on this rotated layout leads to logical operators of weight $O(n)$ at infinite bias and a corresponding $\exp[-O(n)]$ subthreshold scaling of the logical failure rate, where $n$ is the number of physical qubits in the code. Even though this scaling is unstable due to the existence of logical representations with $O(1)$ low-rate Pauli errors, the number of such representations scales only polynomially for the Clifford-deformed code, leading to an enhanced effective distance.


title: Hydrodynamics of plastic deformations in electronic crystals

abstract: We construct a new hydrodynamic framework describing plastic deformations in electronic crystals. The framework accounts for pinning, phase, and momentum relaxation effects due to translational disorder, diffusion due to the presence of interstitials and vacancies, and strain relaxation due to plasticity and dislocations. We obtain the hydrodynamic mode spectrum and correlation functions in various regimes in order to identify the signatures of plasticity in electronic crystal phases. In particular, we show that proliferation of dislocations de-pins the spatially resolved conductivity until the crystal melts, after which point a new phase of a pinned electronic liquid emerges. In addition, the mode spectrum exhibits a competition between pinning and plasticity effects, with the damping rate of some modes being controlled by pinning-induced phase relaxation and some by plasticity-induced strain relaxation. We find that the recently discovered damping-attenuation relation continues to hold for pinned-induced phase relaxation even in the presence of plasticity and dislocations. We also comment on various experimental setups that could probe the effects of plasticity. The framework developed here is applicable to a large class of physical systems including electronic Wigner crystals, multicomponent charge density waves, and ordinary crystals.


title: Robust estimation based on one-shot device test data under log-normal lifetimes

abstract: In this paper we present robust estimators for one-shot device test data under lognormal lifetimes. Based on these estimators, confidence intervals and Wald-type tests are also developed. Their robustness feature is illustrated through a simulation study and two numerical examples.


title: Handwritten Arabic Character Recognition for Children Writ-ing Using Convolutional Neural Network and Stroke Identification

abstract: Automatic Arabic handwritten recognition is one of the recently studied problems in the field of Machine Learning. Unlike Latin languages, Arabic is a Semitic language that forms a harder challenge, especially with variability of patterns caused by factors such as writer age. Most of the studies focused on adults, with only one recent study on children. Moreover, much of the recent Machine Learning methods focused on using Convolutional Neural Networks, a powerful class of neural networks that can extract complex features from images. In this paper we propose a convolutional neural network (CNN) model that recognizes children handwriting with an accuracy of 91% on the Hijja dataset, a recent dataset built by collecting images of the Arabic characters written by children, and 97% on Arabic Handwritten Character Dataset. The results showed a good improvement over the proposed model from the Hijja dataset authors, yet it reveals a bigger challenge to solve for children Arabic handwritten character recognition. Moreover, we proposed a new approach using multi models instead of single model based on the number of strokes in a character, and merged Hijja with AHCD which reached an averaged prediction accuracy of 96%.


title: Physical Considerations for an Intercept Mission to a 1I/'Oumuamua-like Interstellar Object

abstract: In this paper, we review some of the extant literature on the study of interstellar objects (ISOs). With the forthcoming Vera C. Rubin Telescope and Legacy Survey of Space and Time (LSST), we find that $0.38 - 84$ `Oumuamua-like interstellar objects are expected to be detected in the next 10 years, with 95\% confidence. The feasibility of a rendezvous trajectory has been demonstrated in previous work. In this paper, we investigate the requirements for a rendezvous mission with the primary objective of producing a resolved image of an interstellar object. We outline the rendezvous distances necessary as a function of resolution elements and object size. We expand upon current population synthesis models to account for the size dependency on the detection rates for reachable interstellar objects. We assess the trade-off between object diameter and occurrence rate, and conclude that objects with the size range between a third of the size and the size of `Oumuamua will be optimal targets for an imaging rendezvous. We also discuss expectations for surface properties and spectral features of interstellar objects, as well as the benefits of various spacecraft storage locations.


title: The Impact of Bayesian Hyperpriors on the Population-Level Eccentricity Distribution of Imaged Planets

abstract: Orbital eccentricities directly trace the formation mechanisms and dynamical histories of substellar companions. Here, we study the effect of hyperpriors on the population-level eccentricity distributions inferred for the sample of directly imaged substellar companions (brown dwarfs and cold Jupiters) from hierarchical Bayesian modeling (HBM). We find that the choice of hyperprior can have a significant impact on the population-level eccentricity distribution inferred for imaged companions, an effect that becomes more important as the sample size and orbital coverage decrease to values that mirror the existing sample. We reanalyse the current observational sample of imaged giant planets in the 5-100 AU range from Bowler et al. (2020) and find that the underlying eccentricity distribution implied by the imaged planet sample is broadly consistent with the eccentricity distribution for close-in exoplanets detected using radial velocities. Furthermore, our analysis supports the conclusion from that study that long-period giant planets and brown dwarf eccentricity distributions differ by showing that it is robust to the choice of hyperprior. We release our HBM and forward modeling code in an open-source Python package, ePop!, and make it freely available to the community.


title: A differential analogue of the wild automorphism conjecture

abstract: A differential analogue of the conjecture of Reichstein, Rogalski, and Zhang in algebraic dynamics is here established: if $X$ is a projective variety over an algebraically closed field of characteristic zero which admits a global algebraic vector field $v:X\to TX$ such that $(X,v)$ has no proper invariant subvarieties then $X$ is an abelian variety. Vector fields on abelian varieties with this property are also examined.


title: A One Dimensional Proof of the H\"older Inequality using the Heat Equation

abstract: This paper gives a proof of the H\"older Inequality by using supersolutions of the Heat Equation. The proof is based on a monotonicity formula for the heat equation presented in Tobias Colding's lectures at MIT.


title: The Number of Singularities in the Intersections of Convex Planar Translates

abstract: This purpose of this paper is to prove the following result: let phi be a strictly convex, smooth, convex body in the Euclidean plane, if the intersection of n translates of phi has a non-empty interior, and all of the translates contribute to the intersection, then the intersection of these n translates will have exactly n points of singularity along its boundary. Furthermore this result is sharp, in the sense that, removing any one of the assumptions from our statement will render the result unable to hold in general.


title: Graph-Based Multi-Camera Soccer Player Tracker

abstract: The paper presents a multi-camera tracking method intended for tracking soccer players in long shot video recordings from multiple calibrated cameras installed around the playing field. The large distance to the camera makes it difficult to visually distinguish individual players, which adversely affects the performance of traditional solutions relying on the appearance of tracked objects. Our method focuses on individual player dynamics and interactions between neighborhood players to improve tracking performance. To overcome the difficulty of reliably merging detections from multiple cameras in the presence of calibration errors, we propose the novel tracking approach, where the tracker operates directly on raw detection heat maps from multiple cameras. Our model is trained on a large synthetic dataset generated using Google Research Football Environment and fine-tuned using real-world data to reduce costs involved with ground truth preparation.


title: Validated Byzantine Asynchronous Multidimensional Approximate Agreement

abstract: Consider an asynchronous system where each node begins with some point in $\mathbb{R}^m$. Given some fixed $\epsilon > 0$, we wish to have every nonfaulty node eventually output a point in $\mathbb{R}^m$, where all outputs are within distance $\epsilon$ of each other, and are within the convex hull of the original nonfaulty inputs. This problem, when some of the nodes are adversarial, is known as the ``Byzantine Asynchronous Multidimensional Approximate Agreement'' problem. Previous landmark work by Mendes et al. and Vaidya et al. presented two solutions to the problem. Both of these solutions require exponential computation by each node in each round. Furthermore, the work provides a lower bound showing that it is impossible to solve the task of approximate agreement if $n\leq (m+2)t$, and thus the protocols assume that $n>(m+2)t$. We present a Byzantine Asynchronous Multidimensional Approximate Agreement protocol in the validated setting of Cachin et al. Our protocol terminates after a logarithmic number of rounds, and requires only polynomial computation in each round. Furthermore, it is resilient to $t<\frac{n}{3}$ Byzantine nodes, which we prove to be optimal in the validated setting. In other words, working on the task in the validated setting allows us to significantly improve on previous works in several significant metrics. In addition, the techniques presented in this paper can easily yield a protocol in the original non-validated setting which requires exponential computation only in the first round, and polynomial computation in every subsequent round.


title: Scalable Multi-Agent Reinforcement Learning through Intelligent Information Aggregation

abstract: We consider the problem of multi-agent navigation and collision avoidance when observations are limited to the local neighborhood of each agent. We propose InforMARL, a novel architecture for multi-agent reinforcement learning (MARL) which uses local information intelligently to compute paths for all the agents in a decentralized manner. Specifically, InforMARL aggregates information about the local neighborhood of agents for both the actor and the critic using a graph neural network and can be used in conjunction with any standard MARL algorithm. We show that (1) in training, InforMARL has better sample efficiency and performance than baseline approaches, despite using less information, and (2) in testing, it scales well to environments with arbitrary numbers of agents and obstacles. We illustrate these results using four task environments, including one with predetermined goals for each agent, and one in which the agents collectively try to cover all goals. Code available at https://github.com/nsidn98/InforMARL.


title: Efficient Information Sharing in ICT Supply Chain Social Network via Table Structure Recognition

abstract: The global Information and Communications Technology (ICT) supply chain is a complex network consisting of all types of participants. It is often formulated as a Social Network to discuss the supply chain network's relations, properties, and development in supply chain management. Information sharing plays a crucial role in improving the efficiency of the supply chain, and datasheets are the most common data format to describe e-component commodities in the ICT supply chain because of human readability. However, with the surging number of electronic documents, it has been far beyond the capacity of human readers, and it is also challenging to process tabular data automatically because of the complex table structures and heterogeneous layouts. Table Structure Recognition (TSR) aims to represent tables with complex structures in a machine-interpretable format so that the tabular data can be processed automatically. In this paper, we formulate TSR as an object detection problem and propose to generate an intuitive representation of a complex table structure to enable structuring of the tabular data related to the commodities. To cope with border-less and small layouts, we propose a cost-sensitive loss function by considering the detection difficulty of each class. Besides, we propose a novel anchor generation method using the character of tables that columns in a table should share an identical height, and rows in a table should share the same width. We implement our proposed method based on Faster-RCNN and achieve 94.79% on mean Average Precision (AP), and consistently improve more than 1.5% AP for different benchmark models.


title: High Redshift $\Lambda$CDM Cosmology: To Bin or not to Bin?

abstract: We construct observational Hubble $H(z)$ and angular diameter distance $D_{A}(z)$ mock data with baseline Planck $\Lambda$CDM input values, before fitting the $\Lambda$CDM model to study evolution of probability density functions (PDFs) of best fit cosmological parameters $(H_0, \Omega_m, \Omega_k)$ across redshift bins. We find that PDF peaks only agree with the input parameters in low redshift ($z \lesssim 1$) bins for $H(z)$ and $D_{A}(z)$ constraints, and in all redshift bins when $H(z)$ and $D_{A}(z)$ constraints are combined. When input parameters are not recovered, we observe that PDFs exhibit non-Gaussian tails towards larger $\Omega_m$ values and shifts to (less pronounced) peaks at smaller $\Omega_m$ values. This flattening of the PDF is expected as $H(z)$ and $D_{A}(z)$ observations only constrain combinations of cosmological parameters at higher redshifts, so uniform PDFs are expected. Our analysis leaves us with a choice to bin high redshift data in the knowledge that we may be unlikely to recover Planck values, or conduct full sample analysis that biases $\Lambda$CDM inferences to the lower redshift Universe.


title: A 3D-Shape Similarity-based Contrastive Approach to Molecular Representation Learning

abstract: Molecular shape and geometry dictate key biophysical recognition processes, yet many graph neural networks disregard 3D information for molecular property prediction. Here, we propose a new contrastive-learning procedure for graph neural networks, Molecular Contrastive Learning from Shape Similarity (MolCLaSS), that implicitly learns a three-dimensional representation. Rather than directly encoding or targeting three-dimensional poses, MolCLaSS matches a similarity objective based on Gaussian overlays to learn a meaningful representation of molecular shape. We demonstrate how this framework naturally captures key aspects of three-dimensionality that two-dimensional representations cannot and provides an inductive framework for scaffold hopping.


title: Safe Real-World Autonomous Driving by Learning to Predict and Plan with a Mixture of Experts

abstract: The goal of autonomous vehicles is to navigate public roads safely and comfortably. To enforce safety, traditional planning approaches rely on handcrafted rules to generate trajectories. Machine learning-based systems, on the other hand, scale with data and are able to learn more complex behaviors. However, they often ignore that agents and self-driving vehicle trajectory distributions can be leveraged to improve safety. In this paper, we propose modeling a distribution over multiple future trajectories for both the self-driving vehicle and other road agents, using a unified neural network architecture for prediction and planning. During inference, we select the planning trajectory that minimizes a cost taking into account safety and the predicted probabilities. Our approach does not depend on any rule-based planners for trajectory generation or optimization, improves with more training data and is simple to implement. We extensively evaluate our method through a realistic simulator and show that the predicted trajectory distribution corresponds to different driving profiles. We also successfully deploy it on a self-driving vehicle on urban public roads, confirming that it drives safely without compromising comfort. The code for training and testing our model on a public prediction dataset and the video of the road test are available at https://woven.mobi/safepathnet


title: Search for Dark Photons in $\gamma\gamma\rightarrow e^+e^-$ at RHIC

abstract: The fundamental nature of Dark Matter remains one of the major mysteries of modern physics. Some models postulate the existence of a massive gauge boson, a "dark photon" ($A^\prime$), that may allow Dark Matter particles to interact with Standard Model particles. Ultra-relativistic heavy-ion collisions produce highly Lorentz-contracted electromagnetic fields with sufficient energy density to potentially manifest as light dark photons. We report limits on dark photon parameters via a search for anomalous production of $e^+e^-$ pairs in $\gamma A^\prime$ and $A^\prime A^\prime$ fusion from ultra-peripheral $\rm{Au}+\rm{Au}$ collisions. This study utilizes measurements of the Breit-Wheeler process ($\gamma\gamma \rightarrow e^+e^-$) carried out by STAR, specifically making use of polarization-dependent final-state azimuthal asymmetries in $e^+e^-$ pairs. These limits are informative for future searches in the ultra-peripheral heavy-ion collisions and to constrain future theoretical developments of the dark photon mechanism.


title: Streaming Audio-Visual Speech Recognition with Alignment Regularization

abstract: In this work, we propose a streaming AV-ASR system based on a hybrid connectionist temporal classification (CTC)/attention neural network architecture. The audio and the visual encoder neural networks are both based on the conformer architecture, which is made streamable using chunk-wise self-attention (CSA) and causal convolution. Streaming recognition with a decoder neural network is realized by using the triggered attention technique, which performs time-synchronous decoding with joint CTC/attention scoring. Additionally, we propose a novel alignment regularization technique that promotes synchronization of the audio and visual encoder, which in turn results in better word error rates (WERs) at all SNR levels for streaming and offline AV-ASR models. The proposed AV-ASR model achieves WERs of 2.0% and 2.6% on the Lip Reading Sentences 3 (LRS3) dataset in an offline and online setup, respectively, which both present state-of-the-art results when no external training data are used.


title: On the Spectral Theory of Linear Differential-Algebraic Equations with Periodic Coefficients

abstract: In this paper, we consider the spectral theory of linear differential-algebraic equations (DAEs) for periodic DAEs in canonical form, i.e., \begin{equation*} J \frac{df}{dt}+Hf=\lambda Wf, \end{equation*} where $J$ is a constant skew-Hermitian $n\times n$ matrix that is not invertible, both $H=H(t)$ and $W=W(t)$ are $d$-periodic Hermitian $n\times n$-matrices with Lebesgue measurable functions as entries, and $W(t)$ is positive semidefinite and invertible for a.e. $t\in \mathbb{R}$ (i.e., Lebesgue almost everywhere). Under some additional hypotheses on $H$ and $W$, called the local index-1 hypotheses, we study the maximal and the minimal operators $L$ and $L_0'$, respectively, associated with the differential-algebraic operator $\mathcal{L}=W^{-1}(J\frac{d}{dt}+H)$, both treated as an unbounded operators in a Hilbert space $L^2(\mathbb{R};W)$ of weighted square-integrable vector-valued functions. We prove the following: (i) the minimal operator $L_0'$ is a densely defined and closable operator; (ii) the maximal operator $L$ is the closure of $L_0'$; (iii) $L$ is a self-adjoint operator on $L^2(\mathbb{R};W)$ with no eigenvalues of finite multiplicity, but may have eigenvalues of infinite multiplicity. As an important application, we show that for 1D photonic crystals with passive lossless media, Maxwell's equations for the electromagnetic fields become, under separation of variables, periodic DAEs in canonical form satisfying our hypotheses so that our spectral theory applies to them (a primary motivation for this paper).


title: Widely tunable 2 $\mu$m hybrid laser using GaSb semiconductor optical amplifiers and Si3N4 photonics integrated reflector

abstract: Tunable lasers emitting at a 2-3 $\mu$m wavelength range and compatible with photonic integration platforms are of great interest for sensing applications. To this end, combining GaSb-based semiconductor gain chips with Si$_3$N$_4$ photonic integrated circuits offers an attractive platform. Herein, we exploit the low-loss features of Si$_3$N$_4$ waveguides and demonstrate a hybrid laser comprising a GaSb gain chip with an integrated tunable Si$_3$N$_4$ Vernier mirror. At room temperature, the laser exhibited a maximum output power of 15 mW and a tuning range of 80 nm (1937-2017 nm). The low-loss performance of several fundamental Si$_3$N$_4$ building blocks for photonic integrated circuits is also validated. More specifically, the single-mode waveguide exhibit transmission loss as low as 0.15 dB/cm, the 90$^\circ$ bend has 0.008 dB loss, and the 50/50 Y-branch has an insertion loss of 0.075 dB.


title: Logographic Information Aids Learning Better Representations for Natural Language Inference

abstract: Statistical language models conventionally implement representation learning based on the contextual distribution of words or other formal units, whereas any information related to the logographic features of written text are often ignored, assuming they should be retrieved relying on the cooccurence statistics. On the other hand, as language models become larger and require more data to learn reliable representations, such assumptions may start to fall back, especially under conditions of data sparsity. Many languages, including Chinese and Vietnamese, use logographic writing systems where surface forms are represented as a visual organization of smaller graphemic units, which often contain many semantic cues. In this paper, we present a novel study which explores the benefits of providing language models with logographic information in learning better semantic representations. We test our hypothesis in the natural language inference (NLI) task by evaluating the benefit of computing multi-modal representations that combine contextual information with glyph information. Our evaluation results in six languages with different typology and writing systems suggest significant benefits of using multi-modal embeddings in languages with logograhic systems, especially for words with less occurence statistics.


title: Photometric and spectroscopic study of the EXor-like eruptive young star Gaia19fct

abstract: Gaia19fct is one of the Gaia-alerted eruptive young stars that has undergone several brightening events. We conducted monitoring observations using multi-filter optical and near-infrared photometry, as well as near-infrared spectroscopy, to understand the physical properties of Gaia19fct and investigate whether it fits into the historically defined two classes. We present the analyses of light curves, color variations, spectral lines, and CO modeling. The light curves show at least five brightening events since 2015, and the multi-filter color evolutions are mostly gray. The gray evolution indicates that bursts are triggered by mechanisms other than extinction. Our near-infrared spectra exhibit both absorption and emission lines and show time-variability throughout our observations. We found lower rotational velocity and lower temperature from the near-infrared atomic absorption lines than from the optical lines, suggesting that Gaia19fct has a Keplerian rotating disk. The CO overtone features show a superposition of absorption and emission components, which is unlike other young stellar objects. We modeled the CO lines, and the result suggests that the emission and absorption components are formed in different regions. We found that although Gaia19fct exhibits characteristics of both types of eruptive young stars, FU Orionis-type objects (FUors) and EX Lupi-type objects (EXors), it shows more similarity with EXors in general.


title: Book Cover Synthesis from the Summary

abstract: The cover is the face of a book and is a point of attraction for the readers. Designing book covers is an essential task in the publishing industry. One of the main challenges in creating a book cover is representing the theme of the book's content in a single image. In this research, we explore ways to produce a book cover using artificial intelligence based on the fact that there exists a relationship between the summary of the book and its cover. Our key motivation is the application of text-to-image synthesis methods to generate images from given text or captions. We explore several existing text-to-image conversion techniques for this purpose and propose an approach to exploit these frameworks for producing book covers from provided summaries. We construct a dataset of English books that contains a large number of samples of summaries of existing books and their cover images. In this paper, we describe our approach to collecting, organizing, and pre-processing the dataset to use it for training models. We apply different text-to-image synthesis techniques to generate book covers from the summary and exhibit the results in this paper.


title: Can Querying for Bias Leak Protected Attributes? Achieving Privacy With Smooth Sensitivity

abstract: Existing regulations prohibit model developers from accessing protected attributes (gender, race, etc.), often resulting in fairness assessments on populations without knowing their protected groups. In such scenarios, institutions often adopt a separation between the model developers (who train models with no access to the protected attributes) and a compliance team (who may have access to the entire dataset for auditing purposes). However, the model developers might be allowed to test their models for bias by querying the compliance team for group fairness metrics. In this paper, we first demonstrate that simply querying for fairness metrics, such as statistical parity and equalized odds can leak the protected attributes of individuals to the model developers. We demonstrate that there always exist strategies by which the model developers can identify the protected attribute of a targeted individual in the test dataset from just a single query. In particular, we show that one can reconstruct the protected attributes of all the individuals from O(Nk \log( n /Nk)) queries when Nk<<n using techniques from compressed sensing (n: size of the test dataset, Nk: size of smallest group). Our results pose an interesting debate in algorithmic fairness: should querying for fairness metrics be viewed as a neutral-valued solution to ensure compliance with regulations? Or, does it constitute a violation of regulations and privacy if the number of queries answered is enough for the model developers to identify the protected attributes of specific individuals? To address this supposed violation, we also propose Attribute-Conceal, a novel technique that achieves differential privacy by calibrating noise to the smooth sensitivity of our bias query, outperforming naive techniques such as the Laplace mechanism. We also include experimental results on the Adult dataset and synthetic data.


title: Zonal Flow Excitation in Electron-Scale Tokamak Turbulence

abstract: The derivation of an intermediate-scale gyrokinetic-electron theory in nonuniform tokamak plasmas [Chen H. et al 2021 Nucl. Fusion 61 066017] has shown that a Navier-Stokes type nonlinearity couples electron-temperature-gradient (ETG) modes and zonal flow (ZF) modes with wavelengths much shorter than the ion gyroradius but much longer than the electron gyroradius. This intermediate-scale ETG-ZF coupling is typically stronger than the Hasegawa-Mima type nonlinearity characteristic of the fluid approximation and is predicted to lead to relevant zonal flow generation and ETG mode regulation. Electron-scale, continuum, gyrokinetic simulation results are presented here which include both single-mode ETG and full-spectrum ETG turbulence. The zonal flow generation due to single ETG modes is investigated and the single-mode intermediate-scale results are found to be in agreement with theory. The full-spectrum results are then presented and explained qualitatively in terms of the single-mode results. It is found that the ETG-driven zonal flows regulate intermediate-scale electron heat flux transport to levels in the predicted range.


title: Shapes2Toon: Generating Cartoon Characters from Simple Geometric Shapes

abstract: Cartoons are an important part of our entertainment culture. Though drawing a cartoon is not for everyone, creating it using an arrangement of basic geometric primitives that approximates that character is a fairly frequent technique in art. The key motivation behind this technique is that human bodies - as well as cartoon figures - can be split down into various basic geometric primitives. Numerous tutorials are available that demonstrate how to draw figures using an appropriate arrangement of fundamental shapes, thus assisting us in creating cartoon characters. This technique is very beneficial for children in terms of teaching them how to draw cartoons. In this paper, we develop a tool - shape2toon - that aims to automate this approach by utilizing a generative adversarial network which combines geometric primitives (i.e. circles) and generate a cartoon figure (i.e. Mickey Mouse) depending on the given approximation. For this purpose, we created a dataset of geometrically represented cartoon characters. We apply an image-to-image translation technique on our dataset and report the results in this paper. The experimental results show that our system can generate cartoon characters from input layout of geometric shapes. In addition, we demonstrate a web-based tool as a practical implication of our work.


title: Improving Semi-supervised Deep Learning by using Automatic Thresholding to Deal with Out of Distribution Data for COVID-19 Detection using Chest X-ray Images

abstract: Semi-supervised learning (SSL) leverages both labeled and unlabeled data for training models when the labeled data is limited and the unlabeled data is vast. Frequently, the unlabeled data is more widely available than the labeled data, hence this data is used to improve the level of generalization of a model when the labeled data is scarce. However, in real-world settings unlabeled data might depict a different distribution than the labeled dataset distribution. This is known as distribution mismatch. Such problem generally occurs when the source of unlabeled data is different from the labeled data. For instance, in the medical imaging domain, when training a COVID-19 detector using chest X-ray images, different unlabeled datasets sampled from different hospitals might be used. In this work, we propose an automatic thresholding method to filter out-of-distribution data in the unlabeled dataset. We use the Mahalanobis distance between the labeled and unlabeled datasets using the feature space built by a pre-trained Image-net Feature Extractor (FE) to score each unlabeled observation. We test two simple automatic thresholding methods in the context of training a COVID-19 detector using chest X-ray images. The tested methods provide an automatic manner to define what unlabeled data to preserve when training a semi-supervised deep learning architecture.


title: Sports Camera Pose Refinement Using an Evolution Strategy

abstract: This paper presents a robust end-to-end method for sports cameras extrinsic parameters optimization using a novel evolution strategy. First, we developed a neural network architecture for an edge or area-based segmentation of a sports field. Secondly, we implemented the evolution strategy, which purpose is to refine extrinsic camera parameters given a single, segmented sports field image. Experimental comparison with state-of-the-art camera pose refinement methods on real-world data demonstrates the superiority of the proposed algorithm. We also perform an ablation study and propose a way to generalize the method to additionally refine the intrinsic camera matrix.


title: No Agreement Without Loss: Learning and Social Choice in Peer Review

abstract: In peer review systems, reviewers are often asked to evaluate various features of submissions, such as technical quality or novelty. A score is given to each of the predefined features and based on these the reviewer has to provide an overall quantitative recommendation. It may be assumed that each reviewer has her own mapping from the set of features to a recommendation, and that different reviewers have different mappings in mind. This introduces an element of arbitrariness known as commensuration bias. In this paper we discuss a framework, introduced by Noothigattu, Shah and Procaccia, and then applied by the organizers of the AAAI 2022 conference. Noothigattu, Shah and Procaccia proposed to aggregate reviewer's mapping by minimizing certain loss functions, and studied axiomatic properties of this approach, in the sense of social choice theory. We challenge several of the results and assumptions used in their work and report a number of negative results. On the one hand, we study a trade-off between some of the axioms proposed and the ability of the method to properly capture agreements of the majority of reviewers. On the other hand, we show that dropping a certain unrealistic assumption has dramatic effects, including causing the method to be discontinuous.


title: FactorMatte: Redefining Video Matting for Re-Composition Tasks

abstract: We propose "factor matting", an alternative formulation of the video matting problem in terms of counterfactual video synthesis that is better suited for re-composition tasks. The goal of factor matting is to separate the contents of video into independent components, each visualizing a counterfactual version of the scene where contents of other components have been removed. We show that factor matting maps well to a more general Bayesian framing of the matting problem that accounts for complex conditional interactions between layers. Based on this observation, we present a method for solving the factor matting problem that produces useful decompositions even for video with complex cross-layer interactions like splashes, shadows, and reflections. Our method is trained per-video and requires neither pre-training on external large datasets, nor knowledge about the 3D structure of the scene. We conduct extensive experiments, and show that our method not only can disentangle scenes with complex interactions, but also outperforms top methods on existing tasks such as classical video matting and background subtraction. In addition, we demonstrate the benefits of our approach on a range of downstream tasks. Please refer to our project webpage for more details: https://factormatte.github.io


title: Robust Time Series Chain Discovery with Incremental Nearest Neighbors

abstract: Time series motif discovery has been a fundamental task to identify meaningful repeated patterns in time series. Recently, time series chains were introduced as an expansion of time series motifs to identify the continuous evolving patterns in time series data. Informally, a time series chain (TSC) is a temporally ordered set of time series subsequences, in which every subsequence is similar to the one that precedes it, but the last and the first can be arbitrarily dissimilar. TSCs are shown to be able to reveal latent continuous evolving trends in the time series, and identify precursors of unusual events in complex systems. Despite its promising interpretability, unfortunately, we have observed that existing TSC definitions lack the ability to accurately cover the evolving part of a time series: the discovered chains can be easily cut by noise and can include non-evolving patterns, making them impractical in real-world applications. Inspired by a recent work that tracks how the nearest neighbor of a time series subsequence changes over time, we introduce a new TSC definition which is much more robust to noise in the data, in the sense that they can better locate the evolving patterns while excluding the non-evolving ones. We further propose two new quality metrics to rank the discovered chains. With extensive empirical evaluations, we demonstrate that the proposed TSC definition is significantly more robust to noise than the state of the art, and the top ranked chains discovered can reveal meaningful regularities in a variety of real world datasets.


title: A Survey on Reinforcement Learning in Aviation Applications

abstract: Compared with model-based control and optimization methods, reinforcement learning (RL) provides a data-driven, learning-based framework to formulate and solve sequential decision-making problems. The RL framework has become promising due to largely improved data availability and computing power in the aviation industry. Many aviation-based applications can be formulated or treated as sequential decision-making problems. Some of them are offline planning problems, while others need to be solved online and are safety-critical. In this survey paper, we first describe standard RL formulations and solutions. Then we survey the landscape of existing RL-based applications in aviation. Finally, we summarize the paper, identify the technical gaps, and suggest future directions of RL research in aviation.


title: Algebras of one-sided subshifts over arbitrary alphabets

abstract: We introduce two algebras associated with a subshift over an arbitrary alphabet. One is unital and the other not necessarily. We focus on the unital case and describe a conjugacy between Ott-Tomforde-Willis subshifts in terms of a homeomorphism between the Stone duals of suitable Boolean algebras, and in terms of a diagonal-preserving isomorphism of the associated unital algebras. For this, we realise the unital algebra associated with a subshift as a groupoid algebra and as a partial skew group ring.


title: Input-Output-Data-Enhanced Robust Analysis via Lifting

abstract: Starting from a linear fractional representation of a linear system affected by constant parametric uncertainties, we demonstrate how to enhance standard robust analysis tests by taking available (noisy) input-output data of the uncertain system into account. Our approach relies on lifting the system and the construction of data-dependent multipliers. It leads to a test in terms of linear matrix inequalities which guarantees stability and performance for all systems compatible with the observed data if it is in the affirmative. In contrast to many other data-based approaches, prior physical or structural knowledge about the system can be incorporated at the outset by exploiting the power of linear fractional representations.


title: 3D Reconstruction of Multiple Objects by mmWave Radar on UAV

abstract: In this paper, we explore the feasibility of utilizing a mmWave radar sensor installed on a UAV to reconstruct the 3D shapes of multiple objects in a space. The UAV hovers at various locations in the space, and its onboard radar senor collects raw radar data via scanning the space with Synthetic Aperture Radar (SAR) operation. The radar data is sent to a deep neural network model, which outputs the point cloud reconstruction of the multiple objects in the space. We evaluate two different models. Model 1 is our recently proposed 3DRIMR/R2P model, and Model 2 is formed by adding a segmentation stage in the processing pipeline of Model 1. Our experiments have demonstrated that both models are promising in solving the multiple object reconstruction problem. We also show that Model 2, despite producing denser and smoother point clouds, can lead to higher reconstruction loss or even loss of objects. In addition, we find that both models are robust to the highly noisy radar data obtained by unstable SAR operation due to the instability or vibration of a small UAV hovering at its intended scanning point. Our exploratory study has shown a promising direction of applying mmWave radar sensing in 3D object reconstruction.


title: Decomposing Counterfactual Explanations for Consequential Decision Making

abstract: The goal of algorithmic recourse is to reverse unfavorable decisions (e.g., from loan denial to approval) under automated decision making by suggesting actionable feature changes (e.g., reduce the number of credit cards). To generate low-cost recourse the majority of methods work under the assumption that the features are independently manipulable (IMF). To address the feature dependency issue the recourse problem is usually studied through the causal recourse paradigm. However, it is well known that strong assumptions, as encoded in causal models and structural equations, hinder the applicability of these methods in complex domains where causal dependency structures are ambiguous. In this work, we develop \texttt{DEAR} (DisEntangling Algorithmic Recourse), a novel and practical recourse framework that bridges the gap between the IMF and the strong causal assumptions. \texttt{DEAR} generates recourses by disentangling the latent representation of co-varying features from a subset of promising recourse features to capture the main practical recourse desiderata. Our experiments on real-world data corroborate our theoretically motivated recourse model and highlight our framework's ability to provide reliable, low-cost recourse in the presence of feature dependencies.


title: Binary-Continuous Sum-of-ratios Optimization: Discretization, Approximations, and Convex Reformulations

abstract: We study a class of non-convex sum-of-ratios programs which can be used for decision-making in prominent areas such as product assortment and price optimization, facility location, and security games. Such an optimization problem involves both continuous and binary decision variables and is known to be highly non-convex and intractable to solve. We explore a discretization approach to approximate the optimization problem and show that the approximate program can be reformulated as mixed-integer linear or second-order cone programs, which can be conveniently handled by an off-the-shelf solver (e.g., CPLEX or GUROBI). We further establish (mild) conditions under which solutions to the approximate problem converge to optimal solutions as the number of discretization points increases. We also provide approximation abounds for solutions obtained from the approximated problem. We show how our approach applies to product assortment and price optimization, maximum covering facility location, and Bayesian Stackelberg security games and provide experimental results to evaluate the efficiency of our approach.


title: Spin-orbit and exchange proximity couplings in graphene/1T-TaS$_2$ heterostructure triggered by a charge density wave

abstract: Proximity-induced fine features and spin-textures of the electronic bands in graphene-based van der Waals heterostructures can be explored from the point of tailoring a twist angle. Here we study spin-orbit coupling and exchange coupling engineering of graphene states in the proximity of 1T-TaS$_2$ not triggering the twist, but a charge density wave in 1T-TaS$_2$-a realistic low-temperature phase. Using density functional theory and effective model we found that the emergence of the charge density wave in 1T-TaS$_2$ significantly enhances Rashba spin-orbit splitting in graphene and tilts the spin texture by a significant Rashba angle-in a very similar way as in the conventional twist-angle scenarios. Moreover, the partially filled Ta $d$-band in the charge density wave phase leads to the spontaneous emergence of the in-plane magnetic order that transgresses via proximity from 1T-TaS$_2$ to graphene, hence, simultaneously superimposing along the spin-orbit also the exchange coupling proximity effect. To describe this intricate proximity landscape we have developed an effective model Hamiltonian and provided a minimal set of parameters that excellently reproduces all the spectral features predicted by the first-principles calculations. Conceptually, the charge density wave provides a highly interesting knob to control the fine features of electronic states and to tailor the superimposed proximity effects-a sort of twistronics without twist.


title: Random walk in a birth-and-death dynamical environment

abstract: We consider a particle moving in continuous time as a Markov jump process; its discrete chain is given by an ordinary random walk on ${\mathbb Z}^d$ , and its jump rate at $({\mathbf x},t)$ is given by a fixed function $\varphi$ of the state of a birth-and-death (BD) process at $\\mathbf x$ on time $t$; BD processes at different sites are independent and identically distributed, and $\varphi$ is assumed non increasing and vanishing at infinity. We derive a LLN and a CLT for the particle position when the environment is 'strongly ergodic'. In the absence of a viable uniform lower bound for the jump rate, we resort instead to stochastic domination, as well as to a subadditive argument to control the time spent by the particle to give $n$ jumps; and we also impose conditions on the initial (product) environmental initial distribution. We also present results on the asymptotics of the environment seen by the particle (under different conditions on $\varphi$).


title: On the cyclic inverse monoid on a finite set

abstract: In this paper we study the cyclic inverse monoid $\CI_n$ on a set $\Omega_n$ with $n$ elements, i.e. the inverse submonoid of the symmetric inverse monoid on $\Omega_n$ consisting of all restrictions of the elements of a cyclic subgroup of order $n$ acting cyclically on $\Omega_n$. We show that $\CI_n$ has rank $2$ (for $n\geqslant2$) and $n2^n-n+1$ elements. Moreover, we give presentations of $\CI_n$ on $n+1$ generators and $\frac{1}{2}(n^2+3n+4)$ relations and on $2$ generators and $\frac{1}{2}(n^2-n+6)$ relations. We also consider the remarkable inverse submonoid $\OCI_n$ of $\CI_n$ constituted by all its order-preserving transformations. We show that $\OCI_n$ has rank $n$ and $3\cdot 2^n-2n-1$ elements. Furthermore, we exhibit presentations of $\OCI_n$ on $n+2$ generators and $\frac{1}{2}(n^2+3n+8)$ relations and on $n$ generators and $\frac{1}{2}(n^2+3n)$ relations.


title: The $\omega$-Vaught's Conjecture

abstract: We introduce the $\omega$-Vaught's conjecture, a strengthening of the infinitary Vaught's conjecture. We believe that if one were to prove the infinitary Vaught's conjecture in a structural way without using techniques from higher recursion theory, then the proof would probably be a proof of the $\omega$-Vaught's conjecture. We show the existence of an equivalent condition to the $\omega$-Vaught's conjecture and use this tool to show that all infinitary sentences whose models are linear orders satisfy the $\omega$-Vaught's conjecture.


title: Multi-Fluid Simulations of Upper Chromospheric Magnetic Reconnection with Helium-Hydrogen mixture

abstract: Our understanding of magnetic reconnection (MR) under chromospheric conditions remains limited. Recent observations have demonstrated the important role of ion-neutral interactions in the dynamics of the chromosphere. Furthermore, the comparison between spectral profiles and synthetic observations of reconnection events suggest that current MHD approaches appear to be inconsistent with observations. First, collisions and multi-thermal aspects of the plasma play a role in these regions. Second, hydrogen and helium ionization effects are relevant to the energy balance of the chromosphere. This work investigates multi-fluid multi-species (MFMS) effects on MR in conditions representative of the upper chromosphere using the multi-fluid Ebysus code. We compare an MFMS approach based on a helium-hydrogen mixture with a two-fluid MHD model based on hydrogen only. The simulations of MRs are performed in a Lundquist number regime high enough to develop plasmoids and instabilities. We study the evolution of the MR and compare the two approaches including the structure of the current sheet and plasmoids, the decoupling of the particles, the evolution of the heating mechanisms, and the composition. The presence of helium species leads to more efficient heating mechanisms than the two-fluid case. This scenario, which is out of reach of the two-fluid or single-fluid models, can reach transition region temperatures starting from upper chromospheric thermodynamic conditions, representative of a quiet Sun scenario. The different dynamics between helium and hydrogen species could lead to chemical fractionation and, under certain conditions, enrichment of helium in the strongest outflows. This could be of significance for recent observations of helium enrichment in the solar wind in switchbacks and CMEs.


title: A Black Hole Kicked At Birth: MAXI J1305-704

abstract: When a compact object is formed in a binary, any mass lost during core collapse will impart a kick on the binary's center of mass. Asymmetries in this mass loss or neutrino emission would impart an additional natal kick on the remnant black hole or neutron star, whether it was formed in a binary or in isolation. While it is well established that neutron stars receive natal kicks upon formation, it is unclear whether black holes do as well. Here, we consider the low-mass X-ray binary MAXI J1305-704, which has been reported to have a space velocity $\gtrsim$ 200 km/s. In addition to integrating its trajectory to infer its velocity upon formation of its black hole, we account for recent estimates of its period, black hole mass, mass ratio, and donor effective temperature from photometric and spectroscopic observations. We find that if MAXI J1305-704 formed via isolated binary evolution in the thick Galactic disk, then the supernova that formed its black hole imparted a natal kick of at least 70 km/s while ejecting less than $\simeq 1$ M$_\odot$ with 95% confidence assuming uninformative priors on mass loss and natal kick velocity.


title: Random traction yielding transition in epithelial tissues

abstract: We investigate how randomly oriented cell traction forces lead to fluidisation in a vertex model of epithelial tissues. We find that the fluidisation occurs at a critical value of the traction force magnitude $F_c$. We show that this transition exhibits critical behaviour, similar to the yielding transition of sheared amorphous solids. However, we find that it belongs to a different universality class, even though it satisfies the same scaling relations between critical exponents established in the yielding transition of sheared amorphous solids. Our work provides a fluidisation mechanism through active force generation that could be relevant in biological tissues.


title: Runaway electron current reconstitution after a non-axisymmetric magnetohydrodynamic flush

abstract: Benign termination of mega-ampere (MA) level runaway current has been convincingly demonstrated in recent JET and DIII-D experiments, establishing it as a leading candidate for runaway mitigation on ITER. This comes in the form of a runaway flush by parallel streaming loss along stochastic magnetic field lines formed by global magnetohydrodynamic instabilities, which are found to correlate with a low-Z injection that purges the high-Z impurities from a post-thermal-quench plasma. Here we show the competing physics that govern the post-flush reconstitution of the runaway current in a ITER-like reactor where significantly higher current is expected. The trapped ``runaways'' are found to dominate the seeding for runaway reconstitution, and the incomplete purge of high-Z impurities helps drain the seed but produces a more efficient avalanche, two of which compete to produce a 2-3~MA step in current drop before runaway reconstitution of the plasma current.


title: Privacy-preserving Deep Learning based Record Linkage

abstract: Deep learning-based linkage of records across different databases is becoming increasingly useful in data integration and mining applications to discover new insights from multiple sources of data. However, due to privacy and confidentiality concerns, organisations often are not willing or allowed to share their sensitive data with any external parties, thus making it challenging to build/train deep learning models for record linkage across different organizations' databases. To overcome this limitation, we propose the first deep learning-based multi-party privacy-preserving record linkage (PPRL) protocol that can be used to link sensitive databases held by multiple different organisations. In our approach, each database owner first trains a local deep learning model, which is then uploaded to a secure environment and securely aggregated to create a global model. The global model is then used by a linkage unit to distinguish unlabelled record pairs as matches and non-matches. We utilise differential privacy to achieve provable privacy protection against re-identification attacks. We evaluate the linkage quality and scalability of our approach using several large real-world databases, showing that it can achieve high linkage quality while providing sufficient privacy protection against existing attacks.


title: Time-aware Prompting for Text Generation

abstract: In this paper, we study the effects of incorporating timestamps, such as document creation dates, into generation systems. Two types of time-aware prompts are investigated: (1) textual prompts that encode document timestamps in natural language sentences; and (2) linear prompts that convert timestamps into continuous vectors. To explore extrapolation to future data points, we further introduce a new data-to-text generation dataset, TempWikiBio, containing more than 4 millions of chronologically ordered revisions of biographical articles from English Wikipedia, each paired with structured personal profiles. Through data-to-text generation on TempWikiBio, text-to-text generation on the content transfer dataset, and summarization on XSum, we show that linear prompts on encoder and textual prompts improve the generation quality on all datasets. Despite having less performance drop when testing on data drawn from a later time, linear prompts focus more on non-temporal information and are less sensitive to the given timestamps, according to human evaluations and sensitivity analyses. Meanwhile, textual prompts establish the association between the given timestamps and the output dates, yielding more factual temporal information in the output.


title: A Riemannian ADMM

abstract: We consider a class of Riemannian optimization problems where the objective is the sum of a smooth function and a nonsmooth function, considered in the ambient space. This class of problems finds important applications in machine learning and statistics such as the sparse principal component analysis, sparse spectral clustering, and orthogonal dictionary learning. We propose a Riemannian alternating direction method of multipliers (ADMM) to solve this class of problems. Our algorithm adopts easily computable steps in each iteration. The iteration complexity of the proposed algorithm for obtaining an $\epsilon$-stationary point is analyzed under mild assumptions. Existing ADMM for solving nonconvex problems either does not allow nonconvex constraint set, or does not allow nonsmooth objective function. In contrast, our complexity result is established for problems with simultaneous nonsmooth objective and manifold constraint. Numerical experiments are conducted to demonstrate the advantage of the proposed method.


title: Review of Gamow-Teller and Fermi Transition Strength Functions

abstract: We studied the temperature effect in isospin-singlet pairings in Gamow-Teller excitations. We use theories of a hole-particle in the mean field shell model studied decay transition using the one-particle-one-hole model for the $\beta$-decay of odd-even isotopes and the two-particle-hole models for the $\beta$-decay of even-even and/or odd-odd isotopes. Our reference isotopes for the one-particle-one-hole model are \ce{^{15}O}, \ce{^{15}N}, \ce{^{17}F}, and \ce{^{41}Sc}, whereas for the two-particle-hole model we use \ce{^{16}N} (for $\beta^-$-decay) and \ce{^{56}Ni} and \ce{^{40}Sc} (for $\beta^+$/EC). The calculations involve evaluating the matrix elements of Gamow -Teller and Fermi transitions, then calculate the reduced transition probabilities of Gamow-Teller and Fermi, from which we evaluate the half-lives and the strength function $ft$. The results are compared with the available experimental data. For one-particle-one-hole model we found there is a deviation from experimental values which indicates that the model is not valid for beta decay for the even-even nuclei in the ground state due to the residual nucleon-nucleon interaction. As for a two-particle-hole model, we calculated the transition amplitude, from which we calculated the strength of the transition $\log ft$ values. We found an excellent agreement between experimental and theoretical results. By drawing the relationship between temperature versus $\log ft$ values, we found the general trend is that the strength function values slowly decrease as temperatures increases. There are fluctuations $\log ft$ due to the strongly dependent of $\log ft$ on the shell configuration of the valence nucleons.


title: Twenty-Five Years of Advances in Beamforming: From Convex and Nonconvex Optimization to Learning Techniques

abstract: Beamforming is a signal processing technique to steer, shape, and focus an electromagnetic wave using an array of sensors toward a desired direction. It has been used in several engineering applications such as radar, sonar, acoustics, astronomy, seismology, medical imaging, and communications. With the advances in multi-antenna technologies largely for radar and communications, there has been a great interest on beamformer design mostly relying on convex/nonconvex optimization. Recently, machine learning is being leveraged for obtaining attractive solutions to more complex beamforming problems. This article captures the evolution of beamforming in the last twenty-five years from convex-to-nonconvex optimization and optimization-to-learning approaches. It provides a glimpse of this important signal processing technique into a variety of transmit-receive architectures, propagation zones, paths, and conventional/emerging applications.


title: A $k$-additive Choquet integral-based approach to approximate the SHAP values for local interpretability in machine learning

abstract: Besides accuracy, recent studies on machine learning models have been addressing the question on how the obtained results can be interpreted. Indeed, while complex machine learning models are able to provide very good results in terms of accuracy even in challenging applications, it is difficult to interpret them. Aiming at providing some interpretability for such models, one of the most famous methods, called SHAP, borrows the Shapley value concept from game theory in order to locally explain the predicted outcome of an instance of interest. As the SHAP values calculation needs previous computations on all possible coalitions of attributes, its computational cost can be very high. Therefore, a SHAP-based method called Kernel SHAP adopts an efficient strategy that approximate such values with less computational effort. In this paper, we also address local interpretability in machine learning based on Shapley values. Firstly, we provide a straightforward formulation of a SHAP-based method for local interpretability by using the Choquet integral, which leads to both Shapley values and Shapley interaction indices. Moreover, we also adopt the concept of $k$-additive games from game theory, which contributes to reduce the computational effort when estimating the SHAP values. The obtained results attest that our proposal needs less computations on coalitions of attributes to approximate the SHAP values.


title: Hardware/Software co-design with ADC-Less In-memory Computing Hardware for Spiking Neural Networks

abstract: Spiking Neural Networks (SNNs) are bio-plausible models that hold great potential for realizing energy-efficient implementations of sequential tasks on resource-constrained edge devices. However, commercial edge platforms based on standard GPUs are not optimized to deploy SNNs, resulting in high energy and latency. While analog In-Memory Computing (IMC) platforms can serve as energy-efficient inference engines, they are accursed by the immense energy, latency, and area requirements of high-precision ADCs (HP-ADC), overshadowing the benefits of in-memory computations. We propose a hardware/software co-design methodology to deploy SNNs into an ADC-Less IMC architecture using sense-amplifiers as 1-bit ADCs replacing conventional HP-ADCs and alleviating the above issues. Our proposed framework incurs minimal accuracy degradation by performing hardware-aware training and is able to scale beyond simple image classification tasks to more complex sequential regression tasks. Experiments on complex tasks of optical flow estimation and gesture recognition show that progressively increasing the hardware awareness during SNN training allows the model to adapt and learn the errors due to the non-idealities associated with ADC-Less IMC. Also, the proposed ADC-Less IMC offers significant energy and latency improvements, $2-7\times$ and $8.9-24.6\times$, respectively, depending on the SNN model and the workload, compared to HP-ADC IMC.


title: Automatic differentiation is no panacea for phylogenetic gradient computation

abstract: Gradients of probabilistic model likelihoods with respect to their parameters are essential for modern computational statistics and machine learning. These calculations are readily available for arbitrary models via automatic differentiation implemented in general-purpose machine-learning libraries such as TensorFlow and PyTorch. Although these libraries are highly optimized, it is not clear if their general-purpose nature will limit their algorithmic complexity or implementation speed for the phylogenetic case compared to phylogenetics-specific code. In this paper, we compare six gradient implementations of the phylogenetic likelihood functions, in isolation and also as part of a variational inference procedure. We find that although automatic differentiation can scale approximately linearly in tree size, it is much slower than the carefully-implemented gradient calculation for tree likelihood and ratio transformation operations. We conclude that a mixed approach combining phylogenetic libraries with machine learning libraries will provide the optimal combination of speed and model flexibility moving forward.


title: Leveraging Decision Diagrams to Solve Two-stage Stochastic Programs with Binary Recourse and Logical Linking Constraints

abstract: Two-stage stochastic programs with binary recourse are challenging to solve and efficient solution methods for such problems have been limited. In this work, we generalize an existing binary decision diagram-based (BDD-based) approach of Lozano and Smith (Math. Program., 2018) to solve a special class of two-stage stochastic programs with binary recourse. In this setting, the first-stage decisions impact the second-stage constraints. Our modified problem extends the second-stage problem to a more general setting where logical expressions of the first-stage solutions enforce constraints in the second stage. We also propose a complementary problem and solution method which can be used for many of the same applications. In the complementary problem we have second-stage costs impacted by expressions of the first-stage decisions. In both settings, we convexify the second-stage problems using BDDs and parametrize either the arc costs or capacities of these BDDs with first-stage solutions depending on the problem. We further extend this work by incorporating conditional value-at-risk and we propose, to our knowledge, the first decomposition method for two-stage stochastic programs with binary recourse and a risk measure. We apply these methods to a novel stochastic dominating set problem and present numerical results to demonstrate the effectiveness of the proposed methods.


title: Split graphs and Block Representations

abstract: In this paper, we study split graphs and related classes of graphs from the perspective of their sequence of vertex degrees and an associated lattice under majorization. Following the work of Merris in 2003, we define blocks $[\alpha(\pi)|\beta(\pi)]$, where $\pi$ is the degree sequence of a graph, and $\alpha(\pi)$ and $\beta(\pi)$ are sequences arising from $\pi$. We use the block representation $[\alpha(\pi)|\beta(\pi)]$ to characterize membership in each of the following classes: unbalanced split graphs, balanced split graphs, pseudo-split graphs, and three kinds of Nordhaus-Gaddum graphs (defined by Collins and Trenk in 2013). As in Merris' work, we form a poset under the relation majorization in which the elements are the blocks $[\alpha(\pi)|\beta(\pi)]$ representing split graphs with a fixed number of edges. We partition this poset in several interesting ways using what we call amphoras, and prove upward and downward closure results for blocks arising from different families of graphs. Finally, we show that the poset becomes a lattice when a maximum and minimum element are added, and we prove properties of the meet and join of two blocks.


title: Exploiting exotic LHC datasets for long-lived new particle searches

abstract: Motivated by the expectation that new physics may manifest itself in the form of very heavy new particles, most of the operation time of the LHC is devoted to $pp$ collisions at the highest achievable energies and collision rates. The large collision rates imply tight trigger requirements that include high thresholds on the final-state particles' transverse momenta $p_{T}$ and an intrinsic background in the form of particle pileup produced by different collisions occurring during the same bunch crossing. This strategy is potentially sub-optimal for several well-motivated new physics models where new particles are not particularly heavy and can escape the online selection criteria of the multi-purpose LHC experiments due to their light mass and small coupling. A solution may be offered by complementary datasets that are routinely collected by the LHC experiments. These include heavy ion collisions, low-pileup runs for precision physics, and the so-called 'parking' and 'scouting' datasets. While some of them are motivated by other physics goals, they all have the usage of mild $p_{T}$ thresholds at the trigger-level in common. In this study, we assess the relative merits of these datasets for a representative model whose particular clean signature features long-lived resonances yielding displaced dimuon vertices. We compare the reach across those datasets for a simple analysis, simulating LHC data in Run 2 and Run 3 conditions with the Delphes simulation. We show that the scouting and parking datasets, which afford low-$p_{T}$ trigger thresholds by only using partial detector information and delaying the event reconstruction, respectively, have a reach comparable to the standard $pp$ dataset with conventional thresholds. We also show that heavy ion and low-pileup datasets are far less competitive for this signature.


title: Rare event ABC-SMC$^{2}$

abstract: Approximate Bayesian computation (ABC) is a well-established family of Monte Carlo methods for performing approximate Bayesian inference in the case where an ``implicit'' model is used for the data: when the data model can be simulated, but the likelihood cannot easily be pointwise evaluated. A fundamental property of standard ABC approaches is that the number of Monte Carlo points required to achieve a given accuracy scales exponentially with the dimension of the data. Prangle et al. (2018) proposes a Markov chain Monte Carlo (MCMC) method that uses a rare event sequential Monte Carlo (SMC) approach to estimating the ABC likelihood that avoids this exponential scaling, and thus allows ABC to be used on higher dimensional data. This paper builds on the work of Prangle et al. (2018) by using the rare event SMC approach within an SMC algorithm, instead of within an MCMC algorithm. The new method has a similar structure to SMC$^{2}$ (Chopin et al., 2013), and requires less tuning than the MCMC approach. We demonstrate the new approach, compared to existing ABC-SMC methods, on a toy example and on a duplication-divergence random graph model used for modelling protein interaction networks.


title: The Spectrum of Schr\"odinger Operators with Randomly Perturbed Ergodic Potentials

abstract: We consider Schr\"odinger operators in $\ell^2(\mathbb{Z})$ whose potentials are given by the sum of an ergodic term and a random term of Anderson type. Under the assumption that the ergodic term is generated by a homeomorphism of a connected compact metric space and a continuous sampling function, we show that the almost sure spectrum arises in an explicitly described way from the unperturbed spectrum and the topological support of the single-site distribution. In particular, assuming that the latter is compact and contains at least two points, this explicit description of the almost sure spectrum shows that it will always be given by a finite union of non-degenerate compact intervals. The result can be viewed as a far reaching generalization of the well known formula for the spectrum of the classical Anderson model.


title: Can RBMs be trained with zero step contrastive divergence?

abstract: Restricted Boltzmann Machines (RBMs) are probabilistic generative models that can be trained by maximum likelihood in principle, but are usually trained by an approximate algorithm called Contrastive Divergence (CD) in practice. In general, a CD-k algorithm estimates an average with respect to the model distribution using a sample obtained from a k-step Markov Chain Monte Carlo Algorithm (e.g., block Gibbs sampling) starting from some initial configuration. Choices of k typically vary from 1 to 100. This technical report explores if it's possible to leverage a simple approximate sampling algorithm with a modified version of CD in order to train an RBM with k=0. As usual, the method is illustrated on MNIST.


title: Large Scale Real-World Multi-Person Tracking

abstract: This paper presents a new large scale multi-person tracking dataset -- \texttt{PersonPath22}, which is over an order of magnitude larger than currently available high quality multi-object tracking datasets such as MOT17, HiEve, and MOT20 datasets. The lack of large scale training and test data for this task has limited the community's ability to understand the performance of their tracking systems on a wide range of scenarios and conditions such as variations in person density, actions being performed, weather, and time of day. \texttt{PersonPath22} dataset was specifically sourced to provide a wide variety of these conditions and our annotations include rich meta-data such that the performance of a tracker can be evaluated along these different dimensions. The lack of training data has also limited the ability to perform end-to-end training of tracking systems. As such, the highest performing tracking systems all rely on strong detectors trained on external image datasets. We hope that the release of this dataset will enable new lines of research that take advantage of large scale video based training data.


title: Connected k-Center and k-Diameter Clustering

abstract: Motivated by an application from geodesy, we introduce a novel clustering problem which is a $k$-center (or k-diameter) problem with a side constraint. For the side constraint, we are given an undirected connectivity graph $G$ on the input points, and a clustering is now only feasible if every cluster induces a connected subgraph in $G$. We call the resulting problems the connected $k$-center problem and the connected $k$-diameter problem. We prove several results on the complexity and approximability of these problems. Our main result is an $O(\log^2{k})$-approximation algorithm for the connected $k$-center and the connected $k$-diameter problem. For Euclidean metrics and metrics with constant doubling dimension, the approximation factor of this algorithm improves to $O(1)$. We also consider the special cases that the connectivity graph is a line or a tree. For the line we give optimal polynomial-time algorithms and for the case that the connectivity graph is a tree, we either give an optimal polynomial-time algorithm or a $2$-approximation algorithm for all variants of our model. We complement our upper bounds by several lower bounds.


title: MUSTACHE: Multi-Step-Ahead Predictions for Cache Eviction

abstract: In this work, we propose MUSTACHE, a new page cache replacement algorithm whose logic is learned from observed memory access requests rather than fixed like existing policies. We formulate the page request prediction problem as a categorical time series forecasting task. Then, our method queries the learned page request forecaster to obtain the next $k$ predicted page memory references to better approximate the optimal B\'el\'ady's replacement algorithm. We implement several forecasting techniques using advanced deep learning architectures and integrate the best-performing one into an existing open-source cache simulator. Experiments run on benchmark datasets show that MUSTACHE outperforms the best page replacement heuristic (i.e., exact LRU), improving the cache hit ratio by 1.9% and reducing the number of reads/writes required to handle cache misses by 18.4% and 10.3%.


title: Zero-shot Video Moment Retrieval With Off-the-Shelf Models

abstract: For the majority of the machine learning community, the expensive nature of collecting high-quality human-annotated data and the inability to efficiently finetune very large state-of-the-art pretrained models on limited compute are major bottlenecks for building models for new tasks. We propose a zero-shot simple approach for one such task, Video Moment Retrieval (VMR), that does not perform any additional finetuning and simply repurposes off-the-shelf models trained on other tasks. Our three-step approach consists of moment proposal, moment-query matching and postprocessing, all using only off-the-shelf models. On the QVHighlights benchmark for VMR, we vastly improve performance of previous zero-shot approaches by at least 2.5x on all metrics and reduce the gap between zero-shot and state-of-the-art supervised by over 74%. Further, we also show that our zero-shot approach beats non-pretrained supervised models on the Recall metrics and comes very close on mAP metrics; and that it also performs better than the best pretrained supervised model on shorter moments. Finally, we ablate and analyze our results and propose interesting future directions.


title: Verifying RISC-V Physical Memory Protection

abstract: We formally verify an open-source hardware implementation of physical memory protection (PMP) in RISC-V, which is a standard feature used for memory isolation in security critical systems such as the Keystone trusted execution environment. PMP provides per-hardware-thread machine-mode control registers that specify the access privileges for physical memory regions. We first formalize the functional property of the PMP rules based on the RISC-V ISA manual. Then, we use the LIME tool to translate an open-source implementation of the PMP hardware module written in Chisel to the UCLID5 formal verification language. We encode the formal specification in UCLID5 and verify the functional correctness of the hardware. This is an initial effort towards verifying the Keystone framework, where the trusted computing base (TCB) relies on PMP to provide security guarantees such as integrity and confidentiality.


title: 3-Dimensional Tuning of an Atomically Defined Silicon Tunnel Junction

abstract: A requirement for quantum information processors is the in-situ tunability of the tunnel rates and the exchange interaction energy within the device. The large energy level separation for atom qubits in silicon is well suited for qubit operation but limits device tunability using in-plane gate architectures, requiring vertically separated top-gates to control tunnelling within the device. In this paper we address control of the simplest tunnelling device in Si:P, the tunnel junction. Here we demonstrate that we can tune its conductance by using a vertically separated top-gate aligned with +-5nm precision to the junction. We show that a monolithic 3D epitaxial top-gate increases the capacitive coupling by a factor of 3 compared to in-plane gates, resulting in a tunnel barrier height tunability of 0-186meV. By combining multiple gated junctions in series we extend our monolithic 3D gating technology to implement nanoscale logic circuits including AND and OR gates.


title: Branched flows of flexural elastic waves in non-uniform cylindrical shells

abstract: Propagation of elastic waves along the axis of cylindrical shells is of great current interest due to their ubiquitous presence and technological importance. Geometric imperfections and spatial variations of properties are inevitable in such structures. Here we report the existence of branched flows of flexural waves in such waveguides. The location of high amplitude motion, away from the launch location, scales as a power law with respect to the variance and linearly with respect to the correlation length of the spatial variation in the bending stiffness. These scaling laws are then theoretically derived from the ray equations. Numerical integration of the ray equations also exhibit this behaviour-consistent with finite element numerical simulations as well as the theoretically derived scaling. There appears to be a universality for the exponents in the scaling with respect to similar observations in the past for other types of waves, as well as flexural and hence dispersive waves in elastic plates.


title: A Spatially Distributed Model of Brain Metabolism Highlights the Role of Diffusion in Brain Energy Metabolism

abstract: The different active roles of neurons and astrocytes during neuronal activation are associated with the metabolic processes necessary to supply the energy needed for their respective tasks at rest and during neuronal activation. Metabolism, in turn, relies on the delivery of metabolites and removal of toxic byproducts through diffusion processes and the cerebral blood flow. A comprehensive mathematical model of brain metabolism should account not only for the biochemical processes and the interaction of neurons and astrocytes, but also the diffusion of metabolites. In the present article, we present a computational methodology based on a multidomain model of the brain tissue and a homogenization argument for the diffusion processes. In our spatially distributed compartment model, communication between compartments occur both through local transport fluxes, as is the case within local astrocyte-neuron complexes, and through diffusion of some substances in some of the compartments. The model assumes that diffusion takes place in the extracellular space (ECS) and in the astrocyte compartment. In the astrocyte compartment, the diffusion across the syncytium network is implemented as a function of gap junction strength. The diffusion process is implemented numerically by means of a finite element method (FEM) based spatial discretization, and robust stiff solvers are used to time integrate the resulting large system. Computed experiments show the effects of ECS tortuosity, gap junction strength and spatial anisotropy in the astrocyte network on the brain energy metabolism.


title: Photoacoustic characterization of TiO2 thin-films deposited on Silicon substrate using neural networks

abstract: In this paper, the possibility of determining the thermal, elastic and geometric characteristics of a thin TiO2 film deposited on a silicon substrate, thickness 30 mikrons, in the frequency range of 20 to 20 kHz with neural networks was analyzed. For this purpose, the substrate parameters remained the known and constant in the two-layer model and nano layer thin-film parameters were changed: thickness, expansion and thermal diffusivity. Prediction of these three parameters was analyzed separately with three neural networks and all of these together by fourth neural network. It was shown that neural network, which analyzed all three parameters at the same time, achieved the highest accuracy, so the use of networks that provide predictions for only one parameter is less reliable.


title: Divide-and-conquer embedding for QUBO quantum annealing

abstract: Quantum annealing promises to be an effective heuristic for complex NP-hard problems. However, clear demonstrations of quantum advantage are wanting, primarily constrained by the difficulty of embedding the problem into the quantum hardware. Community detection methods such as the Girvin--Newman algorithm can provide a divide-and-conquer approach to large problems. Here, we propose a problem-focused division for embedding, deliberately worsening typical measures of embedding quality to improve the partial solutions we obtain. We apply this approach first to the highly irregular graph of an integer factorisation problem and, passing this initial test, move on to consider more regular geometrically frustrated systems. Our results show that a problem-focused approach to embedding can improve performance by orders of magnitude.