title: Active L\'evy Matter: Anomalous Diffusion, Hydrodynamics and Linear Stability

abstract: Anomalous diffusion, manifest as a nonlinear temporal evolution of the position mean square displacement, and/or non-Gaussian features of the position statistics, is prevalent in biological transport processes. Likewise, collective behavior is often observed to emerge spontaneously from the mutual interactions between constituent motile units in biological systems. Examples where these phenomena can be observed simultaneously have been identified in recent experiments on bird flocks, fish schools and bacterial swarms. These results pose an intriguing question, which cannot be resolved by existing theories of active matter: How is the collective motion of these systems affected by the anomalous diffusion of the constituent units? Here, we answer this question for a microscopic model of active L\'evy matter -- a collection of active particles that perform superdiffusion akin to a L\'evy flight and interact by promoting polar alignment of their orientations. We present in details the derivation of the hydrodynamic equations of motion of the model, obtain from these equations the criteria for a disordered or ordered state, and apply linear stability analysis on these states at the onset of collective motion. Our analysis reveals that the disorder-order phase transition in active L\'evy matter is critical, in contrast to ordinary active fluids where the phase transition is, instead, first-order. Correspondingly, we estimate the critical exponents of the transition by finite size scaling analysis and use these numerical estimates to relate our findings to known universality classes. These results highlight the novel physics exhibited by active matter integrating both anomalous diffusive single-particle motility and inter-particle interactions.


title: The long term polarimetric variability of the strongly magnetic white dwarf Grw+70$^\circ$8247

abstract: Some of the white dwarfs exhibit among the strongest magnetic fields in the universe. Many of these degenerate magnetic stars are also rotating very slowly. Among these objects, Grw+70$^\circ$\,8247, with its century-long suspected rotation period and its 400\,MG magnetic field, stands as a particularly interesting object. Surprisingly, for this star, the first white dwarf in which a magnetic field was discovered, no spectropolarimetric observations have been discussed in the literature in the last 40 years. Here we present two sets of linear and circular polarisation spectra taken in 2015 and 2018, and we compare them with spectropolarimetric data obtained in the 1970s. Polarisation shows variability over a time interval of four decades, but some subtle changes may have been detected even over a three year time interval. Using the variation of the polarisation position angle as a proxy for the rotation of the magnetic axis in the plane of the sky, we conclude that the star's rotation period probably lies in the range of $10^2$ to $10^3$ years. Our data analysis is accompanied by a description of our various calibrations and tests of the ISIS instrument at the William Herschel Telescope that may be of general interest for linear spectropolarimetric measurements. We also found discrepancies in the sign of circular polarisation as reported in the literature, and made explicit the definitions that we have adopted.


title: On weakly reflective PF submanifolds in Hilbert spaces

abstract: A weakly reflective submanifold is a minimal submanifold of a Riemannian manifold which has a certain symmetry at each point. In this paper we introduce this notion into a class of proper Fredholm (PF) submanifolds in Hilbert spaces and show that there exist so many infinite dimensional weakly reflective PF submanifolds in Hilbert spaces. In particular each fiber of the parallel transport map is shown to be weakly reflective. These imply that in infinite dimensional Hilbert spaces there exist so many homogeneous minimal submanifolds which are not totally geodesic, unlike in the finite dimensional Euclidean case.


title: Excitation of interfacial waves via near---resonant surface---interfacial wave interactions

abstract: We consider interactions between surface and interfacial waves in the two layer system. Our approach is based on the Hamiltonian structure of the equations of motion, and includes the general procedure for diagonalization of the quadratic part of the Hamiltonian. Such diagonalization allows us to derive the interaction crossection between surface and interfacial waves and to derive the coupled kinetic equations describing spectral energy transfers in this system. Our kinetic equation allows resonant and near resonant interactions. We find that the energy transfers are dominated by the class III resonances of \cite{Alam}. We apply our formalism to calculate the rate of growth for interfacial waves for different values of the wind velocity. Using our kinetic equation, we also consider the energy transfer from the wind generated surface waves to interfacial waves for the case when the spectrum of the surface waves is given by the JONSWAP spectrum and interfacial waves are initially absent. We find that such energy transfer can occur along a timescale of hours; there is a range of wind speeds for the most effective energy transfer at approximately the wind speed corresponding to white capping of the sea. Furthermore, interfacial waves oblique to the direction of the wind are also generated.


title: Credible Interdiction for Transmission Systems

abstract: This paper presents novel formulations and algorithms for $N$-$k$ interdiction problem in transmission networks. In particular, it formulates spatial and topological resource constraints on attackers for $N$-$k$ interdiction problems and illustrates the formulation with two new classes of $N$-$k$ attacks: (i) Spatial $N$-$k$ attacks where the attack is constrained by geographic distance of a bus chosen by an attacker and (ii) Topological $N$-$k$ attacks where the attack is constrained to connected components. These two specific types of $N$-$k$ attacks compute interdiction plans designed to better model localized attacks, such as those induced by natural disasters or physical attacks. We then formulate these two resource-constrained interdiction problems as bilevel, max-min optimization problems and present a novel constraint generation algorithm to solve these formulations. Detailed case studies analyzing the behavior of spatially and topologically resource-constrained problems and comparing them to the traditional $N$-$k$ interdiction problem are also presented.


title: I2PA, U-prove, and Idemix: An Evaluation of Memory Usage and Computing Time Efficiency in an IoT Context

abstract: The Internet of Things (IoT), in spite of its innumerable advantages, brings many challenges namely issues about users' privacy preservation and constraints about lightweight cryptography. Lightweight cryptography is of capital importance since IoT devices are qualified to be resource-constrained. To address these challenges, several Attribute-Based Credentials (ABC) schemes have been designed including I2PA, U-prove, and Idemix. Even though these schemes have very strong cryptographic bases, their performance in resource-constrained devices is a question that deserves special attention. This paper aims to conduct a performance evaluation of these schemes on issuance and verification protocols regarding memory usage and computing time. Recorded results show that both I2PA and U-prove present very interesting results regarding memory usage and computing time while Idemix presents very low performance with regard to computing time.


title: A Generalized Continuous-Multinomial Response Model with a t-distributed Error Kernel

abstract: In multinomial response models, idiosyncratic variations in the indirect utility are generally modeled using Gumbel or normal distributions. This study makes a strong case to substitute these thin-tailed distributions with a t-distribution. First, we demonstrate that a model with a t-distributed error kernel better estimates and predicts preferences, especially in class-imbalanced datasets. Our proposed specification also implicitly accounts for decision-uncertainty behavior, i.e. the degree of certainty that decision-makers hold in their choices relative to the variation in the indirect utility of any alternative. Second, after applying a t-distributed error kernel in a multinomial response model for the first time, we extend this specification to a generalized continuous-multinomial (GCM) model and derive its full-information maximum likelihood estimator. The likelihood involves an open-form expression of the cumulative density function of the multivariate t-distribution, which we propose to compute using a combination of the composite marginal likelihood method and the separation-of-variables approach. Third, we establish finite sample properties of the GCM model with a t-distributed error kernel (GCM-t) and highlight its superiority over the GCM model with a normally-distributed error kernel (GCM-N) in a Monte Carlo study. Finally, we compare GCM-t and GCM-N in an empirical setting related to preferences for electric vehicles (EVs). We observe that accounting for decision-uncertainty behavior in GCM-t results in lower elasticity estimates and a higher willingness to pay for improving the EV attributes than those of the GCM-N model. These differences are relevant in making policies to expedite the adoption of EVs.


title: Classification of Existing Virtualization Methods Used in Telecommunication Networks

abstract: This article studies the existing methods of virtualization of different resources. The positive and negative aspects of each of the methods are analyzed, the perspectivity of the approach is noted. It is also made an attempt to classify virtualization methods according to the application domain, which allows us to discover the method weaknesses which are needed to be optimized.


title: Analysis of sparse grid multilevel estimators for multi-dimensional Zakai equations

abstract: In this article, we analyse the accuracy and computational complexity of estimators for expected functionals of the solution to multi-dimensional parabolic stochastic partial differential equations (SPDE) of Zakai-type. Here, we use the Milstein scheme for time integration and an alternating direction implicit (ADI) splitting of the spatial finite difference discretisation, coupled with the sparse grid combination technique and multilevel Monte Carlo sampling (MLMC). In the two-dimensional case, we find by detailed Fourier analysis that for a root-mean-square error (RMSE) $\varepsilon$, MLMC on sparse grids has the optimal complexity $O(\varepsilon^{-2})$, whereas MLMC on regular grids has $O(\varepsilon^{-2}(\log\varepsilon)^2)$, standard MC on sparse grids $O(\varepsilon^{-7/2}(|\log\varepsilon|)^{5/2})$, and MC on regular grids $O(\varepsilon^{-4})$. Numerical tests confirm these findings empirically. We give a discussion of the higher-dimensional setting without detailed proofs, which suggests that MLMC on sparse grids always leads to the optimal complexity, standard MC on sparse grids has a fixed complexity order independent of the dimension (up to a logarithmic term), whereas the cost of MLMC and MC on regular grids increases exponentially with the dimension.


title: Truxen: A Trusted Computing Enhanced Blockchain

abstract: Truxen is a Trusted Computing enhanced blockchain that uses Proof of Integrity protocol as the consensus. Proof of Integrity protocol is derived from Trusted Computing and associated Remote Attestations, that can be used to vouch a node's identity and integrity to all of the other nodes in the blockchain network. In this paper we describe how Trusted Computing and Proof of Integrity can be used to enhance blockchain in the areas of mining block, executing transaction and smart contract, protecting sensitive data. Truxen presents a Single Execution Model, that can verify and execute transaction and smart contract in a solo node, consequently enables remote calls to off-chain applications and performs in-deterministic tasks.


title: Ionization degree and magnetic diffusivity in the primordial star-forming clouds

