title: Emergence of super-Poissonian light from indistinguishable single-photon emitters

abstract: The optical interference constitutes a paramount resource in modern physics. At the scale of individual atoms and photons, it is a diverse concept that causes different coherent phenomena. We present the experimental characterization of both coherent and statistical properties of light emitted from ensembles of trapped ions increasing with a number of contributing phase-incoherent independent atomic particles ranging from a single to up to several hundreds. It conclusively demonstrates how super-Poissonian quantum statistics non-trivially arises purely from the finite number of indistinguishable single-photon emitters in the limit of a single detection mode. The achieved new optical emission regime in which these independent atoms contribute coherently to the super-Poissonian statistics provides a new perspective on the emergence of optical coherence at the atomic scale and constitutes a unique toolbox for its generation and control at the most microscopic level.


title: Deep Metric Learning with Chance Constraints

abstract: Deep metric learning (DML) aims to minimize empirical expected loss of the pairwise intra-/inter- class proximity violations in the embedding space. We relate DML to feasibility problem of finite chance constraints. We show that minimizer of proxy-based DML satisfies certain chance constraints, and that the worst case generalization performance of the proxy-based methods can be characterized by the radius of the smallest ball around a class proxy to cover the entire domain of the corresponding class samples, suggesting multiple proxies per class helps performance. To provide a scalable algorithm as well as exploiting more proxies, we consider the chance constraints implied by the minimizers of proxy-based DML instances and reformulate DML as finding a feasible point in intersection of such constraints, resulting in a problem to be approximately solved by iterative projections. Simply put, we repeatedly train a regularized proxy-based loss and re-initialize the proxies with the embeddings of the deliberately selected new samples. We applied our method with 4 well-accepted DML losses and show the effectiveness with extensive evaluations on 4 popular DML benchmarks. Code is available at: https://github.com/yetigurbuz/ccp-dml


title: Analysis of Urban Visitor's Walkability Based On Mobile Data: The Case of Daejeon, Korea

abstract: The walkability of destinations plays a decisive role in obtaining a sense of place for urban visitors. For an improved walkability-based visit experience, the city structure is analyzed by dividing it into small units, starting with the destination. However, existing studies focus on the walkability of residents by administrative district and use limited contextual information and structural analysis tools. Therefore, this study aims to structurally understand walkability through network analysis with mobile-based visitor data collected from 822 point-of-interest (POI) in Daejeon. In this paper, the actual walking distance between 95,817 cells with visitors and POI is measured to calculate the edge weight and the influence of cells on POI. We analyze the POI-cell network through edge weight, extract nine communities, understand the city context through POI analysis and derive the following findings. Firstly, it is possible to determine the potential demand by the visitor's walkability-based division. Second, our walkability measurement method follows a bottom-up approach, starting with a small unit cell, understanding the entire city as a community extraction model, and possibly extending to other cities in Korea. Third, POI-centered structural analysis is possible using the number of visitors and distance in the proposed network analysis method.


title: Overview of the SV-Ident 2022 Shared Task on Survey Variable Identification in Social Science Publications

abstract: In this paper, we provide an overview of the SV-Ident shared task as part of the 3rd Workshop on Scholarly Document Processing (SDP) at COLING 2022. In the shared task, participants were provided with a sentence and a vocabulary of variables, and asked to identify which variables, if any, are mentioned in individual sentences from scholarly documents in full text. Two teams made a total of 9 submissions to the shared task leaderboard. While none of the teams improve on the baseline systems, we still draw insights from their submissions. Furthermore, we provide a detailed evaluation. Data and baselines for our shared task are freely available at https://github.com/vadis-project/sv-ident


title: A closer look at dark photon explanations of the excess radio background

abstract: The observed excess radio background has remained a puzzle for over a decade. A recent new physics solution involves dark matter that decays into dark photons in the presence of a thermal dark photon background. The produced non-thermal dark photon spectrum then converts into standard photons around the reionization era, yielding an approximate power-law radio excess with brightness temperature $T(\nu)\simeq \nu^{-2.5}$ over a wide range of frequencies, $\nu$. This simple power-law model comes intriguingly close to the current data, even if several ingredients are required to make it work. In this paper, we investigate some of the details of this model, showcasing the importance of individual effects. In particular, significant deviation from a power law are present at $\nu\lesssim 100\,{\rm MHz}$ and $\nu\gtrsim 1\,{\rm GHz}$. These effects result in improving the fit to data compared to a power-law spectrum, and may become testable in future observations. We also highlight independent signatures that can be tested with future CMB spectral distortion experiments such as {\it PIXIE}.


title: Optimal Control of Nonholonomic Systems via Magnetic Fields

abstract: Geometric optimal control utilizes tools from differential geometry to analyze the structure of a problem to determine the control and state trajectories to reach a desired outcome while minimizing some cost function. For a controlled mechanical system, the control usually manifests as an external force which, if conservative, can be added to the Hamiltonian. In this work, we focus on mechanical systems with controls added to the symplectic form rather than the Hamiltonian. In practice, this translates to controlling the magnetic field for an electrically charged system. We develop a basic theory deriving necessary conditions for optimality of such a system subjected to nonholonomic constraints. We consider the representative example of a magnetically charged Chaplygin Sleigh, whose resulting optimal control problem is completely integrable.


title: Information Scrambling and the Correspondence of Entanglement- and Operator Dynamics in Systems with Nonlocal Interactions

abstract: How fast quantum information scrambles such that it becomes inaccessible by local probes turns out to be central to various fields. Motivated by recent works on spin systems with nonlocal interactions, we study information scrambling in different variants of the Ising model. Our work reveals that nonlocal interactions can induce operator dynamics not precisely captured by out-of-time-order correlators (OTOCs). In particular, the operator size exhibits a slowdown in systems with generic powerlaw interactions despite a highly nonlinear lightcone. A recently proposed microscopic model for fast scrambling does not show this slowdown, which uncovers a distinct analogy between a local operator under unitary evolution and the entanglement entropy following a quantum quench. Our work gives new insights on scrambling properties of systems in reach of current quantum simulation platforms and complements results on possibly observing features of quantum gravity in the laboratory.


title: Specifying and Exploiting Non-Monotonic Domain-Specific Declarative Heuristics in Answer Set Programming

abstract: Domain-specific heuristics are an essential technique for solving combinatorial problems efficiently. Current approaches to integrate domain-specific heuristics with Answer Set Programming (ASP) are unsatisfactory when dealing with heuristics that are specified non-monotonically on the basis of partial assignments. Such heuristics frequently occur in practice, for example, when picking an item that has not yet been placed in bin packing. Therefore, we present novel syntax and semantics for declarative specifications of domain-specific heuristics in ASP. Our approach supports heuristic statements that depend on the partial assignment maintained during solving, which has not been possible before. We provide an implementation in ALPHA that makes ALPHA the first lazy-grounding ASP system to support declaratively specified domain-specific heuristics. Two practical example domains are used to demonstrate the benefits of our proposal. Additionally, we use our approach to implement informed} search with A*, which is tackled within ASP for the first time. A* is applied to two further search problems. The experiments confirm that combining lazy-grounding ASP solving and our novel heuristics can be vital for solving industrial-size problems.


title: Summary Report for Snowmass Community Engagement Frontier Topical Group 06: Public Policy & Government Engagement

abstract: This document is the Snowmass summary report for the Public Policy & Government Engagement topical group within the Community Engagement Frontier. This report discusses how the U.S. High Energy Physics (HEP) community currently engages with government at all levels and provides recommendations for how the execution of these actives can be improved and for how the scope of existing activities can be expanded. This includes the current HEP Congressional government engagement "DC trip", materials produced for communication with government officials, government engagement in areas other than HEP funding, and interactions with the funding agencies, Executive Office of the President, and state and local governments.


title: Audio-Visual Fusion for Emotion Recognition in the Valence-Arousal Space Using Joint Cross-Attention

abstract: Automatic emotion recognition (ER) has recently gained lot of interest due to its potential in many real-world applications. In this context, multimodal approaches have been shown to improve performance (over unimodal approaches) by combining diverse and complementary sources of information, providing some robustness to noisy and missing modalities. In this paper, we focus on dimensional ER based on the fusion of facial and vocal modalities extracted from videos, where complementary audio-visual (A-V) relationships are explored to predict an individual's emotional states in valence-arousal space. Most state-of-the-art fusion techniques rely on recurrent networks or conventional attention mechanisms that do not effectively leverage the complementary nature of A-V modalities. To address this problem, we introduce a joint cross-attentional model for A-V fusion that extracts the salient features across A-V modalities, that allows to effectively leverage the inter-modal relationships, while retaining the intra-modal relationships. In particular, it computes the cross-attention weights based on correlation between the joint feature representation and that of the individual modalities. By deploying the joint A-V feature representation into the cross-attention module, it helps to simultaneously leverage both the intra and inter modal relationships, thereby significantly improving the performance of the system over the vanilla cross-attention module. The effectiveness of our proposed approach is validated experimentally on challenging videos from the RECOLA and AffWild2 datasets. Results indicate that our joint cross-attentional A-V fusion model provides a cost-effective solution that can outperform state-of-the-art approaches, even when the modalities are noisy or absent.


title: Effect of Pore Formation on Redox-Driven Phase Transformation

abstract: When solid-state redox-driven phase transformations are associated with mass loss, vacancies are produced that develop into pores. These pores can influence the kinetics of certain redox and phase transformation steps. We investigated the structural and chemical mechanisms in and at pores in a combined experimental-theoretical study, using the reduction of iron oxide by hydrogen as a model system. The redox product (water) accumulates inside the pores and shifts the local equilibrium at the already reduced material back towards re-oxidation into cubic-Fe1-xO (where x refers to Fe deficiency, space group Fm3-m). This effect helps to understand the sluggish reduction of cubic-Fe1-xO by hydrogen, a key process for future sustainable steelmaking.


title: SOCRATES: A Stereo Camera Trap for Monitoring of Biodiversity

