title: Uncertainty Estimates for Ordinal Embeddings

abstract: To investigate objects without a describable notion of distance, one can gather ordinal information by asking triplet comparisons of the form "Is object $x$ closer to $y$ or is $x$ closer to $z$?" In order to learn from such data, the objects are typically embedded in a Euclidean space while satisfying as many triplet comparisons as possible. In this paper, we introduce empirical uncertainty estimates for standard embedding algorithms when few noisy triplets are available, using a bootstrap and a Bayesian approach. In particular, simulations show that these estimates are well calibrated and can serve to select embedding parameters or to quantify uncertainty in scientific applications.


title: On the Laughlin function and its perturbations

abstract: The Laughlin state is an ansatz for the ground state of a system of 2D quantum particles submitted to a strong magnetic field and strong interactions. The two effects conspire to generate strong and very specific correlations between the particles. I present a mathematical approach to the rigidity these correlations display in their response to perturbations. This is an important ingredient in the theory of the fractional quantum Hall effect. The main message is that potentials generated by impurities and residual interactions can be taken into account by generating uncorrelated quasi-holes on top of Laughlin's wave-function. An appendix contains a conjecture (not due to me) that should be regarded as a major open mathematical problem of the field, relating to the spectral gap of a certain zero-range interaction.

categories: math-ph cond-mat.mes-hall cond-mat.str-el math.AP math.MP math.PR


title: Separation between Second Price Auctions with Personalized Reserves and the Revenue Optimal Auction

abstract: What fraction of the single item $n$ buyers setting's expected optimal revenue MyeRev can the second price auction with reserves achieve? In the special case where the buyers' valuation distributions are all drawn i.i.d. and the distributions satisfy the regularity condition, the second price auction with an anonymous reserve (ASP) is the optimal auction itself. As the setting gets more complex, there are established upper bounds on the fraction of MyeRev that ASP can achieve. On the contrary, no such upper bounds are known for the fraction of MyeRev achievable by the second price auction with eager personalized reserves (ESP). In particular, no separation was earlier known between ESP's revenue and MyeRev even in the most general setting of non-identical product distributions that don't satisfy the regularity condition. In this paper we establish the first separation results for ESP: we show that even in the case of distributions drawn i.i.d., but not necessarily satisfying the regularity condition, the ESP cannot achieve more than a $0.778$ fraction of MyeRev in general. Combined with Correa et al.'s result (EC 2017) that ESP can achieve at least a $0.745$ fraction of MyeRev, this nearly bridges the gap between upper and lower bounds on ESP's approximation factor.


title: Interpretable Almost-Matching-Exactly With Instrumental Variables

abstract: Uncertainty in the estimation of the causal effect in observational studies is often due to unmeasured confounding, i.e., the presence of unobserved covariates linking treatments and outcomes. Instrumental Variables (IV) are commonly used to reduce the effects of unmeasured confounding. Existing methods for IV estimation either require strong parametric assumptions, use arbitrary distance metrics, or do not scale well to large datasets. We propose a matching framework for IV in the presence of observed categorical confounders that addresses these weaknesses. Our method first matches units exactly, and then consecutively drops variables to approximately match the remaining units on as many variables as possible. We show that our algorithm constructs better matches than other existing methods on simulated datasets, and we produce interesting results in an application to political canvassing.


title: Structure and dynamics of dynorphin peptide and its receptor

abstract: Dynorphin is a neuropeptide involved in pain, addiction and mood regulation. It exerts its activity by binding to the kappa opioid receptor (KOP) which belongs to the large family of G-protein coupled receptors. The dynorphin peptide was discovered in 1975, while its receptor was cloned in 1993. This review will describe: a) the activities and physiological functions of dynorphin and its receptor, b) early structure-activity relationship studies performed before cloning of the receptor (mostly pharmacological and biophysical studies of peptide analogues), c) structure-activity relationship studies performed after cloning of the receptor via receptor mutagenesis and the development of recombinant receptor expression systems, d) structural biology of the opiate receptors culminating in X-ray structures of the four opioid receptors in their inactive state and structures of MOP and KOP receptors in their active state. X-ray and EM structures are combined with NMR data, which gives complementary insight into receptor and peptide dynamics. Molecular modelling greatly benefited from the availability of atomic resolution 3D structures of receptor-ligand complexes and an example of the strategy used to model a dynorphin-KOP receptor complex using NMR data will be described. These achievements have led to a better understanding of the complex dynamics of KOP receptor activation and to the development of new ligands and drugs.


title: Quantum Electronic Structure at the Interface of Solid Neon and Superfluid Helium

abstract: We predict a new quantum electronic structure at the interface between two condensed phases of noble-gas elements: solid neon and superfluid helium. An excess electron injected onto this interface self-confines its wavefunction into a nanometric dome structure whose size varies with pressure. A collection of such electrons can form a classical Wigner crystal visualizable by mid-infrared photons. The ultralong spin-coherence time allows the electrons in this system to serve as perfect quantum bits. They can be deterministically arranged on-chip at a spacing of several microns. Their spin states can be controlled and readout by single-electron devices. This unique system offers an appealing new architecture for scalable quantum information processing.


title: Inspirational Adversarial Image Generation

abstract: The task of image generation started to receive some attention from artists and designers to inspire them in new creations. However, exploiting the results of deep generative models such as Generative Adversarial Networks can be long and tedious given the lack of existing tools. In this work, we propose a simple strategy to inspire creators with new generations learned from a dataset of their choice, while providing some control on them. We design a simple optimization method to find the optimal latent parameters corresponding to the closest generation to any input inspirational image. Specifically, we allow the generation given an inspirational image of the user choice by performing several optimization steps to recover optimal parameters from the model's latent space. We tested several exploration methods starting with classic gradient descents to gradient-free optimizers. Many gradient-free optimizers just need comparisons (better/worse than another image), so that they can even be used without numerical criterion, without inspirational image, but with only with human preference. Thus, by iterating on one's preferences we could make robust Facial Composite or Fashion Generation algorithms. High resolution of the produced design generations are obtained using progressive growing of GANs. Our results on four datasets of faces, fashion images, and textures show that satisfactory images are effectively retrieved in most cases.


title: A generalized boundary condition applied to Lieb-Schultz-Mattis type ingappabilities and many-body Chern numbers

abstract: We introduce a new boundary condition which renders the flux-insertion argument for the Lieb-Schultz-Mattis type theorems in two or higher dimensions free from the specific choice of system sizes. It also enables a formulation of the Lieb-Schultz-Mattis type theorems in arbitrary dimensions in terms of the anomaly in field theories of $1+1$ dimensions with a bulk correspondence as a BF-theory in 2+1 dimensions. Furthermore, we apply the anomaly-based formulation to the constraints on a half-filled spinless fermion on a square lattice with $\pi$ flux, utilizing time-reversal, the magnetic translation and on-site internal $U(N)$ symmetries. This demonstrates the role of time-reversal anomaly on the ingappabilities of a lattice model.

categories: cond-mat.str-el cond-mat.stat-mech hep-th math-ph math.MP


title: SpliceRadar: A Learned Method For Blind Image Forensics

abstract: Detection and localization of image manipulations like splices are gaining in importance with the easy accessibility of image editing softwares. While detection generates a verdict for an image it provides no insight into the manipulation. Localization helps explain a positive detection by identifying the pixels of the image which have been tampered. We propose a deep learning based method for splice localization without prior knowledge of a test image's camera-model. It comprises a novel approach for learning rich filters and for suppressing image-edges. Additionally, we train our model on a surrogate task of camera model identification, which allows us to leverage large and widely available, unmanipulated, camera-tagged image databases. During inference, we assume that the spliced and host regions come from different camera-models and we segment these regions using a Gaussian-mixture model. Experiments on three test databases demonstrate results on par with and above the state-of-the-art and a good generalization ability to unknown datasets.


title: Gravitational wave and Collider searches for the EWSB patterns

abstract: We study the Electroweak symmetry breaking mechanism with extra Electroweak symmetry breaking contributions (eEWSB) that are bounded by the Fermi constant and limits from the related collider searches. The eEWSB is helpful to build a different zero temperature vacuum structure from the Standard Model (SM), and therefore leads to different Electroweak phase transition patterns at the early Universe. We investigate the collider search prospects and gravitational waves (GW) predictions from the strongly firstly order phase transition (SFOEWPT) in this scenario. The Higgs pair searches at lepton colliders are found to be complementary with the GW searches of the SFOEWPT parameter spaces.


title: Confinement of bosonic and spinning particles in braneworlds

abstract: In this manuscript we study the confinement of bosonic and spinning test particles in smooth Randall-Sundrum models. For this, we show that it is possible to find an effective potential which describe the motion of the particle over the extra dimension. For the bosonic case it is a known fact that free test particles cannot be localized neither in thin nor thick branes. Recently, a coupling to a scalar field has been used to localize a limited range of masses. Up to now, no mechanism has been found that can trap test particles of any mass over the brane. To solve this, we show that a coupling with the dilaton can trap particles of any mass. Next we analyze the spinning particle. The spin variables $\psi^{P}$ introduces an interaction with the curvature Riemann tensor. This introduces a correction to the effective potential. By analyzing it, we find that the spinning particle can be localized at a position different of the brane. We also show that a spinning particle over the brane can escape to infinity. Therefore, we can conclude that free bosonic and spinning particles are not trapped to the brane.


title: A vector leptoquark for the B-physics anomalies from a composite GUT

abstract: A vector leptoquark at the TeV scale, mostly coupled to the fermions of the third generation, is the preferred option to explain the hints of lepton flavor universality violation in the decays of B-mesons. It seems interesting to assume that this leptoquark belongs to the same beyond the Standard Model sector that solves the hierarchy problem, since the third generation of fermions play the leading role in the instability of the Higgs potential. We present a composite Grand Unified Theory with resonances at the TeV that contains the required vector leptoquark and develops the Higgs as a pseudo Nambu-Goldstone boson. We show that anarchic partial compositeness of the Standard Model fermions can accommodate the couplings of Left-handed currents required by the B-anomalies, predicting very small couplings to the Right-handed currents without any additional hypothesis. By making use of an effective theory description of the strong dynamics, in terms of weakly coupled resonances, we are able to compute the corrections to B-physics, as well as the one-loop potential for the pseudo Nambu-Goldstone bosons. The theory has a rich phenomenology and a candidate for dark matter.


