title: PAC-Bayesian Bounds for Deep Gaussian Processes

abstract: Variational approximation techniques and inference for stochastic models in machine learning has gained much attention the last years. Especially in the case of Gaussian Processes (GP) and their deep versions, Deep Gaussian Processes (DGPs), these viewpoints improved state of the art work. In this paper we introduce Probably Approximately Correct (PAC)-Bayesian risk bounds for DGPs making use of variational approximations. We show that the minimization of PAC-Bayesian generalization risk bounds maximizes the variational lower bounds belonging to the specific DGP model. We generalize the loss function property of the log likelihood loss function in the context of PAC-Bayesian risk bounds to the quadratic-form-Gaussian case. Consistency results are given and an oracle-type inequality gives insights in the convergence between the raw model (predictor without variational approximation) and our variational models (predictor for the variational approximation). Furthermore, we give extensions of our main theorems for specific assumptions and parameter cases. Moreover, we show experimentally the evolution of the consistency results for two Deep Recurrent Gaussian Processes (DRGP) modeling time-series, namely the recurrent Gaussian Process (RGP) and the DRGP with Variational Sparse Spectrum approximation, namely DRGP-(V)SS.


title: Improving Quality and Efficiency in Plan-based Neural Data-to-Text Generation

abstract: We follow the step-by-step approach to neural data-to-text generation we proposed in Moryossef et al (2019), in which the generation process is divided into a text-planning stage followed by a plan-realization stage. We suggest four extensions to that framework: (1) we introduce a trainable neural planning component that can generate effective plans several orders of magnitude faster than the original planner; (2) we incorporate typing hints that improve the model's ability to deal with unseen relations and entities; (3) we introduce a verification-by-reranking stage that substantially improves the faithfulness of the resulting texts; (4) we incorporate a simple but effective referring expression generation module. These extensions result in a generation process that is faster, more fluent, and more accurate.


title: Di-Higgs Peaks and Top Valleys: Interference Effects in Higgs Sector Extensions

abstract: In models with extended scalars and CP violation, resonance searches in double Higgs final states stand in competition with related searches in top quark final states as optimal channels for the discovery of beyond the Standard Model (BSM) physics. This complementarity is particularly relevant for benchmark scenarios that aim to highlight multi-Higgs production as a standard candle for the study of BSM phenomena. In this note, we compare interference effects in $t\bar t$ final states with correlated phenomena in double Higgs production in the complex singlet and the complex 2-Higgs-Doublet Models. Our results indicate that the BSM discovery potential in di-Higgs searches can be underestimated in comparison to $t\bar t $ resonance searches. Top pair final states are typically suppressed due to destructive signal-background interference, while $hh$ final states can be enhanced due to signal-signal interference. For parameter choices where the two heavy Higgs resonances are well separated in mass, top final states are suppressed relative to the naive signal expectation, while estimates of the production cross section times branching ratio remain accurate at the ${\cal{O}}(10\%)$ level for double Higgs final states.


title: On the length of chains in a metric space

abstract: We obtain an upper bound on the minimal number of points in an $\epsilon$-chain joining two points in a metric space. This generalizes a bound due to Hambly and Kumagai (1999) for the case of resistance metric on certain self-similar fractals. As an application, we deduce a condition on $\epsilon$-chains introduced by Grigor'yan and Telcs (2012). This allows us to obtain sharp bounds on the heat kernel for spaces satisfying the parabolic Harnack inequality without assuming further conditions on the metric. A snowflake transform on the Euclidean space shows that our bound is sharp.


title: Holomorphicity of real Kaehler submanifolds

abstract: Let $f\colon M^{2n}\to\mathbb{R}^{2n+p}$ denote an isometric immersion of a Kaehler manifold of complex dimension $n\geq 2$ into Euclidean space with codimension $p$. If $2p\leq 2n-1$, we show that generic rank conditions on the second fundamental form of the submanifold imply that $f$ has to be a minimal submanifold. In fact, for codimension $p\leq 11$ we prove that $f$ must be holomorphic with respect to some complex structure in the ambient space.


title: Conformal Kaehler Euclidean submanifolds

abstract: Let $f\colon M^{2n}\to\mathbb{R}^{2n+\ell}$, $n \geq 5$, denote a conformal immersion into Euclidean space with codimension $\ell$ of a Kaehler manifold of complex dimension $n$ and free of flat points. For codimensions $\ell=1,2$ we show that such a submanifold can always be locally obtained in a rather simple way, namely, from an isometric immersion of the Kaehler manifold $M^{2n}$ into either $\mathbb{R}^{2n+1}$ or $\mathbb{R}^{2n+2}$, the latter being a class of submanifolds already extensively studied.


title: Quantum Hall response to time-dependent strain gradients in graphene

abstract: Mechanical deformations of graphene induce a term in the Dirac Hamiltonian which is reminiscent of an electromagnetic vector potential. Strain gradients along particular lattice directions induce local pseudomagnetic fields and substantial energy gaps as indeed observed experimentally. Expanding this analogy, we propose to complement the pseudomagnetic field by a pseudoelectric field, generated by a time dependent oscillating stress applied to a graphene ribbon. The joint Hall-like response to these crossed fields results in a strain-induced charge current along the ribbon. We analyze in detail a particular experimental implementation in the (pseudo) quantum Hall regime with weak intervalley scattering. This allows us to predict an (approximately) quantized Hall current which is unaffected by screening due to diffusion currents.


title: Entanglement-Assisted Capacity of Quantum Channels with Side Information

abstract: Entanglement-assisted communication over a random-parameter quantum channel with either causal or non-causal channel side information (CSI) at the encoder is considered. This describes a scenario where the quantum channel depends on the quantum state of the input environment. While Bob, the decoder, has no access to this state, Alice, the transmitter, performs a sequence of projective measurements on her environment and encodes her message accordingly. Dupuis established the entanglement-assisted capacity with non-causal CSI. Here, we establish characterization in the causal setting, and also give an alternative proof technique and further observations for the non-causal setting.


title: Improving OOV Detection and Resolution with External Language Models in Acoustic-to-Word ASR

abstract: Acoustic-to-word (A2W) end-to-end automatic speech recognition (ASR) systems have attracted attention because of an extremely simplified architecture and fast decoding. To alleviate data sparseness issues due to infrequent words, the combination with an acoustic-to-character (A2C) model is investigated. Moreover, the A2C model can be used to recover out-of-vocabulary (OOV) words that are not covered by the A2W model, but this requires accurate detection of OOV words. A2W models learn contexts with both acoustic and transcripts; therefore they tend to falsely recognize OOV words as words in the vocabulary. In this paper, we tackle this problem by using external language models (LM), which are trained only with transcriptions and have better linguistic information to detect OOV words. The A2C model is used to resolve these OOV words. Experimental evaluations show that external LMs have the effects of not only reducing errors but also increasing the number of detected OOV words, and the proposed method significantly improves performances in English conversational and Japanese lecture corpora, especially for out-of-domain scenario. We also investigate the impact of the vocabulary size of A2W models and the data size for training LMs. Moreover, our approach can reduce the vocabulary size several times with marginal performance degradation.


title: An o-minimalist view of the group configuration

abstract: The group configuration in o-minimal structures gives rise, just like in the stable case, to a transitive action of a type-definable group on a partial type. Because $acl=dcl$ the o-minimal proof is significantly simpler than Hrushovski's original argument. Several equivalent versions, which are more suitable to the o-minimal setting, are formulated, in functional language and also in terms of a certain $4$-ary relation. In addition, the following question is considered: Can every definably connected type-definable group be definably embedded into a definable group of the same dimension? Two simple cases with a positive answer are given.


title: Colloidal Deposit of an Evaporating Sessile Droplet on a Non-uniformly Heated Substrate

abstract: The pattern and profile of a dried colloidal deposit formed after evaporation of a sessile water droplet containing polystyrene particles on a non-uniformly heated glass are investigated experimentally. In particular, the effects of temperature gradient across the substrate and particles size are investigated. The temperature gradient was imposed using Peltier coolers, and side visualization, infrared thermography, optical microscopy, and optical profilometry were employed to collect the data. On a uniformly heated substrate, a ring with an inner deposit is obtained, which is attributed to axisymmetric Marangoni recirculation and consistent with previous reports. However, the dimensions of the ring formed on a non-uniformly heated substrate are significantly different on the hot and cold side of the substrate and are found to be a function of the temperature gradient and particles size. In the case of smaller particle size, the contact line on hot side depins and together with twin asymmetric Marangoni recirculations, it results in a larger ring width on the cold side as compared to the hot side. In contrast, the contact line remains pinned in case of larger particles, and the twin asymmetric Marangoni recirculations advect more particles on the hot side, resulting in a larger ring width at the hot side. A mechanistic model is employed to explain why the depinning is dependent on the particle size. A larger temperature gradient significantly increases or decreases the ring width depending on the particle size, due to a stronger intensity recirculation. A regime map is proposed for the deposit patterns on temperature gradient-particle size plane to classify the deposits.


title: Dimension reduction in spatial regression with kernel SAVE method

abstract: We consider the smoothed version of sliced average variance estimation (SAVE) dimension reduction method for dealing with spatially dependent data that are observations of a strongly mixing random field. We propose kernel estimators for the interest matrix and the effective dimension reduction (EDR) space, and show their consistency.


title: Spherical varieties and norm relations in Iwasawa theory

abstract: Norm-compatible families of cohomology classes for Shimura varieties, and other arithmetic symmetric spaces, play an important role in Iwasawa theory of automorphic forms. The aim of this note is to give a systematic approach to proving "vertical" norm-compatibility relations for such classes (where the level varies at a fixed prime p), treating the case of Betti and \'etale cohomology at once, and revealing an unexpected relation to the theory of spherical varieties. This machinery can be used to construct many new examples of norm-compatible families, potentially giving rise to new constructions of both Euler systems and p-adic L-functions: examples include families of algebraic cycles on Shimura varieties for U(n) x U(n+1) and U(2n) over the p-adic anticyclotomic tower.


