title: Sewer Rats in Teaching Action: An explorative field study on students' perception of a game-based learning app in graduate engineering education

abstract: Game-based technologies and mobile learning aids open up many opportunities for learners; however, evidence-based decisions on their appropriate use are necessary. This explorative study (N = 100) examines the role of game elements in university education using a game-based learning app for mobile devices. The educational goal of the app is to support students in the field of engineering to memorize factual knowledge. The study investigates how the game-based app affects learners' motivation. It analyses the perceived impact and appeal as well as the game elements as an incentive in learners' perception. To realize this aim, the study combines structured methods like questionnaires with semi-structured methods like thinking aloud, game diaries, and interviews. The results indicate that flexible tem-poral and spatial use of the app was an important factor of learners' motivation. The app allowed more spontaneous involvement with the subject matter and the learners took advantage of an improved attitude toward the subject matter. However, only a low impact on intrinsic motivation could be observed. We discuss reasons and present practical implications.


title: Rigorous vector wave propagation for arbitrary flat media

abstract: Precise modelling of the (off-axis) point spread function (PSF) to identify geometrical and polarization aberrations is important for many optical systems. In order to characterise the PSF of the system in all Stokes parameters, an end-to-end simulation of the system has to be performed in which Maxwells equations are rigorously solved. We present the first results of a python code that we are developing to perform multiscale end-to-end wave propagation simulations that include all relevant physics. Currently we can handle plane-parallel near- and far-field vector diffraction effects of propagating waves in homogeneous isotropic and anisotropic materials, refraction and reflection of flat parallel surfaces, interference effects in thin films and unpolarized light. We show that the code has a numerical precision on the order of 1E-16 for non-absorbing isotropic and anisotropic materials. For absorbing materials the precision is on the order of 1E-8. The capabilities of the code are demonstrated by simulating a converging beam reflecting from a flat aluminium mirror at normal incidence.


title: Evaluation of the mass of an asymptotically hyperbolic manifold

abstract: We show that the mass of an asymptotically hyperbolic manifold with a noncompact boundary can be evaluated via the Ricci tensor and the second fundamental form by using purely coordinates. The method is analog to Miao-Tam's approach to the asymptotically flat manifold.


title: A 16-pixel NbN nanowire single photon detector coupled with 300 micrometer fiber

abstract: Niobium Nitride (NbN) nanowire is the most popular detection material of superconducting nanowire single photon detectors (SNSPDs) for high repetition rate and high efficiency. However, it has been assumed to be difficult for fabricating SNSPDs with arrays over large area, which are critical components of quantum imaging, linear optical quantum computing, satellite laser ranging, and high-speed quantum key distribution. This paper reported a 4*4 pixel NbN SNSPDs array with an equivalent receiving aperture of 300 micrometer associated with beam compression technology, which is the first NbN SNSPD coupled by 300 micrometer fiber according to our knowledge. The designed pixel was compact with a filling factor of 98.5%, resulting in a high quantum efficiency of 94.5%, a system efficiency of 46% for photons coupled from 300 micrometer fiber without optimizing polarization, and a system time resolution of 92 ps. This work demonstrates the feasibility of a large SNSPDs array, and paves the way for developing efficient photon camera with NbN nanowires.


title: A^2Net: Adjacent Aggregation Networks for Image Raindrop Removal

abstract: Existing methods for single images raindrop removal either have poor robustness or suffer from parameter burdens. In this paper, we propose a new Adjacent Aggregation Network (A^2Net) with lightweight architectures to remove raindrops from single images. Instead of directly cascading convolutional layers, we design an adjacent aggregation architecture to better fuse features for rich representations generation, which can lead to high quality images reconstruction. To further simplify the learning process, we utilize a problem-specific knowledge to force the network focus on the luminance channel in the YUV color space instead of all RGB channels. By combining adjacent aggregating operation with color space transformation, the proposed A^2Net can achieve state-of-the-art performances on raindrop removal with significant parameters reduction.


title: Coherent generation and detection of acoustic phonons in topological nanocavities

abstract: Inspired by concepts developed for fermionic systems in the framework of condensed matter physics, topology and topological states are recently being explored also in bosonic systems. The possibility of engineering systems with unidirectional wave propagation and protected against disorder is at the heart of this growing interest. Topogical acoustic effects have been observed in a variety of systems, most of them based on kHz-MHz sound waves, with typical wavelength of the order of the centimeter. Recently, some of these concepts have been successfully transferred to acoustic phonons in nanoscaled multilayered systems. The reported demonstration of confined topological phononic modes was based on Raman scattering spectroscopy, yet the resolution did not suffice to determine lifetimes and to identify other acoustic modes in the system. Here, we use time-resolved pump-probe measurements using an asynchronous optical sampling (ASOPS) technique to overcome these resolution limitations. By means of one-dimensional GaAs/AlAs distributed Bragg reflectors (DBRs) as building blocks, we engineer high frequency ($\sim$ 200 GHz) topological acoustic interface states. We are able to clearly distinguish confined topological states from stationary band edge modes. The detection scheme reflects the symmetry of the modes directly through the selection rules, evidencing the topological nature of the measured confined state. These experiments enable a new tool in the study of the more complex topology-driven phonon dynamics such as phonon nonlinearities and optomechanical systems with simultaneous confinement of light and sound.


title: Alternating Loss Correction for Preterm-Birth Prediction from EHR Data with Noisy Labels

abstract: In this paper we are interested in the prediction of preterm birth based on diagnosis codes from longitudinal EHR. We formulate the prediction problem as a supervised classification with noisy labels. Our base classifier is a Recurrent Neural Network with an attention mechanism. We assume the availability of a data subset with both noisy and clean labels. For the cohort definition, most of the diagnosis codes on mothers' records related to pregnancy are ambiguous for the definition of full-term and preterm classes. On the other hand, diagnosis codes on babies' records provide fine-grained information on prematurity. Due to data de-identification, the links between mothers and babies are not available. We developed a heuristic based on admission and discharge times to match babies to their mothers and hence enrich mothers' records with additional information on delivery status. The obtained additional dataset from the matching heuristic has noisy labels and was used to leverage the training of the deep learning model. We propose an Alternating Loss Correction (ALC) method to train deep models with both clean and noisy labels. First, the label corruption matrix is estimated using the data subset with both noisy and clean labels. Then it is used in the model as a dense output layer to correct for the label noise. The network is alternately trained on epochs with the clean dataset with a simple cross-entropy loss and on next epoch with the noisy dataset and a loss corrected with the estimated corruption matrix. The experiments for the prediction of preterm birth at 90 days before delivery showed an improvement in performance compared with baseline and state of-the-art methods.


title: What and Where: A Context-based Recommendation System for Object Insertion

abstract: In this work, we propose a novel topic consisting of two dual tasks: 1) given a scene, recommend objects to insert, 2) given an object category, retrieve suitable background scenes. A bounding box for the inserted object is predicted in both tasks, which helps downstream applications such as semi-automated advertising and video composition. The major challenge lies in the fact that the target object is neither present nor localized at test time, whereas available datasets only provide scenes with existing objects. To tackle this problem, we build an unsupervised algorithm based on object-level contexts, which explicitly models the joint probability distribution of object categories and bounding boxes with a Gaussian mixture model. Experiments on our newly annotated test set demonstrate that our system outperforms existing baselines on all subtasks, and do so under a unified framework. Our contribution promises future extensions and applications.


title: Electric polarization in magnetic topological nodal semimetal thin films

abstract: We theoretically study the electric polarization in magnetic topological nodal semimetal thin films. In magnetically doped topological insulators, topological nodal semimetal phases emerge once the exchange coupling overcomes the band gap. Changing the magnetization direction, nodal structure is modulated and the system becomes topological nodal point or line semimetals. We find that nodal line semimetals are characterized by non-linear electric polarization, which is not observed in nodal point semimetals. The non-linear response originates from the existence of the surface states. Screening effect is self consistently included within a mean field approximation and the non-linear electric polarization is observed even in the presence of screening effect.


title: Strategy of the Negative Sampling for Training Retrieval-Based Dialogue Systems

abstract: The article describes the new approach for quality improvement of automated dialogue systems for customer support service. Analysis produced in the paper demonstrates the dependency of the quality of the retrieval-based dialogue system quality on the choice of negative responses. The proposed approach implies choosing the negative samples according to the distribution of responses in the train set. In this implementation the negative samples are randomly chosen from the original response distribution and from the "artificial" distribution of negative responses, such as uniform distribution or the distribution obtained by transformation of the original one. The results obtained for the implemented systems and reported in this paper confirm the significant improvement of automated dialogue systems quality in case of using the negative responses from transformed distribution.


title: Recurrently Controlled Recurrent Networks

abstract: Recurrent neural networks (RNNs) such as long short-term memory and gated recurrent units are pivotal building blocks across a broad spectrum of sequence modeling problems. This paper proposes a recurrently controlled recurrent network (RCRN) for expressive and powerful sequence encoding. More concretely, the key idea behind our approach is to learn the recurrent gating functions using recurrent networks. Our architecture is split into two components - a controller cell and a listener cell whereby the recurrent controller actively influences the compositionality of the listener cell. We conduct extensive experiments on a myriad of tasks in the NLP domain such as sentiment analysis (SST, IMDb, Amazon reviews, etc.), question classification (TREC), entailment classification (SNLI, SciTail), answer selection (WikiQA, TrecQA) and reading comprehension (NarrativeQA). Across all 26 datasets, our results demonstrate that RCRN not only consistently outperforms BiLSTMs but also stacked BiLSTMs, suggesting that our controller architecture might be a suitable replacement for the widely adopted stacked architecture.


title: Possible Electrochemical Origin of Ferroelectricity in HfO2 Thin Films