title: Evolving Robust Neural Architectures to Defend from Adversarial Attacks

abstract: Neural networks are prone to misclassify slightly modified input images. Recently, many defences have been proposed, but none have improved the robustness of neural networks consistently. Here, we propose to use adversarial attacks as a function evaluation to search for neural architectures that can resist such attacks automatically. Experiments on neural architecture search algorithms from the literature show that although accurate, they are not able to find robust architectures. A significant reason for this lies in their limited search space. By creating a novel neural architecture search with options for dense layers to connect with convolution layers and vice-versa as well as the addition of concatenation layers in the search, we were able to evolve an architecture that is inherently accurate on adversarial samples. Interestingly, this inherent robustness of the evolved architecture rivals state-of-the-art defences such as adversarial training while being trained only on the non-adversarial samples. Moreover, the evolved architecture makes use of some peculiar traits which might be useful for developing even more robust ones. Thus, the results here confirm that more robust architectures exist as well as opens up a new realm of feasibilities for the development and exploration of neural networks. Code available at http://bit.ly/RobustArchitectureSearch.


title: Artificial Intelligence: the global landscape of ethics guidelines

abstract: In the last five years, private companies, research institutions as well as public sector organisations have issued principles and guidelines for ethical AI, yet there is debate about both what constitutes "ethical AI" and which ethical requirements, technical standards and best practices are needed for its realization. To investigate whether a global agreement on these questions is emerging, we mapped and analyzed the current corpus of principles and guidelines on ethical AI. Our results reveal a global convergence emerging around five ethical principles (transparency, justice and fairness, non-maleficence, responsibility and privacy), with substantive divergence in relation to how these principles are interpreted; why they are deemed important; what issue, domain or actors they pertain to; and how they should be implemented. Our findings highlight the importance of integrating guideline-development efforts with substantive ethical analysis and adequate implementation strategies.


title: Airways: Optimization-Based Planning of Quadrotor Trajectories according to High-Level User Goals

abstract: In this paper we propose a computational design tool that al-lows end-users to create advanced quadrotor trajectories witha variety of application scenarios in mind. Our algorithm al-lows novice users to create quadrotor based use-cases withoutrequiring deep knowledge in either quadrotor control or theunderlying constraints of the target domain. To achieve thisgoal we propose an optimization-based method that gener-ates feasible trajectories which can be flown in the real world.Furthermore, the method incorporates high-level human ob-jectives into the planning of flight trajectories. An easy touse 3D design tool allows for quick specification and edit-ing of trajectories as well as for intuitive exploration of theresulting solution space. We demonstrate the utility of our ap-proach in several real-world application scenarios, includingaerial-videography, robotic light-painting and drone racing.


title: The homotopy groups of the {\eta}-periodic motivic sphere spectrum

abstract: We compute the homotopy groups of the {\eta}-periodic motivic sphere spectrum over a finite-dimensional field k with characteristic not 2 and in which -1 a sum of four squares. We also study the general characteristic 0 case and show that the {\eta}-periodic slice spectral sequence over Q determines the {\eta}-periodic slice spectral sequence over all extensions of Q. This leads to a speculation on the role of a "connective Witt-theoretic J-spectrum" in {\eta}-periodic motivic homotopy theory.


title: Reduced-Order Quasilinear Model of Ocean Boundary-Layer Turbulence

abstract: The combined effectiveness of model reduction and the quasilinear approximation for the reproduction of the low-order statistics of oceanic surface boundary-layer turbulence is investigated. Idealized horizontally homogeneous problems of surface-forced thermal convection and Langmuir turbulence are studied in detail. Model reduction is achieved with a Galerkin projection of the governing equations onto an subset of modes determined by proper orthogonal decomposition. For less than 0.2% of the modes retained, the reduced quasilinear model is able to reproduce vertical profiles of horizontal mean fields as well as certain energetically important second-order turbulent transport statistics and energies to within 30% error. For intermediate sizes of the basis truncation some statistics approach those found in the fully nonlinear simulations. Thus basis reduction can actually improve upon the accuracy of quasilinear dynamics. A test model with a small total number of modes demonstrates the non-monotonic convergence toward the correct statistics as the size of the basis is increased.


title: The $\mathcal{N}_3=3\to \mathcal{N}_3=4$ enhancement of Super Chern-Simons theories in $D=3$, Calabi HyperK\"ahler metrics and M2-branes on the $\mathcal{C}(\mathrm{N^{0,1,0}})$ conifold

abstract: Considering matter coupled supersymmetric Chern-Simons theories in three dimensions we extend the Gaiotto-Witten mechanism of supersymmetry enhancement $\mathcal{N}_3=3\to \mathcal{N}_3=4$ from the case where the hypermultiplets span a flat HyperK\"ahler manifold to that where they live on a curved one. We derive the precise conditions of this enhancement in terms of generalized Gaiotto-Witten identities to be satisfied by the tri-holomorphic moment maps. An infinite class of HyperK\"ahler metrics compatible with the enhancement condition is provided by the Calabi metrics on $T^\star \mathbb{P}^{n}$. In this list we find, for $n=2$ the resolution of the metric cone on $\mathrm{N}^{0,1,0}$ which is the unique homogeneous Sasaki Einstein 7-manifold leading to an $\mathcal{N}_4=3$ compactification of M-theory. This leads to challenging perspectives for the discovery of new relations between the enhancement mechanism in $D=3$, the geometry of M2-brane solutions and also for the dual description of super Chern Simons theories on curved HyperK\"ahler manifolds in terms of gauged fixed supergroup Chern Simons theories. The relevant supergroup is in this case $\mathrm{SU(3|N)}$ where $\mathrm{SU(3)}$ is the flavor group and $\mathrm{U(N)}$ is the color group.


title: Density functional perturbation theory for lattice dynamics with fully relativistic ultrasoft pseudopotentials: the magnetic case

abstract: We extend density functional perturbation theory for lattice dynamics with fully relativistic ultrasoft pseudopotentials to magnetic materials. Our approach is based on the application of the time-reversal operator to the Sternheimer linear system and to its self-consistent solutions. Moreover, we discuss how to include in the formalism the symmetry operations of the magnetic point group which require the time-reversal operator. We validate our implementation by comparison with the frozen phonon method in fcc Ni and in a monatomic ferromagnetic Pt wire.


title: Dark matter capture by the Sun: revisiting velocity distribution uncertainties

abstract: Among the different strategies aiming to detect WIMP dark matter (DM), a neutrino signal coming from the Sun would be a smoking gun. This possibility relies on the DM capture by the Sun driven by the local DM distribution assumptions: the local mass density and the velocity distribution. In this context, we revisit those astrophysical hypotheses (also relevant for direct detection). We focus especially on the DM velocity distribution considering different possibilities beyond the popular Maxwellian distribution. Namely, some alternatives can be considered through analytical approaches and by looking into cosmological simulations of spiral galaxies. Most of the fitting formulas used to constrain the local velocity distribution function fail to describe the peak and the high velocity tail of the velocity distribution observed in simulations, the latter being improved when adding the local escape velocity of DM into the benchmark fitting models. In addition we test the predictions by the Eddington inversion method and also illustrate the importance of the galactic dynamical history. We estimate the resulting uncertainties on the DM capture rate by the Sun and conclude that different velocity distributions will affect the capture rate of DM by the Sun up to a $15-20\%$. On top of that, the calculation of the intrinsic variance of the capture rate leads to poorly controlled uncertainties especially for high WIMP masses ($>$30 GeV) raising concerns about the capture scenario.


title: Detection of small changes in medical and random-dot images comparing self-organizing map performance to human detection

abstract: Radiologists use time series of medical images to monitor the progression of a patient condition. They compare information gleaned from sequences of images to gain insight on progression or remission of the lesions, thus evaluating the progress of a patient condition or response to therapy. Visual methods of determining differences between one series of images to another can be subjective or fail to detect very small differences. We propose the use of quantization errors obtained from Self Organizing Maps for image content analysis. We tested this technique with MRI images to which we progressively added synthetic lesions. We have used a global approach that considers changes on the entire image as opposed to changes in segmented lesion regions only. We claim that this approach does not suffer from the limitations imposed by segmentation, which may compromise the results. Results show quantization errors increased with the increase in lesions on the images. The results are also consistent with previous studies using alternative approaches. We then compared the detectability ability of our method to that of human novice observers having to detect very small local differences in random-dot images. The quantization errors of the SOM outputs compared with correct positive rates, after subtraction of false positive rates (guess rates), increased noticeably and consistently with small increases in local dot size that were not detectable by humans. We conclude that our method detects very small changes in complex images and suggest that it could be implemented to assist human operators in image based decision making.


title: Hermitian curvature flow on complex locally homogeneous surfaces

abstract: We study the Hermitian curvature flow of locally homogeneous non-K\"ahler metrics on compact complex surfaces. In particular, we characterize the long-time behavior of the solutions to the flow. We also provide the first example of a compact complex non-K\"ahler manifold admitting a finite time singularity for the Hermitian curvature flow. Finally, we compute the Gromov-Hausdorff limit of immortal solutions after a suitable normalization. Our results follow by a case-by-case analysis of the flow on each complex model geometry.


title: A Comprehensive Examination of the Optical Morphologies of 719 Isolated Galaxies in the AMIGA Sample

