title: The PAU Survey: Photometric redshifts using transfer learning from simulations

abstract: In this paper we introduce the \textsc{Deepz} deep learning photometric redshift (photo-$z$) code. As a test case, we apply the code to the PAU survey (PAUS) data in the COSMOS field. \textsc{Deepz} reduces the $\sigma_{68}$ scatter statistic by 50\% at $i_{\rm AB}=22.5$ compared to existing algorithms. This improvement is achieved through various methods, including transfer learning from simulations where the training set consists of simulations as well as observations, which reduces the need for training data. The redshift probability distribution is estimated with a mixture density network (MDN), which produces accurate redshift distributions. Our code includes an autoencoder to reduce noise and extract features from the galaxy SEDs. It also benefits from combining multiple networks, which lowers the photo-$z$ scatter by 10 percent. Furthermore, training with randomly constructed coadded fluxes adds information about individual exposures, reducing the impact of photometric outliers. In addition to opening up the route for higher redshift precision with narrow bands, these machine learning techniques can also be valuable for broad-band surveys.


title: Co-simulation Platform for Developing InfoRich Energy-Efficient Connected and Automated Vehicles

abstract: With advances in sensing, computing, and communication technologies, Connected and Automated Vehicles (CAVs) are becoming feasible. The advent of CAVs presents new opportunities to improve the energy efficiency of individual vehicles. However, testing and verifying energy-efficient autonomous driving systems are difficult due to safety considerations and repeatability. In this paper, we present a co-simulation platform to develop and test novel vehicle eco-autonomous driving technologies named InfoRich, which incorporates the information from on-board sensors, V2X communications, and map database. The co-simulation platform includes eco-autonomous driving software, vehicle dynamics and powertrain (VD&PT) model, and a traffic environment simulator. Also, we utilize synthetic drive cycles derived from real-world driving data to test the strategies under realistic driving scenarios. To build road networks from the real-world driving data, we develop an Automated Parser and Calculator for Map/Scenario named AutoPASCAL. Overall, the simulation platform provides a realistic vehicle model, powertrain model, sensor model, traffic model, and road-network model to enable the evaluation of the energy efficiency of eco-autonomous driving.


title: Long-Range Coherence and Multiple Steady States in a Lossy Qubit Array

abstract: We show that a simple experimental setting of a locally pumped and lossy array of two-level quantum systems can stabilize states with strong long-range coherence. Indeed, by explicit analytic construction, we show there is an extensive set of steady-state density operators, from minimally to maximally entangled, despite this being an interacting open many-body problem. Such nonequilibrium steady states arise from a hidden symmetry that stabilizes Bell pairs over arbitrarily long distances, with unique experimental signatures. We demonstrate a protocol by which one can selectively prepare these states using dissipation. Our findings are accessible in present-day experiments.


title: Analytical Factors for Describing the Control Ability of Linear Discrete-time Systems

abstract: In this paper, the analytical volume computations of the zonotopes generated by the matrix pair with $n$ different or repeated real eigenvalues are discussed firstly, and then by deconstructing the volume computing equations, 3 classes of the shape factors are constructed. These analytical volume and shape factors can describe accurately the size and shape of the zonotopes. Because the control ability for LDT systems with the unit input variables (i.e. the input variable is with bounded value as 1) is directly related to the controllability region \cite{zhaomw202003}, based on these analytical expressions on the volume and shape factors, the control ability can be quantized conveniently. By choosing these analytical expressions as the objective function or constraint conditions, a novel optimizing problems and solving method for the control ability can be founded. Based on the optimization, not only the open-loop control ability, and but also the some closed-loop control performance, such as the optimal time waste, robustness of the control strategy, etc, can be promoted, according to the conclusions in paper \cite{zhaomw202003}.


title: On first-species counterpoint theory

abstract: We generalize first-species counterpoint theory to arbitrary rings and obtain some new counting and maximization results that enrich the theory of admitted successors, pointing to a structural approach, beyond computations. The generalization encompasses an alternative theory of contrapuntal intervals. We also propose several variations of the model that intend to deepen into its principles. The original motivations of the theory, as well as all technical passages, are carefully reviewed so as to provide a complete exposition.


title: Spectral Learning on Matrices and Tensors

abstract: Spectral methods have been the mainstay in several domains such as machine learning and scientific computing. They involve finding a certain kind of spectral decomposition to obtain basis functions that can capture important structures for the problem at hand. The most common spectral method is the principal component analysis (PCA). It utilizes the top eigenvectors of the data covariance matrix, e.g. to carry out dimensionality reduction. This data pre-processing step is often effective in separating signal from noise. PCA and other spectral techniques applied to matrices have several limitations. By limiting to only pairwise moments, they are effectively making a Gaussian approximation on the underlying data and fail on data with hidden variables which lead to non-Gaussianity. However, in most data sets, there are latent effects that cannot be directly observed, e.g., topics in a document corpus, or underlying causes of a disease. By extending the spectral decomposition methods to higher order moments, we demonstrate the ability to learn a wide range of latent variable models efficiently. Higher-order moments can be represented by tensors, and intuitively, they can encode more information than just pairwise moment matrices. More crucially, tensor decomposition can pick up latent effects that are missed by matrix methods, e.g. uniquely identify non-orthogonal components. Exploiting these aspects turns out to be fruitful for provable unsupervised learning of a wide range of latent variable models. We also outline the computational techniques to design efficient tensor decomposition methods. We introduce Tensorly, which has a simple python interface for expressing tensor operations. It has a flexible back-end system supporting NumPy, PyTorch, TensorFlow and MXNet amongst others, allowing multi-GPU and CPU operations and seamless integration with deep-learning functionalities.


title: Using single-cell entropy to describe the dynamics of reprogramming and differentiation of induced pluripotent stem cells

abstract: Induced pluripotent stem cells (iPSCs) provide a great model to study the process of reprogramming and differentiation of stem cells. Single-cell RNA sequencing (scRNA-seq) enables us to investigate the reprogramming process at single-cell level. Here, we introduce single-cell entropy (scEntropy) as a macroscopic variable to quantify the cellular transcriptome from scRNA-seq data during reprogramming and differentiation of iPSCs. scEntropy measures the relative order parameter of genomic transcriptions at single cell level during the cell fate change process, which shows increasing during differentiation, and decreasing upon reprogramming. Moreover, based on the scEntropy dynamics, we construct a phenomenological stochastic differential equation model and the corresponding Fokker-Plank equation for cell state transitions during iPSC differentiation, which provide insights to infer cell fates changes and stem cell differentiation. This study is the first to introduce the novel concept of scEntropy to the biological process of iPSC, and suggests that the scEntropy can provide a suitable quantify to describe cell fate transition in differentiation and reprogramming of stem cells.


title: Average Case Column Subset Selection for Entrywise $\ell_1$-Norm Loss

abstract: We study the column subset selection problem with respect to the entrywise $\ell_1$-norm loss. It is known that in the worst case, to obtain a good rank-$k$ approximation to a matrix, one needs an arbitrarily large $n^{\Omega(1)}$ number of columns to obtain a $(1+\epsilon)$-approximation to the best entrywise $\ell_1$-norm low rank approximation of an $n \times n$ matrix. Nevertheless, we show that under certain minimal and realistic distributional settings, it is possible to obtain a $(1+\epsilon)$-approximation with a nearly linear running time and poly$(k/\epsilon)+O(k\log n)$ columns. Namely, we show that if the input matrix $A$ has the form $A = B + E$, where $B$ is an arbitrary rank-$k$ matrix, and $E$ is a matrix with i.i.d. entries drawn from any distribution $\mu$ for which the $(1+\gamma)$-th moment exists, for an arbitrarily small constant $\gamma > 0$, then it is possible to obtain a $(1+\epsilon)$-approximate column subset selection to the entrywise $\ell_1$-norm in nearly linear time. Conversely we show that if the first moment does not exist, then it is not possible to obtain a $(1+\epsilon)$-approximate subset selection algorithm even if one chooses any $n^{o(1)}$ columns. This is the first algorithm of any kind for achieving a $(1+\epsilon)$-approximation for entrywise $\ell_1$-norm loss low rank approximation.


title: Autonomous Emergency Collision Avoidance and Stabilisation in Structured Environments

abstract: In this paper, a novel closed-loop control framework for autonomous obstacle avoidance on a curve road is presented. The proposed framework provides two main functionalities; (i) collision free trajectory planning using MPC and (ii) a torque vectoring controller for lateral/yaw stability designed using optimal control concepts. This paper analyzes trajectory planning algorithm using nominal MPC, offset-free MPC and robust MPC, along with separate implementation of torque-vectoring control. Simulation results confirm the strengths of this hierarchical control algorithm which are: (i) free from non-convex collision avoidance constraints, (ii) to guarantee the convexity while driving on a curve road (iii) to guarantee feasibility of the trajectory when the vehicle accelerate or decelerate while performing lateral maneuver, and (iv) robust against low friction surface. Moreover, to assess the performance of the control structure under emergency and dynamic environment, the framework is tested under low friction surface and different curvature value. The simulation results show that the proposed collision avoidance system can significantly improve the safety of the vehicle during emergency driving scenarios. In order to stipulate the effectiveness of the proposed collision avoidance system, a high-fidelity IPG carmaker and Simulink co-simulation environment is used to validate the results.


title: Holographic Naturalness and Cosmological Relaxation

