title: The Use of Gaussian Processes in System Identification

abstract: Gaussian processes are used in machine learning to learn input-output mappings from observed data. Gaussian process regression is based on imposing a Gaussian process prior on the unknown regressor function and statistically conditioning it on the observed data. In system identification, Gaussian processes are used to form time series prediction models such as non-linear finite-impulse response (NFIR) models as well as non-linear autoregressive (NARX) models. Gaussian process state-space models (GPSS) can be used to learn the dynamic and measurement models for a state-space representation of the input-output data. Temporal and spatio-temporal Gaussian processes can be directly used to form regressor on the data in the time domain. The aim of this article is to briefly outline the main directions in system identification methods using Gaussian processes.


title: ALFA: Agglomerative Late Fusion Algorithm for Object Detection

abstract: We propose ALFA - a novel late fusion algorithm for object detection. ALFA is based on agglomerative clustering of object detector predictions taking into consideration both the bounding box locations and the class scores. Each cluster represents a single object hypothesis whose location is a weighted combination of the clustered bounding boxes. ALFA was evaluated using combinations of a pair (SSD and DeNet) and a triplet (SSD, DeNet and Faster R-CNN) of recent object detectors that are close to the state-of-the-art. ALFA achieves state of the art results on PASCAL VOC 2007 and PASCAL VOC 2012, outperforming the individual detectors as well as baseline combination strategies, achieving up to 32% lower error than the best individual detectors and up to 6% lower error than the reference fusion algorithm DBF - Dynamic Belief Fusion.


title: Time-optimal self-stabilizing leader election in population protocols

abstract: We consider the standard population protocol model, where (a priori) indistinguishable and anonymous agents interact in pairs according to uniformly random scheduling. The self-stabilizing leader election problem requires the protocol to converge on a single leader agent from any possible initial configuration. We initiate the study of time complexity of population protocols solving this problem in its original setting: with probability 1, in a complete communication graph. The only previously known protocol by Cai, Izumi, and Wada [Theor. Comput. Syst. 50] runs in expected parallel time $\Theta(n^2)$ and has the optimal number of $n$ states in a population of $n$ agents. The existing protocol has the additional property that it becomes silent, i.e., the agents' states eventually stop changing. Observing that any silent protocol solving self-stabilizing leader election requires $\Omega(n)$ expected parallel time, we introduce a silent protocol that uses optimal $O(n)$ parallel time and states. Without any silence constraints, we show that it is possible to solve self-stabilizing leader election in asymptotically optimal expected parallel time of $O(\log n)$, but using at least exponential states (a quasi-polynomial number of bits). All of our protocols (and also that of Cai et al.) work by solving the more difficult ranking problem: assigning agents the ranks $1,\ldots,n$.


title: Modeling the computer memory based on the ferromagnet/superconductor multilayers

abstract: A model of superconducting computer memory exploiting the orthogonal spin transfer (OST) in the pseudospin valve (PS) that is controlled by the three-terminal Josephson superconducting-ferromagnetic transistor (SFT) is developed. The building blocks of the memory are hybrid PS and SFT structures. The memory model is formulated in terms of the equation-defined PS and SFT devices integrated into the PS/SFT memory cell (MC) circuit. Logical units "0" and "1" are associated with the two PS states respectively characterized by two different values of resistance. Elementary logical operations comprising the read/write processes occur when a word pulse applied to the SFT's injector coincides with the respective bit pulse acting on MC. Physically, a word pulse triggers SFT to a resistive state, causing the PS switching between the logical "0" and "1" states. Thus, the whole switching dynamics of MC depends on the non-equilibrium and nonstationary properties of PS and SFT. Modeling the single MC as well as the larger MC-based circuits comprising respectively twelve and thirty elements suggest that such the memory cells can undergo ultrafast switching (sub-ns) and low energy consumption per operation (sub-100 fJ). The suggested model allows studying the influence of noises, punch-through effect, crosstalk, parasitic, etc. The obtained results suggest that the hybrid PS/SFT structures are well-suited to superconducting computing circuits as they are built of magnetic and non-magnetic transition metals and therefore have low impedances (1-30 Ohm).


title: Study and analysis the Cu nanoparticle assisted texturization forming low reflective silicon surface for solar cell application

abstract: Monocrystalline silicon solar cells with photo-absorbing morphology can amplify light-trapping properties within the absorber layer and help to fabricate cost-effective solar cells. In this paper, the effect of different parameters namely temperature and time of Cu-assisted chemical etching was thoroughly investigated for the optimization of the light absorption properties. P-type monocrystalline wafers were selectively treated with Cu(NO3)2.3H2O:HF:H2O2:DI water solution at 50 deg.C for five different time duration. The entire process was repeated at five different temperatures for 20min as well to study the relation between etching temperature and surface reflectance. Sonication bathing was used for the removal of the deposited Cu atoms from the surface with the variation of time and the effect was examined using energy dispersive spectroscopy (EDS). Field emission scanning electron microscopy (FESEM) and UV/VIS spectroscopy were conducted to study the surface morphology and light absorbance respectively. Inverted shapes almost similar to inverted pyramids or porous surface were found randomly on the surface of the wafer. The effect of temperature was found more significant compared to the effect of time variation. An optimum light reflectance was found at 50 deg.C for 20 min of texturization. Atomic force microscopy (AFM) of the textured sample revealed the average depth of pyramidal shape was about 1.58 micro meter. EDS results showed a proportional relation between time and Cu removal process, and a complete Cu atoms free textured surface after 25 min of sonication bathing. Therefore, a suitable Cu-assisted texturization technique was found, which could enable lowering the photo-reflectance below 1% without any antireflection coating.


title: S&CNet: Monocular Depth Completion for Autonomous Systems and 3D Reconstruction

abstract: Dense depth completion is essential for autonomous systems and 3D reconstruction. In this paper, a lightweight yet efficient network (S\&CNet) is proposed to obtain a good trade-off between efficiency and accuracy for the dense depth completion. A dual-stream attention module (S\&C enhancer) is introduced to measure both spatial-wise and the channel-wise global-range relationship of extracted features so as to improve the performance. A coarse-to-fine network is designed and the proposed S\&C enhancer is plugged into the coarse estimation network between its encoder and decoder network. Experimental results demonstrate that our approach achieves competitive performance with existing works on KITTI dataset but almost four times faster. The proposed S\&C enhancer can be plugged into other existing works and boost their performance significantly with a negligible additional computational cost.


title: Harmonic flow of geometric structures

abstract: We give a twistorial interpretation of geometric structures on a Riemannian manifold, as sections of homogeneous fibre bundles, following an original insight by Wood (2003). The natural Dirichlet energy induces an abstract harmonicity condition, which gives rise to a geometric gradient flow. We establish a number of analytic properties for this flow, such as uniqueness, smoothness, short-time existence, and some sufficient conditions for long-time existence. This description potentially subsumes a large class of geometric PDE problems from different contexts. As applications, we recover and unify a number of results in the literature: for the isometric flow of ${\rm G}_2$-structures, by Grigorian (2017, 2019), Bagaglini (2019), and Dwivedi-Gianniotis-Karigiannis (2019); and for harmonic almost complex structures, by He (2019) and He-Li (2019). Our theory also establishes original properties regarding harmonic flows of parallelisms and almost contact structures.


title: Long-range Correlations in Massive Jets

abstract: We calculate the azimuthal anisotropy $v_2$ extracted from the large $\Delta y$ region of two particle $\Delta y-\Delta\phi$ correlations in a two-jet system, in which, the masses of the jets are not negligible compared to their energies. As the virtualities of the leading partons, initiating these jets are not negligible either, we use a recently developed, off-shell fragmentation model for the description of hadron production in the jets. We present the effect of the variation of jet mass and hadron multiplicity on the shape of the $v_2$ curve, and reproduce the low-multiplicity data set measured in proton-proton collisions at $\sqrt s = 13$ TeV.


title: A new approach to Poissonian two-armed bandit problem

abstract: We consider a continuous time two-armed bandit problem in which incomes are described by Poissonian processes. We develop Bayesian approach with arbitrary prior distribution. We present two versions of recursive equation for determination of Bayesian piece-wise constant strategy and Bayesian risk and partial differential equation in the limiting case. Unlike the previously considered Bayesian settings our description uses current history of the process and not evolution of the posterior distribution.


title: Wake Characterisation of 3-Dimensional Multiscale Porous Obstacles

abstract: In this research article we study the wake formation behind 3-Dimensional Multi-scale Porous Obstacles (3DMPOs). Particle Imaging Velocimetry (PIV) is used in a non-shallow ($B/h =1.5$) water flume, with measurements carried out across the $x$ - $y$ plane (at $z$ = 130 mm) and with $Re=70,000$ based on the free-stream velocity ($U_{\infty}$). To characterise the downstream wake characteristics of 3DMPOs the obstacles are split into 3 regimes; (1) non-porous, (2) porous with a single internal scale and (3) porous fractals (based on the Sierpinski carpet). The void fraction ($\phi=0.7$) and external dimensions ($D$) of the obstacles remained constant, whilst the internal geometrical parameters such as fractal dimension ($D_f$), lacunarity ($\Lambda$) and succolarity ($\sigma$) were varied. We are able to identify a relationship between these topological parameters characterising the 3DMPOs and the resultant wake characteristics. The fractal dimension ($D_f$) and lacunarity ($\Lambda$) are found to be responsible for the formation of the downstream steady wake region, whilst the succolarity ($\sigma$) affects the position of the detached low velocity recirculation region. The power spectral energy densities (PSDs) of the 3DMPOs are also seen to be affected by the succolarity ($\sigma$) in case (3), and indicate movement away from Kolomogorov's -5/3 power law.


title: Changing Views: Persuasion Modeling and Argument Extraction from Online Discussions

abstract: Persuasion and argumentation are possibly among the most complex examples of the interplay between multiple human subjects. With the advent of the Internet, online forums provide wide platforms for people to share their opinions and reasonings around various diverse topics. In this work, we attempt to model persuasive interaction between users on Reddit, a popular online discussion forum. We propose a deep LSTM model to classify whether a conversation leads to a successful persuasion or not, and use this model to predict whether a certain chain of arguments can lead to persuasion. While learning persuasion dynamics, our model tends to identify argument facets implicitly, using an attention mechanism. We also propose a semi-supervised approach to extract argumentative components from discussion threads. Both these models provide useful insight into how people engage in argumentation on online discussion forums.


