title: Explicit computation of some families of Hurwitz numbers

abstract: We compute the number of (weak) equivalence classes of branched covers from a surface of genus g to the sphere, with 3 branching points, degree 2k, and local degrees over the branching points of the form (2,...,2), (2h+1,1,2,...,2), (d_1,...,d_m), for several values of g and h. We obtain explicit formulae of arithmetic nature in terms of the d_i's. Our proofs employ a combinatorial method based on Grothendieck's dessins d'enfant.


title: Separable correlation and maximum likelihood

abstract: We consider estimation of the covariance matrix of a multivariate normal distribution when the correlation matrix is separable in the sense that it factors as a Kronecker product of two smaller matrices. A computationally convenient coordinate descent-type algorithm is developed for maximum likelihood estimation. Simulations indicate our method often gives smaller estimation error than some common alternatives when correlation is separable, and that correctly sized tests for correlation separability can be obtained using a parametric bootstrap. Using dissolved oxygen data from the Upper Mississippi River, we illustrate how our model can lead to interesting scientific findings that may be missed when using competing models.


title: Deformations of infinite-dimensional Lie algebras, exotic cohomology and integrable nonlinear partial differential equations. II

abstract: We consider the four-dimensional reduced quasi-classical self-dual Yang--Mills equation and show that non-triviality of the second exotic cohomology group of its symmetry algebra implies existence of a two-component integrable generalization of this equation. The sequence of natural extensions of this symmetry algebra generate an integrable hierarchy of multi-dimensional nonlinear PDEs. We write out the first three elements of this hierarchy.


title: Diffusive Search with spatially dependent Resetting

abstract: Consider a stochastic search model with resetting for an unknown stationary target $a\in\mathbb{R}$ with known distribution $\mu$. The searcher begins at the origin and performs Brownian motion with diffusion constant $D$. The searcher is also armed with an exponential clock with spatially dependent rate $r$, so that if it has failed to locate the target by the time the clock rings, then its position is reset to the origin and it continues its search anew from there. Denote the position of the searcher at time $t$ by $X(t)$. Let $E_0^{(r)}$ denote expectations for the process $X(\cdot)$. The search ends at time $T_a=\inf\{t\ge0:X(t)=a\}$. The expected time of the search is then $\int_{\mathbb{R}}(E_0^{(r)}T_a)\thinspace\mu(da)$. Ideally, one would like to minimize this over all resetting rates $r$. We obtain quantitative growth rates for $E_0^{(r)}T_a$ as a function of $a$ in terms of the asymptotic behavior of the rate function $r$, and also a rather precise dichotomy on the asymptotic behavior of the resetting function $r$ to determine whether $E_0^{(r)}T_a$ is finite or infinite. We show generically that if $r(x)$ is on the order $|x|^{2l}$, with $l>-1$, then $\log E_0^{(r)}T_a$ is on the order $|a|^{l+1}$; in particular, the smaller the asymptotic size of $r$, the smaller the asymptotic growth rate of $E_0^{(r)}T_a$. The asymptotic growth rate of $E_0^{(r)}T_a$ continues to decrease when $r(x)\sim \frac{D\lambda}{x^2}$ with $\lambda>1$; now the growth rate of $E_0^{(r)}T_a$ is more or less on the order $|a|^{\frac{1+\sqrt{1+8\lambda}}2}$. However, if $\lambda=1$, then $E_0^{(r)}T_a=\infty$, for $a\neq0$.


title: PURE: Scalable Phase Unwrapping with Spatial Redundant Arcs

abstract: Phase unwrapping is a key problem in many coherent imaging systems, such as synthetic aperture radar (SAR) interferometry. A general formulation for redundant integration of finite differences for phase unwrapping (Costantini et al., 2010) was shown to produce a more reliable solution by exploiting redundant differential estimates. However, this technique requires a commercial linear programming solver for large-scale problems. For a linear cost function, we propose a method based on Dual Decomposition that breaks the given problem defined over a non-planar graph into tractable sub-problems over planar subgraphs. We also propose a decomposition technique that exploits the underlying graph structure for solving the sub-problems efficiently and guarantees asymptotic convergence to the globally optimal solution. The experimental results demonstrate that the proposed approach is comparable to the existing state-of-the-art methods in terms of the estimate with a better runtime and memory footprint.


title: Occluded object reconstruction for first responders with augmented reality glasses using conditional generative adversarial networks

abstract: Firefighters suffer a variety of life-threatening risks, including line-of-duty deaths, injuries, and exposures to hazardous substances. Support for reducing these risks is important. We built a partially occluded object reconstruction method on augmented reality glasses for first responders. We used a deep learning based on conditional generative adversarial networks to train associations between the various images of flammable and hazardous objects and their partially occluded counterparts. Our system then reconstructed an image of a new flammable object. Finally, the reconstructed image was superimposed on the input image to provide "transparency". The system imitates human learning about the laws of physics through experience by learning the shape of flammable objects and the flame characteristics.


title: Numerical investigation of the vortex roll-up from a helicopter blade-tip using a novel fixed-wing adaptation method

abstract: This contribution relates to the simulation of the flow around the tip of a helicopter rotor blade in hovering flight conditions. We here propose a new methodology of framework adaptation, using a comprehensive rotor code and high-fidelity numerical simulations. We construct an equivalent fixed-wing configuration from a rotating blade, in which centrifugal and Coriolis forces are neglected. The effect of this approximation on the solution is analysed. The method is validated by a detailed comparison with wind tunnel data from the literature, concerning aerodynamic properties and tip vortex roll-up. This validation also includes variations of the pitch angle and rotational speed, up to transonic tip velocities. Compared to previously published methods of framework adaptation, the new hybrid method is found to reproduce more accurately the flow around a rotating blade tip.


title: A Deep Face Identification Network Enhanced by Facial Attributes Prediction

abstract: In this paper, we propose a new deep framework which predicts facial attributes and leverage it as a soft modality to improve face identification performance. Our model is an end to end framework which consists of a convolutional neural network (CNN) whose output is fanned out into two separate branches; the first branch predicts facial attributes while the second branch identifies face images. Contrary to the existing multi-task methods which only use a shared CNN feature space to train these two tasks jointly, we fuse the predicted attributes with the features from the face modality in order to improve the face identification performance. Experimental results show that our model brings benefits to both face identification as well as facial attribute prediction performance, especially in the case of identity facial attributes such as gender prediction. We tested our model on two standard datasets annotated by identities and face attributes. Experimental results indicate that the proposed model outperforms most of the current existing face identification and attribute prediction methods.


title: Study of Residual Networks for Image Recognition

abstract: Deep neural networks demonstrate to have a high performance on image classification tasks while being more difficult to train. Due to the complexity and vanishing gradient problem, it normally takes a lot of time and more computational power to train deeper neural networks. Deep residual networks (ResNets) can make the training process faster and attain more accuracy compared to their equivalent neural networks. ResNets achieve this improvement by adding a simple skip connection parallel to the layers of convolutional neural networks. In this project we first design a ResNet model that can perform the image classification task on the Tiny ImageNet dataset with a high accuracy, then we compare the performance of this ResNet model with its equivalent Convolutional Network (ConvNet). Our findings illustrate that ResNets are more prone to overfitting despite their higher accuracy. Several methods to prevent overfitting such as adding dropout layers and stochastic augmentation of the training dataset has been studied in this work.


title: I Know How You Feel: Emotion Recognition with Facial Landmarks

abstract: Classification of human emotions remains an important and challenging task for many computer vision algorithms, especially in the era of humanoid robots which coexist with humans in their everyday life. Currently proposed methods for emotion recognition solve this task using multi-layered convolutional networks that do not explicitly infer any facial features in the classification phase. In this work, we postulate a fundamentally different approach to solve emotion recognition task that relies on incorporating facial landmarks as a part of the classification loss function. To that end, we extend a recently proposed Deep Alignment Network (DAN), that achieves state-of-the-art results in the recent facial landmark recognition challenge, with a term related to facial features. Thanks to this simple modification, our model called EmotionalDAN is able to outperform state-of-the-art emotion classification methods on two challenging benchmark dataset by up to 5%.


title: A Taxonomy for Neural Memory Networks

abstract: In this paper, a taxonomy for memory networks is proposed based on their memory organization. The taxonomy includes all the popular memory networks: vanilla recurrent neural network (RNN), long short term memory (LSTM ), neural stack and neural Turing machine and their variants. The taxonomy puts all these networks under a single umbrella and shows their relative expressive power , i.e. vanilla RNN <=LSTM<=neural stack<=neural RAM. The differences and commonality between these networks are analyzed. These differences are also connected to the requirements of different tasks which can give the user instructions of how to choose or design an appropriate memory network for a specific task. As a conceptual simplified class of problems, four tasks of synthetic symbol sequences: counting, counting with interference, reversing and repeat counting are developed and tested to verify our arguments. And we use two natural language processing problems to discuss how this taxonomy helps choosing the appropriate neural memory networks for real world problem.


title: 3D-PhysNet: Learning the Intuitive Physics of Non-Rigid Object Deformations

abstract: The ability to interact and understand the environment is a fundamental prerequisite for a wide range of applications from robotics to augmented reality. In particular, predicting how deformable objects will react to applied forces in real time is a significant challenge. This is further confounded by the fact that shape information about encountered objects in the real world is often impaired by occlusions, noise and missing regions e.g. a robot manipulating an object will only be able to observe a partial view of the entire solid. In this work we present a framework, 3D-PhysNet, which is able to predict how a three-dimensional solid will deform under an applied force using intuitive physics modelling. In particular, we propose a new method to encode the physical properties of the material and the applied force, enabling generalisation over materials. The key is to combine deep variational autoencoders with adversarial training, conditioned on the applied force and the material properties. We further propose a cascaded architecture that takes a single 2.5D depth view of the object and predicts its deformation. Training data is provided by a physics simulator. The network is fast enough to be used in real-time applications from partial views. Experimental results show the viability and the generalisation properties of the proposed architecture.


