title: General form of the solutions of some difference equations via Lie symmetry analysis

abstract: In this paper, we obtain exact solutions of the following rational difference equation $ x_{n+1}=\frac{x_{n}x_{n-2}x_{n-4}}{ x_{n-1}x_{n-3}(a_{n}+b_{n}x_{n}x_{n-2}x_{n-4})}, $ where $a_{n}$ and $b_{n}$ are random real sequences, by using the technique of Lie symmetry analysis. Moreover, we discuss the periodic nature and behavior of solutions for some special cases. This work is a generalization of some works by Elsayed and Ibrahim in [E.M.Elsayed, T. F. Ibrahim, { Solutions and periodicity of a rational recursive sequences of order five}, Bulletin of the Malaysian Mathematical Sciences Society 38:1 (2015), 95-112].


title: New bounds for the ratio of power means

abstract: We show that for real numbers $p,\,q$ with $q<p$, and the related power means $\mathscr{P}_p$, $\mathscr{P}_q$, the inequality $$\frac{\mathscr{P}_p(x)}{\mathscr{P}_q(x)} \le \exp \bigg( \frac{p-q}8 \cdot \bigg(\ln\bigg(\frac{\max x}{\min x}\bigg)\bigg)^2 \:\bigg)$$ holds for every vector $x$ of positive reals. Moreover we prove that, for all such pairs $(p,q)$, the constant $\tfrac{p-q}8$ is sharp.


title: Detection of ionized calcium in the atmosphere of the ultra-hot Jupiter KELT-9b

abstract: With a day-side temperature in excess of 4500K, comparable to a mid-K-type star, KELT-9b is the hottest planet known. Its extreme temperature makes KELT-9b a particularly interesting test bed for investigating the nature and diversity of gas giant planets. We observed the transit of KELT-9b at high spectral resolution (R$\sim$94,600) with the CARMENES instrument on the Calar Alto 3.5-m telescope. Using these data, we detect for the first time ionized calcium (CaII triplet) absorption in the atmosphere of KELT-9b; this is the second time that CaII has been observed in a hot Jupiter. Our observations also reveal prominent H$\alpha$ absorption, confirming the presence of an extended hydrogen envelope around KELT-9b. We compare our detections with an atmospheric model and find that all four lines form between atmospheric temperatures of 6100 K and 8000 K and that the CaII lines form at pressures between 10 and 50 nbar while the H$\alpha$ line forms at a lower pressure ($\sim$6 nbar), higher up in the atmosphere. The altitude that the core of H$\alpha$ line forms is found to be $\sim$1.4 R$_{p}$, well within the planetary Roche lobe ($\sim$1.9 R$_{p}$). Therefore, rather than probing the escaping upper atmosphere directly, the H$\alpha$ line and the other observed Balmer and metal lines serve as atmospheric thermometers enabling us to probe the planet's temperature profile, thus energy budget.


title: Constraining the anisotropy of the Universe via Pantheon supernovae sample

abstract: We test the possible dipole anisotropy of a Finslerian cosmological model and other three dipole-modulated cosmological models, i.e., the dipole-modulated $\rm{\Lambda}$CDM, $w$CDM and Chevallier--Polarski--Linder (CPL) model by using the recently released Pantheon sample of SNe Ia. The Markov chain Monte Carlo (MCMC) method is used to explore the whole parameter space. We find that the dipole anisotropy is very weak in all cosmological models used. Although the dipole amplitudes of four cosmological models are consistent with zero within $1\sigma$ uncertainty, the dipole directions are close to the axial direction to the plane of SDSS subsample among Pantheon. It may imply that the weak dipole anisotropy in the Pantheon sample originates from the inhomogeneous distribution of the SDSS subsample. More homogeneous distribution of SNe Ia is necessary to constrain the cosmic anisotropy.


title: Towards systems tissue engineering: elucidating the dynamics, spatial coordination, and individual cells driving emergent behaviors

abstract: Biomaterial systems have allowed for the in vitro production of complex, emergent tissue behaviors that were not possible with conventional 2D culture systems allowing for analysis of the normal development as well as disease processes. We propose that the path towards developing the design parameters for biomaterial systems lies with identifying the molecular drivers of emergent behavior through leveraging technological advances in systems biology, including single cell omics, genetic engineering, and high content imaging. This research focus, which we term systems tissue engineering, can uniquely interrogate the mechanisms by which complex tissue behaviors emerge with the potential to capture the contribution of i) dynamic regulation of tissue development and dysregulation, ii) single cell heterogeneity and the function of rare cell types, and iii) the spatial distribution and structure of individual cells and cell types within a tissue. Collectively, systems tissue engineering can facilitate the identification of biomaterial design parameters that will accelerate basic science discovery and translation.


title: Rotational transition, domain formation, dislocations and defects in vortex systems with combined six- and 12-fold anisotropic interactions

abstract: We introduce a new model for a pairwise repulsive interaction potential of vortices in a type-II superconductor, consisting of superimposed six- and 12-fold anisotropies. Using numerical simulations we study how the vortex lattice configuration varies as the magnitudes of the two anisotropic interaction terms change. A triangular lattice appears for all values, and rotates through 30 degrees as the ratio of the six- and 12-fold anisotropy amplitudes is varied. The transition causes the VL to split into domains that have rotated clockwise or counter-clockwise, with domain boundaries that are "decorated" by dislocations consisting of five- and seven-fold coordinated vortices. We also find intra-domain dislocations and defects, and characterize them in terms of their energy cost. We discuss how this model could be generalized to other particle-based systems with anisotropic interactions, such as colloids, and consider the limit of very large anisotropy where it is possible to create cluster crystal states.


title: Convergence of square tilings to the Riemann map

abstract: A well-known theorem of Rodin \& Sullivan, previously conjectured by Thurston, states that the circle packing of the intersection of a lattice with a simply connected planar domain $\Omega$ into the unit disc $\mathbb{D}$ converges to a Riemann map from $\Omega$ to $\mathbb{D}$ when the mesh size converges to 0. We prove the analogous statement when circle packings are replaced by the square tilings of Brooks et al.


title: Length-scales of interfacial coupling between metal-insulator phases in oxides

abstract: Controlling phase transitions in transition metal oxides remains a central feature of both technological and fundamental scientific relevance. A well-known example is the metal-insulator transition which has been shown to be highly controllable while a less well understood aspect of this phenomenon is the length scale over which the phases can be established. To gain further insight into this issue, we have atomically engineered an artificially phase separated system through fabricating epitaxial superlattices consisting of SmNiO$_{3}$ and NdNiO$_{3}$, two materials undergoing a metal-to-insulator transition at different temperatures. By combining advanced experimental techniques and theoretical modeling, we demonstrate that the length scale of the metal-insulator transition is controlled by the balance of the energy cost of the domain wall between a metal and insulator and the bulk energetics. Notably, we show that the length scale of this effect exceeds that of the physical coupling of structural motifs, introducing a new paradigm for interface-engineering properties that are not available in bulk


title: On the number of perfect triangles with a fixed angle

abstract: Richard Guy asked the following question: can we find a triangle with rational sides, medians, and area? Such a triangle is called a \emph{perfect triangle} and no example has been found to date. It is widely believed that such a triangle does not exist. Here we use the setup of Solymosi and de Zeeuw about rational distance sets contained in an algebraic curve, to show that for any angle $0<\theta < \pi$, the number of perfect triangles with an angle $\theta$ is finite. A \emph{rational median set} $S$ is a set of points in the plane such that for every three non collinear points $p_1,p_2,p_3$ in $S$ all medians of the triangle with vertices at $p_i$'s have rational length. The second result of this paper is that no irreducible algebraic curve defined over $\mathbb{R}$ contains an infinite rational median set.


title: Thermal representations in group field theory: squeezed vacua and quantum gravity condensates

abstract: We apply the formalism of thermofield dynamics to group field theory quantum gravity and construct thermal representations associated with generalised equilibrium Gibbs states using Bogoliubov transformations. The newly constructed class of thermal vacua are entangled, two-mode squeezed, thermofield double states. The corresponding finite temperature representations are inequivalent to the standard zero temperature one based on a degenerate vacuum. An interesting class of states, coherent thermal states, are defined and understood as thermal quantum gravity condensates.


title: A characterization of polynomials whose high powers have non-negative coefficients

abstract: Let $f \in \mathbb{R}[x]$ be a polynomial with real coefficients. We say that $f$ is eventually non-negative if $f^m$ has non-negative coefficients for all sufficiently large $m \in \mathbb{N}$. In this short note, we give a classification of all eventually non-negative polynomials. This generalizes a theorem of De Angelis, and proves a conjecture of Bergweiler, Eremenko and Sokal


title: Schur multipliers of Schatten--von Neumann classes $\boldsymbol{S_p}$

abstract: We study in this paper properties of Schur multipliers of Schatten von Neumann classes $\boldsymbol{S}_p$. We prove that for $p\le1$, Schur multipliers of $\boldsymbol{S}_p$ are necessarily completely bounded. We also introduce for $p\le1$ a scale ${\mathscr W}_p$ of tensor products of $\ell^\infty$ and prove that matrices in ${\mathscr W}_p$ are Schur multipliers of $\boldsymbol{S}_p$. We compare this sufficient condition with the sufficient condition of membership in the $p$-tensor product of $\ell^\infty$ spaces.


title: Quantum Hall criticality in Floquet topological insulators

abstract: The anomalous Floquet Anderson insulator (AFAI) is a two dimensional periodically driven system in which static disorder stabilizes two topologically distinct phases in the thermodynamic limit. The presence of a unit-conducting chiral edge mode and the essential role of disorder induced localization are reminiscent of the integer quantum Hall (IQH) effect. At the same time, chirality in the AFAI is introduced via an orchestrated driving protocol, there is no magnetic field, no energy conservation, and no (Landau level) band structure. In this paper we show that in spite of these differences the AFAI topological phase transition is in the IQH universality class. We do so by mapping the system onto an effective theory describing phase coherent transport in the system at large length scales. Unlike with other disordered systems, the form of this theory is almost fully determined by symmetry and topological consistency criteria, and can even be guessed without calculation. (However, we back this expectation by a first principle derivation.) Its equivalence to the Pruisken theory of the IQH demonstrates the above equivalence. At the same time it makes predictions on the emergent quantization of transport coefficients, and the delocalization of bulk states at quantum criticality which we test against numerical simulations.