title: Evolvability ES: Scalable and Direct Optimization of Evolvability

abstract: Designing evolutionary algorithms capable of uncovering highly evolvable representations is an open challenge; such evolvability is important because it accelerates evolution and enables fast adaptation to changing circumstances. This paper introduces evolvability ES, an evolutionary algorithm designed to explicitly and efficiently optimize for evolvability, i.e. the ability to further adapt. The insight is that it is possible to derive a novel objective in the spirit of natural evolution strategies that maximizes the diversity of behaviors exhibited when an individual is subject to random mutations, and that efficiently scales with computation. Experiments in 2-D and 3-D locomotion tasks highlight the potential of evolvability ES to generate solutions with tens of thousands of parameters that can quickly be adapted to solve different tasks and that can productively seed further evolution. We further highlight a connection between evolvability and a recent and popular gradient-based meta-learning algorithm called MAML; results show that evolvability ES can perform competitively with MAML and that it discovers solutions with distinct properties. The conclusion is that evolvability ES opens up novel research directions for studying and exploiting the potential of evolvable representations for deep neural networks.


title: Multi-Task Semi-Supervised Adversarial Autoencoding for Speech Emotion Recognition

abstract: Inspite the emerging importance of Speech Emotion Recognition (SER), the state-of-the-art accuracy is quite low and needs improvement to make commercial applications of SER viable. A key underlying reason for the low accuracy is the scarcity of emotion datasets, which is a challenge for developing any robust machine learning model in general. In this paper, we propose a solution to this problem: a multi-task learning framework that uses auxiliary tasks for which data is abundantly available. We show that utilisation of this additional data can improve the primary task of SER for which only limited labelled data is available. In particular, we use gender identifications and speaker recognition as auxiliary tasks, which allow the use of very large datasets, e.g., speaker classification datasets. To maximise the benefit of multi-task learning, we further use an adversarial autoencoder (AAE) within our framework, which has a strong capability to learn powerful and discriminative features. Furthermore, the unsupervised AAE in combination with the supervised classification networks enables semi-supervised learning which incorporates a discriminative component in the AAE unsupervised training pipeline. This semi-supervised learning essentially helps to improve generalisation of our framework and thus leads to improvements in SER performance. The proposed model is rigorously evaluated for categorical and dimensional emotion, and cross-corpus scenarios. Experimental results demonstrate that the proposed model achieves state-of-the-art performance on two publicly available datasets.


title: Large and Small Data Blow-Up Solutions in the Trojan Y Chromosome Model

abstract: The Trojan Y Chromosome Strategy (TYC) is an extremely well investigated biological control method for controlling invasive populations with an XX-XY sex determinism. In \cite{GP12, WP14} various dynamical properties of the system are analyzed, including well posedness, boundedness of solutions, and conditions for extinction or recovery. These results are derived under the assumption of positive solutions. In the current manuscript, we show that if the introduction rate of trojan fish is zero, under certain large data assumptions, negative solutions are possible for the male population, which in turn can lead to finite time blow-up in the female and male populations. A comparable result is established for \emph{any} positive initial condition if the introduction rate of trojan fish is large enough. Similar finite time blow-up results are obtained in a spatial temporal TYC model that includes diffusion. Lastly, we investigate improvements to the TYC modeling construct that may dampen the mechanisms to the blow-up phenomenon or remove the negativity of solutions. The results draw into suspect the reliability of current TYC models under certain situations.


title: A Relational Memory-based Embedding Model for Triple Classification and Search Personalization

abstract: Knowledge graph embedding methods often suffer from a limitation of memorizing valid triples to predict new ones for triple classification and search personalization problems. To this end, we introduce a novel embedding model, named R-MeN, that explores a relational memory network to encode potential dependencies in relationship triples. R-MeN considers each triple as a sequence of 3 input vectors that recurrently interact with a memory using a transformer self-attention mechanism. Thus R-MeN encodes new information from interactions between the memory and each input vector to return a corresponding vector. Consequently, R-MeN feeds these 3 returned vectors to a convolutional neural network-based decoder to produce a scalar score for the triple. Experimental results show that our proposed R-MeN obtains state-of-the-art results on SEARCH17 for the search personalization task, and on WN11 and FB13 for the triple classification task.


title: Preliminary study on the modal decomposition of Hermite Gaussian beams via deep learning

abstract: The Hermite-Gaussian (HG) modes make up a complete and orthonormal basis, which have been extensively used to describe optical fields. Here, we demonstrate, for the first time to our knowledge, deep learning-based modal decomposition (MD) of HG beams. This method offers a fast, economical and robust way to acquire both the power content and phase information through a single-shot beam intensity image, which will be beneficial for the beam shaping, beam quality assessment, studies of resonator perturbations, and other further research on the HG beams.


title: Adaptive Context Encoding Module for Semantic Segmentation

abstract: The object sizes in images are diverse, therefore, capturing multiple scale context information is essential for semantic segmentation. Existing context aggregation methods such as pyramid pooling module (PPM) and atrous spatial pyramid pooling (ASPP) design different pooling size or atrous rate, such that multiple scale information is captured. However, the pooling sizes and atrous rates are chosen manually and empirically. In order to capture object context information adaptively, in this paper, we propose an adaptive context encoding (ACE) module based on deformable convolution operation to argument multiple scale information. Our ACE module can be embedded into other Convolutional Neural Networks (CNN) easily for context aggregation. The effectiveness of the proposed module is demonstrated on Pascal-Context and ADE20K datasets. Although our proposed ACE only consists of three deformable convolution blocks, it outperforms PPM and ASPP in terms of mean Intersection of Union (mIoU) on both datasets. All the experiment study confirms that our proposed module is effective as compared to the state-of-the-art methods.


title: Unsupervised Adversarial Domain Adaptation for Cross-Lingual Speech Emotion Recognition

abstract: Cross-lingual speech emotion recognition (SER) is a crucial task for many real-world applications. The performance of SER systems is often degraded by the differences in the distributions of training and test data. These differences become more apparent when training and test data belong to different languages, which cause a significant performance gap between the validation and test scores. It is imperative to build more robust models that can fit in practical applications of SER systems. Therefore, in this paper, we propose a Generative Adversarial Network (GAN)-based model for multilingual SER. Our choice of using GAN is motivated by their great success in learning the underlying data distribution. The proposed model is designed in such a way that can learn language invariant representations without requiring target-language data labels. We evaluate our proposed model on four different language emotional datasets, including an Urdu-language dataset to also incorporate alternative languages for which labelled data is difficult to find and which have not been studied much by the mainstream community. Our results show that our proposed model can significantly improve the baseline cross-lingual SER performance for all the considered datasets including the non-mainstream Urdu language data without requiring any labels.


title: Energy Density, Temperature and Entropy Dynamics in Perturbative Reheating

abstract: We discuss the perturbative decay of the energy density of a non standard inflaton field $\rho_{\phi}$ and the corresponding creation of the energy density of the relativistic fields $\rho_r$ at the end of inflation, in the perfect fluid description, refining some concepts and providing some new computations. In particular, the process is characterized by two fundamental time scales. The first one, $t_\text{max}$, occurs when the energy density $\rho_r$ reaches its largest value, slightly after the beginning of the reheating phase. The second one, $t_\text{reh}$, is the time in which the reheating is completely realized and the thermalization is attained. By assuming a non-instantaneous reheating phase, we are able to derive the energy densities and the temperatures of the produced relativistic bath at $t_\text{max}$ and $t_\text{reh}$, as well as the value of the corresponding horizon entropy $S_\text{hor}$, for an Equation-of-State (EoS) parameter $w\ne 0$.


title: On a degeneracy ratio for bounded convex polytopes

abstract: We consider a quantity that measures the roundness of a bounded, convex $d$-polytope in $\mathbb{R}^d$. We majorise this quantity in terms of the smallest singular value of the matrix of outer unit normals to the facets of the polytope.


title: Skew Generalized Cyclic Code over $ R[x_1;\sigma_1,\delta_1][x_2;\sigma_2,\delta_2]$

abstract: This article studies two dimensional skew generalized cyclic (SGC) codes, i.e., SGC codes over the ring $ R[x_1;\sigma_1,\delta_1][x_2;\sigma_2,\delta_2]$, where $R$ is a ring with unity. Here, we discuss the structural properties of SGC codes, and a sufficient number of examples of MDS codes are given to show the importance of our results. Also, we improve BCH lower bounds for the minimum distance of SGC codes with non-zero derivation.


title: On Discrete-Time/Frequency-Periodic End-to-End Fiber-Optical Channel Models

abstract: A discrete-time end-to-end fiber-optical channel model is derived based on the first-order perturbation approach. The model relates the discrete-time input symbol sequences of co-propagating wavelength channels to the received symbol sequence after matched filtering and T-spaced sampling. To this end, the interference from both self- and cross-channel nonlinear interactions of the continuous-time optical signal is represented by a single discrete-time perturbative term. Two equivalent discrete-time models can be formulated---one in the time-domain, the other in the 1/T-periodic continuous-frequency domain. The time-domain formulation coincides with the well-known pulse-collision picture. The novel frequency-domain picture incorporates the sampling operation via an aliased and periodic kernel description. This gives rise to an alternative perspective on the end-to-end input/output relation between the spectrum of the discrete-time transmit symbol sequence and the spectrum of the receive symbol sequence. Both views can be extended from a regular, i.e., solely additive model, to a combined regular-logarithmic model to take the multiplicative nature of certain distortions into consideration. An alternative formulation of the Gaussian Noise model is provided to take the aliasing of frequency components correctly into account. A novel algorithmic implementation of the discrete and periodic frequency-domain model is presented. The derived end-to-end model requires only a single computational step and shows good agreement in the mean-squared error sense compared to the oversampled and inherently sequential split-step Fourier method.