title: Double Anchor R-CNN for Human Detection in a Crowd

abstract: Detecting human in a crowd is a challenging problem due to the uncertainties of occlusion patterns. In this paper, we propose to handle the crowd occlusion problem in human detection by leveraging the head part. Double Anchor RPN is developed to capture body and head parts in pairs. A proposal crossover strategy is introduced to generate high-quality proposals for both parts as a training augmentation. Features of coupled proposals are then aggregated efficiently to exploit the inherent relationship. Finally, a Joint NMS module is developed for robust post-processing. The proposed framework, called Double Anchor R-CNN, is able to detect the body and head for each person simultaneously in crowded scenarios. State-of-the-art results are reported on challenging human detection datasets. Our model yields log-average miss rates (MR) of 51.79pp on CrowdHuman, 55.01pp on COCOPersons~(crowded sub-dataset) and 40.02pp on CrowdPose~(crowded sub-dataset), which outperforms previous baseline detectors by 3.57pp, 3.82pp, and 4.24pp, respectively. We hope our simple and effective approach will serve as a solid baseline and help ease future research in crowded human detection.


title: Tag-based Semantic Features for Scene Image Classification

abstract: The existing image feature extraction methods are primarily based on the content and structure information of images, and rarely consider the contextual semantic information. Regarding some types of images such as scenes and objects, the annotations and descriptions of them available on the web may provide reliable contextual semantic information for feature extraction. In this paper, we introduce novel semantic features of an image based on the annotations and descriptions of its similar images available on the web. Specifically, we propose a new method which consists of two consecutive steps to extract our semantic features. For each image in the training set, we initially search the top $k$ most similar images from the internet and extract their annotations/descriptions (e.g., tags or keywords). The annotation information is employed to design a filter bank for each image category and generate filter words (codebook). Finally, each image is represented by the histogram of the occurrences of filter words in all categories. We evaluate the performance of the proposed features in scene image classification on three commonly-used scene image datasets (i.e., MIT-67, Scene15 and Event8). Our method typically produces a lower feature dimension than existing feature extraction methods. Experimental results show that the proposed features generate better classification accuracies than vision based and tag based features, and comparable results to deep learning based features.


title: Cutting the Unnecessary Long Tail: Cost-Effective Big Data Clustering in the Cloud

abstract: Clustering big data often requires tremendous computational resources where cloud computing is undoubtedly one of the promising solutions. However, the computation cost in the cloud can be unexpectedly high if it cannot be managed properly. The long tail phenomenon has been observed widely in the big data clustering area, which indicates that the majority of time is often consumed in the middle to late stages in the clustering process. In this research, we try to cut the unnecessary long tail in the clustering process to achieve a sufficiently satisfactory accuracy at the lowest possible computation cost. A novel approach is proposed to achieve cost-effective big data clustering in the cloud. By training the regression model with the sampling data, we can make widely used k-means and EM (Expectation-Maximization) algorithms stop automatically at an early point when the desired accuracy is obtained. Experiments are conducted on four popular data sets and the results demonstrate that both k-means and EM algorithms can achieve high cost-effectiveness in the cloud with our proposed approach. For example, in the case studies with the much more efficient k-means algorithm, we find that achieving a 99% accuracy needs only 47.71%-71.14% of the computation cost required for achieving a 100% accuracy while the less efficient EM algorithm needs 16.69%-32.04% of the computation cost. To put that into perspective, in the United States land use classification example, our approach can save up to $94,687.49 for the government in each use.


title: Hacking the quantum key distribution system by exploiting the avalanche transition region of single photon detectors

abstract: Avalanche photodiode based single photon detectors, as crucial and practical components, are widely used in quantum key distribution (QKD) systems. For effective detection, most of these SPDs are operated in the gated mode, in which the gate is added to obtain high avalanche gain, and is removed to quench the avalanche. The avalanche transition region (ATR) is a certain existence in the process of adding and removing the gate. We first experimentally investigate the characteristic of the ATR, including in the commercial SPD and high-speed SPD, and then propose an ATR attack to control the detector. In the experiment of hacking the plug-and-play QKD system, Eve only introduces less than 0.5 % quantum bit error rate, and almost leaves no traces of her presence including the photocurrent and afterpulse probability. We finally give possible countermeasures against this attack.


title: Detection of gamma-ray transients with wild binary segmentation