abstract: Magnetic fields play such roles in star formation as the angular momentum transport in star-forming clouds, thereby controlling circumstellar disc formation and even binary star formation efficiency. The coupling between the magnetic field and gas is determined by the ionization degree in the gas. Here, we calculate the thermal and chemical evolution of the primordial gas by solving chemical reaction network where all the reactions are reversed. We find that at ~ 10^14-10^18 /cm^3, the ionization degree becomes 100-1000 times higher than the previous results due to the lithium ionization by thermal photons trapped in the cloud, which has been omitted so far. We construct the minimal chemical network which can reproduce correctly the ionization degree as well as the thermal evolution by extracting 36 reactions among 13 species. Using the obtained ionization degree, we evaluate the magnetic field diffusivity. We find that the field dissipation can be neglected for global fields coherent over > a tenth of the cloud size as long as the field is not so strong as to prohibit the collapse. With magnetic fields strong enough for ambipolar diffusion heating to be significant, the magnetic pressure effects to slow down the collapse and to reduce the compressional heating become more important, and the temperature actually becomes lower than in the no-field case.


title: On Resolving Non-determinism in Choreographies

abstract: Choreographies specify multiparty interactions via message passing. A realisation of a choreography is a composition of independent processes that behave as specified by the choreography. Existing relations of correctness/completeness between choreographies and realisations are based on models where choices are non-deterministic. Resolving non-deterministic choices into deterministic choices (e.g., conditional statements) is necessary to correctly characterise the relationship between choreographies and their implementations with concrete programming languages. We introduce a notion of realisability for choreographies - called whole-spectrum implementation - where choices are still non-deterministic in choreographies, but are deterministic in their implementations. Our notion of whole spectrum implementation rules out deterministic implementations of roles that, no matter which context they are placed in, will never follow one of the branches of a non-deterministic choice. We give a type discipline for checking whole-spectrum implementations. As a case study, we analyse the POP protocol under the lens of whole-spectrum implementation.


title: OCKELM+: Kernel Extreme Learning Machine based One-class Classification using Privileged Information (or KOC+: Kernel Ridge Regression or Least Square SVM with zero bias based One-class Classification using Privileged Information)

abstract: Kernel method-based one-class classifier is mainly used for outlier or novelty detection. In this letter, kernel ridge regression (KRR) based one-class classifier (KOC) has been extended for learning using privileged information (LUPI). LUPI-based KOC method is referred to as KOC+. This privileged information is available as a feature with the dataset but only for training (not for testing). KOC+ utilizes the privileged information differently compared to normal feature information by using a so-called correction function. Privileged information helps KOC+ in achieving better generalization performance which is exhibited in this letter by testing the classifiers with and without privileged information. Existing and proposed classifiers are evaluated on the datasets from UCI machine learning repository and also on MNIST dataset. Moreover, experimental results evince the advantage of KOC+ over KOC and support vector machine (SVM) based one-class classifiers.


title: A modification of Wythoff's Nim

abstract: We modify Wythoff's game by allowing an additional move, which we call a "split", and show how the $P$-positions are coded by the Tribonacci word. We analyze the table of letter positions of arbitrary $k$-bonacci words and find a $\mathrm{mex}$-rule that generates the Quadribonacci table.


title: Mechanical Interaction Between Cells Facilitates Molecular Transport

abstract: In vivo, eukaryotic cells are embedded in a matrix environment, where they grow and develop. Generally, this extracellular matrix (ECM) is an anisotropic fibrous structure, through which macromolecules and biochemical signaling molecules at the nanometer scale diffuse. The ECM is continuously remodeled by cells, via mechanical interactions, which lead to a potential link between biomechanical and biochemical cell-cell interactions. Here, we study how cell-induced forces applied on the ECM impacts the biochemical transport of molecules between distant cells. Experimentally, we observe that cells remodel the ECM by increasing fiber alignment and density of the matrix between them over time. Using random walk simulations on a 3D lattice, we implement elongated fixed obstacles that mimic the fibrous ECM structure. We measure both diffusion of a tracer molecule and the mean first-passage time a molecule secreted from one cell takes to reach another cell. Our model predicts that cell-induced remodeling can lead to a dramatic speedup in the transport of molecules between cells. Fiber alignment and densification cause reduction of the transport dimensionality from a 3D to a much more rapid 1D process. Thus, we suggest a novel mechanism of mechano-biochemical feedback in the regulation of long-range cell-cell communication.


title: Axion superradiance in rotating neutron stars

abstract: It is a well-known fact that compact gravitating objects admit bound state configurations for massive bosonic fields. In this work we describe a new class of superradiant instabilities of axion bound states in neutron star magnetospheres. The instability arises from the mixing of axion and photon modes in the magnetic field of the neutron star which extract energy from the rotating magnetosphere. Unlike for black holes, where the dissipation required for superradiance is provided by an absorbative horizon, the non-hermitian dynamics in this paper come from the resistivity in the stellar magnetosphere arising from a finite bulk conductivity. The axion field mixes with photon modes which superradiantly scatter off the magnetosphere, extracting rotational energy which is then deposited back into the axion sector leading to an instability. We derive the superradiant eigenfrequencies for the axion-photon system using quantum mechanical perturbation theory on the axion boundstate, drawing an analogy with atomic selection rules. We then compare the characteristic time scale of the instability to the spin-down measurements of pulsars which limit the allowed rate of angular momentum extraction from neutron stars.


title: I2PA : An Efficient ABC for IoT

abstract: Internet of Things (IoT) is very attractive because of its promises. However, it brings many challenges, mainly issues about privacy preserving and lightweight cryptography. Many schemes have been designed so far but none of them simultaneously takes into account these aspects. In this paper, we propose an efficient ABC scheme for IoT devices. We use ECC without pairing, blind signing and zero knowledge proof. Our scheme supports block signing, selective disclosure and randomization. It provides data minimization and transactions' unlinkability. Our construction is efficient since smaller key size can be used and computing time can be reduced. As a result, it is a suitable solution for IoT devices characterized by three major constraints namely low energy power, small storage capacity and low computing power.


title: The power word problem

abstract: In this work we introduce a new succinct variant of the word problem in a finitely generated group $G$, which we call the power word problem: the input word may contain powers $p^x$, where $p$ is a finite word over generators of $G$ and $x$ is a binary encoded integer. The power word problem is a restriction of the compressed word problem, where the input word is represented by a straight-line program (i.e., an algebraic circuit over $G$). The main result of the paper states that the power word problem for a finitely generated free group $F$ is AC$^0$-Turing-reducible to the word problem for $F$. Moreover, the following hardness result is shown: For a wreath product $G \wr \mathbb{Z}$, where $G$ is either free of rank at least two or finite non-solvable, the power word problem is complete for coNP. This contrasts with the situation where $G$ is abelian: then the power word problem is shown to be in TC$^0$.


title: Detection of Cosmic Rays from ground: an Introduction

abstract: Cosmic rays are the most outstanding example of accelerated particles. They are about 1\% of the total mass of the Universe, so that cosmic rays would represent by far the most important energy transformation process of the Universe. Despite large progresses in building new detectors and in the analysis techniques, the key questions concerning origin, acceleration and propagation of the radiation are still open. One of the reasons is that there are significant discrepancies among the different results obtained by experiments located at ground probably due to unknown systematic errors affecting the measurements. In this note we will focus on detection of Galactic CRs from ground with EAS arrays. This is not a place for a complete review of CR physics (for which we recommend, for instance \cite{spurio,gaisser,grieder,longair,kampert,blasi,kachelriess}) but only to provide elements useful to understand the basic techniques used in reconstructing primary particle characteristics (energy, mass and arrival direction) from ground, and to show why indirect measurements are difficult and results still conflicting.


title: Collapsing behavior of Ricci-flat Kahler metrics and long time solutions of the Kahler-Ricci flow

abstract: We prove a uniform diameter bound for long time solutions of the normalized Kahler-Ricci flow on an $n$-dimensional projective manifold $X$ with semi-ample canonical bundle under the assumption that the Ricci curvature is uniformly bounded for all time in a fixed domain containing a fibre of $X$ over its canonical model $X_{can}$. This assumption on the Ricci curvature always holds when the Kodaira dimension of $X$ is $n$, $n-1$ or when the general fibre of $X$ over its canonical model is a complex torus. In particular, the normalized Kahler-Ricci flow converges in Gromov-Hausdorff topolopy to its canonical model when $X$ has Kodaira dimension $1$ with $K_X$ being semi-ample and the general fibre of $X$ over its canonical model being a complex torus. We also prove the Gromov-Hausdorff limit of collapsing Ricci-flat Kahler metrics on a holomorphically fibred Calabi-Yau manifold is unique and is homeomorphic to the metric completion of the corresponding twisted Kahler-Einstein metric on the regular part of its base.


title: Blob algebra and two-color Soergel calculus

abstract: In 2003, Martin and Woodcock noticed a connection between the representation theory of the blob algebra and the Kazhdan--Lusztig polynomials associated with the infinite dihedral group. However, no conceptual explanation for this coincidence has yet been provided. In this study, a possible explanation of this phenomenon is suggested by enunciating a conjecture that relates the endomorphism algebra of Bott--Samelson bimodules to certain subalgebras of the blob algebra obtained by idempotent truncation. Evidence supporting this conjecture is provided.


title: Interface effects of strange quark matter

abstract: The interface effects play important roles for the properties of strange quark matter (SQM) and the related physical processes. We show several examples on the implications of interface effects for both stable and unstable SQM. Based on an equivparticle model and adopting mean-field approximation (MFA), the surface tension and curvature term of SQM can be obtained, which are increasing monotonically with the density of SQM at zero external pressure. For a parameter set constrained according to the 2$M_\odot$ strange star, we find the surface tension is $\sim$2.4 MeV/fm${}^2$, while it is larger for other cases.


