title: Optimizing light storage in scattering media with the dwell-time operator

abstract: We prove that optimal control of light energy storage in disordered media can be reached by wavefront shaping. For this purpose, we build an operator for dwell-times from the scattering matrix, and characterize its full eigenvalue distribution both numerically and analytically in the diffusive regime, where the thickness $L$ of the medium is much larger than the mean free path $\ell$. We show that the distribution has a finite support with a maximal dwell-time larger than the most likely value by a factor $(L/\ell)^2\gg 1 $. This reveals that the highest dwell-time eigenstates deposit more energy than the open channels of the medium. Finally, we show that the dwell-time operator can be used to store energy in resonant targets buried in complex media.


title: $dS_5$ vacua from matter-coupled 5D N=4 gauged supergravity

abstract: We study $dS_5$ vacua within matter-coupled $N=4$ gauged supergravity in five dimensions using the embedding tensor formalism. With a simple ansatz for solving the extremization and positivity of the scalar potential, we derive a set of conditions for the gauged supergravity to admit $dS_5$ as maximally symmetric background solutions. The results provide a new approach for finding $dS_5$ vacua in five-dimensional $N=4$ gauged supergravity and explain a number of notable features pointed out in previous works. These conditions also determine the form of the gauge groups to be $SO(1,1)\times G_{\textrm{nc}}$ with $G_{\textrm{nc}}$ being a non-abelian non-compact group. In general, $G_{\textrm{nc}}$ can be a product of $SO(1,2)$ and a smaller non-compact group $G'_{\textrm{nc}}$ together with (possibly) a compact group. The $SO(1,1)$ factor is gauged by one of the six graviphotons, that is singlet under $SO(5)\sim USp(4)$ R-symmetry. The compact parts of $SO(1,2)$ and $G'_{\textrm{nc}}$ are gauged by vector fields from the gravity and vector multiplets, respectively. In addition, we explicitly study $dS_5$ vacua for a number of gauge groups and compute scalar masses at the vacua. As in the four-dimensional $N=4$ gauged supergravity, all the $dS_5$ vacua identified here are unstable.


title: A Tensorized Transformer for Language Modeling

abstract: Latest development of neural models has connected the encoder and decoder through a self-attention mechanism. In particular, Transformer, which is solely based on self-attention, has led to breakthroughs in Natural Language Processing (NLP) tasks. However, the multi-head attention mechanism, as a key component of Transformer, limits the effective deployment of the model to a resource-limited setting. In this paper, based on the ideas of tensor decomposition and parameters sharing, we propose a novel self-attention model (namely Multi-linear attention) with Block-Term Tensor Decomposition (BTD). We test and verify the proposed attention method on three language modeling tasks (i.e., PTB, WikiText-103 and One-billion) and a neural machine translation task (i.e., WMT-2016 English-German). Multi-linear attention can not only largely compress the model parameters but also obtain performance improvements, compared with a number of language modeling approaches, such as Transformer, Transformer-XL, and Transformer with tensor train decomposition.


title: Regularity properties for a class of non-uniformly elliptic Isaacs operators

abstract: We consider the elliptic differential operator defined as the sum of the minimum and the maximum eigenvalue of the Hessian matrix, which can be viewed as a degenerate elliptic Isaacs operator, in dimension larger than two. Despite of nonlinearity, degeneracy, non-concavity and non-convexity, such operator generally enjoys the qualitative properties of the Laplace operator, as for instance maximum and comparison principles, ABP and Harnack inequalities, Liouville theorems for subsolutions or supersolutions. Existence and uniqueness for the Dirichlet problem are also proved as well as local and global Holder estimates for viscosity solutions. All results are discussed for a more general class of weighted partial trace operators.


title: Cross-user Similarities in Viewing Behavior for 360$^{\circ}$ Video and Caching Implications

abstract: The demand and usage of 360$^{\circ}$ video services are expected to increase. However, despite these services being highly bandwidth intensive, not much is known about the potential value that basic bandwidth saving techniques such as server or edge-network on-demand caching (e.g., in a CDN) could have when used for delivery of such services. This problem is both important and complicated as client-side solutions have been developed that split the full 360$^{\circ}$ view into multiple tiles, and adapt the quality of the downloaded tiles based on the user's expected viewing direction and bandwidth conditions. This paper presents new trace-based analysis methods that incorporate users' viewports (the area of the full 360$^{\circ}$ view the user actually sees), a first characterization of the cross-user similarities of the users' viewports, and a trace-based analysis of the potential bandwidth savings that caching-based techniques may offer under different conditions. Our analysis takes into account differences in the time granularity over which viewport overlaps can be beneficial for resource saving techniques, compares and contrasts differences between video categories, and accounts for uncertainties in the network conditions and the prediction of the future viewing direction when prefetching. The results provide substantial insight into the conditions under which overlap can be considerable and caching effective, and inform the design of new caching system policies tailored for 360$^{\circ}$ video.


title: A note on the linkage construction for constant dimension codes

abstract: Constant dimension codes are used for error control in random linear network coding, so that constructions for these codes with large cardinality have achieved wide attention in the last decade. Here, we improve the so-called linkage construction. Known upper bounds for constant dimension codes containing lifted MRD codes are generalized.


title: In Hindsight: A Smooth Reward for Steady Exploration

abstract: In classical Q-learning, the objective is to maximize the sum of discounted rewards through iteratively using the Bellman equation as an update, in an attempt to estimate the action value function of the optimal policy. Conventionally, the loss function is defined as the temporal difference between the action value and the expected (discounted) reward, however it focuses solely on the future, leading to overestimation errors. We extend the well-established Q-learning techniques by introducing the hindsight factor, an additional loss term that takes into account how the model progresses, by integrating the historic temporal difference as part of the reward. The effect of this modification is examined in a deterministic continuous-state space function estimation problem, where the overestimation phenomenon is significantly reduced and results in improved stability. The underlying effect of the hindsight factor is modeled as an adaptive learning rate, which unlike existing adaptive optimizers, takes into account the previously estimated action value. The proposed method outperforms variations of Q-learning, with an overall higher average reward and lower action values, which supports the deterministic evaluation, and proves that the hindsight factor contributes to lower overestimation errors. The mean average score of 100 episodes obtained after training for 10 million frames shows that the hindsight factor outperforms deep Q-networks, double deep Q-networks and dueling networks for a variety of ATARI games.


title: Connection between optical and radio/millimeter flares in blazar OJ287

abstract: Blazar OJ287 is a unique source in which optical outbursts with double-peak structure have been observed quasi-periodically with a cycle of 12yr. It may be one of the best candidates for searching supermassive black hole binaries. We investigate the connection between its optical and radio/millimeter variations and interpret the emissions in terms of relativistic jet models. Specifically, we make a detailed analysis and model simulation of the optical and radio/mm light curves for the outburst during the period of 1995.8--1996.1. It is shown that the multi-wavelength light curves at optical V-band and radio/mm wavelengths (37, 22, 14.5 and 8 GHz) can be decomposed into 36 individual elementary flares, each of which has a symmetric profile. The elementary flares can be understood to be produced through lighthouse effect due to the helical motion of corresponding superluminal optical/radio knots. Helical motion of superluminal knots should be prevailing in the inner regions of its relativistic jet formed in the magnetosphere of the putative supermassive black hole/accretion disk system. A comprehensive and compatible framework for understanding the entire phenomena in OJ287 is described.


title: On Strong Diameter Padded Decompositions

abstract: Given a weighted graph $G=(V,E,w)$, a partition of $V$ is $\Delta$-bounded if the diameter of each cluster is bounded by $\Delta$. A distribution over $\Delta$-bounded partitions is a $\beta$-padded decomposition if every ball of radius $\gamma\Delta$ is contained in a single cluster with probability at least $e^{-\beta\cdot\gamma}$. The weak diameter of a cluster $C$ is measured w.r.t. distances in $G$, while the strong diameter is measured w.r.t. distances in the induced graph $G[C]$. The decomposition is weak/strong according to the diameter guarantee. Formerly, it was proven that $K_r$ minor free graphs admit weak decompositions with padding parameter $O(r)$, while for strong decompositions only $O(r^2)$ padding parameter was known. Furthermore, for the case of a graph $G$, for which the induced shortest path metric $d_G$ has doubling dimension $d$, a weak $O(d)$-padded decomposition was constructed, which is also known to be tight. For the case of strong diameter, nothing was known. We construct strong $O(r)$-padded decompositions for $K_r$ minor free graphs, matching the state of the art for weak decompositions. Similarly, for graphs with doubling dimension $d$ we construct a strong $O(d)$-padded decomposition, which is also tight. We use this decomposition to construct strong $\left(O(d),\tilde{O}(d)\right)$ sparse cover scheme for such graphs. Our new decompositions and cover have implications to approximating unique games, the construction of light and sparse spanners, and for path reporting distance oracles.


title: Deep Conservative Policy Iteration

abstract: Conservative Policy Iteration (CPI) is a founding algorithm of Approximate Dynamic Programming (ADP). Its core principle is to stabilize greediness through stochastic mixtures of consecutive policies. It comes with strong theoretical guarantees, and inspired approaches in deep Reinforcement Learning (RL). However, CPI itself has rarely been implemented, never with neural networks, and only experimented on toy problems. In this paper, we show how CPI can be practically combined with deep RL with discrete actions. We also introduce adaptive mixture rates inspired by the theory. We experiment thoroughly the resulting algorithm on the simple Cartpole problem, and validate the proposed method on a representative subset of Atari games. Overall, this work suggests that revisiting classic ADP may lead to improved and more stable deep RL algorithms.


title: An Efficient B-spline-Based Kinodynamic Replanning Framework for Quadrotors

