title: PerceptionGAN: Real-world Image Construction from Provided Text through Perceptual Understanding

abstract: Generating an image from a provided descriptive text is quite a challenging task because of the difficulty in incorporating perceptual information (object shapes, colors, and their interactions) along with providing high relevancy related to the provided text. Current methods first generate an initial low-resolution image, which typically has irregular object shapes, colors, and interaction between objects. This initial image is then improved by conditioning on the text. However, these methods mainly address the problem of using text representation efficiently in the refinement of the initially generated image, while the success of this refinement process depends heavily on the quality of the initially generated image, as pointed out in the DM-GAN paper. Hence, we propose a method to provide good initialized images by incorporating perceptual understanding in the discriminator module. We improve the perceptual information at the first stage itself, which results in significant improvement in the final generated image. In this paper, we have applied our approach to the novel StackGAN architecture. We then show that the perceptual information included in the initial image is improved while modeling image distribution at multiple stages. Finally, we generated realistic multi-colored images conditioned by text. These images have good quality along with containing improved basic perceptual information. More importantly, the proposed method can be integrated into the pipeline of other state-of-the-art text-based-image-generation models to generate initial low-resolution images. We also worked on improving the refinement process in StackGAN by augmenting the third stage of the generator-discriminator pair in the StackGAN architecture. Our experimental analysis and comparison with the state-of-the-art on a large but sparse dataset MS COCO further validate the usefulness of our proposed approach.


title: Analytical models of the proton structure function and the gluon distribution at small x beyond leading order

abstract: We incorporate the next-to-leading order (NLO) and the next-to-next-to-leading order (NNLO) effects in the models of the Singlet Structure function F 2 S (x, t) and the gluon distribution G(x, t) using DGLAP equations approximated at small x. Analytical solutions both at the next-to leading order (NLO) as well as the next-to-next-to leading order (NNLO) are obtained. We then make comparisons with exact results.


title: Seasonal epidemic spreading on small-world networks: Biennial outbreaks and classical discrete time crystals

abstract: We study seasonal epidemic spreading in a susceptible-infected-removed-susceptible (SIRS) model on smallworld graphs. We derive a mean-field description that accurately captures the salient features of the model, most notably a phase transition between annual and biennial outbreaks. A numerical scaling analysis exhibits a diverging autocorrelation time in the thermodynamic limit, which confirms the presence of a classical discrete time crystalline phase. We derive the phase diagram of the model both from mean-field theory and from numerics. Our work offers new perspectives by demonstrating that small-worldness and non-Markovianity can stabilize a classical discrete time crystal, and by linking recent efforts to understand such dynamical phases of matter to the century-old problem of biennial epidemics.


title: On the inefficiency of ride-sourcing services towards urban congestion

abstract: The advent of shared-economy and smartphones made on-demand transportation services possible, which created additional opportunities, but also more complexity to urban mobility. Companies that offer these services are called Transportation Network Companies (TNCs) due to their internet-based nature. Although ride-sourcing is the most notorious service TNCs provide, little is known about to what degree its operations can interfere in traffic conditions, while replacing other transportation modes, or when a large number of idle vehicles is cruising for passengers. We experimentally analyze the efficiency of TNCs using taxi trip data from a Chinese megacity and a agent-based simulation with a trip-based MFD model for determining the speed. We investigate the effect of expanding fleet sizes for TNCs, passengers' inclination towards sharing rides, and strategies to alleviate urban congestion. We show that the lack of coordination of objectives between TNCs and society can create 37% longer travel times and significant congestion. Moreover, allowing shared rides is not capable of decreasing total distance traveled due to higher empty kilometers traveled. Elegant parking management strategies can prevent idle vehicles from cruising without assigned passengers and lower to 7% the impacts of the absence of coordination.


title: RGB-D-based Framework to Acquire, Visualize and Measure the Human Body for Dietetic Treatments

abstract: This research aims to improve dietetic-nutritional treatment using state-of-the-art RGB-D sensors and virtual reality (VR) technology. Recent studies show that adherence to treatment can be improved using multimedia technologies. However, there are few studies using 3D data and VR technologies for this purpose. On the other hand, obtaining 3D measurements of the human body and analyzing them over time (4D) in patients undergoing dietary treatment is a challenging field. The main contribution of the work is to provide a framework to study the effect of 4D body model visualization on adherence to obesity treatment. The system can obtain a complete 3D model of a body using low-cost technology, allowing future straightforward transference with sufficient accuracy and realistic visualization, enabling the analysis of the evolution (4D) of the shape during the treatment of obesity. The 3D body models will be used for studying the effect of visualization on adherence to obesity treatment using 2D and VR devices. Moreover, we will use the acquired 3D models to obtain measurements of the body. An analysis of the accuracy of the proposed methods for obtaining measurements with both synthetic and real objects has been carried out.


title: Towards Generalization and Data Efficient Learning of Deep Robotic Grasping

abstract: Deep reinforcement learning (DRL) has been proven to be a powerful paradigm for learning complex control policy autonomously. Numerous recent applications of DRL in robotic grasping have successfully trained DRL robotic agents end-to-end, mapping visual inputs into control instructions directly, but the amount of training data required may hinder these applications in practice. In this paper, we propose a DRL based robotic visual grasping framework, in which visual perception and control policy are trained separately rather than end-to-end. The visual perception produces physical descriptions of grasped objects and the policy takes use of them to decide optimal actions based on DRL. Benefiting from the explicit representation of objects, the policy is expected to be endowed with more generalization power over new objects and environments. In addition, the policy can be trained in simulation and transferred in real robotic system without any further training. We evaluate our framework in a real world robotic system on a number of robotic grasping tasks, such as semantic grasping, clustered object grasping, moving object grasping. The results show impressive robustness and generalization of our system.


title: Hamiltonian dynamics of doubly-foliable space-times

abstract: The 2+1+1 decomposition of space-time is useful in monitoring the temporal evolution of gravitational perturbations/waves in space-times with a spatial direction singled-out by symmetries. Such an approach based on a perpendicular double foliation has been employed in the framework of dark matter and dark energy motivated scalar-tensor gravitational theories for the discussion of the odd sector perturbations of spherically symmetric gravity. For the even sector however the perpendicularity has to be suppressed in order to allow for suitable gauge freedom, recovering the 10th metric variable. The 2+1+1 decomposition of the Einstein-Hilbert action leads to the identification of the canonical pairs, the Hamiltonian and momentum constraints. Hamiltonian dynamics is then derived via Poisson brackets.


title: Internal modes of oscillations of topological solitons in highly dispersive media

abstract: The problem of stability and spectrum of linear excitations of a soliton (kink) of the dispersive sine-Gordon and $\varphi^4$ - equations is solved exactly. It is shown that the total spectrum consists of a discrete set of frequencies of internal modes and a single band spectrum of continuum waves. It is indicated by numerical simulations that a translation motion of a single soliton in the highly dispersive systems is accompanied by the arising of its internal dynamics and, in some cases, creation of breathers, and always by generation of the backward radiation. It is shown numerically that a fast motion of two topological solitons leads to a formation of the bound soliton complex in the dispersive sine-Gordon system.


title: Time-periodic weak solutions to incompressible generalized Newtonian fluids

abstract: In this study we are interested in the Navier-Stokes-like system for generalized viscous fluids whose viscosity has a power-structure with exponent q. We develop an existence theory of periodic in time weak solutions to the three-dimensional flows subject to a periodic in time force datum whenever q>6/5, which is the optimal bound for the existence of weak solutions.


title: Energy Efficiency Optimization in IRS-Enhanced mmWave Systems with Lens Antenna Array

abstract: In millimeter wave (mmWave) systems, the advanced lens antenna array can effectively reduce the radio frequency chains cost. However, the mmWave signal is still vulnerable to blocking obstacles and suffers from severe path loss. To address this problem, we propose an intelligent reflect surface (IRS) enhanced multi-user mmWave communication system with lens antenna array. Moreover, we attempt to optimize energy efficiency in the proposed system. An energy efficiency maximization problem is formulated where the transmit beamforming at base station and the reflect beamforming at IRSs are jointly considered. To solve this non-convex problem, we propose an algorithm based on the alternating optimization technique. In the proposed algorithm, the transmit beamforming is handled by the sequential convex approximation method and the reflect beamforming is optimized based on the quadratic transform method. Our simulation results show that the proposed algorithm can achieve significant energy efficiency improvement under various scenarios.


title: ADD: Analytically Differentiable Dynamics for Multi-Body Systems with Frictional Contact

abstract: We present a differentiable dynamics solver that is able to handle frictional contact for rigid and deformable objects within a unified framework. Through a principled mollification of normal and tangential contact forces, our method circumvents the main difficulties inherent to the non-smooth nature of frictional contact. We combine this new contact model with fully-implicit time integration to obtain a robust and efficient dynamics solver that is analytically differentiable. In conjunction with adjoint sensitivity analysis, our formulation enables gradient-based optimization with adaptive trade-offs between simulation accuracy and smoothness of objective function landscapes. We thoroughly analyse our approach on a set of simulation examples involving rigid bodies, visco-elastic materials, and coupled multi-body systems. We furthermore showcase applications of our differentiable simulator to parameter estimation for deformable objects, motion planning for robotic manipulation, trajectory optimization for compliant walking robots, as well as efficient self-supervised learning of control policies.


title: The Fyodorov-Hiary-Keating Conjecture. I

