title: Molecule Attention Transformer

abstract: Designing a single neural network architecture that performs competitively across a range of molecule property prediction tasks remains largely an open challenge, and its solution may unlock a widespread use of deep learning in the drug discovery industry. To move towards this goal, we propose Molecule Attention Transformer (MAT). Our key innovation is to augment the attention mechanism in Transformer using inter-atomic distances and the molecular graph structure. Experiments show that MAT performs competitively on a diverse set of molecular prediction tasks. Most importantly, with a simple self-supervised pretraining, MAT requires tuning of only a few hyperparameter values to achieve state-of-the-art performance on downstream tasks. Finally, we show that attention weights learned by MAT are interpretable from the chemical point of view.


title: Absence of a resolution limit in in-block nestedness

abstract: Originally a speculative pattern in ecological networks, the hybrid or compound nested-modular pattern has been confirmed, during the last decade, as a relevant structural arrangement that emerges in a variety of contexts --in ecological mutualistic system and beyond. This implies shifting the focus from the measurement of nestedness as a global property (macro level), to the detection of blocks (meso level) that internally exhibit a high degree of nestedness. Unfortunately, the availability and understanding of the methods to properly detect in-block nested partitions lie behind the empirical findings: while a precise quality function of in-block nestedness has been proposed, we lack an understanding of its possible inherent constraints. Specifically, while it is well known that Newman-Girvan's modularity, and related quality functions, notoriously suffer from a resolution limit that impairs their ability to detect small blocks, the potential existence of resolution limits for in-block nestedness is unexplored. Here, we provide empirical, numerical and analytical evidence that the in-block nestedness function lacks a resolution limit, and thus our capacity to detect correct partitions in networks via its maximization depends solely on the accuracy of the optimization algorithms.

categories: q-bio.QM cs.SI physics.data-an physics.soc-ph


title: Manipulation of coupling and magnon transport in magnetic metal-insulator hybrid structures

abstract: Ferromagnetic metals and insulators are widely used for generation, control and detection of magnon spin signals. Most magnonic structures are based primarily on either magnetic insulators or ferromagnetic metals, while heterostructures integrating both of them are less explored. Here, by introducing a Pt/yttrium iron garnet (YIG)/permalloy (Py) hybrid structure grown on Si substrate, we studied the magnetic coupling and magnon transmission across the interface of the two magnetic layers. We found that within this structure, Py and YIG exhibit an antiferromagnetic coupling field as strong as 150 mT, as evidenced by both the vibrating-sample magnetometry and polarized neutron reflectometry measurements. By controlling individual layer thicknesses and external fields, we realize parallel and antiparallel magnetization configurations, which are further utilized to control the magnon current transmission. We show that a magnon spin valve with an ON/OFF ratio of ~130% can be realized out of this multilayer structure at room temperature through both spin pumping and spin Seebeck effect experiments. Thanks to the efficient control of magnon current and the compatibility with Si technology, the Pt/YIG/Py hybrid structure could potentially find applications in magnon-based logic and memory devices.


title: Multilogue-Net: A Context Aware RNN for Multi-modal Emotion Detection and Sentiment Analysis in Conversation

abstract: Sentiment Analysis and Emotion Detection in conversation is key in several real-world applications, with an increase in modalities available aiding a better understanding of the underlying emotions. Multi-modal Emotion Detection and Sentiment Analysis can be particularly useful, as applications will be able to use specific subsets of available modalities, as per the available data. Current systems dealing with Multi-modal functionality fail to leverage and capture - the context of the conversation through all modalities, the dependency between the listener(s) and speaker emotional states, and the relevance and relationship between the available modalities. In this paper, we propose an end to end RNN architecture that attempts to take into account all the mentioned drawbacks. Our proposed model, at the time of writing, out-performs the state of the art on a benchmark dataset on a variety of accuracy and regression metrics.


title: Wind nebulae and supernova remnants of very massive stars

abstract: A very small fraction of (runaway) massive stars have masses exceeding $60$-$70\, \rm M_{\odot}$ and are predicted to evolve as Luminous-Blue-Variable and Wolf-Rayet stars before ending their lives as core-collapse supernovae. Our 2D axisymmetric hydrodynamical simulations explore how a fast wind ($2000\, \rm km\, \rm s^{-1}$) and high mass-loss rate ($10^{-5}\, \rm M_{\odot}\, \rm yr^{-1}$) can impact the morphology of the circumstellar medium. It is shaped as 100 pc-scale wind nebula which can be pierced by the driving star when it supersonically moves with velocity $20$-$40\, \rm km\, \rm s^{-1}$ through the interstellar medium (ISM) in the Galactic plane. The motion of such runaway stars displaces the position of the supernova explosion out of their bow shock nebula, imposing asymmetries to the eventual shock wave expansion and engendering Cygnus-loop-like supernova remnants. We conclude that the size (up to more than $200\, \rm pc$) of the filamentary wind cavity in which the chemically enriched supernova ejecta expand, mixing efficiently the wind and ISM materials by at least $10\%$ in number density, can be used as a tracer of the runaway nature of the very massive progenitors of such $0.1\, \rm Myr$ old remnants. Our results motivate further observational campaigns devoted to the bow shock of the very massive stars BD+43 3654 and to the close surroundings of the synchrotron-emitting Wolf-Rayet shell G2.4+1.4.


title: DHOST Bounce

abstract: We present a new class of nonsingular bounce cosmology free from instabilities, using a single scalar field coupled to gravity within the framework of the Degenerate Higher-Order Scalar-Tensor (DHOST) theories. In this type of scenarios, the gradient instability that widely exists in nonsingular bounce cosmologies in the framework of scalar-tensor and Horndeski/Galileon theories is removed by the effects of new operators introduced by the DHOST, due to the modification that they later bring about to the dispersion relation of perturbations. Hence, our results demonstrate that there is indeed a loophole for this type of bounce scenarios to be free from pathologies when primordial perturbations evolve through the bounce phase, and thus the theoretical {\it no-go} theorem for nonsingular bounce cosmology of Horndeski/Galileon theories can be delicately evaded in DHOST extensions.


title: $C^\infty $ Solutions on $\mathbb{R}^3 x\ [0, \infty) $ of the Naiver-Stokes PDEs; Divergence Free Data $\in \cap_m H^m $

abstract: We establish the existence of a uniformly bounded $ C^\infty $ solution of the Navier-Stokes equations on $\mathbb{R}^3 x\ [0, \infty) $ without external forces or boundaries for a divergence free initial condition $ u_o \in \cap_m H^m $ when the viscosity $ \nu $ is $ > 0 $.


title: Polarization loss in reflecting coating

abstract: In laser gravitational waves detectors optical loss restricts sensitivity. We discuss polarization scattering as one more possible mechanism of optical losses. Circulated inside interferometer light is polarized and after reflection its plane of polarization can turn a little due to reflecting coating of mirror can have slightly different refraction index along axes $x,\, y$ in plane of mirror surface (optical anisotropy). This anisotropy can be produced during manufacture of coating (elasto-optic effect). This orthogonal polarized light, enhanced in cavity, produces polarization optical loss. Polarization map of mirrors is very important and we propose to measure it. Polarization loss can be important in different precision optical experiments based on usage of polarized light, for example, in quantum speed meter.


title: Holographic information theoretic quantities for Lifshitz black hole

abstract: In this paper, we have investigated the holographic entanglement entropy for a linear subsystem in a $3+1$-dimensional Lifshitz black hole. The entanglement entropy has been analysed in both the infra-red and ultra-violet limits, and has also been computed in the near horizon approximation. The notion of a generalized temperature in terms of the renormalized entanglement entropy has been introduced. This also leads to a generalized thermodynamics like law $E=T_g S_{REE}$. The generalized temperature has been defined in such a way that it reduces to the Hawking temperature in the infra-red limit. We have then computed the holographic subregion complexity. Then the Fisher information metric and the fidelity susceptibility for the same linear subsystem have also been computed using the bulk dual prescriptions. It has been observed that the two metrics are not related to each other.


title: Geometrodynamics based on geodesic equation with Cartan structural equation on Riemannian manifolds

abstract: Motivated by the geospin matrix $W$ as a new variable in Riemannian geometry. Then, we use four real dynamical variables $\left\{ a,\alpha ,v,W \right\}$ to show the dynamical essence of Cartan structural equation, we obtain the geometrodynamics on Riemannian manifolds that can be expressed below \begin{align} & \Theta /d{{t}^{2}}=a-v\wedge W,\nonumber & d\Theta /d{{t}^{3}}=v\wedge \alpha -a\wedge W,\nonumber & \Omega /d{{t}^{2}}=\alpha -W\wedge W, \nonumber & d\Omega /d{{t}^{3}}=W\wedge \alpha -\alpha \wedge W\nonumber \end{align} that is valid more generally for any connection in a principal bundle. We can see that the first equation explains the geodesic equation very well, the second formula means the first Bianchi identity, while the last equation reveals the dynamical nature of the second Bianchi identity. It implies that Cartan structural equations on Riemannian manifolds can be rewritten in a real geometrodynamical form based on the geospin matrix.


title: Residual Correlation in Graph Neural Network Regression

abstract: A graph neural network transforms features in each vertex's neighborhood into a vector representation of the vertex. Afterward, each vertex's representation is used independently for predicting its label. This standard pipeline implicitly assumes that vertex labels are conditionally independent given their neighborhood features. However, this is a strong assumption, and we show that it is far from true on many real-world graph datasets. Focusing on regression tasks, we find that this conditional independence assumption severely limits predictive power. This should not be that surprising, given that traditional graph-based semi-supervised learning methods such as label propagation work in the opposite fashion by explicitly modeling the correlation in predicted outcomes. Here, we address this problem with an interpretable and efficient framework that can improve any graph neural network architecture simply by exploiting correlation structure in the regression residuals. In particular, we model the joint distribution of residuals on vertices with a parameterized multivariate Gaussian, and estimate the parameters by maximizing the marginal likelihood of the observed labels. Our framework achieves substantially higher accuracy than competing baselines, and the learned parameters can be interpreted as the strength of correlation among connected vertices. Furthermore, we develop linear time algorithms for low-variance, unbiased model parameter estimates, allowing us to scale to large networks. We also provide a basic version of our method that makes stronger assumptions on correlation structure but is painless to implement, often leading to great practical performance with minimal overhead.