abstract: Trajectory replanning for quadrotors is essential to enable fully autonomous flight in unknown environments. Hierarchical motion planning frameworks, which combine path planning with path parameterization, are popular due to their time efficiency. However, the path planning cannot properly deal with non-static initial states of the quadrotor, which may result in non-smooth or even dynamically infeasible trajectories. In this paper, we present an efficient kinodynamic replanning framework by exploiting the advantageous properties of the B-spline, which facilitates dealing with the non-static state and guarantees safety and dynamical feasibility. Our framework starts with an efficient B-spline-based kinodynamic (EBK) search algorithm which finds a feasible trajectory with minimum control effort and time. To compensate for the discretization induced by the EBK search, an elastic optimization (EO) approach is proposed to refine the control point placement to the optimal location. Systematic comparisons against the state-of-the-art are conducted to validate the performance. Comprehensive onboard experiments using two different vision-based quadrotors are carried out showing the general applicability of the framework.


title: Extending Attack Graphs to Represent Cyber-Attacks in Communication Protocols and Modern IT Networks

abstract: An attack graph is a method used to enumerate the possible paths that an attacker can execute in the organization network. MulVAL is a known open-source framework used to automatically generate attack graphs. MulVAL's default modeling has two main shortcomings. First, it lacks the representation of network protocol vulnerabilities, and thus it cannot be used to model common network attacks such as ARP poisoning, DNS spoofing, and SYN flooding. Second, it does not support advanced types of communication such as wireless and bus communication, and thus it cannot be used to model cyber-attacks on networks that include IoT devices or industrial components. In this paper, we present an extended network security model for MulVAL that: (1) considers the physical network topology, (2) supports short-range communication protocols (e.g., Bluetooth), (3) models vulnerabilities in the design of network protocols, and (4) models specific industrial communication architectures. Using the proposed extensions, we were able to model multiple attack techniques including: spoofing, man-in-the-middle, and denial of service, as well as attacks on advanced types of communication. We demonstrate the proposed model on a testbed implementing a simplified network architecture comprised of both IT and industrial components.


title: ZomeFab: Cost-effective Hybrid Fabrication with Zometools

abstract: In recent years, personalized fabrication has received considerable attention because of the widespread use of consumer-level three-dimensional (3D) printers. However, such 3D printers have drawbacks, such as long production time and limited output size, which hinder large-scale rapid-prototyping. In this paper, for the time- and cost-effective fabrication of large-scale objects, we propose a hybrid 3D fabrication method that combines 3D printing and the Zometool construction set, which is a compact, sturdy, and reusable structure for infill fabrication. The proposed method significantly reduces fabrication cost and time by printing only thin 3D outer shells. In addition, we design an optimization framework to generate both a Zometool structure and printed surface partitions by optimizing several criteria, including printability, material cost, and Zometool structure complexity. Moreover, we demonstrate the effectiveness of the proposed method by fabricating various large-scale 3D models.


title: Safe Trajectory Generation for Complex Urban Environments Using Spatio-temporal Semantic Corridor

abstract: Planning safe trajectories for autonomous vehicles in complex urban environments is challenging since there are numerous semantic elements (such as dynamic agents, traffic lights and speed limits) to consider. These semantic elements may have different mathematical descriptions such as obstacle, constraint and cost. It is non-trivial to tune the effects from different combinations of semantic elements for a stable and generalizable behavior. In this paper, we propose a novel unified spatio-temporal semantic corridor (SSC) structure, which provides a level of abstraction for different types of semantic elements. The SSC consists of a series of mutually connected collision-free cubes with dynamical constraints posed by the semantic elements in the spatio-temporal domain. The trajectory generation problem then boils down to a general quadratic programming (QP) formulation. Thanks to the unified SSC representation, our framework can generalize to any combination of semantic elements. Moreover, our formulation provides a theoretical guarantee that the entire trajectory is safe and constraint-satisfied, by using the convex hull and hodograph properties of piecewise Bezier curve parameterization. We also release the code of our method to accommodate benchmarking.


title: Quantum coherence fraction

abstract: As an analogy of fully entangled fraction in the framework of entanglement theory, we have introduced the notion of quantum coherence fraction $C_{\mathcal{F}}$, which quantifies the closeness between a given state and the set of maximally coherent states. By providing an alternative formulation of the robustness of coherence $C_{\mathcal{R}}$, we have elucidated the relationship between quantum coherence fraction and the normalized version of $C_{\mathcal{R}}$ (i.e., $\overline{C}_{\mathcal{R}}$), where the role of genuinely incoherent operations (GIO) is highlighted. Numerical simulation shows that though as expected $C_{\mathcal{F}}$ is upper bounded by $\overline{C}_{\mathcal{R}}$, $C_{\mathcal{F}}$ constitutes a good approximation to $\overline{C}_{\mathcal{R}}$ especially in low-dimensional Hilbert spaces. Even more intriguingly, we can analytically prove that $C_{\mathcal{F}}$ is exactly equivalent to $\overline{C}_{\mathcal{R}}$ for qubit and qutrit states. Moreover, some intuitive properties and implications of $C_{\mathcal{F}}$ are also indicated.


title: On the Exciton Fine-Structure of Transition-Metal Dichalcogenides Mono-Layers

abstract: In order to discuss the exciton fine-structure of transition-metal dichalcogenides mono-layers, excitons are first defined in the subspace of electron- and hole states, including the lowest conduction band (LCB) and the uppermost valence band (UVB). Both bands are spin degenerate at the Gamma-point. All other states are neglected. The resulting exciton states are analyzed in the framework of an invariant expansion of a model Hamiltonian: The spin-orbit coupling in the conduction- and valence band is simulated by introducing a fictive magnetic field, giving rise to a splitting of the electron- and hole states outside the $\Gamma$-point. Then the electron-hole exchange-interaction is introduced into the exciton Hamiltonian. It is due to the fact that electron and hole are indistinguishable particles in the exciton problem. In D3h crystal symmetry this electron-hole exchange-interaction has two different contributions: While a first term accounts for an energy re-normalization of all exciton states, a second term does not influence the optical active (spin-singlet) states but affects only the optical inactive (spin-triplet) states, which become mixed in-between the different exciton series.


title: Towards a Blockchain based digital identity verification, record attestation and record sharing system

abstract: The Covid-19 pandemic has made individuals and organizations to rethink the way of handling identity verification and credentials sharing particularly in quarantined situations. In this study, we investigate the inefficiencies of traditional identity systems, and discuss how a proper implementation of Blockchain technology would result in safer, more secure, privacy respecting and remote friendly identity systems. As a result, we propose a Blockchain based framework for digital identity verification, record attestation and record sharing, and we explain the framework in details with certain use cases. Our proposed framework promotes individuals to fully control their identity data and govern the level of the identity data sharing.


title: A novel soft-aided bit-marking decoder for product codes

abstract: We introduce a novel soft-aided hard-decision decoder for product codes adopting bit marking via updated reliabilities at each decoding iteration. Gains up to 0.8 dB vs. standard iterative bounded distance decoding and up to 0.3 dB vs. our previously proposed bit-marking decoder are demonstrated.


title: Commensal discovery of four Fast Radio Bursts during Parkes Pulsar Timing Array observations

abstract: The Parkes Pulsar Timing Array (PPTA) project monitors two dozen millisecond pulsars (MSPs) in order to undertake a variety of fundamental physics experiments using the Parkes 64m radio telescope. Since June 2017 we have been undertaking commensal searches for fast radio bursts (FRBs) during the MSP observations. Here, we report the discovery of four FRBs (171209, 180309, 180311 and 180714). The detected events include an FRB with the highest signal-to-noise ratio ever detected at the Parkes observatory, which exhibits unusual spectral properties. All four FRBs are highly polarized. We discuss the future of commensal searches for FRBs at Parkes.


title: Task-based Solutions to Embedded Index Coding

abstract: In the index coding problem a sender holds a message $x \in \{0,1\}^n$ and wishes to broadcast information to $n$ receivers in a way that enables the $i$th receiver to retrieve the $i$th bit $x_i$. Every receiver has prior side information comprising a subset of the bits of $x$, and the goal is to minimize the length of the information sent via the broadcast channel. Porter and Wootters have recently introduced the model of embedded index coding, where the receivers also play the role of the sender and the goal is to minimize the total length of their broadcast information. An embedded index code is said to be task-based if every receiver retrieves its bit based only on the information provided by one of the receivers. This paper studies the effect of the task-based restriction on linear embedded index coding. It is shown that for certain side information maps there exists a linear embedded index code of length quadratically smaller than that of any task-based embedded index code. The result attains, up to a multiplicative constant, the largest possible gap between the two quantities. The proof is by an explicit construction and the analysis involves spectral techniques.


title: Conversational Response Re-ranking Based on Event Causality and Role Factored Tensor Event Embedding

abstract: We propose a novel method for selecting coherent and diverse responses for a given dialogue context. The proposed method re-ranks response candidates generated from conversational models by using event causality relations between events in a dialogue history and response candidates (e.g., ``be stressed out'' precedes ``relieve stress''). We use distributed event representation based on the Role Factored Tensor Model for a robust matching of event causality relations due to limited event causality knowledge of the system. Experimental results showed that the proposed method improved coherency and dialogue continuity of system responses.


title: Superradiant stability of Mutated Reissner-Nordstr\"{o}m black holes

abstract: A scalar hair is used to generate a mutated black hole, which mimics an Einstein-Rosen bridge or a wormhole. The superradiant stability of the spacetime is studied under perturbation by an electrically charged massive scalar field. The system appears to be stable against superradiance irrespective of the mass of the test field.


title: Origin of the chromospheric three-minute oscillations in sunspot umbrae