title: The 3XMM/SDSS Stripe 82 Galaxy Cluster Survey II. X-ray and optical properties of the cluster sample

abstract: We present X-ray and optical properties of the optically confirmed galaxy cluster sample from the 3XMM/SDSS Stripe 82 cluster survey. The sample includes 54 galaxy clusters in the redshift range of 0.05-1.2, with a median redshift of 0.36. We first present the X-ray temperature and luminosity measurements that are used to investigate the X-ray luminosity-temperature relation. The slope and intercept of the relation are consistent with those published in the literature. Then, we investigate the optical properties of the cluster galaxies including their morphological analysis and the galaxy luminosity functions. The morphological content of cluster galaxies is investigated as a function of cluster mass and distance from the cluster center. No strong variation of the fraction of early and late type galaxies with cluster mass is observed. The fraction of early type galaxies as a function of cluster radius varies as expected. The individual galaxy luminosity functions (GLFs) of red sequence galaxies were studied in the five ugriz bands for 48 clusters. The GLFs were then stacked in three mass bins and two redshift bins. Twenty clusters of the present sample are studied for the first time in X-rays, and all are studied for the first time in the optical range. Altogether, our sample appears to have X-ray and optical properties typical of average cluster properties.


title: Field-Effect Controllable Metallic Josephson Interferometer

abstract: Gate-tunable Josephson junctions (JJs) are the backbone of superconducting classical and quantum computation. Typically, these systems exploit low charge concentration materials, and present technological diffculties limiting their scalability. Surprisingly, electric field modulation of supercurrent in metallic wires and JJs has been recently demonstrated. Here, we report the realization of titanium-based monolithic interferometers which allow tuning both JJs independently via voltage bias applied to capacitively-coupled electrodes. Our experiments demonstrate full control of the amplitude of the switching current (IS) and of the superconducting phase across the single JJ in a wide range of temperatures. Astoundingly, by gate-biasing a single junction the maximum achievable total IS suppresses down to values much lower than the critical current of a single JJ. A theoretical model including gate-induced phase fluctuations on a single junction accounts for our experimental findings. This class of quantum interferometers could represent a breakthrough for several applications such as digital electronics, quantum computing, sensitive magnetometry and single-photon detection.


title: Generators of Koszul homology with coefficients in a $\underline{g}$-weak complete intersection module

abstract: We discuss a class of modules, which we call $\underline{g}$-weak complete intersection modules, inspired by the weak complete intersection ideals studied by Rahmati, Striuli, and Yang and we present explicit formulas for the generators of Koszul homology with coefficients in a $\underline{g}$-weak complete intersection module. This generalizes work of Herzog and of Corso, Goto, Huneke, Polini, and Ulrich. We use these explicit formulas to study connections between $\underline{g}$-weak complete intersection ideals and weak complete intersection ideals.


title: Type $\tilde{C}$ Temperley-Lieb algebra quotients and Catalan combinatorics

abstract: We study some algebraic and combinatorial features of two algebras that arise as quotients of Temperley-Lieb algebras of type $\tilde{C}$, namely, the two-boundary Temperley-Lieb algebra and the symplectic blob algebra. We provide a monomial basis for both algebras. The elements of these bases are parameterized by certain subsets of fully commutative elements. We enumerate these elements according to their affine length.


title: MOSNet: Deep Learning based Objective Assessment for Voice Conversion

abstract: Existing objective evaluation metrics for voice conversion (VC) are not always correlated with human perception. Therefore, training VC models with such criteria may not effectively improve naturalness and similarity of converted speech. In this paper, we propose deep learning-based assessment models to predict human ratings of converted speech. We adopt the convolutional and recurrent neural network models to build a mean opinion score (MOS) predictor, termed as MOSNet. The proposed models are tested on large-scale listening test results of the Voice Conversion Challenge (VCC) 2018. Experimental results show that the predicted scores of the proposed MOSNet are highly correlated with human MOS ratings at the system level while being fairly correlated with human MOS ratings at the utterance level. Meanwhile, we have modified MOSNet to predict the similarity scores, and the preliminary results show that the predicted scores are also fairly correlated with human ratings. These results confirm that the proposed models could be used as a computational evaluator to measure the MOS of VC systems to reduce the need for expensive human rating.


title: Towards Robust Deep Reinforcement Learning for Traffic Signal Control: Demand Surges, Incidents and Sensor Failures

abstract: Reinforcement learning (RL) constitutes a promising solution for alleviating the problem of traffic congestion. In particular, deep RL algorithms have been shown to produce adaptive traffic signal controllers that outperform conventional systems. However, in order to be reliable in highly dynamic urban areas, such controllers need to be robust with the respect to a series of exogenous sources of uncertainty. In this paper, we develop an open-source callback-based framework for promoting the flexible evaluation of different deep RL configurations under a traffic simulation environment. With this framework, we investigate how deep RL-based adaptive traffic controllers perform under different scenarios, namely under demand surges caused by special events, capacity reductions from incidents and sensor failures. We extract several key insights for the development of robust deep RL algorithms for traffic control and propose concrete designs to mitigate the impact of the considered exogenous uncertainties.


title: Relaxing the $W'$ constraint on compactified extra-dimension

abstract: It has been known for some time that the inclusion of brane fluctuations, namely branons, helps in the suppression of KK-mode couplings to brane localised matter fields. In this paper we study the constraint on brane tension and compactification scale for such models using the results from the direct search of $W'$ at 13 TeV LHC, with an integrated luminosity of $36.1 fb^{-1}$, in the case for which branon forms the entire cold dark matter. Unlike the rigid brane scenario, where the compactification scale gets constrained to $\frac{1}{R} \gtrsim 5.2$ TeV, here we show that compactification scales as small as $\sim 1$ TeV are allowed for brane tensions of similar strength.


title: JGraphT -- A Java library for graph data structures and algorithms

abstract: Mathematical software and graph-theoretical algorithmic packages to efficiently model, analyze and query graphs are crucial in an era where large-scale spatial, societal and economic network data are abundantly available. One such package is JGraphT, a programming library which contains very efficient and generic graph data-structures along with a large collection of state-of-the-art algorithms. The library is written in Java with stability, interoperability and performance in mind. A distinctive feature of this library is the ability to model vertices and edges as arbitrary objects, thereby permitting natural representations of many common networks including transportation, social and biological networks. Besides classic graph algorithms such as shortest-paths and spanning-tree algorithms, the library contains numerous advanced algorithms: graph and subgraph isomorphism; matching and flow problems; approximation algorithms for NP-hard problems such as independent set and TSP; and several more exotic algorithms such as Berge graph detection. Due to its versatility and generic design, JGraphT is currently used in large-scale commercial, non-commercial and academic research projects. In this work we describe in detail the design and underlying structure of the library, and discuss its most important features and algorithms. A computational study is conducted to evaluate the performance of JGraphT versus a number of similar libraries. Experiments on a large number of graphs over a variety of popular algorithms show that JGraphT is highly competitive with other established libraries such as NetworkX or the BGL.


title: Scalable Bayesian Inference for Population Markov Jump Processes

abstract: Bayesian inference for Markov jump processes (MJPs) where available observations relate to either system states or jumps typically relies on data-augmentation Markov Chain Monte Carlo. State-of-the-art developments involve representing MJP paths with auxiliary candidate jump times that are later thinned. However, these algorithms are i) unfeasible in situations involving large or infinite capacity systems and ii) not amenable for all observation types. In this paper we establish and present a general data-augmentation framework for population MJPs based on uniformized representations of the underlying non-stationary jump processes. This leads to multiple novel MCMC samplers which enable exact (in the Monte Carlo sense) inference tasks for model parameters. We show that proposed samplers outperform existing popular approaches, and offer substantial efficiency gains in applications to partially observed stochastic epidemics, immigration processes and predator-prey dynamical systems.


title: Sesqui-Pushout Rewriting: Concurrency, Associativity and Rule Algebra Framework

abstract: Sesqui-pushout (SqPO) rewriting is a variant of transformations of graph-like and other types of structures that fit into the framework of adhesive categories where deletion in unknown context may be implemented. We provide the first account of a concurrency theorem for this important type of rewriting, and we demonstrate the additional mathematical property of a form of associativity for these theories. Associativity may then be exploited to construct so-called rule algebras (of SqPO type), based upon which in particular a universal framework of continuous-time Markov chains for stochastic SqPO rewriting systems may be realized.


title: An Extended Game-Theoretic Model for Aggregate Lane Choice Behavior of Vehicles at Traffic Diverges with a Bifurcating Lane

abstract: Road network junctions, such as merges and diverges, often act as bottlenecks that initiate and exacerbate congestion. More complex junction configurations lead to more complex driver behaviors, resulting in aggregate congestion patterns that are more difficult to predict and mitigate. In this paper, we discuss diverge configurations where vehicles on some lanes can enter only one of the downstream roads, but vehicles on other lanes can enter one of several downstream roads. Counterintuitively, these bifurcating lanes, rather than relieving congestion (by acting as a versatile resource that can serve either downstream road as the demand changes), often cause enormous congestion due to lane changing. We develop an aggregate lane--changing model for this situation that is expressive enough to model drivers' choices and the resultant congestion, but simple enough to easily analyze. We use a game-theoretic framework to model the aggregate lane choice behavior of selfish vehicles as a Wardrop equilibrium (an aggregate type of Nash equilibrium). We then establish the existence and uniqueness of this equilibrium. We explain how our model can be easily calibrated using simulation data or real data, and we present results showing that our model successfully predicts the aggregate behavior that emerges from widely-used behavioral lane-changing models. Our model's expressiveness, ease of calibration, and accuracy may make it a useful tool for mitigating congestion at these complex diverges.


title: Detection of coherent emission from the Bp star HD 142990 at uGMRT frequencies

