title: Be-Educated: Multimedia Learning through 3D Animation

abstract: Multimedia learning tools and techniques are placing its importance with large scale in education sector. With the help of multimedia learning, various complex phenomenon and theories can be explained and taught easily and conveniently. This project aims to teach and spread the importance of education and respecting the tools of education: pen, paper, pencil, rubber. To achieve this cognitive learning, a 3D animated movie has been developed using principles of multimedia learning with 3D cartoon characters resembling the actual educational objects, where the buildings have also been modelled to resemble real books and diaries. For modelling and animation of these characters, polygon mesh tools are used in 3D Studio Max. Additionally, the final composition of video and audio is performed in adobe premiere. This 3D animated video aims to highlight a message of importance for education and stationary. The Moral of movie is that do not waste your stationary material, use your Pen and Paper for the purpose they are made for. To be a good citizen you have to Be-Educated yourself and for that you need to give value to Pen. The final rendered and composited 3D animated video reflects this moral and portrays the intended message with very vibrant visuals


title: Professional Practice in Higher Education: A Case Study in Faculty Training and Development in Brazil

abstract: One of the most important debates is currently focusing on specifying the training that university teachers must receive for their professional practice. Improving it in higher education is extremely important not only for the scientific production generated by university but also for the adequacy of the training that future graduates will be offered; professionals facing an increasingly demanding labour market with new needs. University teachers training, thus, should be a priority in academic policies due to their influence and the role played in the evolution of society, as well as being the basis of the quality of Higher Education. This research, a case study in the State of Goias (Brazil), is focused on a sample of practicing university teachers from different fields of knowledge, and has as main objective to know the characteristics of the training received for their professional practice, both in the field of scientific education and their educational role and ability to transfer knowledge. The methodology used has been mixed, not experimental and descriptive, with the help of instruments for data collection and analysis of quantitative and qualitative nature (questionnaires, interviews, monitoring, checklists, documentary analysis, etc.). The results confirmed the initial hypothesis, which stated that university teachers current training is primarily scientific and technical, and has gaps in the teacher training required today for a more effective work in the classroom. In this area teachers often use teaching methodologies supported by previous experiences with traditional features. Finally, to optimize this situation, different strategies for university teachers training are proposed seeking to improve both their reflection and teaching practice.


title: Magnetic monopoles in noncommutative quantum mechanics 2

abstract: In this paper we extend the analysis of magnetic monopoles in quantum mechanics in three dimensional rotationally invariant noncommutative space $\textbf{R}^3_\lambda$. We construct the model step-by-step and observe that physical objects known from previous studies appear in a very natural way. Nonassociativity became a topic of great interest lately, often in a connection with magnetic monopoles. We show that this model does not possess this property.


title: Comets in UV

abstract: Comets are important "eyewitnesses" of Solar System formation and evolution. Important tests to determine the chemical composition and to study the physical processes in cometary nuclei and coma need data in the UV range of the electromagnetic spectrum. Comprehensive and complete studies require for additional ground-based observations and in-situ experiments. We briefly review observations of comets in the ultraviolet (UV) and discuss the prospects of UV observations of comets and exocomets with space-born instruments. A special refer is made to the World Space Observatory-Ultraviolet (WSO-UV) project.


title: The Habitable Zone of Kepler-16: Impact of Binarity and Climate Models

abstract: We continue to investigate the binary system Kepler-16, consisting of a K-type main-sequence star, a red dwarf, and a circumbinary Saturnian planet. As part of our study, we describe the system's habitable zone based on different climate models. We also report on stability investigations for possible Earth-mass Trojans while expanding a previous study by B. L. Quarles and collaborators given in 2012. For the climate models we carefully consider the relevance of the system's parameters. Furthermore, we pursue new stability simulations for the Earth-mass objects starting along the orbit of Kepler-16b. The eccentricity distribution as obtained prefers values close to circular, whereas the inclination distribution remains flat. The stable solutions are distributed near the co-orbital Lagrangian points, thus enhancing the plausibility that Earth-mass Trojans might be able to exist in the Kepler-16(AB) system.


title: Global Pose Estimation with an Attention-based Recurrent Network

abstract: The ability for an agent to localize itself within an environment is crucial for many real-world applications. For unknown environments, Simultaneous Localization and Mapping (SLAM) enables incremental and concurrent building of and localizing within a map. We present a new, differentiable architecture, Neural Graph Optimizer, progressing towards a complete neural network solution for SLAM by designing a system composed of a local pose estimation model, a novel pose selection module, and a novel graph optimization process. The entire architecture is trained in an end-to-end fashion, enabling the network to automatically learn domain-specific features relevant to the visual odometry and avoid the involved process of feature engineering. We demonstrate the effectiveness of our system on a simulated 2D maze and the 3D ViZ-Doom environment.


title: Congestion analysis of unsignalized intersections

abstract: This paper considers an unsignalized intersection used by two traffic streams. A stream of cars is using a primary road, and has priority over the other, low-priority, stream. Cars belonging to the latter stream cross the primary road if the gaps between two subsequent cars on the primary road is larger than their critical headways. Questions that naturally arise are: given the arrival pattern of the cars on the primary road, what is the maximum arrival rate of low-priority cars such that the number of such cars remains stable? In the second place, what can be said about the delay experienced by a typical car at the secondary road? This paper addresses such issues by considering a compact model that sheds light on the dynamics of the considered unsignalized intersection. The model, which is of a queueing-theoretic nature, reveals interesting insights into the impact of the user behavior on the above stability and delay issues. The contribution of this paper is twofold. First, we obtain new results for the aforementioned model with driver impatience. Secondly, we reveal some surprising aspects that have remained unobserved in the existing literature so far, many of which are caused by the fact that the capacity of the minor road cannot be expressed in terms of the \emph{mean} gap size; instead more detailed characteristics of the critical headway distribution play a role.


title: Maximum value of the standardized log of odds ratio and celestial mechanics

abstract: The odds ratio (OR) is a widely used measure of the effect size in observational research. ORs reflect statistical association between a binary outcome, such as the presence of a health condition, and a binary predictor, such as an exposure to a pollutant. Statistical significance and interval estimates are often computed for the logarithm of OR, ln(OR), and depend on the asymptotic standard error of ln(OR). For a sample of size N, the standard error can be written as a ratio of sigma over square root of N, where sigma is the population standard deviation of ln(OR). The ratio of ln(OR) over sigma is a standardized effect size. Unlike correlation, that is another familiar standardized statistic, the standardized ln(OR) cannot reach values of minus one or one. We find that its maximum possible value is given by the Laplace Limit Constant, (LLC=0.6627...), that appears as a condition in solutions to Kepler equation -- one of the central equations in celestial mechanics. The range of the standardized ln(OR) is bounded by minus LLC to LLC, reaching its maximum for ln(OR)~4.7987. This range has implications for analysis of epidemiological associations, affecting the behavior of the reasonable prior distribution for the standardized ln(OR).


title: The momentum budget of clustered supernova feedback in a 3D, magnetised medium

abstract: While the evolution of superbubbles driven by clustered supernovae has been studied by numerous authors, the resulting radial momentum yield is uncertain by as much as an order of magnitude depending on the computational methods and assumed properties of the surrounding interstellar medium (ISM). In this work, we study the origin of these discrepancies, and seek to determine the correct momentum budget for a homogeneous ISM. We carry out 3D hydrodynamic (HD) and magnetohydrodynamic (MHD) simulations of clustered supernova explosions, using a Lagrangian method and checking for convergence with respect to resolution. We find that the terminal momentum of a shell driven by clustered supernovae is dictated primarily by the mixing rate across the contact discontinuity between the hot and cold phases, and that this energy mixing rate is dominated by numerical diffusion even at the highest resolution we can complete, 0.03 $M_\odot$. Magnetic fields also reduce the mixing rate, so that MHD simulations produce higher momentum yields than HD ones at equal resolution. As a result, we obtain only a lower limit on the momentum yield from clustered supernovae. Combining this with our previous 1D results, which provide an upper limit because they allow almost no mixing across the contact discontinuity, we conclude that the momentum yield per supernova from clustered supernovae in a homogeneous ISM is bounded between $2\times 10^5$ and $3\times 10^6$ $M_\odot$ km s$^{-1}$. A converged value for the simple homogeneous ISM remains elusive.


title: Interpreting DNN output layer activations: A strategy to cope with unseen data in speech recognition

abstract: Unseen data can degrade performance of deep neural net acoustic models. To cope with unseen data, adaptation techniques are deployed. For unlabeled unseen data, one must generate some hypothesis given an existing model, which is used as the label for model adaptation. However, assessing the goodness of the hypothesis can be difficult, and an erroneous hypothesis can lead to poorly trained models. In such cases, a strategy to select data having reliable hypothesis can ensure better model adaptation. This work proposes a data-selection strategy for DNN model adaptation, where DNN output layer activations are used to ascertain the goodness of a generated hypothesis. In a DNN acoustic model, the output layer activations are used to generate target class probabilities. Under unseen data conditions, the difference between the most probable target and the next most probable target is decreased compared to the same for seen data, indicating that the model may be uncertain while generating its hypothesis. This work proposes a strategy to assess a model's performance by analyzing the output layer activations by using a distance measure between the most likely target and the next most likely target, which is used for data selection for performing unsupervised adaptation.


title: Joint Task Assignment and Wireless Resource Allocation for Cooperative Mobile-Edge Computing