title: Flat bands and higher-order topology in polymerized triptycene: Tight-binding analysis on decorated star lattices

abstract: In a class of carbon-based materials called polymerized triptycene, which consist of triptycene molecules and phenyls, exotic electronic structures such as Dirac cones and flat bands arise from the kagome-type network. In this paper, we theoretically investigate the tight-binding models for polymerized triptycene, focusing on the origin of flat bands and the topological properties. The mechanism of the existence of the flat bands is elucidated by using the "molecular-orbital" representation, which we have developed in the prior works. Further, we propose that the present material is a promising candidate to realize the two-dimensional second-order topological insulator, which is characterized by the boundary states localized at the corners of the sample. To be concrete, we propose two methods to realize the second-order topological insulator, and elucidate the topological properties of the corresponding models by calculating the corner states as well as the bulk topological invariant, namely the $\mathbb{Z}_3$ Berry phase.


title: Thermal evolution of silicon carbide electronic bands

abstract: Direct observation of temperature dependence of individual bands of semiconductors for a wide temperature region is not straightforward, in particular. However, this fundamental property is a prerequisite in understanding the electron-phonon coupling of semiconductors. Here we apply \emph{ab initio} many body perturbation theory to the electron-phonon coupling on hexagonal silicon carbide (SiC) crystals and determine the temperature dependence of the bands. We find a significant electron-phonon renormalization of the band gap at 0~K. Both the conduction and valence bands shift at elevated temperatures exhibiting a different behavior. We compare our theoretical results with the observed thermal evolution of SiC band edges, and discuss our findings in the light of high temperature SiC electronics and defect qubits operation.


title: Parameterized Exploration

abstract: We introduce Parameterized Exploration (PE), a simple family of methods for model-based tuning of the exploration schedule in sequential decision problems. Unlike common heuristics for exploration, our method accounts for the time horizon of the decision problem as well as the agent's current state of knowledge of the dynamics of the decision problem. We show our method as applied to several common exploration techniques has superior performance relative to un-tuned counterparts in Bernoulli and Gaussian multi-armed bandits, contextual bandits, and a Markov decision process based on a mobile health (mHealth) study. We also examine the effects of the accuracy of the estimated dynamics model on the performance of PE.


title: Motion Segmentation Using Locally Affine Atom Voting

abstract: We present a novel method for motion segmentation called LAAV (Locally Affine Atom Voting). Our model's main novelty is using sets of features to segment motion for all features in the scene. LAAV acts as a pre-processing pipeline stage for features in the image, followed by a fine-tuned version of the state-of-the-art Random Voting (RV) method. Unlike standard approaches, LAAV segments motion using feature-set affinities instead of pair-wise affinities between all features; therefore, it significantly simplifies complex scenarios and reduces the computational cost without a loss of accuracy. We describe how the challenges encountered by using previously suggested approaches are addressed using our model. We then compare our algorithm with several state-of-the-art methods. Experiments shows that our approach achieves the most accurate motion segmentation results and, in the presence of measurement noise, achieves comparable results to the other algorithms.


title: Theory of coherent oscillations detection in THz pump-probe spectroscopy: from phonons to electronic collective modes

abstract: Time-resolved spectroscopies using intense THz pulses appear as a promising tool to address collective electronic excitations in condensed matter. In particular recent experiments showed the possibility to selectively excite collective modes emerging across a phase transition, as it is the case for superconducting and charge-density-wave (CDW) systems. One possible signature of these excitations is the emergence of coherent oscillations of the differential probe field in pump-probe protocols. While the analogy with the case of phonon modes suggests that the basic underlying mechanism should be a sum-frequency stimulated Raman process, a general theoretical scheme able to describe the experiments and to define the relevant optical quantity is still lacking. Here we provide this scheme by showing that coherent oscillations as a function of the pump-probe time delay can be linked to the convolution in the frequency domain between the squared pump field and a Raman-like non-linear optical kernel. This approach is applied and discussed in few paradigmatic examples: ordinary phonons in an insulator, and collective charge and Higgs fluctuations across a superconducting and a CDW transition. Our results not only account very well for the existing experimental data in a wide variety of systems, but they also offer an useful perspective to design future experiments in emerging materials.


title: Spin-parities of the $P_c(4440)$ and $P_c(4457)$ in the One-Boson-Exchange Model

abstract: The LHCb collaboration has recently observed three pentaquark peaks, the $P_c(4312)$, $P_c(4440)$ and $P_c(4457)$. They are very close to a pair of heavy baryon-meson thresholds, with the $P_c(4312)$ located $8.9\,{\rm MeV}$ below the $\bar{D} \Sigma_c$ threshold, and the $P_c(4440)$ and $P_c(4457)$ located $21.8$ and $4.8\,{\rm MeV}$ below the $\bar{D}^* \Sigma_c$ one. The spin-parities of these three states have not been measured yet. In this work we assume that the $P_c(4312)$ is a $J^P = \tfrac{1}{2}^{-}$ $\bar{D} \Sigma_c$ bound state, while the $P_c(4440)$ and $P_c(4457)$ are $\bar{D}^* \Sigma_c$ bound states of unknown spin-parity, where we notice that the consistent description of the three pentaquarks in the one-boson-exchange model can indeed determine the spin and parities of the later, i.e. of the two $\bar{D}^* \Sigma_c$ molecular candidates. For this determination we revisit first the one-boson-exchange model, which in its original formulation contains a short-range delta-like contribution in the spin-spin component of the potential. We argue that it is better to remove these delta-like contributions because, in this way, the one-boson-exchange potential will comply with the naive expectation that the form factors should not have a significant impact in the long-range part of the potential (in particular the one-pion-exchange part). Once this is done, we find that it is possible to consistently describe the three pentaquarks, to the point that the $P_c(4440)$ and $P_c(4457)$ can be predicted from the $P_c(4312)$ within a couple of MeV with respect to their experimental location. In addition the so-constructed one-boson-exchange model predicts the preferred quantum numbers of the $P_c(4440)$ and $P_c(4457)$ molecular pentaquarks to be $\tfrac{3}{2}^-$ and $\tfrac{1}{2}^-$, respectively.


title: Dogfooding: use IBM Cloud services to monitor IBM Cloud infrastructure

abstract: The stability and performance of Cloud platforms are essential as they directly impact customers' satisfaction. Cloud service providers use Cloud monitoring tools to ensure that rendered services match the quality of service requirements indicated in established contracts such as service-level agreements. Given the enormous number of resources that need to be monitored, highly scalable and capable monitoring tools are designed and implemented by Cloud service providers such as Amazon, Google, IBM, and Microsoft. Cloud monitoring tools monitor millions of virtual and physical resources and continuously generate logs for each one of them. Considering that logs magnify any technical issue, they can be used for disaster detection, prevention, and recovery. However, logs are useless if they are not assessed and analyzed promptly. Thus, we argue that the scale of Cloud-generated logs makes it impossible for DevOps teams to analyze them effectively. This implies that one needs to automate the process of monitoring and analysis (e.g., using machine learning and artificial intelligence). If the automation will witness an anomaly in the logs --- it will alert DevOps staff. The automatic anomaly detectors require a reliable and scalable platform for gathering, filtering, and transforming the logs, executing the detector models, and sending out the alerts to the DevOps staff. In this work, we report on implementing a prototype of such a platform based on the 7-layered architecture pattern, which leverages micro-service principles to distribute tasks among highly scalable, resources-efficient modules. The modules interact with each other via an instance of the Publish-Subscribe architectural pattern. The platform is deployed on the IBM Cloud service infrastructure and is used to detect anomalies in logs emitted by the IBM Cloud services, hence the dogfooding.


title: SrTiO$_3$ termination control: A method to tailor the oxygen exchange kinetics

abstract: We provide insights into the influence of surface termination on the oxygen vacancy incorporation for the perovskite model material SrTiO3 during annealing in reducing gas environments. We present a novel approach to control to tailor the oxygen vacancy formation by controlling the termination. We prove that a SrO-termination can inhibit the incorporation of oxygen vacancies across the (100)-surface and apply this to control their incorporation during thin film growth. Utilizing the conducting interface between LaAlO3 and SrTiO3, we could tailor the oxygen-vacancy based conductivity contribution by the level of SrO termination at the interface.


title: Automated Gaming Pommerman: FFA

abstract: Our game Pommerman is based on the console game Bommerman. The game starts on an 11 by 11 platform. Pommerman is a multi-agent environment and is made up of a set of different situations and contains four agents.


title: Direct epitaxial growth of polar (1-x)HfO2-(x)ZrO2 ultra-thin films on Silicon

abstract: Ultra-thin Hf1-xZrxO2 films have attracted tremendous interest owing to their Si-compatible ferroelectricity arising from polar polymorphs. While these phases have been grown on Si as polycrystalline films, epitaxial growth was only achieved on non-Si substrates. Here we report direct epitaxy of polar phases on Si using pulsed laser deposition enabled via in situ scavenging of the native a-SiOx under ballistic conditions. On Si (111), polar rhombohedral (r)-phase and bulk monoclinic (m-) phase coexist, with the volume of the former increasing with increasing Zr concentration. R-phase is stabilized in the regions with a direct connection between the substrate and the film through the compressive strain provided by an interfacial crystalline c-SiO2 layer., The film relaxes to a bulk m-phase in regions where a-SiOx regrows. On Si (100), we observe polar orthorhombic o-phase coexisting with m-phase, stabilized by inhomogeneous strains at the intersection of monoclinic domains. This work provides fundamental insight into the conditions that lead to the preferential stabilization of r-, o- and m-phases.


title: Seeker based Adaptive Guidance via Reinforcement Meta-Learning Applied to Asteroid Close Proximity Operations