title: Extracting robust and accurate features via a robust information bottleneck

abstract: We propose a novel strategy for extracting features in supervised learning that can be used to construct a classifier which is more robust to small perturbations in the input space. Our method builds upon the idea of the information bottleneck by introducing an additional penalty term that encourages the Fisher information of the extracted features to be small, when parametrized by the inputs. By tuning the regularization parameter, we can explicitly trade off the opposing desiderata of robustness and accuracy when constructing a classifier. We derive the optimal solution to the robust information bottleneck when the inputs and outputs are jointly Gaussian, proving that the optimally robust features are also jointly Gaussian in that setting. Furthermore, we propose a method for optimizing a variational bound on the robust information bottleneck objective in general settings using stochastic gradient descent, which may be implemented efficiently in neural networks. Our experimental results for synthetic and real data sets show that the proposed feature extraction method indeed produces classifiers with increased robustness to perturbations.


title: Stability of KKT systems and superlinear convergence of the SQP method under parabolic regularity

abstract: This paper pursues a two-fold goal. Firstly, we aim to derive novel second-order characterizations of important robust stability properties of perturbed Karush-Kuhn-Tucker systems for a broadclass of constrained optimization problems generated by parabolically regular sets. Secondly, the obtained characterizations are applied to establish well-posedness and superlinear convergence of the basic sequential quadratic programming method to solve parabolically regular constrained optimization problems.


title: CRISLoc: Reconstructable CSI Fingerprintingfor Indoor Smartphone Localization

abstract: Channel state information (CSI) based fingerprinting for WIFI indoor localization has attracted lots of attention very recently.The frequency diverse and temporally stable CSI better represents the location dependent channel characteristics than the coarsereceived signal strength (RSS). However, the acquisition of CSI requires the cooperation of access points (APs) and involves only dataframes, which imposes restrictions on real-world deployment. In this paper, we present CRISLoc, the first CSI fingerprinting basedlocalization prototype system using ubiquitous smartphones. CRISLoc operates in a completely passive mode, overhearing thepackets on-the-fly for his own CSI acquisition. The smartphone CSI is sanitized via calibrating the distortion enforced by WiFi amplifiercircuits. CRISLoc tackles the challenge of altered APs with a joint clustering and outlier detection method to find them. A novel transferlearning approach is proposed to reconstruct the high-dimensional CSI fingerprint database on the basis of the outdated fingerprintsand a few fresh measurements, and an enhanced KNN approach is proposed to pinpoint the location of a smartphone. Our studyreveals important properties about the stability and sensitivity of smartphone CSI that has not been reported previously. Experimentalresults show that CRISLoc can achieve a mean error of around 0.29m in a6m times 8mresearch laboratory. The mean error increases by 5.4 cm and 8.6 cm upon the movement of one and two APs, which validates the robustness of CRISLoc against environment changes.


title: On the influence of magnetic helicity on X-rays emission of solar and stellar coronae

abstract: Observation of solar-like stars show a clear relation between X-ray emission and their rotation. Higher stellar rotation can lead to a larger magnetic helicity production in stars. We aim to understand the relation between magnetic helicity on the surface of a star to their coronal X-ray emission. We use 3D MHD simulations to model the corona of the solar-like stars. We take an observed magnetogram as in photospheric activity input, and inject different values of magnetic helicity. We use synthesis emission to calculate the X-ray emission flux of each simulation and investigate how this scales with injected magnetic helicity. We find that for larger injected magnetic helicities an increase in temperature and an increase in X-ray emission. The X-ray emission scaled cubicly with the injected helicity. We can related this to increase of horizontal magnetic field and therefore higher Poynting flux at the coronal base. Using typical scaling of magnetic helicity production with stellar rotation, we can explain the increase of X-ray emission with rotation only by an increase of magnetic helicity at the surface of a star.


title: Generalized Evolutionary Point Processes: Model Specifications and Model Comparison

abstract: Generalized evolutionary point processes offer a class of point process models that allows for either excitation or inhibition based upon the history of the process. In this regard, we propose modeling which comprises generalization of the nonlinear Hawkes process. Working within a Bayesian framework, model fitting is implemented through Markov chain Monte Carlo. This entails discussion of computation of the likelihood for such point patterns. Furthermore, for this class of models, we discuss strategies for model comparison. Using simulation, we illustrate how well we can distinguish these models from point pattern specifications with conditionally independent event times, e.g., Poisson processes. Specifically, we demonstrate that these models can correctly identify true relationships (i.e., excitation or inhibition/control). Then, we consider a novel extension of the log Gaussian Cox process that incorporates evolutionary behavior and illustrate that our model comparison approach prefers the evolutionary log Gaussian Cox process compared to simpler models. We also examine a real dataset consisting of violent crime events from the 11th police district in Chicago from the year 2018. This data exhibits strong daily seasonality and changes across the year. After we account for these data attributes, we find significant but mild self-excitation, implying that event occurrence increases the intensity of future events.


title: Blockchain of Things (BCoT): The Fusion of Blockchain and IoT Technologies

abstract: Blockchain, as well as Internet of Things (IoT), is considered as two major disruptive emerging technologies. However, both of them suffer from innate technological limitations to some extent. IoT requires strengthening its security features while Blockchain inherently possesses them due to its extensive use of cryptographic mechanisms and Blockchain, in an inverted manner, needs contributions from the distributed nodes for its P2P (Peer-to-Peer) consensus model while IoT rudimentarily embodies them within its architecture. This chapter, therefore, acutely dissects the viability, along with prospective challenges, of incorporating Blockchain with IoT technologies,inducing the notion of Blockchain of Things (BCoT), as well as the benefits such consolidation can offer.


title: Identifying Epigenetic Signature of Breast Cancer with Machine Learning

abstract: The research reported in this paper identifies the epigenetic biomarker (methylation beta pattern) of breast cancer. Many cancers are triggered by abnormal gene expression levels caused by aberrant methylation of CpG sites in the DNA. In order to develop early diagnostics of cancer-causing methylations and to develop a treatment, it is necessary to identify a few dozen key cancer-related CpG methylation sites out of the millions of locations in the DNA. This research used public TCGA dataset to train a TensorFlow machine learning model to classify breast cancer versus non-breast-cancer tissue samples, based on over 300,000 methylation beta values in each sample. L1 regularization was applied to identify the CpG methylation sites most important for accurate classification. It was hypothesized that CpG sites with the highest learned model weights correspond to DNA locations most relevant to breast cancer. A reduced model trained on methylation betas of just the 25 CpG sites having the highest weights in the full model (trained on methylation betas at over 300,000 CpG sites) has achieved over 94% accuracy on evaluation data, confirming that the identified 25 CpG sites are indeed a biomarker of breast cancer.


title: Growth of cohomology of arithmetic groups and the stable trace formula: the case of $U(2,1)$

abstract: We present a strategy to use the stable trace formula to compute growth in the cohomology of cocompact arithmetic lattices in a reductive group $G$. We then implement it in the case where $G = U(2,1)$, using results of Rogwaski. This recovers a result of Marshall.


title: A two-species competition model with mixed dispersal and free boundaries in time-periodic environment

abstract: This paper is concerned with a Lotka-Volterra type competition model with free boundaries in time-periodic environment. One species is assumed to adopt nonlocal dispersal and the other one adopts mixed dispersal, which is a combination of both random dispersal and nonlocal dispersal. We show that this free boundary problem with more general growth functions admits a unique solution defined for all time. A spreading-vanishing dichotomy is obtained and criteria for spreading and vanishing are provided. Moreover, under the weak competition condition we provide the long-time asymptotic behavior of solution when spreading occurs.


title: A Unified Framework for Nonmonotonic Reasoning with Vagueness and Uncertainty

abstract: An interval-valued fuzzy answer set programming paradigm is proposed for nonmonotonic reasoning with vague and uncertain information. The set of sub-intervals of $[0,1]$ is considered as truth-space. The intervals are ordered using preorder-based truth and knowledge ordering. The preorder based ordering is an enhanced version of bilattice-based ordering. The system can represent and reason with prioritized rules, rules with exceptions. An iterative method for answer set computation is proposed. The sufficient conditions for termination of iterations are identified for a class of logic programs using the notion of difference equations.