abstract: By analogy with conjectures for random matrices, Fyodorov-Hiary-Keating and Fyodorov-Keating proposed precise asymptotics for the maximum of the Riemann zeta function in a typical short interval on the critical line. In this paper, we settle the upper bound part of their conjecture in a strong form. More precisely, we show that the measure of those $T \leq t \leq 2T$ for which $$ \max_{|h| \leq 1} |\zeta(1/2 + i t + i h)| > e^y \frac{\log T }{(\log\log T)^{3/4}}$$ is bounded by $Cy e^{-2y}$ uniformly in $y \geq 1$. This is expected to be optimal for $y= O(\sqrt{\log\log T})$. This upper bound is sharper than what is known in the context of random matrices, since it gives (uniform) decay rates in $y$. In a subsequent paper we will obtain matching lower bounds.


title: Existence of weak solutions to a cross-diffusion Cahn-Hilliard type system

abstract: The aim of this article is to study a Cahn-Hilliard model for a multicomponent mixture with cross-diffusion effects, degenerate mobility and where only one of the species does separate from the others. We define a notion of weak solution adapted to possible degeneracies and our main result is (global in time) existence. In order to overcome the lack of a-priori estimates, our proof uses the formal gradient flow structure of the system and an extension of the boundedness by entropy method which involves a careful analysis of an auxiliary variational problem. This allows to obtain solutions to an approximate, time-discrete system. Letting the time step size go to zero, we recover the desired weak solution where, due to their low regularity, the Cahn-Hilliard terms require a special treatment.


title: Current distribution in metallic multilayers from resistance measurements

abstract: The in-plane current profile within multilayers of generic structure Ta/Pt/(CoNi)/Pt/Ta is investigated. A large set of samples where the thickness of each layer is systematically varied was grown, followed by the measurement of the sheet resistance of each sample. The data are analyzed by a series of increasingly elaborate models, from a macroscopic engineering approach to mesoscopic transport theory. Non-negligible variations of the estimated repartition of current between the layers are found. The importance of having additional structural data is highlighted.


title: Data Augmenting Contrastive Learning of Speech Representations in the Time Domain

abstract: Contrastive Predictive Coding (CPC), based on predicting future segments of speech based on past segments is emerging as a powerful algorithm for representation learning of speech signal. However, it still under-performs other methods on unsupervised evaluation benchmarks. Here, we introduce WavAugment, a time-domain data augmentation library and find that applying augmentation in the past is generally more efficient and yields better performances than other methods. We find that a combination of pitch modification, additive noise and reverberation substantially increase the performance of CPC (relative improvement of 18-22%), beating the reference Libri-light results with 600 times less data. Using an out-of-domain dataset, time-domain data augmentation can push CPC to be on par with the state of the art on the Zero Speech Benchmark 2017. We also show that time-domain data augmentation consistently improves downstream limited-supervision phoneme classification tasks by a factor of 12-15% relative.


title: Rethinking Channel Dimensions for Efficient Model Design

abstract: Designing an efficient model within the limited computational cost is challenging. We argue the accuracy of a lightweight model has been further limited by the design convention: a stage-wise configuration of the channel dimensions, which looks like a piecewise linear function of the network stage. In this paper, we study an effective channel dimension configuration towards better performance than the convention. To this end, we empirically study how to design a single layer properly by analyzing the rank of the output feature. We then investigate the channel configuration of a model by searching network architectures concerning the channel configuration under the computational cost restriction. Based on the investigation, we propose a simple yet effective channel configuration that can be parameterized by the layer index. As a result, our proposed model following the channel parameterization achieves remarkable performance on ImageNet classification and transfer learning tasks including COCO object detection, COCO instance segmentation, and fine-grained classifications. Code and ImageNet pretrained models are available at https://github.com/clovaai/rexnet.


title: The impact of metallic contacts on spin-polarized photocurrents in topological insulator $\text{Bi}_2\text{Se}_3$ nanowires

abstract: Recently, a new quantum phase, the topological insulator, has been vividly investigated in a variety of materials. Its unique bandstructure allows for optical generation and control of spin-polarized currents based on the circular photogalvanic effect. In this paper, we generate and distinguish the different photocurrent contributions via the the polarization of the driving light wave. We discuss the helicity-dependent spin-polarized current and the polarization independent thermoelectric current as spatially resolved maps, focusing on the influence of the topological insulator/metallic contact interface. We observe for both current contributions a significant enhancement of the current values at the topological insulator/metallic contact interface and moreover a dipole-like distribution of the spin-polarized current close to the contacts. We discuss the general behavior of the thermovoltage as a three-material Seebeck effect and explain the enhanced values by the acceleration of the photoelectrons generated in the space charge region of the topological insulator/metallic contact interface. Furthermore, we interpret the temperature gradient together with the spin Nernst effect as a possible origin for the enhancement and dipole-like distribution of the spin-polarized current.


title: Indecomposability of derived categories in families

abstract: Using the moduli space of semiorthogonal decompositions in a smooth projective family introduced by the second, the third and the fourth author, we discuss indecomposability results for derived categories in families. In particular, we prove that given a smooth projective family of varieties, if the derived category of the general fibre does not admit a semiorthogonal decomposition, the same happens for every fibre of the family. As a consequence, we deduce that in a smooth family of complex projective varieties, if there exists a fibre such that the base locus of its canonical linear series is either empty or finite, then any fibre of the family has indecomposable derived category. Then we apply our results to achieve indecomposability of the derived categories of various explicit classes of varieties, as e.g. $n$-fold symmetric products of curves (with $0<n<\lfloor (g+3)/2 \rfloor$), Horikawa surfaces, an interesting class of double covers of the projective plane introduced by Ciliberto, and Hilbert schemes of points on these two classes of surfaces.


title: Chiral perturbation theory for GR

abstract: We describe a new perturbation theory for General Relativity, with the chiral first-order Einstein-Cartan action as the starting point. Our main result is a new gauge-fixing procedure that eliminates the connection-to-connection propagator. All other known first-order formalisms have this propagator non-zero, which significantly increases the combinatorial complexity of any perturbative calculation. In contrast, in the absence of the connection-to-connection propagator, our formalism leads to an effective description in which only the metric (or tetrad) propagates, there are only cubic and quartic vertices, but some vertex legs are special in that they cannot be connected by the propagator. The new formalism is the gravity analog of the well-known and powerful chiral description of Yang-Mills theory.


title: Emulation of stochastic simulators using generalized lambda models

abstract: Stochastic simulators are ubiquitous in many fields of applied sciences and engineering. In the context of uncertainty quantification and optimization, a large number of simulations is usually necessary, which becomes intractable for high-fidelity models. Thus surrogate models of stochastic simulators have been intensively investigated in the last decade. In this paper, we present a novel approach to surrogating the response distribution of a stochastic simulator which uses generalized lambda distributions, whose parameters are represented by polynomial chaos expansions of the model inputs. As opposed to most existing approaches, this new method does not require replicated runs of the simulator at each point of the experimental design. We propose a new fitting procedure which combines maximum conditional likelihood estimation with (modified) feasible generalized least-squares. We compare our method with state-of-the-art nonparametric kernel estimation on four different applications stemming from mathematical finance and epidemiology. Its performance is illustrated in terms of the accuracy of both the mean/variance of the stochastic simulator and the response distribution. As the proposed approach can also be used with experimental designs containing replications, we carry out a comparison on two of the examples, showing that replications do not necessarily help to get a better overall accuracy and may even worsen the results (at a fixed total number of runs of the simulator).


title: Drifting inwards in protoplanetary discs I Sticking of chondritic dust at increasing temperatures

abstract: Sticking properties rule the early phases of pebble growth in protoplanetary discs in which grains regularly travel from cold, water-rich regions to the warm inner part. This drift affects composition, grain size, morphology, and water content as grains experience ever higher temperatures. In this study we tempered chondritic dust under vacuum up to 1400 K. Afterwards, we measured the splitting tensile strength of millimetre-sized dust aggregates. The deduced effective surface energy starts out as $\gamma_e = 0.07\,\rm J/m^2$. This value is dominated by abundant iron-oxides as measured by M\"ossbauer spectroscopy. Up to 1250 K, $\gamma_e$ continuously decreases by up to a factor five. Olivines dominate at higher temperature. Beyond 1300 K dust grains significantly grow in size. The $\gamma_e$ no longer decreases but the large grain size restricts the capability of growing aggregates. Beyond 1400 K aggregation is no longer possible. Overall, under the conditions probed, the stability of dust pebbles would decrease towards the star. In view of a minimum aggregate size required to trigger drag instabilities it becomes increasingly harder to seed planetesimal formation closer to a star.


title: Degenerate operators in JT and Liouville (super)gravity

abstract: We derive explicit expressions for a specific subclass of Jackiw-Teitelboim (JT) gravity bilocal correlators, corresponding to degenerate Virasoro representations. On the disk, these degenerate correlators are structurally simple, and they allow us to shed light on the 1/C Schwarzian bilocal perturbation series. In particular, we prove that the series is asymptotic for generic weight $h\notin - \mathbb{N}/2$. Inspired by its minimal string ancestor, we propose an expression for higher genus corrections to the degenerate correlators. We discuss the extension to the $\mathcal{N}=1$ super JT model. On the disk, we similarly derive properties of the 1/C super-Schwarzian perturbation series, which we independently develop as well. As a byproduct, it is shown that JT supergravity saturates the chaos bound $\lambda_L = 2\pi/\beta$ at first order in 1/C. We develop the fixed-length amplitudes of Liouville supergravity at the level of the disk partition function, the bulk one-point function and the boundary two-point functions. In particular we compute the minimal superstring fixed length boundary two-point functions, which limit to the super JT degenerate correlators. We give some comments on higher topology at the end.


title: ER model Partitioning: Towards Trustworthy Automated Systems Development