title: DeepDIVA: A Highly-Functional Python Framework for Reproducible Experiments

abstract: We introduce DeepDIVA: an infrastructure designed to enable quick and intuitive setup of reproducible experiments with a large range of useful analysis functionality. Reproducing scientific results can be a frustrating experience, not only in document image analysis but in machine learning in general. Using DeepDIVA a researcher can either reproduce a given experiment with a very limited amount of information or share their own experiments with others. Moreover, the framework offers a large range of functions, such as boilerplate code, keeping track of experiments, hyper-parameter optimization, and visualization of data and results. To demonstrate the effectiveness of this framework, this paper presents case studies in the area of handwritten document analysis where researchers benefit from the integrated functionality. DeepDIVA is implemented in Python and uses the deep learning framework PyTorch. It is completely open source, and accessible as Web Service through DIVAServices.


title: Real-Time Human Detection as an Edge Service Enabled by a Lightweight CNN

abstract: Edge computing allows more computing tasks to take place on the decentralized nodes at the edge of networks. Today many delay sensitive, mission-critical applications can leverage these edge devices to reduce the time delay or even to enable real time, online decision making thanks to their onsite presence. Human objects detection, behavior recognition and prediction in smart surveillance fall into that category, where a transition of a huge volume of video streaming data can take valuable time and place heavy pressure on communication networks. It is widely recognized that video processing and object detection are computing intensive and too expensive to be handled by resource limited edge devices. Inspired by the depthwise separable convolution and Single Shot Multi-Box Detector (SSD), a lightweight Convolutional Neural Network (LCNN) is introduced in this paper. By narrowing down the classifier's searching space to focus on human objects in surveillance video frames, the proposed LCNN algorithm is able to detect pedestrians with an affordable computation workload to an edge device. A prototype has been implemented on an edge node (Raspberry PI 3) using openCV libraries, and satisfactory performance is achieved using real world surveillance video streams. The experimental study has validated the design of LCNN and shown it is a promising approach to computing intensive applications at the edge.


title: Smart Surveillance as an Edge Network Service: from Harr-Cascade, SVM to a Lightweight CNN

abstract: Edge computing efficiently extends the realm of information technology beyond the boundary defined by cloud computing paradigm. Performing computation near the source and destination, edge computing is promising to address the challenges in many delay-sensitive applications, like real-time human surveillance. Leveraging the ubiquitously connected cameras and smart mobile devices, it enables video analytics at the edge. In recent years, many smart video surveillance approaches are proposed for object detection and tracking by using Artificial Intelligence (AI) and Machine Learning (ML) algorithms. This work explores the feasibility of two popular human-objects detection schemes, Harr-Cascade and HOG feature extraction and SVM classifier, at the edge and introduces a lightweight Convolutional Neural Network (L-CNN) leveraging the depthwise separable convolution for less computation, for human detection. Single Board computers (SBC) are used as edge devices for tests and algorithms are validated using real-world campus surveillance video streams and open data sets. The experimental results are promising that the final algorithm is able to track humans with a decent accuracy at a resource consumption affordable by edge devices in real-time manner.


title: Cosmological Study of Autonomous Dynamical Systems in Modified Tele-Parallel Gravity

abstract: Cosmological approaches of autonomous dynamical system in the framework of $f(T)$ gravity are investigated in this paper. Our methods applied to flat Friedmann-Robertson-Walker equations in $f(T)$ gravity, consist to extract dynamical systems whose time-dependence is contained in a single parameter $m$ depending on the Hubble rate of Universe and its second derivative. In our attempt to investigate the autonomous aspect of the dynamical systems reconstructed in both vacuum and non-vacuum $f(T)$ gravities, two values of the parameter $m$ have been considered for our present analysis. In the so-called quasi-de Sitter inflationary era ($m\simeq0$), the corresponding autonomous dynamical systems provide stable de Sitter attractors and unstable de Sitter fixed points. Especially in the vacuum $f(T)$ gravity, the approximate form of the $f(T)$ gravity near the stable and the unstable de Sitter fixed points has been performed. The matter dominated era case $(m=-\frac{9}{2})$ leads to unstable fixed points confirming matter dominated era or not, and stable attractor fixed point describing dark energy dominated era. Another subtlety around the stable fixed point obtained at matter dominated case in the non-vacuum $f(T)$ gravity is when the dark energy dominated era is reached, at the same time, the radiation perfect fluid dominated succumbs.


title: Properties of white dwarfs in Einstein-$\Lambda$ gravity

abstract: In this paper, we explore the properties of white dwarfs with the modified TOV equation in Einstein-$\Lambda$ gravity, the equilibrium configurations predict a maximum mass limit for white dwarfs same as the Chandrasekhar limit when we consider $\Lambda$ to be very small($\Lambda<10^{-16}$ m$^{-2}$), by increasing $\Lambda$, the maximum mass and radius of white dwarf are reduced. We study effects of the cosmological constant on the physical properties of white dwarf such as $M-\rho_c$ relation, $M-R$ relation, Schwarzschild radius, average density, compactness, gravitational redshift and dynamical stability. The gravitational redshift is a decreasing function of cosmological constant, because the gravitational redshift of white dwarf should be positive, we also find an upper limit for $\Lambda$, namely, $\Lambda<3\times10^{-14}$ m$^{-2}$. Our investigation of dynamical stability shown that the white dwarfs follow the dynamical stability in Einstein-$\Lambda$ gravity.


title: Deep learning approach to Fourier ptychographic microscopy

abstract: Convolutional neural networks (CNNs) have gained tremendous success in solving complex inverse problems. The aim of this work is to develop a novel CNN framework to reconstruct video sequence of dynamic live cells captured using a computational microscopy technique, Fourier ptychographic microscopy (FPM). The unique feature of the FPM is its capability to reconstruct images with both wide field-of-view (FOV) and high resolution, i.e. a large space-bandwidth-product (SBP), by taking a series of low resolution intensity images. For live cell imaging, a single FPM frame contains thousands of cell samples with different morphological features. Our idea is to fully exploit the statistical information provided by this large spatial ensemble so as to make predictions in a sequential measurement, without using any additional temporal dataset. Specifically, we show that it is possible to reconstruct high-SBP dynamic cell videos by a CNN trained only on the first FPM dataset captured at the beginning of a time-series experiment. Our CNN approach reconstructs a 12800X10800 pixels phase image using only ~25 seconds, a 50X speedup compared to the model-based FPM algorithm. In addition, the CNN further reduces the required number of images in each time frame by ~6X. Overall, this significantly improves the imaging throughput by reducing both the acquisition and computational times. The proposed CNN is based on the conditional generative adversarial network (cGAN) framework. Additionally, we also exploit transfer learning so that our pre-trained CNN can be further optimized to image other cell types. Our technique demonstrates a promising deep learning approach to continuously monitor large live-cell populations over an extended time and gather useful spatial and temporal information with sub-cellular resolution.


title: On the augmented Biot-JKD equations with Pole-Residue representation of the dynamic tortuosity

abstract: In this paper, we derive the augmented Biot-JKD equations, where the memory terms in the original Biot-JKD equations are dealt with by introducing auxiliary dependent variables. The evolution in time of these new variables are governed by ordinary differential equations whose coefficients can be rigorously computed from the JKD dynamic tortuosity function $T^D(\omega)$ by utilizing its Stieltjes function representation derived in \cite{ou2014on-reconstructi}, where an algorithm for computing the pole-residue representation of the JKD tortuosity is also proposed. The two numerical schemes presented in the current work for computing the poles and residues representation of $T^D(\omega)$ improve the previous scheme in the sense that they interpolate the function at infinite frequency and have much higher accuracy than the one proposed in \cite{ou2014on-reconstructi}.


title: Hyperparameter Optimization for Effort Estimation

abstract: Software analytics has been widely used in software engineering for many tasks such as generating effort estimates for software projects. One of the "black arts" of software analytics is tuning the parameters controlling a data mining algorithm. Such hyperparameter optimization has been widely studied in other software analytics domains (e.g. defect prediction and text mining) but, so far, has not been extensively explored for effort estimation. Accordingly, this paper seeks simple, automatic, effective and fast methods for finding good tunings for automatic software effort estimation. We introduce a hyperparameter optimization architecture called OIL (Optimized Inductive Learning). We test OIL on a wide range of hyperparameter optimizers using data from 945 software projects. After tuning, large improvements in effort estimation accuracy were observed (measured in terms of standardized accuracy). From those results, we recommend using regression trees (CART) tuned by different evolution combine with default analogy-based estimator. This particular combination of learner and optimizers often achieves in a few hours what other optimizers need days to weeks of CPU time to accomplish. An important part of this analysis is its reproducibility and refutability. All our scripts and data are on-line. It is hoped that this paper will prompt and enable much more research on better methods to tune software effort estimators.


title: Towards Practical Implementation of Deep Random Secrecy

abstract: We have formerly introduced Deep Random Secrecy, a new cryptologic technique capable to ensure secrecy as close as desired from perfection against unlimited passive eavesdropping opponents. We have also formerly introduced an extended protocol, based on Deep Random Secrecy, capable to resist to unlimited active MITM. The main limitation of those protocols, in their initial presented version, is the important quantity of information that needs to be exchanged between the legitimate partners to distill secure digits. We have defined and shown existence of an absolute constant, called Cryptologic Limit, which represents the upper-bound of Secrecy rate that can be reached by Deep Random Secrecy protocols. At last, we have already presented practical algorithms to generate Deep Randomness from classical computing resources. This article is presenting an optimization technique, based on recombination and reuse of random bits; this technique enables to dramatically increase the bandwidth performance of formerly introduced protocols, without jeopardizing the entropy of secret information. That optimization enables to envision an implementation of Deep Random Secrecy at very reasonable cost. The article also summarizes former results in the perspective of a comprehensive implementation.


title: Bochner-Martinelli formula in superspace