abstract: Current practice for asteroid close proximity maneuvers requires extremely accurate characterization of the environmental dynamics and precise spacecraft positioning prior to the maneuver. This creates a delay of several months between the spacecraft's arrival and the ability to safely complete close proximity maneuvers. In this work we develop an adaptive integrated guidance, navigation, and control system that can complete these maneuvers in environments with unknown dynamics, with initial conditions spanning a large deployment region, and without a shape model of the asteroid. The system is implemented as a policy optimized using reinforcement meta-learning. The spacecraft is equipped with an optical seeker that locks to either a terrain feature, back-scattered light from a targeting laser, or an active beacon, and the policy maps observations consisting of seeker angles and LIDAR range readings directly to engine thrust commands. The policy implements a recurrent network layer that allows the deployed policy to adapt real time to both environmental forces acting on the agent and internal disturbances such as actuator failure and center of mass variation. We validate the guidance system through simulated landing maneuvers in a six degrees-of-freedom simulator. The simulator randomizes the asteroid's characteristics such as solar radiation pressure, density, spin rate, and nutation angle, requiring the guidance and control system to adapt to the environment. We also demonstrate robustness to actuator failure, sensor bias, and changes in the spacecraft's center of mass and inertia tensor. Finally, we suggest a concept of operations for asteroid close proximity maneuvers that is compatible with the guidance system.


title: Multi-Task Recurrent Convolutional Network with Correlation Loss for Surgical Video Analysis

abstract: Surgical tool presence detection and surgical phase recognition are two fundamental yet challenging tasks in surgical video analysis and also very essential components in various applications in modern operating rooms. While these two analysis tasks are highly correlated in clinical practice as the surgical process is well-defined, most previous methods tackled them separately, without making full use of their relatedness. In this paper, we present a novel method by developing a multi-task recurrent convolutional network with correlation loss (MTRCNet-CL) to exploit their relatedness to simultaneously boost the performance of both tasks. Specifically, our proposed MTRCNet-CL model has an end-to-end architecture with two branches, which share earlier feature encoders to extract general visual features while holding respective higher layers targeting for specific tasks. Given that temporal information is crucial for phase recognition, long-short term memory (LSTM) is explored to model the sequential dependencies in the phase recognition branch. More importantly, a novel and effective correlation loss is designed to model the relatedness between tool presence and phase identification of each video frame, by minimizing the divergence of predictions from the two branches. Mutually leveraging both low-level feature sharing and high-level prediction correlating, our MTRCNet-CL method can encourage the interactions between the two tasks to a large extent, and hence can bring about benefits to each other. Extensive experiments on a large surgical video dataset (Cholec80) demonstrate outstanding performance of our proposed method, consistently exceeding the state-of-the-art methods by a large margin (e.g., 89.1% v.s. 81.0% for the mAP in tool presence detection and 87.4% v.s. 84.5% for F1 score in phase recognition). The code can be found on our project website.


title: Molecular structure elucidation with charge-state control

abstract: The charge state of a molecule governs its physicochemical properties, such as conformation, reactivity and aromaticity, with implications for on-surface synthesis, catalysis, photo conversion and applications in molecular electronics. On insulating, multilayer NaCl films we control the charge state of organic molecules and resolve their structures in neutral, cationic, anionic and dianionic states by atomic force microscopy, obtaining atomic resolution and bond-order discrimination using CO functionalized tips. We detect changes in conformation, adsorption geometry and bond-order relations for azobenzene, tetracyanoquinodimethane and pentacene in multiple charge states. Moreover, for porphine we investigate the charge-state-dependent change of aromaticity and conjugation pathway in the macrocycle. This work opens the way to studying chemical-structural changes of individual molecules for a wide range of charge states.


title: Sharing Equality is Linear

abstract: The $\lambda$-calculus is a handy formalism to specify the evaluation of higher-order programs. It is not very handy, however, when one interprets the specification as an execution mechanism, because terms can grow exponentially with the number of $\beta$-steps. This is why implementations of functional languages and proof assistants always rely on some form of sharing of subterms. These frameworks however do not only evaluate $\lambda$-terms, they also have to compare them for equality. In presence of sharing, one is actually interested in the equality---or more precisely $\alpha$-conversion---of the underlying unshared $\lambda$-terms. The literature contains algorithms for such a sharing equality, that are polynomial in the sizes of the shared terms. This paper improves the bounds in the literature by presenting the first linear time algorithm. As others before us, we are inspired by Paterson and Wegman's algorithm for first-order unification, itself based on representing terms with sharing as DAGs, and sharing equality as bisimulation of DAGs.


title: Cyano-functionalized Ag-bis-acetylide wires on Ag(110)

abstract: Organometallic nanostructures are promising candidates for applications in optoelectronics, magnetism and catalysis. Our bottom-up approach employs a cyano-functionalized terminal alkyne species (CN-DETP) on the Ag(110) surface to fabricate 2D domains of regularly stacked Ag-acetylide nanowires. We unravel their adsorption properties and give evidence to their organometallic character with the aid of complementary surface-sensitive techniques, i.e. scanning tunneling microscopy, X-ray photoelectron spectroscopy and near-edge X-ray absorption fine-structure spectroscopy. Guided by the anisotropic (110) surface, highly oriented nanowires form in two enantiomorphic domains of regularly stacked trans isomers, whereby the bifunctional design of CN-DETP gives rise to orthogonal bonding motifs. Based on STM imaging, we find high thermal stability of the Ag-bis-acetylide wires, without conversion into graphdiyne chains. Our approach based on orthogonal bifunctionalization and selective functional group recognition extends the toolbox of creating alkyne-based nanostructures at interfaces.


title: Sums of powers over equally spaced Fibonacci numbers

abstract: Recent results about sums of cubes of Fibonacci numbers [Frontczak, 2018] are extended to arbitrary powers.


title: Exploring new Boundary Conditions for $\mathcal{N}=(1,1)$ Extended Higher Spin $AdS_3$ Supergravity

abstract: In this paper, we present a candidate for $\mathcal{N}=(1,1)$ extended higher - spin $AdS_3$ supergravity with the most general boundary conditions discussed by Grumiller and Riegler recently. We show that the asymptotic symmetry algebra consists of two copies of the $\mathfrak{osp}(3|2)_k$ affine algebra in the presence of the most general boundary conditions.Furthermore, we impose some certain restrictions on gauge fields on the most general boundary conditions and that leads us to the supersymmetric extension of the Brown - Henneaux boundary conditions. We eventually see that the asymptotic symmetry algebra reduces to two copies of the $\mathcal{SW}(\frac{3}{2},2)$ algebra for $\mathcal{N}=(1,1)$ extended higher - spin supergravity.


title: Crystallization to the square lattice for a two-body potential

abstract: We consider two-dimensional zero-temperature systems of $N$ particles to which we associate an energy of the form $$ \mathcal{E}[V](X):=\sum_{1\le i<j\le N}V(|X(i)-X(j)|), $$ where $X(j)\in\mathbb R^2$ represents the position of the particle $j$ and $V(r)\in\mathbb R$ is the {pairwise interaction} energy potential of two particles placed at distance $r$. We show that under suitable assumptions on the single-well potential $V$, the ground state energy per particle converges to an explicit constant $\bar{\mathcal E}_{\mathrm{sq}}[V]$ which is the same as the energy per particle in the square lattice infinite configuration. We thus have $$ N{\bar{\mathcal E}_{\mathrm{sq}}[V]}\le \min_{X:\{1,\ldots,N\}\to\mathbb R^2}\mathcal E[V](X)\le N{\bar{\mathcal E}_{\mathrm{sq}}[V]}+O(N^{\frac 1 2}). $$ Moreover $\bar{\mathcal E}_{\mathrm{sq}}[V]$ is also re-expressed as the minimizer of a four point energy. In particular, this happen{s} if the potential $V$ is such that $V(r)=+\infty$ for $r<1$, $V(r)=-1$ for $r\in [1,\sqrt{2}]$, $V(r)=0$ if $r>\sqrt{2}$, in which case ${\bar{\mathcal E}_{\mathrm{sq}}[V]}=-4$. To the best of our knowledge, this is the first proof of crystallization to the square lattice for a two-body interaction energy.


title: Mathieu-Zhao spaces of polynomial rings

abstract: We describe all Mathieu-Zhao spaces of $k[x_1,\cdots,x_n]$ ($k$ is an algebraically closed field of characteristic zero) which contains an ideal of finite codimension. Furthermore we give an algorithm to decide if a subspace of the form $I+kv_1+\cdots+kv_r$ is a Mathieu-Zhao space, in case the ideal $I$ has finite codimension.


title: An introduction to Mathieu subspaces

abstract: This is the note for the four lectures given by the author in the ``International Short-School/Conference on Affine Algebraic Geometry and the Jacobian Conjecture" at Chern Institute of Mathematics, Nankai University, Tianjin, China. July 14-25, 2014. The aim of this lectures is to give an introduction to the theory of Mathieu subspaces. We will not treat all topics in their most general setting, but will restrict to certain classes of "nice" rings. As we shall see even for these rings there is a lot we don't know yet!


title: Bondi-Hoyle-Lyttleton accretion in Supergiant X-ray binaries: stability and disk formation

abstract: We use 2D (axisymmetric) and 3D hydrodynamic simulations to study Bondi-Hoyle-Lyttleton (BHL) accretion with and without transverse upstream gradients. We mainly focus on the regime of high (upstream) Mach number, weak upstream gradients and small accretor size, which is relevant to neutron star (NS) accretion in wind-fed Supergiant X-ray binaries (SgXBs). We present a systematic exploration of the flow in this regime. When there are no upstream gradients, the flow is always stable regardless of accretor size or Mach number. For finite upstream gradients, there are three main types of behavior: stable flow (small upstream gradient), turbulent unstable flow without a disk (intermediate upstream gradient), and turbulent flow with a disk-like structure (relatively large upstream gradient). When the accretion flow is turbulent, the accretion rate decreases non-convergently as the accretor size decreases. The flow is more prone to instability and the disk is less likely to form than previously expected; the parameters of most observed SgXBs place them in the regime of a turbulent, disk-less accretion flow. Among the SgXBs with relatively well-determined parameters, we find OAO 1657-415 to be the only one that is likely to host a persistent disk (or disk-like structure); this finding is consistent with observations.


title: Variational competition between full Hessian and its determinant for convex functions

