title: Stable Branched Electron Flow

abstract: The pattern of branched electron flow revealed by scanning gate microscopy shows the distribution of ballistic electron trajectories. The details of the pattern are determined by the correlated potential of remote dopants with an amplitude far below the Fermi energy. We find that the pattern persists even if the electron density is significantly reduced such that the change in Fermi energy exceeds the background potential amplitude. The branch pattern is robust against changes in charge carrier density, but not against changes in the background potential caused by additional illumination of the sample.


title: Transfer efficiency enhancement and eigenstate properties in locally symmetric disordered finite chains

abstract: The impact of local reflection symmetry on wave localization and transport within finite disordered chains is investigated. Local symmetries thereby play the role of a spatial correlation of variable range in the finite system. We find that, on ensemble average, the chain eigenstates become more fragmented spatially for intermediate average symmetry domain sizes, depending on the degree of disorder. This is caused by the partial formation of states with approximate local parity confined within fictitious, disorder-induced double wells and perturbed by the coupling to adjacent domains. The dynamical evolution of wave-packets shows that the average site-resolved transfer efficiency is enhanced between regions connected by local symmetry. The transfer may further be drastically amplified in the presence of spatial overlap between the symmetry domains, and in particular when global and local symmetry coexist. Applicable to generic discrete models for matter and light waves, our work provides a perspective to understand and exploit the impact of local order at multiple scales in complex systems.


title: Lithium in the Hyades L5 brown dwarf 2MASSJ04183483+2131275

abstract: From the luminosity, effective temperature, and age of the Hyades brown dwarf 2MASSJ04183483+2131275 (2M0418), sub-stellar evolutionary models predict a mass in the range 39-55 Jupiter masses (M_Jup) which is insufficient to produce any substantial lithium burning except for the very upper range >53 M_Jup. Our goal is to measure the abundance of lithium in this object, test the consistency between models and observations and refine constraints on the mass and age of the object. We used the 10.4-m Gran Telescopio Canarias (GTC) with its low-dispersion optical spectrograph to obtain ten spectra of 2277s each covering the range 6300-10300 Angstroms with a resolving power of R~500. In the individual spectra, which span several months, we detect persistent unresolved H_alpha in emission with pseudo equivalent widths (pEW) in the range 45-150 Angstroms and absorption lines of various alkalis with the typical strengths found in objects of L5 spectral type. The lithium resonance line at 6707.8 Angstroms is detected with pEW of 18+/-4 Angstroms in 2M0418 (L5). We determine a lithium abundance of log N(Li) = 3.0+/-0.4 dex consistent with a minimum preservation of 90% of this element which confirms 2M0418 as a brown dwarf with a maximum mass of 52 M_Jup. We infer a maximum age for the Hyades of 775 Myr from a comparison with the BHAC15 models. Combining recent results from the literature with our study, we constrain the mass of 2M0418 to 45-52 M_Jup and the age of the cluster to 580-775 Myr (1 sigma) based on the lithium depletion boundary method.


title: BALSON: Bayesian Least Squares Optimization with Nonnegative L1-Norm Constraint

abstract: A Bayesian approach termed BAyesian Least Squares Optimization with Nonnegative L1-norm constraint (BALSON) is proposed. The error distribution of data fitting is described by Gaussian likelihood. The parameter distribution is assumed to be a Dirichlet distribution. With the Bayes rule, searching for the optimal parameters is equivalent to finding the mode of the posterior distribution. In order to explicitly characterize the nonnegative L1-norm constraint of the parameters, we further approximate the true posterior distribution by a Dirichlet distribution. We estimate the statistics of the approximating Dirichlet posterior distribution by sampling methods. Four sampling methods have been introduced. With the estimated posterior distributions, the original parameters can be effectively reconstructed in polynomial fitting problems, and the BALSON framework is found to perform better than conventional methods.


title: Causality and dissipation in relativistic polarizeable fluids

abstract: We analyze the breakdown of causality for the perfect fluid limit in a medium with polarizeability. We show that to restore causality a relaxation term linking vorticity and polarization, analogous to the Israel-Stewart term linking viscous forces and gradients,is required. This term provides a minimum amount of dissipation a locally thermalized relativistic medium with polarizeability must have, independently of its underlying degrees of freedom. For ferromagnetic materials an infrared acausal mode remains, which we interpret as a Banks-Casher mode signaling spontaneous magnetization. With these ingredients, we propose a candidate for a fully causal Lagrangian of a relativistic polarizeable system near the perfect fluid limit.


title: Threefold extremal curve germs with one non-Gorenstein point

abstract: An extremal curve germ is the analytic germ of a threefold with terminal singularities along a reduced complete curve admitting a contraction whose fibers have dimension at most one. The aim of the present paper is to review the results concerning those contractions whose central fiber is irreducible and contains only one non-Gorenstein point.


title: Formal Semantics of Architectural Decision Models

abstract: A software architecture is the result of multiple decisions made by a software architect. These decisions are called architectural decisions, as they bring solutions to architectural problems. Relations between decisions can be captured in architectural decision models. Such models are then a form of reusable knowledge for software architects. Several models have been described in the literature, introducing necessary concepts and relations. These concepts and relations were usually explained using natural language. Not much work has been done so far on their formal definitions. Specifically, such a definition of an architectural decision model is still missing. The purpose of this paper is filling this gap by providing the formal definition of an architectural decision model at both syntax and semantics levels. At the syntax level, different concepts and relations that are elements of a model have been mathematically defined. At the semantics level, the meaning of a model has been defined in a form of denotational semantics. The formalization not only allows for better understanding of architectural decision models but opens the possibility to reason on such models, e.g., checking their consistency - something that is very limited for the models proposed so far. A practical example of the semantics of an architectural decision model is also presented.


title: Distillation Techniques for Pseudo-rehearsal Based Incremental Learning

abstract: The ability to learn from incrementally arriving data is essential for any life-long learning system. However, standard deep neural networks forget the knowledge about the old tasks, a phenomenon called catastrophic forgetting, when trained on incrementally arriving data. We discuss the biases in current Generative Adversarial Networks (GAN) based approaches that learn the classifier by knowledge distillation from previously trained classifiers. These biases cause the trained classifier to perform poorly. We propose an approach to remove these biases by distilling knowledge from the classifier of AC-GAN. Experiments on MNIST and CIFAR10 show that this method is comparable to current state of the art rehearsal based approaches. The code for this paper is available at https://bit.ly/incremental-learning


title: Spatio-Temporal Instance Learning: Action Tubes from Class Supervision

abstract: The goal of this work is spatio-temporal action localization in videos, using only the supervision from video-level class labels. The state-of-the-art casts this weakly-supervised action localization regime as a Multiple Instance Learning problem, where instances are a priori computed spatio-temporal proposals. Rather than disconnecting the spatio-temporal learning from the training, we propose Spatio-Temporal Instance Learning, which enables action localization directly from box proposals in video frames. We outline the assumptions of our model and propose a max-margin objective and optimization with latent variables that enable spatio-temporal learning of actions from video labels. We also provide an efficient linking algorithm and two reranking strategies to facilitate and further improve the action localization. Experimental evaluation on four action datasets demonstrate the effectiveness of our approach for localization from weak supervision. Moreover, we show how to incorporate other supervision levels and mixtures, as a step towards determining optimal supervision strategies for action localization.


title: Concentrating solutions of the relativistic Vlasov-Maxwell system

abstract: We study smooth, global-in-time solutions of the relativistic Vlasov-Maxwell system that possess arbitrarily large charge densities and electric fields. In particular, we construct spherically symmetric solutions that describe a thin shell of equally charged particles concentrating arbitrarily close to the origin and which give rise to charge densities and electric fields as large as one desires at some finite time. We show that these solutions exist even for arbitrarily small initial data or any desired mass. In the latter case, the time at which solutions concentrate can also be made arbitrarily large.


title: Revisiting Distillation and Incremental Classifier Learning

abstract: One of the key differences between the learning mechanism of humans and Artificial Neural Networks (ANNs) is the ability of humans to learn one task at a time. ANNs, on the other hand, can only learn multiple tasks simultaneously. Any attempts at learning new tasks incrementally cause them to completely forget about previous tasks. This lack of ability to learn incrementally, called Catastrophic Forgetting, is considered a major hurdle in building a true AI system. In this paper, our goal is to isolate the truly effective existing ideas for incremental learning from those that only work under certain conditions. To this end, we first thoroughly analyze the current state of the art (iCaRL) method for incremental learning and demonstrate that the good performance of the system is not because of the reasons presented in the existing literature. We conclude that the success of iCaRL is primarily due to knowledge distillation and recognize a key limitation of knowledge distillation, i.e, it often leads to bias in classifiers. Finally, we propose a dynamic threshold moving algorithm that is able to successfully remove this bias. We demonstrate the effectiveness of our algorithm on CIFAR100 and MNIST datasets showing near-optimal results. Our implementation is available at https://github.com/Khurramjaved96/incremental-learning.


title: Behavior analysis of virtual item gambling

abstract: From the gambling logs of an online lottery game we extract the probability distribution of various quantities (e.g., bet value, total pool size, waiting time between successive gambles) as well as related correlation coefficients. We view the net change of income of each player as a random walk. The mean squared displacement of these net income random walks exhibits a transition between a super-diffusive and a normal diffusive regime. We discuss different random walk models with truncated power-law step lengths distributions that allow to reproduce some of the properties extracted from the gambling logs. Analyzing the mean squared displacement and the first-passage time distribution for these models allows to identify the key features needed for observing this crossover from super-diffusion to normal diffusion.


title: Deeply Supervised Rotation Equivariant Network for Lesion Segmentation in Dermoscopy Images

