title: Gliding down the QCD transition line, from $N_f=2$ till the onset of conformality

abstract: We review the hot QCD transition with varying number of flavors, from two till the onset of the conformal window. We discuss the universality class for $N_f=2$, along the critical line for two massless light flavors, and a third flavor whose mass serves as an interpolator between $N_f = 2$ and $N_f=3$. We identify a possible scaling window for the 3D $O(4)$ universality class transition, and its crossover to a mean field behaviour. We follow the transition from $N_f=3$ to larger $N_f$, when it remains of first order, with an increasing coupling strength; we summarize its known properties, including possible cosmological applications as a model for a strong electroweak transition. The first order transition, and its accompanying second order endpoint, finally morphs into the essential singularity at the onset of the conformal window, following the singular behaviour predicted by the Functional Renormalization Group.


title: An Approach to Inference-Driven Dialogue Management within a Social Chatbot

abstract: We present a chatbot implementing a novel dialogue management approach based on logical inference. Instead of framing conversation a sequence of response generation tasks, we model conversation as a collaborative inference process in which speakers share information to synthesize new knowledge in real time. Our chatbot pipeline accomplishes this modelling in three broad stages. The first stage translates user utterances into a symbolic predicate representation. The second stage then uses this structured representation in conjunction with a larger knowledge base to synthesize new predicates using efficient graph matching. In the third and final stage, our bot selects a small subset of predicates and translates them into an English response. This approach lends itself to understanding latent semantics of user inputs, flexible initiative taking, and responses that are novel and coherent with the dialogue context.


title: Spontaneous emission rate and the density of states inside a one dimensional photonic crystal

abstract: Different densities of electromagnetic states inside a one dimensional photonic crystal (1D PC) are studied. Hertz vector formalism is used to calculate Green tensor inside a layered structure, semi-analytically. Based on the obtained Green tensor, the local density of electromagnetic states (LDOS) and the density of states (DOS) inside a 1D PC are calculated and discussed. The Green tensor is also used to approximate the density of Bloch states inside the 1D PC and is compared with its exact calculation based on the 1D PC dispersion relations. Using a practical 1D PC parameters in the visible range, the aforementioned quantities are calculated and verified with a full-wave solver based on finite element method (FEM). The formulations and the results are aimed to be helpful in thermal and spontaneous radiation studies.


title: What Went Wrong? Explaining Overall Dialogue Quality through Utterance-Level Impacts

abstract: Improving user experience of a dialogue system often requires intensive developer effort to read conversation logs, run statistical analyses, and intuit the relative importance of system shortcomings. This paper presents a novel approach to automated analysis of conversation logs that learns the relationship between user-system interactions and overall dialogue quality. Unlike prior work on utterance-level quality prediction, our approach learns the impact of each interaction from the overall user rating without utterance-level annotation, allowing resultant model conclusions to be derived on the basis of empirical evidence and at low cost. Our model identifies interactions that have a strong correlation with the overall dialogue quality in a chatbot setting. Experiments show that the automated analysis from our model agrees with expert judgments, making this work the first to show that such weakly-supervised learning of utterance-level quality prediction is highly achievable.


title: Undecidability in First-Order Theories of Term Algebras Extended with a Substitution Operator

abstract: We introduce a first-order theory of finite full binary trees and then identify decidable and undecidable fragments of this theory. We show that the analogue of Hilbert`s 10th Problem is undecidable by constructing a many-to-one reduction of Post`s Correspondence Problem. By a different method, we show that deciding truth of sentences with one existential quantifier and one bounded universal quantifier is undecidable.


title: Generative learning for the problem of critical slowing down in lattice Gross Neveu model

abstract: In lattice field theory, Monte Carlo simulation algorithms get highly affected by critical slowing down in the critical region, where autocorrelation time increases rapidly. Hence the cost of generation of lattice configurations near the critical region increases sharply. In this paper, we use a Conditional Generative Adversarial Network (C-GAN) for sampling lattice configurations. We train the C-GAN on the dataset consisting of Hybrid Monte Carlo (HMC) samples in regions away from the critical region, i.e., in the regions where the HMC simulation cost is not so high. Then we use the trained C-GAN model to generate independent samples in the critical region. Thus, the overall computational cost is reduced. We test our approach for Gross-Neveu model in 1+1 dimension. We find that the observable distributions obtained from the proposed C-GAN model match with those obtained from HMC simulations, while circumventing the problem of critical slowing down.


title: On the Symmetric Difference Property in Difference Sets under Product Construction

abstract: A $(v, k, \lambda)$ symmetric design is said to have the symmetric difference property (SDP) if the symmetric difference of any three blocks is either a block or the complement of a block. Symmetric designs fulfilling this property have the nice property of having minimal rank, which makes them interesting to study. Thus, SDP designs become useful in coding theory applications. We show in this paper that difference sets formed by direct product construction of difference sets whose developments have the SDP also have the SDP. We also establish a few results regarding isomorphisms in product constructed SDP designs.


title: Wafer-scale, full-coverage, acoustic self-limiting assembly of particles on flexible substrates

abstract: Self-limiting assembly of particles represents the state-of-the-art controllability in nanomanufacturing processes where the assembly stops at a designated stage1,2, providing a desirable platform for applications requiring delicate thickness control3-5. Most successes in self-limiting assembly are limited to self-assembled monolayers (SAM) of small molecules on inorganic, chemically homogeneous rigid substrates (e.g., Au and SiO2) through surface-interaction mechanisms6,7. Similar mechanisms, however, cannot achieve uniform assembly of particles on flexible polymer substrates8,9. The complex configurations and conformations of polymer chains create a surface with non-uniform distributions of chemical groups and phases. In addition, most assembly mechanisms require good solvent wettability, where many desirable but hard-to-wet particles and polymer substrates are excluded. Here, we demonstrate an acoustic self-limiting assembly of particles (ASAP) method to achieve wafer-scale, full-coverage, close-packed monolayers of hydrophobic particles on hydrophobic polymer substrates in aqueous solutions. We envision many applications in functional coatings and showcase its feasibility in structural coloration.


title: Nuclear modification factors of strange mesons measured by PHENIX

abstract: The question of the existence and properties of the quark-gluon plasma (QGP) nowadays are the subject of detailed systematic study. Particles that contain strange quarks can be considered as a great tool to study flavor dependence of the parton energy loss in the QGP and strangeness enhancement. In this paper, we present the most recent PHENIX results on nuclear modification factors of $K^{\pm}$, $K^{*0}$, $\phi$ mesons as a function of $p_T$ and the number of participants in $p$+$p$, $p$+Al, $^3$He+Au, Cu+Cu, Cu+Au, Au+Au, and U+U collisions at top RHIC energies. The light hadron production at high-$p_T$ is apparently independent on quark content. The coalescence mechanism might be an answer for strangeness and baryon enhancement at moderate $p_T$.


title: Estimating the Parameters of Extended Gravity Theories with the Schwarzschild Precession of S2 Star

abstract: After giving a short overview of previous results on constraining of Extended Gravity (EG) by stellar orbits, we discuss the Schwarzschild orbital precession of S2 star assuming the congruence with predictions of General Relativity (GR). At the moment, the S2 star trajectory is remarkably fitted with the first post-Newtonian (pN) approximation of GR. In particular, both Keck and VLT (GRAVITY) teams declared that the gravitational redshift near its pericenter passage for the S2 star orbit corresponds to theoretical estimates found with the first pN approximation. In 2020, the GRAVITY Collaboration detected the orbital precession of the S2 star around the supermassive black hole (SMBH) at the Galactic Center (GC) and showed that it is close to the GR prediction. Based on this observational fact, we evaluated parameters of the EG theories with the Schwarzschild precession of the S2 star. Using the mentioned method, we estimate the orbital precession angles for some EG models including power-law f(R), general Yukawa-like corrections, scalar-tensor gravity (STG), and non-local gravity (NLG) theories formulated in both metric and Palatini formalism. In this consideration we assume that a gravitational field is spherically symmetric, therefore, alternative theories of gravity could be described only with a few parameters. Specifically, considering the orbital precession, we estimate the range of parameters of these EG models for which the orbital precession is like in GR. We then compare these results with our previous results, which were obtained by fitting the simulated orbits of S2 star to its observed astrometric positions. In case of power-law f(R), generic Yukawa-like correction, STG and NLG theories, we were able to obtain a prograde orbital precession, like in GR. According to these results, the method is a useful tool to evaluate parameters of the gravitational potential at the GC.


title: RRFT: A Rank-Based Resource Aware Fault Tolerant Strategy for Cloud Platforms

abstract: The applications that are deployed in the cloud to provide services to the users encompass a large number of interconnected dependent cloud components. Multiple identical components are scheduled to run concurrently in order to handle unexpected failures and provide uninterrupted service to the end user, which introduces resource overhead problem for the cloud service provider. Furthermore such resource-intensive fault tolerant strategies bring extra monetary overhead to the cloud service provider and eventually to the cloud users. In order to address these issues, a novel fault tolerant strategy based on the significance level of each component is developed. The communication topology among the application components, their historical performance, failure rate, failure impact on other components, dependencies among them, etc., are used to rank those application components to further decide on the importance of one component over others. Based on the rank, a Markov Decision Process (MDP) model is presented to determine the number of replicas that varies from one component to another. A rigorous performance evaluation is carried out using some of the most common practically useful metrics such as, recovery time upon a fault, average number of components needed, number of parallel components successfully executed, etc., to quote a few, with similar component ranking and fault tolerant strategies. Simulation results demonstrate that the proposed algorithm reduces the required number of virtual and physical machines by approximately 10% and 4.2%, respectively, compared to other similar algorithms.


title: Text Classification for Task-based Source Code Related Questions

