title: A radiative seesaw model in modular $A_4$ symmetry

abstract: We study one-loop induced radiative seesaw model applying a modular $A_4$ flavor symmetry, in which the neutrino mass matrix is achieved by two different Yukawa couplings one of which also contributes to positive value of muon anomalous magnetic moment as well as lepton flavor violations. Thanks to the specific mass matrix via $A_4$ symmetry and its modular weight, we find several predictions for lepton sector through our numerical analysis.


title: Heavy isotope production in ${}^{136}\text{Xe}+{}^{208}\text{Pb}$ collisions at $E_\text{c.m.}=514$ MeV

abstract: Employing the quantal diffusion mechanism for multi-nucleon transfer, the double differential cross-sections are calculated for production of primary projectile-like and target-like fragments in collisions of ${}^{136}\text{Xe}+{}^{208}\text{Pb}$ system at $E_\text{c.m.} =514$ MeV. Including de-excitation due to neutron emission, the cross-section for production of ${}^{210}\text{Po}$, ${}^{222}\text{Rn}$ and ${}^{224}\text{Ra}$ isotopes are estimated and compared with data.


title: Coexisting 1T/2H polymorphs, reentrant resistivity behavior, and charge distribution in MoS2-hBN 2D/2D composite thin films

abstract: In view of their immensely intriguing properties, two dimensional materials are being intensely researched in search of novel phenomena and diverse application interests, however, studies on the realization of nanocomposites in the application-worthy thin-film platform are rare. Here we have grown MoS2-hBN composite thin films on different substrates by the pulsed laser deposition technique and made comparative studies with the pristine MoS2 and hBN films. The Raman, XPS and HRTEM confirm the concomitant presence of both the 1T (conducting) and 2H (semiconducting) polymorphs of MoS2 in the composite film. Interestingly, a peculiar reentrant semiconductor-metal-insulator transition is seen in the composite film which is absent in the MoS2 film, and it correlates well with the signatures of phonon softening seen in temperature-dependent Raman spectroscopy. Furthermore, electrostatic force microscopy reveals the presence of three distinct regions (metallic, semiconducting, and insulating) in the composite film with differing contact potentials and enhanced propensity for charge transfer with respect to pristine MoS2. A triboelectric nanogenerator device containing biphasic composite film as an electron acceptor exhibits more than twofold (sixfold) enhancement in peak-to-peak output voltage as compared to the pristine MoS2 (hBN) film. These observations bring out the potential of nanocomposite thin films for unfolding emergent phenomena and technological applications.


title: Measuring the time a tunnelling atom spends in the barrier

abstract: Tunnelling is one of the most paradigmatic and evocative phenomena of quantum physics, underlying processes such as photosynthesis and nuclear fusion, as well as devices ranging from SQUID magnetometers to superconducting qubits for quantum computers. The question of how long a particle takes to tunnel, however, has remained controversial since the first attempts to calculate it, which relied on the group delay. It is now well understood that this delay (the arrival time of the transmitted wave packet peak at the far side of the barrier) can be smaller than the barrier thickness divided by the speed of light, without violating causality. There have been a number of experiments confirming this, and even a recent one claiming that tunnelling may take no time at all. There have also been efforts to identify another timescale, which would better describe how long a given particle spends in the barrier region. Here we present a direct measurement of such a time, studying Bose-condensed $^{87}$Rb atoms tunnelling through a 1.3-${\mu}$m thick optical barrier. By localizing a pseudo-magnetic field inside the barrier, we use the spin precession of the atoms as a clock to measure the time it takes them to cross the classically forbidden region. We find a traversal time of 0.62(7) ms and study its dependence on incident energy. In addition to finally shedding light on the fundamental question of the tunnelling time, this experiment lays the groundwork for addressing deep foundational questions about history in quantum mechanics: for instance, what can we learn about where a particle was at earlier times by observing where it is now?


title: Probabilistic Motion Modeling from Medical Image Sequences: Application to Cardiac Cine-MRI

abstract: We propose to learn a probabilistic motion model from a sequence of images. Besides spatio-temporal registration, our method offers to predict motion from a limited number of frames, useful for temporal super-resolution. The model is based on a probabilistic latent space and a novel temporal dropout training scheme. This enables simulation and interpolation of realistic motion patterns given only one or any subset of frames of a sequence. The encoded motion also allows to be transported from one subject to another without the need of inter-subject registration. An unsupervised generative deformation model is applied within a temporal convolutional network which leads to a diffeomorphic motion model, encoded as a low-dimensional motion matrix. Applied to cardiac cine-MRI sequences, we show improved registration accuracy and spatio-temporally smoother deformations compared to three state-of-the-art registration algorithms. Besides, we demonstrate the model's applicability to motion transport by simulating a pathology in a healthy case. Furthermore, we show an improved motion reconstruction from incomplete sequences compared to linear and cubic interpolation.


title: Local Interpretation Methods to Machine Learning Using the Domain of the Feature Space

abstract: As machine learning becomes an important part of many real world applications affecting human lives, new requirements, besides high predictive accuracy, become important. One important requirement is transparency, which has been associated with model interpretability. Many machine learning algorithms induce models difficult to interpret, named black box. Moreover, people have difficulty to trust models that cannot be explained. In particular for machine learning, many groups are investigating new methods able to explain black box models. These methods usually look inside the black models to explain their inner work. By doing so, they allow the interpretation of the decision making process used by black box models. Among the recently proposed model interpretation methods, there is a group, named local estimators, which are designed to explain how the label of particular instance is predicted. For such, they induce interpretable models on the neighborhood of the instance to be explained. Local estimators have been successfully used to explain specific predictions. Although they provide some degree of model interpretability, it is still not clear what is the best way to implement and apply them. Open questions include: how to best define the neighborhood of an instance? How to control the trade-off between the accuracy of the interpretation method and its interpretability? How to make the obtained solution robust to small variations on the instance to be explained? To answer to these questions, we propose and investigate two strategies: (i) using data instance properties to provide improved explanations, and (ii) making sure that the neighborhood of an instance is properly defined by taking the geometry of the domain of the feature space into account. We evaluate these strategies in a regression task and present experimental results that show that they can improve local explanations.


title: Constraining cold accretion onto supermassive black holes: molecular gas in the cores of eight brightest cluster galaxies revealed by joint CO and CN absorption

abstract: To advance our understanding of the fuelling and feedback processes which power the Universe's most massive black holes, we require a significant increase in our knowledge of the molecular gas which exists in their immediate surroundings. However, the behaviour of this gas is poorly understood due to the difficulties associated with observing it directly. We report on a survey of 18 brightest cluster galaxies lying in cool cores, from which we detect molecular gas in the core regions of eight via carbon monoxide (CO), cyanide (CN) and silicon monoxide (SiO) absorption lines. These absorption lines are produced by cold molecular gas clouds which lie along the line of sight to the bright continuum sources at the galaxy centres. As such, they can be used to determine many properties of the molecular gas which may go on to fuel supermassive black hole accretion and AGN feedback mechanisms. The absorption regions detected have velocities ranging from -45 to 283 km s$^{-1}$ relative to the systemic velocity of the galaxy, and have a bias for motion towards the host supermassive black hole. We find that the CN N = 0 - 1 absorption lines are typically 10 times stronger than those of CO J = 0 - 1. This is due to the higher electric dipole moment of the CN molecule, which enhances its absorption strength. In terms of molecular number density CO remains the more prevalent molecule with a ratio of CO/CN $\sim 10$, similar to that of nearby galaxies. Comparison of CO, CN and HI observations for these systems shows many different combinations of these absorption lines being detected.


title: Prototype Software Monitoring Sarana dan Prasarana Perguruan Tinggi

abstract: This study aims to facilitate the management system of monitoring infrastructure program of university facilities and infrastructure, through software engineering technology approach as an effort to improve productivity and quality of monitoring process become more efficient and effective. The software in this research is built in a systematic and organized approach to monitoring infrastructure of facilities and infrastructure using appropriate tools and techniques. Through this research, universities are expected to be able to develop the necessary quality measures to support the process of planning and controlling infrastructure infrastructure monitoring. The research was conducted using survey method, development of monitoring management and software. Up to the design stage of this program prototype, research has produced a special picture of the software requirements to be built in the next year. Software development process starting from the analysis phase of system and software requirements, designing data structures up to the architecture stage of the program has produced a list of needs/requirements, the design of program prototype contained in the design of input/output for the monitoring process facilities and infrastructure.


title: What BERT is not: Lessons from a new suite of psycholinguistic diagnostics for language models

abstract: Pre-training by language modeling has become a popular and successful approach to NLP tasks, but we have yet to understand exactly what linguistic capacities these pre-training processes confer upon models. In this paper we introduce a suite of diagnostics drawn from human language experiments, which allow us to ask targeted questions about the information used by language models for generating predictions in context. As a case study, we apply these diagnostics to the popular BERT model, finding that it can generally distinguish good from bad completions involving shared category or role reversal, albeit with less sensitivity than humans, and it robustly retrieves noun hypernyms, but it struggles with challenging inferences and role-based event prediction -- and in particular, it shows clear insensitivity to the contextual impacts of negation.


title: Competitive Coevolution as an Adversarial Approach to Dynamic Optimization

abstract: Dynamic optimization, for which the objective functions change over time, has attracted intensive investigations due to the inherent uncertainty associated with many real-world problems. For its robustness with respect to noise, Evolutionary Algorithms (EAs) have been expected to have great potential for dynamic optimization. On the other hand, EAs are also criticized for its high computational complexity, which appears to be contradictory to the core requirement of real-world dynamic optimization, i.e., fast adaptation (typically in terms of wall-clock time) to the environmental change. So far, whether EAs would indeed lead to a truly effective approach for real-world dynamic optimization remain unclear. In this paper, a new framework of employing EAs in the context of dynamic optimization is explored. We suggest that, instead of online evolving (searching) solutions for the ever-changing objective function, EAs are more suitable for acquiring an archive of solutions in an offline way, which could be adopted to construct a system to provide high-quality solutions efficiently in a dynamic environment. To be specific, we first re-formulate dynamic optimization problems as static set-oriented optimization problems. Then, a particular type of EAs, namely competitive coevolution, is employed to search for the archive of solutions in an adversarial way. The general framework is instantiated for continuous dynamic constrained optimization problems, and the empirical results showed the potential of the proposed framework.