abstract: Automatic lesion segmentation in dermoscopy images is an essential step for computer-aided diagnosis of melanoma. The dermoscopy images exhibits rotational and reflectional symmetry, however, this geometric property has not been encoded in the state-of-the-art convolutional neural networks based skin lesion segmentation methods. In this paper, we present a deeply supervised rotation equivariant network for skin lesion segmentation by extending the recent group rotation equivariant network~\cite{cohen2016group}. Specifically, we propose the G-upsampling and G-projection operations to adapt the rotation equivariant classification network for our skin lesion segmentation problem. To further increase the performance, we integrate the deep supervision scheme into our proposed rotation equivariant segmentation architecture. The whole framework is equivariant to input transformations, including rotation and reflection, which improves the network efficiency and thus contributes to the segmentation performance. We extensively evaluate our method on the ISIC 2017 skin lesion challenge dataset. The experimental results show that our rotation equivariant networks consistently excel the regular counterparts with the same model complexity under different experimental settings. Our best model achieves 77.23\%(JA) on the test dataset, outperforming the state-of-the-art challenging methods and further demonstrating the effectiveness of our proposed deeply supervised rotation equivariant segmentation network. Our best model also outperforms the state-of-the-art challenging methods, which further demonstrate the effectiveness of our proposed deeply supervised rotation equivariant segmentation network.


title: Generalizations of the Conway-Gordon theorems and intrinsic knotting on complete graphs

abstract: In 1983, Conway and Gordon proved that for every spatial complete graph on six vertices, the sum of the linking numbers over all of the constituent two-component links is odd, and that for every spatial complete graph on seven vertices, the sum of the Arf invariants over all of the Hamiltonian knots is odd. In 2009, the second author gave integral lifts of the Conway-Gordon theorems in terms of the square of the linking number and the second coefficient of the Conway polynomial. In this paper, we generalize the integral Conway-Gordon theorems to complete graphs with arbitrary number of vertices greater than or equal to six. As an application, we show that for every rectilinear spatial complete graph whose number of vertices is greater than or equal to six, the sum of the second coefficients of the Conway polynomials over all of the Hamiltonian knots is determined explicitly in terms of the number of triangle-triangle Hopf links.


title: On $\g$- and local $\g$-Vectors of the Interval Subdivision

abstract: We show that the $\g$-vector of the interval subdivision of a simplicial complex with a nonnegative and symmetric $h$-vector is nonnegative. In particular, we prove that such $\g$-vector is the $f$-vector of some balanced simplicial complex. Moreover, we show that the local $\g$-vector of the interval subdivision of a simplex is nonnegative; answering a question by Juhnke-Kubitzke et al.


title: Controllable growth of centimeter-size 2D perovskite heterostructural single crystals for highly narrow dual-band photodetectors

abstract: Two-dimensional (2D) organic-inorganic perovskites have recently attracted increasing attention due to their great environmental stability, remarkable quantum confinement effect and layered characteristic. Heterostructures consisting of 2D layered perovskites are expected to exhibit new physical phenomena inaccessible to the single 2D perovskites and can greatly extend their functionalities for novel electronic and optoelectronic applications. Herein, we develop a novel solution method to synthesize 2D perovskite single-crystals with the centimeter size, high phase purity, controllable junction depth, high crystalline quality and great stability for highly narrow dual-band photodetectors. On the basis of the different lattice constant, solubility and growth rate between different n number, the newly designed synthesis method allows to first grow n=1 perovskite guided by the self-assembled layer of the organic cations at the water-air interface and subsequently n=2 layer is formed via diffusion process. Such growth process provides an efficient away for us to readily obtain 2D perovskite heterostructural single-crystals with various thickness and junction depth by controlling the concentration, reaction temperature and time. Photodetectors based on such heterostructural single crystal plates exhibit extremely low dark current, high on-off current ratio, and highly narrow dual-band spectral response with a full-width at half-maximum of 20 nm at 540 nm and 34 nm at 610 nm. In particular, the synthetic strategy is general for other 2D perovskites and the narrow dual-band spectral response with all full-width at half-maximum below 40 nm can be continuously tuned from red to blue by properly changing the halide compositions.


title: Construction of robust Rydberg controlled-phase gates

abstract: One scheme is presented to construct the robust multi-qubit arbitrary-phase controlled-phase gate (CPG) with one control and multiple target qubits in Rydberg atoms using the Lewis-Riesenfeld (LR) invariant method. The scheme is not limited by adiabatic condition while preserves the robustness against control parameter variations of adiabatic evolution. Comparing with the adiabatic case, our scheme does not require very strong Rydberg interaction strength. Taking the construction of two-qubit $\pi$ CPG as an example, our scheme is more robust against control parameter variations than non-adiabatic scheme and faster than adiabatic scheme.


title: Contextual Equivalence for a Probabilistic Language with Continuous Random Variables and Recursion

abstract: We present a complete reasoning principle for contextual equivalence in an untyped probabilistic language. The language includes continuous (real-valued) random variables, conditionals, and scoring. It also includes recursion, since the standard call-by-value fixpoint combinator is expressible. We demonstrate the usability of our characterization by proving several equivalence schemas, including familiar facts from lambda calculus as well as results specific to probabilistic programming. In particular, we use it to prove that reordering the random draws in a probabilistic program preserves contextual equivalence. This allows us to show, for example, that (let x = $e_1$ in let y = $e_2$ in $e_0$) is equivalent to (let y = $e_2$ in let x = $e_1$ in $e_0$) (provided $x$ does not occur free in $e_2$ and $y$ does not occur free in $e_1$) despite the fact that $e_1$ and $e_2$ may have sampling and scoring effects.


title: Study of the underlying event in top quark pair production in pp collisions at 13 TeV

abstract: Measurements of normalized differential cross sections as functions of the multiplicity and kinematic variables of charged-particle tracks from the underlying event in top quark and antiquark pair production are presented. The measurements are performed in proton-proton collisions at a center-of-mass energy of 13 TeV, and are based on data collected by the CMS experiment at the LHC in 2016 corresponding to an integrated luminosity of 35.9 fb$^{-1}$. Events containing one electron, one muon, and two jets from the hadronization and fragmentation of b quarks are used. These measurements characterize, for the first time, properties of the underlying event in top quark pair production and show no deviation from the universality hypothesis at energy scales typically above twice the top quark mass.


title: A Tutorial on Bayesian Optimization

abstract: Bayesian optimization is an approach to optimizing objective functions that take a long time (minutes or hours) to evaluate. It is best-suited for optimization over continuous domains of less than 20 dimensions, and tolerates stochastic noise in function evaluations. It builds a surrogate for the objective and quantifies the uncertainty in that surrogate using a Bayesian machine learning technique, Gaussian process regression, and then uses an acquisition function defined from this surrogate to decide where to sample. In this tutorial, we describe how Bayesian optimization works, including Gaussian process regression and three common acquisition functions: expected improvement, entropy search, and knowledge gradient. We then discuss more advanced techniques, including running multiple function evaluations in parallel, multi-fidelity and multi-information source optimization, expensive-to-evaluate constraints, random environmental conditions, multi-task Bayesian optimization, and the inclusion of derivative information. We conclude with a discussion of Bayesian optimization software and future research directions in the field. Within our tutorial material we provide a generalization of expected improvement to noisy evaluations, beyond the noise-free setting where it is more commonly applied. This generalization is justified by a formal decision-theoretic argument, standing in contrast to previous ad hoc modifications.


title: A Scalable Algorithm for Two-Stage Adaptive Linear Optimization

abstract: The column-and-constraint generation (CCG) method was introduced by \citet{Zeng2013} for solving two-stage adaptive optimization. We found that the CCG method is quite scalable, but sometimes, and in some applications often, produces infeasible first-stage solutions, even though the problem is feasible. In this research, we extend the CCG method in a way that (a) maintains scalability and (b) always produces feasible first-stage decisions if they exist. We compare our method to several recently proposed methods and find that it reaches high accuracies faster and solves significantly larger problems.


title: Spectra and flow of light nuclei in relativistic heavy ion collisions at RHIC and the LHC

abstract: Within the framework of the coalescence model based on the phase-space distributions of protons and neutrons generated from the {{\tt iEBE-VISHNU}} hybrid model with {{\tt AMPT}} initial conditions, we study the spectra and elliptic flow of deuterons and helium-3 in relativistic heavy ion collisions at the Relativistic Heavy Ion Collider (RHIC) and the Larger Hadron Collider (LHC). Results from our model calculations for Au + Au collisions at $\sqrt{s_{NN}}=200$ GeV at RHIC and Pb+Pb collisions at $\sqrt{s_{NN}}=2.76$ TeV at the LHC are compared with available experimental data. Good agreements are generally seen between theoretical results and experimental data, except that the calculated yield of helium-3 in Pb + Pb collisions at $\sqrt{s_{NN}}=2.76$ TeV underestimates the data by about a factor of two. Possible reasons for these discrepancies are discussed. We also make predictions on the spectra and elliptic flow of deuterons and helium-3 in Pb + Pb collisions at $\sqrt{s_{NN}}=5.02$ TeV that are being studied at LHC.


title: Measurement Errors as Bad Leverage Points

abstract: Errors-in-variables is a long-standing, difficult issue in linear regression; and progress depends in part on new identifying assumptions. I characterize measurement error as bad-leverage points and assume that fewer than half the sample observations are heavily contaminated, in which case a high-breakdown robust estimator may be able to isolate and down weight or discard the problematic data. In simulations of simple and multiple regression where eiv affects 25% of the data and R-squared is mediocre, certain high-breakdown estimators have small bias and reliable confidence intervals.


title: Constraints on generalized Eddington-inspired Born-Infeld branes

abstract: The Palatini $f(|\hat{\Omega}|)$ gravity is a generalized theory of the Eddington-inspired Born-Infeld gravity, where $\Omega_{~N}^{K}\equiv\delta_{~N}^{K}+bg^{KL}R_{LN}(\Gamma)$ is an auxiliary tensor constructed with the spacetime metric $g$ and independent connection $\Gamma$. In this paper, we study $f(|\hat{\Omega}|)$ theory with $f(|\hat{\Omega}|)=|\hat{\Omega}|^{\frac{1}{2}+n}$ in the thick brane scenario and give some constraints on the brane model. We finally found an analytic solution of the thick brane generated by a single scalar field. The behavior of the negative energy density denotes the localization of the thick brane at the origin of the extra dimension. In our braneworld, the warp factor is divergent at the boundary of the extra dimension while the brane system is asymptotically anti$-$de Sitter. It is shown that the tensor perturbation of the brane is stable and the massless graviton is localized on the thick brane. Therefore, the effective Einstein-Hilbert action on the brane can be rebuilt in the low-energy approximation. According to the recent test of the gravitational inverse-square law, we give some constraints on the $f(|\hat{\Omega}|)$ brane.


