title: Efficient Computation of Linear Model Treatment Effects in an Experimentation Platform

abstract: Linear models are a core component for statistical software that analyzes treatment effects. They are used in experimentation platforms where analysis is automated, as well as scientific studies where analysis is done locally and manually. However, the implementations of linear models for online platforms and for local analysis are often different due to differing demands in scalability. To improve leverage, we developed one library that powers both modes of analysis, consolidates many forms of treatment effects from linear models, and optimizes the computational performance of the software. The highly performant algorithms allow the library to run linear models at Netflix's scale and reply to live queries for treatment effects from an online service without using distributed systems in seconds. Wrapping these algorithms in a library that can be used interactively make large scale linear models accessible for both online platforms and scientists to use locally.


title: Alternating Current-induced Interfacial Spin-transfer Torque

abstract: We investigate an interfacial spin-transfer torque and $\beta$-term torque with alternating current (AC) parallel to a magnetic interface. We find that both torques are resonantly enhanced as the AC frequency approaches to the exchange splitting energy. We show that this resonance allows us to estimate directly the interfacial exchange interaction strength from the domain wall motion. We also find that the $\beta$-term includes an unconventional contribution which is proportional to the time derivative of the current and exists even in absence of any spin relaxation processes.


title: Unimodular random one-ended planar graphs are sofic

abstract: We prove that if a unimodular random graph is almost surely planar and has finite expected degree, then it has a combinatorial embedding into the plane which is also unimodular. This implies the claim in the title immediately by a theorem of Angel, Hutchcroft, Nachmias and Ray [2]. Our unimodular embedding also implies that all the dichotomy results of [2] about unimodular maps extend in the one-ended case to unimodular random planar graphs.


title: Dark energy effects in the Schr\"odinger-Newton approach

abstract: The Schr\"odinger-Newton equation is a proposed model to explain the localization of macroscopic particles by suppressing quantum dispersion with the particle's own gravitational attraction. On cosmic scales, however, dark energy also acts repulsively, as witnessed by the accelerating rate of universal expansion. Here, we introduce the effects of dark energy in the form of a cosmological constant $\Lambda$, that drives the late-time acceleration of the Universe, into the Schr\"odinger-Newton approach. We then ask in which regime dark energy dominates both canonical quantum diffusion and gravitational self-attraction. It turns out that this happens for sufficiently delocalized objects with an arbitrary mass and that there exists a minimal delocalization width of about $67$ m. While extremely macroscopic from a quantum perspective, the value is in principle accessible to laboratories on Earth. Hence, we analyze, numerically, how the dynamics of an initially spherical Gaussian wave packet is modified in the presence of $\Lambda > 0$. A notable feature is the gravitational collapse of part of the wave packet, in the core region close to the center of mass, accompanied by the accelerated expansion of the more distant shell surrounding it. The order of magnitude of the distance separating collapse from expansion matches analytical estimates of the classical turnaround radius for a spherically symmetric body in the presence of dark energy. However, the time required to observe these modifications is astronomical. They can potentially be measured only in physical systems simulating a high effective cosmological constant, or, possibly, via their effects on the inflationary universe.


title: Seamless design of information system architecture based on adaptive clustering method

abstract: The paper considers the concept of building the architecture of an information system that provides a seamless connection between architectural representations of various levels of abstraction. The concept is based on the application of the adaptive clustering method of information systems developed by the author. Seamless connection is understood as the presence of connections between elements of architectural models related to architectural representations of various levels of abstraction.


title: Blockchains vs. Distributed Databases: Dichotomy and Fusion

abstract: Blockchain has come a long way: a system that was initially proposed specifically for cryptocurrencies is now being adapted and adopted as a general-purpose transactional system. As blockchain evolves into another data management system, the natural question is how it compares against distributed database systems. Existing works on this comparison focus on high-level properties, such as security and throughput. They stop short of showing how the underlying design choices contribute to the overall differences. Our work fills this important gap and provides a principled framework for analyzing the emerging trend of blockchain-database fusion. We perform a twin study of blockchains and distributed database systems as two types of transactional systems. We propose a taxonomy that illustrates the dichotomy across four dimensions, namely replication, concurrency, storage, and sharding. Within each dimension, we discuss how the design choices are driven by two goals: security for blockchains, and performance for distributed databases. To expose the impact of different design choices on the overall performance, we conduct an in-depth performance analysis of two blockchains, namely Quorum and Hyperledger Fabric, and two distributed databases, namely TiDB, and etcd. Lastly, we propose a framework for back-of-the-envelope performance forecast of blockchain-database hybrids.


title: Adaptive IGAFEM with optimal convergence rates: T-splines

abstract: We consider an adaptive algorithm for finite element methods for the isogeometric analysis (IGAFEM) of elliptic (possibly non-symmetric) second-order partial differential equations. We employ analysis-suitable T-splines of arbitrary odd degree on T-meshes generated by the refinement strategy of [Morgenstern, Peterseim, Comput. Aided Geom. Design 34 (2015)] in 2D and [Morgenstern, SIAM J. Numer. Anal. 54 (2016)] in 3D. Adaptivity is driven by some weighted residual a posteriori error estimator. We prove linear convergence of the error estimator (which is equivalent to the sum of energy error plus data oscillations) with optimal algebraic rates with respect to the number of elements of the underlying mesh.


title: A sparse semismooth Newton based augmented Lagrangian method for large-scale support vector machines

abstract: Support vector machines (SVMs) are successful modeling and prediction tools with a variety of applications. Previous work has demonstrated the superiority of the SVMs in dealing with the high dimensional, low sample size problems. However, the numerical difficulties of the SVMs will become severe with the increase of the sample size. Although there exist many solvers for the SVMs, only few of them are designed by exploiting the special structures of the SVMs. In this paper, we propose a highly efficient sparse semismooth Newton based augmented Lagrangian method for solving a large-scale convex quadratic programming problem with a linear equality constraint and a simple box constraint, which is generated from the dual problems of the SVMs. By leveraging the primal-dual error bound result, the fast local convergence rate of the augmented Lagrangian method can be guaranteed. Furthermore, by exploiting the second-order sparsity of the problem when using the semismooth Newton method,the algorithm can efficiently solve the aforementioned difficult problems. Finally, numerical comparisons demonstrate that the proposed algorithm outperforms the current state-of-the-art solvers for the large-scale SVMs.

categories: math.OC cs.LG cs.NA math.NA stat.CO stat.ML


title: Assessing the predictive ability of the UPDRS for falls classification in early stage Parkinson's disease

abstract: Identification of risk factors associated with falls in people with Parkinson's Disease (PD) is important due to their high risk of falling. In this study, various ways of utilizing the Unified Parkinson's Disease Rating Scale (UPDRS) were assessed for the identification of risk factors and for the prediction of falls. Three statistical methods for classification were considered:decision trees, random forests, and logistic regression. UPDRS measurements on 51 participants with early stage PD, who completed monthly falls diaries for 12 months of follow-up were analyzed. All classification methods applied produced similar results in regards to classification accuracy and the selected important variables. The highest classification rates were obtained from model with individual items of the UPDRS with 80% accuracy (85% sensitivity and 77% specificity), higher than in any previous study. A comparison of the independent performance of the four parts of the UPDRS revealed the comparably high classification rates for Parts II and III of the UPDRS. Similar patterns with slightly different classification rates were observed for the 6- and 12-month of follow-up times. Consistent predictors for falls selected by all classification methods at two follow-up times are: thought disorder for UPDRS I, dressing and falling for UPDRS II, hand pronate/supinate for UPDRS III, and sleep disturbance and symptomatic orthostasis for UPDRS IV. While for the aggregate measures, subtotal 2 (sum of UPDRS II items) and bradykinesia showed high association with fall/non-fall. Fall/non-fall occurrences were more associated with individual items of the UPDRS than with the aggregate measures. UPDRS parts II and III produced comparably high classification rates for fall/non-fall prediction. Similar results were obtained for modelling data at 6-month and 12-month follow-up times.


title: Magnetic structures and quadratic magnetoelectric effect in LiNiPO$_4$ beyond 30T

abstract: Neutron diffraction with static and pulsed magnetic fields is used to directly probe the magnetic structures in LiNiPO$_4$ up to 25T and 42T, respectively. By combining these results with magnetometry and electric polarization measurements under pulsed fields, the magnetic and magnetoelectric phases are investigated up to 56T applied along the easy $c$-axis. In addition to the already known transitions at lower fields, three new ones are reported at 37.6, 39.4 and 54T. Ordering vectors are identified with ${\bf Q}_{\mathrm{VI}}$ = (0, 1/3, 0) in the interval 37.6--39.4T and ${\bf Q}_{\mathrm{VII}}$ = (0, 0, 0) in the interval 39.4-54T. A quadratic magnetoelectric effect is discovered in the ${\bf Q}_{\mathrm{VII}}$ = (0, 0, 0) phase and the field-dependence of the induced electric polarization is described using a simple mean-field model. The observed magnetic structure and magnetoelectric tensor elements point to a change in the lattice symmetry in this phase. We speculate on the possible physical mechanism responsible for the magnetoelectric effect in LiNiPO4.


title: Magnetization process of the breathing pyrochlore magnet CuInCr$_4$S$_8$ in ultra-high magnetic fields up to 150 T

abstract: The magnetization process of the breathing pyrochlore magnet CuInCr4S8 has been investigated in ultra-high magnetic fields up to 150 T. Successive phase transitions characterized with a substantially wide 1/2-plateau from 55 T to 110 T are observed in this system, resembling those reported in chromium spinel oxides. In addition to the 1/2-plateau phase, the magnetization is found to exhibit two inherent behaviors: a slight change in the slope of the M-H curve at ~ 85 T and a shoulder-like shape at ~ 130 T prior to the saturation. Both of them are accompanied by a hysteresis, suggesting first-order transitions. The theoretical calculation applicable to CuInCr4S8 is also shown, based on the microscopic model with the spin-lattice coupling. The calculation fairly well reproduces the main features of the experimentally observed magnetization process, including a relatively wide cant 2:1:1 phase clearly observed in the previous work [Y. Okamoto et al., J. Phys. Soc. Jpn. 87, 034709 (2018)]. The robust 1/2-plateau on CuInCr4S8 seems to be originated from the dominant antiferromagnetic interactions and the strong spin-lattice coupling.