abstract: In database development, a conceptual model is created, in the form of an Entity-relationship(ER) model, and transformed to a relational database schema (RDS) to create the database. However, some important information represented on the ER model may not be transformed and represented on the RDS. This situation causes a loss of information during the transformation process. With a view to preserving information, in our previous study, we standardized the transformation process as a one-to-one and onto mapping from the ER model to the RDS. For this purpose, we modified the ER model and the transformation algorithm resolving some deficiencies existed in them. Since the mapping was established using a few real-world cases as a basis and for verification purposes, a formal-proof is necessary to validate the work. Thus, the ongoing research aiming to create a proof will show how a given ER model can be partitioned into a unique set of segments and use it to represent the ER model itself. How the findings can be used to complete the proof in the future will also be explained. Significance of the research on automating database development, teaching conceptual modeling, and using formal methods will also be discussed.


title: Realizing Quantum Algorithms on Real Quantum Computing Devices

abstract: Quantum computing is currently moving from an academic idea to a practical reality. Quantum computing in the cloud is already available and allows users from all over the world to develop and execute real quantum algorithms. However, companies which are heavily investing in this new technology such as Google, IBM, Rigetti, Intel, IonQ, and Xanadu follow diverse technological approaches. This led to a situation where we have substantially different quantum computing devices available thus far. They mostly differ in the number and kind of qubits and the connectivity between them. Because of that, various methods for realizing the intended quantum functionality on a given quantum computing device are available. This paper provides an introduction and overview into this domain and describes corresponding methods, also referred to as compilers, mappers, synthesizers, transpilers, or routers.


title: PGD-UNet: A Position-Guided Deformable Network for Simultaneous Segmentation of Organs and Tumors

abstract: Precise segmentation of organs and tumors plays a crucial role in clinical applications. It is a challenging task due to the irregular shapes and various sizes of organs and tumors as well as the significant class imbalance between the anatomy of interest (AOI) and the background region. In addition, in most situation tumors and normal organs often overlap in medical images, but current approaches fail to delineate both tumors and organs accurately. To tackle such challenges, we propose a position-guided deformable UNet, namely PGD-UNet, which exploits the spatial deformation capabilities of deformable convolution to deal with the geometric transformation of both organs and tumors. Position information is explicitly encoded into the network to enhance the capabilities of deformation. Meanwhile, we introduce a new pooling module to preserve position information lost in conventional max-pooling operation. Besides, due to unclear boundaries between different structures as well as the subjectivity of annotations, labels are not necessarily accurate for medical image segmentation tasks. It may cause the overfitting of the trained network due to label noise. To address this issue, we formulate a novel loss function to suppress the influence of potential label noise on the training process. Our method was evaluated on two challenging segmentation tasks and achieved very promising segmentation accuracy in both tasks.


title: DeepOPF: A Feasibility-Optimized Deep Neural Network Approach for AC Optimal Power Flow Problems

abstract: High percentage penetrations of renewable energy generations introduce significant uncertainty into power systems. It requires grid operators to solve alternative current optimal power flow (AC-OPF) problems more frequently for economical and reliable operation in both transmission and distribution grids. In this paper, we develop a Deep Neural Network (DNN) approach, called DeepOPF, for solving AC-OPF problems in a fraction of the time used by conventional solvers. A key difficulty for applying machine learning techniques for solving AC-OPF problems lies in ensuring that the obtained solutions respect the equality and inequality physical and operational constraints. Generalized the 2-stage procedure in [1], [2], DeepOPF first trains a DNN model to predict a set of independent operating variables and then directly compute the remaining dependable ones by solving power flow equations. Such an approach not only preserves the power-flow balance equality constraints but also reduces the number of variables to predict by the DNN, cutting down the number of neurons and training data needed. DeepOPF then employs a penalty approach with a zero-order gradient estimation technique in the training process to preserve the remaining inequality constraints. As another contribution, we drive a condition for tuning the size of the DNN according to the desired approximation accuracy, which measures the DNN generalization capability. It provides theoretical justification for using DNN to solve the AC-OPF problem. Simulation results of IEEE 30/118/300-bus and a synthetic 2000-bus test cases show that DeepOPF speeds up the computing time by up to two orders of magnitude as compared to a state-of-the-art solver, at the expense of $<$0.1% cost difference.


title: Efficient Proximal Mapping of the 1-path-norm of Shallow Networks

abstract: We demonstrate two new important properties of the 1-path-norm of shallow neural networks. First, despite its non-smoothness and non-convexity it allows a closed form proximal operator which can be efficiently computed, allowing the use of stochastic proximal-gradient-type methods for regularized empirical risk minimization. Second, when the activation functions is differentiable, it provides an upper bound on the Lipschitz constant of the network. Such bound is tighter than the trivial layer-wise product of Lipschitz constants, motivating its use for training networks robust to adversarial perturbations. In practical experiments we illustrate the advantages of using the proximal mapping and we compare the robustness-accuracy trade-off induced by the 1-path-norm, L1-norm and layer-wise constraints on the Lipschitz constant (Parseval networks).


title: Combinatorial optimization through variational quantum power method

abstract: The power method (or iteration) is a well-known classical technique that can be used to find the dominant eigenpair of a matrix. Here, we present a variational quantum circuit method for the power iteration, which can be used to find the eigenpairs of unitary matrices and so their associated Hamiltonians. We discuss how to apply the circuit to combinatorial optimization problems formulated as a quadratic unconstrained binary optimization and discuss its complexity. In addition, we run numerical simulations for random problem instances with up to 21 parameters and observe that the method can generate solutions to the optimization problems with only a few number of iterations and the growth in the number of iterations is polynomial in the number of parameters. Therefore, the circuit can be simulated on the near term quantum computers with ease.


title: On the spectrum of critical almost Mathieu operators in the rational case

abstract: We derive a new Chambers-type formula and prove sharper upper bounds on the measure of the spectrum of critical almost Mathieu operators with rational frequencies.


title: Robust and Low Complexity Beam Tracking with Monopulse Signal for UAV Communications

abstract: UAV communications based on an antenna array entail a beam tracking technology for reliable link acquisition. Unlike conventional cellular communication, beam tracking in UAV communication addresses new issues such as mobility and abrupt channel disconnection from UAV's perturbation. To deal with these issues, we propose a beam tracking scheme based on extended Kalman filter (EKF) using a monopulse signal, which can provide (1) higher robustness by offering a reliable link in the estimated spatial direction and (2) lower complexity compared with the existing conventional beam tracking schemes. We point out the limitations of using a beamformed signal as a measurement model for a Kalman filter (KF) based scheme and instead utilize the monopulse signal as a more plausible model. For the performance evaluation, we derive the upper bound of the mean square error for spatial angle estimation of UAV and confirm that the proposed scheme is stable with a certain bounded error. We also show from various simulations that the proposed scheme can efficiently track UAV and detect beam disconnection every time frame using a beamformed signal.


title: Compounds of symmetric informationally complete measurements and their application in quantum key distribution

abstract: Symmetric informationally complete measurements (SICs) are elegant, celebrated and broadly useful discrete structures in Hilbert space. We introduce a more sophisticated discrete structure compounded by several SICs. A SIC-compound is defined to be a collection of $d^3$ vectors in $d$-dimensional Hilbert space that can be partitioned in two different ways: into $d$ SICs and into $d^2$ orthonormal bases. While a priori their existence may appear unlikely when $d>2$, we surprisingly answer it in the positive through an explicit construction for $d=4$. Remarkably this SIC-compound admits a close relation to mutually unbiased bases, as is revealed through quantum state discrimination. Going beyond fundamental considerations, we leverage these exotic properties to construct a protocol for quantum key distribution and analyze its security under general eavesdropping attacks. We show that SIC-compounds enable secure key generation in the presence of errors that are large enough to prevent the success of the generalisation of the six-state protocol.


title: Shard polytopes

abstract: For any lattice congruence of the weak order on permutations, N. Reading proved that gluing together the cones of the braid fan that belong to the same congruence class defines a complete fan, called a quotient fan, and V. Pilaud and F. Santos showed that it is the normal fan of a polytope, called a quotientope. In this paper, we provide a simpler approach to realize quotient fans based on Minkowski sums of elementary polytopes, called shard polytopes, which have remarkable combinatorial and geometric properties. In contrast to the original construction of quotientopes, this Minkowski sum approach extends to type $B$.


title: Human-centered collaborative robots with deep reinforcement learning

abstract: We present a reinforcement learning based framework for human-centered collaborative systems. The framework is proactive and balances the benefits of timely actions with the risk of taking improper actions by minimizing the total time spent to complete the task. The framework is learned end-to-end in an unsupervised fashion addressing the perception uncertainties and decision making in an integrated manner. The framework is shown to provide more fluent coordination between human and robot partners on an example task of packaging compared to alternatives for which perception and decision-making systems are learned independently, using supervised learning. The foremost benefit of the proposed approach is that it allows for fast adaptation to new human partners and tasks since tedious annotation of motion data is avoided and the learning is performed on-line.


title: Sliced Inverse Regression for Spatial Data

abstract: Sliced inverse regression is one of the most popular sufficient dimension reduction methods. Originally, it was designed for independent and identically distributed data and recently extend to the case of serially and spatially dependent data. In this work we extend it to the case of spatially dependent data where the response might depend also on neighbouring covariates when the observations are taken on a grid-like structure as it is often the case in econometric spatial regression applications. We suggest guidelines on how to decide upon the dimension of the subspace of interest and also which spatial lag might be of interest when modeling the response. These guidelines are supported by a conducted simulation study.


title: Temperature dependent Casimir forces: recurring subtleties