abstract: In a series of recent papers, a harmonic and hypercomplex function theory in superspace has been established and amply developed. In this paper, we address the problem of establishing Cauchy integral formulae in the framework of Hermitian Clifford analysis in superspace. This allows us to obtain a successful extension of the classical Bochner-Martinelli formula to superspace by means of the corresponding projections on the space of spinor-valued superfunctions.


title: Simultaneous determination of two coefficients in the Riemannian hyperbolic equation from boundary measurements

abstract: In this paper we consider the inverse problem of determining on a compact Riemannian manifold the electric potential and the absorption coefficient in the wave equation with Dirichlet data from measured Neumann boundary observations. This information is enclosed in the dynamical Dirichlet-to-Neumann map associated to the wave equation. We prove in dimension $n \geq 2$ that the knowledge of the Dirichlet-to-Neumann map for the wave equation uni


title: Kruskal-Katona type Problem

abstract: The Kruskal Katona theorem was proved in the 1960s. In the theorem, we are given an integer $r$ and families of sets $\mathcal{A}\subset \mathbb{N}^{(r)}$ and $\mathcal{B}\subset\mathbb{N}^{(r-1)}$ such that for every $A\in\mathcal{A}$, every subset of $A$ of size $r-1$ is in $\mathcal{B}$. We are interested in finding the mimimum size of $b=|\mathcal{B}|$ given fixed values of $r$ and $a=|\mathcal{A}|$. The Kruskal Katona theorem states that this mimimum occurs when both $\mathcal{A}$ and $\mathcal{B}$ are initial segments of the colexicographic ordering. The Kruskal Katona theorem is very useful and has had many applications and generalisations. In this paper, we are interested in one particular generalisation, where instead of every subset of $A$ of size $r-1$ being in $\mathcal{B}$, we will instead ask that only $k$ of them are, where $k$ is some integer smaller than $r$. Note that setting $k=r$ is exactly the Kruskal Katona theorem. We will first find exact results for the cases where $0\leq k \leq 3$. For $k\geq 4$ we will not solve the question completely, however, we will find the exact result for infinitely many $a$. We will also provide a formula that is within some additive constant of the correct result for all $a$.


title: Modeling magnetic neutron stars: a short overview

abstract: Neutron stars are the endpoint of the life of intermediate mass stars and posses in their cores matter in the most extreme conditions in the universe. Besides their extremes of temperature (found in proto-neutron stars) and densities, typical neutron star' magnetic fields can easily reach trillions of times higher the one of the Sun. Among these stars, about $10\%$ are denominated \emph{magnetars} which possess even stronger surface magnetic fields of up to $10^{15}-10^{16}\,\mathrm{G}$. In this conference proceeding, we present a short review of the history and current literature regarding the modeling of magnetic neutron stars. Our goal is to present the results regarding the introduction of magnetic fields in the equation of state of matter using Relativistic Mean Field models (RMF models) and in the solution of Einstein's equations coupled to the Maxwell's equations in order to generate a consistent calculation of magnetic stars structure. We discuss how equation of state modeling affects mass, radius, deformation, composition and magnetic field distribution in stars and also what are the open questions in this field of research.


title: A Feedback Neural Network for Small Target Motion Detection in Cluttered Backgrounds

abstract: Small target motion detection is critical for insects to search for and track mates or prey which always appear as small dim speckles in the visual field. A class of specific neurons, called small target motion detectors (STMDs), has been characterized by exquisite sensitivity for small target motion. Understanding and analyzing visual pathway of STMD neurons are beneficial to design artificial visual systems for small target motion detection. Feedback loops have been widely identified in visual neural circuits and play an important role in target detection. However, if there exists a feedback loop in the STMD visual pathway or if a feedback loop could significantly improve the detection performance of STMD neurons, is unclear. In this paper, we propose a feedback neural network for small target motion detection against naturally cluttered backgrounds. In order to form a feedback loop, model output is temporally delayed and relayed to previous neural layer as feedback signal. Extensive experiments showed that the significant improvement of the proposed feedback neural network over the existing STMD-based models for small target motion detection.


title: Teaching Differentiation: A Rare Case for the Problem of the Slope of the Tangent Line

abstract: In this article we discuss an important students' misconception about derivatives, that the expression of the derivative of the function contains the information as to whether the function is differentiable or not where the expression is undefined. As a working example we consider a typical Calculus problem of finding the horizontal tangent lines of a function. Following the standard procedure, we derive the expression for the derivative using Product Rule. The search for the values of the independent variable, that make the derivative equal zero, leads to missing the unique solution of the problem. We show that in this case, even though the expression of the derivative is undefined, the function indeed possesses the derivative at the point. We also provide the methodological treatment of such functions, which can be effectively used in the classroom.


title: One-dimensional electron fluid at high density

abstract: We calculate the ground-state energy, pair correlation function, static structure factor, and momentum density of the one-dimensional electron fluid at high density using variational quantum Monte Carlo simulation. For an infinitely thin cylindrical wire the predicted correlation energy is found to fit nicely with a quadratic function of coupling parameter $r_s$. The extracted exponent $\alpha$ of the momentum density for $k\sim k_F$ is used to determine the Tomonaga-Luttinger parameter $K_\rho$ as a function of $r_s$ in the high-density regime for the first time. We find that the simulated static structure factor and pair correlation function for infinitely thin wires agree with our recent high-density theory [K. Morawetz et al., Phys. Rev. B 97, 155147 (2018)].


title: Dual Polynomials of the Multi-Indexed ($q$-)Racah Orthogonal Polynomials

abstract: We consider dual polynomials of the multi-indexed ($q$-)Racah orthogonal polynomials. The $M$-indexed ($q$-)Racah polynomials satisfy the second order difference equations and various $1+2L$ ($L\geq M+1$) term recurrence relations with constant coefficients. Therefore their dual polynomials satisfy the three term recurrence relations and various $2L$-th order difference equations. This means that the dual multi-indexed ($q$-)Racah polynomials are ordinary orthogonal polynomials and the Krall-type. We obtain new exactly solvable discrete quantum mechanics with real shifts, whose eigenvectors are described by the dual multi-indexed ($q$-)Racah polynomials. These quantum systems satisfy the closure relations, from which the creation/annihilation operators are obtained, but they are not shape invariant.


title: Development of the matrix of primes and proof of an infinite number of primes-twins

abstract: This paper is devoted to the theory of prime numbers. In this paper we first introduce the notion of a matrix of prime numbers. Then, in order to investigate the density of prime numbers in separate rows of the matrix under consideration, we propose a number of lemmas and theorems that, together with the Dirichlet and Euler theorems, make it possible to prove the infinity of prime twins.


title: Spin-fluctuation and spin-relaxation effects of single adatoms from first principles

abstract: Single adatoms offer an exceptional playground for studying magnetism and its associated dynamics at the atomic scale. Here we review recent results on single adatoms deposited on metallic substrates, based on time-dependent density functional theory. First we analyze quantum zero-point spin-fluctuations (ZPSF) as calculated from the fluctuation-dissipation theorem, and show how they affect the magnetic stability by modifying the magnetic anisotropy energy. We also assess the impact of ZPSF in the limit of small hybridization to the substrate characteristic of semi-insulating substrates, connecting to recent experimental investigations where magnetic stability of a single adatom was achieved for the first time. Secondly, we inspect further the dynamics of single adatoms by considering the longitudinal and transverse spin-relaxation processes, whose time-scales are analyzed and related to the underlying electronic structure of both the adatom and the substrate. Thirdly, we analyze spin-fluctuation modes of paramagnetic adatoms, i.e., adatoms where the Stoner criterion for magnetism is almost fulfilled. Interestingly, such modes can develop well-defined peaks in the meV range, their main characteristics being determined by two fundamental electronic properties, namely the Stoner parameter and the density of states at the Fermi level. Furthermore, simulated inelastic scanning tunneling spectroscopy curves reveal that these spin-fluctuation modes can be triggered by tunneling electrons, opening up potential applications also for paramagnetic adatoms. Lastly, an overview of the outstanding issues and future directions is given.


title: OMG - Emotion Challenge Solution

abstract: This short paper describes our solution to the 2018 IEEE World Congress on Computational Intelligence One-Minute Gradual-Emotional Behavior Challenge, whose goal was to estimate continuous arousal and valence values from short videos. We designed four base regression models using visual and audio features, and then used a spectral approach to fuse them to obtain improved performance.


title: Piecewise linear sheaves

abstract: On a finite-dimensional real vector space, we give a microlocal characterization of (derived) piecewise linear sheaves (PL sheaves) and prove that the triangulated category of such sheaves is generated by sheaves associated with convex polyhedra. We then give a similar theorem for PL gamma-sheaves, that is, PL sheaves associated with the gamma-topology, for a closed convex polyhedral proper cone gamma. Our motivation is that convex polyhedra may be considered as building blocks for higher dimensional barcodes.


title: Geometrical structure and the electron transport properties of monolayer and bilayer silicene near the semimetal-insulator transition point in tight-binding model

abstract: We investigate the electron properties of the monolayer and bilayer silicene which is the honeycomb lattice consist of silicon atoms, including the optical conductivity and charged impurity scattering, due to the quasipatricle Dirac-like behaviors near the K-point of silicene. The spin, valley, sublattice degrees of freedom are taken into consider in the multi-band tight-binding model. In momentum space, the scattering matrix which connects the two bare (without interaction) Green's functions in the quasiparticle momentum transport process, could be momentum-independent for the single impuirity configuration, which is similar to the case with small Coulomb coupling in the low-energy Dirac semimetallic system. While in the zero-frequency limit, or the frequency-independent case in the strong Coulomb coupling regime, the static polarization can be obtained by the random-phase-approximation, and it's important for the determination of the screened Coulomb scattering by the charge impurity. The antiferromagnetic order in the silicene is Hubbard-U-dependent, unlike the square lattice which with the antiferromagnetic ground state, and provides the premise of the phase transition from the nonmagnetic semimetal phase to the insulator one. We found that in the absence of electric field, the critical value of the phase transition from semimetal to insulator is 9 eV for the clear monolayer silicene, and is 12 eV for the 2nd AA-stacked bilayer silicene or the dirty monolayer silicene whcih with impurity strength 4 eV. While the behaviors of 1st AA-stacked bilayer silicene is found similar to the monolayer one. The in-plane optical conductivity also shows the same results.