abstract: This paper studies a multi-user cooperative mobile-edge computing (MEC) system, in which a local mobile user can offload intensive computation tasks to multiple nearby edge devices serving as helpers for remote execution. We focus on the scenario where the local user has a number of independent tasks that can be executed in parallel but cannot be further partitioned. We consider a time division multiple access (TDMA) communication protocol, in which the local user can offload computation tasks to the helpers and download results from them over pre-scheduled time slots. Under this setup, we minimize the local user's computation latency by optimizing the task assignment jointly with the time and power allocations, subject to individual energy constraints at the local user and the helpers. However, the joint task assignment and wireless resource allocation problem is a mixed-integer non-linear program (MINLP) that is hard to solve optimally. To tackle this challenge, we first relax it into a convex problem, and then propose an efficient suboptimal solution based on the optimal solution to the relaxed convex problem. Finally, numerical results show that our proposed joint design significantly reduces the local user's computation latency, as compared against other benchmark schemes that design the task assignment separately from the offloading/downloading resource allocations and local execution.


title: Predicting Metamorphic Relation for Matrix Calculation Programs

abstract: Matrices often represent important information in scientific applications and are involved in performing complex calculations. But systematically testing these applications is hard due to the oracle problem. Metamorphic testing is an effective approach to test such applications because it uses metamorphic relations to determine whether test cases have passed or failed. Metamorphic relations are typically identified with the help of a domain expert and is a labor intensive task. In this work we use a graph kernel based machine learning approach to predict metamorphic relations for matrix calculation programs. Previously, this graph kernel based machine learning approach was used to successfully predict metamorphic relations for programs that perform numerical calculations. Results of this study show that this approach can be used to predict metamorphic relations for matrix calculation programs as well.


title: The NWRA Classification Infrastructure: Description and Extension to the Discriminant Analysis Flare Forecasting System (DAFFS)

abstract: A classification infrastructure built upon Discriminant Analysis has been developed at NorthWest Research Associates for examining the statistical differences between samples of two known populations. Originating to examine the physical differences between flare-quiet and flare-imminent solar active regions, we describe herein some details of the infrastructure including: parametrization of large datasets, schemes for handling "null" and "bad" data in multi-parameter analysis, application of non-parametric multi-dimensional Discriminant Analysis, an extension through Bayes' theorem to probabilistic classification, and methods invoked for evaluating classifier success. The classifier infrastructure is applicable to a wide range of scientific questions in solar physics. We demonstrate its application to the question of distinguishing flare-imminent from flare-quiet solar active regions, updating results from the original publications that were based on different data and much smaller sample sizes. Finally, as a demonstration of "Research to Operations" efforts in the space-weather forecasting context, we present the Discriminant Analysis Flare Forecasting System (DAFFS), a near-real-time operationally-running solar flare forecasting tool that was developed from the research-directed infrastructure.


title: Automated soft tissue lesion detection and segmentation in digital mammography using a u-net deep learning network

abstract: Computer-aided detection or decision support systems aim to improve breast cancer screening programs by helping radiologists to evaluate digital mammography (DM) exams. Commonly such methods proceed in two steps: selection of candidate regions for malignancy, and later classification as either malignant or not. In this study, we present a candidate detection method based on deep learning to automatically detect and additionally segment soft tissue lesions in DM. A database of DM exams (mostly bilateral and two views) was collected from our institutional archive. In total, 7196 DM exams (28294 DM images) acquired with systems from three different vendors (General Electric, Siemens, Hologic) were collected, of which 2883 contained malignant lesions verified with histopathology. Data was randomly split on an exam level into training (50\%), validation (10\%) and testing (40\%) of deep neural network with u-net architecture. The u-net classifies the image but also provides lesion segmentation. Free receiver operating characteristic (FROC) analysis was used to evaluate the model, on an image and on an exam level. On an image level, a maximum sensitivity of 0.94 at 7.93 false positives (FP) per image was achieved. Similarly, per exam a maximum sensitivity of 0.98 at 7.81 FP per image was achieved. In conclusion, the method could be used as a candidate selection model with high accuracy and with the additional information of lesion segmentation.


title: Expert System for Diagnosis of Chest Diseases Using Neural Networks

abstract: This article represents one of the contemporary trends in the application of the latest methods of information and communication technology for medicine through an expert system helps the doctor to diagnose some chest diseases which is important because of the frequent spread of chest diseases nowadays in addition to the overlap symptoms of these diseases, which is difficult to right diagnose by doctors with several algorithms: Forward Chaining, Backward Chaining, Neural Network(Back Propagation). However, this system cannot replace the doctor function, but it can help the doctor to avoid wrong diagnosis and treatments. It can also be developed in such a way to help the novice doctors.


title: Almost logarithmic-time space optimal leader election in population protocols

abstract: The model of population protocols refers to a large collection of simple indistinguishable entities, frequently called {\em agents}. The agents communicate and perform computation through pairwise interactions. We study fast and space efficient leader election in population of cardinality $n$ governed by a random scheduler, where during each time step the scheduler uniformly at random selects for interaction exactly one pair of agents. We propose the first $o(\log^2 n)$-time leader election protocol. Our solution operates in expected parallel time $O(\log n\log\log n)$ which is equivalent to $O(n \log n\log\log n)$ pairwise interactions. This is the fastest currently known leader election algorithm in which each agent utilises asymptotically optimal number of $O(\log\log n)$ states. The new protocol incorporates and amalgamates successfully the power of assorted {\em synthetic coins} with variable rate {\em phase clocks}.


title: Optical and Gamma-Ray Variability Behaviors of 3C 454.3 from 2006 to 2011

abstract: We present our photometric monitoring of a flat spectrum radio quasar (FSRQ) 3C 454.3 at Yunnan observatories from 2006 to 2011. We find that the optical color of 3C 454.3 shows obvious redder-when-brighter trend, which reaches a saturation stage when the source is brighter than 15.15 mag at V band. We perform a simulation with multiple values of disk luminosity and spectral index to reproduce the magnitude-color diagram. The results show that the contamination caused by the disk radiation alone is difficult to produce the observed color variability. The variability properties during the outburst in December 2009 are also compared with $\gamma$-ray data derived from Fermi $\gamma$-ray space telescope. The flux variation of these two bands follow a linear relation with $F_{\gamma} \propto F_R^{1.14\pm0.07}$, which provides an observational evidence for external Compton process in 3C 454.3. Meanwhile, this flux correlation indicates that electron injection is the main mechanism for variability origin. We also explore the variation of the flux ratio $F_{\gamma}/F_R$ and the detailed structures in the lightcurves, and discuss some possible origins for the detailed variability behaviors.


title: Invertible Autoencoder for domain adaptation

abstract: The unsupervised image-to-image translation aims at finding a mapping between the source ($A$) and target ($B$) image domains, where in many applications aligned image pairs are not available at training. This is an ill-posed learning problem since it requires inferring the joint probability distribution from marginals. Joint learning of coupled mappings $F_{AB}: A \rightarrow B$ and $F_{BA}: B \rightarrow A$ is commonly used by the state-of-the-art methods, like CycleGAN [Zhu et al., 2017], to learn this translation by introducing cycle consistency requirement to the learning problem, i.e. $F_{AB}(F_{BA}(B)) \approx B$ and $F_{BA}(F_{AB}(A)) \approx A$. Cycle consistency enforces the preservation of the mutual information between input and translated images. However, it does not explicitly enforce $F_{BA}$ to be an inverse operation to $F_{AB}$. We propose a new deep architecture that we call invertible autoencoder (InvAuto) to explicitly enforce this relation. This is done by forcing an encoder to be an inverted version of the decoder, where corresponding layers perform opposite mappings and share parameters. The mappings are constrained to be orthonormal. The resulting architecture leads to the reduction of the number of trainable parameters (up to $2$ times). We present image translation results on benchmark data sets and demonstrate state-of-the art performance of our approach. Finally, we test the proposed domain adaptation method on the task of road video conversion. We demonstrate that the videos converted with InvAuto have high quality and show that the NVIDIA neural-network-based end-to-end learning system for autonomous driving, known as PilotNet, trained on real road videos performs well when tested on the converted ones.


title: Formal Analysis of Galois Field Arithmetics - Parallel Verification and Reverse Engineering

abstract: Galois field (GF) arithmetic circuits find numerous applications in communications, signal processing, and security engineering. Formal verification techniques of GF circuits are scarce and limited to circuits with known bit positions of the primary inputs and outputs. They also require knowledge of the irreducible polynomial $P(x)$, which affects final hardware implementation. This paper presents a computer algebra technique that performs verification and reverse engineering of GF($2^m$) multipliers directly from the gate-level implementation. The approach is based on extracting a unique irreducible polynomial in a parallel fashion and proceeds in three steps: 1) determine the bit position of the output bits; 2) determine the bit position of the input bits; and 3) extract the irreducible polynomial used in the design. We demonstrate that this method is able to reverse engineer GF($2^m$) multipliers in \textit{m} threads. Experiments performed on synthesized \textit{Mastrovito} and \textit{Montgomery} multipliers with different $P(x)$, including NIST-recommended polynomials, demonstrate high efficiency of the proposed method.


title: A Deterministic Protocol for Sequential Asymptotic Learning

abstract: In the classic herding model, agents receive private signals about an underlying binary state of nature, and act sequentially to choose one of two possible actions, after observing the actions of their predecessors. We investigate what types of behaviors lead to asymptotic learning, where agents will eventually converge to the right action in probability. It is known that for rational agents and bounded signals, there will not be asymptotic learning. Does it help if the agents can be cooperative rather than act selfishly? This is simple to achieve if the agents are allowed to use randomized protocols. In this paper, we provide the first deterministic protocol under which asymptotic learning occurs. In addition, our protocol has the advantage of being much simpler than previous protocols.


title: Population Protocols Are Fast