abstract: Recent observations of unusual ferroelectricity in thin films of HfO_2 and related materials have attracted broad interest to the materials and led to the emergence of a number of competing models for observed behaviors. Here we develop the electrochemical mechanism of observed ferroelectric-like behaviors, namely the collective phenomena of elastic and electric dipoles originated from oxygen vacancies formation in the vicinity of film surfaces, as well as from grain boundaries and other types of inhomogeneities inside the film. The ferroelectric phase is induced by the "electrochemical" coupling, that is the joint action of the omnipresent electrostriction and "chemical" pressure, which lead to the sign change of the positive coefficient alfa in the quadratic term alfa*P^2 in the order-disorder type thermodynamic functional depending on polarization P. Negative coefficient alfa becomes the driving force of the transition to the long-range ordered ferroelectric phase with the spontaneous polarization P in the direction normal to the film surface. Using the above ideas, we estimated that the reversible ferroelectric polarization, as high as (0.05 - 0.2) C/m^2, can be induced by oxygen vacancies in HfO_2 films of thickness less than (20 - 30) nm. Semi-quantitative agreement with available experimental data is demonstrated.


title: L\'evy-stable two-pion Bose-Einstein correlation functions measured with PHENIX in $\sqrt{s_{NN}}$ = 200 GeV Au+Au collisions

abstract: Measurement of quantumstatistical correlation functions in high energy nuclear physics is an important tool to investigate the QCD phase diagram. It may be used to search for the critical point, and also to understand underlying processes such as in-medium mass modifications or partially coherent particle production. Furthermore, the measurements of the femtoscopic correlation functions shed light on the space-time structure of particle production. Consequently, the precise measurements and description of the correlation functions are essential. The shape of two-pion Bose-Einstein correlation functions were often assumed to be Gaussian, but the recent precision of the experiments reveals that the statistically correct assumption is the more general L\'evy-distribution. In this paper we present the recent results of the measurements of two-pion L\'evy-stable Bose-Einstein correlation functions in Au+Au collisions at PHENIX


title: Senti-Attend: Image Captioning using Sentiment and Attention

abstract: There has been much recent work on image captioning models that describe the factual aspects of an image. Recently, some models have incorporated non-factual aspects into the captions, such as sentiment or style. However, such models typically have difficulty in balancing the semantic aspects of the image and the non-factual dimensions of the caption; in addition, it can be observed that humans may focus on different aspects of an image depending on the chosen sentiment or style of the caption. To address this, we design an attention-based model to better add sentiment to image captions. The model embeds and learns sentiment with respect to image-caption data, and uses both high-level and word-level sentiment information during the learning process. The model outperforms the state-of-the-art work in image captioning with sentiment using standard evaluation metrics. An analysis of generated captions also shows that our model does this by a better selection of the sentiment-bearing adjectives and adjective-noun pairs.


title: Spatio-Temporal Road Scene Reconstruction using Superpixel Markov Random Field

abstract: Scene model construction based on image rendering is an indispensable but challenging technique in computer vision and intelligent transportation systems. In this paper, we propose a framework for constructing 3D corridor-based road scene models. This consists of two successive stages: road detection and scene construction. The road detection is realized by a new superpixel Markov random field (MRF) algorithm. The data fidelity term in the MRF's energy function is jointly computed according to the superpixel features of color, texture and location. The smoothness term is established on the basis of the interaction of spatio-temporally adjacent superpixels. In the subsequent scene construction, the foreground and background regions are modeled independently. Experiments for road detection demonstrate the proposed method outperforms the state-of-the-art in both accuracy and speed. The scene construction experiments confirm that the proposed scene models show better correctness ratios, and have the potential to support a range of applications.


title: Discriminative Feature Learning for Unsupervised Video Summarization

abstract: In this paper, we address the problem of unsupervised video summarization that automatically extracts key-shots from an input video. Specifically, we tackle two critical issues based on our empirical observations: (i) Ineffective feature learning due to flat distributions of output importance scores for each frame, and (ii) training difficulty when dealing with long-length video inputs. To alleviate the first problem, we propose a simple yet effective regularization loss term called variance loss. The proposed variance loss allows a network to predict output scores for each frame with high discrepancy which enables effective feature learning and significantly improves model performance. For the second problem, we design a novel two-stream network named Chunk and Stride Network (CSNet) that utilizes local (chunk) and global (stride) temporal view on the video features. Our CSNet gives better summarization results for long-length videos compared to the existing methods. In addition, we introduce an attention mechanism to handle the dynamic information in videos. We demonstrate the effectiveness of the proposed methods by conducting extensive ablation studies and show that our final model achieves new state-of-the-art results on two benchmark datasets.


title: MiniOS: an instructional platform for teaching operating systems labs

abstract: Delivering hands-on practice laboratories for introductory courses on operating systems is a difficult task. One of the main sources of the difficulty is the sheer size and complexity of the operating systems software. Consequently, some of the solutions adopted in the literature to teach operating systems laboratory consider smaller and simpler systems, generally referred to as instructional operating systems. This work continues in the same direction and is threefold. First, it considers a simpler hardware platform. Second, it argues that a minimal operating system is a viable option for delivering laboratories. Third, it presents a laboratory teaching platform, whereby students build a minimal operating system for an embedded hardware platform. The proposed platform is called MiniOS. An important aspect of MiniOS is that it is sufficiently supported with additional technical and pedagogic material. Finally, the effectiveness of the proposed approach to teach operating systems laboratories is illustrated through the experience of using it to deliver laboratory projects in the Operating Systems course at the University of Northern British Columbia. Finally, we discuss experimental research in computing education and considered the qualitative results of this work as part of a larger research endeavour.


title: Directly search for Ultra-High Energy WIMPs at IceCube

abstract: I study the possibility of directly detecting Ultra-high energy (UHE from now on) WIMPs by the IceCube experiment, via the WIMPs interaction with the nuclei in the ice. I evaluate galactic and extragalactic UHE WIMP and astrophysical and atmospheric neutrino event rates at energy range of 10 TeV - 10 PeV. I assume UHE WIMPs $\chi$ are only from the decay of superheavy dark matter $\phi$, that is $\phi\to\chi\bar{\chi}$. If the lifetime of superheavy dark matter $\tau_{\phi}$ is taken to be $5\times10^{21}$s, WIMPs can be detected at energies above O(40-100)TeV in this detection. Since UHE WIMP fluxes are actually depended on $\tau_{\phi}$, if superheavy dark matter can decay to standard model particles (that is $\tau_{\phi}$ is constrained to be larger than O($10^{26}$-$10^{29}$)s), UHE WIMPs could not be detected by IceCube.


title: Three-Dimensionally Embedded Graph Convolutional Network (3DGCN) for Molecule Interpretation

abstract: We present a three-dimensional graph convolutional network (3DGCN), which predicts molecular properties and biochemical activities, based on 3D molecular graph. In the 3DGCN, graph convolution is unified with learning operations on the vector to handle the spatial information from molecular topology. The 3DGCN model exhibits significantly higher performance on various tasks compared with other deep-learning models, and has the ability of generalizing a given conformer to targeted features regardless of its rotations in the 3D space. More significantly, our model also can distinguish the 3D rotations of a molecule and predict the target value, depending upon the rotation degree, in the protein-ligand docking problem, when trained with orientation-dependent datasets. The rotation distinguishability of 3DGCN, along with rotation equivariance, provides a key milestone in the implementation of three-dimensionality to the field of deep-learning chemistry that solves challenging biochemical problems.


title: Self-Supervised Video Representation Learning with Space-Time Cubic Puzzles

abstract: Self-supervised tasks such as colorization, inpainting and zigsaw puzzle have been utilized for visual representation learning for still images, when the number of labeled images is limited or absent at all. Recently, this worthwhile stream of study extends to video domain where the cost of human labeling is even more expensive. However, the most of existing methods are still based on 2D CNN architectures that can not directly capture spatio-temporal information for video applications. In this paper, we introduce a new self-supervised task called as \textit{Space-Time Cubic Puzzles} to train 3D CNNs using large scale video dataset. This task requires a network to arrange permuted 3D spatio-temporal crops. By completing \textit{Space-Time Cubic Puzzles}, the network learns both spatial appearance and temporal relation of video frames, which is our final goal. In experiments, we demonstrate that our learned 3D representation is well transferred to action recognition tasks, and outperforms state-of-the-art 2D CNN-based competitors on UCF101 and HMDB51 datasets.


title: A Novel Technique for Evidence based Conditional Inference in Deep Neural Networks via Latent Feature Perturbation

abstract: Auxiliary information can be exploited in machine learning models using the paradigm of evidence based conditional inference. Multi-modal techniques in Deep Neural Networks (DNNs) can be seen as perturbing the latent feature representation for incorporating evidence from the auxiliary modality. However, they require training a specialized network which can map sparse evidence to a high dimensional latent space vector. Designing such a network, as well as collecting jointly labeled data for training is a non-trivial task. In this paper, we present a novel multi-task learning (MTL) based framework to perform evidence based conditional inference in DNNs which can overcome both these shortcomings. Our framework incorporates evidence as the output of secondary task(s), while modeling the original problem as the primary task of interest. During inference, we employ a novel Bayesian formulation to change the joint latent feature representation so as to maximize the probability of the observed evidence. Since our approach models evidence as prediction from a DNN, this can often be achieved using standard pre-trained backbones for popular tasks, eliminating the need for training altogether. Even when training is required, our MTL architecture ensures the same can be done without any need for jointly labeled data. Exploiting evidence using our framework, we show an improvement of 3.9% over the state-of-the-art, for predicting semantic segmentation given the image tags, and 2.8% for predicting instance segmentation given image captions.


title: Oblique instability and electron acceleration in relativistic unmagnetized cloud-plasma interaction

