title: Detection of vibrational emissions from the helium hydride ion (HeH$^+$) in the planetary nebula NGC 7027

abstract: We report the detection of emission in the v=1-0 P(1) (3.51629 micron) and P(2) (3.60776 micron) rovibrational lines of the helium hydride cation (HeH+) from the planetary nebula NGC 7027. These detections were obtained with the iSHELL spectrograph on NASA's Infrared Telescope Facility (IRTF) on Maunakea. The confirm the discovery of HeH+ reported recently by Guesten et al. (2019), who used the GREAT instrument on the SOFIA airborne observatory to observe its pure rotational J=1-0 transition at 149.137 micron. The flux measured for the HeH+ v=1-0 P(1) line is in good agreement with our model for the formation, destruction and excitation of HeH+ in NGC 7027. The measured strength of the J=1-0 pure rotational line, however, exceeds the model prediction significantly, as does that of the v=1-0 P(2) line, by factors of 2.9 and 2.3 respectively. Possible causes of these discrepancies are discussed. Our observations of NGC 7027, covering the 3.26 - 3.93 micron spectral region, have led to the detection of more than sixty spectral lines including nine rovibrational emissions from CH+. The latter are detected for the first time in an astronomical source.


title: Negative Energy States in Quantum Theory

abstract: We analyze the Lagrangian density and canonical stress-energy tensor for the Dirac equation, where the Dirac bispinor has been recast as a multivector set of fields. For the massless Dirac field, the sign of the energy density is determined by the relative phase of uncoupled even- and odd-grade field components. These components become coupled in the massive Dirac equation, and the sign of the energy is determined by their spatial parity. The corresponding stress-energy tensors for the second-order equations also admit negative energy states, with the sign of the energy density again dependent on field parity. We apply the same multivector approach to electromagnetism, constructing new Lagrangian and energy densities in which the vector potential and the electromagnetic field are treated as independent field degrees of freedom.


title: Precise tuning of the superconducting properties of Mn-doped Al films for transition edge sensors by ion-implantation

abstract: Magnetic impurities in metallic superconductors are important for both fundamental and applied sciences. In this study, we focused on dilute Mn-doped aluminum (AlMn) films, which are common superconducting materials used to make transition edge sensors (TES). We developed a multi-energy ion-implantation technique to make AlMn films. Compared with frequently used sputtering techniques, ion-implantation provides more precise and reliable control of the Mn doping concentration in the AlMn films.The ion implantation also enables us to quantitatively analyze the superconducting transition temperature curve as a function of the Mn doping concentration. We found that Mn dopants act as magnetic impurities and suppression of superconductivity is counteracted by the antiferromagnetic Ruderman Kittel Kasuya Yosida interaction among Mn dopants. The RKKY interaction can be tuned through defect engineering in the ion-implantation process and through post-implantation annealing.


title: An $n$-point QCD two-loop amplitude

abstract: We present an explicit expression for a particular $n$-gluon two loop scattering partial amplitude. Specifically we present an analytic form for the single trace $N_c$ independent colour partial amplitude for the case where all external gluons have positive helicity.


title: Jordan symmetry reduction for conic optimization over the doubly nonnegative cone: theory and software

abstract: A common computational approach for polynomial optimization problems (POPs) is to use (hierarchies of) semidefinite programming (SDP) relaxations. When the variables in the POP are required to be nonnegative, these SDP problems typically involve nonnegative matrices, i.e. they are conic optimization problems over the doubly nonnegative cone. The Jordan reduction, a symmetry reduction method for conic optimization, was recently introduced for symmetric cones by Parrilo and Permenter [Mathematical Programming 181(1), 2020]. We extend this method to the doubly nonnegative cone, and investigate its application to known relaxations of the quadratic assignment and maximum stable set problems. We also introduce new Julia software where the symmetry reduction is implemented.


title: On Constraint Definability in Tractable Probabilistic Models

abstract: Incorporating constraints is a major concern in probabilistic machine learning. A wide variety of problems require predictions to be integrated with reasoning about constraints, from modelling routes on maps to approving loan predictions. In the former, we may require the prediction model to respect the presence of physical paths between the nodes on the map, and in the latter, we may require that the prediction model respect fairness constraints that ensure that outcomes are not subject to bias. Broadly speaking, constraints may be probabilistic, logical or causal, but the overarching challenge is to determine if and how a model can be learnt that handles all the declared constraints. To the best of our knowledge, this is largely an open problem. In this paper, we consider a mathematical inquiry on how the learning of tractable probabilistic models, such as sum-product networks, is possible while incorporating constraints.


title: Rare kaon decays and CP violation

abstract: Owing to the strong suppression of flavour-changing neutral-current transitions in the Standard Model, rare kaon decays constitute a superb tool to constrain hypothetical new-physics interactions. At the same time, they provide many interesting tests of the Standard Model itself, being sensitive both to short-distance electroweak scales and to the long-distance QCD dynamics. A brief overview of the current status is presented. The Standard Model prediction for the direct CP-violating ratio $\varepsilon'/\varepsilon$ is also discussed.


title: Production of $^4{\rm Li}$ and $p\!-\!^3{\rm He}$ correlation function in relativistic heavy-ion collisions

abstract: The thermal and coalescence models both describe well yields of light nuclei produced in relativistic heavy-ion collisions at LHC. We propose to measure the yield of $^4{\rm Li}$ and compare it to that of $^4{\rm He}$ to falsify one of the models. Since the masses of $^4{\rm He}$ and $^4{\rm Li}$ are almost equal, the yield of $^4{\rm Li}$ is about 5 times bigger than that of $^4{\rm He}$ in the thermal model because of different numbers of spin states of the two nuclides. Their internal structures are, however, very different: the alpha particle is well bound and compact while $^4{\rm Li}$ is weakly bound and loose. Consequently, the ratio of yields of $^4{\rm Li}$ to $^4{\rm He}$ is significantly smaller in the coalescence model and it strongly depends on the collision centrality. Since the nuclide $^4{\rm Li}$ is unstable and it decays into $^3{\rm He}$ and $p$, the yield of $^4{\rm Li}$ can be experimentally obtained through a measurement of the $p\!-\!^3{\rm He}$ correlation function. The function carries information not only about the yield of $^4{\rm Li}$ but also about the source of $^3{\rm He}$ and allows one to determine through a source-size measurement whether of $^3{\rm He}$ is directly emitted from the fireball or it is formed afterwards. We compute the correlation function taking into account the $s-$wave scattering and Coulomb repulsion together with the resonance interaction responsible for the $^4{\rm Li}$ nuclide. We discuss how to infer information about an origin of $^3{\rm He}$ from the correlation function, and finally a method to obtain the yield of $^4{\rm Li}$ is proposed.


title: Proper resolutions and Gorensteinness in extriangulated categories

abstract: Let $(\mathcal{C},\mathbb{E},\mathfrak{s})$ be an extriangulated category with a proper class $\xi$ of $\mathbb{E}$-triangles, and $\mathcal{W}$ an additive full subcategory of $\mathcal C$. We provide a method for constructing a proper $\mathcal{W}(\xi)$-resolution (respectively, coproper $\mathcal{W}(\xi)$-coresolution) of one term in an $\mathbb{E}$-triangle in $\xi$ from that of the other two terms. By using this way, we establish the stability of the Gorenstein category $\mathcal{GW}(\xi)$ in extriangulated categories. These results generalise their work by Huang and Yang-Wang, but the proof is not too far from their case. Finally, we give some applications about our main results.


title: On the statistics of differences of zeta zeros starting from zero number $10^{23}$