abstract: Sunspot umbrae show a change in the dominant period of their oscillations from five minutes in the photosphere to three minutes in the chromosphere. In this paper, we explore the two most popular models proposed to explain the three-minute oscillations: the chromospheric acoustic resonator and the propagation of waves with frequency above the cutoff value directly from lower layers. We employ numerical simulations of wave propagation from the solar interior to the corona. Waves are driven by a piston at the bottom boundary. We have performed a parametric study of the measured chromospheric power spectra in a large number of numerical simulations with differences in the driving method, the height of the transition region (or absence of transition region), the strength of the vertical magnetic field, and the value of the radiative cooling time. We find that both mechanisms require the presence of waves with period in the three-minute band at the photosphere. These waves propagate upward and their amplitude increases due to the drop of the density. Their amplification is stronger than that of evanescent low-frequency waves. This effect is enough to explain the dominant period observed in chromospheric spectral lines. However, waves are partially trapped between the photosphere and the transition region, forming an acoustic resonator. This chromospheric resonant cavity strongly enhances the power in the three-minute band. The chromospheric acoustic resonator model and the propagation of waves in the three-minute band directly from the photosphere can explain the observed chromospheric three-minute oscillations. They are both important in different scenarios. Resonances are produced by waves trapped between the temperature minimum and the transition region. Strong magnetic fields and radiative losses remove energy from the waves inside the cavity, resulting in weaker amplitude resonances.


title: Investigating Dark Matter and MOND Models with Galactic Rotation Curve Data: Analysing the Gas-Dominated Galaxies

abstract: In this study the geometry of gas dominated galaxies in the SPARC database is analyzed in a normalized $(g_{bar},g_{obs})$-space ($g2$-space), where $g_{obs}$ is the observed centripetal acceleration and $g_{bar}$ is the centripetal acceleration as obtained from the observed baryonic matter via Newtonian dynamics. The normalization of $g2$-space significantly reduce the effect of both random and systematic uncertainties as well as enable a comparison of the geometries of different galaxies. Analyzing the gas-dominated galaxies (as opposed to other galaxies) further suppress the impact of the mass to light ratios. It is found that the overall geometry of the gas dominated galaxies in SPARC is consistent with a rightward curving geometry in the normalized $g2$-space (characterized by $r_{obs}>r_{bar}$, where $r_{bar}=\arg \max_r[g_{bar}(r)]$ and $r_{obs}=\arg \max_r[g_{obs}(r)]$). This is in contrast to the overall geometry of all galaxies in SPARC which best approximates a geometry curing nowhere in normalized $g2$-space (characterized by $r_{obs}=r_{bar}$) with a slight inclination toward a rightward curving geometry. The geometry of the gas dominated galaxies not only indicate the true (independent of mass to light ratios to leading order) geometry of data in $g2$-space (which can be used to infer properties on the solution to the missing mass problem) but also - when compared to the geometry of all galaxies - indicate the underlying radial dependence of the disk mass to light ratio.


title: On The Performance of ARM TrustZone

abstract: The TrustZone technology, available in the vast majority of recent ARM processors, allows the execution of code inside a so-called secure world. It effectively provides hardware-isolated areas of the processor for sensitive data and code, i.e., a trusted execution environment (TEE). The OP-TEE framework provides a collection of toolchain, open-source libraries and secure kernel specifically geared to develop applications for TrustZone. This paper presents an in-depth performance- and energy-wise study of TrustZone using the OP-TEE framework, including secure storage and the cost of switching between secure and unsecure worlds, using emulated and hardware measurements.


title: On the approximation of quasistatic evolutions for the debonding of a thin film via vanishing inertia and viscosity

abstract: In this paper we contribute to studying the issue of quasistatic limit in the context of Griffith's theory by investigating a one-dimensional debonding model. It describes the evolution of a thin film partially glued to a rigid substrate and subjected to a vertical loading. Taking friction into account and under suitable assumptions on the toughness of the glue, we prove that, in contrast to what happens in the undamped case, dynamic solutions converge to the quasistatic one when inertia and viscosity go to zero, except for a possible discontinuity at the initial time. We then characterise the size of the jump by means of an asymptotic analysis of the debonding front.


title: On Lisbon integrals

abstract: We introduce new complex analytic integral transforms, the Lisbon Integrals, which naturally arise in the study of the affine space $\mathbb{C}^k$ of unitary polynomials $P_s(z)$ where $s\in\mathbb{C}^k$ and $z\in \mathbb{C}$, $s_i$ identified to the $i-$th symmetric function of the roots of $P_s(z)$. We completely determine the $\mathcal{D}$-modules (or systems of partial differential equations) the Lisbon Integrals satisfy and prove that they are their unique global solutions. If we specify a holomorphic function $f$ in the $z$-variable, our construction induces an integral transform which associates a regular holonomic module quotient of the sub-holonomic module we computed. We illustrate this correspondence in the case of a $1$-parameter family of exponentials $f_t(z) = exp(t z)$ with $t$ a complex parameter.


title: Generalized Multiple Correlation Coefficient as a Similarity Measurements between Trajectories

abstract: Similarity distance measure between two trajectories is an essential tool to understand patterns in motion, for example, in Human-Robot Interaction or Imitation Learning. The problem has been faced in many fields, from Signal Processing, Probabilistic Theory field, Topology field or Statistics field.Anyway, up to now, none of the trajectory similarity measurements metrics are invariant to all possible linear transformation of the trajectories (rotation, scaling, reflection, shear mapping or squeeze mapping). Also not all of them are robust in front of noisy signals or fast enough for real-time trajectory classification. To overcome this limitation this paper proposes a similarity distance metric that will remain invariant in front of any possible linear transformation.Based on Pearson Correlation Coefficient and the Coefficient of Determination, our similarity metric, the Generalized Multiple Correlation Coefficient (GMCC) is presented like the natural extension of the Multiple Correlation Coefficient. The motivation of this paper is two fold. First, to introduce a new correlation metric that presents the best properties to compute similarities between trajectories invariant to linear transformations and compare it with some state of the art similarity distances.Second, to present a natural way of integrating the similarity metric in an Imitation Learning scenario for clustering robot trajectories.


title: Multinucleation in the first-order phase transition of the 2d Potts model

abstract: Using large-scale numerical simulations we studied the kinetics of the 2d q-Potts model for q > 4 after a shallow subcritical quench from a high-temperature homogeneous configuration. This protocol drives the system across a first-order phase transition. The initial state is metastable after the quench and, for final temperatures close to the critical one, the system escapes from it via a multi-nucleation process. The ensuing relaxation towards equilibrium proceeds through coarsening with competition between the equivalent ground states. This process has been analyzed for different choices of the parameters such as the number of states and the final quench temperature.


title: A Besicovitch-Morse function preserving the Lebesgue measure

abstract: We continue the investigation of which non-dierentiable maps can occur in the framework of ergodic theory started in [2]. We construct a Besicovitch-Morse function map which preserves the Lebesgue measure. We also show that the set of Besicovitch functions is of rst category in the set of continuous functions which preserve the Lebesgue measure.


title: Specification for Group Actions on Uniform Spaces

abstract: We extend specification and periodic specification to finitely generated group actions on uniform spaces using a concept of specification point. We prove that certain group actions having two distinct specification points have positive entropy. We further prove that if a group containing an infinite order element acts on an infinite Hausdorff uniform space and the action possesses periodic specification, then it is Devaney chaotic.


title: Saliency Detection With Fully Convolutional Neural Network

abstract: Saliency detection is an important task in image processing as it can solve many problems and it usually is the first step in for other processes. Convolutional neural networks have been proved to be very effective on several image processing tasks such as classification, segmentation, semantic colorization and object manipulation. Besides, using the weights of a pretrained networks is a common practice for enhancing the accuracy of a network. In this paper a fully convolutional neural network which uses a part of VGG-16 is proposed for saliency detection in images.


abstract: Reinforcement Learning (RL) has achieved impressive performance in many complex environments due to the integration with Deep Neural Networks (DNNs). At the same time, Genetic Algorithms (GAs), often seen as a competing approach to RL, had limited success in scaling up to the DNNs required to solve challenging tasks. Contrary to this dichotomic view, in the physical world, evolution and learning are complementary processes that continuously interact. The recently proposed Evolutionary Reinforcement Learning (ERL) framework has demonstrated mutual benefits to performance when combining the two methods. However, ERL has not fully addressed the scalability problem of GAs. In this paper, we show that this problem is rooted in an unfortunate combination of a simple genetic encoding for DNNs and the use of traditional biologically-inspired variation operators. When applied to these encodings, the standard operators are destructive and cause catastrophic forgetting of the traits the networks acquired. We propose a novel algorithm called Proximal Distilled Evolutionary Reinforcement Learning (PDERL) that is characterised by a hierarchical integration between evolution and learning. The main innovation of PDERL is the use of learning-based variation operators that compensate for the simplicity of the genetic representation. Unlike traditional operators, our proposals meet the functional requirements of variation operators when applied on directly-encoded DNNs. We evaluate PDERL in five robot locomotion settings from the OpenAI gym. Our method outperforms ERL, as well as two state-of-the-art RL algorithms, PPO and TD3, in all tested environments.


title: Recurrent Adversarial Service Times

abstract: Service system dynamics occur at the interplay between customer behaviour and a service provider's response. This kind of dynamics can effectively be modeled within the framework of queuing theory where customers' arrivals are described by point process models. However, these approaches are limited by parametric assumptions as to, for example, inter-event time distributions. In this paper, we address these limitations and propose a novel, deep neural network solution to the queuing problem. Our solution combines a recurrent neural network that models the arrival process with a recurrent generative adversarial network which models the service time distribution. We evaluate our methodology on various empirical datasets ranging from internet services (Blockchain, GitHub, Stackoverflow) to mobility service systems (New York taxi cab).


title: Conductivity of Dirac-like surface states in correlated honeycomb transition metal oxide Mott insulators

