title: Some Challenges of Specifying Concurrent Program Components

abstract: The purpose of this paper is to address some of the challenges of formally specifying components of shared-memory concurrent programs. The focus is to provide an abstract specification of a component that is suitable for use both by clients of the component and as a starting point for refinement to an implementation of the component. We present some approaches to devising specifications, investigating different forms suitable for different contexts. We examine handling atomicity of access to data structures, blocking operations and progress properties, and transactional operations that may fail and need to be retried.


title: Correctness of Concurrent Objects under Weak Memory Models

abstract: In this paper we develop a theory for correctness of concurrent objects under weak memory models. Central to our definitions is the concept of observations which determine when effects of operations become visible, and hence determine the semantics of objects, under a given memory model. The resulting notion of correctness, called object refinement, is generic as it is parameterised by the memory model under consideration. Our theory enforces the minimal constraints on the placing of observations and on the semantics of objects that underlie object refinement. Object refinement is suitable as a reference for correctness when proving new proof methods for objects under weak memory models to be sound and complete.


title: Refining Santa: An Exercise in Efficient Synchronization

abstract: The Santa Claus Problem is an intricate exercise for concurrent programming. This paper outlines the refinement steps to develop a highly efficient implementation with concurrent objects, starting from a simple specification. The efficiency of the implementation is compared to those in other languages.


title: A Chandra Survey of Milky Way Globular Clusters II: Testing the Hills-Heggie Law

abstract: Binary-single and binary-binary encounters play a pivotal role in the evolution of star clusters, as they may lead to the disruption or hardening of binaries, a novel prediction of the Hills-Heggie law. Based on our recent {\it Chandra} survey of Galactic globular clusters (GCs), we revisit the role of stellar dynamical interactions in GCs, focusing on main-sequence (MS) binary encounters as a potential formation channel of the observed X-ray sources in GCs. We show that the cumulative X-ray luminosity ($L_X$), a proxy of the total number of X-ray-emitting binaries (primarily cataclysmic variables and coronally active binaries) in a given GC, is highly correlated with the MS binary encounter rate ($\Gamma_{b}$), as $L_X \propto \Gamma_{b}^{0.77\pm0.11}$. We further test the Hills-Heggie law against the {\it binary hardness ratio}, defined as the relative number of X-ray-emitting hard binaries to MS binaries and approximated by $L_{X}/(L_{K}f_{b})$, with $L_{K}$ being the GC K-band luminosity and $f_b$ the MS binary fraction. We demonstrate that the binary hardness ratio of most GCs is larger than that of the Solar neighborbood stars, and exhibits a positive correlation with the cluster specific encounter rate ($\gamma$), as $L_{X}/(L_{K}f_{b}) \propto \gamma^{0.65\pm0.12}$. We also find a strong correlation between the binary hardness ratio and cluster velocity dispersion ($\sigma$), with $L_{X}/(L_{K}f_{b}) \propto \sigma^{1.71\pm0.48}$, which is consistent with the Hills-Heggie law. We discuss the role of binary encounters in the context of the Nuclear Star Cluster, arguing that the X-ray-emitting, close binaries detected therein could have been predominatly formed in GCs that later inspiralled to the Galactic center.


title: Ordering Strict Partial Orders to Model Behavioral Refinement

abstract: Software is now ubiquitous and involved in complex interactions with the human users and the physical world in so-called cyber-physical systems where the management of time is a major issue. Separation of concerns is a key asset in the development of these ever more complex systems. Two different kinds of separation exist: a first one corresponds to the different steps in a development leading from the abstract requirements to the system implementation and is qualified as vertical. It matches the commonly used notion of refinement. A second one corresponds to the various components in the system architecture at a given level of refinement and is called horizontal. Refinement has been studied thoroughly for the data, functional and concurrency concerns while our work focuses on the time modeling concern. This contribution aims at providing a formal construct for the verification of refinement in time models, through the definition of an order between strict partial orders used to relate the different instants in asynchronous systems. This relation allows the designer at the concrete level to distinguish events that are coincident at the abstract level while preserving the properties assessed at the abstract level. This work has been conducted using the proof assistant Agda and is connected to a previous work on the asynchronous language CCSL, which has also been modelled using the same tool.


title: Programming Without Refining

abstract: To derive a program for a given specification R means to find an artifact P that satisfies two conditions: P is executable in some programming language; and P is correct with respect to R. Refinement-based program derivation achieves this goal in a stepwise manner by enhancing executability while preserving correctness until we achieve complete executability. In this paper, we argue that it is possible to invert these properties, and to derive a program by enhancing correctness while preserving executability (proceeding from one executable program to another) until we achieve absolute correctness. Of course, this latter process is possible only if we know how to enhance correctness.


title: How to Read Paintings: Semantic Art Understanding with Multi-Modal Retrieval

abstract: Automatic art analysis has been mostly focused on classifying artworks into different artistic styles. However, understanding an artistic representation involves more complex processes, such as identifying the elements in the scene or recognizing author influences. We present SemArt, a multi-modal dataset for semantic art understanding. SemArt is a collection of fine-art painting images in which each image is associated to a number of attributes and a textual artistic comment, such as those that appear in art catalogues or museum collections. To evaluate semantic art understanding, we envisage the Text2Art challenge, a multi-modal retrieval task where relevant paintings are retrieved according to an artistic text, and vice versa. We also propose several models for encoding visual and textual artistic representations into a common semantic space. Our best approach is able to find the correct image within the top 10 ranked images in the 45.5% of the test samples. Moreover, our models show remarkable levels of art understanding when compared against human evaluation.


title: Free Lunch

abstract: The Free Lunch Principle: Nature thrives on freebies. She chooses nothing, and no one helps Her. She must use canonical mathematical structures as there is no one to tell Her otherwise. With this I show where variational principles are superfluous and Noether's theorem is trivial.


title: Sparse DNNs with Improved Adversarial Robustness

abstract: Deep neural networks (DNNs) are computationally/memory-intensive and vulnerable to adversarial attacks, making them prohibitive in some real-world applications. By converting dense models into sparse ones, pruning appears to be a promising solution to reducing the computation/memory cost. This paper studies classification models, especially DNN-based ones, to demonstrate that there exists intrinsic relationships between their sparsity and adversarial robustness. Our analyses reveal, both theoretically and empirically, that nonlinear DNN-based classifiers behave differently under $l_2$ attacks from some linear ones. We further demonstrate that an appropriately higher model sparsity implies better robustness of nonlinear DNNs, whereas over-sparsified models can be more difficult to resist adversarial examples.


title: Deep Neural Ranking for Crowdsourced Geopolitical Event Forecasting

abstract: There are many examples of 'wisdom of the crowd' effects in which the large number of participants imparts confidence in the collective judgment of the crowd. But how do we form an aggregated judgment when the size of the crowd is limited? Whose judgments do we include, and whose do we accord the most weight? This paper considers this problem in the context of geopolitical event forecasting, where volunteer analysts are queried to give their expertise, confidence, and predictions about the outcome of an event. We develop a forecast aggregation model that integrates topical information about a question, meta-data about a pair of forecasters, and their predictions in a deep siamese neural network that decides which forecasters' predictions are more likely to be close to the correct response. A ranking of the forecasters is induced from a tournament of pair-wise forecaster comparisons, with the ranking used to create an aggregate forecast. Preliminary results find the aggregate prediction of the best forecasters ranked by our deep siamese network model consistently beats typical aggregation techniques by Brier score.


title: Measurement based fault tolerance beyond foliation

abstract: In order to build a scalable quantum computer error correction will be required to reduce the impact of errors. Implementing error correction in the framework of measurement based computation manifests itself as the construction of fault tolerant cluster states (FTCSs). While any 2-dimensional stabilizer code can be used to construct a FTCS through the process of foliation, here we find FTCSs that cannot be constructed through foliation of a stabilizer code, and identify new examples of self-dual codes that can still be implemented in a 2-dimensional physical architecture.


title: The Full Symmetric Toda Flow and Intersections of Bruhat Cells

abstract: In this short note we show that the Bruhat cells in real normal forms of semisimple Lie algebras enjoy the same property as their complex analogs: for any two elements $w$, $w'$ in the Weyl group $W(\mathfrak g)$, the corresponding real Bruhat cell $X_w$ intersects with the dual Bruhat cell $Y_{w'}$ iff $w\prec w'$ in the Bruhat order on $W(\mathfrak g)$. Here $\mathfrak g$ is a normal real form of a semisimple complex Lie algebra $\mathfrak g_\mathbb C$. Our reasoning is based on the properties of the Toda flows rather than on the analysis of the Weyl group action and geometric considerations.


title: Giant Lateral Optical Forces on Rayleigh Particles near Hyperbolic and Extremely Anisotropic Metasurfaces

abstract: We report a dramatic enhancement of the lateral optical forces induced on electrically polarizable Rayleigh particles near hyperbolic and extremely anisotropic metasurfaces under simple plane wave illumination. Such enhancement is enabled by the interplay between the increased density of states provided by these structures and the out-of-plane polarization spin acquired by the particle. The resulting giant lateral forces appear over a broad frequency range and may open unprecedented venues for routing, trapping, and assembling nanoparticles.


title: Calendar-based graphics for visualizing people's daily schedules

abstract: Calendars are broadly used in society to display temporal information, and events. This paper describes a new R package with functionality to organize and display temporal data, collected on sub-daily resolution, into a calendar layout. The function `frame_calendar` uses linear algebra on the date variable to restructure data into a format lending itself to calendar layouts. The user can apply the grammar of graphics to create plots inside each calendar cell, and thus the displays synchronize neatly with ggplot2 graphics. The motivating application is studying pedestrian behavior in Melbourne, Australia, based on counts which are captured at hourly intervals by sensors scattered around the city. Faceting by the usual features such as day and month, was insufficient to examine the behavior. Making displays on a monthly calendar format helps to understand pedestrian patterns relative to events such as work days, weekends, holidays, and special events. The layout algorithm has several format options and variations. It is implemented in the R package sugrrants.


