title: Transfunctions and their connections to Plans, Markov Operators and Optimal Transport

abstract: A transfunction is a function which maps between sets of finite measures on measurable spaces. In this paper we characterize transfunctions that correspond to Markov operators and to plans; such a transfunction will contain the "instructions" common to several Markov operators and plans. We also define the adjoint of transfunctions in two settings and provide conditions for existence of adjoints. Finally, we develop approximations of identity in each setting and use them to approximate weakly-continuous transfunctions with simple transfunctions; one of these results can be applied to some optimal transport problems to approximate the optimal cost with simple Markov transfunctions.


title: Treatment Effect Models with Strategic Interaction in Treatment Decisions

abstract: This study considers treatment effect models in which others' treatment decisions can affect both one's own treatment and outcome. Focusing on the case of two-player interactions, we formulate treatment decision behavior as a complete information game with multiple equilibria. Using a latent index framework and assuming a stochastic equilibrium selection, we prove that the marginal treatment effect from one's own treatment and that from the partner are identifiable on the conditional supports of certain threshold variables determined through the game model. Based on our constructive identification results, we propose a two-step semiparametric procedure for estimating the marginal treatment effects using series approximation. We show that the proposed estimator is uniformly consistent and asymptotically normally distributed. As an empirical illustration, we investigate the impacts of risky behaviors on adolescents' academic performance.


title: Exchangeability and Kernel Invariance in Trained MLPs

abstract: In the analysis of machine learning models, it is often convenient to assume that the parameters are IID. This assumption is not satisfied when the parameters are updated through training processes such as SGD. A relaxation of the IID condition is a probabilistic symmetry known as exchangeability. We show the sense in which the weights in MLPs are exchangeable. This yields the result that in certain instances, the layer-wise kernel of fully-connected layers remains approximately constant during training. We identify a sharp change in the macroscopic behavior of networks as the covariance between weights changes from zero.


title: Super-pixel cloud detection using Hierarchical Fusion CNN

abstract: Cloud detection plays a very important role in the process of remote sensing images. This paper designs a super-pixel level cloud detection method based on convolutional neural network (CNN) and deep forest. Firstly, remote sensing images are segmented into super-pixels through the combination of SLIC and SEEDS. Structured forests is carried out to compute edge probability of each pixel, based on which super-pixels are segmented more precisely. Segmented super-pixels compose a super-pixel level remote sensing database. Though cloud detection is essentially a binary classification problem, our database is labeled into four categories: thick cloud, cirrus cloud, building and other culture, to improve the generalization ability of our proposed models. Secondly, super-pixel level database is used to train our cloud detection models based on CNN and deep forest. Considering super-pixel level remote sensing images contain less semantic information compared with general object classification database, we propose a Hierarchical Fusion CNN (HFCNN). It takes full advantage of low-level features like color and texture information and is more applicable to cloud detection task. In test phase, every super-pixel in remote sensing images is classified by our proposed models and then combined to recover final binary mask by our proposed distance metric, which is used to determine ambiguous super-pixels. Experimental results show that, compared with conventional methods, HFCNN can achieve better precision and recall.


title: Preparing the spin-singlet state of a spinor gas in an optical cavity

abstract: We propose a method to prepare the spin singlet in an ensemble of integer-spin atoms confined within a high-finesse optical cavity. Using a cavity-assisted Raman transition to produce an effective Tavis-Cummings model, we show that a high fidelity spin singlet can be produced probabilistically, although with low efficiency, heralded by the \emph{absence} of photons escaping the cavity. In a different limit, a similar configuration of laser and cavity fields can be used to engineer a model that emulates spinor collisional dynamics. Borrowing from techniques used in spinor Bose-Einstein condensates, we show that adiabatic transformation of the system Hamiltonian (via a time-dependent, effective quadratic Zeeman shift) can be used to produce a low fidelity spin singlet. Then, by following this method with the aforementioned heralding technique, we show that it is possible to prepare the singlet state with both high fidelity and good efficiency for a large ensemble.


title: Design of Atomically Precise Nanoscale Negative Differential Resistance Devices

abstract: Down-scaling device dimensions to the nanometer range raises significant challenges to traditional device design, due to potential current leakage across nanoscale dimensions and the need to maintain reproducibility while dealing with atomic-scale components. Here we investigate negative differential resistance (NDR) devices based on atomically precise graphene nanoribbons. Our computational evaluation of the traditional double-barrier resonant tunneling diode NDR structure uncovers important issues at the atomic scale, concerning the need to minimize the tunneling current between the leads while achieving high peak current. We propose a new device structure consisting of multiple short segments that enables high current by the alignment of electronic levels across the segments while enlarging the tunneling distance between the leads. The proposed structure can be built with atomic precision using a scanning tunneling microscope (STM) tip during an intermediate stage in the synthesis of an armchair nanoribbon. An experimental evaluation of the band alignment at the interfaces and an STM image of the fabricated active part of the device are also presented. This combined theoretical-experimental approach opens a new avenue for the design of nanoscale devices with atomic precision.


title: Exploring Fine-tuning of the Next-to-Minimal Composite Higgs Model

abstract: We perform a detailed study of the fine-tuning of the two-site, 4D, Next-to-Minimal Composite Higgs Model (NMCHM), based on the global symmetry breaking pattern $SO(6)\rightarrow SO(5)$. Using our previously-defined fine-tuning measure that correctly combines the effect of multiple sources of fine-tuning, we quantify the fine-tuning that is expected to result from future collider measurements of the Standard Model-like Higgs branching ratios, in addition to null searches for the new resonances in the model. We also perform a detailed comparison with the Minimal Composite Higgs Model, finding that there is in general little difference between the fine-tuning expected in the two scenarios, even after measurements at a high-luminosity, 1 TeV linear collider. Finally, we briefly consider the relationship between fine-tuning and the ability of the extra scalar in the NMCHM model to act as a dark matter candidate, finding that the realisation of a $Z_2$ symmetry that stabilises the scalar is amongst the most natural regions in the parameter space, regardless of future collider measurements.


title: Explicit equations for mirror families to log Calabi-Yau surfaces

abstract: Mirror symmetry for del Pezzo surfaces was studied by Auroux, Katzarkov and Orlov who suggested that the mirror should take the form of a Landau-Ginzburg model with a particular type of elliptic fibration. This problem was then considered again but from an algebro-geometric perspective by Gross, Hacking and Keel. Their construction allows one to construct a formal mirror family to a pair $(S,D)$ where $S$ is a smooth rational projective surface and $D$ a certain type of Weil divisor supporting an ample or anti-ample class. In the case of $S$ a Fano surface they proved that this family may be lifted to an algebraic family over an affine base. In this paper we perform this construction for all smooth del Pezzo surfaces of degree at least two and obtain explicit equations for the mirror families and explain some of the motivation for their construction. We also provide an implementation of the Kontsevich Soibelman lemma in Sage.


title: Free surface flows using inverse smoothed particle hydrodynamics

abstract: Free surface flow problems including mixing processes in dam break flows and wave breaking phenomena are characterized by large deformation of the free surface. As such, they cannot be easily investigated by analytical and numerical mesh based models. In this paper a new method called un-smoothed particle hydrodynamics (SPH-i) solver is tested to study how well it can capture wave breaking and mixing of water bodies in 2D dam-break flows over wet beds. The model captures the breaking and mixing processes relatively well when compared against experimental results. Therefore, it can be inferred that the capability of the proposed model to predict the development and evolution of breaking waves as well as the interface at the water-water interface in dam-break mixing processes has been demonstrated.


title: Dynamic tomography of the spin-orbit coupling in nonlinear optics

abstract: Spin-orbit coupled (SOC) light fields with spatially inhomogeneous polarization have attracted increasing research interest within the optical community. In particular, owing to their spin-dependent phase and spatial structures, many nonlinear optical phenomena which we have been familiar with up to now are being re-examined, hence a revival of research in nonlinear optics. To fully investigate this topic, knowledge on how the topological structure of the light field evolves is necessary, but, as yet, there are few studies that address the structural evolution of the light field. Here, for the first time, we present a universal approach for theoretical tomographic treatment of the structural evolution of SOC light in nonlinear optics processes. Based on a Gedanken vector second harmonic generation, a fine-grained slice of evolving SOC light in a nonlinear interaction and the following diffraction propagation are studied theoretically and verified experimentally, and which at the same time reveal several interesting phenomena. The approach provides a useful tool for enhancing our capability to obtain a more nuanced understanding of vector nonlinear optics, and sets a foundation for further broad-based studies in nonlinear systems.


title: Malicious Web Domain Identification using Online Credibility and Performance Data by Considering the Class Imbalance Issue

abstract: Purpose: Malicious web domain identification is of significant importance to the security protection of Internet users. With online credibility and performance data, this paper aims to investigate the use of machine learning tech-niques for malicious web domain identification by considering the class imbalance issue (i.e., there are more benign web domains than malicious ones). Design/methodology/approach: We propose an integrated resampling approach to handle class imbalance by combining the Synthetic Minority Over-sampling TEchnique (SMOTE) and Particle Swarm Optimisation (PSO), a population-based meta-heuristic algorithm. We use the SMOTE for over-sampling and PSO for under-sampling. Findings: By applying eight well-known machine learning classifiers, the proposed integrated resampling approach is comprehensively examined using several imbalanced web domain datasets with different imbalance ratios. Com-pared to five other well-known resampling approaches, experimental results confirm that the proposed approach is highly effective. Practical implications: This study not only inspires the practical use of online credibility and performance data for identifying malicious web domains, but also provides an effective resampling approach for handling the class imbal-ance issue in the area of malicious web domain identification. Originality/value: Online credibility and performance data is applied to build malicious web domain identification models using machine learning techniques. An integrated resampling approach is proposed to address the class im-balance issue. The performance of the proposed approach is confirmed based on real-world datasets with different imbalance ratios.


