title: Oscillations of magnetization in topological line-node semimetals

abstract: We theoretically investigate the phase of the de Haas - van Alphen oscillations in topological line-node semimetals. In these semimetals the chemical potential of charge carriers can essentially depend on the magnetic field, and this dependence changes the phase of the oscillations as compared to the phase in a three-dimensional metal with a band-contact line. Our results elucidate recent experimental data on the Berry phase for certain electron orbits in ZrSiS, ZrSiTe, and ZrSiSe.


title: A Maxwell-vector p-wave holographic superconductor in a particular background AdS black hole metric

abstract: We study the p-wave holographic superconductor for AdS black holes with planar event horizon topology for a particular Lovelock gravity, in which the action is characterized by a self-interacting scalar field nonminimally coupled to the gravity theory which is labeled by an integer $k$. As the Lovelock theory of gravity is the most general metric theory of gravity based on the fundamental assumptions of general relativity, it is a desirable theory to describe the higher dimensional spacetime geometry. The present work is devoted to studying the properties of the p-wave holographic superconductor by including a Maxwell field which nonminimally couples to a complex vector field in a higher dimensional background metric. In the probe limit, we find that the critical temperature decreases with the increase of the index $k$ of the background black hole metric, which shows that a larger $k$ makes it harder for the condensation to form. We also observe that the index $k$ affects the conductivity and the gap frequency of the holographic superconductors.


title: Cellular and WiFi Co-design for 5G User Equipment

abstract: Motivated by providing solutions to design challenges of coexisting cellular and WiFi for future 5G application scenarios, this paper, first, conducts an in-depth investigation of current technological trends of 5G from user equipment (UE) design perspective, and then presents a cost-effective cellular-WiFi design methodology based on the new distributed phased array MIMO (DPA-MIMO) architecture for practical 5G UE devices as an example. Furthermore, additional 5G cellular-WiFi application scenarios and co-operation details within 5G heterogeneous networks are unveiled on top of the said cellular-WiFi co-enabled 5G UE design.


title: Interacting Dark Energy: Possible Explanation for 21-cm Absorption at Cosmic Dawn

abstract: A recent observation points to an excess in the expected 21-cm brightness temperature from cosmic dawn. In this paper, we present an alternative explanation of this phenomenon, an interaction in the dark sector. Interacting dark energy models have been extensively studied recently and there is a whole variety of such in the literature. Here we particularize to a specific model in order to make explicit the effect of an interaction.


title: Spin-orbital-lattice entangled states in cubic $d^1$ double perovskites

abstract: Interplay of spin-orbit coupling and vibronic coupling on heavy $d^1$ site of cubic double perovskites is investigated by ab initio calculations. The stabilization energy of spin-orbital-lattice entangled states is found comparable to or larger than the exchange interactions, suggesting the presence of Jahn-Teller dynamics in the systems. In Ba$_2$YMoO$_6$, the pseudo JT coupling enhances the mixing of the ground and excited spin-orbit multiplet states, which results in strong temperature dependence of effective magnetic moments. The entanglement of the spin and lattice degrees of freedom induces a strong magneto-elastic response. This multiferroic effect is at the origin of the recently reported breaking of local point symmetry accompanying the development of magnetic ordering in Ba$_2$NaOsO$_6$.


title: Dark energy and its manifestations

abstract: In a four dimensional manifold formalism we study the evolutionary behavior as well as the ultimate fate of the universe, in the course of which the contribution of dark energy in these phases are investigated. At one stage we get a situation (a condition) where the dark energy contained dominates other types of energies available in this universe. In the model universes we obtain here the dark energy is found to be of $\Lambda$CDM and quintessence types-which bear testimony to being real universes. In one of the cases where the equation of state between the fluid pressure and density is of the type of the van der Waals equation, it is found that our universe may end in dust. And, also, it is seen that the behavior of the deceleration parameter is almost compatible with the recent observation.


title: Differentiability of SDEs with drifts of super-linear growth

abstract: We close an unexpected gap in the literature of stochastic differential equations (SDEs) with drifts of super linear growth (and random coefficients), namely, we prove Malliavin and Parametric Differentiability of such SDEs. The former is shown by proving Ray Absolute Continuity and Stochastic G\^ateaux Differentiability. This method enables one to take limits in probability rather than mean square which bypasses the potentially non-integrable error terms from the unbounded drift. This issue is strongly linked with the difficulties of the standard methodology from Nualart's 2006 work, Lemma 1.2.3 for this setting. Several examples illustrating the range and scope of our results are presented. We close with parametric differentiability and recover representations linking both derivatives as well as a Bismut-Elworthy-Li formula.


title: Gravitational form factors and decoupling in 2D

abstract: We calculate and analyse non-local gravitational form factors induced by quantum matter fields in curved two-dimensional space. The calculations are performed for scalars, spinors and massive vectors by means of the covariant heat kernel method up to the second order in the curvature and confirmed using Feynman diagrams. The analysis of the ultraviolet (UV) limit reveals a generalized "running" form of the Polyakov action for a nonminimal scalar field and the usual Polyakov action in the conformally invariant cases. In the infrared (IR) we establish the gravitational decoupling theorem, which can be seen directly from the form factors or from the physical beta function for fields of any spin.


title: Graded Identities and Isomorphisms on Algebras of Upper Block-Triangular Matrices

abstract: Let $G$ be an abelian group and $\mathbb{K}$ an algebraically closed field of characteristic zero. A. Valenti and M. Zaicev described the $G$-gradings on upper block-triangular matrix algebras provided that $G$ is finite. We prove that their result holds for any abelian group $G$: any grading is isomorphic to the tensor product $A\otimes B$ of an elementary grading $A$ on an upper block-triangular matrix algebra and a division grading $B$ on a matrix algebra. We then consider the question of whether graded identities $A\otimes B$, where $B$ is an algebra with a division grading, determine $A\otimes B$ up to graded isomorphism. In our main result, Theorem 3, we reduce this question to the case of elementary gradings on upper block-triangular matrix algebras which was previously studied by O. M. Di Vincenzo and E. Spinelli.


title: Study of point- and cluster-defects in radiation-damaged silicon

abstract: Non-ionising energy loss of radiation produces point defects and defect clusters in silicon, which result in a signifcant degradation of sensor performance. In this contribution results from TSC (Thermally Stimulated Current) defect spectroscopy for silicon pad diodes irradiated by electrons to fluences of a few $10^{14}$ cm$^{-2}$ and energies between 3.5 and 27 MeV for isochronal annealing between 80 and 280{\deg}C, are presented. A method based on SRH (Shockley-Read-Hall) statistics is introduced, which assumes that the ionisation energy of the defects in a cluster depends on the fraction of occupied traps. The dfference of ionisation energy of an isolated point defect and a fully occupied cluster, $\Delta E_a$, is extracted from the TSC data. For the VOi (vacancy-oxygen interstitial) defect $\Delta E_a = 0$ is found, which cofirms that it is a point defect, and validates the method for point defects. For clusters made of deep acceptors the $\Delta E_a$ values for different defects are determined after annealing at 80{\deg}C as a function of electron energy, and for the irradiation with 15 MeV electrons as a function of annealing temperature. For the irradiation with 3.5 MeV electrons the value $\Delta E_a = 0$ is found, whereas for the electron energies of 6 to 27 MeV $\Delta E_a > 0$. This agrees with the expected threshold of about 5 MeV for cluster formation by electrons. The $\Delta E_a$ values determined as a function of annealing temperature show that the annealing rate is different for different defects. A naive diffusion model is used to estimate the temperature dependencies of the diffusion of the defects in the clusters.


title: Deja Vu: Motion Prediction in Static Images

abstract: This paper proposes motion prediction in single still images by learning it from a set of videos. The building assumption is that similar motion is characterized by similar appearance. The proposed method learns local motion patterns given a specific appearance and adds the predicted motion in a number of applications. This work (i) introduces a novel method to predict motion from appearance in a single static image, (ii) to that end, extends of the Structured Random Forest with regression derived from first principles, and (iii) shows the value of adding motion predictions in different tasks such as: weak frame-proposals containing unexpected events, action recognition, motion saliency. Illustrative results indicate that motion prediction is not only feasible, but also provides valuable information for a number of applications.


title: Asymmetric kernel in Gaussian Processes for learning target variance

abstract: This work incorporates the multi-modality of the data distribution into a Gaussian Process regression model. We approach the problem from a discriminative perspective by learning, jointly over the training data, the target space variance in the neighborhood of a certain sample through metric learning. We start by using data centers rather than all training samples. Subsequently, each center selects an individualized kernel metric. This enables each center to adjust the kernel space in its vicinity in correspondence with the topology of the targets --- a multi-modal approach. We additionally add descriptiveness by allowing each center to learn a precision matrix. We demonstrate empirically the reliability of the model.


title: Entropy solutions for stochastic porous media equations

abstract: We provide an entropy formulation for porous medium-type equations with a stochastic, non-linear, spatially inhomogeneous forcing. Well - posedness and $L_1$-contraction is obtained in the class of entropy solutions. Our scope allows for porous medium operators $\Delta (|u|^{m-1}u)$ for all $m\in(1,\infty)$, and H\"older continuous diffusion nonlinearity with exponent $1/2$.


title: Spectral analyses of trans- and cis-DOCO transients via comb spectroscopy

abstract: We use time-resolved direct frequency comb spectroscopy in the mid-infrared to obtain high-resolution rovibrational spectra of products produced from the OD+CO reaction. In this work, we present spectral analyses for isotopologues of the transient DOCO radicals from this reaction in the OD stretch region. The analyses were performed with aid of two different theoretical approaches based on both perturbation theory and variational calculations used for prediction of rovibrational spectra of polyatomic molecules. We discuss the advantages and challenges of our current approach for studying spectroscopy and dynamics of transient molecules.


title: AISC: Approximate Instruction Set Computer