abstract: We prove upper and lower bounds for a variational functional for convex functions satisfying certain boundary conditions on a sector of the unit ball in two dimensions. The functional contains two terms: The full Hessian and its determinant, where the former is treated as a small perturbation in the space $L^2$ and the latter as the leading-order term, in the negative Sobolev space $W^{-2,2}$. We point out how this setting is motivated by problems in nonlinear elasticity, and obtain a corollary for a variational problem based on the so-called F\"oppl-von-K\'arm\'an energy.


title: Supporting Security Sensitive Tenants in a Bare-Metal Cloud

abstract: Bolted is a new architecture for bare-metal clouds that enables tenants to control tradeoffs between security, price, and performance. Security-sensitive tenants can minimize their trust in the public cloud provider and achieve similar levels of security and control that they can obtain in their own private data centers. At the same time, Bolted neither imposes overhead on tenants that are security insensitive nor compromises the flexibility or operational efficiency of the provider. Our prototype exploits a novel provisioning system and specialized firmware to enable elasticity similar to virtualized clouds. Experimentally we quantify the cost of different levels of security for a variety of workloads and demonstrate the value of giving control to the tenant.


title: Speaker Recognition with Random Digit Strings Using Uncertainty Normalized HMM-based i-vectors

abstract: In this paper, we combine Hidden Markov Models (HMMs) with i-vector extractors to address the problem of text-dependent speaker recognition with random digit strings. We employ digit-specific HMMs to segment the utterances into digits, to perform frame alignment to HMM states and to extract Baum-Welch statistics. By making use of the natural partition of input features into digits, we train digit-specific i-vector extractors on top of each HMM and we extract well-localized i-vectors, each modelling merely the phonetic content corresponding to a single digit. We then examine ways to perform channel and uncertainty compensation, and we propose a novel method for using the uncertainty in the i-vector estimates. The experiments on RSR2015 part III show that the proposed method attains 1.52\% and 1.77\% Equal Error Rate (EER) for male and female respectively, outperforming state-of-the-art methods such as x-vectors, trained on vast amounts of data. Furthermore, these results are attained by a single system trained entirely on RSR2015, and by a simple score-normalized cosine distance. Moreover, we show that the omission of channel compensation yields only a minor degradation in performance, meaning that the system attains state-of-the-art results even without recordings from multiple handsets per speaker for training or enrolment. Similar conclusions are drawn from our experiments on the RedDots corpus, where the same method is evaluated on phrases. Finally, we report results with bottleneck features and show that further improvement is attained when fusing them with spectral features.


title: BUT VOiCES 2019 System Description

abstract: This is a description of our effort in VOiCES 2019 Speaker Recognition challenge. All systems in the fixed condition are based on the x-vector paradigm with different features and DNN topologies. The single best system reaches 1.2% EER and a fusion of 3 systems yields 1.0% EER, which is 15% relative improvement. The open condition allowed us to use external data which we did for the PLDA adaptation and achieved less than ~10% relative improvement. In the submission to open condition, we used 3 x-vector systems and also one i-vector based system.


title: Quasi-polynomials and the singular $[Q,R]=0$ theorem

abstract: In this short note we revisit the `shift-desingularization' version of the $[Q,R]=0$ theorem for possibly singular symplectic quotients. We take as starting point an elegant proof due to Szenes-Vergne of the quasi-polynomial behavior of the multiplicity as a function of the tensor power of the prequantum line bundle. We use the Berline-Vergne index formula and the stationary phase expansion to compute the quasi-polynomial, adapting an early approach of Meinrenken.


title: Magnetocaloric properties and critical behavior of Co$_2$Cr$_{1-x}$Mn$_x$Al Heusler alloys

abstract: We study the magnetocaloric effect and critical behavior of Co$_2$Cr$_{1-x}$Mn$_x$Al ($x=$ 0.25, 0.5, 0.75) Heusler alloys across the ferromagnetic (FM) transition (T$_{\rm C}$). The Rietveld refinement of x-ray diffraction patterns exhibit single phase cubic structure for all the samples. The temperature dependent magnetic susceptibility $\chi$(T) data show a systematic enhancement in the Curie temperature and effective magnetic moment with Mn concentration, which is consistent with the Slater-Pauling behavior. The M(H) isotherms also exhibit the FM ordering and the analysis of $\chi$(T) data indicates the nature of the phase transition to be a second order, which is further supported by scaling of the entropy curves and Arrott plot. Interestingly, the Mn substitution causes an increase in the magnetic entropy change and hence large relative cooling power for multi-stage magnetic refrigerator applications. In order to understand the nature of the magnetic phase transition we examine the critical exponents $\beta$, $\gamma$, $\delta$ for the $x=$ 0.75 sample by the modified Arrott plot and the critical isotherm analysis, which is further confirmed by Kouvel-Fisher method and Widom scaling relation, respectively. The estimated values of $\beta=$ 0.507, $\gamma=$ 1.056, $\delta=$ 3.084 are found to be close to the mean field theoretical values. The renormalized isotherms (m vs h) corresponding to these exponent values collapse into two branches, above and below T$_{\rm C}$ that validates our analysis. Our results suggest for the existence of long-range FM interactions, which decays slower than power law as $J(r)\sim r^{-4.5}$ for a 3 dimensional mean field theory.


title: Highly neighborly centrally symmetric spheres

abstract: In 1995, Jockusch constructed an infinite family of centrally symmetric $3$-dimensional simplicial spheres that are cs-$2$-neighborly. Here we generalize his construction and show that for all $d\geq 3$ and $n\geq d+1$, there exists a centrally symmetric $d$-dimensional simplicial sphere with $2n$ vertices that is cs-$\lceil d/2\rceil$-neighborly. This result combined with work of Adin and Stanley completely resolves the upper bound problem for centrally symmetric simplicial spheres.


title: Inference for high-dimensional linear mixed-effects models: A quasi-likelihood approach

abstract: Linear mixed-effects models are widely used in analyzing clustered or repeated measures data. We propose a quasi-likelihood approach for estimation and inference of the unknown parameters in linear mixed-effects models with high-dimensional fixed effects. The proposed method is applicable to general settings where the dimension of the random effects and the cluster sizes are possibly large. Regarding the fixed effects, we provide rate optimal estimators and valid inference procedures that do not rely on the structural information of the variance components. We also study the estimation of variance components with high-dimensional fixed effects in general settings. The algorithms are easy to implement and computationally fast. The proposed methods are assessed in various simulation settings and are applied to a real study regarding the associations between body mass index and genetic polymorphic markers in a heterogeneous stock mice population.


title: A semi-Lagrangian discontinuous Galerkin (DG) -- local DG method for solving convection-diffusion equations

abstract: In this paper, we propose an efficient high order semi-Lagrangian (SL) discontinuous Galerkin (DG) method for solving linear convection-diffusion equations. The method generalizes our previous work on developing the SLDG method for transport equations (J. Sci. Comput. 73: 514-542, 2017), making it capable of handling additional diffusion and source terms. Within the DG framework, the solution is evolved along the characteristics; while the diffusion term is discretized by the local DG (LDG) method and integrated along characteristics by implicit Runge-Kutta methods together with source terms. The proposed method is named the `SLDG-LDG' method and enjoys many attractive features of the DG and SL methods. These include the uniformly high order accuracy (e.g. third order) in space and in time, compact, mass conservative, and stability under large time stepping size. An $L^2$ stability analysis is provided when the method is coupled with the first order backward Euler discretization. Effectiveness of the method are demonstrated by a group of numerical tests in one and two dimensions.


title: Online Rental Housing Market Representation and the Digital Reproduction of Urban Inequality

abstract: As the rental housing market moves online, the Internet offers divergent possible futures: either the promise of more-equal access to information for previously marginalized homeseekers, or a reproduction of longstanding information inequalities. Biases in online listings' representativeness could impact different communities' access to housing search information, reinforcing traditional information segregation patterns through a digital divide. They could also circumscribe housing practitioners' and researchers' ability to draw broad market insights from listings to understand rental supply and affordability. This study examines millions of Craigslist rental listings across the US and finds that they spatially concentrate and over-represent whiter, wealthier, and better-educated communities. Other significant demographic differences exist in age, language, college enrollment, rent, poverty rate, and household size. Most cities' online housing markets are digitally segregated by race and class, and we discuss various implications for residential mobility, community legibility, gentrification, housing voucher utilization, and automated monitoring and analytics in the smart cities paradigm. While Craigslist contains valuable crowdsourced data to better understand affordability and available rental supply in real-time, it does not evenly represent all market segments. The Internet promises information democratization, and online listings can reduce housing search costs and increase choice sets. However, technology access/preferences and information channel segregation can concentrate such information-broadcasting benefits in already-advantaged communities, reproducing traditional inequalities and reinforcing residential sorting and segregation dynamics. Technology platforms like Craigslist construct new institutions with the power to shape spatial economies.


title: Understanding Deep Learning Techniques for Image Segmentation

abstract: The machine learning community has been overwhelmed by a plethora of deep learning based approaches. Many challenging computer vision tasks such as detection, localization, recognition and segmentation of objects in unconstrained environment are being efficiently addressed by various types of deep neural networks like convolutional neural networks, recurrent networks, adversarial networks, autoencoders and so on. While there have been plenty of analytical studies regarding the object detection or recognition domain, many new deep learning techniques have surfaced with respect to image segmentation techniques. This paper approaches these various deep learning techniques of image segmentation from an analytical perspective. The main goal of this work is to provide an intuitive understanding of the major techniques that has made significant contribution to the image segmentation domain. Starting from some of the traditional image segmentation approaches, the paper progresses describing the effect deep learning had on the image segmentation domain. Thereafter, most of the major segmentation algorithms have been logically categorized with paragraphs dedicated to their unique contribution. With an ample amount of intuitive explanations, the reader is expected to have an improved ability to visualize the internal dynamics of these processes.


title: Persistent spin squeezing of dissipative Lipkin-Meshkov-Glick Model embedded in a general thermal environment

abstract: We investigate spin squeezing for a Lipkin-Meshkov-Glick (LMG) model coupled to a general non-Markovian environment in a finite temperature regime. Using the non-Markovian quantum state diffusion and master equation approach, we numerically study non-Markovian spin squeezing generation in LMG model. Our results show that the total spin number N, energy kBT, and certain coefficients in a LMG model can play a crucial role in generating spin squeezing. In particular, it shows that the maximum spin squeezing can be significantly enhanced when the participating environment has a relatively long memory time.