abstract: HD 142990 is a Bp-type star with a nearly dipolar surface magnetic field of kG strength. Recently Lenc et al. (2018) reported the tentative discovery of Electron Cyclotron Maser Emission (ECME) from this star at 200 MHz. This type of emission has been observed from only three other hot magnetic stars. In this paper, we present our observations of HD 142990 with the upgraded Giant Metrewave Radio telescope (uGMRT) at 550-804 MHz and with the legacy GMRT at 1420 MHz near the rotational phases of the nulls of the longitudinal magnetic field. We found strong enhancements in flux density in both circular polarisations suggesting an ECME bandwith of at least 1.2 GHz (200-1420 MHz). In one of the observation sessions, we observed enhancements with opposite circular polarisations from the same magnetic pole. This has not been reported in any other hot magnetic star known to exhibit ECME. In order to explain this unusual finding, we suggest a scenario that involves a transition of the dominant mode of ECME between the magneto-ionic modes.


title: Scl in graphs of groups

abstract: Let G be a group acting on a tree with cyclic edge and vertex stabilizers. Then stable commutator length (scl) is rational in G. Furthermore, scl varies predictably and converges to rational limits in so-called "surgery" families. This is a homological analog of the phenomenon of geometric convergence in hyperbolic Dehn surgery.


title: Decoupled Data Based Approach for Learning to Control Nonlinear Dynamical Systems

abstract: This paper addresses the problem of learning the optimal control policy for a nonlinear stochastic dynamical system with continuous state space, continuous action space and unknown dynamics. This class of problems are typically addressed in stochastic adaptive control and reinforcement learning literature using model-based and model-free approaches respectively. Both methods rely on solving a dynamic programming problem, either directly or indirectly, for finding the optimal closed loop control policy. The inherent `curse of dimensionality' associated with dynamic programming method makes these approaches also computationally difficult. This paper proposes a novel decoupled data-based control (D2C) algorithm that addresses this problem using a decoupled, `open loop - closed loop', approach. First, an open-loop deterministic trajectory optimization problem is solved using a black-box simulation model of the dynamical system. Then, a closed loop control is developed around this open loop trajectory by linearization of the dynamics about this nominal trajectory. By virtue of linearization, a linear quadratic regulator based algorithm can be used for this closed loop control. We show that the performance of D2C algorithm is approximately optimal. Moreover, simulation performance suggests significant reduction in training time compared to other state of the art algorithms.


title: Difference Potentials Method for Models with Dynamic Boundary Conditions and Bulk-Surface Problems

abstract: In this work, we consider parabolic models with dynamic boundary conditions and parabolic bulk-surface problems in 3D. Such partial differential equations based models describe phenomena that happen both on the surface and in the bulk/domain. These problems may appear in many applications, ranging from cell dynamics in biology, to grain growth models in polycrystalline materials. Using Difference Potentials framework, we develop novel numerical algorithms for the approximation of the problems. The constructed algorithms efficiently and accurately handle the coupling of the models in the bulk and on the surface, approximate 3D irregular geometry in the bulk by the use of only Cartesian meshes, employ Fast Poisson Solvers, and utilize spectral approximation on the surface. Several numerical tests are given to illustrate the robustness of the developed numerical algorithms.


title: Special Lagrangian submanifolds of log Calabi-Yau manifolds

abstract: We study the existence of special Lagrangian submanifolds of log Calabi-Yau manifolds equipped with the complete Ricci-flat K\"ahler metric constructed by Tian-Yau. We prove that if $X$ is a Tian-Yau manifold, and if the compact Calabi-Yau manifold at infinty admits a single special Lagrangian, then $X$ admits infinitely many disjoint special Lagrangians. In complex dimension $2$, we prove that if $Y$ is a del Pezzo surface, or a rational elliptic surface, and $D\in |-K_{Y}|$ is a smooth divisor with $D^2=d$, then $X= Y\backslash D$ admits a special Lagrangian torus fibration, as conjectured by Strominger-Yau-Zaslow and Auroux. In fact, we show that $X$ admits twin special Lagrangian fibrations, confirming a prediction of Leung-Yau. In the special case that $Y$ is a rational elliptic surface, or $Y= \mathbb{P}^2$ we identify the singular fibers for generic data, thereby confirming two conjectures of Auroux. Finally, we prove that after a hyper-K\"ahler rotation, $X$ can be compactified to the complement of a Kodaira type $I_{d}$ fiber appearing as a singular fiber in a rational elliptic surface $\check{\pi}: \check{Y}\rightarrow \mathbb{P}^1$.


title: Aggregation Cross-Entropy for Sequence Recognition

abstract: In this paper, we propose a novel method, aggregation cross-entropy (ACE), for sequence recognition from a brand new perspective. The ACE loss function exhibits competitive performance to CTC and the attention mechanism, with much quicker implementation (as it involves only four fundamental formulas), faster inference\back-propagation (approximately O(1) in parallel), less storage requirement (no parameter and negligible runtime memory), and convenient employment (by replacing CTC with ACE). Furthermore, the proposed ACE loss function exhibits two noteworthy properties: (1) it can be directly applied for 2D prediction by flattening the 2D prediction into 1D prediction as the input and (2) it requires only characters and their numbers in the sequence annotation for supervision, which allows it to advance beyond sequence recognition, e.g., counting problem. The code is publicly available at https://github.com/summerlvsong/Aggregation-Cross-Entropy.


title: Information and Memory in Dynamic Resource Allocation

abstract: We propose a general framework, dubbed Stochastic Processing under Imperfect Information (SPII), to study the impact of information constraints and memories on dynamic resource allocation. The framework involves a Stochastic Processing Network (SPN) scheduling problem in which the scheduler may access the system state only through a noisy channel, and resource allocation decisions must be carried out through the interaction between an encoding policy (who observes the state) and allocation policy (who chooses the allocation). Applications in the management of large-scale data centers and human-in-the-loop service systems are among our chief motivations. We quantify the degree to which information constraints reduce the size of the capacity region in general SPNs, and how such reduction depends on the amount of memories available to the encoding and allocation policies. Using a novel metric, capacity factor, our main theorem characterizes the reduction in capacity region (under "optimal" policies) for all non-degenerate channels, and across almost all combinations of memory sizes. Notably, the theorem demonstrates, in substantial generality, that (1) the presence of a noisy channel always reduces capacity, (2) more memory for the allocation policy always improves capacity, and (3) more memory for the encoding policy has little to no effect on capacity. Finally, all of our positive (achievability) results are established through constructive, implementable policies.


title: Render4Completion: Synthesizing Multi-View Depth Maps for 3D Shape Completion

abstract: We propose a novel approach for 3D shape completion by synthesizing multi-view depth maps. While previous work for shape completion relies on volumetric representations, meshes, or point clouds, we propose to use multi-view depth maps from a set of fixed viewing angles as our shape representation. This allows us to be free of the limitations of memory for volumetric representations and point clouds by casting shape completion into an image-to-image translation problem. Specifically, we render depth maps of the incomplete shape from a fixed set of viewpoints, and perform depth map completion in each view. Different from image-to-image translation network that completes each view separately, our novel network, multi-view completion net (MVCN), leverages information from all views of a 3D shape to help the completion of each single view. This enables MVCN to leverage more information from different depth views to achieve high accuracy in single depth view completion and keep the consistency among the completed depth images in different views. Benefited by the multi-view representation and the novel network structure, MVCN significantly improves the accuracy of 3D shape completion in large-scale benchmarks compared to the state of the art.


title: Peculiarities of the Dynamics of Solar NOAA Active Region 12673

abstract: The dynamics of active region (AR) 12673 is qualitatively studied using observational data obtained with the Helioseismic and Magnetic Imager of the Solar Dynamics Observatory on August 31--September 8, 2017. This AR was remarkable for its complex structure and extraodinary flare productivity. The sunspot group in this AR consisted of (1) an old, well-developed and highly stable, coherent sunspot, which had also been observed two solar rotations earlier, and (2) a rapidly developing cluster of umbral and penumbral fragments. Cluster (2) formed two elongated, arc-shaped chains of spot elements, skirting around the major sunspot (1), with two chains of magnetic elements spatially coinciding with the arcs. AR components (1) and (2) were in relative motion, cluster (2) overtaking spot (1), and their relative velocity agrees in order of magnitude with the velocity jump over the near-surface shear layer, or leptocline. The pattern of motion of the features about the main spot bears amazing resemblance to the pattern of a fluid flow about a roundish body. This suggests that spot (1) was dynamically coupled with the surface layers, while cluster (2) developed in deeper layers of the convection zone. The magnetic-flux emergence in cluster (2) appeared to be associated with fluid motions similar to roll convection. The mutual approach of components (1) and (2) gave rise to lights bridges in the umbrae of sunspots with the magnetic field having the same sign on both sides of the bridge.


title: Relay: A High-Level Compiler for Deep Learning

abstract: Frameworks for writing, compiling, and optimizing deep learning (DL) models have recently enabled progress in areas like computer vision and natural language processing. Extending these frameworks to accommodate the rapidly diversifying landscape of DL models and hardware platforms presents challenging tradeoffs between expressivity, composability, and portability. We present Relay, a new compiler framework for DL. Relay's functional, statically typed intermediate representation (IR) unifies and generalizes existing DL IRs to express state-of-the-art models. The introduction of Relay's expressive IR requires careful design of domain-specific optimizations, addressed via Relay's extension mechanisms. Using these extension mechanisms, Relay supports a unified compiler that can target a variety of hardware platforms. Our evaluation demonstrates Relay's competitive performance for a broad class of models and devices (CPUs, GPUs, and emerging accelerators). Relay's design demonstrates how a unified IR can provide expressivity, composability, and portability without compromising performance.


title: Deep Filtering: Signal Extraction and Reconstruction Using Complex Time-Frequency Filters