abstract: We rediscuss the main Cosmological Problems as illusions originated from our ignorance of the hidden information holographically stored in {\it vacuo}. The Cosmological vacuum state is full of a large number of dynamical quantum hairs, dubbed {\it hairons}, which dominate the Cosmological Entropy. We elaborate on the Cosmological Constant (CC) problem, in both the dynamical and time-constant possibilities. We show that all dangerous quantum mixings between the CC and the Planck energy scales are exponentially suppressed as an entropic collective effect of the hairon environment. As a consequence, the dark energy scale is UV insensitive to any planckian corrections. On the other hand, the inflation scale is similarly stabilized from any radiative effects. In the case of the Dark energy, we show the presence of a holographic entropic attractor, favoring a time variation of $\Lambda\rightarrow 0$ in future rather than a static CC case; i.e. $w>-1$ Dynamical DE is favored over a CC or a $w<-1$ phantom cosmology. In both the inflation and dark energy sectors, we elaborate on the Trans-Planckian problem, in relation with the recently proposed Trans-Planckian Censorship Conjecture (TCC). We show that the probability for any sub-planckian wavelength modes to survive after inflation is completely negligible as a holographic wash-out mechanism. In other words, the hairons provide for a holographic decoherence of the transplanckian modes in a holographic scrambling time. This avoids the TCC strong bounds on the Inflaton and DE potentials.


title: Spinor-Helicity Formalism for Massless Fields in AdS$_4$ III: Contact Four-Point Amplitudes

abstract: We study contact four-point amplitudes in the spinor-helicity formalism in anti-de Sitter space. We find that these amplitudes can be brought to an especially simple form, which we call canonical. Next, we classify consistent contact amplitudes by requiring correct transformation properties with respect to the AdS isometry algebra. Finally, we establish a connection between the canonical form of AdS amplitudes and scalar multi-trace conformal primaries in flat space.


title: Electric current evolution at the footpoints of solar eruptions

abstract: Electric currents play a critical role in the triggering of solar flares and their evolution. The aim of the present paper is to test whether the surface electric current has a surface or subsurface fixed source as predicts the circuit approach of flare physics, or is the response of the surface magnetic field to the evolution of the coronal magnetic field as the MHD approach proposes. Out of all 19 X-class flares as observed by SDO from 2011 to 2016 near the disk center, we analyzed the only 9 eruptive flares for which clear ribbon-hooks were identifiable. Flare ribbons with hooks are considered to be the footprints of eruptive flux ropes in MHD flare models. For the first time, fine measurements of time-evolution of electric currents inside the hooks in the observations as well as in the OHM 3D MHD simulation are performed. Our analysis shows a decrease of the electric current in the area surrounded by the ribbon hooks during and after the eruption. We interpret the decrease of the electric currents as due to the expansion of the flux rope in the corona during the eruption. Our analysis brings a new contribution to the standard flare model in 3D.


title: Sublattice mixing in Cs$_2$AgInCl$_6$ for enhanced optical properties from first-principles

abstract: Lead-free double perovskite materials (viz. Cs$_2$AgInCl$_6$) are being explored as stable and non-toxic alternatives of lead halide perovskites. In order to expand the optical response of Cs$_2$AgInCl$_6$ in visible region, we report here the stability, electronic structure and optical properties of Cs$_2$AgInCl$_6$ by sublattice mixing of various elements. Here, we have employed %high-throughput screening using a hierarchical first-principles based approach starting from density functional theory (DFT) with appropriate exchange-correlation functionals to beyond DFT methods under the framework of many body perturbation theory (viz. G$_0$W$_0$@HSE06). We have started with 32 primary set of combinations of metals M(I), M(II), M(III) and halogen X at Ag/In and Cl site, respectively, where concentration of each set is varied to build a database of nearly 140 combinations. The most suitable mixed sublattices are identified to engineer the band gap of Cs$_2$AgInCl$_6$ to have its application in optoelectronic devices under visible light.


title: Speech Paralinguistic Approach for Detecting Dementia Using Gated Convolutional Neural Network

abstract: We propose a non-invasive and cost-effective method to automatically detect dementia by utilizing solely speech audio data. We extract paralinguistic features for a short speech segment and use Gated Convolutional Neural Networks (GCNN) to classify it into dementia or healthy. We evaluate our method on the Pitt Corpus and on our own dataset, the PROMPT Database. Our method yields the accuracy of 73.1% on the Pitt Corpus using an average of 114 seconds of speech data. In the PROMPT Database, our method yields the accuracy of 74.7% using 4 seconds of speech data and it improves to 80.8% when we use all the patient's speech data. Furthermore, we evaluate our method on a three-class classification problem in which we included the Mild Cognitive Impairment (MCI) class and achieved the accuracy of 60.6% with 40 seconds of speech data.


title: CrossCheck: Rapid, Reproducible, and Interpretable Model Evaluation

abstract: Evaluation beyond aggregate performance metrics, e.g. F1-score, is crucial to both establish an appropriate level of trust in machine learning models and identify future model improvements. In this paper we demonstrate CrossCheck, an interactive visualization tool for rapid crossmodel comparison and reproducible error analysis. We describe the tool and discuss design and implementation details. We then present three use cases (named entity recognition, reading comprehension, and clickbait detection) that show the benefits of using the tool for model evaluation. CrossCheck allows data scientists to make informed decisions to choose between multiple models, identify when the models are correct and for which examples, investigate whether the models are making the same mistakes as humans, evaluate models' generalizability and highlight models' limitations, strengths and weaknesses. Furthermore, CrossCheck is implemented as a Jupyter widget, which allows rapid and convenient integration into data scientists' model development workflows.


title: Model Predictive Mean Field Games for Controlling Multi-Agent Systems

abstract: When controlling multi-agent systems, the trade-off between performance and scalability is a major challenge. Here, we address this difficulty by using mean field games (MFGs), which is a framework that deduces the macroscopic dynamics describing the density profile of agents from their microscopic dynamics. To effectively use the MFG, we propose a model predictive MFG (MP-MFG), which estimates the agent population density profile with using kernel density estimation and manages the input generation with model predictive control. The proposed MP-MFG generates control inputs by monitoring the agent population at each time step, and thus achieves higher robustness than the conventional MFG. Numerical results show that the MP-MFG outperforms the MFG when the agent model has modeling errors or the number of agents in the system is small.


title: A generic ensemble based deep convolutional neural network for semi-supervised medical image segmentation

abstract: Deep learning based image segmentation has achieved the state-of-the-art performance in many medical applications such as lesion quantification, organ detection, etc. However, most of the methods rely on supervised learning, which require a large set of high-quality labeled data. Data annotation is generally an extremely time-consuming process. To address this problem, we propose a generic semi-supervised learning framework for image segmentation based on a deep convolutional neural network (DCNN). An encoder-decoder based DCNN is initially trained using a few annotated training samples. This initially trained model is then copied into sub-models and improved iteratively using random subsets of unlabeled data with pseudo labels generated from models trained in the previous iteration. The number of sub-models is gradually decreased to one in the final iteration. We evaluate the proposed method on a public grand-challenge dataset for skin lesion segmentation. Our method is able to significantly improve beyond fully supervised model learning by incorporating unlabeled data.


title: Compatible Paths on Labelled Point Sets

abstract: Let $P$ and $Q$ be finite point sets of the same cardinality in $\mathbb{R}^2$, each labelled from $1$ to $n$. Two noncrossing geometric graphs $G_P$ and $G_Q$ spanning $P$ and $Q$, respectively, are called compatible if for every face $f$ in $G_P$, there exists a corresponding face in $G_Q$ with the same clockwise ordering of the vertices on its boundary as in $f$. In particular, $G_P$ and $G_Q$ must be straight-line embeddings of the same connected $n$-vertex graph. Deciding whether two labelled point sets admit compatible geometric paths is known to be NP-complete. We give polynomial-time algorithms to find compatible paths or report that none exist in three scenarios: $O(n)$ time for points in convex position; $O(n^2)$ time for two simple polygons, where the paths are restricted to remain inside the closed polygons; and $O(n^2 \log n)$ time for points in general position if the paths are restricted to be monotone.


title: Random Memory Walk

abstract: We present a simple model of a random walk with partial memory, which we call the \emph{random memory walk}. We introduce this model motivated by the belief that it mimics the behavior of the once-reinforced random walk in high dimensions and with small reinforcement. We establish the transience of the random memory walk in dimensions three and higher, and show that its scaling limit is a Brownian motion.


title: Optically addressable molecular spins for quantum information processing

abstract: Spin-bearing molecules are promising building blocks for quantum technologies as they can be chemically tuned, assembled into scalable arrays, and readily incorporated into diverse device architectures. In molecular systems, optically addressing ground-state spins would enable a wide range of applications in quantum information science, as has been demonstrated for solid-state defects. However, this important functionality has remained elusive for molecules. Here, we demonstrate such optical addressability in a series of synthesized organometallic, chromium(IV) molecules. These compounds display a ground-state spin that can be initialized and read out using light, and coherently manipulated with microwaves. In addition, through atomistic modification of the molecular structure, we tune the spin and optical properties of these compounds, paving the way for designer quantum systems synthesized from the bottom-up.


title: REVISE: A Tool for Measuring and Mitigating Bias in Visual Datasets

abstract: Machine learning models are known to perpetuate and even amplify the biases present in the data. However, these data biases frequently do not become apparent until after the models are deployed. Our work tackles this issue and enables the preemptive analysis of large-scale datasets. REVISE (REvealing VIsual biaSEs) is a tool that assists in the investigation of a visual dataset, surfacing potential biases along three dimensions: (1) object-based, (2) person-based, and (3) geography-based. Object-based biases relate to the size, context, or diversity of the depicted objects. Person-based metrics focus on analyzing the portrayal of people within the dataset. Geography-based analyses consider the representation of different geographic locations. These three dimensions are deeply intertwined in how they interact to bias a dataset, and REVISE sheds light on this; the responsibility then lies with the user to consider the cultural and historical context, and to determine which of the revealed biases may be problematic. The tool further assists the user by suggesting actionable steps that may be taken to mitigate the revealed biases. Overall, the key aim of our work is to tackle the machine learning bias problem early in the pipeline. REVISE is available at https://github.com/princetonvisualai/revise-tool


title: The SPDE Approach to Mat\'ern Fields: Graph Representations