abstract: The search for materials with novel and unusual electronic properties is at the heart of condensed matter physics as well as the basis to develop conceptual new technologies. In this context, the correlated honeycomb transition metal oxides attract large attention for both, being a possible experimental realization of the theoretically predicted magnetic Kitaev exchange and the theoretical prospect of topological nontriviality. The Mott insulating sodium iridate is prototypical among these materials with the promising prospect to bridge the field of strongly correlated systems with topology, finally opening a path to a wide band gap material with exotic surface properties. Here, we report a profound study of the electronic properties of ultra-high-vacuum cleaved surfaces combining transport measurements with scanning tunneling techniques, showing that multiple conductive channels with differing nature are simultaneously apparent in this material. Most importantly, a V-shaped density of states and a low sheet resistance, in spite of a large defect concentration, point towards a topologically protected surface conductivity contribution. By incorporating the issue of the addressability of electronic states in the tunneling process, we develop a framework connecting previous experimental results as well as theoretical considerations.


title: Inverse quasiconvexification

abstract: In the context of the Calculus of Variations for non-convex, vector variational problems, the natural process of going from a function $\phi$ to its quasiconvexification $Q\phi$ is quite involved, and, most of the time, an impossible task. We propose to look at the reverse process, what might be called inverse quasiconvexification: start from a function $\phi_0$, and find functions $\phi$ for which $\phi_0=Q\phi$. In addition to establishing a few general principles, we show several explicit examples motivated by their application to inverse problems in conductivity.


title: Blind decoding in $\alpha$-Stable noise: An online learning approach

abstract: A novel method for performing error control coding in Symmetric $\alpha-$Stable noise environments without any prior knowledge about the value of $\alpha$ is introduced. We use an online learning framework which employs multiple distributions to decode the received block and then combines these results based on the past performance of each individual distributions. The proposed method is also able to handle a mixture of Symmetric $\alpha-$Stable distributed noises. Performance results in turbo coded system highlight the utility of the work.


title: On Low Density Majority Codes

abstract: We study a problem of constructing codes that transform a channel with high bit error rate (BER) into one with low BER (at the expense of rate). Our focus is on obtaining codes with smooth ("graceful") input-output BER curves (as opposed to threshold-like curves typical for long error-correcting codes). To that end we introduce the notion of Low Density Majority Codes (LDMCs). These codes are non-linear sparse-graph codes, which output majority function evaluated on randomly chosen small subsets of the data bits. This is similar to Low Density Generator Matrix codes (LDGMs), except that the XOR function is replaced with the majority. We show that even with a few iterations of belief propagation (BP) the attained input-output curves provably improve upon performance of any linear systematic code. The effect of non-linearity bootstraping the initial iterations of BP, suggests that LDMCs should improve performance in various applications, where LDGMs have been used traditionally (e.g., pre-coding for optics, tornado raptor codes, protograph constructions). As a side result of separate interest we establish a lower (impossibility) bound for the achievable BER of a systematic linear code at one value of erasure noise given its BER at another value. We show that this new bound is superior to the results inferred from the area theorem for EXIT functions.


title: Simulation of Conditioned Diffusions on the Flat Torus

abstract: Diffusion processes are fundamental in modelling stochastic dynamics in natural sciences. Recently, simulating such processes on complicated geometries has found applications for example in biology, where toroidal data arises naturally when studying the backbone of protein sequences, creating a demand for efficient sampling methods. In this paper, we propose a method for simulating diffusions on the flat torus, conditioned on hitting a terminal point after a fixed time, by considering a diffusion process in R 2 which we project onto the torus. We contribute a convergence result for this diffusion process, translating into convergence of the projected process to the terminal point on the torus. We also show that under a suitable change of measure, the Euclidean diffusion is locally a Brownian motion.


title: Connected perimeter of planar sets

abstract: We introduce a notion of connected perimeter for planar sets defined as the lower semi-continuous envelope of perimeters of approximating sets which are measure-theoretically connected. A companion notion of simply connected perimeter is also studied. We prove a representation formula which links the connected perimeter, the classical perimeter, and the length of suitable Steiner trees. We also discuss the application of this notion to the existence of solutions to a nonlocal minimization problem.


title: Topologically Stable Equicontinuous Non-Autonomous Systems

abstract: We find sufficient conditions for commutative non-autonomous systems on certain metric spaces to be topologically stable. In particular, we prove that (i) Every mean equicontinuous, mean expansive system with strong average shadowing property is topologically stable. (ii) Every equicontinuous, recurrently expansive system with almost shadowing property is topologically stable. (iii) Every equicontinuous, expansive system with shadowing property is topologically stable.


title: Hybrid-Learning approach toward situation recognition and handling

abstract: The success of smart environments largely depends on their smartness of understanding the environments' ongoing situations. Accordingly, this task is an essence to smart environment central processors. Obtaining knowledge from the environment is often through sensors, and the response to a particular circumstance is offered by actuators. This can be improved by getting user feedback, and capturing environmental changes. Machine learning techniques and semantic reasoning tools are widely used in this area to accomplish the goal of interpretation. In this paper, we have proposed a hybrid approach utilizing both machine learning and semantic reasoning tools to derive a better understanding from sensors. This method uses situation templates jointly with a decision tree to adapt the system knowledge to the environment. To test this approach we have used a simulation process which has resulted in a better precision for detecting situations in an ongoing environment involving living agents while capturing its dynamic nature.


title: Foundation of Quantum Optimal Transport and Applications

abstract: Quantum optimal transportation seeks an operator which minimizes the total cost of transporting a quantum state to another state, under some constraints that should be satisfied during transportation. We formulate this issue by extending the Monge-Kantorovich problem, which is a classical optimal transportation theory, and present some applications. As examples, we address quantum walk, quantum automata and quantum games from a viewpoint of optimal transportation. Moreover we explicitly show the folk theorem of the prisoners' dilemma, which claims mutual cooperation can be an equilibrium of the repeated game. A series of examples would show generic and practical advantages of the abstract quantum optimal transportation theory.


title: Origin of the Bauschinger Effect in Amorphous Solids

abstract: We study the structural origin of the Bauschinger effect by accessing numerically the local plastic thresholds in the steady state flow of a two-dimensional model glass under athermal quasistatic deformation. More specifically, we compute the local residual strength, $\Delta\tau^{c}$, for arbitrary loading orientations and find that plastic deformation generically induces material polarization, i.e., a forward-backward asymmetry in the $\Delta\tau^{c}$ distribution. In steady plastic flow, local packings are on average closer to forward (rather than backward) instabilities, due to the stress-induced bias of barriers. However, presumably due to mechanical noise, a significant fraction of zones lie close to reverse (backward) yielding, as the distribution of $\Delta\tau^{c}$ for reverse shearing extends quasilinearly down to zero local residual strength. By constructing an elementary model of the early plastic response, we then show that unloading causes reverse plasticity of a growing amplitude, i.e., reverse softening, while it shifts away forward-yielding barriers. This result in an inversion of polarization in the low-$\Delta\tau^{c}$ region and, consequently, in the Bauschinger effect. This scenario is quite generic, which explains the pervasiveness of the effect.


title: Variational order for forced Lagrangian systems II: Euler-Poincar\'e equations with forcing

abstract: In this paper we provide a variational derivation of the Euler-Poincar\'e equations for systems subjected to external forces using an adaptation of the techniques introduced by Galley and others. Moreover, we study in detail the underlying geometry which is related to the notion of Poisson groupoid. Finally, we apply the previous construction to the formal derivation of the variational error for numerical integrators of forced Euler-Poincar\'e equations and the application of this theory to the derivation of geometric integrators for forced systems.

categories: math-ph cs.NA math.DG math.MP math.NA math.SG


title: Generalizations of the Pontryagin and Husain-Kucha\v{r} actions to manifolds with boundary

abstract: In this paper we study a family of generalizations of the Pontryagin and Husain-Kucha\v{r} actions on manifolds with boundary. In some cases, they describe well-known models---either at the boundary or in the bulk---such as 3-dimensional Euclidean general relativity with a cosmological constant or the Husain-Kucha\v{r} model. We will use Hamiltonian methods in order to disentangle the physical and dynamical content of the systems that we discuss here. This will be done by relying on a geometric implementation of the Dirac algorithm in the presence of boundaries recently proposed by the authors.


title: Classification and Clustering of Arguments with Contextualized Word Embeddings

abstract: We experiment with two recent contextualized word embedding methods (ELMo and BERT) in the context of open-domain argument search. For the first time, we show how to leverage the power of contextualized word embeddings to classify and cluster topic-dependent arguments, achieving impressive results on both tasks and across multiple datasets. For argument classification, we improve the state-of-the-art for the UKP Sentential Argument Mining Corpus by 20.8 percentage points and for the IBM Debater - Evidence Sentences dataset by 7.4 percentage points. For the understudied task of argument clustering, we propose a pre-training step which improves by 7.8 percentage points over strong baselines on a novel dataset, and by 12.3 percentage points for the Argument Facet Similarity (AFS) Corpus.


title: Characterisation of the $\chi$-index and the $rec$-index

abstract: Axiomatic characterisation of a bibliometric index provides insight into the properties that the index satisfies and facilitates the comparison of different indices. A geometric generalisation of the $h$-index, called the $\chi$-index, has recently been proposed to address some of the problems with the $h$-index, in particular, the fact that it is not scale invariant, i.e., multiplying the number of citations of each publication by a positive constant may change the relative ranking of two researchers. While the square of the $h$-index is the area of the largest square under the citation curve of a researcher, the square of the $\chi$-index, which we call the $rec$-index (or {\em rectangle}-index), is the area of the largest rectangle under the citation curve. Our main contribution here is to provide a characterisation of the $rec$-index via three properties: {\em monotonicity}, {\em uniform citation} and {\em uniform equivalence}. Monotonicity is a natural property that we would expect any bibliometric index to satisfy, while the other two properties constrain the value of the $rec$-index to be the area of the largest rectangle under the citation curve. The $rec$-index also allows us to distinguish between {\em influential} researchers who have relatively few, but highly-cited, publications and {\em prolific} researchers who have many, but less-cited, publications.