abstract: Relativistic unmagnetized cloud-plasma interaction is analyzed by performing linear analysis and particle-in-cell simulation. This course consists of an electron-ion cloud injected into a stationary ambient plasma and has long been a favorite topic in laboratory and space plasmas. An oblique electromagnetic instability dominates the unstable spectrum. In the interaction with the generated electromagnetic fields, the cloud electrons are entirely mixed with the ambient ones and form a hot electron population. The velocity of the cloud ions, however, has not changed significantly from the initial bulk velocity. As this ion cloud propagates into the plasma, it derives an electrostatic field which can accelerate the electrons up to energy equipartition between electrons and ions. The electrostatic field is amplified at the expense of the kinetic energy of ions, and its spatial scale is in order of the electron skin depth. The electron acceleration in such an electrostatic field is, therefore, a likely process for pre-acceleration of electrons in unmagnetized plasmas.


title: On Independent Cliques and Linear Complementarity Problems

abstract: In recent work (Pandit and Kulkarni [Discrete Applied Mathematics, 244 (2018), pp. 155--169]), the independence number of a graph was characterized as the maximum of the $\ell_1$ norm of solutions of a Linear Complementarity Problem (\LCP) defined suitably using parameters of the graph. Solutions of this LCP have another relation, namely, that they corresponded to Nash equilibria of a public goods game. Motivated by this, we consider a perturbation of this LCP and identify the combinatorial structures on the graph that correspond to the maximum $\ell_1$ norm of solutions of the new LCP. We introduce a new concept called independent clique solutions which are solutions of the LCP that are supported on independent cliques and show that for small perturbations, such solutions attain the maximum $\ell_1$ norm amongst all solutions of the new LCP.


title: SDSS-IV MaNGA: Stellar initial mass function variation inferred from Bayesian analysis of the integral field spectroscopy of early type galaxies

abstract: We analyze the stellar initial mass functions (IMF) of a large sample of early type galaxies (ETGs) provided by MaNGA. The large number of IFU spectra of individual galaxies provide high signal-to-noise composite spectra that are essential for constraining IMF and to investigate possible radial gradients of the IMF within individual galaxies. The large sample of ETGs also make it possible to study how the IMF shape depends on various properties of galaxies. We adopt a novel approach to study IMF variations in ETGs, use Bayesian inferences based on full spectrum fitting. The Bayesian method provides a statistically rigorous way to explore potential degeneracy in spectrum fitting, and to distinguish different IMF models with Bayesian evidence. We find that the IMF slope depends systematically on galaxy velocity dispersion, in that galaxies of higher velocity dispersion prefer a more bottom-heavy IMF, but the dependence is almost entirely due to the change of metallicity, $Z$, with velocity dispersion. The IMF shape also depends on stellar age, $A$, but the dependence is completely degenerate with that on metallicity through a combination $AZ^{-1.42}$. Using independent age and metallicity estimates we find that the IMF variation is produced by metallicity instead of age. The IMF near the centers of massive ETGs appears more bottom-heavy than that in the outer parts, while a weak opposite trend is seen for low-mass ETGs. Uncertainties produced by star formation history, dust extinction, $\alpha$-element abundance enhancement and noise in the spectra are tested.


title: Bayesian QuickNAT: Model Uncertainty in Deep Whole-Brain Segmentation for Structure-wise Quality Control

abstract: We introduce Bayesian QuickNAT for the automated quality control of whole-brain segmentation on MRI T1 scans. Next to the Bayesian fully convolutional neural network, we also present inherent measures of segmentation uncertainty that allow for quality control per brain structure. For estimating model uncertainty, we follow a Bayesian approach, wherein, Monte Carlo (MC) samples from the posterior distribution are generated by keeping the dropout layers active at test time. Entropy over the MC samples provides a voxel-wise model uncertainty map, whereas expectation over the MC predictions provides the final segmentation. Next to voxel-wise uncertainty, we introduce four metrics to quantify structure-wise uncertainty in segmentation for quality control. We report experiments on four out-of-sample datasets comprising of diverse age range, pathology and imaging artifacts. The proposed structure-wise uncertainty metrics are highly correlated with the Dice score estimated with manual annotation and therefore present an inherent measure of segmentation quality. In particular, the intersection over union over all the MC samples is a suitable proxy for the Dice score. In addition to quality control at scan-level, we propose to incorporate the structure-wise uncertainty as a measure of confidence to do reliable group analysis on large data repositories. We envisage that the introduced uncertainty metrics would help assess the fidelity of automated deep learning based segmentation methods for large-scale population studies, as they enable automated quality control and group analyses in processing large data repositories.


title: Polar Decoding on Sparse Graphs with Deep Learning

abstract: In this paper, we present a sparse neural network decoder (SNND) of polar codes based on belief propagation (BP) and deep learning. At first, the conventional factor graph of polar BP decoding is converted to the bipartite Tanner graph similar to low-density parity-check (LDPC) codes. Then the Tanner graph is unfolded and translated into the graphical representation of deep neural network (DNN). The complex sum-product algorithm (SPA) is modified to min-sum (MS) approximation with low complexity. We dramatically reduce the number of weight by using single weight to parameterize the networks. Optimized by the training techniques of deep learning, proposed SNND achieves comparative decoding performance of SPA and obtains about $0.5$ dB gain over MS decoding on ($128,64$) and ($256,128$) codes. Moreover, $60 \%$ complexity reduction is achieved and the decoding latency is significantly lower than the conventional polar BP.


title: Control of accuracy on Taylor-collocation method to solve the weakly regular Volterra integral equations of the first kind by using the CESTAC method

abstract: Finding the optimal parameters and functions of iterative methods is among the main problems of the Numerical Analysis. For this aim, a technique of the stochastic arithmetic (SA) is used to control of accuracy on Taylor-collocation method for solving first kind weakly regular integral equations (IEs). Thus, the CESTAC (Controle et Estimation Stochastique des Arrondis de Calculs) method is applied and instead of usual mathematical softwares the CADNA (Control of Accuracy and Debugging for Numerical Applications) library is used. Also, the convergence theorem of presented method is illustrated. In order to apply the CESTAC method we will prove a theorem that it will be our licence to use the new termination criterion instead of traditional absolute error. By using this theorem we can show that number of common significant digits (NCSDs) between two successive approximations are almost equal to NCSDs between exact and numerical solution. Finally, some examples are solved by using the Taylor-collocation method based on the CESTAC method. Several tables of numerical solutions based on the both arithmetics are presented. Comparison between number of iterations are demonstrated by using the floating point arithmetic (FPA) for different values of $\varepsilon$.


title: Numerical relaxation of a 3D MHD Taylor - Woltjer state subject to abrupt expansion

abstract: Since the advent of Taylor-Woltjer theory [J B Taylor, PRL, 33, 1139 (1974), L Woltjer, PNAS, 44, 489 (1958)], it has been widely believed that situations with perfectly conducting boundaries and near ideal conditions, the final state of MHD system would be force-free Taylor-Woltjer states defined as $\vec{\nabla} \times \vec{B} = \alpha \vec{B}$ with $\alpha$ as a constant and $\vec{B}$ is the magnetic field defined over a volume $V$. These states are of fundamental importance in fusion plasmas [J B Taylor, RMP 58, 741 (1986)]. More recently, several new MHD models have been proposed - for example Reduced Multi-region relaxed MHD [S R Hudson {\it et al}, Phys. Plasmas, 19, 112502 (2012)] and arbitrary scale relaxation model to Taylor-Woltjer state [H Qin {\it et al}, PRL, 109, 235001 (2012)] to mention a few. In the present work, we use a 3D compressible MHD solver in cartesian geometry which can handle conducting or periodic as well has mixed boundary conditions to investigate numerically the arbitrary scale relaxation model proposed by Qin et al [H Qin {\it et al}, PRL, 109, 235001 (2012)]. For this purpose, we consider two volumes $V_{init}$ and $V_{final}$. We load the 3D MHD solver in the limit of zero compressibility with a Taylor-Woltjer state $B_{init}(x,y,z,t=0)$ and let it again a numerical evolve with conducting boundaries at $V_{init}$ to make sure that we have obtained a numerically steady Taylor - Woltjer state for volume $V_{init}$. Followed by this procedure, we "suddenly" relax the boundaries to a new volume $V_{final}$, such that $V_{init}$ $<$ $V_{final}$ and evaluate whether or not the system attains quasi-steady state. Details of the numerical method used, the protocol followed, the expansion technique and the novelty of this numerical experiment and details of our results have been presented in this paper.


title: A note on last-success-problems

abstract: We consider the Last-Success-Problem with $n$ independent Bernoulli random variables with parameters $p_i>0$. We improve the lower bound provided by F.T. Bruss for the probability of winning and provide an alternative proof to the one given for the lower bound ($1/e$) when $R:=\sum_{i=1}^n (p_i/(1-p_i))\geq1$. We also consider a modification of the game which consists in not considering it a failure when all the random variables take the value of 0 and the game is repeated as many times as necessary until a $"1"$ appears. We prove that the probability of winning in this game is lower-bounded by $e^{-1}(1-e^{-R})^{-1}$. Finally, we consider the variant in which the player can choose between participating in the game in its standard version or predict that all the random variables will take the value 0.


title: Global sections of twisted normal bundles of K3 surfaces and their hyperplane sections

abstract: Let $S \subset \mathbb{P}^g$ be a smooth $K3$ surface of degree $2g-2$, $g \geq 3$. We classify all the cases for which $h^0(\mathcal{N}_{S/\mathbb{P}^g}(-2)) \neq 0$ and the cases for which $h^0(\mathcal{N}_{S/\mathbb{P}^g}(-2)) < h^0(\mathcal{N}_{C/\mathbb{P}^{g-1}}(-2))$ for $C \subset \mathbb{P}^{g-1}$ a general canonical curve section of $S$.


title: Combined homotopy and Galerkin stability analysis of Mathieu-like equations