title: Force sensing beyond standard quantum limit with optomechanical `soft' mode induced by non-linear interaction

abstract: We consider an optomechanical system that is composed of a mechanical and an optical mode interacting through a linear and quadratic optomechanical dispersive couplings. The system is operated in an unresolved side band limit with a high quality factor mechanical resonator. Such a system then acts as parametrically driven oscillator, giving access to an intensity assisted tunability of the spring constant. This enables the operation of optomechanical system in its 'soft mode' wherein the mechanical spring softens and responds with a lower resonance frequency. We show that this soft mode can be exploited to non-linearize backaction noise which yields higher force sensitivity beyond the conventional standard quantum limit.


title: A Family of Solitary Waves in Frenkel-Kontorova Lattice

abstract: A family of solitary waves is constructed in Frenkel-Kontorova model and its continuum and quasi-continuum approximations. Each solitary waves is characterised by the number of local maxima in its profile and a relation between external force and the velocity of wave. Such waves may be interpreted as a coherent motion, with constant velocity, of two dislocations of opposite sign or of kink-antikink pair.


title: Continuum approach based on radiation distribution function for radiative heat transfer in densely packed particulate system

abstract: The study of radiative heat transfer in particulate system is usually based on radiative transfer equation (RTE) with effective radiative properties. However, for non-random, densely and regularly packed particulate systems, the applicability of RTE is questionable due to dependent scattering and weak randomness of particle arrangement. In this paper, a new continuum approach that does not explicitly rely on the RTE is proposed for radiative heat transfer in the densely packed particulate system. The new approach is based on the generalization of the concept of radiation distribution factor (RD) at discrete scale (or particle scale) to radiation distribution function (RDF) at continuum scale. The derived governing equation is in integral form, with RDF as the continuum scale physical parameter that characterize the radiative transfer properties of the system. The characteristics of the RDF for different particulate system (randomly or regularly packed) are studied. The RDF in regularly distributed particulate system is shown to be anisotropic. The continuum approach is verified by using heat transfer simulation at the particle scale, and demonstrated to have excellent performance in predicting the temperature distribution in dense particulate system. This work provides an alternative continuum theory, which will help the analysis and understanding of radiative heat transfer in densely packed media.


title: Deltoid tangents with evenly distributed orientations and random tilings

abstract: We study the construction of substitution tilings of the plane based on certain simplicial configurations of tangents of the deltoid with evenly distributed orientations. The random tiling ensembles are obtained as a result of tile rearrangements in the substitution rules associated to edge flips.


title: Techniques for Adversarial Examples Threatening the Safety of Artificial Intelligence Based Systems

abstract: Artificial intelligence is known as the most effective technological field for rapid developments shaping the future of the world. Even today, it is possible to see intense use of intelligence systems in all fields of the life. Although advantages of the Artificial Intelligence are widely observed, there is also a dark side employing efforts to design hacking oriented techniques against Artificial Intelligence. Thanks to such techniques, it is possible to trick intelligent systems causing directed results for unsuccessful outputs. That is critical for also cyber wars of the future as it is predicted that the wars will be done unmanned, autonomous intelligent systems. Moving from the explanations, objective of this study is to provide information regarding adversarial examples threatening the Artificial Intelligence and focus on details of some techniques, which are used for creating adversarial examples. Adversarial examples are known as training data, which can trick a Machine Learning technique to learn incorrectly about the target problem and cause an unsuccessful or maliciously directed intelligent system at the end. The study enables the readers to learn enough about details of recent techniques for creating adversarial examples.


title: Machine Learning for Paper Grammage Prediction Based on Sensor Measurements in Paper Mills

abstract: Automation is at the core of modern industry. It aims to increase production rates, decrease production costs, and reduce human intervention in order to avoid human mistakes and time delays during manufacturing. On the other hand, human assistance is usually required to customize products and reconfigure control systems through a special process interface called Human Machine Interface (HMI). Machine Learning (ML) algorithms can effectively be used to resolve this tradeoff between full automation and human assistance.This paper provides an example of the industrial application of ML algorithms to help human operators save their mental effort and avoid time delays and unintended mistakes for the sake of high production rates. Based on real-time sensor measurements, several ML algorithms have been tried to classify paper rolls according to paper grammage in a white paper mill. The performance evaluation shows that the AdaBoost algorithm is the best ML algorithm for this application with classification accuracy (CA), precision, and recall of 97.1%. The generalization of the proposed approach for achieving cost-effective mills construction will be the subject of our future research.


title: OverQ: Opportunistic Outlier Quantization for Neural Network Accelerators

abstract: Outliers in weights and activations pose a key challenge for fixed-point quantization of neural networks. While they can be addressed by fine-tuning, this is not practical for ML service providers (e.g., Google or Microsoft) who often receive customer models without training data. Specialized hardware for handling activation outliers can enable low-precision neural networks, but at the cost of nontrivial area overhead. We instead propose overwrite quantization (OverQ), a lightweight hardware technique that opportunistically increases bitwidth for activation outliers by overwriting nearby zeros. It has two major modes of operation: range overwrite and precision overwrite. Range overwrite reallocates bits to increase the range of outliers, while precision overwrite reuses zeros to increase the precision of non-outlier values. Combining range overwrite with a simple cascading logic, we handle the vast majority of outliers to significantly improve model accuracy at low bitwidth. Our experiments show that with modest cascading, we can consistently handle over 90% of outliers and achieve +5% ImageNet Top-1 accuracy on a quantized ResNet-50 at 4 bits. Our ASIC prototype shows OverQ can be implemented efficiently on top of existing weight-stationary systolic arrays with small area increases per processing element. We imagine this technique can complement modern DNN accelerator designs to provide small increases in accuracy with insignificant area overhead.


title: Optimal ratcheting of dividends in insurance

abstract: We address a long-standing open problem in risk theory, namely the optimal strategy to pay out dividends from an insurance surplus process, if the dividend rate can never be decreased. The optimality criterion here is to maximize the expected value of the aggregate discounted dividend payments up to the time of ruin. In the framework of the classical Cram\'{e}r-Lundberg risk model, we solve the corresponding two-dimensional optimal control problem and show that the value function is the unique viscosity solution of the corresponding Hamilton-Jacobi-Bellman equation. We also show that the value function can be approximated arbitrarily closely by ratcheting strategies with only a finite number of possible dividend rates and identify the free boundary and the optimal strategies in several concrete examples. These implementations illustrate that the restriction of ratcheting does not lead to a large efficiency loss when compared to the classical un-constrained optimal dividend strategy.


title: Invitation to Hadamard matrices

abstract: An Hadamard matrix is a square matrix $H\in M_N(\pm1)$ whose rows and pairwise orthogonal. More generally, we can talk about the complex Hadamard matrices, which are the square matrices $H\in M_N(\mathbb C)$ whose entries are on the unit circle, $|H_{ij}|=1$, and whose rows and pairwise orthogonal. The main examples are the Fourier matrices, $F_N=(w^{ij})$ with $w=e^{2\pi i/N}$, and at the level of the general theory, the complex Hadamard matrices can be thought of as being some sort of exotic, generalized Fourier matrices. We discuss here the basic theory of the Hadamard matrices, real and complex, with emphasis on the complex matrices, and their geometric and analytic aspects.


title: New linearization and reweighting for simulations of string sigma-model on the lattice

abstract: We study the discretized worldsheet of Type IIB strings in the Gubser-Klebanov-Polyakov background in a new setup, which eliminates a complex phase previously detected in the fermionic determinant. A sign ambiguity remains, which a study of the fermionic spectrum shows to be related to Yukawa-like terms, including those present in the original Lagrangian before the linearization standard in a lattice QFT approach. Monte Carlo simulations are performed in a large region of the parameter space, where the sign problem starts becoming severe and instabilities appear due to the zero eigenvalues of the fermionic operator. To face these problems, simulations are conducted using the absolute value of a fermionic Pfaffian obtained introducing a small twisted-mass term, acting as an infrared regulator, into the action. The sign of the Pfaffian and the low modes of the quadratic fermionic operator are then taken into account by a reweighting procedure of which we discuss the impact on the measurement of the observables. In this setup we study bosonic and fermionic correlators and observe a divergence in the latter, which we argue - also via a one-loop analysis in lattice perturbation theory - to originate from the U(1)-breaking of our Wilson-like discretization for the fermionic sector.


title: Waveform Feature Implementation for FRIB LLRF Controllers

abstract: Waveform feature is one of the requirements for the FRIB LLRF controllers. It is desired that the LLRF con-trollers store the internal data (e.g. the amplitude and phase information of forward/reverse/cavity signals) for at least one second of sampled data at the RF feedback control loop rate (around 1.25 MHz). One use case is to freeze the data buffer when an interlock event happens and read out the fast data to diagnose the problem. An-other use case is to monitor a set of signals at a decimated rate (user settable) while the data buffer is still running, like using an oscilloscope. The detailed implementation will be discussed in the paper, including writing data into the DDR memory through the native interface, reading out the data through the bus interface, etc.


title: Bayesian Inverse Problems with Heterogeneous Variance

abstract: We consider inverse problems in Hilbert spaces under correlated Gaussian noise and use a Bayesian approach to find their regularised solution. We focus on mildly ill-posed inverse problems with the noise being generalised derivative of fractional Brownian motion, using a novel wavelet - based approach we call vaguelette-vaguelette. It allows us to apply sequence space methods without assuming that all operators are simultaneously diagonalisable. The results are proved for more general bases and covariance operators. Our primary aim is to study the posterior contraction rate in such inverse problems over Sobolev classes of true functions, comparing it to the derived minimax rate. Secondly, we study the effect of plugging in a consistent estimator of variances in sequence space on the posterior contraction rate, for instance where there are repeated observations. This result is also applied to the problem where the forward operator is observed with error. Thirdly, we show that an adaptive empirical Bayes posterior distribution contracts at the optimal rate, in the minimax sense, under a condition on prior smoothness, with a plugged in maximum marginal likelihood estimator of the prior scale. These theoretical results are illustrated on simulated data.


title: A universal form of complex potentials with spectral singularities

abstract: We establish necessary and sufficient conditions for complex potentials in the Schr\"odinger equation to enable spectral singularities (SSs) and show that such potentials have the universal form $U(x) = -w^2(x) - iw_x(x) + k_0^2$, where $w(x)$ is a differentiable function, such that $\lim_{x\to \pm \infty}w(x)=\mp k_0$, and $k_0$ is a nonzero real. We also find that when $k_0$ is a complex number, then the eigenvalue of the corresponding Shr\"odinger operator has an exact solution which, depending on $k_0$, represents a coherent perfect absorber (CPA), laser, a localized bound state, a quasi bound state in the continuum (a quasi-BIC), or an exceptional point (the latter requiring additional conditions). Thus, $k_0$ is a bifurcation parameter that describes transformations among all those solutions. Additionally, in a more specific case of a real-valued function $w(x)$ the resulting potential, although not being $PT$ symmetric, can feature a self-dual spectral singularity associated with the CPA-laser operation. In the space of the system parameters, the transition through each self-dual spectral singularity corresponds to a bifurcation of a pair of complex-conjugate propagation constants from the continuum. The bifurcation of a first complex-conjugate pair corresponds to the phase transition from purely real to complex spectrum.


title: Strange nonchaos in self-excited singing flames

abstract: We report the first experimental evidence of strange nonchaotic attractor (SNA) in the natural dynamics of a self-excited laboratory-scale system. In the previous experimental studies, the birth of SNA was observed in quasiperiodically forced systems; however, such an evidence of SNA in an autonomous laboratory system is yet to be reported. We discover the presence of SNA in between the attractors of quasiperiodicity and chaos through a fractalization route in a laboratory thermoacoustic system. The observed dynamical transitions from order to chaos via SNA is confirmed through various nonlinear characterization methods prescribed for the detection of SNA.


title: Canonical bundle formula and degenerating families of volume forms

abstract: General canonical bundle formula due to Kawamata and others has played fundamental roles in algebraic geometry. We show that the canonical bundle formula has analytic characterization in terms of fiberwise integration, which confirms a folklore conjecture. The proof uses $L^2$ metrics and the valuative equivalence of plurisubharmonic singularities. As an application, we identify the singularity of the Ohsawa measure from a general $L^2$ extension theorem of Demailly for log canonical pairs, in terms of the singularity in Kawamata's subadjunction. As another application, we give a partial answer to a question of Berndtsson on semipositivity theorems.


title: Large Deflections of Inextensible Cantilevers: Modeling, Theory, and Simulation

abstract: A recent large deflection cantilever model is considered. The principal nonlinear effects come through the beam's inextensibility---local arc length preservation---rather than traditional extensible effects attributed to fully restricted boundary conditions. Enforcing inextensibility leads to: nonlinear stiffness terms, which appear as quasilinear and semilinear effects, as well as nonlinear inertia effects, appearing as nonlocal terms that make the beam implicit in the acceleration. In this paper we discuss the derivation of the equations of motion via Hamilton's principle with a Lagrange multiplier to enforce the effective inextensibility constraint. We then provide the functional framework for weak and strong solutions before presenting novel results on the existence and uniqueness of strong solutions. A distinguishing feature is that the two types of nonlinear terms prevent independent challenges: the quasilinear nature of the stiffness forces higher topologies for solutions, while the nonlocal inertia requires the consideration of Kelvin-Voigt type damping to close estimates. Finally, a modal approach is used to produce mathematically-oriented numerical simulations that provide insight to the features and limitations of the inextensible model.


title: Anisotropy of Cosmic Ray Fluxes Measured with the Alpha Magnetic Spectrometer on the ISS

abstract: A measurement of the dipole anisotropy in galactic coordinates for different charged cosmic rays has been performed with the Alpha Magnetic Spectrometer (AMS) onboard the International Space Station (ISS). Results are presented for the first 7.5 years of data taking for protons, Helium, Carbon and Oxygen, and 6.5 years for positrons and electrons. All the species are found to be consistent with isotropy and upper limits to the dipole amplitude have been computed. In particular, for energies above 16 GeV a limit of delta < 1.9% and delta < 0.5% at the 95% C.I. is found for positrons and electrons respectively. For rigidities above 200 GV a limit of delta < 0.38%, delta < 0.36%, delta < 1.9% and delta < 1.7% is obtained for protons, Helium, Carbon and Oxygen.


title: Apply Sorting Algorithms to FAST Problem

abstract: FAST problem is finding minimum feedback arc set problem in tournaments. In this paper we present some algorithms that are similar to sorting algorithms for FAST problem and we analyze them. We present Pseudo_InsertionSort algorithm for FAST problem and we show that average number of all backward edges in output of that is equal to ((n^2-5n+8)/4)-2^(1-n). We introduce Pseudo_MergeSort algorithm and we find the probability of being backward for an edge. Finally we introduce other algorithms for this problem.


title: Time-Reversal Invariant Topological Superconductivity in Planar Josephson Bijunction

abstract: We consider a Josephson bijunction consisting of a thin $SIS$ $\pi$-Josephson junction sandwiched between two-dimensional semiconducting layers with strong Rashba spin-orbit interaction. Each of these layers forms an $SNS$ junction due to proximity-induced superconductivity. The $SIS$ junction is assumed to be thin enough such that the two Rashba layers are tunnel-coupled. We show that, by tuning external gates, this system can be controllably brought into a time-reversal invariant topological superconducting phase with a Kramers pair of Majorana bound states being localized at the end of the normal region for a large parameter phase space. In particular, in the strong spin-orbit interaction limit, the topological phase can be accessed already in the regime of small tunneling amplitudes.


title: Gradient penalty from a maximum margin perspective

abstract: A popular heuristic for improved performance in Generative adversarial networks (GANs) is to use some form of gradient penalty on the discriminator. This gradient penalty was originally motivated by a Wasserstein distance formulation. However, the use of gradient penalty in other GAN formulations is not well motivated. We present a unifying framework of expected margin maximization and show that a wide range of gradient-penalized GANs (e.g., Wasserstein, Standard, Least-Squares, and Hinge GANs) can be derived from this framework. Our results imply that employing gradient penalties induces a large-margin classifier (thus, a large-margin discriminator in GANs). We describe how expected margin maximization helps reduce vanishing gradients at fake (generated) samples, a known problem in GANs. From this framework, we derive a new $L^\infty$ gradient norm penalty with Hinge loss which generally produces equally good (or better) generated output in GANs than $L^2$-norm penalties (based on the Fr\'echet Inception Distance).


title: On ergodic embeddings of factors

abstract: An inclusion of von Neumann factors $M \subset \Cal M$ is {\it ergodic} if it satisfies the irreducibility condition $M'\cap \Cal M=\Bbb C$. We investigate the relation between this and several stronger ergodicity properties, such as $R$-{\it ergodicity}, which requires $M$ to admit an embedding of the hyperfinite II$_1$ factor $R\hookrightarrow M$ that's ergodic in $\Cal M$. We prove that if $M$ is {\it continuous} (i.e., non type I) and contains a maximal abelian $^*$-subalgebra of $\Cal M$, then $M\subset \Cal M$ is $R$-ergodic. This shows in particular that any continuous factor contains an ergodic copy of $R$.


title: DP-MAC: The Differentially Private Method of Auxiliary Coordinates for Deep Learning

abstract: Developing a differentially private deep learning algorithm is challenging, due to the difficulty in analyzing the sensitivity of objective functions that are typically used to train deep neural networks. Many existing methods resort to the stochastic gradient descent algorithm and apply a pre-defined sensitivity to the gradients for privatizing weights. However, their slow convergence typically yields a high cumulative privacy loss. Here, we take a different route by employing the method of auxiliary coordinates, which allows us to independently update the weights per layer by optimizing a per-layer objective function. This objective function can be well approximated by a low-order Taylor's expansion, in which sensitivity analysis becomes tractable. We perturb the coefficients of the expansion for privacy, which we optimize using more advanced optimization routines than SGD for faster convergence. We empirically show that our algorithm provides a decent trained model quality under a modest privacy budget.


title: Effects of Metallicity on High Mass X-ray Binary Formation

abstract: The heating of the intergalactic medium in the early, metal-poor Universe may have been partly due to radiation from high mass X-ray binaries (HMXBs). Previous investigations on the effect of metallicity have used galaxies of different types. To isolate the effects of metallicity on the production of HMXBs, we study a sample consisting only of 46 blue compact dwarf galaxies (BCDs) covering metallicity in the range 12+log(O/H) of 7.15 to 8.66. To test the hypothesis of metallicity dependence in the X-ray luminosity function (XLF), we fix the XLF form to that found for near-solar metallicity galaxies and use a Bayesian method to constrain the XLF normalization as a function of star formation rate (SFR) for three different metallicity ranges in our sample. We find an increase by a factor of 4.45 $\pm$ 2.04 in the XLF normalization between the metallicity ranges 7.1-7.7 and 8.2-8.66 at a statistical significance of 99.79 per cent. Our results suggest that HMXB production is enhanced at low metallicity, and consequently that HMXBs may have contributed significantly to the reheating of the early Universe.


title: Search for $A'\!\to\!\mu^+\mu^-$ decays

abstract: Searches are performed for both prompt-like and long-lived dark photons, $A'$, produced in proton-proton collisions at a center-of-mass energy of 13 TeV. These searches look for $A'\!\to\!\mu^+\mu^-$ decays using a data sample corresponding to an integrated luminosity of 5.5/fb collected with the LHCb detector. Neither search finds evidence for a signal, and 90% confidence-level exclusion limits are placed on the $\gamma$-$A'$ kinetic-mixing strength. The prompt-like $A'$ search explores the mass region from near the dimuon threshold up to 70 GeV, and places the most stringent constraints to date on dark photons with $214 < m(A') \lesssim 740$ MeV and $10.6 < m(A') \lesssim 30$ GeV. The search for long-lived $A'\!\to\!\mu^+\mu^-$ decays places world-leading constraints on low-mass dark photons with lifetimes $\mathcal{O}(1)$ ps.


title: A functional equation related to generalized entropies and the modular group

abstract: We solve a functional equation connected to the algebraic characterization of generalized information functions. To prove the symmetry of the solution, we study a related system of functional equations, which involves two homographies. These transformations generate the modular group, and this fact plays a crucial role in solving the system. The method suggests a more general relation between conditional probabilities and arithmetic.


title: The binomial transform of p-recursive sequences and the dilogarithm function

abstract: Using a generalized binomial transform and a novel binomial coefficient identity, we will show that the set of p-recursive sequences is closed under the binomial transform. Using these results, we will derive a new series representation for the dilogarithm function that converges on $\mathbf{C} \, \backslash \, [1,\infty)$. Finally, we will show that this series representation results in a scheme for numerical evaluation of the dilogarithm function that is accurate, efficient, and stable.


title: Existence of global weak solutions to the Navier-Stokes equations in weighted spaces

abstract: We obtain a global existence result for the three-dimensional Navier-Stokes equations with a large class of data allowing growth at spatial infinity. Namely, we show the global existence of suitable weak solutions when the initial data belongs to the weighted space $\mathring M^{2,2}_{\mathcal C}$ introduced in [Z. Bradshaw and I. Kukavica, Existence of suitable weak solutions to the Navier-Stokes equations for intermittent data, J. Math. Fluid Mech. to appear]. This class is strictly larger than currently available spaces of initial data for global existence and includes all locally square integrable discretely self-similar data. We also identify a sub-class of data for which solutions exhibit eventual regularity on a parabolic set in space-time.


abstract: In this paper, we classify the Einstein hypersurfaces of $\mathbb{S}^n \times \mathbb{R}$ and $\mathbb{H}^n \times \mathbb{R}$. We use the characterization of the hypersurfaces of $\mathbb{S}^n \times \mathbb{R}$ and $\mathbb{H}^n \times \mathbb{R}$ whose tangent component of the unit vector field spanning the factor $\mathbb{R}$ is a principal direction and the theory of isoparametric hypersurfaces of space forms to show that Einstein hypersurfaces of $\mathbb{S}^n \times \mathbb{R}$ and $\mathbb{H}^n \times \mathbb{R}$ must have constant sectional curvature.


title: Self-Consistent Local Mean-Field Theory for Phase Transitions and Magnetic Properties of FeRh

abstract: FeRh has a phase transition from an antiferromagnetic state (low temperature) to a ferromagnetic state (high temperature) at 360 K. Various explanations for this behavior have been proposed over the past 20 years. However, many of the mechanisms are inconsistent with all the data. Early models were Ising-like, but the large anisotropy fields necessary for this are not found in hysteresis curves. Using a four-spin Hamiltonian, we obtain a complete theoretical description of the field and temperature phase diagram and the magnetic properties for FeRh. The theoretical results are in good agreement with experiments. We use our approach to predict changes in behavior as a function of the thickness of an FeRh film. We find the four-spin Hamiltonian is particularly sensitive to the presence of a surface, with thinner films remaining ferromagnetic over a larger temperature range because the four-spin contribution to the energy (which favors the antiferromagnetic state) is smaller.


title: From Academia to Software Development: Publication Citations in Source Code Comments

abstract: Academic publications have been evaluated in terms of their impact on research communities based on many metrics, such as the number of citations. On the other hand, the impact of academic publications on industry has been rarely studied. This paper investigates how academic publications contribute to software development by analyzing publication citations in source code comments in open source software repositories. We propose an automated approach for detecting academic publications based on Named Entity Recognition, and achieve 0.90 in $F_1$ as detection accuracy. We conduct a large-scale study of publication citations with 319,438,977 comments collected from 25,925 active repositories written in seven programming languages. Our findings indicate that academic publications can be knowledge sources for software development. These referenced publications are particularly from journals. In terms of knowledge transfer, algorithm is the most prevalent type of knowledge transferred from the publications, with proposed formulas or equations typically implemented in methods or functions in source code files. In a closer look at GitHub repositories referencing academic publications, we find that science-related repositories are the most frequent among GitHub repositories with publication citations, and that the vast majority of these publications are referenced by repository owners who are different from the publication authors. We also find that referencing older publications can lead to potential issues related to obsolete knowledge.


title: Assortment and Reciprocity Mechanisms for Promotion of Cooperation in a Model of Multilevel Selection

abstract: In the study of the evolution of cooperation, many mechanisms have been proposed to help overcome the self-interested cheating that is individually optimal in the Prisoners' Dilemma game. These mechanisms include assortative or networked social interactions, other-regarding preferences considering the payoffs of others, reciprocity rules to establish cooperation as a social norm, and multilevel selection involving simultaneous competition between individuals favoring cheaters and competition between groups favoring cooperators. In this paper, we build on recent work studying PDE replicator equations for multilevel selection to understand how within-group mechanisms of assortment, other-regarding preferences, and both direct and indirect reciprocity can help to facilitate cooperation in concert with evolutionary competition between groups. We consider a group-structured population in which interactions between individuals consist of Prisoners' Dilemma games, and study the dynamics of multilevel competition determined by the payoffs individuals receive when interacting according to these within-group mechanisms. We find that the presence of each of these mechanisms acts synergistically with multilevel selection for the promotion of cooperation, decreasing the strength of between-group competition required to sustain long-time cooperation and increasing the collective payoff achieved by the population. However, we find that only other-regarding preferences allows for the achievement of socially optimal collective payoffs for Prisoners' Dilemma games in which average payoff is maximized by an intermediate mix of cooperators and defectors. For the other three mechanisms, the multilevel dynamics remain susceptible to a shadow of lower-level selection, as the collective outcome fails to exceed the payoff of the all-cooperator group.


title: Human Action Recognition with Multi-Laplacian Graph Convolutional Networks

abstract: Convolutional neural networks are nowadays witnessing a major success in different pattern recognition problems. These learning models were basically designed to handle vectorial data such as images but their extension to non-vectorial and semi-structured data (namely graphs with variable sizes, topology, etc.) remains a major challenge, though a few interesting solutions are currently emerging. In this paper, we introduce MLGCN; a novel spectral Multi-Laplacian Graph Convolutional Network. The main contribution of this method resides in a new design principle that learns graph-laplacians as convex combinations of other elementary laplacians each one dedicated to a particular topology of the input graphs. We also introduce a novel pooling operator, on graphs, that proceeds in two steps: context-dependent node expansion is achieved, followed by a global average pooling; the strength of this two-step process resides in its ability to preserve the discrimination power of nodes while achieving permutation invariance. Experiments conducted on SBU and UCF-101 datasets, show the validity of our method for the challenging task of action recognition.


title: CrAs monolayer: Low buckled two-dimensional half-metal ferromagnet

abstract: \textit{Ab-initio} calculations based on density functional theory (DFT) are performed to study the structural, electronic, and magnetic properties of two-dimensional (2D) free-standing honeycomb CrAs. We show that CrAs has low buckled stable structure. Magnetic CrAs has larger buckling than non-magnetic CrAs. 2D-CrAs is a ferromagnetic semiconductor for lattice constant $a \leq 3.71$\AA, and above this lattice constant CrAs is a half-metal ferromagnet. 2D-CrAs is shown to be half-metal ferromagnetic with magnetic moment of 3.0$\mu_{\rm{B}}$ per unit cell, at equilibrium structure. The $d_{z}^{2}$ orbital of $e_{g}$ band is completely empty in the spin-down state whereas it is almost occupied in the spin-up state, and the magnetic moment in the $e_{g}$ band is mainly dominated by the $d_{z}^{2}$ orbital of Cr. The $d_{zx}/d_{zy}$ and $d_{xy}$ orbitals of $t_{2g}$ band are partially occupied in the spin-up state and behaves as metal whereas they are insulator in the spin-down state. Phonon calculations confirm the thermodynamic stability of 2D-CrAs. The ferromagnetic (FM) and antiferromagnetic (AFM) interaction between the Cr atoms reveal that the FM state is more stable than the AFM state of 2D-CrAs.


title: Adversarial Numerical Analysis for Inverse Problems

abstract: Many scientific and engineering applications are formulated as inverse problems associated with stochastic models. In such cases the unknown quantities are distributions. The applicability of traditional methods is limited because of their demanding assumptions or prohibitive computational consumptions; for example, maximum likelihood methods require closed-form density functions, and Markov Chain Monte Carlo needs a large number of simulations. We introduce adversarial numerical analysis, which estimates the unknown distributions by minimizing the discrepancy of statistical properties between observed random process and simulated random process. The discrepancy metric is computed with a discriminative neural network. We demonstrated numerically that the proposed methods can estimate the underlying parameters and learn complicated unknown distributions.


title: On the Linear and Asymptotically Superlinear Convergence Rates of the Augmented Lagrangian Method with a Practical Relative Error Criterion

abstract: In this paper, we conduct a convergence rate analysis of the augmented Lagrangian method with a practical relative error criterion designed in Eckstein and Silva [Math. Program., 141, 319--348 (2013)] for convex nonlinear programming problems. We show that under a mild local error bound condition, this method admits locally a Q-linear rate of convergence. More importantly, we show that the modulus of the convergence rate is inversely proportional to the penalty parameter. That is, an asymptotically superlinear convergence is obtained if the penalty parameter used in the algorithm is increasing to infinity, or an arbitrarily Q-linear rate of convergence can be guaranteed if the penalty parameter is fixed but it is sufficiently large. Besides, as a byproduct, the convergence, as well as the convergence rate, of the distance from the primal sequence to the solution set of the problem is obtained.


title: Three-dimensional imaging of beam-induced biasing of InP/GaInP tunnel diodes

abstract: Electron Holographic Tomography was used to obtain 3-dimensional reconstructions of the morphology and electrostatic potential gradient of axial GaInP/InP nanowire tunnel diodes. Crystal growth was carried out in two opposite directions: GaInP:Zn/InP:S and InP:Sn/GaInP:Zn, using Zn as the p-type dopant in the GaInP, but with changes to the n-type dopant (S or Sn) in the InP. Secondary electron and electron beam induced current images obtained using scanning electron microscopy indicated the presence of p-n junctions in both cases and current-voltage characteristics measured via lithographic contacts showed the negative differential resistance, characteristic of band-to-band tunneling, for both diodes. EHT measurements confirmed a short depletion width in both cases ($21 \pm 3$ nm), but different built-in potentials, $V_{bi}$, of 1.0 V for the p-type (Zn) to n-type (S) transition, and 0.4 V for both were lower than the expected 1.5 V for these junctions, if degenerately-doped. Charging induced by the electron beam was evident in phase images which showed non-linearity in the surrounding vacuum, most severe in the case of the nanowire grounded at the \emph{p}-type Au contact. We attribute their lower $V_{bi}$ to asymmetric secondary electron emission, beam-induced current biasing and poor grounding contacts.


title: Learning Sample-Specific Models with Low-Rank Personalized Regression

abstract: Modern applications of machine learning (ML) deal with increasingly heterogeneous datasets comprised of data collected from overlapping latent subpopulations. As a result, traditional models trained over large datasets may fail to recognize highly predictive localized effects in favour of weakly predictive global patterns. This is a problem because localized effects are critical to developing individualized policies and treatment plans in applications ranging from precision medicine to advertising. To address this challenge, we propose to estimate sample-specific models that tailor inference and prediction at the individual level. In contrast to classical ML models that estimate a single, complex model (or only a few complex models), our approach produces a model personalized to each sample. These sample-specific models can be studied to understand subgroup dynamics that go beyond coarse-grained class labels. Crucially, our approach does not assume that relationships between samples (e.g. a similarity network) are known a priori. Instead, we use unmodeled covariates to learn a latent distance metric over the samples. We apply this approach to financial, biomedical, and electoral data as well as simulated data and show that sample-specific models provide fine-grained interpretations of complicated phenomena without sacrificing predictive accuracy compared to state-of-the-art models such as deep neural networks.


title: A Model-based Deep Learning Reconstruction for X-ray CT

abstract: Low dose CT is of great interest in these days. Dose reduction raises noise level in projections and decrease image quality in reconstructions. Model based image reconstruction can combine statistical noise model together with prior knowledge into an Bayesian optimization problem so that significantly reduce noise and artefacts. In this work, we propose a model-base deep learning for CT reconstruction so that a reconstruction network can be trained with no ground-truth images needed. Instead of minimizing cost function for each image, the network learns to minimize an ensemble cost function for the whole training set. No iteration will be needed for real data reconstruction using such a trained network. We experimented with a penalized weighted least-squares (PWLS) cost function for low dose CT reconstruction and tested on data from a practical dental CT. Very encouraging results with great noise reductions are obtained.


title: Homomorphisms of commutator subgroups of braid groups

abstract: We give a complete classification of homomorphisms from the commutator subgroup of the braid group on $n$ strands to the braid group on $n$ strands when $n$ is at least 7. In particular, we show that each nontrivial homomorphism extends to an automorphism of the braid group on $n$ strands. This answers four questions of Vladimir Lin. Our main new tool is the theory of totally symmetric sets.


title: On Weierstrass mock modular forms and a dimension formula for certain vertex operator algebras

abstract: Using techniques from the theory of mock modular forms and harmonic Maass forms, especially Weierstrass mock modular forms, we establish several dimension formulas for certain strongly rational, holomorphic vertex operator algebras, complementing previous work by van Ekeren, M\"oller, and Scheithauer.


title: The Local Elasticity of Neural Networks

abstract: This paper presents a phenomenon in neural networks that we refer to as \textit{local elasticity}. Roughly speaking, a classifier is said to be locally elastic if its prediction at a feature vector $\bx'$ is \textit{not} significantly perturbed, after the classifier is updated via stochastic gradient descent at a (labeled) feature vector $\bx$ that is \textit{dissimilar} to $\bx'$ in a certain sense. This phenomenon is shown to persist for neural networks with nonlinear activation functions through extensive simulations on real-life and synthetic datasets, whereas this is not observed in linear classifiers. In addition, we offer a geometric interpretation of local elasticity using the neural tangent kernel \citep{jacot2018neural}. Building on top of local elasticity, we obtain pairwise similarity measures between feature vectors, which can be used for clustering in conjunction with $K$-means. The effectiveness of the clustering algorithm on the MNIST and CIFAR-10 datasets in turn corroborates the hypothesis of local elasticity of neural networks on real-life data. Finally, we discuss some implications of local elasticity to shed light on several intriguing aspects of deep neural networks.


title: The commutator subgroup of the braid group is generated by two elements

abstract: For $n$ at least 7 and $n$ equal to 5, we give generating sets of size 2 for the commutator subgroup of the braid group on $n$ strands. These generating sets are of the smallest possible cardinality. For $n$ equal to 4 or 6, we give generating sets of size three. We also prove that the commutator subgroup of the braid group on 4 strands cannot be generated by fewer than three elements.


title: Design and Performance of the first IceAct Demonstrator at the South Pole

abstract: In this paper we describe the first results of a compact imaging air-Cherenkov telescope, IceAct, operating in coincidence with the IceCube Neutrino Observatory (IceCube) at the geographic South Pole. An array of IceAct telescopes (referred to as the IceAct project) is under consideration as part of the IceCube-Gen2 extension to IceCube. Surface detectors in general will be a powerful tool in IceCube-Gen2 for distinguishing astrophysical neutrinos from the dominant backgrounds of cosmic-ray induced atmospheric muons and neutrinos: the IceTop array is already in place as part of IceCube, but has a high energy threshold. Although the duty cycle will be lower for the IceAct telescopes than the present IceTop tanks, the IceAct telescopes may prove to be more effective at lowering the detection threshold for air showers. Additionally, small imaging air-Cherenkov telescopes in combination with IceTop, the deep IceCube detector or other future detector systems might improve measurements of the composition of the cosmic ray energy spectrum. In this paper we present measurements of a first 7-pixel imaging air Cherenkov telescope demonstrator, proving the capability of this technology to measure air showers at the South Pole in coincidence with IceTop and the deep IceCube detector.


title: Triplet Track Trigger for Future High Rate Experiments

abstract: The hadron-hadron based Future Circular Collider (FCC-hh) is a project with the goal to collide proton-proton beams at a center of mass energy of sqrt(s)=100 TeV with a bunch crossing rate of 25 ns. Some of the major challenges that the FCC-experiments have to tackle are the very large number of pile-up events of around 1000 and the data processing, namely the reduction of the huge data rate of 1-2 PBytes/s whilst keeping the signal efficiencies of interesting processes high. Therefore, smart triggering concepts are needed that not only allow for a significant reduction of pile-up and rate but also provide high signal acceptance and purity. In this proceeding, one such concept of a triplet track trigger based on Monolithic ActivePixel Sensors (MAPS) is presented for a generic detector geometry. It is demonstrated that the triplet pixel layer design allows for a very simple and fast track reconstruction already at the first trigger level, providing excellent track reconstruction efficiencies and very high purity at the same time. Based on a full Geant4 simulation tracking performance studies are presented for a full-scale triplet pixel detector, i.e. three closely spaced pixel layers at a sufficiently large radius, in an FCC-like detector environment. Results obtained for different triplet layer design parameters are compared.


title: Colouring the normalized Laplacian

abstract: We apply Cauchy's interlacing theorem to derive some eigenvalue bounds to the chromatic number using the normalized Laplacian matrix, including a combinatorial characterization of when equality occurs. Further, we introduce some new expansion type of parameters which generalize the Cheeger constant of a graph, and relate them to the colourings which meet our eigenvalue bound with equality. Finally, we exhibit a family of examples, which include the graphs that appear in the statement of the Erd\H{o}s-Faber-Lov\'asz conjecture.


title: Data-Driven Deep Learning of Partial Differential Equations in Modal Space

abstract: We present a framework for recovering/approximating unknown time-dependent partial differential equation (PDE) using its solution data. Instead of identifying the terms in the underlying PDE, we seek to approximate the evolution operator of the underlying PDE numerically. The evolution operator of the PDE, defined in infinite-dimensional space, maps the solution from a current time to a future time and completely characterizes the solution evolution of the underlying unknown PDE. Our recovery strategy relies on approximation of the evolution operator in a properly defined modal space, i.e., generalized Fourier space, in order to reduce the problem to finite dimensions. The finite dimensional approximation is then accomplished by training a deep neural network structure, which is based on residual network (ResNet), using the given data. Error analysis is provided to illustrate the predictive accuracy of the proposed method. A set of examples of different types of PDEs, including inviscid Burgers' equation that develops discontinuity in its solution, are presented to demonstrate the effectiveness of the proposed method.


title: How to Eliminate Detour Behaviors in E-hailing? Real-time Detecting and Time-dependent Pricing

abstract: With the rapid development of information and communication technology (ICT), taxi business becomes a typical electronic commerce mode. However, one traditional problem still exists in taxi service, that greedy taxi drivers may deliberately take unnecessary detours to overcharge passengers. The detection of these fraudulent behaviors is essential to ensure high-quality taxi service. In this paper, we propose a novel framework for detecting and analyzing the detour behaviors both in off-line database and among on-line trips. Applying our framework to real-world taxi data-set, a remarkable performance (AUC surpasses 0.98) has been achieved in off-line classification. Meanwhile, we further extend the off-line methods to on-line detection, a warning mechanism is introduced to remind drivers and an excellent precision (AUC surpasses 0.90) also has arrived in this phases. After conducting extensive experiments to verify the relationships between pricing regulations and detour behaviors, some quantitative pricing suggestions, including rising base fare and reducing distance-based fare rate, are provided to eliminate detour behaviors from the long term.


title: Jointly Discriminative and Generative Recurrent Neural Networks for Learning from fMRI

abstract: Recurrent neural networks (RNNs) were designed for dealing with time-series data and have recently been used for creating predictive models from functional magnetic resonance imaging (fMRI) data. However, gathering large fMRI datasets for learning is a difficult task. Furthermore, network interpretability is unclear. To address these issues, we utilize multitask learning and design a novel RNN-based model that learns to discriminate between classes while simultaneously learning to generate the fMRI time-series data. Employing the long short-term memory (LSTM) structure, we develop a discriminative model based on the hidden state and a generative model based on the cell state. The addition of the generative model constrains the network to learn functional communities represented by the LSTM nodes that are both consistent with the data generation as well as useful for the classification task. We apply our approach to the classification of subjects with autism vs. healthy controls using several datasets from the Autism Brain Imaging Data Exchange. Experiments show that our jointly discriminative and generative model improves classification learning while also producing robust and meaningful functional communities for better model understanding.


title: Fields and Characteristic Impedances of Dipole and Quadrupole Cylindrical Stripline Kickers

abstract: We present semi-analytical methods for calculating the electromagnetic field in dipole and quadrupole stripline kickers with curved plates of infinitesimal thickness. Two different methods are used to solve Laplace's equation by reducing it either to a single or to two coupled matrix equations; they are shown to yield equivalent results. Approximate analytic solutions for the lowest order fields (dipole or quadrupole) are presented and their useful range of validity are shown. The kickers plates define a set of coupled transmission lines and the characteristic impedances of modes relevant to each configuration are calculated. The solutions are compared with those obtained from a finite element solver and found to be in good agreement. Mode matching to an external impedance determines the kicker geometry and this is discussed for both kicker types. We show that a heuristic scaling law can be used to determine the dependence of the characteristic impedance on plate thickness. The solutions found by semi-analytical methods can be used as a starting point for a more detailed kicker design.


title: Multiplicative Noise in Euclidean Schwarzschild Manifold

abstract: We discuss a $\lambda\varphi^{4}+\rho\varphi^{6}$ scalar field model defined in the Euclidean section of the Schwarzschild solution of the Einstein equations in the presence of multiplicative noise. The multiplicative random noise is a model for fluctuations of the Hawking temperature. We adopt the standard procedure of averaging the noise dependent generating functional of connected correlation functions of the model. The dominant contribution to this quantity is represented by a series of the moments of the generating functional of correlation functions of the system. Positive and negative effective coupling constants appear in these integer moments. Fluctuations in the Hawking temperature are able to generate first-order phase transitions. Using the Gaussian approximation, we compute $\langle\varphi^{2}\rangle$ for arbitrary values of the strength of the noise. Due to the presence of the multiplicative noise, we show that $\langle\varphi^{2}\rangle$ near the horizon must be written as a series of the the renormalized two-point correlation functions associated to a free scalar field in Euclidean Rindler manifold.


title: Electron Neutrino Energy Reconstruction in NOvA Using CNN Particle IDs

abstract: NOvA is a long-baseline neutrino oscillation experiment. It is optimized to measure $\nu_e$ appearance and $\nu_{\mu}$ disappearance at the Far Detector in the $\nu_{\mu}$ beam produced by the NuMI facility at Fermilab. NOvA uses a convolutional neural network (CNN) to identify neutrino events in two functionally identical liquid scintillator detectors. A different network, called prong-CNN, has been used to classify reconstructed particles in each event as either lepton or hadron. Within each event, hits are clustered into prongs to reconstruct final-state particles and these prongs form the input to this prong-CNN classifier. Classified particle energies are then used as input to an electron neutrino energy estimator. Improving the resolution and systematic robustness of NOvA's energy estimator will improve the sensitivity of the oscillation parameters measurement. This paper describes the methods to identify particles with prong-CNN and the following approach to estimate $\nu_e$ energy for signal events.


title: Context Matters: Recovering Human Semantic Structure from Machine Learning Analysis of Large-Scale Text Corpora

abstract: Applying machine learning algorithms to large-scale, text-based corpora (embeddings) presents a unique opportunity to investigate at scale how human semantic knowledge is organized and how people use it to judge fundamental relationships, such as similarity between concepts. However, efforts to date have shown a substantial discrepancy between algorithm predictions and empirical judgments. Here, we introduce a novel approach of generating embeddings motivated by the psychological theory that semantic context plays a critical role in human judgments. Specifically, we train state-of-the-art machine learning algorithms using contextually-constrained text corpora and show that this greatly improves predictions of similarity judgments and feature ratings. By improving the correspondence between representations derived using embeddings generated by machine learning methods and empirical measurements of human judgments, the approach we describe helps advance the use of large-scale text corpora to understand the structure of human semantic representations.


title: Nonlinear instability for the surface quasi-geostrophic equation in the supercritical regime

abstract: We consider the forced surface quasi-geostrophic equation with supercritical dissipation. We show that linear instability for steady state solutions leads to their nonlinear instability. When the dissipation is given by a fractional Laplacian, the nonlinear instability is expressed in terms of the scaling invariant norm, while we establish stronger instability claims in the setting of logarithmically supercritical dissipation. A key tool in treating the logarithmically supercritical setting is a global well-posedness result for the forced equation, which we prove by adapting and extending recent work related to nonlinear maximum principles. We believe that our proof of global well-posedness is of independent interest, to our knowledge giving the first large-data supercritical result with sharp regularity assumptions on the forcing term.


title: Neural tangent kernels, transportation mappings, and universal approximation

abstract: This paper establishes rates of universal approximation for the shallow neural tangent kernel (NTK): network weights are only allowed microscopic changes from random initialization, which entails that activations are mostly unchanged, and the network is nearly equivalent to its linearization. Concretely, the paper has two main contributions: a generic scheme to approximate functions with the NTK by sampling from transport mappings between the initial weights and their desired values, and the construction of transport mappings via Fourier transforms. Regarding the first contribution, the proof scheme provides another perspective on how the NTK regime arises from rescaling: redundancy in the weights due to resampling allows individual weights to be scaled down. Regarding the second contribution, the most notable transport mapping asserts that roughly $1 / \delta^{10d}$ nodes are sufficient to approximate continuous functions, where $\delta$ depends on the continuity properties of the target function. By contrast, nearly the same proof yields a bound of $1 / \delta^{2d}$ for shallow ReLU networks; this gap suggests a tantalizing direction for future work, separating shallow ReLU networks and their linearization.


title: Near wall patch representation of wall bounded turbulence

abstract: Recent experimental and computational studies indicate that near wall turbulent flows can be characterized by universal small scale autonomous dynamics that are modulated by large scale structures. We formulate numerical simulations of near wall turbulence in a small domain localized to the boundary, whose size scales in viscous units. To mimic the environment in which the near wall turbulence evolves, our formulation accounts for the flux of mean momentum through the upper boundary of the domain. Comparisons of the model's two dimensional energy spectra and low order single-point statistics with the corresponding quantities computed from zero and mild favorable pressure gradient direct numerical simulations indicate it successfully captures the dynamics of the small scale near wall turbulence.


title: Quantum isomorphism is equivalent to equality of homomorphism counts from planar graphs

abstract: Over 50 years ago, Lov\'{a}sz proved that two graphs are isomorphic if and only if they admit the same number of homomorphisms from any graph [Acta Math. Hungar. 18 (1967), pp. 321--328]. In this work we prove that two graphs are quantum isomorphic (in the commuting operator framework) if and only if they admit the same number of homomorphisms from any planar graph. As there exist pairs of non-isomorphic graphs that are quantum isomorphic, this implies that homomorphism counts from planar graphs do not determine a graph up to isomorphism. Another immediate consequence is that determining whether there exists some planar graph that has a different number of homomorphisms to two given graphs is an undecidable problem, since quantum isomorphism is known to be undecidable. Our characterization of quantum isomorphism is proven via a combinatorial characterization of the intertwiner spaces of the quantum automorphism group of a graph based on counting homomorphisms from planar graphs. This result inspires the definition of "graph categories" which are analogous to, and a generalization of, partition categories that are the basis of the definition of easy quantum groups. Thus we introduce a new class of "graph-theoretic quantum groups" whose intertwiner spaces are spanned by maps associated to (bi-labeled) graphs. Finally, we use our result on quantum isomorphism to prove an interesting reformulation of the Four Color Theorem: that any planar graph is 4-colorable if and only if it has a homomorphism to a specific Cayley graph on the symmetric group $S_4$ which contains a complete subgraph on four vertices but is not 4-colorable.


title: Poisson Commuting Energies for a System of Infinitely Many Bosons

abstract: We consider the cubic Gross-Pitaevskii (GP) hierarchy in one spatial dimension. We establish the existence of an infinite sequence of observables such that the corresponding trace functionals, which we call ``energies,'' commute with respect to the weak Lie-Poisson structure defined by the authors in arXiv:1908.03847. The Hamiltonian equation associated to the third energy functional is precisely the GP hierarchy. The equations of motion corresponding to the remaining energies generalize the well-known nonlinear Schr\"odinger hierarchy, the third element of which is the one-dimensional cubic nonlinear Schr\"odinger equation. This work provides substantial evidence for the GP hierarchy as a new integrable system.


title: Deep Learning for Massive MIMO with 1-Bit ADCs: When More Antennas Need Fewer Pilots

abstract: This paper considers uplink massive MIMO systems with 1-bit analog-to-digital converters (ADCs) and develops a deep-learning based channel estimation framework. In this framework, the prior channel estimation observations and deep neural network models are leveraged to learn the non-trivial mapping from quantized received measurements to channels. For that, we derive the sufficient length and structure of the pilot sequence to guarantee the existence of this mapping function. This leads to the interesting, and \textit{counter-intuitive}, observation that when more antennas are employed by the massive MIMO base station, our proposed deep learning approach achieves better channel estimation performance, for the same pilot sequence length. Equivalently, for the same channel estimation performance, this means that when more antennas are employed, fewer pilots are required. This observation is also analytically proved for some special channel models. Simulation results confirm our observations and show that more antennas lead to better channel estimation both in terms of the normalized mean squared error and the achievable signal-to-noise ratio per antenna.


title: Tiny Video Networks

abstract: Video understanding is a challenging problem with great impact on the abilities of autonomous agents working in the real-world. Yet, solutions so far have been computationally intensive, with the fastest algorithms running for more than half a second per video snippet on powerful GPUs. We propose a novel idea on video architecture learning - Tiny Video Networks - which automatically designs highly efficient models for video understanding. The tiny video models run with competitive performance for as low as 37 milliseconds per video on a CPU and 10 milliseconds on a standard GPU.


title: SegSort: Segmentation by Discriminative Sorting of Segments

abstract: Almost all existing deep learning approaches for semantic segmentation tackle this task as a pixel-wise classification problem. Yet humans understand a scene not in terms of pixels, but by decomposing it into perceptual groups and structures that are the basic building blocks of recognition. This motivates us to propose an end-to-end pixel-wise metric learning approach that mimics this process. In our approach, the optimal visual representation determines the right segmentation within individual images and associates segments with the same semantic classes across images. The core visual learning problem is therefore to maximize the similarity within segments and minimize the similarity between segments. Given a model trained this way, inference is performed consistently by extracting pixel-wise embeddings and clustering, with the semantic label determined by the majority vote of its nearest neighbors from an annotated set. As a result, we present the SegSort, as a first attempt using deep learning for unsupervised semantic segmentation, achieving $76\%$ performance of its supervised counterpart. When supervision is available, SegSort shows consistent improvements over conventional approaches based on pixel-wise softmax training. Additionally, our approach produces more precise boundaries and consistent region predictions. The proposed SegSort further produces an interpretable result, as each choice of label can be easily understood from the retrieved nearest segments.


title: Bounding the tripartite-circle crossing number of complete tripartite graphs

abstract: A tripartite-circle drawing of a tripartite graph is a drawing in the plane, where each part of a vertex partition is placed on one of three disjoint circles, and the edges do not cross the circles. We present upper and lower bounds on the minimum number of crossings in tripartite-circle drawings of $K_{m,n,p}$. In contrast to 1- and 2-circle drawings, which may attain the Harary-Hill bound, our results imply that balanced restricted 3-circle drawings of the complete graph are not optimal.


title: \texttt{code::proof}: Prepare for \emph{most} weather conditions

abstract: Computational tools for data analysis are being released daily on repositories such as the Comprehensive R Archive Network. How we integrate these tools to solve a problem in research is increasingly complex and requiring frequent updates. To mitigate these \emph{Kafkaesque} computational challenges in research, this manuscript proposes \emph{toolchain walkthrough}, an opinionated documentation of a scientific workflow. As a practical complement to our proof-based argument~(Gray and Marwick, arXiv, 2019) for reproducible data analysis, here we focus on the practicality of setting up a reproducible research compendia, with unit tests, as a measure of \texttt{code::proof}, confidence in computational algorithms.


title: AFDP: An Automated Function Description Prediction Approach to Improve Accuracy of Protein Function Predictions

abstract: With the rapid growth in high-throughput biological sequencing technologies and subsequently the amount of produced omics data, it is essential to develop automated methods to annotate the functionality of unknown genes and proteins. There are developed tools such as AHRD applying known proteins characterization to annotate unknown ones. Some other algorithms such as eggNOG apply orthologous groups of proteins to detect the most probable function. However, while the available tools focus on the detection of the most similar characterization, they are not able to generalize and integrate information from multiple homologs while maintaining accuracy. Here, we devise AFDP, an integrated approach for protein function prediction which benefits from the combination of two available tools, AHRD and eggNOG, to predict the functionality of novel proteins and produce more precise human readable descriptions by applying our stCFExt algorithm. StCFExt creates function descriptions applying available manually curated descriptions in swiss-prot. Using a benchmark dataset we show that the annotations predicted by our approach are more accurate than eggNOG and AHRD annotations.


title: Reference Database for Photon Strength Functions

abstract: Photon strength functions describing the average response of the nucleus to an electromagnetic probe are key input information in the theoretical modelling of nuclear reactions. Consequently they are important for a wide range of fields such as nuclear structure, nuclear astrophysics, medical isotope production, fission and fusion reactor technologies. They are also sources of information for widely used reaction libraries such as the IAEA Reference Input Parameter Library and evaluated data files such as EGAF. In the past two decades, the amount of reaction gamma-ray data measured to determine photon strength functions has grown rapidly. Different experimental techniques have led to discrepant results and users are faced with the dilemma which (if any) of the divergent data to adopt. We report on a coordinated effort to compile and assess the existing experimental data on photon strength functions from the giant dipole resonance region to energies below the neutron separation energy. The assessment of the discrepant data at energies around or below the neutron separation energy has been possible only in a few cases where adequate information on the model-dependent analysis and estimation of uncertainties was available. In the giant dipole resonance region, we adopt the recommendations of the new IAEA photonuclear data library. We also present global empirical and semi-microscopic models that describe the photon strength functions in the entire energy region and reproduce reasonably well most of the experimental data. The compiled experimental photon strengths and recommended model calculations are available from the PSF database hosted at the IAEA (URL:www-nds.iaea.org/PSFdatabase).


title: Enhanced Instantaneous Elastography in Tissues and Hard Materials Using Bulk Modulus and Density Determined without Externally Applied Material Deformation

abstract: Ultrasound is a continually developing technology that is broadly used for fast, non-destructive mechanical property detection of hard and soft materials in applications ranging from manufacturing to biomedical. In this study, a novel monostatic longitudinal ultrasonic pulsing elastography imaging method is introduced. Existing elastography methods require an acoustic radiational or dynamic compressive externally applied force to determine the effective bulk modulus or density. This new, passive M-mode imaging technique does not require an external stress, and can be effectively utilized for both soft and hard materials. Strain map imaging and shear wave elastography are two current categories of M-mode imaging that show both relative and absolute elasticity information. The new technique is applied to hard materials and soft material tissue phantoms for demonstrating effective bulk modulus and effective density mapping. As compared to standard techniques, the effective parameters fall within 10% of standard characterization methods for both hard and soft materials. As neither the standard A-mode imaging technique nor the presented technique require an external applied force, the techniques are applied to composite heterostructures and the findings presented for comparison. The presented passive M-mode technique is found to have enhanced resolution over standard A-mode modalities.


title: Early formation and recent starburst activity in the nuclear disc of the Milky Way

abstract: The nuclear disc is a dense stellar structure at the centre of the Milky Way, with a radius of $\sim$150 pc. It has been a place of intense star formation in the past several tens of millions of years but its overall formation history has remained unknown up to now. Here we report the first detailed star formation history of this region. The bulk of its stars formed at least eight billion years ago. This initial activity was followed by a long period of quiescence that was ended by an outstanding event about 1 Gyr ago, during which roughly 5% of its mass formed in a time window $\sim$100 Myr, in what may arguably have been one of the most energetic events in the history of the Milky Way. Star formation continued subsequently on a lower level, creating a few percent of the stellar mass in the past $\sim$500 Myr, with an increased rate up to $\sim$30 Myr ago. Our findings contradict the previously accepted paradigm of quasi-continuous star formation at the centre of the Milky Way. The long quiescent phase agrees with the overall quiescent history of the Milky Way and suggests that our Galaxy's bar may not have existed until recently, or that gas transport through the bar was extremely inefficient during a long stretch of the Milky Way's life, and that the central black hole may have acquired most of its mass already in the early days of the Milky Way.


title: The Landscape of Academic Literature in Quantum Technologies

abstract: In this study, we investigated the academic literature on quantum technologies (QT) using bibliometric tools. We used a set of 49,823 articles obtained from the Web of Science (WoS) database using a search query constructed through expert opinion. Analysis of this revealed that QT is deeply rooted in physics, and the majority of the articles are published in physics journals. Keyword analysis revealed that the literature could be clustered into three distinct sets, which are (i) quantum communication/cryptography, (ii) quantum computation, and (iii) physical realizations of quantum systems. We performed a burst analysis that showed the emergence and fading away of certain key concepts in the literature. This is followed by co-citation analysis on the highly cited articles provided by the WoS, using these we devised a set of core corpus of 34 publications. Comparing the most highly cited articles in this set with respect to the initial set we found that there is a clear difference in most cited subjects. Finally, we performed co-citation analyses on country and organization levels to find the central nodes in the literature. Overall, the analyses of the datasets allowed us to cluster the literature into three distinct sets, construct the core corpus of the academic literature in QT, and to identify the key players on country and organization levels, thus offering insight into the current state of the field. Search queries and access to figures are provided in the appendix.


title: High-z dusty star-forming galaxies: a top-heavy initial mass function?

abstract: Recent estimates point to abundances of z > 4 sub-millimeter (sub-mm) galaxies far above model predictions. The matter is still debated. According to some analyses the excess may be substantially lower than initially thought and perhaps accounted for by flux boosting and source blending. However, there is no general agreement on this conclusion. An excess of z > 6 dusty galaxies has also been reported albeit with poor statistics. On the other hand, evidence of a top-heavy initial mass function (IMF) in high-z starburst galaxies has been reported in the past decades. This would translate into a higher sub-mm luminosity of dusty galaxies at fixed star formation rate, i.e., into a higher abundance of bright high-z sub-mm galaxies than expected for a universal Chabrier IMF. Exploiting our physical model for high-z proto-spheroidal galaxies, we find that part of the excess can be understood in terms of an IMF somewhat top-heavier than Chabrier. Such IMF is consistent with that recently proposed to account for the low 13C/18O abundance ratio in four dusty starburst galaxies at z = 2-3. However, extreme top-heavy IMFs are inconsistent with the sub-mm counts at z > 4.


title: The systematically varying stellar IMF

abstract: Some ultra-compact dwarf galaxies have large dynamical mass to light (M/L) ratios and also appear to contain an overabundance of LMXB sources, and some Milky Way globular clusters have a low concentration and appear to have a deficit of low-mass stars. These observations can be explained if the stellar IMF becomes increasingly top-heavy with decreasing metallicity and increasing gas density of the forming object. The thus constrained stellar IMF then accounts for the observed trend of metallicity and M/L ratio found amongst M31 globular star clusters. It also accounts for the overall shift of the observationally deduced galaxy-wide IMF from top-light to top-heavy with increasing star formation rate amongst galaxies. If the IMF varies similarly to deduced here, then extremely young very massive star-burst clusters observed at a high redshift would appear quasar-like (Jerabkova et al. 2017) .


title: Nucleosynthesis Constraints on the Energy Growth Timescale of a Core-collapse Supernova Explosion

abstract: Details of the explosion mechanism of core-collapse supernovae (CCSNe) are not yet fully understood. There is an increasing number of numerical examples by ab-initio core-collapse simulations leading to an explosion. Most, if not all, of the ab-initio core-collapse simulations represent a `slow' explosion in which the observed explosion energy ($\sim 10^{51}$ ergs) is reached in a timescale of $\gtrsim1$ second. It is, however, unclear whether such a slow explosion is consistent with observations. In this work, by performing nuclear reaction network calculations for a range of the explosion timescale $t_{\rm grow}$, from the rapid to slow models, we aim at providing nucleosynthetic diagnostics on the explosion timescale. We employ one-dimensional hydrodynamic and nucleosynthesis simulations above the proto-neutron star core, by parameterizing the nature of the explosion mechanism by $t_{\rm grow}$. The results are then compared to various observational constraints; the masses of $^{56}$Ni derived for typical CCSNe, the masses of $^{57}$Ni and $^{44}$Ti observed for SN 1987A, and the abundance patterns observed in extremely metal-poor stars. We find that these observational constraints are consistent with the `rapid' explosion ($t_{\rm grow} \lesssim 250$ ms), and especially the best match is found for a nearly instantaneous explosion ($t_{\rm grow} \lesssim 50$ ms). Our finding places a strong constraint on the explosion mechanism; the slow mechanism ($t_{\rm grow} \gtrsim 1000$ ms) would not satisfy these constraints, and the ab-inito simulations will need to realize a rapid explosion.