title: Circulant Type Formulas for the Eigenvalues of Linear Network Maps

abstract: Given an admissible map F for a homogeneous network N, it is known that the Jacobian DF(x) around a fully synchronous point x = (x0, ..., x0) is again an admissible map for N. Motivated by this, we study the spectra of linear admissible maps for homogeneous networks. In particular, we define so-called network multipliers. These are (relatively small) matrices that depend linearly on the coefficients of the response function, and whose eigenvalues together make up the spectrum of the corresponding admissible map. More precisely, given a network N, we define a finite set of network multipliers L1 to Lk and a class of networks C containing N. This class is furthermore closed under taking quotient networks, subnetworks and disjoint unions. We then show that the eigenvalues of an admissible map for any network in C are given by those of (a subset of) the network multipliers, with fixed multiplicities m1 to mk and independently of the given (finite dimensional) phase space of a node. The coefficients of all the network multipliers of C are furthermore linearly independent, which implies that one may find the multiplicities m1 to mk by simply expressing the trace of an admissible map as a linear combination of the traces of the multipliers. In particular, we will give examples of networks where the network multipliers need not be constructed, but can be determined by looking at small networks in C. We also show that network multipliers are multiplicative with respect to composition of linear maps.


title: Orbit Computation for Atomically Generated Subgroups of Isometries of $\mathbb{Z}^n$

abstract: Isometries are ubiquitous in nature; isometries of discrete (quantized) objects---abstracted as the group of isometries of $\mathbb{Z}^n$ denoted by $\mathsf{ISO}(\mathbb{Z}^n)$---are important concepts in the computational world. In this paper, we compute various isometric invariances which mathematically are orbit-computation problems under various isometry-subgroup actions $H \curvearrowright \mathbb{Z}^n, H \leq \mathsf{ISO}(\mathbb{Z}^n)$. One computational challenge here is about the \emph{infinite}: in general, we can have an infinite subgroup acting on $\mathbb{Z}^n$, resulting in possibly an infinite number of orbits of possibly infinite size. In practice, we restrict the set of orbits (a partition of $\mathbb{Z}^n$) to a finite subset $Z \subseteq \mathbb{Z}^n$ (a partition of $Z$), where $Z$ is specified a priori by an application domain or a data set. Our main contribution is an efficient algorithm to solve this \emph{restricted} orbit-computation problem in the special case of \emph{atomically generated subgroups}---a new notion partially motivated from interpretable AI. The atomic property is key to preserving the \emph{semidirect-product structure}---the core structure we leverage to make our algorithm outperform generic approaches. Besides algorithmic merit, our approach enables \emph{parallel-computing} implementations in many subroutines, which can further benefit from hardware boosts. Moreover, our algorithm works efficiently for \emph{any} finite subset ($Z$) regardless of the shape (continuous/discrete, (non)convex) or location; so it is application-independent.


title: Informational Content of Factor Structures in Simultaneous Binary Response Models

abstract: We study the informational content of factor structures in discrete triangular systems. Factor structures have been employed in a variety of settings in cross sectional and panel data models, and in this paper we formally quantify their identifying power in a bivariate system often employed in the treatment effects literature. Our main findings are that imposing a factor structure yields point identification of parameters of interest, such as the coefficient associated with the endogenous regressor in the outcome equation, under weaker assumptions than usually required in these models. In particular, we show that a "non-standard" exclusion restriction that requires an explanatory variable in the outcome equation to be excluded from the treatment equation is no longer necessary for identification, even in cases where all of the regressors from the outcome equation are discrete. We also establish identification of the coefficient of the endogenous regressor in models with more general factor structures, in situations where one has access to at least two continuous measurements of the common factor.


title: An empirical study of pretrained representations for few-shot classification

abstract: Recent algorithms with state-of-the-art few-shot classification results start their procedure by computing data features output by a large pretrained model. In this paper we systematically investigate which models provide the best representations for a few-shot image classification task when pretrained on the Imagenet dataset. We test their representations when used as the starting point for different few-shot classification algorithms. We observe that models trained on a supervised classification task have higher performance than models trained in an unsupervised manner even when transferred to out-of-distribution datasets. Models trained with adversarial robustness transfer better, while having slightly lower accuracy than supervised models.


title: Kibble-Zurek mechanism in quantum link model

abstract: We study the driven critical dynamics of the quantum link model, whose Hamiltonian describes the one-dimensional $U(1)$ lattice gauge theory. We find that combined topological defects emerge after the quench and they consist of both gauge field and matter field excitations. Furthermore, the ratio of gauge field and matter field excitation is $1/2$ due to the constraint of the Gauss' law. We show that the scaling of these combined topological defects satisfies the usual Kibble-Zurek mechanism. We verify that both the electric flux and the entanglement entropy satisfy the finite-time scaling theory in the whole driven process. Possible experimental realizations are discussed.


title: An Empirical Study of C++ Vulnerabilities in Crowd-Sourced Code Examples

abstract: Software developers share programming solutions in Q&A sites like Stack Overflow. The reuse of crowd-sourced code snippets can facilitate rapid prototyping. However, recent research shows that the shared code snippets may be of low quality and can even contain vulnerabilities. This paper aims to understand the nature and the prevalence of security vulnerabilities in crowd-sourced code examples. To achieve this goal, we investigate security vulnerabilities in the C++ code snippets shared on Stack Overflow over a period of 10 years. In collaborative sessions involving multiple human coders, we manually assessed each code snippet for security vulnerabilities following CWE (Common Weakness Enumeration) guidelines. From the 72,483 reviewed code snippets used in at least one project hosted on GitHub, we found a total of 69 vulnerable code snippets categorized into 29 types. Many of the investigated code snippets are still not corrected on Stack Overflow. The 69 vulnerable code snippets found in Stack Overflow were reused in a total of 2859 GitHub projects. To help improve the quality of code snippets shared on Stack Overflow, we developed a browser extension that allow Stack Overflow users to check for vulnerabilities in code snippets when they upload them on the platform.


title: Connected Hypergraphs without long Berge paths

abstract: We generalize a result of Balister, Gy{\H{o}}ri, Lehel and Schelp for hypergraphs. We determine the unique extremal structure of an $n$-vertex, $r$-uniform, connected, hypergraph with the maximum number of hyperedges, without a $k$-Berge-path, where $n \geq N_{k,r}$, $k\geq 2r+13>17$.


title: Surface-polaritonic phase singularities and multimode polaritonic frequency combs via dark rogue-wave excitation in hybrid plasmonic waveguide

abstract: Material characteristics and input-field specifics limit the controllability of nonlinear electromagnetic-field interactions. As these nonlinear interactions could be exploited to create strongly localized bright and dark waves, such as nonlinear surface polaritons, ameliorating this limitation is important. We present our approach to amelioration, which is based on a surface-polaritonic waveguide reconfiguration that enables excitation, propagation and coherent control of coupled dark rogue waves having orthogonal polarizations. Our control mechanism is achieved by finely tuning laser-field intensities and their respective detuning at the interface between the atomic medium and the metamaterial layer. In particular, we utilize controllable electromagnetically induced transparency (EIT) windows commensurate with surface-polaritonic polarization-modulation instability to create symmetric and asymmetric polaritonic frequency combs associated with dark localized waves. Our method takes advantage of an atomic self-defocusing nonlinearity and dark rogue-wave propagation to obtain a sufficient condition for generating phase singularities. Underpinning this method is our theory which incorporates dissipation and dispersion due to the atomic medium being coupled to nonlinear surface-polaritonic waves~(SPWs). Consequently, our waveguide configuration acts as a bimodal polaritonic frequency-comb generator and a high-speed phase rotator, thereby opening prospects for phase singularities in nanophotonic and quantum communication devices.


title: Gas filaments of the cosmic web located around active galaxies in a proto-cluster

abstract: Cosmological simulations predict the Universe contains a network of intergalactic gas filaments, within which galaxies form and evolve. However, the faintness of any emission from these filaments has limited tests of this prediction. We report the detection of rest-frame ultraviolet Lyman-alpha radiation from multiple filaments extending more than one megaparsec between galaxies within the SSA 22 proto-cluster at a redshift of 3.1. Intense star formation and supermassive black-hole activity is occurring within the galaxies embedded in these structures, which are the likely sources of the elevated ionizing radiation powering the observed Lyman-alpha emission. Our observations map the gas in filamentary structures of the type thought to fuel the growth of galaxies and black holes in massive proto-clusters.


title: Modeling of Electrical Resistivity of Soil Based on Geotechnical Properties

abstract: Determining the relationship between the electrical resistivity of soil and its geotechnical properties is an important engineering problem. This study aims to develop methodology for finding the best model that can be used to predict the electrical resistivity of soil, based on knowing its geotechnical properties. The research develops several linear models, three non-linear models, and three artificial neural network models (ANN). These models are applied to the experimental data set comprises 864 observations and five variables. The results show that there are significant exponential negative relationships between the electrical resistivity of soil and its geotechnical properties. The most accurate prediction values are obtained using the ANN model. The cross-validation analysis confirms the high precision of the selected predictive model. This research is the first rigorous systematic analysis and comparison of difference methodologies in ground electrical resistivity studies. It provides practical guidelines and examples of design, development and testing non-linear relationships in engineering intelligent systems and applications.


title: Bernstein inequalities via the heat semigroup