abstract: This paper investigates Gaussian Markov random field approximations to nonstationary Gaussian fields using graph representations of stochastic partial differential equations. We establish approximation error guarantees building on the theory of spectral convergence of graph Laplacians. The proposed graph representations provide a generalization of the Mat\'ern model to unstructured point clouds, and facilitate inference and sampling using linear algebra methods for sparse matrices. In addition, they bridge and unify several models in Bayesian inverse problems, spatial statistics and graph-based machine learning. We demonstrate through examples in these three disciplines that the unity revealed by graph representations facilitates the exchange of ideas across them.


title: Counting solutions of special linear equations over finite fields

abstract: Let $q$ be a prime power, let $\mathbb F_q$ be the finite field with $q$ elements and let $d_1, \ldots, d_k$ be positive integers. In this note we explore the number of solutions $(z_1, \ldots, z_k)\in\overline{\mathbb F}_q^k$ of the equation \begin{equation*}L_1(x_1)+\cdots+L_k(x_k)=b,\end{equation*} with the restrictions $z_i\in \mathbb F_{q^{d_i}}$, where each $L_i(x)$ is a non zero polynomial of the form $\sum_{j=0}^{m_i}a_{ij}x^{q^j}\in \mathbb F_q[x]$ and $b\in \overline{\mathbb F}_q$. We characterize the elements $b$ for which the equation above has a solution and, in affirmative case, we determine the exact number of solutions. As an application of our main result, we obtain the cardinality of the sumset $$\sum_{i=1}^k\mathbb F_{q^{d_i}}:=\{\alpha_1+\cdots+\alpha_k\,|\, \alpha_i\in \mathbb F_{q^{d_i}}\}.$$ Our approach also allows us to solve another interesting problem, regarding the existence and number of elements in $\mathbb F_{q^n}$ with prescribed traces over intermediate $\mathbb F_q$-extensions of $\mathbb F_{q^n}$.


title: The Diffusive Epidemic Process on Barabasi-Albert Networks

abstract: We present a modified diffusive epidemic process that has a finite threshold on scale-free graphs. The diffusive epidemic process describes the epidemic spreading in a non-sedentary population, and it is a reaction-diffusion process. In the diffusion stage, the individuals can jump between connected nodes, according to different diffusive rates for the infected and susceptible individuals. In the reaction stage, the contagion can happen if there is an infected individual sharing the same node, and infected individuals can spontaneously recover. Our main modification is to turn the number of individuals' interactions independent on the population size by using Gillespie algorithm with a reaction time $t_\mathrm{max}$, exponentially distributed with mean inversely proportional to the node concentration. Our simulation results of the modified model on Barabasi-Albert networks are compatible with a continuous phase transition with a finite threshold from an absorbing phase to an active phase when increasing the concentration. The transition obeys the mean-field critical exponents of the order parameter, its fluctuations and the spatial correlation length, whose values are $\beta=1$, $\gamma'=0$ and $\nu_\perp=1/2$, respectively. In addition, the system presents logarithmic corrections with pseudo-exponents $\widehat{\beta}=\widehat{\gamma}'=-3/2$ on the order parameter and its fluctuations, respectively. The most evident implication of our simulation results is if the individuals avoid social interactions in order to not spread a disease, this leads the system to have a finite threshold in scale-free graphs, allowing for epidemic control.


title: SoK: Beyond IoT MUD Deployments -- Challenges and Future Directions

abstract: Due to the advancement of IoT devices in both domestic and industrial environments, the need to incorporate a mechanism to build accountability in the IoT ecosystem is paramount. In the last few years, various initiatives have been started in this direction addressing many socio-technical concerns and challenges to build an accountable system. The solution that has received a lot of attention in both industry and academia is the Manufacturer Usage Description (MUD) specification. It gives the possibility to the IoT device manufacturers to describe communications needed by each device to work properly. MUD implementation is challenging not only due to the diversity of IoT devices and manufacturer/operator/regulators but also due to the incremental integration of MUD-based flow control in the already existing Internet infrastructure. To provide a better understanding of these challenges, in this work, we explore and investigate the prototypes of three implementations proposed by different research teams and organisations, useful for the community to understand which are the various features implemented by the existing technologies. By considering that there exist some behaviours which can be only defined by local policy, we propose a MUD capable network integrating our User Policy Server(UPS). The UPS provides network administrators and endusers an opportunity to interact with MUD components through a user-friendly interface. Hence, we present a comprehensive survey of the challenges.


title: A System Level Approach to Discrete-Time Nonlinear Systems

abstract: We will show that there is a universal connection between the achievable closed-loop dynamics and the corresponding feedback controller that produces it. This connection shows promise to lead to new methods for robust nonlinear control in discrete-time. We will show that, given a causal nonlinear discrete-time system and controller, the resulting closed-loop is a solution to a nonlinear operator equation. Conversely, any causal solution to the nonlinear operator equation is a closed-loop that can be achieved by some causal controller. Moreover, solutions can be substituted into a simple dynamic controller structure, which we will refer to as a system level controller, to obtain an implementation of the unique corresponding feedback controller. System level controllers could be an attractive approach for robust nonlinear control, as we will show that even when they are parametrized with approximate solutions to the operator equation, they can still produce robustly stable closed loops. We will provide theoretical results that state how grade of approximation and robust stability of the closed loop are related. Additionally, we will explore some first applications of our results. Using the cart-pole system as an illustrative example, we will derive how to design robust discrete-time trajectory tracking controllers for continuous-time nonlinear systems. Secondly, we will introduce a particular class of system level controller that shows to be particularly useful for linear systems with actuator saturation and state constraints. The special structure of the controller allows for simple stability and performance analysis of the closed-loop in presence of disturbances. A particular application to large-scale systems with actuator saturation and safety constraints is presented in our companion paper.


title: Finite-cutoff JT gravity and self-avoiding loops

abstract: We study quantum JT gravity at finite cutoff using a mapping to the statistical mechanics of a self-avoiding loop in hyperbolic space, with positive pressure and fixed length. The semiclassical limit (small $G_N$) corresponds to large pressure, and we solve the problem in that limit in three overlapping regimes that apply for different loop sizes. For intermediate loop sizes, a semiclassical effective description is valid, but for very large or very small loops, fluctuations dominate. For large loops, this quantum regime is controlled by the Schwarzian theory. For small loops, the effective description fails altogether, but the problem is controlled using a conjecture from the theory of self-avoiding walks.


title: Magnetic-field evolution with large-scale velocity circulation in a neutron-star crust

abstract: We examine the effects of plastic flow that appear in a neutron-star crust when a magnetic stress exceeds the threshold. The dynamics involved are described using the Navier--Stokes equation comprising the viscous-flow term, and the velocity fields for the global circulation are determined using quasi-stationary approximation. We simulate the magnetic-field evolution by taking into consideration the Hall drift, Ohmic dissipation, and fluid motion induced by the Lorentz force. The decrease in the magnetic energy is enhanced, as the energy converts to the bulk motion energy and heat. It is found that the bulk velocity induced by the Lorentz force has a significant influence in the low-viscosity and strong-magnetic-field regimes. This effect is crucial near magnetar surfaces.


title: The maximum number of points on a curve of genus eight over the field of four elements

abstract: The Oesterl\'e bound shows that a curve of genus 8 over the finite field $\mathbb{F}_4$ can have at most 24 rational points, and Niederreiter and Xing used class field theory to show that there exists such a curve with 21 points. We improve both of these results: We show that a genus-8 curve over $\mathbb{F}_4$ can have at most 23 rational points, and we provide an example of such a curve with 22 points, namely the curve defined by the two equations $y^2 + (x^3 + x + 1)y = x^6 + x^5 + x^4 + x^2$ and $z^3 = (x+1)y + x^2.$


title: DepthNet Nano: A Highly Compact Self-Normalizing Neural Network for Monocular Depth Estimation

abstract: Depth estimation is an active area of research in the field of computer vision, and has garnered significant interest due to its rising demand in a large number of applications ranging from robotics and unmanned aerial vehicles to autonomous vehicles. A particularly challenging problem in this area is monocular depth estimation, where the goal is to infer depth from a single image. An effective strategy that has shown considerable promise in recent years for tackling this problem is the utilization of deep convolutional neural networks. Despite these successes, the memory and computational requirements of such networks have made widespread deployment in embedded scenarios very challenging. In this study, we introduce DepthNet Nano, a highly compact self normalizing network for monocular depth estimation designed using a human machine collaborative design strategy, where principled network design prototyping based on encoder-decoder design principles are coupled with machine-driven design exploration. The result is a compact deep neural network with highly customized macroarchitecture and microarchitecture designs, as well as self-normalizing characteristics, that are highly tailored for the task of embedded depth estimation. The proposed DepthNet Nano possesses a highly efficient network architecture (e.g., 24X smaller and 42X fewer MAC operations than Alhashim et al. on KITTI), while still achieving comparable performance with state-of-the-art networks on the NYU-Depth V2 and KITTI datasets. Furthermore, experiments on inference speed and energy efficiency on a Jetson AGX Xavier embedded module further illustrate the efficacy of DepthNet Nano at different resolutions and power budgets (e.g., ~14 FPS and >0.46 images/sec/watt at 384 X 1280 at a 30W power budget on KITTI).


title: On structures of normal forms of complex points of small $\mathcal{C}^{2}$-perturbations of real $4$-manifolds embedded in a complex $3$-manifold

abstract: We extend our previous result on the behavior of the quadratic part of a complex points of a small $\mathcal{C}^{2}$-perturbation of a real $4$-manifold embedded in a complex $3$-manifold. We describe the change of the structure of a normal form of a complex point. It is an immediate consequence of a theorem clarifying how small perturbations can change the bundle of a pair of one arbitrary and one symmetric $2\times 2$ matrix with respect to an action of a certain linear group.


title: SportsXR -- Immersive Analytics in Sports

abstract: We present our initial investigation of key challenges and potentials of immersive analytics (IA) in sports, which we call SportsXR. Sports are usually highly dynamic and collaborative by nature, which makes real-time decision making ubiquitous. However, there is limited support for athletes and coaches to make informed and clear-sighted decisions in real-time. SportsXR aims to support situational awareness for better and more agile decision making in sports. In this paper, we identify key challenges in SportsXR, including data collection, in-game decision making, situated sport-specific visualization design, and collaborating with domain experts. We then present potential user scenarios in training, coaching, and fan experiences. This position paper aims to inform and inspire future SportsXR research.