title: New hot subdwarf stars identified in Gaia DR2 with LAMOST DR5 spectra

abstract: We selected 4593 hot subdwarf candidates from the Gaia DR2 Hertzsprung-Russell (HR) diagram. By combining the sample with LAMOST DR5, we identified 294 hot subdwarf stars, including 169 sdB, 63 sdOB, 31 He-sdOB, 22 sdO, 7 He-sdO and 2 He-sdB stars. The atmospheric parameters (e.g., T_{eff} , log g, log(nHe/nH)) are obtained by fitting the hydrogen (H) and helium (He) line profiles with synthetic spectra. Two distinct He sequences of hot subdwarf stars are clearly presented in the T_{eff} - log g diagram. We found that the He-rich sequence consists of the bulk of sdB and sdOB stars as well as all of the He-sdB, He-sdO and He-sdOB stars in our samples, while all the stars in the He-weak sequence belong to the sdO spectral type, combined with a few sdB and sdOB stars. We demonstrated that the combination of Gaia DR2 and LAMOST DR5 allows one to uncover a huge number of new hot subdwarf stars in our Galaxy.


title: The Onset of Intermittency in Stochastic Burgers Hydrodynamics

abstract: We study the onset of intermittency in stochastic Burgers hydrodynamics, as characterized by the statistical behavior of negative velocity gradient fluctuations. The analysis is based on the response functional formalism, where specific velocity configurations - the viscous instantons - are assumed to play a dominant role in modeling the left tails of velocity gradient probability distribution functions. We find, as expected on general grounds, that the field theoretical approach becomes meaningful in practice only if the effects of fluctuations around instantons are taken into account. Working with a systematic cumulant expansion, it turns out that the integration of fluctuations yields, in leading perturbative order, to an effective description of the Burgers stochastic dynamics given by the renormalization of its associated heat kernel propagator and the external force-force correlation function.


title: Relativistic chaos in the anisotropic harmonic oscillator

abstract: The harmonic oscillator is an essential tool, widely used in all branches of Physics in order to understand more realistic systems, from classical to quantum and relativistic regimes. We know that the harmonic oscillator is integrable in Newtonian mechanics, whether forced, damped or multidimensional. On the other hand, it is known that relativistic, one-dimensional driven oscillators present chaotic behavior. However, there is no analogous result in the literature concerning relativistic conservative, two-dimensional oscillators. We consider in this paper different separable potentials for two-dimensional oscillators in the context of special relativistic dynamics. We show, by means of different chaos indicators, that all these systems present chaotic behavior under specific initial conditions. In particular, the relativistic anisotropic, two-dimensional harmonic oscillator is chaotic. The non-integrability of the system is shown to come from the momentum coupling in the kinetic part of the Hamiltonian, even if there are no coupling terms in the potential. It follows that chaos must appear in most integrable classical systems once we introduce relativistic corrections to the dynamics. The chaotic nature of the relativistic, anisotropic harmonic oscillator may be detected in the laboratory using Bose condensates in a two-dimensional optical lattice, extending the recent experiments on the one-dimensional case.


title: In Vivo Measurement of Blood Clot Mechanics from Computational Fluid Dynamics based on Intravital Microscopy Images

abstract: Ischemia leading to heart attacks and strokes is the major cause of deaths in the world. Whether an occlusion occurs or not, depends on the ability of a growing thrombus to resist forces exerted on its structure. This manuscript provides the first known in vivo measurement of the stresses that clots can withstand, before yielding to the surrounding blood flow. Namely, Lattice-Boltzmann Method flow simulations are performed based on 3D clot geometries. The latter are estimated from intravital microscopy images of laser-induced injuries in cremaster microvasculature of live mice. In addition to reporting the blood clot yield stresses, we also show that the thrombus 'core' does not experience significant deformation, while its 'shell' does. This indicates that the latter is more prone to embolization. Hence, drugs should be designed to target the shell selectively, while leaving the core intact (to minimize excessive bleeding). Finally, we laid down a foundation for a nondimensionalization procedure, which unraveled a relationship between clot mechanics and biology. Hence, the proposed framework could ultimately lead to a unified theory of thrombogenesis, capable of explaining all clotting events. Thus, the findings presented herein will be beneficial to the understanding and treatment of heart attacks, strokes and hemophilia.


title: $G$-equivariant embedding theorems for CR manifolds of high codimension

abstract: Let $(X,T^{1,0}X)$ be a $(2n+1+d)$-dimensional compact CR manifold with codimension $d+1$, $d\geq1$, and let $G$ be a $d$-dimensional compact Lie group with CR action on $X$ and $T$ be a globally defined vector field on $X$ such that $\mathbb C TX=T^{1,0}X\oplus T^{0,1}X\oplus\mathbb C T\oplus\mathbb C\underline{\mathfrak{g}}$, where $\underline{\mathfrak{g}}$ is the space of vector fields on $X$ induced by the Lie algebra of $G$. In this work, we show that if $X$ is strongly pseudoconvex in the direction of $T$ and $n\geq 2$, then there exists a $G$-equivariant CR embedding of $X$ into $\mathbb C^N$, for some $N\in\mathbb N$. We also establish a CR orbifold version of Boutet de Monvel's embedding theorem.


title: A Neural Compositional Paradigm for Image Captioning

abstract: Mainstream captioning models often follow a sequential structure to generate captions, leading to issues such as introduction of irrelevant semantics, lack of diversity in the generated captions, and inadequate generalization performance. In this paper, we present an alternative paradigm for image captioning, which factorizes the captioning procedure into two stages: (1) extracting an explicit semantic representation from the given image; and (2) constructing the caption based on a recursive compositional procedure in a bottom-up manner. Compared to conventional ones, our paradigm better preserves the semantic content through an explicit factorization of semantics and syntax. By using the compositional generation procedure, caption construction follows a recursive structure, which naturally fits the properties of human language. Moreover, the proposed compositional procedure requires less data to train, generalizes better, and yields more diverse captions.


title: Point-cloud-based place recognition using CNN feature extraction

abstract: This paper proposes a novel point-cloud-based place recognition system that adopts a deep learning approach for feature extraction. By using a convolutional neural network pre-trained on color images to extract features from a range image without fine-tuning on extra range images, significant improvement has been observed when compared to using hand-crafted features. The resulting system is illumination invariant, rotation invariant and robust against moving objects that are unrelated to the place identity. Apart from the system itself, we also bring to the community a new place recognition dataset containing both point cloud and grayscale images covering a full $360^\circ$ environmental view. In addition, the dataset is organized in such a way that it facilitates experimental validation with respect to rotation invariance or robustness against unrelated moving objects separately.


title: Hadronic electroweak current and $\pi - a_1$ mixing

abstract: It is found that in presence of electroweak interactions the gauge covariant diagonalization of the axial-vector -- pseudoscalar mixing in the effective meson Lagrangian leads to a deviation from the vector meson and the axial-vector meson dominance of the entire hadronic electroweak current. The essential features of such a modification of the theory are investigated in the framework of the extended Nambu-Jona-Lasinio model with explicit breaking of chiral $U(2) \times U(2)$ symmetry. The Schwinger-DeWitt method is used as a major tool in our study of the real part of the relevant effective action. Some straightforward applications are considered.


title: Moore-Machine Filtering for Timed and Untimed Pattern Matching

abstract: Monitoring is an important body of techniques in runtime verification of real-time, embedded, and cyber-physical systems. Mathematically, the monitoring problem can be formalized as a pattern matching problem against a pattern automaton. Motivated by the needs in embedded applications---especially the limited channel capacity between a sensor unit and a processor that monitors---we pursue the idea of filtering as preprocessing for monitoring. Technically, for a given pattern automaton, we present a construction of a Moore machine that works as a filter. The construction is automata-theoretic, and we find the use of Moore machines particularly suited for embedded applications, not only because their sequential operation is relatively cheap but also because they are amenable to hardware acceleration by dedicated circuits. We prove soundness (i.e., absence of lost matches), too. We work in two settings: in the untimed one, a pattern is an NFA; in the timed one, a pattern is a timed automaton. The extension of our untimed construction to the timed setting is technically involved, but our experiments demonstrate its practical benefits.


title: Working in Pairs: Understanding the Effects of Worker Interactions in Crowdwork

abstract: Crowdsourcing has gained popularity as a tool to harness human brain power to help solve problems that are difficult for computers. Previous work in crowdsourcing often assumes that workers complete crowdwork independently. In this paper, we relax the independent property of crowdwork and explore how introducing direct, synchronous, and free-style interactions between workers would affect crowdwork. In particular, motivated by the concept of peer instruction in educational settings, we study the effects of peer communication in crowdsourcing environments. In the crowdsourcing setting with peer communication, pairs of workers are asked to complete the same task together by first generating their initial answers to the task independently and then freely discussing the tasks with each other and updating their answers after the discussion. We experimentally examine the effects of peer communication in crowdwork on various common types of tasks on crowdsourcing platforms, including image labeling, optical character recognition (OCR), audio transcription, and nutrition analysis. Our experiment results show that the work quality is significantly improved in tasks with peer communication compared to tasks where workers complete the work independently. However, participating in tasks with peer communication has limited effects on influencing worker's independent performance in tasks of the same type in the future.


title: Rich Essential Properties of Si-Doped Graphene

abstract: A theoretical framework, which is under the first-principles calculations, is developed to fully explore the dramatic changes of essential properties due to the silicon-atom chemical modifications on monolayer graphenes. For the Si-chemisorption and Si-substituted graphenes, the guest-atom-diversified geometric structures, the Si- and C-dominated energy bands, the magnetic moments, the charge transfers, the spatial charge densities, the spin distribution configurations, and the van Hove singularities in the atom- and orbital-projected density of states are investigated thoroughly by the delicate evaluations and analyses. Such fundamental properties are sufficient in determining the critical physical and chemical pictures, in which the accurate multi-orbital hybridizations are very useful in comprehending the diverse phenomena, e.g., the C- and Si-co-dominated energy bands, the semiconducting or metallic behaviors, and the existence/absence of Dirac-cone band structures. This developing model could be generalized to other emergent layered materials.