title: Linear and nonlinear hydromagnetic stability in laminar and turbulent flows

abstract: We consider the evolution of arbitrarily large perturbations of a prescribed pure hydrodynamical flow of an electrically conducting fluid. We study whether the flow perturbations as well as the generated magnetic fields decay or grow with time and constitute a dynamo process. For that purpose we derive a generalized Reynolds-Orr equation for the sum of the kinetic energy of the hydrodynamic perturbation and the magnetic energy. The flow is confined in a finite volume so the normal component of the velocity at the boundary is zero. The tangential component is left arbitrary in contrast with previous works. For the magnetic field we mostly employ the classical boundary conditions where the field extends in the whole space. We establish critical values of hydrodynamic and magnetic Reynolds numbers below which arbitrarily large initial perturbations of the hydrodynamic flow decay. This involves generalization of the Rayleigh-Faber-Krahn inequality for the smallest eigenvalue of an elliptic operator. For high Reynolds number turbulence we provide an estimate of critical magnetic Reynolds number below which arbitrarily large fluctuations of the magnetic field decay.

categories: physics.flu-dyn astro-ph.SR math-ph math.MP nlin.CD


title: Partial Optimal Transport with Applications on Positive-Unlabeled Learning

abstract: Classical optimal transport problem seeks a transportation map that preserves the total mass betwenn two probability distributions, requiring their mass to be the same. This may be too restrictive in certain applications such as color or shape matching, since the distributions may have arbitrary masses and/or that only a fraction of the total mass has to be transported. Several algorithms have been devised for computing partial Wasserstein metrics that rely on an entropic regularization, but when it comes with exact solutions, almost no partial formulation of neither Wasserstein nor Gromov-Wasserstein are available yet. This precludes from working with distributions that do not lie in the same metric space or when invariance to rotation or translation is needed. In this paper, we address the partial Wasserstein and Gromov-Wasserstein problems and propose exact algorithms to solve them. We showcase the new formulation in a positive-unlabeled (PU) learning application. To the best of our knowledge, this is the first application of optimal transport in this context and we first highlight that partial Wasserstein-based metrics prove effective in usual PU learning settings. We then demonstrate that partial Gromov-Wasserstein metrics is efficient in scenario where point clouds come from different domains or have different features.


title: When Radiology Report Generation Meets Knowledge Graph

abstract: Automatic radiology report generation has been an attracting research problem towards computer-aided diagnosis to alleviate the workload of doctors in recent years. Deep learning techniques for natural image captioning are successfully adapted to generating radiology reports. However, radiology image reporting is different from the natural image captioning task in two aspects: 1) the accuracy of positive disease keyword mentions is critical in radiology image reporting in comparison to the equivalent importance of every single word in a natural image caption; 2) the evaluation of reporting quality should focus more on matching the disease keywords and their associated attributes instead of counting the occurrence of N-gram. Based on these concerns, we propose to utilize a pre-constructed graph embedding module (modeled with a graph convolutional neural network) on multiple disease findings to assist the generation of reports in this work. The incorporation of knowledge graph allows for dedicated feature learning for each disease finding and the relationship modeling between them. In addition, we proposed a new evaluation metric for radiology image reporting with the assistance of the same composed graph. Experimental results demonstrate the superior performance of the methods integrated with the proposed graph embedding module on a publicly accessible dataset (IU-RR) of chest radiographs compared with previous approaches using both the conventional evaluation metrics commonly adopted for image captioning and our proposed ones.


title: Constraining stellar population parameters from narrow band photometric surveys using convolutional neural networks

abstract: Upcoming large-area narrow band photometric surveys, such as J-PAS, will enable us to observe a large number of galaxies simultaneously and efficiently. However, it will be challenging to analyse the spatially-resolved stellar populations of galaxies from such big data to investigate galaxy formation and evolutionary history. We have applied a convolutional neural network (CNN) technique, which is known to be computationally inexpensive once it is trained, to retrieve the metallicity and age from J-PAS-like narrow band images. The CNN was trained using mock J-PAS data created from the CALIFA IFU survey and the age and metallicity at each data point, which are derived using full spectral fitting to the CALIFA spectra. We demonstrate that our CNN model can consistently recover age and metallicity from each J-PAS-like spectral energy distribution. The radial gradients of the age and metallicity for galaxies are also recovered accurately, irrespective of their morphology. However, it is demonstrated that the diversity of the dataset used to train the neural networks has a dramatic effect on the recovery of galactic stellar population parameters. Hence, future applications of CNNs to constrain stellar populations will rely on the availability of quality spectroscopic data from samples covering a wide range of population parameters.


title: Phase transitions in a three-dimensional analogue of Klebanov-Strassler

abstract: We use top-down holography to study the thermodynamics of a one-parameter family of three-dimensional, strongly coupled Yang-Mills-Chern-Simons theories with M-theory duals. For generic values of the parameter, the theories exhibit a mass gap but no confinement, meaning no linear quark-antiquark potential. For two specific values of the parameter they flow to an infrared fixed point or to a confining vacuum, respectively. As in the Klebanov-Strassler solution, on the gravity side the mass gap is generated by the smooth collapse to zero size of a cycle in the internal geometry. We uncover a rich phase diagram with thermal phase transitions of first and second order, a triple point and a critical point.


title: Lifting, $n$-Dimensional Spectral Resolutions, and $n$-Dimensional Observables

abstract: We show that under some natural conditions, we are able to lift an $n$-dimensional spectral resolution from one monotone $\sigma$-complete unital po-group into another one, when the first one is a $\sigma$-homomorphic image of the second one. We note that an $n$-dimensional spectral resolution is a mapping from $\mathbb R^n$ into a quantum structure which is monotone, left-continuous with non-negative increments and which is going to $0$ if one variable goes to $-\infty$ and it goes to $1$ if all variables go to $+\infty$. Applying this result to some important classes of effect algebras including also MV-algebras, we show that there is a one-to-one correspondence between $n$-dimensional spectral resolutions and $n$-dimensional observables on these effect algebras which are a kind of $\sigma$-homomorphisms from the Borel $\sigma$-algebra of $\mathbb R^n$ into the quantum structure. An important used tool are two forms of the Loomis--Sikorski theorem which use two kinds of tribes of fuzzy sets. In addition, we show that we can define three different kinds of $n$-dimensional joint observables of $n$ one-dimensional observables.


title: The free energy of the two-dimensional dilute Bose gas. II. Upper bound

abstract: We prove an upper bound on the free energy of a two-dimensional homogeneous Bose gas in the thermodynamic limit. We show that for $a^2 \rho \ll 1$ and $\beta \rho \gtrsim 1$ the free energy per unit volume differs from the one of the non-interacting system by at most $4 \pi \rho^2 |\ln a^2 \rho|^{-1} (2 - [1 - \beta_{\mathrm{c}}/\beta]_+^2)$ to leading order, where $a$ is the scattering length of the two-body interaction potential, $\rho$ is the density, $\beta$ the inverse temperature and $\beta_{\mathrm{c}}$ is the inverse Berezinskii--Kosterlitz--Thouless critical temperature for superfluidity. In combination with the corresponding matching lower bound proved in \cite{DMS19} this shows equality in the asymptotic expansion.

categories: math-ph cond-mat.quant-gas cond-mat.stat-mech math.MP


title: High-precision $Q$-value measurement confirms the potential of $^{135}$Cs for antineutrino-mass detection

abstract: The ground-state-to-ground-state $\beta$-decay $Q$-value of $^{135}\textrm{Cs}(7/2^+)\to\,^{135}\textrm{Ba}(3/2^+)$ was directly measured for the first time utilizing the Phase-Imaging Ion-Cyclotron Resonance (PI-ICR) technique at the JYFLTRAP Penning-trap setup. It is the first direct determination of this $Q$-value and its value of 268.66(30)\,keV is a factor of three more precise than the currently adopted $Q$-value in the Atomic Mass Evaluation 2016. Moreover, the $Q$-value deduced from the $\beta$-decay endpoint energy has been found to deviate from our result by approximately 6 standard deviations. The measurement confirms that the first-forbidden unique $\beta^-$-decay transition $^{135}\textrm{Cs}(7/2^+)\to\,^{135}\textrm{Ba}(11/2^-)$ is a candidate for antineutrino-mass measurements with an ultra-low $Q$-value of $0.44(31)$ keV. This $Q$-value is almost an order of magnitude smaller than in any presently running or planned direct (anti)neutrino-mass experiment.


title: Coherent Band-Edge Oscillations and Dynamic LO Phonon Mode Splitting as Evidence for Polaronic Coupling in Perovskites

abstract: The coherence of collective modes, such as phonons, and their modulation of the electronic states are long sought in complex systems, which is a cross-cutting issue in photovoltaics and quantum electronics. In photovoltaic cells and lasers based on metal halide perovskites, the presence of polaronic coupling, i.e., photocarriers dressed by the macroscopic motion of charged lattice, assisted by terahertz (THz) longitudinal optical (LO) phonons, has been intensely studied yet still debated. This may be key for explaining the remarkable properties of the perovskite materials, e.g., defect tolerance, long charge lifetimes and diffusion length. Here we use the intense single-cycle THz pulse with the peak electric field up to $E_{THz}=$1000\,kV/cm to drive coherent band-edge oscillations at room temperature in CH$_3$NH$_3$PbI$_3$. We reveal the oscillatory behavior dominantly to a specific quantized lattice vibration mode at $\omega_{\mathrm{LO}}\sim$4 THz, being both dipole and momentum forbidden. THz-driven coherent dynamics exhibits distinguishing features: the room temperature coherent oscillations at $\omega_{\mathrm{LO}}$ longer than 1 ps in both single crystals and thin films; the {\em mode-selective} modulation of different band edge states assisted by electron-phonon ($e$-$ph$) interaction; {\em dynamic mode splitting} controlled by temperature due to entropy and anharmonicity of organic cations. Our results demonstrate intense THz-driven coherent band-edge modulation as a powerful probe of electron-lattice coupling phenomena and provide compelling implications for polaron correlations in perovskites.