title: Improved axion haloscope search analysis

abstract: One of the most significant and practical figures of merit in axion haloscope searches is the scanning rate, because of the unknown axion mass. Under the best experimental parameters, the only way to improve the figure of merit is to increase the experimentally designed signal to noise ratio in the axion haloscope search analysis procedure. In this paper, we report an improved axion haloscope search analysis using the data taken by the CAPP-8TB haloscope. By correcting for the background biased by the background parametrizations in the presence of axion signals, we realized a signal to noise ratio efficiency of about 100\%. Given the axion haloscope search analyses to date, the scanning rate can be improved by 21\%, with about a 10\% improvement in the signal to noise ratio. This improvement is another low cost innovation in axion haloscope searches, where all the experimental parameters are currently at their best.


title: A Multistate Low-dissipation Advection Upstream Splitting Method for Ideal Magnetohydrodynamics

abstract: We develop a new numerical scheme for ideal magnetohydrodynamic (MHD) simulations, which is robust against one- and multi-dimensional shocks, and is accurate for low Mach number flows and discontinuities. The scheme belongs to a family of the advection upstream splitting method employed in computational aerodynamics, and it splits the inviscid flux in MHD equations into advection, pressure, and magnetic tension parts, and then individually evaluates mass, pressure, and magnetic tension fluxes at the interface of a computational cell. The mass flux is designed to avoid numerical shock instability in multidimension, while preserving contact discontinuity. The pressure flux possesses a proper scaling for low Mach number flows, allowing reliable simulations of nearly incompressible flows. The magnetic tension flux is built to be consistent with the HLLD approximate Riemann solver to preserve rotational discontinuity. We demonstrate various benchmark tests to verify the novel performance of the scheme. Our results indicate that the scheme must be a promising tool to tackle astrophysical systems that include both low and high Mach number flows, as well as magnetic field inhomogeneities.

categories: physics.comp-ph astro-ph.EP astro-ph.IM astro-ph.SR cs.NA math.NA


title: How recurrent networks implement contextual processing in sentiment analysis

abstract: Neural networks have a remarkable capacity for contextual processing--using recent or nearby inputs to modify processing of current input. For example, in natural language, contextual processing is necessary to correctly interpret negation (e.g. phrases such as "not bad"). However, our ability to understand how networks process context is limited. Here, we propose general methods for reverse engineering recurrent neural networks (RNNs) to identify and elucidate contextual processing. We apply these methods to understand RNNs trained on sentiment classification. This analysis reveals inputs that induce contextual effects, quantifies the strength and timescale of these effects, and identifies sets of these inputs with similar properties. Additionally, we analyze contextual effects related to differential processing of the beginning and end of documents. Using the insights learned from the RNNs we improve baseline Bag-of-Words models with simple extensions that incorporate contextual modification, recovering greater than 90% of the RNN's performance increase over the baseline. This work yields a new understanding of how RNNs process contextual information, and provides tools that should provide similar insight more broadly.


title: Modeling relativistic contributions to the halo power spectrum dipole

abstract: We study the power spectrum dipole of an N-body simulation which includes relativistic effects through ray-tracing and covers the low redshift Universe up to $z_{\rm max} = 0.465$ (RayGalGroup simulation). We model relativistic corrections as well as wide-angle, evolution, window and lightcone effects. Our model includes all relativistic corrections up to third-order including third-order bias expansion. We consider all terms which depend linearly on $\mathcal{H}/k$ (weak field approximation). We also study the impact of 1-loop corrections to the matter power spectrum for the gravitational redshift and transverse Doppler effect. We found wide-angle and window function effects to significantly contribute to the dipole signal. When accounting for all contributions, our dipole model can accurately capture the gravitational redshift and Doppler terms up to the smallest scales included in our comparison ($k=0.48\,h{\rm Mpc}^{-1}$), while our model for the transverse Doppler term is less accurate. We find the Doppler term to be the dominant signal for this low redshift sample. We use Fisher matrix forecasts to study the potential for the future Dark Energy Spectroscopic Instrument (DESI) to detect relativistic contributions to the power spectrum dipole. A conservative estimate suggests that the DESI-BGS sample should be able to have a detection of at least $4.4\sigma$, while more optimistic estimates find detections of up to $10\sigma$. Detecting these effects in the galaxy distribution allows new tests of gravity on the largest scales, providing an interesting additional science case for galaxy survey experiments.


title: Efficient Constrained Pattern Mining Using Dynamic Item Ordering for Explainable Classification

abstract: Learning of interpretable classification models has been attracting much attention for the last few years. Discovery of succinct and contrasting patterns that can highlight the differences between the two classes is very important. Such patterns are useful for human experts, and can be used to construct powerful classifiers. In this paper, we consider mining of minimal emerging patterns from high-dimensional data sets under a variety of constraints in a supervised setting. We focus on an extension in which patterns can contain negative items that designate the absence of an item. In such a case, a database becomes highly dense, and it makes mining more challenging since popular pattern mining techniques such as fp-tree and occurrence deliver do not efficiently work. To cope with this difficulty, we present an efficient algorithm for mining minimal emerging patterns by combining two techniques: dynamic variable-ordering during pattern search for enhancing pruning effect, and the use of a pointer-based dynamic data structure, called dancing links, for efficiently maintaining occurrence lists. Experiments on benchmark data sets showed that our algorithm achieves significant speed-ups over emerging pattern mining approach based on LCM, a very fast depth-first frequent itemset miner using static variable-ordering.


title: An Exploration of IoT Platform Development

abstract: Internet of Things platforms are key enablers for smart city initiatives, targeting the improvement of citizens quality of life and economic growth. As IoT platforms are dynamic, proactive, and heterogeneous socio-technical artefacts, systematic approaches are required for their development. Limited surveys have exclusively explored how IoT platforms are developed and maintained from the perspective of information system development process lifecycle. In this paper, we present a detailed analysis of 63 approaches. This is accomplished by proposing an evaluation framework as a cornerstone to highlight the characteristics, strengths, and weaknesses of these approaches. The survey results not only provide insights of empirical findings, recommendations, and mechanisms for the development of quality aware IoT platforms, but also identify important issues and gaps that need to be addressed.


title: Differential Transformation of Nonlinear Power Flow Equations

abstract: Differential transformation (DT) method has shown to be promising for power system simulation in our recent works. This letter applies the DT method to nonlinear power flow equations and proves that the nonlinear power flow equations are converted to formally linear equations after DT. This letter further extends the constant power load assumption in the classical power flow formulation to the more general and practical ZIP load assumption and proves that the linear equation after DT still holds for ZIP load model with slight modifications on the coefficient matrices. These results demonstrate great potential of the DT method in solving power system nonlinear problems.


title: Search for a common baryon source in high-multiplicity pp collisions at the LHC

abstract: We report on the measurement of the size of the particle-emitting source from two-baryon correlations with ALICE in high-multiplicity pp collisions at $\sqrt{s}$ = 13 TeV. The source radius is studied with low relative momentum p-p, $\bar{\rm{p}}$-$\bar{\rm{p}}$, p-$\Lambda$ and $\bar{\rm{p}}$-$\bar{\Lambda}$ pairs as a function of the pair transverse mass $m_{\rm{T}}$ considering for the first time in a quantitative way the effect of strong resonance decays. After correcting for this effect, the radii extracted for pairs of different particle species agree. This indicates that protons, antiprotons, $\Lambda$, and $\bar{\Lambda}$ originate from the same source. Within the measured $m_{\rm{T}}$ range (1.1-2.2) GeV/$c^{2}$ the invariant radius of this common source varies between 0.85 and 1.3 fm. These results provide a precise reference for studies of the strong hadron-hadron interactions and for the investigation of collective properties in small colliding systems.


title: Robust Control Design for Linear Systems via Multiplicative Noise

abstract: Robust stability and stochastic stability have separately seen intense study in control theory for many decades. In this work we establish relations between these properties for discrete-time systems and employ them for robust control design. Specifically, we examine a multiplicative noise framework which models the inherent uncertainty and variation in the system dynamics which arise in model-based learning control methods such as adaptive control and reinforcement learning. We provide results which guarantee robustness margins in terms of perturbations on the nominal dynamics as well as algorithms which generate maximally robust controllers.


title: Time Evolution of Entanglement Entropy in Holographic FLRW Cosmologies

abstract: To understand the time-dependent quantum correlation in expanding universes, we study the time-dependent entanglement entropy in the braneworld model. If we take into account a generalized string cloud geometry caused by uniformly distributed open strings, cosmologies on the braneworld result in the standard Friedmann-Lema\^{i}tre-Robertson-Walker cosmologies with various matter contents. On the dual field theory side, open strings are reinterpreted as a fundamental matter, while the black hole mass corresponds to the excitation energy of massless gauge bosons. In this work, we show how the string cloud geometry is matched to various braneworld cosmologie,s for example, eternal inflation, radiation-, and matter-dominated universes. Then, we investigate how the entanglement entropy evolves in those expanding universes.


title: Big data analytics architecture design

abstract: Objective. We propose an approach to reason about goals, obstacles, and to select suitable big data solution architecture that satisfy quality goal preferences and constraints of stakeholders at the presence of the decision outcome uncertainty. The approach will highlight situations that may impede the goals. They will be assessed and resolved to generate complete requirements of an architectural solution. Method. The approach employs goal-oriented modelling to identify obstacles causing quality goal failure and their corresponding resolution tactics. It combines fuzzy logic to explore uncertainties in solution architectures and to find an optimal set of architectural decisions for the big data enablement process of manufacturing systems. Result. The approach brings two innovations to the state of the art of big data analytics platform adoption in manufacturing systems. Firstly, A systematic goal-oriented modelling for exploring goals and obstacles in integrating manufacturing systems with data analytics platforms at the requirement level and, secondly, A systematic analysis of the architectural decisions under uncertainty incorporating the preferences of stakeholders. The efficacy of the approach is illustrated with a scenario of reengineering a hyper-connected manufacturing collaboration system to a new big data architecture. Keywords. big data, big data analytics platforms, manufacturing systems, goal-oriented modeling, fuzzy logic