abstract: There is a key demand to automatically generate code for small tasks for developers. Websites such as StackOverflow provide a simplistic way by offering solutions in small snippets which provide a complete answer to whatever task question the developer wants to code. Natural Language Processing and particularly Question-Answering Systems are very helpful in resolving and working on these tasks. In this paper, we develop a two-fold deep learning model: Seq2Seq and a binary classifier that takes in the intent (which is in natural language) and code snippets in Python. We train both the intent and the code utterances in the Seq2Seq model, where we decided to compare the effect of the hidden layer embedding from the encoder for representing the intent and similarly, using the decoder's hidden layer embeddings for the code sequence. Then we combine both these embeddings and then train a simple binary neural network classifier model for predicting if the intent is correctly answered by the predicted code sequence from the seq2seq model. We find that the hidden state layer's embeddings perform slightly better than regular standard embeddings from a constructed vocabulary. We experimented with our tests on the CoNaLa dataset in addition to the StaQC database consisting of simple task-code snippet-based pairs. We empirically establish that using additional pre-trained embeddings for code snippets in Python is less context-based in comparison to using hidden state context vectors from seq2seq models.


title: Phase-type mixture-of-experts regression for loss severities

abstract: The task of modeling claim severities is addressed when data is not consistent with the classical regression assumptions. This framework is common in several lines of business within insurance and reinsurance, where catastrophic losses or heterogeneous sub-populations result in data difficult to model. Their correct analysis is required for pricing insurance products, and some of the most prevalent recent specifications in this direction are mixture-of-experts models. This paper proposes a regression model that generalizes the latter approach to the phase-type distribution setting. More specifically, the concept of mixing is extended to the case where an entire Markov jump process is unobserved and where states can communicate with each other. The covariates then act on the initial probabilities of such underlying chain, which play the role of expert weights. The basic properties of such a model are computed in terms of matrix functionals, and denseness properties are derived, demonstrating their flexibility. An effective estimation procedure is proposed, based on the EM algorithm and multinomial logistic regression, and subsequently illustrated using simulated and real-world datasets. The increased flexibility of the proposed models does not come at a high computational cost, and the motivation and interpretation are equally transparent to simpler MoE models.


title: Data Breaches in Healthcare Security Systems

abstract: Providing security to Health Information is considered to be the topmost priority when compared to any other field. After the digitalization of the patient's records in the medical field, the healthcare/medical field has become a victim of several internal and external cyberattacks. Data breaches in the healthcare industry have been increasing rapidly. Despite having security standards such as HIPAA (Health Insurance Portability and Accountability Act), data breaches still happen on a daily basis. All various types of data breaches have the same harmful impact on healthcare data, especially on patients' privacy. The main objective of this paper is to analyze why healthcare data breaches occur and what is the impact of these breaches. The paper also presents the possible improvements that can be made in the current standards, such as HIPAA, to increase security in the healthcare field.


title: Role of Thermal and Non-thermal Processes in the ISM of Magellanic Clouds

abstract: The radio continuum emission is a dust-unbiased tracer of both the thermal and non-thermal processes in the interstellar medium. We present new maps of the free-free and synchrotron emission in the Magellanic Clouds (MCs) at 0.166, 1.4, and 4.8GHz with no prior assumption about the radio non-thermal spectrum. The maps were constructed using a de-reddened H$\alpha$ map as a template for the thermal radio emission, which we subtract from maps of the total radio continuum emission. To de-redden the H$\alpha$ emission, it is important to know the fraction of dust surface density that attenuates the H$\alpha$ emission along the line-of-sight, $f_\text{d}$. This fraction is obtained by comparing the dust opacity obtained through the infrared emission spectrum and the Balmer decrement method. In star-forming regions, the median $f_\text{d}$ is about 0.1 which is by a factor of 3 lower than that in diffuse regions. We obtain a global thermal radio fraction, $f_\text{th}$, of 30 per cent (35 per cent) in the LMC (SMC) at 1.4GHz. Furthermore, we present maps of the equipartition magnetic field strength with average values of $\simeq10.1\mu$G in the LMC and $\simeq\,5.5\,\mu$G in the SMC. The magnetic field is proportional to the star formation rate to a power of 0.24 and 0.20 for the LMC and SMC, respectively. This study shows that the non-thermal processes control the interstellar medium in the MCs.


title: Large eddy simulation of flow in porous media: Analysis of the commutation error of the double-averaged equations

abstract: The continuum approach employing porous media models is a robust and efficient solution method in the area of the simulation of fixed-bed reactors. This paper applies the double-averaging methodology to refine the continuum approach, opening a way to alleviate its main limitations: space-invariant averaging volume and inaccurate treatment of the porous/fluid interface. The averaging operator is recast as a general space-time filter allowing for the analysis of commutation errors in a classic large eddy simulation (LES) formalism. An explicit filtering framework has been implemented to carry out an a posteriori evaluation of the unclosed terms appearing in the double-averaged Navier-Stokes (DANS) equations, also considering a space-varying filter width. Two resolved simulations have been performed. First, the flow around a single, stationary particle has been used to validate derived equations and the filtering procedure. Second, an LES of the turbulent flow in a channel partly occupied with a porous medium has been realized and filtered. The commutation error at the porous-fluid interface has been evaluated and compared to the prediction of two models. The significance of the commutation error terms is also discussed and assessed. Finally, the solver for DANS equations has been developed and used to simulate both of the studied geometries. The magnitude of the error associated with neglecting the commutation errors has been investigated, and an LES simulation combined with a porous drag model was performed. Very encouraging results have been obtained indicating that the inaccuracy of the drag closure overshadows the error related to the commutation of operators.


title: JEDAI: A System for Skill-Aligned Explainable Robot Planning

abstract: This paper presents JEDAI, an AI system designed for outreach and educational efforts aimed at non-AI experts. JEDAI features a novel synthesis of research ideas from integrated task and motion planning and explainable AI. JEDAI helps users create high-level, intuitive plans while ensuring that they will be executable by the robot. It also provides users customized explanations about errors and helps improve their understanding of AI planning as well as the limits and capabilities of the underlying robot system.


title: Thermally induced all-optical ferromagnetic resonance in thin YIG films

abstract: All-optical ferromagnetic resonance (AO-FMR) is a powerful tool for local detection of micromagnetic parameters, such as magnetic anisotropy, Gilbert damping or spin stiffness. In this work we demonstrate that the AO-FMR method can be used in thin films of Yttrium Iron Garnet (YIG) if a metallic capping layer (Au, Pt) is deposited on top of the film. Magnetization precession is triggered by heating of the metallic layer with femtosecond laser pulses. The heating modifies the magneto-crystalline anisotropy of the YIG film and shifts the quasi-equilibrium orientation of magnetization, which results in precessional magnetization dynamics. The laser-induced magnetization precession corresponds to a uniform (Kittel) magnon mode, with the precession frequency determined by the magnetic anisotropy of the material as well as the external magnetic field, and the damping time set by a Gilbert damping parameter. The AO-FMR method thus enables measuring local magnetic properties, with spatial resolution given only by the laser spot size.


title: A Tensor SVD-based Classification Algorithm Applied to fMRI Data

abstract: To analyze the abundance of multidimensional data, tensor-based frameworks have been developed. Traditionally, the matrix singular value decomposition (SVD) is used to extract the most dominant features from a matrix containing the vectorized data. While the SVD is highly useful for data that can be appropriately represented as a matrix, this step of vectorization causes us to lose the high-dimensional relationships intrinsic to the data. To facilitate efficient multidimensional feature extraction, we utilize a projection-based classification algorithm using the t-SVDM, a tensor analog of the matrix SVD. Our work extends the t-SVDM framework and the classification algorithm, both initially proposed for tensors of order 3, to any number of dimensions. We then apply this algorithm to a classification task using the StarPlus fMRI dataset. Our numerical experiments demonstrate that there exists a superior tensor-based approach to fMRI classification than the best possible equivalent matrix-based approach. Our results illustrate the advantages of our chosen tensor framework, provide insight into beneficial choices of parameters, and could be further developed for classification of more complex imaging data. We provide our Python implementation at https://github.com/elizabethnewman/tensor-fmri.


title: A Graphical Framework for the Category-Based Metamodel for Access Control and Obligations

abstract: We design a graph-based framework for the visualisation and analysis of obligations in access control policies. We consider obligation policies in CBACO, the category-based access control model, which has been shown to subsume many of the most well known access control such as MAC, DAC, RBAC. CBACO is an extension of the CBAC metamodel that deals with obligations. We describe the implementation of the proposed model in PORGY, a strategy driven graph-rewriting tool, based on the theory of port-graphs. CBACO policies allow for dynamic behavior in the modelled systems, which is implemented using the strategy language of PORGY.


title: Electromagnetic vortex beam dynamics in degenerate electron-positron astrophysical plasmas

abstract: For degenerate astrophysical electron-positron plasmas we have considered dynamics of electromagnetic beams carrying angular momentum. It is found for arbitrary level of degeneracy such a beam having the power exceeding a certain critical value breaks up into many filaments, eventually leading to the formation of stable spatial solitons keeping zero field in the center of the structure.


title: Laplacian Constrained Precision Matrix Estimation: Existence and High Dimensional Consistency

abstract: This paper considers the problem of estimating high dimensional Laplacian constrained precision matrices by minimizing Stein's loss. We obtain a necessary and sufficient condition for existence of this estimator, that consists on checking whether a certain data dependent graph is connected. We also prove consistency in the high dimensional setting under the symmetrized Stein loss. We show that the error rate does not depend on the graph sparsity, or other type of structure, and that Laplacian constraints are sufficient for high dimensional consistency. Our proofs exploit properties of graph Laplacians, the matrix tree theorem, and a characterization of the proposed estimator based on effective graph resistances. We validate our theoretical claims with numerical experiments.


title: Stochastic behaviour of an interface-based memristive device