title: A Direct Construction of Z-Complementary Pairs Using Generalized Boolean Functions

abstract: The zero correlation zone (ZCZ) ratio, i.e., the ratio of the width of the ZCZ and the length of the sequence plays a major role in reducing interference in an asynchronous environment of communication systems. However, to the best of the author's knowledge, the highest ZCZ ratio for even-length binary Z-complementary pairs (EB-ZCPs) which are directly constructed using generalized Boolean functions (GBFs), is $\frac{2}{3}$. In this research, we present a direct construction of EB-ZCPs through GBFs, which can achieve a ZCZ ratio of $\frac{3}{4}$. In general, the constructed EB-ZCPs are of length $2^{m-1}+2$, having a ZCZ width of $2^{m-2}+2^{\pi(m-3)}+1$ where pi is a permutation over $m-2$ variables.


title: HotPoW: Finality from Proof-of-Work Quorums

abstract: A fundamental conflict of many proof-of-work systems is that they want to achieve inclusiveness and security at the same time. We analyze and resolve this conflict with a theory of proof-of-work quorums, which enables a new bridge between Byzantine and Nakamoto consensus. The theory yields stochastic uniqueness of quorums as a function of a security parameter. We employ the theory in HotPoW, a scalable permissionless distributed log protocol that supports finality based on the pipelined three-phase commit previously presented for HotStuff. We evaluate HotPoW and variants with adversarial modifications by simulation. Results show that the protocol can tolerate network latency, churn, and targeted attacks on consistency and liveness with a small storage overhead compared to plain Nakamoto consensus and less complexity than protocols that rely on sidechains for finality.


title: Impact of Surface Curvature, Grafting Density and Solvent Type on the PEGylation of Titanium Dioxide Nanoparticles

abstract: TiO2 nanoparticles (NPs) are attracting materials for biomedical applications, provided that they are coated with polymers to improve solubility, dispersion and biocompatibility. Conformation, coverage density and solvent effects largely influence their functionality and stability. In this work, we use atomistic molecular dynamics simulations to study polyethylene glycol (PEG) grafting to highly curved TiO2 NPs (2-3 nm) in different solvents. We compare the coating polymer conformations on NPs with those on (101) flat surfaces. In water, the transition from mushroom to brush conformation starts only at high density ({\sigma} = 2.25 chains/nm2). In dichloromethane (DCM), at low-medium coverage ({\sigma} < 1.35 chains/nm2), several interactions between the PEG chains backbone and undercoordinated Ti atoms are established, whereas at {\sigma} = 2.25 chains/nm2 the conformation clearly becomes brush-like. Finally, we demonstrate that these spherical brushes, when immersed in water, but not in DCM, follow the Daoud-Cotton (DC) classical scaling model for the polymer volume fraction dependence with the distance from the center of star-shaped systems.


title: Coupling and perturbation techniques for categorical time series

abstract: We present a general approach for studying autoregressive categorical time series models with dependence of infinite order and defined conditional on an exogenous covariate process. To this end, we adapt a coupling approach, developed in the literature for bounding the relaxation speed of a chain with complete connection and from which we derive a perturbation result for non-homogenous versions of such chains. We then study stationarity, ergodicity and dependence properties of some chains with complete connections and exogenous covariates. As a consequence, we obtain a general framework for studying some observation-driven time series models used both in statistics and econometrics but without theoretical support.


title: A Comparison of Radial and Linear Charts for Visualizing Daily Pattern

abstract: Radial charts are generally considered less effective than linear charts. Perhaps the only exception is in visualizing periodical time-dependent data, which is believed to be naturally supported by the radial layout. It has been demonstrated that the drawbacks of radial charts outweigh the benefits of this natural mapping. Visualization of daily patterns, as a special case, has not been systematically evaluated using radial charts. In contrast to yearly or weekly recurrent trends, the analysis of daily patterns on a radial chart may benefit from our trained skill on reading radial clocks that are ubiquitous in our culture. In a crowd-sourced experiment with 92 non-expert users, we evaluated the accuracy, efficiency, and subjective ratings of radial and linear charts for visualizing daily traffic accident patterns. We systematically compared juxtaposed 12-hours variants and single 24-hours variants for both layouts in four low-level tasks and one high-level interpretation task. Our results show that over all tasks, the most elementary 24-hours linear bar chart is most accurate and efficient and is also preferred by the users. This provides strong evidence for the use of linear layouts - even for visualizing periodical daily patterns.


title: Narrow Absorption Lines Complex. III. Gradual Transition from Type S to Type N Broad Absorption Line

abstract: We study the relationship between the broad absorption lines (BALs) that can be decomposed into multiple narrow absorption lines and those that cannot (hereafter Type N and Type S BAL, respectively), based on the analysis of three BAL systems (systems A, B, and C) in two-epoch spectra of quasar SDSS J113009.40+495247.9 (hereafter J1130+4952). As the velocity decreases (from systems A to C), these three BAL systems show a gradual transition from Type S to Type N BAL, and their equivalent widths (EWs) and profile shapes vary in a regular way. We ascribe the absorption line variability in J1130+4952 to the ionization change as a response to the fluctuation of the ionizing continuum based on several factors: (1) coordinated EW strengthening over a wide range in systems A and B, (2) the system B shows an obvious change in Si IV but no significant change in C IV BAL, and (3) asynchronized variability between the continuum and absorption lines. Based on the analysis of the variation mechanism, location, ionization state, and structure of systems A, B, and C, we hold the view that the Type S and Type N BALs in J1130+4952 probe the same clumped outflow, with the Type S BALs originating from the inner part of the outflow with a relatively higher ionization state, smaller column density, and more clumpy structures, while the Type N BALs originate from the outer part of the outflow with relatively lower ionization state, larger column density, and fewer clumpy structures.


title: Integral points on algebraic subvarieties of period domains: from number fields to finitely generated fields

abstract: We show that for a variety which admits a quasi-finite period map, finiteness (resp.~non-Zariski-density) of $S$-integral points implies finiteness (resp.~non-Zariski-density) of points over all $\mathbb{Z}$-finitely generated integral domains of characteristic zero. Our proofs rely on foundational results in Hodge theory due to Deligne, Griffiths, and Schmid, and Bakker-Brunebarbe-Tsimerman. We give straightforward applications to Shimura varieties, locally symmetric varieties, the moduli space of smooth hypersurfaces in projective space, and the moduli of smooth divisors in an abelian variety.


title: Computing strong regular characteristic pairs with Groebner bases

abstract: The W-characteristic set of a polynomial ideal is the minimal triangular set contained in the reduced lexicographical Groebner basis of the ideal. A pair (G,C) of polynomial sets is a strong regular characteristic pair if G is a reduced lexicographical Groebner basis, C is the W-characteristic set of the ideal <G>, the saturated ideal sat(C) of C is equal to <G>, and C is regular. In this paper, we show that for any polynomial ideal I with given generators one can either detect that I is unit, or construct a strong regular characteristic pair (G,C) by computing Groebner bases such that I$\subseteq$sat(C)=<G> and sat(C) divides I, so the ideal I can be split into the saturated ideal sat(C) and the quotient ideal I:sat(C). Based on this strategy of splitting by means of quotient and with Groebner basis and ideal computations, we devise a simple algorithm to decompose an arbitrary polynomial set F into finitely many strong regular characteristic pairs, from which two representations for the zeros of F are obtained: one in terms of strong regular Groebner bases and the other in terms of regular triangular sets. We present some properties about strong regular characteristic pairs and characteristic decomposition and illustrate the proposed algorithm and its performance by examples and experimental results.


title: LassoNet: Deep Lasso-Selection of 3D Point Clouds

abstract: Selection is a fundamental task in exploratory analysis and visualization of 3D point clouds. Prior researches on selection methods were developed mainly based on heuristics such as local point density, thus limiting their applicability in general data. Specific challenges root in the great variabilities implied by point clouds (e.g., dense vs. sparse), viewpoint (e.g., occluded vs. non-occluded), and lasso (e.g., small vs. large). In this work, we introduce LassoNet, a new deep neural network for lasso selection of 3D point clouds, attempting to learn a latent mapping from viewpoint and lasso to point cloud regions. To achieve this, we couple user-target points with viewpoint and lasso information through 3D coordinate transform and naive selection, and improve the method scalability via an intention filtering and farthest point sampling. A hierarchical network is trained using a dataset with over 30K lasso-selection records on two different point cloud data. We conduct a formal user study to compare LassoNet with two state-of-the-art lasso-selection methods. The evaluations confirm that our approach improves the selection effectiveness and efficiency across different combinations of 3D point clouds, viewpoints, and lasso selections. Project Website: https://lassonet.github.io


title: Asymmetric Cascade Networks for Focal Bone Lesion Prediction in Multiple Myeloma

abstract: The reliable and timely stratification of bone lesion evolution risk in smoldering Multiple Myeloma plays an important role in identifying prime markers of the disease's advance and in improving the patients' outcome. In this work we provide an asymmetric cascade network for the longitudinal prediction of future bone lesions for T1 weighted whole body MR images. The proposed cascaded architecture, consisting of two distinct configured U-Nets, first detects the bone regions and subsequently predicts lesions within bones in a patch based way. The algorithm provides a full volumetric risk score map for the identification of early signatures of emerging lesions and for visualising high risk locations. The prediction accuracy is evaluated on a longitudinal dataset of 63 multiple myeloma patients.


title: A refinement of the Ramsey hierarchy via indescribability