title: The Gr\"obner fan of the Hilbert scheme

abstract: We give a notion of "combinatorial proximity" among strongly stable ideals in a given polynomial ring with a fixed Hilbert polynomial. We show that this notion guarantees "geometric proximity" of the corresponding points in the Hilbert scheme. We define a graph whose vertices correspond to strongly stable ideals and whose edges correspond to pairs of adjacent ideals. Every term order induces an orientation of the edges of the graph. This directed graph describes the behavior of the points of the Hilbert scheme under Gr\"obner degenerations with respect to the given term order. Then, we introduce a polyhedral fan that we call Gr\"obner fan of the Hilbert scheme. Each cone of maximal dimension corresponds to a different directed graph induced by a term order. This fan encodes several properties of the Hilbert scheme. We use these tools to present a new proof of the connectedness of the Hilbert scheme. Finally, we improve the technique introduced in the paper "Double-generic initial ideal and Hilbert scheme" by Bertone, Cioffi and Roggero to give a lower bound on the number of irreducible components of the Hilbert scheme.


title: Algorithms for twisted conjugacy classes of polycyclic-by-finite groups

abstract: We construct two practical algorithms for twisted conjugacy classes of polycyclic-by-finite groups. The first algorithm determines whether two elements of a group are twisted conjugate for two given endomorphisms, under the condition that the Reidemeister coincidence number of these endomorphisms is finite. The second algorithm determines representatives of the Reidemeister coincidence classes of two endomorphisms if their Reidemeister coincidence number is finite, or returns "fail" if the Reidemeister coincidence number is infinite.


title: Price impact equilibrium with transaction costs and TWAP trading

abstract: We prove the existence of an equilibrium in a model with transaction costs and price impact where two agents are incentivized to trade towards a target. The two types of frictions -- price impact and transaction costs -- lead the agents to two distinct changes in their optimal investment approach: price impact causes agents to continuously trade in smaller amounts, while transaction costs cause the agents to cease trading before the end of the trading period. As the agents lose wealth because of transaction costs, the exchange makes a profit. We prove the existence of a strictly positive optimal transaction cost from the exchange's perspective.


title: Proceedings of the VI International Workshop on Locational Analysis and Related Problems

abstract: The International Workshop on Locational Analysis and Related Problems will take place during November 25-27, 2015 in Barcelona (Spain). It is organized by the Spanish Location Network and Location Group GELOCA (SEIO). GELOCA is a working group on location belonging to the Statistics and Operations Research Spanish Society. The Spanish Location Network is a group of more than 140 researchers distributed into 16 nodes corresponding to several Spanish universities. The Network has been funded by the Spanish Government. Every year, the Network organizes a meeting to promote the communication among its members and between them and other researchers, and to contribute to the development of the location field and related problems. Previous meetings took place in Sevilla (October 1-3, 2014), Torremolinos (M\'alaga, June 19-21, 2013), Granada (May 10-12, 2012), Las Palmas de Gran Canaria (February 2-5, 2011) and Sevilla (February 1-3, 2010). The topics of interest are location analysis and related problems. This includes location, routing, networks, transportation and logistics models; exact and heuristic solution methods, and computational geometry, among others.


title: Omnidirectional Three Module Robot Design and Simulation

abstract: This paper introduces the Omnidirectional Tractable Three Module Robot for traversing inside complex pipe networks. The robot consists of three omnidirectional modules fixed 120{\deg} apart circumferentially which can rotate about their axis allowing holonomic motion of the robot. Holonomic motion enables the robot to overcome motion singularity when negotiating T-junctions and further allows the robot to arrive in a preferred orientation while taking turns inside a pipe. The singularity region while negotiating T-junctions is analyzed to formulate the geometry of the region. The design and motion capabilities are validated by conducting simulations in MSC ADAMS on a simplified lumped-model of the robot.


title: Variational Encoder-based Reliable Classification

abstract: Machine learning models provide statistically impressive results which might be individually unreliable. To provide reliability, we propose an Epistemic Classifier (EC) that can provide justification of its belief using support from the training dataset as well as quality of reconstruction. Our approach is based on modified variational auto-encoders that can identify a semantically meaningful low-dimensional space where perceptually similar instances are close in $\ell_2$-distance too. Our results demonstrate improved reliability of predictions and robust identification of samples with adversarial attacks as compared to baseline of softmax-based thresholding.


title: Nd$^+$ isotope shift measurements in a cryogenically-cooled neutral plasma

abstract: We report measurements of the isotope shifts of two transitions ($4f^46s\rightarrow [25044.7]^{\circ}_{7/2}$ and $4f^46s\rightarrow [25138.6]^{\circ}_{7/2}$) in neodymium ions (Nd$^+$) with hundredfold improved accuracy, using laser spectroscopy of a cryogenically-cooled neutral plasma. The isotope shifts were measured across a set of five spin-zero isotopes that spans a nuclear shape transition. We discuss the prospects for further improvements to the accuracy of Nd$^+$ isotope shifts using optical clock transitions, which could enable higher precision tests of King plot linearity for new physics searches.


title: Extending the PyCBC search for gravitational waves from compact binary mergers to a global network

abstract: The worldwide advanced gravitational-wave (GW) detector network has so far primarily consisted of the two Advanced LIGO observatories at Hanford and Livingston, with Advanced Virgo joining the 2016-7 O2 observation run at a relatively late stage. However Virgo has been observing alongside the LIGO detectors since the start of the O3 run; in the near future, the KAGRA detector will join the global network and a further LIGO detector in India is under construction. Gravitational-wave search methods would therefore benefit from the ability to analyse data from an arbitrary network of detectors. In this paper, we extend the PyCBC offline compact binary coalescence (CBC) search analysis to three or more detectors, and describe resulting updates to the coincident search and event ranking statistic. For a three-detector network, our improved multi-detector search finds 23% more simulated signals at fixed false alarm rate in idealized colored Gaussian noise, and up to 40% more in real data, compared to the two-detector analysis previously used during O2.


title: Beauty at High Precision / Sensitivity

abstract: Origins of contemporary $B$-physics. Mesons with beauty and charm. Stable tetraquarks? Flavor and the problem of identity. Top matters. Electroweak symmetry breaking and the Higgs sector. Future instruments.


title: Proceedings of the VIII International Workshop on Locational Analysis and Related Problems

abstract: The International Workshop on Locational Analysis and Related Problems will take place during September 27-29, 2017 in Segovia (Spain). It is organized by the Spanish Location Network and Location Group GELOCA (SEIO). GELOCA is a working group on location belonging to the Statistics and Operations Research Spanish Society. The Spanish Location Network is a group of more than 100 researchers distributed into 16 nodes corresponding to several Spanish universities. The Network has been funded by the Spanish Government. Every year, the Network organizes a meeting to promote the communication between its members and between them and other researchers, and to contribute to the development of the location field and related problems. Previous meetings took place in M\'alaga (September 14-16, 2016), Barcelona (November 25-28, 2015), Sevilla (October 1-3, 2014), Torremolinos (M\'alaga, June 19-21, 2013), Granada (May 10-12, 2012), Las Palmas de Gran Canaria (February 2-5, 2011) and Sevilla (February 1-3, 2010). The topics of interest are location analysis and related problems. It includes location, networks, transportation, routing, logistics models, as well as, exact and heuristic solution methods, and computational geometry, among others.


title: Exponential increase in mortality with age is a generic property of a simple model system of damage accumulation and death

abstract: The risk of dying increases exponentially with age, in humans as well as in many other species. This increase is often attributed to the "accumulation of damage" known to occur in many biological structures and systems. The aim of this paper is to describe a generic model of damage accumulation and death in which mortality increases exponentially with age. The damage-accumulation process is modeled by a stochastic process know as a queue, and risk of dying is a function of the accumulated damage, i.e. length of the queue. The model has four parameters and the main characteristics of the model are: (i) damage occurs at random times with a constant high rate; (ii) the damage is repaired at a limited rate, and consequently damage can accumulate; (iii) the efficiency of the repair mechanism decays linearly with age; (iv) the risk of dying is a function of the accumulated damage. Using standard results from the mathematical theory of queues it is shown that there is an exponential dependence between risk of dying and age in these models, and that this dependency holds irrespective of how the damage-accumulation process is modeled. Furthermore, the ways in which this exponential dependence is shaped by the model parameters are also independent of the details of the damage accumulation process. These generic features suggest that the model could be useful when interpreting changes in the relation between age and mortality in real data. To examplify, historical mortality data from Sweden are interpreted in the light of the model. The decrease in mortality seen between cohorts born in 1905, compared to those born in 1885, can be accounted for by higher threshold to damage. This fits well with the many advances made in public health during the 20th century.


title: MLModelScope: A Distributed Platform for Model Evaluation and Benchmarking at Scale

abstract: Machine Learning (ML) and Deep Learning (DL) innovations are being introduced at such a rapid pace that researchers are hard-pressed to analyze and study them. The complicated procedures for evaluating innovations, along with the lack of standard and efficient ways of specifying and provisioning ML/DL evaluation, is a major "pain point" for the community. This paper proposes MLModelScope, an open-source, framework/hardware agnostic, extensible and customizable design that enables repeatable, fair, and scalable model evaluation and benchmarking. We implement the distributed design with support for all major frameworks and hardware, and equip it with web, command-line, and library interfaces. To demonstrate MLModelScope's capabilities we perform parallel evaluation and show how subtle changes to model evaluation pipeline affects the accuracy and HW/SW stack choices affect performance.


title: A Multi-Step Reconfiguration Model for Active Distribution Network Restoration Integrating DG Start-Up Sequences

abstract: The ever-increasing penetration of Distributed Generators (DGs) in distribution networks suggests to enable their potentials in better fulfilling the restoration objective. The objective of the restoration problem is to resupply the maximum energy of loads considering their priorities using minimum switching operations. Basically, it is desired to provide a unique configuration that is valid regarding the load and generation profiles along the entire restorative period. However, this unique configuration may not satisfy at the same time: I) the DG start-up requirements at the beginning of the restoration plan and II) the topological conditions that would allow the DG to provide later on the most efficient support for the supply of loads. Therefore, it is proposed in this paper to allow a limited number of reconfiguration steps according to the DG start-up requirements. In addition, this paper presents a novel formulation for the reconfiguration problem that accounts for partial restoration scenarios where the whole unsupplied area cannot be restored. The decision variables of the proposed multi-step restoration problem are: I) the line switching actions at each step of the reconfiguration process, II) the load switching actions during the whole restorative period and, III) the active/reactive power dispatch of DGs during the whole restorative period. A relaxed AC power flow formulation is integrated to the optimization problem in order to ensure the feasibility of the solution concerning the operational safety constraints. The overall model is formulated in terms of a mixed-integer second-order cone programming. Two simulation scenarios are studied in order to illustrate different features of the proposed strategy and to demonstrate its effectiveness particularly in the case of large-scale outages in distribution networks.