abstract: This paper makes the case for a single-ISA heterogeneous computing platform, AISC, where each compute engine (be it a core or an accelerator) supports a different subset of the very same ISA. An ISA subset may not be functionally complete, but the union of the (per compute engine) subsets renders a functionally complete, platform-wide single ISA. Tailoring the microarchitecture of each compute engine to the subset of the ISA that it supports can easily reduce hardware complexity. At the same time, the energy efficiency of computing can improve by exploiting algorithmic noise tolerance: by mapping code sequences that can tolerate (any potential inaccuracy induced by) the incomplete ISA-subsets to the corresponding compute engines.


title: On a question of Swan. With an Appendix by K\k{e}stutis \v{C}esnavi\v{c}ius

abstract: We show that a regular local ring is a filtered inductive limit of regular local rings, essentially of finite type over $\bf Z$. As an application the cohomological purity conjecture is reduced to the complete case.


title: Quenched dynamics and spin-charge separation in an interacting topological lattice

abstract: We analyze the static and dynamical properties of a one-dimensional topological lattice, the fermionic Su-Schrieffer-Heeger model, in the presence of on-site interactions. Based on a study of charge and spin correlation functions, we elucidate the nature of the topological edge modes, which depending on the sign of the interactions, either display particles of opposite spin on opposite edges, or a pair and a holon. This study of correlation functions also highlights the strong entanglement that exists between the opposite edges of the system. This last feature has remarkable consequences upon subjecting the system to a quench, where an instantaneous edge-to-edge signal appears in the correlation functions characterizing the edge modes. Besides, other correlation functions are shown to propagate in the bulk according to the light-cone imposed by the Lieb-Robinson bound. Our study reveals how one-dimensional lattices exhibiting entangled topological edge modes allow for a non-trivial correlation spreading, while providing an accessible platform to detect spin-charge separation using state-of-the-art experimental techniques.


title: Techniques for Shared Resource Management in Systems with Throughput Processors

abstract: The continued growth of the computational capability of throughput processors has made throughput processors the platform of choice for a wide variety of high performance computing applications. Graphics Processing Units (GPUs) are a prime example of throughput processors that can deliver high performance for applications ranging from typical graphics applications to general-purpose data parallel (GPGPU) applications. However, this success has been accompanied by new performance bottlenecks throughout the memory hierarchy of GPU-based systems. We identify and eliminate performance bottlenecks caused by major sources of interference throughout the memory hierarchy. We introduce changes to the memory hierarchy for systems with GPUs that allow the memory hierarchy to be aware of both CPU and GPU applications' characteristics. We introduce mechanisms to dynamically analyze different applications' characteristics and propose four major changes throughout the memory hierarchy. We propose changes to the cache management and memory scheduling mechanisms to mitigate intra-application interference in GPGPU applications. We propose changes to the memory controller design and its scheduling policy to mitigate inter-application interference in heterogeneous CPU-GPU systems. We redesign the MMU and the memory hierarchy in GPUs to be aware of ddress-translation data in order to mitigate the inter-address-space interference. We introduce a hardware-software cooperative technique that modifies the memory allocation policy to enable large page support in order to further reduce the inter-address-space interference at the shared Translation Lookaside Buffer (TLB). Our evaluations show that the GPU-aware cache and memory management techniques proposed in this dissertation are effective at mitigating the interference caused by GPUs on current and future GPU-based systems.


title: On the importance of single directions for generalization

abstract: Despite their ability to memorize large datasets, deep neural networks often achieve good generalization performance. However, the differences between the learned solutions of networks which generalize and those which do not remain unclear. Additionally, the tuning properties of single directions (defined as the activation of a single unit or some linear combination of units in response to some input) have been highlighted, but their importance has not been evaluated. Here, we connect these lines of inquiry to demonstrate that a network's reliance on single directions is a good predictor of its generalization performance, across networks trained on datasets with different fractions of corrupted labels, across ensembles of networks trained on datasets with unmodified labels, across different hyperparameters, and over the course of training. While dropout only regularizes this quantity up to a point, batch normalization implicitly discourages single direction reliance, in part by decreasing the class selectivity of individual units. Finally, we find that class selectivity is a poor predictor of task importance, suggesting not only that networks which generalize well minimize their dependence on individual units by reducing their selectivity, but also that individually selective units may not be necessary for strong network performance.


title: Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code

abstract: Good tools can bring mechanical verification to programs written in mainstream functional languages. We use hs-to-coq to translate significant portions of Haskell's containers library into Coq, and verify it against specifications that we derive from a variety of sources including type class laws, the library's test suite, and interfaces from Coq's standard library. Our work shows that it is feasible to verify mature, widely-used, highly optimized, and unmodified Haskell code. We also learn more about the theory of weight-balanced trees, extend hs-to-coq to handle partiality, and -- since we found no bugs -- attest to the superb quality of well-tested functional code.


title: Enhanced spin-orbit torque via interface engineering in Pt/CoFeB/MgO heterostructures

abstract: Spin-orbit torque facilitates efficient magnetization switching via an in-plane current in perpendicularly magnetized heavy metal/ferromagnet heterostructures. The efficiency of spin-orbit-torque-induced switching is determined by the charge-to-spin conversion arising from either bulk or interfacial spin-orbit interactions, or both. Here, we demonstrate that the spin-orbit torque and the resultant switching efficiency in Pt/CoFeB systems are significantly enhanced by an interfacial modification involving Ti insertion between the Pt and CoFeB layers. Spin pumping and X-ray magnetic circular dichroism experiments reveal that this enhancement is due to an additional interface-generated spin current of the nonmagnetic interface and/or improved spin transparency achieved by suppressing the proximity-induced moment in the Pt layer. Our results demonstrate that interface engineering affords an effective approach to improve spin-orbit torque and thereby magnetization switching efficiency.


title: Featureless: Bypassing feature extraction in action categorization

abstract: This method introduces an efficient manner of learning action categories without the need of feature estimation. The approach starts from low-level values, in a similar style to the successful CNN methods. However, rather than extracting general image features, we learn to predict specific video representations from raw video data. The benefit of such an approach is that at the same computational expense it can predict 2 D video representations as well as 3 D ones, based on motion. The proposed model relies on discriminative Waldboost, which we enhance to a multiclass formulation for the purpose of learning video representations. The suitability of the proposed approach as well as its time efficiency are tested on the UCF11 action recognition dataset.


title: Interpreting Theories without a Spacetime