abstract: A population protocol describes a set of state change rules for a population of $n$ indistinguishable finite-state agents (automata), undergoing random pairwise interactions. Within this very basic framework, it is possible to resolve a number of fundamental tasks in distributed computing, including: leader election, aggregate and threshold functions on the population, such as majority computation, and plurality consensus. For the first time, we show that solutions to all of these problems can be obtained \emph{quickly} using finite-state protocols. For any input, the designed finite-state protocols converge under a fair random scheduler to an output which is correct with high probability in expected $O(\mathrm{poly} \log n)$ parallel time. In the same setting, we also show protocols which always reach a valid solution, in expected parallel time $O(n^\varepsilon)$, where the number of states of the interacting automata depends only on the choice of $\varepsilon>0$. The stated time bounds hold for \emph{any} semi-linear predicate computable in the population protocol framework. The key ingredient of our result is the decentralized design of a hierarchy of phase-clocks, which tick at different rates, with the rates of adjacent clocks separated by a factor of $\Theta(\log n)$. The construction of this clock hierarchy relies on a new protocol composition technique, combined with an adapted analysis of a self-organizing process of oscillatory dynamics. This clock hierarchy is used to provide nested synchronization primitives, which allow us to view the population in a global manner and design protocols using a high-level imperative programming language with a (limited) capacity for loops and branching instructions.


title: Multi-scale simulations of black hole accretion in barred galaxies: Self-gravitating disk models

abstract: Due to the non-axisymmetric potential of the central bar, barred spiral galaxies form, in addition to their characteristic arms and bar, a variety of structures within the thin gas disk, like nuclear rings, inner spirals and dust-lanes. These structures in the inner kiloparsec are most important to explain and understand the rate of black hole feeding. The aim of this work is to investigate the influence of stellar bars in spiral galaxies on the thin self-gravitating gas disk. We focus on the accretion of gas onto the central supermassive black hole and its time-dependent evolution. We conduct multi-scale simulations simultaneously resolving the galactic disk and the accretion disk around the central black-hole. We vary in all simulations the initial gas disk mass. As additional parameter we choose either the gas temperature for isothermal simulations or the cooling timescale in case of non-isothermal simulations. Accretion is either driven by a gravitationally unstable or clumpy accretion disk or by energy dissipation in strong shocks. Most simulations show a strong dependence of the accretion rate at the outer boundary of the central accretion disk ($r< 300~\mathrm{pc}$) on the gas flow at kiloparsec scales. The final black hole masses reach up to $\sim 10^9 M_\odot$ after $1.6~\mathrm{Gyr}$. Our models show the expected influence of the Eddington limit and a decline in growth rate at the corresponding sub-Eddington limit.


title: Landau Damping in a strong magnetic field: Dissociation of Quarkonia

abstract: We have investigated the effects of strong magnetic field on the properties of quarkonia immersed in a thermal medium of quarks and gluons and studied its quasi-free dissociation due to the Landau-damping. Thermalizing the Schwinger propagator in the lowest Landau levels for quarks and the Feynman propagator for gluons in real-time formalism, we have calculated the resummed retarded and symmetric propagators, which in turn give the real and imaginary components of dielectric permittivity, respectively. The magnetic field affects the large-distance interaction more than the short-distance interaction, as a result, the real part of potential becomes more attractive and the magnitude of imaginary part too becomes larger, compared to the thermal medium in absence of strong magnetic field. As a consequence the average size of $J/\psi$'s and $\psi^\prime$'s are increased but $\chi_c$'s get shrunk. Similarly the magnetic field affects the binding of $J/\psi$'s and $\chi_c$'s discriminately, i.e. it decreases the binding of $J/\psi$ and increases for $\chi_c$. However, the further increase in magnetic field results in the decrease of binding energies. On contrary the magnetic field increases the width of the resonances, unless the temperature is sufficiently high. We have finally studied how the presence of magnetic field affects the dissolution of quarkonia in a thermal medium due to the Landau damping, where the dissociation temperatures are found to increase compared to the thermal medium in absence of magnetic field. However, further increase of magnetic field decreases the dissociation temperatures. For example, $J/\psi$'s and $\chi_c$'s are dissociated at higher temperatures at 2 $T_c$ and 1.1 $T_c$ at a magnetic field $eB \approx 6~{\rm{and}}~4~m_\pi^2$, respectively, compared to the values 1.60 $T_c$ and 0.8 $T_c$ in the absence of magnetic field, respectively.


title: LSALSA: Accelerated Source Separation via Learned Sparse Coding

abstract: We propose an efficient algorithm for the generalized sparse coding (SC) inference problem. The proposed framework applies to both the single dictionary setting, where each data point is represented as a sparse combination of the columns of one dictionary matrix, as well as the multiple dictionary setting as given in morphological component analysis (MCA), where the goal is to separate a signal into additive parts such that each part has distinct sparse representation within a corresponding dictionary. Both the SC task and its generalization via MCA have been cast as $\ell_1$-regularized least-squares optimization problems. To accelerate traditional acquisition of sparse codes, we propose a deep learning architecture that constitutes a trainable time-unfolded version of the Split Augmented Lagrangian Shrinkage Algorithm (SALSA), a special case of the Alternating Direction Method of Multipliers (ADMM). We empirically validate both variants of the algorithm, that we refer to as LSALSA (learned-SALSA), on image vision tasks and demonstrate that at inference our networks achieve vast improvements in terms of the running time, the quality of estimated sparse codes, and visual clarity on both classic SC and MCA problems. Finally, we present a theoretical framework for analyzing LSALSA network: we show that the proposed approach exactly implements a truncated ADMM applied to a new, learned cost function with curvature modified by one of the learned parameterized matrices. We extend a very recent Stochastic Alternating Optimization analysis framework to show that a gradient descent step along this learned loss landscape is equivalent to a modified gradient descent step along the original loss landscape. In this framework, the acceleration achieved by LSALSA could potentially be explained by the network's ability to learn a correction to the gradient direction of steeper descent.


title: Spiro-Conjugated Molecular Junctions: between Jahn-Teller Distortion and Destructive Quantum Interference

abstract: The quest for molecular structures exhibiting strong quantum interference effects in the transport setting has long been on the forefront of chemical research. Here, we establish theoretically that the unusual geometry of spiro-conjugated systems gives rise to complete destructive interference in the resonant-transport regime. This results in a current blockade of the type not present in meta-connected benzene or similar molecular structures. We further show that these systems can undergo a transport-driven Jahn-Teller distortion which can lift the aforementioned destructive-interference effects. The overall transport characteristics is determined by the interplay between the two phenomena. Spiro-conjugated systems may therefore serve as a novel platform for investigations of quantum interference and vibronic effects in the charge transport setting. The potential to control quantum interference in these systems can also turn them into attractive components in designing functional molecular circuits.


title: Pairwise Concurrence in Cyclically Symmetric Quantum States

abstract: We provide an initial characterization of pairwise concurrence in quantum states which are invariant under cyclic permutations of party labeling. We prove that maximal entanglement can be entirely described by adjacent pairs, then give explicit descriptions of those states in specific subsets of 4 and 5 qubit states - X states. We also construct a monogamy bound on shared concurrences in the same subsets in 4 and 5 qubits, finding that above non-maximal entanglement thresholds, no other entanglements are possible.


title: Dynamical structure factor of the triangular antiferromagnet: the Schwinger boson theory beyond the mean field approach

abstract: We compute the zero temperature dynamical structure factor $S({\bf q},\omega)$ of the triangular lattice Heisenberg model (TLHM) using a Schwinger boson approach that includes the Gaussian fluctuations ($1/N$ corrections) of the saddle point solution. While the ground state of this model exhibits a well-known 120$^{\circ}$ magnetic ordering, experimental observations have revealed a strong quantum character of the excitation spectrum. We conjecture that this phenomenon arises from the proximity of the ground state of the TLHM to the quantum melting point separating the magnetically ordered and spin liquid states. Within this scenario, magnons are described as collective modes (two spinon-bound states) of a spinon condensate (Higgs phase) that spontaneously breaks the SU(2) symmetry of the TLHM. Crucial to our results is the proper account of this spontaneous symmetry breaking. The main qualitative difference relative to semi-classical treatments ($1/S$ expansion) is the presence of a high-energy spinon continuum extending up to about three times the single-magnon bandwidth. In addition, the magnitude of the ordered moment ($m=0.224$) agrees very well with numerical results and the low energy part of the single-magnon dispersion is in very good agreement with series expansions. Our results indicate that the Schwinger boson approach is an adequate starting point for describing the excitation spectrum of some magnetically ordered compounds that are near the quantum melting point separating this Higgs phase from the {\it deconfined} spin liquid state.


title: Coverings and the heat equation on graphs: stochastic incompleteness, the Feller property and uniform transience

abstract: We study regular coverings of graphs and manifolds with a focus on properties of the heat equation. In particular, we look at stochastic incompleteness, the Feller property and uniform transience; and investigate the connection between the validity of these properties on the base space and its covering. For both graphs and manifolds, we prove the equivalence of stochastic incompleteness of the base and that of its cover. Along the way we also give some new conditions for the Feller property to hold on graphs.


title: The distribution of inelastic dark matter in the Sun

abstract: If dark matter is composed of new particles, these may become captured after scattering with nuclei in the Sun, thermalise through additional scattering, and finally annihilate into neutrinos that can be detected on Earth. If dark matter scatters inelastically into a slightly heavier ($\mathcal{O} (10-100)$ keV) state it is unclear whether thermalisation occurs. One issue is that up-scattering from the lower mass state may be kinematically forbidden, at which point the thermalisation process effectively stops. A larger evaporation rate is also expected due to down-scattering. In this work, we perform a numerical simulation of the capture and thermalisation process in order to study the evolution of the dark matter distribution. We then calculate and compare the annihilation rate with that of the often assumed Maxwell--Boltzmann distribution. We also check if equilibrium between capture and annihilation is reached and find that this assumption definitely breaks down in a part of the explored parameter space. We also find that evaporation induced by down-scattering is not effective in reducing the total dark matter abundance.