title: SongNet: Rigid Formats Controlled Text Generation

abstract: Neural text generation has made tremendous progress in various tasks. One common characteristic of most of the tasks is that the texts are not restricted to some rigid formats when generating. However, we may confront some special text paradigms such as Lyrics (assume the music score is given), Sonnet, SongCi (classical Chinese poetry of the Song dynasty), etc. The typical characteristics of these texts are in three folds: (1) They must comply fully with the rigid predefined formats. (2) They must obey some rhyming schemes. (3) Although they are restricted to some formats, the sentence integrity must be guaranteed. To the best of our knowledge, text generation based on the predefined rigid formats has not been well investigated. Therefore, we propose a simple and elegant framework named SongNet to tackle this problem. The backbone of the framework is a Transformer-based auto-regressive language model. Sets of symbols are tailor-designed to improve the modeling performance especially on format, rhyme, and sentence integrity. We improve the attention mechanism to impel the model to capture some future information on the format. A pre-training and fine-tuning framework is designed to further improve the generation quality. Extensive experiments conducted on two collected corpora demonstrate that our proposed framework generates significantly better results in terms of both automatic metrics and the human evaluation.


title: Atomistic Investigation on the Mechanical Properties and Failure Behavior of Zinc Blende Cadmium Selenide (CdSe) Nanowire

abstract: The mechanical properties of Cadmium Selenide (CdSe) nanowire is an emerging issue due to its application in semiconductor and optoelectronics industries. In this paper, we conducted molecular dynamics (MD) simulations to investigate the temperature-dependent mechanical properties and failure behavior of Zinc-Blende (ZB) CdSe nanowire under uniaxial tensile deformation. We employed Stillinger-Weber (SW) potential to describe the inter-atomic interactions. The effect of variation of temperatures (100 K-600 K), sizes, and crystal orientation on the tensile response of the CdSe nanowires is investigated. Our simulation results suggest that both ultimate tensile strength and Youngs modulus of CdSe have an inverse relationship with temperature. From 100K to 600K, the ZB CdSe exhibits brittle type failure thus there is no brittle to ductile transition temperature found. Results also suggest that size has a significant effect on the mechanical properties of CdSe nanowire. It has been found that as the cross-sectional area increases both ultimate tensile stress and Youngs modulus increases as well. The [111] oriented ZB CdSe shows the largest ultimate tensile strength, Youngs modulus and fracture toughness whereas the values are lowest for [100] orientation. The [110] orientation shows the largest failure strain compared to other orientations. Finally, failure mechanisms of CdSe nanowire are also investigated at 100K and 600K. We noticed that at 100K temperature [100] oriented ZB CdSe fails along {111} cleavage plane however in the case of 600 K temperature, both {111} and {100} planes are activated and cause fracture of CdSe nanowire at lower strain value. This study can guide to design ZB CdSe based solar cell, optoelectronic and semiconductor devices by presenting a comprehensive understanding of the mechanical and fracture characteristics of this nanowire.


title: A study of influential factors in designing self-reconfigurable robots for green manufacturing

abstract: There is incremental growth in adopting self-reconfigurable robots in automating manufacturing conventional product lines. Using this class of robots adapting themselves with ever-changing environmental conditions has been acclaimed as a promising way of reducing energy consumption and environmental impact and thus enabling green manufacturing. Whilst the majority of existing research focuses on highlighting the efficacy of self-reconfigurable robots in energy reduction with technical driven solutions, the research on exploring the salient factors in design and development self-reconfigurable robots that directly enable or hinder green manufacturing is non-extant. This interdisciplinary research contributes to the nascent body of the knowledge by empirical investigation of design-time, run-time, and hardware aspects which should be contingently balanced when developing green-aware self-reconfigurable robots. Keywords Green manufacturing, self-reconfigurable robots, robot design, green awareness


title: STT-CBS: A Conflict-Based Search Algorithm for Multi-Agent Path Finding with Stochastic Travel Times

abstract: We present an algorithm for finding optimal paths for multiple stochastic agents in a graph to reach their destinations with a user-specified maximum pairwise collision probability. Our algorithm, called STT-CBS, uses Conflict-Based Search (CBS) with a stochastic travel time (STT) model for the agents. We model robot travel time along each edge of the graph by independent gamma-distributed random variables, and propose probabilistic collision identification and constraint creation methods to robustly handle travel time uncertainty. We show that under reasonable assumptions our algorithm is optimal in terms of expected sum of travel times, while ensuring an upper bound on each pairwise conflict probability. Simulations and hardware experiments show that STT-CBS is able to significantly decrease conflict probability over CBS, while remaining within the same complexity class.


title: Pixel-based spectral characterization of mid-infrared Si array detectors for astronomical observations in space

abstract: Mid-infrared (IR) array detectors have been used for astronomical observations in space. However, the uniformities of their spectral response curves have not been investigated in detail, the understanding of which is important for spectroscopic observations using large array formats. We characterize the spectral responses of all the pixels in IR array detectors using a Fourier transform infrared spectrometer and cryogenic optics for measurements at high signal-to-noise ratios. We measured the spectral responses of the Si:As impurity band conduction (IBC) array, a flight back-up detector for AKARI/IRC. As a result, we find that the Si:As array has intrinsic variations in the spectral response along the row and column directions of the array. We also find that the cutoff wavelength of the Si:As IBC array depends on the intensity of the incident light.


title: Hypocycloid motion in the Melvin magnetic universe

abstract: The trajectory of a charged test particle in the Melvin magnetic universe is shown to take the form of hypocycloids in two different regimes, first of which is the class of perturbed circular orbits, and secondly in the weak-field approximation. In the latter case we find a simple relation between the charge of the particle and the number of cusps. These two regimes are within a continuously connected family of deformed hypocycloid-like orbits parametrised by the magnetic flux strength of the Melvin spacetime.


title: CPARR: Category-based Proposal Analysis for Referring Relationships

abstract: The task of referring relationships is to localize subject and object entities in an image satisfying a relationship query, which is given in the form of \texttt{<subject, predicate, object>}. This requires simultaneous localization of the subject and object entities in a specified relationship. We introduce a simple yet effective proposal-based method for referring relationships. Different from the existing methods such as SSAS, our method can generate a high-resolution result while reducing its complexity and ambiguity. Our method is composed of two modules: a category-based proposal generation module to select the proposals related to the entities and a predicate analysis module to score the compatibility of pairs of selected proposals. We show state-of-the-art performance on the referring relationship task on two public datasets: Visual Relationship Detection and Visual Genome.


title: Conservative Plane Releasing for Spatial Privacy Protection in Mixed Reality

abstract: Augmented reality (AR) or mixed reality (MR) platforms require spatial understanding to detect objects or surfaces, often including their structural (i.e. spatial geometry) and photometric (e.g. color, and texture) attributes, to allow applications to place virtual or synthetic objects seemingly "anchored" on to real world objects; in some cases, even allowing interactions between the physical and virtual objects. These functionalities require AR/MR platforms to capture the 3D spatial information with high resolution and frequency; however, these pose unprecedented risks to user privacy. Aside from objects being detected, spatial information also reveals the location of the user with high specificity, e.g. in which part of the house the user is. In this work, we propose to leverage spatial generalizations coupled with conservative releasing to provide spatial privacy while maintaining data utility. We designed an adversary that builds up on existing place and shape recognition methods over 3D data as attackers to which the proposed spatial privacy approach can be evaluated against. Then, we simulate user movement within spaces which reveals more of their space as they move around utilizing 3D point clouds collected from Microsoft HoloLens. Results show that revealing no more than 11 generalized planes--accumulated from successively revealed spaces with large enough radius, i.e. $r\leq1.0m$--can make an adversary fail in identifying the spatial location of the user for at least half of the time. Furthermore, if the accumulated spaces are of smaller radius, i.e. each successively revealed space is $r\leq 0.5m$, we can release up to 29 generalized planes while enjoying both better data utility and privacy.


title: Smartphone camera based pointer

abstract: Large screen displays are omnipresent today as a part of infrastructure for presentations and entertainment. Also powerful smartphones with integrated camera(s) are ubiquitous. However, there are not many ways in which smartphones and screens can interact besides casting the video from a smartphone. In this paper, we present a novel idea that turns a smartphone into a direct virtual pointer on the screen using the phone's camera. The idea and its implementation are simple, robust, efficient and fun to use. Besides the mathematical concepts of the idea we accompany the paper with a small javascript project (www.mobiletvgames.com) which demonstrates the possibility of the new interaction technique presented as a massive multiplayer game in the HTML5 framework.


title: AlloVera: A Multilingual Allophone Database

abstract: We introduce a new resource, AlloVera, which provides mappings from 218 allophones to phonemes for 14 languages. Phonemes are contrastive phonological units, and allophones are their various concrete realizations, which are predictable from phonological context. While phonemic representations are language specific, phonetic representations (stated in terms of (allo)phones) are much closer to a universal (language-independent) transcription. AlloVera allows the training of speech recognition models that output phonetic transcriptions in the International Phonetic Alphabet (IPA), regardless of the input language. We show that a "universal" allophone model, Allosaurus, built with AlloVera, outperforms "universal" phonemic models and language-specific models on a speech-transcription task. We explore the implications of this technology (and related technologies) for the documentation of endangered and minority languages. We further explore other applications for which AlloVera will be suitable as it grows, including phonological typology.


title: A non-convex regularization approach for stable estimation of loss development factors