title: Linear Shrinkage Estimation of Covariance Matrices Using Low-Complexity Cross-Validation

abstract: Shrinkage can effectively improve the condition number and accuracy of covariance matrix estimation, especially for low-sample-support applications with the number of training samples smaller than the dimensionality. This paper investigates parameter choice for linear shrinkage estimators. We propose data-driven, leave-one-out cross-validation (LOOCV) methods for automatically choosing the shrinkage coefficients, aiming to minimize the Frobenius norm of the estimation error. A quadratic loss is used as the prediction error for LOOCV. The resulting solutions can be found analytically or by solving optimization problems of small sizes and thus have low complexities. Our proposed methods are compared with various existing techniques. We show that the LOOCV method achieves near-oracle performance for shrinkage designs using sample covariance matrix (SCM) and several typical shrinkage targets. Furthermore, the LOOCV method provides low-complexity solutions for estimators that use general shrinkage targets, multiple targets, and/or ordinary least squares (OLS)-based covariance matrix estimation. We also show applications of our proposed techniques to several different problems in array signal processing.


title: AdaPtive Noisy Data Augmentation (PANDA) for Simultaneous Construction of Multiple Graph Models

abstract: We extend the data augmentation technique PANDA by Li et al. (2018) that regularizes single graph estimation to jointly learning multiple graphical models with various node types in a unified framework. We design two types of noise to augment the observed data: the first type regularizes the estimation of each graph while the second type promotes either the structural similarity, referred as the \joint group lasso regularization, or the numerical similarity, referred as the joint fused ridge regularization, among the edges in the same position across graphs. The computation in PANDA is straightforward and only involves obtaining maximum likelihood estimator in generalized linear models in an iterative manner. The simulation studies demonstrate PANDA is non-inferior to existing joint estimation approaches for Gaussian graphical models, and significantly improves over the naive differencing approach for non-Gaussian graphical models. We apply PANDA to a real-life lung cancer microarray data to simultaneously construct four protein networks.


title: Pico-Newton mechanical forces promote neurite growth

abstract: Investigations over half a century have indicated that mechanical forces induce neurite growth - with neurites elongating at a rate of 0.1-0.3{\mu}mh^{-1} per pico-Newton (pN) of applied force - when mechanical tension exceeds a threshold, with this being identified as 400-1000 pN for neurites of PC12 cells. Here we demonstrate that there is no threshold for neurite elongation of PC12 cells in response to applied mechanical forces. Instead, this proceeds at the same previously identified rate, on the application of tensions with intensity below 1pN. This supports the idea of mechanical tension as an endogenous signal used by neurons for promoting neurite elongation.


title: Generative Low-Shot Network Expansion

abstract: Conventional deep learning classifiers are static in the sense that they are trained on a predefined set of classes and learning to classify a novel class typically requires re-training. In this work, we address the problem of Low-Shot network expansion learning. We introduce a learning framework which enables expanding a pre-trained (base) deep network to classify novel classes when the number of examples for the novel classes is particularly small. We present a simple yet powerful hard distillation method where the base network is augmented with additional weights to classify the novel classes, while keeping the weights of the base network unchanged. We show that since only a small number of weights needs to be trained, the hard distillation excels in low-shot training scenarios. Furthermore, hard distillation avoids detriment to classification performance on the base classes. Finally, we show that low-shot network expansion can be done with a very small memory footprint by using a compact generative model of the base classes training data with only a negligible degradation relative to learning with the full training set.


title: Noise reinforcement for L{\'e}vy processes

abstract: In a step reinforced random walk, at each integer time and with a fixed probability p $\in$ (0, 1), the walker repeats one of his previous steps chosen uniformly at random, and with complementary probability 1 -- p, the walker makes an independent new step with a given distribution. Examples in the literature include the so-called elephant random walk and the shark random swim. We consider here a continuous time analog, when the random walk is replaced by a L{\'e}vy process. For sub-critical (or admissible) memory parameters p < p c , where p c is related to the Blumenthal-Getoor index of the L{\'e}vy process, we construct a noise reinforced L{\'e}vy process. Our main result shows that the step-reinforced random walks corresponding to discrete time skeletons of the L{\'e}vy process, converge weakly to the noise reinforced L{\'e}vy process as the time-mesh goes to 0.


title: On $p$-groups with automorphism groups related to the exceptional Chevalley groups

abstract: Let $\hat G$ be the finite simply connected version of an exceptional Chevalley group, and let $V$ be a nontrivial irreducible module, of minimal dimension, for $\hat G$ over its field of definition. We explore the overgroup structure of $\hat G$ in $\mathrm{GL}(V)$, and the submodule structure of the exterior square (and sometimes the third Lie power) of $V$. When $\hat G$ is defined over a field of odd prime order $p$, this allows us to construct the smallest (with respect to certain properties) $p$-groups $P$ such that the group induced by $\mathrm{Aut}(P)$ on $P/\Phi(P)$ is either $\hat G$ or its normaliser in $\mathrm{GL}(V)$.


title: Casimir Thrust Force on a Rotating Chiral Particle

abstract: In the work, the thermal and vacuum fluctuation is predicted capable of generating a Casimir thrust force on a rotating chiral particle, which will push or pull the particle along the rotation axis. The Casimir thrust force comes from two origins: i) the rotation-induced symmetry-breaking in the vacuum and thermal fluctuation and ii) the chiral cross-coupling between electric and magnetic fields and dipoles, which can convert the vacuum spin angular momentum (SAM) to the vacuum force. Using the fluctuation dissipation theorem (FDT), we derive the analytical expressions for the vacuum thrust force in dipolar approximation and the dependences of the force on rotation frequency, temperature and material optical properties are investigated. The work reveals a new mechanism to generate a vacuum force, which opens a new way to exploit zero-point energy of vacuum.


title: A Two-Layer Distributed Control Method for Islanded Networked Microgrid Systems

abstract: This paper presents a two-layer, four-level distributed control method for networked microgrid (NMG) systems, taking into account the proprietary nature of microgrid (MG) owners. The proposed control architecture consists of a MG-control layer and a NMG-control layer. In the MG layer, the primary and distrib-uted secondary control realize accurate power sharing among distributed generators (DGs) and the frequency/voltage reference following within each MG. In the NMG layer, the tertiary control enables regulation of the power flowing through the point of common coupling (PCC) of each MG in a decentralized manner. Furthermore, the distributed quaternary control restores system frequency and critical bus voltage to their nominal values and ensures accurate power sharing among MGs. A small-signal dynamic model is developed to evaluate dynamic performance of NMG systems with the proposed control method. Time-domain simulations as well as experiments on NMG test systems are performed to validate the effectiveness of the proposed method.


title: A Constructive Elementary Proof of the Skolem-Noether Theorem for Matrix Algebras

abstract: We give a constructive elementary proof for the fact that any K-automorphism of the full nxn matrix algebra over a field K is conjugation by some invertible nxn matrix A over K.