abstract: In this paper we have two aims: first, to draw attention to the close connexion between interpretation and scientific understanding; second, to give a detailed account of how theories without a spacetime can be interpreted, and so of how they can be understood. In order to do so, we of course need an account of what is meant by a theory `without a spacetime': which we also provide in this paper. We describe three tools, used by physicists, aimed at constructing interpretations which are adequate for the goal of understanding. We analyse examples from high-energy physics illustrating how physicists use these tools to construct interpretations and thereby attain understanding. The examples are: the 't Hooft approximation of gauge theories, random matrix models, causal sets, loop quantum gravity, and group field theory.


title: A modern maximum-likelihood theory for high-dimensional logistic regression

abstract: Every student in statistics or data science learns early on that when the sample size largely exceeds the number of variables, fitting a logistic model produces estimates that are approximately unbiased. Every student also learns that there are formulas to predict the variability of these estimates which are used for the purpose of statistical inference; for instance, to produce p-values for testing the significance of regression coefficients. Although these formulas come from large sample asymptotics, we are often told that we are on reasonably safe grounds when $n$ is large in such a way that $n \ge 5p$ or $n \ge 10p$. This paper shows that this is far from the case, and consequently, inferences routinely produced by common software packages are often unreliable. Consider a logistic model with independent features in which $n$ and $p$ become increasingly large in a fixed ratio. Then we show that (1) the MLE is biased, (2) the variability of the MLE is far greater than classically predicted, and (3) the commonly used likelihood-ratio test (LRT) is not distributed as a chi-square. The bias of the MLE is extremely problematic as it yields completely wrong predictions for the probability of a case based on observed values of the covariates. We develop a new theory, which asymptotically predicts (1) the bias of the MLE, (2) the variability of the MLE, and (3) the distribution of the LRT. We empirically also demonstrate that these predictions are extremely accurate in finite samples. Further, an appealing feature is that these novel predictions depend on the unknown sequence of regression coefficients only through a single scalar, the overall strength of the signal. This suggests very concrete procedures to adjust inference; we describe one such procedure learning a single parameter from data and producing accurate inference


title: The normal hull and commutator group for nonconnected group schemes

abstract: In this short note, we prove that there is a well behaved notion of normal hull for smooth algebraic group schemes over a field and that the commutator group $(G,H)$ is well defined for $H\subset G$ smooth, even when both of them are not connected.


title: Polyglot Semantic Parsing in APIs

abstract: Traditional approaches to semantic parsing (SP) work by training individual models for each available parallel dataset of text-meaning pairs. In this paper, we explore the idea of polyglot semantic translation, or learning semantic parsing models that are trained on multiple datasets and natural languages. In particular, we focus on translating text to code signature representations using the software component datasets of Richardson and Kuhn (2017a,b). The advantage of such models is that they can be used for parsing a wide variety of input natural languages and output programming languages, or mixed input languages, using a single unified model. To facilitate modeling of this type, we develop a novel graph-based decoding framework that achieves state-of-the-art performance on the above datasets, and apply this method to two other benchmark SP tasks.


title: Phenomenology of coupled non linear oscillators

abstract: A recently introduced model of coupled non linear oscillators in a ring is revisited in terms of its information processing capabilities. The use of Lempel-Ziv based entropic measures allows to study thoroughly the complex patterns appearing in the system for different values of the control parameters. Such behaviors, resembling cellular automata, have been characterized both spatially and temporally. Information distance is used to study the stability of the system to perturbations in the initial conditions and in the control parameters. The latter is not an issue in cellular automata theory, where the rules form a numerable set, contrary to the continuous nature of the parameter space in the system studied in this contribution. The variation in the density of the digits, as a function of time is also studied. Local transitions in the control parameter space are also discussed.


title: Bounded error uniformity of the linear flow on the torus

abstract: A linear flow on the torus $\mathbb{R}^d / \mathbb{Z}^d$ is uniformly distributed in the Weyl sense if the direction of the flow has linearly independent coordinates over $\mathbb{Q}$. In this paper we combine Fourier analysis and the subspace theorem of Schmidt to prove bounded error uniformity of linear flows with respect to certain polytopes if, in addition, the coordinates of the direction are all algebraic. In particular, we show that there is no van Aardenne--Ehrenfest type theorem for the mod $1$ discrepancy of continuous curves in any dimension, demonstrating a fundamental difference between continuous and discrete uniform distribution theory.


title: Comparing Dynamics: Deep Neural Networks versus Glassy Systems

abstract: We analyze numerically the training dynamics of deep neural networks (DNN) by using methods developed in statistical physics of glassy systems. The two main issues we address are (1) the complexity of the loss landscape and of the dynamics within it, and (2) to what extent DNNs share similarities with glassy systems. Our findings, obtained for different architectures and datasets, suggest that during the training process the dynamics slows down because of an increasingly large number of flat directions. At large times, when the loss is approaching zero, the system diffuses at the bottom of the landscape. Despite some similarities with the dynamics of mean-field glassy systems, in particular, the absence of barrier crossing, we find distinctive dynamical behaviors in the two cases, showing that the statistical properties of the corresponding loss and energy landscapes are different. In contrast, when the network is under-parametrized we observe a typical glassy behavior, thus suggesting the existence of different phases depending on whether the network is under-parametrized or over-parametrized.


title: Higher symmetries of symplectic Dirac operator

abstract: We construct in projective differential geometry of the real dimension $2$ higher symmetry algebra of the symplectic Dirac operator ${D}\kern-0.5em\raise0.22ex\hbox{/}_s$ acting on symplectic spinors. The higher symmetry differential operators correspond to the solution space of a class of projectively invariant overdetermined operators of arbitrarily high order acting on symmetric tensors. The higher symmetry algebra structure corresponds to a completely prime primitive ideal having as its associated variety the minimal nilpotent orbit of $\mathfrak{sl}(3,{\mathbb{R}})$.

categories: math.DG math-ph math.FA math.MP math.RT math.SG


title: What Doubling Tricks Can and Can't Do for Multi-Armed Bandits

abstract: An online reinforcement learning algorithm is anytime if it does not need to know in advance the horizon T of the experiment. A well-known technique to obtain an anytime algorithm from any non-anytime algorithm is the "Doubling Trick". In the context of adversarial or stochastic multi-armed bandits, the performance of an algorithm is measured by its regret, and we study two families of sequences of growing horizons (geometric and exponential) to generalize previously known results that certain doubling tricks can be used to conserve certain regret bounds. In a broad setting, we prove that a geometric doubling trick can be used to conserve (minimax) bounds in $R\_T = O(\sqrt{T})$ but cannot conserve (distribution-dependent) bounds in $R\_T = O(\log T)$. We give insights as to why exponential doubling tricks may be better, as they conserve bounds in $R\_T = O(\log T)$, and are close to conserving bounds in $R\_T = O(\sqrt{T})$.


title: Taxonomy and Jargon in SETI as an Interdisciplinary Field of Study

abstract: While SETI is often thought of as a part of radio astronomy with optical SETI, artifact SETI, METI, and other approaches to finding intelligent life considered to be allied fields, SETI is better understood as an interdisciplinary field with many subfields, approaches, and components. In particular, Robert Bradbury has argued for a broad view of SETI between two extremes: "orthodox SETI," or radio communication SETI, and a "Dysonian Approach" that searches for the extreme effects of alien life on its environment. Here, I build on these ideas and attempt to organize the terminology and efforts of SETI within a single framework for SETI as an interdisciplinary and multipronged approach.


title: The carbon footprint of distributed cloud storage

abstract: The ICT (Information Communication Technologies) ecosystem is estimated to be responsible, as of today, for 10% of the total worldwide energy demand - equivalent to the combined energy production of Germany and Japan. Cloud storage, mainly operated through large and densely-packed data centers, constitutes a non-negligible part of it. However, since the cloud is a fast-inflating market and the energy-efficiency of data centers is mostly an insensitive issue for the collectivity, its carbon footprint shows no signs of slowing down. In this paper, we analyze a novel paradigm for cloud storage (implemented by Cubbit, http://cubbit.io), in which data are stored and distributed over a network of p2p-interacting ARM-based single-board devices. We compare Cubbit's distributed cloud to the traditional centralized solution in terms of environmental footprint and energy efficiency. We demonstrate that, compared to the centralized cloud, the distributed architecture of Cubbit has a carbon footprint reduced of a 77% factor for data storage and of a 50% factor for data transfers. These results provide an example of how a radical paradigm shift in a large-reach technology can benefit both the final consumer as well as our society as a whole.


title: Quasi boundary triples, self-adjoint extensions, and Robin Laplacians on the half-space

abstract: In this note self-adjoint extensions of symmetric operators are investigated by using the abstract technique of quasi boundary triples and their Weyl functions. The main result is an extension of Theorem 2.6 in [5] which provides sufficient conditions on the parameter in the boundary space to induce self-adjoint realizations. As an example self-adjoint Robin Laplacians on the half-space with boundary conditions involving an unbounded coefficient are considered.


title: Technical Report: When Does Machine Learning FAIL? Generalized Transferability for Evasion and Poisoning Attacks

abstract: Recent results suggest that attacks against supervised machine learning systems are quite effective, while defenses are easily bypassed by new attacks. However, the specifications for machine learning systems currently lack precise adversary definitions, and the existing attacks make diverse, potentially unrealistic assumptions about the strength of the adversary who launches them. We propose the FAIL attacker model, which describes the adversary's knowledge and control along four dimensions. Our model allows us to consider a wide range of weaker adversaries who have limited control and incomplete knowledge of the features, learning algorithms and training instances utilized. To evaluate the utility of the FAIL model, we consider the problem of conducting targeted poisoning attacks in a realistic setting: the crafted poison samples must have clean labels, must be individually and collectively inconspicuous, and must exhibit a generalized form of transferability, defined by the FAIL model. By taking these constraints into account, we design StingRay, a targeted poisoning attack that is practical against 4 machine learning applications, which use 3 different learning algorithms, and can bypass 2 existing defenses. Conversely, we show that a prior evasion attack is less effective under generalized transferability. Such attack evaluations, under the FAIL adversary model, may also suggest promising directions for future defenses.


title: Slope limiting the velocity field in a discontinuous Galerkin divergence free two-phase flow solver

abstract: Solving the Navier-Stokes equations when the density field contains a large sharp discontinuity---such as a water/air free surface---is numerically challenging. Convective instabilities cause Gibbs oscillations which quickly destroy the solution. We investigate the use of slope limiters for the velocity field to overcome this problem in a way that does not compromise on the mass conservation properties. The equations are discretised using the interior penalty discontinuous Galerkin finite element method that is divergence free to machine precision. A slope limiter made specifically for exactly divergence free (solenoidal) fields is presented and used to illustrated the difficulties in obtaining convectively stable fields that are also exactly solenoidal. The lessons learned from this are applied in constructing a simpler method based on the use of an existing scalar slope limiter applied to each velocity component. We show by numerical examples how both presented slope limiting methods are vastly superior to the naive non-limited method. The methods can solve difficult two-phase problems with high density ratios and high Reynolds numbers---typical for marine and offshore water/air simulations---in a way that conserves mass and stops unbounded energy growth caused by the Gibbs phenomenon.


title: Exploiting Hopsets: Improved Distance Oracles for Graphs of Constant Highway Dimension and Beyond

abstract: For fixed $h \geq 2$, we consider the task of adding to a graph $G$ a set of weighted shortcut edges on the same vertex set, such that the length of a shortest $h$-hop path between any pair of vertices in the augmented graph is exactly the same as the original distance between these vertices in $G$. A set of shortcut edges with this property is called an exact $h$-hopset and may be applied in processing distance queries on graph $G$. In particular, a $2$-hopset directly corresponds to a distributed distance oracle known as a hub labeling. In this work, we explore centralized distance oracles based on $3$-hopsets and display their advantages in several practical scenarios. In particular, for graphs of constant highway dimension, and more generally for graphs of constant skeleton dimension, we show that $3$-hopsets require exponentially fewer shortcuts per node than any previously described distance oracle while incurring only a quadratic increase in the query decoding time, and actually offer a speedup when compared to simple oracles based on a direct application of $2$-hopsets. Finally, we consider the problem of computing minimum-size $h$-hopset (for any $h \geq 2$) for a given graph $G$, showing a polylogarithmic-factor approximation for the case of unique shortest path graphs. When $h=3$, for a given bound on the space used by the distance oracle, we provide a construction of hopsets achieving polylog approximation both for space and query time compared to the optimal $3$-hopset oracle given the space bound.


title: Improving Transferability of Adversarial Examples with Input Diversity

abstract: Though CNNs have achieved the state-of-the-art performance on various vision tasks, they are vulnerable to adversarial examples --- crafted by adding human-imperceptible perturbations to clean images. However, most of the existing adversarial attacks only achieve relatively low success rates under the challenging black-box setting, where the attackers have no knowledge of the model structure and parameters. To this end, we propose to improve the transferability of adversarial examples by creating diverse input patterns. Instead of only using the original images to generate adversarial examples, our method applies random transformations to the input images at each iteration. Extensive experiments on ImageNet show that the proposed attack method can generate adversarial examples that transfer much better to different networks than existing baselines. By evaluating our method against top defense solutions and official baselines from NIPS 2017 adversarial competition, the enhanced attack reaches an average success rate of 73.0%, which outperforms the top-1 attack submission in the NIPS competition by a large margin of 6.6%. We hope that our proposed attack strategy can serve as a strong benchmark baseline for evaluating the robustness of networks to adversaries and the effectiveness of different defense methods in the future. Code is available at https://github.com/cihangxie/DI-2-FGSM.


title: Non-Abelian two-form gauge transformation and gauge theories in six dimensions

abstract: A new non-Abelian gauge transformation for two-forms is introduced. Construction is based on a fixed map from the spacetime to the loop space which attachs a closed loop to each point of the spacetime. It is argued that this set-up is consistent with the surface ordering ambiguity which is the main problem to construct the Wilson surface operator for non-Abelian groups. With the aim of the Wilson surface operator, we achieve a non-Abelian gauge transformation for two-forms. We interpret the Dirac operator as a vector field and define a covariant derivative and rederive the gauge transformation of the two-form. At the end, we construct an Abelian interacting gauge theory in six dimensions.


title: Second order ensemble simulation for MHD flow in Els\"asser variable with noisy input data

abstract: We propose, analyze and test a fully discrete, efficient second-order algorithm for computing flow ensembles average of viscous, incompressible, and time-dependent magnetohydrodynamic (MHD) flows under uncertainties in initial conditions. The scheme is decoupled and based on Els\"asser variable formulation. The algorithm uses the breakthrough idea of Jiang and Layton, 2014 to approximate the ensemble average of $J$ realizations. That is, at each time step, each of the $J$ realization shares the same coefficient matrix for different right-hand side matrices. Thus, storage requirements and computational time are reduced by building preconditioners once per time step and reuse them. We prove stability and optimal convergence with respect to the time step restriction. On some manufactured solutions, numerical experiments are given to verify the predicted convergence rates of our analysis. Finally, we test the scheme on a benchmark channel flow over a step and it performs well.


title: Quantitative weighted estimates for the Littlewood-Paley square function and Marcinkiewicz multipliers

abstract: Quantitative weighted estimates are obtained for the Littlewood-Paley square function $S$ associated with a lacunary decomposition of ${\mathbb R}$ and for the Marcinkiewicz multiplier operator. In particular, we find the sharp dependence on $[w]_{A_p}$ for the $L^p(w)$ operator norm of $S$ for $1<p\le 2$.


title: Quantifying coherence with quantum addition

abstract: Quantum addition channels have been recently introduced in the context of deriving entropic power inequalities for finite dimensional quantum systems. We prove a reverse entropy power equality which can be used to analytically prove an inequality conjectured recently for arbitrary dimension and arbitrary addition weight. We show that the relative entropic difference between the output of such a quantum additon channel and the corresponding classical mixture quantitatively captures the amount of coherence present in a quantum system. This new coherence measure admits an upper bound in terms of the relative entropy of coherence and is utilized to formulate a state-dependent uncertainty relation for two observables. Our results may provide deep insights to the origin of quantum coherence for mixed states that truly come from the discrepancy between quantum addition and the classical mixture.


title: $QCD_3$ Dualities and the F-Theorem

abstract: There has recently been a surge of new ideas and results for 2+1 dimensional gauge theories. We consider a recently proposed duality for 2+1 dimensional QCD, which predicts a symmetry-breaking phase. Using the F-theorem, we find bounds on the range of parameters for which the symmetry-breaking phase (and the corresponding duality) can occur. We find exact bounds for an $ SU(2) $ gauge theory, and approximate bounds for an $SU(N) $ gauge theory with $ N>2 $.


title: Robust Optimization for Electricity Generation

abstract: We consider a robust optimization problem in an electric power system under uncertain demand and availability of renewable energy resources. Solving the deterministic alternating current optimal power flow (ACOPF) problem has been considered challenging since the 1960s due to its nonconvexity. Linear approximation of the AC power flow system sees pervasive use, but does not guarantee a physically feasible system configuration. In recent years, various convex relaxation schemes for the ACOPF problem have been investigated, and under some assumptions, a physically feasible solution can be recovered. Based on these convex relaxations, we construct a robust convex optimization problem with recourse to solve for optimal controllable injections (fossil fuel, nuclear, etc.) in electric power systems under uncertainty (renewable energy generation, demand fluctuation, etc.). We propose a cutting-plane method to solve this robust optimization problem, and we establish convergence and other desirable properties. Experimental results indicate that our robust convex relaxation of the ACOPF problem can provide a tight lower bound.


title: The Hessian discretisation method for fourth order linear elliptic equations

abstract: In this paper, we propose a unified framework, the Hessian discretisation method (HDM), which is based on four discrete elements (called altogether a Hessian discretisation) and a few intrinsic indicators of accuracy, independent of the considered model. An error estimate is obtained, using only these intrinsic indicators, when the HDM framework is applied to linear fourth order problems. It is shown that HDM encompasses a large number of numerical methods for fourth order elliptic problems: finite element methods (conforming and non-conforming) as well as finite volume methods. We also use the HDM to design a novel method, based on conforming $\mathbb{P}_1$ finite element space and gradient recovery operators. Results of numerical experiments are presented for this novel scheme and for a finite volume scheme.


title: Search for $\mathrm{t}\overline{\mathrm{t}}$H production in the all-jet final state in proton-proton collisions at $\sqrt{s}=$ 13 TeV

abstract: A search is presented for the associated production of a Higgs boson with a top quark pair in the all-jet final state. Events containing seven or more jets are selected from a sample of proton-proton collisions at $\sqrt{s} =$ 13 TeV collected with the CMS detector at the LHC in 2016, corresponding to an integrated luminosity of 35.9 fb$^{-1}$. To separate the $\mathrm{t}\overline{\mathrm{t}}$H signal from the irreducible $\mathrm{t}\overline{\mathrm{t}}+\mathrm{b}\overline{\mathrm{b}}$ background, the analysis assigns leading order matrix element signal and background probability densities to each event. A likelihood-ratio statistic based on these probability densities is used to extract the signal. The results are provided in terms of an observed $\mathrm{t}\overline{\mathrm{t}}$H signal strength relative to the standard model production cross section $\mu=\sigma/\sigma_\mathrm{SM}$, assuming a Higgs boson mass of 125 GeV. The best fit value is $\hat{\mu} =$ 0.9 $\pm$ 0.7 (stat) $\pm$ 1.3 (syst) = 0.9 $\pm$ 1.5 (tot), and the observed and expected upper limits are, respectively, $\mu <$ 3.8 and $<$ 3.1 at 95% confidence levels.


title: Synthesis of Logical Clifford Operators via Symplectic Geometry

abstract: Quantum error-correcting codes can be used to protect qubits involved in quantum computation. This requires that logical operators acting on protected qubits be translated to physical operators (circuits) acting on physical quantum states. We propose a mathematical framework for synthesizing physical circuits that implement logical Clifford operators for stabilizer codes. Circuit synthesis is enabled by representing the desired physical Clifford operator in $\mathbb{C}^{N \times N}$ as a partial $2m \times 2m$ binary symplectic matrix, where $N = 2^m$. We state and prove two theorems that use symplectic transvections to efficiently enumerate all symplectic matrices that satisfy a system of linear equations. As an important corollary of these results, we prove that for an $[\![ m,m-k ]\!]$ stabilizer code every logical Clifford operator has $2^{k(k+1)/2}$ symplectic solutions. The desired physical circuits are then obtained by decomposing each solution as a product of elementary symplectic matrices. Our assembly of the possible physical realizations enables optimization over them with respect to a suitable metric. Furthermore, we show that any circuit that normalizes the stabilizer of the code can be transformed into a circuit that centralizes the stabilizer, while realizing the same logical operation. Our method of circuit synthesis can be applied to any stabilizer code, and this paper provides a proof of concept synthesis of universal Clifford gates for the $[\![ 6,4,2 ]\!]$ CSS code. We conclude with a classical coding-theoretic perspective for constructing logical Pauli operators for CSS codes. Since our circuit synthesis algorithm builds on the logical Pauli operators for the code, this paper provides a complete framework for constructing all logical Clifford operators for CSS codes. Programs implementing our algorithms can be found at https://github.com/nrenga/symplectic-arxiv18a


title: Maximal Symmetry and Unimodular Solvmanifolds

abstract: Recently, it was shown that Einstein solvmanifolds have maximal symmetry in the sense that their isometry groups contain the isometry groups of any other left-invariant metric on the given Lie group. Such a solvable Lie group is necessarily non-unimodular. In this work we consider unimodular solvable Lie groups and prove that there is always some metric with maximal symmetry. Further, if the group at hand admits a Ricci soliton, then it is the isometry group of the Ricci soliton which is maximal.


title: Numerical Integration on Graphs: where to sample and how to weigh

abstract: Let $G=(V,E,w)$ be a finite, connected graph with weighted edges. We are interested in the problem of finding a subset $W \subset V$ of vertices and weights $a_w$ such that $$ \frac{1}{|V|}\sum_{v \in V}^{}{f(v)} \sim \sum_{w \in W}{a_w f(w)}$$ for functions $f:V \rightarrow \mathbb{R}$ that are `smooth' with respect to the geometry of the graph. The main application are problems where $f$ is known to somehow depend on the underlying graph but is expensive to evaluate on even a single vertex. We prove an inequality showing that the integration problem can be rewritten as a geometric problem (`the optimal packing of heat balls'). We discuss how one would construct approximate solutions of the heat ball packing problem; numerical examples demonstrate the efficiency of the method.