abstract: A subset $S$ of a cardinal $\kappa$ is Ramsey if for every function $f:[S]^{<\omega}\to \kappa$ with $f(a)<\min a$ for all $a\in[S]^{<\omega}$, there is a set $H\subseteq S$ of cardinality $\kappa$ which is \emph{homogeneous} for $f$, meaning that $f\upharpoonright[H]^n$ is constant for each $n<\omega$. Baumgartner proved \cite{MR0384553} that if $\kappa$ is a Ramsey cardinal, then the collection of non-Ramsey subsets of $\kappa$ is a normal ideal on $\kappa$. Sharpe and Welch \cite{MR2817562}, and independently Bagaria \cite{MR3894041}, extended the notion of $\Pi^1_n$-indescribability where $n<\omega$ to that of $\Pi^1_\xi$-indescribability where $\xi\geq\omega$. We study large cardinal properties and ideals which result from Ramseyness properties in which homogeneous sets are demanded to be $\Pi^1_\xi$-indescribable. By iterating Feng's Ramsey operator \cite{MR1077260} on the various $\Pi^1_\xi$-indescribability ideals, we obtain new large cardinal hierarchies and corresponding nonlinear increasing hierarchies of normal ideals. We provide a complete account of the containment relationships between the resulting ideals and show that the corresponding large cardinal properties yield a strict linear refinement of Feng's original Ramsey hierarchy. We also show that, given any ordinals $\beta_0,\beta_1<\kappa$ the increasing chains of ideals obtained by iterating the Ramsey operator on the $\Pi^1_{\beta_0}$-indescribability ideal and the $\Pi^1_{\beta_1}$-indescribability ideal respectively, are eventually equal; moreover, we identify the least degree of Ramseyness at which this equality occurs. As an application of our results we show that one can characterize our new large cardinal notions and the corresponding ideals in terms of generic elementary embeddings; as a special case this yields generic embedding characterizations of $\Pi^1_\xi$-indescribability and Ramseyness.


title: On the relation between n-cotorsion pairs and (n+1)-cluster tilting subcategories

abstract: A notion of $n$-cotorsion pairs in an extriangulated category with enough projectives and enough injectives is defined in this article. We show that there exists a one-to-one correspondence between $n$-cotorsion pairs and $(n+1)$-cluster tilting subcategories. As an application, this result generalizes the work by Huerta, Mendoza and P\'{e}rez in an abelian case. Finally, we give some examples illustrating our main result.


title: Prescribed $k$-symmetric curvature hypersurfaces in de Sitter space

abstract: We prove existence of compact spacelike hypersurfaces with prescribed k - curvature in de Sitter space, where the prescription function depends on both space and the tilt function.


title: Simple algorithm for correction of a finite matrix group known approximately

abstract: In this paper we have considered a finite unitary matrix group with exact elements being unknown and only approximate elements available. Such a group becomes inconsistent with its own multiplication table. We found simple correction formula for such group. When applied iteratively this formula gives fast convergence of the group elements and allows to perform the group reconstruction. Next we considered small unitary rotation of entire group which makes the group consistent with a set of additional conditions. For example, we might demand that group elements act on certain set of vectors in a predefined manner. Again, iterative procedure based on this correction shows fast convergence. All algorithms developed in this paper were implemented in a Python library which is available as open source software.


title: Modeling random traffic accidents by conservation laws

abstract: We introduce a stochastic traffic flow model to describe random traffic accidents on a single road. The model is a piecewise deterministic process incorporating traffic accidents and is based on a scalar conservation law with space-dependent flux function. Using a Lax-Friedrichs discretization, we show that the total variation is bounded in finite time and provide a theoretical framework to embed the stochastic process. Additionally, a solution algorithm is introduced to also investigate the model numerically.


title: Quantum Statistical Mechanics of the Absolute Galois Group

abstract: We present possible extensions of the quantum statistical mechanical formulation of class field theory to the non-abelian case, based on the action of the absolute Galois group on Grothendieck's dessins d'enfant, the embedding in the Grothendieck-Teichm\"uller group, and the Drinfeld-Ihara involution.


title: Transformation Optics for Plasmonics: from Metasurfaces to Excitonic Strong Coupling

abstract: We review the latest theoretical advances in the application of the framework of Transformation Optics for the analytical description of deeply sub-wavelength electromagnetic phenomena. First, we present a general description of the technique, together with its usual exploitation for metamaterial conception and optimization in different areas of wave physics. Next, we discuss in detail the design of plasmonic metasurfaces, including the description of singular geometries which allow for broadband absorption in ultrathin platforms. Finally, we discuss the quasi-analytical treatment of plasmon-exciton strong coupling in nanocavities at the single emitter level.


title: Congruence properties for the trinomial coefficients

abstract: In this paper, we state and prove some congruence properties for the trinomial coeficients, one of which is similar to the Wolstenholme's theorem.


title: Optimal Attacks on Reinforcement Learning Policies

abstract: Control policies, trained using the Deep Reinforcement Learning, have been recently shown to be vulnerable to adversarial attacks introducing even very small perturbations to the policy input. The attacks proposed so far have been designed using heuristics, and build on existing adversarial example crafting techniques used to dupe classifiers in supervised learning. In contrast, this paper investigates the problem of devising optimal attacks, depending on a well-defined attacker's objective, e.g., to minimize the main agent average reward. When the policy and the system dynamics, as well as rewards, are known to the attacker, a scenario referred to as a white-box attack, designing optimal attacks amounts to solving a Markov Decision Process. For what we call black-box attacks, where neither the policy nor the system is known, optimal attacks can be trained using Reinforcement Learning techniques. Through numerical experiments, we demonstrate the efficiency of our attacks compared to existing attacks (usually based on Gradient methods). We further quantify the potential impact of attacks and establish its connection to the smoothness of the policy under attack. Smooth policies are naturally less prone to attacks (this explains why Lipschitz policies, with respect to the state, are more resilient). Finally, we show that from the main agent perspective, the system uncertainties and the attacker can be modeled as a Partially Observable Markov Decision Process. We actually demonstrate that using Reinforcement Learning techniques tailored to POMDP (e.g. using Recurrent Neural Networks) leads to more resilient policies.


title: Statistical tools for seed bank detection

abstract: In this article, we derive statistical tools to analyze and distinguish the patterns of genetic variability produced by classical and recent population genetic models related to seed banks. In particular, we are concerned with models described by the Kingman coalescent (K), models exhibiting so-called weak seed banks described by a time-changed Kingman coalescent (W), models with so-called strong seed bank described by the seed bank coalescent (S) and the classical two-island model by Wright, described by the structured coalescent (TI). As the presence of a (strong) seed bank should stratify a population, we expect it to produce a signal roughly comparable to the presence of population structure. We begin with a brief analysis of Wright's $F_{ST}$, which is a classical but crude measure for population structure, followed by a derivation of the expected site frequency spectrum (SFS) in the infinite sites model based on 'phase-type distribution calculus' as recently discussed by Hobolth et al. (2019). Both the $F_{ST}$ and the SFS can be readily computed under various population models, they discard statistical signal. Hence we also derive exact likelihoods for the full sampling probabilities, which can be achieved via recursions and a Monte Carlo scheme both in the infinite alleles and the infinite sites model. We employ a pseudo-marginal Metropolis-Hastings algorithm of Andrieu and Roberts (2009) to provide a method for simultaneous model selection and parameter inference under the so-called infinitely-many sites model, which is the most relevant in real applications. It turns out that this full likelihood method can reliably distinguish among the model classes (K, W), (S) and (TI) on the basis of simulated data even from moderate sample sizes. It is also possible to infer mutation rates, and in particular determine whether mutation is taking place in the (strong) seed bank.


title: Towards Automated Infographic Design: Deep Learning-based Auto-Extraction of Extensible Timeline

abstract: Designers need to consider not only perceptual effectiveness but also visual styles when creating an infographic. This process can be difficult and time consuming for professional designers, not to mention non-expert users, leading to the demand for automated infographics design. As a first step, we focus on timeline infographics, which have been widely used for centuries. We contribute an end-to-end approach that automatically extracts an extensible timeline template from a bitmap image. Our approach adopts a deconstruction and reconstruction paradigm. At the deconstruction stage, we propose a multi-task deep neural network that simultaneously parses two kinds of information from a bitmap timeline: 1) the global information, i.e., the representation, scale, layout, and orientation of the timeline, and 2) the local information, i.e., the location, category, and pixels of each visual element on the timeline. At the reconstruction stage, we propose a pipeline with three techniques, i.e., Non-Maximum Merging, Redundancy Recover, and DL GrabCut, to extract an extensible template from the infographic, by utilizing the deconstruction results. To evaluate the effectiveness of our approach, we synthesize a timeline dataset (4296 images) and collect a real-world timeline dataset (393 images) from the Internet. We first report quantitative evaluation results of our approach over the two datasets. Then, we present examples of automatically extracted templates and timelines automatically generated based on these templates to qualitatively demonstrate the performance. The results confirm that our approach can effectively extract extensible templates from real-world timeline infographics.


title: Interstellar Glycolaldehyde, Methyl Formate, and Acetic Acid I: A Bi-modal Abundance Pattern in Star Forming Regions

abstract: The relative column densities of the structural isomers methyl formate, glycolaldehyde, and acetic acid are derived for a dozen positions towards the massive star-forming regions MM1 and MM2 in the NGC 6334I complex, which are separated by $\sim$4000 AU. Relative column densities of these molecules are also gathered from the literature for 13 other star-forming regions. In this combined dataset, a clear bi-modal distribution is observed in the relative column densities of glycolaldehyde and methyl formate. No such distribution is evident with acetic acid. The two trends are comprised of star-forming regions with a variety of masses, suggesting that there must be some other common parameter that is heavily impacting the formation of glycolaldehyde. This is indicative of some demonstrable differentiation in these cores; studying the abundances of these isomers may provide a clue as to the integral chemical processes ongoing in a variety of protostellar environments.


title: Optimal X-ray filters for EDXRF analysis

abstract: This work presents a semi-analytical approach to answer the question of optimal beam filtering in the case of EDXRF measurements with an X-ray tube. A collection of programs, called xfilter, is presented that is capable to find the optimal filter material, the optimal filter thickness, and the optimal scattering angle, for all possible combinations of trace elements, target materials, and tube voltages. The concepts of the calculations are introduced in a general manner and demonstrated with a specific example, the detection of gold K_alpha1 XRF within human tissue. Comparing the calculation results and an EDXRF measurement shows excellent agreement.


title: Privately Answering Classification Queries in the Agnostic PAC Model