title: Automated Playtesting with Procedural Personas through MCTS with Evolved Heuristics

abstract: This paper describes a method for generative player modeling and its application to the automatic testing of game content using archetypal player models called procedural personas. Theoretically grounded in psychological decision theory, procedural personas are implemented using a variation of Monte Carlo Tree Search (MCTS) where the node selection criteria are developed using evolutionary computation, replacing the standard UCB1 criterion of MCTS. Using these personas we demonstrate how generative player models can be applied to a varied corpus of game levels and demonstrate how different play styles can be enacted in each level. In short, we use artificially intelligent personas to construct synthetic playtesters. The proposed approach could be used as a tool for automatic play testing when human feedback is not readily available or when quick visualization of potential interactions is necessary. Possible applications include interactive tools during game development or procedural content generation systems where many evaluations must be conducted within a short time span.


title: Theoretical Framework for Estimating Target-Object Shape by Using Location-Unknown Mobile Distance Sensors

abstract: This paper proposes a theoretical framework for estimating a target-object shape, the location of which is not given, by using mobile distance sensors the locations of which are also unknown. Typically, mobile sensors are mounted on vehicles. Each sensor continuously measures the distance from it to the target object. The proposed framework does not require any positioning function, anchor-location information, or additional mechanisms to obtain side information such as angle of arrival of signal. Under the assumption of a convex polygon target object, each edge length and vertex angle and their combinations are estimated and finally the shape of the target object is estimated. To the best of our knowledge, this is the first result in which a target-object shape was estimated by using the data of distance sensors without using their locations.


title: An electronic ratchet is required in nanostructured intermediate band solar cells

abstract: We investigate in this letter the intrinsic properties that have limited the efficiency of nanostructured intermediate band solar cells. Those devices take advantage of intra-band transitions, which occur on narrow energy width, and present low radiative recombination efficiency. We derive the minimum requirements in terms of those two characteristics to achieve efficiencies in excess of the Shockley-Queisser limit, and show that compatible nanostructures are challenging to obtain. Especially, we evidence that currently experimentally considered materials cannot overcome the best single junction cells. In order to solve those issues, we consider devices including an electronic ratchet mechanism. Firstly, such devices are shown to be much less sensitive on the limitations of the nanostructures characteristics, so that requirements for high efficiencies can be met. Secondly, we show that quantum well devices present advantages over their quantum dots counterparts, although they have attracted much less interest so far.


title: Weak-value amplification forWeyl-point separation in momentum space

abstract: The existence of Weyl nodes in the momentum space is a hallmark of a Weyl semimetal (WSM). A WSM can be confirmed by observing its Fermi arcs with separated Weyl nodes. In this paper, we study the spin- orbit interaction of light on the surface of WSM in the limit that the thickness is ultra-thin and the incident surface does not support Fermi arc. Our results show that the spin-dependent splitting induced by the spin-orbit interaction is related to the separation of Weyl nodes. By proposing an amplification technique called weak measurements, the distance of the nodes can be precisely determined. This system may have application in characterizing other parameters of WSM.


title: The Allen--Uzawa elasticity of substitution for nonhomogeneous production functions

abstract: This note proves that the representation of the Allen elasticity of substitution obtained by Uzawa for linear homogeneous functions holds true for nonhomogeneous functions. It is shown that the criticism of the Allen-Uzawa elasticity of substitution in the works of Blackorby, Primont, Russell is based on an incorrect example.


title: Plasma-activation of tap water using DBD for agronomy applications: Identification and quantification of long lifetime chemical species and production/consumption mechanisms

abstract: Cold atmospheric plasmas (CAP) are weakly ionized gases that can be generated in ambient air. They produce energetic species (e.g. electrons, metastables) as well as reactive oxygen species, reactive nitrogen species, UV radiations and local electric field. Their interaction with a liquid such as tap water can hence change its chemical composition. The resulting "plasma-activated liquid" can meet many applications, including medicine and agriculture. Consequently, a complete experimental set of analytical techniques dedicated to the characterization of long lifetime chemical species has been implemented to characterize tap water treated using CAP process and intended to agronomy applications. For that purpose, colorimetry and acid titrations are performed, considering acid-base equilibria, pH and temperature variations induced during plasma activation. 16 species are quantified and monitored: hydroxide and hydronium ions, ammonia and ammonium ions, orthophosphates, carbonate ions, nitrite and nitrate ions and hydrogen peroxide. The related consumption/production mechanisms are discussed. In parallel, a chemical model of electrical conductivity based on Kohlrausch's law has been developed to simulate the electrical conductivity of the plasma-activated tap water (PATW). Comparing its predictions with experimental measurements leads to a narrow fitting, hence supporting the self-sufficiency of the experimental set. Finally, to evaluate the potential of cold atmospheric plasmas for agriculture applications, tap water has been daily plasma-treated to irrigate lentils seeds. Then, seedlings lengths have been measured and compared with untreated tap water, showing an increase as high as 34.0% and 128.4% after 3 days and 6 days of activation respectively. The interaction mechanisms between plasma and tap water are discussed as well as their positive synergy on agronomic results.


title: A Multiclass Mean-Field Game for Thwarting Misinformation Spread in the Internet of Battlefield Things (IoBT)

abstract: In this paper, the problem of misinformation propagation is studied for an Internet of Battlefield Things (IoBT) system in which an attacker seeks to inject false information in the IoBT nodes in order to compromise the IoBT operations. In the considered model, each IoBT node seeks to counter the misinformation attack by finding the optimal probability of accepting a given information that minimizes its cost at each time instant. The cost is expressed in terms of the quality of information received as well as the infection cost. The problem is formulated as a mean-field game with multiclass agents which is suitable to model a massive heterogeneous IoBT system. For this game, the mean-field equilibrium is characterized, and an algorithm based on the forward backward sweep method is proposed to find the mean-field equilibrium. Then, the finite IoBT case is considered, and the conditions of convergence of the Nash equilibria in the finite case to the mean-field equilibrium are presented. Numerical results show that the proposed scheme can achieve a 1.2-fold increase in the quality of information (QoI) compared to a baseline scheme in which the IoBT nodes are always transmitting. The results also show that the proposed scheme can reduce the proportion of infected nodes by 99% compared to the baseline.


title: Superrational types

abstract: We present a formal analysis of Douglas Hofstadter's concept of \emph{superrationality}. We start by defining superrationally justifiable actions, and study them in symmetric games. We then model the beliefs of the players, in a way that leads them to different choices than the usual assumption of rationality by restricting the range of conceivable choices. These beliefs are captured in the formal notion of \emph{type} drawn from epistemic game theory. The theory of coalgebras is used to frame type spaces and to account for the existence of some of them. We find conditions that guarantee superrational outcomes.


title: The double-trace spectrum of N=4 SYM at strong coupling

abstract: The spectrum of IIB supergravity on AdS${}_5 \times S^5$ contains a number of bound states described by long double-trace multiplets in $\mathcal{N}=4$ super Yang-Mills theory at large 't Hooft coupling. At large $N$ these states are degenerate and to obtain their anomalous dimensions as expansions in $\tfrac{1}{N^2}$ one has to solve a mixing problem. We conjecture a formula for the leading anomalous dimensions of all long double-trace operators which exhibits a large residual degeneracy whose structure we describe. Our formula can be related to conformal Casimir operators which arise in the structure of leading discontinuities of supergravity loop corrections to four-point correlators of half-BPS operators.


title: Range-Only Localization in n-Dimensional Networks With Arbitrary Anchor Placement

abstract: This paper considers node localization in static sensor networks using range-only measurements. Similar to state- of-the-art algorithms, such as ECHO and DILOC, we rely on barycentric coordinates of the nodes to transform the non-convex node localization problem into a linear system of equations. The main contribution of this paper is a simple closed-form expression for generalized barycentric coordinates, which extends existing algorithms from two to n dimensions and allows arbitrary anchor-node configurations. The result relies on a connection between the Cayley-Menger bi-determinants of subsets of n+1 neighbor nodes and the signed volume of the simplices defined by these neighbor nodes. Hence, for noise-free measurements, the proposed method computes the optimal sensor network embedding as the solution of a linear system with coefficients obtained from the generalized barycentric node coordinates. Using simulations, we provide comparisons with DILOC and Matlab's MDS implementation. We also show that it is possible to improve our algorithm run time using fewer subsets of neighbor nodes.


title: Fourier Policy Gradients

abstract: We propose a new way of deriving policy gradient updates for reinforcement learning. Our technique, based on Fourier analysis, recasts integrals that arise with expected policy gradients as convolutions and turns them into multiplications. The obtained analytical solutions allow us to capture the low variance benefits of EPG in a broad range of settings. For the critic, we treat trigonometric and radial basis functions, two function families with the universal approximation property. The choice of policy can be almost arbitrary, including mixtures or hybrid continuous-discrete probability distributions. Moreover, we derive a general family of sample-based estimators for stochastic policy gradients, which unifies existing results on sample-based approximation. We believe that this technique has the potential to shape the next generation of policy gradient approaches, powered by analytical results.


title: Real World Evaluation of Approaches to Research Paper Recommendation

abstract: In this work, we have identified the need for choosing baseline approaches for research-paper recommendation systems. Following a literature survey of all research paper recommendation approaches described over the last four years, we framed criteria that makes for a well-rounded set of baselines. These are implemented on Mr. DLib a literature recommendation platform. User click data was collected as part of an ongoing experiment in collaboration with our partner Gesis. We reported the results from our evaluation for the experiments. We will be able to draw clearer conclusions as time passes. We find that a term based similarity search performs better than keyword based approaches. These results are a good starting point in finding performance improvements for related document searches.