abstract: Using images from Sloan Digital Sky Survey Data Release 8, we have re-examined the morphology of 719 galaxies from the Analysis of the interstellar Medium in Isolated GAlaxies (AMIGA) project, a sample consisting of the most isolated galaxies that have yet been identified. The goal is to further improve the classifications of these galaxies by examining them in the context of the Comprehensive de Vaucouleurs revised Hubble-Sandage (CVRHS) system, which includes recognition of features that go beyond the original de Vaucouleurs point of view. Our results confirm previous findings that isolated galaxies are found across the complete revised Hubble sequence, with intermediate to late-type (Sb-Sc) spirals being relatively more common. Elmegreen Arm Classifications are also presented, and show that more than 50% of the 514 spirals in the sample for which an arm class could be judged are grand design (AC 8,9,12). The visual bar fraction for the sample is ~50%, but only 16% are classified as strongly-barred (SB). The dominant family classification is SA (nonbarred), the dominant inner variety classification is (s) (pure spiral), and the dominant outer variety classification is no outer ring, pseudoring, or lens. The Kolmogorov-Smirnov test is used to check for potential biases in the morphological interpretations, and for any possible relation between rings, bars, and arm classes with local environment and far-infrared excess. The connection between morphology and stellar mass is also examined for a subset of the sample.


title: Highly nonlinear functions over finite fields

abstract: We consider a generalisation of a conjecture by Patterson and Wiedemann from 1983 on the Hamming distance of a function from $\mathbb{F}_q^n$ to $\mathbb{F}_q$ to the set of affine functions from $\mathbb{F}_q^n$ to $\mathbb{F}_q$. We prove the conjecture for each $q$ such that the characteristic of $\mathbb{F}_q$ lies in a subset of the primes with density $1$ and we prove the conjecture for all $q$ by assuming the generalised Riemann hypothesis. Roughly speaking, we show the existence of functions for which the distance to the affine functions is maximised when $n$ tends to infinity. This also determines the asymptotic behaviour of the covering radius of the $[q^n,n+1]$ Reed-Muller code over $\mathbb{F}_q$ and so answers a question raised by Leducq in 2013. Our results extend the case $q=2$, which was recently proved by the author and which corresponds to the original conjecture by Patterson and Wiedemann. Our proof combines evaluations of Gauss sums in the semiprimitive case, probabilistic arguments, and methods from discrepancy theory.


title: Horizontal gene transfer: numerical comparison between stochastic and deterministic approaches

abstract: Horizontal gene Transfer (HT) denotes the transmission of genetic material between two living organisms, while the vertical transmission refers to a DNA transfer from parents to their offspring. Consistent experimental evidence report that this phenomenon plays an essential role in the evolution of certain bacterias. In particular, HT is believed to be the main instrument of developing the antibiotic resistance. In this work, we consider several models which describe this phenomenon: a stochastic jump process (individual-based) and the deterministic nonlinear integrod-ifferential equation obtained as a limit for large populations. We also consider a Hamilton-Jacobi equation, obtained as a limit of the deterministic model under the assumption of small mutations. The goal of this paper is to compare these models with the help of numerical simulations. More specifically, our goal is to understand to which extent the Hamilton-Jacobi model reproduces the qualitative behavior of the stochastic model and the phenomenon of evolutionary rescue in particular.


title: Analytical Model of Time-Dependent Ionization in the Envelopes of Type II Supernovae at the Photospheric Phase

abstract: We investigate a simplified kinetic system of the hydrogen atom (two levels plus continuum) under conditions of a type IIP supernova at the plateau phase that realistically describes the basic properties of the complete system. We have found the Lyapunov function for the reduced system using which we have analytically obtained the ionization freeze-out effect on long time scales. Since the system completely recombines in the equilibrium approximation on long time scales, which does not occur in reality, this result confirms the necessity of allowance for the time-dependent effect in the kinetics during the photospheric phase in a supernova explosion.


title: Hyperon-nucleon interaction within chiral effective field theory revisited

abstract: The $\Lambda N$ and $\Sigma N$ interactions are considered at next-to-leading order in SU(3) chiral effective field theory. Different options for the low-energy constants that determine the strength of the contact interactions are explored. Two variants are analysed in detail which yield equivalent results for $\Lambda N$ and $\Sigma N$ scattering observables but differ in the strength of the $\Lambda N \to \Sigma N$ transition potential. The influence of this difference on predictions for light hypernuclei and on the properties of the $\Lambda$ and $\Sigma$ hyperons in nuclear matter is investigated and discussed. The effect of the variation in the potential strength of the $\Lambda N$-$\Sigma N$ coupling (also called $\Lambda -\Sigma$ conversion) is found to be moderate for the considered $^3_\Lambda \rm H$ and $^4_\Lambda \rm He$ hypernuclei but sizable in case of the matter properties. Further, the size of three-body forces and their relation to different approaches to hypernuclear interactions is discussed.


title: Correlation length in random MPS and PEPS

abstract: Tensor network states are used extensively as a mathematically convenient description of physically relevant states of many-body quantum systems. Those built on regular lattices, i.e. matrix product states (MPS) in dimension 1 and projected entangled pair states (PEPS) in dimension 2 or higher, are of particular interest in condensed matter physics. The general goal of this work is to characterize which features of MPS and PEPS are generic and which are, on the contrary, exceptional. This problem can be rephrased as follows: given an MPS or PEPS sampled at random, what are the features that it displays with either high or low probability? One property which we are particularly interested in is that of having either rapidly decaying or long-range correlations. In a nutshell, our main result is that translation-invariant MPS and PEPS typically exhibit exponential decay of correlations at a high rate. We have two distinct ways of getting to this conclusion, depending on the dimensional regime under consideration. Both yield intermediate results which are of independent interest, namely: the parent Hamiltonian and the transfer operator of such MPS and PEPS typically have a large spectral gap. In all these statements, our aim is to get a quantitative estimate of the considered quantity (generic correlation length or spectral gap), which has the best possible dependency on the physical and bond dimensions of the random MPS or PEPS.

categories: quant-ph cond-mat.str-el hep-th math-ph math.MP math.PR


title: Is Life (or at least socio-economic aspects of it) just Spin and Games?

abstract: The enterprise of trying to explain different social and economic phenomena using concepts and ideas drawn from physics has a long history. Statistical mechanics, in particular, has been often seen as most likely to provide the means to achieve this, because it provides a lucid and concrete framework for describing the collective behavior of systems comprising large numbers of interacting entities. Several physicists have, in recent years, attempted to use such tools to throw light on the mechanisms underlying a plethora of socio-economic phenomena. These endeavors have led them to develop a community identity - with their academic enterprise being dubbed as "econophysics" by some. However, the emergence of this field has also exposed several academic fault-lines. Social scientists often regard physics-inspired models, such as those involving spins coupled to each other, as over-simplifications of empirical phenomena. At the same time, while models of rational agents who strategically make choices based on complete information so as to maximize their utility are commonly used in economics, many physicists consider them to be caricatures of reality. We show here that while these contrasting approaches may seem irreconcilable there are in fact many parallels and analogies between them. In addition, we suggest that a new formulation of statistical mechanics may be necessary to permit a complete mapping of the game-theoretic formalism to a statistical physics framework. This may indeed turn out to be the most significant contribution of econophysics.


title: Resonator Networks outperform optimization methods at solving high-dimensional vector factorization

abstract: We develop theoretical foundations of Resonator Networks, a new type of recurrent neural network introduced in Frady et al. (2020) to solve a high-dimensional vector factorization problem arising in Vector Symbolic Architectures. Given a composite vector formed by the Hadamard product between a discrete set of high-dimensional vectors, a Resonator Network can efficiently decompose the composite into these factors. We compare the performance of Resonator Networks against optimization-based methods, including Alternating Least Squares and several gradient-based algorithms, showing that Resonator Networks are superior in several important ways. This advantage is achieved by leveraging a combination of nonlinear dynamics and "searching in superposition," by which estimates of the correct solution are formed from a weighted superposition of all possible solutions. While the alternative methods also search in superposition, the dynamics of Resonator Networks allow them to strike a more effective balance between exploring the solution space and exploiting local information to drive the network toward probable solutions. Resonator Networks are not guaranteed to converge, but within a particular regime they almost always do. In exchange for relaxing this guarantee of global convergence, Resonator Networks are dramatically more effective at finding factorizations than all alternative approaches considered.


title: Finite-dimensional pointed Hopf algebras over finite simple groups of Lie type VI. Suzuki and Ree groups

abstract: We analyse the rack structure of conjugacy classes in simple Suzuki and Ree groups and determine which classes are kthulhu. Combining this results with abelian rack techniques, we show that the only finite-dimensional complex pointed Hopf algebras over the simple Suzuki and Ree groups are their group algebras.


title: Optimizing for Aesthetically Pleasing Quadrotor Camera Motion

abstract: In this paper we first contribute a large scale online study (N=400) to better understand aesthetic perception of aerial video. The results indicate that it is paramount to optimize smoothness of trajectories across all keyframes. However, for experts timing control remains an essential tool. Satisfying this dual goal is technically challenging because it requires giving up desirable properties in the optimization formulation. Second, informed by this study we propose a method that optimizes positional and temporal reference fit jointly. This allows to generate globally smooth trajectories, while retaining user control over reference timings. The formulation is posed as a variable, infinite horizon, contour-following algorithm. Finally, a comparative lab study indicates that our optimization scheme outperforms the state-of-the-art in terms of perceived usability and preference of resulting videos. For novices our method produces smoother and better looking results and also experts benefit from generated timings.


title: On amplitudes, resonances and the ultraviolet completion of gravity

abstract: This letter constructs, making use of the on-shell spinor-helicity formalism, a possible ultraviolet completion of gravity following a "bottom-up" approach. The assumptions of locality, unitarity and causality i) require an infinite tower of resonances with increasing spin and quantized mass, ii) introduce a duality relation among crossed scattering channels, and iii) dress all gravitational amplitudes in the Standard Model with a form factor that closely resembles either the Veneziano or the Virasoro-Shapiro amplitude in string theory. As a consequence of unitarity, the theory predicts leading order deviations from General Relativity in the coupling of gravity to fermions that could be explained if space-time has torsion in addition to curvature.


title: Magnetic proximity effect induced FMR frequency enhancement in {Py/FeMn} bilayers