abstract: The Casimir force between two ideal conducting surfaces is a special (zero temperature) limit of a more general theory due to Lifshitz. The temperature dependent theory includes correlations in coupled quantum and classical fluctuation modes for conducting, dielectric and magnetic media. If the surfaces are at different temperatures, it has been postulated that these modes might act as a coupling spring, transferring thermal energy from the hotter to the colder even through a vacuum. Recent experiments have appeared to confirm this prediction, but the data were compared with the predictions of Casimir's original expression, rather than those of the full temperature-dependent theory. This is a common error in the literature. Another error is to ignore the fact that real conducting surfaces (gold in this case) can be far from ideal, and that a correction factor of up to 25% may be required. Here we give numerical values for both of these corrections. It appears that they may not affect the basic conclusions from recent experiments, but the take-home message is that care is needed in the interpretation of extensions of Casimir (Lifshitz) effects, which are increasingly emerging across a wide range of scientific problems.


title: Consistent Structured Prediction with Max-Min Margin Markov Networks

abstract: Max-margin methods for binary classification such as the support vector machine (SVM) have been extended to the structured prediction setting under the name of max-margin Markov networks ($M^3N$), or more generally structural SVMs. Unfortunately, these methods are statistically inconsistent when the relationship between inputs and labels is far from deterministic. We overcome such limitations by defining the learning problem in terms of a "max-min" margin formulation, naming the resulting method max-min margin Markov networks ($M^4N$). We prove consistency and finite sample generalization bounds for $M^4N$ and provide an explicit algorithm to compute the estimator. The algorithm achieves a generalization error of $O(1/\sqrt{n})$ for a total cost of $O(n)$ projection-oracle calls (which have at most the same cost as the max-oracle from $M^3N$). Experiments on multi-class classification, ordinal regression, sequence prediction and ranking demonstrate the effectiveness of the proposed method.


title: A Search for the modern counterparts of the Far Eastern guest stars 369 CE, 386 CE, and 393 CE

abstract: In this study, we apply our previously developed method to investigate ancient transient sightings in order to derive consequences for modern astrophysical problems.We present case studies of three observations of so called 'guest stars' in the 4th century CE which lasted several months each. These three observations had been suggested and discussed as possible supernovae but slow novae are also viable alternatives. Our careful re-interpretation of the historical texts and the currently known objects in the given fields shed new light on this topic. In particular, for the two events in 386 and 393 CE we suggest possible supernova identifications, while in all three cases there are interesting candidates for past classical or recurrent nova eruptions among known cataclysmic variables (CVs) and/or symbiotic stars. The transient of 369, we suggest to explain as classical and possibly recurrent nova instead of a supernova. The most plausible candidates are BZ Cam, a CV with a possible nova shell, or CQ Dra, a naked eye multiple system perhaps able to permit an overwhelmingly bright nova with day-time visibility.


title: Incremental methods for checking real-time consistency

abstract: Requirements engineering is a key phase in the development process. Ensuring that requirements are consistent is essential so that they do not conflict and admit implementations. We consider the formal verification of rt-consistency, which imposes that the inevitability of definitive errors of a requirement should be anticipated, and that of partial consistency, which was recently introduced as a more effective check. We generalize and formalize both notions for discrete-time timed automata, develop three incremental algorithms, and present experimental results.


title: Luminosity of radio pulsar and its new emission death line

abstract: We investigated the pulsar radio luminosity ($L$), emission efficiency (ratio of radio luminosity to its spin-down power $\dot{E}$), and death line in the diagram of magnetic field (B) versus spin period (P), and found that the dependence of pulsar radio luminosity on its spin-down power ($L-\dot{E}$) is very weak, shown as $L\sim\dot{E}^{0.06}$, which deduces an equivalent inverse correlation between emission efficiency and spin-down power as $\xi\sim \dot{E}^{-0.94}$. Furthermore, we examined the distributions of radio luminosity of millisecond and normal pulsars, and found that, for the similar spin-down powers, the radio luminosity of millisecond pulsars is about one order of magnitude lower than that of the normal pulsars. The analysis of pulsar radio flux suggests that this correlations are not due to a selective effect, but are intrinsic to the pulsar radio emission physics. Their radio radiations may be dominated by the different radiation mechanisms. The cut-off phenomenon of currently observed radio pulsars in B-P diagram is usually referred as the "pulsar death line", which corresponds to $\dot{E}\approx 10^{30}$ erg/s and is obtained by the cut-off voltage of electron acceleration gap in the polar cap model of pulsar proposed by Ruderman and Sutherland. Observationally, this death line can be inferred by the actual observed pulsar flux $S\approx $1mJy and 1kpc distance, together with the maximum radio emission efficiency of 1\%. At present, the actual observed pulsar flux can reach 0.01mJy by FAST telescope, which will arise the observational limit of spin-down power of pulsar as low as $\dot{E}\approx 10^28$ erg/s. This means that the new death line is downward shifted two orders of magnitude, which might be favorably referred as the "observational limit-line", and accordingly the pulsar theoretical model for the cut-off voltage of gap should be heavily modified.


title: A Novel DNN Training Framework via Data Sampling and Multi-Task Optimization

abstract: Conventional DNN training paradigms typically rely on one training set and one validation set, obtained by partitioning an annotated dataset used for training, namely gross training set, in a certain way. The training set is used for training the model while the validation set is used to estimate the generalization performance of the trained model as the training proceeds to avoid over-fitting. There exist two major issues in this paradigm. Firstly, the validation set may hardly guarantee an unbiased estimate of generalization performance due to potential mismatching with test data. Secondly, training a DNN corresponds to solve a complex optimization problem, which is prone to getting trapped into inferior local optima and thus leads to undesired training results. To address these issues, we propose a novel DNN training framework. It generates multiple pairs of training and validation sets from the gross training set via random splitting, trains a DNN model of a pre-specified structure on each pair while making the useful knowledge (e.g., promising network parameters) obtained from one model training process to be transferred to other model training processes via multi-task optimization, and outputs the best, among all trained models, which has the overall best performance across the validation sets from all pairs. The knowledge transfer mechanism featured in this new framework can not only enhance training effectiveness by helping the model training process to escape from local optima but also improve on generalization performance via implicit regularization imposed on one model training process from other model training processes. We implement the proposed framework, parallelize the implementation on a GPU cluster, and apply it to train several widely used DNN models. Experimental results demonstrate the superiority of the proposed framework over the conventional training paradigm.


title: Deep Learning Defenses Against Adversarial Examples for Dynamic Risk Assessment

abstract: Deep Neural Networks were first developed decades ago, but it was not until recently that they started being extensively used, due to their computing power requirements. Since then, they are increasingly being applied to many fields and have undergone far-reaching advancements. More importantly, they have been utilized for critical matters, such as making decisions in healthcare procedures or autonomous driving, where risk management is crucial. Any mistakes in the diagnostics or decision-making in these fields could entail grave accidents, and even death. This is preoccupying, because it has been repeatedly reported that it is straightforward to attack this type of models. Thus, these attacks must be studied to be able to assess their risk, and defenses need to be developed to make models more robust. For this work, the most widely known attack was selected (adversarial attack) and several defenses were implemented against it (i.e. adversarial training, dimensionality reduc tion and prediction similarity). The obtained outcomes make the model more robust while keeping a similar accuracy. The idea was developed using a breast cancer dataset and a VGG16 and dense neural network model, but the solutions could be applied to datasets from other areas and different convolutional and dense deep neural network models.


title: Bijective enumeration of rook walks

abstract: In this paper we answer a question posed by R. Stanley in his collection of Bijection Proof Problems (Problem 240). We present a bijective proof for the enumeration of walks of length $k$ a chess rook can move along on an $m\times n$ board starting and ending on the same square.


title: Higher-order Logic as Lingua Franca -- Integrating Argumentative Discourse and Deep Logical Analysis

abstract: We present an approach towards the deep, pluralistic logical analysis of argumentative discourse that benefits from the application of state-of-the-art automated reasoning technology for classical higher-order logic. Thanks to its expressivity this logic can adopt the status of a uniform \textit{lingua franca} allowing the encoding of both formalized arguments (their deep logical structure) and dialectical interactions (their attack and support relations). We illustrate this by analyzing an excerpt from an argumentative debate on climate engineering. Another, novel contribution concerns the definition of abstract, language-theoretical foundations for the characterization and assessment of shallow semantical embeddings (SSEs) of non-classical logics in classical higher-order logic, which constitute a pillar stone of our approach. The novel perspective we draw enables more concise and more elegant characterizations of semantical embeddings of logics and logic combinations, which is demonstrated with several examples.


title: Time-Focusing Time-of-Flight, a new method to turn a MAC-E-filter into a quasi-differential spectrometer

abstract: Spectrometers based on the magnetic adiabatic collimation followed by an electrostatic filter (MAC-E-filter) principle combine high angular acceptance with an excellent energy resolution. These features make MAC-E-filters very valuable for experiments where the kinetic energy of ions or electrons from rare processes has to be measured with utmost sensitivity and precision. Examples are direct neutrino mass experiments like KATRIN which investigate the energy of electrons in the endpoint region of the tritium $\beta$-spectrum. However, the MAC-E-filter is a very sharp energy high-pass filter but not a differential spectrometer. To determine a spectral shape of a charged particle source, different electric retarding potentials have to be used sequentially, reducing the statistics. In a previous work we have shown that the advantages of the standard MAC-E-filter can be combined with a measurement of the time-of-flight (TOF), allowing to determine spectral information over a certain energy range with one retarding potential only, with the corresponding gain in statistics. This TOF method requires to know the start time of the charged particles, which is not always possible. Therefore, we propose a new method which does not require the determination of the start time and which we call "time-focusing Time-of-Flight" (tfTOF): By applying a time dependent acceleration and deceleration potential at a subsequent MAC-E-filter, an energy dependent post-bunching of the charged particles is achieved.


title: Wave-particle duality of electrons with spin-momentum locking