title: Convergence of filtered weak solutions to the 2D Euler equations with vortex sheet initial data

abstract: We study weak solutions of the two-dimensional (2D) filtered Euler equations whose vorticity is a finite Radon measure and velocity has locally finite kinetic energy, which is called the vortex sheet solution. The filtered Euler equations are a regularized model based on a spatial filtering to the Euler equations. The 2D filtered Euler equations have a unique global weak solution for measure valued initial vorticity, while the 2D Euler equations require initial vorticity to be in the vortex sheet class with a distinguished sign for the existence of global solutions. In this paper, we prove that vortex sheet solutions of the 2D filtered Euler equations converge to those of the 2D Euler equations in the limit of the filtering parameter provided that initial vortex sheet has a distinguished sign. We also show that a simple application of our proof yields the convergence of the vortex blob method for vortex sheet solutions. Moreover, we make it clear what kind of condition should be imposed on the spatial filter to show the convergence results and, according to the condition, these results are applicable to well-known regularized models like the Euler-$\alpha$ model and the vortex blob model.


title: Quasi-isometric embeddings of symmetric spaces and lattices: reducible case

abstract: We study quasi-isometric embeddings of symmetric spaces and non-uniform irreducible lattices in semisimple higher rank Lie groups. We show that any quasi-isometric embedding between symmetric spaces of the same rank can be decomposed into a product of quasi-isometric embeddings into irreducible symmetric spaces. We thus extend earlier rigidity results about quasi-isometric embeddings to the setting of semisimple Lie groups. We also present some examples when the rigidity does not hold, including first examples in which every flat is mapped into multiple flats.


title: Discrete unified gas kinetic scheme for multiscale heat transfer with arbitrary temperature difference

abstract: In this paper, a finite-volume discrete unified gas kinetic scheme (DUGKS) based on the non-gray phonon transport model is developed for multiscale heat transfer problem with arbitrary temperature difference. Under large temperature difference, the phonon Boltzmann transport equation (BTE) is essentially multiscale, not only in the frequency space, but also in the spatial space. In order to realize the efficient coupling of the multiscale phonon transport, the phonon scattering and advection are coupled together in the present scheme on the reconstruction of the distribution function at the cell interface. The Newtonian method is adopted to solve the nonlinear scattering term for the update of the temperature at both the cell center and interface. In addition, the energy at the cell center is updated by a macroscopic equation instead of taking the moment of the distribution function, which enhances the numerical conservation. Numerical results of the cross-plane heat transfer prove that the present scheme can describe the multiscale heat transfer phenomena accurately with arbitrary temperature difference in a wide range. In the diffusive regime, even if the time step is larger than the relaxation time, the present scheme can capture the transient thermal transport process accurately. Compared to that under small temperature differences, as the temperature difference increases, the variation of the temperature distribution behaves quite differently and the average temperature in the domain increases in the ballistic regime but decreases in the diffusive regime.


title: Observation of orbital ordering and origin of the nematic order in FeSe

abstract: To elucidate the origin of nematic order in FeSe, we performed field-dependent 77Se-NMR measurements on single crystals of FeSe. We observed orbital ordering from the splitting of the NMR spectra and Knight shift and a suppression of it with magnetic field B0 up to 16 T applied parallel to the Fe-planes. There is a significant change in the distribution and magnitude of the internal magnetic field across the orbital ordering temperature Torb while stripe-type antiferromagnetism is absent. Giant antiferromagnetic (AFM) spin fluctuations measured by the NMR spin-lattice relaxation are gradually developed starting at ~ 40 K, which is far below the nematic ordering temperature Tnem. These results demonstrate that orbital ordering is the origin of the nematic order, and the AFM spin fluctuation is the driving mechanism of superconductivity in FeSe under the presence of the nematic order.


title: Numerical modeling of galactic cosmic ray proton and helium observed by AMS-02 during the solar maximum of Solar Cycle 24

abstract: Galactic cosmic rays (GCRs) are affected by solar modulation while they propagate through the heliosphere. The study of the time variation of GCR spectra observed at Earth can shed light on the underlying physical processes, specifically diffusion and particle drifts. Recently, the AMS-02 experiment measured with very high accuracy the time variation of the cosmic ray proton and helium flux between May 2011 and May 2017 in the rigidity range from 1 to 60 GV. In this work, a comprehensive three-dimensional (3D) steady-state numerical model is used to solve Parker's transport equation and is used to reproduce the monthly proton fluxes observed by AMS-02. We find that the rigidity slope of the perpendicular mean free path above 4 GV remains constant, while below 4 GV it increases during solar maximum. Assuming the same mean free paths for helium and protons, the models are able to reproduce the time behavior of the p/He ratio observed by AMS-02. The dependence of the diffusion tensor on the particle mass-to-charge ratio, A/Z, is found to be the main cause of the time dependence of p/He below 3 GV.


title: Moments of central values of cubic Hecke $L$-functions of $\mathbb{Q}(i)$

abstract: In this paper, we study moments of central values of cubic Hecke $L$-functions in $\mathbb{Q}(i)$, and establish quantitative non-vanishing result for those values.


title: Amending coherence-breaking channels via unitary operations

abstract: The coherence-breaking channels play a significant role in quantum information theory. We study the coherence-breaking channels and give a method to amend the coherence-breaking channels by applying unitary operations. For given incoherent channel $\Phi$, we give necessary and sufficient conditions for the channel to be a coherence-breaking channel and amend it via unitary operations. For qubit incoherent channels $\Phi$ that are not coherence-breaking ones, we consider the mapping $\Phi\circ\Phi$ and present the conditions for coherence-breaking and channel amendment as well.


title: A Dynamical Systems Approach to The Fourth Painleve Equation

abstract: We use methods from dynamical systems to study the fourth Painleve equation PIV. Our starting point is the symmetric form of PIV, to which the Poincare compactification is applied. The motion on the sphere at infinity can be completely characterized. There are fourteen fixed points, which are classified into three different types. Generic orbits of the full system are curves from one of four asymptotically unstable points to one of four asymptotically stable points, with the set of allowed transitions depending on the values of the parameters. This allows us to give a qualitative description of a generic real solution of PIV.


title: Decompositions of torsion-free abelian groups

abstract: It is known that every torsion-free abelian group of finite rank has a maximal completely decomposable summand that is unique up to isomorphism. We show that groups of infinite rank need not have maximal completely decomposable summands, but when they do, this summand is unique up to isomorphism.


title: Time decay rate of global strong solutions to nematic liquid crystal flows in $\mathbb R^3_+$

abstract: In this paper, we obtain optimal time-decay rates in $L^r(\mathbb R^3_+)$ for $r\ge 1$ of global strong solutions to the nematic liquid crystal flows in $\mathbb R^3_+$, provided the initial data has small $L^3(\mathbb R^3_+)$-norm.


title: Distance distributions and inverse problems for metric measure spaces

abstract: Applications in data science, shape analysis and object classification frequently require comparison of probability distributions defined on different ambient spaces. To accomplish this, one requires a notion of distance on a given class of metric measure spaces -- that is, compact metric spaces endowed with probability measures. Such distances are typically defined as comparisons between metric measure space invariants, such as distance distributions (also referred to as shape distributions, distance histograms or shape contexts in the literature). Generally, distances defined in terms of distance distributions are actually pseudometrics, in that they may vanish when comparing nonisomorphic spaces. The goal of this paper is to set up a formal framework for assessing the discrimininative power of distance distributions, i.e., the extend to which these pseudometrics fail to define proper metrics. We formulate several precise inverse problems in terms of these invariants and answer them in several categories of metric measure spaces, including the category of plane curves, where we give a counterexample to the Curve Histogram Conjecture of Brinkman and Olver, the categories of embedded and Riemannian manifolds, where we obtain sphere rigidity results, and the category of metric graphs, where we obtain a local injectivity result along the lines of classical work of Boutin and Kemper on point cloud configurations. The inverse problems are further contextualized by the introduction of a variant of the Gromov-Wasserstein distance on the space of metric measure spaces, which is inspired by the original Monge formulation of optimal transport.


title: Projected Euler method for stochastic delay differential equation under a global monotonicity condition

abstract: This paper investigates projected Euler-Maruyama method for stochastic delay differential equations under a global monotonicity condition. This condition admits some equations with highly nonlinear drift and diffusion coefficients. We appropriately generalized the idea of C-stability and B-consistency given by Beyn et al. [J. Sci. Comput. 67 (2016), no. 3, 955-987] to the case with delay. Moreover, the method is proved to be convergent with order $\frac{1}{2}$ in a succinct way. Finally, some numerical examples are included to illustrate the obtained theoretical results.


title: What can AI do for me: Evaluating Machine Learning Interpretations in Cooperative Play

abstract: Machine learning is an important tool for decision making, but its ethical and responsible application requires rigorous vetting of its interpretability and utility: an understudied problem, particularly for natural language processing models. We propose an evaluation of interpretation on a real task with real human users, where the effectiveness of interpretation is measured by how much it improves human performance. We design a grounded, realistic human-computer cooperative setting using a question answering task, Quizbowl. We recruit both trivia experts and novices to play this game with computer as their teammate, who communicates its prediction via three different interpretations. We also provide design guidance for natural language processing human-in-the-loop settings.


title: $\partial$-reducible handle additions

abstract: Let $M$ be a simple 3-manifold, and $F$ be a component of $\partial M$ of genus at least 2. Let $\alpha$ and $\beta$ be separating slopes on $F$. Let $M(\alpha)$ (resp. $M(\beta)$) be the manifold obtained by adding a 2-handle along $\alpha$ (resp. $\beta$). If $M(\alpha)$ and $M(\beta)$ are $\partial$-reducible, then the minimal geometric intersection number of $\alpha$ and $\beta$ is at most 8.


title: One Bit Matters: Understanding Adversarial Examples as the Abuse of Redundancy