title: Instability-enhanced transport in low temperature magnetized plasma

abstract: It is shown that the transport in low temperature, collisional, bounded plasma is enhanced by instabilities at high magnetic field. While the magnetic field confines the electrons in a stable plasma, the instability completely destroys the confinement such that the transport becomes independent of the magnetic field in the highly magnetized limit. An analytical expression of the instability-enhanced collision frequency is proposed, based on a magnetic field independent edge-to-center density ratio.


title: Chemical abundances in the metal-intermediate GC NGC 6723

abstract: We have performed a detailed spectral analysis of the inner halo Galactic globular cluster (GC) NGC 6723 using high resolution (R$\approx$ 22000-48000) spectra for for eleven red giant branch stars collected with MIKE (Magellan) and FEROS (MPG/ESO). This globular is located at the minimum of the bimodal metallicity distribution of GCs suggesting that it might be an excellent transitional system between metal-intermediate and metal-rich GCs. In spite of its metal-intermediate status, it is characterized by an extended horizontal branch and by a large number of RR Lyrae stars. We investigated abundances of a variety of species including light, $\alpha$-, Fe-peak, and neutron capture elements. We found a mean metallicity $[Fe/H]=-0.93 \pm 0.05$ dex, and a typical $\alpha$ -enrichment ($[\alpha/Fe] \approx 0.39$) that follows the trend of metal-poor and metal-intermediate GCs. The same outcome applies for light metals (Na, Al), Fe-peak (V, Cr, Mn, Fe, Co, Ni, Cu), $s$/$r$-process elements (Ba, Eu) and for the classical anti-correlation: Na-O and Mg-Al. The current findings further support the evidence that the chemical enrichment of NGC 6723 is in more line with metal-intermediate GCs and their lower metallicity counterparts, and it does not bring forward the prodrome of the metal-rich regime.


title: SylNet: An Adaptable End-to-End Syllable Count Estimator for Speech

abstract: Automatic syllable count estimation (SCE) is used in a variety of applications ranging from speaking rate estimation to detecting social activity from wearable microphones or developmental research concerned with quantifying speech heard by language-learning children in different environments. The majority of previously utilized SCE methods have relied on heuristic DSP methods, and only a small number of bi-directional long short-term memory (BLSTM) approaches have made use of modern machine learning approaches in the SCE task. This paper presents a novel end-to-end method called SylNet for automatic syllable counting from speech, built on the basis of a recent developments in neural network architectures. We describe how the entire model can be optimized directly to minimize SCE error on the training data without annotations aligned at the syllable level, and how it can be adapted to new languages using limited speech data with known syllable counts. Experiments on several different languages reveal that SylNet generalizes to languages beyond its training data and further improves with adaptation. It also outperforms several previously proposed methods for syllabification, including end-to-end BLSTMs.


title: ESNet: An Efficient Symmetric Network for Real-time Semantic Segmentation

abstract: The recent years have witnessed great advances for semantic segmentation using deep convolutional neural networks (DCNNs). However, a large number of convolutional layers and feature channels lead to semantic segmentation as a computationally heavy task, which is disadvantage to the scenario with limited resources. In this paper, we design an efficient symmetric network, called (ESNet), to address this problem. The whole network has nearly symmetric architecture, which is mainly composed of a series of factorized convolution unit (FCU) and its parallel counterparts (PFCU). On one hand, the FCU adopts a widely-used 1D factorized convolution in residual layers. On the other hand, the parallel version employs a transform-split-transform-merge strategy in the designment of residual module, where the split branch adopts dilated convolutions with different rate to enlarge receptive field. Our model has nearly 1.6M parameters, and is able to be performed over 62 FPS on a single GTX 1080Ti GPU. The experiments demonstrate that our approach achieves state-of-the-art results in terms of speed and accuracy trade-off for real-time semantic segmentation on CityScapes dataset.


title: The Gaia reference frame for bright sources examined using VLBI observations of radio stars

abstract: Positions and proper motions of Gaia sources are expressed in a reference frame that ideally should be non-rotating relative to distant extragalactic objects, coincident with the International Celestial Reference System (ICRS), and consistent across all magnitudes. For sources fainter than 16th magnitude this is achieved thanks to Gaia's direct observations of quasars. At brighter magnitudes it is difficult to validate the quality of the reference frame due to the scarcity of comparison data. This paper examines the use of VLBI observations of radio stars to determine the spin and orientation of the bright reference frame of Gaia. Simultaneous estimation of the six spin and orientation parameters makes optimal use of VLBI data and makes it possible to include even single-epoch VLBI observations in the solution. The method is applied to Gaia Data Release 2 (DR2) using published VLBI data for 41 radio stars. Results for the 26 best-fitting sources indicate that the bright reference frame of Gaia DR2 is rotating relative to the faint quasars at a rate of about 0.1 mas/yr, significant at 2-sigma level. This supports a similar conclusion based on a comparison with stellar positions in the Hipparcos frame. The accuracy is currently limited by the small number of radio sources used, by uncertainties in the Gaia DR2 proper motions, and by the astrophysical nature of the radio stars. While the origin of the indicated rotation is understood and can be avoided in future data releases, it remains important to validate the bright reference frame of Gaia by independent observations. This can be achieved using VLBI astrometry, which may require re-observing the old sample of radio stars as well as measuring new objects. The unique historical value of positional measurements is stressed and VLBI observers are urged to ensure that relevant positional information is preserved for the future.


title: The Gaia-ESO Survey: The inner disc, intermediate-age open cluster Pismis 18

abstract: Pismis 18 is a moderately populated, intermediate-age open cluster located within the solar circle at a Galactocentric distance of about 7 kpc. Few open clusters have been studied in detail in the inner disc region before the Gaia-ESO Survey. New data from the Gaia-ESO Survey allowed us to conduct an extended radial velocity membership study as well as spectroscopic metallicity and detailed chemical abundance measurements for this cluster. Gaia-ESO Survey data for 142 potential members, lying on the upper MS and on the red clump, yielded radial velocity measurements, which, together with proper motion measurements from the Gaia DR2, were used to determine the systemic velocity of the cluster and membership of individual stars. Photometry from Gaia DR2 was used to re-determine cluster parameters based on high confidence member stars only. Cluster abundance measurements of six radial-velocity member stars with UVES high-resolution spectroscopy are presented for 23 elements. According to the new estimates, based on high confidence members, Pismis 18 has an age of $700^{+40}_{-50}$ Myr, interstellar reddening of E(B-V) = $0.562^{+0.012}_{-0.026}$ mag and a de-reddened distance modulus of $DM_0 = 11.96^{+0.10}_{-0.24}$ mag. The median metallicity of the cluster (using the six UVES stars) is [Fe/H] = $+0.23 \pm 0.05$ dex, with [$\alpha$/Fe]= $0.07 \pm 0.13$ and a slight enhancement of s- and r- neutron-capture elements. With the present work, we fully characterized the open cluster Pismis 18, confirming its present location in the inner disc. We estimated a younger age than the previous literature values and gave, for the first time, its metallicity and its detailed abundances. Its [$\alpha$/Fe] and [s-process/Fe], both slightly super-solar, are in agreement with other inner-disc open clusters observed by the Gaia-ESO survey. [abridged]


title: AnonTokens: tracing re-identification attacks through decoy records

abstract: Privacy is of the utmost concern when it comes to releasing data to third parties. Data owners rely on anonymization approaches to safeguard the released datasets against re-identification attacks. However, even with strict anonymization in place, re-identification attacks are still a possibility and in many cases a reality. Prior art has focused on providing better anonymization algorithms with minimal loss of information and how to prevent data disclosure attacks. Our approach tries to tackle the issue of tracing re-identification attacks based on the concept of honeytokens, decoy or "bait" records with the goal to lure malicious users. While the concept of honeytokens has been widely used in the security domain, this is the first approach to apply the concept on the data privacy domain. Records with high re-identification risk, called AnonTokens, are inserted into anonymized datasets. This work demonstrates the feasibility, detectability and usability of AnonTokens and provides promising results for data owners who want to apply our approach to real use cases. We evaluated our concept with real large-scale population datasets. The results show that the introduction of decoy tokens is feasible without significant impact on the released dataset.


title: A story of balls, randomness and PDEs

abstract: Several differential equations usually appearing in mathematical physics are solved through a power series expansion, which reduces in solving difference equations. In this paper a probability problem is presented whose solution follows a completely reversed but systematic approach. Hence, this work is about illustrating how complex probability problems could be tackled with the more powerful techniques of a better studied and well understood field, that of differential equations. The problem is defined as follows: Inside a box containing r red and w white balls random removals occur. The balls are removed successively according to the three following rules. Rule I: If a white ball is chosen it is immediately discarded. If a red ball is chosen, it is placed back into the box and a new ball is randomly chosen. The second ball is then removed irrespective of the color. Rule II: Once one ball is removed, the game continues from Rule I. Rule III: The game ends once all the red balls are removed. The question posed is the determination of the probability that k white balls remain where k = 0, 1, 2, ..., w. Ending the game once all the white balls are removed, a second question is the determination of the probability that k red balls remain where k = 0, 1, 2, ..., r. While inductive solutions are possible, the current approach demonstrates a different and algorithmic route. In particular, the law of total probability yields a recursion that is transformed into a linear inhomogeneous 2D PDE, with suitable boundary conditions. The PDE solutions, which are found analytically, provide the generating functionals of the required probabilities as a function of r, w and k. Using the functionals, the probability formulas for any r, w and k are finally obtained in a closed form. Reproducing existing results of the literature this method is quite generic and adaptable to a large class of problems.