title: Experimental Molecular Communication Testbed Based on Magnetic Nanoparticles in Duct Flow

abstract: Simple and easy to implement testbeds are needed to further advance molecular communication research. To this end, this paper presents an in-vessel molecular communication testbed using magnetic nanoparticles dispersed in an aqueous suspension as they are also used for drug targeting in biotechnology. The transmitter is realized by an electronic pump for injection via a Y-connector. A second pump provides a background flow for signal propagation. For signal reception, we employ a susceptometer, an electronic device including a coil, where the magnetic particles move through and generate an electrical signal. We present experimental results for the transmission of a binary sequence and the system response following a single injection. For this flow-driven particle transport, we propose a simple parameterized mathematical model for evaluating the system response.


title: Jet Substructure at the Large Hadron Collider: Experimental Review

abstract: Jet substructure has emerged to play a central role at the Large Hadron Collider, where it has provided numerous innovative ways to search for new physics and to probe the Standard Model, particularly in extreme regions of phase space. In this article we focus on a review of the development and use of state-of-the-art jet substructure techniques by the ATLAS and CMS experiments.


title: Estimating the intrinsic dimension of datasets by a minimal neighborhood information

abstract: Analyzing large volumes of high-dimensional data is an issue of fundamental importance in data science, molecular simulations and beyond. Several approaches work on the assumption that the important content of a dataset belongs to a manifold whose Intrinsic Dimension (ID) is much lower than the crude large number of coordinates. Such manifold is generally twisted and curved, in addition points on it will be non-uniformly distributed: two factors that make the identification of the ID and its exploitation really hard. Here we propose a new ID estimator using only the distance of the first and the second nearest neighbor of each point in the sample. This extreme minimality enables us to reduce the effects of curvature, of density variation, and the resulting computational cost. The ID estimator is theoretically exact in uniformly distributed datasets, and provides consistent measures in general. When used in combination with block analysis, it allows discriminating the relevant dimensions as a function of the block size. This allows estimating the ID even when the data lie on a manifold perturbed by a high-dimensional noise, a situation often encountered in real world data sets. We demonstrate the usefulness of the approach on molecular simulations and image analysis.