abstract: Despite the great success achieved in machine learning (ML), adversarial examples have caused concerns with regards to its trustworthiness: A small perturbation of an input results in an arbitrary failure of an otherwise seemingly well-trained ML model. While studies are being conducted to discover the intrinsic properties of adversarial examples, such as their transferability and universality, there is insufficient theoretic analysis to help understand the phenomenon in a way that can influence the design process of ML experiments. In this paper, we deduce an information-theoretic model which explains adversarial attacks as the abuse of feature redundancies in ML algorithms. We prove that feature redundancy is a necessary condition for the existence of adversarial examples. Our model helps to explain some major questions raised in many anecdotal studies on adversarial examples. Our theory is backed up by empirical measurements of the information content of benign and adversarial examples on both image and text datasets. Our measurements show that typical adversarial examples introduce just enough redundancy to overflow the decision making of an ML model trained on corresponding benign examples. We conclude with actionable recommendations to improve the robustness of machine learners against adversarial examples.


title: On a Modification of the Agrawal-Biswas Primality Test

abstract: We present a variant of the Agrawal-Biswas algorithm, a Monte Carlo algorithm which tests the primality of an integer $N$ by checking whether or not $(x+a)^N$ and $x^N + a$ are equivalent in a residue ring of $\mathbb{Z}/N\mathbb{Z}[x]$. The variant that we present is also a randomization of Lenstra jr. and Pomerance's improvement to the Agrawal-Kayal-Saxena deterministic primality test. We show that our variant of the Agrawal-Biswas algorithm can be used with the Miller-Rabin primality test to yield an algorithm which is slower than the Miller-Rabin test but relatively more accurate.


title: Petri Nets and Machines of Things That Flow

abstract: Petri nets are an established graphical formalism for modeling and analyzing the behavior of systems. An important consideration of the value of Petri nets is their use in describing both the syntax and semantics of modeling formalisms. Describing a modeling notation in terms of a formal technique such as Petri nets provides a way to minimize ambiguity. Accordingly, it is imperative to develop a deep and diverse understanding of Petri nets. This paper is directed toward a new, but preliminary, exploration of the semantics of such an important tool. Specifically, the concern in this paper is with the semantics of Petri nets interpreted in a modeling language based on the notion of machines of things that flow. The semantics of several Petri net diagrams are analyzed in terms of flow of things. The results point to the viability of the approach for exploring the underlying assumptions of Petri nets.


title: On the blow-up formula of twisted de Rham cohomology

abstract: We derive a blow-up formula for the de Rham cohomology of a local system of complex vector spaces on a compact complex manifold. As an application, we obtain the blow-up invariance of $E_{1}$-degeneracy of the Hodge-de Rham spectral sequence associated to a local system of complex vector spaces.


title: Experimental n-Hexane-Air Expanding Spherical Flames

abstract: The effects of initial pressure and temperature on the laminar burning speed of n-hexane-air mixtures were investigated experimentally and numerically. The spherically expanding flame technique with a nonlinear extrapolation procedure was employed to measure the laminar burning speed at atmospheric and sub-atmospheric pressures and at nominal temperatures ranging from 296 to 422 K. The results indicated that the laminar burning speed increases as pressure decreases and as temperature increases. The predictions of three reaction models taken from the literature were compared with the experimental results from the present study and previous data for n-hexane-air mixtures. Based on a quantitative analysis of the model performances, it was found that the most appropriate model to use for predicting laminar flame properties of n-hexane-air mixtures is JetSurF.


title: Search for $K_L \!\to\! \pi^0 \nu \overline{\nu}$ and $K_L \!\to\! \pi^0 X^0$ Decays at the J-PARC KOTO Experiment

abstract: A search for the rare decay $K_L \!\to\! \pi^0 \nu \overline{\nu}$ was performed. With the data collected in 2015, corresponding to $2.2 \times 10^{19}$ protons on target, a single event sensitivity of $( 1.30 \pm 0.01_{\rm stat} \pm 0.14_{\rm syst} ) \times 10^{-9}$ was achieved and no candidate events were observed. We set an upper limit of $3.0 \times 10^{-9}$ for the branching fraction of $K_L \!\to\! \pi^0 \nu \overline{\nu}$ at the 90% confidence level (C.L.), which improved the previous limit by almost an order of magnitude. An upper limit for $K_L \!\to\! \pi^0 X^0$ was also set as $2.4 \times 10^{-9}$ at the 90% C.L., where $X^0$ is an invisible boson with a mass of $135~{\rm MeV}/c^2$.


title: Hierarchical Approaches for Reinforcement Learning in Parameterized Action Space

abstract: We explore Deep Reinforcement Learning in a parameterized action space. Specifically, we investigate how to achieve sample-efficient end-to-end training in these tasks. We propose a new compact architecture for the tasks where the parameter policy is conditioned on the output of the discrete action policy. We also propose two new methods based on the state-of-the-art algorithms Trust Region Policy Optimization (TRPO) and Stochastic Value Gradient (SVG) to train such an architecture. We demonstrate that these methods outperform the state of the art method, Parameterized Action DDPG, on test domains.


title: A sharp increase in the density of states in PbTe approaching a saddle point in the band structure