abstract: The development and application of modern technology is an essential basis for the efficient monitoring of species in natural habitats and landscapes to trace the development of ecosystems, species communities, and populations, and to analyze reasons of changes. For estimating animal abundance using methods such as camera trap distance sampling, spatial information of natural habitats in terms of 3D (three-dimensional) measurements is crucial. Additionally, 3D information improves the accuracy of animal detection using camera trapping. This study presents a novel approach to 3D camera trapping featuring highly optimized hardware and software. This approach employs stereo vision to infer 3D information of natural habitats and is designated as StereO CameRA Trap for monitoring of biodivErSity (SOCRATES). A comprehensive evaluation of SOCRATES shows not only a $3.23\%$ improvement in animal detection (bounding box $\text{mAP}_{75}$) but also its superior applicability for estimating animal abundance using camera trap distance sampling. The software and documentation of SOCRATES is provided at https://github.com/timmh/socrates


title: Impact of signal clusters in wide-band searches for continuous gravitational waves

abstract: In this paper we present a study of some relevant steps of the hierarchical frequency-Hough (FH) pipeline, used within the LIGO and Virgo Collaborations for wide-parameter space searches of continuous gravitational waves (CWs) emitted, for instance, by spinning neutron stars (NSs). Because of their weak expected amplitudes, CWs have not been still detected so far. These steps, namely the spectral estimation, the {\it peakmap} construction and the procedure to select candidates in the FH plane, are critical as they contribute to determine the final search sensitivity. Here, we are interested in investigating their behavior in the (presently quite) extreme case of signal clusters, due to many and strong CW sources, emitting gravitational waves (GWs) within a small (i.e. <1 Hz wide) frequency range. This could happen for some kinds of CW sources detectable by next generation detectors, like LISA, Einstein Telescope and Cosmic Explorer. Moreover, this possibility has been recently raised even for current Earth-based detectors, in some scenarios of CW emission from ultralight boson clouds around stellar mass black holes (BHs). We quantitatively evaluate the robustness of the FH analysis procedure, designed to minimize the loss of single CW signals, under the unusual situation of signal clusters. Results depend mainly on how strong in amplitude and dense in frequency the signals are, and on the range of frequency they cover. We show that indeed a small sensitivity loss may happen in presence of a very high mean signal density affecting a frequency range of the order of one Hertz, while when the signal cluster covers a frequency range of one tenth of Hertz, or less, we may actually have a sensitivity gain. Overall, we demonstrate the FH to be robust even in presence of moderate-to-large signal clusters.


title: Isoparametric hypersurfaces in product spaces

abstract: In this paper, we characterize and classify the isoparametric hypersurfaces with constant principal curvatures in the product spaces $ \mathbb{Q}^{2}_{c_{1}} \times \mathbb{Q}^{2}_{c_{2}}$, where $\mathbb{Q}^{2}_{c_{i}}$ is a space form with constant sectional curvature $c_{i}$, for $c_1 \neq c_2$.


title: Six textbook mistakes in data analysis

abstract: This article discusses a number of incorrect statements appearing in textbooks on data analysis, machine learning, or computational methods; the common theme in all these cases is the relevance and application of statistics to the study of scientific or engineering data; these mistakes are also quite prevalent in the research literature. Crucially, we do not address errors made by an individual author, focusing instead on mistakes that are widespread in the introductory literature. After some background on frequentist and Bayesian linear regression, we turn to our six paradigmatic cases, providing in each instance a specific example of the textbook mistake, pointers to the specialist literature where the topic is handled properly, along with a correction that summarizes the salient points. The mistakes (and corrections) are broadly relevant to any technical setting where statistical techniques are used to draw practical conclusions, ranging from topics introduced in an elementary course on experimental measurements all the way to more involved approaches to regression.


title: Black hole entropy from non-Dirichlet sectors, and bounce solution

abstract: In a series of recent works the relevance of gravitational boundary degrees of freedom and their dynamics in gravity quantization and black hole information has been explored. In this work we further the progress by keenly focusing on the boundary degrees of freedom as the origin of black hole entropy. Wald's entropy formula is scrutinized, and the reason that the Wald's formula correctly captures the entropy of a black hole is examined. Afterwards, limitations of the Wald's method are discussed; a coherent view of entropy based on boundary dynamics is presented. The discrepancy observed in the literature between holographic and Wald's entropies is addressed. We generalize the entropy definition so as to handle a time-dependent black hole. Large gauge symmetry plays a pivotal role. Non-Dirichlet boundary conditions and gravitational analogues of Coleman-De Luccia bounce solutions are central in identifying the microstates and differentiating the origins of entropies associated with different classes of solutions. The result in the present work leads to a view that black hole entropy is entanglement entropy in a thermodynamic setup.


title: Self-organized criticality for dendritic readiness potential

abstract: Self-organized criticality is a principle explaining avalanche-like phenomena obeying power-laws in integrate-and-fire type dynamical systems. Here, we demonstrate that the behaviorally relevant brain neurons, mediating voluntary and reflexive behaviors in crayfish, show signatures of self-organized criticality. The dendritic activities are into the critical states following power-laws; characterized by scaling functions within neurons; but mapped to the common scaling relation across individuals. The relation is in line with the extracellular neuronal avalanches in vertebrate species which have provided evidence of the critical brain hypothesis. Our intracellular data extend the universality of the hypothesis. In particular, it indicates that the pre-movement buildup activity before the voluntary behavioral onset "from crayfish to human", readiness potential, is shaped by the avalanches. The nervous systems can exploit the universal dynamics for volition across the phylogenetic tree.


title: SJTU-AISPEECH System for VoxCeleb Speaker Recognition Challenge 2022

abstract: This report describes the SJTU-AISPEECH system for the Voxceleb Speaker Recognition Challenge 2022. For track1, we implemented two kinds of systems, the online system and the offline system. Different ResNet-based backbones and loss functions are explored. Our final fusion system achieved 3rd place in track1. For track3, we implemented statistic adaptation and jointly training based domain adaptation. In the jointly training based domain adaptation, we jointly trained the source and target domain dataset with different training objectives to do the domain adaptation. We explored two different training objectives for target domain data, self-supervised learning based angular proto-typical loss and semi-supervised learning based classification loss with estimated pseudo labels. Besides, we used the dynamic loss-gate and label correction (DLG-LC) strategy to improve the quality of pseudo labels when the target domain objective is a classification loss. Our final fusion system achieved 4th place (very close to 3rd place, relatively less than 1%) in track3.


title: Statistical Treatment Rules under Social Interaction

abstract: In this paper we study treatment assignment rules in the presence of social interaction. We construct an analytical framework under the anonymous interaction assumption, where the decision problem becomes choosing a treatment fraction. We propose a multinomial empirical success (MES) rule that includes the empirical success rule of Manski (2004) as a special case. We investigate the non-asymptotic bounds of the expected utility based on the MES rule. Finally, we prove that the MES rule achieves the asymptotic optimality with the minimax regret criterion.


title: NIERT: Accurate Numerical Interpolation through Unifying Scattered Data Representations using Transformer Encoder

abstract: Interpolation for scattered data is a classical problem in numerical analysis, with a long history of theoretical and practical contributions. Recent advances have utilized deep neural networks to construct interpolators, exhibiting excellent and generalizable performance. However, they still fall short in two aspects: \textbf{1) inadequate representation learning}, resulting from separate embeddings of observed and target points in popular encoder-decoder frameworks and \textbf{2) limited generalization power}, caused by overlooking prior interpolation knowledge shared across different domains. To overcome these limitations, we present a \textbf{N}umerical \textbf{I}nterpolation approach using \textbf{E}ncoder \textbf{R}epresentation of \textbf{T}ransformers (called \textbf{NIERT}). On one hand, NIERT utilizes an encoder-only framework rather than the encoder-decoder structure. This way, NIERT can embed observed and target points into a unified encoder representation space, thus effectively exploiting the correlations among them and obtaining more precise representations. On the other hand, we propose to pre-train NIERT on large-scale synthetic mathematical functions to acquire prior interpolation knowledge, and transfer it to multiple interpolation domains with consistent performance gain. On both synthetic and real-world datasets, NIERT outperforms the existing approaches by a large margin, i.e., 4.3$\sim$14.3$\times$ lower MAE on TFRD subsets, and 1.7/1.8/8.7$\times$ lower MSE on Mathit/PhysioNet/PTV datasets. The source code of NIERT is available at https://github.com/DingShizhe/NIERT.


title: MSVIPER: Improved Policy Distillation for Reinforcement-Learning-Based Robot Navigation

abstract: We present Multiple Scenario Verifiable Reinforcement Learning via Policy Extraction (MSVIPER), a new method for policy distillation to decision trees for improved robot navigation. MSVIPER learns an "expert" policy using any Reinforcement Learning (RL) technique involving learning a state-action mapping and then uses imitation learning to learn a decision-tree policy from it. We demonstrate that MSVIPER results in efficient decision trees and can accurately mimic the behavior of the expert policy. Moreover, we present efficient policy distillation and tree-modification techniques that take advantage of the decision tree structure to allow improvements to a policy without retraining. We use our approach to improve the performance of RL-based robot navigation algorithms for indoor and outdoor scenes. We demonstrate the benefits in terms of reduced freezing and oscillation behaviors (by up to 95\% reduction) for mobile robots navigating among dynamic obstacles and reduced vibrations and oscillation (by up to 17\%) for outdoor robot navigation on complex, uneven terrains.


title: Nodal domain theorems for $p$-Laplacians on signed graphs