title: Learning Word Vectors for 157 Languages

abstract: Distributed word representations, or word vectors, have recently been applied to many tasks in natural language processing, leading to state-of-the-art performance. A key ingredient to the successful application of these representations is to train them on very large corpora, and use these pre-trained models in downstream tasks. In this paper, we describe how we trained such high quality word representations for 157 languages. We used two sources of data to train these models: the free online encyclopedia Wikipedia and data from the common crawl project. We also introduce three new word analogy datasets to evaluate these word vectors, for French, Hindi and Polish. Finally, we evaluate our pre-trained word vectors on 10 languages for which evaluation datasets exists, showing very strong performance compared to previous models.


title: Learning Hidden Markov Models from Pairwise Co-occurrences with Application to Topic Modeling

abstract: We present a new algorithm for identifying the transition and emission probabilities of a hidden Markov model (HMM) from the emitted data. Expectation-maximization becomes computationally prohibitive for long observation records, which are often required for identification. The new algorithm is particularly suitable for cases where the available sample size is large enough to accurately estimate second-order output probabilities, but not higher-order ones. We show that if one is only able to obtain a reliable estimate of the pairwise co-occurrence probabilities of the emissions, it is still possible to uniquely identify the HMM if the emission probability is \emph{sufficiently scattered}. We apply our method to hidden topic Markov modeling, and demonstrate that we can learn topics with higher quality if documents are modeled as observations of HMMs sharing the same emission (topic) probability, compared to the simple but widely used bag-of-words model.


title: Hierarchical Expertise-Level Modeling for User Specific Robot-Behavior Explanations

abstract: There is a growing interest within the AI research community to develop autonomous systems capable of explaining their behavior to users. One aspect of the explanation generation problem that has yet to receive much attention is the task of explaining plans to users whose level of expertise differ from that of the explainer. We propose an approach for addressing this problem by representing the user's model as an abstraction of the domain model that the planner uses. We present algorithms for generating minimal explanations in cases where this abstract human model is not known. We reduce the problem of generating explanation to a search over the space of abstract models and investigate possible greedy approximations for minimal explanations. We also empirically show that our approach can efficiently compute explanations for a variety of problems.


title: Color-dependent interactions in the three coloring model