abstract: A large number of simulation models have been proposed over the years to mimic the electrical behaviour of memristive devices. The models are based either on sophisticated mathematical formulations that do not account for physical and chemical processes responsible for the actual switching dynamics or on multi-physical spatially resolved approaches that include the inherent stochastic behaviour of real-world memristive devices but are computationally very expensive. In contrast to the available models, we present a computationally inexpensive and robust spatially 1D model for simulating interface-type memristive devices. The model efficiently incorporates the stochastic behaviour observed in experiments and can be easily transferred to circuit simulation frameworks. The ion transport, responsible for the resistive switching behaviour, is modelled using the kinetic Cloud-In-a-Cell scheme. The calculated current-voltage characteristics obtained using the proposed model show excellent agreement with the experimental findings.


title: Unsupervised Learning to Subphenotype Delirium Patients from Electronic Health Records

abstract: Delirium is a common acute onset brain dysfunction in the emergency setting and is associated with higher mortality. It is difficult to detect and monitor since its presentations and risk factors can be different depending on the underlying medical condition of patients. In our study, we aimed to identify subtypes within the delirium population and build subgroup-specific predictive models to detect delirium using Medical Information Mart for Intensive Care IV (MIMIC-IV) data. We showed that clusters exist within the delirium population. Differences in feature importance were also observed for subgroup-specific predictive models. Our work could recalibrate existing delirium prediction models for each delirium subgroup and improve the precision of delirium detection and monitoring for ICU or emergency department patients who had highly heterogeneous medical conditions.


title: Approximate Solutions to Second-Order Parabolic Equations: evolution systems and discretization

abstract: We study the discretization of a linear evolution partial differential equation when its Green function is known. We provide error estimates both for the spatial approximation and for the time stepping approximation. We show that, in fact, an approximation of the Green function is almost as good as the Green function itself. For suitable time-dependent parabolic equations, we explain how to obtain good, explicit approximations of the Green function using the Dyson-Taylor commutator method (DTCM) that we developed in J. Math. Phys. (2010). This approximation for short time, when combined with a bootstrap argument, gives an approximate solution on any fixed time interval within any prescribed tolerance.


title: Bioremediation of Contaminated Soil with Crude Oil Using Consortium of bacteria

abstract: This study included isolate petroleum hydrocarbons degradable bacteria and develops a consortium or a mixture of bacteria with high biodegradation capabilities which can be used in biological treatment units of the contaminated soils before release. In this studyt ten bacterial strains were isolated from soils contaminated with crude oil, by primary and secondary screening, and by using the sterile saline solution with 1% of crude oil, five bacterial isolates that can degrade oil were identified. The bacterial isolates were isolated from polluted soils with crude oil, the samples were collected from different areas of the Baiji refinery, and samples of heavy crude oil extracted from Qayyarah fields were used in designing the biodegradation experiments, the five isolates were diagnosed based on phenotypic, culture and biochemical characterizes, and detection of the gene sequence of bacterial isolates (16SrRNA). The (16SrRNA) gene sequence of the bacterial isolates was recorded under the accession numbers LC596402, LC596403, LC596406, LC596404, LC596405, for the genus (AM-I-1, AM-I-2, AM-I-5) and the species (AM-I-3, AM-I-4) that following Bacillus Sp respectively, in the NCBI's GenBank, the efficiency of the five isolates were examined for utilizing petroleum hydrocarbons using a sterile mineral salt medium MS supplemented with crude oil as the sole source of carbon with different concentrations, the results showed that the decomposition of petroleum hydrocarbons at the concentrations (0.5, 1, 1.5, 2, 3) % reached (57.32, 69.36,63.71, 75.20, 68.60) %, respectively, for mixed isolates, depending on the results of the gas chromatography (GC) analysis.


title: TorchXRayVision: A library of chest X-ray datasets and models

abstract: TorchXRayVision is an open source software library for working with chest X-ray datasets and deep learning models. It provides a common interface and common pre-processing chain for a wide set of publicly available chest X-ray datasets. In addition, a number of classification and representation learning models with different architectures, trained on different data combinations, are available through the library to serve as baselines or feature extractors.


title: Deformed liquid marble formation: Experiments and computational modeling

