title: Teaching Meaningful Explanations

abstract: The adoption of machine learning in high-stakes applications such as healthcare and law has lagged in part because predictions are not accompanied by explanations comprehensible to the domain user, who often holds the ultimate responsibility for decisions and outcomes. In this paper, we propose an approach to generate such explanations in which training data is augmented to include, in addition to features and labels, explanations elicited from domain users. A joint model is then learned to produce both labels and explanations from the input features. This simple idea ensures that explanations are tailored to the complexity expectations and domain knowledge of the consumer. Evaluation spans multiple modeling techniques on a game dataset, a (visual) aesthetics dataset, a chemical odor dataset and a Melanoma dataset showing that our approach is generalizable across domains and algorithms. Results demonstrate that meaningful explanations can be reliably taught to machine learning algorithms, and in some cases, also improve modeling accuracy.


title: Topological mechanical metamaterial with nonrectilinear constraints

abstract: In this paper we study Maxwell lattices with non-rectilinear constraints, where the elastic energy is determined by the collective motion of three or more particles, in contrast to a rectilinear spring whose elastic energy only relies on the displacement of two particles attached to the two ends of the spring. Utilizing polygon-shaped constraints, we found that the Maxwell counting argument and the topological construction, based on the compatibility matrix and the equilibrium matrix, can be generalized in our models, and our elastic systems follow the same topological classification. In addition, we also found that non-rectilinear constraints offers a natural pass towards topological states with higher topological indices and multiple edge states, which can be achieved even for a simple unit cell with one degree of freedom per unit cell without enlarging the unit cell in the bulk or at the edge.


title: Imaging particle collision data for event classification using machine learning

abstract: We propose a method to organize experimental data from particle collision experiments in a general format which can enable a simple visualisation and effective classification of collision data using machine learning techniques. The method is based on sparse fixed-size matrices with single- and two-particle variables containing information on identified particles and jets. We illustrate this method using an example of searches for new physics at the LHC experiments.


title: Splitting source code identifiers using Bidirectional LSTM Recurrent Neural Network

abstract: Programmers make rich use of natural language in the source code they write through identifiers and comments. Source code identifiers are selected from a pool of tokens which are strongly related to the meaning, naming conventions, and context. These tokens are often combined to produce more precise and obvious designations. Such multi-part identifiers count for 97% of all naming tokens in the Public Git Archive - the largest dataset of Git repositories to date. We introduce a bidirectional LSTM recurrent neural network to detect subtokens in source code identifiers. We trained that network on 41.7 million distinct splittable identifiers collected from 182,014 open source projects in Public Git Archive, and show that it outperforms several other machine learning models. The proposed network can be used to improve the upstream models which are based on source code identifiers, as well as improving developer experience allowing writing code without switching the keyboard case.


title: Entropy accumulation with improved second-order term

abstract: The entropy accumulation theorem states that the smooth min-entropy of an $n$-partite system $A = (A_1, \ldots, A_n)$ is lower-bounded by the sum of the von Neumann entropies of suitably chosen conditional states up to corrections that are sublinear in $n$. This theorem is particularly suited to proving the security of quantum cryptographic protocols, and in particular so-called device-independent protocols for randomness expansion and key distribution, where the devices can be built and preprogrammed by a malicious supplier. However, while the bounds provided by this theorem are optimal in the first order, the second-order term is bounded more crudely, in such a way that the bounds deteriorate significantly when the theorem is applied directly to protocols where parameter estimation is done by sampling a small fraction of the positions, as is done in most QKD protocols. The objective of this paper is to improve this second-order sublinear term and remedy this problem. On the way, we prove various bounds on the divergence variance, which might be of independent interest.


title: LSTMs Exploit Linguistic Attributes of Data

abstract: While recurrent neural networks have found success in a variety of natural language processing applications, they are general models of sequential data. We investigate how the properties of natural language data affect an LSTM's ability to learn a nonlinguistic task: recalling elements from its input. We find that models trained on natural language data are able to recall tokens from much longer sequences than models trained on non-language sequential data. Furthermore, we show that the LSTM learns to solve the memorization task by explicitly using a subset of its neurons to count timesteps in the input. We hypothesize that the patterns and structure in natural language data enable LSTMs to learn by providing approximate ways of reducing loss, but understanding the effect of different training data on the learnability of LSTMs remains an open question.


title: Probabilistic enhancement of the Failure Forecast Method using a stochastic differential equation and application to volcanic eruption forecasts

abstract: We introduce a doubly stochastic method for performing material failure theory based forecasts of volcanic eruptions. The method enhances the well known Failure Forecast Method equation, introducing a new formulation similar to the Hull-White model in financial mathematics. In particular, we incorporate a stochastic noise term in the original equation, and systematically characterize the uncertainty. The model is a stochastic differential equation with mean reverting paths, where the traditional ordinary differential equation defines the mean solution. Our implementation allows the model to make excursions from the classical solutions, by including uncertainty in the estimation. The doubly stochastic formulation is particularly powerful, in that it provides a complete posterior probability distribution, allowing users to determine a worst case scenario with a specified level of confidence. We apply the new method on historical datasets of precursory signals, across a wide range of possible values of convexity in the solutions and amounts of scattering in the observations. The results show the increased forecasting skill of the doubly stochastic formulation of the equations if compared to statistical regression.


title: Some generalizations of frames in Hilbert modules

abstract: Frames play significant role in various areas of science and engineering. In this paper, we introduce the concepts of frames for $End_{\mathcal{A}}^{\ast}(\mathcal{H, K})$ and their generalizations. Moreover, we obtain some new results for generalized frames in Hilbert modules.


title: Nonradiative emission and absorption rates of quantum emitters embedded in metallic systems: microscopic description and their determination from electronic transport

abstract: We investigate nonradiative emission and absorption rates of two-level quantum emitters embedded in a metal at low temperatures. We obtain the expressions for both nonradiative transition rates and identify a unique, experimentally accessible way to obtain the nonradiative decay rates via electronic transport in the host metallic system. Our findings not only provide a microscopic description of nonradiative decay channels in metals, but they also allows one to identify and differentiate them from other decay channels, which is crucial to understand and control light-matter interactions at the nanoscale.


title: On the distribution of primes in the alternating sums of concecutive primes

abstract: Quite recently, in [8] the authoor of this paper considered the distribution of primes in the sequence $(S_n)$ whose $n$th term is defined as $S_n=\sum_{k=1}^{2n}p_k$, where $p_k$ is the $k$th prime. Some heuristic arguments and the numerical evidence lead to the conjecture that the primes are distributed among sequence $(S_n)$ in the same way that they are distributed among positive integers. More precisely, Conjecture 3.3 in [8] asserts that $\pi_n\sim \frac{n}{\log n}$ as $n\to \infty$, where $\pi_n$ denotes the number of primes in the set $\{S_1,S_2,\ldots, S_n\}$. Motivated by this, here we consider the distribution of primes in aletrnating sums of first $2n$ primes, i.e., in the sequences $(A_n)$ and $(T_n)$ defined by $A_n:=\sum_{i=1}^{2n}(-1)^ip_i$ and $T_n:=A_n-2=\sum_{i=2}^{2n}(-1)^ip_i$ ($n=1,2,\ldots$). Heuristic arguments and computational results suggest the conjecture that (Conjecture 2.5) $$ \pi_{(A_k)}(A_n)\sim \pi_{(T_k)}(T_n)\sim \frac{2n}{\log n} \quad {\rm as}\,\, n\to \infty, $$ where $\pi_{(A_k)}(A_n)$ (respectively, $\pi_{(T_k)}(T_n)$) denotes the number of primes in the set $\{A_1,A_2,\ldots, A_n\}$(respectively, $\{T_1,T_2,\ldots, T_n\}$). Under Conjecture 2.5 and Pillai's conjecture, we establish two results concerning the expressions for the $k$th prime in the sequences $(A_n)$ and $(T_n)$. Furthermore, we propose some other related conjectures and we deduce some their consequences.


title: Fractional jumps: complete characterisation and an explicit infinite family

abstract: In this paper we provide a complete characterisation of transitive fractional jumps by showing that they can only arise from transitive projective automorphisms. Furthermore, we prove that such construction is feasible for arbitrarily large dimension by exhibiting an infinite class of projectively primitive polynomials whose companion matrix can be used to define a full orbit sequence over an affine space.


title: A Unified Particle-Optimization Framework for Scalable Bayesian Sampling

abstract: There has been recent interest in developing scalable Bayesian sampling methods such as stochastic gradient MCMC (SG-MCMC) and Stein variational gradient descent (SVGD) for big-data analysis. A standard SG-MCMC algorithm simulates samples from a discrete-time Markov chain to approximate a target distribution, thus samples could be highly correlated, an undesired property for SG-MCMC. In contrary, SVGD directly optimizes a set of particles to approximate a target distribution, and thus is able to obtain good approximations with relatively much fewer samples. In this paper, we propose a principle particle-optimization framework based on Wasserstein gradient flows to unify SG-MCMC and SVGD, and to allow new algorithms to be developed. Our framework interprets SG-MCMC as particle optimization on the space of probability measures, revealing a strong connection between SG-MCMC and SVGD. The key component of our framework is several particle-approximate techniques to efficiently solve the original partial differential equations on the space of probability measures. Extensive experiments on both synthetic data and deep neural networks demonstrate the effectiveness and efficiency of our framework for scalable Bayesian sampling.


title: Notes on hyperbolic dynamics

abstract: These expository notes present a proof of the Stable/Unstable Manifold Theorem (also known as the Hadamard--Perron Theorem). They also give examples of hyperbolic dynamics: geodesic flows on surfaces of negative curvature and dispersing billiards.


title: Novel EDTA-Ligands Containing an Integral Perylene Bisimide (PBI) Core as Optical Reporter Unit