title: Improving Deep Learning through Automatic Programming

abstract: Deep learning and deep architectures are emerging as the best machine learning methods so far in many practical applications such as reducing the dimensionality of data, image classification, speech recognition or object segmentation. In fact, many leading technology companies such as Google, Microsoft or IBM are researching and using deep architectures in their systems to replace other traditional models. Therefore, improving the performance of these models could make a strong impact in the area of machine learning. However, deep learning is a very fast-growing research domain with many core methodologies and paradigms just discovered over the last few years. This thesis will first serve as a short summary of deep learning, which tries to include all of the most important ideas in this research area. Based on this knowledge, we suggested, and conducted some experiments to investigate the possibility of improving the deep learning based on automatic programming (ADATE). Although our experiments did produce good results, there are still many more possibilities that we could not try due to limited time as well as some limitations of the current ADATE version. I hope that this thesis can promote future work on this topic, especially when the next version of ADATE comes out. This thesis also includes a short analysis of the power of ADATE system, which could be useful for other researchers who want to know what it is capable of.


title: Integration of survey data and big observational data for finite population inference using mass imputation

abstract: Multiple data sources are becoming increasingly available for statistical analyses in the era of big data. As an important example in finite-population inference, we consider an imputation approach to combining a probability sample with big observational data. Unlike the usual imputation for missing data analysis, we create imputed values for the whole elements in the probability sample. Such mass imputation is attractive in the context of survey data integration (Kim and Rao, 2012). We extend mass imputation as a tool for data integration of survey data and big non-survey data. The mass imputation methods and their statistical properties are presented. The matching estimator of Rivers (2007) is also covered as a special case. Variance estimation with mass-imputed data is discussed. The simulation results demonstrate the proposed estimators outperform existing competitors in terms of robustness and efficiency.


title: Double Kagome bands in a two-dimensional phosphorus carbide P2C3

abstract: The interesting properties of Kagome bands, consisting of Dirac bands and a flat band, have attracted extensive attention. However, the materials with only one Kagome band around the Fermi level cannot possess physical properties of Dirac fermions and strong correlated fermions simultaneously. Here, we propose a new type of band structure --- double Kagome bands, which can realize coexistence of the two kinds of fermions. Moreover, the new band structure is found to exist in a new two-dimensional material, phosphorus carbide P2C3. The carbide material shows good stability and unusual electronic properties. Strong magnetism appears in the structure by hole doping of the flat band, which results in spin splitting of the Dirac bands. The edge states induced by Dirac and flat bands coexist on the Fermi level, indicating outstanding transport characteristics. In addition, a possible route to experimentally grow P2C3 on some suitable substrates such as the Ag (111) surface is also discussed.


title: Open Markov chains: cumulant dynamics, fluctuations and correlations

abstract: In this paper we propose a model for open Markov chains that can be interpreted as a system of non-interacting particles evolving according to the rules of a Markov chain. The number of particles in the system is not constant, because we allow the particles to arrive or leave the state space according to prescribed protocols. We describe this system by looking at the population of particles on every state by establishing the rules of time-evolution of the distribution of particles. We show that it is possible to describe the distribution of particles over the state space through the corresponding moment generating function. Such a description is given through the dynamics ruling the behavior of such a moment generating function and we prove that the system is able to attain the stationarity under some conditions. We also show that it is possible to describe the dynamics of the two first cumulants of the distribution of particles, which in some way is a simpler technique to obtain useful information of the open Markov chain for practical purposes. Finally we also study the behavior of the time-dependent correlation functions of the number of particles present in the system. We give some simple examples of open chains that either, can be fully described through the moment generating function or partially described through the exact solution of the cumulant dynamics.


title: Ultrafast spin-lasers

abstract: The appeal of lasers can be attributed to both their ubiquitous applications and their role as model systems for elucidating nonequilibrium and cooperative phenomena. Introducing novel concepts in lasers thus has a potential for both applied and fundamental implications. Here we experimentally demonstrate that the coupling between carrier spin and light polarization in common semiconductor lasers can enable room-temperature modulation frequencies above 200 GHz, exceeding by nearly an order of magnitude the best conventional semiconductor lasers. Surprisingly, this ultrafast operation relies on a short carrier spin relaxation time and a large anisotropy of the refractive index, both commonly viewed as detrimental in spintronics and conventional lasers. Our results overcome the key speed limitations of conventional directly modulated lasers and offer a prospect for the next generation of low-energy ultrafast optical communication.


title: Ionic liquids make DNA rigid

abstract: Persistence length of dsDNA is known to decrease with increase in ionic concentration of the solution. In contrast to this, here we show that persistence length of dsDNA increases dramatically as a function of ionic liquid (IL) concentration. Using all atomic explicit solvent molecular dynamics simulations and theoretical models we present, for the first time, a systematic study to determine the mechanical properties of dsDNA in various hydrated ionic liquids at different concentrations. We find that dsDNA in 50 wt% ILs have lower persistence length and stretch modulus in comparison to 80 wt% ILs. We further observe that both persistence length and stretch modulus of dsDNA increase as we increase the ILs concentration. Present trend of stretch modulus and persistence length of dsDNA with ILs concentration supports the predictions of the macroscopic elastic theory, in contrast to the behavior exhibited by dsDNA in monovalent salt. Our study further suggests the preferable ILs that can be used for maintaining DNA stability during long-term storage.


title: Long-time existence of solutions to nonlocal nonlinear bidirectional wave equations

abstract: We consider the Cauchy problem defined for a general class of nonlocal wave equations modeling bidirectional wave propagation in a nonlocally and nonlinearly elastic medium whose constitutive equation is given by a convolution integral. We prove a long-time existence result for the nonlocal wave equations with a power-type nonlinearity and a small parameter. As the energy estimates involve a loss of derivatives, we follow the Nash-Moser approach proposed by Alvarez-Samaniego and Lannes. As an application to the long-time existence theorem, we consider the limiting case in which the kernel function is the Dirac measure and the nonlocal equation reduces to the governing equation of one-dimensional classical elasticity theory. The present study also extends our earlier result concerning local well-posedness for smooth kernels to nonsmooth kernels.


title: From Picard groups of hyperelliptic curves to class groups of quadratic fields

abstract: Let $C$ be a hyperelliptic curve defined over $\mathbb{Q}$, whose Weierstrass points are defined over extensions of $\mathbb{Q}$ of degree at most three, and at least one of them is rational. Generalizing a result of R. Soleng (in the case of elliptic curves), we prove that any line bundle of degree $0$ on $C$ which is not torsion can be specialised into ideal classes of imaginary quadratic fields whose order can be made arbitrarily large. This gives a positive answer, for such curves, to a question by Agboola and Pappas.


title: Exact tail asymptotics for fluid models driven by an $M/M/c$ queue

abstract: In this paper, we investigate exact tail asymptotics for the stationary distribution of a fluid model driven by the $M/M/c$ queue, which is a two-dimensional queueing system with a discrete phase and a continuous level. We extend the kernel method to study tail asymptotics of its stationary distribution, and a total of three types of exact tail asymptotics is identified from our study and reported in the paper.


title: Attractivity of Saturated Equilibria for Lotka-Volterra Systems with Infinite Delays and Feedback Controls

abstract: In this paper, we apply a Lyapunov functional approach to Lotka-Volterra systems with infinite delays and feedback controls and establish that the feedback controls have no influence on the attractivity properties of a saturated equilibrium. This improves previous results by the authors and others, where, while feedback controls were used mostly to change the position of a unique saturated equilibrium, additional conditions involving the controls had to be assumed in order to preserve its global attractivity. The situation of partial extinction is further analysed, for which the original system is reduced to a lower dimensional one which maintains its global dynamics features.


title: Search for heavy resonances decaying into a vector boson and a Higgs boson in final states with charged leptons, neutrinos and b quarks at $\sqrt{s} =$ 13 TeV

abstract: A search for heavy resonances, decaying into the standard model vector bosons and the standard model Higgs boson, is presented. The final states considered contain a b quark-antiquark pair from the decay of the Higgs boson, along with electrons and muons and missing transverse momentum, due to undetected neutrinos, from the decay of the vector bosons. The mass spectra are used to search for a localized excess consistent with a resonant particle. The data sample corresponds to an integrated luminosity of 35.9 fb$^{-1}$ collected in 2016 by the CMS experiment at the CERN LHC from proton-proton collisions at a center-of-mass energy of 13 TeV. The data are found to be consistent with background expectations. Exclusion limits are set in the context of spin-0 two Higgs doublet models, some of which include the presence of dark matter. In the spin-1 heavy vector triplet framework, mass-degenerate W' and Z' resonances with dominant couplings to the standard model gauge bosons are excluded below a mass of 2.9 TeV at 95% confidence level.


title: MAC-Layer Rate Control for 802.11 Networks: Lesson Learned and Looking Forward

abstract: Rate control at the MAC-layer is one of the fundamental building blocks in many wireless networks. Over the past two decades around thirty mechanisms have been proposed in the literature. Among them, there are mechanisms that make rate selection decisions based on sophisticated measurements of wireless link quality, and others that are based on straight-forward heuristics. Minstrel, for example, is an elegant mechanism that has been adopted by hundreds of millions of computers, yet, not much was known about its performance until recently. The purpose of this paper is to provide a comprehensive survey and analysis of existing solutions from the two fundamental aspects of rate control - metrics and algorithms. We also review how these solutions were evaluated and compared against each other. Based on our detailed studies and observations, we share important insights on future development of rate control mechanisms at the MAC-layer. This discussion also takes into account the recent developments in wireless technologies and emerging applications, such as Internet-of-Things, and shows issues that need to be addressed in the design of new rate control mechanisms suitable for these technologies and applications.


title: Decreasing equisingular approximations with analytic singularities

abstract: In this note, for the multiplier ideal sheaves with weights $\log\sum_{i}|z_{i}|^{a_{i}}$, we present the sufficient and necessary condition of the existence of decreasing equisingular approximations with analytic singularities.


title: Stoichiometry determination of chalcogenide superlattices by means of X-ray diffraction and its limits