categories: math.PR hep-th math-ph math.AP math.CO math.MP


title: Foolproof Cooperative Learning

abstract: This paper extends the notion of learning equilibrium in game theory from matrix games to stochastic games. We introduce Foolproof Cooperative Learning (FCL), an algorithm that converges to a Tit-for-Tat behavior. It allows cooperative strategies when played against itself while being not exploitable by selfish players. We prove that in repeated symmetric games, this algorithm is a learning equilibrium. We illustrate the behavior of FCL on symmetric matrix and grid games, and its robustness to selfish learners.


title: A computational model of early language acquisition from audiovisual experiences of young infants

abstract: Earlier research has suggested that human infants might use statistical dependencies between speech and non-linguistic multimodal input to bootstrap their language learning before they know how to segment words from running speech. However, feasibility of this hypothesis in terms of real-world infant experiences has remained unclear. This paper presents a step towards a more realistic test of the multimodal bootstrapping hypothesis by describing a neural network model that can learn word segments and their meanings from referentially ambiguous acoustic input. The model is tested on recordings of real infant-caregiver interactions using utterance-level labels for concrete visual objects that were attended by the infant when caregiver spoke an utterance containing the name of the object, and using random visual labels for utterances during absence of attention. The results show that beginnings of lexical knowledge may indeed emerge from individually ambiguous learning scenarios. In addition, the hidden layers of the network show gradually increasing selectivity to phonetic categories as a function of layer depth, resembling models trained for phone recognition in a supervised manner.


title: Translationese in Machine Translation Evaluation

abstract: The term translationese has been used to describe the presence of unusual features of translated text. In this paper, we provide a detailed analysis of the adverse effects of translationese on machine translation evaluation results. Our analysis shows evidence to support differences in text originally written in a given language relative to translated text and this can potentially negatively impact the accuracy of machine translation evaluations. For this reason we recommend that reverse-created test data be omitted from future machine translation test sets. In addition, we provide a re-evaluation of a past high-profile machine translation evaluation claiming human-parity of MT, as well as analysis of the since re-evaluations of it. We find potential ways of improving the reliability of all three past evaluations. One important issue not previously considered is the statistical power of significance tests applied in past evaluations that aim to investigate human-parity of MT. Since the very aim of such evaluations is to reveal legitimate ties between human and MT systems, power analysis is of particular importance, where low power could result in claims of human parity that in fact simply correspond to Type II error. We therefore provide a detailed power analysis of tests used in such evaluations to provide an indication of a suitable minimum sample size of translations for such studies. Subsequently, since no past evaluation that aimed to investigate claims of human parity ticks all boxes in terms of accuracy and reliability, we rerun the evaluation of the systems claiming human parity. Finally, we provide a comprehensive check-list for future machine translation evaluation.


title: The Schwarz-Voronov Embedding of ${\mathbb Z}_{2}^{n}$-Manifolds

abstract: Informally, ${\mathbb Z}_2^n$-manifolds are 'manifolds' with ${\mathbb Z}_2^n$-graded coordinates and a sign rule determined by the standard scalar product of their ${\mathbb Z}_2^n$-degrees. Such manifolds can be understood in a sheaf-theoretic framework, as supermanifolds can, but with significant differences, in particular in integration theory. In this paper, we reformulate the notion of a ${\mathbb Z}_2^n$-manifold within a categorical framework via the functor of points. We show that it is sufficient to consider ${\mathbb Z}_2^n$-points, i.e., trivial ${\mathbb Z}_2^n$-manifolds for which the reduced manifold is just a single point, as 'probes' when employing the functor of points. This allows us to construct a fully faithful restricted Yoneda embedding of the category of ${\mathbb Z}_2^n$-manifolds into a subcategory of contravariant functors from the category of ${\mathbb Z}_2^n$-points to a category of Fr\'echet manifolds over algebras. We refer to this embedding as the Schwarz-Voronov embedding. We further prove that the category of ${\mathbb Z}_2^n$-manifolds is equivalent to the full subcategory of locally trivial functors in the preceding subcategory.


title: Digital Multiplier-less Event-Driven Spiking Neural Network Architecture for Learning a Context-Dependent Task

abstract: Neuromorphic engineers aim to develop event-based spiking neural networks (SNNs) in hardware. These SNNs closer resemble dynamics of biological neurons than todays' artificial neural networks and achieve higher efficiency thanks to the event-based, asynchronous nature of processing. Learning in SNNs is more challenging, however. Since conventional supervised learning methods cannot be ported on SNNs due to the non-differentiable event-based nature of their activation, learning in SNNs is currently an active research topic. Reinforcement learning (RL) is particularly promising method for neuromorphic implementation, especially in the field of autonomous agents' control, and is in focus of this work. In particular, in this paper we propose a new digital multiplier-less hardware implementation of an SNN. We show how this network can learn stimulus-response associations in a context-dependent task through a RL mechanism. The task is inspired by biological experiments used to study RL in animals. The architecture is described using the standard digital design flow and uses power- and space-efficient cores. We implement the behavioral experiments using a robot, to show that learning in hardware also works in a closed sensorimotor loop.


title: Learning Grasp Affordance Reasoning through Semantic Relations

abstract: Reasoning about object affordances allows an autonomous agent to perform generalised manipulation tasks among object instances. While current approaches to grasp affordance estimation are effective, they are limited to a single hypothesis. We present an approach for detection and extraction of multiple grasp affordances on an object via visual input. We define semantics as a combination of multiple attributes, which yields benefits in terms of generalisation for grasp affordance prediction. We use Markov Logic Networks to build a knowledge base graph representation to obtain a probability distribution of grasp affordances for an object. To harvest the knowledge base, we collect and make available a novel dataset that relates different semantic attributes. We achieve reliable mappings of the predicted grasp affordances on the object by learning prototypical grasping patches from several examples. We show our method's generalisation capabilities on grasp affordance prediction for novel instances and compare with similar methods in the literature. Moreover, using a robotic platform, on simulated and real scenarios, we evaluate the success of the grasping task when conditioned on the grasp affordance prediction.


title: Double phase image restoration

abstract: In this paper we explore the potential of the double phase functional in an image processing context. To this end, we study minimizers of the double phase energy for functions with bounded variation and show that this energy can be obtained by $\Gamma$-convergence or relaxation of regularized functionals. A central tool is a capped fractional maximal function of the derivative of $BV$ functions.


title: Binary Stochastic Representations for Large Multi-class Classification

abstract: Classification with a large number of classes is a key problem in machine learning and corresponds to many real-world applications like tagging of images or textual documents in social networks. If one-vs-all methods usually reach top performance in this context, these approaches suffer from a high inference complexity, linear w.r.t the number of categories. Different models based on the notion of binary codes have been proposed to overcome this limitation, achieving in a sublinear inference complexity. But they a priori need to decide which binary code to associate to which category before learning using more or less complex heuristics. We propose a new end-to-end model which aims at simultaneously learning to associate binary codes with categories, but also learning to map inputs to binary codes. This approach called Deep Stochastic Neural Codes (DSNC) keeps the sublinear inference complexity but do not need any a priori tuning. Experimental results on different datasets show the effectiveness of the approach w.r.t baseline methods.


title: Higher order regularity of nonlinear Fokker-Planck PDEs with respect to the measure component

abstract: In this article, we establish a general formula for higher order linear functional derivatives for the composition of an arbitrary smooth functional on the 1-Wasserstein space with the solution of a Fokker-Planck PDE. This formula has important links with the theory of propagation of chaos and mean-field games.


title: Interactive Optimization of Generative Image Modeling using Sequential Subspace Search and Content-based Guidance

abstract: Generative image modeling techniques such as GAN demonstrate highly convincing image generation result. However, user interaction is often necessary to obtain the desired results. Existing attempts add interactivity but require either tailored architectures or extra data. We present a human-in-the-optimization method that allows users to directly explore and search the latent vector space of generative image modeling. Our system provides multiple candidates by sampling the latent vector space, and the user selects the best blending weights within the subspace using multiple sliders. In addition, the user can express their intention through image editing tools. The system samples latent vectors based on inputs and presents new candidates to the user iteratively. An advantage of our formulation is that one can apply our method to arbitrary pre-trained model without developing specialized architecture or data. We demonstrate our method with various generative image modeling applications, and show superior performance in a comparative user study with prior art iGAN.


title: On the Performance of Massive MIMO Systems With Low-Resolution ADCs Over Rician Fading Channels

abstract: This paper considers uplink massive multiple-input multiple-output (MIMO) systems with lowresolution analog-to-digital converters (ADCs) over Rician fading channels. Maximum-ratio-combining (MRC) and zero-forcing (ZF) receivers are considered under the assumption of perfect and imperfect channel state information (CSI). Low-resolution ADCs are considered for both data detection and channel estimation, and the resulting performance is analyzed. Asymptotic approximations of the spectrum efficiency (SE) for large systems are derived based on random matrix theory. With these results, we can provide insights into the trade-offs between the SE and the ADC resolution and study the influence of the Rician K-factors on the performance. It is shown that a large value of K-factors may lead to better performance and alleviate the influence of quantization noise on channel estimation. Moreover, we investigate the power scaling laws for both receivers under imperfect CSI and it shows that when the number of base station (BS) antennas is very large, without loss of SE performance, the transmission power can be scaled by the number of BS antennas for both receivers while the overall performance is limited by the resolution of ADCs. The asymptotic analysis is validated by numerical results. Besides, it is also shown that the SE gap between the two receivers is narrowed down when the K-factor is increased. We also show that ADCs with moderate resolutions lead to better energy efficiency (EE) than that with high-resolution or extremely low-resolution ADCs and using ZF receivers achieve higher EE as compared with the MRC receivers.