abstract: The synthesis, characterization and metal complexation of a new class of perylene bisimides (PBIs) being an integral part of ethylenediaminetetraacetic acid (EDTA) is reported. The simplest representative, namely derivative 1a, was synthesized both by a convergent as well as a direct approach while the elongated derivatives, 1b and 1c, were obtained only via a convergent synthetic pathway. All these new prototypes of water-soluble perylenes are bolaamphiphiles and were fully characterized by 1H- and 13C-NMR spectroscopy, matrix assisted laser desorption ionization, time of flight (MALDI-TOF) mass spectrometry and IR spectroscopy. In order to acquaint for the behaviour in solution of our PBIs bearing dentritic wedges, the simplest derivative, 1a, was chosen and tested by means of UV/Vis and fluorescence spectroscopy as well as by zeta-potential measurements. A photoexcitation induced intramolecular photo-electron transfer (PET) can be observed in these molecules. Therefore potential applications as sensor can be imagined. Model compound 1a efficiently coordinates trivalent metal cations both in water and in dimethyl sulfoxide (DMSO). Significantly, the effects of the complexation strongly depend on the aggregation state of the PBI molecules in solution. As a matter of fact, in water, the presence of M3+ ions triggers the formation of light emitting supramolecular aggregates (excimers). On the other hand, in DMSO-rich solutions metal complexation leads to the suppression of the PET and leads to a strong fluorescence enhancement.


title: Integrated Conductivity-Modulation-Based RF Magnetic-Free Non-Reciprocal Components: Recent Results and Benchmarking

abstract: Achieving non-reciprocity and building nonreciprocal components through spatio-temporal modulation of material properties has attracted a lot of attention in the recent past as an alternative to the more traditional approach of exploiting Faraday rotation in magnetic materials. In this letter, we review recent research on spatio-temporal conductivity-modulation, which enables low-loss, small-footprint, wide-bandwidth and high-power-handling non-reciprocal components operating from radio frequencies (RF) to millimeter-waves (mm-waves) and integrated in a CMOS platform. Four generations of non-reciprocal circulators and circulator-based systems will be reviewed. We will also discuss metrics of performance that are important for wireless applications and standards, and introduce a new antenna (ANT) interface efficiency figure of merit ($\eta_{ANT}$) to enable a fair comparison between various types of antenna interfaces.


title: A Reconfigurable Nanophotonics Platform for Sub-Millisecond, Deep Brain Neural Stimulation

abstract: Nanophotonics provides the ability to rapidly and precisely reconfigure light beams on a compact platform. Infrared nanophotonic devices are widely used in data communications to overcome traditional bandwidth limitations of electrical interconnects. Nanophotonic devices also hold promise for use in biological applications that require visible light, but this has remained technically elusive due to the challenges of reconfiguring and guiding light at these smaller dimensions. In neuroscience, for example, there is a need for implantable optical devices to optogenetically stimulate neurons across deep brain regions with the speed and precision matching state-of-the-art recording probes. Here we demonstrate the first platform for reconfigurable nanophotonic devices in the visible wavelength range and show its application in vivo in the brain. We demonstrate an implantable probe endowed with the ability to rapidly switch and route multiple optical beams using a nanoscale switching network. Each switch consists of a silicon nitride waveguide structure that can be reconfigured by electrically tuning the phase of light and is designed for robustness to fabrication variation, enabling scalable devices. By implanting our probe in mouse visual cortex, we demonstrate in vivo the ability to stimulate identified sets of neurons across layers to produce multi-neuron spike patterns and record them simultaneously with sub-millisecond temporal precision. This nanophotonic platform can be scaled up and integrated with high-density neural recording technologies, opening the door to implantable probe technologies that are able to simultaneously record and stimulate the activity of large neural populations at distant regions of the brain with sub-millisecond precision. We expect this platform will enable researchers to gain a deeper understanding into the spatio-temporal precision of the neural code.


title: Additive Manufacturing of Nickel Based Superalloy

abstract: This paper reviews the use of relatively new manufacturing method called as additive manufacturing, most often mentioned as 3D printing in fabrication of high performance superalloys. The overview of the article describes the structure, property, processing, performance relationship of the fabrication process and the superalloys. The manufacturing methods such as Electron Beam Melting, Laser Beam Melting and Direct Energy Deposition used to fabricate commercially available alloys are explained. The microstructure / grain structure resulting from directional building, complex thermal cycles is discussed. An overview of the properties of the superalloys and their performance as well as applications is presented.


title: Superinjection in diamond homojunction P-I-N

abstract: Diamond and many newly emerged semiconductor materials show outstanding optical and magnetic properties. However, they cannot be as efficiently doped as silicon or gallium arsenide, which limits their practical applicability. Here, we report a superinjection effect in diamond p-i-n diodes, which gives the possibility to inject orders of magnitude more electrons into the i-region of the diode than the doping of the n-type injection layer allows. Moreover, we show that the efficiency of electron injection can be further improved using an i-p grating implemented in the i-region. The predicted superinjection effect enables to overcome fundamental limitations related to the high activation energy of donors in diamond and gives the possibility to design high-performance devices.

categories: physics.app-ph cond-mat.mes-hall cond-mat.mtrl-sci physics.comp-ph


title: Why Botnets Work: Distributed Brute-Force Attacks Need No Synchronization

abstract: In September 2017, McAffee Labs quarterly report estimated that brute force attacks represent 20\% of total network attacks, making them the most prevalent type of attack ex-aequo with browser based vulnerabilities. These attacks have sometimes catastrophic consequences, and understanding their fundamental limits may play an important role in the risk assessment of password-secured systems, and in the design of better security protocols. While some solutions exist to prevent online brute-force attacks that arise from one single IP address, attacks performed by botnets are more challenging. In this paper, we analyze these distributed attacks by using a simplified model. Our aim is to understand the impact of distribution and asynchronization on the overall computational effort necessary to breach a system. Our result is based on Guesswork, a measure of the number of queries (guesses) required of an adversary before a correct sequence, such as a password, is found in an optimal attack. Guesswork is a direct surrogate for time and computational effort of guessing a sequence from a set of sequences with associated likelihoods. We model the lack of synchronization by a worst-case optimization in which the queries made by multiple adversarial agents are received in the worst possible order for the adversary, resulting in a min-max formulation. We show that, even without synchronization, and for sequences of growing length, the asymptotic optimal performance is achievable by using randomized guesses drawn from an appropriate distribution. Therefore, randomization is key for distributed asynchronous attacks. In other words, asynchronous guessers can asymptotically perform brute-force attacks as efficiently as synchronized guessers.


title: Resisting collapse: How matter inside a black hole can withstand gravity

abstract: How can a Schwarzschild-sized matter system avoid a fate of gravitational collapse? To address this question, we critically reexamine the arguments that led to the "Buchdahl bound", which implies that the minimal size of a stable, compact object must be larger than nine eighths of its own Schwarzschild radius. Following Mazur and Mottola, and in line with other counterexamples to the singularity theorems, we identify large negative radial pressure extending to the gravitational radius as the essential ingredient for evading the Buchdahl bound. Our results are novel although consistent with many other investigations of models of non-singular black holes. It is shown in particular that a large negative pressure in the framework of classical GR translates into a large positive pressure once quantum physics is incorporated. In this way, a Schwarzschild-sized bound state of closed, interacting fundamental strings in its high-temperature Hagedorn phase can appear to have negative pressure and thus the ability to resist gravitational collapse.


title: Alkoxide-intercalated NiFe-layered double hydroxides magnetic nanosheets as efficient water oxidation electrocatalysts

abstract: Alkoxide-intercalated NiFe-layered double hydroxides were synthesized via the nonaqueous methanolic route. These nanoplatelets exhibit high crystalline quality as demonstrated by atomic resolution scanning transmission electron microscopy combined with electron energy-loss spectroscopy. Moreover, the presence of the alkoxide moieties has been unambiguously demonstrated by means of thermogravimetric analysis coupled to a mass spectrometer. These NiFe-LDHs can be exfoliated in water or organic solvents and processed into homogeneous ultra-thin films (< 3nm thick) with the assistance of O2-plasma. The study of their behaviour as water oxidation electrocatalysts has shown an outstanding performance at basic pHs (small overpotential of ca. 249 mV and Tafel slopes in the range of 52-55 mV per decade).


title: Reductive Arylation of Graphene: Insights into a Reversible Carbon Allotrope Functionalization Reaction

abstract: The covalent functionalization of graphene represents a main topic in the growing field of nano materials. The reductive exfoliation of graphite with concomitant functionalization of the respective graphenide intermediates provides a promising approach towards functional graphene derivatives. In this article, we present new insights into the reductive arylation of graphene. Graphite intercalation compounds (GICs) with varying stoichiometries have been used as starting materials. Based on the spectroscopic data obtained by scanning Raman microscopy (SRM) and thermogravimetric analysis coupled to mass spectrometry (TG/MS), a clear correlation between the amount of negative charges - present in the GIC - and the degree of functionalization in the final product could be found. Furthermore, the detailed analysis of the thermal defunctionalization process provided deeper insights into the covalent addend binding.


title: Novel {\lambda}^3-Iodane Based Functionalization of Synthetic Carbon Allotropes (SCAs) - Common Concepts and Quantification of the Degree of Addition

abstract: The covalent functionalization of carbon allotropes represents a main topic in the growing field of nano materials. However, the development of functional architectures is impeded by the intrinsic polydispersibility of the respective starting material, the unequivocal characterization of the introduced functional moieties and the exact determination of the degree of functionalization. Based on a novel carbon allotrope functionalization reaction, utilizing {\lambda}^3-iodanes as radical precursor systems, we were able to demonstrate the feasibility to separate and to quantify thermally detached functional groups, formerly covalently linked to carbon nanotubes and graphene via TG-GC/MS.


title: Polyhydrogenated Graphene - Excited State Dynamics in Photo- and Electroactive 2D-Domains