abstract: Signal extraction from a single-channel mixture with additional undesired signals is most commonly performed using time-frequency (TF) masks. Typically, the mask is estimated with a deep neural network (DNN), and element-wise applied to the complex mixture short-time Fourier transform (STFT) representation to perform the extraction. Ideal mask magnitudes are zero for solely undesired signals in a TF bin and undefined for total destructive interference. Usually, masks have an upper bound to provide well-defined DNN outputs at the cost of limited extraction capabilities. We propose to estimate with a DNN a complex TF filter for each mixture TF bin which maps an STFT area in the respective mixture to the desired TF bin to address destructive interference in mixture TF bins. The DNN is optimized by minimizing the error between the extracted and the ground-truth desired signal allowing to learn the TF filters without having to specify ground-truth TF filters. We compare our approach with complex and real-valued TF masks by separating speech from a variety of different sound and noise classes from the Google AudioSet corpus. We also process the mixture STFT with notch-filters and zero whole time-frames, to simulate packet-loss during transmission, to demonstrate the reconstruction capabilities of our approach. The proposed method outperformed the baselines, especially when notch-filters and time-frame zeroing were applied.


title: Typical entanglement entropy in the presence of a center: Page curve and its variance

abstract: In a quantum system in a pure state, a subsystem generally has a nonzero entropy because of entanglement with the rest of the system. Is the average entanglement entropy of pure states also the typical entropy of the subsystem? We present a method to compute the exact formula of the momenta of the probability $P(S_A) \mathrm{d}S_A$ that a subsystem has entanglement entropy $S_A$. The method applies to subsystems defined by a subalgebra of observables with a center. In the case of a trivial center, we reobtain the well-known result for the average entropy and the formula for the variance. In the presence of a nontrivial center, the Hilbert space does not have a tensor product structure and the well-known formula does not apply. We present the exact formula for the average entanglement entropy and its variance in the presence of a center. We show that for large systems the variance is small, $\Delta S_A/\langle{S_{A}}\rangle\ll 1$, and therefore the average entanglement entropy is typical. We compare exact and numerical results for the probability distribution and comment on the relation to previous results on concentration of measure bounds. We discuss the application to physical systems where a center arises. In particular, for a system of noninteracting spins in a magnetic field and for a free quantum field, we show how the thermal entropy arises as the typical entanglement entropy of energy eigenstates.


title: Moderately ramified actions in positive characteristic

abstract: In characteristic two and dimension two, wild Z/2Z-actions on k[[u,v]] ramified precisely at the origin were classified by Artin, who showed in particular that they induce hypersurface singularities. We introduce in this article a new class of wild quotient singularities in any characteristic p>0 arising from certain non-linear actions of Z/pZ on the formal power series ring in n variables. These actions are ramified precisely at the origin, and their rings of invariants in dimension n=2 are hypersurface singularities, with an equation of a form similar to the form found by Artin when p=2. In higher dimension, the rings of invariants are not local complete intersection in general, but remain quasi-Gorenstein. We establish several structure results for such actions and their corresponding rings of invariants.


title: Precision spectroscopy of negative-ion resonances in ultralong-range Rydberg molecules

abstract: The level structure of negative-ions near the electron detachment limit dictates the low-energy scattering of an electron with the parent neutral atom. We demonstrate that a single ultracold atom bound inside a Rydberg orbit forming an ultralong-range Rydberg molecule provides an atomic-scale system which is highly sensitive to electron-neutral scattering and thus allows for detailed insights into the underlying near-threshold anion states. Our measurements reveal the so far unobserved fine structure of the $^3P_J$ triplet of Rb$^-$ and allow us to extract parameters of the associated $p$-wave scattering resonances which deviate from previous theoretical estimates. Moreover, we observe a novel alignment mechanism for Rydberg molecules mediated by spin-orbit coupling in the negative ion.


title: Traveling band formation in feedback-driven colloids

abstract: Using simulation and theory we study the dynamics of a colloidal suspension in two dimensions subject to a time-delayed repulsive feedback that depends on the positions of the colloidal particles. The colloidal particles experience an additional potential that is a superposition of repulsive potential energies centered around the positions of all the particles a delay time ago. Here we show that such a feedback leads to self-organization of the particles into traveling bands. The width of the bands and their propagation speed can be tuned by the delay time and the range of the imposed repulsive potential. The emerging traveling band behavior is observed in Brownian dynamics computer simulations as well as microscopic dynamic density functional theory (DDFT). Traveling band formation also persists in systems of finite size leading, in the case of circularly confined systems, to rotating traveling waves.


title: Hook-length formula and applications to alternating permutations

abstract: In this paper, we take interest in finding applications for a hook-length formula recently proved in (Morales Pak Panova 2016). This formula can be applied to give a non trivial relation between alternating permutations and weighted Dyck paths. First, we give an alternative proof for this result using continued fractions, and then we apply a similar reasoning to the more general case of $k$-alternating permutations.


title: Document Expansion by Query Prediction

abstract: One technique to improve the retrieval effectiveness of a search engine is to expand documents with terms that are related or representative of the documents' content.From the perspective of a question answering system, this might comprise questions the document can potentially answer. Following this observation, we propose a simple method that predicts which queries will be issued for a given document and then expands it with those predictions with a vanilla sequence-to-sequence model, trained using datasets consisting of pairs of query and relevant documents. By combining our method with a highly-effective re-ranking component, we achieve the state of the art in two retrieval tasks. In a latency-critical regime, retrieval results alone (without re-ranking) approach the effectiveness of more computationally expensive neural re-rankers but are much faster.


title: Comparison of Self-monitoring Feedback Data from Electronic Food and Nutrition Tracking Tools

abstract: Changing dietary habits and keeping food diary encourages fewer calorie consumption, and thus weight loss. Studies have shown that people who keep food diary are more successful in losing weight and keeping it off. However, no study has investigated the nutritional values produced by food journaling applications. This is crucial since keeping food diaries helps identify areas where changes needed to help user's loss weight, based on the application feedback. To achieve this, the provided data should be consistent among all applications. Otherwise, this will question the effectiveness and reliability of such tools in tracking diet and weight loss, and hence question user trust in these applications. This study characterizes the use of 4 food journaling applications to track user diet for 10 days (namely, MyFitnessPal, Lose It, FatSecret, CRONOMeter). We measured variations between the output of each application. The findings revealed an inconsistent and a variation in the output feedback given by all the 4 tools. Although some tools provided closer values, still their data were different and inconsistent. Moreover, some tools were missing essential nutritional fact data, such as sugar and fiber. We additionally compared a sample of food items common among all tools with the Swiss Food Composition Database and checked for their consistency with the same items in the database. The evaluation of the applications showed a gap in the data consistency among applications and the FCD, and questions how reliable they are for food logging and diet tracking. This study contributes to current research in health and wellbeing and can be referenced by researchers to provide deeper insights into the data consistency. Future work should examine ways to provide precise output that is common among all applications, so to guarantee the effect on weight loss.


title: Gaze Training by Modulated Dropout Improves Imitation Learning

abstract: Imitation learning by behavioral cloning is a prevalent method that has achieved some success in vision-based autonomous driving. The basic idea behind behavioral cloning is to have the neural network learn from observing a human expert's behavior. Typically, a convolutional neural network learns to predict the steering commands from raw driver-view images by mimicking the behaviors of human drivers. However, there are other cues, such as gaze behavior, available from human drivers that have yet to be exploited. Previous researches have shown that novice human learners can benefit from observing experts' gaze patterns. We present here that deep neural networks can also profit from this. We propose a method, gaze-modulated dropout, for integrating this gaze information into a deep driving network implicitly rather than as an additional input. Our experimental results demonstrate that gaze-modulated dropout enhances the generalization capability of the network to unseen scenes. Prediction error in steering commands is reduced by 23.5% compared to uniform dropout. Running closed loop in the simulator, the gaze-modulated dropout net increased the average distance travelled between infractions by 58.5%. Consistent with these results, the gaze-modulated dropout net shows lower model uncertainty.


title: Dynamic Evaluation of Transformer Language Models

abstract: This research note combines two methods that have recently improved the state of the art in language modeling: Transformers and dynamic evaluation. Transformers use stacked layers of self-attention that allow them to capture long range dependencies in sequential data. Dynamic evaluation fits models to the recent sequence history, allowing them to assign higher probabilities to re-occurring sequential patterns. By applying dynamic evaluation to Transformer-XL models, we improve the state of the art on enwik8 from 0.99 to 0.94 bits/char, text8 from 1.08 to 1.04 bits/char, and WikiText-103 from 18.3 to 16.4 perplexity points.


title: Vid2Game: Controllable Characters Extracted from Real-World Videos

abstract: We are given a video of a person performing a certain activity, from which we extract a controllable model. The model generates novel image sequences of that person, according to arbitrary user-defined control signals, typically marking the displacement of the moving body. The generated video can have an arbitrary background, and effectively capture both the dynamics and appearance of the person. The method is based on two networks. The first network maps a current pose, and a single-instance control signal to the next pose. The second network maps the current pose, the new pose, and a given background, to an output frame. Both networks include multiple novelties that enable high-quality performance. This is demonstrated on multiple characters extracted from various videos of dancers and athletes.


title: Low-Latency Graph Streaming Using Compressed Purely-Functional Trees