title: Superconductivity at low density near a ferroelectric quantum critical point: doped SrTiO

abstract: Recent experiments on electron- or hole-doped SrTiO$_{3}$ have revealed a hitherto unknown form of superconductivity, where the Fermi energy of the paired electrons is much lower than the energies of the bosonic excitations thought to be responsible for the attractive interaction. We show that this situation requires a fresh look at the problem calling for (i) a systematic modeling of the dynamical screening of the Coulomb interaction by ionic and electronic charges, (ii) a transverse optical phonon mediated pair interaction and (iii) a determination of the energy range over which the pairing takes place. We argue that the latter is essentially given by the limiting energy beyond which quasiparticles cease to be well defined. The model allows to find the transition temperature as a function of both, the doping concentration and the dielectric properties of the host system, in good agreement with experimental data. The additional interaction mediated by the transverse optical soft phonon is shown to be essential in explaining the observed anomalous isotope effect. The model allows to capture the effect of the incipient (or real) ferroelectric phase in pure, or oxygen isotope substituted SrTiO$_{3}$ .


title: Inertial Symmetry Breaking

abstract: We review and expand upon recent work demonstrating that Weyl invariant theories can be broken "inertially," which does not depend upon a potential. This can be understood in a general way by the "current algebra" of these theories, independently of specific Lagrangians. Maintaining the exact Weyl invariance in a renormalized quantum theory can be accomplished by renormalization conditions that refer back to the VEV's of fields in the action. We illustrate the computation of a Weyl invariant Coleman-Weinberg potential that breaks a U(1) symmetry together,with scale invariance.


title: Combined dynamical effects of the bar and spiral arms in a Galaxy model. Application to the solar neighbourhood

abstract: Observational data indicate that the Milky Way is a barred spiral galaxy. Computation facilities and availability of data from Galactic surveys stimulate the appearance of models of the Galactic structure. More efforts to build dynamical models containing both spiral arms and the central bar/bulge are needed. We expand the study of the stellar dynamics in the Galaxy by adding the bar/bulge component to a model with spiral arms introduced in our previous paper. The model is tested by applying it to the solar neighborhood, where observational data are more precise. We model analytically the potential of the Galaxy to derive the force field in its equatorial plane. The model comprises an axisymmetric disc derived from the observable rotation curve, four arms with Gaussian-shaped groove profiles, and a classical elongated/oblate ellipsoidal bar/bulge structure. The parameters describing the bar/bulge are constrained by observations and the stellar dynamics, and their possible limits are determined. A basic model results in a bar of 2.9 kpc in length, with a mass of the order of a few 10$^9M_\odot$. The size and orientation of the bar are also restricted by the position of masers with VLBI distances. The bar's rotation speed is constrained to $\Omega_{\rm bar}<50$ km s$^{-1}$ kpc$^{-1}$ taking into account the allowed mass range. We conclude that our basic model is compatible with observations and with the dynamical constraints. The model explains simultaneously the bulk of the main moving groups, associated here with the spiral corotation resonance, and the Hercules stream, associated with several inner high-order spiral resonances; in particular, with the 8/1 resonance. From the dynamical constraints on the bar's angular speed, it is unlikely that the bar's OLR lies near the solar circle; moreover, its proximity would compromise the stability of the Local Arm structure.


title: Thermodynamics via inducing

abstract: We consider continuous maps $f:X\to X$ on compact metric spaces admitting inducing schemes of hyperbolic type introduced in [15] as well as the induced maps $\tilde{f}:\tilde{X}\to\tilde{X}$ and the associated tower maps $\hat{f}:\hat{X} \to \hat {X}$. For a certain class of potential functions $\varphi$ on $X$, which includes all H\"older continuous functions, we establish thermodynamic formalism for each of the above three systems and we describe some relations between the corresponding equilibrium measures. Furthermore we study ergodic properties of these equilibrium measures including the Bernoulli property, decay of correlations, and the Central Limit Theorem (CLT). Finally, we prove analyticity of the pressure function for the three systems.


title: Comments on the SU(4) dark matter

abstract: We discuss possible scale of $SU(4)$ dark matter, in form of neutral baryons. We argue that it is very likely that those would have time to cluster into large "nuclear drops" in which they are Bose-condensed.


title: A synergistic view of magnetism, chemical activation, and ORR as well as OER catalysis of carbon doped hexagonal boron nitride from first-principles

abstract: Carbon(C) doped hexagonal boron nitride(hBN) has been experimentally reported in recent years to be a possible catalytic host to oxygen reduction reaction(ORR), as well as a possible ferromagnet at room temperature. Substitution by C in hBN has been also reported to form islands of graphene. In this work, we explore from first principles, the connection between these different aspects of C doped hBN. We find formation of graphene islands covering unequal number of B and N sites in hBN to be energetically plausible. They possess a net non-zero magnetic moment and are also found to be substantially more chemically active than their non-magnetic counterparts covering equal number of B and N sites. On-site Coulomb repulsion between electrons, known to be responsible for magnetism in bipartite lattices like graphene and hBN, is also found to play a central role in chemical activation of not only the C atoms at the zigzag interface of magnetic graphene islands and hBN, but also of boron(B) sites in the immediate hBN neighborhood. However, such activated B or C due to substitution at B site, which is energetically more favorable than at N site, has been reported to be unfavorable for ORR. Advantageously, we find that the activation of C at B sites moderates systematically with increasing size of graphene islands, paving the way for abundance of efficient catalytic sites at the edges of magnetic graphene islands covering more B sites than N sites. Accordingly, as an alternate to precious metals for electrodes, we propose a class of graphene-hBN hybrids with lattices of magnetic graphene islands embedded in hBN, which can be metallic.


title: Characterization of High Purity Germanium Point Contact Detectors with Low Net Impurity Concentration

abstract: High Purity germanium point-contact detectors have low energy thresholds and excellent energy resolution over a wide energy range, and are thus widely used in nuclear and particle physics. In rare event searches, such as neutrinoless double beta decay, the point-contact geometry is of particular importance since it allows for pulse-shape discrimination, and therefore for a significant background reduction. In this paper we investigate the pulse-shape discrimination performance of ultra-high purity germanium point contact detectors. It is demonstrated that a minimal net impurity concentration is required to meet the pulse-shape performance requirements.


title: Generalized Rich-Club Ordering in Networks

abstract: Rich-club ordering refers to the tendency of nodes with a high degree to be more interconnected than expected. In this paper we consider the concept of rich-club ordering when generalized to structural measures that differ from the node degree and to non-structural measures (i.e. to node metadata). The differences in considering rich-club ordering (RCO) with respect to both structural and non-structural measures is then discussed in terms of employed coefficients and of appropriate null models (link rewiring vs metadata reshuffling). Once a framework for the evaluation of generalized rich-club ordering (GRCO) is defined, we investigate such a phenomenon in real networks provided with node metadata. By considering different notions of node richness, we compare structural and non-structural rich-club ordering, observing how external information about the network nodes is able to validate the presence of rich-clubs in networked systems.


title: A short survey on Newton polytopes, tropical geometry and ring of conditions of algebraic torus

abstract: The purpose of this note is to give an exposition of some interesting combinatorics and convex geometry concepts that appear in algebraic geometry in relation to counting the number of solutions of a system of polynomial equations in several variables over complex numbers. The exposition is aimed for a general audience in mathematics and we hope to be accessible to undergraduate as well as advance high school students. The topics discussed belong to relatively new, and closely related branches of algebraic geometry which are usually referred to as tropical geometry and toric geometry. These areas make connections between the study of algebra and geometry of polynomials and the combinatorial and convex geometric study of piecewise linear functions. The main results discussed in this note are descriptions of the so-called "ring of conditions" of algebraic torus.


title: Auslander-Reiten $(d+2)$-angles in subcategories and a $(d+2)$-angulated generalisation of a theorem by Br\"uning

abstract: Let $\Phi$ be a finite dimensional algebra over an algebraically closed field $k$ and assume gldim$\,\Phi\leq d$, for some fixed positive integer $d$. For $d=1$, Br\"uning proved that there is a bijection between the wide subcategories of the abelian category mod$\,\Phi$ and those of the triangulated category $\mathcal{D}^b(\text{mod}\Phi)$. Moreover, for a suitable triangulated category $\mathcal{M}$, J{\o}rgensen gave a description of Auslander-Reiten triangles in the extension closed subcategories of $\mathcal{M}$. In this paper, we generalise these results for $d$-abelian and $(d+2)$-angulated categories, where kernels and cokernels are replaced by complexes of $d+1$ objects and triangles are replaced by complexes of $d+2$ objects. The categories are obtained as follows: if $\mathcal{F}\subseteq \text{mod} \Phi$ is a $d$-cluster tilting subcategory, consider $\overline{\mathcal{F}}:=\text{add} \{\Sigma^{id}\mathcal{F}\mid i\in\mathbb{Z} \}\subseteq \mathcal{D}^b(\text{mod}\Phi)$. Then $\mathcal{F}$ is $d$-abelian and plays the role of a higher mod$\,\Phi$ having for higher derived category the $(d+2)$-angulated category $\overline{\mathcal{F}}$.