abstract: We propose homotopy analysis method in combination with Galerkin projections to obtain transition curves of Mathieu-like equations. While constructing homotopy, we think of convergence-control parameter as a function of embedding parameter and call it a convergence-control function. Homotopy analysis provides a relation between the parameters of Mathieu equation that also includes free parameters arising from convergence-control function. We generate extra nonlinear algebraic equations using Galerkin projections and solve numerically for arriving at transition curves. We demonstrate the usefulness of our method in case of three distinct versions of linear Mathieu equation by carefully choosing nonlinear and auxiliary operators. Since homotopy analysis does not demand smallness of any of the parameters, our approach has distinct advantage over perturbation methods in determining transition curves covering a large region of the parameter space. The method is applicable to a wide variety of parametrically excited oscillators.


title: Electroweak Phase Transition, Gravitational Waves and Dark Matter in Two Scalar Singlet Extension of The Standard Model

abstract: In this paper, the electroweak phase transition, the gravitational waves and the dark matter issues are investigated in two scalar singlet extension of the standard model. The detectability of the gravitational wave signals are discussed by comparing the results with the sensitivity curves of $\mathbf{eLISA}$, $\mathbf{ALIA}$, $\mathbf{DECIGO}$ and $\mathbf{BBO}$ detectors. It is shown that the results support the recent reports on the dark matter relic density by $\mathbf{Planck}$ $\mathbf{2018}$ collaboration and the direct detection experiment by $\mathbf{XENON1T}$ $\mathbf{2018}$ collaboration.


title: Scale analysis for an atmosphere flow

abstract: In this paper we consider a fluid dynamic model which describes the atmospheric flow and we perform an asymptotic analysis for different time and length scales. In particular we will focus on the two following cases: when the Mach number dominates on the Rossby number yielding an incompressible regime or when the high rotating (low Rossby number) and incompressibility regime act on the same scale ending up with a geostrophic balance. The limit analysis is performed in the ill prepared data setting and therefore we will develop a rigorous and detailed analysis of the local decay and dispersive behavior of the related acoustic waves. Finally we point out, that the set of equations analyzed in the paper may also fit in the artificial compressibility approximation methods.


title: A basic $n$ dimensional representation of Artin braid group $B_n$, and a general Burau representation

abstract: Burau representation of the Artin braid group remains as one of the very important representations for the braid group. Partly, because of its connections to the Alexander polynomial which is one of the first and most useful invariants for knots and links. In the present work, we show that interesting representations of braid group could be achieved using a simple and intuitive approach, where we simply analyse the path of strands in a braid and encode the over-crossings, under-crossings or no-crossings into some parameters. More precisely, at each crossing, where, for example, the strand $i$ crosses over the strand $i+1$ we assign $\mathbf{t}$ to the {\bf t}op strand and $\mathbf{b}$ to the {\bf b}ottom strand. We consider the parameter $\mathbf{t}$ as a {\it relative weight} given to strand $i$ relative to $i+1$, hence the position $i\ i+1$ for $\mathbf{t}$ in the matrix representation. Similarly, the parameter $\mathbf{b}$ is a {\it relative weight} given to strand $i+1$ relative to $i$, hence the position $i+1\ i$ for $\mathbf{b}$ in the matrix representation. We show this simple {\it path analyzing approach} leads us to an interesting simple representation. Next, we show that following the same intuitive approach, only by introducing an additional parameter, we can greatly improve the representation into the one with much smaller kernel. This more general representation includes the unreduced Burau representation, as a special case. Our new {\it path analyzing approach} has the advantage that it applies a very simple and intuitive method capturing the fundamental interactions of the strands in a braid. In this approach we intuitively follow each strand in a braid and create a {\it history} for the strand as it interacts with other strands via over-crossings, under-crossings or no-crossings. This, directly, leads us to the desired representations.


title: A homogeneous aa index: 1. Secular variation

abstract: Originally complied for 1868-1967 and subsequently continued so that it now covers 150 years, the $aa$ index has become a vital resource for studying space climate change. However, there have been debates about the inter-calibration of data from the different stations. In addition, the effects of secular change in the geomagnetic field have not previously been allowed for. As a result, the components of the 'classical' $aa$ index for the southern and northern hemispheres ($aa_S$ and $aa_N$) have drifted apart. We here separately correct both $aa_S$ and $aa_N$ for both these effects using the same method as used to generate the classic $aa$ values but allowing ${\delta}$, the minimum angular separation of each station from a nominal auroral oval, to vary as calculated using the IGRF-12 and gufm1 models of the intrinsic geomagnetic field. Our approach is to correct the quantized aK-values for each station, originally scaled on the assumption that ${\delta}$ values are constant, with time-dependent scale factors that allow for the drift in ${\delta}$. This requires revisiting the intercalibration of successive stations used in making the $aa_S$ and $aa_N$ composites. These intercalibrations are defined using independent data and daily averages from 11 years before and after each station change and it is shown that they depend on the time of year. This procedure produces new homogenized hemispheric aa indices, $aa_{HS}$ and $aa_{HN}$, which show centennial-scale changes that are in very close agreement. Calibration problems with the classic $aa$ index are shown to have arisen from drifts in ${\delta}$ combined with simpler corrections which gave an incorrect temporal variation and underestimate the rise in $aa$ during the 20th century by about 15%.


title: Free open reference implementation of a two-phase PEM fuel cell model

abstract: In almost 30 years of PEM fuel cell modeling, countless numerical models have been developed in science and industrial applications, almost none of which have been fully disclosed to the public. There is a large need for standardization and establishing a common ground not only in experimental characterization of fuel cells, but also in the development of simulation codes, to prevent each research group from having to start anew from scratch. Here, we publish the first open standalone implementation of a full-blown, steady-state, non-isothermal two-phase model for low-temperature PEM fuel cells. It is based on macro-homogeneous modeling approaches and implements the most essential through-plane transport processes in a five-layer MEA. The focus is on code simplicity and compactness with only a few hundred lines of clearly readable code, providing a starting point for more complex model development. The model is implemented as a standalone MATLAB function, based on MATLAB's standard boundary value problem solver. The default simulation setup reflects wide-spread commercially available MEA materials. Operating conditions recommended for automotive applications by the European Commission are used to establish new fuel cell simulation base data, making our program a valuable candidate for model comparison, validation and benchmarking.


title: Excitation of Peregrine-type waveforms from vanishing initial conditions in the presence of periodic forcing

abstract: We show by direct numerical simulations that spatiotemporally localized wave forms, strongly reminiscent of the Peregrine rogue wave, can be excited by vanishing initial conditions for the periodically driven nonlinear Schr\"odinger equation. The emergence of the Peregrine-type waveforms can be potentially justified, in terms of the existence and modulational instability of spatially homogeneous solutions of the model, and the continuous dependence of the localized initial data for small time intervals. We also comment on the persistence of the above dynamics, under the presence of small damping effects, and justify, that this behavior should be considered as far from approximations of the corresponding integrable limit.


title: Streamlining Variational Inference for Constraint Satisfaction Problems

abstract: Several algorithms for solving constraint satisfaction problems are based on survey propagation, a variational inference scheme used to obtain approximate marginal probability estimates for variable assignments. These marginals correspond to how frequently each variable is set to true among satisfying assignments, and are used to inform branching decisions during search; however, marginal estimates obtained via survey propagation are approximate and can be self-contradictory. We introduce a more general branching strategy based on streamlining constraints, which sidestep hard assignments to variables. We show that streamlined solvers consistently outperform decimation-based solvers on random k-SAT instances for several problem sizes, shrinking the gap between empirical performance and theoretical limits of satisfiability by 16.3% on average for k=3,4,5,6.


title: Natural response of non-smooth oscillators using homotopy analysis combined with Galerkin projections

abstract: We propose homotopy analysis method in combination with Galerkin projections to approximate the natural response of non-smooth oscillators with discontinuities of type Heaviside, signum, modulus etc. While constructing the homotopy, we think of convergence-control parameter as a function of the embedding parameter and call it a convergence-control function. Homotopy analysis provides an expression for the natural frequency of the oscillator that also includes free parameters arising from the convergence-control function. Generating extra equations using Galerkin projections and solving the same numerically gives the approximate natural response of the non-smooth oscillators. We also seek aperiodic natural response of a unilaterally constrained simple pendulum. The superiority of the approach is well-established over the method of harmonic balance, Lindstedt-Poincar\'e method and conventional homotopy analysis method.


title: A homogeneous aa index: 2. hemispheric asymmetries and the equinoctial variation

abstract: Paper 1 [Lockwood et al., 2018] generated annual means of a new version of the $aa$ geomagnetic activity index which includes corrections for secular drift in the geographic coordinates of the auroral oval, thereby resolving the difference between the centennial-scale change in the northern and southern hemisphere indices, $aa_N$ and $aa_S$. However, other hemispheric asymmetries in the $aa$ index remain: in particular, the distributions of 3-hourly $aa_N$ and $aa_S$ values are different and the correlation between them is not high on this timescale ($r = 0.66$). In the present paper, a location-dependant station sensitivity model is developed using the $am$ index (derived from a much more extensive network of stations in both hemispheres) and used to reduce the difference between the hemispheric $aa$ indices and improve their correlation (to $r = 0.79$) by generating corrected 3-hourly hemispheric indices, $aa_{HN}$ and $aa_{HS}$, which also include the secular drift corrections detailed in Paper 1. These are combined into a new, 'homogeneous' $aa$ index, $aa_H$. It is shown that $aa_H$, unlike $aa$, reveals the 'equinoctial'-like time-of-day/time-of-year pattern that is found for the $am$ index.