abstract: PbTe is a leading mid-range thermoelectric material with a $zT$ that has been enhanced by, amongst other methods, band engineering. Here we present an experimental study of the Hall effect, quantum oscillations, specific heat, and electron microprobe analysis that explores the evolution of the electronic structure of PbTe heavily doped with the `ideal' acceptor Na up to the solubility limit. We identify two phenomenological changes that onset as the electronic structure deviates from a Kane-type dispersion at around 180meV; a qualitative change in the field dependence of the Hall effect indicative of an increase in the high-field limit and a change in the Fermiology, and a sharp increase in the density of states as a function of energy. Following consideration of three possible origins for the observed phenomenology we conclude that the most likely source is non-ellipsoidicity of the $L$-pocket upon approach to a saddle point in the band structure, which is evidenced directly by our quantum oscillation measurements. Comparison to density functional theory calculations imply that this evolution of the electronic structure may be a key contributor to the large thermopower in PbTe.


title: Face Recognition from Sequential Sparse 3D Data via Deep Registration

abstract: Previous works have shown that face recognition with high accurate 3D data is more reliable and insensitive to pose and illumination variations. Recently, low-cost and portable 3D acquisition techniques like ToF(Time of Flight) and DoE based structured light systems enable us to access 3D data easily, e.g., via a mobile phone. However, such devices only provide sparse(limited speckles in structured light system) and noisy 3D data which can not support face recognition directly. In this paper, we aim at achieving high-performance face recognition for devices equipped with such modules which is very meaningful in practice as such devices will be very popular. We propose a framework to perform face recognition by fusing a sequence of low-quality 3D data. As 3D data are sparse and noisy which can not be well handled by conventional methods like the ICP algorithm, we design a PointNet-like Deep Registration Network(DRNet) which works with ordered 3D point coordinates while preserving the ability of mining local structures via convolution. Meanwhile we develop a novel loss function to optimize our DRNet based on the quaternion expression which obviously outperforms other widely used functions. For face recognition, we design a deep convolutional network which takes the fused 3D depth-map as input based on AMSoftmax model. Experiments show that our DRNet can achieve rotation error 0.95{\deg} and translation error 0.28mm for registration. The face recognition on fused data also achieves rank-1 accuracy 99.2% , FAR-0.001 97.5% on Bosphorus dataset which is comparable with state-of-the-art high-quality data based recognition performance.


title: Holographic subregion complexity of a 1+1 dimensional $p$-wave superconductor

abstract: We analyze the holographic subregion complexity in a $3d$ black hole with the vector hair. This $3d$ black hole is dual to a $1+1$ dimensional $p$-wave superconductor. We probe the black hole by changing the size of the interval and by fixing $q$ or $T$. We show that the universal part is finite across the superconductor phase transition and has competitive behaviors different from the finite part of entanglement entropy. The behavior of the subregion complexity depends on the gravitational coupling constant divided by the gauge coupling constant. When this ratio is less than the critical value, the subregion complexity increases as temperature becomes low. This behavior is similar to the one of the holographic $1+1$ dimensional $s$-wave superconductor arXiv:1704.00557. When the ratio is larger than the critical value, the subregion complexity has a non-monotonic behavior as a function of $q$ or $T$. We also find a discontinuous jump of the subregion complexity as a function of the size of the interval. The subregion complexity has the maximum when it wraps the almost entire spatial circle. Due to competitive behaviors between normal and condensed phases, the universal term in the condensed phase becomes even smaller than that of the normal phase by probing the black hole horizon at a large interval. It implies that the formed condensate decreases the subregion complexity like the case of the entanglement entropy.


title: Large scale visual place recognition with sub-linear storage growth

abstract: Robotic and animal mapping systems share many of the same objectives and challenges, but differ in one key aspect: where much of the research in robotic mapping has focused on solving the data association problem, the grid cell neurons underlying maps in the mammalian brain appear to intentionally break data association by encoding many locations with a single grid cell neuron. One potential benefit of this intentional aliasing is both sub-linear map storage and computational requirements growth with environment size, which we demonstrated in a previous proof-of-concept study that detected and encoded mutually complementary co-prime pattern frequencies in the visual map data. In this research, we solve several of the key theoretical and practical limitations of that prototype model and achieve significantly better sub-linear storage growth, a factor reduction in storage requirements per map location, scalability to large datasets on standard compute equipment and improved robustness to environments with visually challenging appearance change. These improvements are achieved through several innovations including a flexible user-driven choice mechanism for the periodic patterns underlying the new encoding method, a parallelized chunking technique that splits the map into sub-sections processed in parallel and a novel feature selection approach that selects only the image information most relevant to the encoded temporal patterns. We evaluate our techniques on two large benchmark datasets with the comparison to the previous state-of-the-art system, as well as providing a detailed analysis of system performance with respect to parameters such as required precision performance and the number of cyclic patterns encoded.


title: Criticality Aware Soft Error Mitigation in the Configuration Memory of SRAM based FPGA

abstract: Efficient low complexity error correcting code(ECC) is considered as an effective technique for mitigation of multi-bit upset (MBU) in the configuration memory(CM)of static random access memory (SRAM) based Field Programmable Gate Array (FPGA) devices. Traditional multi-bit ECCs have large overhead and complex decoding circuit to correct adjacent multibit error. In this work, we propose a simple multi-bit ECC which uses Secure Hash Algorithm for error detection and parity based two dimensional Erasure Product Code for error correction. Present error mitigation techniques perform error correction in the CM without considering the criticality or the execution period of the tasks allocated in different portion of CM. In most of the cases, error correction is not done in the right instant, which sometimes either suspends normal system operation or wastes hardware resources for less critical tasks. In this paper,we advocate for a dynamic priority-based hardware scheduling algorithm which chooses the tasks for error correction based on their area, execution period and criticality. The proposed method has been validated in terms of overhead due to redundant bits, error correction time and system reliability


title: Uniqueness and stability for the recovery of a time-dependent source in elastodynamics

abstract: This paper is concerned with inverse source problems for the time-dependent Lam\'e system in an unbounded domain corresponding to the exterior of a bounded cavity or the full space $\R^3$. If the time and spatial variables of the source term can be separated with compact support, we prove that the vector valued spatial source term can be uniquely determined by boundary Dirichlet data in the exterior of a given cavity. Uniqueness and stability for recovering some class of time-dependent source terms are also obtained using partial boundary data.


title: Two-way Function Computation

abstract: We explore the role of interaction for the problem of reliable computation over two-way multicast networks. Specifically we consider a four-node network in which two nodes wish to compute a modulo-sum of two independent Bernoulli sources generated from the other two, and a similar task is done in the other direction. The main contribution of this work lies in the characterization of the computation capacity region for a deterministic model of the network via a novel transmission scheme. One consequence of this result is that, not only we can get an interaction gain over the one-way non-feedback computation capacities, but also we can sometimes get all the way to perfect-feedback computation capacities simultaneously in both directions. This result draws a parallel with the recent result developed in the context of two-way interference channels.


title: A note on a weakly coupled system of semi-linear visco-elastic damped $\sigma$-evolution models with different power nonlinearities and different $\sigma$ values

abstract: In this article, we prove the global (in time) existence of small data solutions from energy spaces basing on $L^q$ spaces, with $q \in (1,\infty)$, to the Cauchy problems for a weakly coupled system of semi-linear visco-elastic damped $\sigma$-evolution models. Here we consider different power nonlinearities and different $\sigma$ values in the comparison between two single equations. To do this, we use $(L^m \cap L^q)- L^q$ and $L^q- L^q$ estimates, i.e., by mixing additional $L^m$ regularity for the data on the basis of $L^q- L^q$ estimates for solutions, with $m \in [1,q)$, to the corresponding linear Cauchy problems. In addition, allowing loss of decay and the flexible choice of parameters $\sigma$, $m$ and $q$ bring some benefits to relax the restrictions to the admissible exponents $p$.


title: A jamming transition from under- to over-parametrization affects loss landscape and generalization

abstract: We argue that in fully-connected networks a phase transition delimits the over- and under-parametrized regimes where fitting can or cannot be achieved. Under some general conditions, we show that this transition is sharp for the hinge loss. In the whole over-parametrized regime, poor minima of the loss are not encountered during training since the number of constraints to satisfy is too small to hamper minimization. Our findings support a link between this transition and the generalization properties of the network: as we increase the number of parameters of a given model, starting from an under-parametrized network, we observe that the generalization error displays three phases: (i) initial decay, (ii) increase until the transition point --- where it displays a cusp --- and (iii) slow decay toward a constant for the rest of the over-parametrized regime. Thereby we identify the region where the classical phenomenon of over-fitting takes place, and the region where the model keeps improving, in line with previous empirical observations for modern neural networks.


title: Online learning with feedback graphs and switching costs

abstract: We study online learning when partial feedback information is provided following every action of the learning process, and the learner incurs switching costs for changing his actions. In this setting, the feedback information system can be represented by a graph, and previous works studied the expected regret of the learner in the case of a clique (Expert setup), or disconnected single loops (Multi-Armed Bandits (MAB)). This work provides a lower bound on the expected regret in the Partial Information (PI) setting, namely for general feedback graphs --excluding the clique. Additionally, it shows that all algorithms that are optimal without switching costs are necessarily sub-optimal in the presence of switching costs, which motivates the need to design new algorithms. We propose two new algorithms: Threshold Based EXP3 and EXP3. SC. For the two special cases of symmetric PI setting and MAB, the expected regret of both of these algorithms is order optimal in the duration of the learning process. Additionally, Threshold Based EXP3 is order optimal in the switching cost, whereas EXP3. SC is not. Finally, empirical evaluations show that Threshold Based EXP3 outperforms the previously proposed order-optimal algorithms EXP3 SET in the presence of switching costs, and Batch EXP3 in the MAB setting with switching costs.


title: Consistency of the total least squares estimator in the linear errors-in-variables regression

abstract: This paper deals with a homoskedastic errors-in-variables linear regression model and properties of the total least squares (TLS) estimator. We partly revise the consistency results for the TLS estimator previously obtained by the author [18]. We present complete and comprehensive proofs of consistency theorems. A theoretical foundation for construction of the TLS estimator and its relation to the generalized eigenvalue problem is explained. Particularly, the uniqueness of the estimate is proved. The Frobenius norm in the definition of the estimator can be substituted by the spectral norm, or by any other unitarily invariant norm; then the consistency results are still valid.


title: Optimal stochastic modelling with unitary quantum dynamics

abstract: Identifying and extracting the past information relevant to the future behaviour of stochastic processes is a central task in the quantitative sciences. Quantum models offer a promising approach to this, allowing for accurate simulation of future trajectories whilst using less past information than any classical counterpart. Here we introduce a class of phase-enhanced quantum models, representing the most general means of causal simulation with a unitary quantum circuit. We show that the resulting constructions can display advantages over previous state-of-art methods - both in the amount of information they need to store about the past, and in the minimal memory dimension they require to store this information. Moreover, we find that these two features are generally competing factors in optimisation - leading to an ambiguity in what constitutes the optimal model - a phenomenon that does not manifest classically. Our results thus simultaneously offer new quantum advantages for stochastic simulation, and illustrate further qualitative differences in behaviour between classical and quantum notions of complexity.


title: Small Heights in Large Non-Abelian Extensions

abstract: Let E be an elliptic curve over the rationals. Let L be an infinite Galois extension of the rationals with uniformly bounded local degrees at almost all primes. We will consider the infinite extension L(E_tor) of the rationals where we adjoin all coordinates of torsion points of E. In this paper we will prove an effective lower bound for the height of non-zero elements in L(E_tor) that are not a root of unity.


title: Cliquet option pricing in a jump-diffusion L\'{e}vy model

abstract: We investigate the pricing of cliquet options in a jump-diffusion model. The considered option is of monthly sum cap style while the underlying stock price model is driven by a drifted L\'{e}vy process entailing a Brownian diffusion component as well as compound Poisson jumps. We also derive representations for the density and distribution function of the emerging L\'{e}vy process. In this setting, we infer semi-analytic expressions for the cliquet option price by two different approaches. The first one involves the probability distribution function of the driving L\'{e}vy process whereas the second draws upon Fourier transform techniques. With view on sensitivity analysis and hedging purposes, we eventually deduce representations for several Greeks while putting emphasis on the Vega.


title: The critical endpoint in the 2d U(1) gauge-Higgs model at topological angle $\theta=\pi$

abstract: We study 2d U(1) gauge Higgs systems with a $\theta$-term. For properly discretizing the topological charge as an integer we introduce a mixed group- and algebra-valued discretization (MGA scheme) for the gauge fields, such that the charge conjugation symmetry at $\theta = \pi$ is implemented exactly. The complex action problem from the $\theta$-term is overcome by exactly mapping the partition sum to a worldline/worldsheet representation. Using Monte Carlo simulation of the worldline/worldsheet representation we study the system at $\theta = \pi$ and show that as a function of the mass parameter the system undergoes a phase transition. Determining the critical exponents from a finite size scaling analysis we show that the transition is in the 2d Ising universality class. We furthermore study the U(1) gauge Higgs systems at $\theta = \pi$ also with charge 2 matter fields, where an additional $Z_2$ symmetry is expected to alter the phase structure. Our results indicate that for charge 2 a true phase transition is absent and only a rapid crossover separates the large and small mass regions.


title: Capacity Degradation with Modeling Hardware Impairment in Large Intelligent Surface

abstract: In this paper, we consider capacity degradations stemming from potential hardware impairments (HWI) of newly proposed Large Intelligent Surface (LIS) systems. Without HWI, the utility of surface-area (the first-order derivative of the capacity with respect to surface-area) is shown to be proportional to the inverse of it. With HWI, the capacity as well as the utility of surface-area are both degraded, due to a higher effective noise level caused by the HWI. After first modeling the HWI in a general form, we derive the effective noise density and the decrement of utility in closed-forms. With those the impacts of increasing the surface-area can be clearly seen. One interesting but also natural outcome is that both the capacity and utility can be decreased when increasing the surface-area in the cases with severe HWI. The turning points where the capacity and the utility start to decrease with HWI can be evaluated from the derived formulas for them. Further, we also consider distributed implementations of a LIS system by splitting it into multiple small LIS-Units, where the impacts of HWI can be significantly suppressed due to a smaller surface-area of each unit.


title: Attractors and their stability with respect to rotational inertia for nonlocal extensible beam equations

abstract: In this paper we consider the nonlinear beam equations accounting for rotational inertial forces. Under suitable hypotheses we prove the existence, regularity and finite dimensionality of a compact global attractor and an exponential attractor. The main purpose is to trace the behavior of solutions of the nonlinear beam equations when the effect of the rotational inertia fades away gradually. A natural question is whether there are qualitative differences would appear or not. To answer the question, we deal with the rotational inertia with a parameter alpha and consider the difference of behavior between the case alpha in (0,1] and the case alpha=0. The main novel contribution of this paper is to show the continuity of global attractors and exponential attractors with respect to alpha in some sense.


title: Proton-philic spin-dependent inelastic Dark Matter (pSIDM) as a viable explanation of DAMA/LIBRA-phase2

abstract: We show that the Weakly Interacting Massive Particle scenario of proton-philic spin-dependent inelastic Dark Matter (pSIDM) can still provide a viable explanation of the observed DAMA modulation amplitude in compliance with the constraints from other experiments after the release of the DAMA/LIBRA-phase2 data and including the recent bound from COSINE-100, that uses the same $NaI$ target of DAMA. The pSIDM scenario provided a viable explanation of DAMA/LIBRA--phase1 both for a Maxwellian WIMP velocity distribution and in a halo-independent approach. At variance with DAMA/LIBRA-phase1, for which the modulation amplitudes showed an isolated maximum at low energy, the DAMA/LIBRA-phase2 spectrum is compatible to a monotonically decreasing one. Moreover, due to its lower threshold, it is sensitive to WIMP-iodine interactions at low WIMP masses. Due to the combination of these two effects pSIDM can now explain the yearly modulation observed by DAMA/LIBRA only when the WIMP velocity distribution departs from a standard Maxwellian. In this case the WIMP mass $m_{\chi}$ and mass splitting $\delta$ fall in the approximate ranges 7 GeV $\lesssim m_{\chi}\lesssim$ 17 GeV and 18 keV$\lesssim\delta\lesssim$29 keV. The recent COSINE-100 bound is naturally evaded in the pSDIM scenario due to its large expected modulation fractions.


title: SwitchNet: a neural network model for forward and inverse scattering problems

abstract: We propose a novel neural network architecture, SwitchNet, for solving the wave equation based inverse scattering problems via providing maps between the scatterers and the scattered field (and vice versa). The main difficulty of using a neural network for this problem is that a scatterer has a global impact on the scattered wave field, rendering typical convolutional neural network with local connections inapplicable. While it is possible to deal with such a problem using a fully connected network, the number of parameters grows quadratically with the size of the input and output data. By leveraging the inherent low-rank structure of the scattering problems and introducing a novel switching layer with sparse connections, the SwitchNet architecture uses much fewer parameters and facilitates the training process. Numerical experiments show promising accuracy in learning the forward and inverse maps between the scatterers and the scattered wave field.


title: Action-Agnostic Human Pose Forecasting

abstract: Predicting and forecasting human dynamics is a very interesting but challenging task with several prospective applications in robotics, health-care, etc. Recently, several methods have been developed for human pose forecasting; however, they often introduce a number of limitations in their settings. For instance, previous work either focused only on short-term or long-term predictions, while sacrificing one or the other. Furthermore, they included the activity labels as part of the training process, and require them at testing time. These limitations confine the usage of pose forecasting models for real-world applications, as often there are no activity-related annotations for testing scenarios. In this paper, we propose a new action-agnostic method for short- and long-term human pose forecasting. To this end, we propose a new recurrent neural network for modeling the hierarchical and multi-scale characteristics of the human dynamics, denoted by triangular-prism RNN (TP-RNN). Our model captures the latent hierarchical structure embedded in temporal human pose sequences by encoding the temporal dependencies with different time-scales. For evaluation, we run an extensive set of experiments on Human 3.6M and Penn Action datasets and show that our method outperforms baseline and state-of-the-art methods quantitatively and qualitatively. Codes are available at https://github.com/eddyhkchiu/pose_forecast_wacv/


title: A note on Quantum Fields in Conformally flat Space-times

abstract: We develop a technique relating scalar fields with different masses in different conformally flat space-times. We apply this technique to the case of FRW space-times, with $k=\pm 1,0$, and discuss several examples. We also study various energy conditions and discuss how they constrain the space-times related by this technique. In addition, we use this technique to study correlators for the related space-times in an example.


title: A Local Limit Theorem for Robbins-Monro Procedure

abstract: The Robbins-Monro algorithm is a recursive, simulation-based stochastic procedure to approximate the zeros of a function that can be written as an expectation. It is known that under some technical assumptions, a Gaussian convergence can be established for the procedure. Here, we are interested in the local limit theorem, that is, quantifying this convergence on the density of the involved objects. The analysis relies on a parametrix technique for Markov chains converging to diffusions, where the drift is unbounded.


title: numpywren: serverless linear algebra

abstract: Linear algebra operations are widely used in scientific computing and machine learning applications. However, it is challenging for scientists and data analysts to run linear algebra at scales beyond a single machine. Traditional approaches either require access to supercomputing clusters, or impose configuration and cluster management challenges. In this paper we show how the disaggregation of storage and compute resources in so-called "serverless" environments, combined with compute-intensive workload characteristics, can be exploited to achieve elastic scalability and ease of management. We present numpywren, a system for linear algebra built on a serverless architecture. We also introduce LAmbdaPACK, a domain-specific language designed to implement highly parallel linear algebra algorithms in a serverless setting. We show that, for certain linear algebra algorithms such as matrix multiply, singular value decomposition, and Cholesky decomposition, numpywren's performance (completion time) is within 33% of ScaLAPACK, and its compute efficiency (total CPU-hours) is up to 240% better due to elasticity, while providing an easier to use interface and better fault tolerance. At the same time, we show that the inability of serverless runtimes to exploit locality across the cores in a machine fundamentally limits their network efficiency, which limits performance on other algorithms such as QR factorization. This highlights how cloud providers could better support these types of computations through small changes in their infrastructure.


title: P-points, MAD families and Cardinal Invariants

abstract: This is the Ph.D. thesis of the author, which was written under the supervision of Michael Hru\v{s}\'{a}k at UNAM. The main contributions of this thesis are the following: There is a $+$-Ramsey \textsf{MAD} family. This answers an old question of Michael Hru\v{s}\'{a}k. There are no $P$-points in the Silver model, answering a question of Michael Hru\v{s}\'{a}k (this is joint work with David Chodounsk\'{y}. The statement \textquotedblleft There are no $P$-points\textquotedblright\ is consistent with the continuum being arbitrarily large, this answers an open question regarding $P$-points. Every Miller indestructible \textsf{MAD} family is $+$-Ramsey. This improves a result of Hru\v{s}\'{a}k and Garc\'{\i}a Ferreira. A Borel ideal is Shelah-Stepr\={a}ns if and only if it is Kat\v{e}tov above \textsf{FIN}$\times$\textsf{FIN}$.$ This entails that Shelah-Stepr\={a}ns \textsf{MAD} families have very strong indestructibility properties. Cohen indestructible \textsf{MAD} families exist generically if and only if $\mathfrak{b=c}$. The equality \textsf{non}$\left( \mathcal{M}\right) =\omega_{1}$ implies the $\left( \ast\right) $ principle of Sierpi\'{n}ski. This answers a question of Arnie Miller.


title: On a bound of the absolute constant in the Berry--Esseen inequality for i.i.d. Bernoulli random variables

abstract: It is shown that the absolute constant in the Berry--Esseen inequality for i.i.d. Bernoulli random variables is strictly less than the Esseen constant, if $1\le n\le 500000$, where $n$ is a number of summands. This result is got both with the help of a supercomputer and an interpolation theorem, which is proved in the paper as well. In addition, applying the method developed by S. Nagaev and V. Chebotarev in 2009--2011, an upper bound is obtained for the absolute constant in the Berry--Esseen inequality in the case under consideration, which differs from the Esseen constant by no more than 0.06%. As an auxiliary result, we prove a bound in the local Moivre--Laplace theorem which has a simple and explicit form. Despite the best possible result, obtained by J. Schulz in 2016, we propose our approach to the problem of finding the absolute constant in the Berry--Esseen inequality for two-point distributions since this approach, combining analytical methods and the use of computers, could be useful in solving other mathematical problems.


title: Bivariate modelling of precipitation and temperature using a non-homogeneous hidden Markov model

abstract: Aiming to generate realistic synthetic times series of the bivariate process of daily mean temperature and precipitations, we introduce a non-homogeneous hidden Markov model. The non-homogeneity lies in periodic transition probabilities between the hidden states, and time-dependent emission distributions. This enables the model to account for the non-stationary behaviour of weather variables. By carefully choosing the emission distributions, it is also possible to model the dependance structure between the two variables. The model is applied to several weather stations in Europe with various climates, and we show that it is able to simulate realistic bivariate time series.


title: Unsupervised Features Extraction for Binary Similarity Using Graph Embedding Neural Networks

abstract: In this paper we consider the binary similarity problem that consists in determining if two binary functions are similar only considering their compiled form. This problem is know to be crucial in several application scenarios, such as copyright disputes, malware analysis, vulnerability detection, etc. The current state-of-the-art solutions in this field work by creating an embedding model that maps binary functions into vectors in $\mathbb{R}^{n}$. Such embedding model captures syntactic and semantic similarity between binaries, i.e., similar binary functions are mapped to points that are close in the vector space. This strategy has many advantages, one of them is the possibility to precompute embeddings of several binary functions, and then compare them with simple geometric operations (e.g., dot product). In [32] functions are first transformed in Annotated Control Flow Graphs (ACFGs) constituted by manually engineered features and then graphs are embedded into vectors using a deep neural network architecture. In this paper we propose and test several ways to compute annotated control flow graphs that use unsupervised approaches for feature learning, without incurring a human bias. Our methods are inspired after techniques used in the natural language processing community (e.g., we use word2vec to encode assembly instructions). We show that our approach is indeed successful, and it leads to better performance than previous state-of-the-art solutions. Furthermore, we report on a qualitative analysis of functions embeddings. We found interesting cases in which embeddings are clustered according to the semantic of the original binary function.


title: Interpolation of nonlinear positive or order preserving operators on Banach lattices

abstract: We study the relationship between exact interpolation spaces for positive, linear operators, for order preserving, Lipschitz continuous operators, and for positive Gagliardo-Peetre operators, and exact partially $K$-monotone spaces in interpolation couples of compatible Banach lattices. By general Banach lattice theory we recover a characterisation of exact interpolation spaces for order preserving, Lipschitz continuous operators in the couple $(L^1,L^\infty )$ due to B\'enilan and Crandall.


title: K-theory and formality

abstract: We compute the equivariant K-theory with integer coefficients of an equivariantly formal isotropy action, subject to natural hypotheses which cover the three major classes of known examples. The proof proceeds by constructing a map of spectral sequences from Hodgkin's K\"unneth spectral sequence in equivariant K-theory to that in Borel cohomology. A new characterization of equivariant formality appears as a consequence of this construction, and we are now able to show that weak equivariant formality in the sense of Harada--Landweber is equivalent with integer coefficients to surjectivity of the forgetful map under a standard hypothesis. The main structure theorem is formally similar to that for Borel equivariant cohomology, which appears in the author's dissertation/dormant book project and whose proof is finally made accessible in an appendix. The most generally applicable corollary of the main theorem for rational coefficients depends on a strengthening of the characterization of equivariant formality due to Shiga and Takahashi, which appears as a second appendix.


title: Direct experimental determination of critical disorder in one-dimensional weakly disordered photonic crystals

abstract: We report experimental measurement of critical disorder in weakly disordered, one-dimensional photonic crystals. We measure the configurationally-averaged transmission at various degrees of weak disorder. We extract the density of states (DoS) after fitting the transmission with theoretical profiles, and identify the Lifshitz tail realized by weak disorder. We observe the vanishing of Van Hove singularities and the flattening of the DoS with increasing disorder in our system. Systematic variation of disorder strength allows us to study the behavior of Lifshitz exponent with the degree of disorder. This provides a direct handle to the critical disorder in the one-dimensional crystal, at which the transport behavior of the system is known to change. The contradictory behavior at very weak disorder in the DoS variation at the bandedge and the midgap are seen to resolve into synchronous behavior beyond the critical disorder. The experimentally measured transmission is shown to carry a clear signature of the critical disorder, which is in very good agreement with the theoretically expected disorder.


title: Large Josephson current in Weyl nodal loop semimetals due to odd-frequency superconductivity

abstract: Weyl nodal loop semimetals (WNLs) host a closed nodal line loop Fermi surface in the bulk, protected zero-energy flat band, or drumhead, surface states, and strong spin-polarization. The large density of states of the drumhead states makes WNL semimetals exceedingly prone to electronic ordering. At the same time, the spin-polarization naively prevents conventional superconductivity due to its spin-singlet nature. Here we show the complete opposite: WNLs are extremely promising materials for superconducting Josephson junctions, entirely due to odd-frequency superconductivity. By sandwiching a WNL between two conventional superconductors we theoretically demonstrate the presence of very large Josephson currents, even up to orders of magnitude larger than for normal metals. The large currents are generated both by an efficient transformation of spin-singlet pairs into odd-frequency spin-triplet pairing by the Weyl dispersion and the drumhead states ensuring exceptionally proximity effect. As a result, WNL Josephson junctions offer unique possibilities for detecting and exploring odd-frequency superconductivity.


title: Study of fullerene-based molecular nanostructures in planetary nebulae

abstract: The main goal of this thesis is to unveil some questions related to the formation of complex fullerene-based molecules in space, with the aim of resolving some key problems in astrophysics. The unexpected detections of fullerenes and graphene (possible C24) in the H-rich circumstellar environments of evolved stars indicate that these complex molecules are not so rare and bring the idea that other forms of carbon such as hydrogenated fullerenes (fulleranes), buckyonions, and carbon nanotubes may be widespread in the Universe, being closely involved in many aspects of circumstellar/interstellar chemistry and physics. We explore this new and fertile field of research by focusing our study on some Galactic planetary nebulae (PNe) that contain fullerenes. In order to do this, we make use of laboratory spectra of several fullerene-related compounds and compare them with astronomical data. This work is a first step to open up a new field of interdisciplinary research, crossing the boundaries between astronomers, chemists, and physicists, and understand the significant presence of fullerene structures in circumstellar/interstellar environments.


title: Higher-order exceptional point in a cavity magnonics system

abstract: We propose to realize the pseudo-Hermiticity in a cavity magnonics system consisting of the Kittel modes in two small yttrium-iron-garnet spheres coupled to a microwave cavity mode. The effective gain of the cavity can be achieved using the coherent perfect absorption of the two input fields fed into the cavity. With certain constraints of the parameters, the Hamiltonian of the system has the pseudo-Hermiticity and its eigenvalues can be either all real or one real and other two constituting a complex-conjugate pair. By varying the coupling strengths between the two Kittel modes and the cavity mode, we find the existence of the third-order exceptional point in the parameter space, in addition to the usual second-order exceptional point existing in the system with parity-time symmetry. Also, we show that these exceptional points can be demonstrated by measuring the output spectrum of the cavity.


title: Challenges of Convex Quadratic Bi-objective Benchmark Problems

abstract: Convex quadratic objective functions are an important base case in state-of-the-art benchmark collections for single-objective optimization on continuous domains. Although often considered rather simple, they represent the highly relevant challenges of non-separability and ill-conditioning. In the multi-objective case, quadratic benchmark problems are under-represented. In this paper we analyze the specific challenges that can be posed by quadratic functions in the bi-objective case. Our construction yields a full factorial design of 54 different problem classes. We perform experiments with well-established algorithms to demonstrate the insights that can be supported by this function class. We find huge performance differences, which can be clearly attributed to two root causes: non-separability and alignment of the Pareto set with the coordinate system.


title: Skyrme functional with tensor terms from \textit{ab initio} calculations of neutron-proton drops

abstract: A new Skyrme functional devised to account well for standard nuclear properties as well as for spin and spin-isospin properties is presented. The main novelty of this work relies on the introduction of tensor terms guided by \textit{ab initio} relativistic Brueckner-Hartree-Fock calculations of neutron-proton drops. The inclusion of tensor term does not decrease the accuracy in describing bulk properties of nuclei, experimental data of some selected spherical nuclei such as binding energies, charge radii, and spin-orbit splittings can be well fitted. The new functional is applied to the investigation of various collective excitations such as the Giant Monopole Resonance (GMR), the Isovector Giant Dipole Resonance (IVGDR), the Gamow-Teller Resonance (GTR), and the Spin-Dipole Resonance (SDR). The overall description with the new functional is satisfactory and the tensor terms are shown to be important particularly for the improvement of the Spin-Dipole Resonance results. Predictions for the neutron skin thickness based on the non-energy weighted sum rule of the Spin-Dipole Resonance are also given.


title: Lattice phonon modes of the spin crossover crystal [Fe(phen)2(NCS)2] studied by THz, IR, Raman spectroscopies and DFT calculations

abstract: [Fe(phen)2(NCS)2] is a prototype transition metal complex material, which undergoes a phase transition between low-spin (LS) and high-spin (HS) phases, induced by temperature, pressure or light. Vibrational modes play a key role for spin-state switching both in thermal and photo-induced cases, by contributing to vibrational entropy for thermal equilibrium transitions or driving the fast structural trapping of the photoinduced high spin state. Here we study the crystal phonon modes of [Fe(phen)2(NCS)2], by combining THz, IR, and Raman spectroscopies sensitive to modes in different frequency ranges and different symmetries. We compare the experimental results to DFT calculations performed in a periodic 3D crystal for understanding the phonon modes in the crystal, compared to molecular vibrations. Indeed, each vibrational mode of the isolated molecule combines into several modes of different symmetry and frequency in the crystal, as the unit cell contains four molecules. We focus our attention on the HS symmetric and anti-symmetric breathing modes in the crystal as well as on the N-CS stretching modes.


title: Spectral structure of the Neumann--Poincar\'e operator on tori

abstract: We address the question whether there is a three-dimensional bounded domain such that the Neumann--Poincar\'e operator defined on its boundary has infinitely many negative eigenvalues. It is proved in this paper that tori have such a property. It is done by decomposing the Neumann--Poincar\'e operator on tori into infinitely many self-adjoint compact operators on a Hilbert space defined on the circle using the toroidal coordinate system and the Fourier basis, and then by proving that the numerical range of infinitely many operators in the decomposition has both positive and negative values.


title: The Key Player Problem in Complex Oscillator Networks and Electric Power Grids: Resistance Centralities Identify Local Vulnerabilities

abstract: Identifying key players in a set of coupled individual systems is a fundamental problem in network theory. Its origin can be traced back to social sciences and led to ranking algorithms based on graph theoretic centralities. Coupled dynamical systems differ from social networks in that, they are characterized by degrees of freedom with a deterministic dynamics and the coupling between individual units is a well-defined function of those degrees of freedom. One therefore expects the resulting coupled dynamics, and not only the network topology, to also determine the key players. Here, we investigate synchronizable network-coupled dynamical systems such as high voltage electric power grids and coupled oscillators. We search for nodes which, once perturbed by a local noisy disturbance, generate the largest overall transient excursion away from synchrony. A spectral decomposition of the coupling matrix leads to an elegant, concise, yet accurate solution to this identification problem. We show that, when the internodal coupling matrix is Laplacian, these key players are peripheral in the sense of a centrality measure defined from effective resistance distances. For linearly coupled dynamical systems such as weakly loaded power grids or consensus algorithms, the nodal ranking is efficiently obtained through a single Laplacian matrix inversion, regardless of the operational synchronous state. We call the resulting ranking index LRank. For heavily loaded power grids or coupled oscillators systems closer to the transition to synchrony, nonlinearities render the nodal ranking dependent on the synchronous state. In this case a weighted Laplacian matrix inversion gives another ranking index, which we call WLRank. Quite surprisingly, we find that LRank provides a faithful ranking even for well developed coupling nonlinearities, corresponding to oscillator angle differences up to $40^o$ approximately.


title: Impedance spectroscopy studies on lead free Ba$_{1-x}$Mg$_x$(Ti0$_{.9}$Zr$_{0.1}$)O$_3$ ceramics

abstract: Ba1-xMgx(Ti0.9Zr0.1)O3(x= 0.01 and 0.02) ceramics were prepared using the conventional solid state reaction. Rietveld refinement performed on X-ray diffraction patterns indicates that the samples are tetragonal crystal structure with P4mm space group. By increasing Mg content from 1 to 2% the unit cell volume decreased. Likewise, the grains size is greatly reduced from 10 to 4 micrometer. The temperature dependence of dielectric constants at different frequencies exhibited typical relaxor ferroelectric characteristic, with sensitive dependence in frequency and temperature for ac conductivity. The obtained activation energy values were correlated to the proposed conduction mechanisms.


title: Production of the $Z_b^{(\prime)}$ states from the $\Upsilon(5S,6S)$ decays

abstract: In the present work, we investigate the production mechanism of the $Z_b(10610)$ and $Z_b(10650)$ states from the $\Upsilon(5S,6S)$ decays. Two types of bottom-meson loops are discussed. We show that the loop contributions with all intermediate states being the $S$-wave ground state bottom mesons are negligible, while the loops with one bottom meson being the broad $B_0^\ast$ or $B_1^\prime$ resonance could provide the dominant contributions to the $\Upsilon(5S) \to Z_b^{(\prime)} \pi$. It is found that such a mechanism is not suppressed by the large width of the $B_0/B_1'$ resonance. In addition, we also estimate the branching ratios for the $\Upsilon(6S) \to Z_b^{(\prime)} \pi$ which could be tested by future precise measurements at Belle-II.


title: On bi-unitary perfect polynomials over $F_2$

abstract: We give all bi-unitary non splitting even perfect polynomials over the prime field of two elements, which are divisible by Mersenne irreducible polynomials raised to special exponents. We also identify all bi-unitary perfect polynomials over the same field, with at most four irreducible factors. We then complete, in this manner, a list given by J.T. B. Beard Jr.


title: The Interpretation of Linear Prediction by Interpolation Framework and Several following Results

abstract: This paper gives a general interpretation of Linear Prediction (LP) by interpolation framework different from the perspective of statistics. This interpretation is proved to be useful by several following results, such as: The mechanism of widely used least square estimation of LP coefficients can be explained more intuitively. In data modeling, LP coefficients cannot distinguish signals spanned by the same interpolation bases. Two new general LP constructive methods instead of least square estimation are presented with their upper bounds of approximation error and some properties given; one is based on DCT-1 and the other is based on difference operator. We also establish the relationship between LP and Taylor series.


title: Semi-supervised acoustic model training for speech with code-switching

abstract: In the FAME! project, we aim to develop an automatic speech recognition (ASR) system for Frisian-Dutch code-switching (CS) speech extracted from the archives of a local broadcaster with the ultimate goal of building a spoken document retrieval system. Unlike Dutch, Frisian is a low-resourced language with a very limited amount of manually annotated speech data. In this paper, we describe several automatic annotation approaches to enable using of a large amount of raw bilingual broadcast data for acoustic model training in a semi-supervised setting. Previously, it has been shown that the best-performing ASR system is obtained by two-stage multilingual deep neural network (DNN) training using 11 hours of manually annotated CS speech (reference) data together with speech data from other high-resourced languages. We compare the quality of transcriptions provided by this bilingual ASR system with several other approaches that use a language recognition system for assigning language labels to raw speech segments at the front-end and using monolingual ASR resources for transcription. We further investigate automatic annotation of the speakers appearing in the raw broadcast data by first labeling with (pseudo) speaker tags using a speaker diarization system and then linking to the known speakers appearing in the reference data using a speaker recognition system. These speaker labels are essential for speaker-adaptive training in the proposed setting. We train acoustic models using the manually and automatically annotated data and run recognition experiments on the development and test data of the FAME! speech corpus to quantify the quality of the automatic annotations. The ASR and CS detection results demonstrate the potential of using automatic language and speaker tagging in semi-supervised bilingual acoustic model training.


title: Accelerating the Sinkhorn-Knopp iteration by Arnoldi-type methods

abstract: It is shown that the problem of balancing a nonnegative matrix by positive diagonal matrices can be recast as a constrained nonlinear multiparameter eigenvalue problem. Based on this equivalent formulation some adaptations of the power method and Arnoldi process are proposed for computing the dominant eigenvector which defines the structure of the diagonal transformations. Numerical results illustrate that our novel methods accelerate significantly the convergence of the customary Sinkhorn-Knopp iteration for matrix balancing in the case of clustered dominant eigenvalues.


title: A fractal operator associated to bivariate fractal interpolation functions

abstract: A general framework to construct fractal interpolation surfaces (FISs) on rectangular grids was presented and bilinear FIS was deduced by Ruan and Xu [Bull. Aust. Math. Soc. 91(3), 2015, pp. 435-446]. From the view point of operator theory and the stand point of developing some approximation aspects, we revisit the aforementioned construction to obtain a fractal analogue of a prescribed continuous function defined on a rectangular region in $R^2$. This approach leads to a bounded linear operator analogous to the so-called $\alpha$-fractal operator associated with the univariate fractal interpolation function. Several elementary properties of this bivariate fractal operator are reported. We extend the fractal operator to the Lp-spaces for $1 \le p < \infty$. Some approximation aspects of the bivariate continuous fractal functions are also discussed.


title: A New Method for Calibration of Gain Variation in Detector System

abstract: Transit spectroscopy of habitable planets orbiting late-type stars requires high relative spectro-photometric accuracy between wavelengths during transit/eclipse observation. The spectro-photometric signal is not affected only by image movement and deformation due to wavefront error but also by electrical variation in the detector system. These time-variation components, coupled to the transit signal, distort the measurements of atmospheric composition in transit spectroscopy. Here we propose a new concept for improvement of spectro-photometric accuracy through the calibration of the time-variation components in the detector system by developing densified pupil spectroscopy that provides multiple spectra of the star-planet system. Owing to a group of pixels exposed by the object light (i.e., science pixels), pixel-to-pixel variations can be smoothed out through an averaging operation, thus only common time-variation components over the science pixels remain. In addition, considering that the detector plane is optically conjugated to the pupil plane, a pupil mask can completely block astronomical light incoming into residual pixels. The common time-variation components are reconstructed with the residual pixels and reduced into a random term. Applying the densified pupil spectrograph with a mid-infrared detector system to a large space cryogenic telescope such as the Origins Space Telescope, we show that the system nearly achieves photon-noise-limited performance and detects absorption features through transmission spectroscopy and secondary eclipse of terrestrial planets orbiting M-type stars at 10 pc with 60 transit observations. Thus, the proposed method contributes to the measurement of planetary habitability and biosignatures of the nearby transiting habitable candidates.


title: Angle-dependent magnetoresistance as a sensitive probe of the charge density wave in quasi-one-dimensional semimetal Ta$_2$NiSe$_7$

abstract: The behavior of charge density wave (CDW) in an external magnetic field is dictated by both orbital and Pauli (Zeeman) effects. A quasi-one-dimensional (Q1D) system features Q1D Fermi surfaces that allow these effects to be distinguished, which in turn can provide sensitive probe to the underlying electronic states. Here we studied the field dependence of an incommensurate CDW in a transition-metal chalcogenide Ta2NiSe7 with a Q1D chain structure. The angle-dependent magnetoresistance (MR) is found to be very sensitive to the relative orientation between the magnetic field and the chain direction. With an applied current fixed along the b axis (the chain direction), the angle-dependent MR shows a striking change of the symmetry below T_CDW only for a rotating magnetic field in the ac plane. In contrast, the symmetry axis remains unchanged for other configurations (H in ab and bc plane). The orbital effect conforms to the lattice symmetry, while Pauli effect in the form of {\mu}B B / v_F can be responsible for such symmetry change, provided that the Fermi velocity v_F is significantly anisotropic and the nesting vector changes in a magnetic field, which is corroborated by our first-principles calculations. Our results show that the angle-dependent MR is a sensitive transport probe of CDW and can be useful for the study of low-dimensional systems in general.


title: Understanding and Formalizing Accountability for Cyber-Physical Systems

abstract: Accountability is the property of a system that enables the uncovering of causes for events and helps understand who or what is responsible for these events. Definitions and interpretations of accountability differ; however, they are typically expressed in natural language that obscures design decisions and the impact on the overall system. This paper presents a formal model to express the accountability properties of cyber-physical systems. To illustrate the usefulness of our approach, we demonstrate how three different interpretations of accountability can be expressed using the proposed model and describe the implementation implications through a case study. This formal model can be used to highlight context specific-elements of accountability mechanisms, define their capabilities, and express different notions of accountability. In addition, it makes design decisions explicit and facilitates discussion, analysis and comparison of different approaches.


title: Photoexcitation in two-dimensional topological insulators: Generating and controlling electron wavepackets in Quantum Spin Hall systems

abstract: One of the most fascinating challenges in Physics is the realization of an electron-based counterpart of quantum optics, which requires the capability to generate and control single electron wave packets. The edge states of quantum spin Hall (QSH) systems, i.e. two-dimensional (2D) topological insulators realized in HgTe/CdTe and InAs/GaSb quantum wells, may turn the tide in the field, as they do not require the magnetic field that limits the implementations based on quantum Hall effect. Here we show that an electric pulse, localized in space and/or time and applied at a QSH edge, can photoexcite electron wavepackets by intra-branch electrical transitions, without invoking the bulk states or the Zeeman coupling. Such wavepackets are spin-polarised and propagate in opposite directions, with a density profile that is independent of the initial equilibrium temperature and that does not exhibit dispersion, as a result of the linearity of the spectrum and of the chiral anomaly characterising massless Dirac electrons. We also investigate the photoexcited energy distribution and show how, under appropriate circumstances, minimal excitations (Levitons) are generated. Furthermore, we show that the presence of a Rashba spin-orbit coupling can be exploited to tailor the shape of photoexcited wavepackets. Possible experimental realizations are also discussed.