abstract: We investigate the effects of spin-momentum locking on the interference and diffraction patterns due to a double- or single-slit in an electronic \emph{Gedankenexperiment}. We show that the inclusion of the spin-degree-of-freedom, when coupled to the motion direction of the carrier -- a typical situation that occurs in systems with spin-orbit interaction -- leads to a modification of the interference and diffraction patterns that depend on the geometrical parameters of the system.


title: NLNDE: Enhancing Neural Sequence Taggers with Attention and Noisy Channel for Robust Pharmacological Entity Detection

abstract: Named entity recognition has been extensively studied on English news texts. However, the transfer to other domains and languages is still a challenging problem. In this paper, we describe the system with which we participated in the first subtrack of the PharmaCoNER competition of the BioNLP Open Shared Tasks 2019. Aiming at pharmacological entity detection in Spanish texts, the task provides a non-standard domain and language setting. However, we propose an architecture that requires neither language nor domain expertise. We treat the task as a sequence labeling task and experiment with attention-based embedding selection and the training on automatically annotated data to further improve our system's performance. Our system achieves promising results, especially by combining the different techniques, and reaches up to 88.6% F1 in the competition.


title: An updated hybrid deep learning algorithm for identifying and locating primary vertices

abstract: We present an improved hybrid algorithm for vertexing, that combines deep learning with conventional methods. Even though the algorithm is a generic approach to vertex finding, we focus here on it's application as an alternative Primary Vertex (PV) finding tool for the LHCb experiment. In the transition to Run 3 in 2021, LHCb will undergo a major luminosity upgrade, going from 1.1 to 5.6 expected visible PVs per event, and it will adopt a purely software trigger. We use a custom kernel to transform the sparse 3D space of hits and tracks into a dense 1D dataset, and then apply Deep Learning techniques to find PV locations using proxy distributions to encode the truth in training data. Last year we reported that training networks on our kernels using several Convolutional Neural Network layers yielded better than 90 % efficiency with no more than 0.2 False Positives (FPs) per event. Modifying several elements of the algorithm, we now achieve better than 94 % efficiency with a significantly lower FP rate. Where our studies to date have been made using toy Monte Carlo (MC), we began to study KDEs produced from complete LHCb Run 3 MC data, including full tracking in the vertex locator rather than proto-tracking.


title: Curve shortening flow on Riemann surfaces with conical singularities

abstract: We study the curve shortening flow on Riemann surfaces with finitely many conformal conical singularities. If the initial curve is passing through the singular points, then the evolution is governed by a degenerate quasilinear parabolic equation. In this case, we establish short time existence, uniqueness, and regularity of the flow. We also show that the evolving curves stay fixed at the singular points of the surface and obtain some collapsing and convergence results.


title: Insights into regularity of 2D 3d transition metal monocarbides formation

abstract: Recently several theoretical predictions were made about 2D planar FeC, CoC, NiC, and CuC while their bulk phases still remain unknown. Here, we present generalization of 2D family of 3d transition metal monocarbides (TMC) by searching their stable configurations with DFT methods and evolutionary algorithm. It is found that in the TMC row (TM = Sc-Cu) a tendency of 3D rocksalt phase formation is monotonously interchanging by 2D phase appearance, namely planar orthorhombic TMC characterized by carbon dimers inside metal hexagons. Among them, orthorhombic CoC and FeC monocarbides would be likely formed rather than any other 2D metal carbide phase or metal/graphene interface.


title: A unified first order hyperbolic model for nonlinear dynamic rupture processes in diffuse fracture zones

abstract: Earthquake fault zones are more complex, both geometrically and rheologically, than an idealised infinitely thin plane embedded in linear elastic material. To incorporate nonlinear material behaviour, natural complexities, and multi-physics coupling within and outside of fault zones, here we present a first-order hyperbolic and thermodynamically compatible mathematical model for a continuum in a gravitational field which provides a unified description of nonlinear elasto-plasticity, material damage and of viscous Newtonian flows with phase transition between solid and liquid phases. The fault geometry and secondary cracks are described via a scalar function $\xi \in [0,1]$ that indicates the local level of material damage. The model also permits the representation of arbitrarily complex geometries via a diffuse interface approach based on the solid volume fraction function $\alpha \in [0,1]$. Neither of the two scalar fields $\xi$ and $\alpha$ needs to be mesh-aligned, allowing thus faults and cracks with complex topology and the use of adaptive Cartesian meshes (AMR). The model shares common features with phase-field approaches but substantially extends them. We show a wide range of numerical applications that are relevant for dynamic earthquake rupture in fault zones, including the co-seismic generation of secondary off-fault shear cracks, tensile rock fracture in the Brazilian disc test, as well as a natural convection problem in molten rock-like material.


title: Explaining predictive models with mixed features using Shapley values and conditional inference trees

abstract: It is becoming increasingly important to explain complex, black-box machine learning models. Although there is an expanding literature on this topic, Shapley values stand out as a sound method to explain predictions from any type of machine learning model. The original development of Shapley values for prediction explanation relied on the assumption that the features being described were independent. This methodology was then extended to explain dependent features with an underlying continuous distribution. In this paper, we propose a method to explain mixed (i.e. continuous, discrete, ordinal, and categorical) dependent features by modeling the dependence structure of the features using conditional inference trees. We demonstrate our proposed method against the current industry standards in various simulation studies and find that our method often outperforms the other approaches. Finally, we apply our method to a real financial data set used in the 2018 FICO Explainable Machine Learning Challenge and show how our explanations compare to the FICO challenge Recognition Award winning team.


title: Quantum Ensemble for Classification

abstract: A powerful way to improve performance in machine learning is to construct an ensemble that combines the predictions of multiple models. Ensemble methods are often much more accurate and lower variance than the individual classifiers that make them up but have high requirements in terms of memory and computational time. In fact, a large number of alternative algorithms is usually adopted, each requiring to query all available data. We propose a new quantum algorithm that exploits quantum superposition, entanglement and interference to build an ensemble of classification models. Thanks to the generation of the several quantum trajectories in superposition, we obtain $B$ transformations of the quantum state which encodes the training set in only $log\left(B\right)$ operations. This implies exponential growth of the ensemble size while increasing linearly the depth of the correspondent circuit. Furthermore, when considering the overall cost of the algorithm, we show that the training of a single weak classifier impacts additively the overall time complexity rather than multiplicatively, as it usually happens in classical ensemble methods. We also present small-scale experiments on real-world datasets, defining a quantum version of the cosine classifier and using the IBM qiskit environment to show how the algorithms work.


title: Hunting for Re-Entrancy Attacks in Ethereum Smart Contracts via Static Analysis

abstract: Ethereum smart contracts are programs that are deployed and executed in a consensus-based blockchain managed by a peer-to-peer network. Several re-entrancy attacks that aim to steal Ether, the cryptocurrency used in Ethereum, stored in deployed smart contracts have been found in the recent years. A countermeasure to such attacks is based on dynamic analysis that executes the smart contracts themselves, but it requires the spending of Ether and knowledge of attack patterns for analysis in advance. In this paper, we present a static analysis tool named \textit{RA (Re-entrancy Analyzer)}, a combination of symbolic execution and equivalence checking by a satisfiability modulo theories solver to analyze smart contract vulnerabilities to re-entrancy attacks. In contrast to existing tools, RA supports analysis of inter-contract behaviors by using only the Etherum Virtual Machine bytecodes of target smart contracts, i.e., even without prior knowledge of attack patterns and without spending Ether. Furthermore, RA can verify existence of vulnerabilities to re-entrancy attacks without execution of smart contracts and it does not provide false positives and false negatives. We also present an implementation of RA to evaluate its performance in analyzing the vulnerability of deployed smart contracts to re-entrancy attacks and show that RA can precisely determine which smart contracts are vulnerable.


title: NLNDE: The Neither-Language-Nor-Domain-Experts' Way of Spanish Medical Document De-Identification

abstract: Natural language processing has huge potential in the medical domain which recently led to a lot of research in this field. However, a prerequisite of secure processing of medical documents, e.g., patient notes and clinical trials, is the proper de-identification of privacy-sensitive information. In this paper, we describe our NLNDE system, with which we participated in the MEDDOCAN competition, the medical document anonymization task of IberLEF 2019. We address the task of detecting and classifying protected health information from Spanish data as a sequence-labeling problem and investigate different embedding methods for our neural network. Despite dealing in a non-standard language and domain setting, the NLNDE system achieves promising results in the competition.


title: Efficient enumeration of maximal split subgraphs and induced sub-cographs and related classes

abstract: In this paper, we are interested in algorithms that take in input an arbitrary graph $G$, and that enumerate in output all the (inclusion-wise) maximal "subgraphs" of $G$ which fulfil a given property $\Pi$. All over this paper, we study several different properties $\Pi$, and the notion of subgraph under consideration (induced or not) will vary from a result to another. More precisely, we present efficient algorithms to list all maximal split subgraphs, sub-cographs and some subclasses of cographs of a given input graph. All the algorithms presented here run in polynomial delay, and moreover for split graphs it only requires polynomial space. In order to develop an algorithm for maximal split (edge-)subgraphs, we establish a bijection between the maximal split subgraphs and the maximal independent sets of an auxiliary graph. For cographs and some subclasses , the algorithms rely on a framework recently introduced by Conte & Uno called Proximity Search. Finally we consider the extension problem, which consists in deciding if there exists a maximal induced subgraph satisfying a property $\Pi$ that contains a set of prescribed vertices and that avoids another set of vertices. We show that this problem is NP-complete for every "interesting" hereditary property $\Pi$. We extend the hardness result to some specific edge version of the extension problem.


title: Multimodes of Rayleigh wave excited by hurricane Dorian