title: On the Poincar{\'e} constant of log-concave measures

abstract: The goal of this paper is to push forward the study of those properties of log-concave measures that help to estimate their Poincar{\'e} constant. First we revisit E. Milman's result [40] on the link between weak (Poincar{\'e} or concentration) inequalities and Cheeger's inequality in the logconcave cases, in particular extending localization ideas and a result of Latala, as well as providing a simpler proof of the nice Poincar{\'e} (dimensional) bound in the inconditional case. Then we prove alternative transference principle by concentration or using various distances (total variation, Wasserstein). A mollification procedure is also introduced enabling, in the logconcave case, to reduce to the case of the Poincar{\'e} inequality for the mollified measure. We finally complete the transference section by the comparison of various probability metrics (Fortet-Mourier, bounded-Lipschitz,...).


title: Classical field theory limit of many-body quantum Gibbs states in 2D and 3D

abstract: We provide a rigorous derivation of nonlinear Gibbs measures in two and three space dimensions, starting from many-body quantum systems in thermal equilibrium. More precisely, we prove that the grand-canonical Gibbs state of a large bosonic quantum system converges to the Gibbs measure of a nonlinear Schr{\"o}dinger-type classical field theory, in terms of partition functions and reduced density matrices. The Gibbs measure thus describes the behavior of the infinite Bose gas at criticality, that is, close to the phase transition to a Bose-Einstein condensate. The Gibbs measure is concentrated on singular distributions and has to be appropriately renormalized, while the quantum system is well defined without any renormalization. By tuning a single real parameter (the chemical potential), we obtain a counter-term for the diverging repulsive interactions which provides the desired Wick renormalization of the limit classical theory. The proof relies on a new estimate on the entropy relative to quasi-free states and a novel method to control quantum variances.

categories: math.AP cond-mat.quant-gas math-ph math.MP


title: Implicit temporal discretization and exact energy conservation for particle methods applied to the Poisson-Boltzmann equation

abstract: Wereportonanewmultiscalemethodapproachforthestudyofsystemswith wide separation of short-range forces acting on short time scales and long-range forces acting on much slower scales. We consider the case of the Poisson-Boltzmann equation that describes the long-range forces using the Boltzmann formula (i.e. we assume the medium to be in quasi local thermal equilibrium). We developed a new approach where fields and particle information (mediated by the equations for their moments) are solved self-consistently. The new approach is implicit and numerically stable, providing exact energy conservation. We tested different implementations all leading to exact energy conservation. The new method requires the solution of a large set of non-linear equations. We considered three solution strategies: Jacobian Free Newton Krylov, an alternative, called field hiding, based on hiding part of the residual calculation and replacing them with direct solutions and a Direct Newton Schwarz solver that considers simplified single particle-based Jacobian. The field hiding strategy proves to be the most efficient approach.


title: Infinite periodic groups of even exponents

abstract: We give a new proof that free Burnside groups of sufficiently large even exponents are infinite. The method is very flexible and can also be used to study (partially) periodic quotients of any group which admits an action on a hyperbolic space satisfying a weak form of acylindricity.


title: Factorization Theorems for Relatively Prime Divisor Sums, GCD Sums and Generalized Ramanujan Sums

abstract: We generalize recent matrix-based factorization theorems for Lambert series generating functions generating the coefficients $(f \ast 1)(n)$ for some arithmetic function $f$. Our new factorization theorems provide analogs to these established expansions generating sums of the form $\sum_{d: (d,n)=1} f(d)$ (type I) and the Anderson-Apostol sums $\sum_{d|(m,n)} f(d) g(n/d)$ (type II) for any arithmetic functions $f$ and $g$. Our treatment of the type II sums includes a matrix-based factorization method relating the partition function $p(n)$ to arbitrary arithmetic functions $f$. We also conclude the last section of the article by directly expanding new formulas for an arithmetic function $g$ by the type II sums using discrete Fourier transforms for functions over inputs of greatest common divisors and by suitably defined orthogonal polynomial sequences whose weight function we can define by a discrete time Fourier transform (DTFT) involving the partition function $p(n)$. There are numerous applications and special cases of our new results which we are able to cite as examples in the article. Particular cases of the applications we give in the article include new identities for Euler's totient function, the Ramanujan sums $c_q(n)$, the generalized sum-of-divisors functions, the Mertens function which is the summatory function of the M\"obius function, and the cyclotomic polynomials.


title: Dynamical simplices and Borel complexity of orbit equivalence

abstract: We prove that any divisible dynamical simplex is the set of invariant measures of some Toeplitz subshift. We apply our construction to prove that orbit equivalence of Toeplitz subshifts is Borel bireducible to the universal equivalence relation induced by a Borel action of a nonarchimedean Polish group.


title: Temporal Action Detection by Joint Identification-Verification

abstract: Temporal action detection aims at not only recognizing action category but also detecting start time and end time for each action instance in an untrimmed video. The key challenge of this task is to accurately classify the action and determine the temporal boundaries of each action instance. In temporal action detection benchmark: THUMOS 2014, large variations exist in the same action category while many similarities exist in different action categories, which always limit the performance of temporal action detection. To address this problem, we propose to use joint Identification-Verification network to reduce the intra-action variations and enlarge inter-action differences. The joint Identification-Verification network is a siamese network based on 3D ConvNets, which can simultaneously predict the action categories and the similarity scores for the input pairs of video proposal segments. Extensive experimental results on the challenging THUMOS 2014 dataset demonstrate the effectiveness of our proposed method compared to the existing state-of-art methods for temporal action detection in untrimmed videos.


title: Coherent Impurity Transport in an Attractive Binary Bose-Einstein condensate

abstract: We study the dynamics of a soliton-impurity system modeled in terms of a binary Bose-Einstein condensate. This is achieved by `switching off' one of the two self-interaction scattering lengths, giving a two component system where the second component is trapped entirely by the presence of the first component. It is shown that this system possesses rich dynamics, including the identification of unusual `weak' dimers that appear close to the zero inter-component scattering length. It is further found that this system supports quasi-stable trimers in regimes where the equivalent single-component gas does not, which is attributed to the presence of the impurity atoms which can dynamically tunnel between the solitons, and maintain the required phase differences that support the trimer state.


title: GaN Schottky diodes for proton beam monitoring

abstract: We have demonstrated that GaN Schottky diodes can be used for high energy (64.8 MeV) proton detection. Such proton beams are used for tumor treatment, for which accurate and radiation resistant detectors are needed. Schottky diodes have been measured to be highly sensitive to protons, to have a linear response with beam intensity and fast enough for the application. Some photoconductive gain was found in the diode leading to a good compromise between responsivity and response time. The imaging capability of GaN diodes in proton detection is also demonstrated.


title: Saliency guided deep network for weakly-supervised image segmentation

abstract: Weakly-supervised image segmentation is an important task in computer vision. A key problem is how to obtain high quality objects location from image-level category. Classification activation mapping is a common method which can be used to generate high-precise object location cues. However these location cues are generally very sparse and small such that they can not provide effective information for image segmentation. In this paper, we propose a saliency guided image segmentation network to resolve this problem. We employ a self-attention saliency method to generate subtle saliency maps, and render the location cues grow as seeds by seeded region growing method to expand pixel-level labels extent. In the process of seeds growing, we use the saliency values to weight the similarity between pixels to control the growing. Therefore saliency information could help generate discriminative object regions, and the effects of wrong salient pixels can be suppressed efficiently. Experimental results on a common segmentation dataset PASCAL VOC2012 demonstrate the effectiveness of our method.


title: Invocation-driven Neural Approximate Computing with a Multiclass-Classifier and Multiple Approximators

abstract: Neural approximate computing gains enormous energy-efficiency at the cost of tolerable quality-loss. A neural approximator can map the input data to output while a classifier determines whether the input data are safe to approximate with quality guarantee. However, existing works cannot maximize the invocation of the approximator, resulting in limited speedup and energy saving. By exploring the mapping space of those target functions, in this paper, we observe a nonuniform distribution of the approximation error incurred by the same approximator. We thus propose a novel approximate computing architecture with a Multiclass-Classifier and Multiple Approximators (MCMA). These approximators have identical network topologies and thus can share the same hardware resource in a neural processing unit(NPU) clip. In the runtime, MCMA can swap in the invoked approximator by merely shipping the synapse weights from the on-chip memory to the buffers near MAC within a cycle. We also propose efficient co-training methods for such MCMA architecture. Experimental results show a more substantial invocation of MCMA as well as the gain of energy-efficiency.


title: Formalizing computability theory via partial recursive functions

abstract: We present an extension to the $\mathtt{mathlib}$ library of the Lean theorem prover formalizing the foundations of computability theory. We use primitive recursive functions and partial recursive functions as the main objects of study, and we use a constructive encoding of partial functions such that they are executable when the programs in question provably halt. Main theorems include the construction of a universal partial recursive function and a proof of the undecidability of the halting problem. Type class inference provides a transparent way to supply G\"{o}del numberings where needed and encapsulate the encoding details.


title: A highly scalable and energy-efficient artificial neuron using an Ovonic Threshold Switch (OTS) featuring the spike-frequency adaptation and chaotic activity

abstract: As an essential building block for developing a large-scale brain-inspired computing system, we present a highly scalable and energy-efficient artificial neuron device composed of an Ovonic Threshold Switch (OTS) and a few passive electrical components. It shows not only the basic integrate-and-fire (I&F) function and the rate coding ability, but also the spike-frequency adaptation (SFA) property and the chaotic activity. The latter two, being the most common features found in the mammalian cortex, are particularly essential for the realization of the energy-efficient signal processing, learning, and adaptation to environments1-3, but have been hard to achieve up to now. Furthermore, with our OTS-based neuron device employing the reservoir computing technique combined with delayed feedback dynamics, spoken-digit recognition task has been performed with a considerable degree of recognition accuracy. From a comparison with a Mott memristor-based artificial neuron device, it is shown that the OTS-based artificial neuron is much more energy-efficient by about 100 times. These results show that our OTS-based artificial neuron device is promising for the application in the development of a large-scale brain-inspired computing system.


title: QANet: Tensor Decomposition Approach for Query-based Anomaly Detection in Heterogeneous Information Networks

abstract: Complex networks have now become integral parts of modern information infrastructures. This paper proposes a user-centric method for detecting anomalies in heterogeneous information networks, in which nodes and/or edges might be from different types. In the proposed anomaly detection method, users interact directly with the system and anomalous entities can be detected through queries. Our approach is based on tensor decomposition and clustering methods. We also propose a network generation model to construct synthetic heterogeneous information network to test the performance of the proposed method. The proposed anomaly detection method is compared with state-of-the-art methods in both synthetic and real-world networks. Experimental results show that the proposed tensor-based method considerably outperforms the existing anomaly detection methods.


title: Local cliques in ER-perturbed random geometric graphs

abstract: Random graphs are mathematical models that have applications in a wide range of domains. We study the following model where one adds Erd\H{o}s--R\'enyi (ER) type perturbation to a random geometric graph. More precisely, assume $G_\mathcal{X}^{*}$ is a random geometric graph sampled from a nice measure on a metric space $\mathcal{X} = (X,d)$. The input observed graph $\widehat{G}(p,q)$ is generated by removing each existing edge from $G_\mathcal{X}^*$ with probability $p$, while inserting each non-existent edge to $G_\mathcal{X}^{*}$ with probability $q$. We refer to such random $p$-deletion and $q$-insertion as ER-perturbation. Although these graphs are related to the objects in the continuum percolation theory, our understanding of them is still rather limited. In this paper we consider a localized version of the classical notion of clique number for the aforementioned ER-perturbed random geometric graphs: Specifically, we study the edge clique number for each edge in a graph, defined as the size of the largest clique(s) in the graph containing that edge. The clique number of the graph is simply the largest edge clique number. Interestingly, given a ER-perturbed random geometric graph, we show that the edge clique number presents two fundamentally different types of behaviors, depending on which "type" of randomness it is generated from. As an application of the above results, we show that by using a filtering process based on the edge clique number, we can recover the shortest-path metric of the random geometric graph $G_\mathcal{X}^*$ within a multiplicative factor of $3$, from an ER-perturbed observed graph $\widehat{G}(p,q)$, for a significantly wider range of insertion probability $q$ than in previous work.


title: Portfolio Construction Matters

abstract: The role of portfolio construction in the implementation of equity market neutral factors is often underestimated. Taking the classical momentum strategy as an example, we show that one can significantly improve the main strategy's features by properly taking care of this key step. More precisely, an optimized portfolio construction algorithm allows one to significantly improve the Sharpe Ratio, reduce sector exposures and volatility fluctuations, and mitigate the strategy's skewness and tail correlation with the market. These results are supported by long-term, world-wide simulations and will be shown to be universal. Our findings are quite general and hold true for a number of other "equity factors". Finally, we discuss the details of a more realistic set-up where we also deal with transaction costs.


title: Achiral, Helicity Preserving, and Resonant Structures for Enhanced Sensing of Chiral Molecules

abstract: We derive a set of design requirements that lead to structures suitable for molecular circular dichroism (CD) enhancement. Achirality of the structure and two suitably selected sequentially incident beams of opposite helicity ensures that the CD signal only depends on the chiral absorption properties of the molecules, and not on the achiral ones. Under this condition, a helicity preserving structure, which prevents the coupling of the two polarization handednesses, maximizes the enhancement of the CD signal for a given ability of the structure to enhance the field. When the achirality and helicity preservation requirements are met, the enhancement of the CD signal is directly related to the enhancement of the field. Next, we design an exemplary structure following the requirements. The considered system is a planar array of silicon cylinders under normally incident plane-wave illumination. Full-wave numerical calculations show that the enhancement of the transmission CD signal is between 6.5 and 3.75 for interaction lengths between 1.25 and 3 times the height of the cylinders.


title: Triadic time series motifs

abstract: We introduce the concept of time series motifs for time series analysis. Time series motifs consider not only the spatial information of mutual visibility but also the temporal information of relative magnitude between the data points. We study the profiles of the six triadic time series. The six motif occurrence frequencies are derived for uncorrelated time series, which are approximately linear functions of the length of the time series. The corresponding motif profile thus converges to a constant vector $(0.2,0.2,0.1,0.2,0.1,0.2)$. These analytical results have been verified by numerical simulations. For fractional Gaussian noises, numerical simulations unveil the nonlinear dependence of motif occurrence frequencies on the Hurst exponent. Applications of the time series motif analysis uncover that the motif occurrence frequency distributions are able to capture the different dynamics in the heartbeat rates of healthy subjects, congestive heart failure (CHF) subjects, and atrial fibrillation (AF) subjects and in the price fluctuations of bullish and bearish markets. Our method shows its potential power to classify different types of time series and test the time irreversibility of time series.


title: QBDT, a new boosting decision tree method with systematic uncertainties into training for High Energy Physics

abstract: A new boosting decision tree (BDT) method, QBDT, is proposed for the classification problem in the field of high energy physics (HEP). In many HEP researches, great efforts are made to increase the signal significance with the presence of huge background and various systematical uncertainties. Why not develop a BDT method targeting the significance directly? Indeed, the significance plays a central role in this new method. It is used to split a node in building a tree and to be also the weight contributing to the BDT score. As the systematical uncertainties can be easily included in the significance calculation, this method is able to learn about reducing the effect of the systematical uncertainties via training. Taking the search of the rare radiative Higgs decay in proton-proton collisions $pp \to h + X \to \gamma\tau^+\tau^-+X$ as example, QBDT and the popular Gradient BDT (GradBDT) method are compared. QBDT is found to reduce the correlation between the signal strength and systematical uncertainty sources and thus to give a better significance. The contribution to the signal strength uncertainty from the systematical uncertainty sources using the new method is 50-85~\% of that using the GradBDT method.


title: Online Balanced Motion Generation for Humanoid Robots

abstract: Reducing the complexity of higher order problems can enable solving them in analytical ways. In this paper, we propose an analytic whole body motion generator for humanoid robots. Our approach targets inexpensive platforms that possess position controlled joints and have limited feedback capabilities. By analysing the mass distribution in a humanoid-like body, we find relations between limb movement and their respective CoM positions. A full pose of a humanoid robot is then described with five point-masses, with one attached to the trunk and the remaining four assigned to each limb. The weighted sum of these masses in combination with a contact point form an inverted pendulum. We then generate statically stable poses by specifying a desired upright pendulum orientation, and any desired trunk orientation. Limb and trunk placement strategies are utilised to meet the reference CoM position. A set of these poses is interpolated to achieve stable whole body motions. The approach is evaluated by performing several motions with an igus Humanoid Open Platform robot. We demonstrate the extendability of the approach by applying basic feedback mechanisms for disturbance rejection and tracking error minimisation.


title: Harmonizing Fully Optimal Designs with Classic Randomization in Fixed Trial Experiments

abstract: There is a movement in design of experiments away from the classic randomization put forward by Fisher, Cochran and others to one based on optimization. In fixed-sample trials comparing two groups, measurements of subjects are known in advance and subjects can be divided optimally into two groups based on a criterion of homogeneity or "imbalance" between the two groups. These designs are far from random. This paper seeks to understand the benefits and the costs over classic randomization in the context of different performance criterions such as Efron's worst-case analysis. In the criterion that we motivate, randomization beats optimization. However, the optimal design is shown to lie between these two extremes. Much-needed further work will provide a procedure to find this optimal designs in different scenarios in practice. Until then, it is best to randomize.


title: On the time evolution at a fluctuating exceptional point

abstract: We theoretically evaluate the impact of drift-free noise on the dynamics of $\mathcal{PT}$-symmetric non-Hermitian systems with an exceptional point, which have recently been proposed for sensors. Such systems are currently considered as promising templates for sensing applications, because of their intrinsically extremely sensitive response to external perturbations. However, this applies equally to the impact of fabrication imperfections and fluctuations in the system parameters. Here we focus on the influence of such fluctuations caused by inevitable (thermal) noise and show that the exceptional-point eigenstate is not stable in its presence. To this end, we derive an effective differential equation for the mean time evolution operator averaged over all realizations of the noise field and via numerical analysis we find that the presence of noise leads to exponential divergence of any initial state after some characteristic period of time. We therefore show that it is rather demanding to design sensor systems based on continuous operation at an exceptional point.


title: A representability problem in density functional theory for superconductors

abstract: Aiming at a unified treatment of correlation and inhomogeneity effects in superconductors, Oliveira, Gross and Kohn proposed in 1988 a density functional theory for the superconducting state. This theory relies on the existence of a Kohn-Sham scheme, i.e., an auxiliary noninteracting system with the same electron and anomalous densities of the original superconducting system. However, the question of noninteracting $v$-representability has never been properly addressed and the existence of the Kohn-Sham system has always been assumed without proof. Here, we show that indeed such a noninteracting system does not exist in at zero temperature. In spite of this result, we also show that the theory is still able to yield good results, although in the limit of weakly correlated systems only.


title: Impact of Corpora Quality on Neural Machine Translation

abstract: Large parallel corpora that are automatically obtained from the web, documents or elsewhere often exhibit many corrupted parts that are bound to negatively affect the quality of the systems and models that learn from these corpora. This paper describes frequent problems found in data and such data affects neural machine translation systems, as well as how to identify and deal with them. The solutions are summarised in a set of scripts that remove problematic sentences from input corpora.


title: DGC-Net: Dense Geometric Correspondence Network

abstract: This paper addresses the challenge of dense pixel correspondence estimation between two images. This problem is closely related to optical flow estimation task where ConvNets (CNNs) have recently achieved significant progress. While optical flow methods produce very accurate results for the small pixel translation and limited appearance variation scenarios, they hardly deal with the strong geometric transformations that we consider in this work. In this paper, we propose a coarse-to-fine CNN-based framework that can leverage the advantages of optical flow approaches and extend them to the case of large transformations providing dense and subpixel accurate estimates. It is trained on synthetic transformations and demonstrates very good performance to unseen, realistic, data. Further, we apply our method to the problem of relative camera pose estimation and demonstrate that the model outperforms existing dense approaches.


title: Dual-species Bose-Einstein condensate of 41K and 87Rb in a hybrid trap

abstract: We report on the production of a 41K-87Rb dual-species Bose-Einstein condensate in a hybrid trap, consisting of a magnetic quadrupole and an optical dipole potential. After loading both atomic species in the trap, we cool down 87Rb first by magnetic and then by optical evaporation, while 41K is sympathetically cooled by elastic collisions with 87Rb. We eventually produce two-component condensates with more than 10^5 atoms and tunable species population imbalance. We observe the immiscibility of the quantum mixture by measuring the density profile of each species after releasing them from the trap.


title: NimbRo-OP2X: Adult-sized Open-source 3D Printed Humanoid Robot

abstract: Humanoid robotics research depends on capable robot platforms, but recently developed advanced platforms are often not available to other research groups, expensive, dangerous to operate, or closed-source. The lack of available platforms forces researchers to work with smaller robots, which have less strict dynamic constraints or with simulations, which lack many real-world effects. We developed NimbRo-OP2X to address this need. At a height of 135 cm our robot is large enough to interact in a human environment. Its low weight of only 19 kg makes the operation of the robot safe and easy, as no special operational equipment is necessary. Our robot is equipped with a fast onboard computer and a GPU to accelerate parallel computations. We extend our already open-source software by a deep-learning based vision system and gait parameter optimisation. The NimbRo-OP2X was evaluated during RoboCup 2018 in Montr\'eal, Canada, where it won all possible awards in the Humanoid AdultSize class.


title: Does the price of strategic commodities respond to U.S. Partisan Conflict?

abstract: A noteworthy feature of U.S. politics in recent years is serious partisan conflict, which has led to intensifying polarization and exacerbating high policy uncertainty. The US is a significant player in oil and gold markets. Oil and gold also form the basis of important strategic reserves in the US. We investigate whether U.S. partisan conflict affects the returns and price volatility of oil and gold using a parametric test of Granger causality in quantiles. The empirical results suggest that U.S. partisan conflict has an effect on the returns of oil and gold, and the effects are concentrated at the tail of the conditional distribution of returns. More specifically, the partisan conflict mainly affects oil returns when the crude oil market is in a bearish state (lower quantiles). By contrast, partisan conflict matters for gold returns only when the gold market is in a bullish scenario (higher quantiles). In addition, for the volatility of oil and gold, the predictability of partisan conflict index virtually covers the entire distribution of volatility.


title: Infinitely many solutions of a class of elliptic equations with variable exponent

abstract: This paper is concerned with the $p(x)$-Laplacian equation of the form \begin{equation}\label{eq0.1} \left\{\begin{array}{ll} -\Delta_{p(x)} u=Q(x)|u|^{r(x)-2}u, &\mbox{in}\ \Omega,\\ u=0, &\mbox{on}\ \partial \Omega, \end{array}\right. \end{equation} where $\Omega\subset\R^N$ is a smooth bounded domain, $1<p^-=\min_{x\in\overline{\Omega}}p(x)\leq p(x)\leq\max_{x\in\overline{\Omega}}p(x)=p^+<N$, $1\leq r(x)<p^{*}(x)=\frac{Np(x)}{N-p(x)}$, $r^-=\min_{x\in \overline{\Omega}}r(x)<p^-$, $r^+=\max_{x\in\overline{\Omega}}r(x)>p^+$ and $Q: \overline{\Omega}\to\R$ is a nonnegative continuous function. We prove that \eqref{eq0.1} has infinitely many small solutions and infinitely many large solutions by using the Clark's theorem and the symmetric mountain pass lemma.


title: STACL: Simultaneous Translation with Implicit Anticipation and Controllable Latency using Prefix-to-Prefix Framework

abstract: Simultaneous translation, which translates sentences before they are finished, is useful in many scenarios but is notoriously difficult due to word-order differences. While the conventional seq-to-seq framework is only suitable for full-sentence translation, we propose a novel prefix-to-prefix framework for simultaneous translation that implicitly learns to anticipate in a single translation model. Within this framework, we present a very simple yet surprisingly effective wait-k policy trained to generate the target sentence concurrently with the source sentence, but always k words behind. Experiments show our strategy achieves low latency and reasonable quality (compared to full-sentence translation) on 4 directions: zh<->en and de<->en.


title: Synchronization of a periodic modulation of mirrors in an optomechanical system

abstract: Proposing an optomechanical cavity modulated periodically, we study the modulation synchronization of mechanical modes of the mirrors. A periodic modulation is applied to one of the mirrors, where the second mirror has the capability of oscillation, without any modulation for that. As a result, we find a phase-locking synchronization between the mechanical modes of the mirrors and enhancement of quantum synchronization by having the periodic modulation. Using the fact that, periodic modulation can make the squeezed states, we show that there is a robust synchronization of periodic modulation between mirrors against enhancement of detuning between the mirrors. Also, our results show that having a periodic modulation leads to a stationary entanglement generation between the mirrors.


title: Approximation of rectifiable $1$-currents and weak-$\ast$ relaxation of the $h$-mass

abstract: Based on Smirnov's decomposition theorem we prove that every rectifiable $1$-current $T$ with finite mass $\mathbb{M}(T)$ and finite mass $\mathbb{M}(\partial T)$ of its boundary $\partial T$ can be approximated in mass by a sequence of rectifiable $1$-currents $T_n$ with polyhedral boundary $\partial T_n$ and $\mathbb{M}(\partial T_n)$ no larger than $\mathbb{M}(\partial T)$. Using this result we can compute the relaxation of the $h$-mass for polyhedral $1$-currents with respect to the joint weak-$\ast$ convergence of currents and their boundaries. We obtain that this relaxation coincides with the usual $h$-mass for normal currents. This shows that the concepts of so-called generalized branched transport and the $h$-mass are equivalent.


title: Analytical approximation to the multidimensional Fokker--Planck equation with steady state

abstract: The Fokker--Planck equation is a key ingredient of many models in physics, and related subjects, and arises in a diverse array of settings. Analytical solutions are limited to special cases, and resorting to numerical simulation is often the only route available; in high dimensions, or for parametric studies, this can become unwieldy. Using asymptotic techniques, that draw upon the known Ornstein--Uhlenbeck (OU) case, we consider a mean-reverting system and obtain its representation as a product of terms, representing short-term, long-term, and medium-term behaviour. A further reduction yields a simple explicit formula, both intuitive in terms of its physical origin and fast to evaluate. We illustrate a breadth of cases, some of which are `far' from the OU model, such as double-well potentials, and even then, perhaps surprisingly, the approximation still gives very good results when compared with numerical simulations. Both one- and two-dimensional examples are considered.


title: From Asymmetric to Symmetric Fission in the Fermium Isotopes within the Time-Dependent GCM Formalism

abstract: Predicting the properties of neutron-rich nuclei far from the valley of stability is one of the major challenges of modern nuclear theory. In heavy and superheavy nuclei, a difference of only a few neutrons is sufficient to change the dominant fission mode. A theoretical approach capable of predicting such rapid transitions for neutron-rich systems would be a valuable tool to better understand r-process nucleosynthesis or the decay of super-heavy elements. In this work, we investigate for the first time the transition from asymmetric to symmetric fission through the calculation of primary fission yields with the time-dependent generator coordinate method (TDGCM). We choose here the transition in neutron-rich Fermium isotopes, which was the first to be observed experimentally in the late seventies and is often used as a benchmark for theoretical studies. We compute the primary fission fragment mass and charge yields for 254 Fm, 256 Fm and 258 Fm from the TDGCM under the Gaussian overlap approximation. The static part of the calculation (generation of a potential energy surface) consists in a series of constrained Hartree-Fock-Bogoliubov calculations based on the D1S, D1M or D1N parameterizations of the Gogny effective interaction in a two-center harmonic oscillator basis. The 2-dimensional dynamics in the collective space spanned by the quadrupole and octupole moments is then computed with the finite element solver FELIX-2.0. The available experimental data and the TDGCM post-dictions are consistent and agree especially on the position in the Fermium isotopic chain at which the transition occurs. The main limitation of the method lies in the presence of discontinuities in the 2-dimensional manifold of generator states.


title: Towards Efficient Large-Scale Graph Neural Network Computing

abstract: Recent deep learning models have moved beyond low-dimensional regular grids such as image, video, and speech, to high-dimensional graph-structured data, such as social networks, brain connections, and knowledge graphs. This evolution has led to large graph-based irregular and sparse models that go beyond what existing deep learning frameworks are designed for. Further, these models are not easily amenable to efficient, at scale, acceleration on parallel hardwares (e.g. GPUs). We introduce NGra, the first parallel processing framework for graph-based deep neural networks (GNNs). NGra presents a new SAGA-NN model for expressing deep neural networks as vertex programs with each layer in well-defined (Scatter, ApplyEdge, Gather, ApplyVertex) graph operation stages. This model not only allows GNNs to be expressed intuitively, but also facilitates the mapping to an efficient dataflow representation. NGra addresses the scalability challenge transparently through automatic graph partitioning and chunk-based stream processing out of GPU core or over multiple GPUs, which carefully considers data locality, data movement, and overlapping of parallel processing and data movement. NGra further achieves efficiency through highly optimized Scatter/Gather operators on GPUs despite its sparsity. Our evaluation shows that NGra scales to large real graphs that none of the existing frameworks can handle directly, while achieving up to about 4 times speedup even at small scales over the multiple-baseline design on TensorFlow.


title: Bulk superconductivity in La2O2M4S6-type layered oxychalcogenide La2O2Bi3Ag0.6Sn0.4S5.7Se0.3

abstract: Recently, we reported the observation of superconductivity at ~0.5 K in a La2O2M4S6-type (M: metal) layered oxychalcogenide La2O2Bi3AgS6, which is a layered compound related to the BiS2-based superconductor system but possesses a thicker Bi3AgS6-type conducting layer. In this study, we have developed the La2O2Bi3AgS6-type materials by element substitutions to increase the transition temperature (Tc) and to induce bulk nature of superconductivity. A resistivity anomaly observed at 180 K in La2O2Bi3AgS6 was systematically suppressed by Sn substitution for the Ag site. By the Sn substitution, Tc increased, and the shielding volume fraction estimated from magnetization measurements also increased. The highest Tc (= 2.3 K) and the highest shielding volume fraction (~20%) was observed for La2O2Bi3Ag0.6Sn0.4S6. The superconducting properties were further improved by Se substitutions for the S site. By the combinational substitutions of Sn and Se, bulk-superconducting phase of La2O2Bi3Ag0.6Sn0.4S5.7Se0.3 with a Tc of 3.0 K (Tconset = 3.6 K) was obtained.


title: A Study of the Three Body Force Effect on the EOS Properties of Asymmetric Nuclear Matter

abstract: Three body effects are studied for both asymmetric nuclear matter and pure neutron matter to calculate the nuclear Equation of State . The Brueckner Hartree Fock approximation is used using CD Bonn B and Argonne V18 potentials. A two body density dependent Skyrme potential is added to reproduce the empirical saturation point. Good agreement is obtained in comparison with exact calculation including three body forces.


title: A geometrization of quantum mutual information

abstract: It is well known that quantum mechanics admits a geometric formulation on the complex projective space as a Kahler manifold. In this paper we consider the notion of mutual information among continuous random variables in relation to the geometric description of a composite quantum system introducing a new measure of total correlations that can be computed in terms of Gaussian integrals.


title: Totally real Thue inequalities over imaginary quadratic fields

abstract: Let $F(x,y)$ be an irreducible binary form of degree $\geq 3$ with integer coefficients and with real roots. Let $M$ be an imaginary quadratic field, with ring of integers $Z_M$. Let $K>0$. We describe an efficient method how to reduce the resolution of the relative Thue inequalities \[ |F(x,y)|\leq K \;\; (x,y\in Z_M) \] to the resolution of absolute Thue inequalities of type \[ |F(x,y)|\leq k \;\; (x,y\in Z). \] We illustrate our method with an explicit example.


title: Flow Motifs in Interaction Networks

abstract: Many real-world phenomena are best represented as interaction networks with dynamic structures (e.g., transaction networks, social networks, traffic networks). Interaction networks capture flow of data which is transferred between their vertices along a timeline. Analyzing such networks is crucial toward comprehend- ing processes in them. A typical analysis task is the finding of motifs, which are small subgraph patterns that repeat themselves in the network. In this paper, we introduce network flow motifs, a novel type of motifs that model significant flow transfer among a set of vertices within a constrained time window. We design an algorithm for identifying flow motif instances in a large graph. Our algorithm can be easily adapted to find the top-k instances of maximal flow. In addition, we design a dynamic programming module that finds the instance with the maximum flow. We evaluate the performance of the algorithm on three real datasets and identify flow motifs which are significant for these graphs. Our results show that our algorithm is scalable and that the real networks indeed include interesting motifs, which appear much more frequently than in randomly generated networks having similar characteristics.


title: Rigorous mean-field limit and cross diffusion

abstract: The mean-field limit in a weakly interacting stochastic many-particle system for multiple population species in the whole space is proved. The limiting system consists of cross-diffusion equations, modeling the segregation of populations. The mean-field limit is performed in two steps: First, the many-particle system leads in the large population limit to an intermediate nonlocal diffusion system. The local cross-diffusion system is then obtained from the nonlocal system when the interaction potentials approach the Dirac delta distribution. The global existence of the limiting and the intermediate diffusion systems is shown for small initial data, and an error estimate is given.


title: High energy shift in the optical conductivity spectrum of the bilayer graphene

abstract: We calculate theoretically the optical conductivity in the bilayer graphene by considering Kubo-Green-Matsubara formalism. Different regimes of the interlayer coupling parameter have been considered in the paper. We show that the excitonic effects substantially affect the optical conductivity spectrum at the high-frequency regime when considering the full interaction bandwidth, leading to a total suppression of the usual Drude intraband optical transition channels and by creating a new type of optical gap. We discuss the role of the interlayer coupling parameter and the Fermi level on the conductivity spectrum, going far beyond the usual tight-binding approximation scheme for the extrinsic bilayer graphene.


title: Simplest quartic and simplest sextic Thue equations over imaginary quadratic fields

abstract: The families of simplest cubic, simplest quartic and simplest sextic fields and the related Thue equations are well known. The family of simplest cubic Thue equations was already studied in the relative case, over imaginary quadratic fields. In the present paper we give a similar extension of simplest quartic and simplest sextic Thue equations over imaginary quadratic fields. We explicitly give the solutions of these infinite parametric families of Thue equations over arbitrary imaginary quadratic fields.


title: CVABS: Moving Object Segmentation with Common Vector Approach for Videos

abstract: Background modelling is a fundamental step for several real-time computer vision applications that requires security systems and monitoring. An accurate background model helps detecting activity of moving objects in the video. In this work, we have developed a new subspace based background modelling algorithm using the concept of Common Vector Approach with Gram-Schmidt orthogonalization. Once the background model that involves the common characteristic of different views corresponding to the same scene is acquired, a smart foreground detection and background updating procedure is applied based on dynamic control parameters. A variety of experiments is conducted on different problem types related to dynamic backgrounds. Several types of metrics are utilized as objective measures and the obtained visual results are judged subjectively. It was observed that the proposed method stands successfully for all problem types reported on CDNet2014 dataset by updating the background frames with a self-learning feedback mechanism.


title: Yukawa Unification with Four Higgs Doublets in Supersymmetric GUT

abstract: We discuss the Yukawa coupling unification, a very interesting prediction of the grand unified theory, in the context of scenarios with more than one pair of Higgs doublet since the current LHC constraint has become a problem for the Yukawa unification scenarios with just one pair of Higgs doublet. More than one pair of Higgs doublets can easily arise in missing partner mechanism which solves the doublet-triplet splitting problem. In such a scenario, the Yukawa unification occurs at a medium $\tan\beta$ value, e.g., $\sim$ 30, which corresponds to much smaller threshold corrections compared to usual large $\tan\beta$ scenario for $t-b-\tau$ unification in the context of SO(10) and $b-\tau$ unification in the context of SU(5) models. Further, we show that an additional Higgs doublet pair lowers the sensitivity of the radiative symmetry breaking of the electroweak vacuum.


title: Bilu-Linial stability, certified algorithms and the Independent Set problem

abstract: We study the Maximum Independent Set (MIS) problem under the notion of stability introduced by Bilu and Linial (2010): a weighted instance of MIS is $\gamma$-stable if it has a unique optimal solution that remains the unique optimum under multiplicative perturbations of the weights by a factor of at most $\gamma\geq 1$. The goal then is to efficiently recover the unique optimal solution. In this work, we solve stable instances of MIS on several graphs classes: we solve $\widetilde{O}(\Delta/\sqrt{\log \Delta})$-stable instances on graphs of maximum degree $\Delta$, $(k - 1)$-stable instances on $k$-colorable graphs and $(1 + \varepsilon)$-stable instances on planar graphs. For general graphs, we present a strong lower bound showing that there are no efficient algorithms for $O(n^{\frac{1}{2} - \varepsilon})$-stable instances of MIS, assuming the planted clique conjecture. We also give an algorithm for $(\varepsilon n)$-stable instances. As a by-product of our techniques, we give algorithms and lower bounds for stable instances of Node Multiway Cut. Furthermore, we prove a general result showing that the integrality gap of convex relaxations of several maximization problems reduces dramatically on stable instances. Moreover, we initiate the study of certified algorithms, a notion recently introduced by Makarychev and Makarychev (2018), which is a class of $\gamma$-approximation algorithms that satisfy one crucial property: the solution returned is optimal for a perturbation of the original instance. We obtain $\Delta$-certified algorithms for MIS on graphs of maximum degree $\Delta$, and $(1+\varepsilon)$-certified algorithms on planar graphs. Finally, we analyze the algorithm of Berman and Furer (1994) and prove that it is a $\left(\frac{\Delta + 1}{3} + \varepsilon\right)$-certified algorithm for MIS on graphs of maximum degree $\Delta$ where all weights are equal to 1.


title: IoT-KEEPER: Securing IoT Communications in Edge Networks

abstract: The increased popularity of IoT devices have made them lucrative targets for attackers. Due to insecure product development practices, these devices are often vulnerable even to very trivial attacks and can be easily compromised. Due to the sheer number and heterogeneity of IoT devices, it is not possible to secure the IoT ecosystem using traditional endpoint and network security solutions. To address the challenges and requirements of securing IoT devices in edge networks, we present IoT-Keeper, which is a novel system capable of securing the network against any malicious activity, in real time. The proposed system uses a lightweight anomaly detection technique, to secure both device-to-device and device-to-infrastructure communications, while using limited resources available on the gateway. It uses unlabeled network data to distinguish between benign and malicious traffic patterns observed in the network. A detailed evaluation, done with real world testbed, shows that IoT-Keeper detects any device generating malicious traffic with high accuracy (0.982) and low false positive rate (0.01). The results demonstrate that IoT-Keeper is lightweight, responsive and can effectively handle complex D2D interactions without requiring explicit attack signatures or sophisticated hardware.


title: On the structure of spikes

abstract: Spikes are an important class of 3-connected matroids. For an integer $r\geq 3$, there is a unique binary r-spike denoted by $Z_{r}$. When a circuit-hyperplane of $Z_{r}$ is relaxed, we obtain another spike and repeating this procedure will produce other non-binary spikes. The $es$-splitting operation on a binary spike of rank $r$, may not yield a spike. In this paper, we give a necessary and sufficient condition for the $es$-splitting operation to construct $Z_{r+1}$ directly from $Z_{r}$. Indeed, all binary spikes and many of non-binary spikes of each rank can be derived from the spike $Z_{3}$ by a sequence of The $es$-splitting operations and circuit-hyperplane relaxations.


title: Characterizations of indicator functions and contrast representations of fractional factorial designs with multi-level factors

abstract: A polynomial indicator function of designs is first introduced by Fontana, Pistone and Rogantin (2000) for two-level designs. They give the structure of the indicator function of two-level designs, especially from the viewpoints of the orthogonality of the designs. Based on these structure, they use the indicator functions to classify all the orthogonal fractional factorial designs with given sizes using computational algebraic software. In this paper, generalizing the results on two-level designs, the structure of the indicator functions for multi-level designs is derived. We give a system of algebraic equations for the coefficients of indicator functions of fractional factorial designs with given orthogonality. We also give another representation of the indicator function, a contrast representation, which reflects the size and the orthogonality of the corresponding design directly. The contrast representation is determined by a contrast matrix, and does not depend on the level-coding, which is one of the advantages of it. We use these results to classify orthogonal $2^3\times 3$ designs with strength $2$ and orthogonal $2^4\times 3$ designs with strength $3$ by computational algebraic software.


title: Probabilistic Forecasting in Day-Ahead Electricity Markets: Simulating Peak and Off-Peak Prices

abstract: In this paper we include dependency structures for electricity price forecasting and forecasting evaluation. We work with off-peak and peak time series from the German-Austrian day-ahead price, hence we analyze bivariate data. We first estimate the mean of the two time series, and then in a second step we estimate the residuals. The mean equation is estimated by OLS and elastic net and the residuals are estimated by maximum likelihood. Our contribution is to include a bivariate jump component on a mean reverting jump diffusion model in the residuals. The models' forecasts are evaluated using four different criteria, including the energy score to measure whether the correlation structure between the time series is properly included or not. In the results it is observed that the models with bivariate jumps provide better results with the energy score, which means that it is important to consider this structure in order to properly forecast correlated time series.


title: Tensor-decomposition techniques for ab initio nuclear structure calculations. From chiral nuclear potentials to ground-state energies

abstract: The impact of applying state-of-the-art tensor factorization techniques to modern nuclear Hamiltonians derived from chiral effective field theory is investigated. Subsequently, the error induced by the tensor decomposition of the input Hamiltonian on ground-state energies of closed-shell nuclei calculated via second-order many-body perturbation theory is benchmarked. With the aid of the factorized Hamiltonian, the second-order perturbative correction to ground-state energies is decomposed and the scaling properties of the underlying tensor network are discussed. The employed tensor formats are found to lead to an efficient data compression of two-body matrix elements of the nuclear Hamiltonian. In particular, the sophisticated \emph{tensor hypercontraction} (THC) scheme yields low tensor ranks with respect to both harmonic-oscillator and Hartree-Fock single-particle bases. It is found that the tensor rank depends on the two-body total angular momentum $J$ for which one performs the decomposition, which is itself directly related to the sparsity the corresponding tensor. Furthermore, including normal-ordered two-body contributions originating from three-body interactions does not compromise the efficient data compression. Ultimately, the use of factorized matrix elements authorizes controlled approximations of the exact second-order ground-state energy corrections. In particular, a small enough error is obtained from low-rank factorizations in $^{4}$He, $^{16}$O and $^{40}$Ca.


title: Why is a Ravencoin Like a TokenDesk? An Exploration of Code Diversity in the Cryptocurrency Landscape

abstract: Interest in cryptocurrencies has skyrocketed since their introduction a decade ago, with hundreds of billions of dollars now invested across a landscape of thousands of different cryptocurrencies. While there is significant diversity, there is also a significant number of scams as people seek to exploit the current popularity. In this paper, we seek to identify the extent of innovation in the cryptocurrency landscape using the open-source repositories associated with each one. Among other findings, we observe that while many cryptocurrencies are largely unchanged copies of Bitcoin, the use of Ethereum as a platform has enabled the deployment of cryptocurrencies with more diverse functionalities.


title: Quantum Internet: Networking Challenges in Distributed Quantum Computing

abstract: The Quantum Internet is envisioned as the final stage of the quantum revolution, opening fundamentally new communications and computing capabilities, including the distributed quantum computing. But the Quantum Internet is governed by the laws of quantum mechanics. Phenomena with no counterpart in classical networks, such as no-cloning, quantum measurement, entanglement and teleporting, impose very challenging constraints for the network design. Specifically, classical network functionalities, ranging from error-control mechanisms to overhead-control strategies, are based on the assumption that classical information can be safely read and copied. But this assumption does not hold in the Quantum Internet. As a consequence, the design of the Quantum Internet requires a major network-paradigm shift to harness the quantum mechanics specificities. The goal of this work is to shed light on the challenges and the open problems of the Quantum Internet design. To this aim, we first introduce some basic knowledge of quantum mechanics, needed to understand the differences between a classical and a quantum network. Then, we introduce quantum teleportation as the key strategy for transmitting quantum information without physically transferring the particle that stores the quantum information or violating the principles of the quantum mechanics. Finally, the key research challenges to design quantum communication networks are described.


title: L\'evy flights confinement in a parabolic potential and fractional quantum oscillator

abstract: We study L\'evy flights confined in a parabolic potential. This has to do with a fractional generalization of ordinary quantum-mechanical oscillator problem. To solve the spectral problem for the fractional quantum oscillator, we pass to the momentum space, where we apply the variational method. This permits to obtain approximate analytical expressions for eigenvalues and eigenfunctions with very good accuracy. Latter fact has been checked by numerical solution of the problem. We point to the realistic physical systems ranging from multiferroics and oxide heterostructures to quantum chaotic excitons, where obtained results can be used.


title: Classification of Subpulse Drifting in Pulsars

abstract: In this study we propose a classification scheme for the phenomenon of subpulse drifting in pulsars. We have assembled an exhaustive list of pulsars which exhibit subpulse drifting from previously published results as well as recent observations using the Giant Meterwave Radio Telescope. We have estimated detailed phase variations corresponding to the drifting features. Based on phase behaviour the drifting population was classified into four groups : coherent phase-modulated drifting, switching phase-modulated drifting, diffuse phase-modulated drifting and low-mixed phase-modulated drifting. We have re-established the previous assertion that the subpulse drifting is primarily associated with the conal components in pulsar profile. The core components generally do not show the drifting phenomenon. However, in core emission of certain pulsars longer periodic fluctuations are seen, which are similar to periodic nulling, and likely arise due to a different physical phenomenon. In general the nature of the phase variations of the drifting features across the pulsar profile appears to be associated with specific pulsar profile classes, but we also find several examples that show departures from this trend. It has also been claimed in previous works that the spin-down energy loss is anti-correlated with the drifting periodicity. We have verified this dependence using a larger sample of drifting measurements.


title: Measurements of $W$ and $Z$ boson production in $pp$ collisions at $\sqrt{s}=5.02$ TeV with the ATLAS detector

abstract: Measurements of fiducial integrated and differential cross sections for inclusive $W^+$, $W^-$ and $Z$ boson production are reported. They are based on $25.0 \pm 0.5$ pb$^{-1}$ of $pp$ collision data at $\sqrt{s} = 5.02$ TeV collected with the ATLAS detector at the CERN Large Hadron Collider. Electron and muon decay channels are analysed, and the combined $W^+$, $W^-$ and $Z$ integrated cross sections are found to be $\sigma_{W^+}$ = 2266 $\pm$ 9 (stat) $\pm$ 29 (syst) $\pm$ 43 (lumi) pb, $\sigma_{W^-}$ = 1401 $\pm$ 7 (stat) $\pm$ 18 (syst) $\pm$ 27 (lumi) pb, and $\sigma_Z$ = 374.5 $\pm$ 3.4 (stat) $\pm$ 3.6 (syst) $\pm$ 7.0 (lumi) pb, in good agreement with next-to-next-to-leading-order QCD cross-section calculations. These measurements serve as references for Pb+Pb interactions at the LHC at this nucleon--nucleon centre-of-mass energy.


title: ScratchDet: Training Single-Shot Object Detectors from Scratch

abstract: Current state-of-the-art object objectors are fine-tuned from the off-the-shelf networks pretrained on large-scale classification dataset ImageNet, which incurs some additional problems: 1) The classification and detection have different degrees of sensitivity to translation, resulting in the learning objective bias; 2) The architecture is limited by the classification network, leading to the inconvenience of modification. To cope with these problems, training detectors from scratch is a feasible solution. However, the detectors trained from scratch generally perform worse than the pretrained ones, even suffer from the convergence issue in training. In this paper, we explore to train object detectors from scratch robustly. By analysing the previous work on optimization landscape, we find that one of the overlooked points in current trained-from-scratch detector is the BatchNorm. Resorting to the stable and predictable gradient brought by BatchNorm, detectors can be trained from scratch stably while keeping the favourable performance independent to the network architecture. Taking this advantage, we are able to explore various types of networks for object detection, without suffering from the poor convergence. By extensive experiments and analyses on downsampling factor, we propose the Root-ResNet backbone network, which makes full use of the information from original images. Our ScratchDet achieves the state-of-the-art accuracy on PASCAL VOC 2007, 2012 and MS COCO among all the train-from-scratch detectors and even performs better than several one-stage pretrained methods. Codes will be made publicly available at https://github.com/KimSoybean/ScratchDet.


title: Counting rational points on biquadratic hypersurfaces

abstract: An asymptotic formula is established for the number of rational points of bounded anticanonical height which lie on a certain Zariski open subset of an arbitrary smooth biquadratic hypersurface in sufficiently many variables. The proof uses the Hardy--Littlewood circle method.


title: Fast Graph-Cut Based Optimization for Practical Dense Deformable Registration of Volume Images

abstract: Objective: Deformable image registration is a fundamental problem in medical image analysis, with applications such as longitudinal studies, population modeling, and atlas based image segmentation. Registration is often phrased as an optimization problem, i.e., finding a deformation field that is optimal according to a given objective function. Discrete, combinatorial, optimization techniques have successfully been employed to solve the resulting optimization problem. Specifically, optimization based on $\alpha$-expansion with minimal graph cuts has been proposed as a powerful tool for image registration. The high computational cost of the graph-cut based optimization approach, however, limits the utility of this approach for registration of large volume images. Methods: Here, we propose to accelerate graph-cut based deformable registration by dividing the image into overlapping sub-regions and restricting the $\alpha$-expansion moves to a single sub-region at a time. Results: We demonstrate empirically that this approach can achieve a large reduction in computation time -- from days to minutes -- with only a small penalty in terms of solution quality. Conclusion: The reduction in computation time provided by the proposed method makes graph cut based deformable registration viable for large volume images. Significance: Graph cut based image registration has previously been shown to produce excellent results, but the high computational cost has hindered the adoption of the method for registration of large medical volume images. Our proposed method lifts this restriction, requiring only a small fraction of the computational cost to produce results of comparable quality.


title: Field theoretic study of electron-electron interaction effects in Dirac liquids

abstract: The aim of this habilitation thesis is to present recent results, obtained during the period 2012-2017, related to interaction effects in condensed matter physics systems such as planar Dirac liquids, e.g., graphene and graphene-like systems, the surface states of some topological insulators and possibly half-filled fractional quantum Hall systems (for their Dirac composite fermions). These liquids are characterized by gapless bands, strong electron-electron interactions and emergent Lorentz invariance deep in the infra-red. We address a number of important issues raised by experiments on these systems covering subjects of wide current interest in low-energy (condensed matter) as well as high-energy (particle) physics. We shall consider in particular the subtle influence of interactions on transport properties and their supposedly crucial influence on a potential dynamical mass generation. The resolution of these problems will guide us from the thorough examination of the perturbative structure of gauge field theories to the development and application of non-perturbative approaches known from quantum electro/chromo-dynamics to address strong coupling issues.


title: GCA-$\mathcal{H}^2$ matrix compression for electrostatic simulations

abstract: We consider a compression method for boundary element matrices arising in the context of the computation of electrostatic fields. Green cross approximation combines an analytic approximation of the kernel function based on Green's representation formula and quadrature with an algebraic cross approximation scheme in order to obtain both the robustness of analytic methods and the efficiency of algebraic ones. One particularly attractive property of the new method is that it is well-suited for acceleration via general-purpose graphics processors (GPUs).


title: An application of machine learning techniques to galaxy cluster mass estimation using the MACSIS simulations

abstract: Machine learning (ML) techniques, in particular supervised regression algorithms, are a promising new way to use multiple observables to predict a cluster's mass or other key features. To investigate this approach we use the \textsc{MACSIS} sample of simulated hydrodynamical galaxy clusters to train a variety of ML models, mimicking different datasets. We find that compared to predicting the cluster mass from the $\sigma -M$ relation, the scatter in the predicted-to-true mass ratio is reduced by a factor of 4, from $0.130\pm0.004$ dex (${\simeq} 35$ per cent) to $0.031 \pm 0.001$ dex (${\simeq} 7$ per cent) when using the same, interloper contaminated, spectroscopic galaxy sample. Interestingly, omitting line-of-sight galaxy velocities from the training set has no effect on the scatter when the galaxies are taken from within $r_{200c}$. We also train ML models to reproduce estimated masses derived from mock X-ray and weak lensing analyses. While the weak lensing masses can be recovered with a similar scatter to that when training on the true mass, the hydrostatic mass suffers from significantly higher scatter of ${\simeq} 0.13$ dex (${\simeq} 35$ per cent). Training models using dark matter only simulations does not significantly increase the scatter in predicted cluster mass compared to training on simulated clusters with hydrodynamics. In summary, we find ML techniques to offer a powerful method to predict masses for large samples of clusters, a vital requirement for cosmological analysis with future surveys.


title: Assumption-Based Planning

abstract: The purpose of the paper is to introduce a new approach of planning called Assumption-Based Planning. This approach is a very interesting way to devise a planner based on a multi-agent system in which the production of a global shared plan is obtained by conjecture/refutation cycles. Contrary to classical approaches, our contribution relies on the agents reasoning that leads to the production of a plan from planning domains. To take into account complex environments and the partial agents knowledge, we propose to consider the planning problem as a defeasible reasoning where the agents exchange proposals and counter-proposals and are able to reason about uncertainty. The argumentation dialogue between agents must not be viewed as a negotiation process but as an investigation process in order to build a plan. In this paper, we focus on the mechanisms that allow an agent to produce `reasonable' proposals according to its knowledge.


title: Convolutional group-sparse coding and source localization

abstract: In this paper, we present a new interpretation of non-negatively constrained convolutional coding problems as blind deconvolution problems with spatially variant point spread function. In this light, we propose an optimization framework that generalizes our previous work on non-negative group sparsity for convolutional models. We then link these concepts to source localization problems that arise in scientific imaging and provide a visual example on an image derived from data captured by the Hubble telescope.


title: ECsim-CYL: Energy Conserving Semi-Implicit particle in cell simulation in axially symmetric cylindrical coordinates

abstract: Based on the previously developed Energy Conserving Semi Implicit Method (ECsim) code, we present its cylindrical implementation, called ECsim-CYL, to be used for axially symmetric problems. The main motivation for the development of the cylindrical version is to greatly improve the computational speed by utilizing cylindrical symmetry. The ECsim-CYL discretizes the field equations in two-dimensional cylindrical coordinates using the finite volume method . For the particle mover, it uses a modification of ECsim's mover for cylindrical coordinates by keeping track of all three components of velocity vectors, while only keeping radial and axial coordinates of particle positions. In this paper, we describe the details of the algorithm used in the ECsim-CYL and present a series of tests to validate the accuracy of the code including a wave spectrum in a homogeneous plasmas inside a cylindrical waveguide and free expansion of a spherical plasma ball in vacuum. The ECsim-CYL retains the stability properties of ECsim and conserves the energy within machine precision, while accurately describing the plasma behavior in the test cases.


title: Emergent statistical bubble localization in a Z2 lattice gauge theory

abstract: We introduce a clean cluster spin chain coupled to fully interacting spinless fermions, forming an unconstrained Z2 lattice gauge theory (LGT) which possesses dynamical proximity effect controlled by the entanglement structure of the initial state. We expand the machinery of interaction-driven localization to the realm of LGTs such that for any starting product state, the matter fields exhibits emergent statistical bubble localization, which is driven solely by the cluster interaction, having no topologically trivial non-interacting peer, and thus is of pure dynamical many-body effect. In this vein, our proposed setting provides possibly the minimal model dropping all the conventional assumptions regarding the existence of many-body localization. Through projective measurement of local constituting species, we also identify the coexistence of the disentangled nonergodic matter and thermalized gauge degrees of freedom which stands completely beyond the standard established phenomenology of quantum disentangled liquids. As a by product of self-localization of the proximate fermions, the spin subsystem hosts the long-lived topological edge zero modes, which are dynamically decoupled from the thermalized background Z2 charges of the bulk, and hence remains cold at arbitrary high-energy density. This provides a convenient platform for strong protection of the quantum bits of information which are embedded at the edges of completely ergodic sub-system; the phenomenon that in the absence of such proximity-induced self-localization could, at best, come about with a pre-thermal manner in translational invariant systems. Finally, by breaking local Z2 symmetry of the model, we argue that such admixture of particles no longer remains disentangled and the ergodic gauge degrees of freedom act as a "small bath" coupled to the localized components.


title: On fractional higher-order Dirichlet boundary value problems: between the Laplacian and the bilaplacian

abstract: The solutions of boundary value problems for the Laplacian and the bilaplacian exhibit very different qualitative behaviors. Particularly, the failure of general maximum principles for the bilaplacian implies that solutions of higher-order problems are less rigid and more complex. One way to better understand this transition is to study the intermediate Dirichlet problem in terms of fractional Laplacians. This survey aims to be an introduction to these type of problems; in particular, the different pointwise notions for these operators is introduced considering a suitable natural extension of the Dirichlet boundary conditions for the fractional setting. Solutions are obtained variationally and, in the case of the ball, via explicit kernels. The validity of maximum principles for these intermediate problems is also discussed as well as the limiting behavior of solutions when approaching the Laplacian or the bilaplacian case.


title: Efficient Dependency-Guided Named Entity Recognition

abstract: Named entity recognition (NER), which focuses on the extraction of semantically meaningful named entities and their semantic classes from text, serves as an indispensable component for several down-stream natural language processing (NLP) tasks such as relation extraction and event extraction. Dependency trees, on the other hand, also convey crucial semantic-level information. It has been shown previously that such information can be used to improve the performance of NER (Sasano and Kurohashi 2008, Ling and Weld 2012). In this work, we investigate on how to better utilize the structured information conveyed by dependency trees to improve the performance of NER. Specifically, unlike existing approaches which only exploit dependency information for designing local features, we show that certain global structured information of the dependency trees can be exploited when building NER models where such information can provide guided learning and inference. Through extensive experiments, we show that our proposed novel dependency-guided NER model performs competitively with models based on conventional semi-Markov conditional random fields, while requiring significantly less running time.


title: Learning with privileged information via adversarial discriminative modality distillation

abstract: Heterogeneous data modalities can provide complementary cues for several tasks, usually leading to more robust algorithms and better performance. However, while training data can be accurately collected to include a variety of sensory modalities, it is often the case that not all of them are available in real life (testing) scenarios, where a model has to be deployed. This raises the challenge of how to extract information from multimodal data in the training stage, in a form that can be exploited at test time, considering limitations such as noisy or missing modalities. This paper presents a new approach in this direction for RGB-D vision tasks, developed within the adversarial learning and privileged information frameworks. We consider the practical case of learning representations from depth and RGB videos, while relying only on RGB data at test time. We propose a new approach to train a hallucination network that learns to distill depth information via adversarial learning, resulting in a clean approach without several losses to balance or hyperparameters. We report state-of-the-art results on object classification on the NYUD dataset and video action recognition on the largest multimodal dataset available for this task, the NTU RGB+D, as well as on the Northwestern-UCLA.


title: Coordinated exploration for labyrinthine environments with application to the Pursuit-Evasion problem

abstract: This paper introduces a multirobot cooperation approach to solve the "pursuit evasion" problem for mobile robots that have omnidirectional vision sensors. The main characteristic of this approach is to implement a real cooperation between robots based on knowledge sharing and makes them work as a team. A complete algorithm for computing a motion strategy of robots is also presented. This algorithm is based on searching critical points in the environment. Finally, the deliberation protocol which distributes the exploration task among the team and takes the best possible outcome from the robots resources is presented.


title: Two-Photon Scattering in USC regime

abstract: In this work we study the scattering of pairs of photons by a two-level system ultrastrongly coupled to a one-dimensional waveguide. We describe this problem using a spin-boson model with an Ohmic environment $J(\omega)=\pi\alpha\omega^1.$ We show that when coupling strength lays is about $\alpha\leq 1,$ the dynamics is well approximated by a polaron Hamiltonian, under the approximation of a conserved number of excitations. In this regime, we develop analytical predictions for the single- and two-photon scattering matrix computed with a Green's function method.


title: NOMA Schemes for Multibeam Satellite Communications

abstract: Non-orthogonal multiple access (NOMA) schemes are being considered in 5G new radio developments and beyond. Although seminal papers demonstrated that NOMA outperforms orthogonal access in terms of capacity and user fairness, the majority of works have been devoted to the wireless terrestrial arena. Therefore, it is worth to study how NOMA can be implemented in other types of communications, as for instance the satellite ones, which are also part of the 5G infrastructure. Although communications through a satellite present a different architecture than those in the wireless terrestrial links, NOMA can be an important asset to improve their performance. This article introduces a general overview of how NOMA can be applied to this different architecture. A novel taxonomy is presented based on different multibeam transmission schemes and guidelines that open new avenues for research in this topic are provided.