title: Decomposition of tensor products of Demazure crystals

abstract: A Demazure crystal is the basis at $q=0$ of a Demazure module. Demazure crystals play an important role in Schubert calculus because the character of a Demazure crystal in type A is identical to a key polynomial, which is closely related to Schubert polynomials. In this paper, we study tensor products of Demazure crystals. Each connected component of a tensor product of Demazure crystals need not be isomorphic to some Demazure crystal. We provide a necessary and sufficient condition for every connected component of a tensor product to be isomorphic to some Demazure crystal. Also, we obtain the explicit formula for connected components. As applications, we study the positivity for structure constants of products of key polynomials, and we obtain an equation of crystals, which is an analog of the Leibniz rule for Demazure operators.


title: Word2Vec and Doc2Vec in Unsupervised Sentiment Analysis of Clinical Discharge Summaries

abstract: In this study, we explored application of Word2Vec and Doc2Vec for sentiment analysis of clinical discharge summaries. We applied unsupervised learning since the data sets did not have sentiment annotations. Note that unsupervised learning is a more realistic scenario than supervised learning which requires an access to a training set of sentiment-annotated data. We aim to detect if there exists any underlying bias towards or against a certain disease. We used SentiWordNet to establish a gold sentiment standard for the data sets and evaluate performance of Word2Vec and Doc2Vec methods. We have shown that the Word2vec and Doc2Vec methods complement each other results in sentiment analysis of the data sets.


title: Bound-state effects for dark matter with Higgs-like mediators

abstract: In this paper we study the impact of a scalar exchange on the dark matter relic abundance by solving a plasma-modified Schroedinger equation. A simplified model is considered where a Majorana dark matter fermion is embedded in a U(1)$'$ extension of the Standard Model and couples with a dark Higgs via a Yukawa interaction. We find that the dark-Higgs exchange can increase the overclosure bounds significantly. For the largest (smallest) value of the Yukawa coupling examined in this work, the dark matter mass is lifted from 5 TeV (0.55 TeV) to 27 TeV (0.70 TeV).


title: A ground state study of the spin-1 bilinear-biquadratic Heisenberg model on the triangular lattice using tensor networks

abstract: Making use of infinite projected entangled pair states, we investigate the ground state phase diagram of the nearest-neighbor spin-1 bilinear-biquadratic Heisenberg model on the triangular lattice. In agreement with previous studies, we find the ferromagnetic, 120 degree magnetically ordered, ferroquadrupolar and antiferroquadrupolar phases, and confirm that all corresponding phase transitions are first order. Moreover, we provide an accurate estimate of the location of the ferroquadrupolar to 120 degree magnetically ordered phase transition, thereby fully establishing the phase diagram. Also, we do not encounter any signs of the existence of a quantum paramagnetic phase. In particular, contrary to the equivalent square lattice model, we demonstrate that on the triangular lattice the one-dimensional Haldane phase does not reach all the way up to the two-dimensional limit. Finally, we investigate the possibility of an intermediate partially-magnetic partially-quadrupolar phase close to $\theta = \pi/2$, and we show that, also contrary to the square lattice case, this phase is not present on the triangular lattice.


title: Sample-to-Sample Correspondence for Unsupervised Domain Adaptation

abstract: The assumption that training and testing samples are generated from the same distribution does not always hold for real-world machine-learning applications. The procedure of tackling this discrepancy between the training (source) and testing (target) domains is known as domain adaptation. We propose an unsupervised version of domain adaptation that considers the presence of only unlabelled data in the target domain. Our approach centers on finding correspondences between samples of each domain. The correspondences are obtained by treating the source and target samples as graphs and using a convex criterion to match them. The criteria used are first-order and second-order similarities between the graphs as well as a class-based regularization. We have also developed a computationally efficient routine for the convex optimization, thus allowing the proposed method to be used widely. To verify the effectiveness of the proposed method, computer simulations were conducted on synthetic, image classification and sentiment classification datasets. Results validated that the proposed local sample-to-sample matching method out-performs traditional moment-matching methods and is competitive with respect to current local domain-adaptation methods.


title: Deep Factorization Machines for Knowledge Tracing

abstract: This paper introduces our solution to the 2018 Duolingo Shared Task on Second Language Acquisition Modeling (SLAM). We used deep factorization machines, a wide and deep learning model of pairwise relationships between users, items, skills, and other entities considered. Our solution (AUC 0.815) hopefully managed to beat the logistic regression baseline (AUC 0.774) but not the top performing model (AUC 0.861) and reveals interesting strategies to build upon item response theory models.


title: Domain and Geometry Agnostic CNNs for Left Atrium Segmentation in 3D Ultrasound

abstract: Segmentation of the left atrium and deriving its size can help to predict and detect various cardiovascular conditions. Automation of this process in 3D Ultrasound image data is desirable, since manual delineations are time-consuming, challenging and observer-dependent. Convolutional neural networks have made improvements in computer vision and in medical image analysis. They have successfully been applied to segmentation tasks and were extended to work on volumetric data. In this paper we introduce a combined deep-learning based approach on volumetric segmentation in Ultrasound acquisitions with incorporation of prior knowledge about left atrial shape and imaging device. The results show, that including a shape prior helps the domain adaptation and the accuracy of segmentation is further increased with adversarial learning.


title: Twitter Reveals: Using Twitter Analytics to Predict Public Protests

abstract: The right to protest is perceived as one of the primary civil rights. Citizens participate in mass demonstrations to express themselves and exercise their democratic rights. However, because of the large number of participants, protests may lead to violence and destruction, and hence can be costly. Thus, it is important to predict such demonstrations in advance to safeguard against such damages. Recent research has shown that about 75 percent of protests that are regarded as legal, are planned in advance. Twitter, the prominent micro-blogging website, has been used as a tool by protestors for planning, organizing, and announcing many of the recent protests worldwide such as those that led to the Arab Spring, Britain riots, and those against Mr. Trump after the presidential election in the U.S. In this paper, we aim to predict protests by means of machine learning algorithms. In particular, we consider the case of protests against the then-president-elect Mr. Trump after the results of the presidential election were announced in November 2016. We first identify the hashtags calling for demonstration from Trending Topics on Twitter, and download the corresponding tweets. We then apply four machine learning algorithms to make predictions. Our findings indicate that Twitter can be used as a powerful tool for predicting future protests with an average prediction accuracy of over 75 percent (up to 100 percent). We further validate our model by predicting the protests held in the U.S. airports after President Trump's executive order banning citizens of seven Muslim countries from entering the U.S. An important contribution of our study is the inclusion of event specific features for prediction purposes which helps to achieve high levels of accuracy.


title: Hardware Implementation of A Non-RLL Soft-decoding Beacon-based Visible Light Communication Receiver

abstract: Visible light communication (VLC)-based beacon systems, which usually transmit identification (ID) information in small-size data frames are applied widely in indoor localization applications. There is one fact that flicker of LED light should be avoid in any VLC systems. Current flicker mitigation solutions based on run-length limited (RLL) codes suffer from reduced code rates, or are limited to hard-decoding forward error correction (FEC) decoders. Recently, soft-decoding techniques of RLL-codes are proposed to support soft-decoding FEC algorithms, but they contain potentials of high-complexity and time-consuming computations. Fortunately, non-RLL direct current (DC)-balance solutions can overcome the drawbacks of RLL-based algorithms, however, they meet some difficulties in system latency or inferior error-correction performances. Recently, non-RLL flicker mitigation solution based on Polar code has proved to be an optimal approach due to its natural equal probabilities of short runs of 1's and 0's with high error-correction performance. However, we found that this solution can only maintain the DC balance only when the data frame length is sufficiently long. Accordingly, short beacon-based data frames might still be a big challenge for flicker mitigation in such non-RLL cases. In this paper, we introduce a flicker mitigation solution designed for VLC-based beacon systems that combines a simple pre-scrambler with a Polar encoder which has a codeword smaller than the previous work 8 times. We also propose a hardware architecture for the proposed compact non-RLL VLC receiver for the first time. Also, a 3-bit soft-decision filter is introduce to enable soft-decoding of Polar decoder to improve the performance of the receiver.


title: Optimal community structure for social contagions

abstract: Community structure is an important factor in the behavior of real-world networks because it strongly affects the stability and thus the phase transition order of the spreading dynamics. We here propose a reversible social contagion model of community networks that includes the factor of social reinforcement. In our model an individual adopts a social contagion when the number of received units of information exceeds its adoption threshold. We use mean-field approximation to describe our proposed model, and the results agree with numerical simulations. The numerical simulations and theoretical analyses both indicate that there is a first-order phase transition in the spreading dynamics, and that a hysteresis loop emerges in the system when there is a variety of initially-adopted seeds. We find an optimal community structure that maximizes spreading dynamics. We also find a rich phase diagram with a triple point that separates the no-diffusion phase from the two diffusion phases.


title: Ultra Power-Efficient CNN Domain Specific Accelerator with 9.3TOPS/Watt for Mobile and Embedded Applications

abstract: Computer vision performances have been significantly improved in recent years by Convolutional Neural Networks(CNN). Currently, applications using CNN algorithms are deployed mainly on general purpose hardwares, such as CPUs, GPUs or FPGAs. However, power consumption, speed, accuracy, memory footprint, and die size should all be taken into consideration for mobile and embedded applications. Domain Specific Architecture (DSA) for CNN is the efficient and practical solution for CNN deployment and implementation. We designed and produced a 28nm Two-Dimensional CNN-DSA accelerator with an ultra power-efficient performance of 9.3TOPS/Watt and with all processing done in the internal memory instead of outside DRAM. It classifies 224x224 RGB image inputs at more than 140fps with peak power consumption at less than 300mW and an accuracy comparable to the VGG benchmark. The CNN-DSA accelerator is reconfigurable to support CNN model coefficients of various layer sizes and layer types, including convolution, depth-wise convolution, short-cut connections, max pooling, and ReLU. Furthermore, in order to better support real-world deployment for various application scenarios, especially with low-end mobile and embedded platforms and MCUs (Microcontroller Units), we also designed algorithms to fully utilize the CNN-DSA accelerator efficiently by reducing the dependency on external accelerator computation resources, including implementation of Fully-Connected (FC) layers within the accelerator and compression of extracted features from the CNN-DSA accelerator. Live demos with our CNN-DSA accelerator on mobile and embedded systems show its capabilities to be widely and practically applied in the real world.