abstract: Extracting Empirical Green's Functions (EGFs) by cross-correlating ambient seismic noise or coda, considered as an efficient approach of retrieving new response inside the media of two receivers, has been developed well in the past two decades. However, EGFs emerge with high Signal-to-Noise Ratios (SNRs), which needs us to stack a large number of cross-correlations. Here, we retrieve EGFs with high SNRs from ambient seismic noise released by hurricane Dorian moving along the eastern coast of the United States during 3 days in Sept 2019. We systematically analyze the energy sources of seismic noise records with time-frequency analysis and beam-forming. We find that the energy exhibits very strongly when hurricane Dorian progresses along the coast from 4th to 6th Sept. Our results suggest that EGFs exhibit strong directionality and only emerge in the negative part of cross-correlation time functions due to the noise sources of Dorian. We extract clear multimodal dispersion curves of Rayleigh waves from retrieved EGFs. Our results, indeed, reveal that multimodal dispersion curves pf Rayleigh wave could be extracted from ambient seismic noise excited by Dorian for several days or even a single day, which means that we enlarge the seismic data sets for the future work of investigating shear velocity structures of the Earth's crust and upper mantle and understanding our planet more deeply.


title: Characteristic Logics for Behavioural Hemimetrics via Fuzzy Lax Extensions

abstract: In systems involving quantitative data, such as probabilistic, fuzzy, or metric systems, behavioural distances provide a more fine-grained comparison of states than two-valued notions of behavioural equivalence or behaviour inclusion. Like in the two-valued case, the wide variation found in system types creates a need for generic methods that apply to many system types at once. Approaches of this kind are emerging within the paradigm of universal coalgebra, based either on lifting pseudometrics along set functors or on lifting general real-valued (fuzzy) relations along functors by means of fuzzy lax extensions. An immediate benefit of the latter is that they allow bounding behavioural distance by means of fuzzy (bi-)simulations that need not themselves be hemi- or pseudometrics; this is analogous to classical simulations and bisimulations, which need not be preorders or equivalence relations, respectively. The known generic pseudometric liftings, specifically the generic Kantorovich and Wasserstein liftings, both can be extended to yield fuzzy lax extensions, using the fact that both are effectively given by a choice of quantitative modalities. Our central result then shows that in fact all fuzzy lax extensions are Kantorovich extensions for a suitable set of quantitative modalities, the so-called Moss modalities. For nonexpansive fuzzy lax extensions, this allows for the extraction of quantitative modal logics that characterize behavioural distance, i.e. satisfy a quantitative version of the Hennessy-Milner theorem; equivalently, we obtain expressiveness of a quantitative version of Moss' coalgebraic logic. All our results explicitly hold also for asymmetric distances (hemimetrics), i.e. notions of quantitative simulation.


title: Power fluctuations in a finite-time quantum Carnot engine

abstract: Stability is an important property of small thermal machines with fluctuating power output. We here consider a finite-time quantum Carnot engine based on a degenerate multilevel system and study the influence of its finite Hilbert space structure on its stability. We optimize in particular its relative work fluctuations with respect to level degeneracy and level number. We find that its optimal performance may surpass those of nondegenerate two-level engines or harmonic oscillator motors. Our results show how to realize high-performance, high-stability cyclic quantum heat engines.


title: Helicity sensitive plasmonic teraherts interferometer

abstract: Plasmonic interferometry is a rapidly growing area of research with a huge potential for applications in terahertz frequency range. In this Letter, we explore a plasmonic interferometer based on graphene Field Effect Transistor connected to specially designed antennas. As a key result, we observe helicity- and phase-sensitive conversion of circularly-polarized radiation into dc photovoltage caused by the plasmon-interference mechanism: two plasma waves, excited at the source and drain part of the transistor interfere inside the channel. The helicity sensitive phase shift between these waves is achieved by using an asymmetric antenna configuration. The dc signal changes sign with inversion of the helicity. Suggested plasmonic interferometer is capable for measuring of phase difference between two arbitrary phase-shifted optical signals. The observed effect opens a wide avenue for phase-sensisitve probing of plasma wave excitations in two-dimensional materials.


title: Entropy stable discontinuous Galerkin methods for ten-moment Gaussian closure equations

abstract: In this article, we propose high order discontinuous Galerkin entropy stable schemes for ten-moment Gaussian closure equations, which is based on the suitable quadrature rules (see [8]). The key components of the proposed method are the use of an entropy conservative numerical flux [31] in each cell and a suitable entropy stable numerical flux at the cell edges. This is then used in the entropy stable DG framework of [8] to obtain entropy stability of the semi-discrete scheme. We also extend these schemes to a source term that models plasma laser interaction. For the time discretization, we use strong stability preserving schemes. The proposed schemes are then tested on several test cases to demonstrate stability, accuracy, and robustness.


title: Neural Network Statistical Mechanics

abstract: We propose a general framework to extract microscopic interactions from raw configurations with deep neural networks. The approach replaces the modeling Hamiltonian by the neural networks, in which the interaction is encoded. It can be trained with data collected from Ab initio computations or experiments. The well-trained neural networks give an accurate estimation of the possibility distribution of the configurations at fixed external parameters. It can be spontaneously extrapolated to detect the phase structures since classical statistical mechanics as prior knowledge here. We apply the approach to a 2D spin system, training at a fixed temperature, and reproducing the phase structure. Scaling the configuration on lattice exhibits the interaction changes with the degree of freedom, which can be naturally applied to the experimental measurements. Our approach bridges the gap between the real configurations and the microscopic dynamics with an autoregressive neural network.


title: Beyond Signal Propagation: Is Feature Diversity Necessary in Deep Neural Network Initialization?

abstract: Deep neural networks are typically initialized with random weights, with variances chosen to facilitate signal propagation and stable gradients. It is also believed that diversity of features is an important property of these initializations. We construct a deep convolutional network with identical features by initializing almost all the weights to $0$. The architecture also enables perfect signal propagation and stable gradients, and achieves high accuracy on standard benchmarks. This indicates that random, diverse initializations are \textit{not} necessary for training neural networks. An essential element in training this network is a mechanism of symmetry breaking; we study this phenomenon and find that standard GPU operations, which are non-deterministic, can serve as a sufficient source of symmetry breaking to enable training.


title: Rydberg Noisy-Dressing and applications in making soliton-molecules and droplet quasi-crystals

abstract: The current advances in the field of ultra-cold atoms and atomic traps recall new controllable long-range interactions. These interactions are expected to extend the range of realizable quantum algorithms as well as providing new control mechanisms for the new types of quantum matters. This article presents special inter-atomic interactions between Rydberg-dressed atoms by manipulating lasers' line-width. The new interaction features a hybrid spatial profile containing plateaus and Gaussian peaks. Combined with dynamic individual control over the sign and strength of these interaction elements, the Rydberg noisy-dressing (RnD) scheme provides a valuable interaction toolbox for quantum technology. As an example, RnD's application in making stable gigantic 3D soliton molecules and in the formation of quasi-periodic droplet-crystals are discussed.


title: Group invariant solutions of certain partial differential equations

abstract: Let $M$ be a complete Riemannian manifold and $G$ a Lie subgroup of the isometry group of $M$ acting freely and properly on $M.$ We study the Dirichlet Problem \begin{align*} \operatorname{div}\left( \frac{a\left( \left\Vert \nabla u\right\Vert \right) }{\left\Vert \nabla u\right\Vert }\nabla u\right) & =0\text{ in }\Omega\\ u|\partial\Omega & =\varphi \end{align*} where $\Omega$ is a $G-$invariant domain of $C^{2,\alpha}$ class in $M$ and $\varphi\in C^{0}\left( \partial\overline{\Omega}\right) $ a $G-$invariant function. Two classical PDE's are included in this family: the $p-$Laplacian $(a(s)=s^{p-1},$ $p>1)$ and the minimal surface equation $(a(s)=s/\sqrt {1+s^{2}}).$ Our motivation is to present a method in studying $G$-invariant solutions for noncompact Lie groups which allows the reduction of the Dirichlet problem on unbounded domains to one on bounded domains.


title: Non-Hermitian route to higher-order topology in an acoustic crystal

abstract: Topological phases of matter are classified based on their Hermitian Hamiltonians, whose real-valued dispersions together with orthogonal eigenstates form nontrivial topology. In the recently discovered higher-order topological insulators (TIs), the bulk topology can even exhibit hierarchical features, leading to topological corner states, as demonstrated in many photonic and acoustic artificial materials. Naturally, the intrinsic loss in these artificial materials has been omitted in the topology definition, due to its non-Hermitian nature; in practice, the presence of loss is generally considered harmful to the topological corner states. Here, we report the experimental realization of a higher-order TI in an acoustic crystal, whose nontrivial topology is induced by deliberately introduced losses. With local acoustic measurements, we identify a topological bulk bandgap that is populated with gapped edge states and in-gap corner states, as the hallmark signatures of hierarchical higher-order topology. Our work establishes the non-Hermitian route to higher-order topology, and paves the way to exploring various exotic non-Hermiticity-induced topological phases.


title: Spectral-Spatial Recurrent-Convolutional Networks for In-Vivo Hyperspectral Tumor Type Classification

abstract: Early detection of cancerous tissue is crucial for long-term patient survival. In the head and neck region, a typical diagnostic procedure is an endoscopic intervention where a medical expert manually assesses tissue using RGB camera images. While healthy and tumor regions are generally easier to distinguish, differentiating benign and malignant tumors is very challenging. This requires an invasive biopsy, followed by histological evaluation for diagnosis. Also, during tumor resection, tumor margins need to be verified by histological analysis. To avoid unnecessary tissue resection, a non-invasive, image-based diagnostic tool would be very valuable. Recently, hyperspectral imaging paired with deep learning has been proposed for this task, demonstrating promising results on ex-vivo specimens. In this work, we demonstrate the feasibility of in-vivo tumor type classification using hyperspectral imaging and deep learning. We analyze the value of using multiple hyperspectral bands compared to conventional RGB images and we study several machine learning models' ability to make use of the additional spectral information. Based on our insights, we address spectral and spatial processing using recurrent-convolutional models for effective spectral aggregating and spatial feature learning. Our best model achieves an AUC of 76.3%, significantly outperforming previous conventional and deep learning methods.