abstract: Ferromagnetic resonance (FMR) in exchange-coupled ferromagnet-antiferromagnet (FM/AFM) bilayers commonly shows a moderate increase in the resonance frequency owing to the induced unidirectional anisotropy. Here we report a large FMR frequency enhancement toward the sub-THz range observed in Py/FeMn with ultrathin AFM FeMn. The effect is connected with a sizable induced magnetic moment in FeMn caused by the magnetic proximity effect from the Py layer. The observed FMR properties are explained as due to the competing intrinsic antiferromagnetic order and the ferromagnetic proximity effect in nanometer thin FeMn. Our results show that combining materials with strong and weak anti/ferromagnetic ordering can potentially close the notoriously difficult GHz-THz gap important for high-speed spintronic applications.


title: On verbally closed subgroups of free solvable groups

abstract: We study verbally closed subgroups of free solvable groups. A number of results is proved that give sufficient conditions under whose a verbally closed subgroup is turned to be a retract and so algebraically closed of the full group.


title: Towards a taxonomy of atlases and of morphisms between them

abstract: Manifolds and fiber bundles, while superficially different, have strong parallels; in particular, they are both defined in terms of equivalence classes of atlases or in terms of maximal atlases, with the atlases treated as mere adjuncts. This paper presents a unified view of atlases for manifolds and fiber bundles as mathematical entities in their own right. It defines some convenient notation, defines categories of atlases and defines functors among them. The paper "Local Coordinate Spaces: a proposed unification of manifolds with fiber bundles, and associated machinery" (Arxiv:1801.05775) introduced some of the ideas presented here, but many of the details are not needed there. This paper fleshes out the concepts in more detail than would be relevant there.


title: On the Sparseness of Certain MRD Codes

abstract: We determine the proportion of $[3\times 3;3]$-MRD codes over ${\mathbb F}_q$ within the space of all $3$-dimensional $3\times3$-rank-metric codes over the same field. This shows that for these parameters MRD codes are sparse in the sense that the proportion tends to $0$ as $q\rightarrow\infty$. This is so far the only parameter case for which MRD codes are known to be sparse. The computation is accomplished by reducing the space of all such rank-metric codes to a space of specific bases and subsequently making use of a result by Menichetti (1973) on 3-dimensional semifields.


title: $\Gamma$- convergence and homogenisation for a class of degenerate functionals

abstract: This paper is on $\Gamma$-convergence for degenerate integral functionals related to homogenisation problems in the Heisenberg group. Here both the rescaling and the notion of invariance or periodicity are chosen in a way motivated by the geometry of the Heisenberg group. Without using special geometric features, these functionals would be neither coercive nor periodic, so classic results do not apply. All the results apply to the more general case of Carnot groups.


title: Simple maximum-principle preserving time-stepping methods for time-fractional Allen-Cahn equation

abstract: Two fast L1 time-stepping methods, including the backward Euler and stabilized semi-implicit schemes, are suggested for the time-fractional Allen-Cahn equation with Caputo's derivative. The time mesh is refined near the initial time to resolve the intrinsically initial singularity of solution, and unequal time-steps are always incorporated into our approaches so that an adaptive time-stepping strategy can be used in long-time simulations. It is shown that the proposed schemes using the fast L1 formula preserve the discrete maximum principle. Sharp error estimates reflecting the time regularity of solution are established by applying the discrete fractional Gr\"{o}nwall inequality and global consistency analysis. Numerical experiments are presented to show the effectiveness of our methods and to confirm our analysis.


title: Kinetic Control of Morphology and Composition in Ge/GeSn Core/Shell Nanowires

abstract: The growth of Sn-rich group-IV semiconductors at the nanoscale provides new paths for understanding the fundamental properties of metastable GeSn alloys. Here, we demonstrate the effect of the growth conditions on the morphology and composition of Ge/GeSn core/shell nanowires by correlating the experimental observations with a theoretical interpretation based on a multi-scale approach. We show that the cross-sectional morphology of Ge/GeSn core/shell nanowires changes from hexagonal to dodecagonal upon increasing the supply of the Sn precursor. This transformation strongly influences the Sn distribution as a higher Sn content is measured under the {112} growth front. Ab-initio DFT calculations provide an atomic-scale explanation by showing that Sn incorporation is favored at the {112} surfaces, where the Ge bonds are tensile-strained. A phase-field continuum model was developed to reproduce the morphological transformation and the Sn distribution within the wire, shedding light on the complex growth mechanism and unveiling the relation between segregation and faceting. The tunability of the photoluminescence emission with the change in composition and morphology of the GeSn shell highlights the potential of the core/shell nanowire system for opto-electronic devices operating at mid-infrared wavelengths.


title: Demonstration-Guided Deep Reinforcement Learning of Control Policies for Dexterous Human-Robot Interaction

abstract: In this paper, we propose a method for training control policies for human-robot interactions such as handshakes or hand claps via Deep Reinforcement Learning. The policy controls a humanoid Shadow Dexterous Hand, attached to a robot arm. We propose a parameterizable multi-objective reward function that allows learning of a variety of interactions without changing the reward structure. The parameters of the reward function are estimated directly from motion capture data of human-human interactions in order to produce policies that are perceived as being natural and human-like by observers. We evaluate our method on three significantly different hand interactions: handshake, hand clap and finger touch. We provide detailed analysis of the proposed reward function and the resulting policies and conduct a large-scale user study, indicating that our policy produces natural looking motions.


title: The shearing sheet and swing amplification revisited

abstract: The principal results of the classic analysis of the shearing sheet and swing amplification by Julian & Toomre (1966) are re-derived in a more accessible way and then used to gain a better quantitative understanding of the dynamics of stellar discs. The axisymmetric limit of the shearing sheet is derived and used to re-derive Kalnajs' 1965 dispersion relation and Toomre's 1964 stability criterion for axisymmetric disturbances. Using the shearing sheet to revisit Toomre's important 1969 paper on the group velocity implied by Lin-Shu-Kalnajs dispersion relation, we discover that two rather than one wavepackets emerges inside corotation: one each side of the inner Lindblad resonance. Although LSK dispersion relation provides useful interpretations of both wavepackets, the shearing sheet highlights the limitations of the LSK approach to disc dynamics. Disturbances by no means avoid an annulus around corotation, as the LSK dispersion relation implies. While disturbances of the shearing sheet have a limited life in real space, they live on much longer in velocity space, which Gaia allows us to probe extensively. C++ code is provided to facilitate applications of winding spiral waves.


title: Dark sectors with dynamical coupling

abstract: Coupled dark matter-dark energy scenarios are modeled via a dimensionless parameter $\xi$, which controls the strength of their interaction. While this coupling is commonly assumed to be constant, there is no underlying physical law or symmetry that forbids a time-dependent $\xi$ parameter. The most general and complete interacting scenarios between the two dark sectors should therefore allow for such a possibility, and it is the main purpose of this study to constrain two possible and well-motivated coupled cosmologies by means of the most recent and accurate early and late-time universe observations. We find that CMB data alone prefers $\xi(z) >0$ and therefore a smaller amount of dark matter, alleviating some crucial and well-known cosmological data tensions. An objective assessment of the Bayesian evidence for the coupled models explored here shows no particular preference for the presence of a dynamical dark sector coupling.


title: Creating and Controlling Complex Light

abstract: Random light fields -- commonly known as speckles -- demonstrate Rayleigh intensity statistics and only possess local correlations: which occur within the individual speckle grains. In this work, we develop an experimental method for customizing the intensity probability density function (PDF) of speckle patterns while simultaneously introducing non-local spatial correlations among the speckle grains. The various families of tailored speckle patterns -- created by our method -- can exhibit radically different topologies, statistics, and variable degrees of spatial order. Irrespective of their distinct statistical properties, however, all of these speckles are created by appropriately encoding high-order correlations into the phase front of a monochromatic laser beam with a spatial light modulator. In addition to our experimental demonstration, we explore both the theoretical and practical limitations on the extent to which the intensity PDF and the spatial intensity correlations can be manipulated concurrently in a speckle pattern. This work provides a versatile methodology for creating complex light fields and controlling their statistical properties with varied applications in microscopy, imaging, and optical manipulation.


title: Global $L^\infty$-bounds and long-time behavior of a diffusive epidemic system in heterogeneous environment

abstract: In this paper, we are concerned with an epidemic reaction-diffusion system with nonlinear incidence mechanism of the form $S^qI^p\,(p,\,q>0)$. The coefficients of the system are spatially heterogeneous and time dependent (particularly time periodic). We first establish the $L^\infty$-bounds of the solutions of a class of systems, which improve some previous results in [58]. Based on such estimates, we then study the long-time behavior of the solutions of the system. Our results reveal the delicate effect of the infection mechanism, transmission rate, recovery rate and disease-induced mortality rate on the infection dynamics. Our analysis can be adapted to some other types of infection incidence mechanisms.


title: Efficient algorithms for modifying and sampling from a categorical distribution

abstract: Probabilistic programming languages and other machine learning applications often require samples to be generated from a categorical distribution where the probability of each one of $n$ categories is specified as a parameter. If the parameters are hyper-parameters then they need to be modified, however, current implementations of categorical distributions take $\mathcal{O}(n)$ time to modify a parameter. If $n$ is large and the parameters are being frequently modified, this can become prohibitive. Here we present the insight that a Huffman tree is an efficient data structure for representing categorical distributions and present algorithms to generate samples as well as add, delete and modify categories in $\mathcal{O}(\log(n))$ time. We demonstrate that the time to sample from the distribution remains, in practice, within a few percent of the theoretical optimal value. The same algorithm may also be useful in the context of adaptive Huffman coding where computational efficiency is important.


title: Quantum walks as mathematical foundation for quantum gates

abstract: It is demonstrated that in gate-based quantum computing architectures quantum walk is a natural mathematical description of quantum gates. It originates from field-matter interaction driving the system, but is not attached to specific qubit designs and can be formulated for very general field-matter interactions. It is shown that, most generally, gates are described by a set of coined quantum walks. Rotating wave and resonant approximations for field-matter interaction simplify the walks, factorizing the coin, and leading to pure continuous time quantum walk description. The walks reside on a graph formed by the Hilbert space of all involved qubits and auxiliary states, if present. Physical interactions between different parts of the system necessary to propagate entanglement through such graph -- quantum network -- enter via reduction of symmetries in graph edges. Description for several single- and two-qubit gates are given as examples.