title: Efficient algorithm to compute the second Chern number in four dimensional systems

abstract: Topological insulators are exotic material that possess conducting surface states protected by the topology of the system. They can be classified in terms of their properties under discrete symmetries and are characterized by topological invariants. The latter has been measured experimentally for several models in one, two and three dimensions in both condensed matter and quantum simulation platforms. The recent progress in quantum simulation opens the road to the simulation of higher dimensional Hamiltonians and in particular of the 4D quantum Hall effect. These systems are characterized by the second Chern number, a topological invariant that appears in the quantization of the transverse conductivity for the non-linear response to both external magnetic and electric fields. This quantity cannot always be computed analytically and there is therefore a need of an algorithm to compute it numerically. In this work, we propose an efficient algorithm to compute the second Chern number in 4D systems. We construct the algorithm with the help of lattice gauge theory and discuss the convergence to the continuous gauge theory. We benchmark the algorithm on several relevant models, including the 4D Dirac Hamiltonian and the 4D quantum Hall effect and verify numerically its rapid convergence.

categories: cond-mat.quant-gas cond-mat.mes-hall cond-mat.str-el quant-ph


title: Capturing photoelectron motion with guiding fictitious particles

abstract: Photoelectron momentum distributions (PMDs) from atoms and molecules undergo qualitative changes as laser parameters are varied. We present a model to interpret the shape of the PMDs. The electron's motion is guided by a fictitious particle in our model, clearly characterizing two distinct dynamical behaviors: direct ionization and rescattering. As laser ellipticity is varied, our model reproduces the bifurcation in the PMDs seen in experiments.


title: Stochastic evolution equations with singular drift and gradient noise via curvature and commutation conditions

abstract: We prove existence and uniqueness of solutions to a nonlinear stochastic evolution equation on the $d$-dimensional torus with singular $p$-Laplace-type or total variation flow-type drift with general sublinear doubling nonlinearities and Gaussian gradient Stratonovich noise with divergence-free coefficients. Assuming a weak defective commutator bound and a curvature-dimension condition, the well-posedness result is obtained in a stochastic variational inequality setup by using resolvent and Dirichlet form methods and an approximative It\^{o}-formula.


title: Observations of one young and three middle-aged $\gamma$-ray pulsars with the Gran Telescopio Canarias

abstract: We used the 10.4m Gran Telescopio Canarias to search for the optical counterparts to four isolated $\gamma$-ray pulsars, all detected in the X-rays by either \xmm\ or \chan\ but not yet in the optical. Three of them are middle-aged pulsars -- PSR\, J1846+0919 (0.36 Myr), PSR\, J2055+2539 (1.2 Myr), PSR\, J2043+2740 (1.2 Myr) -- and one, PSR\, J1907+0602, is a young pulsar (19.5 kyr). For both PSR\, J1907+0602 and PSR\, J2055+2539 we found one object close to the pulsar position. However, in both cases such an object cannot be a viable candidate counterpart to the pulsar. For PSR\, J1907+0602, because it would imply an anomalously red spectrum for the pulsar and for PSR\, J2055+2539 because the pulsar would be unrealistically bright ($r'=20.34\pm0.04$) for the assumed distance and interstellar extinction. For PSR\, J1846+0919, we found no object sufficiently close to the expected position to claim a possible association, whereas for PSR\, J2043+2740 we confirm our previous findings that the object nearest to the pulsar position is an unrelated field star. We used our brightness limits ($g' \approx 27$), the first obtained with a large-aperture telescope for both PSR\, J1846+0919 and PSR\, J2055+2539, to constrain the optical emission properties of these pulsars and investigate the presence of spectral turnovers at low energies in their multi-wavelength spectra.


title: Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets

abstract: For optimal placement and orchestration of network services, it is crucial that their structure and semantics are specified clearly and comprehensively and are available to an orchestrator. Existing specification approaches are either ambiguous or miss important aspects regarding the behavior of virtual network functions (VNFs) forming a service. We propose to formally and unambiguously specify the behavior of these functions and services using Queuing Petri Nets (QPNs). QPNs are an established method that allows to express queuing, synchronization, stochastically distributed processing delays, and changing traffic volume and characteristics at each VNF. With QPNs, multiple VNFs can be connected to complete network services in any structure, even specifying bidirectional network services containing loops. We propose a tool-based workflow that supports the specification of network services and the automatic generation of corresponding simulation code to enable an in-depth analysis of their behavior and performance. In a case study, we show how developers can benefit from analysis insights, e.g., to anticipate the impact of different service configurations. We also discuss how management and orchestration systems can benefit from our clear and comprehensive specification approach and its extensive analysis possibilities, leading to better placement of VNFs and improved Quality of Service.


title: Asymmetric Ejecta of Cool Supergiants and Hypergiants in the Massive Cluster Westerlund 1

abstract: We report new 5.5 GHz radio observations of the massive star cluster Westerlund 1, taken by the Australia Telescope Compact Array, detecting nine of the ten yellow hypergiants (YHGs) and red supergiants (RSGs) within the cluster. Eight of nine sources are spatially resolved. The nebulae associated with the YHGs Wd1-4a, -12a and -265 demonstrate a cometary morphology - the first time this phenomenon has been observed for such stars. This structure is also echoed in the ejecta of the RSGs Wd1-20 and -26; in each case the cometary tails are directed away from the cluster core. The nebular emission around the RSG Wd1-237 is less collimated than these systems but once again appears more prominent in the hemisphere facing the cluster. Considered as a whole, the nebular morphologies provide compelling evidence for sculpting via a physical agent associated with Westerlund 1, such as a cluster wind.


title: Multi-access Edge Computing: The driver behind the wheel of 5G-connected cars

abstract: The automotive and telco industries have taken an investment bet on the connected car market, pushing for the digital transformation of the sector by exploiting recent Information and Communication Technology (ICT) progress. As ICT developments continue, it is expected that the technology advancements will be able to fulfill the sophisticated requirements for vehicular use cases, such as low latency and reliable communications for safety, high computing power to process large amount of sensed data, and increased bandwidth for on-board infotainment. The aforementioned requirements have received significant focus during the ongoing definition of the 3GPP 5G mobile standards, where there has been a drive to facilitate vertical industries such as automotive, in addition to providing the core aspects of the communication infrastructure. Of the technology enablers for 5G, Multi-access Edge Computing (MEC) can be considered essential. That is, a cloud environment located at the edge of the network, in proximity of the end-users and coupled with the service provider's network infrastructure. Even before 5G is rolled out, current mobile networks can already target support for these challenging use cases using MEC technology. This is because MEC is able to fulfill low latency and high bandwidth requirements, and, in addition, it lends itself to be deployed at the vertical industrial sector premises such as road infrastructure, air/sea ports, smart factories, etc., thus, bringing computing power where it is needed most. This work showcases the automotive use cases that are relevant for MEC, providing insights into the technologies specified and investigated by the ETSI MEC Industry Specification Group (ISG), who were the pioneer in creating a standardized computing platform for advanced mobile networks with regards to network edge related use cases.


title: Diffusion and first-passage characteristics on a dynamically evolving support

abstract: We propose a generalized diffusion equation for a flat Euclidean space subjected to a continuous infinitesimal scale transform. For the special cases of an algebraic or exponential expansion/contraction, governed by time-dependent scale factors $a(t)\sim t^\lambda$ and $a(t)\sim \exp(\mu t)$, the partial differential equation is solved analytically and the asymptotic scaling behavior, as well as the dynamical exponents, are derived. Whereas in the algebraic case the two processes (diffusion and expansion) compete and a crossover is observed, we find that for exponential dynamics the expansion dominates on all time scales. For the case of contracting spaces, an algebraic evolution slows down the overall dynamics, reflected in terms of a new effective diffusion constant, whereas an exponential contraction neutralizes the diffusive behavior entirely and leads to a stationary state. Furthermore, we derive various first-passage properties and describe four qualitatively different regimes of (strong) recurrent/transient behavior depending on the scale factor exponent.


title: Radio bearing of sources with directional antennas in urban environment

abstract: This paper focuses on assessing the limitations in the direction-finding process of radio sources with directional antennas in an urbanized environment, demonstrating how signal source antenna parameters, such as beamwidth and maximum radiation direction affect bearing accuracy in non-line-of-sight (NLOS) conditions. These evaluations are based on simulation studies, which use measurement-tested signal processing procedures. These procedures are based on a multi-elliptical propagation model, the geometry of which is related to the environment by the power delay profile or spectrum. The probability density function of the angle of arrival for different parameters of the transmitting antenna is the simulation result. This characteristic allows assessing the effect of the signal source antenna parameters on bearing error. The obtained results are the basis for practical correction bearing error and these show the possibility of improving the efficiency of the radio source location in the urbanized environment.


title: Conditional $\pi$-Phase Shift of Single-Photon-Level Pulses at Room Temperature

abstract: The development of useful photon-photon interactions can trigger numerous breakthroughs in quantum information science, however this has remained a considerable challenge spanning several decades. Here we demonstrate the first room-temperature implementation of large phase shifts ($\approx\pi$) on a single-photon level probe pulse (1.5us) triggered by a simultaneously-propagating few-photon-level signal field. This process is mediated by $Rb^{87}$ vapor in a double-$\Lambda$ atomic configuration. We use homodyne tomography to obtain the quadrature statistics of the phase-shifted quantum fields and perform maximum-likelihood estimation to reconstruct their quantum state in the Fock state basis. For the probe field, we have observed input-output fidelities higher than 90$\%$ for phase-shifted output states, and high overlap (over 90\%) with a theoretically perfect coherent state. Our noise-free, four-wave-mixing-mediated photon-photon interface is a key milestone towards developing quantum logic and nondemolition photon detection using schemes such as coherent photon conversion.