title: A Binary Comb Model for Periodic Fast Radio Bursts

abstract: We show that the periodic FRB 180916.J0158+65 can be interpreted by invoking an interacting neutron star binary system with an orbital period of $\sim 16$ days. The FRBs are produced by a highly magnetized pulsar, whose magnetic field is ``combed'' by the strong wind from a companion star, either a massive star or a millisecond pulsar. The FRB pulsar wind retains a clear funnel in the companion's wind that is otherwise opaque to induced Compton or Raman scatterings for repeating FRB emission. The 4 day active window corresponds to the time when the funnel points toward Earth. The interaction also perturbs the magnetosphere of the FRB pulsar and may trigger emission of FRBs. We derive the physical constraints on the comb and the FRB pulsar from the observations and estimate the event rate of FRBs. In this scenario, a lower limit on the period of observable FRBs is predicted. We speculate that both the intrinsic factors (strong magnetic field and young age) and the extrinsic factor (interaction) may be needed to generate FRBs in neutron star binary systems.


title: Computing a Strategic Decarbonization Pathway: A Chance-Constrained Equilibrium Problem

abstract: US transmission systems and wholesale electricity markets, albeit federally regulated, often span across multiple state jurisdictions. In this environment, state regulators can strategically exploit this techno-economic coupling to advance their clean energy policy goals at the expense of neighboring jurisdictions. This paper investigates strategic regulatory competition to understand its effect on achieving Renewable Portfolio Standards (RPS). We formulate a chance-constrained equilibrium problem with equilibrium constraints (CC-EPEC), which considers multiple state regulators, acting in coordination with in-state power companies, to implement RPS goals in the least-cost manner. To solve this CC-EPEC, we customize a Progressive Hedging (PH) algorithm. The case study uses the CCEPEC and PH algorithm to analyze the effects of state regulatory competition in the ISO New England system.


title: Massively Parallel Algorithms for Small Subgraph Counting

abstract: Over the last two decades, frameworks for distributed-memory parallel computation, such as MapReduce, Hadoop, Spark and Dryad, have gained significant popularity with the growing prevalence of large network datasets. The Massively Parallel Computation (MPC) model is the de-facto standard for studying graph algorithms in these frameworks theoretically. Subgraph counting is one such fundamental problem in analyzing massive graphs, with the main algorithmic challenges centering on designing methods which are both scalable and accurate. Given a graph $G=(V, E)$ with $n$ vertices, $m$ edges and $T$ triangles, our first result is an algorithm that outputs a $(1+\varepsilon)$-approximation to $T$, with asymptotically \emph{optimal round and total space complexity} provided any $S \geq \max{(\sqrt m, n^2/m)}$ space per machine and assuming $T=\Omega(\sqrt{m/n})$. Our result gives a quadratic improvement on the bound on $T$ over previous works. We also provide a simple extension of our result to counting \emph{any} subgraph of $k$ size for constant $k \geq 1$. Our second result is an $O_{\varepsilon}(\log \log n)$-round algorithm for exactly counting the number of triangles, whose total space usage is parametrized by the \emph{arboricity} $\alpha$ of the input graph. We extend this result to exactly counting $k$-cliques for any constant $k$. Finally, we prove that a recent result of Bera, Pashanasangi and Seshadhri (ITCS 2020) for exactly counting all subgraphs of size at most $5$ can be implemented in the MPC model in total space.


title: Proceedings of the IX International Workshop on Locational Analysis and Related Problems

abstract: The International Workshop on Locational Analysis and Related Problems will take place during January 30-February 1, 2019 in C\'adiz (Spain). It is organized by the Spanish Location Network and Location Group GELOCA (SEIO). GELOCA is a working group on location belonging to the Statistics and Operations Research Spanish Society. The Spanish Location Network is a group of more than 140 researchers distributed into 16 nodes corresponding to several Spanish universities. The Network has been funded by the Spanish Government. Every year, the Network organizes a meeting to promote the communication between its members and between them and other researchers, and to contribute to the development of the location field and related problems. Previous meetings took place in Segovia (September 27-29, 2017), M\'alaga (September 14-16, 2016), Barcelona (November 25-28, 2015), Sevilla (October 1-3, 2014), Torremolinos (M\'alaga, June 19-21, 2013), Granada (May 10-12, 2012), Las Palmas de Gran Canaria (February 2-5, 2011) and Sevilla (February 1-3, 2010). The topics of interest are location analysis and related problems. It includes location models, networks, transportation, logistics, exact and heuristic solution methods, and computational geometry, among others.


title: Multi-wavelet residual dense convolutional neural network for image denoising

abstract: Networks with large receptive field (RF) have shown advanced fitting ability in recent years. In this work, we utilize the short-term residual learning method to improve the performance and robustness of networks for image denoising tasks. Here, we choose a multi-wavelet convolutional neural network (MWCNN), one of the state-of-art networks with large RF, as the backbone, and insert residual dense blocks (RDBs) in its each layer. We call this scheme multi-wavelet residual dense convolutional neural network (MWRDCNN). Compared with other RDB-based networks, it can extract more features of the object from adjacent layers, preserve the large RF, and boost the computing efficiency. Meanwhile, this approach also provides a possibility of absorbing advantages of multiple architectures in a single network without conflicts. The performance of the proposed method has been demonstrated in extensive experiments with a comparison with existing techniques.


title: Exclusive final state hadron observables from neutrino-nucleus multi-nucleon knockout

abstract: We present results of an updated calculation of the 2p2h (two particle two hole) contribution to the neutrino-induced charge-current cross section. We provide also some exclusive observables, interesting from the point of view of experimental studies, e.g. distributions of momenta of the outgoing nucleons and of available energy, which we compare with the results obtained within the NEUT generator. We also compute, and separate from the total, the contributions of 3p3h mechanisms. Finally, we discuss the differences between the present results and previous implementations of the model in MC event-generators, done at the level of inclusive cross sections, which might significantly influence the experimental analyses, particularly in the cases where the hadronic observables are considered.


title: Using AI for Mitigating the Impact of Network Delay in Cloud-based Intelligent Traffic Signal Control

abstract: The recent advancements in cloud services, Internet of Things (IoT) and Cellular networks have made cloud computing an attractive option for intelligent traffic signal control (ITSC). Such a method significantly reduces the cost of cables, installation, number of devices used, and maintenance. ITSC systems based on cloud computing lower the cost of the ITSC systems and make it possible to scale the system by utilizing the existing powerful cloud platforms. While such systems have significant potential, one of the critical problems that should be addressed is the network delay. It is well known that network delay in message propagation is hard to prevent, which could potentially degrade the performance of the system or even create safety issues for vehicles at intersections. In this paper, we introduce a new traffic signal control algorithm based on reinforcement learning, which performs well even under severe network delay. The framework introduced in this paper can be helpful for all agent-based systems using remote computing resources where network delay could be a critical concern. Extensive simulation results obtained for different scenarios show the viability of the designed algorithm to cope with network delay.


title: Cryogenic platform for coupling color centers in diamond membranes to a fiberbased microcavity

abstract: We operate a fiberbased cavity with an inserted diamond membrane containing ensembles of silicon vacancy centers (SiV$^-$) at cryogenic temperatures $ \geq4~$K. The setup, sample fabrication and spectroscopic characterization is described, together with a demonstration of the cavity influence by the Purcell effect. This paves the way towards solid state qubits coupled to optical interfaces as long-lived quantum memories.


title: Classification of $2$-component virtual links up to $\Xi$-moves

abstract: The $\Xi$-move is a local move generated by forbidden moves in virtual knot theory. This move was introduced by Taniguchi and the second author, who showed that it characterizes the odd writhe of virtual knots, which is a fundamental invariant defined by Kauffman. In this paper, we extend this result by classifying $2$-component virtual links up to $\Xi$-moves, using refinements of the odd writhe and linking numbers.


title: Kolakoski Sequence: Links between Recurrence, Symmetry and Limit Density

abstract: The Kolakoski sequence $S$ is the unique element of $\left\lbrace 1,2 \right\rbrace^{\omega}$ starting with 1 and coinciding with its own run length encoding. We use the parity of the lengths of particular subclasses of initial words of $S$ as a unifying tool to address the links between the main open questions - recurrence, mirror/reversal invariance and asymptotic density of digits. In particular we prove that recurrence implies reversal invariance, and give sufficient conditions which would imply that the density of 1s is $\frac{1}{2}$.


title: Compressing BERT: Studying the Effects of Weight Pruning on Transfer Learning

abstract: Pre-trained universal feature extractors, such as BERT for natural language processing and VGG for computer vision, have become effective methods for improving deep learning models without requiring more labeled data. While effective, feature extractors like BERT may be prohibitively large for some deployment scenarios. We explore weight pruning for BERT and ask: how does compression during pre-training affect transfer learning? We find that pruning affects transfer learning in three broad regimes. Low levels of pruning (30-40%) do not affect pre-training loss or transfer to downstream tasks at all. Medium levels of pruning increase the pre-training loss and prevent useful pre-training information from being transferred to downstream tasks. High levels of pruning additionally prevent models from fitting downstream datasets, leading to further degradation. Finally, we observe that fine-tuning BERT on a specific task does not improve its prunability. We conclude that BERT can be pruned once during pre-training rather than separately for each task without affecting performance.