abstract: Understanding the phenomenon of intense photoluminescence in carbon materials such as hydrogenated graphene, graphene nanoribbons, etc. is at the forefront of investigations. In this study, six different types of hydrogenated graphene (phG) produced from different starting materials, were fully characterized in terms of structure and spectroscopy. Comprehensive photoluminescence lifetime analyses of phGs were conducted by combining time-correlated single-photon counting spectroscopy with steady-state fluorescence spectroscopy and femtosecond transient absorption spectroscopy. The conclusion drawn from these assays is that graphene islands with diameters in the range from 1.1 to 1.75 nm reveal band gap photoluminescence between 450 and 800 nm. As a complement, phGs were implemented in hybrids with water-soluble electron accepting perylenediimides (PDI). By virtue of mutual {\pi}-stacking and charge transfer interactions with graphene islands, PDIs assisted in stabilizing aqueous dispersion of phG. Implicit in these ground state interactions is the formation of 300 ps lived charge separated states once photoexcited.


title: Basic Insights into Tunable Graphene Hydrogenation

abstract: The hydrogenation and deuteration of graphite with potassium intercalation compounds (GICs) as starting materials was investigated. Characterization of the reactions products (hydrogenated and deuterated graphene) was carried out by thermogravimetric analysis coupled with mass spectrometry (TG-MS) and Raman spectroscopy including statistical Raman spectroscopy (SRS) and -microscopy (SRM). The results reveal that the choice of the hydrogen/deuterium source, the nature of the graphite (used as starting material), the potassium concentration in the intercalation compound as well as the choice of the solvent have a great impact on the reaction outcome. Furthermore, it was possible to proof that both mono and few-layer hydrogenated/deuterated graphene can be produced.


title: The Impact of Climate Change on a Cost-Optimal Highly Renewable European Electricity Network

abstract: We use three ensemble members of the EURO-CORDEX project and their data on surface wind speeds, solar irradiation as well as water runoff with a spatial resolution of 12 km and a temporal resolution of 3 hours under representative concentration pathway 8.5 (associated with a temperature increase of 2.6 to 4.8 degrees C until the end of the century) until 2100 to investigate the impact of climate change on wind, solar and hydro resources and consequently on a highly renewable and cost-optimal European power system. The weather data is transformed into power, different aspects such as capacity factors and correlation lengths are investigated and the resulting implications for the European power system are discussed. In addition, we compare a 30-node model of Europe with historical and climate change-affected data, where investments in generation, transmission and storage facilities are optimised for deep carbon dioxide reductions. Differences in capacity factors among European countries are more strongly emphasized at the end of the century compared to historic data. This results in a significantly increased photovoltaic share in the cost-optimal power system. System costs increase by 5% until the end of the century and the impact of climate change on these costs is of similar magnitude as differences between the ensemble members.


title: Gradient-based closed-loop quantum optimal control in a solid-state two-qubit system

abstract: Quantum optimal control can play a crucial role to realize a set of universal quantum logic gates with error rates below the threshold required for fault-tolerance. Open-loop quantum optimal control relies on accurate modeling of the quantum system under control, and does not scale efficiently with system size. These problems can be avoided in closed-loop quantum optimal control, which utilizes feedback from the system to improve control fidelity. In this paper, two gradient-based closed-loop quantum optimal control algorithms, the hybrid quantum-classical approach (HQCA) described in [Phys. Rev. Lett. 118, 150503 (2017)] and the finite-difference (FD) method, are experimentally investigated and compared to the open-loop quantum optimal control utilizing the gradient ascent method. We employ a solid-state ensemble of coupled electron-nuclear spins serving as a two-qubit system. Specific single-qubit and two-qubit state preparation gates are optimized using the closed-loop and open-loop methods. The experimental results demonstrate the implemented closed-loop quantum control outperforms the open-loop control in our system. Furthermore, simulations reveal that HQCA is more robust than the FD method to gradient noise which originates from measurement noise in this experimental setting. On the other hand, the FD method is more robust to control field distortions coming from non-ideal hardware


title: Heteroatomic jet fuel components: Lichen substances as fuel component and potential additives

abstract: This article presents chemical analysis of jet fuel (Jet A-1) heteroatomic fuel components with identification of an antioxidant lichen substance in methanol extracted fuel samples. Thermal stressing of jet fuel produces soluble macromolecular oxidatively reactive species (SMORS) and heteroatomic deposits. SMORS are deposit precursors and elementary heteroatomic units containing unsaturated and aromatic hydrocarbons. Fuel additives such as antioxidants can inhibit SMORS and deposit formation within limited heating residence time and temperature range. Jet A-1 was thermally stressed in the autoxidation regime (150 to 300 0C) followed by spectroscopic analysis. Thermally stressed jet fuel static tests electrospray ionization mass spectra (ESI-MS) show higher molecular weight compounds in the mass range 300-1000 Da compared with unstressed fuel samples supporting deposition. Jet A-1 samples were analyzed by electrospray ion source mass spectrometry (ESI-MS), Fourier transform infrared (FTIR) and 13C nuclear magnetic resonance (NMR) spectroscopy. FTIR bands for oxygen containing species reveal the presence of alcohol, phenol and ether groups. 13C nuclear magnetic resonance (NMR) standard and distorsionless enhancement polarization transfer (DEPT 135) spectra recorded heteroatomic alkoxy species in both unstressed and thermally stressed fuel samples. Natural products polyphenols and lichen derived oxygenated compounds are excellent antioxidants. A new perspective of using lichen substances as fuel additives emerged in this study. Exploring further, natural products extraction methods optimization remains a key challenge and advantages of polyphenolic lichen acids as potential fuel and chemical additives are discussed.


title: Process Algebraic Architectural Description Languages: Generalizing Component-Oriented Mismatch Detection in the Presence of Nonsynchronous Communications

abstract: In the original paper, we showed how to enhance the expressiveness of a typical process algebraic architectural description language by including the capability of representing nonsynchronous communications. In particular, we extended the language by means of additional qualifiers enabling the designer to distinguish among synchronous, semi-synchronous, and asynchronous ports. Moreover, we showed how to modify techniques for detecting coordination mismatches such as the compatibility check for star topologies and the interoperability check for cycle topologies, in such a way that those two checks are applicable also in the presence of nonsynchronous communications. In this addendum, we generalize those results by showing that it is possible to verify in a component-oriented way an arbitrary property of a certain class (not only deadlock) over an entire architectural type having an arbitrary topology (not only stars and cycles) by considering also behavioral variations, exogenous variations, endogenous variations, and multiplicity variations, so to deal with the possible presence of nonsynchronous communications. The proofs are at the basis of some results mentioned in the book "A Process Algebraic Approach to Software Architecture Design" by Alessandro Aldini, Marco Bernardo, and Flavio Corradini, published by Springer in 2010.


title: Temporal Aspects of Smart Contracts for Financial Derivatives

abstract: Implementing smart contracts to automate the performance of high-value over-the-counter (OTC) financial derivatives is a formidable challenge. Due to the regulatory framework and the scale of financial risk if a contract were to go wrong, the performance of these contracts must be enforceable in law and there is an absolute requirement that the smart contract will be faithful to the intentions of the parties as expressed in the original legal documentation. Formal methods provide an attractive route for validation and assurance, and here we present early results from an investigation of the semantics of industry-standard legal documentation for OTC derivatives. We explain the need for a formal representation that combines temporal, deontic and operational aspects, and focus on the requirements for the temporal aspects as derived from the legal text. The relevance of this work extends beyond OTC derivatives and is applicable to understanding the temporal semantics of a wide range of legal documentation.


title: Simulation of particle systems interacting through hitting times

abstract: We develop an Euler-type particle method for the simulation of a McKean--Vlasov equation arising from a mean-field model with positive feedback from hitting a boundary. Under assumptions on the parameters which ensure differentiable solutions, we establish convergence of order $1/2$ in the time step. Moreover, we give a modification of the scheme using Brownian bridges and local mesh refinement, which improves the order to $1$. We confirm our theoretical results with numerical tests and empirically investigate cases with blow-up.


title: On Visibility Problems with an Infinite Discrete, set of Obstacles

abstract: This paper studies visibility problems in Euclidean spaces $\mathbb{R}^d$ where the obstacles are the points of infinite discrete sets $Y\subseteq\mathbb{R}^d$. A point $x\in\mathbb{R}^d$ is called $\varepsilon$-visible for $Y$ (notation: $x\in\mathbf{vis}(Y, \varepsilon))$ if there exists a ray $L\subseteq\mathbb{R}^d$ emanating from $x$ such that $||y-z||\geq\varepsilon$, for all $y\in Y\setminus\{x\}$ and $z\in L$. A point $x\in\mathbb{R}^d$ is called visible for $Y$ (notation: $x\in\mathbf{vis}(Y))$ if $x\in\mathbf{vis}(Y, \varepsilon))$, for some $\varepsilon>0$.\\ Our main result is the following. For every $\varepsilon>0$ and every relatively dense set $Y\subseteq\mathbb{R}^2$, $\mathbf{vis}(Y, \varepsilon))\neq\mathbb{R}^2$. This result generalizes a theorem of Dumitrescu and Jiang, which settled Mitchell's dark forest conjecture. On the other hand, we show that there exists a relatively dense subset $Y\subseteq \mathbb{Z}^d$ such that $\mathbf{vis}(Y)=\mathbb{R}^d$. (One easily verifies that $\mathbf{vis}(\mathbb{Z}^d)=\mathbb{R}^d\setminus\mathbb{Z}^d$, for all $d\geq 2$). We derive a number of other results clarifying how the size of a sets $Y\subseteq\mathbb{R}^d$ may affect the sets $\mathbf{vis}(Y)$ and $\mathbf{vis}(Y,\varepsilon)$. We present a Ramsey type result concerning uniformly separated subsets of $\mathbb{R}^2$ whose growth is faster than linear.


title: Effects of forest fire severity on terrestrial carbon emission and ecosystem production in the Himalayan region, India