title: Leading Logarithms of the Two Point Function in Massless O(N) and SU(N) Models to any Order from Analyticity and Unitarity

abstract: Leading (large) logarithms in non-renormalizable theories have been investigated in the recent past. Besides some general considerations, explicit results for the expansion coefficients (in terms of leading logarithms) of partial wave amplitudes and of scalar and vector form factors have been given. Analyticity and unitarity constraints haven been used to obtain the expansion coefficients of partial waves in massless theories, yielding form factors and the scalar two-point function to five-loop order in the O(4)/O(3) model. Later, the all order solutions for the partial waves in any O(N+1)/O(N) model were found. Also, results up to four-loop order exist for massive theories. Here we extend the implications of analyticity and unitarity constraints on the leading logarithms to arbitrary loop order in massless theories. We explicitly obtain the scalar and vector form factors as well as to the scalar two-point function in any O(N) and SU(N) type models. We present relations between the expansion coefficients of these quantities and those of of the relevant partial waves. Our work offers a consistency check on the published results in the O(N) models for form factors, and new results for the scalar two-point function. For the SU(N) type models, we use the known expansion coefficients for partial waves to obtain those for scalar and vector form factors as well as for the scalar two-point function. Our results for the form factor offer a check for the known and future results for massive O(N) and SU(N) type models when the massless limit is taken. Mathematica notebooks which can be used to calculate the expansion coefficients are provided as ancillary files.


title: Two-photon interference in the telecom C-band after frequency conversion of photons from remote quantum emitters

abstract: Efficient fiber-based long-distance quantum communication via quantum repeaters relies on deterministic single-photon sources at telecom wavelengths, with the potential to exploit the existing world-wide infrastructures. For upscaling the experimental complexity in quantum networking, two-photon interference (TPI) of remote non-classical emitters in the low-loss telecom bands is of utmost importance. With respect to TPI of distinct emitters, several experiments have been conducted, e.g., using trapped atoms [Beugnon2006], ions [Maunz2007], NV-centers [Bernien2012, Sipahigil2012], SiV-centers [Sipahigil2014], organic molecules [Lettow2010] and semiconductor quantum dots (QDs) [Patel2010, Flagg2010, He2013b, Gold2014, Giesz2015, Thoma2017, Reindl2017, Zopf2017]; however, the spectral range was far from the highly desirable telecom C-band. Here, we report on TPI at 1550 nm between down-converted single photons from remote QDs [Michler2017Book], demonstrating quantum frequency conversion [Zaske2012, Ates2012, Kambs2016] as precise and stable mechanism to erase the frequency difference between independent emitters. On resonance, a TPI-visibility of (29+-3)% has been observed, being only limited by spectral diffusion processes of the individual QDs [Robinson2000, Kuhlmann2015]. Up to 2-km of additional fiber channel has been introduced in both or individual signal paths with no influence on TPI-visibility, proving negligible photon wave-packet distortion. The present experiment is conducted within a local fiber network covering several rooms between two floors of the building. Our studies pave the way to establish long-distance entanglement distribution between remote solid-state emitters including interfaces with various quantum hybrid systems [DeGreve2012,Maring2017,Bock2017,Maring2018].

categories: quant-ph cond-mat.mes-hall physics.app-ph physics.optics


title: Live Target Detection with Deep Learning Neural Network and Unmanned Aerial Vehicle on Android Mobile Device

abstract: This paper describes the stages faced during the development of an Android program which obtains and decodes live images from DJI Phantom 3 Professional Drone and implements certain features of the TensorFlow Android Camera Demo application. Test runs were made and outputs of the application were noted. A lake was classified as seashore, breakwater and pier with the proximities of 24.44%, 21.16% and 12.96% respectfully. The joystick of the UAV controller and laptop keyboard was classified with the proximities of 19.10% and 13.96% respectfully. The laptop monitor was classified as screen, monitor and television with the proximities of 18.77%, 14.76% and 14.00% respectfully. The computer used during the development of this study was classified as notebook and laptop with the proximities of 20.04% and 11.68% respectfully. A tractor parked at a parking lot was classified with the proximity of 12.88%. A group of cars in the same parking lot were classified as sports car, racer and convertible with the proximities of 31.75%, 18.64% and 13.45% respectfully at an inference time of 851ms.


title: Solving coupled problems of lumped parameter models in a platform for severe accidents in nuclear reactors

abstract: This paper focuses on solving coupled problems of lumped parameter models. Such problems are of interest for the simulation of severe accidents in nuclear reactors~: these coarse-grained models allow for fast calculations for statistical analysis used for risk assessment and solutions of large problems when considering the whole severe accident scenario. However, this modeling approach has several numerical flaws. Besides, in this industrial context, computational efficiency is of great importance leading to various numerical constraints. The objective of this research is to analyze the applicability of explicit coupling strategies to solve such coupled problems and to design implicit coupling schemes allowing stable and accurate computations. The proposed schemes are theoretically analyzed and tested within CEA's procor platform on a problem of heat conduction solved with coupled lumped parameter models and coupled 1D models. Numerical results are discussed and allow us to emphasize the benefits of using the designed coupling schemes instead of the usual explicit coupling schemes.


title: A Positive Proportion of Hasse Principle Failures in a Family of Ch\^atelet Surfaces

abstract: We investigate the family of surfaces defined by the affine equation $$Y^2 + Z^2 = (aT^2 + b)(cT^2 +d)$$ where $\vert ad-bc \vert=1$ and develop an asymptotic formula for the frequency of Hasse principle failures. We show that a positive proportion (roughly 23.7%) of such surfaces fail the Hasse principle, by building on previous work of la Bret\`{e}che and Browning.


title: Bayesian design of experiments for intractable likelihood models using coupled auxiliary models and multivariate emulation

abstract: A Bayesian design is given by maximising an expected utility over a design space. The utility is chosen to represent the aim of the experiment and its expectation is taken with respect to all unknowns: responses, parameters and/or models. Although straightforward in principle, there are several challenges to finding Bayesian designs in practice. Firstly, the utility and expected utility are rarely available in closed form and require approximation. Secondly, the design space can be of high-dimensionality. In the case of intractable likelihood models, these problems are compounded by the fact that the likelihood function, whose evaluation is required to approximate the expected utility, is not available in closed form. A strategy is proposed to find Bayesian designs for intractable likelihood models. It relies on the development of an automatic, auxiliary modelling approach, using multivariate Gaussian process emulators, to approximate the likelihood function. This is then combined with a copula-based approach to approximate the marginal likelihood (a quantity commonly required to evaluate many utility functions). These approximations are demonstrated on examples of stochastic process models involving experimental aims of both parameter estimation and model comparison.


title: Observation of Nuclear Quantum Effects and Hydrogen Bond Symmetrisation in High Pressure Ice

abstract: Hydrogen bond symmetrisations in H-bonded systems triggered by pressure induced nuclear quantum effects (NQEs) is a long-known concept1 but experimental evidences in high-pressure ices have remained elusive with conventional methods2,3. Theoretical works predicted quantum-mechanical tunneling of protons within water ices to occur at pressures above 30 GPa and the H-bond symmetrisation transition above 60 GPa4. Here, we used 1H-NMR on high-pressure ice up to 90 GPa, and demonstrate that NQEs govern the behavior of the hydrogen bonded protons in ice VII already at significantly lower pressures than previously expected. A pronounced tunneling mode was found to be present up to the highest pressures of 90 GPa, well into the stability field of ice X, where NQEs are not anticipated in a fully symmetrized H-bond network. We found two distinct transitions in the NMR shift data at about 20 GPa and 75 GPa attributed to the step-wise symmetrization of the H-bond (HB), with high-barrier H-Bonds (HBHB) to low-barrier H-bonds (LBHB) and LBHB to symmetric H-bonds (SHB) respectively. These transitions could have major implication on the physical properties of high-pressure ices and planetary interior models. NQEs observed in this chemically simple system over a wide pressure range could prove to be useful in designing a new generation of electronic devices exploiting protonic tunneling.


title: An efficient algorithm for packing cuts and (2,3)-metrics in a planar graph with three holes

abstract: We consider a planar graph $G$ in which the edges have nonnegative integer lengths such that the length of every cycle of $G$ is even, and three faces are distinguished, called holes in $G$. It is known that there exists a packing of cuts and (2,3)-metrics with nonnegative integer weights in $G$ which realizes the distances within each hole. We develop a strongly polynomial purely combinatorial algorithm to find such a packing.


title: Jumping VaR: Order Statistics Volatility Estimator for Jumps Classification and Market Risk Modeling

abstract: This paper proposes a new integrated variance estimator based on order statistics within the framework of jump-diffusion models. Its ability to disentangle the integrated variance from the total process quadratic variation is confirmed by both simulated and empirical tests. For practical purposes, we introduce an iterative algorithm to estimate the time-varying volatility and the occurred jumps of log-return time series. Such estimates enable the definition of a new market risk model for the Value at Risk forecasting. We show empirically that this procedure outperforms the standard historical simulation method applying standard back-testing approach.


title: The Feasibility and Benefits of In Situ Exploration of `Oumuamua-like objects