title: Continuity in $\kappa$ in $SLE_\kappa$ theory using a constructive method and Rough Path Theory

abstract: Questions regarding the continuity in $\kappa$ of the $SLE_{\kappa}$ traces and maps appear very naturally in the study of SLE. In order to study the first question, we consider a natural coupling of SLE traces: for different values of $\kappa$ we use the same Brownian motion. It is very natural to assume that with probability one, $SLE_\kappa$ depends continuously on $\kappa$. It is rather easy to show that $SLE$ is continuous in the Carath\'eodory sense, but showing that $SLE$ traces are continuous in the uniform sense is much harder. In this note we show that for a given sequence $\kappa_j\to\kappa \in (0, 8/3)$, for almost every Brownian motion $SLE_\kappa$ traces converge locally uniformly. This result was also recently obtained by Friz, Tran and Yuan using different methods. In our analysis, we provide a constructive way to study the $SLE_{\kappa}$ traces for varying parameter $\kappa \in (0, 8/3)$. The argument is based on a new dynamical view on the approximation of SLE curves by curves driven by a piecewise square root approximation of the Brownian motion. The second question can be answered naturally in the framework of Rough Path Theory. Using this theory, we prove that the solutions of the backward Loewner Differential Equation driven by $\sqrt{\kappa}B_t$ when started away from the origin are continuous in the $p$-variation topology in the parameter $\kappa$, for all $\kappa \in \mathbb{R}_+$


title: Simultaneous games with purchase of randomly supplied perfect information: Oracle Games

abstract: We study the role of costly information in non-cooperative two-player games when an extrinsic third party information broker is introduced asymmetrically, allowing one player to obtain information about the other player's action. This broker or "oracle" is defined by a probability of response, supplying correct information randomly; the informed player can pay more for a higher probability of response. We determine the necessary and sufficient conditions for strategy profiles to be equilibria, in terms of how both players change their strategies in response to the existence of the oracle, as determined by its cost of information function. For mixed strategy equilibria, there is a continuous change as information becomes cheaper, with clear transitions occuring at critical {\it nodes} at which pure strategies become dominated (or undominated). These nodes separate distinct responses to the information for sale, alternating between regions where the paying player increases the amount of information purchased, and regions where the other player moves away from riskier strategies, in favor of safer bets that minimize losses. We derive conditions for these responses by defining a value of information.


title: Online PMU-Based Method for Estimating Dynamic Load Parameters in Ambient Conditions

abstract: This paper proposes a novel purely measurement-based method for estimating dynamic load parameters in near real-time when stochastic load fluctuations are present. By leveraging on the regression theorem for the Ornstein-Uhlenbeck process, the proposed method can provide highly accurate estimation without requiring any information about the power system model. Furthermore, by exploiting recursion, an online algorithm is developed to estimate the dynamic load parameters in near real-time. Simulation studies on the IEEE 39-Bus system demonstrate the accuracy of the model-free method, its robustness against measurement noise, as well as its satisfactory performance in tracking real-time changes of the load parameters.


title: U-Bubble Model for Mixed Unit Interval Graphs and its Applications: The MaxCut Problem Revisited

abstract: Interval graphs, intersection graphs of segments on a real line (intervals), play a key role in the study of algorithms and special structural properties. Unit interval graphs, their proper subclass, where each interval has a unit length, has also been extensively studied. We study mixed unit interval graphs---a generalization of unit interval graphs where each interval has still a unit length, but intervals of more than one type (open, closed, semi-closed) are allowed. This small modification captures a much richer class of graphs. In particular, mixed unit interval graphs are not claw-free, compared to unit interval graphs. Heggernes, Meister, and Papadopoulos defined a representation of unit interval graphs called the bubble model which turned out to be useful in algorithm design. We extend this model to the class of mixed unit interval graphs and demonstrate the advantages of this generalized model by providing a subexponential-time algorithm for solving the MaxCut problem on mixed unit interval graphs. In addition, we derive a polynomial-time algorithm for certain subclasses of mixed unit interval graphs. We point out a substantial mistake in the proof of the polynomiality of the MaxCut problem on unit interval graphs by Boyaci, Ekim, and Shalom (2017). Hence, the time complexity of this problem on unit interval graphs remains open. We further provide a better algorithmic upper-bound on the clique-width of mixed unit interval graphs. Clique-width is one of the most general structural graph parameters, where a large group of natural problems is still solvable in the tractable time when an efficient representation is given. Unfortunately, the exact computation of the clique-width representation is \NP-hard. Therefore, good upper-bounds on clique-width are highly appreciated, in particular, when such a bound is algorithmic.


title: ITeM: Independent Temporal Motifs to Summarize and Compare Temporal Networks

abstract: Networks are a fundamental and flexible way of representing various complex systems. Many domains such as communication, citation, procurement, biology, social media, and transportation can be modeled as a set of entities and their relationships. Temporal networks are a specialization of general networks where the temporal evolution of the system is as important to understand as the structure of the entities and relationships. We present the Independent Temporal Motif (ITeM) to characterize temporal graphs from different domains. The ITeMs are edge-disjoint temporal motifs that can be used to model the structure and the evolution of the graph. For a given temporal graph, we produce a feature vector of ITeM frequencies and apply this distribution to the task of measuring the similarity of temporal graphs. We show that ITeM has higher accuracy than other motif frequency-based approaches. We define various metrics based on ITeM that reveal salient properties of a temporal network. We also present importance sampling as a method for efficiently estimating the ITeM counts. We evaluate our approach on both synthetic and real temporal networks.


title: NNoculation: Catching BadNets in the Wild

abstract: This paper proposes a novel two-stage defense (NNoculation) against backdoored neural networks (BadNets) that, repairs a BadNet both pre-deployment and online in response to backdoored test inputs encountered in the field. In the pre-deployment stage, NNoculation retrains the BadNet with random perturbations of clean validation inputs to partially reduce the adversarial impact of a backdoor. Post-deployment, NNoculation detects and quarantines backdoored test inputs by recording disagreements between the original and pre-deployment patched networks. A CycleGAN is then trained to learn transformations between clean validation and quarantined inputs; i.e., it learns to add triggers to clean validation images. Backdoored validation images along with their correct labels are used to further retrain the pre-deployment patched network, yielding our final defense. Empirical evaluation on a comprehensive suite of backdoor attacks show that NNoculation outperforms all state-of-the-art defenses that make restrictive assumptions and only work on specific backdoor attacks, or fail on adaptive attacks. In contrast, NNoculation makes minimal assumptions and provides an effective defense, even under settings where existing defenses are ineffective due to attackers circumventing their restrictive assumptions.


title: Theoretical Guarantees for Bridging Metric Measure Embedding and Optimal Transport

abstract: We propose a novel approach for comparing distributions whose supports do not necessarily lie on the same metric space. Unlike Gromov-Wasserstein (GW) distance which compares pairwise distances of elements from each distribution, we consider a method allowing to embed the metric measure spaces in a common Euclidean space and compute an optimal transport (OT) on the embedded distributions. This leads to what we call a sub-embedding robust Wasserstein (SERW) distance. Under some conditions, SERW is a distance that considers an OT distance of the (low-distorted) embedded distributions using a common metric. In addition to this novel proposal that generalizes several recent OT works, our contributions stand on several theoretical analyses: (i) we characterize the embedding spaces to define SERW distance for distribution alignment; (ii) we prove that SERW mimics almost the same properties of GW distance, and we give a cost relation between GW and SERW. The paper also provides some numerical illustrations of how SERW behaves on matching problems.


title: Neutrino decoherence in an electron and nucleon background

abstract: We consider the decoherence effects in the propagation of active neutrinos due to the non-forward neutrino scattering processes in a matter background composed of electrons and nucleons. We calculate the contribution to the imaginary part of the neutrino self-energy arising from such processes. Since the initial neutrino state is depleted but does not actually disappear (the initial neutrino transitions into a neutrino of a different flavor but does not decay) those processes should be associated with decoherence effects that cannot be described in terms of the coherent evolution of the state vector. Based on the formalism developed in our previous work for treating the non-forward scattering processes using the notion of the stochastic evolution of the state, we identify the jump operators, as used in the context of the master or Lindblad equation, in terms of the results of the the calculation of the non-forward neutrino scattering contribution to the imaginary part of the neutrino self-energy. As a guide to estimating the decoherence effects in situations of practical interest we give explicit formulas for the decoherence terms for different background conditions, and point out some of the salient features in particular the neutrino energy dependence. To establish contact wih previous works in which the decoherence terms are treated as phenomenological parameters, we consider the solution to the evolution equation in the two-generation case. We give formulas that are useful for estimating the effects of the decoherence terms under various conditions and environments, including the typical conditions applicable to long baseline experiments, where matter effects are important. In those contexts the effects appear to be small, and indicative that if significant decoherence effects were to be found they would be due to non-standard contributions to the decoherence terms.


title: Re-evaluating scaling methods for distributed parallel systems

abstract: The paper explains why Amdahl's Law shall be interpreted specifically for distributed parallel systems and why it generated so many debates, discussions, and abuses. We set up a general model and list many of the terms affecting parallel processing. We scrutinize the validity of neglecting certain terms in different approximations, with special emphasis on the famous scaling laws of parallel processing. We clarify that when using the right interpretation of terms, Amdahl's Law is the governing law of all kinds of parallel processing. Amdahl's Law describes among others the history of supercomputing, the inherent performance limitation of the different kinds of parallel processing and it is the basic Law of the 'modern computing' paradigm, that the computing systems working under extreme computing conditions are desperately needed.


title: An improved nonlinear FastEuler AHRS estimation based on the SVDCKF algorithm

abstract: In this paper, we present a Singular Value Decomposition Cubature Kalman Filter(SVDCKF) fusion algorithm based on the improved nonlinear FastEuler Attitude and Heading Reference and System(AHRS) estimation model for small-UAV attitude. The contributions of this work are the derivation of the low-cost IMU/MAG integrated AHRS model combined with the quaternion attitude determination, and use the FastEuler to correct the gyroscope attitude update, which can increase the real-time solution. In addition, the SVDCKF algorithm is fused the various raw sensors data in order to improve the filter accuracy compared with the CKF. The simulation and experiment results demonstrate the proposed algorithm has the more excellent attitude solution accuracy compared with the CKF in the low and high dynamic flight conditions.