abstract: We extend the classical Bernstein inequality to a general setting including Schr{\"o}dinger operators and divergence form elliptic operators on Riemannian manifolds or domains. Moreover , we prove a new reverse inequality that can be seen as the dual of the Bernstein inequality. The heat kernel will be the backbone of our approach but we also develop new techniques such as semi-classical Bernstein inequalities, weak factorization of smooth functions {\`a} la Dixmier-Malliavin and BM O -- L $\infty$ multiplier results (in contrast to the usual L $\infty$ -- BM O ones). Also, our approach reveals a link between the L p-Bernstein inequality and the boundedness on L p of the Riesz transform. The later being an important subject in harmonic analysis. 2010 Mathematics Subject Classifications: 35P20, 58J50, 42B37 and 47F05.


title: Privately detecting changes in unknown distributions

abstract: The change-point detection problem seeks to identify distributional changes in streams of data. Increasingly, tools for change-point detection are applied in settings where data may be highly sensitive and formal privacy guarantees are required, such as identifying disease outbreaks based on hospital records, or IoT devices detecting activity within a home. Differential privacy has emerged as a powerful technique for enabling data analysis while preventing information leakage about individuals. Much of the prior work on change-point detection---including the only private algorithms for this problem---requires complete knowledge of the pre-change and post-change distributions. However, this assumption is not realistic for many practical applications of interest. This work develops differentially private algorithms for solving the change-point problem when the data distributions are unknown. Additionally, the data may be sampled from distributions that change smoothly over time, rather than fixed pre-change and post-change distributions. We apply our algorithms to detect changes in the linear trends of such data streams. Finally, we also provide experimental results to empirically validate the performance of our algorithms.


title: Homogenization of an elastodynamics system with a strong magnetic field and soft inclusions inducing a viscoelastic effective behavior

abstract: In this paper we study the homogenization of a linear elastodynamics system in an elastic body with soft inclusions, which is embedded in a highly oscillating magnetic field. We show two limit behaviors according to the magnetic field. On the one hand, if the magnetic field has two different directions on the interface between the hard phase and the soft phase, then the limit of the displacement in the hard phase is independent of time, so that the magnetic field induces an effective infinite mass. On the other hand, if the magnetic field has a constant direction $\xi$ on the interface, then the limit of the displacement in the hard phase and in the direction $\xi$ is solution to an elastodynamics equation with a memory mass, a memory stress tensor and memory external forces depending on the initial conditions, which read as time convolutions with some kernel. When the magnetic has the same direction $\xi$ in the soft phase with smooth inclusions, we prove that the space-average of the kernel is regular and that the limit of the overall displacement in the direction $\xi$ is solution to a viscoelasticity equation.


title: Perturbations are not Enough: Generating Adversarial Examples with Spatial Distortions

abstract: Deep neural network image classifiers are reported to be susceptible to adversarial evasion attacks, which use carefully crafted images created to mislead a classifier. Recently, various kinds of adversarial attack methods have been proposed, most of which focus on adding small perturbations to input images. Despite the success of existing approaches, the way to generate realistic adversarial images with small perturbations remains a challenging problem. In this paper, we aim to address this problem by proposing a novel adversarial method, which generates adversarial examples by imposing not only perturbations but also spatial distortions on input images, including scaling, rotation, shear, and translation. As humans are less susceptible to small spatial distortions, the proposed approach can produce visually more realistic attacks with smaller perturbations, able to deceive classifiers without affecting human predictions. We learn our method by amortized techniques with neural networks and generate adversarial examples efficiently by a forward pass of the networks. Extensive experiments on attacking different types of non-robustified classifiers and robust classifiers with defence show that our method has state-of-the-art performance in comparison with advanced attack parallels.


title: Homogeneity and heterogeneity of cryptocurrencies

abstract: Thousands of cryptocurrencies have been issued and publicly exchanged since Bitcoin was invented in 2008. The total cryptocurrency market value exceeds 300 billion US dollars as of 2019. This paper analyzes the prices, volumes, blockchain transactions, coin difficulties and public opinion popularities of 3607 actively exchanged cryptocurrencies. We aim to reveal and explain the homogeneity, i.e., the strong correlation of market performance, and the heterogeneity, i.e., the imbalance of popularities and sophistications, of the cryptocurrencies.


title: Optimal Joint Subcarrier and Power Allocation in NOMA is Strongly NP-Hard

abstract: Non-orthogonal multiple access (NOMA) is a promising radio access technology for 5G. It allows several users to transmit on the same frequency and time resource by performing power-domain multiplexing. At the receiver side, successive interference cancellation (SIC) is applied to mitigate interference among the multiplexed signals. In this way, NOMA can outperform orthogonal multiple access schemes used in conventional cellular networks in terms of spectral efficiency and allows more simultaneous users. This paper investigates the computational complexity of joint subcarrier and power allocation problems in multi-carrier NOMA systems. We prove that these problems are strongly NP-hard for a large class of objective functions, namely the weighted generalized means of the individual data rates. This class covers the popular weighted sum-rate, proportional fairness, harmonic mean and max-min fairness utilities. Our results show that the optimal power and subcarrier allocation cannot be computed in polynomial time in the general case, unless P = NP. Nevertheless, we present some tractable special cases and we show that they can be solved efficiently.


title: Vorticity and Particle Polarization in Relativistic Heavy-Ion Collisions

abstract: We review studies of vortical motion and the resulting global polarization of $\Lambda$ and $\bar{\Lambda}$ hyperons in heavy-ion collisions, in particular, within 3FD model. 3FD predictions for the global midrapidity polarization in the FAIR-NICA energy range are presented. The 3FD simulations indicate that energy dependence of the observed global polarization of hyperons in the midrapidity region is a consequence of the decrease of the vorticity in the central region with the collision energy rise because of pushing out the vorticity field into the fragmentation regions. At high collision energies this pushing-out results in a peculiar vortical structure consisting of two vortex rings: one ring in the target fragmentation region and another one in the projectile fragmentation region with matter rotation being opposite in these two rings.


title: A note on polynomial maps having fibers of maximal dimension

abstract: For any two integers $k,n$, $2\leq k\leq n$, let $f:(\mathbb{C}^*)^n\rightarrow\mathbb{C}^k$ be a generic polynomial map with given Newton polytopes. It is known that points, whose fiber under $f$ has codimension one, form a finite set $C_1(f)$ in $\mathbb{C}^k$. For maps $f$ above, we show that $C_1(f)$ is empty if $k\geq 3$, we classify all Newton polytopes contributing to $C_1(f)\neq \emptyset$ for $k=2$, and we compute $|C_1(f)|$.


title: From Darwin to Poincar\'e and von Neumann: Recurrence and Cycles in Evolutionary and Algorithmic Game Theory

abstract: Replicator dynamics, the continuous-time analogue of Multiplicative Weights Updates, is the main dynamic in evolutionary game theory. In simple evolutionary zero-sum games, such as Rock-Paper-Scissors, replicator dynamic is periodic \cite{zeeman1980population}, however, its behavior in higher dimensions is not well understood. We provide a complete characterization of its behavior in zero-sum evolutionary games. We prove that, if and only if, the system has an interior Nash equilibrium, the dynamics exhibit Poincar\'{e} recurrence, i.e., almost all orbits come arbitrary close to their initial conditions infinitely often. If no interior equilibria exist, then all interior initial conditions converge to the boundary. Specifically, the strategies that are not in the support of any equilibrium vanish in the limit of all orbits. All recurrence results furthermore extend to a class of games that generalize both graphical polymatrix games as well as evolutionary games, establishing a unifying link between evolutionary and algorithmic game theory. We show that two degrees of freedom, as in Rock-Paper-Scissors, is sufficient to prove periodicity.


title: Topic-aware Pointer-Generator Networks for Summarizing Spoken Conversations

abstract: Due to the lack of publicly available resources, conversation summarization has received far less attention than text summarization. As the purpose of conversations is to exchange information between at least two interlocutors, key information about a certain topic is often scattered and spanned across multiple utterances and turns from different speakers. This phenomenon is more pronounced during spoken conversations, where speech characteristics such as backchanneling and false-starts might interrupt the topical flow. Moreover, topic diffusion and (intra-utterance) topic drift are also more common in human-to-human conversations. Such linguistic characteristics of dialogue topics make sentence-level extractive summarization approaches used in spoken documents ill-suited for summarizing conversations. Pointer-generator networks have effectively demonstrated its strength at integrating extractive and abstractive capabilities through neural modeling in text summarization. To the best of our knowledge, to date no one has adopted it for summarizing conversations. In this work, we propose a topic-aware architecture to exploit the inherent hierarchical structure in conversations to further adapt the pointer-generator model. Our approach significantly outperforms competitive baselines, achieves more efficient learning outcomes, and attains more robust performance.


title: Single- and two-nucleon antikaon absorption in nuclear matter with chiral meson-baryon interactions

abstract: We developed a microscopic model for antikaon absorption on two nucleons in nuclear matter. The absorption is described within a meson-exchange picture and the primary $K^-N$ interaction strength is derived from state-of-the-art chiral coupled channel meson-baryon interaction models. We took into account the medium modification of the $K^-N$ scattering amplitudes due to the Pauli correlations. We derived the $K^-NN$ as well as $K^-N$ optical potentials as functions of nuclear matter density including the real part of the $K^-NN$ potential. We calculated the $K^-$ single- and two-nucleon absorption fractions and branching ratios for various mesonic and non-mesonic channels. We confirmed the crucial role of in-medium effects in our calculations. Our results are in very good agreement with available experimental data from old bubble chamber experiments as well as with the latest results from the AMADEUS collaboration.


title: Vanadium trimers randomly aligned along the c-axis direction in layered LiVO2

abstract: Herein, we discuss the identification of vanadium trimers in layered LiVO2 and its sulfide analog of LiVS2 with two-dimensional triangular lattices. Our comprehensive structural studies using synchrotron X-ray diffraction experiments clarified that vanadium trimers are randomly aligned along the c-axis direction in LiVO2, while the long-range ordering of vanadium trimers along the c-axis direction appears in LiVS2. Our results solve the longstanding issue of cluster patterns in LiVO2 and provide an experimental basis for identifying the mechanism of trimer formation.


title: PIETOOLS: A Matlab Toolbox for Manipulation and Optimization of Partial Integral Operators

abstract: In this paper, we present PIETOOLS, a MATLAB toolbox for the construction and handling of Partial Integral (PI) operators. The toolbox introduces a new class of MATLAB object, opvar, for which standard MATLAB matrix operation syntax (e.g. +, *, ' e tc.) is defined. PI operators are a generalization of bounded linear operators on infinite-dimensional spaces that form a *-subalgebra with two binary operations (addition and composition) on the space RxL2. These operators frequently appear in analysis and control of infinite-dimensional systems such as Partial Differential equations (PDE) and Time-delay systems (TDS). Furthermore, PIETOOLS can: declare opvar decision variables, add operator positivity constraints, declare an objective function, and solve the resulting optimization problem using a syntax similar to the sdpvar class in YALMIP. Use of the resulting Linear Operator Inequalities (LOIs) are demonstrated on several examples, including stability analysis of a PDE, bounding operator norms, and verifying integral inequalities. The result is that PIETOOLS, packaged with SOSTOOLS and MULTIPOLY, offers a scalable, user-friendly and computationally efficient toolbox for parsing, performing algebraic operations, setting up and solving convex optimization problems on PI operators.


title: A motivic homotopy theory without $\mathbb{A}^1$ invariance

abstract: In this paper, we continue the program initiated by Kahn-Saito-Yamazaki by constructing and studying an unstable motivic homotopy category with modulus, extending the Morel-Voevodsky construction from smooth schemes over a field $k$ to certain diagrams of schemes. We present this category as a candidate environment for studying representability problems for non $\mathbb{A}^1$-invariant generalized cohomology theories.


title: TexTrolls: Identifying Russian Trolls on Twitter from a Textual Perspective

abstract: The online new emerging suspicious users, that usually are called trolls, are one of the main sources of hate, fake, and deceptive online messages. Some agendas are utilizing these harmful users to spread incitement tweets, and as a consequence, the audience get deceived. The challenge in detecting such accounts is that they conceal their identities which make them disguised in social media, adding more difficulty to identify them using just their social network information. Therefore, in this paper, we propose a text-based approach to detect the online trolls such as those that were discovered during the US 2016 presidential elections. Our approach is mainly based on textual features which utilize thematic information, and profiling features to identify the accounts from their way of writing tweets. We deduced the thematic information in a unsupervised way and we show that coupling them with the textual features enhanced the performance of the proposed model. In addition, we find that the proposed profiling features perform the best comparing to the textual features.


title: Observation of spin-spin fermion-mediated interactions between ultracold bosons

abstract: Interactions in an ultracold boson-fermion mixture are often manifested by elastic collisions. In a mixture of a condensed Bose gas (BEC) and spin polarized degenerate Fermi gas (DFG), fermions can mediate spin-spin interactions between bosons, leading to an effective long-range magnetic interaction analogous to Ruderman-Kittel-Kasuya-Yosida (RKKY) interaction in solids. We used Ramsey spectroscopy of the hyperfine clock transition in a $^{87}$Rb BEC to measure the interaction mediated by a $^{40}$K DFG. By controlling the bosons density we isolated the effect of mediated interactions from mean-field frequency shifts due to direct collision with fermions. We measured an increase of boson spin-spin interaction by a factor of $\eta=1.45\pm 0.05^{stat} \pm 0.13^{sys}$ in the presence of the DFG, providing a clear evidence of spin-spin fermion mediated interaction. Decoherence in our system was dominated by inhomogeneous boson density shift, which increased significantly in the presence of the DFG, again indicating mediated interactions. We also measured a frequency shift due to boson-fermion interactions in accordance with a scattering length difference of $a_{bf_2}-a_{bf_1}=-5.36 \pm 0.44^{stat} \pm 1.43^{sys}~a_0$ between the clock-transition states, a first measurement beyond the low-energy elastic approximation in this mixture. This interaction can be tuned with a future use of a boson-fermion Feshbach resonance. Fermion-mediated interactions can potentially give rise to interesting new magnetic phases and extend the Bose-Hubbard model when the atoms are placed in an optical lattice.


title: Functional inequalities for two-level concentration

abstract: Probability measures satisfying a Poincar{\'e} inequality are known to enjoy a dimension free concentration inequality with exponential rate. A celebrated result of Bobkov and Ledoux shows that a Poincar{\'e} inequality automatically implies a modified logarithmic Sobolev inequality. As a consequence the Poincar{\'e} inequality ensures a stronger dimension free concentration property , known as two-level concentration. We show that a similar phenomenon occurs for the Latala-Oleszkiewicz inequalities, which were devised to uncover dimension free concentration with rate between exponential and Gaussian. Motivated by the search for counterexamples to related questions, we also develop analytic techniques to study functional inequalities for probability measures on the line with wild potentials.


title: Limit theorem for reflected random walks

abstract: Let $\xi$ n , n $\in$ N be a sequence of i.i.d. random variables with values in Z. The associated random walk on Z is S(n) = $\xi$ 1 + $\times$ $\times$ $\times$ + $\xi$ n+1 and the corresponding "reflected walk" on N 0 is the Markov chain X(n), n $\in$ N, given by X(0) = x $\in$ N 0 and X(n + 1) = |X(n) + $\xi$ n+1 | for n $\ge$ 0. It is well know that the reflected walk (X(n)) n$\ge$0 is null-recurrent when the $\xi$ n are square integrable and centered. In this paper, we prove that the process (X(n)) n$\ge$0 , properly rescaled, converges in distribution towards the reflected Brownian motion on R + , when E[$\xi$ 2 n ] < +$\infty$, E[(max(0, --$\xi$ n) 3 ] < +$\infty$ and the $\xi$ n are aperiodic and centered.


title: Digital resolution enhancement in low transverse sampling optical coherence tomography angiography using deep learning

abstract: Optical coherence tomography angiography (OCTA) requires high transverse sampling density for visualizing retinal and choroidal capillaries. Low transverse sampling causes resolution degradation, such as the angiograms in wide-field OCTA. In this paper, we propose to address this problem using deep learning. We conducted extensive experiments on converting the centrally cropped 3 x 3 mm2 field of view (FOV) of the 8 x 8 mm2 foveal OCTA images (a sampling density of 22.9 $\mu$m) to the native 3 x 3 mm2 en face OCTA images (a sampling density of 12.2 $\mu$m). We employed a cycle-consistent adversarial network architecture in this conversion. The quantitative analysis using the perceptual similarity measures shows the generated OCTA images are closer to the native 3 x 3 mm2 scans. Besides, the results show the proposed method could also enhance signal-to-noise ratio. We further applied our method to enhance diseased cases and calculate vascular biomarkers, which demonstrates its generalization performance and clinical perspective.


title: Observation of non-Abelian nodal links in photonics

abstract: In crystals, two bands may cross each other and form degeneracies along a closed loop in the three-dimensional momentum space, which is called nodal line. Nodal line degeneracy can be designed to exhibit various configurations such as nodal rings, chains, links and knots. Very recently, non-Abelian band topology was proposed in nodal link systems, where the nodal lines formed by consecutive pairs of bands exhibit interesting braiding structures and the underlying topological charges are described by quaternions. Here, we experimentally demonstrate non-Abelian nodal links in a biaxial hyperbolic metamaterial. The linked nodal lines threading through each other are formed by the crossings between three adjacent bands. Based on the non-Abelian charges, we further analyze various admissible nodal link configurations for the three-band system. On the interface between the metamaterial and air, surface bound states in the continuum (BICs) are observed, which serves as the symmetry-enforced derivative of drumhead surface states from the linked nodal lines. Our work serves as a direct observation of the global topological structures of nodal links, and provides a platform for studying non-Abelian topological charge in the momentum space.


title: Fock quantization of the Dirac field in hybrid quantum cosmology: Relation with adiabatic states

abstract: We study the relation between the Fock representations for a Dirac field given by the adiabatic scheme and the unique family of vacua with a unitarily implementable quantum evolution that is employed in hybrid quantum cosmology. This is done in the context of a perturbed flat cosmology that, in addition, is minimally coupled to fermionic perturbations. In our description, we use a canonical formulation for the entire system, formed by the underlying cosmological spacetime and all its perturbations. After introducing an adiabatic scheme that was originally developed in the context of quantum field theory in fixed cosmological backgrounds, we find that all adiabatic states belong to the unitary equivalence class of Fock representations that allow a unitarily implementable quantum evolution. In particular, this unitarity of the dynamics ensures that the vacua defined with adiabatic initial conditions at different times are unitarily equivalent. We also find that, for all adiabatic orders other than zero, these initial conditions allow the definition of annihilation and creation operators for the Dirac field that lead to some finite backreaction in the quantum Hamiltonian constraint and to a fermionic Hamiltonian operator that is properly defined in the span of the \textit{n}-particle/antiparticle states, in the context of hybrid quantum cosmology.


title: Pay Attention: Leveraging Sequence Models to Predict the Useful Life of Batteries

abstract: We use data on 124 batteries released by Stanford University to first try to solve the binary classification problem of determining if a battery is "good" or "bad" given only the first 5 cycles of data (i.e., will it last longer than a certain threshold of cycles), as well as the prediction problem of determining the exact number of cycles a battery will last given the first 100 cycles of data. We approach the problem from a purely data-driven standpoint, hoping to use deep learning to learn the patterns in the sequences of data that the Stanford team engineered by hand. For both problems, we used a similar deep network design, that included an optional 1-D convolution, LSTMs, an optional Attention layer, followed by fully connected layers to produce our output. For the classification task, we were able to achieve very competitive results, with validation accuracies above 90%, and a test accuracy of 95%, compared to the 97.5% test accuracy of the current leading model. For the prediction task, we were also able to achieve competitive results, with a test MAPE error of 12.5% as compared with a 9.1% MAPE error achieved by the current leading model (Severson et al. 2019).


title: On the Efficacy of Knowledge Distillation

abstract: In this paper, we present a thorough evaluation of the efficacy of knowledge distillation and its dependence on student and teacher architectures. Starting with the observation that more accurate teachers often don't make good teachers, we attempt to tease apart the factors that affect knowledge distillation performance. We find crucially that larger models do not often make better teachers. We show that this is a consequence of mismatched capacity, and that small students are unable to mimic large teachers. We find typical ways of circumventing this (such as performing a sequence of knowledge distillation steps) to be ineffective. Finally, we show that this effect can be mitigated by stopping the teacher's training early. Our results generalize across datasets and models.


title: Enhancing automated reaction discovery with boxed molecular dynamics in energy space

abstract: The rare event acceleration method BXDE is interfaced in the present work with the automated reaction discovery method AutoMeKin. To test the efficiency of the combined AutoMeKin-BXDE procedure, the ozonolysis of a-pinene is studied in comparison with standard AutoMeKin. AutoMeKin-BXDE locates intermediates and transition states that are more densely connected with each other and approximately 50 kcal/mol more stable than those found with standard AutoMeKin. Other than the different density of edges between the nodes, both networks are scale-free and display small-world properties, mimicking the network of organic chemistry. Finally, while AutoMeKin-BXDE finds more transition states than those previously reported for O3 + a-pinene, the standard procedure fails to locate some of the previously published reaction pathways using the same simulation time of 2.5 ns. In summary, the mixed procedure is very promising and clearly outperforms the standard simulation algorithms implemented in AutoMeKin. BXDE will be available in the next release of AutoMekin.


title: Low Complexity LMMSE Receiver for OTFS

abstract: Orthogonal time frequency space modulation is a two dimensional (2D) delay-Doppler domain waveform. It uses inverse symplectic Fourier transform (ISFFT) to spread the signal in time-frequency domain. To extract diversity gain from 2D spreaded signal, advanced receivers are required. In this work, we investigate a low complexity linear minimum mean square error receiver which exploits sparsity and quasi-banded structure of matrices involved in the demodulation process which results in a log-linear order of complexity without any performance degradation of BER.


title: On the uniqueness of a shear-vorticity-acceleration-free velocity field in space-times

abstract: We prove that in space-times a velocity field that is shear, vorticity and acceleration-free, if any, is unique up to reflection, with these exceptions: generalized Robertson-Walker space-times whose space sub-manifold is warped, and twisted space-times (the scale function is space-time dependent) whose space sub-manifold is doubly twisted. In space-time dimension n = 4, the Ricci and the Weyl tensors are specified, and the Einstein equations yield a mixture of two perfect fluids.


title: Achromatic polarization rotator with tunable rotation angle

abstract: We theoretically suggest and experimentally demonstrate a broadband composite optical rotator that is capable of rotating the polarization plane of a linearly-polarized light at any chosen angle. The device is composed of an even number of half-wave plates rotated at specific angles with respect to their fast-polarization axes. The frequency bandwidth of the polarization rotator in principal increases with the number of half-wave plates. Here we experimentally examine the performance of rotators composed of two, four, six, eight and ten half-wave plates.


title: Joint chance-constrained programs and the intersection of mixing sets through a submodularity lens

abstract: A particularly important substructure in modeling joint linear chance-constrained programs with random right-hand sides and finite sample space is the intersection of mixing sets with common binary variables (and possibly a knapsack constraint). In this paper, we first revisit basic mixing sets by establishing a strong and previously unrecognized connection to submodularity. In particular, we show that mixing inequalities with binary variables are nothing but the polymatroid inequalities associated with a specific submodular function. This submodularity viewpoint enables us to unify and extend existing results on valid inequalities and convex hulls of the intersection of multiple mixing sets with common binary variables. Then, we study such intersections under an additional linking constraint lower bounding a linear function of the continuous variables. This is motivated from the desire to exploit the information encoded in the knapsack constraint arising in joint linear CCPs via the quantile cuts. We propose a new class of valid inequalities and characterize when this new class along with the mixing inequalities are sufficient to describe the convex hull.


title: Running Alchemist on Cray XC and CS Series Supercomputers: Dask and PySpark Interfaces, Deployment Options, and Data Transfer Times

abstract: Alchemist is a system that allows Apache Spark to achieve better performance by interfacing with HPC libraries for large-scale distributed computations. In this paper, we highlight some recent developments in Alchemist that are of interest to Cray users and the scientific community in general. We discuss our experience porting Alchemist to container images and deploying it on Cray XC (using Shifter) and CS (using Singularity) series supercomputers and on a local Kubernetes cluster. Newly developed interfaces for Python, Dask, and PySpark enable the use of Alchemist with additional data analysis frameworks. We also briefly discuss the combination of Alchemist with RLlib, an increasingly popular library for reinforcement learning, and consider the benefits of leveraging HPC simulations in reinforcement learning. Finally, since data transfer between the client applications and Alchemist are the main overhead Alchemist encounters, we give a qualitative assessment of these transfer times with respect to different~factors.


title: SAFA: a Semi-Asynchronous Protocol for Fast Federated Learning with Low Overhead

abstract: Federated learning (FL) has attracted increasing attention as a promising approach to driving a vast number of end devices with artificial intelligence. However, it is very challenging to guarantee the efficiency of FL considering the unreliable nature of end devices while the cost of device-server communication cannot be neglected. In this paper, we propose SAFA, a semi-asynchronous FL protocol, to address the problems in federated learning such as low round efficiency and poor convergence rate in extreme conditions (e.g., clients dropping offline frequently). We introduce novel designs in the steps of model distribution, client selection and global aggregation to mitigate the impacts of stragglers, crashes and model staleness in order to boost efficiency and improve the quality of the global model. We have conducted extensive experiments with typical machine learning tasks. The results demonstrate that the proposed protocol is effective in terms of shortening federated round duration, reducing local resource wastage, and improving the accuracy of the global model at an acceptable communication cost.


title: New results on large induced forests in graphs

abstract: For a graph $G$, let $a(G)$ denote the maximum size of a subset of vertices that induces a forest. We prove the following. 1. Let $G$ be a graph of order $n$, maximum degree $\Delta>0$ and maximum clique size $\omega$. Then \[ a(G) \geq \frac{6n}{2\Delta + \omega +2}. \] This bound is sharp for cliques. 2. Let $G=(V,E)$ be a triangle-free graph and let $d(v)$ denote the degree of $v \in V$. Then \[ a(G) \geq \sum_{v \in V} \min\left(1, \frac{3}{d(v)+2} \right). \] As a corollary we have that a triangle-free graph $G$ of order $n$, with $m$ edges and average degree $d \geq 2$ satisfies \[ a(G) \geq \frac{3n}{d+2}. \] This improves the lower bound $n - \frac{m}{4}$ of Alon-Mubayi-Thomas for graphs of average degree greater than $4$. Furthermore it improves the lower bound $\frac{20n - 5m - 5}{19}$ of Shi-Xu for (connected) graphs of average degree at least $\frac{9}{2}$.


title: Recognizing the Tractability in Big Data Computing

abstract: Due to the limitation on computational power of existing computers, the polynomial time does not works for identifying the tractable problems in big data computing. This paper adopts the sublinear time as the new tractable standard to recognize the tractability in big data computing, and the random-access Turing machine is used as the computational model to characterize the problems that are tractable on big data. First, two pure-tractable classes are first proposed. One is the class $\mathrm{PL}$ consisting of the problems that can be solved in polylogarithmic time by a RATM. The another one is the class $\mathrm{ST}$ including all the problems that can be solved in sublinear time by a RATM. The structure of the two pure-tractable classes is deeply investigated and they are proved $\mathrm{PL^i} \subsetneq \mathrm{PL^{i+1}}$ and $\mathrm{PL} \subsetneq \mathrm{ST}$. Then, two pseudo-tractable classes, $\mathrm{PTR}$ and $\mathrm{PTE}$, are proposed. $\mathrm{PTR}$ consists of all the problems that can solved by a RATM in sublinear time after a PTIME preprocessing by reducing the size of input dataset. $\mathrm{PTE}$ includes all the problems that can solved by a RATM in sublinear time after a PTIME preprocessing by extending the size of input dataset. The relations among the two pseudo-tractable classes and other complexity classes are investigated and they are proved that $\mathrm{PT} \subseteq \mathrm{P}$, $\sqcap'\mathrm{T^0_Q} \subsetneq \mathrm{PTR^0_Q}$ and $\mathrm{PT_P} = \mathrm{P}$.


title: The SAMI Galaxy Survey: rules of behaviour for spin-ellipticity radial tracks in galaxies

abstract: We study the behaviour of the spin-ellipticity radial tracks for 507 galaxies from the Sydney AAO Multi-object Integral Field (SAMI) Galaxy Survey with stellar kinematics out to $\geq1.5R_\text{e}$. We advocate for a morpho-dynamical classification of galaxies, relying on spatially-resolved photometric and kinematic data. We find the use of spin-ellipticity radial tracks is valuable in identifying substructures within a galaxy, including embedded and counter-rotating discs, that are easily missed in unilateral studies of the photometry alone. Conversely, bars are rarely apparent in the stellar kinematics but are readily identified on images. Consequently, we distinguish the spin-ellipticity radial tracks of seven morpho-dynamical types: elliptical, lenticular, early spiral, late spiral, barred spiral, embedded disc, and 2-sigma galaxies. The importance of probing beyond the inner radii of galaxies is highlighted by the characteristics of galactic features in the spin-ellipticity radial tracks present at larger radii. The density of information presented through spin-ellipticity radial tracks emphasises a clear advantage to representing galaxies as a track, rather than a single point, in spin-ellipticity parameter space.


title: A remark on the contactomorphism group of overtwisted contact spheres

abstract: We show the existence of elements of infinite order in some homotopy groups of the contactomorphism group of overtwisted spheres. It follows in particular that the contactomorphism group of some high dimensional overtwisted spheres is not homotopically equivalent to a finite dimensional Lie group.


title: Optimal Small Scale Equidistribution of Lattice Points on the Sphere, Heegner Points, and Closed Geodesics

abstract: We asymptotically estimate the variance of the number of lattice points in a thin, randomly rotated annulus lying on the surface of the sphere. This partially resolves a conjecture of Bourgain, Rudnick, and Sarnak. We also obtain estimates that are valid for all balls and annuli that are not too small. Our results have several consequences: for a conjecture of Linnik on sums of two squares and a "microsquare", a conjecture of Bourgain and Rudnick on the number of lattice points lying in small balls on the surface of the sphere, the covering radius of the sphere, and the distribution of lattice points in almost all thin regions lying on the surface of the sphere. Finally, we show that for a density $1$ subsequence of squarefree integers, the variance exhibits a different asymptotic behaviour for balls of volume $(\log n)^{-\delta}$ with $0 < \delta < \tfrac {1}{16}$. We also obtain analogous results for Heegner points and closed geodesics. Interestingly, we are able to prove some slightly stronger results for closed geodesics than for Heegner points or lattice points on the surface of the sphere. A crucial observation that underpins our proof is the different behaviour of weights functions for annuli and for balls.


title: Distinct degrees in induced subgraphs

abstract: An important theme of recent research in Ramsey theory has been establishing pseudorandomness properties of Ramsey graphs. An $N$-vertex graph is called $C$-Ramsey if it has no homogeneous set of size $C\log N$. A theorem of Bukh and Sudakov, solving a conjecture of Erd\H{o}s, Faudree and S\'os, shows that any $C$-Ramsey $N$-vertex graph contains an induced subgraph with $\Omega_C(N^{1/2})$ distinct degrees. We improve this to $\Omega_C(N^{2/3})$, which is tight up to the constant factor. We also show that any $N$-vertex graph with $N > (k-1)(n-1)$ and $n\geq n_0(k) = \Omega (k^9)$ either contains a homogeneous set of order $n$ or an induced subgraph with $k$ distinct degrees. The lower bound on $N$ here is sharp, as shown by an appropriate Tur\'an graph, and confirms a conjecture of Narayanan and Tomon.


title: Extrapolation in Weighted Classical and Grand Lorentz Spaces. Application to the Boundedness of Integral operators

abstract: We establish weighted extrapolation theorems in classical and grand Lorentz spaces. As a consequence we have the weighted boundedness of operators of Harmonic Analysis in grand Lorentz spaces. We treat both cases: diagonal and off-diagonal ones.


title: Mapping (Dis-)Information Flow about the MH17 Plane Crash

abstract: Digital media enables not only fast sharing of information, but also disinformation. One prominent case of an event leading to circulation of disinformation on social media is the MH17 plane crash. Studies analysing the spread of information about this event on Twitter have focused on small, manually annotated datasets, or used proxys for data annotation. In this work, we examine to what extent text classifiers can be used to label data for subsequent content analysis, in particular we focus on predicting pro-Russian and pro-Ukrainian Twitter content related to the MH17 plane crash. Even though we find that a neural classifier improves over a hashtag based baseline, labeling pro-Russian and pro-Ukrainian content with high precision remains a challenging problem. We provide an error analysis underlining the difficulty of the task and identify factors that might help improve classification in future work. Finally, we show how the classifier can facilitate the annotation task for human annotators.


title: Lyman-alpha Variability During Solar Flares Over Solar Cycle 24 Using GOES-15/EUVS-E

abstract: The chromospheric Lyman-alpha line of neutral hydrogen (\lya; 1216\AA) is the strongest emission line in the solar spectrum. Fluctuations in \lya\ are known to drive changes in planetary atmospheres, although few instruments have had the ability to capture rapid \lya\ enhancements during solar flares. In this paper we describe flare-associated emissions via a statistical study of 477 M- and X-class flares as observed by the EUV Sensor on board the 15th Geostationary Operational Environmental Satellite, which has been monitoring the full-disk solar \lya\ irradiance on 10~s timescales over the course of Solar Cycle 24. The vast majority (95\%) of these flares produced \lya\ enhancements of 10\% or less above background levels, with a maximum increase of $\sim$30\%. The irradiance in \lya\ was found to exceed that of the 1-8 \AA\ X-ray irradiance by as much as two orders of magnitude in some cases, although flares that occurred closer to the solar limb were found to exhibit less of a \lya\ enhancement. This center-to-limb variation was verified through a joint, stereoscopic observation of an X-class flare that appeared near the limb as viewed from Earth, but close to disk center as viewed by the MAVEN spacecraft in orbit around Mars. The frequency distribution of peak \lya\ was found to have a power-law slope of $2.8\pm0.27$. We also show that increased \lya\ flux is closely correlated with induced currents in the ionospheric E-layer through the detection of the solar flare effect as observed by the Kakioka magnetometer.


title: Bitangents to a quartic surface and infinitesimal deformations

abstract: We show that the Hilbert scheme which parameterises bitangent lines to a general quartic surface is a counterexample to the infinitesimal Torelli claim and is a smooth regular surface with no rational curves and very ample canonical divisor.


title: Inferring the velocity of early massive stars from the abundances of extremely metal-poor stars

abstract: The nature of the first massive stars may be inferred by investigating the origin of the extremely metal-poor (EMP) stars, likely formed from the ejecta of one or a few previous massive stars. We investigate the rotational properties of early massive stars by comparing the abundance patterns of EMP stars with rotating massive stellar models. Low metallicity 20 $M_{\odot}$ stellar models with initial rotation rates between 0 and $70~\%$ of the critical velocity are computed. Explosions with strong fallback are assumed. The ejected material is considered to fit individually the abundance patterns of 272 EMP stars with $-4<$ [Fe/H] $<-3$. With increasing initial rotation, the [C/H], [N/H], [O/H], [Na/H], [Mg/H] and [Al/H] ratios in the massive star ejecta are gradually increased. Among the 272 EMP stars considered, $\sim 40-50~\%$ are consistent with our models. About $60 - 70~\%$ of the CEMP star sample is reproduced against $\sim 20 - 30~\%$ for the C-normal EMP star sample. The CEMP stars are preferentially reproduced with a material coming from mid to fast rotating massive stars. The velocity distribution derived from the best massive star models increases from no rotation to fast rotation. The maximum is reached for massive stars having initial equatorial velocities of $\sim 550 - 640$ km~s$^{-1}$. Although subject to significant uncertainties, these results suggest that the rotational mixing operating in between the H-burning shell and the He-burning core of early massive stars played an important role in the early chemical enrichment of the Universe. The comparison of the velocity distribution derived from the best massive star models with velocity distributions of nearby OB stars suggests a greater amount of massive fast rotators in the early Universe. This may have important consequences for reionization or integrated light from high redshift galaxies.


title: Distance Matrix of a Multi-block Graph: Determinant and Inverse

abstract: A connected graph is called a multi-block graph if each of its blocks is a complete multi-partite graph. Building on the work of \cite{Bp3,Hou3}, we compute the determinant and inverse of the distance matrix for a class of multi-block graphs.


title: Non-slice linear combinations of iterated torus knots

abstract: In 1976, Rudolph asked whether algebraic knots are linearly independent in the knot concordance group. This paper uses twisted Blanchfield pairings to answer this question in the affirmative for new large families of algebraic knots.


title: Expansion of eigenvalues of rank-one perturbations of the discrete bilaplacian

abstract: We consider the family $\hat h_\mu:=\hat\varDelta\hat \varDelta - \mu \hat v,$ $\mu\in\mathbb{R}, $ of discrete Schr\"odinger-type operators in $d$-dimensional lattice $\mathbb{Z}^d$, where $\hat \varDelta$ is the discrete Laplacian and $\hat v$ is of rank-one. We prove that there exist coupling constant thresholds $\mu_o,\mu^o\ge0$ such that for any $\mu\in[-\mu^o,\mu_o]$ the discrete spectrum of $\hat h_\mu$ is empty and for any $\mu\in \mathbb{R}\setminus[-\mu^o,\mu_o]$ the discrete spectrum of $\hat h_\mu$ is a singleton $\{e(\mu)\},$ and $e(\mu)<0$ for $\mu>\mu_o$ and $e(\mu)>4d^2$ for $\mu<-\mu^o.$ Moreover, we study the asymptotics of $e(\mu)$ as $\mu\to\mu_o$ and $\mu\to -\mu^o$ as well as $\mu\to\pm\infty.$ The asymptotics highly depend on $d$ and $\hat v.$


title: Sit-to-Stand Analysis in the Wild using Silhouettes for Longitudinal Health Monitoring

abstract: We present the first fully automated Sit-to-Stand or Stand-to-Sit (StS) analysis framework for long-term monitoring of patients in free-living environments using video silhouettes. Our method adopts a coarse-to-fine time localisation approach, where a deep learning classifier identifies possible StS sequences from silhouettes, and a smart peak detection stage provides fine localisation based on 3D bounding boxes. We tested our method on data from real homes of participants and monitored patients undergoing total hip or knee replacement. Our results show 94.4% overall accuracy in the coarse localisation and an error of 0.026 m/s in the speed of ascent measurement, highlighting important trends in the recuperation of patients who underwent surgery.


title: A note on the Weyl formula for balls in $\mathbb{R}^d$

abstract: Let $\mathscr{B}=\{x\in\mathbb{R}^d : |x|<R \}$ ($d\geq 3$) be a ball. We consider the Dirichlet Laplacian associated with $\mathscr{B}$ and prove that its eigenvalue counting function has an asymptotics \begin{equation*} \mathscr{N}_\mathscr{B}(\mu)=C_d vol(\mathscr{B})\mu^d-C'_d vol(\partial \mathscr{B})\mu^{d-1}+O\left(\mu^{d-2+\frac{131}{208}}(\log \mu)^{\frac{18627}{8320}}\right) \end{equation*} as $\mu\rightarrow \infty$.


title: New deep coronal spectra from the 2017 total solar eclipse

abstract: Total eclipses permit a deep analysis of both the inner and the outer parts of the corona using the continuum White-Light (W-L) radiations from electrons (K-corona), the superposed spectrum of forbidden emission lines from ions (E-corona) and the dust component with F-lines (F-corona). By sufficiently dispersing the W-L spectrum, the Fraunhofer (F) spectrum of the dust component of the corona appears and the continuum Thomson radiation can be evaluated. The superposed emission lines of ions with different degrees of ionization are studied to allow the measurement of temperatures, non-thermal velocities, Doppler shifts and abundances. We describe a slit spectroscopic experiment of high spectral resolution for providing an analysis of the most typical parts of the quasi-minimum type corona observed during the total solar eclipse of Aug. 21, 2017 observed from Idaho, USA. Streamers, active region enhancements and polar coronal holes (CHs) are well measured using deep spectra. 60 spectra are obtained during the totality with a long slit, covering +/-3 solar radii in the range of 510 to 590nm. The K+F continuum corona is well exposed up to 2 solar radius. The F-corona can be measured even at the solar limb. New weak emission lines were discovered or confirmed. The rarely observed high FIP ArX line is recorded almost everywhere; the FeXIV and NiXIII lines are well recorded everywhere. For the first time hot lines are also measured inside the CH regions. The radial variations of the non-thermal turbulent velocities of the lines do not show a great departure from the average values. No significantly large Doppler shifts are seen anywhere in the inner and the middle corona. The wings of the FeXIV line show some non-Gaussianity.


title: QED with heavy ions: on the way from strong to supercritical fields

abstract: The current status of tests of quantum electrodynamics with heavy ions is reviewed. The theoretical predictions for the Lamb shift and the hyperfine splitting in heavy ions are compared with available experimental data. Recent achievements and future prospects in studies of the $g$ factor with highly charged ions are also reported. These studies can provide precise determination of the fundamental constants and tests of QED within and beyond the Furry picture at the strong-coupling regime. Theoretical calculations of the electron-positron pair creation probabilities in low-energy heavy-ion collisions are also considered. Special attention is paid to tests of QED in supercritical-field regime, which can be accessed in slow collisions of two bare nuclei with the total charge number larger than the critical value, $Z_{\rm crit} \approx 173$. In the supercritical field, the initially neutral vacuum can spontaneously decay into the charged vacuum and two positrons. It is demonstrated that this fundamental phenomenon can be observed via impact-sensitive measurements of the pair-production probabilities.


title: Minimum supports of eigenfunctions with the second largest eigenvalue of the Star graph

abstract: The Star graph $S_n$, $n\ge 3$, is the Cayley graph on the symmetric group $Sym_n$ generated by the set of transpositions $\{(12),(13),\ldots,(1n)\}$. In this work we study eigenfunctions of $S_n$ corresponding to the second largest eigenvalue $n-2$. For $n\ge 8$ and $n=3$, we find the minimum cardinality of the support of an eigenfunction of $S_n$ corresponding to the second largest eigenvalue and obtain a characterization of eigenfunctions with the minimum cardinality of the support.


title: Mechanics of the Infinitesimal Gyroscopes on the Mylar Balloons and Their Action-Angle Analysis

abstract: Here we apply the general scheme for description of the mechanics of infinitesimal bodies in the Riemannian spaces to the examples of geodetic and non-geodetic (for two different model potentials) motions of infinitesimal rotators on the Mylar balloons. The structure of partial degeneracy is investigated with the help of the corresponding Hamilton-Jacobi equation and action-angle analysis. In all situations it was found that for any of the six disjoint regions in the phase space among the three action variables only two of them are essential for the description of our models at the level of the old quantum theory (according to the Bohr-Sommerfeld postulates). Moreover, in both non-geodetic models the action variables were intertwined with the quantum number $N$ corresponding to the quantization of the radii $r$ of the inflated Mylar balloons.


title: Quantum correlation measurement with single photon avalanche diode arrays

abstract: Temporal photon correlation measurement, instrumental to probing the quantum properties of light, typically requires multiple single photon detectors. Progress in single photon avalanche diode (SPAD) array technology highlights their potential as high performance detector arrays for quantum imaging and photon number resolving (PNR) experiments. Here, we demonstrate this potential by incorporating a novel on-chip SPAD array with 55% peak photon detection probability, low dark count rate and crosstalk probability of 0.14% per detection, in a confocal microscope. This enables reliable measurements of second and third order photon correlations from a single quantum dot emitter. Our analysis overcomes the inter-detector optical crosstalk background even though it is over an order of magnitude larger than our faint signal. To showcase the vast application space of such an approach, we implement a recently introduced super-resolution imaging method, quantum image scanning microscopy (Q-ISM).


title: Jets in the soft state in Cyg X-3 caused by advection of the donor magnetic field and unification with low-mass X-ray binaries

abstract: The high-mass accreting binary Cyg X-3 is distinctly different from low-mass X-ray binaries (LMXBs) in having powerful radio and $\gamma$-ray emitting jets in its soft spectral state. However, the transition from the hard state to the soft one is first associated with quenching of the hard-state radio emission, as in LMXBs. The powerful soft-state jets in Cyg X-3 form, on average, $\sim$50 d later. We interpret the initial jet quenching as due to the hard-state vertical magnetic field quickly diffusing away in the thin disc extending to the innermost stable circular orbit in the soft state, or, if that field is produced in situ, also cessation of its generation. The subsequent formation of the powerful jets occurs due to advection of the magnetic field from the donor. We find this happens only above certain threshold accretion rate associated with appearance of magnetically driven outflows. The $\sim$50 d lag is of the order of the viscous timescale in the outer disc, while the field advection is much faster. This process does not happen in LMXBs due to the magnetic fluxes available from their donors being lower than that for the wind accretion from the Wolf-Rayet donor of Cyg X-3. In our model, the vertical magnetic field in the hard state, required to form the jets both in Cyg X-3 and LMXBs, is formed in situ rather than advected from the donor. Our results provide a unified scenario of the soft and hard states in both Cyg X-3 and LMXBs.


title: Topological metals induced by Zeeman effect

abstract: In the present paper, we propose a new way to classify centrosymmetric metals by studying the Zeeman effect caused by an external magnetic field described by the momentum dependent g-factor tensor on the Fermi surfaces. Nontrivial U(1) Berry's phase and curvature can be generated once the otherwise degenerate Fermi surfaces are splitted by the Zeeman effect, which will be determined by both the intrinsic band structure and the structure of g-factor tensor on the manifold of the Fermi surfaces. Such Zeeman effect generated Berry's phase and curvature can lead to three important experimental effects, modification of spin-zero effect, Zeeman effect induced Fermi surface Chern number and the in-plane anomalous Hall effect. By first principle calculations, we study all these effects on two typical material, ZrTe$_5$ and TaAs$_2$ and the results are in good agreement with the existing experiments.


title: Persymmetric Jacobi matrices with square-integer eigenvalues and dispersionless mass-spring chains

abstract: A real persymmetric Jacobi matrix of order $n$ whose eigenvalues are $2k^2$ $(k=0, ..., n-1)$ is presented, with entries given as explicit functions of $n$. Besides the possible use for testing forward and inverse numerical algorithms, such a matrix is especially relevant for its connection with the dynamics of a mass-spring chain, which is a multi-purpose prototype model. Indeed, the mode frequencies being the square roots of the eigenvalues of the interaction matrix, one can shape the chain in such a way that its dynamics be perfectly periodic and dispersionless.


title: GRAVITAS: A Model Checking Based Planning and Goal Reasoning Framework for Autonomous Systems

abstract: While AI techniques have found many successful applications in autonomous systems, many of them permit behaviours that are difficult to interpret and may lead to uncertain results. We follow the "verification as planning" paradigm and propose to use model checking techniques to solve planning and goal reasoning problems for autonomous systems. We give a new formulation of Goal Task Network (GTN) that is tailored for our model checking based framework. We then provide a systematic method that models GTNs in the model checker Process Analysis Toolkit (PAT). We present our planning and goal reasoning system as a framework called Goal Reasoning And Verification for Independent Trusted Autonomous Systems (GRAVITAS) and discuss how it helps provide trustworthy plans in an uncertain environment. Finally, we demonstrate the proposed ideas in an experiment that simulates a survey mission performed by the REMUS-100 autonomous underwater vehicle.


title: Double Directional Channel Measurements for THz Communications in an Urban Environment

abstract: While mm-wave systems are a mainstay for 5G communications, the inexorable increase of data rate requirements and user densities will soon require the exploration of next-generation technologies. Among these, Terahertz (THz) band communication seems to be a promising direction due to availability of large bandwidth in the electromagnetic spectrum in this frequency range, and the ability to exploit its directional nature by directive antennas with small form factors. The first step in the analysis of any communication system is the analysis of the propagation channel, since it determines the fundamental limitations it faces. While THz channels have been explored for indoor, short-distance communications, the channels for {\em wireless access links in outdoor environments} are largely unexplored. In this paper, we present the - to our knowledge - first set of double-directional outdoor propagation channel measurements for the THz band. Specifically, the measurements are done in the 141 - 148.5 GHz range, which is one of the frequency bands recently allocated for THz research by the Federal Communication Commission (FCC). We employ double directional channel sounding using a frequency domain sounding setup based on RF-over-Fiber (RFoF) extensions for measurements over 100 m distance in urban scenarios. An important result is the surprisingly large number of directions (i.e., direction-of-arrival and direction-of-departure pairs) that carry significant energy. More generally, our results suggest fundamental parameters that can be used in future THz Band analysis and implementations.


title: Silas: High Performance, Explainable and Verifiable Machine Learning

abstract: This paper introduces a new classification tool named Silas, which is built to provide a more transparent and dependable data analytics service. A focus of Silas is on providing a formal foundation of decision trees in order to support logical analysis and verification of learned prediction models. This paper describes the distinct features of Silas: The Model Audit module formally verifies the prediction model against user specifications, the Enforcement Learning module trains prediction models that are guaranteed correct, the Model Insight and Prediction Insight modules reason about the prediction model and explain the decision-making of predictions. We also discuss implementation details ranging from programming paradigm to memory management that help achieve high-performance computation.


title: Improving spatial resolution in X-ray microscopy by using tilted angle detector: A simulation study

abstract: Conventional x-ray imaging detectors suffer from parallax error when the radiation beam arrives at the detector surface at tilted angle. The image blurring occurs as the radiation penetrates detector material in lateral direction at tilted angle. However, at the photon energies used in x-ray microscopy the attenuation length of the x-rays in the detector material is shorter and consequently the parallax error due to the tilted angle irradiation can be smaller. In these cases, the tilted angle irradiation can be beneficial because it will expand the beam projection ("footprint") at the detector surface, improve spatial resolution and help to overcome inherent resolution limit of the detector. We have performed a simulation study to investigate the above trade-off between the parallax error and improved spatial resolution when tilted angle irradiation is used. Our simulation study showed that tilted angle irradiation at 2-5keV x-ray energies can provide substantial improvements of spatial resolution. We used in our studies the indirect-conversion x-ray microscopy detectors based on scintillators optically coupled to CCD and CMOS cameras, as well as direct-conversion detectors based on back illuminated (back thinned) CCD and CMOS cameras. We have demonstrated also that the tilted angle irradiation can prevent radiation damage of the direct conversion back illuminated CCD and CMOS cameras due to the shallow x-ray attenuation depths with tilted angle geometry.


title: Properties of heavy mesons at finite temperature

abstract: We study the properties of heavy mesons using a unitarized approach in a hot pionic medium, based on an effective hadronic theory. The interaction between the heavy mesons and pseudoscalar Goldstone bosons is described by a chiral Lagrangian at next-to-leading order in the chiral expansion and leading order in the heavy-quark mass expansion so as to satisfy heavy-quark spin symmetry. The meson-meson scattering problem in coupled channels with finite-temperature corrections is solved in a self-consistent manner. Our results show that the masses of the ground-state charmed mesons $D(0^-)$ and $D_s(1^-)$ decrease in a pionic environment at $T\neq 0$ and they acquire a substantial width. As a consequence, the behaviour of excited mesonic states (i.e. $D_{s0}^*(2317)^\pm$ and $D_0^*(2300)^{0,\pm}$), generated dynamically in our heavy-light molecular model, is also modified at $T\neq 0$. The aim is to test our results against Lattice QCD calculations in the future.


title: Band Gap of Atomically Precise Graphene Nanoribbons as a Function of Ribbon Length and Termination

abstract: We study the band gap of finite $N_A=7$ armchair graphene nanoribbons (7-AGNRs) on Au(111) through scanning tunneling microscopy/spectroscopy combined with density functional theory calculations. The band gap of 7-AGNRs with lengths of 6 nm and more is converged to within 0.1 eV of its bulk value of 2.3 eV, while the band gap opens by several hundred meV in very short 7-AGNRs. The termination has a significant effect on the band gap, doubly hydrogenated termini yielding a lower band gap than singly hydrogenated ones.


title: Numerical Simulation of the Trapping Reaction with Mobile and Reacting Traps

abstract: We study a variation of the trapping reaction, A+B->A, in which both the traps (A) and the particles (B) undergo diffusion, and the traps upon meeting react according to A+A->0 or A. This two-species reaction-diffusion system is known to exhibit a non-trivial decay exponent for the B particles, and recently renormalization group methods have predicted an anomalous dimension in the BB correlation function. To test these predictions we develop a computer simulation method, motivated by the technique of Mehra and Grassberger, that determines the complete probability distribution of the B particles for a given realization of the A particle dynamics, thus providing a significant increase the quality of statistics. Our numerical results indeed reveal the anomalous dimension predicted by the renormalization group, and compare well quantitatively to precisely known values in cases where the problem can be related to a 4-walker problem.


title: The Hahn embedding theorem for a class of residuated semigroups

abstract: Hahn's embedding theorem asserts that linearly ordered abelian groups embed in some lexicographic product of real groups. Hahn's theorem is generalized to a class of residuated semigroups in this paper, namely, to odd involutive commutative residuated chains which possess only finitely many idempotent elements. To this end, the partial sublex product construction is introduced to construct new odd involutive commutative residuated lattices from a pair of odd involutive commutative residuated lattices, and a representation theorem for odd involutive commutative residuated chains which possess only finitely many idempotent elements, by means of linearly ordered abelian groups and the partial sublex product construction is presented.


title: On the space of Laplace transformable distributions

abstract: We show that the space $\mathcal{S}'(\Gamma)$ of Laplace transformable distributions, where $\Gamma \subseteq \mathbb{R}^d$ is a non-empty convex open set, is an ultrabornological (PLS)-space. Moreover, we determine an explicit topological predual of $\mathcal{S}'(\Gamma)$.


title: A Cryptanalysis of Two Cancelable Biometric Schemes based on Index-of-Max Hashing

abstract: Cancelable biometric schemes generate secure biometric templates by combining user specific tokens and biometric data. The main objective is to create irreversible, unlinkable, and revocable templates, with high accuracy in matching. In this paper, we cryptanalyze two recent cancelable biometric schemes based on a particular locality sensitive hashing function, index-of-max (IoM): Gaussian Random Projection-IoM (GRP-IoM) and Uniformly Random Permutation-IoM (URP-IoM). As originally proposed, these schemes were claimed to be resistant against reversibility, authentication, and linkability attacks under the stolen token scenario. We propose several attacks against GRP-IoM and URP-IoM, and argue that both schemes are severely vulnerable against authentication and linkability attacks. We also propose better, but not yet practical, reversibility attacks against GRP-IoM. The correctness and practical impact of our attacks are verified over the same dataset provided by the authors of these two schemes.


title: Non-Gaussianity in a general kind noncanonical warm inflation

abstract: The general kind noncanonical warm inflation is introduced and its total non-Gaussianity of perturbation on uniform energy density hypersurfaces is studied. The total non-Gaussianity contains two complementary parts: the three- and the four-point correlations. The three-point correlation part denoted by $f^{int}_{NL}$, comes from the three-point correlation of inflaton field, while the four-point correlation part, denoted by $f_{NL}^{\delta N}$, is the contribution due to the four-point correlation function of the inflaton field. The aforementioned two parts of non-Gaussianity in general noncanonical warm inflation are calculated and analysed respectively, and the comparisons and discussions of the two parts are finally carried out in this study.


title: Reconfigurable single photon sources based on functional materials

abstract: The future of quantum photonic technology depends on the realization of efficient sources of single photons, the ideal carriers of quantum information. Parametric downconversion (PDC) is a promising route to create highly coherent, spectrally pure single photons for quantum photonics using versatile group-velocity matching (GVM) and tailored nonlinearities. However, the functionality to actively control the poling period of nonlinear crystals used in PDC is currently missing, yet would enable to dynamically modify the wavelength of single photons produced in the PDC process. Here a detailed GVM study is presented for functional PMN-0.38PT material which can be dynamically repolled at ambient conditions with fields as low as 0.4 kV/mm. Our study reveals phase-matching conditions for spectrally pure single photon creation at 5-6 microns. Further, a practical approach is proposed for on-flight wavelength switching of the created single photons. The reported reconfigurable functionality benefits a wide range of emerging quantum-enhanced applications in the mid-IR spectral region where the choice of single photon sources is currently limited.

categories: physics.optics cond-mat.mtrl-sci physics.app-ph quant-ph


title: On some spectral properties of stochastic similarity matrices for data clustering

abstract: Clustering in image analysis is a central technique that allows to classify elements of an image. We describe a simple clustering technique that uses the method of similarity matrices. We expand upon recent results in spectral analysis for Gaussian mixture distributions, and in particular, provide conditions for the existence of a spectral gap between the leading and remaining eigenvalues for matrices with entries from a Gaussian mixture with two real univariate components. Furthermore, we describe an algorithm in which a collection of image elements is treated as a dynamical system in which the existence of the mentioned spectral gap results in an efficient clustering.


title: Involutive uninorm logic with fixed point enjoys finite strong standard completeness

abstract: An algebraic proof is presented for the finite strong standard completeness of involutive uninorm logic with fixed point. The result may provide a first step towards settling the open standard completeness problem for involutive uninorm logic posed in [G. Metcalfe, F. Montagna: Substructural fuzzy logics, J. Symb. Logic, 72, 834-864 (2007)].


title: Effect of magnetic field on the laterally colliding plasma plumes

abstract: An experimental investigation of laser produced colliding plasma of aluminium target in the presence of external magnetic field in vacuum is done. Characteristic parameters and line emission of plasma plume in the presence of magnetic field are compared with those for field free case. Axial expansion of the plasma is slowed down in the presence of magnetic field as compared to the field free case. Contrary to the field free case no sharp interaction zone is observed. Higher electron temperature and increased ionic line emission from singly as well as doubly ionized aluminium can be attributed to the Joule heating phenomenon.


title: D-Modules and Holonomic Functions

abstract: In algebraic geometry, one studies the solutions to polynomial equations, or, equivalently, to linear partial differential equations with constant coefficients. These lecture notes address the more general case when the coefficients are polynomials. The letter D stands for the Weyl algebra, and a D-module is a left module over D. We focus on left ideals, or D-ideals. We represent holonomic functions in several variables by the linear differential equations they satisfy. This encoding by a D-ideal is useful for many problems, e.g., in geometry, physics and statistics. We explain how to work with holonomic functions. Applications include volume computations and likelihood inference.


title: Maximum Likelihood under constraints: Degeneracies and Random Critical Points

abstract: We investigate the problem of semi-parametric maximum likelihood under constraints on summary statistics. Such a procedure results in a discrete probability distribution that maximises the likelihood among all such distributions under the specified constraints (called estimating equations), and is an approximation to the underlying population distribution. The study of such empirical likelihood originates from the seminal work of Owen. We investigate this procedure in the setting of mis-specified (or biased) estimating equations, i.e. when the null hypothesis is not true. We establish that the behaviour of the optimal distribution under such mis-specification differ markedly from their properties under the null, i.e. when the estimating equations are unbiased and correctly specified. This is manifested by certain degeneracies in the optimal distribution which define the likelihood. Such degeneracies are not observed under the null. Furthermore, we establish an anomalous behaviour of the log-likelihood based Wilks statistic, which, unlike under the null, does not exhibit a chi-squared limit. In the Bayesian setting, we rigorously establish the posterior consistency of procedures based on these ideas, where instead of a parametric likelihood, an empirical likelihood is used to define the posterior distribution. In particular, we show that this posterior, as a random probability measure, rapidly converges to the delta measure at the true parameter value. A novel feature of our approach is the investigation of critical points of random functions in the context of such empirical likelihood. In particular, we obtain the location and the mass of the degenerate optimal weights as the leading and sub-leading terms in a canonical expansion of a particular critical point of a random function that is naturally associated with the model.


title: Group-like Uninorms

abstract: Uninorms play a prominent role both in the theory and the applications of Aggregations and Fuzzy Logic. In this paper the class of group-like uninorms is introduced and characterized. First, two variants of a general construction -- called partial-lexicographic product -- will be recalled from \cite{Jenei_Hahn}; these construct odd involutive FL$_e$-algebras. Then two particular ways of applying the partial-lexicographic product construction will be specified. The first method constructs, starting from $\mathbb R$ (the additive group of the reals) and modifying it in some way by $\mathbb Z$'s (the additive group of the integers), what we call basic group-like uninorms, whereas with the second method one can modify any group-like uninorm by a basic group-like uninorm to obtain another group-like uninorm. All group-like uninorms obtained this way have finitely many idempotent elements. On the other hand, we prove that given any group-like uninorm which has finitely many idempotent elements, it can be constructed by consecutive applications of the second construction (finitely many times) using only basic group-like uninorms as building blocks. Hence any basic group-like uninorm can be built using the first method, and any group-like uninorm which has finitely many idempotent elements can be built using the second method from only basic group-like uninorms. In this way a complete characterization for group-like uninorms which possess finitely many idempotent elements is given: ultimately, all such uninorms can be built from $\mathbb R$ and $\mathbb Z$. This characterization provides, for potential applications in several fields of fuzzy theory or aggregation theory, the whole spectrum of choice of those group-like uninorms which possess finitely many idempotent elements.