title: A code-free optical undersampling technique for broadband microwave spectrum measurement

abstract: A novel broadband microwave (MW) spectrum measurement (BMSM) scheme based on code-free optical undersampling and homodyne detection is proposed. The fully analog generation of optical pulses with a far-less-than-Nyquist rate is only through modulating cascaded electrooptical modulators by a single RF tone instead of any high-speed coding sequence modulation. Homodyne detection will reduce the analysis bandwidth of BMSM and enhance the detection performance of weak signal. A multi-band signal with 20 GHz spectral range and SNR = 61 dB is used to investigate the BMSM performance of this scheme, and the results show good performance for BMSM. The potentials for further optimization in practice are also discussed.


title: Impact of Vehicle-to-Vehicle Communication Reliability on Safety Applications: An Experimental Study

abstract: Vehicle-to-Vehicle (V2V) communication using Dedicated Short Range Communications (DSRC) technology provides promising benefits for drastically reducing vehicle collisions. A decentralized approach combined with DSRC allow vehicles in a highly mobile and complex network to send and receive safety messages with high reliability and low latency. Notably, there are many factors that may cause the system to become unreliable due to communication failures. While the reliability of V2V communication has been a subject of study by researchers, there is still open questions regarding how the placement of DSRC devices (inside or outside the host vehicle), the vehicle's interior elements or the differences in altitude can affect the V2V communications. This paper aims to provide experimental testing data and analysis to quantify the impact of relative vehicle speeds, differences in altitudes between two vehicles, and vehicle's interior obstacles (which can vary depending on the placement of DSRC device and when communicating with front vs. rear vehicles) on the reliability of V2V communications.


title: Lower bound on entanglement in subspaces defined by Young diagrams

abstract: Eigenvalues of 1-particle reduced density matrices of $N$-fermion states are upper bounded by $1/N$, resulting in a lower bound on entanglement entropy. We generalize these bounds to all other subspaces defined by Young diagrams in the Schur-Weyl decomposition of $\otimes^N\mathbb{C}^d$.


title: Quasi-periodic Counter-propagating Fast Magnetosonic Wave Trains from Neighboring Flares: SDO/AIA Observations and 3D MHD Modeling

abstract: Since their discovery by SDO/AIA in EUV, rapid (phase speeds of 1000 km/s), quasi-periodic, fast-mode propagating wave trains (QFPs) have been observed accompanying many solar flares. They typically propagate in funnel-like structures associated with the expanding magnetic field topology of the active regions (ARs). The waves provide information on the associated flare pulsations and the magnetic structure through coronal seismology. The reported waves usually originate from a single localized source associated with the flare. Here, we report the first detection of counter-propagating QFPs associated with two neighboring flares on 2013 May 22, apparently connected by large-scale, trans-equatorial coronal loops. We present the first results of 3D MHD model of counter-propagating QFPs an idealized bi-polar AR. We investigate the excitation, propagation, nonlinearity, and interaction of the counter-propagating waves for a range of key model parameters, such as the properties of the sources and the background magnetic structure. In addition to QFPs, we also find evidence of trapped fast (kink) and slow mode waves associated with the event. We apply coronal seismology to determine the magnetic field strength in an oscillating loop during the event. Our model results are in qualitative agreement with the AIA-observed counter propagating waves and are used to identify the various MHD wave modes associated with the observed event providing insights into their linear and nonlinear interactions. Our observations provide the first direct evidence of counter-propagating fast magnetosonic waves that can potentially lead to turbulent cascade and carry significant energy flux for coronal heating in low-corona magnetic structures.


title: Dynamics of $\mathrm{Out}(F_n)$ on the second bounded cohomology of $F_n$

abstract: We study the $\mathrm{Out}(F_n)$-action on the second bounded cohomology $H^2_b(F_n, \mathbb{R})$, focusing on the countable-dimensional dense invariant subspace given by Brooks quasimorphisms. We show that this subspace has no finite-dimensional invariant subspaces, in particular no fixpoints, partially answering a question of Mikl\'{o}s Ab\'{e}rt. To this end we introduce a notion of speed of an element $g\in \mathrm{Out}(F_n)$, which measures the asymptotic growth rate of bounded cohomology classes under repeated application of $g$.


title: A Multi-State Diagnosis and Prognosis Framework with Feature Learning for Tool Condition Monitoring

abstract: In this paper, a multi-state diagnosis and prognosis (MDP) framework is proposed for tool condition monitoring via a deep belief network based multi-state approach (DBNMS). For fault diagnosis, a cost-sensitive deep belief network (namely ECS-DBN) is applied to deal with the imbalanced data problem for tool state estimation. An appropriate prognostic degradation model is then applied for tool wear estimation based on the different tool states. The proposed framework has the advantage of automatic feature representation learning and shows better performance in accuracy and robustness. The effectiveness of the proposed DBNMS is validated using a real-world dataset obtained from the gun drilling process. This dataset contains a large amount of measured signals involving different tool geometries under various operating conditions. The DBNMS is examined for both the tool state estimation and tool wear estimation tasks. In the experimental studies, the prediction results are evaluated and compared with popular machine learning approaches, which show the superior performance of the proposed DBNMS approach.


title: Critical behaviour of Lifshitz dilaton black holes

abstract: Till now, critical behaviour of Lifshitz black holes, in an extended $P-v$ space, has not been studied, because it is impossible to find an analytical equation of state, $P=P(v,T)$, for an arbitrary Lifshitz exponent $z$. In this paper, we adopt a new approach toward thermodynamic phase space and successfully explore the critical behaviour of $(n+1)$-dimensional Lifshitz dilaton black holes. For this purpose, we write down the equation of state as $Q^s=Q^s(T,\Psi)$ with $\Psi=\left({\partial M}/{\partial Q^{s} }\right)_{S,P}$ is the conjugate of $Q^s$ and construct Smarr relation based on this new phase space as $ M=M(S,Q^{s},P)$, where $s=2p/(2p-1)$ with $p$ is the power of the power-law Maxwell Lagrangian. We justify such a choice mathematically and show that with this new phase space, the system admits the critical behaviour and resembles the Van der Waals fluid system when the cosmological constant (pressure) is treated as a fixed parameter, while the charge of the system varies. We obtain Gibbs free energy of the system and find swallow tail shape in Gibbs diagrams which represents the first order phase transition. Finally, we calculate the critical exponents and show that although thermodynamic quantities depend on the metric parameters such as $z$ , $p$ and $n$, the critical exponents are the same as Van der Walls fluid-gas system. This alternative viewpoint toward phase space of lifshitz dilaton black hole can be understood easily since one can imagine such a change for a given single black hole i.e., acquiring charge which induces the phase transition. Our results further support the viewpoint suggested in \cite{Dehy}.


title: Anisotropic scaling of the two-dimensional Ising model II: surfaces and boundary fields

abstract: Based on the results published recently [SciPost Phys. 7, 026 (2019)], the influence of surfaces and boundary fields are calculated for the ferromagnetic anisotropic square lattice Ising model on finite lattices as well as in the finite-size scaling limit. Starting with the open cylinder, we independently apply boundary fields on both sides which can be either homogeneous or staggered, representing different combinations of boundary conditions. We confirm several predictions from scaling theory, conformal field theory and renormalisation group theory: we explicitly show that anisotropic couplings enter the scaling functions through a generalised aspect ratio, and demonstrate that open and staggered boundary conditions are asymptotically equal in the scaling regime. Furthermore, we examine the emergence of the surface tension due to one antiperiodic boundary in the system in the presence of symmetry breaking boundary fields, again for finite systems as well as in the scaling limit. Finally, we extend our results to the antiferromagnetic Ising model.

categories: cond-mat.stat-mech hep-th math-ph math.MP


title: Goal-oriented error control of stochastic system approximations using metric-based anisotropic adaptations

abstract: The simulation of complex nonlinear engineering systems such as compressible fluid flows may be targeted to make more efficient and accurate the approximation of a specific (scalar) quantity of interest of the system. Putting aside modeling error and parametric uncertainty, this may be achieved by combining goal-oriented error estimates and adaptive anisotropic spatial mesh refinements. To this end, an elegant and efficient framework is the one of (Riemannian) metric-based adaptation where a goal-based a priori error estimation is used as indicator for adaptivity. This work proposes a novel extension of this approach to the case of aforementioned system approximations bearing a stochastic component. In this case, an optimisation problem leading to the best control of the distinct sources of errors is formulated in the continuous framework of the Riemannian metric space. Algorithmic developments are also presented in order to quantify and adaptively adjust the error components in the deterministic and stochastic approximation spaces. The capability of the proposed method is tested on various problems including a supersonic scramjet inlet subject to geometrical and operational parametric uncertainties. It is demonstrated to accurately capture discontinuous features of stochastic compressible flows impacting pressure-related quantities of interest, while balancing computational budget and refinements in both spaces.


title: Which Facial Expressions Can Reveal Your Gender? A Study With 3D Faces

abstract: Human exhibit rich gender cues in both appearance and behavior. In computer vision domain, gender recognition from facial appearance have been extensively studied, while facial behavior based gender recognition studies remain rare. In this work, we first demonstrate that facial expressions influence the gender patterns presented in 3D face, and gender recognition performance increases when training and testing within the same expression. In further, we design experiments which directly extract the morphological changes resulted from facial expressions as features, for expression-based gender recognition. Experimental results demonstrate that gender can be recognized with considerable accuracy in Happy and Disgust expressions, while Surprise and Sad expressions do not convey much gender related information. This is the first work in the literature which investigates expression-based gender classification with 3D faces, and reveals the strength of gender patterns incorporated in different types of expressions, namely the Happy, the Disgust, the Surprise and the Sad expressions.