title: Stochastic generalized Nash equilibrium seeking in merely monotone games

abstract: We solve the stochastic generalized Nash equilibrium (SGNE) problem in merely monotone games with expected value cost functions. Specifically, we present the first distributed SGNE seeking algorithm for monotone games that requires one proximal computation (e.g., one projection step) and one pseudogradient evaluation per iteration. Our main contribution is to extend the relaxed forward-backward operator splitting by Malitsky (Mathematical Programming, 2019) to the stochastic case and in turn to show almost sure convergence to a SGNE when the expected value of the pseudogradient is approximated by the average over a number of random samples.


title: Spectral and atmospheric characterisation of a new benchmark brown dwarf HD13724B

abstract: Context. HD13724 is a nearby solar-type star at 43.48 $\pm$ 0.06 pc hosting a long-period low-mass brown dwarf detected with the CORALIE echelle spectrograph as part of the historical CORALIE radial-velocity search for extra-solar planets. The companion has a minimum mass of $26.77^{+4.4}_{-2.2} M_{\mathrm{Jup}}$ and an expected semi-major axis of $\sim$ 240 mas making it a suitable target for further characterisation with high-contrast imaging, in particular to measure its inclination, mass, and spectrum and thus establish its substellar nature. Aims. Using high-contrast imaging with the SPHERE instrument on the Very Large Telescope (VLT), we are able to directly image a brown dwarf companion to HD13724 and obtain a low-resolution spectrum. Methods. We combine the radial-velocity measurements of CORALIE and HARPS taken over two decades and high contrast imaging from SPHERE to obtain a dynamical mass estimate. From the SPHERE data we obtain a low resolution spectrum of the companion from Y to J band, as well as photometric measurements from IRDIS in the J, H and K bands. Results. Using high-contrast imaging with the SPHERE instrument at the VLT, we report the first images of a brown dwarf companion to the host star HD13724. It has an angular separation of 175.6 $\pm$ 4.5 mas and H-band contrast of $10.61\pm0.16$ mag and, using the age estimate of the star to be $\sim$1 Gyr, gives an isochronal mass estimate of $\sim$44 $M_{\mathrm{Jup}}$. By combining radial-velocity and imaging data we also obtain a dynamical mass of $50.5^{+3.3}_{-3.5} M_{\mathrm{Jup}}$. Through fitting an atmospheric model, we estimate a surface gravity of $\log g = 5.5$ and an effective temperature of 1000K. A comparison of its spectrum with observed T dwarfs estimates a spectral type of T4 or T4.5, with a T4 object providing the best fit.


title: Proceedings of the Artificial Intelligence for Cyber Security (AICS) Workshop 2020

abstract: The workshop will focus on the application of artificial intelligence to problems in cyber security. AICS 2020 emphasis will be on human-machine teaming within the context of cyber security problems and will specifically explore collaboration between human operators and AI technologies. The workshop will address applicable areas of AI, such as machine learning, game theory, natural language processing, knowledge representation, automated and assistive reasoning and human machine interactions. Further, cyber security application areas with a particular emphasis on the characterization and deployment of human-machine teaming will be the focus.


title: Universal Composite Pulses for Efficient Population Inversion with an Arbitrary Excitation Profile

abstract: We introduce a method to rotate arbitrarily the excitation profile of universal broadband composite pulse sequences for robust high-fidelity population inversion. These pulses compensate deviations in any experimental parameter (e.g. pulse amplitude, pulse duration, detuning from resonance, Stark shifts, unwanted frequency chirp, etc.) and are applicable with any pulse shape. The rotation allows to achieve higher order robustness to any combination of pulse area and detuning errors at no additional cost. The latter can be particularly useful, e.g., when detuning errors are due to Stark shifts that are correlated with the power of the applied field. We demonstrate the efficiency and universality of these composite pulses by experimental implementation for rephasing of atomic coherences in a $\text{Pr}^{3+}\text{:}\text{Y}_2\text{SiO}_5\:$ crystal.


title: Improvements of Algebraic Attacks for solving the Rank Decoding and MinRank problems

abstract: Rank Decoding (RD) is the main underlying problem in rank-based cryptography. Based on this problem and quasi-cyclic versions of it, very efficient schemes have been proposed recently, such as those in the ROLLO and RQC submissions, which have reached the second round of the NIST Post-Quantum competition. Two main approaches have been studied to solve RD: combinatorial ones and algebraic ones. While the former has been studied extensively, a better understanding of the latter was recently obtained by Bardet et al. (EUROCRYPT20) where it appeared that algebraic attacks can often be more efficient than combinatorial ones for cryptographic parameters. This paper gives substantial improvements upon this attack in terms both of complexity and of the assumptions required by the cryptanalysis. We present attacks for ROLLO-I-128, 192, and 256 with bit complexity respectively in 70, 86, and 158, to be compared to 117, 144, and 197 for the aforementionned previous attack. Moreover, unlike this previous attack, ours does not need generic Gr\"obner basis algorithms since it only requires to solve a linear system. For a case called overdetermined, this modeling allows us to avoid Gr\"obner basis computations by going directly to solving a linear system. For the other case, called underdetermined, we also improve the results from the previous attack by combining the Ourivski-Johansson modeling together with a new modeling for a generic MinRank instance; the latter modeling allows us to refine the analysis of MinRank's complexity given in the paper by Verbel et al. (PQC19). Finally, since the proposed parameters of ROLLO and RQC are completely broken by our new attack, we give examples of new parameters for ROLLO and RQC that make them resistant to our attacks. These new parameters show that these systems remain attractive, with a loss of only about 50\% in terms of key size for ROLLO-I.


title: Nonlinear Fluctuations in Relativistic Causal Fluids

abstract: In the Second Order Theories (SOT) of real relativistic fluids, the non-ideal properties of the flows are described by a new set of dynamical tensor variables. In this work we explore the non-linear dynamics of those variables in a conformal fluid. Among all possible SOTs, we choose to work with the Divergence Type Theories (DTT) formalism, which ensures that the second law of thermodynamics is fulfilled non-perturbatively. The tensor modes include two divergence-free modes which have no analog in theories based on covariant generalizations of the Navier-Stokes equation, and that are particularly relevant because they couple linearly to a gravitational field. To study the dynamics of this irreducible tensor sector, we observe that in causal theories such as DTTs, thermal fluctuations induce a stochastic stirring force, which excites the tensor modes while preserving energy momentum conservation. From fluctuation-dissipation considerations it follows that the random force is Gaussian with a white spectrum. The irreducible tensor modes in turn excite vector modes, which back-react on the tensor sector, thus producing a consistent non-linear, second order description of the divergence-free tensor dynamics. Using the Martin-Siggia-Rose (MSR) formalism plus the Two-Particle Irreducible Effective Action (2PIEA) formalism, we obtain the one-loop corrected equations for the relevant two-point correlation functions of the model: the retarded propagator and the Hadamard function. The overall result of the self-consistent dynamics of the irreducible tensor modes at this order is a depletion of the spectrum in the UV sector, which suggests that tensor modes could sustain an inverse entropy cascade.


title: Sub-Planckian $\phi^{2}$ Inflation in the Palatini Formulation of Gravity with an $R^2$ term

abstract: In the context of the Palatini formalism of gravity with an $R^{2}$ term, a $\phi^{2}$ potential can be consistent with the observed bound on $r$ whilst retaining the successful prediction for $n_{s}$. Here we show that the Palatini $\phi^{2} R^2$ inflation model can also solve the super-Planckian inflaton problem of $\phi^{2}$ chaotic inflation, and that the model can be consistent with Planck scale-suppressed potential corrections. If $\alpha \gtrsim 10^{12}$, where $\alpha$ is the coefficient of the $R^2$ term, the inflaton in the Einstein frame, $\sigma$, remains sub-Planckian throughout inflation. In addition, if $\alpha \gtrsim 10^{20}$ then the predictions of the model are unaffected by Planck-suppressed potential corrections in the case where there is a broken shift symmetry, and if $\alpha \gtrsim 10^{32}$ then the predictions are unaffected by Planck-suppressed potential corrections in general. The value of $r$ is generally small, with $r \lesssim 10^{-5}$ for $\alpha \gtrsim 10^{12}$. We calculate the maximum possible reheating temperature, $T_{R\;max}$, corresponding to instantaneous reheating. For $\alpha \approx 10^{32}$, $T_{R\; max}$ is approximately $10^{10}$ GeV, with larger values of $T_{R\;max}$ for smaller $\alpha$. For the case of instantaneous reheating, we show that $n_{s}$ is in agreement with the 2018 Planck results to within 1-$\sigma$, with the exception of the $\alpha \approx 10^{32}$ case, which is close to the 2-$\sigma$ lower bound. Following inflation, the inflaton condensate is likely to rapidly fragment and form oscillons. Reheating via inflaton decays to right-handed neutrinos can easily result in instantaneous reheating. We determine the scale of unitarity violation and show that, in general, unitarity is conserved during inflation.


title: VQA-LOL: Visual Question Answering under the Lens of Logic

abstract: Logical connectives and their implications on the meaning of a natural language sentence are a fundamental aspect of understanding. In this paper, we investigate whether visual question answering (VQA) systems trained to answer a question about an image, are able to answer the logical composition of multiple such questions. When put under this \textit{Lens of Logic}, state-of-the-art VQA models have difficulty in correctly answering these logically composed questions. We construct an augmentation of the VQA dataset as a benchmark, with questions containing logical compositions and linguistic transformations (negation, disjunction, conjunction, and antonyms). We propose our {Lens of Logic (LOL)} model which uses question-attention and logic-attention to understand logical connectives in the question, and a novel Fr\'echet-Compatibility Loss, which ensures that the answers of the component questions and the composed question are consistent with the inferred logical operation. Our model shows substantial improvement in learning logical compositions while retaining performance on VQA. We suggest this work as a move towards robustness by embedding logical connectives in visual understanding.