abstract: Remote sensing techniques have been used effectively for measuring the overall loss of terrestrial ecosystem production and biodiversity due to the forest fire. The current research focuses on assessing the impact of forest fire severity on terrestrial ecosystem productivity using different burn indices in Uttarakhand, India. Satellite-based land surface temperature (LST) was calculated for pre-fire (2014) and fire (2016) year using MODerate Resolution Imaging Spectroradiometer (MODIS) to identify the burn area hotspots across all eco-regions in Uttarakhand. In this study, spatial and temporal changes of different vegetation and burn area indices i.e Normalized Burn Ratio (NBR), Burnt Area Index (BAI), Normalized Multiband Drought Index (NMDI), Soil Adjusted Vegetation Index (SAVI), Global Environmental Monitoring Index (GEMI), Enhanced Vegetation Index (EVI), Normalized Difference Vegetation Index (NDVI)were estimated for both pre-fire and fire years. Additionally, two Light Use Efficiency (LUE) models i.e Carnegie- Ames-Stanford-Approach (CASA) and Vegetation Photosynthesis Model (VPM) were selected to quantify the terrestrial Net Primary Productivity (NPP) in pre-fire and fire years across all biomes of the study area.The present approach appears to be promising and has a potential in quantifying the loss of ecosystem productivity due to forest fires. A detailed field observation data is required for further training, and testing of remotely sensed fire maps for future research.


title: Maximizing Service Reward for Queues with Deadlines

abstract: In this paper we consider a real time queuing system with rewards and deadlines. We assume that packet processing time is known upon arrival, as is the case in communication networks. This assumption allows us to demonstrate that the well known Earliest-Deadline-First policy performance can be improved. We then propose a scheduling policy that provides excellent results for packets with rewards and deadlines. We prove that the policy is optimal under deterministic service time and binomial reward distribution. In the more general case we prove that the policy processes the maximal number of packets while collecting rewards higher than the expected reward. We present simulation results that show its high performance in more generic cases compared to the most commonly used scheduling policies.


title: Spectroscopy of V341 Arae: A Nearby Nova-like Variable inside a Bow-Shock Nebula

abstract: V341 Arae is a 10th-magnitude variable star in the southern hemisphere, discovered over a century ago by Henrietta Leavitt but relatively little studied since then. Although historically considered to be a Cepheid, it is actually blue and coincides with an X-ray source. The star lies near the edge of the large, faint Halpha nebula Fr 2-11, discovered by D. Frew, who showed that V341 Ara is actually a cataclysmic variable (CV). His deep imaging of the nebula revealed a bow-shock morphology in the immediate vicinity of the star. We have carried out spectroscopic monitoring of V341 Ara, and we confirm that it is a nova-like CV, with an orbital period of 0.15216 days (3.652 hr). We show that V341 Ara is remarkably similar to the previously known BZ Cam, a nova-like CV with a nearly identical orbital period, associated with the bow-shock nebula EGB 4. Archival sky-survey photometry shows that V341 Ara normally varies between V ~ 10.5 and 11, with a characteristic timescale ranging from about 10 to 16 days. V341 Ara lies well off-center within Fr 2-11. We speculate either that the star is undergoing a chance high-speed encounter with a small interstellar cloud, or that the nebula was ejected from the star itself in a nova outburst in the fairly distant past. At a distance of only 156 pc, V341 Ara is one of the nearest and brightest known nova-like variables, and we encourage further studies.


title: DeepBugs: A Learning Approach to Name-based Bug Detection

abstract: Natural language elements in source code, e.g., the names of variables and functions, convey useful information. However, most existing bug detection tools ignore this information and therefore miss some classes of bugs. The few existing name-based bug detection approaches reason about names on a syntactic level and rely on manually designed and tuned algorithms to detect bugs. This paper presents DeepBugs, a learning approach to name-based bug detection, which reasons about names based on a semantic representation and which automatically learns bug detectors instead of manually writing them. We formulate bug detection as a binary classification problem and train a classifier that distinguishes correct from incorrect code. To address the challenge that effectively learning a bug detector requires examples of both correct and incorrect code, we create likely incorrect code examples from an existing corpus of code through simple code transformations. A novel insight learned from our work is that learning from artificially seeded bugs yields bug detectors that are effective at finding bugs in real-world code. We implement our idea into a framework for learning-based and name-based bug detection. Three bug detectors built on top of the framework detect accidentally swapped function arguments, incorrect binary operators, and incorrect operands in binary operations. Applying the approach to a corpus of 150,000 JavaScript files yields bug detectors that have a high accuracy (between 89% and 95%), are very efficient (less than 20 milliseconds per analyzed file), and reveal 102 programming mistakes (with 68% true positive rate) in real-world code.


title: Lorentz violation and the electron-ion collider

abstract: We investigate the prospects for detecting violations of Lorentz symmetry in unpolarized deep inelastic electron-proton scattering in the context of the future electron-ion collider. Simulated differential cross-section data are used to place expected bounds on a class of quark-sector coefficients for Lorentz violation that induce sidereal time dependence in the scattering cross section. We find that, with $100 \; {\rm fb}^{-1}$ of integrated luminosity, the expected bounds are in the $10^{-5}-10^{-7}$ range and are roughly two orders of magnitude stronger than those that can be extracted from existing HERA data. We also discuss the possibility of extracting bounds on the remaining time-independent coefficients.


title: Can DNNs Learn to Lipread Full Sentences?

abstract: Finding visual features and suitable models for lipreading tasks that are more complex than a well-constrained vocabulary has proven challenging. This paper explores state-of-the-art Deep Neural Network architectures for lipreading based on a Sequence to Sequence Recurrent Neural Network. We report results for both hand-crafted and 2D/3D Convolutional Neural Network visual front-ends, online monotonic attention, and a joint Connectionist Temporal Classification-Sequence-to-Sequence loss. The system is evaluated on the publicly available TCD-TIMIT dataset, with 59 speakers and a vocabulary of over 6000 words. Results show a major improvement on a Hidden Markov Model framework. A fuller analysis of performance across visemes demonstrates that the network is not only learning the language model, but actually learning to lipread.


title: Variational Inverse Control with Events: A General Framework for Data-Driven Reward Definition

abstract: The design of a reward function often poses a major practical challenge to real-world applications of reinforcement learning. Approaches such as inverse reinforcement learning attempt to overcome this challenge, but require expert demonstrations, which can be difficult or expensive to obtain in practice. We propose variational inverse control with events (VICE), which generalizes inverse reinforcement learning methods to cases where full demonstrations are not needed, such as when only samples of desired goal states are available. Our method is grounded in an alternative perspective on control and reinforcement learning, where an agent's goal is to maximize the probability that one or more events will happen at some point in the future, rather than maximizing cumulative rewards. We demonstrate the effectiveness of our methods on continuous control tasks, with a focus on high-dimensional observations like images where rewards are hard or even impossible to specify.


title: A projected primal-dual splitting for solving constrained monotone inclusions

abstract: In this paper we provide an algorithm for solving constrained composite primal-dual monotone inclusions, i.e., monotone inclusions in which a priori information on primal-dual solutions is represented via closed convex sets. The proposed algorithm incorporates a projection step onto the a priori information sets and generalizes the method proposed in [V\~u, B.C.: A splitting algorithm for dual monotone inclusions involving cocoercive operators. Adv. Comput. Math. 38, 667-681 (2013)]. Moreover, under the presence of strong monotonicity, we derive an accelerated scheme inspired on [Chambolle, A.; Pock, T.: A first-order primal-dual algorithm for convex problems with applications to imaging. J. Math. Imaging Vis. 40, 120-145 (2011)] applied to the more general context of constrained monotone inclusions. In the particular case of convex optimization, our algorithm generalizes the methods proposed in [Condat, L.: A primal-dual splitting method for convex optimization involving lipschitzian, proximable and linear composite terms. J. Optim. Theory Appl. 158,460-479 (2013)] allowing a priori information on solutions and we provide an accelerated scheme under strong convexity. An application of our approach with a priori information is constrained convex optimization problems, in which available primal-dual methods impose constraints via Lagrange multiplier updates, usually leading to slow algorithms with unfeasible primal iterates. The proposed modification forces primal iterates to satisfy a selection of constraints onto which we can project, obtaining a faster method as numerical examples exhibit. The obtained results extend and improve several results in the literature.


title: Towards Lipreading Sentences with Active Appearance Models

abstract: Automatic lipreading has major potential impact for speech recognition, supplementing and complementing the acoustic modality. Most attempts at lipreading have been performed on small vocabulary tasks, due to a shortfall of appropriate audio-visual datasets. In this work we use the publicly available TCD-TIMIT database, designed for large vocabulary continuous audio-visual speech recognition. We compare the viseme recognition performance of the most widely used features for lipreading, Discrete Cosine Transform (DCT) and Active Appearance Models (AAM), in a traditional Hidden Markov Model (HMM) framework. We also exploit recent advances in AAM fitting. We found the DCT to outperform AAM by more than 6% for a viseme recognition task with 56 speakers. The overall accuracy of the DCT is quite low (32-34%). We conclude that a fundamental rethink of the modelling of visual features may be needed for this task.


title: Universal behaviour, transients and attractors in supersymmetric Yang-Mills plasma

abstract: Numerical simulations of expanding plasma based on the AdS/CFT correspondence as well as kinetic theory and hydrodynamic models strongly suggest that some observables exhibit universal behaviour even when the system is not close to local equilibrium. This leading behaviour is expected to be corrected by transient, exponentially decaying contributions which carry information about the initial state. Focusing on late times, when the system is already in the hydrodynamic regime, we analyse numerical solutions describing expanding plasma of strongly coupled N=4 supersymmetric Yang-Mills theory and identify these transient effects, matching them in a quantitative way to leading trans-series corrections corresponding to least-damped quasinormal modes of AdS black branes. In the process we offer additional evidence supporting the recent identification of the Borel sum of the hydrodynamic gradient expansion with the far-from-equilibrium attractor in this system.