abstract: In this article, we apply non-convex regularization methods in order to obtain stable estimation of loss development factors in insurance claims reserving. Among the non-convex regularization methods, we focus on the use of the log-adjusted absolute deviation (LAAD) penalty and provide discussion on optimization of LAAD penalized regression model, which we prove to converge with a coordinate descent algorithm under mild conditions. This has the advantage of obtaining a consistent estimator for the regression coefficients while allowing for the variable selection, which is linked to the stable estimation of loss development factors. We calibrate our proposed model using a multi-line insurance dataset from a property and casualty insurer where we observed reported aggregate loss along accident years and development periods. When compared to other regression models, our LAAD penalized regression model provides very promising results.


title: Combinatorics of Type D Exceptional Sequences

abstract: Exceptional sequences are important sequences of quiver representations in the study of representation theory of algebras. They are also closely related to the theory of cluster algebras and the combinatorics of Coxeter groups. We combinatorially classify exceptional sequences of a family of type D Dynkin quivers, and we show how our model for exceptional sequences connects to the combinatorics of type D noncrossing partitions.


title: The Role of Low Intrinsic Emittance in Modern Photoinjector Brightness

abstract: Reducing the intrinsic emittance of photocathodes is one of the most promising routes to improving the brightness of electron sources. However, when emittance growth occurs during beam transport (for example, due to space-charge), it is possible that this emittance growth overwhelms the contribution of the photocathode and, thus, in this case source emittance improvements are not beneficial. Using multi-objective genetic optimization, we investigate the role intrinsic emittance plays in determining the final emittance of several space-charge dominated photoinjectors, including those for high repetition rate free electron lasers and ultrafast electron diffraction. We introduce a new metric to predict the scale of photocathode emittance improvements that remain beneficial and explain how additional tuning is required to take full advantage of new photocathode technologies. Additionally, we determine the scale of emittance growth due to point-to-point Coulomb interactions with a fast tree-based space-charge solver. Our results show that in the realistic high brightness photoinjector applications under study, the reduction of thermal emittance to values as low as 50 pm/um (1 meV MTE) remains a viable option for the improvement of beam brightness.


title: A Case for Maximal Leakage as a Side Channel Leakage Metric

abstract: Side channels represent a broad class of security vulnerabilities that have been demonstrated to exist in many applications. Because completely eliminating side channels often leads to prohibitively high overhead, there is a need for a principled trade-off between cost and leakage. In this paper, we make a case for the use of maximal leakage to analyze such trade-offs. Maximal leakage is an operationally interpretable leakage metric designed for side channels. We present the most useful theoretical properties of maximal leakage from previous work and demonstrate empirically that conventional metrics such as mutual information and channel capacity underestimate the threat posed by side channels whereas maximal leakage does not. We also study the cost-leakage trade-off as an optimization problem using maximal leakage. We demonstrate that not only can this problem be represented as a linear program, but also that optimal protection can be achieved using a combination of at most two deterministic schemes.


title: IoT Smart City Architectures an Analytical Evaluation

abstract: While several IoT architectures have been proposed for enabling smart city visions, not much work has been done to assess and compare these architectures. By applying our proposed evaluation framework that incorporates a variety of 33 criteria, this paper presents a comparative analysis of nine existing well-known IoT architectures. The results of the analysis highlight the strengths and weaknesses of these architectures and give insight to city leaders, architects, and developers aiming at selecting the most appropriate architecture or their combination that may fit their own specific smart city development scenario. Keywords. Internet of things, IoT, smart city architecture, evaluation framework


title: Automating Cutting Planes is NP-Hard}

abstract: We show that Cutting Planes (CP) proofs are hard to find: Given an unsatisfiable formula $F$, 1) It is NP-hard to find a CP refutation of $F$ in time polynomial in the length of the shortest such refutation; and 2)unless Gap-Hitting-Set admits a nontrivial algorithm, one cannot find a tree-like CP refutation of $F$ in time polynomial in the length of the shortest such refutation. The first result extends the recent breakthrough of Atserias and M\"uller (FOCS 2019) that established an analogous result for Resolution. Our proofs rely on two new lifting theorems: (1) Dag-like lifting for gadgets with many output bits. (2) Tree-like lifting that simulates an $r$-round protocol with gadgets of query complexity $O(\log r)$ independent of input length.


title: Transfer Learning with Graph Neural Networks for Short-Term Highway Traffic Forecasting

abstract: Highway traffic modeling and forecasting approaches are critical for intelligent transportation systems. Recently, deep-learning-based traffic forecasting methods have emerged as state of the art for a wide range of traffic forecasting tasks. However, these methods require a large amount of training data, which needs to be collected over a significant period of time. This can present a number of challenges for the development and deployment of data-driven learning methods for highway networks that suffer from lack of historical data. A promising approach to address this issue is transfer learning, where a model trained on one part of the highway network can be adapted for a different part of the highway network. We focus on diffusion convolutional recurrent neural network (DCRNN), a state-of-the-art graph neural network for highway network forecasting. It models the complex spatial and temporal dynamics of the highway network using a graph-based diffusion convolution operation within a recurrent neural network. DCRNN cannot perform transfer learning, however, because it learns location-specific traffic patterns, which cannot be used for unseen regions of the network. To that end, we develop a new transfer learning approach for DCRNN, where a single model trained on data-rich regions of the highway network can be used to forecast traffic on unseen regions of the highway network. We evaluate the ability of our approach to forecast the traffic on the entire California highway network with one year of time series data. We show that TL-DCRNN can learn from several regions of the California highway network and forecast the traffic on the unseen regions of the network with high accuracy. Moreover, we demonstrate that TL-DCRNN can learn from San Francisco region traffic data and can forecast traffic on the Los Angeles region and vice versa.


title: Contention Resolution Without Collision Detection

abstract: This paper focuses on the contention resolution problem on a shared communication channel that does not support collision detection. A shared communication channel is a multiple access channel, which consists of a sequence of synchronized time slots. Players on the channel may attempt to broadcast a packet (message) in any time slot. A player's broadcast succeeds if no other player broadcasts during that slot. If two or more players broadcast in the same time slot, then the broadcasts collide and both broadcasts fail. The lack of collision detection means that a player monitoring the channel cannot differentiate between the case of two or more players broadcasting in the same slot (a collision) and zero players broadcasting. In the contention-resolution problem, players arrive on the channel over time, and each player has one packet to transmit. The goal is to coordinate the players so that each player is able to successfully transmit its packet within reasonable time. However, the players can only communicate via the shared channel by choosing to either broadcast or not. A contention-resolution protocol is measured in terms of its throughput (channel utilization). Previous work on contention resolution that achieved constant throughput assumed that either players could detect collisions, or the players' arrival pattern is generated by a memoryless (non-adversarial) process. The foundational question answered by this paper is whether collision detection is a luxury or necessity when the objective is to achieve constant throughput. We show that even without collision detection, one can solve contention resolution, achieving constant throughput, with high probability.


title: Crosstalk Noise based Configurable Computing: A New Paradigm for Digital Electronics

abstract: The past few decades have seen exponential growth in capabilities of digital electronics primarily due to the ability to scale Integrated Circuits (ICs) to smaller dimensions while attaining power and performance benefits. That scalability is now being challenged due to the lack of scaled transistor performance and also manufacturing complexities [1]-[5]. In addition, the growing cyber threat in fabless manufacturing era poses a new front that modern ICs need to withstand. We present a new noise based computing where the interconnect interference between nanoscale metal lines is intentionally engineered to exhibit programmable Boolean logic behavior. The reliance on just coupling between metal lines and not on transistors for computing, and the programmability are the foundations for better scalability, and security by obscurity. Here, we show experimental evidence of a functioning Crosstalk computing chip at 65nm technology. Our demonstration of computing constructs, gate level configurability and utilization of foundry processes show feasibility. These results in conjunction with our simulation results at 7nm for various benchmarks, which show over 48%, 57%, and 10% density, power and performance respectively, gains over equivalent CMOS in the best case, show potentials. The benefits of Crosstalk circuits and inherent programmable features set it apart and make it a promising prospect for future electronics.


title: Self-similarity breaking: Anomalous nonequilibrium finite-size scaling and finite-time scaling

abstract: Symmetry breaking plays a pivotal role in modern physics. Although self-similarity is also a symmetry and appears ubiquitously in nature, a fundamental question is whether self-similarity breaking makes sense or not. Here, by identifying the most important kind of critical fluctuations dubbed as phases fluctuations and comparing the consequences of having self-similarity with those of lacking self-similarity in the phases fluctuations, we show that self-similarity can indeed be broken with significant consequences at least in nonequilibrium situations. We find that the breaking of self-similarity results in new critical exponents which give rise to violation of the well-known finite-size scaling or the less-known finite-time scaling and different leading exponents in the ordered and the disordered phases of the paradigmatic Ising model on two- or three-dimensional finite lattices when it subjects to the simplest nonequilibrium driving of linear heating or cooling through its critical point, in stark contrast to identical exponents and different amplitudes in usual critical phenomena. Our results demonstrate how surprising driven nonequilibrium critical phenomena can be. Application to other classical and quantum phase transitions is highly expected.


title: Localization, phases and transitions in the three-dimensional extended Lieb lattices

abstract: We study the localization properties and the Anderson transition in the 3D Lieb lattice $\mathcal{L}_3(1)$ and its extensions $\mathcal{L}_3(n)$ in the presence of disorder. We compute the positions of the flat bands, the disorder-broadened density of states and the energy-disorder phase diagrams for up to 4 different such Lieb lattices. Via finite-size scaling, we obtain the critical properties such as critical disorders and energies as well as the universal localization lengths exponent $\nu$. We find that the critical disorder $W_c$ decreases from $\sim 16.5$ for the cubic lattice, to $\sim 8.6$ for $\mathcal{L}_3(1)$, $\sim 5.9$ for $\mathcal{L}_3(2)$ and $\sim 4.8$ for $\mathcal{L}_3(3)$. Nevertheless, the value of the critical exponent $\nu$ for all Lieb lattices studied here and across disorder and energy transitions agrees within error bars with the generally accepted universal value $\nu=1.590 (1.579,1.602)$.