abstract: Since it was first discussed by Baxter in 1970, the three coloring model has been studied in several contexts, from frustrated magnetism to superconducting devices and glassiness. In presence of interactions, when the model is no longer exactly soluble, it was already observed that the phase diagram is highly non-trivial. Here we discuss the generic case of `color-dependent' nearest-neighbor interactions between the vertex chiralities. We uncover different critical regimes merging into one another: c=1/2 free fermions combining into c=1 free bosons; c=1 free bosons combining into c=2 critical loop models; as well as three separate c=1/2 critical lines merging at a supersymmetric c=3/2 critical point. When the three coupling constants are tuned to equal one another, transfer-matrix calculations highlight a puzzling regime where the central charge appears to vary continuously from 3/2 to 2.


title: Machine Learning Methods for Data Association in Multi-Object Tracking

abstract: Data association is a key step within the multi-object tracking pipeline that is notoriously challenging due to its combinatorial nature. A popular and general way to formulate data association is as the NP-hard multidimensional assignment problem (MDAP). Over the last few years, data-driven approaches to assignment have become increasingly prevalent as these techniques have started to mature. We focus this survey solely on learning algorithms for the assignment step of multi-object tracking, and we attempt to unify various methods by highlighting their connections to linear assignment as well as to the MDAP. First, we review probabilistic and end-to-end optimization approaches to data association, followed by methods that learn association affinities from data. We then compare the performance of the methods presented in this survey, and conclude by discussing future research directions.


title: EV-FlowNet: Self-Supervised Optical Flow Estimation for Event-based Cameras

abstract: Event-based cameras have shown great promise in a variety of situations where frame based cameras suffer, such as high speed motions and high dynamic range scenes. However, developing algorithms for event measurements requires a new class of hand crafted algorithms. Deep learning has shown great success in providing model free solutions to many problems in the vision community, but existing networks have been developed with frame based images in mind, and there does not exist the wealth of labeled data for events as there does for images for supervised training. To these points, we present EV-FlowNet, a novel self-supervised deep learning pipeline for optical flow estimation for event based cameras. In particular, we introduce an image based representation of a given event stream, which is fed into a self-supervised neural network as the sole input. The corresponding grayscale images captured from the same camera at the same time as the events are then used as a supervisory signal to provide a loss function at training time, given the estimated flow from the network. We show that the resulting network is able to accurately predict optical flow from events only in a variety of different scenes, with performance competitive to image based networks. This method not only allows for accurate estimation of dense optical flow, but also provides a framework for the transfer of other self-supervised methods to the event-based domain.


title: Hill plot focusing on Ce compounds with high magnetic-ordering-temperatures and consequent study of Ce2AuP3

abstract: Hill plot is a well-known criterion of the f-electron element interatomic threshold-distance separating the nonmagnetic state from the magnetic one in actinides or lanthanides. We have reinvestigated the Hill plot of Ce compounds using a commercial crystallographic database CRYSTMET, focusing on a relationship between the Ce-Ce distance and the magnetic ordering temperature, because a Ce compound with no other magnetic elements scarcely has a magnetic ordering temperature higher than 20 K. The Hill plot of approximately 730 compounds has revealed that a Ce compound, especially for ferromagnet, showing the high magnetic-ordering-temperature would require a short Ce-Ce distance with a suppression of valence instability of Ce ion. Through the study, we had interest in Ce2AuP3 with the Curie temperature of 31 K. The ferromagnetic nature has been examined by a doping effect, which suggests a possible increase of magnetic anisotropy energy.


title: Exploring the high-pressure materials genome

abstract: A thorough in situ characterization of materials at extreme conditions is challenging, and computational tools such as crystal structural search methods in combination with ab initio calculations are widely used to guide experiments by predicting the composition, structure, and properties of high-pressure compounds. However, such techniques are usually computationally expensive and not suitable for large-scale combinatorial exploration. On the other hand, data-driven computational approaches using large materials databases are useful for the analysis of energetics and stability of hundreds of thousands of compounds, but their utility for materials discovery is largely limited to idealized conditions of zero temperature and pressure. Here, we present a novel framework combining the two computational approaches, using a simple linear approximation to the enthalpy of a compound in conjunction with ambient-conditions data currently available in high-throughput databases of calculated materials properties. We demonstrate its utility by explaining the occurrence of phases in nature that are not ground states at ambient conditions and estimating the pressures at which such ambient-metastable phases become thermodynamically accessible, as well as guiding the exploration of ambient-immiscible binary systems via sophisticated structural search methods to discover new stable high-pressure phases.


title: Deterministic Non-Autoregressive Neural Sequence Modeling by Iterative Refinement

abstract: We propose a conditional non-autoregressive neural sequence model based on iterative refinement. The proposed model is designed based on the principles of latent variable models and denoising autoencoders, and is generally applicable to any sequence generation task. We extensively evaluate the proposed model on machine translation (En-De and En-Ro) and image caption generation, and observe that it significantly speeds up decoding while maintaining the generation quality comparable to the autoregressive counterpart.


title: Caching-Aided Collaborative D2D Operation for Predictive Data Dissemination in Industrial IoT

abstract: Industrial automation deployments constitute challenging environments where moving IoT machines may produce high-definition video and other heavy sensor data during surveying and inspection operations. Transporting massive contents to the edge network infrastructure and then eventually to the remote human operator requires reliable and high-rate radio links supported by intelligent data caching and delivery mechanisms. In this work, we address the challenges of contents dissemination in characteristic factory automation scenarios by proposing to engage moving industrial machines as device-to-device (D2D) caching helpers. With the goal to improve reliability of high-rate millimeter-wave (mmWave) data connections, we introduce the alternative contents dissemination modes and then construct a novel mobility-aware methodology that helps develop predictive mode selection strategies based on the anticipated radio link conditions. We also conduct a thorough system-level evaluation of representative data dissemination strategies to confirm the benefits of predictive solutions that employ D2D-enabled collaborative caching at the wireless edge to lower contents delivery latency and improve data acquisition reliability.


title: Generalization Error Bounds with Probabilistic Guarantee for SGD in Nonconvex Optimization

abstract: The success of deep learning has led to a rising interest in the generalization property of the stochastic gradient descent (SGD) method, and stability is one popular approach to study it. Existing works based on stability have studied nonconvex loss functions, but only considered the generalization error of the SGD in expectation. In this paper, we establish various generalization error bounds with probabilistic guarantee for the SGD. Specifically, for both general nonconvex loss functions and gradient dominant loss functions, we characterize the on-average stability of the iterates generated by SGD in terms of the on-average variance of the stochastic gradients. Such characterization leads to improved bounds for the generalization error for SGD. We then study the regularized risk minimization problem with strongly convex regularizers, and obtain improved generalization error bounds for proximal SGD. With strongly convex regularizers, we further establish the generalization error bounds for nonconvex loss functions under proximal SGD with high-probability guarantee, i.e., exponential concentration in probability.


title: Eisenstein series arising from Jordan algebras

abstract: We describe poles and the corresponding residual automorphic representations of Eisenstein series attached to maximal parabolic subgroups whose unipotent radicals admit Jordan algebra structure.


title: Communication-Optimal Convolutional Neural Nets

abstract: Efficiently executing convolutional neural nets (CNNs) is important in many machine-learning tasks. Since the cost of moving a word of data, either between levels of a memory hierarchy or between processors over a network, is much higher than the cost of an arithmetic operation, minimizing data movement is critical to performance optimization. In this paper, we present both new lower bounds on data movement needed for CNNs, and optimal sequential algorithms that attain these lower bounds. In most common cases, our optimal algorithms can attain significantly more data reuse than matrix multiplication.


title: Coherent merging of counter-propagating exciton-polariton superfluids

abstract: We report the formation of a macroscopic coherent state emerging from colliding polariton fluids. Four lasers with random relative phases, arranged in a square, pump resonantly a planar microcavity, creating four coherent polariton fluids propagating toward each other. When the density (interactions) increases, the four fluids synchronise and the topological excitations (vortex or soliton) disappear to form a single superfluid.


title: High-density two-dimensional electron system induced by oxygen vacancies in ZnO

abstract: We realize a two-dimensional electron system (2DES) in ZnO by simply depositing pure aluminum on its surface in ultra-high vacuum, and characterize its electronic structure using angle-resolved photoemission spectroscopy. The aluminum oxidizes into alumina by creating oxygen vacancies that dope the bulk conduction band of ZnO and confine the electrons near its surface. The electron density of the 2DES is up to two orders of magnitude higher than those obtained in ZnO heterostructures. The 2DES shows two $s$-type subbands, that we compare to the $d$-like 2DESs in titanates, with clear signatures of many-body interactions that we analyze through a self-consistent extraction of the system self-energy and a modeling as a coupling of a 2D Fermi liquid with a Debye distribution of phonons.


title: BFKL Spectrum of N=4 SYM: non-Zero Conformal Spin

abstract: We developed a general non-perturbative framework for the BFKL spectrum of planar N=4 SYM, based on the Quantum Spectral Curve (QSC). It allows one to study the spectrum in the whole generality, extending previously known methods to arbitrary values of conformal spin $n$. We show how to apply our approach to reproduce all known perturbative results for the Balitsky-Fadin-Kuraev-Lipatov (BFKL) Pomeron eigenvalue and get new predictions. In particular, we re-derived the Faddeev-Korchemsky Baxter equation for the Lipatov spin chain with non-zero conformal spin reproducing the corresponding BFKL kernel eigenvalue. We also get new non-perturbative analytic results for the Pomeron eigenvalue in the vicinity of $|n|=1,\;\Delta=0$ point and we obtained an explicit formula for the BFKL intercept function for arbitrary conformal spin up to the 3-loop order in the small coupling expansion and partial result at the 4-loop order. In addition, we implemented the numerical algorithm of arXiv:1504.06640 as an auxiliary file to this arXiv submission. From the numerical result we managed to deduce an analytic formula for the strong coupling expansion of the intercept function for arbitrary conformal spin.


title: Canonical $\beta$-extensions

abstract: We compare the level zero part of the type of a representation of GL(n) over a non-archimedean local field with the tame part of its Langlands parameter restricted to inertia. By normalizing this comparison, we construct canonical $\beta$-extensions of maximal simple characters.


title: Single or Multiple Frames Content Delivery for Next-Generation Networks?

abstract: This paper addresses the four enabling technologies, namely multi-user sparse code multiple access (SCMA), content caching, energy harvesting, and physical layer security for proposing an energy and spectral efficient resource allocation algorithm for the access and backhaul links in heterogeneous cellular networks. Although each of the above mentioned issues could be a topic of research, in a real situation, we would face a complicated scenario where they should be considered jointly, and hence, our target is to consider these technologies jointly in a unified framework. Moreover, we propose two novel content delivery scenarios: 1) single frame content delivery (SFCD), and 2) multiple frames content delivery (MFCD), where the time duration of serving user requests is divided into several frames. In the first scenario, the requested content by each user is served over one frame. However, in the second scenario, the requested content by each user can be delivered over several frames. We formulate the resource allocation for the proposed scenarios as optimization problems where our main aim is to maximize the energy efficiency of access links subject to the transmit power and rate constraints of access and backhaul links, caching and energy harvesting constraints, and SCMA codebook allocation limitations. Due to the practical limitations, we assume that the channel state information values between eavesdroppers and base stations are uncertain and design the network for the worst case scenario. Since the corresponding optimization problems are mixed integer non-linear and nonconvex programming, NP-hard, and intractable, we propose an iterative algorithm based on the well-known alternate and successive convex approximation methods.


title: Strong enhancement of the spin Hall effect by spin fluctuations near the Curie point of FexPt1-x alloys

abstract: Robust spin Hall effects (SHE) have recently been observed in non-magnetic heavy metal systems with strong spin-orbit interactions. These SHE are either attributed to an intrinsic band-structure effect or to extrinsic spin-dependent scattering from impurities, namely side-jump or skew scattering. Here we report on an extraordinarily strong spin Hall effect, attributable to spin fluctuations, in ferromagnetic FexPt1-x alloys near their Curie point, tunable with x. This results in a damping-like spin-orbit torque being exerted on an adjacent ferromagnetic layer that is strongly temperature dependent in this transition region, with a peak value that indicates a lower bound 0.34 (+-) 0.02 for the peak spin Hall ratio within the FePt. We also observe a pronounced peak in the effective spin-mixing conductance of the FM/FePt interface, and determine the spin diffusion length in these FexPt1-x alloys. These results establish new opportunities for fundamental studies of spin dynamics and transport in ferromagnetic systems with strong spin fluctuations, and a new pathway for efficiently generating strong spin currents for applications.


title: Constraining Dark Matter Models with a Light Mediator from PandaX-II Experiment

abstract: We search for nuclear recoil signals of dark matter models with a light mediator in PandaX-II, a direct detection experiment in China Jinping underground Laboratory. Using data collected in 2016 and 2017 runs, corresponding to a total exposure of 54 ton day, we set upper limits on the zero-momentum dark matter-nucleon cross section. These limits have a strong dependence on the mediator mass when it is comparable to or below the typical momentum transfer. We apply our results to constrain self-interacting dark matter models with a light mediator mixing with standard model particles, and set strong limits on the model parameter space for the dark matter mass ranging from $5~{\rm GeV}$ to $10~{\rm TeV}$.


title: ElasticPath2Path: Automated morphological classification of neurons by elastic path matching

abstract: In the study of neurons, morphology influences function. The complexity in the structure of neurons poses a challenge in the identification and analysis of similar and dissimilar neuronal cells. Existing methodologies carry out structural and geometrical simplifications, which substantially change the morphological statistics. Using digitally-reconstructed neurons, we extend the work of Path2Path as ElasticPath2Path, which seamlessly integrates the graph-theoretic and differential-geometric frameworks. By decomposing a neuron into a set of paths, we derive graph metrics, which are path concurrence and path hierarchy. Next, we model each path as an elastic string to compute the geodesic distance between the paths of a pair of neurons. Later, we formulate the problem of finding the distance between two neurons as a path assignment problem with a cost function combining the graph metrics and the geodesic deformation of paths. ElasticPath2Path is shown to have superior performance over the state of the art.


title: A Binary Offset Effect in CCD Readout and Its Impact on Astronomical Data

abstract: We have discovered an anomalous behavior of CCD readout electronics that affects their use in many astronomical applications. An offset in the digitization of the CCD output voltage that depends on the binary encoding of one pixel is added to pixels that are read out one, two and/or three pixels later. One result of this effect is the introduction of a differential offset in the background when comparing regions with and without flux from science targets. Conventional data reduction methods do not correct for this offset. We find this effect in 16 of 22 instruments investigated, covering a variety of telescopes and many different front-end electronics systems. The affected instruments include LRIS and DEIMOS on the Keck telescopes, WFC3-UVIS and STIS on HST, MegaCam on CFHT, SNIFS on the UH88 telescope, GMOS on the Gemini telescopes, HSC on Subaru, and FORS on VLT. The amplitude of the introduced offset is up to 4.5 ADU per pixel, and it is not directly proportional to the measured ADU level. We have developed a model that can be used to detect this "binary offset effect" in data and correct for it. Understanding how data are affected and applying a correction for the effect is essential for precise astronomical measurements.


title: Extinction Maps and Dust-to-Gas Ratios in Nearby Galaxies with LEGUS

abstract: We present a study of the dust-to-gas ratios in five nearby galaxies NGC 628 (M74), NGC 6503, NGC 7793, UGC 5139 (Holmberg I), and UGC 4305 (Holmberg II). Using Hubble Space Telescope broad band WFC3/UVIS UV and optical images from the Treasury program LEGUS (Legacy ExtraGalactic UV Survey) combined with archival HST/ACS data, we correct thousands of individual stars for extinction across these five galaxies using an isochrone-matching (reddening-free Q) method. We generate extinction maps for each galaxy from the individual stellar extinctions using both adaptive and fixed resolution techniques, and correlate these maps with neutral HI and CO gas maps from literature, including The HI Nearby Galaxy Survey (THINGS) and the HERA CO-Line Extragalactic Survey (HERACLES). We calculate dust-to-gas ratios and investigate variations in the dust-to-gas ratio with galaxy metallicity. We find a power law relationship between dust-to-gas ratio and metallicity, consistent with other studies of dust-to-gas ratio compared to metallicity. We find a change in the relation when H$_2$ is not included. This implies that underestimation of $N_{H_2}$ in low-metallicity dwarfs from a too-low CO-to-H$_2$ conversion factor $X_{CO}$ could have produced too low a slope in the derived relationship between dust-to-gas ratio and metallicity. We also compare our extinctions to those derived from fitting the spectral energy distribution (SED) using the Bayesian Extinction and Stellar Tool (BEAST) for NGC 7793 and find systematically lower extinctions from SED-fitting as compared to isochrone matching.


title: Simplicial Closure and higher-order link prediction

abstract: Networks provide a powerful formalism for modeling complex systems by using a model of pairwise interactions. But much of the structure within these systems involves interactions that take place among more than two nodes at once; for example, communication within a group rather than person-to person, collaboration among a team rather than a pair of coauthors, or biological interaction between a set of molecules rather than just two. Such higher-order interactions are ubiquitous, but their empirical study has received limited attention, and little is known about possible organizational principles of such structures. Here we study the temporal evolution of 19 datasets with explicit accounting for higher-order interactions. We show that there is a rich variety of structure in our datasets but datasets from the same system types have consistent patterns of higher-order structure. Furthermore, we find that tie strength and edge density are competing positive indicators of higher-order organization, and these trends are consistent across interactions involving differing numbers of nodes. To systematically further the study of theories for such higher-order structures, we propose higher-order link prediction as a benchmark problem to assess models and algorithms that predict higher-order structure. We find a fundamental differences from traditional pairwise link prediction, with a greater role for local rather than long-range information in predicting the appearance of new interactions.

categories: cs.SI cond-mat.stat-mech math.AT physics.soc-ph stat.ML


title: Relative Weak Injectivity for Operator Systems

abstract: We investigate the notion of relative weak injectivity and its nuclearity related properties in the category of operator systems. We obtain several characterizations of the weak expectation property. We show that (c,max)-nuclearity characterizes Kirchberg and Wasserman's C*-systems. Namioka and Phelps' test systems, which detects nuclear C*-algebras, is shown to characterize nuclear C*-systems. We study quasi-nuclearity in the operator system setting and prove that quasi-nuclearity and nuclearity are equivalent, in other words, (er,max)-nuclearity and (min,max)-nuclearity are equivalent.


title: Perturbative unitarity and higher-order Lorentz symmetry breaking

abstract: We study perturbative unitarity in the scalar sector of the Myers-Pospelov model. The model introduces a preferred four-vector $n$ which breaks Lorentz symmetry and couples to a five-dimension operator. When the preferred four-vector is chosen in the pure timelike or lightlike direction, the model becomes a higher time derivative theory, leading to a cubic dispersion relation. Two of the poles are shown to be perturbatively connected to the standard ones, while a third pole, which we call the Lee-Wick-like pole, is associated to a negative metric, in Hilbert space, threatening the preservation of unitarity. The pure spacelike case is a normal theory in the sense that it has only two solutions both being small perturbations over the standard ones. We analyze perturbative unitarity for purely spacelike and timelike cases using the optical theorem and considering a quartic self-interaction term. By computing discontinuities in the loop diagram, we arrive at a pinching condition which determines the propagation of particles and Lee-Wick-like particles through the cut. We find that the contribution for Lee-Wick-like particles vanishes for any external momenta, leaving only the contribution of particles, thus preserving one-loop unitarity in both cases.


title: A generalization of Birch's theorem and vertex-balanced steady states for generalized mass-action systems

abstract: Mass-action kinetics and its generalizations appear in mathematical models of (bio-)chemical reaction networks, population dynamics, and epidemiology. The dynamical systems arising from directed graphs are generally non-linear and difficult to analyze. One approach to studying them is to find conditions on the network which either imply or preclude certain dynamical properties. For example, a vertex-balanced steady state for a generalized mass-action system is a state where the net flux through every vertex of the graph is zero. In particular, such steady states admit a monomial parametrization. The problem of existence and uniqueness of vertex-balanced steady states can be reformulated in two different ways, one of which is related to Birch's theorem in statistics, and the other one to the bijectivity of generalized polynomial maps, similar to maps appearing in geometric modelling. We present a generalization of Birch's theorem, by providing a sufficient condition for the existence and uniqueness of vertex-balanced steady states.


title: Layer-wise synapse optimization for implementing neural networks on general neuromorphic architectures

abstract: Deep artificial neural networks (ANNs) can represent a wide range of complex functions. Implementing ANNs in Von Neumann computing systems, though, incurs a high energy cost due to the bottleneck created between CPU and memory. Implementation on neuromorphic systems may help to reduce energy demand. Conventional ANNs must be converted into equivalent Spiking Neural Networks (SNNs) in order to be deployed on neuromorphic chips. This paper presents a way to perform this translation. We map the ANN weights to SNN synapses layer-by-layer by forming a least-square-error approximation problem at each layer. An optimal set of synapse weights may then be found for a given choice of ANN activation function and SNN neuron. Using an appropriate constrained solver, we can generate SNNs compatible with digital, analog, or hybrid chip architectures. We present an optimal node pruning method to allow SNN layer sizes to be set by the designer. To illustrate this process, we convert three ANNs, including one convolutional network, to SNNs. In all three cases, a simple linear program solver was used. The experiments show that the resulting networks maintain agreement with the original ANN and excellent performance on the evaluation tasks. The networks were also reduced in size with little loss in task performance.


title: Frequency-dependent impedance and surface waves on the boundary of a stratified dielectric medium

abstract: We analyse waves that propagate along the interface between a dielectric half-space and a half-space filled with a Lorentz material. We show that the corresponding interface condition leads to a generalisation of the classical Leontovich condition on the boundary of a dielectric half-space. We study when this condition supports propagation of (dispersive) surface waves. We derive the related dispersion relation for waves propagating along the boundary of a stratified half-space and determine the relationship between the loss parameter, frequency and wavenumber for which interfacial waves exist.


title: QMCPACK : An open source ab initio Quantum Monte Carlo package for the electronic structure of atoms, molecules, and solids

abstract: QMCPACK is an open source quantum Monte Carlo package for ab-initio electronic structure calculations. It supports calculations of metallic and insulating solids, molecules, atoms, and some model Hamiltonians. Implemented real space quantum Monte Carlo algorithms include variational, diffusion, and reptation Monte Carlo. QMCPACK uses Slater-Jastrow type trial wave functions in conjunction with a sophisticated optimizer capable of optimizing tens of thousands of parameters. The orbital space auxiliary field quantum Monte Carlo method is also implemented, enabling cross validation between different highly accurate methods. The code is specifically optimized for calculations with large numbers of electrons on the latest high performance computing architectures, including multicore central processing unit (CPU) and graphical processing unit (GPU) systems. We detail the program's capabilities, outline its structure, and give examples of its use in current research calculations. The package is available at http://www.qmcpack.org .


title: The sporadic group Co3, Hauptmodul and Belyi map

abstract: We calculate the hauptmodul and Belyi map of a genus zero subgroup of the modular group defined via a canonical homomorphism by the Conway group group Co3. Our main result is the Belyi map and its field of definition.


title: Teaching Categories to Human Learners with Visual Explanations

abstract: We study the problem of computer-assisted teaching with explanations. Conventional approaches for machine teaching typically only provide feedback at the instance level e.g., the category or label of the instance. However, it is intuitive that clear explanations from a knowledgeable teacher can significantly improve a student's ability to learn a new concept. To address these existing limitations, we propose a teaching framework that provides interpretable explanations as feedback and models how the learner incorporates this additional information. In the case of images, we show that we can automatically generate explanations that highlight the parts of the image that are responsible for the class label. Experiments on human learners illustrate that, on average, participants achieve better test set performance on challenging categorization tasks when taught with our interpretable approach compared to existing methods.


title: Inexact Non-Convex Newton-Type Methods

abstract: For solving large-scale non-convex problems, we propose inexact variants of trust region and adaptive cubic regularization methods, which, to increase efficiency, incorporate various approximations. In particular, in addition to approximate sub-problem solves, both the Hessian and the gradient are suitably approximated. Using rather mild conditions on such approximations, we show that our proposed inexact methods achieve similar optimal worst-case iteration complexities as the exact counterparts. Our proposed algorithms, and their respective theoretical analysis, do not require knowledge of any unknowable problem-related quantities, and hence are easily implementable in practice. In the context of finite-sum problems, we then explore randomized sub-sampling methods as ways to construct the gradient and Hessian approximations and examine the empirical performance of our algorithms on some real datasets.


title: Scale Optimization for Full-Image-CNN Vehicle Detection

abstract: Many state-of-the-art general object detection methods make use of shared full-image convolutional features (as in Faster R-CNN). This achieves a reasonable test-phase computation time while enjoys the discriminative power provided by large Convolutional Neural Network (CNN) models. Such designs excel on benchmarks which contain natural images but which have very unnatural distributions, i.e. they have an unnaturally high-frequency of the target classes and a bias towards a "friendly" or "dominant" object scale. In this paper we present further study of the use and adaptation of the Faster R-CNN object detection method for datasets presenting natural scale distribution and unbiased real-world object frequency. In particular, we show that better alignment of the detector scale sensitivity to the extant distribution improves vehicle detection performance. We do this by modifying both the selection of Region Proposals, and through using more scale-appropriate full-image convolution features within the CNN model. By selecting better scales in the region proposal input and by combining feature maps through careful design of the convolutional neural network, we improve performance on smaller objects. We significantly increase detection AP for the KITTI dataset car class from 76.3% on our baseline Faster R-CNN detector to 83.6% in our improved detector.


title: On Lyapunov exponents and adversarial perturbation

abstract: In this paper, we would like to disseminate a serendipitous discovery involving Lyapunov exponents of a 1-D time series and their use in serving as a filtering defense tool against a specific kind of deep adversarial perturbation. To this end, we use the state-of-the-art CleverHans library to generate adversarial perturbations against a standard Convolutional Neural Network (CNN) architecture trained on the MNIST as well as the Fashion-MNIST datasets. We empirically demonstrate how the Lyapunov exponents computed on the flattened 1-D vector representations of the images served as highly discriminative features that could be to pre-classify images as adversarial or legitimate before feeding the image into the CNN for classification. We also explore the issue of possible false-alarms when the input images are noisy in a non-adversarial sense.


title: Memcomputing: Leveraging memory and physics to compute efficiently

abstract: It is well known that physical phenomena may be of great help in computing some difficult problems efficiently. A typical example is prime factorization that may be solved in polynomial time by exploiting quantum entanglement on a quantum computer. There are, however, other types of (non-quantum) physical properties that one may leverage to compute efficiently a wide range of hard problems. In this perspective we discuss how to employ one such property, memory (time non-locality), in a novel physics-based approach to computation: Memcomputing. In particular, we focus on digital memcomputing machines (DMMs) that are scalable. DMMs can be realized with non-linear dynamical systems with memory. The latter property allows the realization of a new type of Boolean logic, one that is self-organizing. Self-organizing logic gates are "terminal-agnostic", namely they do not distinguish between input and output terminals. When appropriately assembled to represent a given combinatorial/optimization problem, the corresponding self-organizing circuit converges to the equilibrium points that express the solutions of the problem at hand. In doing so, DMMs take advantage of the long-range order that develops during the transient dynamics. This collective dynamical behavior, reminiscent of a phase transition, or even the "edge of chaos", is mediated by families of classical trajectories (instantons) that connect critical points of increasing stability in the system's phase space. The topological character of the solution search renders DMMs robust against noise and structural disorder. Since DMMs are non-quantum systems described by ordinary differential equations, not only can they be built in hardware with available technology, they can also be simulated efficiently on modern classical computers. As an example, we will show the polynomial-time solution of the subset-sum problem for the worst...


title: Thyristor Voltage Equalizing Network for Crowbar Application

abstract: Many high voltage applications are realized with series connected thyristors. Voltage imbalance among series connected thyristors during steady state as well as in transients is one of the major concerns. This voltage imbalance is mitigated by using static and dynamic balancing network. Dynamic balancing networks are typically designed based on reverse recovery charge of the thyristor during turn-off, which suits many applications. But this is not the case for a crowbar application, where turn-off of the thyristor is not a major circuit constraint. This paper proposes the design method for dynamic balancing network considering gate turn-on delay time and the balancing network component tolerances. The paper derives two models for the dynamic balancing network based on its charge-discharge cycle. The importance of charge-discharge cycle in the design of dynamic balancing network during high di/dt operation is emphasized. Influence of dynamic balancing resistance and crowbar current limiting inductance on voltage imbalance, charging current and discharging current is studied using the analytical model. The proposed design method also offers flexibility to incorporate differences in propagation delays among the thyristor drivers that are used to trigger individual thyristors. Such delays cannot be directly incorporated in the conventional balancing network design method based on reverse recovery. Further, it is also analytically shown that designing the dynamic balancing network based on reverse recovery charge makes the balancing network lossy and bulky for crowbar application. Simulation studies and experimental results on a 12kV , 1kA crowbar consisting of six series connected thyristors confirms the theoretical analysis and validates the proposed approach for crowbar applications.


title: Small Signal Audiosusceptibility Model for Series Resonant Converter

abstract: Models that accurately predict the output voltage ripple magnitude are essential for applications with stringent performance target for it. Impact of dc input ripple on the output ripple for a Series Resonant Converter (SRC) using discrete domain exact discretization modelling method is analysed in this paper. A novel discrete state space model along with a small signal model for SRC considering 3 state variables is presented. The audiosusceptibility (AS) transfer function which relates the input to output ripple is derived from the small signal model. Analysis of the AS transfer function indicates a resonance peak and an expression is derived connecting the AS resonance frequency for input ripple with different SRC component values. Further analysis is done to show that a set of values for SRC parameter exists, which forms a design region, for which the normalized gain offered by the SRC for input ripple is less than unity at any input ripple frequency. A test setup to introduce the variable frequency ripple at the input of SRC for the experimental evaluation of AS transfer function is also proposed. Influence of stray parameters on AS gain, AS resonance frequency and on SRC tank resonance frequency is addressed. An SRC is designed at a power level of 10kW. The analysis using the derived model, simulations, and experimental results are found to be closely matching.


title: Empirical Bayes Matrix Factorization

abstract: Matrix factorization methods - including Factor analysis (FA), and Principal Components Analysis (PCA) - are widely used for inferring and summarizing structure in multivariate data. Many matrix factorization methods exist, corresponding to different assumptions on the elements of the underlying matrix factors. For example, many recent methods use a penalty or prior distribution to achieve sparse representations ("Sparse FA/PCA"). Here we introduce a general Empirical Bayes approach to matrix factorization (EBMF), whose key feature is that it uses the observed data to estimate prior distributions on matrix elements. We derive a correspondingly-general variational fitting algorithm, which reduces fitting EBMF to solving a simpler problem - the so-called "normal means" problem. We implement this general algorithm, but focus particular attention on the use of sparsity-inducing priors that are uni-modal at 0. This yields a sparse EBMF approach - essentially a version of sparse FA/PCA - that automatically adapts the amount of sparsity to the data. We demonstrate the benefits of our approach through both numerical comparisons with competing methods and through analysis of data from the GTEx (Genotype Tissue Expression) project on genetic associations across 44 human tissues. In numerical comparisons EBMF often provides more accurate inferences than other methods. In the GTEx data, EBMF identifies interpretable structure that concords with known relationships among human tissues. Software implementing our approach is available at https://github.com/stephenslab/flashr


title: Almost uniform and strong convergences in ergodic theorems for symmetric spaces

abstract: Let $(\Omega,\mu)$ be a $\sigma$-finite measure space, and let $X\subset L^1(\Omega)+L^\infty(\Omega)$ be a fully symmetric space of measurable functions on $(\Omega,\mu)$. If $\mu(\Omega)=\infty$, necessary and sufficient conditions are given for almost uniform convergence in $X$ (in Egorov's sense) of Ces\`aro averages $M_n(T)(f)=\frac1n\sum_{k = 0}^{n-1}T^k(f)$ for all Dunford-Schwartz operators $T$ in $L^1(\Omega)+ L^\infty(\Omega)$ and any $f\in X$. Besides, it is proved that the averages $M_n(T)$ converge strongly in $X$ for each Dunford-Schwartz operator $T$ in $L^1(\Omega)+L^\infty(\Omega)$ if and only if $X$ has order continuous norm and $L^1(\Omega)$ is not contained in $X$.


title: AMC and HARQ: How to Increase the Throughput

abstract: In this work, we consider transmissions over block fading channels and assume that adaptive modulation and coding (AMC) and hybrid automatic repeat request (HARQ) are implemented. Knowing that in high signal-to-noise ratio, the conventional combination of HARQ with AMC is counterproductive from the throughput point of view, we adopt the so-called layer-coded HARQ (L-HARQ). L-HARQ allows consecutive packets to share the channel and preserves a great degree of separation between AMC and HARQ; this makes the encoding and decoding very simple and allows us to use the available/optimized codes. Numerical examples shown in the paper indicate that L-HARQ can provide significant throughput gains compared to the conventional HARQ. The L-HARQ is also implemented using turbo codes indicating that the throughput gains also materialize in practice.


title: Farthest Point Map on a Centrally Symmetric Convex Polyhedron

abstract: The farthest point map sends a point in a compact metric space to the set of points farthest from it. We focus on the case when this metric space is a convex centrally symmetric polyhedron, so that we can compose the farthest point map with the antipodal map. The purpose of this work is to study the properties of this composition. We show that: 1. the map has no generalized periodic points; 2. its limit point set coincides with its generalized fixed point set; 3. each of its orbit converges; 4. its limit set is contained in a finite union of hyperbolas. We will define some of these terminologies in the article.


title: Non-Local Graph-Based Prediction For Reversible Data Hiding In Images

abstract: Reversible data hiding (RDH) is desirable in applications where both the hidden message and the cover medium need to be recovered without loss. Among many RDH approaches is prediction-error expansion (PEE), containing two steps: i) prediction of a target pixel value, and ii) embedding according to the value of prediction-error. In general, higher prediction performance leads to larger embedding capacity and/or lower signal distortion. Leveraging on recent advances in graph signal processing (GSP), we pose pixel prediction as a graph-signal restoration problem, where the appropriate edge weights of the underlying graph are computed using a similar patch searched in a semi-local neighborhood. Specifically, for each candidate patch, we first examine eigenvalues of its structure tensor to estimate its local smoothness. If sufficiently smooth, we pose a maximum a posteriori (MAP) problem using either a quadratic Laplacian regularizer or a graph total variation (GTV) term as signal prior. While the MAP problem using the first prior has a closed-form solution, we design an efficient algorithm for the second prior using alternating direction method of multipliers (ADMM) with nested proximal gradient descent. Experimental results show that with better quality GSP-based prediction, at low capacity the visual quality of the embedded image exceeds state-of-the-art methods noticeably.


title: Online Learning with an Unknown Fairness Metric

abstract: We consider the problem of online learning in the linear contextual bandits setting, but in which there are also strong individual fairness constraints governed by an unknown similarity metric. These constraints demand that we select similar actions or individuals with approximately equal probability (arXiv:1104.3913), which may be at odds with optimizing reward, thus modeling settings where profit and social policy are in tension. We assume we learn about an unknown Mahalanobis similarity metric from only weak feedback that identifies fairness violations, but does not quantify their extent. This is intended to represent the interventions of a regulator who "knows unfairness when he sees it" but nevertheless cannot enunciate a quantitative fairness metric over individuals. Our main result is an algorithm in the adversarial context setting that has a number of fairness violations that depends only logarithmically on $T$, while obtaining an optimal $O(\sqrt{T})$ regret bound to the best fair policy.