title: On the total number of principal series of a finite abelian group

abstract: In this note we give a bijective proof for the explicit formula giving the total number of principal series of the direct product $\mathbb{Z}_{p^{\alpha_1}} \times \mathbb{Z}_{p^{\alpha_2}}$, where $p$ is a prime number. This new proof is easier to generalize to arbitrary finite abelian groups than the original direct calculation method.


title: Finite groups determined by an inequality of the orders of their normal subgroups

abstract: In this article we introduce and study a class of finite groups for which the orders of normal subgroups satisfy a certain inequality. It is closely connected to some well-known arithmetic classes of natural numbers.


title: A note on subgroup coverings of finite groups

abstract: In this note we determine the finite groups that can be written as the union of any three irredundant/distinct proper subgroups. The finite groups that can uniquely be written as the union of three proper subgroups are also characterized.


title: On the sum of element orders of finite abelian groups

abstract: In this note some properties of the sum of element orders of a finite abelian group are studied.


title: The Future of Virtual Classroom: Using Existing Features to Move Beyond Traditional Classroom Limitations

abstract: This paper argues that the true potential of virtual classrooms in education is not fully exploited yet. The features available in most environments that have been incorporated as virtual classrooms are classified into two groups. The first group includes common features, related only to the emulation of a traditional classroom. In this group, the practical differences between traditional and virtual classroom are discussed. In addition, best practices that could aid the professors to make students feel like participating in a typical classroom are presented. The second group comprises of advanced features and practices, which extend the traditional classroom. In this group, examples of successful practices which could not be performed in a traditional classroom are introduced. Finally, a qualitative study with interviews of 21 experts from 15 countries is presented, showing that even these experts are not fully exploiting the advanced features that contemporary virtual classroom environments are offering.


title: Oxygen Reduction Reaction: Rapid Prediction of Mass Activity of Unstrained Nanostructured Platinum Electrocatalysts

abstract: Tailored Pt nanoparticle catalysts are promising candidates to accelerate the oxygen reduction reaction (ORR) in fuel cells. However, the search for active nanoparticle catalysts is hindered by laborious effort of experimental synthesis and measurements. On the other hand, DFT-based approaches are still time consuming and often not efficient. In this study, we introduce a computational model which enables rapid catalytic activity calculation of unstrained pure Pt nanoparticle electrocatalysts. The generic setup of the computational model is based on DFT results and experimental data obtained worldwide over the past ca 20 years; whereas, importantly, the computational model dispenses with DFT calculations during runtime. This realizes feasible and sharply reduced computation effort in comparison to theoretical approaches where DFT calculations must be performed for each nanoparticle individually. Regarding particle size effects on Pt nanoparticles, experimental catalytic mass activities from previous studies are accurately reproduced by our computational model. Shedding light on the parameter space of particle size effects, this study enables predictions beyond available experiments: Our computational model identifies potential enhancement in mass activity up to 190% over the experimentally detected maximum. Importantly, the rapid activity calculation enabled by our computational model may pave the way for extensive nanoparticle screening to expedite the search for improved electrocatalysts.


title: Feasibility study of the positronium imaging with the J-PET tomograph

abstract: A detection system of the conventional PET tomograph is set-up to record data from e+ e- annihilation into two photons with energy of 511 keV, and it gives information on the density distribution of a radiopharmaceutical in the body of the object. In this paper we explore the possibility of performing the three gamma photons imaging based on ortho-positronium annihilation, as well as the possibility of positronium mean lifetime imaging with the J-PET tomograph constructed from plastic scintillators. For this purposes simulations of the ortho-positronium formation and its annihilation into three photons were performed taking into account distributions of photons' momenta as predicted by the theory of quantum electrodynamics and the response of the J-PET tomograph. In order to test the proposed ortho-positronium lifetime image reconstruction method, we concentrate on the decay of the ortho-positronium into three photons and applications of radiopharmaceuticals labeled with isotopes emitting a prompt gamma quantum. The proposed method of imaging is based on the determination of hit-times and hit-positions of registered photons which enables the reconstruction of the time and position of the annihilation point as well as the lifetime of the ortho-positronium on an event-by-event basis. We have simulated the production of the positronium in a cylindrical phantom composed of a set of different materials in which the ortho-positronium lifetime varied from 2.0 ns to 3.0 ns, as expected for ortho-positronium created in the human body. The presented reconstruction method for total-body J-PET like detector allows to achieve a mean lifetime resolution of about 40 ps. Recent Positron Annihilation Lifetime Spectroscopy measurements of cancerous and healthy uterine tissues show that this sensitivity may allow to study the morphological changes in cell structures.


title: An example of liftings with different Hodge numbers

abstract: In this paper, we exhibit an example of a smooth proper variety in positive characteristic possessing two liftings with different Hodge numbers.


title: Coded Computation Against Distributed Straggling Channel Decoders in the Cloud for Gaussian Uplink Channels

abstract: The uplink of a Cloud Radio Access Network (CRAN) architecture is studied, where decoding at the cloud takes place at distributed decoding processors. To mitigate the impact of straggling decoders in the cloud, the cloud re-encodes the received frames via a linear code before distributing them to the decoding processors. Focusing on Gaussian channels, and assuming the use of lattice codes at the users, in this paper the maximum user rate is derived such that all the servers can reliably recover the linear combinations of the messages corresponding to the employed linear code at the cloud. Furthermore, two analytical upper bounds on the frame error rate (FER) as a function of the decoding latency are developed, in order to quantify the performance of the cloud's linear code in terms of the tradeoff between FER and decoding latency at the cloud.


title: Regularization of covariance matrices on Riemannian manifolds using linear systems

abstract: We propose an approach to use the state covariance of linear systems to track time-varying covariance matrices of non-stationary time series. Following concepts from Riemmanian geometry, we investigate three types of covariance paths obtained by using different quadratic regularizations of system matrices. The first quadratic form induces the geodesics based on the Bures-Wasserstein metric from optimal mass transport theory and quantum mechanics. The second type of quadratic form leads to the geodesics based on the Fisher-Rao metric from information geometry. In the process, we introduce a fluid-mechanics interpretation of the Fisher-Rao metric for multivariate Gaussian distributions. A main contribution of this work is the introduction of the third type of covariance paths which are steered by linear system matrices with rotating eigenspace. We provide theoretical results on the existence and uniqueness of this type of covariance paths. The three types of covariance paths are compared using two examples with synthetic data and real data based on functional magnetic resonance imaging, respectively.


title: Suppressing backscattering of helical edge modes with a spin bath

abstract: In this paper, we address the question of stability of protected chiral modes (e.g., helical edge states at the boundary of two-dimensional topological insulators) upon interactions with the external bath. Namely, we study how backscattering amplitude changes when different interaction channels between the system and the environment are present. Depending on the relative strength of the Coulomb and spin-spin channels, we discover three different possible regimes. While the Coulomb interaction on its own naturally amplifies the backscattering and destroys the protection of chiral modes, and the spin-spin channel marginally suppresses backscattering, their interplay can make the backscattering process strictly irrelevant, opening the possibility to use the external spin bath as a stabilizer that alleviates destructive effects and restores the chirality protection.


title: Regularization of time-varying covariance matrices using linear stochastic systems

abstract: This work focuses on modeling of time-varying covariance matrices using the state covariance of linear stochastic systems. Following concepts from optimal mass transport and the Schr\"odinger bridge problem (SBP), we investigate several covariance paths induced by different regularizations on the system matrices. Specifically, one of the proposed covariance path generalizes the geodesics based on the Fisher-Rao metric to the situation with stochastic input. Another type of covariance path is generated by linear system matrices with rotating eigenspace in the noiseless situation. The main contributions of this paper include the differential equations for these covariance paths and the closed-form expressions for scalar-valued covariance. We also compare these covariance paths using several examples.


title: Tritangents and Their Space Sextics

abstract: Two classical results in algebraic geometry are that the branch curve of a del Pezzo surface of degree 1 can be embedded as a space sextic curve and that every space sextic curve has exactly 120 tritangents corresponding to its odd theta characteristics. In this paper we revisit both results from the computational perspective. Specifically, we give an algorithm to construct space sextic curves that arise from blowing up projective plane at eight points and provide algorithms to compute the 120 tritangents and their Steiner system of any space sextic. Furthermore, we develop efficient inverses to the aforementioned methods. We present an algorithm to either reconstruct the original eight points in the projective plane from a space sextic or certify that this is not possible. Moreover, we extend a construction of Lehavi which recovers a space sextic from its tritangents and Steiner system. All algorithms in this paper have been implemented in magma.


title: Biologically Motivated Algorithms for Propagating Local Target Representations

abstract: Finding biologically plausible alternatives to back-propagation of errors is a fundamentally important challenge in artificial neural network research. In this paper, we propose a learning algorithm called error-driven Local Representation Alignment (LRA-E), which has strong connections to predictive coding, a theory that offers a mechanistic way of describing neurocomputational machinery. In addition, we propose an improved variant of Difference Target Propagation, another procedure that comes from the same family of algorithms as LRA-E. We compare our procedures to several other biologically-motivated algorithms, including two feedback alignment algorithms and Equilibrium Propagation. In two benchmarks, we find that both of our proposed algorithms yield stable performance and strong generalization compared to other competing back-propagation alternatives when training deeper, highly nonlinear networks, with LRA-E performing the best overall.


title: Deep Semantic Architecture with discriminative feature visualization for neuroimage analysis