abstract: We consider the three-dimensional incompressible Navier--Stokes equations in a curved thin domain with Navier's slip boundary conditions. The curved thin domain is defined as a region between two closed surfaces which are very close to each other and degenerates into a given closed surface as its width tends to zero. We establish the global-in-time existence and uniform estimates of a strong solution for large data when the width of the thin domain is very small. Moreover, we study a singular limit problem as the thickness of the thin domain tends to zero and rigorously derive limit equations on the limit surface, which are the damped and weighted Navier--Stokes equations on a surface with viscous term involving the Gaussian curvature of the surface. We prove the weak convergence of the average in the thin direction of a strong solution to the bulk Navier--Stokes equations and characterize the weak limit as a weak solution to the limit equations as well as provide estimates for the difference between solutions to the bulk and limit equations. To deal with the weighted surface divergence-free condition of the limit equations we also derive the weighted Helmholtz--Leray decomposition of a tangential vector field on a closed surface.


title: Multistep and Runge-Kutta convolution quadrature methods for coupled dynamical systems

abstract: We consider the efficient numerical solution of coupled dynamical systems, consisting of a small nonlinear part and a large linear time invariant part, possibly stemming from spatial discretization of an underlying partial differential equation. The linear subsystem can be eliminated in frequency domain and for the numerical solution of the resulting integro-differential algebraic equations, we propose a a combination of Runge-Kutta or multistep time stepping methods with appropriate convolution quadrature to handle the integral terms. The resulting methods are shown to be algebraically equivalent to a Runge-Kutta or multistep solution of the coupled system and thus automatically inherit the corresponding stability and accuracy properties. After a computationally expensive pre-processing step, the online simulation can, however, be performed at essentially the same cost as solving only the small nonlinear subsystem. The proposed method is, therefore, particularly attractive, if repeated simulation of the coupled dynamical system is required.


title: On Aspects of Infinite Derivatives Field Theories & Infinite Derivative Gravity

abstract: Infinite derivative theory of gravity is a modification to the general theory of relativity. Such modification maintains the massless graviton as the only true physical degree of freedom and avoids ghosts. Moreover, this class of modified gravity can address classical singularities. In this thesis some essential aspects of an infinite derivative theory of gravity are studied. Namely, we considered the Hamiltonian formalism, where the true physical degrees of freedom for infinite derivative scalar models and infinite derivative gravity are obtained. Furthermore, the Gibbons-Hawking-York boundary term for the infinite derivative theory of gravity was obtained. Finally, we considered the thermodynamical aspects of the infinite derivative theory of gravity over different backgrounds. Throughout the thesis, our methodology is applied to general relativity, Gauss-Bonnet and f(R) theories of gravity as a check and validation.


title: Ewald summation for ferroelectric perovskites with charges and dipoles

abstract: Ewald summation is an important technique used to deal with long-range Coulomb interaction. While it is widely used in simulations of molecules and solid state materials, many important results are dispersed in literature and their implementations are often buried deep in large software packages. Since reliable and systematic calculation of Coulomb interaction is critical for the investigation of perovskites, here we start from the fundamentals of Ewald summation and derive clear expressions for long-range charge-charge, dipole-dipole, and charge-dipole interactions, which can be readily used for numerical computations. We also provide the interaction matrix for efficient Monte Carlo simulations involving charges and dipoles, implementing them in a Python software package. A new type of interaction matrix, which accounts for the electrostatic energy change when ions are displaced, is also derived and implemented. These results are the foundations for the investigation of ferroelectric perovskites.


title: Wild sets in global function fields

abstract: Given a self-equivalence of a global function field, its wild set is the set of points where the self-equivalence fails to preserve parity of valuation. In this paper we describe structure of finite wild sets.


title: Design and analysis adaptivity in multi-resolution topology optimization

abstract: Multiresolution topology optimization (MTO) methods involve decoupling of the design and analysis discretizations, such that a high-resolution design can be obtained at relatively low analysis costs. Recent studies have shown that the MTO method can be approximately 3 and 30 times faster than the traditional topology optimization method for 2D and 3D problems, respectively. To further exploit the potential of decoupling analysis and design, we propose a dp-adaptive MTO method, which involves locally increasing/decreasing the shape function orders (p) and design resolution (d). The adaptive refinement/coarsening is performed using a composite refinement indicator which includes criteria based on analysis error, presence of intermediate densities as well as the occurrence of design artefacts referred to as QR-patterns. While standard MTO must rely on filtering to suppress QR-patterns, the proposed adaptive method ensures efficiently that these artefacts are suppressed in the final design, without sacrificing the design resolution. The applicability of the dp-adaptive MTO method is demonstrated on several 2D mechanical design problems. For all the cases, significant speed-ups in computational time are obtained. In particular for design problems involving low material volume fractions, speed-ups of up to a factor of 10 can be obtained over the conventional MTO method.


abstract: Recently, similarity-preserving hashing methods have been extensively studied for large-scale image retrieval. Compared with unsupervised hashing, supervised hashing methods for labeled data have usually better performance by utilizing semantic label information. Intuitively, for unlabeled data, it will improve the performance of unsupervised hashing methods if we can first mine some supervised semantic 'label information' from unlabeled data and then incorporate the 'label information' into the training process. Thus, in this paper, we propose a novel Object Detection based Deep Unsupervised Hashing method (ODDUH). Specifically, a pre-trained object detection model is utilized to mining supervised 'label information', which is used to guide the learning process to generate high-quality hash codes.Extensive experiments on two public datasets demonstrate that the proposed method outperforms the state-of-the-art unsupervised hashing methods in the image retrieval task.


title: Algebraic flows on commutative complex Lie groups

abstract: We recover results by Ullmo-Yafaev and Peterzil-Starchenko on the closure of the image of an algebraic variety in a compact complex torus. Our approach uses directed closed currents and allows us to extend the result for dimension 1 flows to the setting of commutative complex Lie groups which are not necessarily compact. A version of the classical Ax-Lindemann-Weierstrass theorem for commutative complex Lie groups is also given.


title: A multiple comparison procedure for dose-finding trials with subpopulations

abstract: Identifying subgroups of patients with an enhanced response to a new treatment has become an area of increased interest in the last few years. When there is knowledge about possible subpopulations with an enhanced treatment effect before the start of a trial it might be beneficial to set up a testing strategy, which tests for a significant treatment effect not only in the full population, but also in these prespecified subpopulations. In this paper we present a parametric multiple testing approach for tests in multiple populations for dose-finding trials. Our approach is based on the MCP-Mod methodology, which uses multiple comparison procedures to test for a dose-response signal, while considering multiple possible candidate dose-response shapes. Our proposed methods allow for heteroscedasticity between populations and control the FWER over tests in multiple populations and for multiple candidate models. We show in simulations, that the proposed multi-population testing approaches can increase the power to detect a significant dose-response signal over the standard single-population MCP-Mod, when the considered subpopulation has an enhanced treatment effect.


title: Le onde gravitazionali nella fisica moderna

abstract: A brief introduction to gravitational waves, addressing those questions that nowadays more and more frequently arise within a large audience (not only of insiders): what is a gravity wave, how can it be detected and, above all, what impact on modern physical theories may have their recent discovery? Interested readers can also find a few simple technical details and insights in the final Appendices.


title: Hypertoric manifolds of infinite topological type

abstract: We analyse properties of hypertoric manifolds of infinite topological type, including their topology and complex structures. We show that our manifolds have the homotopy type of an infinite union of compact toric varieties. We also discuss hypertoric analogues of the periodic Ooguri-Vafa spaces.


title: Resonant Trapping of the Moving Groups G18-39 and G21-22 in the Galactic Halo

abstract: The 3D Galactic orbits of stars in the two groups G18-39 and G21-22 pertaining to the Galactic halo have been computed in a Galactic potential including a Galactic bar. The orbits have been related with the orbital structure of resonant orbits on the Galactic plane created by the bar component. We find that the majority of stars in both groups are trapped mainly by two resonant families already studied in a previous analysis. We show that the observed U--V velocity field of the stars in both groups can be naturally explained as a result of their trapping by these two resonant families, taking the angular rotation speed of the bar approximately in the interval 45--60 $\mathrm{km\,s^{-1}\,kpc^{-1}}$. This analysis may help to understand the identification of other known star groups as the possible result of the interactions produced by resonances on stars close to resonant families. For the two groups G18-39 and G21-22 we conclude that the majority of their stars are members of the supergroups of stars in the Galaxy trapped by two resonant families generated by the Galactic bar.


title: Evolutionary-Neural Hybrid Agents for Architecture Search

abstract: Neural Architecture Search has shown potential to automate the design of neural networks. Deep Reinforcement Learning based agents can learn complex architectural patterns, as well as explore a vast and compositional search space. On the other hand, evolutionary algorithms offer higher sample efficiency, which is critical for such a resource intensive application. In order to capture the best of both worlds, we propose a class of Evolutionary-Neural hybrid agents (Evo-NAS). We show that the Evo-NAS agent outperforms both neural and evolutionary agents when applied to architecture search for a suite of text and image classification benchmarks. On a high-complexity architecture search space for image classification, the Evo-NAS agent surpasses the accuracy achieved by commonly used agents with only 1/3 of the search cost.


title: A faster horse on a safer trail: generalized inference for the efficient reconstruction of weighted networks

abstract: Due to the interconnectedness of financial entities, estimating certain key properties of a complex financial system (e.g. the implied level of systemic risk) requires detailed information about the structure of the underlying network. However, since data about financial linkages are typically subject to confidentiality, network reconstruction techniques become necessary to infer both the presence of connections and their intensity. Recently, several "horse races" have been conducted to compare the performance of the available financial network reconstruction methods. These comparisons, however, were based on arbitrarily-chosen similarity metrics between the real and the reconstructed network. Here we establish a generalised maximum-likelihood approach to rigorously define and compare weighted reconstruction methods. Our generalization maximizes the conditional entropy to solve the problem represented by the fact that the density-dependent constraints required to reliably reconstruct the network are typically unobserved. The resulting approach admits as input any reconstruction method for the purely binary topology and, conditionally on the latter, exploits the available partial information to infer link weights. We find that the most reliable method is obtained by "dressing" the best-performing binary method with an exponential distribution of link weights having a properly density-corrected and link-specific mean value and propose two unbiased (in the sense of maximum conditional entropy) variants of it. While the one named CReMA is perfectly general (as a particular case, it can place optimal weights on a network whose topology is known), the one named CReMB is recommended both in case of full uncertainty about the network topology and if the existence of some links is certain. In these cases, the CReMB is faster and reproduces empirical networks with highest generalised likelihood.