title: Enhanced nonlinear optical figure-of-merit at 1550nm for silicon nanowires integrated with graphene oxide layered films

abstract: Layered 2D GO films are integrated with silicon on insulator (SOI) nanowire waveguides to experimentally demonstrate an enhanced Kerr nonlinearity, observed through selfphase modulation (SPM). The GO films are integrated with SOI nanowires using a large area, transfer free, layer by layer coating method that yields precise control of the film thickness. The film placement and coating length are controlled by opening windows in the silica cladding of the SOI nanowires. Owing to the strong mode overlap between the SOI nanowires and the highly nonlinear GO films, the Kerr nonlinearity of the hybrid waveguides is significantly enhanced. Detailed SPM measurements using picosecond optical pulses show significant spectral broadening enhancement for SOI nanowires coated with 2.2 mm long films of 1 to 3 layers of GO, and 0.4 mm long films with 5 to 20 layers of GO. By fitting the experimental results with theory, the dependence of the n2 for GO on layer number and pulse energy is obtained, showing interesting physical insights and trends of the layered GO films from 2D monolayers to quasi bulk like behavior. Finally, we show that by coating SOI nanowires with GO films the effective nonlinear parameter of SOI nanowires is increased 16 times, with the effective nonlinear figure of merit (FOM) increasing by about 20 times to greater than 5. These results reveal the strong potential of using layered GO films to improve the Kerr nonlinear optical performance of silicon photonic devices.


title: Scalar 1-loop Feynman integrals as meromorphic functions in space-time dimension d, II: Special kinematics

abstract: Based on the method developed in [K.~H.~Phan and T.~Riemann, Phys.\ Lett.\ B {\bf 791} (2019) 257], detailed analytic results for scalar one-loop two-, three-, four-point integrals in general $d$-dimension are presented in this paper. The calculations are considered all external kinematic configurations and internal mass assignments. Analytic formulas are expressed in terms of generalized hypergeometric series such as Gauss $_2F_1$, Appell $F_1$ and Lauricella $F_S$ functions.


title: The Character of Motional Modes for Entanglement and Sympathetic Cooling of Mixed-Species Trapped Ion Chains

abstract: Modular mixed-species ion-trap networks are a promising framework for scalable quantum information processing, where one species acts as a memory qubit and another as a communication qubit. This architecture requires high-fidelity mixed-species entangling gates to transfer information from communication to memory qubits through their collective motion. We investigate the character of the motional modes of a mixed-species ion chain for entangling operations and also sympathetic cooling. We find that the laser power required for high-fidelity entangling gates based on transverse modes is at least an order of magnitude higher than that based on axial modes for widely different masses of the two species. We also find that for even moderate mass differences, the transverse modes are much harder to cool than the axial modes regardless of the ion chain configuration. Therefore, transverse modes conventionally used for operations in single-species ion chains may not be well suited for mixed-species chains with widely different masses.


title: Active Sentence Learning by Adversarial Uncertainty Sampling in Discrete Space

abstract: Active learning for sentence understanding aims at discovering informative unlabeled data for annotation and therefore reducing the demand for labeled data. We argue that the typical uncertainty sampling method for active learning is time-consuming and can hardly work in real-time, which may lead to ineffective sample selection. We propose adversarial uncertainty sampling in discrete space (AUSDS) to retrieve informative unlabeled samples more efficiently. AUSDS maps sentences into latent space generated by the popular pre-trained language models, and discover informative unlabeled text samples for annotation via adversarial attack. The proposed approach is extremely efficient compared with traditional uncertainty sampling with more than 10x speedup. Experimental results on five datasets show that AUSDS outperforms strong baselines on effectiveness.


title: Sensitivity of the electronic and magnetic structures of cuprate superconductors to density functional approximations

abstract: We discuss the crystal, electronic, and magnetic structures of $\mathrm{La_{2-x}Sr_{x}CuO_{4}}$ (LSCO) for $x=0.0$ and $x=0.25$ employing 13 density functional approximations, representing the local, semi-local, and hybrid exchange-correlation approximations within the Perdew-Schmidt hierarchy. The meta-generalized gradient approximation (meta-GGA) class of functionals is found to perform well in capturing the key properties of LSCO, a prototypical high-temperature cuprate superconductor. In contrast, the local-spin-density approximation, GGA, and the hybrid density functional fail to capture the metal-insulator transition under doping.


title: KIC~8975515: a fast-rotating ($\gamma$ Dor - $\delta$ Sct) hybrid star with Rossby modes and a slower $\delta$ Sct companion in a long-period orbit