abstract: Due to the dynamic nature of real-world graphs, there has been a growing interest in the graph-streaming setting where a continuous stream of graph updates is mixed with arbitrary graph queries. In principle, purely-functional trees are an ideal choice for this setting due as they enable safe parallelism, lightweight snapshots, and strict serializability for queries. However, directly using them for graph processing would lead to significant space overhead and poor cache locality. This paper presents C-trees, a compressed purely-functional search tree data structure that significantly improves on the space usage and locality of purely-functional trees. The key idea is to use a chunking technique over trees in order to store multiple entries per tree-node. We design theoretically-efficient and practical algorithms for performing batch updates to C-trees, and also show that we can store massive dynamic real-world graphs using only a few bytes per edge, thereby achieving space usage close to that of the best static graph processing frameworks. To study the efficiency and applicability of our data structure, we designed Aspen, a graph-streaming framework that extends the interface of Ligra with operations for updating graphs. We show that Aspen is faster than two state-of-the-art graph-streaming systems, Stinger and LLAMA, while requiring less memory, and is competitive in performance with the state-of-the-art static graph frameworks, Galois, GAP, and Ligra+. With Aspen, we are able to efficiently process the largest publicly-available graph with over two hundred billion edges in the graph-streaming setting using a single commodity multicore server with 1TB of memory.


title: Remarks on the preservation of no-signaling principle in parity-time-symmetric quantum mechanics

abstract: Working within the framework of parity-time-symmetric quantum mechanics we look into the possibility of entanglement generation and demonstrate that the feature of non-violation of no-signaling principle may hold for the simplest non-trivial case of bipartite systems. Basically our arguments are based on the computation of the reduced density matrix of one party to justify that the entropy of the other does not change.


title: A Faster Local Algorithm for Detecting Bounded-Size Cuts with Applications to Higher-Connectivity Problems

abstract: Consider the following "local" cut-detection problem in a directed graph: We are given a starting vertex $s$ and need to detect whether there is a cut with at most $k$ edges crossing the cut such that the side of the cut containing $s$ has at most $\Delta$ interior edges. If we are given query access to the input graph, then this problem can in principle be solved in sublinear time without reading the whole graph and with query complexity depending on $k$ and $\Delta$. We design an elegant randomized procedure that solves a slack variant of this problem with $O(k^2 \Delta)$ queries, improving in particular a previous bound of $O((2(k+1))^{k+2} \Delta)$ by Chechik et al. [SODA 2017]. In this slack variant, the procedure must successfully detect a component containing $s$ with at most $k$ outgoing edges and $\Delta$ interior edges if such a component exists, but the component it actually detects may have up to $O(k \Delta)$ interior edges. Besides being of interest on its own, such cut-detection procedures have been used in many algorithmic applications for higher-connectivity problems. Our new cut-detection procedure therefore almost readily implies (1) a faster vertex connectivity algorithm which in particular has nearly linear running time for polylogarithmic value of the vertex connectivity, (2) a faster algorithm for computing the maximal $k$-edge connected subgraphs, and (3) faster property testing algorithms for higher edge and vertex connectivity, which resolves two open problems, one by Goldreich and Ron [STOC '97] and one by Orenstein and Ron [TCS 2011].


title: Decrypting SSL/TLS traffic for hidden threats detection

abstract: The paper presents an analysis of the main mechanisms of decryption of SSL/TLS traffic. Methods and technologies for detecting malicious activity in encrypted traffic that are used by leading companies are also considered. Also, the approach for intercepting and decrypting traffic transmitted over SSL/TLS is developed, tested and proposed. The developed approach has been automated and can be used for remote listening of the network, which will allow to decrypt transmitted data in a mode close to real time.


title: Use of Approaches to the Methodology of Factor Analysis of Information Risks for the Quantitative Assessment of Information Risks Based on the Formation of Cause-And-Effect Links

abstract: The paper suggests methods to the assessment of information risks, which makes the transition from a qualitative assessment of information risks (according to the factor analysis of information risks methodology) to a quantitative assessment. The development factor analysis of information risks methodology of the methodology was carried out using the mathematical apparatus of probability theory, namely Bayesian networks. A comparative analysis of the standard factor analysis of information risks methodology and the developed methodology using statistical data was carried out. During the analysis, the cause and effect relationships of the confidentiality violation have been formed, defined and given in the corresponding table and in the form of the Ishikawa diagram. As an example, it was calculated the amount of risk the company may be exposed to in case of violation of information confidentiality according to the standard factor analysis of information risks methodology and the developed methodology. It is shown that the use of proposed technique allows quantifying the risk assessment that can be obtained using the factor analysis of information risks methodology.


title: On regularity of the Euler equations in fluid dynamics

abstract: We assert that the solutions to the Cauchy problem of the inviscid vorticity equation remain regular and unique for any smooth initial data of finite energy. However, the primitive formulation of the Euler equations is not well-posed, due to the passive pressure. One of the implications is that the anomalous energy dissipation, anticipated by Onsager (1949), cannot occur in inviscid flows. In the complete absence of viscous effects, the ultimate accumulation of enstrophy in sealed domains is bound to become arbitrarily excessive, if there is a sustained supply of shears and strains.


title: Casting Light on Invisible Cities: Computationally Engaging with Literary Criticism

abstract: Literary critics often attempt to uncover meaning in a single work of literature through careful reading and analysis. Applying natural language processing methods to aid in such literary analyses remains a challenge in digital humanities. While most previous work focuses on "distant reading" by algorithmically discovering high-level patterns from large collections of literary works, here we sharpen the focus of our methods to a single literary theory about Italo Calvino's postmodern novel Invisible Cities, which consists of 55 short descriptions of imaginary cities. Calvino has provided a classification of these cities into eleven thematic groups, but literary scholars disagree as to how trustworthy his categorization is. Due to the unique structure of this novel, we can computationally weigh in on this debate: we leverage pretrained contextualized representations to embed each city's description and use unsupervised methods to cluster these embeddings. Additionally, we compare results of our computational approach to similarity judgments generated by human readers. Our work is a first step towards incorporating natural language processing into literary criticism.


title: Steady filtration of Peng-Robinson gas in a porous medium

abstract: Filtration of real gases described by Peng-Robinson equations of state in 3-dimensional space is studied. Thermodynamic states are considered as either Legendrian submanifolds in contact space, or Lagrangian submanifolds in symplectic space. The correspondence between singularities of their projection on the plane of intensives and phase transitions is shown, and coexistence curves in various coordinates are constructed. A method of finding explicit solutions of the Dirichlet boundary problem is provided and the case of a number of sources is discussed in details. The domains corresponding to different phases are shown.


title: Dynamical spin-orbit coupling of a quantum gas

abstract: We realize the dynamical 1D spin-orbit-coupling (SOC) of a Bose-Einstein condensate confined within an optical cavity. The SOC emerges through spin-correlated momentum impulses delivered to the atoms via Raman transitions. These are effected by classical pump fields acting in concert with the quantum dynamical cavity field. Above a critical pump power, the Raman coupling emerges as the atoms superradiantly populate the cavity mode with photons. Concomitantly, these photons cause a back-action onto the atoms, forcing them to order their spin-spatial state. This SOC-inducing superradiant Dicke phase transition results in a spinor-helix polariton condensate. We observe emergent SOC through spin-resolved atomic momentum imaging. Dynamical SOC in quantum gas cavity QED, and the extension to dynamical gauge fields, may enable the creation of Meissner-like effects, topological superfluids, and exotic quantum Hall states in coupled light-matter systems.


title: Causality, unitarity thresholds, anomalous thresholds and infrared singularities from the loop-tree duality at higher orders

abstract: We present the first comprehensive analysis of the unitarity thresholds and anomalous thresholds of scattering amplitudes at two loops and beyond based on the loop-tree duality, and show how non-causal unphysical thresholds are locally cancelled in an efficient way when the forest of all the dual on-shell cuts is considered as one. We also prove that soft and collinear singularities at two loops and beyond are restricted to a compact region of the loop three-momenta, which is a necessary condition for implementing a local cancellation of loop infrared singularities with the ones appearing in real emission; without relying on a subtraction formalism.


title: Recovering Thermodynamics from Spectral Profiles observed by IRIS: A Machine and Deep Learning Approach

abstract: Inversion codes allow reconstructing a model atmosphere from observations. With the inclusion of optically thick lines that form in the solar chromosphere, such modelling is computationally very expensive because a non-LTE evaluation of the radiation field is required. In this study, we combine the results provided by these traditional methods with machine and deep learning techniques to obtain similar-quality results in an easy-touse, much faster way. We have applied these new methods to Mg II h&k lines observed by IRIS. As a result, we are able to reconstruct the thermodynamic state (temperature, line-of-sight velocity, non-thermal velocities, electron density, etc.) in the chromosphere and upper photosphere of an area equivalent to an active region in a few CPU minutes, speeding up the process by a factor of $10^5$-$10^6$. The open-source code accompanying this paper will allow the community to use IRIS observations to open a new window to a host of solar phenomena.


title: Samplers and Extractors for Unbounded Functions

abstract: Blasiok (SODA'18) recently introduced the notion of a subgaussian sampler, defined as an averaging sampler for approximating the mean of functions $f:\{0,1\}^m \to \mathbb{R}$ such that $f(U_m)$ has subgaussian tails, and asked for explicit constructions. In this work, we give the first explicit constructions of subgaussian samplers (and in fact averaging samplers for the broader class of subexponential functions) that match the best-known constructions of averaging samplers for $[0,1]$-bounded functions in the regime of parameters where the approximation error $\varepsilon$ and failure probability $\delta$ are subconstant. Our constructions are established via an extension of the standard notion of randomness extractor (Nisan and Zuckerman, JCSS'96) where the error is measured by an arbitrary divergence rather than total variation distance, and a generalization of Zuckerman's equivalence (Random Struct. Alg.'97) between extractors and samplers. We believe that the framework we develop, and specifically the notion of an extractor for the Kullback-Leibler (KL) divergence, are of independent interest. In particular, KL-extractors are stronger than both standard extractors and subgaussian samplers, but we show that they exist with essentially the same parameters (constructively and non-constructively) as standard extractors.


title: Do Truly Unidirectional Surface Plasmon-Polaritons Exist?