title: Optical response of (InGa)(AsSb)/GaAs quantum dots embedded in a GaP matrix

abstract: The optical response of (InGa)(AsSb)/GaAs quantum dots (QDs) grown on GaP (001) substrates is studied by means of excitation and temperature-dependent photoluminescence (PL), and it is related to their complex electronic structure. Such QDs exhibit concurrently direct and indirect transitions, which allows the swapping of $\Gamma$ and $L$ quantum confined states in energy, depending on details of their stoichiometry. Based on realistic data on QD structure and composition, derived from high-resolution transmission electron microscopy (HRTEM) measurements, simulations by means of $\mathbf{k\cdot p}$ theory are performed. The theoretical prediction of both momentum direct and indirect type-I optical transitions are confirmed by the experiments presented here. Additional investigations by a combination of Raman and photoreflectance spectroscopy show modifications of the hydrostatic strain in the QD layer, depending on the sequential addition of QDs and capping layer. A variation of the excitation density across four orders of magnitude reveals a 50 meV energy blueshift of the QD emission. Our findings suggest that the assignment of the type of transition, based solely by the observation of a blueshift with increased pumping, is insufficient. We propose therefore a more consistent approach based on the analysis of the character of the blueshift evolution with optical pumping, which employs a numerical model based on a semi-self-consistent configuration interaction method.


title: Superionic-like diffusion in an elemental crystal: bcc Titanium

abstract: Recent theoretical investigations [Belonoshko et al. Nature Geoscience 10, 312 (2017)] revealed occurrence of concerted migration of several atoms in bcc Fe at inner-core temperatures and pressures. Here, we combine first-principles and semi-empirical atomistic simulations to show that a diffusion mechanism analogous to the one predicted for bcc iron at extreme conditions is also operative and of relevance for the high-temperature bcc phase of pure Ti at ambient pressure. The mechanism entails a rapid collective movement of numerous (from two to dozens) neighbors along tangled closed-loop paths in defect-free crystal regions. We argue that this phenomenon closely resembles the diffusion behavior of superionics and liquid metals. Furthermore, we suggest that concerted migration is the atomistic manifestation of vanishingly small w-mode phonon frequencies previously detected via neutron scattering and the mechanism underlying anomalously large and markedly non-Arrhenius self-diffusivities characteristic of bcc Ti.


title: Adversarial Multimodal Network for Movie Question Answering

abstract: Visual question answering by using information from multiple modalities has attracted more and more attention in recent years. However, it is a very challenging task, as the visual content and natural language have quite different statistical properties. In this work, we present a method called Adversarial Multimodal Network (AMN) to better understand video stories for question answering. In AMN, as inspired by generative adversarial networks, we propose to learn multimodal feature representations by finding a more coherent subspace for video clips and the corresponding texts (e.g., subtitles and questions). Moreover, we introduce a self-attention mechanism to enforce the so-called consistency constraints in order to preserve the self-correlation of visual cues of the original video clips in the learned multimodal representations. Extensive experiments on the MovieQA dataset show the effectiveness of our proposed AMN over other published state-of-the-art methods.


title: Shape and Spin of Minihaloes. II: The Effect of Streaming Velocities

abstract: Models of the decoupling of baryons and photons during the recombination epoch predict the existence of a large-scale velocity offset between baryons and dark matter at later times, the so-called streaming velocity. In this paper, we use high resolution numerical simulations to investigate the impact of this streaming velocity on the spin and shape distributions of high-redshift minihalos, the formation sites of the earliest generation of stars. We find that the presence of a streaming velocity has a negligible effect on the spin and shape of the dark matter component of the minihalos. However, it strongly affects the behaviour of the gas component. The most probable spin parameter increases from $\sim$0.03 in the absence of streaming to $\sim$0.15 for a run with a streaming velocity of three times $\sigma_{\rm rms}$, corresponding to 1.4 km\,s$^{-1}{}$ at redshift $z=15$. The gas within the minihalos becomes increasingly less spherical and more oblate as the streaming velocity increases, with dense clumps being found at larger distances from the halo centre. The impact of the streaming velocity is also mass-dependent: less massive objects are influenced more strongly, on account of their shallower potential wells. The number of halos in which gas cooling and runaway gravitational collapse occurs decreases substantially as the streaming velocity increases. However, the spin and shape distributions of gas that does manage to cool and collapse are insensitive to the value of the streaming velocity and we therefore do not expect the properties of the stars that formed from this collapsed gas to depend on the value of the streaming velocity. The spin and shape of this central gas clump are uncorrelated with the same properties measured on the scale of the halo as a whole.


title: KP hierarchy and trigonometric Calogero-Moser hierarchy

abstract: We consider trigonometric solutions of the KP hierarchy. It is known that their poles move as particles of the Calogero-Moser model with trigonometric potential. We show that this correspondence can be extended to the level of hierarchies: the evolution of the poles with respect to the $k$-th hierarchical time of the KP hierarchy is governed by a Hamiltonian which is a linear combination of the first $k$ higher Hamiltonians of the trigonometric Calogero-Moser hierarchy.


title: Using Human Ratings for Feedback Control: A Supervised Learning Approach with Application to Rehabilitation Robotics

abstract: This paper presents a method for tailoring a parametric controller based on human ratings. The method leverages supervised learning concepts in order to train a reward model from data. It is applied to a gait rehabilitation robot with the goal of teaching the robot how to walk patients physiologically. In this context, the reward model judges the physiology of the gait cycle (instead of therapists) using sensor measurements provided by the robot and the automatic feedback controller chooses the input settings of the robot to maximize the reward. The key advantage of the proposed method is that only a few input adaptations are necessary to achieve a physiological gait cycle. Experiments with nondisabled subjects show that the proposed method permits the incorporation of human expertise into a control law and to automatically walk patients physiologically.


title: Local laws and rigidity for Coulomb gases at any temperature

abstract: We study Coulomb gases in any dimension $d \geq 2$ and in a broad temperature regime. We prove local laws on the energy, separation and number of points down to the microscopic scale. These yield the existence of limiting point processes generalizing the Ginibre point process for arbitrary temperature and dimension. The local laws come together with a quantitative expansion of the free energy with a new explicit error rate in the case of a uniform background density. These estimates have explicit temperature dependence, allowing to treat regimes of very large or very small temperature, and exhibit a new minimal lengthscale for rigidity depending on the temperature. They apply as well to energy minimizers (formally zero temperature). The method is based on a bootstrap on scales and reveals the additivity of the energy modulo surface terms, via the introduction of subadditive and superadditive approximate energies.


title: Q/V enhancement of Si micropillar resonator with Bragg reflectors in BIC regime

abstract: We show how the recently found quasi-bound state in the continuum optical states in dielectric antennae can be utilized to engineer pillar microcavities design with the substantially optimized quality factor to mode volume ratio.


title: Multisensory cues facilitate coordination of stepping movements with a virtual reality avatar

abstract: The effectiveness of simple sensory cues for retraining gait have been demonstrated, yet the feasibility of humanoid avatars for entrainment have yet to be investigated. Here, we describe the development of a novel method of visually cued training, in the form of a virtual partner, and investigate its ability to provide movement guidance in the form of stepping. Real stepping movements were mapped onto an avatar using motion capture data. The trajectory of one of the avatar step cycles was then accelerated or decelerated by 15% to create a perturbation. Healthy participants were motion captured while instructed to step in time to the avatar's movements, as viewed through a virtual reality headset. Step onset times were used to measure the timing errors (asynchronies) between them. Participants completed either a visual-only condition, or auditory-visual with footstep sounds included. Participants' asynchronies exhibited slow drift in the Visual-Only condition, but became stable in the Auditory-Visual condition. Moreover, we observed a clear corrective response to the phase perturbation in both auditory-visual conditions. We conclude that an avatar's movements can be used to influence a person's own gait, but should include relevant auditory cues congruent with the movement to ensure a suitable accuracy is achieved.


title: Uniqueness for the Brezis-Nirenberg type problems on spheres and hemispheres

abstract: In this work, we develop a study involving some nonlinear partial differential equations on spheres and hemispheres, with the zero Neumann boundary condition, which are so-called Brezis-Nirenberg type problems, and we give conditions on which such equations have only constant solutions. We also extend these results for some nonlinear partial differential systems.


title: Lifelong Learning Starting From Zero

abstract: We present a deep neural-network model for lifelong learning inspired by several forms of neuroplasticity. The neural network develops continuously in response to signals from the environment. In the beginning, the network is a blank slate with no nodes at all. It develops according to four rules: (i) expansion, which adds new nodes to memorize new input combinations; (ii) generalization, which adds new nodes that generalize from existing ones; (iii) forgetting, which removes nodes that are of relatively little use; and (iv) backpropagation, which fine-tunes the network parameters. We analyze the model from the perspective of accuracy, energy efficiency, and versatility and compare it to other network models, finding better performance in several cases.


title: Evidence of a fast bar in the weakly-interacting galaxy NGC 4264 with MUSE

abstract: We present surface photometry and stellar kinematics of NGC 4264, a barred lenticular galaxy in the region of the Virgo Cluster undergoing a tidal interaction with one of its neighbours, NGC 4261. We measured the bar radius (a_bar=3.2 +/-0.5 kpc) and strength (S_bar=0.31+/-0.04) of NGC 4264 from Sloan Digital Sky Survey imaging and its bar pattern speed (Omega_bar=71+/-4 km/s/kpc) using the Tremaine-Weinberg method with stellar-absorption integral-field spectroscopy performed with the Multi Unit Spectroscopic Explorer at the Very Large Telescope. We derived the circular velocity (V_circ=189+/-10 km/s) by correcting the stellar streaming velocity for asymmetric drift and calculated the corotation radius (R_cor=2.8+/-0.2 kpc) from the bar pattern speed. Finally, we estimated the bar rotation rate (R_cor/a_bar=0.88+/-0.23). We find that NGC 4264 hosts a strong and large bar extending out to the corotation radius. This means that the bar is rotating as fast as it can like nearly all the other bars measured so far even when the systematic error due to the uncertainty on the disc position angle is taken into account. The accurate measurement of the bar rotation rate allows us to infer that the formation of the bar of NGC 4264 was due to self-generated internal processes and not triggered by the ongoing interaction.