title: PDE-limits of stochastic SIS epidemics on networks

abstract: Stochastic epidemic models on networks are inherently high-dimensional and the resulting exact models are intractable numerically even for modest network sizes. Mean-field models provide an alternative but can only capture average quantities, thus offering little or no information about variability in the outcome of the exact process. In this paper we conjecture and numerically prove that it is possible to construct PDE-limits of the exact stochastic SIS epidemics on regular and Erd\H{o}s-R\'enyi networks. To do this we first approximate the exact stochastic process at population level by a Birth-and-Death process (BD) (with a state space of $O(N)$ rather than $O(2^N)$) whose coefficients are determined numerically from Gillespie simulations of the exact epidemic on explicit networks. We numerically demonstrate that the coefficients of the resulting BD process are density-dependent, a crucial condition for the existence of a PDE limit. Extensive numerical tests for Regular and Erd\H{o}s-R\'enyi networks show excellent agreement between the outcome of simulations and the numerical solution of the Fokker-Planck equations. Apart from a significant reduction in dimensionality, the PDE also provides the means to derive the epidemic outbreak threshold linking network and disease dynamics parameters, albeit in an implicit way. Perhaps more importantly, it enables the formulation and numerical evaluation of likelihoods for epidemic and network inference as illustrated in a worked out example.


title: 4D Spatio-Temporal Convolutional Networks for Object Position Estimation in OCT Volumes

abstract: Tracking and localizing objects is a central problem in computer-assisted surgery. Optical coherence tomography (OCT) can be employed as an optical tracking system, due to its high spatial and temporal resolution. Recently, 3D convolutional neural networks (CNNs) have shown promising performance for pose estimation of a marker object using single volumetric OCT images. While this approach relied on spatial information only, OCT allows for a temporal stream of OCT image volumes capturing the motion of an object at high volumes rates. In this work, we systematically extend 3D CNNs to 4D spatio-temporal CNNs to evaluate the impact of additional temporal information for marker object tracking. Across various architectures, our results demonstrate that using a stream of OCT volumes and employing 4D spatio-temporal convolutions leads to a 30% lower mean absolute error compared to single volume processing with 3D CNNs.


title: DAPPLE: A Pipelined Data Parallel Approach for Training Large Models

abstract: It is a challenging task to train large DNN models on sophisticated GPU platforms with diversified interconnect capabilities. Recently, pipelined training has been proposed as an effective approach for improving device utilization. However, there are still several tricky issues to address: improving computing efficiency while ensuring convergence, and reducing memory usage without incurring additional computing costs. We propose DAPPLE, a synchronous training framework which combines data parallelism and pipeline parallelism for large DNN models. It features a novel parallelization strategy planner to solve the partition and placement problems, and explores the optimal hybrid strategy of data and pipeline parallelism. We also propose a new runtime scheduling algorithm to reduce device memory usage, which is orthogonal to re-computation approach and does not come at the expense of training throughput. Experiments show that DAPPLE planner consistently outperforms strategies generated by PipeDream's planner by up to 3.23x under synchronous training scenarios, and DAPPLE runtime outperforms GPipe by 1.6x speedup of training throughput and reduces the memory consumption of 12% at the same time.


title: Proofs of Useless Work -- Positive and Negative Results for Wasteless Mining Systems

abstract: Many blockchain systems today, including Bitcoin, rely on Proof of Work (PoW). Proof of work is crucial to the liveness and security of cryptocurrencies. The assumption when using PoW is that a lot of trial and error is required on average before a valid block is generated. One of the main concerns raised with regard to this kind of system is the inherent need to "waste" energy on "meaningless" problems. In fact, the Bitcoin system is believed to consume more electricity than several small countries. In this work we formally define three properties that are necessary for wasteless PoW systems: (1) solve "meaningful" problems (2) solve them efficiently and (3) be secure against double-spend attacks. These properties aim to create an open market for problem-solving, in which miners produce solutions to problems in the most efficient way (wasteless). The security of the system stems from the economical incentive created by the demand for solutions to these problems. We analyze these properties, and deduce constraints that must apply to such PoW systems. In our main result, we conclude that under realistic assumptions, the set of allowed problems must be preimage resistant functions in order to keep the system secure and efficient.


title: Can Polarity-Inverted Surfactants Self-Assemble in Nonpolar Solvents

abstract: We investigate the self-assembly process of a surfactant with inverted polarity in water and cyclohexane using both all-atom and coarse grained hybrid particle-field molecular dynamics simulations. Unlike conventional surfactants, the molecule under study, proposed in a recent experiment, is formed by a rigid and compact hydrophobic adamantane moiety, and a long and floppy triethylene glycol tail. In water, we report the formation of stable inverted micelles with the adamantane heads grouping together into a hydrophobic core, and the tails forming hydrogen bonds with water. By contrast, microsecond simulations do not provide evidence of stable micelle formation in cyclohexane. Validating the computational results by comparison with experimental diffusion constant and small-angle X-ray scattering intensity, we show that at laboratory thermodynamic conditions the mixture resides in the supercritical region of the phase diagram, where aggregated and free surfactant states co-exist in solution. Our simulations also provide indications about how to escape this region, to produce thermodynamically stable micellar aggregates.