abstract: In this work, we revisit the topic of surface waves on nonreciprocal plasmonic structures, and clarify whether strictly unidirectional surface plasmon-polaritons are allowed to exist in this material platform. By investigating different three-dimensional configurations and frequency regimes, we theoretically show that, while conventional surface magneto-plasmons are not strictly unidirectional due to nonlocal effects, consistent with recent predictions made in the literature, another important class of one-way surface plasmon-polaritons, existing at an interface with an opaque isotropic material, robustly preserve their unidirectionality even in the presence of nonlocality, and for arbitrarily-small levels of dissipation. We also investigate the extreme behavior of terminated unidirectional wave-guiding structures, for both classes of surface waves, and discuss their counter-intuitive implications.


title: High-angular resolution electron backscatter diffraction as a new tool for mapping lattice distortion in geological minerals

abstract: Analysis of distortions of the crystal lattice within individual mineral grains is central to the investigation of microscale processes that control and record tectonic events. These distortions are generally combinations of lattice rotations and elastic strains, but a lack of suitable observational techniques has prevented these components being mapped simultaneously and routinely in earth science laboratories. However, the technique of high-angular resolution electron backscatter diffraction (HR-EBSD) provides the opportunity to simultaneously map lattice rotations and elastic strains with exceptional precision, on the order of 0.01 degree for rotations and 10-4 in strain, using a scanning electron microscope. Importantly, these rotations and lattice strains relate to densities of geometrically necessary dislocations and residual stresses. Recent works have begun to apply and adapt HR-EBSD to geological minerals, highlighting the potential of the technique to provide new insights into the microphysics of rock deformation. Therefore, the purpose of this overview is to provide a summary of the technique, to identify caveats and targets for further development, and to suggest areas where it offers potential for major advances. In particular, HREBSD is well suited to characterising the roles of different dislocation types during crystal plastic deformation and to mapping heterogeneous internal stress fields associated with specific deformation mechanisms/microstructures or changes in temperature, confining pressure, or applied deviatoric stress. These capabilities make HR-EBSD a particularly powerful new technique for analysing the microstructures of deformed geological materials.


title: The current state of affairs in 5G security and the main remaining security challenges

abstract: The first release of the 5G protocol specifications, 3rd Generation Partnership Project (3GPP) Release 15, were published in December 2017 and the first 5G protocol security specifications in March 2018. As one of the technology cornerstones for Vehicle-to-Vehicle (V2X), Vehicle-to-Everything (V2E) systems and other critical systems, 5G defines some strict communication goals, such as massive device connectivity, sub-10ms latency and ultra high bit-rate. Likewise, given the firm security requirements of certain critical applications expected to be deployed on this new cellular communications standard, 5G defines important security goals. As such, 5G networks are intended to address known protocol vulnerabilities present in both legacy GSM (Global System for Mobile Communications) networks as well as current LTE (Long Term Evolution) mobile systems. This manuscript presents a summary and analysis of the current state of affairs in 5G protocol security, discussing the main areas that should still be improved further before 5G systems go live. Although the 5G security standard documents were released just a year ago, there is a number of research papers detailing security vulnerabilities, which are summarized in this manuscript as well.


title: A formulation of the relaxation phenomenon for lane changing dynamics in an arbitrary car following model

abstract: Lane changing dynamics are an important part of traffic microsimulation and are vital for modeling weaving sections and merge bottlenecks. However, there is often much more emphasis placed on car following and gap acceptance models, whereas lane changing dynamics such as tactical, cooperation, and relaxation models receive comparatively little attention. This paper develops a general relaxation model which can be applied to an arbitrary parametric or nonparametric microsimulation model. The relaxation model modifies car following dynamics after a lane change, when vehicles can be far from equilibrium. Relaxation prevents car following models from reacting too strongly to the changes in space headway caused by lane changing, leading to more accurate and realistic simulated trajectories. We also show that relaxation is necessary for correctly simulating traffic breakdown with realistic values of capacity drop.


title: Process of image super-resolution