abstract: We study distributions of differences of unscaled Riemann zeta zeros, $\gamma-\gamma^{'}$, at large. We show, that independently of the location of the zeros, i.e., even for zeros as high as $10^{23}$, their differences have similar statistical properties. The distributions of differences are skewed usually towards the nearest zeta zero. We show, however, that this is not always the case, but depends upon the distance and number of nearby zeros on each side of the corresponding distribution. The skewness, however, always decreases when zeta zero is crossed from left to right, i.e., in increasing direction. Furthermore, we show that the variance of distributions has local maximum or, at least, a turning point at every zeta zero, i.e., local minimum of the second derivative of the variance. In addition, it seems that the higher the zeros the more compactly the distributions of the differences are located in the skewness-kurtosis -plane. Furthermore, we show that distributions can be fitted with Johnson probability density function, despite the value of skewness or kurtosis of the distribution.


title: The Laplacian on some self-conformal fractals and Weyl's asymptotics for its eigenvalues: A survey of the ergodic-theoretic aspects

abstract: This short survey is aimed at sketching the ergodic-theoretic aspects of the author's recent studies on Weyl's eigenvalue asymptotics for a \emph{"geometrically canonical" Laplacian} defined by the author on some self-conformal circle packing fractals including the classical \emph{Apollonian gasket}. The main result being surveyed is obtained by applying Kesten's renewal theorem [\emph{Ann.\ Probab.}\ \textbf{2} (1974), 355--386, Theorem 2] for functionals of Markov chains on general state spaces and provides an alternative probabilistic proof of the result by Oh and Shah [\emph{Invent.\ Math.}\ \textbf{187} (2012), 1--35, Corollary 1.8] on the asymptotic distribution of the circles in the Apollonian gasket.


title: Constructing Deep Neural Networks with a Priori Knowledge of Wireless Tasks

abstract: Deep neural networks (DNNs) have been employed for designing wireless systems in many aspects, say transceiver design, resource optimization, and information prediction. Existing works either use the fully-connected DNN or the DNNs with particular architectures developed in other domains. While generating labels for supervised learning and gathering training samples are time-consuming or cost-prohibitive, how to develop DNNs with wireless priors for reducing training complexity remains open. In this paper, we show that two kinds of permutation invariant properties widely existed in wireless tasks can be harnessed to reduce the number of model parameters and hence the sample and computational complexity for training. We find special architecture of DNNs whose input-output relationships satisfy the properties, called permutation invariant DNN (PINN), and augment the data with the properties. By learning the impact of the scale of a wireless system, the size of the constructed PINNs can flexibly adapt to the input data dimension. We take predictive resource allocation and interference coordination as examples to show how the PINNs can be employed for learning the optimal policy with unsupervised and supervised learning. Simulations results demonstrate a dramatic gain of the proposed PINNs in terms of reducing training complexity.


title: An anomalous refraction of spin waves as a way to guide signals in curved magnonic multimode waveguides

abstract: We present a method for efficient spin wave guiding within the magnonic nanostructures. Our technique is based on the anomalous refraction in the metamaterial flat slab. The gradual change of the material parameters (saturation magnetization or magnetic anisotropy) across the slab allows tilting the wavefronts of the transmitted spin waves and controlling the refraction. Numerical studies of the spin wave refraction are preceded by the analytical calculations of the phase shift acquired by the spin wave due to the change of material parameters in a confined area. We demonstrate that our findings can be used to guide the spin waves smoothly in curved waveguides, even through sharp bends, without reflection and scattering between different waveguide's modes, preserving the phase -- the quantity essential for wave computing.


title: Spherically symmetric black holes with electric and magnetic charge in extended gravity: Physical properties, causal structure, and stability analysis in Einstein's and Jordan's frames

abstract: Novel static black hole solutions with electric and magnetic charges are derived for the class of modified gravities: $f({\cal R})={\cal R}+2\beta\sqrt{{\cal R}}$, with or without a cosmological constant. The new black holes behave asymptotically as flat or (A)dS space-times with a dynamical value of the Ricci scalar given by $R=\frac{1}{r^2}$ and $R=\frac{8r^2\Lambda+1}{r^2}$, respectively. They are characterized by three parameters, namely their mass and electric and magnetic charges, and constitute black hole solutions different from those in Einstein's general relativity. Their singularities are studied by obtaining the Kretschmann scalar and Ricci tensor, which shows a dependence on the parameter $\beta$ that is not permitted to be zero. A conformal transformation is used to display the black holes in Einstein's frame and check if its physical behavior is changed w.r.t. the Jordan one. The thermal stability of the solutions is discussed by using thermodynamical quantities, in particular the entropy, the Hawking temperature, the quasi-local energy, and the Gibbs free energy. Also, the casual structure of the new black holes is studied, and a stability analysis is performed in both frames using the odd perturbations technique and the study of the geodesic deviation. It is concluded that, generically, there is coincidence of the physical properties of the novel black holes in both frames, although this turns not to be the case for the Hawking temperature.


title: Correcting for Selection Bias in Learning-to-rank Systems

abstract: Click data collected by modern recommendation systems are an important source of observational data that can be utilized to train learning-to-rank (LTR) systems. However, these data suffer from a number of biases that can result in poor performance for LTR systems. Recent methods for bias correction in such systems mostly focus on position bias, the fact that higher ranked results (e.g., top search engine results) are more likely to be clicked even if they are not the most relevant results given a user's query. Less attention has been paid to correcting for selection bias, which occurs because clicked documents are reflective of what documents have been shown to the user in the first place. Here, we propose new counterfactual approaches which adapt Heckman's two-stage method and accounts for selection and position bias in LTR systems. Our empirical evaluation shows that our proposed methods are much more robust to noise and have better accuracy compared to existing unbiased LTR algorithms, especially when there is moderate to no position bias.


title: FOCUS: Dealing with Label Quality Disparity in Federated Learning

abstract: Ubiquitous systems with End-Edge-Cloud architecture are increasingly being used in healthcare applications. Federated Learning (FL) is highly useful for such applications, due to silo effect and privacy preserving. Existing FL approaches generally do not account for disparities in the quality of local data labels. However, the clients in ubiquitous systems tend to suffer from label noise due to varying skill-levels, biases or malicious tampering of the annotators. In this paper, we propose Federated Opportunistic Computing for Ubiquitous Systems (FOCUS) to address this challenge. It maintains a small set of benchmark samples on the FL server and quantifies the credibility of the client local data without directly observing them by computing the mutual cross-entropy between performance of the FL model on the local datasets and that of the client local FL model on the benchmark dataset. Then, a credit weighted orchestration is performed to adjust the weight assigned to clients in the FL model based on their credibility values. FOCUS has been experimentally evaluated on both synthetic data and real-world data. The results show that it effectively identifies clients with noisy labels and reduces their impact on the model performance, thereby significantly outperforming existing FL approaches.


title: BUT Opensat 2019 Speech Recognition System

abstract: The paper describes the BUT Automatic Speech Recognition (ASR) systems submitted for OpenSAT evaluations under two domain categories such as low resourced languages and public safety communications. The first was challenging due to lack of training data, therefore various architectures and multilingual approaches were employed. The combination led to superior performance. The second domain was challenging due to recording in extreme conditions such as specific channel, speaker under stress and high levels of noise. Data augmentation process was inevitable to get reasonably good performance.


title: 2018 NASA Laboratory Astrophysics Workshop: Scientific Organizing Committee Report

abstract: This report provides detailed findings on the critical laboratory astrophysics data needs that are required to maximize the scientific return for NASA's current and near-term planned astrophysics missions. It also provides prioritized rankings on said laboratory astrophysics data, generally by waveband. The Report is based on community input gathered at the 2018 NASA Laboratory Astrophysics Workshop (LAW) from presentations, from discussions during workshop breakout sessions, and from other solicited input deemed appropriate by the Scientific Organizing Committee (SOC) obtained prior to and after the meeting. Hence, the Report is a direct reflection of the spirit and participant make-up of LAW 2018. The Report also outlines specific opportunities and threats facing NASA's Laboratory Astrophysics Program, and articulates concrete actions by which the Agency can capitalize on the opportunities and mitigate the challenges. The Report was prepared by the SOC, with help from some invited speakers, and input and review from community members.


title: Subexponential densities of compound Poisson sums and the supremum of a random walk

abstract: We characterize the subexponential densities on $(0,\infty)$ for compound Poisson distributions on $[0,\infty)$ with absolutely continuous L\'evy measures. As a corollary, we show that the class of all subexponential probability density functions on $\mathbb R_+$ is closed under generalized convolution roots of compound Poisson sums. Moreover, we give an application to the subexponential density on $(0,\infty)$ for the distribution of the supremum of a random walk.


title: REST: Robust and Efficient Neural Networks for Sleep Monitoring in the Wild

abstract: In recent years, significant attention has been devoted towards integrating deep learning technologies in the healthcare domain. However, to safely and practically deploy deep learning models for home health monitoring, two significant challenges must be addressed: the models should be (1) robust against noise; and (2) compact and energy-efficient. We propose REST, a new method that simultaneously tackles both issues via 1) adversarial training and controlling the Lipschitz constant of the neural network through spectral regularization while 2) enabling neural network compression through sparsity regularization. We demonstrate that REST produces highly-robust and efficient models that substantially outperform the original full-sized models in the presence of noise. For the sleep staging task over single-channel electroencephalogram (EEG), the REST model achieves a macro-F1 score of 0.67 vs. 0.39 achieved by a state-of-the-art model in the presence of Gaussian noise while obtaining 19x parameter reduction and 15x MFLOPS reduction on two large, real-world EEG datasets. By deploying these models to an Android application on a smartphone, we quantitatively observe that REST allows models to achieve up to 17x energy reduction and 9x faster inference. We open-source the code repository with this paper: https://github.com/duggalrahul/REST.


title: An existence of universality in the dynamics of two types of glass-forming liquids -- fragile liquids and strong liquids

abstract: By employing a simplified nonlinear memory function proposed recently by the present author, a universal equation for a collective-intermediate scattering function derived based on the time-convolutionless mode-coupling theory is numerically solved to study the dynamics of glass-forming liquids. The numerical calculation is based on the simulation results performed on two types of liquids, fragile liquids and strong liquids. The numerical solutions are then shown to be uniquely determined by the long-time collective diffusion coefficient $D(q_m)$, where $q_m$ is a first peak position of a static structure factor for a whole system. It is confirmed based on four different simulation results that the supercooled state consists of two substates, a weakly supercooled state in which the nonlinear parameter $\mu$ in the memory function increases as $D$ decreases and a deeply supercooled state in which $\mu$ becomes constant up to the glass transition. Here $\mu$ is shown to be constant in a liquid state, while it is shown to grow rapidly in a glass state. The value of $\mu$ in each state is shown to be uniquely determined by $D$ and also to depend on a type of liquids. Hence there exists such a universality that there is only one solution for different liquids of a same type at a given value of $D$. This may be consistent with the fact that strong liquids are structurally quite different from fragile liquids. Thus, it is emphasized that such a universality must be helpful to predict $q_m$ from experimental data.


title: A Comparison of Prior Elicitation Aggregation using the Classical Method and SHELF

abstract: Subjective Bayesian prior distributions elicited from experts can be aggregated together to form group priors. This paper compares aggregated priors formed by Equal Weight Aggregation, the Classical Method, and the Sheffield Elicitation Framework to each other and individual expert priors, using an expert elicitation carried out for a clinical trial. Aggregation methods and individual expert prior distributions are compared using proper scoring rules to compare the informativeness and calibration of the distributions. The three aggregation methods outperform the individual experts, and the Sheffield Elicitation Framework performs best amongst them.


title: Black-Box Saliency Map Generation Using Bayesian Optimisation

abstract: Saliency maps are often used in computer vision to provide intuitive interpretations of what input regions a model has used to produce a specific prediction. A number of approaches to saliency map generation are available, but most require access to model parameters. This work proposes an approach for saliency map generation for black-box models, where no access to model parameters is available, using a Bayesian optimisation sampling method. The approach aims to find the global salient image region responsible for a particular (black-box) model's prediction. This is achieved by a sampling-based approach to model perturbations that seeks to localise salient regions of an image to the black-box model. Results show that the proposed approach to saliency map generation outperforms grid-based perturbation approaches, and performs similarly to gradient-based approaches which require access to model parameters.