title: Moire structures in twisted bilayer graphene studied by transmission electron microscopy

abstract: We investigate imaging of moire structures in free-standing twisted bilayer graphene (TBG) carried out by transmission electron microscopy (TEM) in diffraction and in-line Gabor holography modes. Electron diffraction patterns of TBG acquired at typical TEM electron energies of 80 - 300 keV exhibit the diffraction peaks caused by diffraction on individual layers. However, diffraction peaks at the scattering angles related to the periodicity of the moire structure have not been observed in such diffraction patterns. We show that diffraction on moire structure can create intense diffraction peaks if the energy of the probing electrons is very low, in the range of a few tens of eV. Experimental diffraction patterns of TBG acquired with low-energy electrons of 236 eV exhibiting peaks attributed to the moire structure periodicity are shown. In holography mode, the intensity of the wave transmitted through the sample and measured in the far-field can be enhanced or decreased depending on the atomic arrangement, as for example AA or AB stacking. Thus, a decrease of intensity in the far-field must not necessarily be associated with some absorption inside the sample but can simply be a result of a particular atomic arrangement. We believe that our findings can be important for exploiting graphene as a support in electron imaging.


title: Attention, Please! Adversarial Defense via Activation Rectification and Preservation

abstract: This study provides a new understanding of the adversarial attack problem by examining the correlation between adversarial attack and visual attention change. In particular, we observed that: (1) images with incomplete attention regions are more vulnerable to adversarial attacks; and (2) successful adversarial attacks lead to deviated and scattered attention map. Accordingly, an attention-based adversarial defense framework is designed to simultaneously rectify the attention map for prediction and preserve the attention area between adversarial and original images. The problem of adding iteratively attacked samples is also discussed in the context of visual attention change. We hope the attention-related data analysis and defense solution in this study will shed some light on the mechanism behind the adversarial attack and also facilitate future adversarial defense/attack model design.


title: Consequences of unitary evolution of coupled qubit-resonator systems for stabilizing circuits in surface codes

abstract: Surface codes based on stabilizer circuits may pave the way for large scale fault-tolerant quantum computation. The surface code uses only single- and two-qubit gates and the error threshold falls close to 1% for a large range of errors. Among the most promising candidates to physically implement such circuits and codes are superconducting qubits coupled by resonators. We investigate a X and Z stabilizing circuit realized by two data qubits, two ancillas and four resonators. The aim is to assess the consequences of unitary evolution of the interacting system, in particular for given stable initial states, on fidelities and error syndrome probabilities. We model the system with a Jaynes-Tavis-Cummings Hamiltonian and construct the low-excitation level evolution operators. The analysis is limited to two stable input states. We assume an ideal system with perfect gates, perfect measurements and no decoherence or leakage. Our analysis shows that the capture probabilities after the execution of a single stabilizer round are not equal to 100%, but vary between 99.2% and 99.99%. This is caused solely by the unitary evolution of the interacting system. Two consecutive rounds of stabilizer measurements result in capture probability values that depend heavily on the duration of the evolution, but vary between 0% and 99%. Also due to the unitary evolution, the final state of the data qubits leaves the the four-dimensional subspace, which results in a state fidelity oscillating between 0 and 1. Even if an error on the qubits is captured, the correcting operation on the qubit will not bring the qubit to the original state. The errors induced by the Hamiltonian evolution of the system cannot be interpreted nor classified as commonly appearing errors. Additional or augmented quantum error correction may be required to compensate these effects of resonator-qubit interaction.


title: Implementing Entangled States on a Quantum Computer

abstract: The study of tensor network theory is an important field and promises a wide range of experimental and quantum information theoretical applications. Matrix product state is the most well-known example of tensor network states, which provides an effective and efficient representation of one-dimensional quantum systems. Indeed, it lies at the heart of density matrix renormalization group (DMRG), a most common method for simulation of one-dimensional strongly correlated quantum systems. It has got attention from several areas varying from solid-state systems to quantum computing and quantum simulators. We have considered maximally entangled matrix product states (GHZ and W). Here, we designed the quantum circuits for implementing the matrix product states. In this paper, we simulated the matrix product states in customized IBM (2-qubit, 3-qubit and 4-qubit) quantum systems and determined the probability distribution among the quantum states.


title: Efficient Video Understanding via Layered Multi Frame-Rate Analysis

abstract: One of the greatest challenges in the design of a real-time perception system for autonomous driving vehicles and drones is the conflicting requirement of safety (high prediction accuracy) and efficiency. Traditional approaches use a single frame rate for the entire system. Motivated by the observation that the lack of robustness against environmental factors is the major weakness of compact ConvNet architectures, we propose a dual frame-rate system that brings in the best of both worlds: A modulator stream that executes an expensive models robust to environmental factors at a low frame rate to extract slowly changing features describing the environment, and a prediction stream that executes a light-weight model at real-time to extract transient signals that describes particularities of the current frame. The advantage of our design is validated by our extensive empirical study, showing that our solution leads to consistent improvements using a variety of backbone architecture choice and input resolutions. These findings suggest multiple frame-rate systems as a promising direction in designing efficient perception for autonomous agents.


title: Novelty and Coverage in context-based information filtering

abstract: We present a collection of algorithms to filter a stream of documents in such a way that the filtered documents will cover as well as possible the interest of a person, keeping in mind that, at any given time, the offered documents should not only be relevant, but should also be diversified, in the sense not only of avoiding nearly identical documents, but also of covering as well as possible all the interests of the person. We use a modification of the WEBSOM algorithm, with limited architectural adaptation, to create a user model (which we call the "user context" or simply the "context") based on a network of units laid out in the word space and trained using a collection of documents representative of the context. We introduce the concepts of novelty and coverage. Novelty is related to, but not identical to, the homonymous information retrieval concept: a document is novel it it belongs to a semantic area of interest to a person for which no documents have been seen in the recent past. A group of documents has coverage to the extent to which it is a good representation of all the interests of a person. In order to increase coverage, we introduce an "interest" (or "urgency") factor for each unit of the user model, modulated by the scores of the incoming documents: the interest of a unit is decreased drastically when a document arrives that belongs to its semantic area and slowly recovers its initial value if no documents from that semantic area are displayed. Our tests show that these algorithms can effectively increase the coverage of the documents that are shown to the user without overly affecting precision.


title: Permutational powers of a graph

abstract: This paper introduces a new graph construction, the permutational power of a graph, whose adjacency matrix is obtained by the composition of a permutation matrix with the adjacency matrix of the graph. It is shown that this construction recovers the classical zig-zag product of graphs when the permutation is an involution, and it is in fact more general. We start by discussing necessary and sufficient conditions on the permutation and on the adjacency matrix of a graph to guarantee their composition to represent an adjacency matrix of a graph, then we focus our attention on the cases in which the permutational power does not reduce to a zig-zag product. We show that the cases of interest are those in which the adjacency matrix is singular. This leads us to frame our problem in the context of equitable partitions, obtained by identifying vertices having the same neighborhood. The families of cyclic and complete bipartite graphs are treated in details.


title: Heterogenous Coefficients, Discrete Instruments, and Identification of Treatment Effects

abstract: Multidimensional heterogeneity and endogeneity are important features of a wide class of econometric models. We consider heterogenous coefficients models where the outcome is a linear combination of known functions of treatment and heterogenous coefficients. We use control variables to obtain identification results for average treatment effects. With discrete instruments in a triangular model we find that average treatment effects cannot be identified when the number of support points is less than or equal to the number of coefficients. A sufficient condition for identification is that the second moment matrix of the treatment functions given the control is nonsingular with probability one. We relate this condition to identification of average treatment effects with multiple treatments.


title: On singularity properties of convolutions of algebraic morphisms -- the general case (with an appendix joint with Gady Kozma)

abstract: Let $K$ be a field of characteristic zero, $X$ and $Y$ be smooth $K$-varieties, and let $G$ be a algebraic $K$-group. Given two algebraic morphisms $\varphi:X\rightarrow G$ and $\psi:Y\rightarrow G$, we define their convolution $\varphi*\psi:X\times Y\to G$ by $\varphi*\psi(x,y)=\varphi(x)\cdot\psi(y)$. We then show that this operation yields morphisms with improved smoothness properties. More precisely, we show that for any morphism $\varphi:X\rightarrow G$ which is dominant when restricted to each absolutely irreducible component of $X$, by convolving it with itself finitely many times, one can obtain a flat morphism with reduced fibers of rational singularities, generalizing the main result of our previous paper. Uniform bounds on families of morphisms are given as well. Moreover, as a key analytic step, we also prove the following result in motivic integration; if $\{f_{\mathbb{Q}_{p}}:\mathbb{Q}_{p}^{n}\rightarrow\mathbb{C}\}_{p\in\mathrm{primes}}$ is a collection of functions which is motivic in the sense of Denef-Pas, and $f_{\mathbb{Q}_{p}}$ is $L^{1}$ for any $p$ large enough, then in fact there exists $\epsilon>0$ such that $f_{\mathbb{Q}_{p}}$ is $L^{1+\epsilon}$ for any $p$ large enough.


title: ABJM flux-tube and scattering amplitudes

abstract: There is a number of indications that scattering amplitudes in the Aharony-Bergman-Jafferis-Maldacena theory might have a dual description in terms of a holonomy of a supergauge connection on a null polygonal contour in a way analogous to the four-dimensional maximally supersymmetric Yang-Mills theory. However, so far its explicit implementations evaded a successful completion. The difficulty is intimately tied to the lack of the T-self-duality of the sigma model on the string side of the gauge/string correspondence. Unscathed by the last misfortune, we initiate with this study an application of the pentagon paradigm to scattering amplitudes of the theory. With the language being democratic and nondiscriminatory to whether one considers a Wilson loop expectation value or an amplitude, the success in the application of the program points towards a possible unified observable on the field theory side. Our present consideration is focused on two-loop perturbation theory in the planar limit, begging for higher loop data in order to bootstrap current analysis to all orders in the 't Hooft coupling.