title: Novel Hard Link-Switching Scheme using Pre-Scanning for Indoor VLC Networks

abstract: VLC is attracting a lot of attention as an emerging potential technology for deployment in next generation indoor wireless networks. Use of efficient link switching scheme among VLC access points is critical in indoor environment to provide seamless connectivity to mobile users. This paper presents a novel position prediction link switching scheme for indoor visible light communication systems. The method exploits the fact that indoor scenario (light fixtures/furniture) mostly remains unchanged, therefore, this information can be stored at the coordinator end. Thus, the user is not required to search for the best transmitter when RSS is reduced to a threshold value as in conventional methods which cause substantial delay in switching process. Simulation results show that the proposed scheme for indoor VLC System achieves the dual purpose of adequate illumination and mobility to user in considered indoor scenario.


title: Analysis of Problem Tokens to Rank Factors Impacting Quality in VoIP Applications

abstract: User-perceived quality-of-experience (QoE) in internet telephony systems is commonly evaluated using subjective ratings computed as a Mean Opinion Score (MOS). In such systems, while user MOS can be tracked on an ongoing basis, it does not give insight into which factors of a call induced any perceived degradation in QoE -- it does not tell us what caused a user to have a sub-optimal experience. For effective planning of product improvements, we are interested in understanding the impact of each of these degrading factors, allowing the estimation of the return (i.e., the improvement in user QoE) for a given investment. To obtain such insights, we advocate the use of an end-of-call "problem token questionnaire" (PTQ) which probes the user about common call quality issues (e.g., distorted audio or frozen video) which they may have experienced. In this paper, we show the efficacy of this questionnaire using data gathered from over 700,000 end-of-call surveys gathered from Skype (a large commercial VoIP application). We present a method to rank call quality and reliability issues and address the challenge of isolating independent factors impacting the QoE. Finally, we present representative examples of how these problem tokens have proven to be useful in practice.


title: Model category structures and spectral sequences

abstract: Let k be a commutative ring with unit. We endow the categories of filtered complexes and of bicomplexes of k-modules, with cofibrantly generated model structures, where the class of weak equivalences is given by those morphisms inducing a quasi-isomorphism at a certain fixed stage of the associated spectral sequence. For filtered complexes, we relate the different model structures obtained, when we vary the stage of the spectral sequence, using the functors shift and d\'ecalage.


title: Superintegrable relativistic systems in scalar background fields

abstract: We consider a relativistic charged particle in a background scalar field depending on both space and time. Poincar\'e, dilation and special conformal symmetries of the field generate conserved quantities in the charge motion, and we exploit this to generate examples of superintegrable relativistic systems. We also show that the corresponding single-particle wavefunctions needed for the quantum scattering problem can be found exactly, by solving the Klein-Gordon equation.


title: Deposition and patterning of magnetic atom trap lattices in FePt films with periods down to 200nm

abstract: We report on the epitaxial growth and the characterization of thin FePt films and the subsequent patterning of magnetic lattice structures. These structures can be used to trap ultracold atoms for quantum simulation experiments. We use Molecular Beam Epitaxy (MBE) to deposit monocrystalline FePt films with a thickness of 50 nm. The films are characterized with X-ray scattering and Mossbauer spectroscopy to determine the long range order parameter and the hard magnetic axes. A high monocrystalline fraction was measured as well as a strong remanent magnetization of M = 900 kA/m and coercivity of 0.4 T. Using Electron Beam Lithography (EBL) and argon ion milling we create lattice patterns with a period down to 200 nm, and a resolution of 30 nm. The resulting lattices are imaged in a Scanning Electron Microscope in cross-section created by a Focused Ion Beam. A lattice with continuously varying lattice constant ranging from 5 micrometer down to 250nm has been created to show the wide range of length scales that can now be created with this technique.


title: Semi-device-independent characterisation of multipartite entangled states and measurements

abstract: The semi-device-independent framework allows one to draw conclusions about properties of an unknown quantum system under weak assumptions. Here we present a semi-device-independent scheme for the characterisation of multipartite entanglement based around a game played by several isolated parties whose devices are uncharacterised beyond an assumption about the dimension of their Hilbert spaces. Our scheme can certify that an $n$-partite high-dimensional quantum state features genuine multipartite entanglement. Moreover, the scheme can certify that a joint measurement on $n$ subsystems is entangled, and provides a lower bound on the number of entangled measurement operators. These tests are strongly robust to noise, and even optimal for certain classes of states and measurements, as we demonstrate with illustrative examples. Notably, our scheme allows for the certification of many entangled states admitting a local model, which therefore cannot violate any Bell inequality.


title: Anti-commuting varieties

abstract: We study the anti-commuting variety which consists of pairs of anti-commuting $n\times n$ matrices. We provide an explicit description of its irreducible components and their dimensions. The GIT quotient of the anti-commuting variety with respect to the conjugation action of $GL_n$ is shown to be of pure dimension $n$. We also show the semi-nilpotent anti-commuting variety (in which one matrix is required to be nilpotent) is of pure dimension $n^2$ and describe its irreducible components.


title: Superforms, supercurrents, minimal manifolds and Riemannian geometry

abstract: Supercurrents, as introduced by Lagerberg, were mainly motivated as a way to study tropical varieties. Here we will associate a supercurrent to any smooth submanifold of $\R^n$. Positive supercurrents resemble positive currents in complex analysis, but depend on a choice of scalar product on $\R^n$ and reflect the induced Riemannian structure on the submanifold. In this way we can use techniques from complex analysis to study real submanifolds. We illustrate the idea by giving area estimates of minimal manifolds and a monotinicity property of the mean curvature flow. We also illustrate the idea by a relatively short proof of Weyl's tube formula.


title: Growth of superconducting epitaxial films of sulfur substituted FeSe via pulsed laser deposition

abstract: We report the successful growth of epitaxial thin films of FeSe$_{1-x}$S$_x$ with $x \leq 0.43$ via pulsed laser deposition. As S content increases, the nematic transition temperature, $T_{\mathrm s}$, decreases systematically and the superconducting transition temperature, $T_{\mathrm c}$, shows a gradual decrease even when $x$ exceeds the nematic end point (NEP), similar to bulk samples. A new kink anomaly was observed in the $\rho$-$T$ curves for films with large $x$, which is likely due to a magnetic transition. The obtained phase diagram of FeSe$_{1-x}$S$_x$ thin films is in contrast to that of FeSe$_{1-y}$Te$_y$ films, which shows a rapid increase of $T_{\mathrm c}$ at the NEP. Our results demonstrate that the relation between the nematic order and the superconductivity is not universal in the FeSe system, suggesting that the nematic transition does not play a primary role in the superconductivity in these materials.


title: Axiomatizing provable $n$-provability

abstract: A formula $\phi$ is called \emph{$n$-provable} in a formal arithmetical theory $S$ if $\phi$ is provable in $S$ together with all true arithmetical $\Pi_{n}$-sentences taken as additional axioms. While in general the set of all $n$-provable formulas, for a fixed $n>0$, is not recursively enumerable, the set of formulas $\phi$ whose $n$-provability is provable in a given r.e.\ metatheory $T$ is r.e. This set is deductively closed and will be, in general, an extension of $S$. We prove that these theories can be naturally axiomatized in terms of progressions of iterated local reflection principles. In particular, the set of provably 1-provable sentences of Peano arithmetic PA can be axiomatized by $\varepsilon_0$ times iterated local reflection schema over PA. Our characterizations yield additional information on the proof-theoretic strength of these theories (w.r.t. various measures of it) and on their axiomatizability. We also study the question of speed-up of proofs and show that in some cases a proof of $n$-provability of a sentence can be much shorter than its proof from iterated reflection principles.


title: Liquid Argon test of the ARAPUCA device

abstract: The ARAPUCA is a novel concept for liquid argon scintillation light detection which has been proposed for the photon detection system of the Deep Underground Neutrino Experiment. The test in liquid argon of one of the first ARAPUCA prototypes is presented in this work, where the working principle is experimentally demonstrated. The prototype has an acceptance window of 9 cm$^2$ and is read-out by a single SiPM with active area of 0.36 cm$^2$. Its global detection efficiency was estimated by exposing it to a $^{238}U$ $\alpha$ source and to cosmic rays and was found to be 1.15\% $\pm$ 0.15\%, in good agreement with the prediction of a detailed Monte Carlo simulation of the device. Several other ARAPUCA prototypes of bigger dimensions and read-out by arrays of SiPMs have been built and are actually under test. In particular 32 ARAPUCA cells have been installed inside the protoDUNE detector, which is being assembled at CERN and will be operated in the second half of 2018.


title: Localized charge in various configurations of magnetic domain wall in Weyl semimetal

abstract: We numerically investigate the electronic properties of magnetic domain walls formed in a Weyl semimetal. Electric charge distribution is computed from the electron wave functions, by numerically diagonalizing the Hamiltonian under several types of domain walls. We find a certain amount of electric charge localized around the domain wall, depending on the texture of the domain wall. This localized charge stems from the degeneracy of Landau states under the axial magnetic field, which corresponds to the curl in the magnetic texture. The localized charge enables one to drive the domain wall motion by applying an external electric field without injecting an electric current, which is distinct from the ordinary spin-transfer torque and is free from Joule heating.


title: On classical tensor categories attached to the irreducible representations of the General Linear Supergroups $GL(n\vert n)$