abstract: We revisit the problem of differentially private release of classification queries. In this problem, the goal is to design an algorithm that can accurately answer a sequence of classification queries based on a private training set while ensuring differential privacy. We formally study this problem in the agnostic PAC model and derive a new upper bound on the private sample complexity. Our results improve over those obtained in a recent work [BTT18] for the agnostic PAC setting. In particular, we give an improved construction that yields a tighter upper bound on the sample complexity. Moreover, unlike [BTT18], our accuracy guarantee does not involve any blow-up in the approximation error associated with the given hypothesis class. Given any hypothesis class with VC-dimension $d$, we show that our construction can privately answer up to $m$ classification queries with average excess error $\alpha$ using a private sample of size $\approx \frac{d}{\alpha^2}\,\max\left(1, \sqrt{m}\,\alpha^{3/2}\right)$. Using recent results on private learning with auxiliary public data, we extend our construction to show that one can privately answer any number of classification queries with average excess error $\alpha$ using a private sample of size $\approx \frac{d}{\alpha^2}\,\max\left(1, \sqrt{d}\,\alpha\right)$. When $\alpha=O\left(\frac{1}{\sqrt{d}}\right)$, our private sample complexity bound is essentially optimal.


title: Ice Model Calibration Using Semi-continuous Spatial Data

abstract: Rapid changes in Earth's cryosphere caused by human activity can lead to significant environmental impacts. Computer models provide a useful tool for understanding the behavior and projecting the future of Arctic and Antarctic ice sheets. However, these models are typically subject to large parametric uncertainties due to poorly constrained model input parameters that govern the behavior of simulated ice sheets. Computer model calibration provides a formal statistical framework to infer parameters using observational data, and to quantify the uncertainty in projections due to the uncertainty in these parameters. Calibration of ice sheet models is often challenging because the relevant model output and observational data take the form of semi-continuous spatial data, with a point mass at zero and a right-skewed continuous distribution for positive values. Current calibration approaches cannot handle such data. Here we introduce a hierarchical latent variable model that handles binary spatial patterns and positive continuous spatial patterns as separate components. To overcome challenges due to high-dimensionality we use likelihood-based generalized principal component analysis to impose low-dimensional structures on the latent variables for spatial dependence. We apply our methodology to calibrate a physical model for the Antarctic ice sheet and demonstrate that we can overcome the aforementioned modeling and computational challenges. As a result of our calibration, we obtain improved future ice-volume change projections.


title: Probing New Physics Signals with Symmetry-Restored Yukawa Textures

abstract: We implement a symmetry violation guideline into a two-Higgs-doublet model embedded with three right-handed neutrinos, and exploit the generic Yukawa structures of the model via a hypothetical symmetry restoration of a global $U_Q(1)^3\times U_L(1)^3$ symmetry. We then apply a mass-powered parametrization to construct the phenomenologically motivated Yukawa interactions, which enables us to incorporate correlatively the neutrino mass, dark matter, as well as the lepton-flavor universality violations in $R_{K^{(*)}}$ and $R_{D^{(*)}}$. Specifically, two atmospheric-scale neutrino masses are generated by a low-scale seesaw mechanism, while the much lighter one, being of $\mathcal{O}(10^{-6})~{\rm eV}$, is fixed by a $7.1~{\rm keV}$ sterile neutrino dark matter produced primordially by the freeze-in mechanism. On the other hand, the neutrino and the charged-lepton mass hierarchies encoded in the mass-powered textures can naturally account for the $R_{K^{(*)}}$ and the $R_{D^{(*)}}$ anomalies, respectively. As a further application, a milder discrepancy of the muon $g-2$ is observed, which has also been implied by the recently refined lattice results.


title: Burst-tree decomposition of time series reveals the structure of temporal correlations

abstract: Comprehensive characterization of non-Poissonian, bursty temporal patterns observed in various natural and social processes is crucial to understand the underlying mechanisms behind such temporal patterns. Among them bursty event sequences have been studied mostly in terms of interevent times (IETs), while the higher-order correlation structure between IETs has gained very little attention due to the lack of a proper characterization method. In this paper we propose a method of decomposing an event sequence into a set of IETs and a burst tree, which exactly captures the structure of temporal correlations that is entirely missing in the analysis of IET distributions. We apply the burst-tree decomposition method to various datasets and analyze the structure of the revealed burst trees. In particular, we observe that event sequences show similar burst-tree structure, such as heavy-tailed burst size distributions, despite of very different IET distributions. The burst trees allow us to directly characterize the preferential and assortative mixing structure of bursts responsible for the higher-order temporal correlations. We also show how to use the decomposition method for the systematic investigation of such higher-order correlations captured by the burst trees in the framework of randomized reference models. Finally, we devise a simple kernel-based model for generating event sequences showing appropriate higher-order temporal correlations. Our method is a tool to make the otherwise overwhelming analysis of higher-order correlations in bursty time series tractable by turning it into the analysis of a tree structure.


title: An Elastic Energy Minimization Framework for Mean Surface Calculation

abstract: As the continuation of the contour mean calculation - designed for averaging the manual delineations of 3D layer stack images - in this paper, the most important equations: a) the reparameterization equations to determine the minimizing diffeomorphism and b) the proper centroid calculation for the surface mean calculation are presented. The chosen representation space: escaled Position by Square root Normal (RPSN) is a real valued vector space, invariant under the action of the reparameterization group and the imposed L2 metric (used to define the distance function) has well defined meaning: the sum of the central second moments of the coordinate functions. For comparision purpose, the reparameterization equations for elastic surface matching, using the Square Root Normal Function (SRNF) are also provided. The reparameterization equations for these cases have formal similarity, albeit the targeted applications differ: SRNF representation suitable for shape analysis purpose whereas RPSN is more fit for the cases where all contextual information - including the relative translation between the constituent surfaces - are to be retained (but the sake of theoretical completeness, the possibility of the consistent relative displacement removal in the RPSN case is also addressed).


title: Level-Planar Drawings with Few Slopes

abstract: We introduce and study level-planar straight-line drawings with a fixed number $\lambda$ of slopes. For proper level graphs, we give an $O(n \log^2 n / \log \log n)$-time algorithm that either finds such a drawing or determines that no such drawing exists. Moreover, we consider the partial drawing extension problem, where we seek to extend an immutable drawing of a subgraph to a drawing of the whole graph, and the simultaneous drawing problem, which asks about the existence of drawings of two graphs whose restrictions to their shared subgraph coincide. We present $O(n^{4/3} \log n)$-time and $O({\lambda} n^{10/3} \log n)$-time algorithms for these respective problems on proper level-planar graphs. We complement these positive results by showing that testing whether non-proper level graphs admit level-planar drawings with $\lambda$ slopes is $\textsf{NP}$-hard even in restricted cases.


title: Diamond-Like Carbon for the Fast Timing MPGD

abstract: The present generation of Micro-Pattern Gaseous Detectors (MPGDs) are radiation hard detectors, capable of detecting efficiently particle rates of several MHz/cm$^2$ , while exhibiting good spatial resolution ($\leq$ 50 $\mu$m) and modest time resolution of 5-10 ns, which satisfies the current generation of experiments (High Luminosity LHC upgrades of CMS and ATLAS) but it is not sufficient for bunch crossing identification of fast timing systems at FCC- hh. Thanks to the application of thin resistive films such as Diamond-Like Carbon (DLC) a new detector concept was conceived: Fast Timing MPGD (FTM). In the FTM the drift volume of the detector has been divided in several layers each with their own amplification structure. The use of resistive electrodes makes the entire structure transparent for electrical signals. After some first initial encouraging results, progress has been slowed down due to problems with the wet-etching of DLC-coated polyimide foils. To solve these problems a more in-depth knowledge of the internal stress of the DLC together with the DLC-polyimide adhesion is required. We will report on the production of DLC films produced in Italy with Ion Beam Sputtering and Pulsed Laser Deposition, where we are searching to improve the adhesion of the thin DLC films, combined with a very high uniformity of the resistivity values.


title: Resonant photoproduction of high-energy electron-positron pairs in the field of a nucleus and a plane electromagnetic wave

abstract: The resonant photoproduction of ultrarelativistic electron-positron pairs (PPP) in a nuclear field and a weak laser field is theoretically studied. Under resonance conditions, the intermediate virtual electron (positron) in the laser field becomes a real particle. As a result, the initial process of the second order in the fine structure constant in the laser field effectively reduces into two successive processes of the first order: single-photon production of electron-positron pair in a laser field (laser-stimulated Breit-Wheeler process) and laser-assisted process of electron (positron) scattering on a nucleus. Resonant kinematics of PPP is studied in details. It is shown that for the considered laser intensities resonance is possible only for the initial photon energies greater than the characteristic threshold energy. At the same time, the ultrarelativistic electron and positron propagate in a narrow cone along the direction of the initial photon momentum. The resonant energy of the positron (electron) can has two values for each radiation angle which varies from zero to some maximum value determined by the energy of the initial photon and the threshold energy. Resonant differential cross section of the studied process was obtained. It is shown that the resonant differential cross section of the PPP can significantly exceed the corresponding cross section of the PPP without an external field. The project calculations may be experimentally verified by the scientific facilities of pulsed laser radiation (SLAC, FAIR, XFEL, ELI, XCELS)


title: Attention-Wrapped Hierarchical BLSTMs for DDI Extraction

abstract: Drug-Drug Interactions (DDIs) Extraction refers to the efforts to generate hand-made or automatic tools to extract embedded information from text and literature in the biomedical domain. Because of restrictions in hand-made efforts and their lower speed, Machine-Learning, or Deep-Learning approaches have become more popular for extracting DDIs. In this study, we propose a novel and generic Deep-Learning model which wraps Hierarchical Bidirectional LSTMs with two Attention Mechanisms that outperforms state-of-the-art models for DDIs Extraction, based on the DDIExtraction-2013 corpora. This model has obtained the macro F1-score of 0.785, and the precision of 0.80.


title: The geometry of filtrations