abstract: In this paper we explore the potential of stoichiometry determination for chalcogenide superlattices, promising candidates for next-generation phase-change memory, via X-ray diffraction. To this end, a set of epitaxial GeTe/Sb2Te3 superlattice samples with varying layer thicknesses is sputter-deposited. Kinematical scattering theory is employed to link the average composition with the diffraction features. The observed lattice constants of the superlattice reference unit cell follow Vegard's law, enabling a straight-forward and non-destructive stoichiometry determination.


title: Social network aided plagiarism detection: Social network aided plagiarism detection

abstract: The prevalence of different kinds of electronic devices and the volume of content on the Web have increased the amount of plagiarism, which is considered an unethical act. If we want to be efficient in the detection and prevention of these acts, we have to improve today's methods of discovering plagiarism. The paper presents a research study where a framework for the improved detection of plagiarism is proposed. The framework focuses on the integration of social network information, information from the Web, and an advanced semantically enriched visualization of information about authors and documents that enables the exploration of obtained data by seeking of advanced patterns of plagiarism. To support the proposed framework, a special software tool was also developed. The statistical evaluation confirmed that the employment of social network analysis and advanced visualization techniques led to improvements in the confirmation and investigation stages of the plagiarism detection process, thereby enhancing the overall efficiency of the plagiarism detection process.


title: Positive solutions for nonvariational Robin problems

abstract: We study a nonlinear Robin problem driven by the $p$-Laplacian and with a reaction term depending on the gradient (the convection term). Using the theory of nonlinear operators of monotone-type and the asymptotic analysis of a suitable perturbation of the original equation, we show the existence of a positive smooth solution.


title: On the generating function of p-Bernoulli numbers: an alternative approach

abstract: In this note, we give an alternative proof of the generating function of $p$-Bernoulli numbers. Our argument is based on the Euler's integral representation.


title: Singular Value Statistics for the Spiked Elliptic Ginibre Ensemble

abstract: The complex elliptic Ginibre ensemble with coupling $\tau$ is a complex Gaussian matrix interpolating between the Gaussian Unitary Ensemble (GUE) and the Ginibre ensemble. It has been known for some time that its eigenvalues form a determinantal point process in the complex plane. A recent result of Kanazawa and Kieburg (arXiv:1804.03985) shows that the singular values form a Pfaffian point process. In this paper we turn to consider an extended elliptic Ginibre ensemble, which connects the GUE and the spiked Wishart matrix, and prove that the singular values still build a Pfaffian point process with correlation kernels expressed by contour integral representations. As $\tau$ tends to 1 at a certain critical rate, we prove that the limiting distribution of the largest singular value is described as a new Fredholm Pfaffian series, which connects two distributions $F_{\mathrm{GUE}}$ and $F^{2}_{\mathrm{GUE}}$ where $F_{\mathrm{GUE}}$ is the GUE Tracy-Widom distribution. For fixed $\tau$, we prove the Baik-Ben Arous-P\'ech\'e transition of the largest singular value and the sine kernel in the bulk. We also observe a crossover phenomenon at the origin when $\tau$ tends to 1 at another critical rate.


title: Lexsegment ideals and their h-polynomials

abstract: Let $S = K[x_1, \ldots, x_n]$ denote the polynomial ring in $n$ variables over a field $K$ with each $\mathrm{deg}\ x_i = 1$ and $I \subset S$ a homogeneous ideal of $S$ with $\dim S/I = d$. The Hilbert series of $S/I$ is of the form $h_{S/I}(\lambda)/(1 - \lambda)^d$, where $h_{S/I}(\lambda) = h_0 + h_1\lambda + h_2\lambda^2 + \cdots + h_s\lambda^s$ with $h_s \neq 0$ is the $h$-polynomial of $S/I$. Given arbitrary integers $r \geq 1$ and $s \geq 1$, a lexsegment ideal $I$ of $S = K[x_1, \ldots, x_n]$, where $n \leq \max\{r, s\} + 2$, satisfying $\mathrm{reg}(S/I) = r$ and $ \mathrm{deg}\ h_{S/I}(\lambda) = s$ will be constructed.


title: Polytope volume by descent in the face lattice and applications in social choice

abstract: We describe the computation of polytope volumes by descent in the face lattice, its implementation in Normaliz, and the connection to reverse-lexicographic triangulations. The efficiency of the algorithm is demonstrated by several high dimensional polytopes of different characteristics. Finally, we present an application to voting theory where polytope volumes appear as probabilities of certain paradoxa.


title: Strongly temperature-dependent recombination kinetics of a negatively charged exciton in asymmetric quantum dots at 1.55 {\mu}m

abstract: We report on strongly temperature-dependent kinetics of negatively charged carrier complexes in asymmetric InAs/AlGaInAs/InP quantum dots (dashes) emitting at telecom wavelengths. The structures are highly elongated and of large volume, which results in atypical carrier confinement characteristics with $s$-$p$ shell energy splittings far below the optical phonon energy, which strongly affects the phonon-assisted relaxation. Probing the emission kinetics with time-resolved microphotoluminescence from a single dot, we observe a strongly non-monotonic temperature dependence of the charged exciton lifetime. Using a kinetic rate-equation model, we find that a relaxation side-path through the excited charged exciton triplet states may lead to such behavior. This, however, involves efficient singlet-triplet relaxation via the electron spin-flip. Thus, we interpret the results as an indirect observation of strongly enhanced electron spin relaxation without magnetic field, possibly resulting from atypical confinement characteristics.


title: Limit theorems for a class of critical superprocesses with stable branching

abstract: We consider a critical superprocess $\{X;\mathbf P_\mu\}$ with general spatial motion and spatially dependent stable branching mechanism with lowest stable index $\gamma_0 > 1$. We first show that, under some conditions, $\mathbf P_{\mu}(\|X_t\|\neq 0)$ converges to $0$ as $t\to \infty$ and is regularly varying with index $(\gamma_0-1)^{-1}$. Then we show that, for a large class of non-negative testing functions $f$, the distribution of $\{X_t(f);\mathbf P_\mu(\cdot|\|X_t\|\neq 0)\}$, after appropriate rescaling, converges weakly to a positive random variable $\mathbf z^{(\gamma_0-1)}$ with Laplace transform $E[e^{-u\mathbf z^{(\gamma_0-1)}}]=1-(1+u^{-(\gamma_0-1)})^{-1/(\gamma_0-1)}.$


title: Ground state of a bosonic massive charged particle in the presence of external fields in a G\"odel-type spacetime

abstract: The relativistic quantum dynamics of a spinless charged particle interacting with both Aharonov-Bohm and Coulomb-type potentials in the G\"odel-type spacetime is considered. The dynamics of the system is governed by the Klein-Gordon equation with interactions. We verify that it is possible to establish a quantum condition between the energy of the particle and the parameter that characterizes the vorticist of the spacetime. We rigorously analyze the ground state of the system and determine the corresponding wave functions to it.


title: Hierarchical stochastic graphlet embedding for graph-based pattern recognition

abstract: Despite being very successful within the pattern recognition and machine learning community, graph-based methods are often unusable because of the lack of mathematical operations defined in graph domain. Graph embedding, which maps graphs to a vectorial space, has been proposed as a way to tackle these difficulties enabling the use of standard machine learning techniques. However, it is well known that graph embedding functions usually suffer from the loss of structural information. In this paper, we consider the hierarchical structure of a graph as a way to mitigate this loss of information. The hierarchical structure is constructed by topologically clustering the graph nodes, and considering each cluster as a node in the upper hierarchical level. Once this hierarchical structure is constructed, we consider several configurations to define the mapping into a vector space given a classical graph embedding, in particular, we propose to make use of the Stochastic Graphlet Embedding (SGE). Broadly speaking, SGE produces a distribution of uniformly sampled low to high order graphlets as a way to embed graphs into the vector space. In what follows, the coarse-to-fine structure of a graph hierarchy and the statistics fetched by the SGE complements each other and includes important structural information with varied contexts. Altogether, these two techniques substantially cope with the usual information loss involved in graph embedding techniques, obtaining a more robust graph representation. This fact has been corroborated through a detailed experimental evaluation on various benchmark graph datasets, where we outperform the state-of-the-art methods.


title: Heating up Neutron Stars with Inelastic Dark Matter

abstract: Neutron stars can provide new insight into dark matter properties, as these dense objects capture dark matter particles very efficiently. It has recently been shown that the energy transfer in the dark matter capture process can lead to appreciable heating of neutron stars, which may be observable with forthcoming infra-red telescopes. We examine this heating in the context of inelastic dark matter, for which signals in conventional nuclear-recoil based direct detection experiments are highly suppressed when the momentum transfer is small compared to the mass splitting between dark matter states. Neutron stars permit inelastic scattering for much greater mass splittings, because dark matter particles are accelerated to velocities close to the speed of light during infall. Using an effective operator approach for fermionic DM that scatters inelastically, we show that the observation of a very cold neutron star would lead to very stringent limits on the interaction strengths that, in most cases, much stronger than any present, or future, direct detection experiment on Earth. This holds both for elastic scattering and for inelastic scattering with mass splittings up to $\sim 300 MeV$.


title: The valuative tree is the projective limit of Eggers-Wall trees