title: The force-free dipole magnetosphere in non-linear electrodynamics

abstract: Quantum electrodynamics (QED) effects may be included in physical processes of magnetar and pulsar magnetospheres with strong magnetic fields. Involving the quantum corrections, the Maxwell electrodynamics is modified to non-linear electrodynamics. In this work, we study the force-free magnetosphere in non-linear electrodynamics in a general framework. The pulsar equation describing a steady and axisymmetric magnetosphere is derived, which now admits solutions with corrections. We derive the first-order non-linear corrections to the near-zone dipole magnetosphere in some popular non-linear effective theories. The field lines of the corrected dipole tend to converge on the rotational axis so that the fields in the polar region are stronger compared to the pure dipole case.


title: Free-fall Rainbow BTZ Black Hole

abstract: Doubly special relativity (DSR) is an effective model for encoding quantum gravity in flat spacetime. To incorporate DSR into general relativity, one could use "Gravity's rainbow", where the spacetime background felt by a test particle would depend on its energy. For a black hole, there are two natural orthonormal frames, the stationary one hovering above it and freely falling one along geodesics. Since the rainbow metric is the metric that the radiated particles "see", a more natural orthonormal frame is the one anchored to the particles. And the cases with the stationary orthonormal frame have been extensively studied in the literature. In this paper, we investigate properties of rainbow BTZ black holes in the scenario with the free-fall orthonormal frame. We first review the thermodynamic properties of a BTZ black hole. Furthermore, we obtain the Free-fall (FF) rainbow BTZ black hole and then calculate its Hawking temperature via the Hamilton-Jacobi method. Finally, we discuss the thermodynamic properties of a FF stationary rainbow BTZ black hole .


title: Turbulent effects through quasi-rectification

abstract: This article introduces a physically realistic model for explaining how electromagnetic waves can be internally generated, propagate and interact in strongly magnetized plasmas or in nuclear magnetic resonance experiments. It studies high frequency solutions of nonlinear hyperbolic equations for time scales at which dispersive and nonlinear effects can be present in the leading term of the solutions. It explains how the produced waves can accumulate during long times to produce constructive and destructive interferences which, in the above contexts, are part of turbulent effects.


title: A three-dimensional superconformal quantum mechanics with $sl(2|1)$ dynamical symmetry

abstract: We construct a three-dimensional superconformal quantum mechanics (and its associated de Alfaro-Fubini-Furlan deformed oscillator) possessing an $sl(2|1)$ dynamical symmetry. At a coupling parameter $\beta\neq 0$ the Hamiltonian contains a $\frac{1}{r^2}$ potential and a spin-orbit (hence, a first-order differential operator) interacting term. At $\beta=0$ four copies of undeformed three-dimensional oscillators are recovered. The Hamiltonian gets diagonalized in each sector of total $j$ and orbital $l$ angular momentum (the spin of the system is $\frac{1}{2}$). The Hilbert space of the deformed oscillator is given by a direct sum of $sl(2|1)$ lowest weight representations. The selection of the admissible Hilbert spaces at given values of the coupling constant $\beta$ is discussed. The spectrum of the model is computed. The vacuum energy (as a function of $\beta$) consists of a recursive zigzag pattern. The degeneracy of the energy eigenvalues grows linearly up to $E\sim \beta$ (in proper units) and quadratically for $E>\beta$. The orthonormal energy eigenstates are expressed in terms of the associated Laguerre polynomials and the spin spherical harmonics. The dimensional reduction of the model to $d=2$ produces two copies (for $\beta$ and $-\beta$, respectively) of the two-dimensional $sl(2|1)$ deformed oscillator. The dimensional reduction to $d=1$ produces the one-dimensional $D(2,1;\alpha)$ deformed oscillator, with $\alpha$ determined by $\beta$.


title: The DREAMS Project: Improving the Intensive Care Patient Experience with Virtual Reality

abstract: Purpose: Preliminarily evaluate the feasibility and efficacy of using meditative virtual reality (VR) to improve the hospital experience of intensive care unit (ICU) patients. Methods: Effects of VR were examined in a non-randomized, single-center cohort. Fifty-nine patients admitted to the surgical or trauma ICU of the University of Florida Health Shands Hospital participated. A Google Daydream headset was used to expose ICU patients to commercially available VR applications focused on calmness and relaxation (Google Spotlight Stories and RelaxVR). Sessions were conducted once daily for up to seven days. Outcome measures included pain level, anxiety, depression, medication administration, sleep quality, heart rate, respiratory rate, blood pressure, delirium status, and patient ratings of the VR system. Comparisons were made using paired t-tests and mixed models where appropriate. Results: The VR meditative intervention was found to improve patients' ICU experience with reduced levels of anxiety and depression; however, there was no evidence suggesting that VR had any significant effects on physiological measures, pain, or sleep. Conclusion: The use of VR technology in the ICU was shown to be easily implemented and well-received by patients.


title: Classical limit for Dirac fermions with modified action in the presence of the black hole

abstract: We consider the model of Dirac fermions coupled to gravity as proposed in \cite{VolovikBH}, in which superluminal velocities of particles are admitted. In this model an extra term is added to the conventional Hamiltonian that originates from Planck physics. Due to this term a closed Fermi surface is formed in equilibrium inside the black hole. In this paper we propose the covariant formulation of this model and analyse its classical limit. We consider the dynamics of gravitational collapse. It appears that the Einstein equations admit a solution identical to that of the ordinary general relativity. Next, we consider motion of particles in the presence of the black hole. Numerical solutions of the equations of motion are found which demonstrate that the particles are able to escape from the black hole.


title: InAs quantum dot in a needlelike tapered InP nanowire: a telecom band single photon source monolithically grown on silicon

abstract: Realizing single photon sources emitting in the telecom band on silicon substrates is essential to reach complementary-metal-oxide-semiconductor (CMOS) compatible devices that secure communications over long distances. In this work, we propose the monolithic growth of needlelike tapered InAs/InP quantum dot-nanowires (QD-NWs) on silicon substrates with a small taper angle and a nanowire diameter tailored to support a single mode waveguide. Such a NW geometry is obtained by a controlled balance over axial and radial growths during the gold-catalyzed growth of the NWs by molecular beam epitaxy. This allows us to investigate the impact of the taper angle on the emission properties of a single InAs/InP QD-NW. At room temperature, a Gaussian far-field emission profile in the telecom O-band with a 30{\deg} beam divergence angle is demonstrated from a single InAs QD embedded in a 2{\deg} tapered InP NW. Moreover, single photon emission is observed at cryogenic temperature for an off-resonant excitation and the best result, $g^2(0) = 0.05$, is obtained for a 7{\deg} tapered NW. This all-encompassing study paves the way for the monolithic growth on silicon of an efficient single photon source in the telecom band based on InAs/InP QD-NWs.


title: The minimal observable clade size of exchangeable coalescents

abstract: For $\Lambda$-$n$-coalescents with mutation, we analyse the size $O_n$ of the partition block of $i\in\{1,\ldots,n\}$ at the time where the first mutation appears on the tree that affects $i$ and is shared with any other $j\in\{1,\ldots,n\}$. We provide asymptotics of $O_n$ for $n\to\infty$ and a recursion for all moments of $O_n$ for finite $n$. This variable gives an upper bound for the minimal clade size [2], which is not observable in real data. In applications to genetics, it has been shown to be useful to lower classification errors in genealogical model selection [10].


title: The shocklet transform: A decomposition method for the identification of local, mechanism-driven dynamics in sociotechnical time series

abstract: We introduce a qualitative, shape-based, timescale-independent time-domain transform used to extract local dynamics from sociotechnical time series---termed the Discrete Shocklet Transform (DST)---and an associated similarity search routine, the Shocklet Transform And Ranking (STAR) algorithm, that indicates time windows during which panels of time series display qualitatively-similar anomalous behavior. After distinguishing our algorithms from other methods used in anomaly detection and time series similarity search, such as the matrix profile, seasonal-hybrid ESD, and discrete wavelet transform-based procedures, we demonstrate the DST's ability to identify mechanism-driven dynamics at a wide range of timescales and its relative insensitivity to functional parameterization. As an application, we analyze a sociotechnical data source (usage frequencies for a subset of words on Twitter) and highlight our algorithms' utility by using them to extract both a typology of mechanistic local dynamics and a data-driven narrative of socially-important events as perceived by English-language Twitter.

categories: physics.soc-ph cs.DS eess.SP physics.data-an


title: Reducing Popularity Bias in Recommendation Over Time

abstract: Many recommendation algorithms suffer from popularity bias: a small number of popular items being recommended too frequently, while other items get insufficient exposure. Research in this area so far has concentrated on a one-shot representation of this bias, and on algorithms to improve the diversity of individual recommendation lists. In this work, we take a time-sensitive view of popularity bias, in which the algorithm assesses its long-tail coverage at regular intervals, and compensates in the present moment for omissions in the past. In particular, we present a temporal version of the well-known xQuAD diversification algorithm adapted for long-tail recommendation. Experimental results on two public datasets show that our method is more effective in terms of the long-tail coverage and accuracy tradeoff compared to some other existing approaches.


title: A Theory for the Time Arrow

abstract: Physical laws for elementary particles can be described by the quantum dynamics equation given a Hamiltonian. The solution are probability amplitudes in Hilbert space that evolve over time. A probability density function over position and time is given as the magnitude square of such probability amplitude. An entropy can be associated with these probability densities characterizing the position information of a particle. Coherent states are localized wave packets and may describe the spatial distribution for some particle states. We show that due to a dispersion property of Hamiltonians in quantum physics, the entropy of coherent states increases over time. We investigate a partition of the Hilbert space into four sets based on whether the entropy is (i) increasing but not a constant, (ii) decreasing but not a constant, (iii) a constant, (iv) oscillating. We propose a law that entropy (weakly) increases in time in quantum physics. Thus, states in set (ii) are disallowed, and the states in set (iii) cannot complete an oscillation period. Then, according to this law, quantum theory is not time-reversible unless the state is in set (iii), i.e., it is a stationary state (an eigenstate of the Hamiltonian.). This additional law in quantum theory limits physical scenarios beyond conservation laws, providing causality reasoning by defining an arrow of time.