abstract: We display a symmetric monoidal equivalence between the stable $\infty$-category of filtered spectra, and quasi-coherent sheaves on $\mathbb{A}^1 / \mathbb{G}_m$, the quotient in the setting of spectral algebraic geometry, of the flat affine line by the canonical action of the flat multiplicative group scheme. Via a Tannaka duality argument, we identify the underlying spectrum and associated graded functors with pull-backs of quasi-coherent sheaves along certain morphisms of stacks.


title: Additive Bayesian variable selection under censoring and misspecification

abstract: We discuss the role of misspecification and censoring on Bayesian model selection in the contexts of right-censored survival and concave log-likelihood regression. Misspecification includes wrongly assuming the censoring mechanism to be non-informative. Emphasis is placed on additive accelerated failure time, Cox proportional hazards and probit models. We offer a theoretical treatment that includes local and non-local priors, and a general non-linear effect decomposition to improve power-sparsity trade-offs. We discuss a fundamental question: what solution can one hope to obtain when (inevitably) models are misspecified, and how to interpret it? Asymptotically, covariates that do not have predictive power for neither the outcome nor (for survival data) censoring times, in the sense of reducing a likelihood-associated loss, are discarded. Misspecification and censoring have an asymptotically negligible effect on false positives, but their impact on power is exponential. We show that it can be advantageous to consider simple models that are computationally practical yet attain good power to detect potentially complex effects, including the use of finite-dimensional basis to detect truly non-parametric effects. We also discuss algorithms to capitalize on sufficient statistics and fast likelihood approximations for Gaussian-based survival and binary models.


title: Entropy production in inflation from spectator loops

abstract: Perturbations in cosmic microwave background (CMB) photons and large scale structure of the universe are sourced primarily by the curvature perturbation which is widely believed to be produced during inflation. In this paper we present a 2-field inflationary model in which the inflaton couples bi-quadratically to a spectator field. We show that the spectator induces a rapid growth of the momentum of the curvature perturbation and the associated Gaussian van Neumann entropy during inflation such that the initial conditions at the end of inflation are substantially different from the standard ones. Consequently, one ought to reconsider the kinetic equations describing evolution of the photon, dark matter and baryonic fluids in radiation and matter eras and take account of the fact that the curvature perturbation and its canonical momentum are two {\it a priory} independent stochastic fields. We also briefly analyze possible imprints on the CMB temperature fluctuations from the more general inflationary scenario which contains light spectator fields coupled to the inflaton.


title: On the viability of Locked Inflation

abstract: We review locked inflation and we critically address phenomenological and consistency issues thathave appeared in the literature. A natural window of opportunity is found for the original scenario.Moreover, a simple way to enlarge the parameter space is proposed by considering an equivalentlynatural structure for the locking field. Finally, an estimate of the amount of topological defects atthe end of inflation is given; due to the low inflationary scale, it turns out to be negligible.


title: Improved Pose Graph Optimization for Planar Motions Using Riemannian Geometry on the Manifold of Dual Quaternions

abstract: We present a novel Riemannian approach for planar pose graph optimization problems. By formulating the cost function based on the Riemannian metric on the manifold of dual quaternions representing planar motions, the nonlinear structure of the SE(2) group is inherently considered. To solve the on-manifold least squares problem, a Riemannian Gauss-Newton method using the exponential retraction is applied. The proposed Riemannian pose graph optimizer (RPG-Opt) is further evaluated based on public planar pose graph data sets. Compared with state-of-the-art frameworks, the proposed method gives equivalent accuracy and better convergence robustness under large uncertainties of odometry measurements.


title: A sluggish mid-Proterozoic biosphere and its effect on Earth's redox balance

abstract: The possibility of low but nontrivial atmospheric oxygen (O2) levels during the mid-Proterozoic (between 1.8 and 0.8 billion years ago, Ga) has important ramifications for understanding Earth's O2 cycle, the evolution of complex life and evolving climate stability. However, the regulatory mechanisms and redox fluxes required to stabilize these O2 levels in the face of continued biological oxygen production remain uncertain. Here, we develop a biogeochemical model of the C-N-P-O2-S cycles and use it to constrain global redox balance in the mid-Proterozoic ocean-atmosphere system. By employing a Monte Carlo approach bounded by observations from the geologic record, we infer that the rate of net biospheric O2 production was 3.5 (+1.4 - 1.1) Tmol year-1 (1-sigma), or ~25% of today's value, owing largely to phosphorus scarcity in the ocean interior. Pyrite burial in marine sediments would have represented a comparable or more significant O2 source than organic carbon burial, implying a potentially important role for Earth's sulphur cycle in balancing the oxygen cycle and regulating atmospheric O2 levels. Our statistical approach provides a uniquely comprehensive view of Earth system biogeochemistry and global O2 cycling during mid-Proterozoic time and implicates severe P biolimitation as the backdrop for Precambrian geochemical and biological evolution.


title: Critical Reflections on Visualization Authoring Systems

abstract: An emerging generation of visualization authoring systems support expressive information visualization without textual programming. As they vary in their visualization models, system architectures, and user interfaces, it is challenging to directly compare these systems using traditional evaluative methods. Recognizing the value of contextualizing our decisions in the broader design space, we present critical reflections on three systems we developed -- Lyra, Data Illustrator, and Charticulator. This paper surfaces knowledge that would have been daunting within the constituent papers of these three systems. We compare and contrast their (previously unmentioned) limitations and trade-offs between expressivity and learnability. We also reflect on common assumptions that we made during the development of our systems, thereby informing future research directions in visualization authoring systems.


title: Group Action Combinatorics

abstract: This paper generalizes the basic notions of additive and multiplicative combinatorics to the setting of group actions: if $G$ is a group acting on a set $X$, and we have subsets $A\subseteq G$ and $Y\subseteq X$ such that the set of pairs $g\cdot y$ with $g\in A,y\in Y$ is not much larger than $Y$, what structure must $A$ and $Y$ have? Briefly, what is the structure of sets with small "image set"? In this setting, we develop analogs of Ruzsa's triangle inequality, covering theorems, multiplicative energy, and the Balog-Szemer\'{e}di-Gowers theorem. Approximate stabilizers, which we call symmetry sets, play an important role. While our focus is on presenting a general theory, we answer the inverse image set question in some special cases. To do so, we combine the group action version of the Balog-Szemer\'{e}di-Gowers theorem with structure theorems for approximate groups and bounds for the sizes of symmetry sets.


title: Hug and Hop: a discrete-time, non-reversible Markov chain Monte-Carlo algorithm

abstract: We introduced the Hug and Hop Markov chain Monte Carlo algorithm for estimating expectations with respect to an intractable distribution. The algorithm alternates between two kernels: Hug and Hop. Hug is a non-reversible kernel that repeatedly applies the bounce mechanism from the recently proposed Bouncy Particle Sampler to produce a proposal point far from the current position, yet on almost the same contour of the target density, leading to a high acceptance probability. Hug is complemented by Hop, which deliberately proposes jumps between contours and has an efficiency that degrades very slowly with increasing dimension. There are many parallels between Hug and Hamiltonian Monte Carlo using a leapfrog integrator, including the order of the integration scheme, however Hug is also able to make use of local Hessian information without requiring implicit numerical integration steps, and its performance is not terminally affected by unbounded gradients of the log-posterior. We test Hug and Hop empirically on a variety of toy targets and real statistical models and find that it can, and often does, outperform Hamiltonian Monte Carlo.


title: An efficient algorithm for solving elliptic problems on percolation clusters

abstract: We present an efficient algorithm to solve elliptic Dirichlet problems defined on the cluster of $\mathbb{Z}^d$ supercritical Bernoulli percolation, as a generalization of the iterative method proposed by S. Armstrong, A. Hannukainen, T. Kuusi and J.-C. Mourrat. We also explore the two-scale expansion on the infinite cluster of percolation, and use it to give a rigorous analysis of the algorithm.


title: Definitions of local density in density-dependent potentials for mixtures

abstract: Density-dependent potentials are frequently used in materials simulations due to their approximate description of many-body effects at minimal computational cost. However, in order to apply such models to multi-component systems, an appropriate definition of total local particle density is required. Here, we discuss two definitions of local density in the context of many-body dissipative particle dynamics. We show that only a potential which combines local densities from all particle types in its argument gives physically meaningful results for all composition ratios. Drawing on the ideas from metal potentials, we redefine local density such that it can accommodate different inter-type interactions despite the constraint to keep the main interaction parameter constant, known as Warren's no-go theorem, and generalise the many-body potential to heterogeneous systems. We then show via simulation how liquid-liquid and liquid-solid coexistence can arise just by tuning the interaction parameters.


title: Limitations of In$_2$O$_3$ as a transparent conducting oxide

abstract: Sn-doped In$_2$O$_3$ or ITO is the most widely used transparent conducting oxide. We use first-principles calculations to investigate the limitations to its transparency due to free-carrier absorption mediated by phonons or charged defects. We find that the main contribution to the phonon-assisted indirect absorption is due to emission (as opposed to absorption) of phonons, which explains why the process is relatively insensitive to temperature. The wavelength dependence of this indirect absorption process can be described by a power law. Indirect absorption mediated by charged defects or impurities is also unavoidable since doping is required to obtain conductivity. At high carrier concentrations, screening by the free carriers becomes important. We find that charged-impurity-assisted absorption becomes larger than phonon-assisted absorption for impurity concentrations above 10$^{20}$ cm$^{-3}$. The differences in the photon-energy dependence of the two processes can be explained by band-structure effects.


title: Multiple phases with tricritical point and Lifshitz point in skyrmion host Cu$_2$OSeO$_3$

abstract: Magnetic skyrmions, a topologically stable spin swirling object, have attracted a great interest due to their potential applications in future spintronics and ultra high dense magnetic memory devices. Cu$_2$OSeO$_3$ is only known insulating chiral helimagnet with multiple phases including skyrmion phase. Existence of skyrmion phase as well as first and second order phase transitions make Cu$_2$OSeO$_3$ a promissing candidate for investigating complex magnetic phenomena. Here, we report that both first and second order magnetic phase transitions are responsible in determining the phase diagram with atleast two multicritical point in Cu$_2$OSeO$_3$. Fluctuation-induced first order transition is realized as a precursor for skyrmion phase over a small window of temperature of magnetic field. The evolution of field dependent entropy at the phase transition provides the evidence for tricritical point. Furthermore, existence of commensurate and incommensurate phases, alongwith co-existence of three second order phase transitions provide evidence for the existence of Lifshitz point.