abstract: We study the quotient of $\mathcal{T}_n = Rep(GL(n|n))$ by the tensor ideal of negligible morphisms. If we consider the full subcategory $\mathcal{T}_n^+$ of $\mathcal{T}_n$ of indecomposable summands in iterated tensor products of irreducible representations up to parity shifts, its quotient is a semisimple tannakian category $Rep(H_n)$ where $H_n$ is a pro-reductive algebraic group. We determine the connected derived subgroup $G_n \subset H_n$ and the groups $G_{\lambda} = (H_{\lambda}^0)_{der}$ corresponding to the tannakian subcategory in $Rep(H_n)$ generated by an irreducible representation $L(\lambda)$. This gives structural information about the tensor category $Rep(GL(n|n))$, including the decomposition law of a tensor product of irreducible representations up to summands of superdimension zero. Some results are conditional on a hypothesis on $2$-torsion in $\pi_0(H_n)$.


title: Boosting Self-Supervised Learning via Knowledge Transfer

abstract: In self-supervised learning, one trains a model to solve a so-called pretext task on a dataset without the need for human annotation. The main objective, however, is to transfer this model to a target domain and task. Currently, the most effective transfer strategy is fine-tuning, which restricts one to use the same model or parts thereof for both pretext and target tasks. In this paper, we present a novel framework for self-supervised learning that overcomes limitations in designing and comparing different tasks, models, and data domains. In particular, our framework decouples the structure of the self-supervised model from the final task-specific fine-tuned model. This allows us to: 1) quantitatively assess previously incompatible models including handcrafted features; 2) show that deeper neural network models can learn better representations from the same pretext task; 3) transfer knowledge learned with a deep model to a shallower one and thus boost its learning. We use this framework to design a novel self-supervised task, which achieves state-of-the-art performance on the common benchmarks in PASCAL VOC 2007, ILSVRC12 and Places by a significant margin. Our learned features shrink the mAP gap between models trained via self-supervised learning and supervised learning from 5.9% to 2.6% in object detection on PASCAL VOC 2007.


title: O(6) algebraic theory of three nonrelativistic quarks bound by spin-independent interactions

abstract: We apply the newly developed theory of permutation-symmetric O(6) hyperspherical harmonics to the quantum-mechanical problem of three non-relativistic quarks confined by a spin-independent 3-quark potential. We use our previously derived results to reduce the three-body Schr\"odinger equation to a set of coupled ordinary differential equations in the hyper-radius $R$ with coupling coefficients expressed entirely in terms of (i) a few interaction-dependent O(6) expansion coefficients and (ii) O(6) hyperspherical harmonics matrix elements, that have been evaluated in our previous paper. This system of equations allows a solution to the eigenvalue problem with homogeneous 3-quark potentials, which class includes a number of standard Ans\"atze for the confining potentials, such as the Y- and $\Delta$-string ones. We present analytic formulae for the $K = 2, 3, 4, 5$ shell states' eigen-energies in homogeneous three-body potentials, which formulae we then apply to the Y- and $\Delta$-string, as well as the logarithmic confining potentials. We also present numerical results for power-law pair-wise potentials with the exponent ranging between -1 and +2. In the process we resolve the 25 year-old Taxil and Richard vs. Bowler et al. controversy regarding the ordering of states in the $K = 3$ shell, in favor of the former. Finally, we show the first clear difference between the spectra of $\Delta$- and Y-string potentials, which appears in $K \geq 3$ shells. Our results are generally valid, not just for confining potentials, but also for many momentum-independent permutation-symmetric homogenous potentials, that need not be pairwise sums of two-body terms. The potentials that can be treated in this way must be square-integrable under the O(6) hyperangular integral, however, which class does not include the Dirac $\delta$-function.


title: Agents' beliefs and economic regimes polarization in interacting markets

abstract: In the present paper a model of a market consisting of real and financial interacting sectors is studied. Agents populating the stock market are assumed to be not able to observe the true underlying fundamental, and their beliefs are biased by either optimism or pessimism. Depending on the relevance they give to beliefs, they select the best performing strategy in an evolutionary perspective. The real side of the economy is described within a multiplier-accelerator framework with a nonlinear, bounded investment function. We show that strongly polarized beliefs in an evolutionary framework can introduce multiplicity of steady states, which, consisting in enhanced or depressed levels of income, reflect and reproduce the optimistic or pessimistic nature of the agents' beliefs. The polarization of these steady states, which coexist with an unbiased steady state, positively depends on that of the beliefs and on their relevance. Moreover, with a mixture of analytical and numerical tools, we show that such static characterization is inherited also at the dynamical level, with possibly complex attractors that are characterized by endogenously fluctuating pessimistic and optimistic levels of national income and price. This framework, when stochastic perturbations are included, is able to account for stylized facts commonly observed in real financial markets, such as fat tails and excess volatility in the returns distributions, as well as bubbles and crashes for stock prices.


title: High harmonic generation from surface states of solids

abstract: We demonstrate that high-harmonic generation (HHG) in solids dominantly originates from strongly localized surface states through non-perturbative processes. Measurements reveal that HHG from bulk states is suppressed by at least 1-2 orders of magnitude due to the lack of phase matching, when generated perturbatively, or by at least 3-4 orders of magnitude, when generated non-perturbatively. We derive a theory that fully supports this observation and quantitatively describes the generation of harmonics from the surface states as well as from interfaces between solids; it also predicts a much weaker generation of harmonics from the bulk states. Our results pave the way for the development of very high repetition rate high harmonic sources for vacuum ultraviolet spectroscopy and high precision frequency comb metrology using surface states from solids.


title: Adaptive group-regularized logistic elastic net regression

abstract: In high-dimensional data settings, additional information on the features is often available. Examples of such external information in omics research are: (a) p-values from a previous study, (b) a summary of prior information, and (c) omics annotation. The inclusion of this information in the analysis may enhance classification performance and feature selection, but is not straightforward in the standard regression setting. As a solution to this problem, we propose a group-regularized (logistic) elastic net regression method, where each penalty parameter corresponds to a group of features based on the external information. The method, termed gren, makes use of the Bayesian formulation of logistic elastic net regression to estimate both the model and penalty parameters in an approximate empirical-variational Bayes framework. Simulations and an application to a colon cancer microRNA study show that, if the partitioning of the features is informative, classification performance and feature selection are indeed enhanced.


title: Use of NoSQL database and visualization techniques to analyze massive scholarly article data from journals

abstract: Visualization of the massive data is a challenging endeavor. Extracting data and providing graphical representations can aid in its effective utilization in terms of interpretation and knowledge discovery. Publishing research articles has become a way of life for academicians. The scholarly publications can shape-up the professional growth of authors and also expand the research and technological growth of a country, continent and other demographic regions. Scholarly articles have grown in gigantic numbers that are published in different domains by various journals. Information related to articles, authors, their affiliations, number of citations, country, publisher, references and other information is like a gold mine for statisticians and data analysts. This data when used skillfully, via visual analysis tool, can provide valuable understanding and can aid in deeper exposition for researchers working in domains like scientometrics and bibliometrics. Since the data is not readily available, we used Google scholar, a comprehensive and free repository of scholarly articles, as data source for our study. Data was scraped from Google scholar and stored as a graph and later visualized in the form of nodes and its relationships, which offered discerning and concealed information of growing impact of articles, journals and authors in their domains. Not only this, evident domain shift of an author, various research domains spread for an author, predicting emerging domain and subdomains, detecting cartel behavior at Journal and author-level was also depicted by graphical analysis. Neo4j graph database was used in the background to help store the data in structured manner.


title: Intra- and extra-axonal axial diffusivities in the white matter: which one is faster?

abstract: A two-compartment model of diffusion in white matter, which accounts for intra- and extra-axonal spaces, is associated with two plausible mathematical scenarios: either the intra-axonal axial diffusivity is higher than the extra-axonal (Branch 1), or the opposite (Branch 2). This duality calls for an independent validation of compartment axial diffusivities, to determine which of the two cases holds. The aim of the present study was to use an intracerebroventricular injection of a gadolinium-based contrast agent to selectively reduce the extracellular water signal in the rat brain, and compare diffusion metrics in the genu of the corpus callosum before and after gadolinium infusion. The diffusion metrics considered were diffusion and kurtosis tensor metrics, as well as compartment-specific estimates of the WMTI-Watson two-compartment model. A strong decrease in genu T1 and T2 relaxation times post-Gd was observed (p < 0.001), as well as an increase of 48% in radial kurtosis (p < 0.05), which implies that the relative fraction of extracellular water signal was selectively decreased. This was further supported by a significant increase in intra-axonal water fraction as estimated from the two-compartment model, for both branches (p < 0.01 for Branch 1, p < 0.05 for Branch 2). However, pre-Gd estimates of axon dispersion in Branch 1 agreed better with literature than those of Branch 2. Furthermore, comparison of post-Gd changes in diffusivity and dispersion between data and simulations further supported Branch 1 as the biologically plausible solution, i.e. the intra-axonal axial diffusivity is higher than the extra-axonal one. This result is fully consistent with other recent measurements of compartment axial diffusivities that used entirely different approaches, such as diffusion tensor encoding.


title: Derived Hecke algebra and automorphic L-invariants

abstract: Let $\pi$ be a cohomological automorphic representation of $PGL(2)$ over a number field of arbitrary signature and assume that the local component of $\pi$ at a prime $\mathfrak{p}$ is the Steinberg representation. In this situation one can define an automorphic $\mathcal{L}$-invariant for each cohomological degree in which the system of Hecke eigenvalues associated to $\pi$ occurs. We show that these $\mathcal{L}$-invariants are (essentially) the same if the $\pi$-isotypic component of the cohomology is generated by the minimal degree cohomology as a module over Venkatesh's derived Hecke algebra.


title: Integrated Information and Autonomy in the Thermodynamic Limit

abstract: The concept of autonomy is fundamental for understanding biological organization and the evolutionary transitions of living systems. Understanding how a system constitutes itself as an individual, cohesive, self-organized entity is a fundamental challenge for the understanding of life. However, it is generally a difficult task to determine whether the system or its environment has generated the correlations that allow an observer to trace the boundary of a living system as a coherent unit. Inspired by the framework of integrated information theory, we propose a measure of the level of integration of a system as the response of a system to partitions that introduce perturbations in the interaction between subsystems, without assuming the existence of a stationary distribution. With the goal of characterizing transitions in integrated information in the thermodynamic limit, we apply this measure to kinetic Ising models of infinite size using mean field techniques. Our findings suggest that, in order to preserve the integration of causal influences of a system as it grows in size, a living entity must be poised near critical points maximizing its sensitivity to perturbations in the interaction between subsystems. Moreover, we observe how such a measure is able to delimit an agent and its environment, being able to characterize simple instances of agent-environment asymmetries in which the agent has the ability to modulate its coupling with the environment.