abstract: We establish various nodal domain theorems for $p$-Laplacians on signed graphs, which unify most of the existing results on nodal domains of graph $p$-Laplacians and arbitrary symmetric matrices. Based on our nodal domain estimates, we obtain a higher order Cheeger inequality that relates the variational eigenvalues of $p$-Laplacians and Atay-Liu's multi-way Cheeger constants on signed graphs. In the particular case of $p=1$, this leads to several identities relating variational eigenvalues and multi-way Cheeger constants. Intriguingly, our approach also leads to new results on usual graphs, including a weak version of Sturm's oscillation theorem for graph $1$-Laplacians and nonexistence of eigenvalues between the largest and second largest variational eigenvalues of $p$-Laplacians with $p>1$ on connected bipartite graphs.


title: The GenCol algorithm for high-dimensional optimal transport: general formulation and application to barycenters and Wasserstein splines

abstract: We extend the recently introduced genetic column generation algorithm for high-dimensional multi-marginal optimal transport from symmetric to general problems. We use the algorithm to calculate accurate mesh-free Wasserstein barycenters and cubic Wasserstein splines.


title: Automorphisms of del Pezzo surfaces in characteristic 2

abstract: We classify the automorphism groups of del Pezzo surfaces of degrees one and two over an algebraically closed field of characteristic two. This finishes the classification of automorphism groups of del Pezzo surfaces in all characteristics.


title: A Novel Non-Volatile Inverter-based CiM: Continuous Sign Weight Transition and Low Power on-Chip Training

abstract: In this work, we report a novel design, one-transistor-one-inverter (1T1I), to satisfy high speed and low power on-chip training requirements. By leveraging doped HfO2 with ferroelectricity, a non-volatile inverter is successfully demonstrated, enabling desired continuous weight transition between negative and positive via the programmable threshold voltage (VTH) of ferroelectric field-effect transistors (FeFETs). Compared with commonly used designs with the similar function, 1T1I uniquely achieves pure on-chip-based weight transition at an optimized working current without relying on assistance from off-chip calculation units for signed-weight comparison, facilitating high-speed training at low power consumption. Further improvements in linearity and training speed can be obtained via a two-transistor-one-inverter (2T1I) design. Overall, focusing on energy and time efficiencies, this work provides a valuable design strategy for future FeFET-based computing-in-memory (CiM).


title: Computing Anti-Derivatives using Deep Neural Networks

abstract: This paper presents a novel algorithm to obtain the closed-form anti-derivative of a function using Deep Neural Network architecture. In the past, mathematicians have developed several numerical techniques to approximate the values of definite integrals, but primitives or indefinite integrals are often non-elementary. Anti-derivatives are necessarily required when there are several parameters in an integrand and the integral obtained is a function of those parameters. There is no theoretical method that can do this for any given function. Some existing ways to get around this are primarily based on either curve fitting or infinite series approximation of the integrand, which is then integrated theoretically. Curve fitting approximations are inaccurate for highly non-linear functions and require a different approach for every problem. On the other hand, the infinite series approach does not give a closed-form solution, and their truncated forms are often inaccurate. We claim that using a single method for all integrals, our algorithm can approximate anti-derivatives to any required accuracy. We have used this algorithm to obtain the anti-derivatives of several functions, including non-elementary and oscillatory integrals. This paper also shows the applications of our method to get the closed-form expressions of elliptic integrals, Fermi-Dirac integrals, and cumulative distribution functions and decrease the computation time of the Galerkin method for differential equations.


title: Extracting nuclear matter properties from the neutron star matter equation of state using deep neural networks

abstract: The extraction of the nuclear matter properties from neutron star (NS) observations is nowadays an important issue, in particular, the properties that characterize the symmetry energy which are essential to describe correctly asymmetric nuclear matter. We use deep neural networks (DNNs) to map the relation between cold $\beta$-equilibrium NS matter and the nuclear matter properties. Assuming a quadratic dependence on the isospin asymmetry for the energy per particle of homogeneous nuclear matter and using a Taylor expansion up to fourth order in the iso-scalar and iso-vector contributions, we generate a dataset of different realizations of $\beta$-equilibrium NS matter and the corresponding nuclear matter properties. The DNN model was successfully trained, attaining great accuracy in the test set. Finally, a real case scenario was used to test the DNN model, where a set of 33 nuclear models, obtained within a relativistic mean field approach or a Skyrme force description, were fed into the DNN model and the corresponding nuclear matter parameters recovered with considerable accuracy, in particular, the standard deviations $\sigma(L_{\text{sym}})= 12.85$ MeV and $\sigma(K_{\text{sat}})= 41.02$ MeV were obtained, respectively, for the slope of the symmetry energy and the nuclear matter incompressibility at saturation.


title: Graphoids

abstract: We study invariants of virtual graphoids, which are virtual spatial graph diagrams with two distinguished degree-one vertices modulo graph Reidemeister moves applied away from the distinguished vertices. Generalizing previously known results, we give topological interpretations of graphoids. There are several applications to virtual graphoid theory. First, virtual graphoids are suitable objects for studying knotted graphs with open ends arising in proteins. Second, a virtual graphoid can be thought of as a way to represent a virtual spatial graph without using as many crossings, which can be advantageous for computing invariants.


title: Orbital magnetoelectric effect in nanoribbons of transition metal dichalcogenides

abstract: The orbital magnetoelectric effect (OME) generically refers to the appearance of an orbital magnetization induced by an applied electric field. Here, we show that nanoribbons of transition metal dichalcogenides (TMDs) with zigzag (ZZ) edges may exhibit a sizeable OME activated by an electric field applied along the ribbons' axis. We examine nanoribbons extracted from a monolayer (1L) and a bilayer (2L) of MoS$_2$ in the trigonal (H) structural phase. Transverse profiles of the induced orbital angular momentum accumulations are calculated to first order in the longitudinally applied electric field. Our results show that close to the nanoribbon's edge-state crossings energy, the orbital angular momentum accumulations take place mainly around the ribbons' edges. They have two contributions: one arising from the orbital Hall effect (OHE) and the other consists in the OME. The former is transversely anti-symmetric with respect to the principal axis of the nanoribbon, whereas the latter is symmetric, and hence responsible for the resultant orbital magnetization induced in the system. We found that the orbital accumulation originating from the OHE for the 1L-nanoribbon is approximately half that of a 2L-nanoribbon. Furthermore, while the OME can reach fairly high values in 1L-TMD nanoribbons, it vanishes in the 2L ones that preserve spatial inversion symmetry.The microscopic features that justify our findings are also discussed.


title: The shape of dark matter haloes: results from weak lensing in the Ultraviolet Near-Infrared Optical Northern Survey (UNIONS)

abstract: Cold dark matter haloes are expected to be triaxial, and so appear elliptical in projection. We use weak gravitational lensing from the Canada-France Imaging Survey (CFIS) component of the Ultraviolet-Near Infrared Optical Northern Survey (UNIONS) to measure the ellipticity of the dark matter haloes around Luminous Red Galaxies (LRGs) from the Sloan Digital Sky Survey Data Release 7 (DR7) and from the CMASS and LOWZ samples of the Baryon Oscillation Spectroscopic Survey (BOSS), assuming their major axes are aligned with the stellar light. We find that DR7 LRGs with masses $M \sim 2.7\times10^{13} \mathrm{M}_{\odot}/h$ have halo ellipticities $e=0.46\pm0.10$. Expressed as a fraction of the galaxy ellipticity, we find $f_h = 2.2\pm0.6$. For BOSS LRGs, the detection is of marginal significance: $e = 0.20\pm0.10$ and $f_h=0.7\pm0.7$. These results are in agreement with other measurements of halo ellipticity from weak lensing and, taken together with previous results, suggest an increase of halo ellipticity of $0.10\pm0.06$ per decade in halo mass. This trend agrees with the predictions from hydrodynamical simulations, which find that at higher halo masses, not only do dark matter haloes become more elliptical, but that the misalignment between major axis of the stellar light in the central galaxy and that of the dark matter decreases.


title: Quantum loop groups for arbitrary quivers

abstract: We study the dual constructions of quantum loop groups and Feigin-Odesskii type shuffle algebras for an arbitrary quiver, for which the arrow parameters are arbitrary non-zero elements of any field. Examples of our setup include $K$-theoretic Hall algebras of quivers with 0 potential, quantum loop groups of Kac-Moody type and quiver quantum toroidal algebras.


title: Uncertainty-aware Efficient Subgraph Isomorphism using Graph Topology

abstract: Subgraph isomorphism or subgraph matching is generally considered as an NP-complete problem, made more complex in practical applications where the edge weights take real values and are subject to measurement noise and possible anomalies. To the best of our knowledge, almost all subgraph matching methods utilize node labels to perform node-node matching. In the absence of such labels (in applications such as image matching and map matching among others), these subgraph matching methods do not work. We propose a method for identifying the node correspondence between a subgraph and a full graph in the inexact case without node labels in two steps - (a) extract the minimal unique topology preserving subset from the subgraph and find its feasible matching in the full graph, and (b) implement a consensus-based algorithm to expand the matched node set by pairing unique paths based on boundary commutativity. Going beyond the existing subgraph matching approaches, the proposed method is shown to have realistically sub-linear computational efficiency, robustness to random measurement noise, and good statistical properties. Our method is also readily applicable to the exact matching case without loss of generality. To demonstrate the effectiveness of the proposed method, a simulation and a case study is performed on the Erdos-Renyi random graphs and the image-based affine covariant features dataset respectively.


title: Anisotropic solution for polytropic stars in 4D Einstein-Gauss-Bonnet gravity

abstract: In the present work we have investigated a new anisotropic solution for polytropic star in the framework of $4D$ Einstein-Gauss-Bonnet (EGB) gravity. The possibility of determining the masses and radii of compact stars which puts some limitations on equation of state (EoS) above the nuclear saturation density. For this purpose, the $4D$ EGB field equations are solved by taking a generalized polytropic equation of state (EoS) with Finch-Skea ansatz. The generalized solution for anisotropic model has been tested for different values of Gauss-Bonnet constant $\alpha$ which satisfies all the physical criteria including causality with static stability via mass vs central mass density ($M-\rho_c$), Bondi and Abreu criterion. The adiabatic index shows a minor influence of the GB coupling constant whereas the central and surface redshifts in the EGB gravity always remain lower than the GR. We present the possibility of fitting the mass and radius for some known compact star via $M-R$ curve which satisfies the recent gravitational wave observations from GW 170817 event.