abstract: Neuroimaging data analysis often involves \emph{a-priori} selection of data features to study the underlying neural activity. Since this could lead to sub-optimal feature selection and thereby prevent the detection of subtle patterns in neural activity, data-driven methods have recently gained popularity for optimizing neuroimaging data analysis pipelines and thereby, improving our understanding of neural mechanisms. In this context, we developed a deep convolutional architecture that can identify discriminating patterns in neuroimaging data and applied it to electroencephalography (EEG) recordings collected from 25 subjects performing a hand motor task before and after a rest period or a bout of exercise. The deep network was trained to classify subjects into exercise and control groups based on differences in their EEG signals. Subsequently, we developed a novel method termed the cue-combination for Class Activation Map (ccCAM), which enabled us to identify discriminating spatio-temporal features within definite frequency bands (23--33 Hz) and assess the effects of exercise on the brain. Additionally, the proposed architecture allowed the visualization of the differences in the propagation of underlying neural activity across the cortex between the two groups, for the first time in our knowledge. Our results demonstrate the feasibility of using deep network architectures for neuroimaging analysis in different contexts such as, for the identification of robust brain biomarkers to better characterize and potentially treat neurological disorders.


title: A note on non-classical Nonstandard Arithmetic

abstract: Recently, a number of formal systems for Nonstandard Analysis restricted to the language of finite types, i.e. nonstandard arithmetic, have been proposed. We single out one particular system by Dinis-Gaspar, which is categorised by the authors as being part of intuitionistic nonstandard arithmetic. Their system is indeed inconsistent with the Transfer axiom of Nonstandard Analysis, and the latter axiom is classical in nature as it implies (higher-order) comprehension. In this paper, we answer the following questions: (Q1) In the spirit of Reverse Mathematics, what is the minimal fragment of Transfer that is inconsistent with the Dinis-Gaspar system? (Q2) What other axioms are inconsistent with the Dinis-Gaspar system? Perhaps surprisingly, the answer to the second question shows that the Dinis-Gaspar system is inconsistent with a number of (non-classical) continuity theorems which one would -- in our opinion -- categorise as intuitionistic. Finally, we show that the Dinis-Gaspar system involves a standard part map, suggesting this system also pushes the boundary of what still counts as 'Nonstandard Analysis' or 'internal set theory'.


title: Supervised Policy Update for Deep Reinforcement Learning

abstract: We propose a new sample-efficient methodology, called Supervised Policy Update (SPU), for deep reinforcement learning. Starting with data generated by the current policy, SPU formulates and solves a constrained optimization problem in the non-parameterized proximal policy space. Using supervised regression, it then converts the optimal non-parameterized policy to a parameterized policy, from which it draws new samples. The methodology is general in that it applies to both discrete and continuous action spaces, and can handle a wide variety of proximity constraints for the non-parameterized optimization problem. We show how the Natural Policy Gradient and Trust Region Policy Optimization (NPG/TRPO) problems, and the Proximal Policy Optimization (PPO) problem can be addressed by this methodology. The SPU implementation is much simpler than TRPO. In terms of sample efficiency, our extensive experiments show SPU outperforms TRPO in Mujoco simulated robotic tasks and outperforms PPO in Atari video game tasks.


title: Enhancing the efficiency of density functionals with a novel iso-orbital indicator

abstract: Due to its efficiency and reasonable accuracy, density functional theory is one of the most widely used electronic structure theories in condensed matter physics, materials physics, and quantum chemistry. The accuracy and efficiency of a density functional is dependent on the basic ingredients it uses, and how the ingredients are built into the functional as a whole. An iso-orbital indicator based on the electron density, its gradients, and the kinetic energy density, has proven an essential dimensionless variable that allows density functionals to recognise and correctly treat various types of chemical bonding, both strong and weak. Density functionals constructed around the iso-orbital indicator usually require dense real-space grids for numerical implementation that deteriorate computational efficiency, with poor grid convergence compromising the improved accuracy. Here, a novel iso-orbital indicator is proposed based on the same ingredients that retains the capability to identify the same chemical bonds while significantly relieving the requirement of dense grids, and giving an improved recognition for tail regions of electron densities. The novel iso-orbital indicator is therefore expected to be the prime choice for further density functional development.


title: Period integrals associated to an affine Delsarte type hypersurface

abstract: We calculate the period integrals for a special class of affine hypersurfaces (deformed Delsarte hypersurfaces) in an algebraic torus by the aid of their Mellin transforms. A description of the relation between poles of Mellin transforms of period integrals and the mixed Hodge structure of the cohomology of the hypersurface is given. By interpreting the period integrals as solutions to Pochhammer hypergeometric differential equation, we calculate concretely the irreducible monodromy group of period integrals that correspond to the compactification of the affine hypersurface in a complete simplicial toric variety. As an application of the equivalence between oscillating integral for Delsarte polynomial and quantum cohomology of a weighted projective space $\mathbb{P}_{\bf B}$, we establish an equality between its Stokes matrix and the Gram matrix of the full exceptional collection on $\mathbb{P}_{\bf B}$.


title: Exciton-polariton soliton wavetrains in molecular crystals with dispersive long-range intermolecular interactions

abstract: The peculiar crystal structure of one-dimensional molecular solids originates from packing of an array of molecules in which intermolecular interactions are dominantly dispersive, including hydrogen-bond, van der Waals and London-type forces. These forces are usually relatively weaker than covalent and ionic bondings such that long-range intermolecular interactions should play important role in dispersion properties of molecular crystals such as polymers and biomolecular chain structures. In this work the effects of long but finite-range intermolecular interactions on single-exciton dispersion energy, and hence on characteristic parameters of periodic soliton trains associated with bound exciton-polariton states in one-dimensional molecular crystals interacting with an electromagnetic field, are investigated. Long-range interactions are shown to quantitatively modify the exciton-polariton soliton amplitudes, width and velocity as a result of shrinkage of the single-exciton energy spectrum. The soliton structures of interest are nonlinear wavetrains, consisting of periodically ordered single-pulse (i.e. bright) or single-kink (i.e. dark) solitons with equal separation between the constituent single-soliton modes. Periodic soliton structures are relevant and best suited for finite-size chain systems, where periodic boundary conditions rule the generation of nonlinear wave profiles. Generally they are of weaker nonlinearity compared to their single-soliton constituents as well established within the framework of their generation via the process of modulational instability

categories: cond-mat.mes-hall cond-mat.other nlin.PS physics.bio-ph


title: Active and Adaptive Sequential learning

abstract: A framework is introduced for actively and adaptively solving a sequence of machine learning problems, which are changing in bounded manner from one time step to the next. An algorithm is developed that actively queries the labels of the most informative samples from an unlabeled data pool, and that adapts to the change by utilizing the information acquired in the previous steps. Our analysis shows that the proposed active learning algorithm based on stochastic gradient descent achieves a near-optimal excess risk performance for maximum likelihood estimation. Furthermore, an estimator of the change in the learning problems using the active learning samples is constructed, which provides an adaptive sample size selection rule that guarantees the excess risk is bounded for sufficiently large number of time steps. Experiments with synthetic and real data are presented to validate our algorithm and theoretical results.


title: Depth and nonlinearity induce implicit exploration for RL

abstract: The question of how to explore, i.e., take actions with uncertain outcomes to learn about possible future rewards, is a key question in reinforcement learning (RL). Here, we show a surprising result: We show that Q-learning with nonlinear Q-function and no explicit exploration (i.e., a purely greedy policy) can learn several standard benchmark tasks, including mountain car, equally well as, or better than, the most commonly-used $\epsilon$-greedy exploration. We carefully examine this result and show that both the depth of the Q-network and the type of nonlinearity are important to induce such deterministic exploration.


title: A Novel Multi-clustering Method for Hierarchical Clusterings, Based on Boosting

abstract: Bagging and boosting are proved to be the best methods of building multiple classifiers in classification combination problems. In the area of "flat clustering" problems, it is also recognized that multi-clustering methods based on boosting provide clusterings of an improved quality. In this paper, we introduce a novel multi-clustering method for "hierarchical clusterings" based on boosting theory, which creates a more stable hierarchical clustering of a dataset. The proposed algorithm includes a boosting iteration in which a bootstrap of samples is created by weighted random sampling of elements from the original dataset. A hierarchical clustering algorithm is then applied to selected subsample to build a dendrogram which describes the hierarchy. Finally, dissimilarity description matrices of multiple dendrogram results are combined to a consensus one, using a hierarchical-clustering-combination approach. Experiments on real popular datasets show that boosted method provides superior quality solutions compared to standard hierarchical clustering methods.


title: Volume-preserving exponential integrators

abstract: As is known that various dynamical systems including all Hamiltonian systems preserve volume in phase space. This qualitative geometrical property of the analytical solution should be respected in the sense of Geometric Integration. This paper analyses the volume-preserving property of exponential integrators in different vector fields. We derive a necessary and sufficient condition of volume preservation for exponential integrators, and with this condition, volume-preserving exponential integrators are analysed in detail for four kinds of vector fields. It turns out that symplectic exponential integrators can be volume preserving for a much larger class of vector fields than Hamiltonian systems. On the basis of the analysis, novel volume-preserving exponential integrators are derived for solving highly oscillatory second-order systems and extended Runge--Kutta--Nystr\"{o}m (ERKN) integrators of volume preservation are presented for separable partitioned systems. Moreover, the volume preservation of Runge--Kutta--Nystr\"{o}m (RKN) methods is also discussed. Four illustrative numerical experiments are carried out to demonstrate the notable superiority of volume-preserving exponential integrators in comparison with volume-preserving Runge-Kutta methods.


title: Deep Video Portraits

abstract: We present a novel approach that enables photo-realistic re-animation of portrait videos using only an input video. In contrast to existing approaches that are restricted to manipulations of facial expressions only, we are the first to transfer the full 3D head position, head rotation, face expression, eye gaze, and eye blinking from a source actor to a portrait video of a target actor. The core of our approach is a generative neural network with a novel space-time architecture. The network takes as input synthetic renderings of a parametric face model, based on which it predicts photo-realistic video frames for a given target actor. The realism in this rendering-to-video transfer is achieved by careful adversarial training, and as a result, we can create modified target videos that mimic the behavior of the synthetically-created input. In order to enable source-to-target video re-animation, we render a synthetic target video with the reconstructed head animation parameters from a source video, and feed it into the trained network -- thus taking full control of the target. With the ability to freely recombine source and target parameters, we are able to demonstrate a large variety of video rewrite applications without explicitly modeling hair, body or background. For instance, we can reenact the full head using interactive user-controlled editing, and realize high-fidelity visual dubbing. To demonstrate the high quality of our output, we conduct an extensive series of experiments and evaluations, where for instance a user study shows that our video edits are hard to detect.