title: GASP, a generalized framework for agglomerative clustering of signed graphs and its application to Instance Segmentation

abstract: We propose a theoretical framework that generalizes simple and fast algorithms for hierarchical agglomerative clustering to weighted graphs with both attractive and repulsive interactions between the nodes. This framework defines GASP, a Generalized Algorithm for Signed graph Partitioning, and allows us to explore many combinations of different linkage criteria and cannot-link constraints. We prove the equivalence of existing clustering methods to some of those combinations and introduce new algorithms for combinations that have not been studied before. We study both theoretical and empirical properties of these combinations and prove that some of these define an ultrametric on the graph. We conduct a systematic comparison of various instantiations of GASP on a large variety of both synthetic and existing signed clustering problems, in terms of accuracy but also efficiency and robustness to noise. Lastly, we show that some of the algorithms included in our framework, when combined with the predictions from a CNN model, result in a simple bottom-up instance segmentation pipeline. Going all the way from pixels to final segments with a simple procedure, we achieve state-of-the-art accuracy on the CREMI 2016 EM segmentation benchmark without requiring domain-specific superpixels.


title: Blackhole in Nonlocal Gravity: Comparing Metric from Newmann-Janis Algorithm with Slowly Rotating Solution

abstract: The strong gravitational field near massive blackhole is an interesting regime to test General Relativity(GR) and modified gravity theories. The knowledge of spacetime metric around a blackhole is a primary step for such tests. Solving field equations for rotating blackhole is extremely challenging task for the most modified gravity theories. Though the derivation of Kerr metric of GR is also demanding job, the magical Newmann-Janis algorithm does it without actually solving Einstein equation for rotating blackhole. Due to this notable success of Newmann-Janis algorithm in the case of Kerr metric, it has been being used to obtain rotating blackhole solution in modified gravity theories. In this work, we derive the spacetime metric for the external region of a rotating blackhole in a nonlocal gravity theory using Newmann-Janis algorithm. We also derive metric for a slowly rotating blackhole by perturbatively solving field equations of the theory. We discuss the applicability of Newmann-Janis algorithm to nonlocal gravity by comparing slow rotation limit of the metric obtained through Newmann-Janis algorithm with slowly rotating solution of the field equation.


title: Evaluating data-flow coverage in spectrum-based fault localization

abstract: Background: Debugging is a key task during the software development cycle. Spectrum-based Fault Localization (SFL) is a promising technique to improve and automate debugging. SFL techniques use control-flow spectra to pinpoint the most suspicious program elements. However, data-flow spectra provide more detailed information about the program execution, which may be useful for fault localization. Aims: We evaluate the effectiveness and efficiency of ten SFL ranking metrics using data-flow spectra. Method: We compare the performance of data- and control-flow spectra for SFL using 163 faults from 5 real-world open source programs, which contain from 468 to 4130 test cases. The data- and control-flow spectra types used in our evaluation are definition-use associations (DUAs) and lines, respectively. Results: Using data-flow spectra, up to 50% more faults are ranked in the top-15 positions compared to control-flow spectra. Also, most SFL ranking metrics present better effectiveness using data-flow to inspect up to the top-40 positions. The execution cost of data-flow spectra is higher than control-flow, taking from 22 seconds to less than 9 minutes. Data-flow has an average overhead of 353% for all programs, while the average overhead for control-flow is of 102%. Conclusions: The results suggest that SFL techniques can benefit from using data-flow spectra to classify faults in better positions, which may lead developers to inspect less code to find bugs. The execution cost to gather data-flow is higher compared to control-flow, but it is not prohibitive. Moreover, data-flow spectra also provide information about suspicious variables for fault localization, which may improve the developers' performance using SFL.


title: Equivariant discretizations of diffusions, random walks, and harmonic functions

abstract: For covering spaces and properly discontinuous actions with compatible diffusion processes, we discuss Lyons-Sullivan discretizations of the processes and the associated function theory.


title: Equi-distributed property and spectral set conjecture on $\mathbb{Z}_{p^2}\times \mathbb{Z}_{p}$

abstract: In this paper, we show an equi-disctributed property in $2$-dimensional finite abelian groups $\mathbb{Z}_{p^2}\times \mathbb{Z}_{p}$ where $p$ is a prime number. By using this equi-disctributed property, we prove that Fuglede's spectral set conjecture holds on groups $\mathbb{Z}_{p^2}\times \mathbb{Z}_{p}$, namely, a set in $\mathbb{Z}_{p^2}\times \mathbb{Z}_{p}$ is a spectral set if and only if it is a tile.


title: On Solving Word Equations Using SAT

abstract: We present Woorpje, a string solver for bounded word equations (i.e., equations where the length of each variable is upper bounded by a given integer). Our algorithm works by reformulating the satisfiability of bounded word equations as a reachability problem for nondeterministic finite automata, and then carefully encoding this as a propositional satisfiability problem, which we then solve using the well-known Glucose SAT-solver. This approach has the advantage of allowing for the natural inclusion of additional linear length constraints. Our solver obtains reliable and competitive results and, remarkably, discovered several cases where state-of-the-art solvers exhibit a faulty behaviour.


title: A reduction theorem for the Galois-McKay conjecture

abstract: We generalize the theory of ordering character triples, developed by Navarro and Sp\"ath, by taking into account the action of Galois automorphisms on characters. This new technique, together with previous results of Ladisch and Turull, allows us to reduce the Galois--McKay conjecture to a question about simple groups.


title: Detecting and classifying moments in basketball matches using sensor tracked data

abstract: Data analytics in sports is crucial to evaluate the performance of single players and the whole team. The literature proposes a number of tools for both offence and defence scenarios. Data coming from tracking location of players, in this respect, may be used to enrich the amount of useful information. In basketball, however, actions are interleaved with inactive periods. This paper describes a methodological approach to automatically identify active periods during a game and to classify them as offensive or defensive. The method is based on the application of thresholds to players kinematic parameters, whose values undergo a tuning strategy similar to Receiver Operating Characteristic curves, using a ground truth extracted from the video of the games.


title: DiPETrans: A Framework for Distributed Parallel Execution of Transactions of Blocks in Blockchain

abstract: Contemporary blockchain such as Bitcoin and Ethereum execute transactions serially by miners and validators and determine the Proof-of-Work (PoW). Such serial execution is unable to exploit modern multi-core resources efficiently, hence limiting the system throughput and increasing the transaction acceptance latency. The objective of this work is to increase the transaction throughput by introducing parallel transaction execution using a static analysis technique. We propose a framework DiPETrans for the distributed execution of the transactions in a block. Here, peers in the blockchain network form a community to execute the transactions and find the PoW parallelly, using a leader-follower approach. During mining, the leader statically analyzes the transactions, creates different groups (shards) of independent transactions, and distributes them to followers to execute them in parallel. After the transaction executes, the community's compute power is utilized to solve the PoW concurrently. When a block is successfully created, the leader broadcasts the proposed block to other peers in the network for validation. On receiving a block, validators re-execute the block transactions and accept the block if they reach the same state as shared by the miner. Validation can also be done as a community, in parallel, following the same leader-follower approach as mining. We report experiments using over 5 Million real transactions from the Ethereum blockchain and execute them using our DiPETrans framework to empirically validate the benefits of our techniques over traditional sequential execution. We achieve a maximum speedup of 2.2x for the miner and 2.0x for the validator, with 100 to 500 transactions per block. Further, we achieve a peak of 5x end-to-end block creation speedup using a parallel miner over a serial miner when using 6 machines in the community.


title: Impact of chiral hyperonic three-body forces on neutron stars

abstract: We study the effect of the nucleon-nucleon-lambda (NN$\Lambda$) three-body force on neutron stars. In particular, we consider the NN$\Lambda$ force recently derived by the J\"{u}lich--Bonn--Munich group within the framework of chiral effective field theory at next-to-next-to-leading order. This force, together with realistic nucleon-nucleon, nucleon-nucleon-nucleon and nucleon-hyperon interactions, is used to calculate the equation of state and the structure of neutron stars within the many-body non-relativistic Brueckner-Hartree-Fock approach. Our results show that the inclusion of the NN$\Lambda$ force leads to an equation of state stiff enough such that the resulting neutron star maximum mass is compatible with the largest currently measured ($\sim 2\ M_\odot$) neutron star masses. Using a perturbative many-body approach we calculate also the separation energy of the $\Lambda$ in some hypernuclei finding that the agreement with the experimental data improves for the heavier ones when the effect of the NN$\Lambda$ force is taken into account.


title: Positive harmonic functions on groups and covering spaces

abstract: We show that if $p \colon M \to N$ is a normal Riemannian covering, with $N$ closed, and $M$ has exponential volume growth, then there are non-constant, positive harmonic functions on $M$. This was conjectured by Lyons and Sullivan in \cite{LS}.


title: The covalent radii derived from the first-principle data

abstract: We present a collection of covalent radii for the elements H, B, C, N, O, F, Si, P, S, Cl, Ge, As, Se, Br, derived from the recently introduced systematic non-empirical dataset of the covalent bond lengths. As the underlying bond lengths dataset was built basing on 26050 molecular geometries and bond graphs data obtained from quantum-chemical calculations with almost no input of empirical data, the presented covalent radii can be referred to as the first-principle ones. The obtained first-principle covalent radii are in good agreement with their empirical counterparts available in the literature. The distributions of deviations between the sum of proposed radii and the true bond lengths are analyzed in details, with emphasis put on the role of the electron delocalization on the bond lengths. Corrections to the additive covalent radii model due to the difference in the elements electronegativities are derived for both Pauling and Mulliken electronegativity scales.


title: On the uniform Roe algebra as a Banach algebra and embeddings of $\ell_p$ uniform Roe algebras