title: TASKED: Transformer-based Adversarial learning for human activity recognition using wearable sensors via Self-KnowledgE Distillation

abstract: Wearable sensor-based human activity recognition (HAR) has emerged as a principal research area and is utilized in a variety of applications. Recently, deep learning-based methods have achieved significant improvement in the HAR field with the development of human-computer interaction applications. However, they are limited to operating in a local neighborhood in the process of a standard convolution neural network, and correlations between different sensors on body positions are ignored. In addition, they still face significant challenging problems with performance degradation due to large gaps in the distribution of training and test data, and behavioral differences between subjects. In this work, we propose a novel Transformer-based Adversarial learning framework for human activity recognition using wearable sensors via Self-KnowledgE Distillation (TASKED), that accounts for individual sensor orientations and spatial and temporal features. The proposed method is capable of learning cross-domain embedding feature representations from multiple subjects datasets using adversarial learning and the maximum mean discrepancy (MMD) regularization to align the data distribution over multiple domains. In the proposed method, we adopt the teacher-free self-knowledge distillation to improve the stability of the training procedure and the performance of human activity recognition. Experimental results show that TASKED not only outperforms state-of-the-art methods on the four real-world public HAR datasets (alone or combined) but also improves the subject generalization effectively.


title: Scene Graph Modification as Incremental Structure Expanding

abstract: A scene graph is a semantic representation that expresses the objects, attributes, and relationships between objects in a scene. Scene graphs play an important role in many cross modality tasks, as they are able to capture the interactions between images and texts. In this paper, we focus on scene graph modification (SGM), where the system is required to learn how to update an existing scene graph based on a natural language query. Unlike previous approaches that rebuilt the entire scene graph, we frame SGM as a graph expansion task by introducing the incremental structure expanding (ISE). ISE constructs the target graph by incrementally expanding the source graph without changing the unmodified structure. Based on ISE, we further propose a model that iterates between nodes prediction and edges prediction, inferring more accurate and harmonious expansion decisions progressively. In addition, we construct a challenging dataset that contains more complicated queries and larger scene graphs than existing datasets. Experiments on four benchmarks demonstrate the effectiveness of our approach, which surpasses the previous state-of-the-art model by large margins.


title: SFS-A68: a dataset for the segmentation of space functions in apartment buildings