title: Quantum affine algebras and Grassmannians

abstract: We study the relation between quantum affine algebras of type A and Grassmannian cluster algebras. Hernandez and Leclerc described an isomorphism from the Grothendieck ring of a certain subcategory $\mathcal{C}_{\ell}$ of $U_q(\hat{\mathfrak{sl}_n})$-modules to a quotient of the Grassmannian cluster algebra in which certain frozen variables are set to 1. We explain how this induces an isomorphism between the monoid of dominant monomials, used to parameterize simple modules, and a quotient of the monoid of rectangular semistandard Young tableaux. Via the isomorphism, we define an element ch(T) in a Grassmannian cluster algebra for every rectangular tableau T. By results of Kashiwara, Kim, Oh, and Park, and also of Qin, every Grassmannian cluster monomial is of the form ch(T) for some T. Using formulas of Arakawa-Suzuki, we give an explicit expression for ch(T), and also give explicit q-character formulas for finite-dimensional $U_q(\hat{\mathfrak{sl}_n})$-modules. We give a tableau-theoretic rule for performing mutations in Grassmannian cluster algebras. We suggest how our formulas might be used to study reality and primeness of modules, and compatibility of cluster variables.


title: Synthetic Image Augmentation for Improved Classification using Generative Adversarial Networks

abstract: Object detection and recognition has been an ongoing research topic for a long time in the field of computer vision. Even in robotics, detecting the state of an object by a robot still remains a challenging task. Also, collecting data for each possible state is also not feasible. In this literature, we use a deep convolutional neural network with SVM as a classifier to help with recognizing the state of a cooking object. We also study how a generative adversarial network can be used for synthetic data augmentation and improving the classification accuracy. The main motivation behind this work is to estimate how well a robot could recognize the current state of an object


title: Regular languages, derivatives and finite automata

abstract: This report is mostly written for educational purposes. It is meant as a self contained introduction to regular languages, regular expressions, and regular expression matching by using Brzozowski derivatives. As such it is mostly based on the work by Brzozowski[4] and Owens et al.[12] The language basics material have been inspired by books[2] and web material[16]. Chapter 1 introduces the fundamental concepts of formal languages, as well as the idea of string derivatives. In chapter 2 we define the class of regular languages, and further develops the theory of derivatives for that class. We use derivatives to prove the Myhill-Nerod theorem, the Pumping lemma, and the closure of regular languages under all Boolean connectives. In chapter 3 we introduce regular expressions and regular expression matching. Chapter 4 connects the theory of regular languages and derivatives with that of finite automata. Chapter 5 looks at the concept of anchors, and how this can be incorporated into a matcher based on derivatives. Chapter 6 discusses submatching using derivatives with an approach inspired by Laurikari and his work on tagged transitions[11]. This is the part we consider as our main contribution to the field. In the last chapter, chapter 7, we summarize by giving a regular expression matching algorithm using the previously discussed techniques. We also discuss related work by others.


title: Applications of Bornological Covering Properties in Metric Spaces

abstract: Using the idea of strong uniform convergence on bornology, Caserta, Di Maio and Ko\v{c}inac studied open covers and selection principles in the realm of metric spaces (associated with a bornology) and function spaces (w.r.t. the topology of strong uniform convergence). We primarily continue in the line initiated before and investigate the behaviour of various selection principles related to these classes of bornological covers. In the process we obtain implications among these selection principles resulting in Scheepers' like diagrams. We also introduce the notion of strong-$\mathfrac{B}$-Hurewicz property and investigate some of its consequences. Finally, in $C(X)$ with respect to the topology $\tau_{\mathfrac{B}}^s$ of strong uniform convergence, important properties like countable $T$-tightness, Reznichenko property are characterized in terms of bornological covering properties of $X$.


title: Effect of the Anomalous Diffusion of Fluctuating Cooper Pairs in the Density of States of Superconducting NbN Thin Films

abstract: Recent scanning tunnelling microscopy experiments in NbN thin disordered superconducting films found an emergent inhomogeneity at the scale of tens of nanometers. This inhomogeneity is mirrored by an apparent dimensional crossover in the paraconductivity measured in transport above the superconducting critical temperature $T_c$. This behavior was interpreted in terms of an anomalous diffusion of fluctuating Cooper pairs, that display a {\em quasi-confinement} (i.e., a slowing down of their diffusive dynamics) on length scales shorter than the inhomogeneity identified by tunnelling experiments. Here we assume this anomalous diffusive behavior of fluctuating Cooper pairs and calculate the effect of these fluctuations on the electron density of states above $T_c$. We find that the density of states is substantially suppressed up to temperatures well above $T_c$. This behavior, which is closely reminiscent of a pseudogap, only arises from the anomalous diffusion of fluctuating Cooper pairs in the absence of stable preformed pairs, setting the stage for an intermediate behavior between the two common paradigms in the superconducting-insulator transition, namely the localisation of Cooper pairs (the so-called bosonic scenario) and the breaking of Cooper pairs into unpaired electrons due to strong disorder (the so-called fermionic scenario).


title: Auto-labelling of Markers in Optical Motion Capture by Permutation Learning

abstract: Optical marker-based motion capture is a vital tool in applications such as motion and behavioural analysis, animation, and biomechanics. Labelling, that is, assigning optical markers to the pre-defined positions on the body is a time consuming and labour intensive postprocessing part of current motion capture pipelines. The problem can be considered as a ranking process in which markers shuffled by an unknown permutation matrix are sorted to recover the correct order. In this paper, we present a framework for automatic marker labelling which first estimates a permutation matrix for each individual frame using a differentiable permutation learning model and then utilizes temporal consistency to identify and correct remaining labelling errors. Experiments conducted on the test data show the effectiveness of our framework.


title: Andreev reflection in ballistic normal metal/graphene/superconductor junctions

abstract: We report the study of ballistic transport in normal metal/graphene/superconductor junctions in edge-contact geometry. While in the normal state, we have observed Fabry-P\'{e}rot resonances suggesting that charge carriers travel ballistically, the superconducting state shows that the Andreev reflection at the graphene/superconductor interface is affected by these interferences. Our experimental results in the superconducting state have been analyzed and explained with a modified Octavio-Tinkham-Blonder-Klapwijk model taking into account the magnetic pair-breaking effects and the two different interface transparencies, \textit{i.e.}\,between the normal metal and graphene, and between graphene and the superconductor. We show that the transparency of the normal metal/graphene interface strongly varies with doping at large scale, while it undergoes weaker changes at the graphene/superconductor interface. When a cavity is formed by the charge transfer occurring in the vicinity of the contacts, we see that the transmission probabilities follow the normal state conductance highlighting the interplay between the Andreev processes and the electronic interferometer.


title: Dynamic Signatures of Black Hole Binaries with Superradiant Clouds

abstract: Superradiant clouds may develop around a rotating black hole, if there is a bosonic field with Compton wavelength comparable to the size of the black hole. In this paper, we investigate the effects of the cloud on the orbits of nearby compact objects. In particular, we consider the dynamical friction and the backreaction due to level mixing. Under these interactions, the probability of a black hole dynamically capturing other compact objects, such as stellar mass black holes and neutron stars, is generally enhanced with the presence of the cloud. For extreme mass ratio inspirals and binary stellar mass binary black holes, the cloud-induced orbital modulation may be detected by observing the gravitational waveform using space borne gravitational wave detectors, such as LISA. Interestingly within certain range of boson Compton wavelength, the enhanced capture rate of stellar mass black holes could accelerate hierarchical mergers, with higher-generation merger product being more massive than the mass threshold predicted by supernova pair instability. These observational signatures provide promising ways of searching light bosons with gravitational waves.


title: Binary pusher-puller mixtures of active microswimmers and their collective behavior

abstract: Microswimmers are active particles of microscopic size that self-propel by setting the surrounding fluid into motion. According to the kind of far-field fluid flow that they induce, they are classified into pushers and pullers. Many studies have explored similarities and differences between suspensions of either pushers or pullers, but the behavior of mixtures of the two is still to be investigated. Here, we rely on a minimal discrete microswimmer model, particle-resolved, including hydrodynamic interactions, to examine the orientational ordering in such binary pusher-puller mixtures. In agreement with existing literature, we find that our monodisperse suspensions of pushers do not show alignment, whereas those of solely pullers spontaneously develop ordered collective motion. By continuously varying the composition of the binary mixtures, starting from pure puller systems, we find that ordered collective motion is largely maintained up to pusher-puller composition ratios of about 1:2. Surprisingly, pushers when surrounded by a majority of pullers are more tightly aligned than indicated by the average overall orientational order in the system. Our study outlines how orientational order can be tuned in active microswimmer suspensions to a requested degree by doping with other species.


title: Some infinite sequences of canonical covers of degree 2

abstract: In this note, we construct three new infinite families of surfaces of general type with canonical map of degree 2 onto a surface of general type. For one of these families the canonical system has base points.


title: Positive Harris recurrence for degenerate diffusions with internal variables and randomly perturbed time-periodic input

abstract: We consider a multidimensional time-homogeneous dynamical system and add a randomly perturbed time-dependent deterministic signal to some of its components, giving rise to a high-dimensional system of stochastic differential equations, which is driven by possibly very low-dimensional noise. Equations of this type commonly occur in biology when modelling neurons or in statistical mechanics for certain Hamiltonian systems. We provide verifiable conditions on the original deterministic dynamical system under which the solution to the respective stochastic system features a point in the interior of its state space, which can be proved to be attainable by deterministic control arguments, and at which a local H\"ormander condition holds. Together with a Lyapunov condition, it follows that the corresponding process is positive Harris recurrent.


title: Model independent analysis of $ B^* \to P \ell \bar{\nu}_\ell$ decay processes