abstract: A rapid accumulation of observations and interpretation have followed in the wake of 1I `Oumuamua's passage through the inner Solar System. We briefly outline the consequences that this first detection of an interstellar asteroid implies for the planet-forming process, and we assess the near-term prospects for detecting and observing (both remotely and in situ) future Solar System visitors of this type. Drawing on detailed heat-transfer calculations that take both `Oumuamua's unusual shape and its chaotic tumbling into account, we affirm that the lack of a detectable coma in deep images of the object very likely arises from the presence of a radiation-modified coating of high molecular weight material (rather than a refractory bulk composition). Assuming that `Oumuamua is a typical representative of a larger population with a kinematic distribution similar to Population I stars in the local galactic neighborhood, we calculate expected arrival rates, impact parameters and velocities of similar objects and assess their prospects for detection using operational and forthcoming facilities. Using `Oumuamua as a proof-of-concept, we assess the prospects for missions that intercept interstellar objects (ISOs) using conventional chemical propulsion. Using a "launch on detection" paradigm, we estimate wait times of order 10 years between favorable mission opportunities with the detection capabilities of the Large-Scale Synoptic Survey Telescope (LSST), a figure that will be refined as the population of interstellar asteroids becomes observationally better constrained.


title: Space-filling branes & gaugings

abstract: We consider in any dimension the supersymmetric $\mathbb{Z}_2$ truncations of the maximal supergravity theories. In each dimension and for each truncation we determine all the sets of 1/2-BPS space-filling branes that preserve the supersymmetry of the truncated theory and the representations of the symmetry of such theory to which they belong. We show that in any dimension below eight these sets always contain exotic branes, that are objects that do not have a ten-dimensional origin. We repeat the same analysis for half-maximal theories and for the quarter-maximal theories in four and three dimensions. We then discuss all the possible gaugings of these theories as described in terms of the embedding tensor. In general, the truncation acts on the quadratic constraints of the embedding tensor in such a way that some representations survive the truncation although they are not required by the supersymmetry of the truncated theory. We show that for any theory, among these representations, the highest-dimensional ones are precisely those of the 1/2-BPS space-filling branes that preserve the same supersymmetry of the truncated theory, and we interpret this result as the fact that these quadratic constraints after the truncation become tadpole conditions for such branes.


title: A note on vague convergence of measures

abstract: We propose a new approach to vague convergence of measures based on the general theory of boundedness due to Hu (1966). The article explains how this connects and unifies several frequently used types of vague convergence from the literature. Such an approach allows one to translate already developed results from one type of vague convergence to another. We further analyze the corresponding notion of vague topology and give a new and useful characterization of convergence in distribution of random measures in this topology.


title: Evidence from EXAFS for Different Ta/Ti Site Occupancy in High Critical Current Density Nb$_3$Sn Superconductor Wires

abstract: To meet critical current density, J$_c$, targets for the Future Circular Collider (FCC), the planned replacement for the Large Hadron Collider (LHC), the high field performance of Nb$_3$Sn must be improved, but champion J$_c$ values have remained static for the last 10 years. Making the A15 phase stoichiometric and enhancing the upper critical field H$_{c2}$ by Ti or Ta dopants are the standard strategies for enhancing high field performance but detailed recent studies show that even the best modern wires have broad composition ranges. To assess whether further improvement might be possible, we employed EXAFS to determine the lattice site location of dopants in modern high-performance Nb$_3$Sn strands with J$_c$ values amongst the best so far achieved. Although Ti and Ta primarily occupy the Nb sites in the A15 structure, we also find significant Ta occupancy on the Sn site. These findings indicate that the best performing Ti-doped stand is strongly sub-stoichiometric in Sn and that antisite disorder likely explains its high average H$_{c2}$ behavior. These new results suggest an important role for dopant and antisite disorder in minimizing superconducting property distributions and maximizing high field J$_c$ properties.


title: New superexchange paths due to breathing-enhanced hopping in corner-sharing cuprates

abstract: We present ab initio calculations of the superexchange antiferromagnetic spin coupling $J$ for two cuprates, Sr$_2$CuO$_3$ and La$_2$CuO$_4$. Good agreement with experimental estimates is obtained. We find that $J$ increases substantially as the distance between Cu and apical O is increased. There is an important synergetic effect of the Coulomb interaction, expanding the Cu $3d$ orbital when an electron hops into this orbital, and the O-Cu hopping, being increased by this orbital expansion (breathing). This is a new ingredient in superexchange models. In a model with a fixed basis, breathing effects can be described as a mixing of $3d$ and $4d$ orbitals or as a single $3d \to 4d$ excitation.


title: Brownian Motions on Star Graphs with Non-Local Boundary Conditions

abstract: Brownian motions on star graphs in the sense of It\^o-McKean, that is, Walsh processes admitting a generalized boundary behavior including stickiness and jumps and having an angular distribution with finite support, are examined. Their generators are identified as Laplace operators on the graph subject to non-local Feller-Wentzell boundary conditions. A pathwise description is achieved for every admissible boundary condition: For finite jump measures, a construction of Kostrykin, Potthoff and Schrader in the continuous setting is expanded via a technique of successive killings and revivals; for infinite jump measures, the pathwise solution of It\^o-McKean for the half line is analyzed and extended to the star graph. These processes can then be used as main building blocks for Brownian motions on general metric graphs with non-local boundary conditions.


title: Speckle characterization in a cinematography projection configuration

abstract: Due to high exploitation costs and other environmental issues, it would be desirable to phase out large cinema projection systems based on standard xenon lamps in favor of laser based projection devices. Lasers provide longer lifetime and wider color gamut of light output. But the high degree of coherence of these sources also lead to the formation of granular structures, usually known as speckle. When an imaging system is involved, as in the cinema projection case because of the capacity of the human eye to form an image of the screen, we speak about subjective speckle. In order to remove this spatial random pattern, different methods have been studied as temporal and/or spatial coherence reduction. But most of them can't be used in the context of cinema projection because they don't respect the cinematography projection standard. In our work, we have studied the possibility to reduce the subjective speckle either by changing the coherence of the light source or by studying the influence of the different elements constituting the projection display in the conditions imposed by cinematography industry. Thanks to a lasers array formed by N independant semiconductor lasers, we have measured the evolution of the subjective speckle contrast in function of the number of sources. The resulting contrast discreases as a square root function and reach a saturation level when a light pipe is used. This behavior is directly due to the light pipe which limit at its output the spatial coherence of the source. Futhermore, in a different configuration, we have studied the influence of diffusers and the magnification of the projector zoom. It has been demonstrated that magnification plays an important role on the speckle formation because it increases the coherence length determined by the light pipe. On the contrary, the diffusers placed before the light pipe doesn't change the subjective speckle.


title: A black market for upvotes and likes

abstract: Purpose: This research investigates controversial online marketing techniques that involve buying hundreds or even thousands of upvotes, likes, comments, etc. Methodology: Observation and categorization of 7,426 campaigns posted on the crowdsourcing platform microworkers.com over a 365 day (i.e., yearlong) period were conducted. Hypotheses about the mechanics and effectiveness of these campaigns were established and evaluated. Findings: The campaigns contained a combined 1,856,316 microtasks, 89.7% of which were connected to online promotion. Techniques for search engine manipulation, comment-generating in the scale of tens of thousands, online vote manipulation, mass account creation, methods for covering tracks were discovered. The article presents an assessment of the effectiveness of such campaigns as well as various security challenges created by these campaigns. Research limitations: The observed campaigns form only a small portion of the overall "black market". This is due to invite-only campaigns and the presence of alternative, unobservable platforms. Practical implications: The findings of this article could be input for detecting and avoiding such online campaigns. Social implications: The findings show that in some conditions tremendous levels of manipulation of an online discourse can be achieved with a limited budget. Originality: While there is related work on "follower factories" and "click/troll farms", those entities offer complete "solutions" and their techniques are rather opaque. By investigating a crowdsourcing platform, this research unveils the underlying mechanics and organization of such campaigns. The research is based on a uniquely large number of observations. Small, cheap campaigns, the manipulation of less significant platforms is also included, while the related work tends to focus on mass, politically motivated efforts.


title: Vegas: Software package for the atomistic simulation of magnetic materials

abstract: We present an open-source software package, Vegas, for the atomistic simulation of magnetic materials. Using the classical Heisenberg model and the Monte Carlo Metropolis algorithm, Vegas provides the required tools to simulate and analyze magnetic phenomena of a great variety of systems. Vegas stores the history of the simulation, i.e. the magnetization and energy of the system at every time step, allowing to analyze static and dynamic magnetic phenomena from results obtained in a single simulation. Also, standardized input and output file formats are employed to facilitate the simulation process and the exchange and archiving of data. We include results from simulations performed using Vegas, showing its applicability to study different magnetic phenomena.


title: Factorised spatial representation learning: application in semi-supervised myocardial segmentation

abstract: The success and generalisation of deep learning algorithms heavily depend on learning good feature representations. In medical imaging this entails representing anatomical information, as well as properties related to the specific imaging setting. Anatomical information is required to perform further analysis, whereas imaging information is key to disentangle scanner variability and potential artefacts. The ability to factorise these would allow for training algorithms only on the relevant information according to the task. To date, such factorisation has not been attempted. In this paper, we propose a methodology of latent space factorisation relying on the cycle-consistency principle. As an example application, we consider cardiac MR segmentation, where we separate information related to the myocardium from other features related to imaging and surrounding substructures. We demonstrate the proposed method's utility in a semi-supervised setting: we use very few labelled images together with many unlabelled images to train a myocardium segmentation neural network. Specifically, we achieve comparable performance to fully supervised networks using a fraction of labelled images in experiments on ACDC and a dataset from Edinburgh Imaging Facility QMRI. Code will be made available at https://github.com/agis85/spatial_factorisation.


title: Embedding graphs into two-dimensional simplicial complexes

abstract: We consider the problem of deciding whether an input graph G admits a topological embedding into a two-dimensional simplicial complex C. This problem includes, among others, the embeddability problem of a graph on a surface and the topological crossing number of a graph, but is more general. The problem is NP-complete when C is part of the input, and we give a polynomial-time algorithm if the complex C is fixed. Our strategy is to reduce the problem to an embedding extension problem on a surface, which has the following form: Given a subgraph H' of a graph G', and an embedding of H' on a surface S, can that embedding be extended to an embedding of G' on S? Such problems can be solved, in turn, using a key component in Mohar's algorithm to decide the embeddability of a graph on a fixed surface (STOC 1996, SIAM J. Discr. Math. 1999).