title: Application of Seq2Seq Models on Code Correction

abstract: We apply various seq2seq models on programming language correction tasks on Juliet Test Suite for C/C++ and Java of Software Assurance Reference Datasets(SARD), and achieve 75\%(for C/C++) and 56\%(for Java) repair rates on these tasks. We introduce Pyramid Encoder in these seq2seq models, which largely increases the computational efficiency and memory efficiency, while remain similar repair rate to their non-pyramid counterparts. We successfully carry out error type classification task on ITC benchmark examples (with only 685 code instances) using transfer learning with models pre-trained on Juliet Test Suite, pointing out a novel way of processing small programing language datasets.


title: On $q$-series identities for false theta series

abstract: We prove several infinite families of $q$-series identities for false theta functions and related series. These identities are motivated by considerations of characters of modules of vertex operator superalgebras and of quantum dilogarithms. We also obtain closely related modular identities of the G\"ollnitz-Gordon-Andrews type. As a byproduct of our identities, we establish several identities for the Rogers dilogarithm function coming from multi $q$-hypergeometric series with "double poles".


title: Learning to Structure Long-term Dependence for Sequential Recommendation

abstract: Sequential recommendation recommends items based on sequences of users' historical actions. The key challenge in it is how to effectively model the influence from distant actions to the action to be predicted, i.e., recognizing the long-term dependence structure; and it remains an underexplored problem. To better model the long-term dependence structure, we propose a GatedLongRec solution in this work. To account for the long-term dependence, GatedLongRec extracts distant actions of top-$k$ related categories to the user's ongoing intent with a top-$k$ gating network, and utilizes a long-term encoder to encode the transition patterns among these identified actions. As user intent is not directly observable, we take advantage of available side-information about the actions, i.e., the category of their associated items, to infer the intents. End-to-end training is performed to estimate the intent representation and predict the next action for sequential recommendation. Extensive experiments on two large datasets show that the proposed solution can recognize the structure of long-term dependence, thus greatly improving the sequential recommendation.


title: P4-Protect: 1+1 Path Protection for P4

abstract: 1+1 protection is a method to secure traffic between two nodes against failures in between. The sending node duplicates the traffic and forwards it over two disjoint paths. The receiving node assures that only a single copy of the traffic is further forwarded to its destination. In contrast to other protection schemes, this method prevents almost any packet loss in case of failures. 1+1 protection is usually applied on the optical layer, on Ethernet, or on MPLS. In this work we propose the application of 1+1 for P4-based IP networks. We define an 1+1 protection header for that purpose. We describe the behavior of sending and receiving nodes and provide a P4-based implementation for the BMv2 software switch and the hardware switch Tofino Edgecore Wedge 100BF-32X. We illustrate how to secure traffic, e.g. individual TCP flows, on the Internet with this approach. Finally, we present performance results showing that the P4-based implementation efficiently works on the Tofino Edgecore Wedge 100BF-32X.


title: Functional calculus and multi-analytic models on regular $\Lambda$-polyballs

abstract: The goal of the present paper is to introduce and study noncommutative Hardy spaces associated with the regular $\Lambda$-polyball, to develop a functional calculus on noncommutative Hardy spaces for the completely non-coisometric (c.n.c.) $k$-tuples in ${\bf B}_\Lambda(H)$, and to study the characteristic functions and the associated multi-analytic models for the c.n.c. elements in the regular $\Lambda$-polyball. In addition, we show that the characteristic function is a complete unitary invariant for the class of c.n.c. $k$-tuples in ${\bf B}_\Lambda(H)$. These results extend the corresponding classical results of Sz.-Nagy--Foia\c s for contractions and the noncommutative versions for row contractions. In the particular case when $n_1=\cdots=n_k=1$ and $\Lambda_{ij}=1$, we obtain a functional calculus and operator model theory in terms of characteristic functions for $k$-tuples of contractions satisfying Brehmer condition.


title: Fused braids and centralisers of tensor representations of $U_q(gl_N)$

abstract: We present in this paper the algebra of fused permutations and its deformation the fused Hecke algebra. The first one is defined on a set of combinatorial objects that we call fused permutations, and its deformation is defined on a set of topological objects that we call fused braids. We use these algebras to prove a Schur--Weyl duality theorem for any tensor products of any symmetrised powers of the natural representation of $U_q(gl_N)$. Then we proceed to the study of the fused Hecke algebras and in particular, we describe explicitely the irreducible representations and the branching rules. Finally, we aim to an algebraic description of the centralisers of the tensor products of $U_q(gl_N)$-representations under consideration. We exhibit a simple explicit element that we conjecture to generate the kernel from the fused Hecke algebra to the centraliser. We prove this conjecture in some cases and in particular, we obtain a description of the centraliser of any tensor products of any finite-dimensional representations of $U_q(sl_2)$.


title: Angular distribution of fragments in neutron-induced nuclear fission at energies 1-200 MeV: data, theoretical models and relevant problems

abstract: In recent years, investigations of angular distributions of fragments in neutron-induced nuclear fission have been extended to intermediate energies, up to 200 MeV, as well as to a wide range of target isotopes. Using as an example the latest data obtained by our group for the reaction 237-Np(n,f), we discuss the specific features of fission fragment angular distribution and present a method for their simulation based on the code TALYS. It is shown that a simplified model reasonably describes energy dependence of the angular distribution in the whole range 1-200 MeV. The ways to improve the model are discussed along with the possibilities to use it for obtaining new information on fission and pre-equilibrium processes in neutron-nucleus interaction. We consider also the relevant problems of describing fission fragment angular distributions.


title: A study of the problem of optimal management of discrete product inventory in the stochastic regeneration model with continuous consumption and random delivery delay

abstract: The paper considers the optimal control problem of inventory of a discrete product in regeneration scheme with a Poisson flow of customer requirements. In the system deferred demand is allowed, the volume of which is limited by a given value. The control parameter is the level of the stock, at which achievement it is necessary to make an order for replenishment. The indicator of management effectiveness is the average specific profit received in one regeneration period. The optimal control problem is solved on the basis of the statement about the extremum of a fractional-linear integral functional on the set of discrete probability distributions. The significant content of the work is the derivation of analytical representations for the mathematical expectation of the increment of the functional of profit obtained during the regeneration period. The obtained analytical representations enable us to explicitly determine the stationary cost indicator of control efficiency, which was introduced in the first part of the research. Thus, it becomes possible to numerically solve the optimal control problem of inventory in the model under consideration.


title: WRF Simulation, Model Sensitivity, and Analysis of the December 2013 New England Ice Storm

abstract: Ice storms pose significant damage risk to electric utility infrastructure. In an attempt to improve storm response and minimize costs, energy companies have supported the development of ice accretion forecasting techniques utilizing meteorological output from numerical weather prediction (NWP) models. The majority of scientific literature in this area focuses on the application of NWP models, such as the Weather Research and Forecasting (WRF) model, to ice storm case studies, but such analyses tend to provide little verification of output fidelity prior to use. This study evaluates the performance of WRF in depicting the 21-23 December 2013 New England ice storm at the surface and in vertical profile. A series of sensitivity tests are run using eight planetary boundary layer (PBL) physics parameterizations, three reanalysis datasets, two vertical level configurations, and with and without grid nudging. Simulated values of precipitation, temperature, wind speed, and wind direction are validated against surface and radiosonde observations at several station locations across northeastern U.S. and southeastern Canada. The results show that, while the spatially and temporally averaged statistics for near-surface variables are consistent with those of select ice-storm case studies, near-surface variables are highly sensitive to model when examined at the station level. No single model configuration produces the most robust solution for all variables or station locations, although one scheme generally yields model output with the least realism. In all, we find that careful model sensitivity testing and extensive validation are necessary components for minimizing model-based biases in simulations of ice storms.


title: Singularity theorems in Schwarzschild spacetimes

abstract: We present a review of the two prominent singularity theorems due to Penrose and Hawking, as well as their physical interpretation. Their usage is discussed in detail for the Schwarzschild spacetime with positive and negative mass. First, we present a detailed mathematical proof to formally guarantee the existence of a singularity of geodesic incompleteness for the case of positive mass. Second, we discuss the applicability of the mathematical tools used by the theorems in the negative mass case. The physical implications of the validity or inconsistency of the hypotheses of such theorems on the latter case, are also exhibited. As far as this analysis is concerned, some clues are produced regarding future research that could result in general properties for naked singularities.


title: Resummed Drell-Yan cross-section at N$^3$LL

abstract: We present the resummed predictions for inclusive cross-section for Drell-Yan (DY) production as well as onshell $Z,W^\pm$ productions at next-to-next-to-next-to leading logarithmic (N$^{3}$LL) accuracy. Using the standard techniques, we derive the $N$-dependent coefficients in the Mellin-$N$ space as well as the $N$-independent constants and match the resummed result through the minimal prescription matching procedure with that of existing next-to next-to leading order (NNLO). In addition to the standard $\ln N$ exponentiation, we study the numerical impacts of exponentiating $N$-independent part of the soft function and the complete $\bar{g}_0$ that appears in the resummed predictions in $N$ space. All the analytical pieces needed in these different approaches are extracted from the soft-virtual part of the inclusive cross section known to next-to-next-to-next-to leading order (N$^3$LO). We perform a detailed analysis on the scale and parton distribution function (PDF) variations and present predictions for the 13 TeV LHC for the neutral Drell-Yan process as well as onshell charged and neutral vector boson productions.


title: Site testing campaign for the Large Optical/infrared Telescope of China: Overview

abstract: The Large Optical/infrared Telescope (LOT) is a ground-based 12m diameter optical/infrared telescope which is proposed to be built in the western part of China in the next decade. Based on satellite remote sensing data, along with geographical, logistical and political considerations, three candidate sites were chosen for ground-based astronomical performance monitoring. These sites include: Ali in Tibet, Daocheng in Sichuan, and Muztagh Ata in Xinjiang. Up until now, all three sites have continuously collected data for two years. In this paper, we will introduce this site testing campaign, and present its monitoring results obtained during the period between March 2017 and March 2019.