title: BANYAN. XIII. A First Look at Nearby Young Associations with Gaia Data Release 2

abstract: In this paper we examine the nearest 100 pc entries in the data release 2 of Gaia to identify previously unrecognized candidate members in young associations. We analyze 695 952 stars with the BANYAN {\Sigma} Bayesian classification software and discover 898 new high-likelihood candidate members that span a wide range in properties, from spectral types B9 to L2, including 104 co-moving systems, 111 brown dwarfs and 31 new bona fide members. Our sample is mostly composed of highly active M dwarfs and will be crucial to examine the low-mass end of the initial mass function of young associations. Our sample includes new candidate members near the Galactic plane where previous surveys suffered from a high rate of contamination. This paper represents the first step towards a full reassessment of young associations in the Solar neighborhood with the second data release of the Gaia mission.


title: Planckian signatures in optical harmonic generation and supercontinuum

abstract: Many theories of quantum gravity, as string theory, loop quantum gravity, and doubly special relativity, predict the existence of a minimal length scale and outline the need to generalize the uncertainty principle. This generalized uncertainty principle relies on modified commutation relations that - if applied to the second quantization - imply an excess energy of the electromagnetic quanta with respect to $\hbar \omega$. Here we show that this "dark energy of the photon" is amplified during nonlinear optical process. Therefore, if one accepts the minimal length scenario, one must expect to observe specific optical frequencies in optical harmonic generation by intense laser fields. Other processes as four-wave mixing and supercontinuum generation may also contain similar spectral features of quantum-gravity. Nonlinear optics may hence be helpful to falsify some of the most investigated approaches to the unification of quantum mechanics and general relativity.


title: Probing relic neutrino decays with 21 cm cosmology

abstract: We show how 21 cm cosmology can test relic neutrino radiative decays into sterile neutrinos. Using recent EDGES results, we derive constraints on the lifetime of the decaying neutrinos. If the EDGES anomaly will be confirmed, then there are two solutions, one for much longer and one for much shorter lifetimes than the age of the universe, showing how relic neutrino radiative decays can explain the anomaly in a simple way. We also show how to combine EDGES results with those from radio background observations, showing that potentially the ARCADE 2 excess can be also reproduced together with the EDGES anomaly within the proposed non-standard cosmological scenario. Our calculation of the specific intensity at the redshifts probed by EDGES can be also applied to the case of decaying dark matter and it also corrects a flawed expression appeared in previous literature.


title: Random mesh projectors for inverse problems

abstract: We propose a new learning-based approach to solve ill-posed inverse problems in imaging. We address the case where ground truth training samples are rare and the problem is severely ill-posed - both because of the underlying physics and because we can only get few measurements. This setting is common in geophysical imaging and remote sensing. We show that in this case the common approach to directly learn the mapping from the measured data to the reconstruction becomes unstable. Instead, we propose to first learn an ensemble of simpler mappings from the data to projections of the unknown image into random piecewise-constant subspaces. We then combine the projections to form a final reconstruction by solving a deconvolution-like problem. We show experimentally that the proposed method is more robust to measurement noise and corruptions not seen during training than a directly learned inverse.


title: Bottom-up approach to torus bifurcation in neuron models

abstract: We study the quasi-periodicity phenomena occurring at the transition between tonic spiking and bursting activities in exemplary biologically plausible Hodgkin-Huxley type models of individual cells and reduced phenomenological models with slow and fast dynamics. Using the geometric slow-fast dissection and the parameter continuation approach we show that the transition is due to either the torus bifurcation or the period-doubling bifurcation of a stable periodic orbit on the 2D slow-motion manifold near a characteristic fold. We examine various torus bifurcations including stable and saddle torus-canards, resonant tori, the co-existence of nested tori and the torus breakdown leading to the onset of complex and bistable dynamics in such systems.


title: The Age of Updates in a Simple Relay Network

abstract: In this paper, we examine a system where status updates are generated by a source and are forwarded in a First-Come-First-Served (FCFS) manner to the monitor. We consider the case where the server has other tasks to fulfill, a simple example being relaying the packets of another stream. Due to the server's necessity to go on vacations, the age process of the stream of interest becomes complicated to evaluate. By leveraging specific queuing theory tools, we provide a closed form of the average age for both streams which enables us to optimize the generation rate of packets belonging to each stream to achieve the minimum possible average age. The tools used can be further adopted to provide insights on more general multi-hop scenarios. Numerical results are provided to corroborate the theoretical findings and highlight the interaction between the two streams.


title: The Role of Caching in Future Communication Systems and Networks

abstract: This paper has the following ambitious goal: to convince the reader that content caching is an exciting research topic for the future communication systems and networks. Caching has been studied for more than 40 years, and has recently received increased attention from industry and academia. Novel caching techniques promise to push the network performance to unprecedented limits, but also pose significant technical challenges. This tutorial provides a brief overview of existing caching solutions, discusses seminal papers that open new directions in caching, and presents the contributions of this Special Issue. We analyze the challenges that caching needs to address today, considering also an industry perspective, and identify bottleneck issues that must be resolved to unleash the full potential of this promising technique.


title: Fairness and Sum-Rate Maximization via Joint Channel and Power Allocation in Uplink SCMA Networks

abstract: In this work, we consider a sparse code multiple access uplink system, where $J$ users simultaneously transmit data over $K$ subcarriers, such that $J > K$, with a constraint on the power transmitted by each user. To jointly optimize the subcarrier assignment and the transmitted power per subcarrier, two new iterative algorithms are proposed, the first one aims to maximize the sum-rate (Max-SR) of the network, while the second aims to maximize the fairness (Max-Min). In both cases, the optimization problem is of the mixed-integer nonlinear programming (MINLP) type, with non-convex objective functions, which are generally not tractable. We prove that both joint allocation problems are NP-hard. To address these issues, we employ a variant of the block successive upper-bound minimization (BSUM) \cite{razaviyayn.2013} framework, obtaining polynomial-time approximation algorithms to the original problem. Moreover, we evaluate the algorithms' robustness against outdated channel state information (CSI), present an analysis of the convergence of the algorithms, and a comparison of the sum-rate and Jain's fairness index of the novel algorithms with three other algorithms proposed in the literature. The Max-SR algorithm outperforms the others in the sum-rate sense, while the Max-Min outperforms them in the fairness sense.


title: Building your Cross-Platform Application with RHEEM

abstract: Today, organizations typically perform tedious and costly tasks to juggle their code and data across different data processing platforms. Addressing this pain and achieving automatic cross-platform data processing is quite challenging because it requires quite good expertise for all the available data processing platforms. In this report, we present Rheem, a general-purpose cross-platform data processing system that alleviates users from the pain of finding the most efficient data processing platform for a given task. It also splits a task into subtasks and assigns each subtask to a specific platform to minimize the overall cost (e.g., runtime or monetary cost). To offer cross-platform functionality, it features (i) a robust interface to easily compose data analytic tasks; (ii) a novel cost-based optimizer able to find the most efficient platform in almost all cases; and (iii) an executor to efficiently orchestrate tasks over different platforms. As a result, it allows users to focus on the business logic of their applications rather than on the mechanics of how to compose and execute them. Rheem is released under an open source license.


title: Rethinking Knowledge Graph Propagation for Zero-Shot Learning

abstract: Graph convolutional neural networks have recently shown great potential for the task of zero-shot learning. These models are highly sample efficient as related concepts in the graph structure share statistical strength allowing generalization to new classes when faced with a lack of data. However, multi-layer architectures, which are required to propagate knowledge to distant nodes in the graph, dilute the knowledge by performing extensive Laplacian smoothing at each layer and thereby consequently decrease performance. In order to still enjoy the benefit brought by the graph structure while preventing dilution of knowledge from distant nodes, we propose a Dense Graph Propagation (DGP) module with carefully designed direct links among distant nodes. DGP allows us to exploit the hierarchical graph structure of the knowledge graph through additional connections. These connections are added based on a node's relationship to its ancestors and descendants. A weighting scheme is further used to weigh their contribution depending on the distance to the node to improve information propagation in the graph. Combined with finetuning of the representations in a two-stage training approach our method outperforms state-of-the-art zero-shot learning approaches.


title: Characterizing Energy Efficiency of Wireless Transmission for Green Internet of Things: A Data-Oriented Approach

abstract: The growing popularity of Internet of Things (IoT) applications brings new challenges to the wireless communication community. Numerous smart devices and sensors within IoT will generate a massive amount of short data packets. Future wireless transmission systems need to support the reliable transmission of such small data with extremely high energy efficiency. In this article, we introduce a novel data-oriented approach for characterizing the energy efficiency of wireless transmission strategies for IoT applications. Specifically, we present new energy efficiency performance limits targeting at individual data transmission sessions. Through preliminary analysis on two channel-adaptive transmission strategies, we develop several important design guidelines on green transmission of small data. We also present several promising future applications of the proposed data-oriented energy efficiency characterization.


title: Invariant Parabolic equations and Markov process on Ad\'eles

abstract: In this article a class of additive invariant positive selfadjoint pseudodifferential unbounded operators on $L^{2}(\mathbb{A}_{f})$, where $\mathbb{A}_{f}$ is the ring of finite ad\'eles of the rational numbers, is considered to state a Cauchy problem of parabolic--type equations. These operators come from a set of additive invariant non-Archimedean metrics on $\mathbb{A}_{f}$. The fundamental solutions of these parabolic equations determines normal transition functions of Markov process on $\mathbb{A}_{f}$. Using the fractional Laplacian on the Archimedean place, $\mathbb{R}$, a class of parabolic--type equations on the complete ad\`ele ring, $\mathbb{A}$, is obtained.