title: Strong pairing in two dimensions: Pseudogaps, domes, and other implications

abstract: This paper addresses the transition from the normal to the superfluid state in strongly correlated two dimensional fermionic superconductors and Fermi gases. We arrive at the Berezinskii-Kosterlitz-Thouless (BKT) temperature $T_{\text{BKT}}$ as a function of \emph{attractive} pairing strength by associating it with the onset of "quasi-condensation" in the normal phase. Our approach builds on a criterion for determining the BKT transition temperature for atomic gases which is based on a well established Quantum Monte Carlo analysis of the phase space density. This latter quantity, when derived from BCS-BEC crossover theory for fermions, leads to non-monotonic behavior for $T_{\text{BKT}}$ as a function of the attractive interaction or inverse scattering length. In Fermi gases, this implies a robust superconducting dome followed by a long tail from the flat BEC asymptote, rather similar to what is observed experimentally. For lattice systems we find that $T_{\text{BKT}}$ has an absolute maximum of the order of $0.1 E_F$. We discuss how our results compare with those derived from the Nelson Kosterlitz criterion based on the mean field superfluid density and the approach to the transition from below. While there is agreement in the strict mean-field BCS regime at weak coupling, we find that at moderate pairing strength bosonic excitations cause a substantial increase in $T_\text{BKT}$ followed by an often dramatic decrease before the system enters the BEC regime.


title: Improved Bounds for Hermite-Hadamard Inequalities in Higher Dimensions

abstract: Let $\Omega \subset \mathbb{R}^n$ be a convex domain and let $f:\Omega \rightarrow \mathbb{R}$ be a positive, subharmonic function (i.e. $\Delta f \geq 0$). Then $$ \frac{1}{|\Omega|} \int_{\Omega}{f dx} \leq \frac{c_n}{ |\partial \Omega| } \int_{\partial \Omega}{ f d\sigma},$$ where $c_n \leq 2n^{3/2}$. This inequality was previously only known for convex functions with a much larger constant. We also show that the optimal constant satisfies $c_n \geq n-1$. As a byproduct, we establish a sharp geometric inequality for two convex domains where one contains the other $ \Omega_2 \subset \Omega_1 \subset \mathbb{R}^n$: $$ \frac{|\partial \Omega_1|}{|\Omega_1|} \frac{| \Omega_2|}{|\partial \Omega_2|} \leq n.$$


title: Preselection Bandits

abstract: In this paper, we introduce the Preselection Bandit problem, in which the learner preselects a subset of arms (choice alternatives) for a user, which then chooses the final arm from this subset. The learner is not aware of the user's preferences, but can learn them from observed choices. In our concrete setting, we allow these choices to be stochastic and model the user's actions by means of the Plackett-Luce model. The learner's main task is to preselect subsets that eventually lead to highly preferred choices. To formalize this goal, we introduce a reasonable notion of regret and derive lower bounds on the expected regret. Moreover, we propose algorithms for which the upper bound on expected regret matches the lower bound up to a logarithmic term of the time horizon.


title: Complexity of Brain Tumors

abstract: Tumor growth is a complex process characterized by uncontrolled cell proliferation and invasion of neighboring tissues. The understanding of these phenomena is of vital importance to establish appropriate diagnosis and therapeutic strategy and starts with the evaluation of their complexity with suitable descriptors, such as those produced by scaling analysis. In the present work, scaling analysis is used for the extraction of dynamic parameters that characterize tumor growth processes in brain tumors. The emphasis in the analysis is on the assessment of general properties of tumor growth, such as the Family-Vicsek ansatz, which includes a great variety of ballistic growth models. Results indicate in a definitive way that gliomas strictly behave as it is proposed by the ansatz, while benign tumors behave quite differently. As a complementary view, complex visibility networks derived from the tumor interface support these results and its use is introduced as a possible descriptor in the understanding of tumor growth dynamics.


title: Integrality over ideal semifiltrations

abstract: We study integrality over rings (all commutative in this paper) and over ideal semifiltrations (a generalization of integrality over ideals). We begin by reproving classical results, such as a version of the "faithful module" criterion for integrality over a ring, the transitivity of integrality, and the theorem that sums and products of integral elements are again integral. Then, we define the notion of integrality over an ideal semifiltration (a sequence $\left( I_0,I_1,I_2,\ldots\right)$ of ideals satisfying $I_0 =A$ and $I_a I_b \subseteq I_{a+b}$ for all $a,b\in\mathbb{N}$), which generalizes both integrality over a ring and integrality over an ideal (as considered, e.g., in Swanson/Huneke, "Integral Closure of Ideals, Rings, and Modules"). We prove a criterion that reduces this general notion to integrality over a ring using a variant of the Rees algebra. Using this criterion, we study this notion further and obtain transitivity and closedness under sums and products for it as well. Finally, we prove the curious fact that if $u$, $x$ and $y$ are three elements of a (commutative) $A$-algebra (for $A$ a ring) such that $u$ is both integral over $A\left[ x\right]$ and integral over $A\left[ y\right]$, then $u$ is integral over $A\left[ xy\right]$. We generalize this to integrality over ideal semifiltrations, too.


title: Cold atoms in twisted bilayer optical potentials

abstract: The possibility of creating crystal bilayers twisted with respect to each other has led to the discovery of a wide range of novel electron correlated phenomena whose full understanding is still under debate. Here we propose and analyze a method to simulate twisted bilayers using cold atoms in state-dependent optical lattices. Our proposed setup can be used as an alternative platform to explore twisted bilayers which allows one to control the inter/intra-layer coupling in a more flexible way than in the solid-state realizations. We focus on square geometries but also point how it can be extended to simulate other lattices which show Dirac-like physics. This setup opens a path to observe similar physics, e.g., band narrowing, with larger twist angles, to rule out some of the mechanisms to explain the observed strongly correlated effects, as well as to study other phenomena difficult to realize with crystals. As an example of the latter we explore the quantum optical consequences of letting emitters interact with twisted bilayer reservoirs, and predict the appearance of unconventional radiation patterns and emitter interactions following the emergent Moir\'e geometry.


title: Formation and delivery of complex organic molecules to the Solar System and early Earth

abstract: The late stages of stellar evolution from asymptotic giant branch stars to planetary nebulae are now known to be an active phase of molecular synthesis. Over 80 gas-phase molecules have been detected through rotational transitions in the mm/submm region. Infrared spectroscopy has also detected inorganic minerals, fullerenes, and organic solids. The synthesis of these molecules and solids take place over very low density ($<10^6$ cm$^{-3}$) and short ($\sim10^3$ yr) time scales. The complex organics are observed to have mixed aromatic/aliphatic structures and may be related to the complex organics found in meteorites, comets, interplanetary dust particles, and planetary satellites. The possible links between stellar and solar system organics is discussed.


title: Continuous-Time Markov Decision Processes with Controlled Observations

abstract: In this paper, we study a continuous-time discounted jump Markov decision process with both controlled actions and observations. The observation is only available for a discrete set of time instances. At each time of observation, one has to select an optimal timing for the next observation and a control trajectory for the time interval between two observation points. We provide a theoretical framework that the decision maker can utilize to find the optimal observation epochs and the optimal actions jointly. Two cases are investigated. One is gated queueing systems in which we explicitly characterize the optimal action and the optimal observation where the optimal observation is shown to be independent of the state. Another is the inventory control problem with Poisson arrival process in which we obtain numerically the optimal action and observation. The results show that it is optimal to observe more frequently at a region of states where the optimal action adapts constantly.


title: Towards Robust Voice Pathology Detection

abstract: Automatic objective non-invasive detection of pathological voice based on computerized analysis of acoustic signals can play an important role in early diagnosis, progression tracking and even effective treatment of pathological voices. In search towards such a robust voice pathology detection system we investigated 3 distinct classifiers within supervised learning and anomaly detection paradigms. We conducted a set of experiments using a variety of input data such as raw waveforms, spectrograms, mel-frequency cepstral coefficients (MFCC) and conventional acoustic (dysphonic) features (AF). In comparison with previously published works, this article is the first to utilize combination of 4 different databases comprising normophonic and pathological recordings of sustained phonation of the vowel /a/ unrestricted to a subset of vocal pathologies. Furthermore, to our best knowledge, this article is the first to explore gradient boosted trees and deep learning for this application. The following best classification performances measured by F1 score on dedicated test set were achieved: XGBoost (0.733) using AF and MFCC, DenseNet (0.621) using MFCC, and Isolation Forest (0.610) using AF. Even though these results are of exploratory character, conducted experiments do show promising potential of gradient boosting and deep learning methods to robustly detect voice pathologies.


title: Quantifying the Vulnerabilities of the Online Public Square to Adversarial Manipulation Tactics

abstract: Social media, seen by some as the modern public square, is vulnerable to manipulation. By controlling inauthentic accounts impersonating humans, malicious actors can amplify disinformation within target communities. The consequences of such operations are difficult to evaluate due to the challenges posed by collecting data and carrying out ethical experiments that would influence online communities. Here we use a social media model that simulates information diffusion in an empirical network to quantify the impacts of several adversarial manipulation tactics on the quality of content. We find that the presence of influential accounts, a hallmark of social media, exacerbates the vulnerabilities of online communities to manipulation. Among the explored tactics that bad actors can employ, infiltrating a community is the most likely to make low-quality content go viral. Such harm can be further compounded by inauthentic agents flooding the network with low-quality, yet appealing content, but is mitigated when bad actors focus on specific targets, such as influential or vulnerable individuals. These insights suggest countermeasures that platforms could employ to increase the resilience of social media users to manipulation.


title: Searches for lepton-flavour-violating decays of the Higgs boson in $\sqrt{s}=13$ TeV $pp$ collisions with the ATLAS detector