abstract: Very compelling deviations in the recently observed lepton nonuniversality observables $\big (R_{D^{(*)}}, R_{K^{(*)}}, R_{J/\psi} \big )$ of semileptonic $B$ meson decays from their Standard Model predictions hint towards the presence of some kind of new physics beyond it. In this regard, we investigate the effect of new physics in the semileptonic $\bar B_{d(s)}^* \to P \ell \bar{\nu}_\ell$ decay processes, where $P=D,\pi (D_s,K$), in a model independent way. We consider the presence of additional vector and scalar type interactions and constrain the corresponding new couplings by fitting ${\rm Br(B_{u}^+ \to \tau^+ \nu_\tau)}$, ${\rm Br(B \to \pi \tau \bar \nu_\tau)}$, ${\rm Br(B_{c}^+ \to \tau^+ \nu_\tau)}$, $R_\pi^l$, $R_{D^{(*)}}$ and $R_{J/\psi}$ data. Using the constrained new parameters, we estimate the branching ratios, forward-backward asymmetry, lepton-spin asymmetry and lepton non-universality observables of $\bar B_{d,s}^{*} \to P \tau \bar \nu_\tau$ processes. We find that the branching ratios of these decay modes are sizeable and deviate significantly (for vector-type couplings) from their corresponding standard model values, which are expected to be within the reach of Run III of Large Hadron Collider experiment.


title: Spectral dissection of finite rank perturbations of normal operators

abstract: Finite rank perturbations $T=N+K$ of a bounded normal operator $N$ on a separable Hilbert space are studied thanks to a natural functional model of $T$; in its turn the functional model solely relies on a perturbation matrix/ characteristic function previously defined by the second author. Function theoretic features of this perturbation matrix encode in a closed-form the spectral behavior of $T$. Under mild geometric conditions on the spectral measure of $N$ and some smoothness constraints on $K$ we show that the operator $T$ admits invariant subspaces, or even it is decomposable.


title: Techniques and results of neutral long-lived particle searches in ATLAS and CMS in LHC Run 2

abstract: Selected results of searches for neutral long-lived particles with displaced and delayed jets, trackless jets and emerging jets, as well as displaced muons, obtained with data recorded at a centre-of-mass energy of 13 TeV by the ATLAS and CMS Collaborations during LHC's Run 2 are presented, as well as challenges and techniques.


title: Gravitational waves triggered by $B-L$ charged hidden scalar and leptogenesis

abstract: We study the electroweak symmetry breaking in the framework of a classically conformal $U(1)_{B-L}$ theory, where three right-handed neutrinos (RHNs) and a hidden scalar are introduced, with the latter playing the role of dark matter (DM). It is found that the DM and RHN sectors are crucial for the spontaneous symmetry breaking of the $U(1)_{B-L}$ symmetry, strong first order phase transition in the conformal theory and the resultant gravitational wave (GW) prospects at future space-based interferometer LISA and other GW experiments. The baryon asymmetry of the Universe is addressed by the resonant leptogenesis mechanism, which is potentially disturbed by the hidden scalar. To make the GW spectra detectable by LISA and resonant leptogenesis work in the conformal $U(1)_{B-L}$ theory, the hidden scalar can not fully saturate the observed DM relic density.


title: Unsupervised Domain Adaptation via Disentangled Representations: Application to Cross-Modality Liver Segmentation

abstract: A deep learning model trained on some labeled data from a certain source domain generally performs poorly on data from different target domains due to domain shifts. Unsupervised domain adaptation methods address this problem by alleviating the domain shift between the labeled source data and the unlabeled target data. In this work, we achieve cross-modality domain adaptation, i.e. between CT and MRI images, via disentangled representations. Compared to learning a one-to-one mapping as the state-of-art CycleGAN, our model recovers a many-to-many mapping between domains to capture the complex cross-domain relations. It preserves semantic feature-level information by finding a shared content space instead of a direct pixelwise style transfer. Domain adaptation is achieved in two steps. First, images from each domain are embedded into two spaces, a shared domain-invariant content space and a domain-specific style space. Next, the representation in the content space is extracted to perform a task. We validated our method on a cross-modality liver segmentation task, to train a liver segmentation model on CT images that also performs well on MRI. Our method achieved Dice Similarity Coefficient (DSC) of 0.81, outperforming a CycleGAN-based method of 0.72. Moreover, our model achieved good generalization to joint-domain learning, in which unpaired data from different modalities are jointly learned to improve the segmentation performance on each individual modality. Lastly, under a multi-modal target domain with significant diversity, our approach exhibited the potential for diverse image generation and remained effective with DSC of 0.74 on multi-phasic MRI while the CycleGAN-based method performed poorly with a DSC of only 0.52.


title: Gamma rays from reaccelerated particles at supernova remnant shocks

abstract: Diffusive shock acceleration is considered as the main mechanism for particle energization in supernova remnants, as well as in other classes of sources. The existence of some remnants that show a bilateral morphology in the X-rays and gamma rays suggests that this process occurs with an efficiency that depends upon the inclination angle between the shock normal and the large scale magnetic field in which the shock propagates. This interpretation is additionally supported by recent particle-in-cell simulations that show how ions are not injected if the shock is more oblique than $\sim 45^{o}$. These shocks provide an excellent test bench for the process of reacceleration at the same shock: non-thermal seed particles that are reached by the shock front are automatically injected and accelerated. This process was recently discussed as a possible reason for some anomalous behaviour of the spectra of secondary cosmic ray nuclei. Here we discuss how gamma--ray observations of selected supernova remnants can provide us with precious information about this process and lead us to a better assessment of particle diffusive shock reacceleration for other observables in cosmic ray physics.


title: Critical slowing down in the bistable regime of circuit quantum electrodynamics

abstract: We investigate the dynamics of the bistable regime of the generalized Jaynes-Cummings Hamiltonian (GJC), realised by a circuit quantum electrodynamics (cQED) system consisting of a transmon qubit coupled to a microwave cavity. In this regime we observe critical slowing down in the approach to the steady state. By measuring the response of the cavity to a step function drive pulse we characterize this slowing down as a function of driving frequency and power. We find that the critical slowing down saturates as the driving power is increased. We compare these results with the predictions of analytical and numerical calculations both with and without the Duffing approximation. We find that the Duffing approximation incorrectly predicts that the critical slowing down timescale increases exponentially with the drive, whereas the GJC model accurately predicts the saturation seen in our data, suggesting a different process of quantum activation.


title: Isodiametry, variance, and regular simplices from particle interactions

abstract: Consider a collection of particles interacting through an attractive-repulsive potential given as a difference of power laws and normalized so that its unique minimum occurs at unit separation. For a range of exponents corresponding to mild repulsion and strong attraction, we show that the minimum energy configuration is uniquely attained -- apart from translations and rotations -- by equidistributing the particles over the vertices of a regular top-dimensional simplex (i.e. an equilateral triangle in two dimensions and regular tetrahedron in three). If the attraction is not assumed to be strong, we show these configurations are at least local energy minimizers in the relevant $d_\infty$ metric from optimal transportation, as are all of the other uncountably many unbalanced configurations with the same support. We infer the existence of phase transitions. The proof is based on a simple isodiametric variance bound which characterizes regular simplices: it shows that among probability measures on ${\mathbf R}^n$ whose supports have at most unit diameter, the variance around the mean is maximized precisely by those measures which assign mass $1/(n+1)$ to each vertex of a (unit-diameter) regular simplex.


title: Aerial Robot Control in Close Proximity to Ceiling: A Force Estimation-based Nonlinear MPC

abstract: Being motivated by ceiling inspection applications via unmanned aerial vehicles (UAVs) which require close proximity flight to surfaces, a systematic control approach enabling safe and accurate close proximity flight is proposed in this work. There are two main challenges for close proximity flights: (i) the trust characteristics varies drastically for the different distance from the ceiling which results in a complex nonlinear dynamics; (ii) the system needs to consider physical and environmental constraints to safely fly in close proximity. To address these challenges, a novel framework consisting of a constrained optimization-based force estimation and an optimization-based nonlinear controller is proposed. Experimental results illustrate that the performance of the proposed control approach can stabilize UAV down to 1 cm distance to the ceiling. Furthermore, we report that the UAV consumes up to 12.5% less power when it is operated 1 cm distance to ceiling, which is promising potential for more battery-efficient inspection flights.


title: A Local Resolution of the Problem of Time. XIV. Grounding on Lie's Mathematics

abstract: In a major advance and simplification of this field, we show that A Local Resolution of the Problem of Time - also viewable as A Local Theory of Background Independence - can at the classical level be described solely by of Lie's Mathematics. This comprises i) Lie derivatives to encode Relationalism, including via solving the generalized Killing equation. ii) Lie brackets to formulate Closure, via Lie's Algorithm suitably extended to accommodate Dirac and topological insights, producing generator Lie algebraic structures: Lie algebras or algebroids. iii) Observables defined by Lie brackets relations, recastable as explicit PDE systems to be solved using the Flow Method, and constitute observables Lie algebras. iv) The `passing families of theories through the Dirac Algorithm' approach to Spacetime Construction from Space, and to obtaining more structure from less internally to each of space and spacetime separately, are identified as deformations that work selectively when Lie Algebraic Rigidity is encountered. v) Reallocation of Intermediary-Object (RIO) Invariance: the general Lie Theory's commuting-pentagon analogue of posing Refoliation Invariance for GR. i) to v) cover respectively the Relationalism, Closure, Observables, Deformations and RIO super-aspects of Background Independence, Lie Theory moreover already collates i) to iii) and the internal case of iv) as multiple interacting aspects. The Problem of Time's multiple interacting facets are then explained as, firstly, having 2 copies of this Lie collation, 1 for each of spacetime and space primalities. Secondly, a Wheelerian two-way route between these two primalities, comprising v) and iv)'s `spacetime from space' version. We further develop the Comparative Theory of Background Independence thus. We can even give a `pillars of the Foundations of Geometry' parallel of our Background Independence super-aspects.


title: Almost absolute weighted summability with index k

abstract: The space $\widehat{\ell }_k$ of absolutely almost convergent series was introduced and studied by Das et al [4]; which plays an important role in summability theory, approximation theory, Fourier analysis, etc. In the present paper we generalize the space making use of some factors and weighted mean transformations, investigate its topological structures and relations between classical sequence spaces. Also we characterize certain matrix operators on it.