abstract: {KIC~8975515 is a \emph{Kepler} double-lined spectroscopic binary system with hybrid pulsations. Two components have similar atmospheric properties (T$_{\rm eff}$ $\sim$ 7400~K), and one of them is a fast rotator ($v\sin i = 162$ versus 32 km/s). Our aim is to study the \emph {Kepler} light curve in great detail in order to determine the frequencies of the pulsations, to search for regular spacing patterns in the Fourier spectrum, if any, and to discuss their origin in the context of binarity and fast rotation. In this paper, we study the properties of the stellar pulsations based on a careful analysis in the low-, intermediate- and high-frequency regions of the Fourier spectrum. This is done by performing repeated frequency-search analyses with successive prewhitenings of all the significant frequencies detected in the spectrum. Moreover, we searched for regular period spacings among the $g$ modes, as well as frequency splitting among the $g$ and $p$ modes. In the low-frequency regime, five regular period spacing patterns including one series of prograde $g$ modes and four series of retrograde $r$ modes were detected. The $r$ modes are well-distributed with respect to the harmonics of the rotational frequency of the fast-rotating star $f_{\rm rot}$ = 1.647 d$^{-1}$. The dominant $g$ mode is $f_{2}$ = 2.37 d$^{-1}$. The strongest p mode, at $f_{1}$ = 13.97 d$^{-1}$, forms a singlet. In the high-frequency region, we identified two multiplets of regularly split $p$ modes with mean frequency spacings of 0.42 d$^{-1}$ and 1.65 d$^{-1}$. We detected some series of retrograde $r$ and prograde $g$ modes as well as two multiplets of $p$ modes with frequency spacings related to the stellar rotation of both components of the twin system KIC~8975515. We identified the fast-rotating component as a hybrid pulsator with $r$ modes and the slowly-rotating component as a $\delta$ Sct pulsator.


title: Simulation of higher-order topological phases in 2D spin-phononic crystal networks

abstract: We propose and analyse an efficient scheme for simulating higher-order topological phases of matter in two dimensional (2D) spin-phononic crystal networks. We show that, through a specially designed periodic driving, one can selectively control and enhance the bipartite silicon-vacancy (SiV) center arrays, so as to obtain the chiral symmetry-protected spin-spin couplings. More importantly, the Floquet engineering spin-spin interactions support rich quantum phases associated with topological invariants. In momentum space, we analyze and simulate the topological nontrivial properties of the one- and two-dimensional system, and show that higher-order topological phases can be achieved under the appropriate periodic driving parameters. As an application in quantum information processing, we study the robust quantum state transfer via topologically protected edge states. This work opens up new prospects for studying quantum acoustic, and offers an experimentally feasible platform for the study of higher-order topological phases of matter.


title: Stellar migrations and metal flows -- Chemical evolution of the thin disc of a simulated Milky Way analogous galaxy

abstract: In order to understand the roles of metal flows in galaxy formation and evolution, we analyse our self-consistent cosmological chemo-dynamical simulation of a Milky Way like galaxy during its thin-disc phase. Our simulated galaxy disc qualitatively reproduces the variation of the dichotomy in [$\alpha$/Fe]-[Fe/H] at different Galactocentric distances as derived by APOGEE-DR16, as well as the stellar age distribution in [$\alpha$/Fe]-[Fe/H] from APOKASC-2. The disc grows from the inside out, with a radial gradient in the star-formation rate during the entire phase. Despite the radial dependence, the outflow-to-infall ratio of metals in our simulated halo shows a time-independent profile scaling with the disc growth. The simulated disc undergoes two modes of gas inflow: (i) an infall of metal-poor and relatively low-[$\alpha$/Fe] gas, and (ii) a radial flow where already chemically-enriched gas moves inwards with an average velocity of $\sim0.7$ km/s. Moreover, we find that stellar migrations mostly happen outwards, on typical time scales of $\sim5$ Gyr. Our predicted radial metallicity gradients agree with the observations from APOGEE-DR16, and the main effect of stellar migrations is to flatten the radial metallicity profiles by 0.05 dex/kpc in the slopes. We also show that the effect of migrations can appear more important in [$\alpha$/Fe] than in the [Fe/H]-age relation of thin-disc stars.


title: Approximate Inverse Reinforcement Learning from Vision-based Imitation Learning

abstract: In this work, we present a method for obtaining an implicit objective function for vision-based navigation. The proposed methodology relies on Imitation Learning, Model Predictive Control (MPC), and an interpretation technique used in Deep Neural Networks. We use Imitation Learning as a means to do Inverse Reinforcement Learning in order to create an approximate cost function generator for a visual navigation challenge. The resulting cost function, the costmap, is used in conjunction with MPC for real-time control and outperforms other state-of-the-art costmap generators in novel environments. The proposed process allows for simple training and robustness to out-of-sample data. We apply our method to the task of vision-based autonomous driving in multiple real and simulated environments and show its generalizability.


title: A modified deep convolutional neural network for detecting COVID-19 and pneumonia from chest X-ray images based on the concatenation of Xception and ResNet50V2

abstract: In this paper, we have trained several deep convolutional networks with introduced training techniques for classifying X-ray images into three classes: normal, pneumonia, and COVID-19, based on two open-source datasets. Our data contains 180 X-ray images that belong to persons infected with COVID-19, and we attempted to apply methods to achieve the best possible results. In this research, we introduce some training techniques that help the network learn better when we have an unbalanced dataset (fewer cases of COVID-19 along with more cases from other classes). We also propose a neural network that is a concatenation of the Xception and ResNet50V2 networks. This network achieved the best accuracy by utilizing multiple features extracted by two robust networks. For evaluating our network, we have tested it on 11302 images to report the actual accuracy achievable in real circumstances. The average accuracy of the proposed network for detecting COVID-19 cases is 99.50%, and the overall average accuracy for all classes is 91.4%.


title: Enriching the Transformer with Linguistic Factors for Low-Resource Machine Translation

abstract: Introducing factors, that is to say, word features such as linguistic information referring to the source tokens, is known to improve the results of neural machine translation systems in certain settings, typically in recurrent architectures. This study proposes enhancing the current state-of-the-art neural machine translation architecture, the Transformer, so that it allows to introduce external knowledge. In particular, our proposed modification, the Factored Transformer, uses linguistic factors that insert additional knowledge into the machine translation system. Apart from using different kinds of features, we study the effect of different architectural configurations. Specifically, we analyze the performance of combining words and features at the embedding level or at the encoder level, and we experiment with two different combination strategies. With the best-found configuration, we show improvements of 0.8 BLEU over the baseline Transformer in the IWSLT German-to-English task. Moreover, we experiment with the more challenging FLoRes English-to-Nepali benchmark, which includes both extremely low-resourced and very distant languages, and obtain an improvement of 1.2 BLEU.


title: Beam Selection for Wideband Millimeter Wave MIMO Relying on Lens Antenna Arrays

abstract: Beamspace multi-input multi-output (MIMO) relying on lens antenna arrays can significantly reduce the number of radio-frequency chains in millimeter-wave (mmWave) communication systems through beam selection. However, the beamforming gain is actually frequency-dependent in wideband mmWave MIMO systems. This phenomenon is called beam squint, which will deteriorate the system's performance when traditional beam selection methods are used. To solve this problem, we propose a wideband beam selection method for mmWave MIMO systems relying on lens antenna arrays. Firstly, we select one beam with the maximal energy averaged over the whole band for each user and then we sequentially select the beams that contribute the most to the sum-rate. Performance analysis of the proposed wideband beam selection method is also presented. Numerical results show that the proposed method achieves higher sum-rate and energy efficiency compared with its traditional counterparts.


title: Self-Learning with Rectification Strategy for Human Parsing

abstract: In this paper, we solve the sample shortage problem in the human parsing task. We begin with the self-learning strategy, which generates pseudo-labels for unlabeled data to retrain the model. However, directly using noisy pseudo-labels will cause error amplification and accumulation. Considering the topology structure of human body, we propose a trainable graph reasoning method that establishes internal structural connections between graph nodes to correct two typical errors in the pseudo-labels, i.e., the global structural error and the local consistency error. For the global error, we first transform category-wise features into a high-level graph model with coarse-grained structural information, and then decouple the high-level graph to reconstruct the category features. The reconstructed features have a stronger ability to represent the topology structure of the human body. Enlarging the receptive field of features can effectively reducing the local error. We first project feature pixels into a local graph model to capture pixel-wise relations in a hierarchical graph manner, then reverse the relation information back to the pixels. With the global structural and local consistency modules, these errors are rectified and confident pseudo-labels are generated for retraining. Extensive experiments on the LIP and the ATR datasets demonstrate the effectiveness of our global and local rectification modules. Our method outperforms other state-of-the-art methods in supervised human parsing tasks.


title: Dialogue-Based Relation Extraction

abstract: We present the first human-annotated dialogue-based relation extraction (RE) dataset DialogRE, aiming to support the prediction of relation(s) between two arguments that appear in a dialogue. We further offer DialogRE as a platform for studying cross-sentence RE as most facts span multiple sentences. We argue that speaker-related information plays a critical role in the proposed task, based on an analysis of similarities and differences between dialogue-based and traditional RE tasks. Considering the timeliness of communication in a dialogue, we design a new metric to evaluate the performance of RE methods in a conversational setting and investigate the performance of several representative RE methods on DialogRE. Experimental results demonstrate that a speaker-aware extension on the best-performing model leads to gains in both the standard and conversational evaluation settings. DialogRE is available at https://dataset.org/dialogre/.


title: Diversity-based Design Assist for Large Legged Robots

abstract: We combine MAP-Elites and highly parallelisable simulation to explore the design space of a class of large legged robots, which stand at around 2m tall and whose design and construction is not well-studied. The simulation is modified to account for factors such as motor torque and weight, and presents a reasonable fidelity search space. A novel robot encoding allows for bio-inspired features such as legs scaling along the length of the body. The impact of three possible control generation schemes are assessed in the context of body-brain co-evolution, showing that even constrained problems benefit strongly from coupling-promoting mechanisms. A two stage process in implemented. In the first stage, a library of possible robots is generated, treating user requirements as constraints. In the second stage, the most promising robot niches are analysed and a suite of human-understandable design rules generated related to the values of their feature variables. These rules, together with the library, are then ready to be used by a (human) robot designer as a Design Assist tool.


title: Generative Adversarial Networks for Video-to-Video Domain Adaptation

abstract: Endoscopic videos from multicentres often have different imaging conditions, e.g., color and illumination, which make the models trained on one domain usually fail to generalize well to another. Domain adaptation is one of the potential solutions to address the problem. However, few of existing works focused on the translation of video-based data. In this work, we propose a novel generative adversarial network (GAN), namely VideoGAN, to transfer the video-based data across different domains. As the frames of a video may have similar content and imaging conditions, the proposed VideoGAN has an X-shape generator to preserve the intra-video consistency during translation. Furthermore, a loss function, namely color histogram loss, is proposed to tune the color distribution of each translated frame. Two colonoscopic datasets from different centres, i.e., CVC-Clinic and ETIS-Larib, are adopted to evaluate the performance of domain adaptation of our VideoGAN. Experimental results demonstrate that the adapted colonoscopic video generated by our VideoGAN can significantly boost the segmentation accuracy, i.e., an improvement of 5%, of colorectal polyps on multicentre datasets. As our VideoGAN is a general network architecture, we also evaluate its performance with the CamVid driving video dataset on the cloudy-to-sunny translation task. Comprehensive experiments show that the domain gap could be substantially narrowed down by our VideoGAN.


title: A Probabilistic Logic for Verifying Continuous-time Markov Chains

abstract: A continuous-time Markov chain (CTMC) execution is a continuous class of probability distributions over states. This paper proposes a probabilistic linear-time temporal logic, namely continuous-time linear logic (CLL), to reason about the probability distribution execution of CTMCs. We define the syntax of CLL on the space of probability distributions. The syntax of CLL includes multiphase timed until formulas, and the semantics of CLL allows time reset to study relatively temporal properties. We derive a corresponding model-checking algorithm for CLL formulas. The correctness of the model-checking algorithm depends on Schanuel's conjecture, a central open problem in transcendental number theory. Furthermore, we provide a running example of CTMCs to illustrate our method.


title: A canonical neighborhood theorem for the mean curvature flow in higher codimension

abstract: In dimensions $n \geq 5$, we prove a canonical neighborhood theorem for the mean curvature flow of compact $n$-dimensional submanifolds in $\mathbb{R}^N$ satisfying a pinching condition $|A|^2 < c|H|^2$ for $c = \min \{ \frac{3(n+1)}{2n(n+2)},\frac{1}{n-2}\}.$


title: S-band electron spin resonance spectroscopy using a short-circuited coplanar waveguide resonator

abstract: In this work, we study the development of a coplanar waveguide (CPW) resonator and its use in an electron spin resonance (ESR) spectrometer. The CPW resonator is designed to operate in S-band. It has a short circuit configuration which leads to miniaturization. It is so constructed such that it has a characteristic impedance of 50 ohms. Detailed electromagnetic simulation with a particular emphasis on the excitation of the structure has been performed for this resonator owing to its uniplanar nature. The design parameters and the electromagnetic field distribution are obtained from the simulation. The resonator is fabricated using optical lithography with a rapid prototyping technique. The characteristic response of the resonator is measured by coupling it to a Vector Network Analyzer (VNA). The ESR absorption spectrum of free radical 2,2-diphenyl-1-picrylhydrazyl (DPPH) is captured by using this resonator in reflection geometry. The microwave magnetic field distribution at the sample position is investigated.The measured g-factor value is found to be consistent with that reported in the literature. The quality factor of this resonator is found to be low and this makes it suitable for use in a Pulsed ESR spectrometer.


title: The fundamental groups of presymplectic Hamiltonian G-manifolds

abstract: We consider presymplectic manifolds equipped with Hamiltonian G-actions, G being a connected compact Lie group. A presymplectic manifold is foliated by the integral submanifolds of the kernel of the presymplectic form. For a presymplectic Hamiltonian G-manifold, Lin and Sjamaar propose a condition under which they show that the moment map image has the same ``convex and polyhedral" property as the moment map image of a symplectic Hamiltonian G-manifold, a result proved independently by Atiyah, Guillemin-Sternberg, and Kirwan. In this paper, under the condition Lin and Sjamaar proposed on presymplectic Hamiltonian G-manifolds, we study the fundamental groups of such manifolds, comparing with earlier results on the fundamental groups of symplectic Hamiltonian G-manifolds. We observe that the results on the symplectic case are special cases of the results on the presymplectic case.


title: Outage Analysis for Intelligent Reflecting Surface Assisted Vehicular Communication Networks

abstract: Vehicular communication is an important application of the fifth generation of mobile communication systems (5G). Due to its low cost and energy efficiency, intelligent reflecting surface (IRS) has been envisioned as a promising technique that can enhance the coverage performance significantly by passive beamforming. In this paper, we analyze the outage probability performance in IRS-assisted vehicular communication networks. We derive the expression of outage probability by utilizing series expansion and central limit theorem. Numerical results show that the IRS can significantly reduce the outage probability for vehicles in its vicinity. The outage probability is closely related to the vehicle density and the number of IRS elements, and better performance is achieved with more reflecting elements.