abstract: Analyzing building models for usable area, building safety, or energy analysis requires function classification data of spaces and related objects. Automated space function classification is desirable to reduce input model preparation effort and errors. Existing space function classifiers use space feature vectors or space connectivity graphs as input. The application of deep learning (DL) image segmentation methods to space function classification has not been studied. As an initial step towards addressing this gap, we present a dataset, SFS-A68, that consists of input and ground truth images generated from 68 digital 3D models of space layouts of apartment buildings. The dataset is suitable for developing DL models for space function segmentation. We use the dataset to train and evaluate an experimental space function segmentation network based on transfer learning and training from scratch. Test results confirm the applicability of DL image segmentation for space function classification. The code and the dataset of the experiments are publicly available online (https://github.com/A2Amir/SFS-A68).


title: A Hybrid Labeled Multi-Bernoulli Filter With Amplitude For Tracking Fluctuating Targets

abstract: The amplitude information of target returns has been incorporated into many tracking algorithms for performance improvements. One of the limitations of employing amplitude feature is that the signal-to-noise ratio (SNR) of the target, i.e., the parameter of amplitude likelihood, is usually assumed to be known and constant. In practice, the target SNR is always unknown, and is dependent on aspect angle hence it will fluctuate. In this paper we propose a hybrid labeled multi-Bernoulli (LMB) filter that introduces the signal amplitude into the LMB filter for tracking targets with unknown and fluctuating SNR. The fluctuation of target SNR is modeled by an autoregressive gamma process and amplitude likelihoods for Swerling 1 and 3 targets are considered. Under Rao-Blackwell decomposition, an approximate Gamma estimator based on Laplace transform and Markov Chain Monte Carlo method is proposed to estimate the target SNR, and the kinematic state is estimated by a Gaussian mixture filter conditioned on the target SNR. The performance of the proposed hybrid filter is analyzed via a tracking scenario including three crossing targets. Simulation results verify the efficacy of the proposed SNR estimator and quantify the benefits of incorporating amplitude information for multi-target tracking.


title: The 3d Transition Metal Single Atom Catalysis for Prominent Adsorption Performance Towards Cr(VI) : A First Principle Study

abstract: The reduction reaction of turning Cr(VI) into Cr(III) by appropriate oxidants together with nanoscale catalysts in contaminated soil and water received significant amount of attention for its environmental benefits. Single-atom catalysts (SACs), as an emergent new type of catalysts, show great potential for simultaneous adsorption for the Cr(VI) removal. In this work, we investigated the efficiency of 3d transitional metal (from Sc to Zn) SACs in adsorption for the Cr(VI) removal via a theoretical approach. DFT calculations were used to measure the structural and energetic of Cr(VI) (H2CrO4 and Cr2O72-) adsorption behavior on the SACs systems. The Ti-N-C has a good performance for the H2CrO4 and Cr2O72- removal and has important environmental protection significance for water purification. In addition, our results show that the binding energy of the SACs systems for H2CrO4 adsorption is found to be much less than that for Cr2O72- adsorption, indicating that reduction of Cr(VI) in Cr2O72- is energetically favorable than that of Cr(VI) in H2CrO4.


title: Disentangling Shape and Pose for Object-Centric Deep Active Inference Models

abstract: Active inference is a first principles approach for understanding the brain in particular, and sentient agents in general, with the single imperative of minimizing free energy. As such, it provides a computational account for modelling artificial intelligent agents, by defining the agent's generative model and inferring the model parameters, actions and hidden state beliefs. However, the exact specification of the generative model and the hidden state space structure is left to the experimenter, whose design choices influence the resulting behaviour of the agent. Recently, deep learning methods have been proposed to learn a hidden state space structure purely from data, alleviating the experimenter from this tedious design task, but resulting in an entangled, non-interpreteable state space. In this paper, we hypothesize that such a learnt, entangled state space does not necessarily yield the best model in terms of free energy, and that enforcing different factors in the state space can yield a lower model complexity. In particular, we consider the problem of 3D object representation, and focus on different instances of the ShapeNet dataset. We propose a model that factorizes object shape, pose and category, while still learning a representation for each factor using a deep neural network. We show that models, with best disentanglement properties, perform best when adopted by an active agent in reaching preferred observations.


title: Deep tensor networks with matrix product operators

abstract: We introduce deep tensor networks, which are exponentially wide neural networks based on the tensor network representation of the weight matrices. We evaluate the proposed method on the image classification (MNIST, FashionMNIST) and sequence prediction (cellular automata) tasks. In the image classification case, deep tensor networks improve our matrix product state baselines and achieve 0.49% error rate on MNIST and 8.3% error rate on FashionMNIST. In the sequence prediction case, we demonstrate an exponential improvement in the number of parameters compared to the one-layer tensor network methods. In both cases, we discuss the non-uniform and the uniform tensor network models and show that the latter generalizes well to different input sizes.


title: Intrinsic sub-Laplacian for hypersurface in a contact sub-Riemannian manifold

abstract: We construct and study the intrinsic sub-Laplacian, defined outside the set of characteristic points, for a smooth hypersurface embedded in a contact sub-Riemannian manifold. We prove that, away from characteristic points, the intrinsic sub-Laplacian arises as the limit of Laplace-Beltrami operators built by means of Riemannian approximations to the sub-Riemannian structure using the Reeb vector field. We carefully analyse three families of model cases for this setting obtained by considering canonical hypersurfaces embedded in model spaces for contact sub-Riemannian manifolds. In these model cases, we show that the intrinsic sub-Laplacian is stochastically complete and in particular, that the stochastic process induced by the intrinsic sub-Laplacian almost surely does not hit characteristic points.


title: Ryser Type Conditions for Extending Colorings of Triples

abstract: In 1951, Ryser showed that an $n\times n$ array $L$ whose top left $r\times s$ subarray is filled with $n$ different symbols, each occurring at most once in each row and at most once in each column, can be completed to a latin square of order $n$ if and only if the number of occurrences of each symbol in $L$ is at least $r+s-n$. We prove a Ryser type result on extending partial coloring of 3-uniform hypergraphs. Let $X,Y$ be finite sets with $X\subsetneq Y$ and $|Y|\equiv 0 \pmod 3$. When can we extend a (proper) coloring of $\lambda \binom{X}{3}$ (all triples on a ground set $X$, each one being repeated $\lambda$ times) to a coloring of $\lambda \binom{Y}{3}$ using the fewest possible number of colors? It is necessary that the number of triples of each color in $\binom{X}{3}$ is at least $|X|-2|Y|/3$. Using hypergraph detachments (Combin. Probab. Comput. 21 (2012), 483--495), we establish a necessary and sufficient condition in terms of list coloring complete multigraphs. Using H\"aggkvist-Janssen's bound (Combin. Probab. Comput. 6 (1997), 295--313), we show that the number of triples of each color being at least $|X|/2-|Y|/6$ is sufficient. Finally we prove an Evans type result by showing that if $|Y|\geq 3|X|$, then any $q$-coloring of any subset of $\lambda \binom{X}{3}$ can be embedded into a $\lambda\binom{|Y|-1}{2}$-coloring of $\lambda \binom{Y}{3}$ as long as $q\leq \lambda \binom{|Y|-1}{2}-\lambda \binom{|X|}{3}/\lfloor{|X|/3}\rfloor$.


title: A First Look at Cepheids in a SN Ia Host with JWST

abstract: We report the first look at extragalactic Cepheid variables with the James Webb Space Telescope, obtained from a serendipitous (to this purpose) observation of NGC 1365, host of an SN Ia (SN 2012fr), a calibration path used to measure the Hubble constant. As expected, the high-resolution observations with NIRCam through F200W show better source separation from line-of-sight companions than HST images at similar near-infrared wavelengths, the spectral region that has been used to mitigate the impact of host dust on distance measurements. Using the standard star P330E as a zeropoint and PSF reference, we photometered 31 previously-known Cepheids in the JWST field, spanning 1.15 < log P < 1.75 including 24 Cepheids in the longer period interval of 1.35 < log P < 1.75. We compared the resultant Period-Luminosity relations to that of 49 Cepheids in the full period range including 38 in the longer period range observed with WFC3/IR on HST and transformed to the JWST photometric system (F200W, Vega). The P-L relations measured with the two space telescopes are in good agreement, with intercepts (at log P=1) of 25.74+/-0.04 and 25.72+\-0.05 for HST and JWST, respectively. Our baseline result comes from the longer period range where the Cepheids have higher signal-to-noise ratios where we find 25.75+\-0.05 and 25.75+\-0.06 mag for HST and JWST, respectively. We find good consistency between this first JWST measurement and HST, and no evidence that HST Cepheid photometry is "biased bright" at the ~0.2 mag level that would be needed to mitigate the Hubble Tension, though comparisons from more SN hosts are warranted and anticipated. We expect future JWST observations to surpass these in quality as they will be optimized for measuring Cepheids.


title: Improving Accuracy and Explainability of Online Handwriting Recognition

abstract: Handwriting recognition technology allows recognizing a written text from a given data. The recognition task can target letters, symbols, or words, and the input data can be a digital image or recorded by various sensors. A wide range of applications from signature verification to electronic document processing can be realized by implementing efficient and accurate handwriting recognition algorithms. Over the years, there has been an increasing interest in experimenting with different types of technology to collect handwriting data, create datasets, and develop algorithms to recognize characters and symbols. More recently, the OnHW-chars dataset has been published that contains multivariate time series data of the English alphabet collected using a ballpoint pen fitted with sensors. The authors of OnHW-chars also provided some baseline results through their machine learning (ML) and deep learning (DL) classifiers. In this paper, we develop handwriting recognition models on the OnHW-chars dataset and improve the accuracy of previous models. More specifically, our ML models provide $11.3\%$-$23.56\%$ improvements over the previous ML models, and our optimized DL models with ensemble learning provide $3.08\%$-$7.01\%$ improvements over the previous DL models. In addition to our accuracy improvements over the spectrum, we aim to provide some level of explainability for our models to provide more logic behind chosen methods and why the models make sense for the data type in the dataset. Our results are verifiable and reproducible via the provided public repository.


title: Effect of quintessence dark energy on the shadow of Hayward black holes with spherical accretion

abstract: It is expected that the astrophysical black holes are surrounded by a luminous accretion flow that is a necessary ingredient for imaging a black hole. In this paper, we study the influence of quintessence dark energy on the shadow images of a Hayward black hole surrounded by the static/infalling spherical accretion flow. We find the effect of the state parameter of quintessence matter on the horizons, photon sphere and impact parameter of the quintessence Hayward black hole. The observed specific intensity of the shadow and also the shadow and photon ring luminosities of the quintessence Hayward black hole in two different spherically accretion flow are investigated. We also use the Event Horizon Telescope observational data of Sgr A* and M87* to constrain the free parameters of quintessence Hayward black hole. Finally, by comparison the results of quintessence Hayward black holes with quintessence Schwarzschild and Hayward black holes we find that the effect of quintessence matter on the black hole shadow is more significant than the regularity effect.


title: VS-CAM: Vertex Semantic Class Activation Mapping to Interpret Vision Graph Neural Network

abstract: Graph convolutional neural network (GCN) has drawn increasing attention and attained good performance in various computer vision tasks, however, there lacks a clear interpretation of GCN's inner mechanism. For standard convolutional neural networks (CNNs), class activation mapping (CAM) methods are commonly used to visualize the connection between CNN's decision and image region by generating a heatmap. Nonetheless, such heatmap usually exhibits semantic-chaos when these CAMs are applied to GCN directly. In this paper, we proposed a novel visualization method particularly applicable to GCN, Vertex Semantic Class Activation Mapping (VS-CAM). VS-CAM includes two independent pipelines to produce a set of semantic-probe maps and a semantic-base map, respectively. Semantic-probe maps are used to detect the semantic information from semantic-base map to aggregate a semantic-aware heatmap. Qualitative results show that VS-CAM can obtain heatmaps where the highlighted regions match the objects much more precisely than CNN-based CAM. The quantitative evaluation further demonstrates the superiority of VS-CAM.


title: Development and Clinical Evaluation of an AI Support Tool for Improving Telemedicine Photo Quality

abstract: Telemedicine utilization was accelerated during the COVID-19 pandemic, and skin conditions were a common use case. However, the quality of photographs sent by patients remains a major limitation. To address this issue, we developed TrueImage 2.0, an artificial intelligence (AI) model for assessing patient photo quality for telemedicine and providing real-time feedback to patients for photo quality improvement. TrueImage 2.0 was trained on 1700 telemedicine images annotated by clinicians for photo quality. On a retrospective dataset of 357 telemedicine images, TrueImage 2.0 effectively identified poor quality images (Receiver operator curve area under the curve (ROC-AUC) =0.78) and the reason for poor quality (Blurry ROC-AUC=0.84, Lighting issues ROC-AUC=0.70). The performance is consistent across age, gender, and skin tone. Next, we assessed whether patient-TrueImage 2.0 interaction led to an improvement in submitted photo quality through a prospective clinical pilot study with 98 patients. TrueImage 2.0 reduced the number of patients with a poor-quality image by 68.0%.


title: Low-Energy Convolutional Neural Networks (CNNs) using Hadamard Method

abstract: The growing demand for the internet of things (IoT) makes it necessary to implement computer vision tasks such as object recognition in low-power devices. Convolutional neural networks (CNNs) are a potential approach for object recognition and detection. However, the convolutional layer in CNN consumes significant energy compared to the fully connected layers. To mitigate this problem, a new approach based on the Hadamard transformation as an alternative to the convolution operation is demonstrated using two fundamental datasets, MNIST and CIFAR10. The mathematical expression of the Hadamard method shows the clear potential to save energy consumption compared to convolutional layers, which are helpful with BigData applications. In addition, to the test accuracy of the MNIST dataset, the Hadamard method performs similarly to the convolution method. In contrast, with the CIFAR10 dataset, test data accuracy is dropped (due to complex data and multiple channels) compared to the convolution method. Finally, the demonstrated method is helpful for other computer vision tasks when the kernel size is smaller than the input image size.


title: List-avoiding orientations

abstract: Given a graph $G$ with a set $F(v)$ of forbidden values at each $v \in V(G)$, an $F$-avoiding orientation of $G$ is an orientation in which $deg^+(v) \not \in F(v)$ for each vertex $v$. Akbari, Dalirrooyfard, Ehsani, Ozeki, and Sherkati conjectured that if $|F(v)| < \frac{1}{2} deg(v)$ for each $v \in V(G)$, then $G$ has an $F$-avoiding orientation, and they showed that this statement is true when $\frac{1}{2}$ is replaced by $\frac{1}{4}$. In this paper, we take a step toward this conjecture by proving that if $|F(v)| < \lfloor \frac{1}{3} deg(v) \rfloor$ for each vertex $v$, then $G$ has an $F$-avoiding orientation. Furthermore, we show that if the maximum degree of $G$ is subexponential in terms of the minimum degree, then this coefficient of $\frac{1}{3}$ can be increased to $\sqrt{2} - 1 - o(1) \approx 0.414$. Our main tool is a new sufficient condition for the existence of an $F$-avoiding orientation based on the Combinatorial Nullstellensatz of Alon and Tarsi.


title: Online Poisoning Attacks Against Data-Driven Predictive Control

abstract: Data-driven predictive control (DPC) is a feedback control method for systems with unknown dynamics. It repeatedly optimizes a system's future trajectories based on past input-output data. We develop a numerical method that computes poisoning attacks that inject additive perturbations to the online output data to change the trajectories optimized by DPC. This method is based on implicitly differentiating the solution map of the trajectory optimization in DPC. We demonstrate that the resulting attacks can cause an output tracking error one order of magnitude higher than random perturbations in numerical experiments.


title: Orbital cohomology and Kahler rigidity

abstract: In the late $70$'s Feldman and Moore defined the cohomology associated to a countable equivalence relation with coefficients in an Abelian Polish group. When the equivalence relation is the orbital one, that is it is induced by a measure preserving action of a countable group $\Gamma$ on a standard Borel probability space $(X,\mu)$, it still makes sense to consider the Feldmann-Moore $1$-cohomology with $G$-coefficients, where this time $G$ can be any topological group. The latter cohomology, denoted by $H^1(\Gamma \curvearrowright X;G)$, is very misterious and hard to compute, except for some exceptional cases. In this expository paper we are going to focus our attention on the particular case when $\Gamma$ is a finitely generated group and $G$ is a Hermitian Lie group. We are going to give some recent rigidity results in this context and we will see how those results can be used to say something relevant about (some subsets of) the orbital cohomology.


title: Reflective hyperbolic 2-elementary lattices, K3 surfaces and hyperkahler varieties

abstract: We compute Coxeter diagrams of several ``large'' reflective even 2-elementary hyperbolic lattices and their maximal parabolic subdiagrams, and give some applications of these results to the theory of K3 surfaces and hyperkahler varieties.


title: DeePhy: On Deepfake Phylogeny

abstract: Deepfake refers to tailored and synthetically generated videos which are now prevalent and spreading on a large scale, threatening the trustworthiness of the information available online. While existing datasets contain different kinds of deepfakes which vary in their generation technique, they do not consider progression of deepfakes in a "phylogenetic" manner. It is possible that an existing deepfake face is swapped with another face. This process of face swapping can be performed multiple times and the resultant deepfake can be evolved to confuse the deepfake detection algorithms. Further, many databases do not provide the employed generative model as target labels. Model attribution helps in enhancing the explainability of the detection results by providing information on the generative model employed. In order to enable the research community to address these questions, this paper proposes DeePhy, a novel Deepfake Phylogeny dataset which consists of 5040 deepfake videos generated using three different generation techniques. There are 840 videos of one-time swapped deepfakes, 2520 videos of two-times swapped deepfakes and 1680 videos of three-times swapped deepfakes. With over 30 GBs in size, the database is prepared in over 1100 hours using 18 GPUs of 1,352 GB cumulative memory. We also present the benchmark on DeePhy dataset using six deepfake detection algorithms. The results highlight the need to evolve the research of model attribution of deepfakes and generalize the process over a variety of deepfake generation techniques. The database is available at: http://iab-rubric.org/deephy-database


title: SPECULOOS Northern Observatory: searching for red worlds in the northern skies

abstract: SPECULOOS is a ground-based transit survey consisting of six identical 1-m robotic telescopes. The immediate goal of the project is to detect temperate terrestrial planets transiting nearby ultracool dwarfs (late M-dwarf stars and brown dwarfs), which could be amenable for atmospheric research with the next generation of telescopes. Here, we report the developments of the northern counterpart of the project - SPECULOOS Northern Observatory, and present its performance during the first three years of operations from mid-2019 to mid-2022. Currently, the observatory consists of one telescope, which is named Artemis. The Artemis telescope demonstrates remarkable photometric precision, allowing it to be ready to detect new transiting terrestrial exoplanets around ultracool dwarfs. Over the period of the first three years after the installation, we observed 96 objects from the SPECULOOS target list for 6000 hours with a typical photometric precision of $0.5\%$, and reaching a precision of $0.2\%$ for relatively bright non-variable targets with a typical exposure time of 25 sec. Our weather downtime (clouds, high wind speed, high humidity, precipitation and/or high concentration of dust particles in the air) over the period of three years was 30% of overall night time. Our actual downtime is 40% because of additional time loss associated with technical problems.


title: Strong effects of fast collisions between pulsed optical beams in a linear medium with weak cubic loss

abstract: We investigate fast collisions between pulsed optical beams in a linear medium with weak cubic loss that arises due to nondegenerate two-photon absorption. We introduce a perturbation method with two small parameters and use it to obtain general formulas for the collision-induced changes in the pulsed-beam's shape and amplitude. Moreover, we use the method to design and characterize collision setups that lead to strong localized and nonlocalized intensity reduction effects. The values of the collision-induced changes in the pulsed-beam's shape in both setups are larger by one to two orders of magnitude compared with the values obtained in previous studies of fast two-pulse collisions. Furthermore, we show that for nonlocalized setups, the graph of the collision-induced amplitude shift vs the difference between the first-order dispersion coefficients for the two pulsed-beams has two local minima. This finding represents the first observation of a deviation of the graph from the common funnel shape that was obtained in all previous studies of fast two-pulse collisions in the presence of weak nonlinear loss. The predictions of our perturbation theory are in good agreement with results of numerical simulations with the perturbed linear propagation model, despite the strong collision-induced effects. Our results can be useful for multisequence optical communication links and for reshaping of pulsed optical beams.


title: Neuro-symbolic Models for Interpretable Time Series Classification using Temporal Logic Description

abstract: Most existing Time series classification (TSC) models lack interpretability and are difficult to inspect. Interpretable machine learning models can aid in discovering patterns in data as well as give easy-to-understand insights to domain specialists. In this study, we present Neuro-Symbolic Time Series Classification (NSTSC), a neuro-symbolic model that leverages signal temporal logic (STL) and neural network (NN) to accomplish TSC tasks using multi-view data representation and expresses the model as a human-readable, interpretable formula. In NSTSC, each neuron is linked to a symbolic expression, i.e., an STL (sub)formula. The output of NSTSC is thus interpretable as an STL formula akin to natural language, describing temporal and logical relations hidden in the data. We propose an NSTSC-based classifier that adopts a decision-tree approach to learn formula structures and accomplish a multiclass TSC task. The proposed smooth activation functions for wSTL allow the model to be learned in an end-to-end fashion. We test NSTSC on a real-world wound healing dataset from mice and benchmark datasets from the UCR time-series repository, demonstrating that NSTSC achieves comparable performance with the state-of-the-art models. Furthermore, NSTSC can generate interpretable formulas that match with domain knowledge.


title: Compositional Law Parsing with Latent Random Functions

abstract: Human cognition has compositionality. We understand a scene by decomposing the scene into different concepts (e.g., shape and position of an object) and learning the respective laws of these concepts, which may be either natural (e.g., laws of motion) or man-made (e.g., laws of a game). The automatic parsing of these laws indicates the model's ability to understand the scene, which makes law parsing play a central role in many visual tasks. This paper proposes a deep latent variable model for Compositional LAw Parsing (CLAP), which achieves the human-like compositionality ability through an encoding-decoding architecture to represent concepts in the scene as latent variables. CLAP employs concept-specific latent random functions instantiated with Neural Processes to capture the law of concepts. Our experimental results demonstrate that CLAP outperforms the baseline methods in multiple visual tasks such as intuitive physics, abstract visual reasoning, and scene representation. The law manipulation experiments illustrate CLAP's interpretability by modifying specific latent random functions on samples. For example, CLAP learns the laws of position-changing and appearance constancy from the moving balls in a scene, making it possible to exchange laws between samples or compose existing laws into novel laws.


title: Trolley optimisation: An extension of bin packing to load PCB components

abstract: A trolley is a container for loading printed circuit board (PCB) components and a trolley optimisation problem (TOP) is an assignment of PCB components to trolleys for use in the production of a set of PCBs in an assembly line. In this paper, we introduce the TOP, a novel operation research application. To formulate the TOP, we derive a novel extension of the bin packing problem. We exploit the problem structure to decompose the TOP into two smaller, identical and independent problems. Further, we develop a mixed integer linear programming model to solve the TOP and prove that the TOP is an NP-complete problem. A case study of an aerospace manufacturing company is used to illustrate the TOP which successfully automated the manual process in the company and resulted in significant cost reductions and flexibility in the building process.


title: Part-Based Models Improve Adversarial Robustness

abstract: We show that combining human prior knowledge with end-to-end learning can improve the robustness of deep neural networks by introducing a part-based model for object classification. We believe that the richer form of annotation helps guide neural networks to learn more robust features without requiring more samples or larger models. Our model combines a part segmentation model with a tiny classifier and is trained end-to-end to simultaneously segment objects into parts and then classify the segmented object. Empirically, our part-based models achieve both higher accuracy and higher adversarial robustness than a ResNet-50 baseline on all three datasets. For instance, the clean accuracy of our part models is up to 15 percentage points higher than the baseline's, given the same level of robustness. Our experiments indicate that these models also reduce texture bias and yield better robustness against common corruptions and spurious correlations. The code is publicly available at https://github.com/chawins/adv-part-model.


title: OCR for TIFF Compressed Document Images Directly in Compressed Domain Using Text segmentation and Hidden Markov Model

abstract: In today's technological era, document images play an important and integral part in our day to day life, and specifically with the surge of Covid-19, digitally scanned documents have become key source of communication, thus avoiding any sort of infection through physical contact. Storage and transmission of scanned document images is a very memory intensive task, hence compression techniques are being used to reduce the image size before archival and transmission. To extract information or to operate on the compressed images, we have two ways of doing it. The first way is to decompress the image and operate on it and subsequently compress it again for the efficiency of storage and transmission. The other way is to use the characteristics of the underlying compression algorithm to directly process the images in their compressed form without involving decompression and re-compression. In this paper, we propose a novel idea of developing an OCR for CCITT (The International Telegraph and Telephone Consultative Committee) compressed machine printed TIFF document images directly in the compressed domain. After segmenting text regions into lines and words, HMM is applied for recognition using three coding modes of CCITT- horizontal, vertical and the pass mode. Experimental results show that OCR on pass modes give a promising results.


title: An inexact regularized proximal Newton method for nonconvex and nonsmooth optimization

abstract: This paper focuses on the minimization of a sum of a twice continuously differentiable function $f$ and a nonsmooth convex function. An inexact regularized proximal Newton method is proposed by an approximation to the Hessian of $f$ involving the $\varrho$th power of the KKT residual. For $\varrho=0$, we justify the global convergence of the iterate sequence for the KL objective function and its R-linear convergence rate for the KL objective function of exponent $1/2$. For $\varrho\in(0,1)$, by assuming that cluster points satisfy a locally H\"{o}lderian error bound of order $q$ on a second-order stationary point set and a local error bound of order $q>1\!+\!\varrho$ on the common stationary point set, respectively, we establish the global convergence of the iterate sequence and its superlinear convergence rate with order depending on $q$ and $\varrho$. A dual semismooth Newton augmented Lagrangian method is also developed for seeking an inexact minimizer of subproblems. Numerical comparisons with two state-of-the-art methods on $\ell_1$-regularized Student's $t$-regressions, group penalized Student's $t$-regressions, and nonconvex image restoration confirm the efficiency of the proposed method.


title: A Closer Look at Novel Class Discovery from the Labeled Set

abstract: Novel class discovery (NCD) aims to infer novel categories in an unlabeled dataset leveraging prior knowledge of a labeled set comprising disjoint but related classes. Existing research focuses primarily on utilizing the labeled set at the methodological level, with less emphasis on the analysis of the labeled set itself. Thus, in this paper, we rethink novel class discovery from the labeled set and focus on two core questions: (i) Given a specific unlabeled set, what kind of labeled set can best support novel class discovery? (ii) A fundamental premise of NCD is that the labeled set must be related to the unlabeled set, but how can we measure this relation? For (i), we propose and substantiate the hypothesis that NCD could benefit more from a labeled set with a large degree of semantic similarity to the unlabeled set. Specifically, we establish an extensive and large-scale benchmark with varying degrees of semantic similarity between labeled/unlabeled datasets on ImageNet by leveraging its hierarchical class structure. As a sharp contrast, the existing NCD benchmarks are developed based on labeled sets with different number of categories and images, and completely ignore the semantic relation. For (ii), we introduce a mathematical definition for quantifying the semantic similarity between labeled and unlabeled sets. In addition, we use this metric to confirm the validity of our proposed benchmark and demonstrate that it highly correlates with NCD performance. Furthermore, without quantitative analysis, previous works commonly believe that label information is always beneficial. However, counterintuitively, our experimental results show that using labels may lead to sub-optimal outcomes in low-similarity settings.


title: How do humans succeed in tasks like proving Fermat's Theorem or predicting the Higgs boson?

abstract: I discuss issues of inverting feasibly computable functions, optimal discovery algorithms, and the constant overheads in their performance.


title: Coarse-Grained Molecular Simulation of Extracellular Vesicles Squeezing for Drug Loading

abstract: In recent years, extracellular vesicles such have become promising carriers as the next-generation drug delivery platforms. Effective loading of exogenous cargos without compromising the extracellular vesicle membrane is a major challenge. Rapid squeezing through nanofluidic channels is a widely used approach to load exogenous cargoes into the EV through the nanopores generated temporarily on the membrane. However, the exact mechanism and dynamics of nanopores opening, as well as cargo loading through nanopores during the squeezing process remains unknown and is impossible to be visualized or quantified experimentally due to the small size of the EV and the fast transient process. This paper developed a systemic algorithm to simulate nanopore formation and predict drug loading during extracellular vesicle (EV) squeezing by leveraging the power of coarse-grain (CG) molecular dynamics simulations with fluid dynamics. The EV CG beads are coupled with implicit Fluctuating Lattice Boltzmann solvent. Effects of EV property and various squeezing test parameters, such as EV size, flow velocity, channel width, and length, on pore formation and drug loading efficiency are analyzed. Based on the simulation results, a phase diagram is provided as a design guidance for nanochannel geometry and squeezing velocity to generate pores on membrane without damaging the EV. This method can be utilized to optimize the nanofluidic device configuration and flow setup to obtain desired drug loading into EVs


title: Local analytic sector subtraction for initial- and final-state radiation at NLO in massless QCD

abstract: Within the framework of local analytic sector subtraction, we present the subtraction of next-to-leading-order QCD singularities for processes featuring massless coloured particles in the initial as well as in the final state. The features of the method are explained in detail, including the introduction of an optimisation procedure aiming at improving numerical stability at the cost of no extra analytic complexity. A numerical validation is provided for a variety of processes relevant to lepton as well as hadron colliders. This work constitutes a relevant step in view of the application of our subtraction method to processes involving initial-state radiation at next-to-next-to-leading order in QCD.


title: DMMGAN: Diverse Multi Motion Prediction of 3D Human Joints using Attention-Based Generative Adverserial Network

abstract: Human motion prediction is a fundamental part of many human-robot applications. Despite the recent progress in human motion prediction, most studies simplify the problem by predicting the human motion relative to a fixed joint and/or only limit their model to predict one possible future motion. While due to the complex nature of human motion, a single output cannot reflect all the possible actions one can do. Also, for any robotics application, we need the full human motion including the user trajectory not a 3d pose relative to the hip joint. In this paper, we try to address these two issues by proposing a transformer-based generative model for forecasting multiple diverse human motions. Our model generates \textit{N} future possible motion by querying a history of human motion. Our model first predicts the pose of the body relative to the hip joint. Then the \textit{Hip Prediction Module} predicts the trajectory of the hip movement for each predicted pose frame. To emphasize on the diverse future motions we introduce a similarity loss that penalizes the pairwise sample distance. We show that our system outperforms the state-of-the-art in human motion prediction while it can predict diverse multi-motion future trajectories with hip movements


title: Operationalizing Machine Learning: An Interview Study

abstract: Organizations rely on machine learning engineers (MLEs) to operationalize ML, i.e., deploy and maintain ML pipelines in production. The process of operationalizing ML, or MLOps, consists of a continual loop of (i) data collection and labeling, (ii) experimentation to improve ML performance, (iii) evaluation throughout a multi-staged deployment process, and (iv) monitoring of performance drops in production. When considered together, these responsibilities seem staggering -- how does anyone do MLOps, what are the unaddressed challenges, and what are the implications for tool builders? We conducted semi-structured ethnographic interviews with 18 MLEs working across many applications, including chatbots, autonomous vehicles, and finance. Our interviews expose three variables that govern success for a production ML deployment: Velocity, Validation, and Versioning. We summarize common practices for successful ML experimentation, deployment, and sustaining production performance. Finally, we discuss interviewees' pain points and anti-patterns, with implications for tool design.


title: Typical self-affine sets with non-empty interior

abstract: Let $T_1,\ldots, T_m$ be a family of $d\times d$ invertible real matrices with $\|T_i\| <1/2$ for $1\leq i\leq m$. We provide some sufficient conditions on these matrices such that the self-affine set generated by the iterated function system $\{T_ix+a_i\}_{i=1}^m$ on $\Bbb R^d$ has non-empty interior for almost all $(a_1,\ldots, a_m)\in \Bbb R^{md}$.


title: Is Rust C++-fast? Benchmarking System Languages on Everyday Routines

abstract: Rust is a relatively new system programming language that has been experiencing a rapid adoption in the past 10 years. Rust incorporates a memory ownership model enforced at a compile time. Since this model involves zero runtime overhead, programs written in Rust are not only memory-safe but also fast, leading to performance comparable to C and C++. Multiple existing benchmarks comparing the performance of Rust with other languages focus on rarely used superficial algorithms, leading to somewhat inconclusive results. In this work, we conduct a comparative performance benchmark of Rust and C++ using commonly used algorithms and data structures rather than exotic ones. Our evaluation shows that the overall performance of Rust is similar to C++, with only minor disadvantage. We also demonstrate that in some Rust routines are slightly faster than the ones of C++.


title: Effect of the crystallographic c-axis orientation on the tribological properties of the few-layer PtSe2

abstract: Two-dimensional (2D) transition metal dichalcogenides are potential candidates for ultrathin solid-state lubricants in low-dimensional systems owing to their flatness, high in-plane mechanical strength, and low shear interlayer strength. Yet, the effects of surface topography and surface chemistry on the tribological properties of 2D layers are still unclear. In this work, we performed a comparative investigation of nanoscale tribological properties of ultra-thin highly-ordered PtSe2 layers deposited on the sapphire substrates with the in-plane and out-of-plane crystallographic orientation of the PtSe2 c-axis flakes, and epitaxial PtSe2 layers. PtSe2 c-axis orientation was found to has an impact on the nanotribological, morphological and electrical properties of PtSe2, in particular the change in the alignment of the PtSe2 flakes from vertical (VA) to horizontal (HA) led to the lowering of the coefficient of friction from 0.21 to 0.16. This observation was accompanied by an increase in the root-mean-square surface roughness from 1.0 to 1.7 nm for the HA and VA films, respectively. The epitaxial films showed lower friction caused by lowering adhesion when compared to other investigated films, whereas the friction coefficient was similar to films with HA flakes. The observed trends in nanoscale friction is attributed to a different distribution of PtSe2 structure.


title: Rotational control of reactivity: Reaction of SiO$^+$ ions in extreme rotational states

abstract: Optical pumping of molecules provides unique opportunities for the control of chemical reactions at a wide range of rotational energies. Chemical reactivity for the hydrogen abstraction reaction SiO$^+$ + H$_2$ $\rightarrow$ SiOH$^+$ + H is investigated in an ion trap. The SiO$^+$ cation is prepared with a narrow rotational state distribution, including super-rotor states with rotational quantum number $\it{(j)}$ as high as 170 using a broad-band optical pumping method. The super-rotor states of SiO$^+$ are shown to substantially enhance the reaction rate, a trend reproduced by complementary theoretical studies. The mechanism for the rotational enhancement of the reactivity is revealed to be a strong coupling of the SiO$^+$ rotational mode with the reaction coordinate at the transition state on the dominant dynamical pathway. This work reports for the first time a chemical reaction with extreme rotational excitation of a reactant and its kinetic characterization.


title: SAMP: A Model Inference Toolkit of Post-Training Quantization for Text Processing via Self-Adaptive Mixed-Precision

abstract: The latest industrial inference engines, such as FasterTransformer and TurboTransformers, have verified that half-precision floating point (FP16) and 8-bit integer (INT8) quantization can greatly improve model inference speed. However, the existing INT8 quantization methods are too complicated, and improper usage will lead to model performance damage greatly. In this paper, we develop a toolkit for users to easily quantize their models for inference, in which Self-Adaptive Mixed-Precision (SAMP) is proposed to automatically control quantization rate by a mixed-precision architecture to balance model accuracy and efficiency. Experimental results show that our SAMP toolkit has a higher speedup than PyTorch and FasterTransformer while ensuring the required accuracy. In addition, SAMP is based on a modular design, decoupling the tokenizer, embedding, encoder and target layers, which allows users to handle various downstream tasks and can be seamlessly integrated into PyTorch.


title: Optimized Design Method for Satellite Constellation Configuration Based on Real-time Coverage Area Evaluation

abstract: When using constellation synergy to image large areas for reconnaissance, it is required to achieve the coverage capability requirements with minimal consumption of observation resources to obtain the most optimal constellation observation scheme. With the minimum number of satellites and meeting the real-time ground coverage requirements as the optimization objectives, this paper proposes an optimized design of satellite constellation configuration for full coverage of large-scale regional imaging by using an improved simulated annealing algorithm combined with the real-time coverage evaluation method of hexagonal discretization. The algorithm can adapt to experimental conditions, has good efficiency, and can meet industrial accuracy requirements. The effectiveness and adaptability of the algorithm are tested in simulation applications.


title: Experimental Observation of Curved Light-Cones in a Quantum Field Simulator

abstract: We investigate signal propagation in a quantum field simulator of the Klein-Gordon model realized by two strongly coupled parallel one-dimensional quasi-condensates. By measuring local phononic fields after a quench, we observe the propagation of correlations along sharp light-cone fronts. If the local atomic density is inhomogeneous, these propagation fronts are curved. For sharp edges, the propagation fronts are reflected at the system's boundaries. By extracting the space-dependent variation of the front velocity from the data, we find agreement with theoretical predictions based on curved geodesics of an inhomogeneous metric. This work extends the range of quantum simulations of non-equilibrium field dynamics in general spacetime metrics.

categories: cond-mat.quant-gas cond-mat.stat-mech gr-qc quant-ph


title: A nested loop for simultaneous model topology screening, parameters estimation, and identification of the optimal number of experiments: Application to a Simulated Moving Bed unit

abstract: Simulated Moving Bed (SMB) chromatography is a well-known technique for the resolution of several high-value-added compounds. Parameters identification and model topology definition are arduous when one is dealing with complex systems such as a Simulated Moving Bed unit. Moreover, the large number of experiments necessary might be an expansive-long process. Hence, this work proposes a novel methodology for parameter estimation, screening the most suitable topology of the models sink-source (defined by the adsorption isotherm equation) and defining the minimum number of experiments necessary to identify the model. Therefore, a nested loop optimization problem is proposed with three levels considering the three main goals of the work: parameters estimation; topology screening by isotherm definition; minimum number of experiments necessary to yield a precise model. The proposed methodology emulated a real scenario by introducing noise in the data and using a Software-in-the-Loop (SIL) approach. Data reconciliation and uncertainty evaluation add robustness to the parameter estimation adding precision and reliability to the model. The methodology is validated considering experimental data from literature apart from the samples applied for parameter estimation, following a cross-validation. The results corroborate that it is possible to carry out trustworthy parameter estimation directly from an SMB unit with minimal system knowledge.


title: Safety Index Synthesis via Sum-of-Squares Programming

abstract: Control systems often need to satisfy strict safety requirements. Safety index provides a handy way to evaluate the safety level of the system and derive the resulting safe control policies. However, designing safety index functions under control limits is difficult and requires a great amount of expert knowledge. This paper proposes a framework for synthesizing the safety index for general control systems using sum-of-squares programming. Our approach is to show that ensuring the non-emptiness of safe control on the safe set boundary is equivalent to a local manifold positiveness problem. We then prove that this problem is equivalent to sum-of-squares programming via the Positivstellensatz of algebraic geometry. We validate the proposed method on robot arms with different degrees of freedom and ground vehicles. The results show that the synthesized safety index guarantees safety and our method is effective even in high-dimensional robot systems.


title: $S$-Packing Coloring of Cubic Halin Graphs

abstract: Given a non-decreasing sequence $S = (s_{1}, s_{2}, \ldots , s_{k})$ of positive integers, an $S$-packing coloring of a graph $G$ is a partition of the vertex set of $G$ into $k$ subsets $\{V_{1}, V_{2}, \ldots , V_{k}\}$ such that for each $1 \leq i \leq k$, the distance between any two distinct vertices $u$ and $v$ in $V_{i}$ is at least $s_{i} + 1$. In this paper, we study the problem of $S$-packing coloring of cubic Halin graphs, and we prove that every cubic Halin graph is $(1,1,2,3)$-packing colorable. In addition, we prove that such graphs are $(1,2,2,2,2,2)$-packing colorable.


title: 29P/Schwassmann-Wachmann: A Rosetta Stone for Amorphous Water Ice and CO <-> CO2 Conversion in Centaurs and Comets?

abstract: Centaur 29P/Schwassmann-Wachmann 1 (SW1) is a highly active object orbiting in the transitional Gateway region (Sarid et al. 2019) between the Centaur and Jupiter Family Comet regions. SW1 is unique among the Centaurs in that it experiences quasi-regular major outbursts and produces CO emission continuously; however, the source of the CO is unclear. We argue that due to its very large size (approx. 32 km radius), SW1 is likely still responding, via amorphous water ice (AWI) conversion to crystalline water ice (CWI), to the rapid change in its external thermal environment produced by its dynamical migration from the Kuiper belt to the Gateway Region at the inner edge of the Centaur region at 6 au. It is this conversion process that is the source of the abundant CO and dust released from the object during its quiescent and outburst phases. If correct, these arguments have a number of important predictions testable via remote sensing and in situ spacecraft characterization, including: the quick release on Myr timescales of CO from AWI conversion for any few km-scale scattered disk KBO transiting into the inner system; that to date SW1 has only converted between 50 to 65% of its nuclear AWI to CWI; that volume changes upon AWI conversion could have caused subsidence and cave-ins, but not significant mass wasting or crater loss on SW1; that SW1s coma should contain abundant amounts of CWI CO2-rich icy dust particles; and that when SW1 transits into the inner system within the next 10,000 years, it will be a very different kind of JFC comet.


title: Existence and Uniqueness of Maximal Solutions to SPDEs with Applications to Viscous Fluid Equations

abstract: We present two criteria to conclude that a stochastic partial differential equation (SPDE) posseses a unique maximal strong solution. This paper provides the full details of the abstract well-posedness results first given in arXiv:2202.09242v2, and partners a paper which rigorously addresses applications to the 3D SALT (Stochastic Advection by Lie Transport) Navier-Stokes Equation in velocity and vorticity form, on the torus and the bounded domain respectively. Each criterion has its corresponding set of assumptions and can be applied to viscous fluid equations with additive, multiplicative or a general transport type noise.


title: Robust Beamforming and Rate-Splitting Design for Next Generation Ultra-Reliable and Low-Latency Communications

abstract: The next generation ultra-reliable and low-latency communications (xURLLC) need novel design to provide satisfactory services to the emerging mission-critical applications. To improve the spectrum efficiency and enhance the robustness of xURLLC, this paper proposes a robust beamforming and rate-splitting design in the finite blocklength (FBL) regime for downlink multi-user multi-antenna xURLLC systems. In the design, adaptive rate-splitting is introduced to flexibly handle the complex inter-user interference and thus improve the spectrum efficiency. Taking the imperfection of the channel state information at the transmitter (CSIT) into consideration, a max-min user rate problem is formulated to optimize the common and private beamforming vectors and the rate-splitting vector under the premise of ensuring the requirements of transmission latency and reliability of all the users. The optimization problem is intractable due to the non-convexity of the constraint set and the infinite constraints caused by CSIT uncertainties. To solve it, we convert the infinite constraints into finite ones by the S-Procedure method and transform the original problem into a difference of convex (DC) programming. A constrained concave convex procedure (CCCP) and the Gaussian randomization based iterative algorithm is proposed to obtain a local minimum. Simulation results confirm the convergence, robustness and effectiveness of the proposed robust beamforming and rate-splitting design in the FBL regime. It is also shown that the proposed robust design achieves considerable performance gain in the worst user rate compared with existing transmission schemes under various blocklength and block error rate requirements.


title: Machine Learning based Extraction of Boundary Conditions from Doppler Echo Images for Patient Specific Coarctation of the Aorta: Computational Fluid Dynamics Study

abstract: Purpose- Coarctation of the Aorta (CoA) patient-specific computational fluid dynamics (CFD) studies in resource constrained settings are limited by the available imaging modalities for geometry and velocity data acquisition. Doppler echocardiography has been seen as a suitable velocity acquisition modality due to its higher availability and safety. This study aimed to investigate the application of classical machine learning (ML) methods to create an adequate and robust approach for obtaining boundary conditions (BCs) from Doppler Echocardiography images, for haemodynamic modeling using CFD. Methods- Our proposed approach combines ML and CFD to model haemodynamic flow within the region of interest. With the key feature of the approach being the use of ML models to calibrate the inlet and outlet boundary conditions (BCs) of the CFD model. The key input variable for the ML model was the patients heart rate as this was the parameter that varied in time across the measured vessels within the study. ANSYS Fluent was used for the CFD component of the study whilst the scikit-learn python library was used for the ML component. Results- We validated our approach against a real clinical case of severe CoA before intervention. The maximum coarctation velocity of our simulations were compared to the measured maximum coarctation velocity obtained from the patient whose geometry is used within the study. Of the 5 ML models used to obtain BCs the top model was within 5\% of the measured maximum coarctation velocity. Conclusion- The framework demonstrated that it was capable of taking variations of the patients heart rate between measurements into account. Thus, enabling the calculation of BCs that were physiologically realistic when the heart rate was scaled across each vessel whilst providing a reasonably accurate solution.


title: Li-Yorke chaos for composition operators on Orlicz spaces

abstract: In this paper we characterize Li-Yorke chaotic composition operators on Orlicz spaces. Indeed some necessary and suffcient conditions are provided for Li-Yorke chaotic composition operator C' on the Orlicz space Lp. In some cases we have equivalent conditions for composition operators on Orlicz spaces to be Li-Yorke chaotic. The results of this paper extend similar results in Lp-spaces. Our results are essentially based on the results of [4].


title: "Guess what I'm doing": Extending legibility to sequential decision tasks

abstract: In this paper we investigate the notion of legibility in sequential decision tasks under uncertainty. Previous works that extend legibility to scenarios beyond robot motion either focus on deterministic settings or are computationally too expensive. Our proposed approach, dubbed PoL-MDP, is able to handle uncertainty while remaining computationally tractable. We establish the advantages of our approach against state-of-the-art approaches in several simulated scenarios of different complexity. We also showcase the use of our legible policies as demonstrations for an inverse reinforcement learning agent, establishing their superiority against the commonly used demonstrations based on the optimal policy. Finally, we assess the legibility of our computed policies through a user study where people are asked to infer the goal of a mobile robot following a legible policy by observing its actions.