title: Balancing Efficiency and Flexibility for DNN Acceleration via Temporal GPU-Systolic Array Integration

abstract: The research interest in specialized hardware accelerators for deep neural networks (DNN) spikes recently owing to their superior performance and efficiency. However, today's DNN accelerators primarily focus on accelerating specific "kernels" such as convolution and matrix multiplication, which are vital but only part of an end-to-end DNN-enabled application. Meaningful speedups over the entire application often require supporting computations that are, while massively parallel, ill-suited to DNN accelerators. Integrating a general-purpose processor such as a CPU or a GPU incurs significant data movement overhead and leads to resource under-utilization on the DNN accelerators. We propose Simultaneous Multi-mode Architecture (SMA), a novel architecture design and execution model that offers general-purpose programmability on DNN accelerators in order to accelerate end-to-end applications. The key to SMA is the temporal integration of the systolic execution model with the GPU-like SIMD execution model. The SMA exploits the common components shared between the systolic-array accelerator and the GPU, and provides lightweight reconfiguration capability to switch between the two modes in-situ. The SMA achieves up to 63% performance improvement while consuming 23% less energy than the baseline Volta architecture with TensorCore.


title: Fawkes: Protecting Privacy against Unauthorized Deep Learning Models

abstract: Today's proliferation of powerful facial recognition systems poses a real threat to personal privacy. As Clearview.ai demonstrated, anyone can canvas the Internet for data and train highly accurate facial recognition models of individuals without their knowledge. We need tools to protect ourselves from potential misuses of unauthorized facial recognition systems. Unfortunately, no practical or effective solutions exist. In this paper, we propose Fawkes, a system that helps individuals inoculate their images against unauthorized facial recognition models. Fawkes achieves this by helping users add imperceptible pixel-level changes (we call them "cloaks") to their own photos before releasing them. When used to train facial recognition models, these "cloaked" images produce functional models that consistently cause normal images of the user to be misidentified. We experimentally demonstrate that Fawkes provides 95+% protection against user recognition regardless of how trackers train their models. Even when clean, uncloaked images are "leaked" to the tracker and used for training, Fawkes can still maintain an 80+% protection success rate. We achieve 100% success in experiments against today's state-of-the-art facial recognition services. Finally, we show that Fawkes is robust against a variety of countermeasures that try to detect or disrupt image cloaks.


title: A pulsed, compact, low-background X-ray generator

abstract: A novel type of pulsed X-ray generator especially suitable for rare event searches, as dark matter and neutrino experiments, has been developed. Being compact and built with selected radio-pure materials, it is appropriate for low-background experiments. UV light generated by a pulsed lamp produces photoelectrons on a metallic cathode, which are subsequently accelerated to produce X-rays. The X-rays are emitted in bunches with a time resolution better than 1 ns and the system provides a fast trigger for event tagging. We present the idea of the new X-ray generator as well as experimental results showing the proof of concept of the device. Data are in good agreement with simulation results and future optimisations of the system are also discussed.


title: Value-driven Hindsight Modelling

abstract: Value estimation is a critical component of the reinforcement learning (RL) paradigm. The question of how to effectively learn value predictors from data is one of the major problems studied by the RL community, and different approaches exploit structure in the problem domain in different ways. Model learning can make use of the rich transition structure present in sequences of observations, but this approach is usually not sensitive to the reward function. In contrast, model-free methods directly leverage the quantity of interest from the future, but receive a potentially weak scalar signal (an estimate of the return). We develop an approach for representation learning in RL that sits in between these two extremes: we propose to learn what to model in a way that can directly help value prediction. To this end, we determine which features of the future trajectory provide useful information to predict the associated return. This provides tractable prediction targets that are directly relevant for a task, and can thus accelerate learning the value function. The idea can be understood as reasoning, in hindsight, about which aspects of the future observations could help past value prediction. We show how this can help dramatically even in simple policy evaluation settings. We then test our approach at scale in challenging domains, including on 57 Atari 2600 games.


title: $B \to \rho$ Decay Form Factors from Covariant Confined Quark Model

abstract: We evaluate $B \rightarrow \rho$ transition form factors in the full kinematical region within the covariant confined quark model. We compare the obtained results with the results from light-cone sum rules. The calculated form factors can be used to calculate the $B^+ \rightarrow \rho^+ {\mu}^+ {\mu}^-$ rare decay branching ratio.


title: Towards a Complete Pipeline for Segmenting Nuclei in Feulgen-Stained Images

abstract: Cervical cancer is the second most common cancer type in women around the world. In some countries, due to non-existent or inadequate screening, it is often detected at late stages, making standard treatment options often absent or unaffordable. It is a deadly disease that could benefit from early detection approaches. It is usually done by cytological exams which consist of visually inspecting the nuclei searching for morphological alteration. Since it is done by humans, naturally, some subjectivity is introduced. Computational methods could be used to reduce this, where the first stage of the process would be the nuclei segmentation. In this context, we present a complete pipeline for the segmentation of nuclei in Feulgen-stained images using Convolutional Neural Networks. Here we show the entire process of segmentation, since the collection of the samples, passing through pre-processing, training the network, post-processing and results evaluation. We achieved an overall IoU of 0.78, showing the affordability of the approach of nuclei segmentation on Feulgen-stained images. The code is available in: https://github.com/luizbuschetto/feulgen_nuclei_segmentation.


title: Designing spontaneous behavioral switching via chaotic itinerancy

abstract: Chaotic itinerancy is a frequently observed phenomenon in high-dimensional and nonlinear dynamical systems, and it is characterized by the random transitions among multiple quasi-attractors. Several studies have revealed that chaotic itinerancy has been observed in brain activity, and it is considered to play a critical role in the spontaneous, stable behavior generation of animals. Thus, chaotic itinerancy is a topic of great interest, particularly for neurorobotics researchers who wish to understand and implement autonomous behavioral controls for agents. However, it is generally difficult to gain control over high-dimensional nonlinear dynamical systems. Hence, the implementation of chaotic itinerancy has mainly been accomplished heuristically. In this study, we propose a novel way of implementing chaotic itinerancy reproducibly and at will in a generic high-dimensional chaotic system. In particular, we demonstrate that our method enables us to easily design both the trajectories of quasi-attractors and the transition rules among them simply by adjusting the limited number of system parameters and by utilizing the intrinsic high-dimensional chaos. Finally, we quantitatively discuss the validity and scope of application through the results of several numerical experiments.


title: Towards Intelligent Pick and Place Assembly of Individualized Products Using Reinforcement Learning

abstract: Individualized manufacturing is becoming an important approach as a means to fulfill increasingly diverse and specific consumer requirements and expectations. While there are various solutions to the implementation of the manufacturing process, such as additive manufacturing, the subsequent automated assembly remains a challenging task. As an approach to this problem, we aim to teach a collaborative robot to successfully perform pick and place tasks by implementing reinforcement learning. For the assembly of an individualized product in a constantly changing manufacturing environment, the simulated geometric and dynamic parameters will be varied. Using reinforcement learning algorithms capable of meta-learning, the tasks will first be trained in simulation. They will then be performed in a real-world environment where new factors are introduced that were not simulated in training to confirm the robustness of the algorithms. The robot will gain its input data from tactile sensors, area scan cameras, and 3D cameras used to generate heightmaps of the environment and the objects. The selection of machine learning algorithms and hardware components as well as further research questions to realize the outlined production scenario are the results of the presented work.


title: Holistic Specifications for Robust Programs

abstract: Functional specifications describe what program components do: the sufficient conditions to invoke a component's operations. They allow us to reason about the use of components in the closed world setting, where the component interacts with known client code, and where the client code must establish the appropriate pre-conditions before calling into the component. Sufficient conditions are not enough to reason about the use of components in the open world setting, where the component interacts with external code, possibly of unknown provenance, and where the component itself may evolve over time. In this open world setting, we must also consider the necessary} conditions, i.e, what are the conditions without which an effect will not happen. In this paper we propose the language Chainmail for writing holistic specifications that focus on necessary conditions (as well as sufficient conditions). We give a formal semantics for \Chainmail. The core of Chainmail has been mechanised in the Coq proof assistant.


title: Deep regularization and direct training of the inner layers of Neural Networks with Kernel Flows

abstract: We introduce a new regularization method for Artificial Neural Networks (ANNs) based on Kernel Flows (KFs). KFs were introduced as a method for kernel selection in regression/kriging based on the minimization of the loss of accuracy incurred by halving the number of interpolation points in random batches of the dataset. Writing $f_\theta(x) = \big(f^{(n)}_{\theta_n}\circ f^{(n-1)}_{\theta_{n-1}} \circ \dots \circ f^{(1)}_{\theta_1}\big)(x)$ for the functional representation of compositional structure of the ANN, the inner layers outputs $h^{(i)}(x) = \big(f^{(i)}_{\theta_i}\circ f^{(i-1)}_{\theta_{i-1}} \circ \dots \circ f^{(1)}_{\theta_1}\big)(x)$ define a hierarchy of feature maps and kernels $k^{(i)}(x,x')=\exp(- \gamma_i \|h^{(i)}(x)-h^{(i)}(x')\|_2^2)$. When combined with a batch of the dataset these kernels produce KF losses $e_2^{(i)}$ (the $L^2$ regression error incurred by using a random half of the batch to predict the other half) depending on parameters of inner layers $\theta_1,\ldots,\theta_i$ (and $\gamma_i$). The proposed method simply consists in aggregating a subset of these KF losses with a classical output loss. We test the proposed method on CNNs and WRNs without alteration of structure nor output classifier and report reduced test errors, decreased generalization gaps, and increased robustness to distribution shift without significant increase in computational complexity. We suspect that these results might be explained by the fact that while conventional training only employs a linear functional (a generalized moment) of the empirical distribution defined by the dataset and can be prone to trapping in the Neural Tangent Kernel regime (under over-parameterizations), the proposed loss function (defined as a nonlinear functional of the empirical distribution) effectively trains the underlying kernel defined by the CNN beyond regressing the data with that kernel.


title: Gauss-Bonnet-Chern approach to the averaged Universe