title: Three Euler's Sieves and a Fast Prime Generator (Functional Pearl)

abstract: The Euler's Sieve refines the Sieve of Eratosthenes to compute prime numbers, by crossing off each non prime number just once. Euler's Sieve is considered hard to be faithfully and efficiently coded as a purely functional stream based program. We propose three Haskell programs implementing the Euler's Sieve, all based on the idea of generating just once each composite to be crossed off. Their faithfulness with respect to the Euler's Sieve is up to costly stream unions imposed by the sequential nature of streams. Our programs outperform classical naive stream based prime generators such as trial division, but they are asymptotically worse than the O'Neill `faithful' Sieve of Eratosthenes. To circumvent the bottleneck of union of streams, we integrate our techniques inside the O'Neill program, thus obtaining a fast prime generator based on the Euler's Sieve and priority queues.


title: Uncorrelatedness sets of discrete uniform distributions via Vandermonde-type determinants

abstract: Given random variables $X$ and $Y$ having finite moments of all orders, their uncorrelatedness set is defined as the set of all pairs $(j,k)\in{\mathbb N}^2,$ for which $X^j$ and $Y^k$ are uncorrelated. It is known that, broadly put, any subset of ${\mathbb N}^2$ can serve as an uncorrelatedness set. This claim ceases to be true for random variables with prescribed distributions, in which case the need arises so as to identify the admissible uncorrelatedness sets. This paper studies the uncorrelatedness sets for positive random variables uniformly distributed on three points. Some general features of these sets are derived. Two related Vandermonde-type determinants are examined and applied to describe uncorrelatedness sets in specific cases.


title: OCLEP+: One-class Anomaly and Intrusion Detection Using Minimal Length of Emerging Patterns

abstract: This paper presents a method called One-class Classification using Length statistics of Emerging Patterns Plus (OCLEP+).


title: Singularities in mixed characteristic. The perfectoid approach

abstract: The homological conjectures, which date back to Peskine, Szpiro and Hochster in the late sixties, make fundamental predictions about syzygies and intersection problems in commutative algebra. They were settled long ago in the presence of a base field and led to tight closure theory, a powerful tool to investigate singularities in characteristic p. Recently, perfectoid techniques coming from p-adic Hodge theory have allowed us to get rid of any base field; this solves the direct summand conjecture and establishes the existence and weak functoriality of big Cohen-Macaulay algebras, which solve in turn the homological conjectures in general. This also opens the way to the study of singularities in mixed characteristic. We sketch a broad outline of this story, taking lastly a glimpse at ongoing work by L. Ma and K. Schwede, which shows how such a study could build a bridge between singularity theory in char. p and in char. 0.


title: Static energetics in gravity