title: Proposal of a standard of Knowledge Management and Technological Innovation for Mexico

abstract: The purpose of this work is to offer a methodology that allows to construct a standard in Knowledge Management and Technological Innovation which may be used in various organizations in M\'exico to improve the operation of their resources and productivity. Based on the review of the existing literature, a model is offered including several elements to enable organizations to establish their position in relation to both concepts. The following proposal is based on a systematic effort to understand and integrate models of Knowledge Management and Innovation published in recent years as well as the results of the experiences to propose standards of Knowledge Management and Technological Innovation. In order to elaborate the proposal, factors and their associated components have been analyzed through a review of the literature in order to build and validate a standard proposal. To test the research study, a six-stage research model has been constructed. For this purpose, an in-depth exploratory research study has been carried out in a public sector organization, in an area that allows the replicability of the model. The results have been analyzed to construct and empirically validate the Mexican Standard of Knowledge Management an Technological Innovation. Finally, after the statistical analysis, results obtained from the application of the validated instrument are shown , which supports the definition of the model.


title: Kinetic models of tangential discontinuities in the solar wind

abstract: Kinetic-scale current sheets observed in the solar wind are frequently approximately force-free despite the fact that their plasma $\beta$ is of the order of one. In-situ measurements have recently shown that plasma density and temperature often vary across the current sheets, while the plasma pressure is approximately uniform. In many cases these density and temperature variations are asymmetric with respect to the center of the current sheet. To model these observations theoretically we develop in this paper equilibria of kinetic-scale force-free current sheets that have plasma density and temperature gradients. The models can also be useful for analysis of stability and dissipation of the current sheets in the solar wind.


title: Generaci\'on autom\'atica de frases literarias en espa\~nol

abstract: In this work we present a state of the art in the area of Computational Creativity (CC). In particular, we address the automatic generation of literary sentences in Spanish. We propose three models of text generation based mainly on statistical algorithms and shallow parsing analysis. We also present some rather encouraging preliminary results.


title: Intweetive Text Summarization

abstract: The amount of user generated contents from various social medias allows analyst to handle a wide view of conversations on several topics related to their business. Nevertheless keeping up-to-date with this amount of information is not humanly feasible. Automatic Summarization then provides an interesting mean to digest the dynamics and the mass volume of contents. In this paper, we address the issue of tweets summarization which remains scarcely explored. We propose to automatically generated summaries of Micro-Blogs conversations dealing with public figures E-Reputation. These summaries are generated using key-word queries or sample tweet and offer a focused view of the whole Micro-Blog network. Since state-of-the-art is lacking on this point we conduct and evaluate our experiments over the multilingual CLEF RepLab Topic-Detection dataset according to an experimental evaluation process.


title: Fact-aware Sentence Split and Rephrase with Permutation Invariant Training

abstract: Sentence Split and Rephrase aims to break down a complex sentence into several simple sentences with its meaning preserved. Previous studies tend to address the issue by seq2seq learning from parallel sentence pairs, which takes a complex sentence as input and sequentially generates a series of simple sentences. However, the conventional seq2seq learning has two limitations for this task: (1) it does not take into account the facts stated in the long sentence; As a result, the generated simple sentences may miss or inaccurately state the facts in the original sentence. (2) The order variance of the simple sentences to be generated may confuse the seq2seq model during training because the simple sentences derived from the long source sentence could be in any order. To overcome the challenges, we first propose the Fact-aware Sentence Encoding, which enables the model to learn facts from the long sentence and thus improves the precision of sentence split; then we introduce Permutation Invariant Training to alleviate the effects of order variance in seq2seq learning for this task. Experiments on the WebSplit-v1.0 benchmark dataset show that our approaches can largely improve the performance over the previous seq2seq learning approaches. Moreover, an extrinsic evaluation on oie-benchmark verifies the effectiveness of our approaches by an observation that splitting long sentences with our state-of-the-art model as preprocessing is helpful for improving OpenIE performance.


title: Unsupervised Sentiment Analysis for Code-mixed Data

abstract: Code-mixing is the practice of alternating between two or more languages. Mostly observed in multilingual societies, its occurrence is increasing and therefore its importance. A major part of sentiment analysis research has been monolingual, and most of them perform poorly on code-mixed text. In this work, we introduce methods that use different kinds of multilingual and cross-lingual embeddings to efficiently transfer knowledge from monolingual text to code-mixed text for sentiment analysis of code-mixed text. Our methods can handle code-mixed text through a zero-shot learning. Our methods beat state-of-the-art on English-Spanish code-mixed sentiment analysis by absolute 3\% F1-score. We are able to achieve 0.58 F1-score (without parallel corpus) and 0.62 F1-score (with parallel corpus) on the same benchmark in a zero-shot way as compared to 0.68 F1-score in supervised settings. Our code is publicly available.


title: Theta surfaces

abstract: A theta surface in affine 3-space is the zero set of a Riemann theta function in genus 3. This includes surfaces arising from special plane quartics that are singular or reducible. Lie and Poincar\'e showed that theta surfaces are precisely the surfaces of double translation, i.e. obtained as the Minkowski sum of two space curves in two different ways. These curves are parametrized by abelian integrals, so they are usually not algebraic. This paper offers a new view on this classical topic through the lens of computation. We present practical tools for passing between quartic curves and their theta surfaces, and we develop the numerical algebraic geometry of degenerations of theta functions.


title: Toric one-skeletons for complexity-one spaces

abstract: A complexity-one space is a compact symplectic manifold $(M, \omega)$ endowed with an effective Hamiltonian action of a torus $T$ of dimension $\frac{1}{2}\dim(M)-1$. In this note we prove that for a certain class of complexity-one spaces the Poincar\'e dual of the Chern class $c_{n-1}$ can be represented by a collection of $\frac{n}{2}\chi(M)$ symplectic embedded $2$-spheres, where $\chi(M)$ is the Euler characteristic of $M$ and $\dim(M)=2n$. We call such a collection a toric one-skeleton. The classification of complexity-one spaces is an important subject in symplectic geometry. A nice subcategory of those spaces are the ones which are monotone. The existence of a toric one-skeleton is a useful tool to understand six-dimensional monotone complexity-one spaces. In particular, we will show that the existence of a toric one-skeleton for such a space implies that the second Betti number of $M$ is at most seven. This is a simple application of results by Sabatini-Sepe and Lindsay-Panov.


title: Cosmological models from a geometric point of view

abstract: (There is no original abstract.) These are lecture notes from a 1971 summer school surveying the then known cosmological models in particular the properties of Bianchi cosmologies, and giving a pedagogical introduction to groups of isometries in spacetime and to the orthonormal tetrad method.


title: Rational Terms of UV Origin at Two Loops

abstract: The advent of efficient numerical algorithms for the construction of one-loop amplitudes has played a crucial role in the automation of NLO calculations, and the development of similar algorithms at two loops is a natural strategy for NNLO automation. Within a numerical framework the numerator of loop integrals is usually constructed in four dimensions, and the missing rational terms, which arise from the interplay of the $(D-4)$-dimensional parts of the loop numerator with $1/(D-4)$ poles in $D$ dimensions, are reconstructed separately. At one loop, such rational terms arise only from UV divergences and can be restored through process-independent local counterterms. In this paper we investigate the behaviour of rational terms of UV origin at two loops. The main result is a general formula that combines the subtraction of UV poles with the reconstruction of the associated rational parts at two loops. This formula has the same structure as the R-operation, and all poles and rational parts are described through a finite set of process-independent local counterterms. We also present a general formula for the calculation of all relevant two-loop rational counterterms in any renormalisable theory based on one-scale tadpole integrals. As a first application, we derive the full set of two-loop rational counterterms for QED in the $R_{\xi}$-gauge.


title: Computational Search for Magnetic and Non-magnetic 2D Topological Materials using Unified Spin-orbit Spillage Screening