title: An estimation of the Moon radius by counting craters: a generalization of Monte-Carlo calculation of $\pi $ to spherical geometry

abstract: By applying Monte-Carlo method, the Moon radius is obtained by counting craters in a spherical square over the surface of it. As it is well known, approximate values for $\pi $ can be obtained by counting random numbers in a square and in a quarter of circle inscribed in it in Euclidean geometry. This procedure can be extend it to spherical geometry, where new relations between the areas of a spherical square and the quarter of circle inscribed in it are obtained. When the radius of the sphere is larger than the radius of the quarter of circle, Euclidean geometry is recovered and the ratio of the areas tends to $\pi $. Using these results, theoretical deviations of $\pi $ due to the Moon radius $R$ are computed. In order to obtain this deviation, a spherical square is selected located in a great circle of the Moon. The random points over the spherical square are given by a specific zone of the Moon where craters are distributed almost randomly. Computing the ratio of the areas, the deviation of $\pi $ allows us to obtain the Moon radius with an intrinsic error given by the finite number of random craters.


title: Observation of new resonances in the $\Lambda_{b}^0\pi^+\pi^-$ system

abstract: We report the observation of a new structure in the $\Lambda_b^0 \pi^+\pi^-$ spectrum using the full LHCb data set of $pp$ collisions, corresponding to an integrated luminosity of $9\,\mathrm{fb}^{-1}$, collected at $\sqrt{s}=7$, 8 and $13\,\mathrm{TeV}$. A study of the structure suggests its interpretation as a superposition of two almost degenerate narrow states. The masses and widths of these states are measured to be \begin{eqnarray*} m_{\Lambda_{b}\mathrm{(6146)}^0} &=&6146.17 \pm 0.33 \pm 0.22 \pm 0.16\,\mathrm{MeV} \,, m_{\Lambda_{b}\mathrm{(6152)}^0} &=&6152.51 \pm 0.26 \pm 0.22 \pm 0.16\,\mathrm{MeV} \,, \Gamma_{\Lambda_{b}\mathrm{(6146)}^0}&=&\phantom{615}2.9\phantom{0}\pm 1.3\phantom{0} \pm 0.3\phantom{0}\,\mathrm{MeV}\,, \Gamma_{\Lambda_{b}\mathrm{(6152)}^0} &=&\phantom{615}2.1\phantom{0}\pm 0.8\phantom{0} \pm 0.3\phantom{0}\,\mathrm{MeV}\,, \end{eqnarray*} with a mass splitting of $\Delta m = 6.34 \pm 0.32 \pm 0.02\,\mathrm{MeV}$, where the first uncertainty is statistical, the second systematic and the third derives from the knowledge of the mass of the $\Lambda_b^0$ baryon. The measured masses and widths of these new excited states suggest their possible interpretation as a doublet of $\Lambda_{b}\mathrm{(1D)}^0$ states.


title: Dissipative processes and their role in the evolution of radio galaxies

abstract: Particle acceleration in relativistic jets to very high energies occurs at the expense of the dissipation of magnetic or kinetic energy. Therefore, understanding the processes that can trigger this dissipation is key to the characterization of the energy budgets and particle acceleration mechanisms at action in active galaxies. Instabilities and entrainment are two obvious candidates to trigger dissipation. On the one hand, supersonic, relativistic flows threaded by helical fields, as expected from the standard formation models of jets in supermassive black-holes, are unstable to a series of magnetohydrodynamical instabilities, such as the Kelvin-Helmholtz, current-driven, or possibly the pressure-driven instabilities. Furthermore, in the case of expanding jets, the Rayleigh-Taylor and centrifugal instabilities may also develop. With all these destabilizing processes at action, a natural question is how can some jets keep their collimated structure along hundreds of kiloparsecs. On the other hand, the interaction of the jet with stars and clouds of gas that cross the flow in their orbits around the galactic centers provides another scenario in which kinetic energy can be efficiently converted into internal energy and particles can be accelerated to non-thermal energies. In this contribution, I review the conditions under which these processes occur and their role both in jet evolution and propagation and energy dissipation.


title: Deploying a Top-100 Supercomputer for Large Parallel Workloads: the Niagara Supercomputer

abstract: Niagara is currently the fastest supercomputer accessible to academics in Canada. It was deployed at the beginning of 2018 and has been serving the research community ever since. This homogeneous 60,000-core cluster, owned by the University of Toronto and operated by SciNet, was intended to enable large parallel jobs and has a measured performance of 3.02 petaflops, debuting at #53 in the June 2018 TOP500 list. It was designed to optimize throughput of a range of scientific codes running at scale, energy efficiency, and network and storage performance and capacity. It replaced two systems that SciNet operated for over 8 years, the Tightly Coupled System (TCS) and the General Purpose Cluster (GPC). In this paper we describe the transition process from these two systems, the procurement and deployment processes, as well as the unique features that make Niagara a one-of-a-kind machine in Canada.


title: MetricsVis: A Visual Analytics System for Evaluating Employee Performance in Public Safety Agencies

abstract: Evaluating employee performance in organizations with varying workloads and tasks is challenging. Specifically, it is important to understand how quantitative measurements of employee achievements relate to supervisor expectations, what the main drivers of good performance are, and how to combine these complex and flexible performance evaluation metrics into an accurate portrayal of organizational performance in order to identify shortcomings and improve overall productivity. To facilitate this process, we summarize common organizational performance analyses into four visual exploration task categories. Additionally, we develop MetricsVis, a visual analytics system composed of multiple coordinated views to support the dynamic evaluation and comparison of individual, team, and organizational performance in public safety organizations. MetricsVis provides four primary visual components to expedite performance evaluation: (1) a priority adjustment view to support direct manipulation on evaluation metrics; (2) a reorderable performance matrix to demonstrate the details of individual employees; (3) a group performance view that highlights aggregate performance and individual contributions for each group; and (4) a projection view illustrating employees with similar specialties to facilitate shift assignments and training. We demonstrate the usability of our framework with two case studies from medium-sized law enforcement agencies and highlight its broader applicability to other domains.


title: Binary component decomposition Part II: The asymmetric case

abstract: This paper studies the problem of decomposing a low-rank matrix into a factor with binary entries, either from $\{\pm 1\}$ or from $\{0,1\}$, and an unconstrained factor. The research answers fundamental questions about the existence and uniqueness of these decompositions. It also leads to tractable factorization algorithms that succeed under a mild deterministic condition. This work builds on a companion paper that addresses the related problem of decomposing a low-rank positive-semidefinite matrix into symmetric binary factors.


title: Binary Component Decomposition Part I: The Positive-Semidefinite Case

abstract: This paper studies the problem of decomposing a low-rank positive-semidefinite matrix into symmetric factors with binary entries, either $\{\pm 1\}$ or $\{0,1\}$. This research answers fundamental questions about the existence and uniqueness of these decompositions. It also leads to tractable factorization algorithms that succeed under a mild deterministic condition. A companion paper addresses the related problem of decomposing a low-rank rectangular matrix into a binary factor and an unconstrained factor.


title: A new derivation of singularity theorems with weakened energy hypotheses

abstract: The original singularity theorems of Penrose and Hawking were proved for matter obeying the Null Energy Condition or Strong Energy Condition respectively. Various authors have proved versions of these results under weakened hypotheses, by considering the Riccati inequality obtained from Raychaudhuri's equation. Here, we give a different derivation that avoids the Raychaudhuri equation but instead makes use of index form methods. We show how our results improve over existing methods and how they can be applied to hypotheses inspired by Quantum Energy Inequalities. In this last case, we make quantitative estimates of the initial conditions required for our singularity theorems to apply.


title: A new method for measuring angle-resolved phases in photoemission

abstract: Quantum mechanically, photoionization can be fully described by the complex photoionization amplitudes that describe the transition between the ground state and the continuum state. Knowledge of the value of the phase of these amplitudes has been a central interest in photoionization studies and newly developing attosecond science, since the phase can reveal important information about phenomena such as electron correlation. We present a new attosecond-precision interferometric method of angle-resolved measurement for the phase of the photoionization amplitudes, using two phase-locked Extreme Ultraviolet pulses of frequency $\omega$ and $2\omega$, from a Free-Electron Laser. Phase differences $\Delta \tilde \eta$ between one- and two-photon ionization channels, averaged over multiple wave packets, are extracted for neon $2p$ electrons as a function of emission angle at photoelectron energies 7.9, 10.2, and 16.6 eV. $\Delta \tilde \eta$ is nearly constant for emission parallel to the electric vector but increases at 10.2 eV for emission perpendicular to the electric vector. We model our observations with both perturbation and \textit{ab initio} theory, and find excellent agreement. In the existing method for attosecond measurement, Reconstruction of Attosecond Beating By Interference of Two-photon Transitions (RABBITT), a phase difference between two-photon pathways involving absorption and emission of an infrared photon is extracted. Our method can be used for extraction of a phase difference between single-photon and two-photon pathways and provides a new tool for attosecond science, which is complementary to RABBITT.


title: Domain Decomposition for the Closest Point Method

abstract: The discretization of elliptic PDEs leads to large coupled systems of equations. Domain decomposition methods (DDMs) are one approach to the solution of these systems, and can split the problem in a way that allows for parallel computing. Herein, we extend two DDMs to elliptic PDEs posed intrinsic to surfaces as discretized by the Closest Point Method (CPM) \cite{SJR:CPM,CBM:ICPM}. We consider the positive Helmholtz equation $\left(c-\Delta_\mathcal{S}\right)u = f$, where $c\in\mathbb{R}^+$ is a constant and $\Delta_\mathcal{S}$ is the Laplace-Beltrami operator associated with the surface $\mathcal{S}\subset\mathbb{R}^d$. The evolution of diffusion equations by implicit time-stepping schemes and Laplace-Beltrami eigenvalue problems \cite{CBM:Eig} both give rise to equations of this form. The creation of efficient, parallel, solvers for this equation would ease the investigation of reaction-diffusion equations on surfaces \cite{CBM:RDonPC}, and speed up shape classification \cite{Reuter:ShapeDNA}, to name a couple applications.