abstract: A stress-energy tensor for linear gravity adapted to the harmonic gauge was recently proposed by Butcher, Hobson and Lasenby. By removing gauge constraints and imposing full metrical GR, we find a natural generalisation to the pseudotensor of Einstein. M{\o}ller's pseudotensor is an alternative to that of Einstein formulated using tetrads. We obtain the pseudotensor of M{\o}ller for gauge theory gravity (GTG) using a variational approach, identifying a potentially interesting recipe for constructing conserved currents in that theory. We show that in static, spherical spacetimes with a central gravitational mass M{\o}ller's pseudotensor describes gravitational stress-energy as if the gravitational potential were a scalar (i.e. Klein-Gordon) field coupled to a gravitational mass density on the Minkowski background. The old Newtonian formula successfully describes the potential of even strong fields in this picture. The Newtonian limit of this effect was previously observed in the tensor of Butcher; we recover a local virial theorem in this limit. We demonstrate using the `Schwarzschild star' solution for an incompressible perfect fluid ball.


title: Tell, Draw, and Repeat: Generating and Modifying Images Based on Continual Linguistic Instruction

abstract: Conditional text-to-image generation is an active area of research, with many possible applications. Existing research has primarily focused on generating a single image from available conditioning information in one step. One practical extension beyond one-step generation is a system that generates an image iteratively, conditioned on ongoing linguistic input or feedback. This is significantly more challenging than one-step generation tasks, as such a system must understand the contents of its generated images with respect to the feedback history, the current feedback, as well as the interactions among concepts present in the feedback history. In this work, we present a recurrent image generation model which takes into account both the generated output up to the current step as well as all past instructions for generation. We show that our model is able to generate the background, add new objects, and apply simple transformations to existing objects. We believe our approach is an important step toward interactive generation. Code and data is available at: https://www.microsoft.com/en-us/research/project/generative-neural-visual-artist-geneva/ .


title: Collective dipole oscillations of a spin-orbit coupled Fermi gas

abstract: The collective dipole mode is induced and measured in a spin-orbit (SO) coupled degenerate Fermi gas of $^{173}$Yb atoms. Using a differential optical Stark shift, we split the degeneracy of three hyperfine states in the ground manifold, and independently couple consecutive spin states with the equal Raman transitions. A relatively long-lived spin-orbit-coupled Fermi gas, readily being realized with a narrow optical transition, allows to explore a single-minimum dispersion where three minima of spin-1 system merge into and to monitor collective dipole modes of fermions in the strong coupling regime. The measured oscillation frequency of the dipole mode is compared with the semi-classical calculation in the single-particle regime. Our work should pave the way towards the characterization of spin-orbit-coupled fermions with large spin $s>\frac{1}{2}$ in the strong coupling regime.


title: Robust RGB-D Face Recognition Using Attribute-Aware Loss

abstract: Existing convolutional neural network (CNN) based face recognition algorithms typically learn a discriminative feature mapping, using a loss function that enforces separation of features from different classes and/or aggregation of features within the same class. However, they may suffer from bias in the training data such as uneven sampling density, because they optimize the adjacency relationship of the learned features without considering the proximity of the underlying faces. Moreover, since they only use facial images for training, the learned feature mapping may not correctly indicate the relationship of other attributes such as gender and ethnicity, which can be important for some face recognition applications. In this paper, we propose a new CNN-based face recognition approach that incorporates such attributes into the training process. Using an attribute-aware loss function that regularizes the feature mapping using attribute proximity, our approach learns more discriminative features that are correlated with the attributes. We train our face recognition model on a large-scale RGB-D data set with over 100K identities captured under real application conditions. By comparing our approach with other methods on a variety of experiments, we demonstrate that depth channel and attribute-aware loss greatly improve the accuracy and robustness of face recognition.


title: Canonical bases arising from quantum symmetric pairs of Kac-Moody type

abstract: For quantum symmetric pairs $(\mathbf{U}, \textbf{U}^\imath)$ of Kac-Moody type, we construct $\imath$canonical bases for the highest weight integrable $\mathbf{U}$-modules and their tensor products regarded as $\mathbf{U}^\imath$-modules, as well as an $\imath$canonical basis for the modified form of the $\imath$quantum group $\mathbf{U}^\imath$. A key new ingredient is a family of explicit elements called $\imath$divided powers, which are shown to generate the integral form of $\dot{\bf{U}}^\imath$. We prove a conjecture of Balagovic-Kolb, removing a major technical assumption in the theory of quantum symmetric pairs. Even for quantum symmetric pairs of finite type, our new approach simplifies and strengthens the integrality of quasi-K-matrix and the constructions of $\imath$canonical bases, by avoiding a case-by-case rank one analysis and removing the strong constraints on the parameters in a previous work.


title: Interaction of light and semiconductor can generate quantum states required for solid state quantum computing: Entangled, steered and other nonclassical states

abstract: Proposals for solid state quantum computing are extremely promising as they can be used to built room temperature quantum computers. If such a quantum computer is ever built it would require in-built sources of nonclassical states required for various quantum information processing tasks. Possibilities of generation of such nonclassical states are investigated here for a physical system composed of a monochromatic light coupled to a two-band semiconductor with direct band gap. The model Hamiltonian includes both photon-exciton and exciton-exciton interactions. Time evolution of the relevant bosonic operators are obtained analytically by using a perturbative technique that provides operator solution for the coupled Heisenberg's equations of motion corresponding to the system Hamiltonian. The bosonic operators are subsequently used to study the possibilities of observing single and two mode squeezing and antibunching after interaction in the relevant modes of light and semiconductor. Further, entanglement between the exciton and photon modes is reported. Finally, the nonclassical effects have been studied numerically for the open quantum system scenario. In this situation, the nonlocal correlations between two modes are shown to violate EPR steering inequality. The observed nonclassical features, induced due to exciton-exciton pair interaction, can be controlled by the phase of input field and the correlations between two modes are shown to enhance due to nonclassicality in the input field.


title: Outage Probability Analysis of Selective-Decode and Forward Cooperative Wireless Network over Time Varying Fading Channels with Node Mobility and Imperfect CSI Condition

abstract: In this work, we explore the outage probability (OP) analysis of selective decode and forward (SDF) cooperation protocol employing multiple-input multipleoutput (MIMO) orthogonal space-time block-code (OSTBC) over time varying Rayleigh fading channel conditions with imperfect channel state information (CSI) and mobile nodes. The closed-form expressions of the per-block average OP, probability distribution function (PDF) of sum of independent and identically distributed (i.i.d.) Gamma random variables (RVs), and cumulative distribution function (CDF) are derived and used to investigate the performance of the relaying network. A mathematical framework is developed to derive the optimal source-relay power allocation factors. It is shown that source node mobility affects the per-block average OP performance more significantly than the destination node mobility. Nevertheless, in other node mobility situations, cooperative systems are constrained by an error floor with a higher signal to noise ratio (SNR) regimes. Simulation results show that the equal power allocation is the only possible optimal solution when source to relay link is stronger than the relay to destination link. Also, we allocate almost all the power to the source node when source to relay link is weaker than the relay to destination link. Simulation results also show that OP simulated plots are in close agreement with the OP analytic plots at high SNR regimes.


title: An adaptive treatment recommendation and outcome prediction model for metastatic melanoma

abstract: Melanoma is a type of skin cancer developed from melanocytes. It is one of the most lethal types of cancer, accounting for approximately 75% of skin cancer deaths. Late stage melanoma is very difficult to treat, since the cancer cells are deranged, may be genetically linked and can be unresponsive to therapy. Therefore, determining how to effectively make use of different treatment regimens is of vital importance to survival. In this analysis, we propose an adaptive treatment recommendation system based on a hybrid cluster-classification (CC) structure. Our proposed system consists of two parts,1) distribution based clustering and 2) classification. Our recommendation system can help to identify high-risk melanoma patients and suggest the best approach to treatment, which enables clinicians and patients to make decisions on the basis of real-world data. Our data came from the Canadian Melanoma Research Network (CMRN) database, a pan-Canadian multi-year observational database, which is part of Global Melanoma Registry Network (GMRN). Training/testing sets are generated based on data from different sources, leading to cross cohort analysis tasks. Experimental results show that our proposed system achieves very promising results with an overall accuracy of up to 80%.


title: How to Design a Program Repair Bot? Insights from the Repairnator Project

abstract: Program repair research has made tremendous progress over the last few years, and software development bots are now being invented to help developers gain productivity. In this paper, we investigate the concept of a " program repair bot " and present Repairnator. The Repairnator bot is an autonomous agent that constantly monitors test failures, reproduces bugs, and runs program repair tools against each reproduced bug. If a patch is found, Repairnator bot reports it to the developers. At the time of writing, Repairnator uses three different program repair systems and has been operating since February 2017. In total, it has studied 11 317 test failures over 1 609 open-source software projects hosted on GitHub, and has generated patches for 17 different bugs. Over months, we hit a number of hard technical challenges and had to make various design and engineering decisions. This gives us a unique experience in this area. In this paper, we reflect upon Repairnator in order to share this knowledge with the automatic program repair community.


title: A note on the Bilinear Bogolyubov Theorem: Transverse and bilinear sets

abstract: A set $P\subset \mathbb{F}_p^n\times\mathbb{F}_p^n$ is called $\textit{bilinear}$ when it is the zero set of a family of linear and bilinear forms, and $\textit{transverse}$ when it is stable under vertical and horizontal sums. A theorem of the first author provides a generalization of Bogolyubov's theorem to the bilinear setting. Roughly speaking, it implies that any dense transverse set $P\subset \mathbb{F}_p^n\times\mathbb{F}_p^n$ contains a large bilinear set. In this paper, we elucidate the extent to which a transverse set is forced to be (and not only contain) a bilinear set.


title: One dimensional groups definable in the p-adic numbers

abstract: A complete list of one dimensional groups definable in the p-adic numbers is given, up to a finite index subroup and a quotient by a finite subgroup.


title: FANet: Quality-Aware Feature Aggregation Network for Robust RGB-T Tracking

abstract: This paper investigates how to perform robust visual tracking in adverse and challenging conditions using complementary visual and thermal infrared data (RGBT tracking). We propose a novel deep network architecture called qualityaware Feature Aggregation Network (FANet) for robust RGBT tracking. Unlike existing RGBT trackers, our FANet aggregates hierarchical deep features within each modality to handle the challenge of significant appearance changes caused by deformation, low illumination, background clutter and occlusion. In particular, we employ the operations of max pooling to transform these hierarchical and multi-resolution features into uniform space with the same resolution, and use 1x1 convolution operation to compress feature dimensions to achieve more effective hierarchical feature aggregation. To model the interactions between RGB and thermal modalities, we elaborately design an adaptive aggregation subnetwork to integrate features from different modalities based on their reliabilities and thus are able to alleviate noise effects introduced by low-quality sources. The whole FANet is trained in an end-to-end manner. Extensive experiments on large-scale benchmark datasets demonstrate the high-accurate performance against other state-of-the-art RGBT tracking methods.


title: Mutual Influence of Different Hydrogen Concentration in {\alpha}-Zirconium System with Vacancies

abstract: Hydrogen embrittlement in zirconium alloys is one of current challenges of nuclear reactor containment and can lead to a rapid decrease in mechanical properties of materials. Although many previous studies investigated the mechanism of hydrogen embrittlement at high hydrogen concentration, few studies concentrate on the mechanism at low hydrogen concentration which is before the formation of hydrides (only in the hydrogen complex state). The purpose of this study is to illuminate the formation mechanism of hydrogen complex. We calculate the formation energy Evac binding energy EH, EH-vac using ABINIT software package. For hydrogen atom at different states in lattice, we obtained Evac increased from 26.3% to 84.6% and EH-vac increased from 40.6% to 119.3%. This indicates that the bond between the original Zr atoms is weakened by hydrogen atoms entering the lattice and formation of vacancy is more possible. In addition, vacancies make hydrogen atoms and Zr atoms more closely connected and further increases the vacancies formation. Therefore, hydrogen complexes tend to expand in lattice, the brittleness of hydrogen complex becomes the main cause of hydrogen embrittlement.


title: External forces in the continuum limit of discrete systems with non-convex interaction potentials: Compactness for a $\Gamma$-development

abstract: This paper is concerned with equilibrium configurations of one-dimensional particle system with non-convex nearest-neighbour and next-to-nearest-neighbour interactions and its passage to the continuum. The goal is to derive compactness results for a $\Gamma$-development of the energy with the novelty that external forces are allowed. In particular, the forces may depend on Lagrangian or Eulerian coordinates. Our result is based on a new technique for deriving compactness results which are required for calculating the first-order $\Gamma$-limit: instead of comparing a configuration of $n$ atoms to a global minimizer of the $\Gamma$-limit, we compare the configuration to a minimizer in some subclass of functions which in some sense are "close to" the configuration. This new technique is required due to the additional presence of forces with non-convex potentials. The paper is complemented with the study of the minimizers of the $\Gamma$-limit.


title: Evolution of orbital angular momentum in a soft quasi-periodic structure with topological defects

abstract: We propose a quasi-periodic structure (QPS) with topological defects. The analytical expression of the corresponding Fourier spectrum is derived, which reflects the combined effects of topological structure and quasitranslational symmetry. Light-matter interaction therein brings unusual diffraction characteristics with exotic evolution of orbital angular momentum (OAM). Long-range correlation of QPS resulted in multi-fractal and pairwise distribution of optical singularities. A general conversation law of OAM was revealed. A liquid crystal photopatterning QPS is fabricated to demonstrate the above characteristics. Dynamic reconfigurable manipulation of optical singularities was achieved. Our approach offers the opportunity to manipulate OAM with multiple degrees of freedom, which has promising applications in multi-channel quantum information processing and highdimensional quantum state generation.


title: Virtual counts on Quot schemes and the higher rank local DT/PT correspondence

abstract: We show that the Quot scheme $\text{Quot}_{\mathbf{A}^3}(\mathcal{O}^r,n)$ admits a symmetric obstruction theory, and we compute its virtual Euler characteristic. We extend the calculation to locally free sheaves on smooth $3$-folds, thus refining a special case of a recent Euler characteristic calculation of Gholampour-Kool. We then extend Toda's higher rank DT/PT correspondence on Calabi-Yau $3$-folds to a local version centered at a fixed slope stable sheaf. This generalises (and refines) the local DT/PT correspondence around the cycle of a Cohen-Macaulay curve. Our approach clarifies the relation between Gholampour-Kool's functional equation for Quot schemes, and Toda's higher rank DT/PT correspondence.


title: GSE spectra in uni-directional quantum systems

abstract: Generically, spectral statistics of spinless systems with time reversal invariance (TRI) and chaotic dynamics are well described by the Gaussian Orthogonal ensemble (GOE). However, if an additional symmetry is present, the spectrum can be split into independent sectors which statistics depend on the type of the group's irreducible representation. In particular, this allows the construction of TRI quantum graphs with spectral statistics characteristic of the Gaussian Symplectic ensembles (GSE). To this end one usually has to use groups admitting pseudo-real irreducible representations. In this paper we show how GSE spectral statistics can be realized in TRI systems with simpler symmetry groups lacking pseudo-real representations. As an application, we provide a class of quantum graphs with only $C_4$ rotational symmetry possessing GSE spectral statistics.


title: Subband Beamforming in Coherent Hybrid Massive MIMO Using Eigenbeams

abstract: Hybrid Massive MIMO reduces implementation complexity but only supports beamforming coefficients that are common across all subbands. However, in macro cellular where the channel has limited degrees of freedom, the long-term component of the channel can be decomposed into a set of subband-independent beamforming basis functions referred to as eigenbeams. A Coherent Hybrid Massive MIMO system can form arbitrary linear combinations of the eigenbeams at every subband to mimic Digital Massive MIMO beamforming as observed across all locations in the cell.


title: On Periodic Functions as Regularizers for Quantization of Neural Networks

abstract: Deep learning models have been successfully used in computer vision and many other fields. We propose an unorthodox algorithm for performing quantization of the model parameters. In contrast with popular quantization schemes based on thresholds, we use a novel technique based on periodic functions, such as continuous trigonometric sine or cosine as well as non-continuous hat functions. We apply these functions component-wise and add the sum over the model parameters as a regularizer to the model loss during training. The frequency and amplitude hyper-parameters of these functions can be adjusted during training. The regularization pushes the weights into discrete points that can be encoded as integers. We show that using this technique the resulting quantized models exhibit the same accuracy as the original ones on CIFAR-10 and ImageNet datasets.