abstract: In the context of time domain astronomy, we present an offline detection search of gamma-ray transients using a wild binary segmentation analysis called FWBSB targeting both short and long gamma-ray bursts (GRBs) and covering the soft and hard gamma-ray bands. We use NASA Fermi/GBM archival data as a training and testing data set. This paper describes the analysis applied to the 12 NaI detectors of the Fermi/GBM instrument. This includes background removal, change-point detection that brackets the peaks of gamma-ray flares, the evaluation of significance for each individual GBM detector and the combination of the results among the detectors. We also explain the calibration of the 10 parameters present in the method using one week of archival data. Finally, we present our detection performance result for 60 days of a blind search analysis with FWBSB by comparing to both the on-board and offline GBM search as well as external events found by others surveys such as Swift-BAT. We detect 42/44 on-board GBM{events but also other gamma-ray flares at a rate of 1 per hour in the 4-50 keV band. Our results show that FWBSB is capable of recovering gamma-ray flares, including the detection of soft X-ray long transients. FWBSB offers an independent identification of GRBs in combination with methods for determining spectral and temporal properties of the transient as well as localization. This is particularly useful for increasing the GRB rate and that will help the joint detection with gravitational-wave events.


title: Some aspects of modified theory of gravity in Palatini formalism unveiled

abstract: Under conformal transformation, f(R) theory of gravity in Palatini formalism leads to a Brans-Dicke type of scalar-tensor equivalent theory with a wrong sign in the effective kinetic energy term. This means, the effective scalar acts as the dark energy and so late-time cosmic acceleration in matter-dominated era is accountable. However, we unveil some aspects of Palatini formalism, which clearly reveals the fact that the formalism is not suitable to explain the cosmological evolution of the early universe with $f(\mathfrak{R})$ gravity alone. Additionally, it is noticed that some authors, in an attempt to explore Noether symmetry of the theory changed the sign of the kinetic term and hence obtained the wrong answer. Here, we make the correction and unmask a very interesting aspect of symmetry analysis.


title: Randomized Gathering of Asynchronous Mobile Robots

abstract: This paper revisits the widely researched \textit{gathering} problem for two robots in a scenario which allows randomization in the asynchronous scheduling model. The scheduler is considered to be the adversary which determines the activation schedule of the robots. The adversary comes in two flavors, namely, oblivious and adaptive, based on the knowledge of the outcome of random bits. The robots follow \textit{wait-look-compute-move} cycle. In this paper, we classify the problems based on the capability of the adversary to control the parameters such as wait time, computation delay and the speed of robots and check the feasibility of gathering in terms of adversarial knowledge and capabilities. The main contributions include the possibility of gathering for an oblivious adversary with (i) zero computation delay; (ii) the sum of wait time and computation delay is more than a positive value. We complement the possibilities with an impossibility. We show that it is impossible for the robots to gather against an adaptive adversary with non-negative wait time and non-negative computation delay. Finally, we also extend our algorithm for multiple robots with merging.


title: Incremental Fairness in Two-Sided Market Platforms: On Smoothly Updating Recommendations

abstract: Major online platforms today can be thought of as two-sided markets with producers and customers of goods and services. There have been concerns that over-emphasis on customer satisfaction by the platforms may affect the well-being of the producers. To counter such issues, few recent works have attempted to incorporate fairness for the producers. However, these studies have overlooked an important issue in such platforms -- to supposedly improve customer utility, the underlying algorithms are frequently updated, causing abrupt changes in the exposure of producers. In this work, we focus on the fairness issues arising out of such frequent updates, and argue for incremental updates of the platform algorithms so that the producers have enough time to adjust (both logistically and mentally) to the change. However, naive incremental updates may become unfair to the customers. Thus focusing on recommendations deployed on two-sided platforms, we formulate an ILP based online optimization to deploy changes incrementally in n steps, where we can ensure smooth transition of the exposure of items while guaranteeing a minimum utility for every customer. Evaluations over multiple real world datasets show that our proposed mechanism for platform updates can be efficient and fair to both the producers and the customers in two-sided platforms.


title: Outlier-Detection Based Robust Information Fusion for Networked Systems

abstract: We consider state estimation for networked systems where measurements from sensor nodes are contaminated by outliers. A new hierarchical measurement model is formulated for outlier detection by integrating the outlier-free measurement model with a binary indicator variable. The binary indicator variable, which is assigned a beta-Bernoulli prior, is utilized to characterize if the sensor's measurement is nominal or an outlier. Based on the proposed outlier-detection measurement model, both centralized and decentralized information fusion filters are developed. Specifically, in the centralized approach, all measurements are sent to a fusion center where the state and outlier indicators are jointly estimated by employing the mean-field variational Bayesian inference in an iterative manner. In the decentralized approach, however, every node shares its information, including the prior and likelihood, only with its neighbors based on a hybrid consensus strategy. Then each node independently performs the estimation task based on its own and shared information. In addition, an approximation distributed solution is proposed to reduce the local computational complexity and communication overhead. Simulation results reveal that the proposed algorithms are effective in dealing with outliers compared with several recent robust solutions.


title: Mind the Last Spike -- Firing Rate Models for Mesoscopic Populations of Spiking Neurons

abstract: The dominant modeling framework for understanding cortical computations are heuristic firing rate models. Despite their success, these models fall short to capture spike synchronization effects, to link to biophysical parameters and to describe finite-size fluctuations. In this opinion article, we propose that the refractory density method (RDM), also known as age-structured population dynamics or quasi-renewal theory, yields a powerful theoretical framework to build rate-based models for mesoscopic neural populations from realistic neuron dynamics at the microscopic level. We review recent advances achieved by the RDM to obtain efficient population density equations for networks of generalized integrate-and-fire (GIF) neurons -- a class of neuron models that has been successfully fitted to various cell types. The theory not only predicts the nonstationary dynamics of large populations of neurons but also permits an extension to finite-size populations and a systematic reduction to low-dimensional rate dynamics. The new types of rate models will allow a re-examination of models of cortical computations under biological constraints.


title: Multi-task Learning and Catastrophic Forgetting in Continual Reinforcement Learning

abstract: In this paper we investigate two hypothesis regarding the use of deep reinforcement learning in multiple tasks. The first hypothesis is driven by the question of whether a deep reinforcement learning algorithm, trained on two similar tasks, is able to outperform two single-task, individually trained algorithms, by more efficiently learning a new, similar task, that none of the three algorithms has encountered before. The second hypothesis is driven by the question of whether the same multi-task deep RL algorithm, trained on two similar tasks and augmented with elastic weight consolidation (EWC), is able to retain similar performance on the new task, as a similar algorithm without EWC, whilst being able to overcome catastrophic forgetting in the two previous tasks. We show that a multi-task Asynchronous Advantage Actor-Critic (GA3C) algorithm, trained on Space Invaders and Demon Attack, is in fact able to outperform two single-tasks GA3C versions, trained individually for each single-task, when evaluated on a new, third task, namely, Phoenix. We also show that, when training two trained multi-task GA3C algorithms on the third task, if one is augmented with EWC, it is not only able to achieve similar performance on the new task, but also capable of overcoming a substantial amount of catastrophic forgetting on the two previous tasks.


title: Anomalies in the core level spectroscopy of a noncentrosymmetric solid, BiPd

abstract: Understanding exotic solids is a difficult task as interactions are often hidden by the symmetry of the system. Here, we study the electronic properties of a noncentrosymmetric solid, BiPd, which is a rare material exhibiting both superconductivity and topological phase of matter. Employing high resolution photoemission spectroscopy with photon energies ranging from hard x-ray to extreme ultraviolet regime, we show that hard x-ray spectroscopy alone is not enough to reveal surface-bulk differences in the electronic structure. We derived the escape depths close to the extreme surface sensitivity and find that the photon energies used for high resolution measurements such as ARPES fall in the surface sensitive regime. In addition, we discover deviation of the branching ratio of Bi core level features derived from conventional quantum theories of the core hole final states. Such paradigm shift in core level spectroscopy can be attributed to the absence of center of symmetry and spin-orbit interactions.


title: Parameter Estimation with a spinning multi-mode waveform model: IMRPhenomHM

abstract: Gravitational waves from compact binary coalescence sources can be decomposed into spherical-harmonic multipoles, the dominant being the quadrupole ($\ell=2, m=\pm2$) modes. The contribution of sub-dominant modes towards total signal power increases with increasing binary mass ratio and source inclination to the detector. It is well-known that in these cases neglecting higher modes could lead to measurement biases, but these have not yet been quantified with a higher-mode model that includes spin effects. In this study, we use the multi-mode aligned-spin phenomenological waveform model IMRPhenomHM to investigate the effects of including multi-mode content in estimating source parameters and contrast the results with using a quadrupole-only model (IMRPhenomD). We use as sources IMRPhenomHM and hybrid EOB-NR waveforms over a range of mass-ratio and inclination combinations, and recover the parameters with IMRPhenomHM and IMRPhenomD. These allow us to quantify the accuracy of parameter measurements using a multi-mode model, the biases incurred when using a quadrupole-only model to recover full (multi-mode) signals, and the systematic errors in the IMRPhenomHM model. We see that the parameters recovered by multi-mode templates are more precise for all non-zero inclinations as compared to quadrupole templates. For multi-mode injections, IMRPhenomD recovers biased parameters for non-zero inclinations with lower likelihood while IMRPhenomHM recovered parameters are accurate for most cases, and if a bias exists, it can be explained as a combined effect of observational priors and (in the case of hybrid-NR signals) waveform inaccuracies. For cases where IMRPhenomHM recovers biased parameters, the bias is always smaller than the corresponding IMRPhenomD recovery, and we conclude that IMRPhenomHM will be sufficiently accurate to allow unbiased measurements for most GW observations.


title: Electronic structure studies on single crystalline Nd2PdSi3, an exotic Nd-based intermetallic: Evidence for Nd 4f hybridization

abstract: In the series R2PdSi3, Nd2PdSi3 is an anomalous compound in the sense that it exhibits ferromagnetic order unlike other members in this family. The magnetic ordering temperature is also unusually high compared to the expected value for a Nd-based system, assuming 4f localization. Here, we have studied the electronic structure of single crystalline Nd2PdSi3 employing high resolution photoemission spectroscopy and ab initio band structure calculations. Theoretical results obtained for the effective electron correlation strength of 6 eV corroborate well with the experimental valence band spectra. While there is significant Pd 4d-Nd 4f hybridization, the states near the Fermi level are found to be dominated by hybridized Nd 4f-Si 3p states. Nd 3d core level spectrum exhibits multiple features manifesting strong final state effects due to electron correlation, charge transfer and collective excitations. These results serve as one of the rare demonstrations of hybridization of Nd 4$f$ states with the conduction electrons possibly responsible for the exoticity of this compound.


title: Is change the only constant? Profile change perspective on #LokSabhaElections2019

abstract: Users on Twitter are identified with the help of their profile attributes that consists of username, display name, profile image, to name a few. The profile attributes that users adopt can reflect their interests, belief, or thematic inclinations. Literature has proposed the implications and significance of profile attribute change for a random population of users. However, the use of profile attribute for endorsements and to start a movement have been under-explored. In this work, we consider #LokSabhaElections2019 as a movement and perform a large-scale study of the profile of users who actively made changes to profile attributes centered around #LokSabhaElections2019. We collect the profile metadata for 49.4M users for a period of 2 months from April 5, 2019 to June 5, 2019 amid #LokSabhaElections2019. We investigate how the profile changes vary for the influential leaders and their followers over the social movement. We further differentiate the organic and inorganic ways to show the political inclination from the prism of profile changes. We report how the addition of election campaign related keywords lead to spread of behavior contagion and further investigate it with respect to "Chowkidar Movement" in detail.


title: Robust Field-Only Surface Integral Equations: Scattering from a Dielectric Body

abstract: A robust and efficient field-only nonsingular surface integral method to solve Maxwell's equations for the components of the electric field on the surface of a dielectric scatterer is introduced. In this method, both the vector Helmholtz equation and the divergence-free constraint are satisfied inside and outside the scatterer. The divergence-free condition is replaced by an equivalent boundary condition that relates the normal derivatives of the electric field across the surface of the scatterer. Also, the continuity and jump conditions on the electric and magnetic fields are expressed in terms of the electric field across the surface of the scatterer. Together with these boundary conditions, the scalar Helmholtz equation for the components of the electric field inside and outside the scatterer is solved by a fully desingularized surface integral method. Comparing with the most popular surface integral methods based on the Stratton-Chu formulation or the PMCHWT formulation, our method is conceptually simpler and numerically straightforward because there is no need to introduce intermediate quantities such as surface currents and the use of complicated vector basis functions can be avoided altogether. Also, our method is not affected by numerical issues such as the zero frequency catastrophe and does not contain integrals with (strong) singularities. To illustrate the robustness and versatility of our method, we show examples in the Rayleigh, Mie, and geometrical optics scattering regimes. Given the symmetry between the electric field and the magnetic field, our theoretical framework can also be used to solve for the magnetic field.


title: Some properties of threshold eigenstates and resonant states of discrete Schr\"odinger operators

abstract: In this note, we study some properties of threshold resonant states or threshold eigenfunctions for discrete Schr\"odinger operators. We mainly prove two theorems. First, we prove that resonant states at the elliptic threshold have the same asymptotic expansion as the continuous Schr\"odinger operator. Second, we prove absence of resonant states at hyperbolic thresholds


title: Robust countermeasure against detector control attack in practical quantum key distribution system

abstract: In real-life implementations of quantum key distribution (QKD), the physical systems with unwanted imperfections would be exploited by an eavesdropper. Based on imperfections in the detectors, detector control attacks have been successfully launched on several QKD systems, and attracted widespread concerns. Here, we propose a robust countermeasure against these attacks just by introducing a variable attenuator in front of the detector. This countermeasure is not only effective against the attacks with blinding light, but also robust against the attacks without blinding light which are more concealed and threatening. Different from previous technical improvements, the single photon detector in our countermeasure model is treated as a blackbox, and the eavesdropper can be detected by statistics of the detection and error rates of the QKD system. Besides theoretical proof, the countermeasure is also supported by an experimental demonstration. Our countermeasure is general in sense that it is independent of the technical details of the detector, and can be easily applied to the existing QKD systems.


title: Online Knapsack Problems with a Resource Buffer

abstract: In this paper, we introduce online knapsack problems with a resource buffer. In the problems, we are given a knapsack with capacity $1$, a buffer with capacity $R\ge 1$, and items that arrive one by one. Each arriving item has to be taken into the buffer or discarded on its arrival irrevocably. When every item has arrived, we transfer a subset of items in the current buffer into the knapsack. Our goal is to maximize the total value of the items in the knapsack. We consider four variants depending on whether items in the buffer are removable (i.e., we can remove items in the buffer) or non-removable, and proportional (i.e., the value of each item is proportional to its size) or general. For the general&non-removable case, we observe that no constant competitive algorithm exists for any $R\ge 1$. For the proportional&non-removable case, we show that a simple greedy algorithm is optimal for every $R\ge 1$. For the general&removable and the proportional&removable cases, we present optimal algorithms for small $R$ and give asymptotically nearly optimal algorithms for general $R$.


title: What do adoption patterns of solar panels observed so far tell about governments' incentive? insight from diffusion models

abstract: The paper uses diffusion models to understand the main determinants of diffusion of solar photovoltaic panels (SPP) worldwide, focusing on the role of public incentives. We applied the generalized Bass model (GBM) to adoption data of 26 countries between 1992-2016. The SPP market appears as a frail and complicate one, lacking public media support. Even the major shocks in adoption curves, following state incentive implemented after 2006, failed to go beyond short-term effects and therefore were unable to provide sustained momentum to the market. This suggests that further barriers to adoption should be removed.


title: Ship resistance when operating in floating ice floes: a combined CFD&DEM approach

abstract: Whilst climate change is transforming the Arctic into a navigable ocean where small ice floes are floating on the sea surface, the effect of such ice conditions on ship performance has yet to be understood. The present work combines a set of numerical methods to simulate the ship-wave-ice interaction in such ice conditions. Particularly, Computational Fluid Dynamics is applied to provide fluid solutions for the floes and it is incorporated with the Discrete Element Method to govern ice motions and account for ship-ice/ice-ice collisions, by which, the proposed approach innovatively includes wave effects in the interaction. In addition, this work introduces two algorithms that can implement computational models with natural ice-floe fields, which takes randomness into consideration thus achieving high-fidelity modelling of the problem. Following validation against experiments, the model is shown accurate in predicting the ice-floe resistance of a ship, and then a series of simulations are performed to investigate how the resistance is influenced by ship speed, ice concentration, ice thickness and floe diameter. This paper presents a useful approach that can provide power estimates for Arctic shipping and has the potential to facilitate other polar engineering purposes.


title: The Reactive and Radiation Electromagnetic Energies of Antennas: a New Formulation

abstract: It is required to calculate the stored reactive energy of an antenna in order to evaluate its Q factor. Although it has been investigated for a long time, some issues still need further clarifying. The main difficulty involved is that the reactive energy of an antenna tends to become infinitely large when integrating the conventionally defined energy density in the whole space outside a small sphere containing the antenna. The reactive energy can be made bounded by subtracting an additional term associated with the radiation fields. However, there exists no well-founded accurate definition for this additional term that is valid for all cases. By re-checking the definition of energy densities, a new formulation is proposed in this paper to separate the reactive energy and the radiation energy explicitly. The clearly defined reactive energy is bounded without necessary to subtract the additional term, and the formulae are easy to implement.


title: Critical counterexamples for linear wave equations with time-dependent propagation speed

abstract: We investigate an abstract wave equation with a time-dependent propagation speed, and we consider both the non-dissipative case, and the case with a strong damping that depends on a power of the elastic operator. Previous results show that, depending on the values of the parameters and on the time regularity of the propagation speed, this equation exhibits either well-posedness in Sobolev spaces, or well-posedness in Gevrey spaces, or ill-posedness with severe derivative loss. In this paper we examine some critical cases that were left open by the previous literature, and we show that they fall into the pathological regime. The construction of the counterexamples requires a redesign from scratch of the basic ingredients, and a suitable application of Baire category theorem in place of the usual iteration scheme.


title: Beyond ranking nodes: Predicting epidemic outbreak sizes by network centralities

abstract: Identifying important nodes for disease spreading is a central topic in network epidemiology. We investigate how well the position of a node, characterized by standard network measures, can predict its epidemiological importance in any graph of a given number of nodes. This is in contrast to other studies that deal with the easier prediction problem of ranking nodes by their epidemic importance in given graphs. As a benchmark for epidemic importance, we calculate the exact expected outbreak size given a node as the source. We study exhaustively all graphs of a given size, so do not restrict ourselves to certain generative models for graphs, nor to graph data sets. Due to the large number of possible nonisomorphic graphs of a fixed size, we are limited to 10-node graphs. We find that combinations of two or more centralities are predictive ($R^2$ scores of 0.91 or higher) even for the most difficult parameter values of the epidemic simulation. Typically, these successful combinations include one normalized spectral centralities (such as PageRank or Katz centrality) and one measure that is sensitive to the number of edges in the graph.


title: A simultaneous feedback and feed-forward control and its application to realize a random walk on the Bloch sphere in a superconducting Xmon-qubit system

abstract: Measurement-based feedback control is central in quantum computing and precise quantum control. Here we realize a fast and flexible field-programmable-gate-array-based feedback control in a superconducting Xmon qubit system. The latency of room-temperature electronics is custom optimized to be as short as 140 ns. Projective measurement of a signal qubit produces a feedback tag to actuate a conditional pulse gate to the qubit. In a feed-forward process, the measurement-based feedback tag is brought to a different target qubit for a conditional control. In a two-qubit experiment, the feedback and feed-forward controls are simultaneously actuated in consecutive steps. A quantum number is then generated by the signal qubit, and a random walk of the target qubit is correspondingly triggered and realized on the Bloch sphere. Our experiment provides a conceptually simple and intuitive benchmark for the feedback control in a multi-qubit system. The feedback system can be further scaled up for more complex feedback control experiments.


title: Towards Interpreting Recurrent Neural Networks through Probabilistic Abstraction

abstract: Neural networks are becoming a popular tool for solving many real-world problems such as object recognition and machine translation, thanks to its exceptional performance as an end-to-end solution. However, neural networks are complex black-box models, which hinders humans from interpreting and consequently trusting them in making critical decisions. Towards interpreting neural networks, several approaches have been proposed to extract simple deterministic models from neural networks. The results are not encouraging (e.g., low accuracy and limited scalability), fundamentally due to the limited expressiveness of such simple models. In this work, we propose an approach to extract probabilistic automata for interpreting an important class of neural networks, i.e., recurrent neural networks. Our work distinguishes itself from existing approaches in two important ways. One is that probability is used to compensate for the loss of expressiveness. This is inspired by the observation that human reasoning is often `probabilistic'. The other is that we adaptively identify the right level of abstraction so that a simple model is extracted in a request-specific way. We conduct experiments on several real-world datasets using state-of-the-art architectures including GRU and LSTM. The result shows that our approach significantly improves existing approaches in terms of accuracy or scalability. Lastly, we demonstrate the usefulness of the extracted models through detecting adversarial texts.


title: Distribution-free consistent independence tests via center-outward ranks and signs

abstract: This paper investigates the problem of testing independence of two random vectors of general dimensions. For this, we give for the first time a distribution-free consistent test. Our approach combines distance covariance with the center-outward ranks and signs developed in Hallin (2017). In technical terms, the proposed test is consistent and distribution-free in the family of multivariate distributions with nonvanishing (Lebesgue) probability densities. Exploiting the (degenerate) U-statistic structure of the distance covariance and the combinatorial nature of Hallin's center-outward ranks and signs, we are able to derive the limiting null distribution of our test statistic. The resulting asymptotic approximation is accurate already for moderate sample sizes and makes the test implementable without requiring permutation. The limiting distribution is derived via a more general result that gives a new type of combinatorial non-central limit theorem for double- and multiple-indexed permutation statistics.


title: The Effect of Warm Dark Matter on Early Star Formation Histories of Massive Galaxies: Predictions from the CROC Simulations

abstract: Several massive ($M_{*} > 10^8 M_{\odot}$), high-redshift ($z = 8-10$) galaxies have recently been discovered to contain stars with ages of several hundred million years, pushing the onset of star formation in these galaxies back to $z\sim15$. The very existence of stars formed so early may serve as a test for cosmological models with suppressed small-scale power (and, hence, late formation of cosmic structure). We explore the ages of the oldest stars in numerical simulations from the Cosmic Reionization On Computers (CROC) project with cold dark matter (CDM) and two warm dark matter (WDM) cosmologies with 3 and 6 keV particles. There are statistically significant differences of $\sim 5\;{\rm Myr}$ between average stellar ages of massive galaxies in CDM and 3 keV WDM, while CDM and 6 keV WDM are statistically indistinguishable. Even this 5 Myr difference, however, is much less than current observational uncertainties on the stellar population properties of high-redshift galaxies. The age distributions of all galaxies in all cosmologies fail to produce a substantial Balmer break, although uncertainties in dust attenuation are a potentially significant factor. Finally, we assess the convergence of our simulation predictions and find that the systematic uncertainties on individual galaxy properties are comparable to the differences between cosmologies, suggesting these differences may not be numerically robust.


title: Spatially entangled Airy photons

abstract: Over the past decade, Airy beams have been the subject of extensive research, leading to new physical insights and various applications. In this letter, we extend the concept of Airy beams to the quantum domain. We generate entangled photons in a superposition of two-photon Airy states via spontaneous parametric down conversion, pumped by a classical Airy beam. We show that the entangled Airy photons preserve the intriguing properties of classical Airy beams, such as free acceleration and reduced diffraction, while exhibiting non-classical anti-correlations.


title: Invariant solutions of a nonlinear wave equation with a small dissipation obtained via approximate symmetries

abstract: In this paper, it is shown how a combination of approximate symmetries of a nonlinear wave equation with small dissipations and singularity analysis provides exact analytic solutions. We perform the analysis using the Lie symmetry algebra of this equation and identify the conjugacy classes of the one-dimensional subalgebras of this Lie algebra. We show that the subalgebra classification of the integro-differential form of the nonlinear wave equation is much larger than the one obtained from the original wave equation. A systematic use of the symmetry reduction method allows us to find new invariant solutions of this wave equation.


title: A solution to Flinn's conjecture on weakly expansive flows

abstract: In L.W. Flinn's PhD thesis published in 1972, the author conjectured that weakly expansive flows are also expansive flows. In this paper we use the horocycle flow on compact Riemann surfaces of constant negative curvature to show that Flinn's conjecture is not true.


title: Extended Einstein diffusion-mobility equation for two-dimensional Schr\"odinger-type quantum materials

abstract: We present the exact analytical equation of diffusion-mobility for two-dimensional (2D) Schr\"odinger type transport systems, from molecules to materials. The density of electronic states in such Schr\"odinger systems pertains to the 2D non-relativistic carrier dynamics. We implement the Gaussian function into carrier density derivation; accordingly we develop the electronic compressibility and diffusion-mobility for both the generic and the degenerate Fermi systems. This model is originally developed from generalized Einstein relation, along with concern about the thermodynamic effects on many-body interactions. The effect of interactions is included through the imperfect Fermi-gas entropy function. Our extended model explains the cooperative behavior of thermal and electronic counterparts on diffusion-mobility in disordered systems at wide temperature range. Using earlier experimental and theoretical results, we have shown the validity of our extended Einstein model for different 2D degenerate systems. The results validate the original Einstein equation at certain sets of temperature and chemical potential values for different Gaussian variances. Beyond those combinations, the deviation is observed. At very low temperature, the diffusion-mobility depends only on chemical potential, which is the extended Einstein equation for ideal quantum materials.


title: Trichromatic and Tri-polarization-channel Holography with Non-interleaved Dielectric Metasurface

abstract: Metasurfaces hold great potentials for advanced holographic display with extraordinary information capacity and pixel sizes in an ultrathin flat profile. Dual-polarization channel to encode two independent phase profiles or spatially multiplexed meta-holography by interleaved metasurfaces are captivated popular solutions to projecting multiplexed and vectorial images. However, the intrinsic limit of orthogonal polarization-channels, their crosstalk due to coupling between meta-atoms, and interleaving-induced degradation of efficiency and reconstructed image quality set great barriers for sophisticated meta-holography from being widely adopted. Here we report a non-interleaved TiO2 metasurface holography, and three distinct phase profiles are encoded into three orthogonal polarization bases with almost zero crosstalk. The corresponding three independently constructed intensity profiles are therefore assigned to trichromatic (RGB) beams, resulting in high-quality and high-efficiency vectorial meta-holography in the whole visible regime. Our strategy presents an unconventionally advanced holographic scheme by synergizing trichromatic colors and tri-polarization channels, simply realized with a minimalist non-interleaved metasurface. Our work unlocks the metasurface's potentials on massive information storage, polarization optics, polarimetric imaging, holographic data encryption, etc.


title: LuNet: A Deep Neural Network for Network Intrusion Detection

abstract: Network attack is a significant security issue for modern society. From small mobile devices to large cloud platforms, almost all computing products, used in our daily life, are networked and potentially under the threat of network intrusion. With the fast-growing network users, network intrusions become more and more frequent, volatile and advanced. Being able to capture intrusions in time for such a large scale network is critical and very challenging. To this end, the machine learning (or AI) based network intrusion detection (NID), due to its intelligent capability, has drawn increasing attention in recent years. Compared to the traditional signature-based approaches, the AI-based solutions are more capable of detecting variants of advanced network attacks. However, the high detection rate achieved by the existing designs is usually accompanied by a high rate of false alarms, which may significantly discount the overall effectiveness of the intrusion detection system. In this paper, we consider the existence of spatial and temporal features in the network traffic data and propose a hierarchical CNN+RNN neural network, LuNet. In LuNet, the convolutional neural network (CNN) and the recurrent neural network (RNN) learn input traffic data in sync with a gradually increasing granularity such that both spatial and temporal features of the data can be effectively extracted. Our experiments on two network traffic datasets show that compared to the state-of-the-art network intrusion detection techniques, LuNet not only offers a high level of detection capability but also has a much low rate of false positive-alarm.


title: Classification of links with Khovanov homology of minimal rank

abstract: If L is an oriented link with $n$ components, then the rank of its Khovanov homology is at least $2^n$. We classify all the links whose Khovanov homology with Z/2-coefficients achieves this lower bound, and show that such links can be obtained by iterated connected sums and disjoint unions of Hopf links and unknots. This gives a positive answer to a question asked by Batson and Seed.


title: A Game-Theoretic Analysis of the Social Impact of Connected and Automated Vehicles

abstract: In this paper, we address the much-anticipated deployment of connected and automated vehicles (CAVs) in society by modeling and analyzing the social-mobility dilemma in a game-theoretic approach. We formulate this dilemma as a normal-form game of players making a binary decision: whether to travel with a CAV (CAV travel) or not (non-CAV travel) and by constructing an intuitive payoff function inspired by the socially beneficial outcomes of a mobility system consisting of CAVs. We show that the game is equivalent to the Prisoner's dilemma, which implies that the rational collective decision is the opposite of the socially optimum. We present two different solutions to tackle this phenomenon: one with a preference structure and the other with institutional arrangements. In the first approach, we implement a social mechanism that incentivizes players to non-CAV travel and derive a lower bound on the players that ensures an equilibrium of non-CAV travel. In the second approach, we investigate the possibility of players bargaining to create an institution that enforces non-CAV travel and show that as the number of players increases, the incentive ratio of non-CAV travel over CAV travel tends to zero. We conclude by showcasing the last result with a numerical study.


title: In-hand Sliding Regrasp with Spring-Sliding Compliance

abstract: We investigate in-hand regrasping by pushing an object against an external constraint and allowing sliding at the fingertips. Each fingertip is modeled as attached to a multidimensional spring mounted to a position-controlled anchor. Spring compliance maps contact forces to spring compressions, ensuring the fingers remain in contact, and sliding "compliance" governs the relationship between sliding motions and tangential contact forces. A spring-sliding compliant regrasp is achieved by controlling the finger anchor motions. We derive the fingertip sliding mechanics for multifingered sliding regrasps and analyze robust regrasping conditions in the presence of finger contact wrench uncertainties. The results are verified in simulation and experiment with a two-fingered sliding regrasp designed to maximize robustness of the operation.


title: Using Machine Learning to Predict Realized Variance

abstract: In this paper we formulate a regression problem to predict realized volatility by using option price data and enhance VIX-styled volatility indices' predictability and liquidity. We test algorithms including regularized regression and machine learning methods such as Feedforward Neural Networks (FNN) on S&P 500 Index and its option data. By conducting a time series validation we find that both Ridge regression and FNN can improve volatility indexing with higher prediction performance and fewer options required. The best approach found is to predict the difference between the realized volatility and the VIX-styled index's prediction rather than to predict the realized volatility directly, representing a successful combination of human learning and machine learning. We also discuss suitability of different regression algorithms for volatility indexing and applications of our findings.


title: Model Reference Adaptive Control Allocation for Constrained Systems with Guaranteed Closed Loop Stability

abstract: This paper proposes an adaptive control allocation approach for uncertain over-actuated systems with actuator saturation. The proposed method does not require uncertainty estimation or a persistent excitation assumption. Using the element-wise non-symmetric projection algorithm, the adaptive parameters are restricted to satisfy certain optimality conditions leading to overall closed loop system stability. Furthermore, a sliding mode controller with a time-varying sliding surface, working in tandem with the adaptive control allocation, is proposed to guarantee the outer loop stability and reference tracking in the presence of control allocation errors and disturbances. Simulation results are provided, where the Aerodata Model in Research Environment is used as an over-actuated system with actuator saturation, to demonstrate the effectiveness of the proposed method.


title: On the reconstruction of motion of a binary star moving in the external gravitational field of Kerr black hole by its redshift

abstract: We present a research of the time evolution of the redshift of light received from the binary star that moves in the external gravitational field of Kerr black hole. We formulate a method for the solution of inverse problem: calculating of the parameters of relative motion of stars in binary system using the redshift data. The considered formalism has no restrictions on the character of the motion of the center of mass of a compact binary star and can be applied even in the case of binary motion close to the event horizon of a supermassive black hole. The efficiency of the method is illustrated on a numerical model with plausible parameters for the binary systems and for the supermassive black hole, which is located in the center of our Galaxy.


title: Quantum Majorization on Semifinite von Neumann Algebras

abstract: We extend Gour et al's characterization of quantum majorization via conditional min-entropy to the context of semifinite von Neumann algebras. Our method relies on a connection between conditional min-entropy and operator space projective tensor norm for injective von Neumann algebras. This approach also connects the tracial Hahn-Banach theorem of Helton, Klep and McCullough to noncommutative vector-valued $L_1$-space.


title: Contributions of the LAGO Collaboration to the 36th ICRC

abstract: The LAGO (Latin American Giant Observatory) observatory is an experiment that spans over Latin America in a wide range of latitudes that gives different rigidity cut offs for the enter of cosmic rays in the atmosphere. The motivation of the Observatory is to study atmospheric radiation and space weather through the measurement of the secondary emission of low energy cosmic rays at ground level using Water Cherenkov Detectors (WCD). This work presents the contributions of the LAGO collaboration to the 2019 36th ICRC.


title: Gravitational waves from first order cosmological phase transitions in the Sound Shell Model

abstract: We calculate gravitational wave power spectra from first order early Universe phase transitions using the Sound Shell Model. The model predicts that the power spectrum depends on the mean bubble separation, the phase transition strength, the phase boundary speed, with the overall frequency scale set by the nucleation temperature. There is also a dependence on the time evolution of the bubble nucleation rate. The gravitational wave peak power and frequency are in good agreement with published numerical simulations, where bubbles are nucleated simultaneously. Agreement is particularly good for detonations, but the total power for deflagrations is predicted higher than numerical simulations show, indicating refinement of the model of the transfer of energy to the fluid is needed for accurate computations. We show how the time-dependence of the bubble nucleation rate affects the shape of the power spectrum: an exponentially rising nucleation rate produces higher amplitude gravitational waves at a longer wavelength than simultaneous nucleation. We present an improved fit for the predicted gravitational wave power spectrum in the form of a double broken power law, where the two breaks in the slope happen at wavenumber corresponding to the mean bubble separation and the thickness of the fluid shell surrounding the expanding bubbles, which in turn is related to the difference of the phase boundary speed from the speed of sound.


title: Veronese subsequent analytic solutions of the $\mathbb{C}P^{2s}$ sigma model equations described via Krawtchouk polynomials

abstract: The objective of this paper is to establish a new relationship between the Veronese subsequent analytic solutions of the Euclidean $\mathbb{C}P^{2s}$ sigma model in two dimensions and the orthogonal Krawtchouk polynomials. We show that such solutions of the $\mathbb{C}P^{2s}$ model, defined on the Riemann sphere and having a finite action, can be explicitly parametrised in terms of these polynomials. We apply the obtained results to the analysis of surfaces associated with $\mathbb{C}P^{2s}$ sigma models, defined using the generalized Weierstrass formula for immersion. We show that these surfaces are spheres immersed in the $\mathfrak{su}(2s+1)$ Lie algebra, and express several other geometrical characteristics in terms of the Krawtchouk polynomials. Finally, a new connection between the $\mathfrak{su}(2)$ spin-s representation and the $\mathbb{C}P^{2s}$ model is explored in detail. It is shown that for any given holomorphic vector function in $\mathbb{C}^{2s+1}$ written as a Veronese sequence, it is possible to derive subsequent solutions of the $\mathbb{C}P^{2s}$ model through algebraic recurrence relations which turn out to be simpler than the analytic relations known in the literature.


title: Algebras for enriched $\infty$-operads

abstract: Using the description of enriched $\infty$-operads as associative algebras in symmetric sequences, we define algebras for enriched $\infty$-operads as certain modules in symmetric sequences. For $\mathbf{V}$ a nice symmetric monoidal model category, we prove that strict algebras for $\Sigma$-cofibrant operads in $\mathbf{V}$ are equivalent to algebras in the associated symmetric monoidal $\infty$-category in this sense. We also show that $\mathcal{O}$-algebras in $\mathcal{V}$ can equivalently be described as morphisms of $\infty$-operads from $\mathcal{O}$ to endomorphism operads of (families of) objects of $\mathcal{V}$.


title: Special unextendible entangled bases with continuous integer cardinality

abstract: Special unextendible entangled basis of "type $k$" (SUEBk), a set of incomplete orthonormal special entangled states of "type $k$" whose complementary space has no special entangled state of "type $k$". This concept can be seem as a generalization of the unextendible product basis (UPB) introduced by Bennett et al. in [ Phys. Rev. Lett. \textbf{82}, 5385(1999) ] and the unextendible maximally entangled basis (UMEB) introduced by Bravyi and Smolin in [Phys. Rev. A \textbf{84}, 042306(2011)]. We present an efficient method to construct sets of SUEBk. The main strategy here is to decompose the whole space into two subspaces such that the rank of one subspace can be easily upper bounded by $k$ while the other one can be generated by two kinds of the special entangled states of type $k$. This method is very effective for those $k=p^m\geq 3$ where $p$ is a prime number. For these cases, we can otain sets of SUEBk with continuous integer cardinality when the local dimensions are large. Moreover, one can find that our method here can be easily extended when there are more than two kinds of the special entangled states of type $k$ at hand.


title: Exponential decay for the semilinear wave equation with localized Kelvin-Voight damping

abstract: In the present paper, we are concerned with the semilinear viscoelastic wave equation subject to a locally distributed dissipative effect of Kelvin-Voigt type, posed on a bounded domain with smooth boundary. We begin with an auxiliary problem and we show that its solution decays exponentially in the weak phase space. The method of proof combines an observability inequality and unique continuation properties. Then, passing to the limit, we recover the original model and prove its global existence as well as the exponential stability.


title: Habitat fragmentation: the possibility of a patch disrupting its neighbor

abstract: This paper starts from the Fisher-Kolmogorov-Petrovskii-Piskunov equation to model diffusive populations. The main result, according to this model, is that two connected patches in a system do not always contribute to each other. Specifically, inserting a large fragment next to a small one is always positive for life inside the small patch, while inserting a very small patch next to a large one can be negative for life inside the large fragment. This result, obtained to homogeneously fragmented regions, is possible from the general case expression for the minimum sizes in a system of two patches. This expression by itself is an interesting result, because it allows the study of other characteristics not included in the present work.


title: Modal Approaches in Metaphysics and Quantum Mechanics

abstract: Some interpretations of quantum mechanics use notions of possible states and possible trajectories. I investigate how this modal approach correlates with several metaphysical conceptions of a transition from potential to actual existence. The comparison is based on a discussion in contemporary analytical metaphysics of modality. I also consider an analogy between Leibniz's theory of the possibilities striving towards existence, wave mechanics of Schrodinger, and Feynman path integral.


title: Probabilistic Fitting of Topological Structure to Data

abstract: We define a class of probability distributions that we call simplicial mixture models, inspired by simplicial complexes from algebraic topology. The parameters of these distributions represent their topology and we show that it is possible and feasible to fit topological structure to data using a maximum-likelihood approach. We prove under reasonable assumptions that with a fixed number of vertices a distribution can be approximated arbitrarily closely by a simplicial mixture model when using enough simplices. Even if the topology is not of primary interest, when using a model that takes the topology of the data into account the vertex positions are good candidates for archetype/endmember vectors in unmixing problems.


title: On Firewalls in quantum-corrected General Relativity

abstract: We consider the information loss paradox at different angles, from the standard semi-classical approximation of General Relativity to the recently proposed scenarios of black holes evolution caused by effects of gravity quantization. Focusing on the Firewall proposal, we study the loop effects on the geometry and boundary conditions in black hole spacetimes and analyze the energy measured by an infalling observer near their horizons. As a result we obtain a trans-Planckian energy transition for the time-dependent black hole solution on the quantum-induced AdS background, the importance of which for the black hole (in)formation is discussed.


title: Field-theoretic approach to large-scale structure formation

abstract: We develop a field-theoretic description of large-scale structure formation by taking the non-relativistic limit of a canonically transformed, real scalar field which is minimally coupled to scalar gravitational perturbations in longitudinal gauge. We integrate out the gravitational constraint fields and arrive at a non-local action which is only specified in terms of the dynamical degrees of freedom. In order to make this framework closer to the classical particle description, we construct the corresponding 2PI effective action truncated at two loop order for a non-squeezed state without field expectation values. We contrast the dynamical description of the coincident time phase-space density to the standard Vlasov description of cold dark matter particles and identify momentum and time scales at which linear perturbation theory will deviate from the standard evolution.


title: Parity breakdown, vortices, and dark soliton states in a Bose gas of resonantly excited polaritons

abstract: A new mechanism of parity breakdown in a spinor Bose gas is predicted; it causes a single-mode state of polaritons to be spontaneously divided into different polarization domains which annihilate each other at the interface areas. In a polariton wire, such interface is a dark soliton that can run in space without dissipation. In a planar cavity, quantized vortices arise in which phase difference of orthogonally polarized components makes one complete turn around the core. Coupled vortex-antivortex pairs and straight filaments can form in analogy to Bose-Einstein condensates and superconductors. However, the rotational symmetry is broken even for individual vortices, which makes them interact on a large scale and form internally ordered structures. These states come into being under resonant excitation if the spin coupling rate significantly exceeds the decay rate.


title: PyIT2FLS: A New Python Toolkit for Interval Type 2 Fuzzy Logic Systems

abstract: Fuzzy logic is an accepted and well-developed approach for constructing verbal models. Fuzzy based methods are getting more popular, while the engineers deal with more daily life tasks. This paper presents a new Python toolkit for Interval Type 2 Fuzzy Logic Systems (IT2FLS). Developing software tools is an important issue for facilitating the practical use of theoretical results. There are limited tools for implementing IT2FLSs in Python. The developed PyIT2FLS is providing a set of tools for fast and easy modeling of fuzzy systems. This paper includes a brief description of how developed toolkit can be used. Also, three examples are given showing the usage of the developed toolkit for simulating IT2FLSs. First, a simple rule-based system is developed and it's codes are presented in the paper. The second example is the prediction of the Mackey-Glass chaotic time series using IT2FLS. In this example, the Particle Swarm Optimization (PSO) algorithm is used for determining system parameters while minimizing the mean square error. In the last example, an IT2FPID is designed and used for controlling a linear time-delay system. The code for the examples are available on toolkit's GitHub page: \url{https://github.com/Haghrah/PyIT2FLS}. The simulations and their results confirm the ability of the developed toolkit to be used in a wide range of the applications.


title: Bilinear Fourier multipliers and the rate of decay of their derivatives

abstract: We investigate two types of boundedness criteria for bilinear Fourier multiplier operators with symbols with bounded partial derivatives of all (or sufficiently many) orders. Theorems of the first type explicitly prescribe only a certain rate of decay of the symbol itself while theorems of the second type require, in addition, the same rate of decay of all derivatives of the symbol. We show that even though these two types of bilinear multiplier theorems are closely related, there are some fundamental differences between them which arise in limiting cases. Also, since theorems of the latter type have so far been studied mainly in connection with the more general class of bilinear pseudodifferential operators, we revisit them in the special case of bilinear Fourier multipliers, providing also some improvements of the existing results in this setting.


title: Two-dimensional collisions and conservation of momentum

abstract: Analysis of collisions is standardly included in the introductory physics course. In one dimension (1D), there do not seem to be any unusual issues: Typically, the initial velocities of the two colliding objects are specified, and the problem is to find the final velocities. In 1D there are therefore two unknown variables. One can write the equation for conservation of momentum, and either the equation for conservation of energy for the perfectly elastic case, or the expression for the coefficient of restitution (COR) otherwise. Thus, one has two equations for two unknowns, and one may solve the problem fully. An issue arises, however, in two-dimensional (2D) collisions: There are four unknown variables (two components of the final velocity of each object), but now there appear to be only three equations: two components of the equation of conservation of momentum, and the energy condition. The problem may appear therefore to be underdetermined. If this problem were in principle an underdetermined one, one would fail in predicting the outcome of the collision experiment. We describe how one may assign students an appropriate lab exercise and problems for an interesting class of 2D collisions for which one can determine uniquely the outcome of the collision.


title: Quantum-gravitational trans-Planckian energy of a time-dependent black hole

abstract: We continue our recent endeavor in which a time-dependent black hole solution of a one-loop quantum-corrected Einstein-scalar system was obtained and its near-horizon behavior was analyzed. The energy analysis led to a trans-Planckian scaling behavior near the event horizon. In the present work the analysis is extended to a rotating black hole solution of an Einstein-Maxwell-scalar system with a Higgs potential. Although the analysis becomes much more complex compared to that of the previous, we observe the same basic features, including the quantum-gravitational trans-Planckian energy near the horizon.


title: A Probabilistic Graph Model for Trust Opinion Estimation in Online Social Networks

abstract: Trust assessment plays a key role in many online applications, such as online money lending, product reviewing and active friending. Trust models usually employ a group of parameters to represent the trust relation between a trustor-trustee pair. These parameters are originated from the trustor's bias and opinion on the trustee. Naturally, these parameters can be regarded as a vector. To address this problem, we propose a framework to accurately convert the single values to the parameters needed by 3VSL. The framework firstly employs a probabilistic graph model (PGM) to derive the trustor's opinion and bias to his rating on the trustee.


title: Inducing Constituency Trees through Neural Machine Translation

abstract: Latent tree learning(LTL) methods learn to parse sentences using only indirect supervision from a downstream task. Recent advances in latent tree learning have made it possible to recover moderately high quality tree structures by training with language modeling or auto-encoding objectives. In this work, we explore the hypothesis that decoding in machine translation, as a conditional language modeling task, will produce better tree structures since it offers a similar training signal as language modeling, but with more semantic signal. We adapt two existing latent-tree language models--PRPN andON-LSTM--for use in translation. We find that they indeed recover trees that are better in F1 score than those seen in language modeling on WSJ test set, while maintaining strong translation quality. We observe that translation is a better objective than language modeling for inducing trees, marking the first success at latent tree learning using a machine translation objective. Additionally, our findings suggest that, although translation provides better signal for inducing trees than language modeling, translation models can perform well without exploiting the latent tree structure.


title: Secured Traffic Monitoring in VANET

abstract: Vehicular Ad hoc Networks (VANETs) facilitate vehicles to wirelessly communicate with neighboring vehicles as well as with roadside units (RSUs). However, the existence of inaccurate information within the network can cause traffic aberrations and also disrupt the normal functioning of any traffic monitoring system. Thus, determining the credibility of broadcast messages originating from the region of interest (ROI) is crucial under a malicious environment. Additionally, a breach of privacy involving a vehicle's private information, such as location and velocity, can lead to severe consequences like unauthorized tracking and masquerading attack. Thus, we propose an edge cloud based privacy-preserving secured decision making model that employs a heuristic based on vehicular data such as GPS location and velocity to authenticate traffic-related information from the ROI under different traffic scenarios such as congestion. The effectiveness of the proposed model has been validated using VENTOS, SUMO, and Omnet++ simulators, and also by using a simulated cloud environment. We compare our proposed model to the existing peer-based authentication model, the majority voting model, and the reputation-based system under different attack scenarios. We show that our model is capable of filtering malicious vehicles effectively and provide accurate traffic information under the presence of at least one non-malicious vehicle within the ROI.


title: From the stellar properties of HD219134 to the internal compositions of its transiting exoplanets

abstract: The harvest of exoplanet discoveries has opened the area of exoplanet characterisation. But this cannot be achieved without a careful analysis of the host star parameters. The system of HD219134 hosts two transiting exoplanets and at least two additional non-transiting exoplanets. We used the VEGA/CHARA interferometer to measure the angular diameter of HD219134, leading to a stellar radius of $R_{\star}=0.726\pm0.014 R_{\odot}$. We also derived the stellar density from the transits light curves ($\rho_{\star}=1.82\pm0.19 \rho_{\odot}$), which finally gives a direct estimate of the mass ($M_{\star}=0.696\pm0.078 M_{\odot}$) with a correlation of 0.46 between $R_{\star}$ and $M_{\star}$. This new mass is smaller than that derived from the C2kSMO stellar evolutionary model, which provides a mass range of 0.755$-$0.810 ($\pm 0.040$) $M_{\odot}$. This allows us to infer the mass, radius and density of the two transiting exoplanets of the system. We then use an inference model to obtain the internal parameters of these two transiting exoplanets. Moreover, we find that planet $b$ and $c$ have smaller radii than previously estimated ($1.500\pm0.057$ and $1.415\pm0.049 R_{\oplus}$, respectively); this clearly puts these planets out of the gap in the exoplanetary radii distribution and validates their super-Earth nature. Planet $b$ is more massive than planet $c$, but possibly less dense. We investigate whether this could be caused by partial melting of the mantle and find that tidal heating due to non-zero eccentricity of planet $b$ may be powerful enough. The system of HD219134 constitutes a very valuable benchmark for both stellar physics and exoplanetary science. The direct determination of the stellar density, radius and mass should be more extensively applied to provide accurate exoplanets properties and calibrate stellar models.


title: On the Essential Spectrum of Schr\"odinger Operators on Graphs

abstract: This work studies geometrical characterizations of the essential spectrum $\sigma_{\text ess}$ of Schr\"odinger operators on graphs. Especially we focus on generalizing characterizations which are given in terms of the concept of right limits. Intuitively the set of right limits of a Schr\"odinger operator $H$ on $\ell^2(\mathbb{N})$ includes the limit operators which are obtained by a sequence of left-shifts (moving away to infinity) of $H$. One characterization, which is known for such operators is that $\sigma_{\text ess}(H)$ is equal to the union over the spectra of right limits of $H$. Additionally, the essential spectrum equals to the union over the sets of "eigenvalues" corresponding to bounded eigenfunctions of the right limits of $H$. The first characterization above (and its generalization to $\mathbb{Z}^n$) is essentially due to a work by Last-Simon from 2006. In this work we study the possibility of generalizing these characterizations of $\sigma_{ess}(H)$ to Schr\"odinger operators on graphs. The work is composed of the following chapters: Chapter 1. An overview, including the setting and the proposed generalization of the concept of right limits to general graphs. Chapter 2. On extending the original Last-Simon argument for the proof of the first characterization to graphs. We give both a partial positive result and an example of a graph on which this characterization fails. Chapter 3. A Focus on characterizing the essential spectrum on trees. Chapter 4. A study of the possible generalization of the second characterization to graphs, from which we also get the first characterization on a general family of graphs.


title: Meaningful causal decompositions in health equity research: definition, identification, and estimation through a weighting framework

abstract: Causal decomposition analyses can help build the evidence base for interventions that address health disparities (inequities). They ask how disparities in outcomes may change under hypothetical intervention. Through study design and assumptions, they can rule out alternate explanations such as confounding, selection-bias, and measurement error, thereby identifying potential targets for intervention. Unfortunately, the literature on causal decomposition analysis and related methods have largely ignored equity concerns that actual interventionists would respect, limiting their relevance and practical value. This paper addresses these concerns by explicitly considering what covariates the outcome disparity and hypothetical intervention adjust for (so-called allowable covariates) and the equity value judgements these choices convey, drawing from the bioethics, biostatistics, epidemiology, and health services research literatures. From this discussion, we generalize decomposition estimands and formulae to incorporate allowable covariate sets, to reflect equity choices, while still allowing for adjustment of non-allowable covariates needed to satisfy causal assumptions. For these general formulae, we provide weighting-based estimators based on adaptations of ratio-of-mediator-probability and inverse-odds-ratio weighting. We discuss when these estimators reduce to already used estimators under certain equity value judgements, and a novel adaptation under other judgements.


title: Improved Analysis of Clarke Exobelt Detectability

abstract: We analyze the potential transit light curve effects due to a Clarke belt of satellites around an exoplanet. Building on code and analysis from Korpela, Sallmen, & Leystra Greene (2015), we refine the transit analysis of Socas-Navarro (2018) by incorporating limb-darkening and taking an observer-centered approach to examining residuals. These considerations make Clarke exobelt detectability more difficult than previous estimates. We also consider practical dynamical issues for exobelts, confirming that synchronously orbiting belts are dynamically unstable around planets in the habitable zones of M stars, and determining the maximum quasi-stable belt size in these situations. Using simulations for both G and M stars, we conclude that to have an even marginally detectable impact on transit light curves, exobelts must be substantially denser than previous estimates. We also estimate collision rates for the required satellite densities assuming random orbits, and find they would present significant monitoring and guidance challenges. If detectable belts exist, they would require some (possibly high) degree of ordering to avoid collisions, and must be actively maintained or they will dissipate on relatively short astronomical timescales. We conclude that detectable exobelts are likely to be rare, and have extremely low prospects for detection by transit monitoring from both current and upcoming missions.


title: Inference for Linear Conditional Moment Inequalities

abstract: We show that moment inequalities in a wide variety of economic applications have a particular linear conditional structure. We use this structure to construct uniformly valid confidence sets that remain computationally tractable even in settings with nuisance parameters. We first introduce least favorable critical values which deliver non-conservative tests if all moments are binding. Next, we introduce a novel conditional inference approach which ensures a strong form of insensitivity to slack moments. Our recommended approach is a hybrid technique which combines desirable aspects of the least favorable and conditional methods. The hybrid approach performs well in simulations calibrated to Wollmann (2018), with favorable power and computational time comparisons relative to existing alternatives.


title: Algorithms for certain classes of Tamil Spelling correction

abstract: Tamil language has an agglutinative, diglossic, alpha-syllabary structure which provides a significant combinatorial explosion of morphological forms all of which are effectively used in Tamil prose, poetry from antiquity to the modern age in an unbroken chain of continuity. However, for the language understanding, spelling correction purposes some of these present challenges as out-of-dictionary words. In this paper the authors propose algorithmic techniques to handle specific problems of conjoined-words (out-of-dictionary) (transliteration)[thendRalkattRu] = [thendRal]+[kattRu] when parts are alone present in word-list in efficient way. Morphological structure of Tamil makes it necessary to depend on synthesis-analysis approach and dictionary lists will never be sufficient to truly capture the language. In this paper we have attempted to make a summary of various known algorithms for specific classes of Tamil spelling errors. We believe this collection of suggestions to improve future spelling checkers. We also note do not cover many important techniques like affix removal and other such techniques of key importance in rule-based spell checkers.


title: Ontological Foundations of the Variational Principles and the Path Integral Formalism

abstract: In this paper, I consider the issue of how two mathematical models of modern physics, the variational principles and the quantum path integral formalism, relate to reality. I assume that the observed phenomena are consistent with the calculations because both of these models have some common ontological foundations. According to the hypothesis of the summation of coexisting alternative possibilities, at the quantum level, the system at once moves along all histories that possible in given boundary conditions. The actual history is a mere result of the summation of all these alternative possible histories. This resultant history differs from others with the minimal action and maximal probability. I observe this history as a macroscopic trajectory of the system.


title: Carleman type inequalities for fractional relativistic operators

abstract: In this paper we derive Carleman estimates for the fractional relativistic operator. We consider changing-sign solutions to the heat equation for such operators. We prove monotonicity inequalities and convexity of certain energy functionals to deduce Carleman estimates with linear exponential weight. Our approach is based on spectral methods and functional calculus.


title: Trust Assessment in Online Social Networks

abstract: Assessing trust in online social networks (OSNs) is critical for many applications such as online marketing and network security. It is a challenging problem, however, due to the difficulties of handling complex social network topologies and conducting accurate assessment in these topologies. To address these challenges, we model trust by proposing the three-valued subjective logic (3VSL) model. 3VSL properly models the uncertainties that exist in trust, thus is able to compute trust in arbitrary graphs. We theoretically prove the capability of 3VSL based on the Dirichlet-Categorical (DC) distribution and its correctness in arbitrary OSN topologies. Based on the 3VSL model, we further design the AssessTrust (AT) algorithm to accurately compute the trust between any two users connected in an OSN. We validate 3VSL against two real-world OSN datasets: Advogato and Pretty Good Privacy (PGP). Experimental results indicate that 3VSL can accurately model the trust between any pair of indirectly connected users in the Advogato and PGP.


title: Congruences for Generalized Frobenius Partitions of Nonzero Row Difference

abstract: We extend George Andrew's general principle for counting generalized Frobenius partitions to include arrays with nonzero row difference and establish some congruences for these arrays.


title: Does Monetary Support Increase Citation Impact of Scholarly Papers?

abstract: One of the main indicators of scientific development of a given country is the number of papers published in high impact scholarly journals. Many countries introduced performance-based research funding systems (PRFSs) to create a more competitive environment where prolific researchers get rewarded with subsidies to increase both the quantity and quality of papers. Yet, subsidies do not always function as a leverage to improve the citation impact of scholarly papers. This paper investigates the effect of the publication support system of Turkey (TR) on the citation impact of papers authored by Turkish researchers. Based on a stratified probabilistic sample of 4,521 TR-addressed papers, it compares the number of citations to determine if supported papers were cited more often than those of not supported ones, and if they were published in journals with relatively higher citation impact in terms of journal impact factors, article influence scores and quartiles. Both supported and not supported papers received comparable number of citations per paper, and were published in journals with similar citation impact values. Findings suggest that subsidies do not seem to be an effective incentive to improve the quality of scholarly papers. Such support programs should therefore be reconsidered.


title: Spaces of measurable functions on the the Levi-Civita field

abstract: We introduce the $\mathcal{L}^p$ spaces of measurable functions whose $p$-th power is summable with respect to the uniform measure over the Levi-Civita field $\mathcal{R}$. These spaces are the counterparts of the real $L^p$ spaces based upon the Lebesgue measure. Nevertheless, they lack some properties of the $L^p$ spaces: for instance, the $\mathcal{L}^p$ spaces are not complete with respect to the $p$-norm. This motivates the study of the completions of the $\mathcal{L}^p$ spaces with respect to strong convergence, denoted by $\mathcal{L}_s^p$. It turns out that the $\mathcal{L}_s^p$ spaces are Banach spaces and that it is possible to define an inner product over $\mathcal{L}_s^2$, thus making it a Hilbert space. Despite these positive results, these spaces are still not rich enough to represent every real continuous function. For this reason, we settle upon the representation of real measurable functions as sequences of measurable functions in $\mathcal{R}$ that weakly converge in measure. We also define a duality between measurable functions and representatives of continuous functions. This duality enables the study of some measurable functions that represent real distributions. We focus our discussion on the representatives of the Dirac distribution and on the well-known problem of the product between the Dirac and the Heaviside distribution, and we show that the solution obtained with measurable functions over $\mathcal{R}$ is consistent with the result obtained with other nonlinear generalized functions.


title: Gradient-Consensus: Linearly Convergent Distributed Optimization Algorithm over Directed Graphs

abstract: In this article, we propose a new approach, optimize then agree for minimizing a sum $ f = \sum_{i=1}^n f_i(x)$ of convex objective functions over a directed graph. The optimize then agree approach decouples the optimization step and the consensus step in a distributed optimization framework. The key motivation for optimize then agree is to guarantee that the disagreement between the estimates of the agents during every iteration of the distributed optimization algorithm remains under any apriori specified tolerance; existing algorithms do not provide such a guarantee which is required in many practical scenarios. In this method, each agent during each iteration maintains an estimate of the optimal solution and, utilizes its locally available gradient information along with a finite-time approximate consensus protocol to move towards the optimal solution (hence the name Gradient-Consensus algorithm). We establish that the proposed algorithm has a global R-linear rate of convergence if the aggregate function $f$ is strongly convex and Lipschitz differentiable. We also show that under the relaxed assumption of $f_i$'s being convex and Lipschitz differentiable, the objective function error residual decreases at a Q-linear rate (in terms of the number of gradient computation steps) until it reaches a small value, which can be managed using the tolerance value specified on the finite-time approximate consensus protocol; no existing method in the literature has such strong convergence guarantees when $f_i$ are not necessarily strongly convex functions. The communication overhead for the improved guarantees on meeting constraints and better convergence of our algorithm is $O(k\log k)$ iterates in comparison to $O(k)$ of the traditional algorithms. Further, we numerically evaluate the performance of the proposed algorithm by solving a distributed logistic regression problem.


title: Robust pseudogap across the magnetic field driven superconductor to insulator-like transition in strongly disordered NbN films

abstract: We investigate the magnetic field evolution of the superconducting state in a strongly disordered NbN thin film which exhibits a magnetic field tuned superconductor to insulator-like transition, employing low temperature scanning tunneling spectroscopy (STS). Transport measurements of the sample reveals a characteristic magnetic field, which separates the low field state where resistance decreases with decreasing temperature, i.e. dR/dT > 0 and a high-field state where dR/dT < 0. However, STS imaging of the superconducting state reveals a smooth evolution across this field and the presence of a robust pseudogap on both sides of this characteristic field. Our results suggest that the superconductor-insulator transition might be a percolative transition driven by the shrinking of superconducting fraction with magnetic field.


title: A generalization of regularized dual averaging and its dynamics

abstract: Excessive computational cost for learning large data and streaming data can be alleviated by using stochastic algorithms, such as stochastic gradient descent and its variants. Recent advances improve stochastic algorithms on convergence speed, adaptivity and structural awareness. However, distributional aspects of these new algorithms are poorly understood, especially for structured parameters. To develop statistical inference in this case, we propose a class of generalized regularized dual averaging (gRDA) algorithms with constant step size, which improves RDA (Xiao, 2010; Flammarion and Bach, 2017). Weak convergence of gRDA trajectories are studied, and as a consequence, for the first time in the literature, the asymptotic distributions for online l1 penalized problems become available. These general results apply to both convex and non-convex differentiable loss functions, and in particular, recover the existing regret bound for convex losses (Nemirovski et al., 2009). As important applications, statistical inferential theory on online sparse linear regression and online sparse principal component analysis are developed, and are supported by extensive numerical analysis. Interestingly, when gRDA is properly tuned, support recovery and central limiting distribution (with mean zero) hold simultaneously in the online setting, which is in contrast with the biased central limiting distribution of batch Lasso (Knight and Fu, 2000). Technical devices, including weak convergence of stochastic mirror descent, are developed as by-products with independent interest. Preliminary empirical analysis of modern image data shows that learning very sparse deep neural networks by gRDA does not necessarily sacrifice testing accuracy.