abstract: This Letter presents direct searches for lepton flavour violation in Higgs boson decays, $H\rightarrow e\tau$ and $H\rightarrow\mu\tau$, performed with the ATLAS detector at the LHC. The searches are based on a data sample of proton-proton collisions at a centre-of-mass energy $\sqrt{s} = 13$ TeV, corresponding to an integrated luminosity of $36.1\,\mathrm{fb}^{-1}$. No significant excess is observed above the expected background from Standard Model processes. The observed (median expected) 95 % confidence-level upper limits on the lepton-flavour-violating branching ratios are $0.47\%$ ($0.34^{+0.13}_{-0.10}\,\%$) and $0.28\%$ ($0.37^{+0.14}_{-0.10}\,\%$) for $H\to e\tau$ and $H\to\mu\tau$, respectively.


title: Weyl symbols and boundedness of Toeplitz operators

abstract: We study Toeplitz operators on the Bargmann space, with Toeplitz symbols that are exponentials of inhomogeneous quadratic polynomials. It is shown that the boundedness of such operators is implied by the boundedness of the corresponding Weyl symbols.


title: An Assumption-Free Exact Test For Fixed-Design Linear Models With Exchangeable Errors

abstract: We propose the Cyclic Permutation Test (CPT) to test general linear hypotheses for linear models. This test is non-randomized and valid in finite samples with exact Type I error $\alpha$ for an arbitrary fixed design matrix and arbitrary exchangeable errors, whenever $1 / \alpha$ is an integer and $n / p \ge 1 / \alpha - 1$. The test involves applying the marginal rank test to $1 / \alpha$ linear statistics of the outcome vector, where the coefficient vectors are determined by solving a linear system such that the joint distribution of the linear statistics is invariant with respect to a non-standard cyclic permutation group under the null hypothesis.The power can be further enhanced by solving a secondary non-linear travelling salesman problem, for which the genetic algorithm can find a reasonably good solution. Extensive simulation studies show that the CPT has comparable power to existing tests. When testing for a single contrast of coefficients, an exact confidence interval can be obtained by inverting the test. Furthermore, we provide a selective yet extensive literature review of the century-long efforts on this problem, highlighting the novelty of our test.


title: FMRI data augmentation via synthesis

abstract: We present an empirical evaluation of fMRI data augmentation via synthesis. For synthesis we use generative mod-els trained on real neuroimaging data to produce novel task-dependent functional brain images. Analyzed generative mod-els include classic approaches such as the Gaussian mixture model (GMM), and modern implicit generative models such as the generative adversarial network (GAN) and the variational auto-encoder (VAE). In particular, the proposed GAN and VAE models utilize 3-dimensional convolutions, which enables modeling of high-dimensional brain image tensors with structured spatial correlations. The synthesized datasets are then used to augment classifiers designed to predict cognitive and behavioural outcomes. Our results suggest that the proposed models are able to generate high-quality synthetic brain images which are diverse and task-dependent. Perhaps most importantly, the performance improvements of data aug-mentation via synthesis are shown to be complementary to the choice of the predictive model. Thus, our results suggest that data augmentation via synthesis is a promising approach to address the limited availability of fMRI data, and to improve the quality of predictive fMRI models.


title: Two examples of vanishing and squeezing in $K_1$

abstract: Controlled topology is one of the main tools for proving the isomorphism conjecture concerning the algebraic $K$-theory of group rings. In this article we dive into this machinery in two examples: when the group is infinite cyclic and when it is the infinite dihedral group - in both cases with the family of finite subgroups. We prove a vanishing theorem and show how to explicitly squeeze the generators of these groups in $K_1$. For the infinite cyclic group, when taking coefficients in a regular ring, we get a squeezing result for every element of $K_1$; this follows from the well-known result of Bass, Heller and Swan.


title: Power corrections in semi-inclusive deep inelastic scatterings at fixed target energies

abstract: The COMPASS collaboration published precise data on production cross section of charged hadrons in lepton-hadron semi-inclusive deep inelastic scattering, showing almost an order of magnitude larger than next-to-leading order QCD calculations when $P_{h_T}$ and $z_h$ are sufficiently large. We explore the role of power corrections to the theoretical calculations, and quantitatively demonstrate that the power corrections are extremely important for these data when the final-state multiplicity is low and the production kinematics is near the edge of phase space. Our finding motivates more detailed studies on power corrections for upcoming experiments at Jefferson Lab, as well as the future Electron-Ion Collider.


title: Numerical and analytical analyses of a matrix model with non-pairwise contracted indices

abstract: We study a matrix model that has $\phi_a^i\ (a=1,2,\ldots,N,\ i=1,2,\ldots,R)$ as its dynamical variable, whose lower indices are pairwise contracted, but upper ones are not always done so. This matrix model has a motivation from a tensor model for quantum gravity, and is also related to the physics of glasses, because it has the same form as what appears in the replica trick of the spherical $p$-spin model for spin glasses, though the parameter range of our interest is different. To study the dynamics, which in general depends on $N$ and $R$, we perform Monte Carlo simulations and compare with some analytical computations in the leading and the next-leading orders. A transition region has been found around $R\sim N^2/2$, which matches a relation required by the consistency of the tensor model. The simulation and the analytical computations agree well outside the transition region, but not in this region, implying that some relevant configurations are not properly included by the analytical computations. With a motivation coming from the tensor model, we also study the persistent homology of the configurations generated in the simulations, and have observed its gradual change from $S^1$ to higher dimensional cycles with the increase of $R$ around the transition region.


title: A Convergence Result for Regularized Actor-Critic Methods

abstract: In this paper, we present a probability one convergence proof, under suitable conditions, of a certain class of actor-critic algorithms for finding approximate solutions to entropy-regularized MDPs using the machinery of stochastic approximation. To obtain this overall result, we prove the convergence of policy evaluation with general regularizers when using linear approximation architectures and show convergence of entropy-regularized policy improvement.


title: Optimal experimental design for biophysical modelling in multidimensional diffusion MRI

abstract: Computational models of biophysical tissue properties have been widely used in diffusion MRI (dMRI) research to elucidate the link between microstructural properties and MR signal formation. For brain tissue, the research community has developed the so-called Standard Model (SM) that has been widely used. However, in clinically applicable acquisition protocols, the inverse problem that recovers the SM parameters from a set of MR diffusion measurements using pairs of short pulsed field gradients was shown to be ill-posed. Multidimensional dMRI was shown to solve this problem by combining linear and planar tensor encoding data. Given sufficient measurements, multiple choices of b-tensor sets provide enough information to estimate all SM parameters. However, in the presence of noise, some sets will provide better results. In this work, we develop a framework for optimal experimental design of multidimensional dMRI sequences applicable to the SM. This framework is based on maximising the determinant of the Fisher information matrix, which is averaged over the full SM parameter space. This averaging provides a fairly objective information metric tailored for the expected signal but that only depends on the acquisition configuration. The optimisation of this metric can be further restricted to any subclass of desirable design constraints like, for instance, hardware-specific constraints. In this work, we compute the optimal acquisitions over the set of all b-tensors with fixed eigenvectors.


title: Bilevel Optimization and Variational Analysis

abstract: This chapter presents a self-contained approach of variational analysis and generalized differentiation to deriving necessary optimality in problems of bilevel optimization with Lipschitzian data. We mainly concentrate on optimistic models, although the developed machinery also applies to pessimistic versions. Some open problems are posed and discussed.


title: A Real-Time mmWave Communication Testbed with Phase Noise Cancellation

abstract: As the spectrum under 6 GHz is being depleted, pushing wireless communications onto millimeter wave (mmWave) frequencies is a trend that promises multi-Gbps data rate. mmWave is therefore considered as a key technology for 5G wireless systems and has attracted tremendous research efforts. The booming research on mmWave necessitates a reconfigurable mmWave testbed that can be used to prototype and validate new research ideas in real wireless environments. In this paper, we develop an easy-to-use mmWave testbed using commercial off-the-shelf devices (USRP and 60 GHz Tx/Rx RF frontends) and open-source software package (GNU Radio). A key component of our testbed is a phase noise cancellation (PNC) scheme, which can significantly reduce the phase noise at the receiver by leveraging the pilot signal inserted at the transmitter. We have implemented a simplified version of IEEE 802.11 PHY on this mmWave testbed. Experimental results show that, with the PNC scheme, our testbed can achieve -20 dB EVM data transmission for real-time video streaming.


title: Tackling Graphical NLP problems with Graph Recurrent Networks

abstract: How to properly model graphs is a long-existing and important problem in NLP area, where several popular types of graphs are knowledge graphs, semantic graphs and dependency graphs. Comparing with other data structures, such as sequences and trees, graphs are generally more powerful in representing complex correlations among entities. For example, a knowledge graph stores real-word entities (such as "Barack_Obama" and "U.S.") and their relations (such as "live_in" and "lead_by"). Properly encoding a knowledge graph is beneficial to user applications, such as question answering and knowledge discovery. Modeling graphs is also very challenging, probably because graphs usually contain massive and cyclic relations. Recent years have witnessed the success of deep learning, especially RNN-based models, on many NLP problems. Besides, RNNs and their variations have been extensively studied on several graph problems and showed preliminary successes. Despite the successes that have been achieved, RNN-based models suffer from several major drawbacks on graphs. First, they can only consume sequential data, thus linearization is required to serialize input graphs, resulting in the loss of important structural information. Second, the serialization results are usually very long, so it takes a long time for RNNs to encode them. In this thesis, we propose a novel graph neural network, named graph recurrent network (GRN). We study our GRN model on 4 very different tasks, such as machine reading comprehension, relation extraction and machine translation. Some take undirected graphs without edge labels, while the others have directed ones with edge labels. To consider these important differences, we gradually enhance our GRN model, such as further considering edge labels and adding an RNN decoder. Carefully designed experiments show the effectiveness of GRN on all these tasks.


title: Neural Embedding for Physical Manipulations

abstract: In common real-world robotic operations, action and state spaces can be vast and sometimes unknown, and observations are often relatively sparse. How do we learn the full topology of action and state spaces when given only few and sparse observations? Inspired by the properties of grid cells in mammalian brains, we build a generative model that enforces a normalized pairwise distance constraint between the latent space and output space to achieve data-efficient discovery of output spaces. This method achieves substantially better results than prior generative models, such as Generative Adversarial Networks (GANs) and Variational Auto-Encoders (VAEs). Prior models have the common issue of mode collapse and thus fail to explore the full topology of output space. We demonstrate the effectiveness of our model on various datasets both qualitatively and quantitatively.