title: Jahn-Teller coupling to moir\`e phonons in the continuum model formalism for small angle twisted bilayer graphene

abstract: We show how to include the Jahn-Teller coupling of \mo phonons to the electrons in the continuum model formalism which describes small-angle twisted bilayer graphene. These phonons, which strongly couple to the valley degree of freedom, are able to open gaps at most integer fillings of the four flat bands around the charge neutrality point. Moreover, we derive the full quantum mechanical expression of the electron-phonon Hamiltonian, which may allow accessing phenomena such as the phonon-mediated superconductivity and the dynamical Jahn-Teller effect.


title: The composite X-ray spectra of radio-loud and radio-quiet SDSS quasars

abstract: We present the study on the X-ray emission for a sample of radio-detected quasars constructed from the cross-matches between SDSS, FIRST catalogs and XMM-Newton archives. A sample of radio-quiet SDSS quasars without FIRST radio detection is also assembled for comparison. We construct the optical and X-ray composite spectra normalized at rest frame $4215\,\rm \AA$ (or $2200\,\rm \AA$) for both radio-loud quasars (RLQs) and radio-quiet quasars (RQQs) at $z\le3.2$, with matched X-ray completeness of 19\%, redshift and optical luminosity. While the optical composite spectrum of RLQs is similar to that of RQQs, we find that RLQs have higher X-ray composite spectrum than RQQs, consistent with previous studies in the literature. By dividing the radio-detected quasars into radio loudness bins, we find the X-ray composite spectra are generally higher with increasing radio loudness. Moreover, a significant correlation is found between the optical-to-X-ray spectral index and radio loudness, and there is a unified multi-correlation between the radio, X-ray luminosities and radio loudness in radio-detected quasars. These results could be possibly explained with the corona-jet model, in which the corona and jet are directly related.


title: Effects of Alloying Elements on Surface Oxides of Hot-Dip Galvanized Press Hardened Steel

abstract: Effects of steel alloying elements on the formation of the surface oxide layer of hot-dip galvanized press hardened steel after austenitization annealing were examined with various advanced microscopy and spectroscopy techniques. The main oxides on top of the original thin Al2O3 layer, originating from the primary galvanizing process, are identified as ZnO and (Mn,Zn)Mn2O4 spinel. For some of the investigated steel alloys, a non-uniform, several nanometer thick Cr enriched, additional film was found at the Al2O3 layer. At a sufficiently high concentration, Cr can act as a substitute for Al during annealing, strengthening and regenerating the original Al2O3 layer with Cr2O3. Further analysis with secondary ion mass spectrometry allowed a reliable distinction between ZnO and Zn(OH)2.


title: Order amidst disorder in semi-regular, tatty, and atypical random nanodevices with locally correlated disorder

abstract: We make unexpected predictions for the electrical conductance and local density of states (LDOS) of a wide class of semi-regular nanodevices, tatty nanodevices, and nanodevices with atypical but arbitrarily strong disorder. Disorder is disruptive to electron transport, as it causes coherent electron scattering. Nevertheless, we predict a wide class of nanodevices which show order amidst disorder, in that the device Hamiltonians are disordered but when the device is attached to proper leads the LDOS is ordered. These nanodevices also are quantum dragons, as they have complete electron transmission, ${\cal T}(E)=1$ for all electron energies which propagate in the attached leads. We analyze a conventional single-band tight-binding model by NEGF (Non-Equilibrium Green's Function) methods. We provide a recipe to allow extensive disorder in coherent transport through quantum nanodevices based on semi-regular, random, or tatty 2D, 3D, and 2D+3D underlying graphs with arbitrarily strong disorder in the tight-binding parameters, while the nanodevice keeps the desired quantum properties. The tight-binding parameters must be locally correlated to achieve order amidst disorder and ${\cal T}(E)=1$. Consequently, in addition to the known regular examples of armchair single-walled carbon nanotubes and zigzag graphene nanoribbons, we predict a large class of metallic allotropes of carbon with ${\cal T}(E)=1$. We also provide in two different regimes universal scaling analysis for the average transmission, ${\cal T}_{\rm ave}(E)$, for nanodevices which have nearly the desired quantum properties.


title: Efficient Mining Cluster Selection for Blockchain-based Cellular V2X Communications

abstract: Cellular vehicle-to-everything (V2X) communication is expected to herald the age of autonomous vehicles in the coming years. With the integration of blockchain in such networks, information of all granularity levels, from complete blocks to individual transactions, would be accessible to vehicles at any time. Specifically, the blockchain technology is expected to improve the security, immutability, and decentralization of cellular V2X communication through smart contract and distributed ledgers. Although blockchain-based cellular V2X networks hold promise, many challenges need to be addressed to enable the future interoperability and accessibility of such large-scale platforms. One such challenge is the offloading of mining tasks in cellular V2X networks. While transportation authorities may try to balance the network mining load, the vehicles may select the nearest mining clusters to offload a task. This may cause congestion and disproportionate use of vehicular network resources. To address this issue, we propose a game-theoretic approach for balancing the load at mining clusters while maintaining fairness among offloading vehicles. Keeping in mind the low-latency requirements of vehicles, we consider a finite channel blocklength transmission which is more practical compared to the use of infinite blocklength codes. The simulation results obtained with our proposed offloading framework show improved performance over the conventional nearest mining cluster selection technique.


title: Unsupervised Landmark Learning from Unpaired Data

abstract: Recent attempts for unsupervised landmark learning leverage synthesized image pairs that are similar in appearance but different in poses. These methods learn landmarks by encouraging the consistency between the original images and the images reconstructed from swapped appearances and poses. While synthesized image pairs are created by applying pre-defined transformations, they can not fully reflect the real variances in both appearances and poses. In this paper, we aim to open the possibility of learning landmarks on unpaired data (i.e. unaligned image pairs) sampled from a natural image collection, so that they can be different in both appearances and poses. To this end, we propose a cross-image cycle consistency framework ($C^3$) which applies the swapping-reconstruction strategy twice to obtain the final supervision. Moreover, a cross-image flow module is further introduced to impose the equivariance between estimated landmarks across images. Through comprehensive experiments, our proposed framework is shown to outperform strong baselines by a large margin. Besides quantitative results, we also provide visualization and interpretation on our learned models, which not only verifies the effectiveness of the learned landmarks, but also leads to important insights that are beneficial for future research.


title: Gradient-only line searches to automatically determine learning rates for a variety of stochastic training algorithms

abstract: Gradient-only and probabilistic line searches have recently reintroduced the ability to adaptively determine learning rates in dynamic mini-batch sub-sampled neural network training. However, stochastic line searches are still in their infancy and thus call for an ongoing investigation. We study the application of the Gradient-Only Line Search that is Inexact (GOLS-I) to automatically determine the learning rate schedule for a selection of popular neural network training algorithms, including NAG, Adagrad, Adadelta, Adam and LBFGS, with numerous shallow, deep and convolutional neural network architectures trained on different datasets with various loss functions. We find that GOLS-I's learning rate schedules are competitive with manually tuned learning rates, over seven optimization algorithms, three types of neural network architecture, 23 datasets and two loss functions. We demonstrate that algorithms, which include dominant momentum characteristics, are not well suited to be used with GOLS-I. However, we find GOLS-I to be effective in automatically determining learning rate schedules over 15 orders of magnitude, for most popular neural network training algorithms, effectively removing the need to tune the sensitive hyperparameters of learning rate schedules in neural network training.


title: Bayesian Low Rank Tensor Ring Model for Image Completion

abstract: Low rank tensor ring model is powerful for image completion which recovers missing entries in data acquisition and transformation. The recently proposed tensor ring (TR) based completion algorithms generally solve the low rank optimization problem by alternating least squares method with predefined ranks, which may easily lead to overfitting when the unknown ranks are set too large and only a few measurements are available. In this paper, we present a Bayesian low rank tensor ring model for image completion by automatically learning the low rank structure of data. A multiplicative interaction model is developed for the low-rank tensor ring decomposition, where core factors are enforced to be sparse by assuming their entries obey Student-T distribution. Compared with most of the existing methods, the proposed one is free of parameter-tuning, and the TR ranks can be obtained by Bayesian inference. Numerical Experiments, including synthetic data, color images with different sizes and YaleFace dataset B with respect to one pose, show that the proposed approach outperforms state-of-the-art ones, especially in terms of recovery accuracy.


title: Hyperspectral Image Denoising with Partially Orthogonal Matrix Vector Tensor Factorization

abstract: Hyperspectral image (HSI) has some advantages over natural image for various applications due to the extra spectral information. During the acquisition, it is often contaminated by severe noises including Gaussian noise, impulse noise, deadlines, and stripes. The image quality degeneration would badly effect some applications. In this paper, we present a HSI restoration method named smooth and robust low rank tensor recovery. Specifically, we propose a structural tensor decomposition in accordance with the linear spectral mixture model of HSI. It decomposes a tensor into sums of outer matrix vector products, where the vectors are orthogonal due to the independence of endmember spectrums. Based on it, the global low rank tensor structure can be well exposited for HSI denoising. In addition, the 3D anisotropic total variation is used for spatial spectral piecewise smoothness of HSI. Meanwhile, the sparse noise including impulse noise, deadlines and stripes, is detected by the l1 norm regularization. The Frobenius norm is used for the heavy Gaussian noise in some real world scenarios. The alternating direction method of multipliers is adopted to solve the proposed optimization model, which simultaneously exploits the global low rank property and the spatial spectral smoothness of the HSI. Numerical experiments on both simulated and real data illustrate the superiority of the proposed method in comparison with the existing ones.


title: Hadronic vacuum polarization using gradient flow

abstract: The gradient-flow operator product expansion for QCD current correlators including operators up to mass dimension four is calculated through NNLO. This paves an alternative way for efficient lattice evaluations of hadronic vacuum polarization functions. In addition, flow-time evolution equations for flowed composite operators are derived. Their explicit form for the non-trivial dimension-four operators of QCD is given through order $\alpha_s^3$.


title: High-dimensional MANOVA via Bootstrapping and its Application to Functional and Sparse Count Data

abstract: We propose a new approach to the problem of high-dimensional multivariate ANOVA via bootstrapping max statistics that involve the differences of sample mean vectors. The proposed method proceeds via the construction of simultaneous confidence regions for the differences of population mean vectors. It is suited to simultaneously test the equality of several pairs of mean vectors of potentially more than two populations. By exploiting the variance decay property that is a natural feature in relevant applications, we are able to provide dimension-free and nearly-parametric convergence rates for Gaussian approximation, bootstrap approximation, and the size of the test. We demonstrate the proposed approach with ANOVA problems for functional data and sparse count data. The proposed methodology is shown to work well in simulations and several real data applications.


title: Zooming Into Video Conferencing Privacy and Security Threats

abstract: The COVID-19 pandemic outbreak, with its related social distancing and shelter-in-place measures, has dramatically affected ways in which people communicate with each other, forcing people to find new ways to collaborate, study, celebrate special occasions, and meet with family and friends. One of the most popular solutions that have emerged is the use of video conferencing applications to replace face-to-face meetings with virtual meetings. This resulted in unprecedented growth in the number of video conferencing users. In this study, we explored privacy issues that may be at risk by attending virtual meetings. We extracted private information from collage images of meeting participants that are publicly posted on the Web. We used image processing, text recognition tools, as well as social network analysis to explore our web crawling curated dataset of over 15,700 collage images, and over 142,000 face images of meeting participants. We demonstrate that video conference users are facing prevalent security and privacy threats. Our results indicate that it is relatively easy to collect thousands of publicly available images of video conference meetings and extract personal information about the participants, including their face images, age, gender, usernames, and sometimes even full names. This type of extracted data can vastly and easily jeopardize people's security and privacy both in the online and real-world, affecting not only adults but also more vulnerable segments of society, such as young children and older adults. Finally, we show that cross-referencing facial image data with social network data may put participants at additional privacy risks they may not be aware of and that it is possible to identify users that appear in several video conference meetings, thus providing a potential to maliciously aggregate different sources of information about a target individual.


title: Factorization over interpolation: A fast continuous orthogonal matching pursuit

abstract: We propose a fast greedy algorithm to compute sparse representations of signals from continuous dictionaries that are factorizable, i.e., with atoms that can be separated as a product of sub-atoms. Existing algorithms strongly reduce the computational complexity of the sparse decomposition of signals in discrete factorizable dictionaries. On another flavour, existing greedy algorithms use interpolation strategies from a discretization of continuous dictionaries to perform off-the-grid decomposition. Our algorithm aims to combine the factorization and the interpolation concepts to enable low complexity computation of continuous sparse representation of signals. The efficiency of our algorithm is highlighted by simulations of its application to a radar system.


title: CRYLOGGER: Detecting Crypto Misuses Dynamically

abstract: Cryptographic (crypto) algorithms are the essential ingredients of all secure systems: crypto hash functions and encryption algorithms, for example, can guarantee properties such as integrity and confidentiality. Developers, however, can misuse the application programming interfaces (API) of such algorithms by using constant keys and weak passwords. This paper presents CRYLOGGER, the first open-source tool to detect crypto misuses dynamically. CRYLOGGER logs the parameters that are passed to the crypto APIs during the execution and checks their legitimacy offline by using a list of crypto rules. We compare CRYLOGGER with CryptoGuard, one of the most effective static tools to detect crypto misuses. We show that our tool complements the results of CryptoGuard, making the case for combining static and dynamic approaches. We analyze 1780 popular Android apps downloaded from the Google Play Store to show that CRYLOGGER can detect crypto misuses on thousands of apps dynamically and automatically. We reverse-engineer 28 Android apps and confirm the issues flagged by CRYLOGGER. We also disclose the most critical vulnerabilities to app developers and collect their feedback.