abstract: The formation of deformed liquid marbles via impact of drops onto powder beds is analysed using experimental and computational modelling approaches. Experimentally, particular attention is paid to determining a relationship between the maximum contact area of the spreading drops, which determines how much powder the drop's surface is able to harvest, and the drop's surface area when the powder (potentially) encapsulates and then immobilises (`freezes') the surface of the drop to form a liquid marble. Comparisons between impacts on powder beds to those on rigid and impermeable superhydrophobic substrates show good agreement for a range of parameters and motivate the development of the first mathematical model for the process of liquid marble formation via drop impact. The model utilises experimentally-determined functions to capture encapsulation and freezing thresholds and accounts for the powder's influence on the drop via a surface viscous mechanism. Simulations in the volume-of-fluid framework qualitatively recover many features of the experiments and highlight physical effects that should be incorporated into future analyses.


title: Reduced Order Model Predictive Control for Parametrized Parabolic Partial Differential Equations

abstract: Model Predictive Control (MPC) is a well-established approach to solve infinite horizon optimal control problems. Since optimization over an infinite time horizon is generally infeasible, MPC determines a suboptimal feedback control by repeatedly solving finite time optimal control problems. Although MPC has been successfully used in many applications, applying MPC to large-scale systems -- arising, e.g., through discretization of partial differential equations -- requires the solution of high-dimensional optimal control problems and thus poses immense computational effort. We consider systems governed by parametrized parabolic partial differential equations and employ the reduced basis (RB) method as a low-dimensional surrogate model for the finite time optimal control problem. The reduced order optimal control serves as feedback control for the original large-scale system. We analyze the proposed RB-MPC approach by first developing a posteriori error bounds for the errors in the optimal control and associated cost functional. These bounds can be evaluated efficiently in an offline-online computational procedure and allow us to guarantee asymptotic stability of the closed-loop system using the RB-MPC approach in several practical scenarios. We also propose an adaptive strategy to choose the prediction horizon of the finite time optimal control problem. Numerical results are presented to illustrate the theoretical properties of our approach.


title: The 5th Recognizing Families in the Wild Data Challenge: Predicting Kinship from Faces

abstract: Recognizing Families In the Wild (RFIW), held as a data challenge in conjunction with the 16th IEEE International Conference on Automatic Face and Gesture Recognition (FG), is a large-scale, multi-track visual kinship recognition evaluation. For the fifth edition of RFIW, we continue to attract scholars, bring together professionals, publish new work, and discuss prospects. In this paper, we summarize submissions for the three tasks of this year's RFIW: specifically, we review the results for kinship verification, tri-subject verification, and family member search and retrieval. We look at the RFIW problem, share current efforts, and make recommendations for promising future directions.


title: Bayesian optimization of distributed neurodynamical controller models for spatial navigation

abstract: Dynamical systems models for controlling multi-agent swarms have demonstrated advances toward resilient, decentralized navigation algorithms. We previously introduced the NeuroSwarms controller, in which agent-based interactions were modeled by analogy to neuronal network interactions, including attractor dynamics and phase synchrony, that have been theorized to operate within hippocampal place-cell circuits in navigating rodents. This complexity precludes linear analyses of stability, controllability, and performance typically used to study conventional swarm models. Further, tuning dynamical controllers by hand or grid search is often inadequate due to the complexity of objectives, dimensionality of model parameters, and computational costs of simulation-based sampling. Here, we present a framework for tuning dynamical controller models of autonomous multi-agent systems based on Bayesian Optimization (BayesOpt). Our approach utilizes a task-dependent objective function to train Gaussian Processes (GPs) as surrogate models to achieve adaptive and efficient exploration of a dynamical controller model's parameter space. We demonstrate this approach by studying an objective function selecting for NeuroSwarms behaviors that cooperatively localize and capture spatially distributed rewards under time pressure. We generalized task performance across environments by combining scores for simulations in distinct geometries. To validate search performance, we compared high-dimensional clustering for high- vs. low-likelihood parameter points by visualizing sample trajectories in Uniform Manifold Approximation and Projection (UMAP) embeddings. Our findings show that adaptive, sample-efficient evaluation of the self-organizing behavioral capacities of complex systems, including dynamical swarm controllers, can accelerate the translation of neuroscientific theory to applied domains.


title: Minimum Description Length Recurrent Neural Networks

abstract: We train neural networks to optimize a Minimum Description Length score, i.e., to balance between the complexity of the network and its accuracy at a task. We show that networks optimizing this objective function master tasks involving memory challenges and go beyond context-free languages. These learners master languages such as $a^nb^n$, $a^nb^nc^n$, $a^nb^{2n}$, $a^nb^mc^{n+m}$, and they perform addition. Moreover, they often do so with 100% accuracy. The networks are small, and their inner workings are transparent. We thus provide formal proofs that their perfect accuracy holds not only on a given test set, but for any input sequence. To our knowledge, no other connectionist model has been shown to capture the underlying grammars for these languages in full generality.


title: Explainable Artificial Intelligence for Smart City Application: A Secure and Trusted Platform

abstract: Artificial Intelligence (AI) is one of the disruptive technologies that is shaping the future. It has growing applications for data-driven decisions in major smart city solutions, including transportation, education, healthcare, public governance, and power systems. At the same time, it is gaining popularity in protecting critical cyber infrastructure from cyber threats, attacks, damages, or unauthorized access. However, one of the significant issues of those traditional AI technologies (e.g., deep learning) is that the rapid progress in complexity and sophistication propelled and turned out to be uninterpretable black boxes. On many occasions, it is very challenging to understand the decision and bias to control and trust systems' unexpected or seemingly unpredictable outputs. It is acknowledged that the loss of control over interpretability of decision-making becomes a critical issue for many data-driven automated applications. But how may it affect the system's security and trustworthiness? This chapter conducts a comprehensive study of machine learning applications in cybersecurity to indicate the need for explainability to address this question. While doing that, this chapter first discusses the black-box problems of AI technologies for Cybersecurity applications in smart city-based solutions. Later, considering the new technological paradigm, Explainable Artificial Intelligence (XAI), this chapter discusses the transition from black-box to white-box. This chapter also discusses the transition requirements concerning the interpretability, transparency, understandability, and Explainability of AI-based technologies in applying different autonomous systems in smart cities. Finally, it has presented some commercial XAI platforms that offer explainability over traditional AI technologies before presenting future challenges and opportunities.


title: On the Optimal Time/Space Tradeoff for Hash Tables

abstract: For nearly six decades, the central open question in the study of hash tables has been to determine the optimal achievable tradeoff curve between time and space. State-of-the-art hash tables offer the following guarantee: If keys/values are Theta(log n) bits each, then it is possible to achieve constant-time insertions/deletions/queries while wasting only O(loglog n) bits of space per key when compared to the information-theoretic optimum. Even prior to this bound being achieved, the target of O(loglog n) wasted bits per key was known to be a natural end goal, and was proven to be optimal for a number of closely related problems (e.g., stable hashing, dynamic retrieval, and dynamically-resized filters). This paper shows that O(loglog n) wasted bits per key is not the end of the line for hashing. In fact, for any k \in [log* n], it is possible to achieve O(k)-time insertions/deletions, O(1)-time queries, and O(\log^{(k)} n) wasted bits per key (all with high probability in n). This means that, each time we increase insertion/deletion time by an \emph{additive constant}, we reduce the wasted bits per key \emph{exponentially}. We further show that this tradeoff curve is the best achievable by any of a large class of hash tables, including any hash table designed using the current framework for making constant-time hash tables succinct.


title: Optimization of a Millimeter-Wave UAV-to-Ground Network in Urban Deployments

abstract: An urban tactical wireless network is considered wherein the base stations are situated on unmanned aerial vehicles (UAVs) that provide connectivity to ground assets such as vehicles located on city streets. The UAVs are assumed to be randomly deployed at a fixed height according to a two-dimensional point process. Millimeter-wave (mmWave) frequencies are used to avail of large available bandwidths and spatial isolation due to beamforming. In urban environments, mmWave signals are prone to blocking of the line-of-sight (LoS) by buildings. While reflections are possible, the desire for consistent connectivity places a strong preference on the existence of an unblocked LoS path. As such, the key performance metric considered in this paper is the connectivity probability, which is the probability of an unblocked LoS path to at least one UAV within some maximum transmission distance. By leveraging tools from stochastic geometry, the connectivity probability is characterized as a function of the city type (e.g., urban, dense urban, suburban), density of UAVs (average number of UAVs per square km), and height of the UAVs. The city streets are modeled as a Manhattan Poisson Line Process (MPLP) and the building heights are randomly distributed. The analysis first finds the connectivity probability conditioned on a particular network realization (location of the UAVs) and then removes the conditioning to uncover the distribution of the connectivity; i.e., the fraction of network realizations that will fail to meet an outage threshold. While related work has applied an MPLP to networks with a single UAV, the contributions of this paper are that it (1) considers networks of multiple UAVs, (2) characterizes the performance by a connectivity distribution, and (3) identifies the optimal altitude for the UAVs.


title: Graph Embedding with Hierarchical Attentive Membership

abstract: The exploitation of graph structures is the key to effectively learning representations of nodes that preserve useful information in graphs. A remarkable property of graph is that a latent hierarchical grouping of nodes exists in a global perspective, where each node manifests its membership to a specific group based on the context composed by its neighboring nodes. Most prior works ignore such latent groups and nodes' membership to different groups, not to mention the hierarchy, when modeling the neighborhood structure. Thus, they fall short of delivering a comprehensive understanding of the nodes under different contexts in a graph. In this paper, we propose a novel hierarchical attentive membership model for graph embedding, where the latent memberships for each node are dynamically discovered based on its neighboring context. Both group-level and individual-level attentions are performed when aggregating neighboring states to generate node embeddings. We introduce structural constraints to explicitly regularize the inferred memberships of each node, such that a well-defined hierarchical grouping structure is captured. The proposed model outperformed a set of state-of-the-art graph embedding solutions on node classification and link prediction tasks in a variety of graphs including citation networks and social networks. Qualitative evaluations visualize the learned node embeddings along with the inferred memberships, which proved the concept of membership hierarchy and enables explainable embedding learning in graphs.


title: Effects of the symmetries and related orders to the thermalization of many-body localized system

abstract: In this paper, we discuss the effects of the symmetries and related topological orders to the thermalization of many-body localized system. We consider the one-dimensional fermion chain system with open (or periodic) boundary condition, whose boundaries are characterized by Sachdev-Ye-Kitaev (SYK) intercation. Just like in the SYK model and the tendor models, there are many-body quantum chaos in out-of-time-ordered correlation when the system is being thermalized by the interactions (usually nonuniform and being randomly distributed), and satisfies the eigenstate thermalization hypothesis (ETH). While the continuous or discrete symmetries usually protect the related topological orders against the thermalization, which may lead to the localization of quantum states and generate large degeneracy. We discuss these effects in terms of the fermionic or spin languages. In many-body localized phase, a large number of degenerate ETH-violated states can be found in both the frustration-free AKLT model or the integrable biquadratic (Wishart) SYK model. The quantum scars appear when such degenerate states are embeded into an ETH-satisfying spectrum of the Hilbert space enlarged by a much larger number of bosonic flavors (e.g., SU(M) multiplets degeneracy). Usually, the emergence of quantum chaos require large limits of boson flavor M and the number of coupled (undegenerate) states (N; which related to Z N symmetry). Further, the boson (or excitations) flavor number M can often to related to the fermion number N through the duality transformations, in which case the Z M symmetry is possible to generted by SU(M) model and leads to asymptotic degeneracy in large-M limit.


title: A posteriori error analysis for a space-time parallel discretization of parabolic partial differential equations

abstract: We construct a space-time parallel method for solving parabolic partial differential equations by coupling the Parareal algorithm in time with overlapping domain decomposition in space. The goal is to obtain a discretization consisting of "local" problems that can be solved on parallel computers efficiently. However, this introduces significant sources of error that must be evaluated. Reformulating the original Parareal algorithm as a variational method and implementing a finite element discretization in space enables an adjoint-based a posteriori error analysis to be performed. Through an appropriate choice of adjoint problems and residuals the error analysis distinguishes between errors arising due to the temporal and spatial discretizations, as well as between the errors arising due to incomplete Parareal iterations and incomplete iterations of the domain decomposition solver. We first develop an error analysis for the Parareal method applied to parabolic partial differential equations, and then refine this analysis to the case where the associated spatial problems are solved using overlapping domain decomposition. These constitute our Time Parallel Algorithm (TPA) and Space-Time Parallel Algorithm (STPA) respectively. Numerical experiments demonstrate the accuracy of the estimator for both algorithms and the iterations between distinct components of the error.


title: A Systematic Investigation of Commonsense Knowledge in Large Language Models

abstract: Language models (LMs) trained on large amounts of data have shown impressive performance on many NLP tasks under the zero-shot and few-shot setup. Here we aim to better understand the extent to which such models learn commonsense knowledge -- a critical component of many NLP applications. We conduct a systematic and rigorous zero-shot and few-shot commonsense evaluation of large pre-trained LMs, where we: (i) carefully control for the LMs' ability to exploit potential surface cues and annotation artefacts, and (ii) account for variations in performance that arise from factors that are not related to commonsense knowledge. Our findings highlight the limitations of pre-trained LMs in acquiring commonsense knowledge without task-specific supervision; furthermore, using larger models or few-shot evaluation are insufficient to achieve human-level commonsense performance.


title: Influence of different kind of thin sets in the theory of convergence

abstract: A class of subsets designated as very thin subsets of natural numbers has been studied and seen that theory of convergence may be rediscovered if very thin sets are given to play main role instead of thin or finite sets which removes some drawback of statistical convergence. While developing the theory of very thin sets, concepts of super thin, very very thin and super super thin sets are evolved spontaneously.


title: Computational Aspects of Problems on Visibility and Disk Graph Representations

abstract: This thesis focuses on two concepts which are widely studied in the field of computational geometry. Namely, visibility and unit disk graphs. In the field of visibility, we have studied the conflict-free chromatic guarding of polygons, for which we have described a polynomial-time algorithm that uses $O(n \log^2 n)$ colors to guard a polygon in a conflict-free setting, and proper coloring of polygon visibility graphs, for which we have described an algorithm that returns a proper 4-coloring for a simple polygon. Besides, we have shown that the 5-colorability problem is NP-complete on visibility graphs of simple polygons, and 4-colorability is NP-complete on visibility graphs of polygons with holes. Then, we move further with the notion of visibility, and define a graph class which considers the real-world limitations for the applications of visibility graphs. That is, no physical object has infinite range, and two objects might not be mutually visible from a certain distance although there are no obstacles in-between. To model this property, we introduce unit disk visibility graphs, and show that the 3-colorability problem is NP-complete for unit disk visibility graphs of a set of line segments, and a polygon with holes. After bridging the gap between the visibility and the unit disk graphs, we then present our results on the recognition of unit disk graphs in a restricted setting -- axes-parallel unit disk graphs. We show that the recognition of unit disk graphs is NP-complete when the disks are centered on pre-given parallel lines. If, on the other hand, the lines are not parallel to one another, the recognition problem is NP-hard even though the pre-given lines are axes-parallel (i.e. any pair is either parallel or perpendicular).


title: Towards Language Modelling in the Speech Domain Using Sub-word Linguistic Units

abstract: Language models (LMs) for text data have been studied extensively for their usefulness in language generation and other downstream tasks. However, language modelling purely in the speech domain is still a relatively unexplored topic, with traditional speech LMs often depending on auxiliary text LMs for learning distributional aspects of the language. For the English language, these LMs treat words as atomic units, which presents inherent challenges to language modelling in the speech domain. In this paper, we propose a novel LSTM-based generative speech LM that is inspired by the CBOW model and built on linguistic units including syllables and phonemes. This offers better acoustic consistency across utterances in the dataset, as opposed to single melspectrogram frames, or whole words. With a limited dataset, orders of magnitude smaller than that required by contemporary generative models, our model closely approximates babbling speech. We show the effect of training with auxiliary text LMs, multitask learning objectives, and auxiliary articulatory features. Through our experiments, we also highlight some well known, but poorly documented challenges in training generative speech LMs, including the mismatch between the supervised learning objective with which these models are trained such as Mean Squared Error (MSE), and the true objective, which is speech quality. Our experiments provide an early indication that while validation loss and Mel Cepstral Distortion (MCD) are not strongly correlated with generated speech quality, traditional text language modelling metrics like perplexity and next-token-prediction accuracy might be.


title: R-BERT-CNN: Drug-target interactions extraction from biomedical literature

abstract: In this research, we present our work participation for the DrugProt task of BioCreative VII challenge. Drug-target interactions (DTIs) are critical for drug discovery and repurposing, which are often manually extracted from the experimental articles. There are >32M biomedical articles on PubMed and manually extracting DTIs from such a huge knowledge base is challenging. To solve this issue, we provide a solution for Track 1, which aims to extract 10 types of interactions between drug and protein entities. We applied an Ensemble Classifier model that combines BioMed-RoBERTa, a state of art language model, with Convolutional Neural Networks (CNN) to extract these relations. Despite the class imbalances in the BioCreative VII DrugProt test corpus, our model achieves a good performance compared to the average of other submissions in the challenge, with the micro F1 score of 55.67% (and 63% on BioCreative VI ChemProt test corpus). The results show the potential of deep learning in extracting various types of DTIs.


title: An accurate, robust, and efficient finite element framework for anisotropic, nearly and fully incompressible elasticity

abstract: Fiber-reinforced soft biological tissues are typically modeled as hyperelastic, anisotropic, and nearly incompressible materials. To enforce incompressibility a multiplicative split of the deformation gradient into a volumetric and an isochoric part is a very common approach. However, due to the high stiffness of anisotropic materials in the preferred directions, the finite element analysis of such problems often suffers from severe locking effects and numerical instabilities. In this paper, we present novel methods to overcome locking phenomena for anisotropic materials using stabilized P1-P1 elements. We introduce different stabilization techniques and demonstrate the high robustness and computational efficiency of the chosen methods. In several benchmark problems we compare the approach to standard linear elements and show the accuracy and versatility of the methods to simulate anisotropic, nearly and fully incompressible materials. We are convinced that this numerical framework offers the possibility to accelerate accurate simulations of biological tissues, enabling patient-specfic parameterization studies, which require numerous forward simulations.


title: A Matched-filter based method in the Synthetic Aperture Radar Images Using FMCW radar

abstract: The stretch processing architecture is commonly used for frequency modulated continuous wave (FMCW) radar due to its inexpensive hardware, low sampling rate, and simple architecture. However, the stretch processing architecture is not able to achieve optimal Signal to Noise ratio (SNR) in comparison to the matched-filter architecture. In this paper, we aim to propose a method whereby stretch processing can achieve optimal SNR. Hence, we develop a novel processing method to enable applying a matched filter to the output of the stretch processing. The proposed architecture achieves optimal SNR while it can operate on a low sampling rate. In addition, the combination of the proposed radar architecture and SAR technique can generate high-quality images. To evaluate the performance of the proposed architecture, four scenarios are considered. Simulation is carried out based on these scenarios. The simulation results show that the proposed radar demonstrates the ability to generate an image with higher quality over stretch processing. This proposed radar can also bring a bigger gain compression.


title: Revealing the Intrinsic Magnetism of Non-Magnetic Glasses

abstract: Ordinary multi-component silicate glasses belong to a class of amorphous insulators normally displaying no special form of magnetism, save for the Larmor dominant diamagnetism from the constituent atoms' core electrons and the extrinsic Langevin paramagnetism due to the ubiquitous Fe-group dilute paramagnetic impurities. Here we show that the macroscopic magnetisation of three case-study glass types measured in a SQUID-magnetometer cannot be explained solely by means of the Larmor-Langevin contributions. In particular, we reveal a novel {\em intrinsic} contribution to the bulk magnetisation due to the amorphous structure itself, a contribution that is peculiar both in its temperature and magnetic-field dependence and represents the first true magnetic effect in nominally non-magnetic glasses. The only theoretical interpretation we know of for such an effect and which can consistently explain the experimental data demands the re-thinking of the atomic organisation of glasses at the nanometric scale.


title: Ferrielectric-paraelectric phase transitions in layered CuInP2S6 and CuInP2S6- In4/3P2S6 heterostructures: A Raman spectroscopy and X-ray diffraction study

abstract: CuInP2S6 (CIPS) is an emerging layered material that exhibits ferrielectric ordering well above room temperature (Curie temperature TC ~ 315 K). When synthesized with Cu deficiencies, CIPS spontaneously segregates into CuInP2S6 and In4/3P2S6 domains (CIPS-IPS), which form self-assembled heterostructures within the individual lamellae. This re-structuring and resultant chemical pressure raises the Curie temperature and, depending on the Cu concentration, can be up to ~340 K for the highest Cu deficiency. In both CIPS and CIPS-IPS, the loss of polarization through the ferrielectric-paraelectric transition is driven by the movement of Cu ions within the lattice. Here we uncover the microscopic origins underpinning the phase transitions in pure CIPS and CIPS-IPS (Cu0.4In1.2P2S6) by performing a temperature-dependent Raman and XRD study. We measured the frequencies and linewidths of various cation and anion phonon modes and compared them to the extracted atomic positions from the refinement of XRD data. Our analysis shows that in addition to the Cu cation movement, the anion octahedral cages experience significant strains as they deform to accommodate the redistribution of Cu ions upon heating. This results in several discontinuities in peak frequencies and linewidths close to 315 K in CIPS. In the CIPS-IPS heterostructure, this process begins around 315 K and ends around 330 K.


title: Using unsupervised learning to detect broken symmetries, with relevance to searches for parity violation in nature. (Previously: "Stressed GANs snag desserts")

abstract: Testing whether data breaks symmetries of interest can be important to many fields. This paper describes a simple way that machine learning algorithms (whose outputs have been appropriately symmetrised) can be used to detect symmetry breaking. The original motivation for the paper was an important question in Particle Physics: "Is parity violated at the LHC in some way that no-one has anticipated?" and so we illustrate the main idea with an example strongly related to that question. However, in order that the key ideas be accessible to readers who are not particle physicists but who are interesting in symmetry breaking, we choose to illustrate the method/approach with a 'toy' example which places a simple discrete source of symmetry breaking (the handedness of human handwriting) within a idealised particle-physics-like context. Readers interested in seeing extensions to continuous symmetries, non-ideal environments or more realistic particle-physics contexts are provided with links to separate papers which delve into such details.


title: Smallness of Faltings heights of CM abelian varieties

abstract: We prove that assuming the Colmez conjecture and the ``no Siegel zeros" conjecture, the stable Faltings height of a CM abelian variety over a number field is less than or equal to the logarithm of the root discriminant of the field of definition of the abelian variety times an effective constant depending only on the dimension of the abelian variety. In view of the fact that the Colmez conjecture for abelian CM fields, the averaged Colmez conjecture, and the ``no Siegel zeros" conjecture for CM fields with no complex quadratic subfields are already proved, we prove unconditional analogues of the result above. In addition, we also prove that the logarithm of the root discriminant of the field of everywhere good reduction of CM abelian varieties can be ``small".


title: Examining the Impact of Asymmetry in Lattice-Based Mechanical Metamaterials

abstract: Lattice-based mechanical metamaterials can be tailored for a wide variety of applications by modifying the underlying mesostructure. However, most existing lattice patterns take symmetry as a starting point. We show that asymmetric lattice patterns can be more likely to have certain mechanical properties than symmetric lattice patterns. To directly compare the effects of asymmetric versus symmetric lattice arrangements, a constrained design space is defined. A generative design process is used to generate both symmetric and asymmetric lattice patterns within the design space. Asymmetric lattice patterns are shown to have distinct metamaterial property spaces from symmetric lattice patterns. Key design features are identified that are present predominantly in asymmetric lattice patterns. We show that asymmetric lattice patterns with two of these features (arrows and spider nodes) are more likely to induce a broader range of Poisson's ratios and larger shear stiffness values, respectively, compared to lattice patterns without these features. In addition, we show that symmetry can play a role in hampering the impact of multiple features when present. This work provides insights into the benefits of using asymmetric lattice patterns in select metamaterial design applications.


title: PIE: Pseudo-Invertible Encoder

abstract: We consider the problem of information compression from high dimensional data. Where many studies consider the problem of compression by non-invertible transformations, we emphasize the importance of invertible compression. We introduce new class of likelihood-based autoencoders with pseudo bijective architecture, which we call Pseudo Invertible Encoders. We provide the theoretical explanation of their principles. We evaluate Gaussian Pseudo Invertible Encoder on MNIST, where our model outperforms WAE and VAE in sharpness of the generated images.


title: Polymer collapse of a self-avoiding trail model on a two-dimensional inhomogeneous lattice

abstract: The study of the effect of random impurities on the collapse of a flexible polymer in dilute solution has had recent attention with consideration of semi-stiff interacting self-avoiding walks on the square lattice. In the absence of impurities the model displays two types of collapsed phase, one of which is both anisotropically ordered and maximally dense (crystal-like). In the presence of impurities the study showed that the crystal type phase disappears. Here we investigate extended interacting self-avoiding trails on the triangular lattice with random impurities. Without impurities this model also displays two collapsed phases, one of which is maximally dense. However, this maximally dense phase is not ordered anisotropically. The trails are simulated using the flatPERM algorithm and the inhomogeneity is realised as a random fraction of the lattice that is unavailable to the trails. We calculate several thermodynamic and metric quantities to map out the phase diagram and look at how the amount of disorder affects the properties of each phase but especially the maximally dense phase. Our results indicate that while the maximally dense phase in the trail model is affected less than in the walk model it is also disrupted and becomes a denser version of the globule phase so that the model with impurities only displays no more than one true thermodynamic collapsed phase.


title: Clinical Evidence Engine: Proof-of-Concept For A Clinical-Domain-Agnostic Decision Support Infrastructure

abstract: Abstruse learning algorithms and complex datasets increasingly characterize modern clinical decision support systems (CDSS). As a result, clinicians cannot easily or rapidly scrutinize the CDSS recommendation when facing a difficult diagnosis or treatment decision in practice. Over-trust or under-trust are frequent. Prior research has explored supporting such assessments by explaining DST data inputs and algorithmic mechanisms. This paper explores a different approach: Providing precisely relevant, scientific evidence from biomedical literature. We present a proof-of-concept system, Clinical Evidence Engine, to demonstrate the technical and design feasibility of this approach across three domains (cardiovascular diseases, autism, cancer). Leveraging Clinical BioBERT, the system can effectively identify clinical trial reports based on lengthy clinical questions (e.g., "risks of catheter infection among adult patients in intensive care unit who require arterial catheters, if treated with povidone iodine-alcohol"). This capability enables the system to identify clinical trials relevant to diagnostic/treatment hypotheses -- a clinician's or a CDSS's. Further, Clinical Evidence Engine can identify key parts of a clinical trial abstract, including patient population (e.g., adult patients in intensive care unit who require arterial catheters), intervention (povidone iodine-alcohol), and outcome (risks of catheter infection). This capability opens up the possibility of enabling clinicians to 1) rapidly determine the match between a clinical trial and a clinical question, and 2) understand the result and contexts of the trial without extensive reading. We demonstrate this potential by illustrating two example use scenarios of the system. We discuss the idea of designing DST explanations not as specific to a DST or an algorithm, but as a domain-agnostic decision support infrastructure.


title: Deep Recursive Embedding for High-Dimensional Data

abstract: Embedding high-dimensional data onto a low-dimensional manifold is of both theoretical and practical value. In this paper, we propose to combine deep neural networks (DNN) with mathematics-guided embedding rules for high-dimensional data embedding. We introduce a generic deep embedding network (DEN) framework, which is able to learn a parametric mapping from high-dimensional space to low-dimensional space, guided by well-established objectives such as Kullback-Leibler (KL) divergence minimization. We further propose a recursive strategy, called deep recursive embedding (DRE), to make use of the latent data representations for boosted embedding performance. We exemplify the flexibility of DRE by different architectures and loss functions, and benchmarked our method against the two most popular embedding methods, namely, t-distributed stochastic neighbor embedding (t-SNE) and uniform manifold approximation and projection (UMAP). The proposed DRE method can map out-of-sample data and scale to extremely large datasets. Experiments on a range of public datasets demonstrated improved embedding performance in terms of local and global structure preservation, compared with other state-of-the-art embedding methods.


title: Chiral Measurements

abstract: Searches for parity violation at particle physics collider experiments without polarised initial states or final-state polarimeters lack a formal framework within which some of their methods and results can be efficiently described. This document defines nomenclature which is intended to support future works in this area, however it has equal relevance to searches concerned with more conventional (and already well supported) pre-existing tests of parity-violation since it can be viewed as a formal axiomatisation of process of gaining evidence about parity violation regardless of its cause.


title: Improved algorithms for determination of particle directions with Timepix3

abstract: Timepix3 pixel detectors have demonstrated great potential for tracking applications. With $256\times 256$ pixels, 55 $\mathrm{\mu}$m pitch and improved resolution in time (1.56 ns) and energy (2 keV at 60 keV), they have become powerful instruments for characterization of unknown radiation fields. A crucial pre-processing step for such analysis is the determination of particle trajectories in 3D space from individual tracks. This study presents a comprehensive comparison of regression methods that tackle this task under the assumption of track linearity. The proposed methods were first evaluated on a simulation and assessed by their accuracy and computational time. Selected methods were then validated with a real-world dataset, which was measured in a well-known radiation field. Finally, the presented methods were applied to experimental data from the Large Hadron Collider. The best-performing methods achieved a mean absolute error of 1.99{\deg} and 3.90{\deg} in incidence angle $\theta$ and azimuth $\varphi$, respectively. The fastest presented method required a mean computational time of 0.02 ps per track. For all experimental applications, we present angular maps and stopping power spectra.


title: Bruno Touschek Remembered. 1921-2021. Bibliography and Sources

abstract: The 100th anniversary of Bruno Touschek's birth also marks 60 years since the first beams of electrons and positrons circulated in AdA, the first ever matter-antimatter collider built in Frascati National Laboratories following Touschek's visionary proposal of February 1960. A brief biography, an extensive bibliography, and a description of archives containing documents related to the life and science of the father of electron-positron physics are presented.

categories: physics.hist-ph hep-ex hep-ph physics.acc-ph


title: Intrusion Detection using Spatial-Temporal features based on Riemannian Manifold

abstract: Network traffic data is a combination of different data bytes packets under different network protocols. These traffic packets have complex time-varying non-linear relationships. Existing state-of-the-art methods rise up to this challenge by fusing features into multiple subsets based on correlations and using hybrid classification techniques that extract spatial and temporal characteristics. This often requires high computational cost and manual support that limit them for real-time processing of network traffic. To address this, we propose a new novel feature extraction method based on covariance matrices that extract spatial-temporal characteristics of network traffic data for detecting malicious network traffic behavior. The covariance matrices in our proposed method not just naturally encode the mutual relationships between different network traffic values but also have well-defined geometry that falls in the Riemannian manifold. Riemannian manifold is embedded with distance metrics that facilitate extracting discriminative features for detecting malicious network traffic. We evaluated our model on NSL-KDD and UNSW-NB15 datasets and showed our proposed method significantly outperforms the conventional method and other existing studies on the dataset.


title: H2ZIXY: Pauli spin matrix decomposition of real symmetric matrices

abstract: We present a code in Python3 which takes a square real symmetric matrix, of arbitrary size, and decomposes it as a tensor product of Pauli spin matrices. The application to the decomposition of a Hamiltonian of relevance to nuclear physics for implementation on quantum computer is given.


title: Inverse $K$-Chevalley formulas for semi-infinite flag manifolds, II: arbitrary weights in ADE type

abstract: We continue the study, begun in [Kouno-Naito-Orr-Sagaki, 2021], of inverse Chevalley formulas for the equivariant $K$-group of semi-infinite flag manifolds. Using the language of alcove paths, we reformulate and extend our combinatorial inverse Chevalley formula to arbitrary weights in all simply-laced types (conjecturally also for $E_8$).


title: Distantly Supervised Semantic Text Detection and Recognition for Broadcast Sports Videos Understanding

abstract: Comprehensive understanding of key players and actions in multiplayer sports broadcast videos is a challenging problem. Unlike in news or finance videos, sports videos have limited text. While both action recognition for multiplayer sports and detection of players has seen robust research, understanding contextual text in video frames still remains one of the most impactful avenues of sports video understanding. In this work we study extremely accurate semantic text detection and recognition in sports clocks, and challenges therein. We observe unique properties of sports clocks, which makes it hard to utilize general-purpose pre-trained detectors and recognizers, so that text can be accurately understood to the degree of being used to align to external knowledge. We propose a novel distant supervision technique to automatically build sports clock datasets. Along with suitable data augmentations, combined with any state-of-the-art text detection and recognition model architectures, we extract extremely accurate semantic text. Finally, we share our computational architecture pipeline to scale this system in industrial setting and proposed a robust dataset for the same to validate our results.


title: Long time decay and asymptotics for the complex mKdV equation

abstract: We study the asymptotics of the complex modified Korteweg-de Vries equation $\partial_t u + \partial_x^3 u = -|u|^2 \partial_x u$, which can be used to model vortex filament dynamics. In the real-valued case, it is known that solutions with small, localized initial data exhibit modified scattering for $|x| \geq t^{1/3}$ and behave self-similarly for $|x| \leq t^{1/3}$. We prove that the same asymptotics hold for complex mKdV. The major difficulty in the complex case is that the nonlinearity cannot be expressed as a derivative, which makes the low-frequency dynamics harder to control. To overcome this difficulty, we introduce the decomposition $u = S + w$, where $S$ is a self-similar solution with the same mean as $u$ and $w$ is a remainder that has better decay. By using the explicit expression for $S$, we are able to get better low-frequency behavior for $u$ than we could from dispersive estimates alone. An advantage of our method is its robustness: It does not depend on the precise algebraic structure of the equation, and as such can be more readily adapted to other contexts.


title: Learning Safety Filters for Unknown Discrete-Time Linear Systems

abstract: A learning-based safety filter is developed for discrete-time linear time-invariant systems with unknown models subject to Gaussian noises with unknown covariance. Safety is characterized using polytopic constraints on the states and control inputs. The empirically learned model and process noise covariance with their confidence bounds are used to construct a robust optimization problem for minimally modifying nominal control actions to ensure safety with high probability. The optimization problem relies on tightening the original safety constraints. The magnitude of the tightening is larger at the beginning since there is little information to construct reliable models, but shrinks with time as more data becomes available.

categories: cs.LG cs.SY eess.SY math.OC math.PR stat.ML


title: Ken's colorful questions

abstract: The paper surveys some questions concerning \emph{coloring axioms} which grew out of the discussions the author had with his PhD advisor Ken Kunen.


title: Settling the Horizon-Dependence of Sample Complexity in Reinforcement Learning

abstract: Recently there is a surge of interest in understanding the horizon-dependence of the sample complexity in reinforcement learning (RL). Notably, for an RL environment with horizon length $H$, previous work have shown that there is a probably approximately correct (PAC) algorithm that learns an $O(1)$-optimal policy using $\mathrm{polylog}(H)$ episodes of environment interactions when the number of states and actions is fixed. It is yet unknown whether the $\mathrm{polylog}(H)$ dependence is necessary or not. In this work, we resolve this question by developing an algorithm that achieves the same PAC guarantee while using only $O(1)$ episodes of environment interactions, completely settling the horizon-dependence of the sample complexity in RL. We achieve this bound by (i) establishing a connection between value functions in discounted and finite-horizon Markov decision processes (MDPs) and (ii) a novel perturbation analysis in MDPs. We believe our new techniques are of independent interest and could be applied in related questions in RL.


title: Selective recovery of critical materials in supercritical water desalination

abstract: Supercritical water desalination (SCWD) is an alternative zero-liquid discharge desalination technique that can overcome many technical and environmental challenges in common desalination processes. Our recent techno-economic analyses on the process integration and intensification of an SCWD process suggest that SCWD can be an economically competitive zero-liquid discharge desalination technique for highly concentrated brines. In addition to these attractive features, this work explores the possibility of utilizing the SCWD process for the selective recovery of industrially essential materials as co-products. Model brines containing sodium chloride, neodymium chloride, and other sodium-containing salts, are examined as model feeds from 25 to 450 C at 25 MPa. The sodium contents in the effluent were not sensitive to the presence other salts, but that of neodymium was. When sodium acetate was added, water-insoluble precipitates were obtained. The characterization of these deposits using gas pycnometer, FT-IR, SEM/EDS, and XRD indicates that the precipitates mainly contain neodymium hydroxide and some low-concentration impurities. These results suggest that an SCWD process has the potential to recover critical materials while producing freshwater.


title: A SysTematic seaRch fOr Dual Agns in meRgINg Galaxies (ASTRO-DARING) II: first results from long-slit spectroscopic observations

abstract: Building a large sample of kiloparsec (kpc)-scale dual active galactic nuclei (AGNs) amongst merging galaxies is of vital importance to understand the co-evolution between host galaxies and their central super massive black holes (SMBHs). Doing so, with just such a sample, we have developed an innovative method of systematically searching and identifying dual AGNs of amongst kpc scale merging galaxies and selected 222 candidates at redshifts $\leqslant$ 0.25. All the selected candidates have FIRST radio detection and at least one of two cores previously revealed as AGN spectroscopically. We report the first results from A SysTematic seaRch fOr Dual Agns in meRgINg Galaxies (ASTRO-DARING), which consist of spatially resolved long-slit spectroscopic observations of 41 targets selected from our merging galaxies sample carried out between November 2014 and February 2017, using the Yunnan Faint Object Spectrograph and Camera (YFOSC) mounted on the 2.4 meter telescope in Lijiang of Yunnan Observatories. Of these 16 are likely dual AGNs and 15 are newly identified. The efficiency of ASTRO-DARING is thus nearly 40 per cent. With this method, we plan to build the first even sample of more than 50 dual AGNs constructed using a consistent approach. Further analysis of the dual AGN sample shall provide vital clues for understanding the co-evolution of galaxies and SMBHs.


title: A SysTematic seaRch fOr Dual Agns in meRgINg Galaxies (ASTRO-DARING) III: results from the SDSS spectroscopic surveys

abstract: As the third installment in a series systematically searching dual active galactic nuclei (AGN) amongst merging galaxies, we present the results of 20 dual AGNs found by using the SDSS fiber spectra. To reduce the flux contamination from both the fiber aperture and seeing effects, the angular separation of two cores in our merging galaxy pairs sample is restricted at least larger than 3 arcsec. By careful analysis of the emission lines, 20 dual AGNs are identified from 61 merging galaxies with their two cores both observed by the SDSS spectroscopic surveys. 15 of them are identified for the first time. The identification efficiency is about 32.79$\%$ (20/61), comparable to our former results (16 dual AGNs identified from 41 merging galaxies) based on the long-slit spectroscopy. Interestingly, two of the 20 dual AGNs show two prominent cores in radio images and their radio powers show they as the radio-excess AGNs. So far, 31 dual AGNs are found by our project and this is the current largest dual AGN sample, ever constructed with a consistent approach. This sample, together with more candidates from ongoing observations, is of vital importance to study the AGN physics and the coevolution between the supermassive black holes and their host galaxies.


title: To Talk or to Work: Delay Efficient Federated Learning over Mobile Edge Devices

abstract: Federated learning (FL), an emerging distributed machine learning paradigm, in conflux with edge computing is a promising area with novel applications over mobile edge devices. In FL, since mobile devices collaborate to train a model based on their own data under the coordination of a central server by sharing just the model updates, training data is maintained private. However, without the central availability of data, computing nodes need to communicate the model updates often to attain convergence. Hence, the local computation time to create local model updates along with the time taken for transmitting them to and from the server result in a delay in the overall time. Furthermore, unreliable network connections may obstruct an efficient communication of these updates. To address these, in this paper, we propose a delay-efficient FL mechanism that reduces the overall time (consisting of both the computation and communication latencies) and communication rounds required for the model to converge. Exploring the impact of various parameters contributing to delay, we seek to balance the trade-off between wireless communication (to talk) and local computation (to work). We formulate a relation with overall time as an optimization problem and demonstrate the efficacy of our approach through extensive simulations.


title: Van der Waals Heterostructure Polaritons with moir\'e-Induced Nonlinearity

abstract: Controlling matter-light interactions with cavities is of fundamental importance in modern science and technology. It is exemplified in the strong-coupling regime, where matter-light hybrid modes form, with properties controllable via the photon component on the optical-wavelength scale. In contrast, matter excitations on the nanometer scale are harder to access. In two-dimensional van der Waals heterostructures, a tunable moir\'e lattice potential for electronic excitations may form, enabling correlated electron gases in lattice potentials. Excitons confined in moir\'e lattices have also been reported, but cooperative effects have been elusive and interactions with light have remained perturbative. Here, integrating MoSe$_{2}$-WS$_{2}$ heterobilayers in a microcavity, we establish cooperative coupling between moir\'e-lattice excitons and microcavity photons up to liquid-nitrogen temperature, thereby integrating into one platform versatile control over both matter and light. The density dependence of the moir\'e polaritons reveals strong nonlinearity due to exciton blockade, suppressed exciton energy shift, and suppressed excitation-induced dephasing, all of which are consistent with the quantum-confined nature of the moir\'e excitons. Such a moir\'e polariton system combines strong nonlinearity and microscopic-scale tuning of matter excitations with the power of cavity engineering and long range coherence of light, providing a new platform for collective phenomena from tunable arrays of quantum emitters.


title: End-to-End Learning of Deep Kernel Acquisition Functions for Bayesian Optimization

abstract: For Bayesian optimization (BO) on high-dimensional data with complex structure, neural network-based kernels for Gaussian processes (GPs) have been used to learn flexible surrogate functions by the high representation power of deep learning. However, existing methods train neural networks by maximizing the marginal likelihood, which do not directly improve the BO performance. In this paper, we propose a meta-learning method for BO with neural network-based kernels that minimizes the expected gap between the true optimum value and the best value found by BO. We model a policy, which takes the current evaluated data points as input and outputs the next data point to be evaluated, by a neural network, where neural network-based kernels, GPs, and mutual information-based acquisition functions are used as its layers. With our model, the neural network-based kernel is trained to be appropriate for the acquisition function by backpropagating the gap through the acquisition function and GP. Our model is trained by a reinforcement learning framework from multiple tasks. Since the neural network is shared across different tasks, we can gather knowledge on BO from multiple training tasks, and use the knowledge for unseen test tasks. In experiments using three text document datasets, we demonstrate that the proposed method achieves better BO performance than the existing methods.


title: VSEC: Transformer-based Model for Vietnamese Spelling Correction

abstract: Spelling error correction is one of topics which have a long history in natural language processing. Although previous studies have achieved remarkable results, challenges still exist. In the Vietnamese language, a state-of-the-art method for the task infers a syllable's context from its adjacent syllables. The method's accuracy can be unsatisfactory, however, because the model may lose the context if two (or more) spelling mistakes stand near each other. In this paper, we propose a novel method to correct Vietnamese spelling errors. We tackle the problems of mistyped errors and misspelled errors by using a deep learning model. The embedding layer, in particular, is powered by the byte pair encoding technique. The sequence to sequence model based on the Transformer architecture makes our approach different from the previous works on the same problem. In the experiment, we train the model with a large synthetic dataset, which is randomly introduced spelling errors. We test the performance of the proposed method using a realistic dataset. This dataset contains 11,202 human-made misspellings in 9,341 different Vietnamese sentences. The experimental results show that our method achieves encouraging performance with 86.8% errors detected and 81.5% errors corrected, which improves the state-of-the-art approach 5.6% and 2.2%, respectively.


title: Domination polynomial is unimodal for large graphs with a universal vertex

abstract: For a undirected simple graph $G$, let $d_i(G)$ be the number of $i$-element dominating vertex set of $G$. The domination polynomial of the graph $G$ is defined as $$D(G, x) = \sum_{i = 1}^n d_i(G)x^i.$$ Alikhani and Peng conjectured that $D(G, x)$ is unimodal for any graph $G$. Answering a proposal of Beaton and Brown, we show that $D(G, x)$ is unimodal when $G$ has at least $2^{13}$ vertices and has a universal vertex, which is a vertex adjacent to any other vertex of $G$. We further determine possible locations of the mode.


title: Posterior Inference for Quantile Regression: Adaptation to Sparsity

abstract: Quantile regression is a powerful data analysis tool that accommodates heterogeneous covariate-response relationships. We find that by coupling the asymmetric Laplace working likelihood with appropriate shrinkage priors, we can deliver posterior inference that automatically adapts to possible sparsity in quantile regression analysis. After a suitable adjustment on the posterior variance, the posterior inference provides asymptotically valid inference under heterogeneity. Furthermore, the proposed approach leads to oracle asymptotic efficiency for the active (nonzero) quantile regression coefficients and super-efficiency for the non-active ones. By avoiding the need to pursue dichotomous variable selection, the Bayesian computational framework demonstrates desirable inference stability with respect to tuning parameter selection. Our work helps to uncloak the value of Bayesian computational methods in frequentist inference for quantile regression.


title: Learning Distilled Collaboration Graph for Multi-Agent Perception

abstract: To promote better performance-bandwidth trade-off for multi-agent perception, we propose a novel distilled collaboration graph (DiscoGraph) to model trainable, pose-aware, and adaptive collaboration among agents. Our key novelties lie in two aspects. First, we propose a teacher-student framework to train DiscoGraph via knowledge distillation. The teacher model employs an early collaboration with holistic-view inputs; the student model is based on intermediate collaboration with single-view inputs. Our framework trains DiscoGraph by constraining post-collaboration feature maps in the student model to match the correspondences in the teacher model. Second, we propose a matrix-valued edge weight in DiscoGraph. In such a matrix, each element reflects the inter-agent attention at a specific spatial region, allowing an agent to adaptively highlight the informative regions. During inference, we only need to use the student model named as the distilled collaboration network (DiscoNet). Attributed to the teacher-student framework, multiple agents with the shared DiscoNet could collaboratively approach the performance of a hypothetical teacher model with a holistic view. Our approach is validated on V2X-Sim 1.0, a large-scale multi-agent perception dataset that we synthesized using CARLA and SUMO co-simulation. Our quantitative and qualitative experiments in multi-agent 3D object detection show that DiscoNet could not only achieve a better performance-bandwidth trade-off than the state-of-the-art collaborative perception methods, but also bring more straightforward design rationale. Our code is available on https://github.com/ai4ce/DiscoNet.


title: The Selena Neutrino Experiment

abstract: Imaging sensors made from an ionization target layer of amorphous selenium (aSe) coupled to a silicon complementary metal-oxide-semiconductor (CMOS) active pixel array for charge readout are a promising technology for neutrino physics. The high spatial resolution in a solid-state target provides unparalleled rejection of backgrounds from natural radioactivity in the search for neutrinoless $\beta\beta$ decay and for solar neutrino spectroscopy with $^{82}$Se. We present results on the ionization response of aSe measured from the photoabsorption of 122 keV $\gamma$ rays in a single-pixel device. We report on the progress in the fabrication and testing of the first prototype imaging sensors based on the Topmetal-II$^{\rm -}$ pixelated CMOS charge readout chip. We explore the scientific reach of a large neutrino detector with the proposed technology based on our experimental understanding of the sensor performance.


title: Interface-enhanced ferromagnetism with long-distance effect in van der Waals semiconductor

abstract: Ferromagnetic semiconductors discovered in two-dimensional (2D) materials open an avenue for highly integrated and multifunctional spintronics. The Curie temperature (TC) of existed 2D ferromagnetic semiconductors is extremely low and the modulation effect of their magnetism is limited compared with their 2D metallic counterparts. The interfacial effect was found to effectively manipulate the three-dimensional magnetism, providing a unique opportunity for tailoring the 2D magnetism. Here we demonstrate that the TC of 2D ferromagnetic semiconductor Cr2Ge2Te6 can be enhanced by 130% (from ~65 K to above 150 K) when adjacent to a tungsten layer. The interfacial W-Te bonding contributes to the TC enhancement with a strong perpendicular magnetic anisotropy (PMA), guaranteeing an efficient magnetization switching by the spin-orbit torque with a low current density at 150 K. Distinct from the rapid attenuation in conventional magnets, the interfacial effect exhibits a weak dependence on Cr2Ge2Te6 thickness and a long-distance effect (more than 10 nanometers) due to the weak interlayer coupling inherent to 2D magnets. Our work not only reveals a unique interfacial behavior in 2D materials, but also advances the process towards practical 2D spintronics.


title: Cluster magnetic octupole induced out-of-plane spin polarization in antiperovskite antiferromagnet

abstract: Out-of-plane spin polarization {\sigma}_z has attracted increasing interests of researchers recently, due to its potential in high-density and low-power spintronic devices. Noncollinear antiferromagnet (AFM), which has unique 120{\deg} triangular spin configuration, has been discovered to possess {\sigma}_z. However, the physical origin of {\sigma}_z in noncollinear AFM is still not clear, and the external magnetic field-free switching of perpendicular magnetic layer using the corresponding {\sigma}_z has not been reported yet. Here, we use the cluster magnetic octupole in antiperovskite AFM Mn3SnN to demonstrate the generation of {\sigma}_z. {\sigma}_z is induced by the precession of carrier spins when currents flow through the cluster magnetic octupole, which also relies on the direction of the cluster magnetic octupole in conjunction with the applied current. With the aid of {\sigma}_z, current induced spin-orbit torque (SOT) switching of adjacent perpendicular ferromagnet is realized without external magnetic field. Our findings present a new perspective to the generation of out-of-plane spin polarizations via noncollinear AFM spin structure, and provide a potential path to realize ultrafast high-density applications.


title: Simplification of $\lambda$-ring expressions in the Grothendieck ring of Chow motives

abstract: The Grothendieck ring of Chow motives admits two natural opposite $\lambda$-ring structures, one of which is a special structure allowing the definition of Adams operations on the ring. In this work I present algorithms which allow an effective simplification of expressions that involve both $\lambda$-ring structures, as well as Adams operations. In particular, these algorithms allow the symbolic simplification of algebraic expressions in the sub-$\lambda$-ring of motives generated by a finite set of curves into polynomial expressions in a small set of motivic generators. As a consequence, the explicit computation of motives of some moduli spaces is performed, allowing the computational verification of some conjectural formulas for these spaces.


title: Accurate Point Cloud Registration with Robust Optimal Transport

abstract: This work investigates the use of robust optimal transport (OT) for shape matching. Specifically, we show that recent OT solvers improve both optimization-based and deep learning methods for point cloud registration, boosting accuracy at an affordable computational cost. This manuscript starts with a practical overview of modern OT theory. We then provide solutions to the main difficulties in using this framework for shape matching. Finally, we showcase the performance of transport-enhanced registration models on a wide range of challenging tasks: rigid registration for partial shapes; scene flow estimation on the Kitti dataset; and nonparametric registration of lung vascular trees between inspiration and expiration. Our OT-based methods achieve state-of-the-art results on Kitti and for the challenging lung registration task, both in terms of accuracy and scalability. We also release PVT1010, a new public dataset of 1,010 pairs of lung vascular trees with densely sampled points. This dataset provides a challenging use case for point cloud registration algorithms with highly complex shapes and deformations. Our work demonstrates that robust OT enables fast pre-alignment and fine-tuning for a wide range of registration models, thereby providing a new key method for the computer vision toolbox. Our code and dataset are available online at: https://github.com/uncbiag/robot.


title: Interpolatory tensorial reduced order models for parametric dynamical systems

abstract: The paper introduces a reduced order model (ROM) for numerical integration of a dynamical system which depends on multiple parameters. The ROM is a projection of the dynamical system on a low dimensional space that is both problem-dependent and parameter-specific. The ROM exploits compressed tensor formats to find a low rank representation for a sample of high-fidelity snapshots of the system state. This tensorial representation provides ROM with an orthogonal basis in a universal space of all snapshots and encodes information about the state variation in parameter domain. During the online phase and for any incoming parameter, this information is used to find a reduced basis that spans a parameter-specific subspace in the universal space. The computational cost of the online phase then depends only on tensor compression ranks, but not on space or time resolution of high-fidelity computations. Moreover, certain compressed tensor formats enable to avoid the adverse effect of parameter space dimension on the online costs (known as the curse of dimension). The analysis of the approach includes an estimate for the representation power of the acquired ROM basis. We illustrate the performance and prediction properties of the ROM with several numerical experiments, where tensorial ROM's complexity and accuracy is compared to those of conventional POD-ROM.


title: The Strong Gauss Lucas Theorem and Analyticity of Correlation Functions via the Lee-Yang Theorem

abstract: We provide a simple mechanism for going from Lee-Yang type theorems to analyticity of correlation functions by exploiting under appreciated inequalities of Newman. We also describe a Lee-Yang approach that recovers the consequences of a low density cluster expansion for spin S models without any combinatorics.


title: Intermediate states in Andreev bound state fusion

abstract: Hybridization is a very fundamental quantum mechanical phenomenon, with the text book example of binding two hydrogen atoms in a hydrogen molecule. In semiconductor physics, a quantum dot (QD) can be considered as an artificial atom, with two coupled QDs forming a molecular state, and two electrons on a single QD the equivalent of a helium atom. Here we report tunnel spectroscopy experiments illustrating the hybridization of another type of discrete quantum states, namely of superconducting subgap states that form in segments of a semiconducting nanowire in contact with superconducting reservoirs. We show and explain a collection of intermediate states found in the process of merging individual bound states, hybridizing with a central QD and eventually coherently linking the reservoirs. These results may serve as a guide in future Majorana fusion experiments and explain a large variety of recent bound state experiments.