title: A New Approach For Learning Coarse-Grained Potentials with Application to Immiscible Fluids

abstract: Even though atomistic and coarse-grained (CG) models have been used to simulate liquid nanodroplets in vapor, very few rigorous studies of the liquid-liquid interface structure are available, and most of them are limited to planar interfaces. In this work, we evaluate several existing force fields (FF)s, including two atomistic and three CG FFs, with respect to modeling the interface structure and thermodynamic properties of the water-hexane interface. Both atomistic FFs are able to quantitatively reproduce the interfacial tension and the coexisting densities of the experimentally-observed planar interface. We use the atomistic FFs to model water droplets in hexane and use these simulations to test the CG FFs. We find that the tested CG FFs cannot reproduce the interfacial tensions of planar and/or curved interfaces. Finally, we propose a new approach for learning CG potentials within the CG SDK (Shinoda-DeVane-Klein) FF framework from atomistic simulation data. We demonstrate that the new potential significantly improves the prediction of both the interfacial tension and structure of water-hexane planar and curved interfaces.


title: Leveraging Auxiliary Information on Marginal Distributions in Nonignorable Models for Item and Unit Nonresponse

abstract: Often, government agencies and survey organizations know the population counts or percentages for some of the variables in a survey. These may be available from auxiliary sources, for example, administrative databases or other high quality surveys. We present and illustrate a model-based framework for leveraging such auxiliary marginal information when handling unit and item nonresponse. We show how one can use the margins to specify different missingness mechanisms for each type of nonresponse. We use the framework to impute missing values in voter turnout in a subset of data from the U.S.\ Current Population Survey (CPS). In doing so, we examine the sensitivity of results to different assumptions about the unit and item nonresponse.


title: High Dimensional Similarity Search with Satellite System Graph: Efficiency, Scalability, and Unindexed Query Compatibility

abstract: Approximate Nearest Neighbor Search (ANNS) in high dimensional space is essential in database and information retrieval. Recently, there has been a surge of interest in exploring efficient graph-based indices for the ANNS problem. Among them, Navigating Spreading-out Graph (NSG) provides fine theoretical analysis and achieves state-of-the-art performance. However, we find there are several limitations with NSG: 1) NSG has no theoretical guarantee on nearest neighbor search when the query is not indexed in the database; 2) NSG is too sparse which harms the search performance. In addition, NSG suffers from high indexing complexity. To address the above problems, we propose the Satellite System Graphs (SSG) and a practical variant NSSG. Specifically, we propose a novel pruning strategy to produce SSGs from the complete graph. SSGs define a new family of MSNETs in which the out-edges of each node are distributed evenly in all directions. Each node in the graph builds effective connections to its neighborhood omnidirectionally, whereupon we derive SSG's excellent theoretical properties for both indexed and unindexed queries. We can adaptively adjust the sparsity of an SSG with a hyper-parameter to optimize the search performance. Further, NSSG is proposed to reduce the indexing complexity of the SSG for large-scale applications. Both theoretical and extensive experimental analyses are provided to demonstrate the strengths of the proposed approach over the existing representative algorithms. Our code has been released at https://github.com/ZJULearning/SSG.


title: ThirdEye: Triplet Based Iris Recognition without Normalization

abstract: Most iris recognition pipelines involve three stages: segmenting into iris/non-iris pixels, normalization the iris region to a fixed area, and extracting relevant features for comparison. Given recent advances in deep learning it is prudent to ask which stages are required for accurate iris recognition. Lojez et al. (IWBF 2019) recently concluded that the segmentation stage is still crucial for good accuracy.We ask if normalization is beneficial? Towards answering this question, we develop a new iris recognition system called ThirdEye based on triplet convolutional neural networks (Schroff et al., ICCV 2015). ThirdEye directly uses segmented images without normalization. We observe equal error rates of 1.32%, 9.20%, and 0.59% on the ND-0405, UbirisV2, and IITD datasets respectively. For IITD, the most constrained dataset, this improves on the best prior work. However, for ND-0405 and UbirisV2,our equal error rate is slightly worse than prior systems. Our concluding hypothesis is that normalization is more important for less constrained environments.


title: Langevin method for a continuous stochastic car-following model and its stability conditions

abstract: In car-following models, the driver reacts according to his physical and psychological abilities which may change over time. However, most car-following models are deterministic and do not capture the stochastic nature of human perception. It is expected that purely deterministic traffic models may produce unrealistic results due to the stochastic driving behaviors of drivers. This paper is devoted to the development of a distinct car-following model where a stochastic process is adopted to describe the time-varying random acceleration which essentially reflects the random individual perception of driver behavior with respect to the leading vehicle over time. In particular, we apply coupled Langevin equations to model complex human driver behavior. In the proposed model, an extended Cox-Ingersoll-Ross (CIR) stochastic process will be used to describe the stochastic speed of the follower in response to the stimulus of the leader. An important property of the extended CIR process is to enhance the non-negative properties of the stochastic traffic variables (e.g. non-negative speed) for any arbitrary model parameters. Based on stochastic process theories, we derive stochastic linear stability conditions which, for the first time, theoretically capture the effect of the random parameter on traffic instabilities. Our stability results conform to the empirical results that the traffic instability is related to the stochastic nature of traffic flow at the low speed conditions, even when traffic is deemed to be stable from deterministic models.


title: On k-Noetherian and k-Artinian Semirings

abstract: We investigate left k-Noetherian and left k-Artinian semirings. We characterize such semirings using i-injective semimodules. We prove in particular, a partial version of the celebrated Bass-Papp Theorem for semiring. We illustrate our main results by examples and counter examples.


title: A KK-theoretic perspective on deformed Dirac operators

abstract: We study the index theory of a class of perturbed Dirac operators on non-compact manifolds of the form $\mathsf{D}+\mathrm{i}\mathsf{c}(X)$, where $\mathsf{c}(X)$ is a Clifford multiplication operator by an orbital vector field with respect to the action of a compact Lie group. Our main result is that the index class of such an operator factors as a KK-product of certain KK-theory classes defined by $\mathsf{D}$ and $X$. As a corollary we obtain the excision and cobordism-invariance properties first established by Braverman. An index theorem of Braverman relates the index of $\mathsf{D}+\mathrm{i}\mathsf{c}(X)$ to the index of a transversally elliptic operator. We explain how to deduce this theorem using a recent index theorem for transversally elliptic operators due to Kasparov.


title: From quadratic Hawkes processes to super-Heston rough volatility models with Zumbach effect

abstract: Using microscopic price models based on Hawkes processes, it has been shown that under some no-arbitrage condition, the high degree of endogeneity of markets together with the phenomenon of metaorders splitting generate rough Heston-type volatility at the macroscopic scale. One additional important feature of financial dynamics, at the heart of several influential works in econophysics, is the so-called feedback or Zumbach effect. This essentially means that past trends in returns convey significant information on future volatility. A natural way to reproduce this property in microstructure modeling is to use quadratic versions of Hawkes processes. We show that after suitable rescaling, the long term limits of these processes are refined versions of rough Heston models where the volatility coefficient is enhanced compared to the square root characterizing Heston-type dynamics. Furthermore the Zumbach effect remains explicit in these limiting rough volatility models.


title: On the mathematics and physics of Mixed Spin P-Fields

abstract: We outline various developments of affine and general Landau Ginzburg models in physics. We then describe the A-twisting and coupling to gravity in terms of Algebraic Geometry. We describe constructions of various path integral measures (virtual fundamental class) using the algebro-geometric technique of cosection localization, culminating in the theory of ``Mixed Spin P (MSP) fields" developed by the authors.


title: Relativistic Spin-0 Feshbach-Villars Equations for Polynomial Potentials

abstract: We propose a solution method for studying relativistic spin-$0$ particles. We adopt the Feshbach-Villars formalism of the Klein-Gordon equation and express the formalism in an integral equation form. The integral equation is represented in the Coulomb-Sturmian basis. The corresponding Green's operator with Coulomb and linear confinement potential can be calculated as a matrix continued fraction. We consider Coulomb plus short range vector potential for bound and resonant states and linear confining scalar potentials for bound states. The continued fraction is naturally divergent at resonant state energies, but we made it convergent by an appropriate analytic continuation.


title: A Versatile Software Systolic Execution Model for GPU Memory-Bound Kernels

abstract: This paper proposes a versatile high-performance execution model, inspired by systolic arrays, for memory-bound regular kernels running on CUDA-enabled GPUs. We formulate a systolic model that shifts partial sums by CUDA warp primitives for the computation. We also employ register files as a cache resource in order to operate the entire model efficiently. We demonstrate the effectiveness and versatility of the proposed model for a wide variety of stencil kernels that appear commonly in HPC, and also convolution kernels (increasingly important in deep learning workloads). Our algorithm outperforms the top reported state-of-the-art stencil implementations, including implementations with sophisticated temporal and spatial blocking techniques, on the two latest Nvidia architectures: Tesla V100 and P100. For 2D convolution of general filter sizes and shapes, our algorithm is on average 2.5x faster than Nvidia's NPP on V100 and P100 GPUs.


title: The $\Lambda$-property of a simple arc

abstract: In 2006 P. Coulton and Y. Movshovich established an unfamilar but note-worthy general property of simple, polygonal, open arcs in the plane. We give a new and quite different proof of this property, and we consider a few generalizations.


title: Zeros of ferromagnetic 2-spin systems

abstract: We study zeros of the partition functions of ferromagnetic 2-state spin systems in terms of the external field, and obtain new zero-free regions of these systems via a refinement of Asano's and Ruelle's contraction method. The strength of our results is that they do not depend on the maximum degree of the underlying graph. Via Barvinok's method, we also obtain new efficient and deterministic approximate counting algorithms. In certain regimes, our algorithm outperforms all other methods such as Markov chain Monte Carlo and correlation decay.