abstract: The standard model of cosmology with postulated dark energy and dark matter sources may be considered as a fairly successful fitting model to observational data. However, this model leaves the question of the physical origin of these dark components open. Fully relativistic contributions that act like dark energy on large scales and like dark matter on smaller scales can be found through generalization of the standard model by spatially averaging the inhomogeneous Universe within general relativity. The spatially averaged 3+1 Einstein equations are effective balance equations that need a closure condition. Heading for closure we here explore topological constraints. Results are straightforwardly obtained for averaged 2+1 model universes. For the relevant 3+1 case, we employ a method based on the Gauss-Bonnet-Chern theorem generalized to Lorentzian spacetimes and implement a sandwich approach to obtain spatial average properties. The 3+1 topological approach supplies us with a new equation linking evolution of scalar invariants of the expansion tensor to the norm of the Weyl tensor. From this we derive general evolution equations for averaged scalar curvature and kinematical backreaction, and we discuss related evolution equations on this level of the hierarchy of averaged equations. We also discuss the relation between topological properties of cosmological manifolds and dynamical topology change, e.g. as resulting from the formation of black holes.


title: A planar Ising model of self-organized criticality

abstract: We consider the planar Ising model in a finite square box and we replace the temperature parameter with a function depending on the magnetization. This creates a feedback from the spin configuration onto the parameter, which drives the system towards the critical point. Using the finite-size scaling results of arXiv:0811.4507, we show that, when the size of the box grows to infinity, the temperature concentrates around the critical temperature of the planar Ising model on the square lattice.


title: Multiple Imputation with Denoising Autoencoder using Metamorphic Truth and Imputation Feedback

abstract: Although data may be abundant, complete data is less so, due to missing columns or rows. This missingness undermines the performance of downstream data products that either omit incomplete cases or create derived completed data for subsequent processing. Appropriately managing missing data is required in order to fully exploit and correctly use data. We propose a Multiple Imputation model using Denoising Autoencoders to learn the internal representation of data. Furthermore, we use the novel mechanisms of Metamorphic Truth and Imputation Feedback to maintain statistical integrity of attributes and eliminate bias in the learning process. Our approach explores the effects of imputation on various missingness mechanisms and patterns of missing data, outperforming other methods in many standard test cases.


title: NeuroFabric: Identifying Ideal Topologies for Training A Priori Sparse Networks

abstract: Long training times of deep neural networks are a bottleneck in machine learning research. The major impediment to fast training is the quadratic growth of both memory and compute requirements of dense and convolutional layers with respect to their information bandwidth. Recently, training `a priori' sparse networks has been proposed as a method for allowing layers to retain high information bandwidth, while keeping memory and compute low. However, the choice of which sparse topology should be used in these networks is unclear. In this work, we provide a theoretical foundation for the choice of intra-layer topology. First, we derive a new sparse neural network initialization scheme that allows us to explore the space of very deep sparse networks. Next, we evaluate several topologies and show that seemingly similar topologies can often have a large difference in attainable accuracy. To explain these differences, we develop a data-free heuristic that can evaluate a topology independently from the dataset the network will be trained on. We then derive a set of requirements that make a good topology, and arrive at a single topology that satisfies all of them.


title: Approximating infinite graphs by normal trees

abstract: We show that every connected graph can be approximated by a normal tree, up to some arbitrarily small error phrased in terms of neighbourhoods around its ends. The existence of such approximate normal trees has consequences of both combinatorial and topological nature. On the combinatorial side, we show that a graph has a normal spanning tree as soon as it has normal spanning trees locally at each end; i.e., the only obstruction for a graph to having a normal spanning tree is an end for which none of its neighbourhoods has a normal spanning tree. On the topological side, we show that the end space $\Omega(G)$, as well as the spaces $|G| = G \cup \Omega(G)$ naturally associated with a graph $G$, are always paracompact. This gives unified and short proofs for a number of results by Diestel, Spr\"ussel and Polat, and answers an open question about metrizability of end spaces by Polat.


title: Identifying Invariant Factors Across Multiple Environments with KL Regression

abstract: Many datasets are collected from multiple environments (e.g. different labs, perturbations, etc.), and it is often advantageous to learn models and relations that are invariant across environments. Invariance can improve robustness to unknown confounders and improve generalization to new domains. We develop a novel framework -- KL regression -- to reliably estimate regression coefficients in a challenging multi-environment setting, where latent confounders affect the data from each environment. KL regression is based on a new objective of simultaneously minimizing the KL- divergence between a parametric model and the observed data from each environment. We prove that KL regression recovers the true invariant factors under a flexible confounding setup. Moreover, it is computationally efficient as we derive an analytic solution for its global optimum. In systematic experiments, we validate the improved performance of KL regression compared to commonly used approaches.


title: Note on gravity at the boundary of an AdS vacuum

abstract: In this note, I describe an attempt to construct a phenomenological gravitational model at the boundary of the AdS manifold from the variation of boundary terms in the gravitational action. I find that for an AdS vacuum in the bulk, geometric constraints require that the energy-momentum tensor has constant trace.


title: Algebraic Extension Ring Framework for Non-Commutative Asymmetric Cryptography

abstract: Post-Quantum Cryptography PQC attempts to find cryptographic protocols resistant to attacks using Shors polynomial time algorithm for numerical field problems or Grovers algorithm to find the unique input to a black-box function that produces a particular output value. The use of non-standard algebraic structures like non-commutative or non-associative structures, combined with one-way trapdoor functions derived from combinatorial group theory, are mainly unexplored choices for these new kinds of protocols and overlooked in current PQC solutions. In this paper, we develop an algebraic extension ring framework who could be applied to different asymmetric protocols, i.e. key exchange, key transport, enciphering, digital signature, zero-knowledge authentication, oblivious transfer, secret sharing etc.. A valuable feature is that there is no need for big number libraries as all arithmetic is performed in F256 extension field operations (precisely the AES field). We assume that the new framework is cryptographical secure against strong classical attacks like the sometimes-useful length-based attack, Romankovs linearization attacks and Tsabans algebraic span attack. This statement is based on the non-linear structure of the selected platform which proved to be useful protecting the AES protocol. Otherwise, it could resist post-quantum attacks Grover, Shor and be particularly useful for computational platforms with limited capabilities like USB cryptographic keys or smartcards. Semantic security IND-CCA2 could also be inferred for this new platform.


title: Normalized ground states of the nonlinear Schr\"{o}dinger equation with at least mass critical growth

abstract: We propose a simple minimization method to show the existence of least energy solutions to the normalized problem \begin{cases} -\Delta u + \lambda u = g(u) \quad \mathrm{in} \ \mathbb{R}^N, \ N \geq 3, \\ u \in H^1(\mathbb{R}^N), \\ \int_{\mathbb{R}^N} |u|^2 \, dx = \rho > 0, \end{cases} where $\rho$ is prescribed and $(\lambda, u) \in \mathbb{R} \times H^1 (\mathbb{R}^N)$ is to be determined. The new approach based on the direct minimization of the energy functional on the linear combination of Nehari and Pohozaev constraints is demonstrated, which allows to provide general growth assumptions imposed on $g$. We cover the most known physical examples and nonlinearities with growth considered in the literature so far as well as we admit the mass critical growth at $0$.


title: Schoenberg-Rao distances: Entropy-based and geometry-aware statistical Hilbert distances

abstract: Distances between probability distributions that take into account the geometry of their sample space,like the Wasserstein or the Maximum Mean Discrepancy (MMD) distances have received a lot of attention in machine learning as they can, for instance, be used to compare probability distributions with disjoint supports. In this paper, we study a class of statistical Hilbert distances that we term the Schoenberg-Rao distances, a generalization of the MMD that allows one to consider a broader class of kernels, namely the conditionally negative semi-definite kernels. In particular, we introduce a principled way to construct such kernels and derive novel closed-form distances between mixtures of Gaussian distributions. These distances, derived from the concave Rao's quadratic entropy, enjoy nice theoretical properties and possess interpretable hyperparameters which can be tuned for specific applications. Our method constitutes a practical alternative to Wasserstein distances and we illustrate its efficiency on a broad range of machine learning tasks such as density estimation, generative modeling and mixture simplification.


title: T-Witts from the horizon

abstract: Expanding around null hypersurfaces, such as generic Kerr black hole horizons, using co-rotating Kruskal-Israel-like coordinates we study the associated surface charges, their symmetries and the corresponding phase space within Einstein gravity. Our surface charges are not integrable in general. Their integrable part generates an algebra including superrotations and a BMS_3-type algebra that we dub "T-Witt algebra". The non-integrable part accounts for the flux passing through the null hypersurface. We put our results in the context of earlier constructions of near horizon symmetries, soft hair and of the program to semi-classically identify Kerr black hole microstates.


title: On Adaptive Attacks to Adversarial Example Defenses

abstract: Adaptive attacks have (rightfully) become the de facto standard for evaluating defenses to adversarial examples. We find, however, that typical adaptive evaluations are incomplete. We demonstrate that thirteen defenses recently published at ICLR, ICML and NeurIPS---and chosen for illustrative and pedagogical purposes---can be circumvented despite attempting to perform evaluations using adaptive attacks. While prior evaluation papers focused mainly on the end result---showing that a defense was ineffective---this paper focuses on laying out the methodology and the approach necessary to perform an adaptive attack. We hope that these analyses will serve as guidance on how to properly perform adaptive attacks against defenses to adversarial examples, and thus will allow the community to make further progress in building more robust models.


title: Extracting Semantic Indoor Maps from Occupancy Grids

abstract: The primary challenge for any autonomous system operating in realistic, rather unconstrained scenarios is to manage the complexity and uncertainty of the real world. While it is unclear how exactly humans and other higher animals master these problems, it seems evident, that abstraction plays an important role. The use of abstract concepts allows to define the system behavior on higher levels. In this paper we focus on the semantic mapping of indoor environments. We propose a method to extract an abstracted floor plan from typical grid maps using Bayesian reasoning. The result of this procedure is a probabilistic generative model of the environment defined over abstract concepts. It is well suited for higher-level reasoning and communication purposes. We demonstrate the effectiveness of the approach using real-world data.