title: $A_\infty$-structures associated with pairs of 1-spherical objects and noncommutative orders over curves

abstract: We show that pairs $(X,Y)$ of 1-spherical objects in $A_\infty$-categories, such that the morphism space ${\rm Hom}(X,Y)$ is concentrated in degree 0, can be described by certain noncommutative orders over (possibly stacky) curves. In fact, we establish a more precise correspondence at the level of isomorphism of moduli spaces which we show to be affine schemes of finite type over ${\Bbb Z}$.


title: Sapphire: Querying RDF Data Made Simple

abstract: RDF data in the linked open data (LOD) cloud is very valuable for many different applications. In order to unlock the full value of this data, users should be able to issue complex queries on the RDF datasets in the LOD cloud. SPARQL can express such complex queries, but constructing SPARQL queries can be a challenge to users since it requires knowing the structure and vocabulary of the datasets being queried. In this paper, we introduce Sapphire, a tool that helps users write syntactically and semantically correct SPARQL queries without prior knowledge of the queried datasets. Sapphire interactively helps the user while typing the query by providing auto-complete suggestions based on the queried data. After a query is issued, Sapphire provides suggestions on ways to change the query to better match the needs of the user. We evaluated Sapphire based on performance experiments and a user study and showed it to be superior to competing approaches.


title: HeadOn: Real-time Reenactment of Human Portrait Videos

abstract: We propose HeadOn, the first real-time source-to-target reenactment approach for complete human portrait videos that enables transfer of torso and head motion, face expression, and eye gaze. Given a short RGB-D video of the target actor, we automatically construct a personalized geometry proxy that embeds a parametric head, eye, and kinematic torso model. A novel real-time reenactment algorithm employs this proxy to photo-realistically map the captured motion from the source actor to the target actor. On top of the coarse geometric proxy, we propose a video-based rendering technique that composites the modified target portrait video via view- and pose-dependent texturing, and creates photo-realistic imagery of the target actor under novel torso and head poses, facial expressions, and gaze directions. To this end, we propose a robust tracking of the face and torso of the source actor. We extensively evaluate our approach and show significant improvements in enabling much greater flexibility in creating realistic reenacted output videos.


title: Learn to Combine Modalities in Multimodal Deep Learning

abstract: Combining complementary information from multiple modalities is intuitively appealing for improving the performance of learning-based approaches. However, it is challenging to fully leverage different modalities due to practical challenges such as varying levels of noise and conflicts between modalities. Existing methods do not adopt a joint approach to capturing synergies between the modalities while simultaneously filtering noise and resolving conflicts on a per sample basis. In this work we propose a novel deep neural network based technique that multiplicatively combines information from different source modalities. Thus the model training process automatically focuses on information from more reliable modalities while reducing emphasis on the less reliable modalities. Furthermore, we propose an extension that multiplicatively combines not only the single-source modalities, but a set of mixtured source modalities to better capture cross-modal signal correlations. We demonstrate the effectiveness of our proposed technique by presenting empirical results on three multimodal classification tasks from different domains. The results show consistent accuracy improvements on all three tasks.


title: Contact Quantization: Quantum Mechanics = Parallel transport

abstract: Quantization together with quantum dynamics can be simultaneously formulated as the problem of finding an appropriate flat connection on a Hilbert bundle over a contact manifold. Contact geometry treats time, generalized positions and momenta as points on an underlying phase-spacetime and reduces classical mechanics to contact topology. Contact quantization describes quantum dynamics in terms of parallel transport for a flat connection; the ultimate goal being to also handle quantum systems in terms of contact topology. Our main result is a proof of local, formal gauge equivalence for a broad class of quantum dynamical systems-just as classical dynamics depends on choices of clocks, local quantum dynamics can be reduced to a problem of studying gauge transformations. We further show how to write quantum correlators in terms of parallel transport and in turn matrix elements for Hilbert bundle gauge transformations, and give the path integral formulation of these results. Finally, we show how to relate topology of the underlying contact manifold to boundary conditions for quantum wave functions.

categories: hep-th gr-qc math-ph math.MP math.SG quant-ph


title: Inexact Stochastic Mirror Descent for two-stage nonlinear stochastic programs

abstract: We introduce an inexact variant of Stochastic Mirror Descent (SMD), called Inexact Stochastic Mirror Descent (ISMD), to solve nonlinear two-stage stochastic programs where the second stage problem has linear and nonlinear coupling constraints and a nonlinear objective function which depends on both first and second stage decisions. Given a candidate first stage solution and a realization of the second stage random vector, each iteration of ISMD combines a stochastic subgradient descent using a prox-mapping with the computation of approximate (instead of exact for SMD) primal and dual second stage solutions. We propose two variants of ISMD and show the convergence of these variants to the optimal value of the stochastic program. We show in particular that under some assumptions, ISMD has the same convergence rate as SMD. The first variant of ISMD and its convergence analysis are based on the formulas for inexact cuts of value functions of convex optimization problems shown recently in [4]. The second variant of ISMD and the corresponding convergence analysis rely on new formulas that we derive for inexact cuts of value functions of convex optimization problems assuming that the dual function of the second stage problem for all fixed first stage solution and realization of the second stage random vector, is strongly concave. We show that this assumption of strong concavity is satisfied for some classes of problems and present the results of numerical experiments on two simple two-stage problems which show that solving approximately the second stage problem for the first iterations of ISMD can help us obtain a good approximate first stage solution quicker than with SMD. [4] V. Guigues, Inexact decomposition methods for solving deterministic and stochastic convex dynamic programming equations, arXiv, available at arXiv:1707.00812, 2017.


title: Experimental investigation of nonlinear internal waves in deep water with miscible fluids

abstract: Laboratory experimental results are presented for nonlinear Internal Solitary Waves (ISW) propagation in deep water configuration with miscible fluids. The results are validated against direct numerical simulations and traveling wave exact solutions where the effect of the diffused interface is taken into account. The waves are generated by means of a dam break and their evolution is recorded with Laser Induced Fluorescence (LIF) and Particle Image Velocimetry (PIV). In particular, data collected in a frame moving with the waves are presented here for the first time. Our results are representative of geophysical applications in the deep ocean where weakly nonlinear theories fail to capture the characteristics of large amplitude ISWs from field observations.


title: Symmetric shear banding and swarming vortices in bacterial "superfluids"

abstract: Bacterial suspensions--a premier example of active fluids--show an unusual response to shear stresses. Instead of increasing the viscosity of the suspending fluid, the emergent collective motions of swimming bacteria can turn a suspension into a "superfluid" with zero apparent viscosity. Although the existence of active "superfluids" has been demonstrated in bulk rheological measurements, the microscopic origin and dynamics of such an exotic phase have not been experimentally probed. Here, using high-speed confocal rheometry, we study the dynamics of concentrated bacterial suspensions under simple planar shear. We find that bacterial "superfluids" under shear exhibit unusual symmetric shear bands, defying the conventional wisdom on shear-banding of complex fluids, where the formation of steady shear bands necessarily breaks the symmetry of unsheared samples. We propose a simple hydrodynamic model based on the local stress balance and the ergodic sampling of nonequilibrium shear configurations, which quantitatively describes the observed symmetric shear-banding structure. The model also successfully predicts various interesting features of swarming vortices in stationary bacterial suspensions. Our study provides new insights into the physical properties of collective swarming in active fluids and illustrates their profound influences on transport processes.


title: A study on prefixes of $c_2$ invariants

abstract: This document begins by reviewing recent progress that has been made by taking a combinatorial perspective on the $c_2$ invariant, an arithmetic graph invariant with connections to Feynman integrals. Then it proceeds to report on some recent calculations of $c_2$ invariants for two families of circulant graphs at small primes. These calculations support the idea that all possible finite sequences appear as initial segments of $c_2$ invariants, in contrast to their apparent sparsity on small graphs.


title: Quantum function algebras from finite-dimensional Nichols algebras

abstract: We describe how to find quantum determinants and antipode formulas from braided vector spaces using the FRT-construction and finite-dimensional Nichols algebras. It generalizes the construction of quantum function algebras using quantum grassmanian algebras. Given a finite-dimensional Nichols algebra B, our method provides a Hopf algebra H such that B is a braided Hopf algebra in the category of H-comodules. It also serves as source to produce Hopf algebras generated by cosemisimple subcoalgebras, which are of interest for the generalized lifting method. We give several examples, among them quantum function algebras from Fomin-Kirillov algebras associated with the symmetric groups on three letters.


title: Superpixel-enhanced Pairwise Conditional Random Field for Semantic Segmentation

abstract: Superpixel-based Higher-order Conditional Random Fields (CRFs) are effective in enforcing long-range consistency in pixel-wise labeling problems, such as semantic segmentation. However, their major short coming is considerably longer time to learn higher-order potentials and extra hyperparameters and/or weights compared with pairwise models. This paper proposes a superpixel-enhanced pairwise CRF framework that consists of the conventional pairwise as well as our proposed superpixel-enhanced pairwise (SP-Pairwise) potentials. SP-Pairwise potentials incorporate the superpixel-based higher-order cues by conditioning on a segment filtered image and share the same set of parameters as the conventional pairwise potentials. Therefore, the proposed superpixel-enhanced pairwise CRF has a lower time complexity in parameter learning and at the same time it outperforms higher-order CRF in terms of inference accuracy. Moreover, the new scheme takes advantage of the pre-trained pairwise models by reusing their parameters and/or weights, which provides a significant accuracy boost on the basis of CRF-RNN even without training. Experiments on MSRC-21 and PASCAL VOC 2012 dataset confirm the effectiveness of our method.