abstract: We work on $\ell_p$ uniform Roe algebras associated to metric spaces, and on their mutual embedding. We generalize results of I. Farah and the authors to mutual embeddings of uniform Roe algebras of operators on $\ell_p$ spaces. Simultaneously, we obtain rigidity results for the classic uniform Roe $\mathrm{C}^*$-algebras which depend only on their Banach algebra structure.


title: Regularity of SLE in $(t,\kappa)$ and refined GRR estimates

abstract: Schramm-Loewner evolution (SLE$_\kappa$) is classically studied via Loewner evolution with half-plane capacity parametrization, driven by $\sqrt{\kappa}$ times Brownian motion. This yields a (half-plane) valued random field $\gamma = \gamma (t, \kappa; \omega)$. (H\"older) regularity of in $\gamma(\cdot,\kappa;\omega$), a.k.a. SLE trace, has been considered by many authors, starting with Rohde-Schramm (2005). Subsequently, Johansson Viklund, Rohde, and Wong (2014) showed a.s. H\"older continuity of this random field for $\kappa < 8(2-\sqrt{3})$. In this paper, we improve their result to joint H\"older continuity up to $\kappa < 8/3$. Moreover, we show that the SLE$_\kappa$ trace $\gamma(\cdot,\kappa)$ (as a continuous path) is stochastically continuous in $\kappa$ at all $\kappa \neq 8$. Our proofs rely on a novel variation of the Garsia-Rodemich-Rumsey (GRR) inequality, which is of independent interest.


title: Link weights recovery in heterogeneous information networks

abstract: Socio-technical systems usually consists of many intertwined networks, each connecting different types of objects (or actors) through a variety of means. As these networks are co-dependent, one can take advantage of this entangled structure to study interaction patterns in a particular network from the information provided by other related networks. A method is hence proposed and tested to recover the weights of missing or unobserved links in heterogeneous information networks (HIN) - abstract representations of systems composed of multiple types of entities and their relations. Given a pair of nodes in a HIN, this work aims at recovering the exact weight of the incident link to these two nodes, knowing some other links present in the HIN. To do so, probability distributions resulting from path-constrained random walks i.e., random walks where the walker is forced to follow only a specific sequence of node types and edge types, capable to capture specific semantics and commonly called a meta-path, are combined in a linearly fashion in order to approximate the desired result. This method is general enough to compute the link weight between any types of nodes. Experiments on Twitter and bibliographic data show the applicability of the method.


title: The rings of Neptune

abstract: In 1984, three telescopes in South America recorded an occultation of a star near Neptune. It was attributed to the existence of a partial ring or ring arc. The existence of ring arcs around Neptune was confirmed during subsequent years via other occultation experiments and by the Voyager 2 spacecraft. The Voyager observations established that the Neptunian arcs are concentrations of particles embedded within Neptune's narrow Adams ring, the outermost of six tenuous rings discovered by Voyager and discussed here. Four ring arcs were identified: the trailing arc Fraternit\'e, a double-component arc Egalit\'e, dubbed Egalit\'e 1 and 2, Libert\'e, and the leading arc Courage. The arcs varied in extent from $\sim$ 1$^\circ$ to $\sim$ 10$^\circ$, and together were confined to a longitude range of 40$^\circ$, with typical radial widths of $\sim$ 15 km and optical depth of order 0.1. The properties of the dusty component of Neptune's rings are also discussed in this chapter. Although the arcs should have been destroyed in a few months time through differential Keplerian motion, they appeared to persist at least throughout the Voyager era, and well beyond. However, observations from Earth (both with the Hubble Space Telescope and ground-based adaptive optics) show an evolution in the last three decades, with the disappearance of both Courage and Libert\'e by 2009. This chapter reviews the constraints provided on the mean motion of the arcs and Galatea, the satellite possibly responsible for the arc confinement. This in turn constrains the various models that have been proposed to explain the arc longevity.


title: Using Intuition from Empirical Properties to Simplify Adversarial Training Defense

abstract: Due to the surprisingly good representation power of complex distributions, neural network (NN) classifiers are widely used in many tasks which include natural language processing, computer vision and cyber security. In recent works, people noticed the existence of adversarial examples. These adversarial examples break the NN classifiers' underlying assumption that the environment is attack free and can easily mislead fully trained NN classifier without noticeable changes. Among defensive methods, adversarial training is a popular choice. However, original adversarial training with single-step adversarial examples (Single-Adv) can not defend against iterative adversarial examples. Although adversarial training with iterative adversarial examples (Iter-Adv) can defend against iterative adversarial examples, it consumes too much computational power and hence is not scalable. In this paper, we analyze Iter-Adv techniques and identify two of their empirical properties. Based on these properties, we propose modifications which enhance Single-Adv to perform competitively as Iter-Adv. Through preliminary evaluation, we show that the proposed method enhances the test accuracy of state-of-the-art (SOTA) Single-Adv defensive method against iterative adversarial examples by up to 16.93% while reducing its training cost by 28.75%.


title: Role of radon as a precursor to earthquakes:An appraisal

abstract: Radon monitoring has recently gained extensive attention among seismologists. It is now widely reported as a precursssory signal prior to occurrence of a seismic event. The enhanced estimation of radon in soil gas is basically attributed to the strain changes which arise within the earth surface. In this chapter, the role of radon as a precurssor is eleborated, acompanied by the anomalies which come across during observation. Additionally, the recent studies done in Himalayan Belt is also reviewd along with future perspectives in radon estimation.


title: Array Codes with Local Properties

abstract: In general, array codes consist of $m\times n$ arrays and in many cases, the arrays satisfy parity constraints along lines of different slopes (generally with a toroidal topology). Such codes are useful for RAID type of architectures, since they allow to replace finite field operations by XORs. We present expansions to traditional array codes of this type, like Blaum-Roth (BR) and extended EVENODD codes, by adding parity on columns. This vertical parity allows for recovery of one or more symbols in a column locally, i.e., by using the remaining symbols in the column without invoking the rest of the array. Properties and applications of the new codes are discussed, in particular to Locally Recoverable (LRC) codes.


title: Tuning-Free Disentanglement via Projection

abstract: In representation learning and non-linear dimension reduction, there is a huge interest to learn the 'disentangled' latent variables, where each sub-coordinate almost uniquely controls a facet of the observed data. While many regularization approaches have been proposed on variational autoencoders, heuristic tuning is required to balance between disentanglement and loss in reconstruction accuracy -- due to the unsupervised nature, there is no principled way to find an optimal weight for regularization. Motivated to completely bypass regularization, we consider a projection strategy: modifying the canonical Gaussian encoder, we add a layer of scaling and rotation to the Gaussian mean, such that the marginal correlations among latent sub-coordinates become exactly zero. This achieves a theoretically maximal disentanglement, as guaranteed by zero cross-correlation between one latent sub-coordinate and the observed varying with the rest. Unlike regularizations, the extra projection layer does not impact the flexibility of the previous encoder layers, leading to almost no loss in expressiveness. This approach is simple to implement in practice. Our numerical experiments demonstrate very good performance, with no tuning required.


title: On uniqueness of solutions to viscous HJB equations with a subquadratic nonlinearity in the gradient

abstract: Uniqueness of positive solutions to viscous Hamilton-Jacobi-Bellman (HJB) equations of the form $-\Delta u(x) + \frac{1}{\gamma} |D{u}(x)|^\gamma = f(x) - \lambda$, with $f$ a coercive function and $\lambda$ a constant, in the subquadratic case, that is, $\gamma\in(1,2)$, appears to be an open problem. Barles and Meireles [Comm. Partial Differential Equations 41 (2016)] show uniqueness in the case that $f(x) \approx |x|^\beta$ and $|D f(x)|\lessapprox |x|^{(\beta-1)_+}$ for some $\beta>0$, essentially matching earlier results of Ichihara, who considered more general Hamiltonians but with better regularity for $f$. Without enforcing this assumption, to our knowledge, there are no results on uniqueness in the literature. In this short article, we show that the equation has a unique positive solution for any locally Lipschitz continuous, coercive $f$ which satisfies $|D f(x)| \le \kappa\bigl(1 +|f(x)|^{2-\frac{1}{\gamma}}\bigr)$ for some positive constant $\kappa$. Since $2-\frac{1}{\gamma}>1$, this assumption imposes very mild restrictions on the growth of the potential $f$. We also show that this solution fully characterizes optimality for the associated ergodic problem. Our method involves the study of an infinite dimensional linear program for elliptic equations for measures, and is very different from earlier approaches. It also applies to the larger class of Hamiltonians studied by Ichihara, and we show that it is well suited to provide verification of optimality results for the associated ergodic control problems, even in a pathwise sense, and without resorting to the parabolic problem.


title: Transformation Properties under the Operations of the Molecular Symmetry Groups $G_{36}$ and $G_{36}\text{(EM)}$ of Ethane $\text{H}_3\text{CCH}_3$

abstract: In the present work, we report a detailed description of the symmetry properties of the eight-atomic molecule ethane, with the aim of facilitating the variational calculations of rotation-vibration spectra of ethane and related molecules. Ethane consists of two methyl groups $\text{CH}_3$ where the internal rotation (torsion) of one $\text{CH}_3$ group relative to the other is of large amplitude and involves tunneling between multiple minima of the potential energy function. The molecular symmetry group of ethane is the 36-element group $G_{36}$ but the construction of symmetrized basis functions is most conveniently done in terms of the 72-element extended molecular symmetry group $G_{36}\text{(EM)}$. This group can subsequently be used in the construction of block-diagonal matrix representations of the ro-vibrational Hamiltonian for ethane. The derived transformation matrices associated with $G_{36}\text{(EM)}$ have been implemented in the variational nuclear motion program TROVE (Theoretical ROVibrational Energies). TROVE variational calculations will be used as a practical example of a $G_{36}\text{(EM)}$ symmetry adaptation for large systems with a non-rigid, torsional degree of freedom. We present the derivation of irreducible transformation matrices for all 36 (72) operations of $G_{36}\text{(M)}$ ($G_{36}\text{(EM)}$) and also describe algorithms for a numerical construction of these matrices based on a set of four (five) generators. The methodology presented is illustrated on the construction of the symmetry-adapted representations both of the potential energy function of ethane and of the rotation, torsion and vibration basis set functions.


title: Upper bound on the GUP parameter using the black hole shadow

abstract: An upper bound on the parameter that provides a generalized uncertainty principle (GUP) is obtained from the black hole shadow. With the aid of a recent constraint between regular black holes and the GUP parameter, it is indicated a relation between this parameter and the deviation from circularity of the black hole shadow. In the case of the recent announcement of the M87* results from the Event Horizon Telescope collaboration, a deviation from circularity $\lesssim 10\%$ imposes a GUP parameter $\beta_0 <10^{90}$.


title: Anomalous ANITA air shower events and tau decays

abstract: Two unusual neutrino events in the Antarctic Impulse Transient Antenna (ANITA) appear to have been generated by air showers from a particle emerging from the Earth at angles 25-35 degrees above the horizon. We evaluate the effective aperture for ANITA with a simplified detection model to illustrate the features of the angular dependence of expected events for incident standard model tau neutrinos and for sterile neutrinos that mix with tau neutrinos. We apply our sterile neutrino aperture results to a dark matter scenario with long-lived supermassive dark matter that decay to sterile neutrino-like particles. We find that for up-going air showers from tau decays, from isotropic fluxes of standard model, sterile neutrinos or other particles that couple to the tau through suppressed weak interaction cross sections cannot be responsible for the unusual events.


title: Adaptive second-order Crank-Nicolson time-stepping schemes for time fractional molecular beam epitaxial growth models

abstract: Adaptive second-order Crank-Nicolson time-stepping methods using the recent scalar auxiliary variable (SAV) approach are developed for the time-fractional Molecular Beam Epitaxial models with Caputo's derivative. Based on the piecewise linear interpolation, the Caputo's fractional derivative is approximated by a novel second-order formula, which is naturally suitable for a general class of nonuniform meshes and essentially preserves the positive semi-definite property of integral kernel. The resulting Crank-Nicolson SAV time-stepping schemes are unconditional energy stable on nonuniform time meshes, and are computationally efficient in multiscale time simulations when combined with adaptive time steps, such as are appropriate for accurately resolving the intrinsically initial singularity of solution and for efficiently capturing fast dynamics away from the initial time. Numerical examples are presented to show the effectiveness of our methods.


title: DVP: Data Visualization Platform

abstract: We identify two major steps in data analysis, data exploration for understanding and observing patterns/relationships in data; and construction, design and assessment of various models to formalize these relationships. For each step, there exists a large set of tools and software. For the first step, many visualization tools exist, such as, GGobi, Parallax, and Crystal Vision, and most recently tableau and plottly. For the second step, many Scientific Computing Environments (SCEs) exist, such as, Matlab, Mathematica, R and Python. However, there does not exist a tool which allows for seamless two-way interaction between visualization tools and SCEs. We have designed and implemented a data visualization platform (DVP) with an architecture and design that attempts to bridge this gap. DVP connects seamlessly to SCEs to bring the computational capabilities to the visualization methods in a single coherent platform. DVP is designed with two interfaces, the desktop stand alone version and the online interface. To illustrate the power of DVP design, a free demo for the online interface of DVP is available \citep{DVP} and very low-level design details are explained in this article. Since DVP was launched, circa 2012, the present manuscript was not published since today for commercialization and patent considerations.


title: A strategy for the matching of mobile phone signals with census data

abstract: Administrative data allows us to count for the number of residents. The geo-localization of people by mobile phone, by quantifying the number of people at a given moment in time, enriches the amount of useful information for "smart" (cities) evaluations. However, using Telecom Italia Mobile (TIM) data, we are able to characterize the spatio-temporal dynamic of the presences in the city of just TIM users. A strategy to estimate total presences is needed. In this paper we propose a strategy to extrapolate the number of total people by using TIM data only. To do so, we apply a spatial record linkage of mobile phone data with administrative archives using the number of residents at the level of sezione di censimento.


title: Locality of Interatomic Forces in Tight Binding Models for Insulators

abstract: The tight binding model is a minimalistic electronic structure model for predicting properties of materials and molecules. For insulators at zero Fermi-temperature we show that the potential energy surface of this model can be decomposed into exponentially localised site energy contributions, thus providing qualitatively sharp estimates on the interatomic interaction range which justifies a range of multi-scale models. For insulators at finite Fermi-temperature we obtain locality estimates that are uniform in the zero-temperature limit. A particular feature of all our results is that they depend only weakly on the point spectrum. Numerical tests confirm our analytical results. This work extends and strengthens (Chen, Ortner 2016) and (Chen, Lu, Ortner 2018) for finite temperature models.


title: Attentional Modulation of Visual Spatial Integration: Psychophysical Evidence Supported by Population Coding Modeling

abstract: Two prominent strategies that the human visual system uses to reduce incoming information are spatial integration and selective attention. Although spatial integration summarizes and combines information over the visual field, selective attention can single it out for scrutiny. The way in which these well-known mechanisms, with rather opposing effects, interact remains largely unknown. To address this, we had observers perform a gaze-contingent search task that nudged them to deploy either spatial or feature-based attention to maximize performance. We found that, depending on the type of attention employed, visual spatial integration strength changed either in a strong and localized or a more modest and global manner compared with a baseline condition. Population code modeling revealed that a single mechanism can account for both observations: Attention acts beyond the neuronal encoding stage to tune the spatial integration weights of neural populations. Our study shows how attention and integration interact to optimize the information flow through the brain.


title: A Game Model for Proofs with Costs

abstract: We look at substructural calculi from a game semantic point of view, guided by certain intuitions about resource conscious and, more specifically, cost conscious reasoning. To this aim, we start with a game, where player I defends a claim corresponding to a (single-conclusion) sequent, while player II tries to refute that claim. Branching rules for additive connectives are modeled by choices of II, while branching for multiplicative connectives leads to splitting the game into parallel subgames, all of which have to be won by player I to succeed. The game comes into full swing by adding cost labels to assumptions, and a corresponding budget. Different proofs of the same end-sequent are interpreted as more or less expensive strategies for I to defend the corresponding claim. This leads to a new kind of labelled calculus, which can be seen as a fragment of SELL (subexponential linear logic). Finally, we generalize the concept of costs in proofs by using a semiring structure, illustrate our interpretation by examples and investigate some proof-theoretical properties.


title: Small domination-type invariants in random graphs

abstract: For $c\in \mathbb{R}^{+}\cup \{\infty \}$ and a graph $G$, a function $f:V(G)\rightarrow \{0,1,c\}$ is called a $c$-self dominating function of $G$ if for every vertex $u\in V(G)$, $f(u)\geq c$ or $\max\{f(v):v\in N_{G}(u)\}\geq 1$ where $N_{G}(u)$ is the neighborhood of $u$ in $G$. The minimum weight $w(f)=\sum _{u\in V(G)}f(u)$ of a $c$-self dominating function $f$ of $G$ is called the $c$-self domination number of $G$. The $c$-self domination concept is a common generalization of three domination-type invariants; (original) domination, total domination and Roman domination. In this paper, we study a behavior of the $c$-self domination number in random graphs for small $c$.


title: Speeding up Particle Track Reconstruction in the CMS Detector using a Vectorized and Parallelized Kalman Filter Algorithm

abstract: Building particle tracks is the most computationally intense step of event reconstruction at the LHC. With the increased instantaneous luminosity and associated increase in pileup expected from the High-Luminosity LHC, the computational challenge of track finding and fitting requires novel solutions. The current track reconstruction algorithms used at the LHC are based on Kalman filter methods that achieve good physics performance. By adapting the Kalman filter techniques for use on many-core SIMD architectures such as the Intel Xeon and Intel Xeon Phi and (to a limited degree) NVIDIA GPUs, we are able to obtain significant speedups and comparable physics performance. New optimizations, including a dedicated post-processing step to remove duplicate tracks, have improved the algorithm's performance even further. Here we report on the current structure and performance of the code and future plans for the algorithm.


title: The Racah Algebra as a Subalgebra of the Bannai-Ito Algebra

abstract: Assume that ${\mathbb F}$ is a field with $\operatorname{char}{\mathbb F}\not=2$. The Racah algebra $\Re$ is a unital associative ${\mathbb F}$-algebra defined by generators and relations. The generators are $A$, $B$, $C$, $D$ and the relations assert that $[A,B]=[B,C]=[C,A]=2D$ and each of $[A,D]+AC-BA$, $[B,D]+BA-CB$, $[C,D]+CB-AC$ is central in $\Re$. The Bannai-Ito algebra $\mathfrak{BI}$ is a unital associative ${\mathbb F}$-algebra generated by $X$, $Y$, $Z$ and the relations assert that each of $\{X,Y\}-Z$, $\{Y,Z\}-X$, $\{Z,X\}-Y$ is central in $\mathfrak{BI}$. It was discovered that there exists an ${\mathbb F}$-algebra homomorphism $\zeta\colon \Re\to \mathfrak{BI}$ that sends $A \mapsto \frac{(2X-3)(2X+1)}{16}$, $B \mapsto \frac{(2Y-3)(2Y+1)}{16}$, $C \mapsto \frac{(2Z-3)(2Z+1)}{16}$. We show that $\zeta$ is injective and therefore $\Re$ can be considered as an ${\mathbb F}$-subalgebra of $\mathfrak{BI}$. Moreover we show that any Casimir element of $\Re$ can be uniquely expressed as a polynomial in $\{X,Y\}-Z$, $\{Y,Z\}-X$, $\{Z,X\}-Y$ and $X+Y+Z$ with coefficients in ${\mathbb F}$.


title: Compositional Semantic Parsing Across Graphbanks

abstract: Most semantic parsers that map sentences to graph-based meaning representations are hand-designed for specific graphbanks. We present a compositional neural semantic parser which achieves, for the first time, competitive accuracies across a diverse range of graphbanks. Incorporating BERT embeddings and multi-task learning improves the accuracy further, setting new states of the art on DM, PAS, PSD, AMR 2015 and EDS.