abstract: Consider a germ $C$ of reduced curve on a smooth germ $S$ of complex analytic surface. Assume that $C$ contains a smooth branch $L$. Using the Newton-Puiseux series of $C$ relative to any coordinate system $(x,y)$ on $S$ such that $L$ is the $y$-axis, one may define the {\em Eggers-Wall tree} $\Theta_L(C)$ of $C$ relative to $L$. Its ends are labeled by the branches of $C$ and it is endowed with three natural functions measuring the characteristic exponents of the previous Newton-Puiseux series, their denominators and contact orders. The main objective of this paper is to embed canonically $\Theta_L(C)$ into Favre and Jonsson's valuative tree $\mathbb{P}(\mathcal{V})$ of real-valued semivaluations of $S$ up to scalar multiplication, and to show that this embedding identifies the three natural functions on $\Theta_L(C)$ as pullbacks of other naturally defined functions on $\mathbb{P}(\mathcal{V})$. As a consequence, we prove an inversion theorem generalizing the well-known Abhyankar-Zariski inversion theorem concerning one branch: if $L'$ is a second smooth branch of $C$, then the valuative embeddings of the Eggers-Wall trees $\Theta_{L'}(C)$ and $\Theta_L(C)$ identify them canonically, their associated triples of functions being easily expressible in terms of each other. We prove also that the space $\mathbb{P}(\mathcal{V})$ is the projective limit of Eggers-Wall trees over all choices of curves $C$. As a supplementary result, we explain how to pass from $\Theta_L(C)$ to an associated splice diagram.


title: Auto-Context R-CNN

abstract: Region-based convolutional neural networks (R-CNN)~\cite{fast_rcnn,faster_rcnn,mask_rcnn} have largely dominated object detection. Operators defined on RoIs (Region of Interests) play an important role in R-CNNs such as RoIPooling~\cite{fast_rcnn} and RoIAlign~\cite{mask_rcnn}. They all only utilize information inside RoIs for RoI prediction, even with their recent deformable extensions~\cite{deformable_cnn}. Although surrounding context is well-known for its importance in object detection, it has yet been integrated in R-CNNs in a flexible and effective way. Inspired by the auto-context work~\cite{auto_context} and the multi-class object layout work~\cite{nms_context}, this paper presents a generic context-mining RoI operator (i.e., \textit{RoICtxMining}) seamlessly integrated in R-CNNs, and the resulting object detection system is termed \textbf{Auto-Context R-CNN} which is trained end-to-end. The proposed RoICtxMining operator is a simple yet effective two-layer extension of the RoIPooling or RoIAlign operator. Centered at an object-RoI, it creates a $3\times 3$ layout to mine contextual information adaptively in the $8$ surrounding context regions on-the-fly. Within each of the $8$ context regions, a context-RoI is mined in term of discriminative power and its RoIPooling / RoIAlign features are concatenated with the object-RoI for final prediction. \textit{The proposed Auto-Context R-CNN is robust to occlusion and small objects, and shows promising vulnerability for adversarial attacks without being adversarially-trained.} In experiments, it is evaluated using RoIPooling as the backbone and shows competitive results on Pascal VOC, Microsoft COCO, and KITTI datasets (including $6.9\%$ mAP improvements over the R-FCN~\cite{rfcn} method on COCO \textit{test-dev} dataset and the first place on both KITTI pedestrian and cyclist detection as of this submission).


title: On twisted Gelfand pairs through commutativity of a Hecke algebra

abstract: For a locally compact, totally disconnected group $G$, a subgroup $H$ and a character $\chi:H \to \mathbb{C}^{\times}$ we define a Hecke algebra $\mathcal{H}_\chi$ and explore the connection between commutativity of $\mathcal{H}_\chi$ and the $\chi$-Gelfand property of $(G,H)$, i.e. the property $\mathrm{dim}_\mathbb{C}(\rho^*)^{(H,\chi^{-1})} \leq 1$ for every $\rho \in \mathrm{Irr}(G)$, the irreducible representations of $G$. We show that the conditions of the Gelfand-Kazhdan criterion imply commutativity of $\mathcal{H}_\chi$, and verify in several simple cases that commutativity of $\mathcal{H}_\chi$ is equivalent to the $\chi$-Gelfand property of $(G,H)$. We then show that if $G$ is a connected reductive group over a $p$-adic field $F$, and $G/H$ is $F$-spherical, then the cuspidal part of $\mathcal{H}_\chi$ is commutative if and only if $(G,H)$ satisfies the $\chi$-Gelfand property with respect to all cuspidal representations ${\rho \in \mathrm{Irr}(G)}$. We conclude by showing that if $(G,H)$ satisfies the $\chi$-Gelfand property with respect to all irreducible $(H,\chi^{-1})$-tempered representations of $G$ then $\mathcal{H}_\chi$ is commutative.


title: On the discrete Fuglede and Pompeiu problems

abstract: We investigate the discrete Fuglede's conjecture and Pompeiu problem on finite abelian groups and develop a strong connection between the two problems. We give a geometric condition under which a multiset of a finite abelian group has the discrete Pompeiu property. Using this description and the revealed connection we prove that Fuglede's conjecture holds for $\mathbb{Z}_{p^n q^2}$, where $p$ and $q$ are different primes. In particular, we show that every spectral subset of $\mathbb{Z}_{p^n q^2}$ tiles the group. Further, using our combinatorial methods we give a simple proof for the statement that Fuglede's conjecture holds for $\mathbb{Z}_p^2$.


title: Gaia GraL: Gaia DR2 Gravitational Lens Systems. III. A systematic blind search for new lensed systems

abstract: Aims: In this work, we aim to provide a reliable list of gravitational lens (GL) candidates based on a search performed over the entire Gaia Data Release 2 (Gaia DR2). We also show that the sole astrometric and photometric informations coming from the Gaia satellite yield sufficient insights for supervised learning methods to automatically identify GL candidates with an efficiency that is comparable to methods based on image processing. Methods: We simulated 106,623,188 lens systems composed of more than two images, based on a regular grid of parameters characterizing a non-singular isothermal ellipsoid lens model in the presence of an external shear. These simulations are used as an input for training and testing our supervised learning models consisting of Extremely Randomized Trees. The latter are finally used to assign to each of the 2,129,659 clusters of celestial objects a discriminant value that reflects the ability of our simulations to match the observed relative positions and fluxes from each cluster. Once complemented with additional constraints, these discriminant values allowed us to identify GL candidates out of the list of clusters. Results: We report the discovery of 15 new quadruply-imaged lens candidates with angular separations less than 6" and assess the performance of our approach by recovering 12 out of the 13 known quadruply-imaged systems with all their components detected in Gaia DR2 with a misclassification rate of fortuitous clusters of stars as lens systems that is below one percent. Similarly, the identification capability of our method regarding quadruply-imaged systems where three images are detected in Gaia DR2 is assessed by recovering 10 out of the 13 known quadruply-imaged systems having one of their constituting images discarded. The associated misclassification rate varying then between 5.8% and 20%, depending on the image we decided to remove.


title: Mind My Value: a decentralized infrastructure for fair and trusted IoT data trading

abstract: Internet of Things (IoT) data are increasingly viewed as a new form of massively distributed and large scale digital assets, which are continuously generated by millions of connected devices. The real value of such assets can only be realized by allowing IoT data trading to occur on a marketplace that rewards every single producer and consumer, at a very granular level. Crucially, we believe that such a marketplace should not be owned by anybody, and should instead fairly and transparently self-enforce a well defined set of governance rules. In this paper we address some of the technical challenges involved in realizing such a marketplace. We leverage emerging blockchain technologies to build a decentralized, trusted, transparent and open architecture for IoT traffic metering and contract compliance, on top of the largely adopted IoT brokered data infrastructure. We discuss an Ethereum-based prototype implementation and experimentally evaluate the overhead cost associated with Smart Contract transactions, concluding that a viable business model can indeed be associated with our technical approach.


title: Impacts of in-plane strain on commensurate graphene/hexagonal boron nitride superlattices

abstract: Due to atomically thin structure, graphene/hexagonal boron nitride (G/hBN) heterostructures are intensively sensitive to the external mechanical forces and deformations being applied to their lattice structure. In particular, strain can lead to the modification of the electronic properties of G/hBN. Furthermore, moir\'e structures driven by misalignment of graphene and hBN layers introduce new features to the electronic behavior of G/hBN. Utilizing {\it ab initio} calculation, we study the strain-induced modification of the electronic properties of diverse stacking faults of G/hBN when applying in-plane strain on both layers, simultaneously. We observe that the interplay of few percent magnitude in-plane strain and moir\'e pattern in the experimentally applicable systems leads to considerable valley drifts, band gap modulation and enhancement of the substrate-induced Fermi velocity renormalization. Furthermore, we find that regardless of the strain alignment, the zigzag direction becomes more efficient for electronic transport, when applying in-plane non-equibiaxial strains.


title: Few- and many-nucleon systems with semilocal coordinate-space regularized chiral two- and three-body forces

abstract: We present a complete calculation of nucleon-deuteron scattering as well as ground and low-lying excited states of light nuclei in the mass range A=3-16 up through next-to-next-to-leading order in chiral effective field theory using semilocal coordinate-space regularized two- and three-nucleon forces. It is shown that both of the low-energy constants entering the three-nucleon force at this order can be reliably determined from the triton binding energy and the differential cross section minimum in elastic nucleon-deuteron scattering. The inclusion of the three-nucleon force is found to improve the agreement with the data for most of the considered observables.


title: On some study of the fine spectra of generalized difference operator $\Delta_{a,b}$ on $\ell_p \ (1<p<\infty)$

abstract: In this paper, we determine the spectrum, the point spectrum, the continuous spectrum and the residual spectrum of the generalized difference operator $\Delta_{a,b}$ on the sequence space $\ell_p \ (1< p < \infty)$ where the real sequences $a=\{a_k\}$ and $b=\{b_k\}$ are not necessarily convergent. Hence our results generalize the work given by Akhmedov and El-Shabrawy [Math. Slovaca 65~(5) (2015) 1137--1152] for the sequence space $\ell_p (1< p <\infty)$.


title: Predictive Likelihood for Coherent Forecasting of Count Time Series

abstract: A new forecasting method based on the concept of the profile predictive the likelihood function is proposed for discrete-valued processes. In particular, generalized autoregressive and moving average (GARMA) models for Poisson distributed data are explored in details. Highest density regions are used to construct forecasting regions. The proposed forecast estimates and regions are coherent. Large sample results are derived for the forecasting distribution. Numerical studies using simulations and a real data set are used to establish the performance of the proposed forecasting method. Robustness of the proposed method to possible misspecification in the model is also studied.


title: Real-time clustering and multi-target tracking using event-based sensors

abstract: Clustering is crucial for many computer vision applications such as robust tracking, object detection and segmentation. This work presents a real-time clustering technique that takes advantage of the unique properties of event-based vision sensors. Since event-based sensors trigger events only when the intensity changes, the data is sparse, with low redundancy. Thus, our approach redefines the well-known mean-shift clustering method using asynchronous events instead of conventional frames. The potential of our approach is demonstrated in a multi-target tracking application using Kalman filters to smooth the trajectories. We evaluated our method on an existing dataset with patterns of different shapes and speeds, and a new dataset that we collected. The sensor was attached to the Baxter robot in an eye-in-hand setup monitoring real-world objects in an action manipulation task. Clustering accuracy achieved an F-measure of 0.95, reducing the computational cost by 88% compared to the frame-based method. The average error for tracking was 2.5 pixels and the clustering achieved a consistent number of clusters along time.


title: Quantum non-locality co-exists with locality

abstract: Quantum non-locality is normally defined via violations of Bell's inequalities that exclude certain classical hidden variable theories from explaining quantum correlations. Another definition of non-locality refers to the wave-function collapse thereby one can prepare a quantum state from arbitrary far away. In both cases one can debate on whether non-locality is a real physical phenomenon, e.g. one can employ formulations of quantum mechanics that does not use collapse, or one can simply refrain from explaining quantum correlations via classical hidden variables. Here we point out that there is a non-local effect within quantum mechanics, i.e. without involving hidden variables or collapse. This effect is seen via imprecise (i.e. interval-valued) joint probability of two observables, which replaces the ill-defined notion of the precise joint probability for non-commuting observables. It is consistent with all requirements for the joint probability, e.g. those for commuting observales. The non-locality amounts to a fact that (in a two-particle system) the joint imprecise probability of non-commuting two-particle observables (i.e. tensor product of single-particle observables) does not factorize into single-particle contributions, even for uncorrelated states of the two-particle system. The factorization is recovered for a less precise (i.e. the one involving a wider interval) joint probability. This approach to non-locality reconciles it with locality, since the latter emerges as a less precise description.


title: The Location and Environments of Neutron Star Mergers in an Evolving Universe

abstract: The simultaneous detection of gravitational and electromagnetic waves from a binary neutron star merger has both solidified the link between neutron star mergers and short-duration gamma-ray bursts (GRBs) and demonstrated the ability of astronomers to follow-up the gravitational wave detection to place constraints on the ejecta from these mergers as well as the nature of the GRB engine and its surroundings. As the sensitivity of aLIGO and VIRGO increases, it is likely that a growing number of such detections will occur in the next few years, leading to a sufficiently-large number of events to constrain the populations of these GRB events. While long-duration GRBs originate from massive stars and thus are located near their stellar nurseries, binary neutron stars may merge on much longer timescales, and thus may have had time to migrate appreciably. The strength and character of the electromagnetic afterglow emission of binary neutron star mergers is a sensitive function of the circum-merger environment. Though the explosion sites of short GRBs have been explored in the literature, the question has yet to be fully addressed in its cosmological context. We present cosmological simulations following the evolution of a galaxy cluster including star formation combined with binary population synthesis models to self-consistently track the locations and environmental gas densities of compact binary merger sites throughout the cosmic web. We present probability distributions for densities as a function of redshift and discuss model sensitivity to population synthesis model assumptions.


title: Replicated Siamese LSTM in Ticketing System for Similarity Learning and Retrieval in Asymmetric Texts

abstract: The goal of our industrial ticketing system is to retrieve a relevant solution for an input query, by matching with historical tickets stored in knowledge base. A query is comprised of subject and description, while a historical ticket consists of subject, description and solution. To retrieve a relevant solution, we use textual similarity paradigm to learn similarity in the query and historical tickets. The task is challenging due to significant term mismatch in the query and ticket pairs of asymmetric lengths, where subject is a short text but description and solution are multi-sentence texts. We present a novel Replicated Siamese LSTM model to learn similarity in asymmetric text pairs, that gives 22% and 7% gain (Accuracy@10) for retrieval task, respectively over unsupervised and supervised baselines. We also show that the topic and distributed semantic features for short and long texts improved both similarity learning and retrieval.


title: Semi-parametric Image Inpainting

abstract: This paper introduces a semi-parametric approach to image inpainting for irregular holes. The nonparametric part consists of an external image database. During test time database is used to retrieve a supplementary image, similar to the input masked picture, and utilize it as auxiliary information for the deep neural network. Further, we propose a novel method of generating masks with irregular holes and present public dataset with such masks. Experiments on CelebA-HQ dataset show that our semi-parametric method yields more realistic results than previous approaches, which is confirmed by the user study.


title: Resilient Synchronization of Distributed Multi-agent Systems under Attacks

abstract: In this paper, we first address adverse effects of cyber-physical attacks on distributed synchronization of multi-agent systems, by providing conditions under which an attacker can destabilize the underlying network, as well as another set of conditions under which local neighborhood tracking errors of intact agents converge to zero. Based on this analysis, we propose a Kullback-Liebler divergence based criterion in view of which each agent detects its neighbors' misbehavior and, consequently, forms a self-belief about the trustworthiness of the information it receives. Agents continuously update their self-beliefs and communicate them with their neighbors to inform them of the significance of their outgoing information. Moreover, if the self-belief of an agent is low, it forms trust on its neighbors. Agents incorporate their neighbors' self-beliefs and their own trust values on their control protocols to slow down and mitigate attacks. We show that using the proposed resilient approach, an agent discards the information it receives from a neighbor only if its neighbor is compromised, and not solely based on the discrepancy among neighbors' information, which might be caused by legitimate changes, and not attacks. The proposed approach is guaranteed to work under mild connectivity assumptions.


title: Learning The Sequential Temporal Information with Recurrent Neural Networks

abstract: Recurrent Networks are one of the most powerful and promising artificial neural network algorithms to processing the sequential data such as natural languages, sound, time series data. Unlike traditional feed-forward network, Recurrent Network has a inherent feed back loop that allows to store the temporal context information and pass the state of information to the entire sequences of the events. This helps to achieve the state of art performance in many important tasks such as language modeling, stock market prediction, image captioning, speech recognition, machine translation and object tracking etc., However, training the fully connected RNN and managing the gradient flow are the complicated process. Many studies are carried out to address the mentioned limitation. This article is intent to provide the brief details about recurrent neurons, its variances and trips & tricks to train the fully recurrent neural network. This review work is carried out as a part of our IPO studio software module 'Multiple Object Tracking'.


title: Exact Rotating Wave Approximation

abstract: The Hamiltonian of a linearly driven two-level system, or qubit, in the standard rotating frame contains non-commuting terms that oscillate at twice the drive frequency, $\omega$, rendering the task of analytically finding the qubit's time evolution nontrivial. The application of the rotating wave approximation (RWA), which is suitable only for drives whose amplitude, or envelope, $H_1(t)$, is small compared to $\omega$ and varies slowly on the time scale of $1/\omega$, yields a simple Hamiltonian that can be integrated relatively easily. We present a series of corrections to the RWA Hamiltonian in $1/\omega$, resulting in an effective Hamiltonian whose time evolution is accurate also for time-dependent drive envelopes in the regime of strong driving, i.e., for $|H_1(t)| \lesssim \omega$. By extending the Magnus expansion with the use of a Taylor series we introduce a method that we call the Magnus-Taylor expansion, which we use to derive a recurrence relation for computing the effective Hamiltonian. We then employ the same method to derive kick operators, which complete our theory for non-smooth drives. The time evolution generated by our kick operators and effective Hamiltonian, both of which depend explicitly on the envelope and its time derivatives, agrees with the exact time evolution at periodic points in time. For the leading Hamiltonian correction we obtain a term proportional to the first derivative of the envelope, which competes with the Bloch-Siegert shift.


title: Orbital Migration of Interacting Stellar Mass Black Holes in Disks around Supermassive Black Holes

abstract: The merger rate of stellar-mass black hole binaries (sBHBs) inferred by the Advanced Laser Interferometer Gravitational-Wave Observatory (LIGO) suggests the need for an efficient source of sBHB formation. Active galactic nucleus (AGN) disks are a promising location for the formation of these sBHBs, as well as binaries of other compact objects, because of powerful torques exerted by the gas disk. These gas torques cause orbiting compact objects to migrate towards regions in the disk where inward and outward torques cancel, known as migration traps. We simulate the migration of stellar mass black holes in an example of a model AGN disk, using an augmented N-body code that includes analytic approximations to migration torques, stochastic gravitational forces exerted by turbulent density fluctuations in the disk, and inclination and eccentricity dampening produced by passages through the gas disk, in addition to the standard gravitational forces between objects. We find that sBHBs form rapidly in our model disk as stellar-mass black holes migrate towards the migration trap. These sBHBs are likely to subsequently merge on short time-scales. The process continues, leading to the build-up of a population of over-massive stellar-mass black holes. The formation of sBHBs in AGN disks could contribute significantly to the sBHB merger rate inferred by LIGO.


title: Strong Bounds on Sum of Neutrino Masses in a 12 Parameter Extended Scenario with Non-Phantom Dynamical Dark Energy ($w(z)\geq -1$)

abstract: We obtained constraints on a 12 parameter extended cosmological scenario including non-phantom dynamical dark energy (NPDDE) with CPL parametrization. We also include the six $\Lambda$CDM parameters, number of relativistic neutrino species ($N_{\textrm{eff}}$) and sum over active neutrino masses ($\sum m_{\nu}$), tensor-to-scalar ratio ($r_{0.05}$), and running of the spectral index ($n_{run}$). We use CMB Data from Planck 2015; BAO Measurements from SDSS BOSS DR12, MGS, and 6dFS; SNe Ia Luminosity Distance measurements from the Pantheon Sample; CMB B-mode polarization data from BICEP2/Keck collaboration (BK14); Planck lensing data; and a prior on Hubble constant ($73.24\pm1.74$ km/sec/Mpc) from local measurements (HST). We have found strong bounds on the sum of the active neutrino masses. For instance, a strong bound of $\sum m_{\nu} <$ 0.123 eV (95\% C.L.) comes from Planck+BK14+BAO. Although we are in such an extended parameter space, this bound is stronger than a bound of $\sum m_{\nu} <$ 0.158 eV (95\% C.L.) obtained in $\Lambda \textrm{CDM}+\sum m_{\nu}$ with Planck+BAO. Varying $A_{\textrm{lens}}$ instead of $r_{0.05}$ however leads to weaker bounds on $\sum m_{\nu}$. Inclusion of the HST leads to the standard value of $N_{\textrm{eff}} = 3.045$ being discarded at more than 68\% C.L., which increases to 95\% C.L. when we vary $A_{\textrm{lens}}$ instead of $r_{0.05}$, implying a small preference for dark radiation, driven by the $H_0$ tension.


title: Resource Allocation Based on Deep Neural Networks for Cognitive Radio Networks

abstract: Resource allocation is of great importance in the next generation wireless communication systems, especially for cognitive radio networks (CRNs). Many resource allocation strategies have been proposed to optimize the performance of CRNs. However, it is challenging to implement these strategies and achieve real-time performance in wireless systems since most of them need accurate and timely channel state information and/or other network statistics. In this paper a resource allocation strategy based on deep neural networks (DNN) is proposed and the training method is presented to train the neural networks. Simulation results show that our proposed strategy based on DNN is efficient in terms of the computation time compared with the conventional resource allocation schemes.


title: Multi-kernel unmixing and super-resolution using the Modified Matrix Pencil method

abstract: Consider $L$ groups of point sources or spike trains, with the $l^{\text{th}}$ group represented by $x_l(t)$. For a function $g:\mathbb{R} \rightarrow \mathbb{R}$, let $g_l(t) = g(t/\mu_l)$ denote a point spread function with scale $\mu_l > 0$, and with $\mu_1 < \cdots < \mu_L$. With $y(t) = \sum_{l=1}^{L} (g_l \star x_l)(t)$, our goal is to recover the source parameters given samples of $y$, or given the Fourier samples of $y$. This problem is a generalization of the usual super-resolution setup wherein $L = 1$; we call this the multi-kernel unmixing super-resolution problem. Assuming access to Fourier samples of $y$, we derive an algorithm for this problem for estimating the source parameters of each group, along with precise non-asymptotic guarantees. Our approach involves estimating the group parameters sequentially in the order of increasing scale parameters, i.e., from group $1$ to $L$. In particular, the estimation process at stage $1 \leq l \leq L$ involves (i) carefully sampling the tail of the Fourier transform of $y$, (ii) a \emph{deflation} step wherein we subtract the contribution of the groups processed thus far from the obtained Fourier samples, and (iii) applying Moitra's modified Matrix Pencil method on a deconvolved version of the samples in (ii).


title: Sensitivity analysis and uncertainty quantification of 1D models of the pulmonary circulation

abstract: This study combines a one-dimensional (1D) model with micro-CT imaging and hemodynamic data to quantify uncertainty of flow and pressure predictions in the pulmonary arteries in a control and hypoxia induced hypertensive mouse. We use local and global sensitivity and correlation analysis to determine parameters that can be inferred from the model and available data. Least squares optimization is used to estimate mouse specific parameters, and Bayesian as well as asymptotic uncertainty quantification techniques are employed to determine confidence, credible, and prediction intervals for the model parameters and response. These techniques are used to examine the effects of network size and to understand how parameters change with disease (hypertension). Results showed that the peripheral vascular resistance is the most sensitive, and as the network size increases the parameter behavior changes. Correlation analysis revealed that in hypertension large vessel stiffness is correlated with proximal resistance in the boundary. We were able to estimate identifiable parameters using both deterministic and Bayesian techniques (the maxima of the parameter distributions determined using Bayesian analysis aligned with local optima). From these estimates we determined confidence and prediction intervals, which all were within physiological expectation. Analysis of estimated parameter values for the representative mice studied here showed that the hypertensive mouse has stiffer (but larger) vessels and that compliance is decreased both in the proximal and peripheral vasculature.


title: Extraction of topological information in Tomonaga-Luttinger liquids

abstract: We discuss expectation values of the twist operator $U$ appearing in the Lieb-Schultz-Mattis theorem (or the polarization operator for periodic systems) in excited states of the one-dimensional correlated systems $z_L^{(q,\pm)}\equiv\braket{\Psi_{q/2}^{\pm}|U^q|\Psi_{q/2}^{\pm}}$, where $\ket{\Psi_{p}^{\pm}}$ denotes the excited states given by linear combinations of momentum $2pk_{\rm F}$ with parity $\pm 1$. We found that $z_L^{(q,\pm)}$ gives universal values $\pm 1/2$ on the Tomonaga-Luttinger (TL) fixed point, and its signs identify the topology of the dominant phases. Therefore, this expectation value changes between $\pm 1/2$ discontinuously at a phase transition point with the U(1) or SU(2) symmetric Gaussian universality class. This means that $z_L^{(q,\pm)}$ extracts the topological information of TL liquids. We explain these results based on the free-fermion picture and the bosonization theory, and also demonstrate them in several physical systems.


title: $P$-Partition Generating Function Equivalence of Naturally Labeled Posets

abstract: The $P$-partition generating function of a (naturally labeled) poset $P$ is a quasisymmetric function enumerating order-preserving maps from $P$ to $\mathbb{Z}^+$. Using the Hopf algebra of posets, we give necessary conditions for two posets to have the same generating function. In particular, we show that they must have the same number of antichains of each size, as well as the same shape (as defined by Greene). We also discuss which shapes guarantee uniqueness of the $P$-partition generating function and give a method of constructing pairs of non-isomorphic posets with the same generating function.


title: Fermi GBM Observations of GRB 150101B: A Second Nearby Event with a Short Hard Spike and a Soft Tail

abstract: In light of the joint multimessenger detection of a binary neutron star merger as the gamma-ray burst GRB 170817A and in gravitational waves as GW170817, we reanalyze the Fermi Gamma-ray Burst Monitor data of one of the closest short gamma-ray bursts: GRB 150101B. We find this burst is composed of a short hard spike followed by a comparatively long soft tail. This apparent two-component nature is phenomenologically similar to that of GRB 170817A. While GRB 170817A was distinct from the previously known population of short gamma-ray bursts in terms of its prompt intrinsic energetics, GRB 150101B is not. Despite these differences, GRB 150101B can be modeled as a more on-axis version of GRB 170817A. Identifying a similar signature in two of the closest short gamma-ray bursts suggests the soft tail is common, but generally undetectable in more distant events. If so, it will be possible to identify nearby short gamma-ray bursts from the prompt gamma-ray emission alone, aiding the search for kilonovae.


title: Hodge numbers and Hodge structures for Calabi-Yau categories of dimension three

abstract: Let $\mathcal{A}$ be a smooth proper C-linear triangulated category Calabi-Yau of dimension 3 endowed with a (non-trivial) rank function. Using the homological unit of $\mathcal{A}$ with respect to the given rank function, we define Hodge numbers for $\mathcal{A}$. If the classes of unitary objects generate the complexified numerical K-theory of $\mathcal{A}$ (hypothesis satisfied for many examples of smooth proper Calabi-Yau categories of dimension 3), it is proved that these numbers are independent of the chosen rank function : they are intrinsic invariants of the triangulated category $\mathcal{A}$. In the special case where $\mathcal{A}$ is a semi-orthogonal component of the derived category of a smooth complex projective variety and the homological unit of $\mathcal{A}$ is $\mathbb{C} \oplus \mathbb{C}[3]$ (that is $\mathcal{A}$ is strict Calabi-Yau with respect to the rank function), we define a Hodge structure on the Hochschild homology of $\mathcal{A}$. The dimensions of the Hodge spaces of this structure are the Hodge numbers aforementioned. Finally, we give some numerical applications toward the Homological Mirror Symmetry conjecture for cubic sevenfolds and double quartic fivefolds.


title: Modal logic of planar polygons

abstract: We study the modal logic of the closure algebra $P_2$, generated by the set of all polygons in the Euclidean plane $\mathbb{R}^2$. We show that this logic is finitely axiomatizable, is complete with respect to the class of frames we call "crown" frames, is not first order definable, does not have the Craig interpolation property, and its validity problem is PSPACE-complete.


title: On the multi-wavelength Emission from CTA 102

abstract: We report on broadband observations of CTA 102 ($z=1.037$) during the active states in 2016-2017. In the $\gamma$-ray band, Fermi LAT observed several prominent flares which followed a harder-when-brighter behavior: the hardest photon index $\Gamma=1.61\pm 0.10$ being unusual for FSRQs. The peak $\gamma$-ray flux above 100 MeV $(3.55\pm0.55)\times10^{-5}\:{\rm photon\:cm^{-2}\:s^{-1}}$ observed on MJD 57738.47 within 4.31 minutes, corresponds to an isotropic $\gamma$-ray luminosity of $L_{\gamma}=3.25\times10^{50}\:{\rm erg\:s^{-1}}$, comparable with the highest values observed from blazars so far. The analyses of the Swift UVOT/XRT data show an increase in the UV/optical and X-ray bands which is contemporaneous with the bright $\gamma$-ray periods. The X-ray spectrum observed by Swift XRT and NuSTAR during the $\gamma$-ray flaring period is characterized by a hard photon index of $\sim1.30$. The shortest e-folding time was $4.08\pm1.44$ hours, suggesting a very compact emission region $R\leq\delta\times2.16\times10^{14}$ cm. We modeled the spectral energy distribution of CTA 102 in several periods (having different properties in UV/optical, X-ray and $\gamma$-ray bands) assuming a compact blob inside and outside the BLR. We found that the high-energy data are better described when the infrared thermal radiation of the dusty torus is considered. In the flaring periods when the correlation between the $\gamma$-ray and UV/optical/X-ray bands is lacking, the $\gamma$-ray emission can be produced from the interaction of fresh electrons in a different blob, which does not make a dominant contribution at lower energies.


title: QDDS: A Novel Quantum Swarm Algorithm Inspired by a Double Dirac Delta Potential

abstract: In this paper a novel Quantum Double Delta Swarm (QDDS) algorithm modeled after the mechanism of convergence to the center of attractive potential field generated within a single well in a double Dirac delta well setup has been put forward and the preliminaries discussed. Theoretical foundations and experimental illustrations have been incorporated to provide a first basis for further development, specifically in refinement of solutions and applicability to problems in high dimensional spaces. Simulations are carried out over varying dimensionality on four benchmark functions, viz. Rosenbrock, Rastrigrin, Griewank and Sphere as well as the multidimensional Finite Impulse Response (FIR) Filter design problem with different population sizes. Test results illustrate the algorithm yields superior results to some related reports in the literature while reinforcing the need of substantial future work to deliver near-optimal results consistently, especially if dimensionality scales up.


title: A Wavefunction Microscope for Ultracold Atoms

abstract: Quantum simulations with ultracold atoms typically create atomic wavefunctions with structures at optical length scales, where direct imaging suffers from the diffraction limit. In analogy to advances in optical microscopy for biological applications, we use a non-linear atomic response to surpass the diffraction limit. Exploiting quantum interference, we demonstrate imaging with super-resolution of $\lambda/100$ and excellent temporal resolution of 500 ns. We characterize our microscope's performance by measuring the ensemble averaged wavefunction of atoms within the unit cells of an optical lattice, and observe the dynamics of atoms excited into periodic motion. This approach can be readily applied to image any atomic or molecular system, as long as it hosts a three-level system.


title: Large Margin Few-Shot Learning

abstract: The key issue of few-shot learning is learning to generalize. This paper proposes a large margin principle to improve the generalization capacity of metric based methods for few-shot learning. To realize it, we develop a unified framework to learn a more discriminative metric space by augmenting the classification loss function with a large margin distance loss function for training. Extensive experiments on two state-of-the-art few-shot learning methods, graph neural networks and prototypical networks, show that our method can improve the performance of existing models substantially with very little computational overhead, demonstrating the effectiveness of the large margin principle and the potential of our method.


title: Separability is not the best goal for machine learning

abstract: Neural networks use their hidden layers to transform input data into linearly separable data clusters, with a linear or a perceptron type output layer making the final projection on the line perpendicular to the discriminating hyperplane. For complex data with multimodal distributions this transformation is difficult to learn. Projection on $k\geq 2$ line segments is the simplest extension of linear separability, defining much easier goal for the learning process. Simple problems are 2-separable, but problems with inherent complex logic may be solved in a simple way by $k$-separable projections. The difficulty of learning non-linear data distributions is shifted to separation of line intervals, simplifying the transformation of data by hidden network layers. For classification of difficult Boolean problems, such as the parity problem, linear projection combined with \ksep is sufficient and provides a powerful new target for learning. More complex targets may also be defined, changing the goal of learning from linear discrimination to creation of data distributions that can easily be handled by specialized models selected to analyze output distributions. This approach can replace many layers of transformation required by deep learning models.


title: Bounds and Constructions for Multi-Symbol Duplication Error Correcting Codes

abstract: In this paper, we study codes correcting $t$ duplications of $\ell$ consecutive symbols. These errors are known as tandem duplication errors, where a sequence of symbols is repeated and inserted directly after its original occurrence. Using sphere packing arguments, we derive non-asymptotic upper bounds on the cardinality of codes that correct such errors for any choice of parameters. Based on the fact that a code correcting insertions of $t$ zero-blocks can be used to correct $t$ tandem duplications, we construct codes for tandem duplication errors. We compare the cardinalities of these codes with their sphere packing upper bounds. Finally, we discuss the asymptotic behavior of the derived codes and bounds, which yields insights about the tandem duplication channel.


title: HEP Software Foundation Community White Paper Working Group - Training, Staffing and Careers

abstract: The rapid evolution of technology and the parallel increasing complexity of algorithmic analysis in HEP requires developers to acquire a much larger portfolio of programming skills. Young researchers graduating from universities worldwide currently do not receive adequate preparation in the very diverse fields of modern computing to respond to growing needs of the most advanced experimental challenges. There is a growing consensus in the HEP community on the need for training programmes to bring researchers up to date with new software technologies, in particular in the domains of concurrent programming and artificial intelligence. We review some of the initiatives under way for introducing new training programmes and highlight some of the issues that need to be taken into account for these to be successful.


title: Machine Learning in High Energy Physics Community White Paper

abstract: Machine learning has been applied to several problems in particle physics research, beginning with applications to high-level physics analysis in the 1990s and 2000s, followed by an explosion of applications in particle and event identification and reconstruction in the 2010s. In this document we discuss promising future research and development areas for machine learning in particle physics. We detail a roadmap for their implementation, software and hardware resource requirements, collaborative initiatives with the data science community, academia and industry, and training the particle physics community in data science. The main objective of the document is to connect and motivate these areas of research and development with the physics drivers of the High-Luminosity Large Hadron Collider and future neutrino experiments and identify the resource needs for their implementation. Additionally we identify areas where collaboration with external communities will be of great benefit.


title: Moderated Network Models

abstract: Pairwise network models such as the Gaussian Graphical Model (GGM) are a powerful and intuitive way to analyze dependencies in multivariate data. A key assumption of the GGM is that each pairwise interaction is independent of the values of all other variables. However, in psychological research this is often implausible. In this paper, we extend the GGM by allowing each pairwise interaction between two variables to be moderated by (a subset of) all other variables in the model, and thereby introduce a Moderated Network Model (MNM). We show how to construct the MNM and propose an L1-regularized nodewise regression approach to estimate it. We provide performance results in a simulation study and show that MNMs outperform the split-sample based methods Network Comparison Test (NCT) and Fused Graphical Lasso (FGL) in detecting moderation effects. Finally, we provide a fully reproducible tutorial on how to estimate MNMs with the R-package mgm and discuss possible issues with model misspecification.


title: On Convergence of Heuristics Based on Douglas-Rachford Splitting and ADMM to Minimize Convex Functions over Nonconvex Sets

abstract: Recently, heuristics based on the Douglas-Rachford splitting algorithm and the alternating direction method of multipliers (ADMM) have found empirical success in minimizing convex functions over nonconvex sets, but not much has been done to improve the theoretical understanding of them. In this paper, we investigate convergence of these heuristics. First, we characterize optimal solutions of minimization problems involving convex cost functions over nonconvex constraint sets. We show that these optimal solutions are related to the fixed point set of the underlying nonconvex Douglas-Rachford operator. Next, we establish sufficient conditions under which the Douglas-Rachford splitting heuristic either converges to a point or its cluster points form a nonempty compact connected set. In the case where the heuristic converges to a point, we establish sufficient conditions for that point to be an optimal solution. Then, we discuss how the ADMM heuristic can be constructed from the Douglas-Rachford splitting algorithm. We show that, unlike in the convex case, the algorithms in our nonconvex setup are not equivalent to each other and have a rather involved relationship between them. Finally, we comment on convergence of the ADMM heuristic and compare it with the Douglas-Rachford splitting heuristic.


title: Reasoning about exceptions in ontologies: from the lexicographic closure to the skeptical closure

abstract: Reasoning about exceptions in ontologies is nowadays one of the challenges the description logics community is facing. The paper describes a preferential approach for dealing with exceptions in Description Logics, based on the rational closure. The rational closure has the merit of providing a simple and efficient approach for reasoning with exceptions, but it does not allow independent handling of the inheritance of different defeasible properties of concepts. In this work we outline a possible solution to this problem by introducing a variant of the lexicographical closure, that we call skeptical closure, which requires to construct a single base. We develop a bi-preference semantics semantics for defining a characterization of the skeptical closure.


title: Regularity for multi-phase variational problems

abstract: We prove $C^{1,\nu}$ regularity for local minimizers of the \oh{multi-phase} energy: \begin{flalign*} w \mapsto \int_{\Omega}\snr{Dw}^{p}+a(x)\snr{Dw}^{q}+b(x)\snr{Dw}^{s} \ dx, \end{flalign*} under sharp assumptions relating the couples $(p,q)$ and $(p,s)$ to the H\"older exponents of the modulating coefficients $a(\cdot)$ and $b(\cdot)$, respectively.


title: Artinian Gorenstein algebras that are free extensions over ${\sf k}[t]/(t^n)$, and Macaulay duality

abstract: T. Harima and J. Watanabe studied the Lefschetz properties of free extension Artinian algebras $C$ over a base $A$ with fibre $B$. The free extensions are deformations of the usual tensor product, when $C$ is also Gorenstein, so are $A$ and $B$, and it is natural to ask for the relation among the Macaulay dual generators for the algebras. Writing a dual generator $F$ for $C$ as a homogeneous "polynomial" in $T$ and the dual variables for $B$, and given the dual generator for $B$, we give sufficient conditions on $F$ that ensure that $C$ is a free extension of $A={\sf k}[t]/(t^n)$ with fiber $B$. We give examples that explore the sharpness of the statements. We also consider a special set of coinvariant algebras $C$ which are free extensions of $A$, but which do not satisfy the sufficient conditions of our main result.


title: A lower bound on the queueing delay in resource constrained load balancing

abstract: We consider the following distributed service model: jobs with unit mean, general distribution, and independent processing times arrive as a renewal process of rate $\lambda n$, with $0<\lambda<1$, and are immediately dispatched to one of several queues associated with $n$ identical servers with unit processing rate. We assume that the dispatching decisions are made by a central dispatcher endowed with a finite memory, and with the ability to exchange messages with the servers. We study the fundamental resource requirements (memory bits and message exchange rate), in order to drive the expected queueing delay in steady-state of a typical job to zero, as $n$ increases. We develop a novel approach to show that, within a certain broad class of "symmetric" policies, every dispatching policy with a message rate of the order of $n$, and with a memory of the order of $\log n$ bits, results in an expected queueing delay which is bounded away from zero, uniformly as $n\to\infty$.


title: Demonstration of a general fault-tolerant quantum error detection code for (2n+1)-qubit entangled state on IBM 16-qubit quantum computer

abstract: Quantum error detection has always been a fundamental challenge in a fault-tolerant quantum computer. Hence, it is of immense importance to detect and deal with arbitrary errors to efficiently perform quantum computation. Several error detection codes have been proposed and realized for lower number of qubit systems. Here we present an error detection code for a (2n+1)-qubit entangled state using two syndrome qubits and simulate it on IBM's 16-qubit quantum computer for a 13-qubit entangled system. The code is able to detect an arbitrary quantum error in any one of the first 2n qubits of the (2n+1)-qubit entangled state and detects any bit-flip error on the last qubit of the (2n+1)-qubit entangled state via measurements on a pair of ancillary error syndrome qubits. The protocol presented here paves the way for designing error detection codes for the general higher number of entangled qubit systems.


title: Stochastic Block Model for Hypergraphs: Statistical limits and a semidefinite programming approach

abstract: We study the problem of community detection in a random hypergraph model which we call the stochastic block model for $k$-uniform hypergraphs ($k$-SBM). We investigate the exact recovery problem in $k$-SBM and show that a sharp phase transition occurs around a threshold: below the threshold it is impossible to recover the communities with non-vanishing probability, yet above the threshold there is an estimator which recovers the communities almost asymptotically surely. We also consider a simple, efficient algorithm for the exact recovery problem which is based on a semidefinite relaxation technique.