title: Decompositions of algebras and post-associative algebra structures

abstract: We introduce post-associative algebra structures and study their relationship to post-Lie algebra structures, Rota--Baxter operators and decompositions of associative algebras and Lie algebras. We show several results on the existence of such structures. In particular we prove that there exists no post-Lie algebra structure on a pair $(\mathfrak{g},\mathfrak{n})$, where $\mathfrak{n}$ is a simple Lie algebra and $\mathfrak{g}$ is a reductive Lie algebra, which is not isomorphic to $\mathfrak{n}$. We also show that there is no post-associative algebra structure on a pair $(A,B)$ arising from a Rota--Baxter operator of $B$, where $A$ is a semisimple associative algebra and $B$ is not semisimple. The proofs use results on Rota--Baxter operators and decompositions of algebras.


title: Universal Bayes consistency in metric spaces

abstract: We extend a recently proposed 1-nearest-neighbor based multiclass learning algorithm and prove that our modification is universally strongly Bayes-consistent in all metric spaces admitting any such learner, making it an "optimistically universal" Bayes-consistent learner. This is the first learning algorithm known to enjoy this property; by comparison, the $k$-NN classifier and its variants are not generally universally Bayes-consistent, except under additional structural assumptions, such as an inner product, a norm, finite dimension, or a Besicovitch-type property. The metric spaces in which universal Bayes consistency is possible are the "essentially separable" ones -- a notion that we define, which is more general than standard separability. The existence of metric spaces that are not essentially separable is widely believed to be independent of the ZFC axioms of set theory. We prove that essential separability exactly characterizes the existence of a universal Bayes-consistent learner for the given metric space. In particular, this yields the first impossibility result for universal Bayes consistency. Taken together, our results completely characterize strong and weak universal Bayes consistency in metric spaces.


title: Asymptotic Profiles of Nonlinear Homogeneous Evolution Equations of Gradient Flow Type

abstract: This work is concerned with the gradient flow of absolutely $p$-homogeneous convex functionals on a Hilbert space, which we show to exhibit finite ($p<2$) or infinite extinction time ($p \geq 2$). We give upper bounds for the finite extinction time and establish convergence rates of the flow. Moreover, we study next order asymptotics and prove that asymptotic profiles of the solution are eigenfunctions of the subdifferential operator of the functional. To this end, we compare with solutions of an ordinary differential equation which describes the evolution of eigenfunction under the flow. Our work applies, for instance, to local and nonlocal versions of PDEs like $p$-Laplacian evolution equations, the porous medium equation, and fast diffusion equations, herewith generalizing many results from the literature to an abstract setting. We also demonstrate how our theory extends to general homogeneous evolution equations which are not necessarily a gradient flow. Here we discover an interesting integrability condition which characterizes whether or not asymptotic profiles are eigenfunctions.


title: General framework for the analysis of imperfections in nonlinear systems

abstract: In this paper, we derive a framework to understand the effect of imperfections on the phasematching spectrum of a wide class of nonlinear systems. We show that this framework is applicable to many physical systems, such as waveguides or fibres. Furthermore, this treatment reveals that the product of the system length and the magnitude of the imperfections completely determines the phasematching properties of these systems, thus offering a general rule for system design. Additionally, our framework provides a simple method to compare the performance of a wide range of nonlinear systems.


title: Classical Langevin dynamics derived from quantum mechanics

abstract: The classical work by Zwanzig [J. Stat. Phys. 9 (1973) 215-220] derived Langevin dynamics from a Hamiltonian system of a heavy particle coupled to a heat bath. This work extends Zwanzig's model to a quantum system and formulates a more general coupling between a particle system and a heat bath. The main result proves that ab initio Langevin molecular dynamics, with a certain rank one friction matrix determined by the coupling, approximates for any temperature canonical quantum observables, based on the system coordinates, more accurately than any Hamiltonian system in these coordinates, for large mass ratio between the system and the heat bath nuclei.


title: Operational characterization of incompatibility of quantum channels with quantum state discrimination

abstract: A collection of quantum channels is called incompatible if they cannot be obtained as marginals from a single channel. No-cloning theorem is the most prominent instance of incompatibility of quantum channels. We show that every collection of incompatible channels can be more useful than compatible ones as preprocessings in a state discrimination task with multiple ensembles of states. This is done by showing that the robustness of channel incompatibility which is a measure for incompatibility of channels exactly quantifies the maximum advantage in the state discrimination. We also show that incompatibility of quantum measurement and channel has a similar operational interpretation. Finally, we demonstrate that our result with respect to channel incompatibility includes all other kinds of incompatibility as special cases.


title: Dynamic Network Embeddings for Network Evolution Analysis

abstract: Network embeddings learn to represent nodes as low-dimensional vectors to preserve the proximity between nodes and communities of the network for network analysis. The temporal edges (e.g., relationships, contacts, and emails) in dynamic networks are important for network evolution analysis, but few existing methods in network embeddings can capture the dynamic information from temporal edges. In this paper, we propose a novel dynamic network embedding method to analyze evolution patterns of dynamic networks effectively. Our method uses random walk to keep the proximity between nodes and applies dynamic Bernoulli embeddings to train discrete-time network embeddings in the same vector space without alignments to preserve the temporal continuity of stable nodes. We compare our method with several state-of-the-art methods by link prediction and evolving node detection, and the experiments demonstrate that our method generally has better performance in these tasks. Our method is further verified by two real-world dynamic networks via detecting evolving nodes and visualizing their temporal trajectories in the embedded space.


title: Independent channels for miRNA biosynthesis ensure efficient static and dynamic control in the regulation of the early stages of myogenesis

abstract: Motivated by recent experimental work, we define and study a deterministic model of the complex miRNA-based regulatory circuit that putatively controls the early stage of myogenesis in human. We aim in particular at a quantitative understanding of (i) the roles played by the separate and independent miRNA biosynthesis channels (one involving a miRNA-decoy system regulated by an exogenous controller, the other given by transcription from a distinct genomic locus) that appear to be crucial for the differentiation program, and of (ii) how competition to bind miRNAs can efficiently control molecular levels in such an interconnected architecture. We show that optimal static control via the miRNA-decoy system constrains kinetic parameters in narrow ranges where the channels are tightly cross-linked. On the other hand, the alternative locus for miRNA transcription can ensure that the fast concentration shifts required by the differentiation program are achieved, specifically via non-linear response of the target to even modest surges in the miRNA transcription rate. While static, competition-mediated regulation can be achieved by the miRNA-decoy system alone, both channels are essential for the circuit's overall functionality, suggesting that that this type of joint control may represent a minimal optimal architecture in different contexts.


title: Ergodic measures of intermediate entropies for dynamical systems with the approximate product property

abstract: For a dynamical system satisfying the approximate product property and asymptotically entropy expansiveness, we characterize a delicate structrue of the space of invariant measures: The ergodic measures of intermediate entropies and intermediate pressures are generic in certain subspaces. This proves a conjecture of Katok for a broad class of systems and extends a sequence of known results.


title: Existence and almost uniqueness for $p$-harmonic Green functions on bounded domains in metric spaces

abstract: We study ($p$-harmonic) singular functions, defined by means of upper gradients, in bounded domains in metric measure spaces. It is shown that singular functions exist if and only if the complement of the domain has positive capacity, and that they satisfy very precise capacitary identities for superlevel sets. Suitably normalized singular functions are called Green functions. Uniqueness of Green functions is largely an open problem beyond unweighted $\mathbf{R}^n$, but we show that all Green functions (in a given domain and with the same singularity) are comparable. As a consequence, for $p$-harmonic functions with a given pole we obtain a similar comparison result near the pole. Various characterizations of singular functions are also given. Our results hold in complete metric spaces with a doubling measure supporting a $p$-Poincar\'e inequality, or under similar local assumptions.


title: When is the best time to learn? -- Evidence from an introductory statistics course

abstract: We analyze learning data of an e-assessment platform for an introductory mathematical statistics course, more specifically the time of the day when students learn. We propose statistical models to predict students' success and to describe their behavior with a special focus on the following aspects. First, we find that learning during daytime and not at nighttime is a relevant variable for predicting success in final exams. Second, we observe that good and very good students tend to learn in the afternoon, while some students who failed our course were more likely to study at night but not successfully so. Third, we discuss the average time spent on exercises. Regarding this, students who participated in an exam spent more time doing exercises than students who dropped the course before.


title: The Minimum Tollbooth Problem in Atomic Network Congestion Games with Unsplittable Flows

abstract: This work analyzes the minimum tollbooth problem in atomic network congestion games with unsplittable flows. The goal is to place tolls on edges, such that there exists a pure Nash equilibrium in the tolled game that is a social optimum in the untolled one. Additionally, we require the number of tolled edges to be the minimum. This problem has been extensively studied in non-atomic games, however, to the best of our knowledge, it as not been considered for atomic games before. By a reduction from the weighted CNF SAT problem, we show both the NP-hardness of the problem and the W[2]-hardness when parameterizing the problem with the number of tolled edges. On the positive side, we present a polynomial time algorithm for networks on series-parallel graphs that turns any given state of the untolled game into a pure Nash equilibrium of the tolled game with the minimum number of tolled edges.