categories: q-bio.NC cond-mat.dis-nn cond-mat.stat-mech nlin.AO physics.bio-ph q-bio.QM


title: Scattering of conformal higher spin fields

abstract: We develop a formalism for describing the most general notion of tree-level scattering amplitudes in 4d conformal higher spin theory. As conformal higher spin fields obey higher-derivative equations of motion, there are many distinct on-shell external states which may contribute to their scattering, some of which grow polynomially with time, leading to ill-defined amplitudes. We characterize the set of admissible scattering states which produce finite tree amplitudes, noting that there are more such states than just standard massless higher spins obeying two-derivative equations of motion. We use conformal gravity as a prime example, where the set of scattering states includes the usual Einstein graviton and a `ghost' massless spin 1 particle. An extension of the usual spinor helicity formalism allows us to encode these scattering states efficiently in terms of `twistor-spinors'. This leads to compact momentum space expressions for all finite tree-level 3-point amplitudes of conformal higher spin theory. While some of these 3-point amplitudes vanish (including all those with only standard two-derivative higher spin external states), there are many others which are non-vanishing. We also comment on the generalization to scattering of conformal higher spins in AdS$_4$.


title: Accuracy of Potfit-based potential representations and its impact on the performance of (ML-)MCTDH

abstract: Quantum molecular dynamics simulations with MCTDH or ML-MCTDH perform best if the potential energy surface (PES) has a sum-of-products (SOP) or multi-layer operator (MLOp) structure. Here we investigate four different POTFIT-based methods for representing a general PES as such a structure, among them the novel random-sampling multi-layer Potfit (RS-MLPF). We study how the format and accuracy of the PES representation influences the runtime of a benchmark (ML-)MCTDH calculation, namely the computation of the ground state of the ${\text{H}_3\text{O}_2}^-$ ion. Our results show that compared to the SOP format, the MLOp format leads to a much more favorable scaling of the (ML-)MCTDH runtime with the PES accuracy. At reasonably high PES accuracy, ML-MCTDH calculations thus become up to 20 times faster, and taken to the extreme, the RS-MLPF method yields extremely accurate PES representations (global root-mean-square error of $\sim 0.1\,\text{cm}^{-1}$) which still lead to only moderate computational demands for ML-MCTDH.


title: Updating Content in Cache-Aided Coded Multicast

abstract: Motivated by applications to delivery of dynamically updated, but correlated data in settings such as content distribution networks, and distributed file sharing systems, we study a single source multiple destination network coded multicast problem in a cache-aided network. We focus on models where the caches are primarily located near the destinations, and where the source has no cache. The source observes a sequence of correlated frames, and is expected to do frame-by-frame encoding with no access to prior frames. We present a novel scheme that shows how the caches can be advantageously used to decrease the overall cost of multicast, even though the source encodes without access to past data. Our cache design and update scheme works with any choice of network code designed for a corresponding cache-less network, is largely decentralized, and works for an arbitrary network. We study a convex relation of the optimization problem that results form the overall cost function. The results of the optimization problem determines the rate allocation and caching strategies. Numerous simulation results are presented to substantiate the theory developed.


title: Hamiltonian distributed chaos in the Asian-Australian Monsoons and in the ENSO

abstract: Two subsystems of the Asian Monsoon: the Indian Summer Monsoon and the Western North Pacific Monsoon, have been analysed using their daily indices ISMI and WNPMI. It is shown that on the intraseasonal time scales the ISMI and WNPMI are dominated by the Hamiltonian distributed chaos with the stretched exponential spectrum: $E(f) \propto \exp-(f/f_0)^{\beta}$ and analytical values of the parameter $\beta =3/4$ and $\beta =1/2$ correspondingly. The relevant daily indices Ni\~no 3 and Ni\~no 4 (with $\beta =1/2$) of the El Ni\~no-Southern Oscillation (ENSO) and the Australian Monsoon (AUSM index with $\beta = 1/2$) have been also discussed in this context.


title: Diffraction of light by plasma in the solar system

abstract: We study the propagation of electromagnetic (EM) waves in the solar system and develop a Mie theory that accounts for the refractive properties of the free electron plasma in the extended solar corona. We use a generic model for the electron number density distribution and apply the eikonal approximation to find a solution in terms of Debye potentials, which is then used to determine the EM field both within the inner solar system and at large heliocentric distances. As expected, the solution for the EM wave propagating through the solar system is characterized by a plasma-induced phase shift and related change in the light ray's direction of propagation. Our approach quantitatively accounts for these effects, providing a wave-optical treatment for diffraction in the solar plasma. As such, it may be used in practical applications involving big apertures, large interferometric baselines or otherwise widely distributed high-precision astronomical instruments.

categories: physics.optics astro-ph.EP astro-ph.IM astro-ph.SR physics.plasm-ph


title: Rigorous path integrals for supersymmetric quantum mechanics: completing the path integral proof of the index theorem

abstract: Many introductory courses in quantum mechanics include Feynman's time-slicing definition of the path integral, with a complete derivation of the propagator in the simplest of cases. However, attempts to generalize this, for instance to non-quadratic potentials, encounter formidable analytic issues in showing the successive approximations in fact converge to a definite expression for the path integral. The present work describes how to carry out the analysis for a class of Lagrangians broad enough to include the evolution, in imaginary time, of spinors constrained to live on a Riemannian manifold. For these Lagrangians, the successive time-slicing approximations converge. The limit provides a definition of the path integral which agrees with the imaginary-time Feynman propagator. With this as the definition, the steepest-descent approximation to the path integral for twisted $N=1/2$ supersymmetric quantum mechanics is provably correct. These results complete a new proof of the Atiyah-Singer index theorem for the twisted Dirac operator.


title: Computing Environments for Reproducibility: Capturing the "Whole Tale"

abstract: The act of sharing scientific knowledge is rapidly evolving away from traditional articles and presentations to the delivery of executable objects that integrate the data and computational details (e.g., scripts and workflows) upon which the findings rely. This envisioned coupling of data and process is essential to advancing science but faces technical and institutional barriers. The Whole Tale project aims to address these barriers by connecting computational, data-intensive research efforts with the larger research process--transforming the knowledge discovery and dissemination process into one where data products are united with research articles to create "living publications" or "tales". The Whole Tale focuses on the full spectrum of science, empowering users in the long tail of science, and power users with demands for access to big data and compute resources. We report here on the design, architecture, and implementation of the Whole Tale environment.


title: Index-Stratified Types (Extended Version)

abstract: We present Tores, a core language for encoding metatheoretic proofs. The novel features we introduce are well-founded Mendler-style (co)recursion over indexed data types and a form of recursion over objects in the index language to build new types. The latter, which we call index-stratified types, are analogue to the concept of large elimination in dependently typed languages. These features combined allow us to encode sophisticated case studies such as normalization for lambda calculi and normalization by evaluation. We prove the soundness of Tores as a programming and proof language via the key theorems of subject reduction and termination.


title: Nonlinear Saturation of Kinetic Ballooning Modes by Zonal fields in Toroidal Plasmas

abstract: Kinetic ballooning modes (KBM) are widely believed to play a critical role in disruptive dynamics as well as turbulent transport in tokamaks. While the nonlinear evolution of ballooning modes has been proposed as a mechanism for detonation in tokamak plasmas, the role of kinetic effects in such nonlinear dynamics remains largely unexplored. In this work global gyrokinetic simulation results of KBM nonlinear behavior are presented. Instead of the finite-time singularity predicted by ideal MHD theory, the kinetic instability is shown to develop into an intermediate nonlinear regime of exponential growth, followed by a nonlinear saturation regulated by spontaneously generated zonal fields. In the intermediate nonlinear regime, rapid growth of localized current sheet is observed.


title: iSTRICT: An Interdependent Strategic Trust Mechanism for the Cloud-Enabled Internet of Controlled Things

abstract: The cloud-enabled Internet of controlled things (IoCT) envisions a network of sensors, controllers, and actuators connected through a local cloud in order to intelligently control physical devices. Because cloud services are vulnerable to advanced persistent threats (APTs), each device in the IoCT must strategically decide whether to trust cloud services that may be compromised. In this paper, we present iSTRICT, an interdependent strategic trust mechanism for the cloud-enabled IoCT. iSTRICT is composed of three interdependent layers. In the cloud layer, iSTRICT uses FlipIt games to conceptualize APTs. In the communication layer, it captures the interaction between devices and the cloud using signaling games. In the physical layer, iSTRICT uses optimal control to quantify the utilities in the higher level games. Best response dynamics link the three layers in an overall "game-of-games," for which the outcome is captured by a concept called Gestalt Nash equilibrium (GNE). We prove the existence of a GNE under a set of natural assumptions and develop an adaptive algorithm to iteratively compute the equilibrium. Finally, we apply iSTRICT to trust management for autonomous vehicles that rely on measurements from remote sources. We show that strategic trust in the communication layer achieves a worst-case probability of compromise for any attack and defense costs in the cyber layer.


title: The Creating Subject, the Brouwer-Kripke Schema, and infinite proofs

abstract: Kripke's Schema (better the Brouwer-Kripke Schema) and the Kreisel-Troelstra Theory of the Creating Subject were introduced around the same time for the same purpose, that of analysing Brouwer's 'Creating Subject arguments'; other applications have been found since. I first look in detail at a representative choice of Brouwer's arguments. Then I discuss the original use of the Schema and the Theory, their justification from a Brouwerian perspective, and instances of the Schema that can in fact be found in Brouwer's own writings. Finally, I defend the Schema and the Theory against a number of objections that have been made.