abstract: In this paper we explain a process of super-resolution reconstruction allowing to increase the resolution of an image.The need for high-resolution digital images exists in diverse domains, for example the medical and spatial domains. The obtaining of high-resolution digital images can be made at the time of the shooting, but it is often synonymic of important costs because of the necessary material to avoid such costs, it is known how to use methods of super-resolution reconstruction, consisting from one or several low resolution images to obtain a high-resolution image. The american patent US 9208537 describes such an algorithm. A zone of one low-resolution image is isolated and categorized according to the information contained in pixels forming the borders of the zone. The category of it zone determines the type of interpolation used to add pixels in aforementioned zone, to increase the neatness of the images. It is also known how to reconstruct a low-resolution image there high-resolution image by using a model of super-resolution reconstruction whose learning is based on networks of neurons and on image or a picture library. The demand of chinese patent CN 107563965 and the scientist publication "Pixel Recursive Super Resolution", R. Dahl, M. Norouzi, J. Shlens propose such methods. The aim of this paper is to demonstrate that it is possible to reconstruct coherent human faces from very degraded pixelated images with a very fast algorithm, more faster than compressed sensing (CS), easier to compute and without deep learning, so without important technology resources, i.e. a large database of thousands training images (see arXiv:2003.13063). This technological breakthrough has been patented in 2018 with the demand of French patent FR 1855485 (https://patents.google.com/patent/FR3082980A1, see the HAL reference https://hal.archives-ouvertes.fr/hal-01875898v1).


title: SACOBRA with Online Whitening for Solving Optimization Problems with High Conditioning

abstract: Real-world optimization problems often have expensive objective functions in terms of cost and time. It is desirable to find near-optimal solutions with very few function evaluations. Surrogate-assisted optimizers tend to reduce the required number of function evaluations by replacing the real function with an efficient mathematical model built on few evaluated points. Problems with a high condition number are a challenge for many surrogate-assisted optimizers including SACOBRA. To address such problems we propose a new online whitening operating in the black-box optimization paradigm. We show on a set of high-conditioning functions that online whitening tackles SACOBRA's early stagnation issue and reduces the optimization error by a factor between 10 to 1e12 as compared to the plain SACOBRA, though it imposes many extra function evaluations. Covariance matrix adaptation evolution strategy (CMA-ES) has for very high numbers of function evaluations even lower errors, whereas SACOBRA performs better in the expensive setting (less than 1e03 function evaluations). If we count all parallelizable function evaluations (population evaluation in CMA-ES, online whitening in our approach) as one iteration, then both algorithms have comparable strength even on the long run. This holds for problems with dimension D <= 20.


title: DocBERT: BERT for Document Classification

abstract: We present, to our knowledge, the first application of BERT to document classification. A few characteristics of the task might lead one to think that BERT is not the most appropriate model: syntactic structures matter less for content categories, documents can often be longer than typical BERT input, and documents often have multiple labels. Nevertheless, we show that a straightforward classification model using BERT is able to achieve the state of the art across four popular datasets. To address the computational expense associated with BERT inference, we distill knowledge from BERT-large to small bidirectional LSTMs, reaching BERT-base parity on multiple datasets using 30x fewer parameters. The primary contribution of our paper is improved baselines that can provide the foundation for future work.


title: Update on the b->s anomalies

abstract: We present a brief update of our model-independent analyses of the b->s data presented in the articles published in Phys. Rev. D96 (2017) 095034 and Phys. Rev. D98 (2018) 095027 based on new data on R_K by LHCb, on R_{K^*} by Belle, and on B_{s,d}-> mu^+ mu^- by ATLAS.


title: Galaxy mass profiles from strong lensing I: The circular power-law model

abstract: In this series of papers we develop a formalism for constraining mass profiles in strong gravitational lenses with extended images, using fluxes in addition to positional information. We start in this paper with a circular power-law profile and show that the slope $\gamma$ is uniquely determined by only two observables: the flux ratio $f_1/f_2$ and the image position ratio $\theta_1/\theta_2$ of the two images. We derive an analytic expression relating these two observables to the slope, a result which does not depend on the Einstein angle or the structure or brightness of the source. We then find an expression for the uncertainty on the slope $\sigma_\gamma$ that depends only on the position ratio $\theta_1/\theta_2$ and the total S/N in the images. For example, in a system with position ratio $\theta_1/\theta_2=0.5$, S/N $=100$ and $\gamma=2$ we find that $\gamma$ is constrained to a precision of $\pm0.03$. We then test these results against a series of mock observations. We invert the images and fit an 11 parameter model, including ellipticity and position angle for both lens and source and measure the uncertainty on $\gamma$. We find agreement with the theoretical estimate for all mock observations. In future papers we will examine the radial range of the galaxy over which the constraint on the slope applies, and extend the analysis to elliptical lenses.


title: Complete convergence theorem for a two-level contact process

abstract: We study a two-level contact process. We think of fleas living on a species of animals. The animals are a supercritical contact process in $\mathbb{Z}^d$. The contact process acts as the random environment for the fleas. The fleas do not affect the animals, give birth at rate $\mu$ when they are living on a host animal, and die at rate $\delta$ when they do not have a host animal. The main result is that if the contact process is supercritical and the fleas survive then the complete convergence theorem holds. This is done using a block construction so as a corollary we conclude that the fleas die out at their critical value.


title: Re-pairing brackets

abstract: Consider the following one-player game. Take a well-formed sequence of opening and closing brackets. As a move, the player can pair any opening bracket with any closing bracket to its right, erasing them. The goal is to re-pair (erase) the entire sequence, and the complexity of a strategy is measured by its width: the maximum number of nonempty segments of symbols (separated by blank space) seen during the play. For various initial sequences, we prove upper and lower bounds on the minimum width sufficient for re-pairing. (In particular, the sequence associated with the complete binary tree of height $n$ admits a strategy of width sub-exponential in $\log n$.) Our two key contributions are (1) lower bounds on the width and (2) their application in automata theory: quasi-polynomial lower bounds on the translation from one-counter automata to Parikh-equivalent nondeterministic finite automata. The latter result answers a question by Atig et al. (2016).


title: Round robin differential phase shift quantum key distribution with yes-no detectors only

abstract: In the original round-robin differential-phase-shift (RRDPS) quantum key distribution and its improved method, the photon-number-resolving detectors are must for the security. We present a RRDPS protocol with yes-no detectors only. We get the upper bounds of mutual information of Alice and Eve, and Bob and Eve, and the formula of key rate. Our main idea is to divide all counts into two classes, the counts due to the odd number photons of incident detectors and the counts due to the even number photons of incident detectors. The fact that the bit-flip error rate of the later class is certainly $50\%$ makes it possible for us to perform a tightened estimation of the upper bound of the leakage information. The robustness of original RRDPS against source flaws such as side-channel attacks still holds for the RRDPS with yes-no detectors. The simulation results show that the key rate of RRDPS with yes-no detectors is close to that of RRDPS with photon-number-resolving detectors. Our results make the RRDPS protocol much more practical.


title: Renormalization properties of a Galilean Wess-Zumino model

abstract: We consider a Galilean N=2 supersymmetric theory in 2+1 dimensions with F-term couplings, obtained by null reduction of a relativistic Wess-Zumino model. We compute quantum corrections and we check that, as for the relativistic parent theory, the F-term does not receive quantum corrections. Even more, we find evidence that the causal structure of the non-relativistic dynamics together with particle number conservation constrain the theory to be one-loop exact.


title: Event-based Vision: A Survey

abstract: Event cameras are bio-inspired sensors that differ from conventional frame cameras: Instead of capturing images at a fixed rate, they asynchronously measure per-pixel brightness changes, and output a stream of events that encode the time, location and sign of the brightness changes. Event cameras offer attractive properties compared to traditional cameras: high temporal resolution (in the order of microseconds), very high dynamic range (140 dB vs. 60 dB), low power consumption, and high pixel bandwidth (on the order of kHz) resulting in reduced motion blur. Hence, event cameras have a large potential for robotics and computer vision in challenging scenarios for traditional cameras, such as low-latency, high speed, and high dynamic range. However, novel methods are required to process the unconventional output of these sensors in order to unlock their potential. This paper provides a comprehensive overview of the emerging field of event-based vision, with a focus on the applications and the algorithms developed to unlock the outstanding properties of event cameras. We present event cameras from their working principle, the actual sensors that are available and the tasks that they have been used for, from low-level vision (feature detection and tracking, optic flow, etc.) to high-level vision (reconstruction, segmentation, recognition). We also discuss the techniques developed to process events, including learning-based techniques, as well as specialized processors for these novel sensors, such as spiking neural networks. Additionally, we highlight the challenges that remain to be tackled and the opportunities that lie ahead in the search for a more efficient, bio-inspired way for machines to perceive and interact with the world.


title: Revealing the differences in the SMBH accretion rate distributions of starburst and non-starburst galaxies

abstract: We infer and compare the specific X-ray luminosity distributions for a sample of massive (i.e. $\log_{10} (M*/M\odot) > 10.5$) galaxies split according to their far-infrared-derived star-forming properties (i.e., starburst and non-starburst) and redshift. We model each distribution as a power-law with an upper and lower turnover, and adopt a maximum likelihood method to include information from non-detections in the form of upper limits. When we use our inferred distributions to calculate the ratios of high to low sLx AGN (corresponding to above and below $0.1\lambda_{\text{Edd}}$, respectively) we find that starbursts have significantly higher proportions of high sLx AGN compared to their non-starburst counterparts. These findings help explain the increase in average X-ray luminosity in bins of increasing SFR reported by previous studies.


title: BMO Solvability and Absolute Continuity of Caloric Measure

abstract: We show that BMO-solvability implies scale invariant quantitative absolute continuity (specifically, the weak-$A_\infty$ property) of caloric measure with respect to surface measure, for an open set $\Omega \subset \mathbb{R}^{n+1}$, assuming as a background hypothesis only that the essential boundary of $\Omega$ satisfies an appropriate parabolic version of Ahlfors-David regularity, entailing some backwards in time thickness. Since the weak-$A_\infty$ property of the caloric measure is equivalent to $L^p$ solvability of the initial-Dirichlet problem, we may then deduce that $BMO$-solvability implies $L^p$ solvability for some finite $p$.


title: Fast object detection in compressed JPEG Images

abstract: Object detection in still images has drawn a lot of attention over past few years, and with the advent of Deep Learning impressive performances have been achieved with numerous industrial applications. Most of these deep learning models rely on RGB images to localize and identify objects in the image. However in some application scenarii, images are compressed either for storage savings or fast transmission. Therefore a time consuming image decompression step is compulsory in order to apply the aforementioned deep models. To alleviate this drawback, we propose a fast deep architecture for object detection in JPEG images, one of the most widespread compression format. We train a neural network to detect objects based on the blockwise DCT (discrete cosine transform) coefficients {issued from} the JPEG compression algorithm. We modify the well-known Single Shot multibox Detector (SSD) by replacing its first layers with one convolutional layer dedicated to process the DCT inputs. Experimental evaluations on PASCAL VOC and industrial dataset comprising images of road traffic surveillance show that the model is about $2\times$ faster than regular SSD with promising detection performances. To the best of our knowledge, this paper is the first to address detection in compressed JPEG images.


title: Initial operation of the recoil mass spectrometer EMMA at the ISAC-II facility of TRIUMF

abstract: The Electromagnetic Mass Analyser (EMMA) is a new vacuum-mode recoil mass spectrometer currently undergoing the final stages of commissioning at the ISAC-II facility of TRIUMF. EMMA employs a symmetric configuration of electrostatic and magnetic deflectors to separate the products of nuclear reactions from the beam, focus them in both energy and angle, and disperse them in a focal plane according to their mass/charge (m/q) ratios. The spectrometer was designed to accommodate the gamma-ray detector array TIGRESS around the target position in order to provide spectroscopic information from electromagnetic transitions. EMMA is intended to be used in the measurement of fusion evaporation, radiative capture, and transfer reactions for the study of nuclear structure and astrophysics. Its complement of focal plane detectors facilitates the identification of recoiling nuclei and subsequent recoil decay spectroscopy. Here we describe the facility and report on commissioning efforts.


title: Neural Painters: A learned differentiable constraint for generating brushstroke paintings

abstract: We explore neural painters, a generative model for brushstrokes learned from a real non-differentiable and non-deterministic painting program. We show that when training an agent to "paint" images using brushstrokes, using a differentiable neural painter leads to much faster convergence. We propose a method for encouraging this agent to follow human-like strokes when reconstructing digits. We also explore the use of a neural painter as a differentiable image parameterization. By directly optimizing brushstrokes to activate neurons in a pre-trained convolutional network, we can directly visualize ImageNet categories and generate "ideal" paintings of each class. Finally, we present a new concept called intrinsic style transfer. By minimizing only the content loss from neural style transfer, we allow the artistic medium, in this case, brushstrokes, to naturally dictate the resulting style.


title: Identifying variations of magnetic anomalies using geomagnetic monitoring

abstract: We are concerned with the inverse problem of identifying magnetic anomalies with varing parameters beneath the Earth using geomagnetic monitoring. Observations of the change in Earth's magnetic field--the secular variation--provide information about the anomalies as well as their variations. In this paper, we rigorously establish the unique recovery results for this magnetic anomaly detection problem. We show that one can uniquely recover the locations, the variation parameters including the growth or decaying rates as well as their material parameters of the anomalies. This paper extends the existing results in [8] by two of the authors to varying anomalies.


title: SCE: A manifold regularized set-covering method for data partitioning

abstract: Cluster analysis plays a very important role in data analysis. In these years, cluster ensemble, as a cluster analysis tool, has drawn much attention for its robustness, stability, and accuracy. Many efforts have been done to combine different initial clustering results into a single clustering solution with better performance. However, they neglect the structure information of the raw data in performing the cluster ensemble. In this paper, we propose a Structural Cluster Ensemble (SCE) algorithm for data partitioning formulated as a set-covering problem. In particular, we construct a Laplacian regularized objective function to capture the structure information among clusters. Moreover, considering the importance of the discriminative information underlying in the initial clustering results, we add a discriminative constraint into our proposed objective function. Finally, we verify the performance of the SCE algorithm on both synthetic and real data sets. The experimental results show the effectiveness of our proposed method SCE algorithm.


title: A Categorical Approach to L-Convexity

abstract: We investigate an enriched-categorical approach to a field of discrete mathematics. The main result is a duality theorem between a class of enriched categories (called $\overline{\mathbb{Z}}$- or $\overline{\mathbb{R}}$-categories) and that of what we call ($\overline{\mathbb{Z}}$- or $\overline{\mathbb{R}}$-) extended L-convex sets. We introduce extended L-convex sets as variants of certain discrete structures called L-convex sets and L-convex polyhedra, studied in the field of discrete convex analysis. We also introduce homomorphisms between extended L-convex sets. The theorem claims that there is a one to one correspondence (up to isomorphism) between two classes. The thesis also contains an introductory chapter on enriched categories and no categorical knowledge is assumed.


title: 2D Car Detection in Radar Data with PointNets

abstract: For many automated driving functions, a highly accurate perception of the vehicle environment is a crucial prerequisite. Modern high-resolution radar sensors generate multiple radar targets per object, which makes these sensors particularly suitable for the 2D object detection task. This work presents an approach to detect 2D objects solely depending on sparse radar data using PointNets. In literature, only methods are presented so far which perform either object classification or bounding box estimation for objects. In contrast, this method facilitates a classification together with a bounding box estimation of objects using a single radar sensor. To this end, PointNets are adjusted for radar data performing 2D object classification with segmentation, and 2D bounding box regression in order to estimate an amodal 2D bounding box. The algorithm is evaluated using an automatically created dataset which consist of various realistic driving maneuvers. The results show the great potential of object detection in high-resolution radar data using PointNets.