abstract: Two-dimensional topological materials (TMs) have a variety of properties that make them attractive for applications including spintronics and quantum computation. However, there are only a few such experimentally known materials. To help discover new 2D TMs, we develop a unified and computationally inexpensive approach to identify magnetic and non-magnetic 2D TMs, including gapped and semi-metallic topological classifications, in a high-throughput way using density functional theory-based spin-orbit spillage, Wannier-interpolation, and related techniques. We first compute the spin-orbit spillage for the ~1000 2D materials in the JARVIS-DFT dataset (https://www.ctcms.nist.gov/~knc6/JVASP.html ), resulting in 122 materials with high-spillage values. Then, we use Wannier-interpolation to carry-out Z2, Chern-number, anomalous Hall conductivity, Curie temperature, and edge state calculations to further support the predictions. We identify various topologically non-trivial classes such as quantum spin-hall insulators (QSHI), quantum anomalous-hall insulators (QAHI), and semimetals. For a few predicted materials, we run G0W0+SOC and DFT+U calculations. We find that as we introduce many-body effects, only a few materials retain non-trivial band-topology, suggesting the importance of high-level DFT methods in predicting 2D topological materials. However, as an initial step, the automated spillage screening and Wannier-approach provide useful predictions for finding new topological materials and to narrow down candidates for experimental synthesis and characterization.


title: Tackling Air Traffic Conflicts as a Weighted CSP : Experiments with the Lumberjack Method

abstract: In this paper, we present an extension to an air traffic conflicts resolution method consisting in generating a large number of trajectories for a set of aircraft, and efficiently selecting the best compatible ones. We propose a multimanoeuvre version which encapsulates different conflict-solving algorithms, in particular an original "smart brute-force" method and the well-known ToulBar2 CSP toolset. Experiments on several benchmarks show that the first one is very efficient on cases involving few aircraft (representative of what actually happens in operations), allowing us to search through a large pool of manoeuvres and trajectories; however, this method is overtaken by its complexity when the number of aircraft increases to 7 and more. Conversely, within acceptable times, the ToulBar2 toolset can handle conflicts involving more aircraft, but with fewer possible trajectories for each.


title: Hirota bilinear forms of the AKNS($N$) systems

abstract: We study the AKNS($N$) hierarchy for $N=3,4,5,6$. We give the Hirota bilinear forms of these systems and present local and nonlocal reductions of them. We give the Hirota bilinear forms of the reduced equations. The compatibility of the commutativity diagrams of the application of the recursion operator, reductions of the AKNS($N$) systems, and Hirota bilinearization is also studied.


title: Brown-Halmos characterization of multi-Toeplitz operators associated with noncommutative poly-hyperballs

abstract: We obtain a noncommutative multivariable analogue of Louhichi and Olofsson characterization of Toeplitz operators with harmonic symbols on the weighted Bergman space $A_m({\bf D})$, as well as Eschmeier and Langendorfer extension to the unit ball of ${\bf C}^n$. All our results are proved in the more general setting of noncommutative poly-hyperballs ${\bf D_n^m}(H)$, ${\bf n,m}\in {\bf N}^k$, and are used to characterize the bounded free $k$-pluriharmonic functions with operator coefficients on poly-hyperballs and to solve the associated Dirichlet extension problem. In particular, the results hold for the reproducing kernel Hilbert space with kernel $$ \kappa_{\bf m}(z,w):=\prod_{i=1}^k \frac{1}{(1-\bar z_i w_i)^{m_i}},\qquad z,w\in {\bf D}^k, $$ where $m_i\geq 1$. This includes the Hardy space, the Bergman space, and the weighted Bergman space over the polydisk.


title: Prospects of tensor-based numerical modeling of the collective electrostatic potential in many-particle systems

abstract: Recently the rank-structured tensor approach suggested a progress in the numerical treatment of the long-range electrostatic potentials in many-particle systems and the respective interaction energy and forces [39,40,2]. In this paper, we outline the prospects for tensor-based numerical modeling of the collective electrostatic potential on lattices and in many-particle systems of general type. We generalize the approach initially introduced for the rank-structured grid-based calculation of the collective potentials on 3D lattices [39] to the case of many-particle systems with variable charges placed on $L^{\otimes d}$ lattices and discretized on fine $n^{\otimes d}$ Cartesian grids for arbitrary dimension $d$. As result, the interaction potential is represented in a parametric low-rank canonical format in $O(d L n)$ complexity. The energy is then calculated in $O(d L)$ operations. Electrostatics in large biomolecules is modeled by using the novel range-separated (RS) tensor format [2], which maintains the long-range part of the 3D collective potential of the many-body system represented on $n\times n \times n$ grid in a parametric low-rank form in $O(n)$-complexity. We show that the force field can be easily recovered by using the already precomputed electric field in the low-rank RS format. The RS tensor representation of the discretized Dirac delta [45] enables the efficient energy preserving regularization scheme for solving the 3D elliptic PDEs with strongly singular right-hand side arising in bio-sciences. We conclude that the rank-structured tensor-based approximation techniques provide the promising numerical tools for applications to many-body dynamics, protein docking and classification problems and for low-parametric interpolation of scattered data in data science.


title: ERA: A Dataset and Deep Learning Benchmark for Event Recognition in Aerial Videos

abstract: Along with the increasing use of unmanned aerial vehicles (UAVs), large volumes of aerial videos have been produced. It is unrealistic for humans to screen such big data and understand their contents. Hence methodological research on the automatic understanding of UAV videos is of paramount importance. In this paper, we introduce a novel problem of event recognition in unconstrained aerial videos in the remote sensing community and present a large-scale, human-annotated dataset, named ERA (Event Recognition in Aerial videos), consisting of 2,864 videos each with a label from 25 different classes corresponding to an event unfolding 5 seconds. The ERA dataset is designed to have a significant intra-class variation and inter-class similarity and captures dynamic events in various circumstances and at dramatically various scales. Moreover, to offer a benchmark for this task, we extensively validate existing deep networks. We expect that the ERA dataset will facilitate further progress in automatic aerial video comprehension. The website is https://lcmou.github.io/ERA_Dataset/


title: Kelly Betting with Quantum Payoff: a continuous variable approach

abstract: The main purpose of this study is to introduce a semi-classical model describing betting scenarios in which, at variance with conventional approaches, the payoff of the gambler is encoded into the internal degrees of freedom of a quantum memory element. In our scheme, we assume that the invested capital is explicitly associated with the quantum analog of the free-energy (i.e. ergotropy functional by Allahverdyan, Balian, and Nieuwenhuizen) of a single mode of the electromagnetic radiation which, depending on the outcome of the betting, experiences attenuation or amplification processes which model losses and winning events. The resulting stochastic evolution of the quantum memory resembles the dynamics of random lasing which we characterize within the theoretical setting of Bosonic Gaussian channels. As in the classical Kelly Criterion for optimal betting, we define the asymptotic doubling rate of the model and identify the optimal gambling strategy for fixed odds and probabilities of winning. The performance of the model are hence studied as a function of the input capital state under the assumption that the latter belongs to the set of Gaussian density matrices (i.e. displaced, squeezed thermal Gibbs states) revealing that the best option for the gambler is to devote all her/his initial resources into coherent state amplitude.


title: Non-Determinism in TensorFlow ResNets

abstract: We show that the stochasticity in training ResNets for image classification on GPUs in TensorFlow is dominated by the non-determinism from GPUs, rather than by the initialisation of the weights and biases of the network or by the sequence of minibatches given. The standard deviation of test set accuracy is 0.02 with fixed seeds, compared to 0.027 with different seeds---nearly 74\% of the standard deviation of a ResNet model is non-deterministic. For test set loss the ratio of standard deviations is more than 80\%. These results call for more robust evaluation strategies of deep learning models, as a significant amount of the variation in results across runs can arise simply from GPU randomness.


title: Sequentially $(S_r)$ is a topological property

abstract: We show that the sequentially $(S_r)$ condition for simplicial complexes is a topological property. Along the way, we present an elementary proof for the fact that the Serre's condition $(S_r)$ is a topological property.


title: Spin polarized proton beam generation from gas-jet targets by intense laser pulses

abstract: A method of generating spin polarized proton beams from a gas jet by using a multi-petawatt laser is put forward. With currently available techniques of producing pre-polarized monatomic gases from photodissociated hydrogen halide molecules and petawatt lasers, proton beams with energy ~ 50 MeV and ~ 80 % polarization are proved to be obtained. Two-stage acceleration and spin dynamics of protons are investigated theoretically and by means of fully self-consistent three dimensional particle-in-cell simulations. Our results predict the dependence of the beam polarization on the intensity of the driving laser pulse. Generation of bright energetic polarized proton beams would open a domain of polarization studies with laser driven accelerators, and have potential application to enable effective detection in explorations of quantum chromodynamics.


title: Uncovering life-course patterns with causal discovery and survival analysis

abstract: We provide a novel approach and an exploratory study for modelling life event choices and occurrence from a probabilistic perspective through causal discovery and survival analysis. Our approach is formulated as a bi-level problem. In the upper level, we build the life events graph, using causal discovery tools. In the lower level, for the pairs of life events, time-to-event modelling through survival analysis is applied to model time-dependent transition probabilities. Several life events were analysed, such as getting married, buying a new car, child birth, home relocation and divorce, together with the socio-demographic attributes for survival modelling, some of which are age, nationality, number of children, number of cars and home ownership. The data originates from a survey conducted in Dortmund, Germany, with the questionnaire containing a series of retrospective questions about residential and employment biography, travel behaviour and holiday trips, as well as socio-economic characteristic. Although survival analysis has been used in the past to analyse life-course data, this is the first time that a bi-level model has been formulated. The inclusion of a causal discovery algorithm in the upper-level allows us to first identify causal relationships between life-course events and then understand the factors that might influence transition rates between events. This is very different from more classic choice models where causal relationships are subject to expert interpretations based on model results.


title: Optimized Feature Space Learning for Generating Efficient Binary Codes for Image Retrieval

abstract: In this paper we propose an approach for learning low dimensional optimized feature space with minimum intra-class variance and maximum inter-class variance. We address the problem of high-dimensionality of feature vectors extracted from neural networks by taking care of the global statistics of feature space. Classical approach of Linear Discriminant Analysis (LDA) is generally used for generating an optimized low dimensional feature space for single-labeled images. Since, image retrieval involves both multi-labeled and single-labeled images, we utilize the equivalence between LDA and Canonical Correlation Analysis (CCA) to generate an optimized feature space for single-labeled images and use CCA to generate an optimized feature space for multi-labeled images. Our approach correlates the projections of feature vectors with label vectors in our CCA based network architecture. The neural network minimize a loss function which maximizes the correlation coefficients. We binarize our generated feature vectors with the popular Iterative Quantization (ITQ) approach and also propose an ensemble network to generate binary codes of desired bit length for image retrieval. Our measurement of mean average precision shows competitive results on other state-of-the-art single-labeled and multi-labeled image retrieval datasets.


title: Visuohaptic augmented feedback for enhancing motor skills acquisition

abstract: Serious games are accepted as an effective approach to deliver augmented feedback in motor (re-) learning processes. The multi-modal nature of the conventional computer games (e.g. audiovisual representation) plus the ability to interact via haptic-enabled inputs provides a more immersive experience. Thus, particular disciplines such as medical education in which frequent hands on rehearsals play a key role in learning core motor skills (e.g. physical palpations) may benefit from this technique. Challenges such as the impracticality of verbalising palpation experience by tutors and ethical considerations may prevent the medical students from correctly learning core palpation skills. This work presents a new data glove, built from off-the-shelf components which captures pressure sensitivity designed to provide feedback for palpation tasks. In this work the data glove is used to control a serious game adapted from the infinite runner genre to improve motor skill acquisition. A comparative evaluation on usability and effectiveness of the method using multimodal visualisations, as part of a larger study to enhance pressure sensitivity, is presented. Thirty participants divided into a game-playing group (n = 15) and a control group (n = 15) were invited to perform a simple palpation task. The game-playing group significantly outperformed the control group in which abstract visualisation of force was provided to the users in a blind-folded transfer test. The game-based training approach was positively described by the game-playing group as enjoyable and engaging.


title: Graph Convolution Machine for Context-aware Recommender System

abstract: The latest advance in recommendation shows that better user and item representations can be learned via performing graph convolutions on the user-item interaction graph. However, such finding is mostly restricted to the collaborative filtering (CF) scenario, where the interaction contexts are not available. In this work, we extend the advantages of graph convolutions to context-aware recommender system (CARS, which represents a generic type of models that can handle various side information). We propose \textit{Graph Convolution Machine} (GCM), an end-to-end framework that consists of three components: an encoder, graph convolution (GC) layers, and a decoder. The encoder projects users, items, and contexts into embedding vectors, which are passed to the GC layers that refine user and item embeddings with context-aware graph convolutions on user-item graph. The decoder digests the refined embeddings to output the prediction score by considering the interactions among user, item, and context embeddings. We conduct experiments on three real-world datasets from Yelp and Amazon, validating the effectiveness of GCM and the benefits of performing graph convolutions for CARS. Our implementations are available at \url{https://github.com/wujcan/GCM}.


title: Existence and cost of boundary controls for a degenerate/singular parabolic equation

abstract: In this paper, we consider the following degenerate/singular parabolic equation $$ u_t -(x^\alpha u_{x})_x - \frac{\mu}{x^{2-\alpha}} u =0, \qquad x\in (0,1), \ t \in (0,T), $$ where $0\leq \alpha <1$ and $\mu\leq (1-\alpha)^2/4$ are two real parameters. We prove the boundary null controllability by means of a $H^1(0,T)$ control acting either at $x=1$ or at the point of degeneracy and singularity $x=0$. Besides we give sharp estimates of the cost of controllability in both cases in terms of the parameters $\alpha$ and $\mu$. The proofs are based on the classical moment method by Fattorini and Russell and on recent results on biorthogonal sequences.


title: Critical phenomena and singular solutions in non-stationary filtration of real gases

abstract: In this paper, we study non-stationary filtration of real gases in porous media. Thermodynamic state of the medium is given by van der Waals state equations. Solutions for non-stationary filtration equation are obtained by means of finite dimensional dynamics. The analysis of phase transitions along the flow in case of isentropic and isenthalpic processes is presented as well as singular properties of solutions obtained are discussed. Domains in the jet space where the dynamics found is an attractor are shown.


title: Lense-Thirring frame dragging induced by a fast-rotating white dwarf in a binary pulsar system

abstract: Radio pulsars in short-period eccentric binary orbits can be used to study both gravitational dynamics and binary evolution. The binary system containing PSR J1141$-$6545 includes a massive white dwarf (WD) companion that formed before the gravitationally bound young radio pulsar. We observe a temporal evolution of the orbital inclination of this pulsar that we infer is caused by a combination of a Newtonian quadrupole moment and Lense-Thirring precession of the orbit resulting from rapid rotation of the WD. Lense-Thirring precession, an effect of relativistic frame-dragging, is a prediction of general relativity. This detection is consistent with the evolutionary scenario in which the WD accreted matter from the pulsar progenitor, spinning up the WD to a period $< 200$ seconds.


title: NAViDAd: A No-Reference Audio-Visual Quality Metric Based on a Deep Autoencoder

abstract: The development of models for quality prediction of both audio and video signals is a fairly mature field. But, although several multimodal models have been proposed, the area of audio-visual quality prediction is still an emerging area. In fact, despite the reasonable performance obtained by combination and parametric metrics, currently there is no reliable pixel-based audio-visual quality metric. The approach presented in this work is based on the assumption that autoencoders, fed with descriptive audio and video features, might produce a set of features that is able to describe the complex audio and video interactions. Based on this hypothesis, we propose a No-Reference Audio-Visual Quality Metric Based on a Deep Autoencoder (NAViDAd). The model visual features are natural scene statistics (NSS) and spatial-temporal measures of the video component. Meanwhile, the audio features are obtained by computing the spectrogram representation of the audio component. The model is formed by a 2-layer framework that includes a deep autoencoder layer and a classification layer. These two layers are stacked and trained to build the deep neural network model. The model is trained and tested using a large set of stimuli, containing representative audio and video artifacts. The model performed well when tested against the UnB-AV and the LiveNetflix-II databases. %Results shows that this type of approach produces quality scores that are highly correlated to subjective quality scores.


title: An unexpected meeting between the $P^{3}_{1}$-set and the cubic-triangular numbers

abstract: A set of $m$ positive integers $\{x_{1},\ldots,x_{m}\}$ is called a $P^{3}_{1}$-set of size $m$ if the product of any three elements in the set increased by one is a cube integer. A $P^{3}_{1}$-set $S$ is said to be extendible if there exists an integer $y\not\in S$ such that $S\cup\{y\}$ still a $P^{3}_{1}$-set. Now, let consider the Diophantine equation $u(u+1)/2=v^{3}$ whose integer solutions produce what we called cubic-triangular numbers. The purpose of this paper is to prove simultaneously that the $P^{3}_{1}$-set $\{1,2,13\}$ is non-extendible and $n=1$ is the unique cubic-triangular number by showing that the two problems meet on the Diophantine equation $2x^{3}-y^{3}=1$ that we solve using $p$-adic analysis.


title: Empirical tail copulas for functional data

abstract: For multivariate distributions in the domain of attraction of a max-stable distribution, the tail copula and the stable tail dependence function are equivalent ways to capture the dependence in the upper tail. The empirical versions of these functions are rank-based estimators whose inflated estimation errors are known to converge weakly to a Gaussian process that is similar in structure to the weak limit of the empirical copula process. We extend this multivariate result to continuous functional data by establishing the asymptotic normality of the estimators of the tail copula, uniformly over all finite subsets of at most $D$ points ($D$ fixed). An application for testing tail copula stationarity is presented. The main tool for deriving the result is the uniform asymptotic normality of all the $D$-variate tail empirical processes. The proof of the main result is non-standard.


title: Analysing Affective Behavior in the First ABAW 2020 Competition

abstract: The Affective Behavior Analysis in-the-wild (ABAW) 2020 Competition is the first Competition aiming at automatic analysis of the three main behavior tasks of valence-arousal estimation, basic expression recognition and action unit detection. It is split into three Challenges, each one addressing a respective behavior task. For the Challenges, we provide a common benchmark database, Aff-Wild2, which is a large scale in-the-wild database and the first one annotated for all these three tasks. In this paper, we describe this Competition, to be held in conjunction with the IEEE Conference on Face and Gesture Recognition, May 2020, in Buenos Aires, Argentina. We present the three Challenges, with the utilized Competition corpora. We outline the evaluation metrics, present both the baseline system and the top-3 performing teams' methodologies per Challenge and finally present their obtained results. More information regarding the Competition, the leaderboard of each Challenge and details for accessing the utilized database, are provided in the Competition site: http://ibug.doc.ic.ac.uk/resources/fg-2020-competition-affective-behavior-analysis.


title: The Tucana dwarf spheroidal galaxy: not such a massive failure after all

abstract: Isolated Local Group (LG) dwarf galaxies have evolved most or all of their life unaffected by interactions with the large LG spirals and therefore offer the opportunity to learn about the intrinsic characteristics of this class of objects. Here we explore the internal kinematic and metallicity properties of one of the three isolated LG dwarf spheroidal galaxies, i.e. the Tucana dSph. This is an intriguing system, as it has been found in the literature to have an internal rotation of up to 16 km/s, a much higher velocity dispersion than other dSphs of similar luminosity, and a possible exception to the too-big-too-fail problem. We present results for a new VLT/FORS2 spectroscopic dataset in the CaII triplet region for 50 candidate red giant branch stars in the direction of Tucana, which yielded line-of-sight velocity and metallicity ([Fe/H]) measurements of 39 effective members. This doubles the number of Tucana's stars with such measurements. In addition, we re-reduce and include in our analysis the other two spectroscopic datasets presented in the literature, the VLT/FORS2 sample by Fraternali et al. (2009) and the VLT/FLAMES one by Gregory et al. (2019). We measure a systemic velocity of $180.0\pm1.3$ km/s, consistently across the various datasets analyzed, and find that a dispersion-only model is moderately favored over models accounting also for internal rotation. Our best estimate of the internal velocity dispersion is $6.2_{-1.3}^{+1.6}$ km/s, much smaller than the values reported in the literature and in line with similarly luminous dSphs; this is consistent with Tucana not being an exception to the too-big-to-fail problem, nor living in a dark matter halo much more massive than those of its siblings. As for the metallicity properties, we do not find anything unusual; there are hints of the presence of a [Fe/H] gradient but more data are needed to pin its presence down.


title: NCVis: Noise Contrastive Approach for Scalable Visualization

abstract: Modern methods for data visualization via dimensionality reduction, such as t-SNE, usually have performance issues that prohibit their application to large amounts of high-dimensional data. In this work, we propose NCVis -- a high-performance dimensionality reduction method built on a sound statistical basis of noise contrastive estimation. We show that NCVis outperforms state-of-the-art techniques in terms of speed while preserving the representation quality of other methods. In particular, the proposed approach successfully proceeds a large dataset of more than 1 million news headlines in several minutes and presents the underlying structure in a human-readable way. Moreover, it provides results consistent with classical methods like t-SNE on more straightforward datasets like images of hand-written digits. We believe that the broader usage of such software can significantly simplify the large-scale data analysis and lower the entry barrier to this area.


title: Setting the cornerstone for the IMRPhenomX family of models for gravitational waves from compact binaries: The dominant harmonic for non-precessing quasi-circular black holes

abstract: In this paper we present IMRPhenomXAS, a thorough overhaul of the IMRPhenomD [1,2] waveform model, which describes the dominant $l=2, \:| m | = 2$ spherical harmonic mode of non-precessing coalescing black holes in terms of piecewise closed form expressions in the frequency domain. Improvements include in particular the accurate treatment of unequal spin effects, and the inclusion of extreme mass ratio waveforms. IMRPhenomD has previously been extended to approximately include spin precession [3] and subdominant spherical harmonics [4], and with its extensions it has become a standard tool in gravitational wave parameter estimation. Improved extensions of IMRPhenomXAS are discussed in companion papers [5,6].


title: The Chevalley-Gras formula over global fields

abstract: In this article we give an adelic proof of the Chevalley-Gras formula for global fields, which itself is a generalization of the ambiguous class number formula. The idea is to reduce the formula to the Hasse norm theorem, the local and global reciprocity laws. We also give an adelic proof of the Chevalley-Gras formula for $0$-th divisor class group in the function field case, which extends a result of Rosen.


title: Fourier transform as a triangular matrix

abstract: Let V be a finite dimensional vector space over the field with two elements with a given nondegenerate symplectic form. Let [V] be the vector space of complex valued functions on V and let [V]_Z be the subgroup of [V] consisting of integer valued functions. We show that there exists a Z-basis of [V]_Z consisting of characteristic functions of certain explicit isotropic subspaces of V such that the matrix of the Fourier transform from [V] to [V] with respect to this basis is triangular. We show that this is a special case of a result which holds for any two-sided cell in a Weyl group.


title: Second-order asymptotics of the fractional perimeter as $s\to 1$

abstract: In this note we provide a second-order asymptotic expansion of the fractional perimeter Per$_s(E)$, as $s\to 1^-$, in terms of the local perimeter and of a higher order nonlocal functional.


title: Extreme Fermi surface smearing in a maximally disordered concentrated solid solution

abstract: We show that the Fermi surface can survive the presence of extreme compositional disorder in the equiatomic alloy Ni$_{0.25}$Fe$_{0.25}$Co$_{0.25}$Cr$_{0.25}$. Our high-resolution Compton scattering experiments reveal a Fermi surface which is smeared across a significant fraction of the Brillouin zone (up to 40\% of $\frac{2\pi}{a}$). The extent of this smearing and its variation on and between different sheets of the Fermi surface has been determined, and estimates of the electron mean-free-path and residual resistivity have been made by connecting this smearing with the coherence length of the quasiparticle states.


title: On the mean curvature of submanifolds with nullity

abstract: In this paper, we investigate geometric conditions for isometric immersions with positive index of relative nullity to be cylinders. There is an abundance of noncylindrical $n$-dimensional minimal submanifolds with index of relative nullity $n-2$, fully described by Dajczer and Florit \cite{DF2} in terms of a certain class of elliptic surfaces. Opposed to this, we prove that nonminimal $n$-dimensional submanifolds in space forms of any codimension are locally cylinders provided that they carry a totally geodesic distribution of rank $n-2\geq2,$ which is contained in the relative nullity distribution, such that the length of the mean curvature vector field is constant along each leaf. The case of dimension $n=3$ turns out to be special. We show that there exist elliptic three-dimensional submanifolds in spheres satisfying the above properties. In fact, we provide a parametrization of three-dimensional submanifolds as unit tangent bundles of minimal surfaces in the Euclidean space whose first curvature ellipse is nowhere a circle and its second one is everywhere a circle. Moreover, we provide several applications to submanifolds whose mean curvature vector field has constant length, a much weaker condition than being parallel.


title: The Nature of the Double Nuclei in the Barred S0 Galaxy IC676

abstract: The lenticular galaxy IC 676 is a barred galaxy with double nuclei and active star formation in the central region. In this work we present the long-slit spectroscopy and archival multi-wavelength images to investigate the nature and origin of the double nuclei in IC 676. Through photometric 1D brightness profiles and 2D image decomposition, we show that this galaxy consists of a stellar bar with the length of $\sim$ 2.5 kpc and two S\'ersic disks both of which with S\'ersic index $\it n \sim$ 1.3. There is probably little or no bulge component assembled in IC 676. The luminosities of the double nuclei are primarily dominated by young stellar populations within the ages of 1-10 Myr. The northern nucleus has stronger star formation activity than the southern one. The surface densities of the star formation rate in the double nuclei are similar to those in starburst galaxies or the circumnuclear star forming regions in spiral galaxies. Each of the double nuclei in IC 676 likely consists of young massive star clusters, which can be resolved as bright knots in the HST high resolution image. Our results suggest that IC 676 likely has a complex formation and evolutionary history. The secular processes driven by the stellar bar and external accretion may dominate the formation and evolution of its double nuclei. This indicates that the secular evolution involving the internal and external drivers may have an important contribution for the evolution of lenticular galaxies.


title: Grassmannian Optimization for Online Tensor Completion and Tracking with the t-SVD

abstract: We propose a new fast streaming algorithm for the tensor completion problem of imputing missing entries of a low-tubal-rank tensor using the tensor singular value decomposition (t-SVD) algebraic framework. We show the t-SVD is a specialization of the well-studied block-term decomposition for third-order tensors, and we present an algorithm under this model that can track changing free submodules from incomplete streaming 2-D data. The proposed algorithm uses principles from incremental gradient descent on the Grassmann manifold of subspaces to solve the tensor completion problem with linear complexity and constant memory in the number of time samples. We provide a local expected linear convergence result for our algorithm. Our empirical results are competitive in accuracy but much faster in compute time than state-of-the-art tensor completion algorithms on real applications to recover temporal chemo-sensing and MRI data under limited sampling.


title: Hints of dark energy anisotropic stress using Machine Learning

abstract: Recent analyses of the Planck data and quasars at high redshifts have suggested possible deviations from the flat $\Lambda$ cold dark matter model ($\Lambda$CDM), where $\Lambda$ is the cosmological constant. Here we use machine learning methods to investigate any possible deviations from $\Lambda$CDM at both low and high redshifts by using the latest cosmological data. Specifically, we apply the Genetic Algorithms to explore the nature of dark energy (DE) in a model independent fashion by reconstructing its equation of state $w(z)$, the growth index of matter density perturbations $\gamma(z)$, the linear DE anisotropic stress $\eta_\textrm{DE}(z)$ and the adiabatic sound speed $c_\textrm{s,DE}^2(z)$ of DE perturbations. We find a $\sim2\sigma$ deviation of $w(z)$ from -1 at high redshifts, the adiabatic sound speed is negative at the $\sim2.5\sigma$ level at $z=0.1$ and a $\sim2\sigma$ deviation of the anisotropic stress from unity at low redshifts and $\sim4 \sigma$ at high redshifts. These results hint towards either the presence of an non-adiabatic component in the DE sound speed or the presence of DE anisotropic stress, thus hinting at possible deviations from the $\Lambda$CDM model.


title: Local tomography and the role of the complex numbers in quantum mechanics

abstract: Various reconstructions of finite-dimensional quantum mechanics result in a formally real Jordan algebra A and a last step remains to conclude that A is the self-adjoint part of a C*-algebra. Using a quantum logical setting, it is shown that this can be achieved by postulating that there is a locally tomographic model for a composite system consisting of two copies of the same system. Local tomography is a feature of classical probability theory and quantum mechanics; it means that state tomography for a multipartite system can be performed by simultaneous measurements in all subsystems. The quantum logical definition of local tomography is sufficient, but it is less restictive than the prevalent definition in the literature and involves some subtleties concerning the so-called spin factors.


title: Spatial competition with unit-demand functions

abstract: This paper studies a spatial competition game between two firms that sell a homogeneous good at some pre-determined fixed price. A population of consumers is spread out over the real line, and the two firms simultaneously choose location in this same space. When buying from one of the firms, consumers incur the fixed price plus some transportation costs, which are increasing with their distance to the firm. Under the assumption that each consumer is ready to buy one unit of the good whatever the locations of the firms, firms converge to the median location: there is "minimal differentiation". In this article, we relax this assumption and assume that there is an upper limit to the distance a consumer is ready to cover to buy the good. We show that the game always has at least one Nash equilibrium in pure strategy. Under this more general assumption, the "minimal differentiation principle" no longer holds in general. At equilibrium, firms choose "minimal", "intermediate" or "full" differentiation, depending on this critical distance a consumer is ready to cover and on the shape of the distribution of consumers' locations.


title: Asymptotic regime analysis of NOMA uplink networks under QoS delay Constraints

abstract: In the fifth generation and beyond (B5G) technologies, delay constrains emerge as a topic of particular interest for ultra reliable low latency communications (e.g., enhanced reality, haptic communications). In this report, we study the performance of a two user uplink non orthogonal multiple access (NOMA) network under quality of service (QoS) delay constraints, captured through each user delay exponents in their effective capacity (EC). We propose novel closed form expressions for the EC of the NOMA users and validate them through Monte Carlo simulations. Interestingly, our study shows that in the high signal to noise ratio (SNR) region, the strong NOMA user has a limited EC no matter how large the transmit SNR is, under the same delay constraint as the weak user. We show that for the weak user OMA achieves higher EC than NOMA at small values of the transmit SNR and that NOMA become more beneficial at high values of the transmit SNR. For the strong user, we show that NOMA achieves a higher EC than OMA at small values of the transmit SNR and that at high values of the transmit SNR OMA becomes more beneficial. By introducing user pairing when more than two NOMA users are present, we show that NOMA with user pairing outperforms OMA in term of the total link layer EC. Finally, we find the set of pairs which gives the highest total link-layer in the uplink for NOMA with multiple user-pairs.


title: On the stress overshoot in cluster crystals under shear

abstract: Using non-equilibrium molecular dynamics simulations we study the yielding behaviour of a model cluster crystal formed by ultrasoft particles under shear. We investigate the evolution of stress as a function of strain for different shear rates, $\dot{\gamma}$, and temperatures. The stress-strain relation displays a pronounced maximum at the yielding point; the height of this maximum, $\sigma_\text{p}$, increases via a power law with an increasing shear range and tends to saturate to a finite value if the limit shear rate goes to zero (at least within the considered temperature range). Interestingly, this behaviour can be captured by the Herschel-Bulkley type model which, for a given temperature, allows us to predict a static yield stress $\sigma^{0}_\text{p}$ (in the shear rate tending to zero limit), a characteristic timescale $\tau_\text{c}$, and the exponent $\alpha$ of the above-mentioned power-law decay of the $\sigma_\text{p}$ at high shear rates. Furthermore, for different temperatures, the $\sigma_\text{p}$ can be scaled as functions of $\dot{\gamma}$ onto a single master curve when scaled by corresponding $\tau_\text{c}$ and ${\sigma}_\text{p}^{0}$. Moreover, for a given shear rate, $\sigma_\text{p}$ displays a logarithmic dependence on temperature. Again, the $\sigma_\text{p}{-}T$ curves for different shear rates can be scaled on a single logarithmic master curve when scaled by a corresponding fitting parameters.


title: Functional PCA with Covariate Dependent Mean and Covariance Structure

abstract: Incorporating covariates into functional principal component analysis (PCA) can substantially improve the representation efficiency of the principal components and predictive performance. However, many existing functional PCA methods do not make use of covariates, and those that do often have high computational cost or make overly simplistic assumptions that are violated in practice. In this article, we propose a new framework, called Covariate Dependent Functional Principal Component Analysis (CD-FPCA), in which both the mean and covariance structure depend on covariates. We propose a corresponding estimation algorithm, which makes use of spline basis representations and roughness penalties, and is substantially more computationally efficient than competing approaches of adequate estimation and prediction accuracy. A key aspect of our work is our novel approach for modeling the covariance function and ensuring that it is symmetric positive semi-definite. We demonstrate the advantages of our methodology through a simulation study and an astronomical data analysis.


title: In-situ learning harnessing intrinsic resistive memory variability through Markov Chain Monte Carlo Sampling

abstract: Resistive memory technologies promise to be a key component in unlocking the next generation of intelligent in-memory computing systems that can act and learn locally at the edge. However, current approaches to in-memory machine learning focus often on the implementation of models and algorithms which cannot be reconciled with the true, physical properties of resistive memory. Consequently, these properties, in particular cycle-to-cycle conductance variability, are considered as non-idealities that require mitigation. Here by contrast, we embrace these properties by selecting a more appropriate machine learning model and algorithm. We implement a Markov Chain Monte Carlo sampling algorithm within a fabricated array of 16,384 devices, configured as a Bayesian machine learning model. The algorithm is realised in-situ, by exploiting the devices as random variables from the perspective of their cycle-to-cycle conductance variability. We train experimentally the memory array to perform an illustrative supervised learning task as well as a malignant breast tissue recognition task, achieving an accuracy of 96.3%. Then, using a behavioural model of resistive memory calibrated on array level measurements, we apply the same approach to the Cartpole reinforcement learning task. In all cases our proposed approach outperformed software-based neural network models realised using an equivalent number of memory elements. This result lays a foundation for a new path in-memory machine learning, compatible with the true properties of resistive memory technologies, that can bring localised learning capabilities to intelligent edge computing systems.


title: Hierarchical decoding to reduce hardware requirements for quantum computing

abstract: Extensive quantum error correction is necessary in order to scale quantum hardware to the regime of practical applications. As a result, a significant amount of decoding hardware is necessary to process the colossal amount of data required to constantly detect and correct errors occurring over the millions of physical qubits driving the computation. The implementation of a recent highly optimized version of Shor's algorithm to factor a 2,048-bits integer would require more 7 TBit/s of bandwidth for the sole purpose of quantum error correction and up to 20,000 decoding units. To reduce the decoding hardware requirements, we propose a fault-tolerant quantum computing architecture based on surface codes with a cheap hard-decision decoder, the lazy decoder, combined with a sophisticated decoding unit that takes care of complex error configurations. Our design drops the decoding hardware requirements by several orders of magnitude assuming that good enough qubits are provided. Given qubits and quantum gates with a physical error rate $p=10^{-4}$, the lazy decoder drops both the bandwidth requirements and the number of decoding units by a factor 50x. Provided very good qubits with error rate $p=10^{-5}$, we obtain a 1,500x reduction in bandwidth and decoding hardware thanks to the lazy decoder. Finally, the lazy decoder can be used as a decoder accelerator. Our simulations show a 10x speed-up of the Union-Find decoder and a 50x speed-up of the Minimum Weight Perfect Matching decoder.


title: Nonuniversal Entanglement Level Statistics in Projection-driven Quantum Circuits

abstract: We study the level-spacing statistics in the entanglement spectrum of output states of random universal quantum circuits where qubits are subject to a finite probability of projection to the computational basis at each time step. We encounter two phase transitions with increasing projection rate: The first is the volume-to-area law transition observed in quantum circuits with projective measurements; The second separates the pure Poisson level statistics phase at large projective measurement rates from a regime of residual level repulsion in the entanglement spectrum within the area-law phase, characterized by non-universal level spacing statistics that interpolates between the Wigner-Dyson and Poisson distributions. By applying a tensor network contraction algorithm introduced in Ref. [1] to the circuit spacetime, we identify this second projective-measurement-driven transition as a percolation transition of entangled bonds. The same behavior is observed in both circuits of random two-qubit unitaries and circuits of universal gate sets, including the set implemented by Google in its Sycamore circuits.

categories: cond-mat.stat-mech cond-mat.dis-nn cond-mat.str-el quant-ph


title: Optimal Beamforming for MISO Communications via Intelligent Reflecting Surfaces

abstract: Wireless communications via intelligent reflecting surfaces (IRSs) has received considerable attention from both academia and industry. In particular, IRSs are able to create favorable wireless propagation environments with typically low-cost passive devices. While various IRS-aided wireless communication systems have been investigated in the literature, thus far, the optimal design of such systems is not well understood. In this paper, IRS-assisted single-user multiple-input single-output (MISO) communication is investigated. To maximize the spectral efficiency, a branch-and-bound (BnB) algorithm is proposed to obtain globally optimal solutions for both the active and passive beamformers at the access point (AP) and the IRS, respectively. Simulation results confirm the effectiveness of deploying IRSs in wireless systems. Furthermore, by taking the proposed optimal BnB algorithm as the performance benchmark, the optimality of existing design algorithms is investigated.


title: Statistical mechanics of local force dipole responses in computer glasses

abstract: Soft quasilocalized modes (QLMs) are universally featured by structural glasses quenched from a melt, and are supposedly involved in a number of glassy anomalies such as the low temperature scaling of their thermal conductivity and specific heat, and sound attenuation at intermediate frequencies. In computer glasses, QLMs may assume the form of harmonic vibrational modes under a narrow set of circumstances, however direct access to their full distribution over frequency is hindered by hybridizations of QLMs with other low-frequency modes (e.g.~phonons). Previous studies to overcome this issue have demonstrated that the response of a glass to local force dipoles serves as a good proxy for its QLMs; we therefore study here the statistical-mechanical properties of the responses to local force dipoles in computer glasses, over a large range of glass stabilities and in various spatial dimensions, with the goal of revealing properties of the yet-inaccessible full distribution of QLMs' frequencies. We find that, as opposed to the spatial-dimension-independent universal distribution of QLMs' frequencies $\omega$ (and, consequently, also of their stiffness $\kappa\!=\!\omega^2$), the distribution of stiffnesses associated with responses to local force dipoles features a (weak) dependence on spatial dimension. We rationalize this dependence by introducing a lattice model that incorporates both the real-space profiles of QLMs --- associated with dimension-dependent long-range elastic fields --- and the universal statistical properties of their frequencies. Finally, we discuss possible connections between our findings and basic aspects of the glass transition problem, and to finite-size effects in plastic activity of ultrastable glasses.


title: Maximal arcs, codes, and new links between projective planes

abstract: In this paper we consider binary linear codes spanned by incidence matrices of Steiner 2-designs associated with maximal arcs in projective planes of even order, and their dual codes. Upper and lower bounds on the 2-rank of the incidence matrices are derived. A lower bound on the minimum distance of the dual codes is proved, and it is shown that the bound is achieved if and only if the related maximal arc contains a hyperoval of the plane. The binary linear codes of length 52 spanned by the incidence matrices of 2-$(52,4,1)$ designs associated with previously known and some newly found maximal arcs of degree 4 in projective planes of order 16 are analyzed and classified up to equivalence. The classification shows that some designs associated with maximal arcs in nonisomorphic planes generate equivalent codes. This phenomenon establishes new links between several of the known planes. A conjecture concerning the codes of maximal arcs in $PG(2,2^m)$ is formulated.


title: Modeling bursting in neuronal networks using facilitation-depression and afterhyperpolarization

abstract: In the absence of inhibition, excitatory neuronal networks can alternate between bursts and interburst intervals (IBI), with heterogeneous length distributions. As this dynamic remains unclear, especially the durations of each epoch, we develop here a bursting model based on synaptic depression and facilitation that also accounts for afterhyperpolarization (AHP), which is a key component of IBI. The framework is a novel stochastic three dimensional dynamical system perturbed by noise: numerical simulations can reproduce a succession of bursts and interbursts. Each phase corresponds to an exploration of a fraction of the phase-space, which contains three critical points (one attractor and two saddles) separated by a two-dimensional stable manifold $\Sigma$. We show here that bursting is defined by long deterministic excursions away from the attractor, while IBI corresponds to escape induced by random fluctuations. We show that the variability in the burst durations, depends on the distribution of exit points located on $\Sigma$ that we compute using WKB and the method of characteristics. Finally, to better characterize the role of several parameters such as the network connectivity or the AHP time scale, we compute analytically the mean burst and AHP durations in a linear approximation. To conclude the distribution of bursting and IBI could result from synaptic dynamics modulated by AHP.