title: Frustration and anisotropic exchange in ytterbium magnets with edge-shared octahedra

abstract: We consider the structure of anisotropic exchange interactions in ytterbium-based insulating rare-earth magnets built from edge-sharing octahedra. We argue the features of trivalent ytterbium and this structural configuration allow for a qualitative determination of the different anisotropic exchange regimes that may manifest in such compounds. The validity of such super-exchange calculations is tested through comparison to the well-characterized breathing pyrochlore compound Ba$_3$Yb$_2$Zn$_5$O$_{11}$. With this in hand, we then consider application to three-dimensional pyrochlore spinels as well as two-dimensional honeycomb and triangular lattice systems built from such edge-sharing octahedra. We find an extended regime of robust emergent weak anisotropy with dominant antiferromagnetic Heisenberg interactions as well as smaller regions with strong anisotropy. We discuss the implications of our results for known compounds with the above structures, such as the spinels AYb$_2$X$_4$ (A = Cd, Mg, X = S, Se), the triangular compound YbMgGaO$_4$, which have recently emerged as promising candidates for observing unconventional magnetic phenomena. Finally, we speculate on implications for the R$_2$M$_2$O$_7$ pyrochlore compounds and some little studied honeycomb ytterbium magnets.


title: Robust Constraints and Novel Gamma-Ray Signatures of Dark Matter That Interacts Strongly With Nucleons

abstract: Due to shielding, direct detection experiments are in some cases insensitive to dark matter candidates with very large scattering cross sections with nucleons. In this paper, we revisit this class of models, and derive a simple analytic criterion for conservative but robust direct detection limits. While large spin-independent cross sections seem to be ruled out, we identify potentially viable parameter space for dark matter with a spin-dependent cross section with nucleons in the range of $10^{-27} {\rm cm}^2 < \sigma_{{\rm DM}-p} < 10^{-24} \, {\rm cm}^{2}$. With these parameters, cosmic-ray scattering with dark matter in the extended halo of the Milky Way could generate a novel and distinctive gamma-ray signal at high galactic latitudes. Such a signal could be observable by Fermi or future space-based gamma-ray telescopes.

categories: hep-ph astro-ph.CO astro-ph.GA astro-ph.HE


title: Convective dynamics and disequilibrium chemistry in the atmospheres of giant planets and brown dwarfs

abstract: Disequilibrium chemical processes have a large effect upon the spectra of substellar objects. To study these effects, dynamical disequilibrium has been parameterized using the quench and eddy diffusion approximations, but little work has been done to explore how these approximations perform under realistic planetary conditions in different dynamical regimes. As a first step in addressing this problem, we study the localized, small scale convective dynamics of planetary atmospheres by direct numerical simulation of fully compressible hydrodynamics with reactive tracers using the Dedalus code. Using polytropically-stratified, plane parallel atmospheres in 2- and 3-D, we explore the quenching behavior of different abstract chemical species as a function of the dynamical conditions of the atmosphere as parameterized by the Rayleigh number. We find that in both 2- and 3-D, chemical species quench deeper than would be predicted based on simple mixing length arguments. Instead, it is necessary to employ length scales based on the chemical equilibrium profile of the reacting species in order to predict quench points and perform chemical kinetics modeling in 1-D. Based on the results of our simulations, we provide a new length scale, derived from the chemical scale height, which can be used to perform these calculations. This length scale is simple to calculate from known chemical data and makes reasonable predictions for our dynamical simulations.


title: Star-disc interaction in galactic nuclei: formation of a central stellar disc

abstract: We perform high resolution direct $N$-body simulations to study the effect of an accretion disc on stellar dynamics in an active galactic nucleus (AGN). We show that the interaction of the nuclear stellar cluster (NSC) with the gaseous disc (AD) leads to formation of a stellar disc in the central part of the NSC. The accretion of stars from the stellar disc onto the super-massive black hole is balanced by the capture of stars from the NSC into the stellar disc, yielding a stationary density profile. We derive the migration time through the AD to be 3\% of the half-mass relaxation time of the NSC. The mass and size of the stellar disc are 0.7\% of the mass and 5\% of the influence radius of the super-massive black hole. An AD lifetime shorter than the migration time would result in a less massive nuclear stellar disc. The detection of such a stellar disc could point to past activity of the hosting galactic nucleus.


title: Combinatorial Characterisations of Graphical Computational Search Problems

abstract: A Graphical Search problem, denoted $\Pi(X,\gamma)$, where $X$ is the vertex set or edge set of a graph $G$, consists of finding a solution $Y$, where $Y \subseteq X$ and $Y$ satisfies the predicate $\gamma$. Let $\hat{\Pi}$ be the decision problem associated with $\Pi(X,\gamma)$. A sub-solution of $\Pi(X,\gamma)$ is a subset $Y'$ that is a solution of the problem $\Pi(X',\gamma)$, where $X' \subset X$. To $\Pi(X,\gamma)$ we associate the set system $(X, \mathcal{I})$, where $\mathcal{I}$ denotes the set of all the solutions and sub-solutions of $\Pi(X,\gamma)$. The predicate $\gamma$ is an accessible predicate if, given $Y \not = \emptyset$, $Y$ is a solution of $\Pi(X,\gamma)$ implies that there is an element $y \in Y$ such that $Y \setminus y$ is a sub-solution of $\Pi(X,\gamma)$. If $\gamma$ is an accessible property, we then show in Theorem 1 that a decision problem $\hat \Pi$ is in $\mathcal{P}$ if and only if, for all input $X$, $(X, \mathcal{I})$ satisfies Axioms M2', where M2', called the Augmentability Axiom, is an extension of both the Exchange Axiom and the Accessibility Axiom of a greedoid. We also show that a problem $\hat \Pi$ is in $\mathcal{P}$-complete if and only if, for all input $X$, $(X, \mathcal{I})$ satisfies Axioms M2' and M1, where M1 is the Heredity Axiom of a matroid. A problem $\hat \Pi$ is in $\mathcal{NP}$ if and only if , for all input $X$, $(X, \mathcal{I})$ satisfies Axioms M2", where M2" is an extension of the Augmentability Axiom. Finally, the problem $\hat \Pi$ is in $\mathcal{NP}$-complete if and only if, for all input $X$, $(X, \mathcal{I})$ satisfies Axiom M1. Using the fact that Hamiltonicity is an accessible property that satisfies M2", but does not satisfies Axiom M2', in Corollary 1 we get that $\mathcal{P} \not = \mathcal{NP}$.


title: Calculus without Limit Theory

abstract: This paper establishes calculus upon two physical facts: (1) any average velocity is always between two instantaneous velocities, and (2) the motion of an object is determined once its velocity has been determined. It directly defines derivative and definite integral on an ordered field, proves the fundamental theorem of calculus with no auxiliary conditions, easily reveals the common properties of derivatives, and obtains differentiation formulas for elementary functions. Further discussion shows that the new definitions are in accord with the traditional concepts for continuously differentiable functions. This is a result of the authors' research in the field of educational mathematics, which hopes to provide a more elementary and effective way to teach calculus.


title: Production cross sections of cosmic antiprotons in the light of new data from the NA61 and LHCb experiments

abstract: The cosmic-ray flux of antiprotons is measured with high precision by the space-borne particle spectrometers AMS-02.Its interpretation requires a correct description of the dominant production process for antiprotons in our Galaxy, namely, the interaction of cosmic-ray proton and helium with the interstellar medium. In the light of new cross section measurements by the NA61 experiment of $p + p \rightarrow \bar{p} + X$ and the first ever measurement of $p + \mathrm{He} \rightarrow \bar{p} + X$ by the LHCb experiment, we update the parametrization of proton-proton and proton-nucleon cross sections.We find that the LHCb $p$He data constrain a shape for the cross section at high energies and show for the first time how well the rescaling from the $pp$ channel applies to a helium target. By using $pp$, $p$He and $p$C data we estimate the uncertainty on the Lorentz invariant cross section for $p + \mathrm{He} \rightarrow \bar{p} + X$. We use these new cross sections to compute the source term for all the production channels, considering also nuclei heavier than He both in cosmic rays and the interstellar medium. The uncertainties on the total source term are at the level of $\pm20$% and slightly increase below antiproton energies of 5 GeV. This uncertainty is dominated by the $p+p \rightarrow \bar{p} + X$ cross section, which translates into all channels since we derive them using the $pp$ cross sections. The cross sections to calculate the source spectra from all relevant cosmic-ray isotopes are provided in the Supplemental Material. We finally quantify the necessity of new data on antiproton production cross sections, and pin down the kinematic parameter space which should be covered by future data.


title: Some remarks on metrics induced by a fuzzy metric

abstract: We introduce a crisp metric $d_M$ as the common limit of two different nets $(\Delta_{M,\lambda})$ and $(\delta_{M,\lambda})$ of crisp metrics induced by a fuzzy metric $M$ and prove that the existence of each of these limits is equivalent to that of the other and it is characterized by another condition on the original fuzzy metric $M$. We also derive some of the properties of these approximate metrics $\Delta_\lambda$ and $\delta_\lambda$. On the other hand, for a given a crisp metric $d$, establish that the fuzzy metric representing $M_d$ with values in $\{0,1\}$ and $d$ are compatible with the same topology. Further, we prove that if a crisp metric $d$ induces a fuzzy metric $M_d$, then all the approximate crisp metrics $\Delta_{M,\lambda}$ and $\delta_{M,\lambda}$ induced by this fuzzy metric are equal to the original metric $d$.


title: Mixed Equilibrium Solution of Time-Inconsistent Stochastic LQ Problem

abstract: In this paper, we propose a novel equilibrium solution notion for the time-inconsistent stochastic linear-quadratic optimal control problem. This notion is called the mixed equilibrium solution, which consists of two parts: a pure-feedback-strategy part and an open-loop-control part. When the pure-feedback-strategy part is zero or the open-loop-control part does not depend on the initial state, the mixed equilibrium solution reduces to the open-loop equilibrium control and the feedback equilibrium strategy, respectively. Using a maximum-principle-like methodology with forward-backward stochastic difference equations, a necessary and sufficient condition is established to characterize the existence of a mixed equilibrium solution. Then, by decoupling the forward-backward stochastic difference equations, three sets of difference equations, which together portray the existence of a mixed equilibrium solution, are obtained. Moreover, the case with a fixed time-state initial pair and the case with all the initial pairs are separately investigated. Furthermore, an example is constructed to show that the mixed equilibrium solution exists for all the initial pairs, although neither the open-loop equilibrium control nor the feedback equilibrium strategy exists for some initial pairs.


title: System-in-the-loop Design Space Exploration for Efficient Communication in Large-scale IoT-based Warehouse Systems

abstract: Instead of treating inventory items as static resources, future intelligent warehouses will transcend containers to Cyber Physical Systems (CPS) that actively and autonomously participate in the optimization of the logistical processes. Consequently, new challenges that are system-immanent for the massive Internet of Things (IoT) context, such as channel access in a shared communication medium, have to be addressed. In this paper, we present a multi-methodological system model that brings together testbed experiments for measuring real hardware properties and simulative evaluations for large-scale considerations. As an example case study, we will particularly focus on parametrization of the 802.15.4-based radio communication system, which has to be energy-efficient due to scarce amount of harvested energy, but avoid latencies for the maintenance of scalability of the overlaying warehouse system. The results show, that a modification of the initial backoff time can lead to both, energy and time savings in the order of 50% compared to the standard.


title: Steep Points of Gaussian Free Fields in Any Dimension

abstract: This work aims to extend the existing results on the Hausdorff dimension of the classical thick point sets of a Gaussian free field (GFF) to a more general class of exceptional sets. We adopt the circle or sphere averaging regularization to treat a singular GFF in any dimension, and introduce the notion of "$f-$steep point" of the GFF for certain test function $f$. Roughly speaking, the $f-$steep points of a generic element of the GFF are locations where, when weighted by the function $f$, the "steepness", or in other words, the "rate of change" of the regularized field element becomes unusually large. Different choices of $f$ lead to the study of various exceptional behaviors of the GFF. We investigate the Hausdorff dimension of the set consisting of $f-$steep points, from which we can recover the existing results on thick point sets for both log-correlated and polynomial-correlated GFFs, and also obtain new results on exceptional sets that, to our best knowledge, have not been previously studied. Our method is inspired by the one used to study the thick point sets of the classical 2D log-correlated GFF.


title: On the Lex-plus-powers Conjecture

abstract: Let $S$ be a polynomial ring over a field and $I\subseteq S$ a homogeneous ideal containing a regular sequence of forms of degrees $d_1, \ldots, d_c$. In this paper we prove the Lex-plus-powers Conjecture when the field has characteristic 0 for all regular sequences such that $d_i \geq \sum_{j=1}^{i-1} (d_j-1)+1$ for each $i$; that is, we show that the Betti table of $I$ is bounded above by the Betti table of the lex-plus-powers ideal of $I$. As an application, when the characteristic is 0, we obtain bounds for the Betti numbers of any homogeneous ideal containing a regular sequence of known degrees, which are sharper than the previously known ones from the Bigatti-Hulett-Pardue Theorem.


title: A new jet-stirred reactor for chemical kinetics investigations

abstract: A novel jet-stirred reactor was designed to study combustion processes at low Damk\"ohler number (Da, ratio of residence time to chemical time), i.e. chemical kinetics. In this new design, multiple impinging turbulent jets are used to stir the mixture. The goal of this work is to identify an optimal configuration of multiple pairs of impinging jets and outlet ports for as a Jet-Stirred Reactor (JSR) for chemical kinetics experiments. With this motivation, ANSYS-FLUENT computations using the RANS - Reynolds Stress Model were used to simulate mixing and reaction in such geometries and their performance was compared to classical JSR (4 Jets In Plus (+) Pattern (4JIPP) introduced by Matras & Villermaux 1973; Dagaut et al. 1986; etc.). Results showed that a configuration of 8 jets, each surrounded by a concentric annular outlet (CIAO), at the corners of an imaginary cube circumscribed by a spherical chamber provided far more uniform composition and temperature and thereby more nearly match the idealizations assumed in well-stirred reactor theory, even at values of Da higher than those accessible to other JSR experiments. Moreover, the CIAO design yielded inferred reaction rate constants that were much to the actual values than the classical JSR design.


title: Dilations of partial representations of Hopf algebras

abstract: We introduce the notion of a dilation for a partial representation (i.e. a partial module) of a Hopf algebra, which in case the partial representation origins from a partial action (i.e.a partial module algebra) coincides with the enveloping action (or globalization). This construction leads to categorical equivalences between the category of partial $H$-modules, a category of (global) $H$-modules endowed with a projection satisfying a suitable commutation relation and the category of modules over a (global) smash product constructed upon $H$, from which we deduce the structure of a Hopfish algebra on this smash product. These equivalences are used to study the interactions between partial and global representation theory.


title: X States of the Same Spectrum and Entanglement as All Two-Qubit States

abstract: We present an explicit family of two-qubit X states with entanglement-preserving unitary (EPU) equivalence to the set of general states; that is, for any spectrum-entanglement combination achievable by general states, this family contains an X state of the same spectrum and entanglement. This idea was originally conjectured by the author and supported with strong numerical evidence in arXiv:1310.7038. Then, in Ann. Phys. 351 (2014) 79, the authors proved the existence of such two-qubit unitary transformations, but found the parameters to be transcendental, eluding explicit solution. Here, by a different method, we prove the existence of such transformations, obtain a compact implicit solution for them, and provide an exact, explicit form of the desired X-state family.


title: Few-shot learning of neural networks from scratch by pseudo example optimization

abstract: In this paper, we propose a simple but effective method for training neural networks with a limited amount of training data. Our approach inherits the idea of knowledge distillation that transfers knowledge from a deep or wide reference model to a shallow or narrow target model. The proposed method employs this idea to mimic predictions of reference estimators that are more robust against overfitting than the network we want to train. Different from almost all the previous work for knowledge distillation that requires a large amount of labeled training data, the proposed method requires only a small amount of training data. Instead, we introduce pseudo training examples that are optimized as a part of model parameters. Experimental results for several benchmark datasets demonstrate that the proposed method outperformed all the other baselines, such as naive training of the target model and standard knowledge distillation.


title: Extended Effective Field Theory of Inflation

abstract: We present a general framework where the effective field theory of single field inflation is extended by the inclusion of operators with mass dimension 3 and 4 in the unitary gauge. These higher dimensional operators introduce quartic and sextic corrections to the dispersion relation. We study the regime of validity of this extended effective field theory of inflation and the effect of these higher dimensional operators on CMB observables associated with scalar perturbations, such as the speed of sound, the amplitude of the power spectrum and the tensor-to-scalar ratio. Tensor perturbations remain instead, unaltered.


title: Detection of Adversarial Training Examples in Poisoning Attacks through Anomaly Detection

abstract: Machine learning has become an important component for many systems and applications including computer vision, spam filtering, malware and network intrusion detection, among others. Despite the capabilities of machine learning algorithms to extract valuable information from data and produce accurate predictions, it has been shown that these algorithms are vulnerable to attacks. Data poisoning is one of the most relevant security threats against machine learning systems, where attackers can subvert the learning process by injecting malicious samples in the training data. Recent work in adversarial machine learning has shown that the so-called optimal attack strategies can successfully poison linear classifiers, degrading the performance of the system dramatically after compromising a small fraction of the training dataset. In this paper we propose a defence mechanism to mitigate the effect of these optimal poisoning attacks based on outlier detection. We show empirically that the adversarial examples generated by these attack strategies are quite different from genuine points, as no detectability constrains are considered to craft the attack. Hence, they can be detected with an appropriate pre-filtering of the training dataset.


title: Deep Hedging

abstract: We present a framework for hedging a portfolio of derivatives in the presence of market frictions such as transaction costs, market impact, liquidity constraints or risk limits using modern deep reinforcement machine learning methods. We discuss how standard reinforcement learning methods can be applied to non-linear reward structures, i.e. in our case convex risk measures. As a general contribution to the use of deep learning for stochastic processes, we also show that the set of constrained trading strategies used by our algorithm is large enough to $\epsilon$-approximate any optimal solution. Our algorithm can be implemented efficiently even in high-dimensional situations using modern machine learning tools. Its structure does not depend on specific market dynamics, and generalizes across hedging instruments including the use of liquid derivatives. Its computational performance is largely invariant in the size of the portfolio as it depends mainly on the number of hedging instruments available. We illustrate our approach by showing the effect on hedging under transaction costs in a synthetic market driven by the Heston model, where we outperform the standard "complete market" solution.

categories: q-fin.CP math.NA math.OC math.PR q-fin.RM


title: PoTrojan: powerful neural-level trojan designs in deep learning models

abstract: With the popularity of deep learning (DL), artificial intelligence (AI) has been applied in many areas of human life. Neural network or artificial neural network (NN), the main technique behind DL, has been extensively studied to facilitate computer vision and natural language recognition. However, the more we rely on information technology, the more vulnerable we are. That is, malicious NNs could bring huge threat in the so-called coming AI era. In this paper, for the first time in the literature, we propose a novel approach to design and insert powerful neural-level trojans or PoTrojan in pre-trained NN models. Most of the time, PoTrojans remain inactive, not affecting the normal functions of their host NN models. PoTrojans could only be triggered in very rare conditions. Once activated, however, the PoTrojans could cause the host NN models to malfunction, either falsely predicting or classifying, which is a significant threat to human society of the AI era. We would explain the principles of PoTrojans and the easiness of designing and inserting them in pre-trained deep learning models. PoTrojans doesn't modify the existing architecture or parameters of the pre-trained models, without re-training. Hence, the proposed method is very efficient.


title: Manipulating Anomalous Hall Antiferromagnets with Magnetic Fields

abstract: The symmetry considerations that imply a non-zero anomalous Hall effect (AHE) in certain non-collinear antiferromagnets also imply both non-zero orbital magnetization and a net spin magnetization. We have explicitly evaluated the orbital magnetizations of several anomalous Hall effect antiferromagnets and find that they tend to dominate over spin magnetizations, especially so when spin-orbit interactions are weak. Because of the greater relative importance of orbital magnetization the coupling between magnetic order and an external magnetic field is unusual. We explain how magnetic fields can be used to manipulate magnetic configurations in these systems, pointing in particular to the important role played by the response of orbital magnetization to the Zeeman-like spin exchange fields.


title: Algorithmic aspects of branched coverings III/V. Erasing maps, orbispaces, and the Birman exact sequence

abstract: Let $\tilde f\colon(S^2,\tilde A)\to(S^2,\tilde A)$ be a Thurston map and let $M(\tilde f)$ be its mapping class biset: isotopy classes rel $\tilde A$ of maps obtained by pre- and post-composing $\tilde f$ by the mapping class group of $(S^2,\tilde A)$. Let $A\subseteq\tilde A$ be an $\tilde f$-invariant subset, and let $f\colon(S^2,A)\to(S^2,A)$ be the induced map. We give an analogue of the Birman short exact sequence: just as the mapping class group $\mathrm{Mod}(S^2,\tilde A)$ is an iterated extension of $\mathrm{Mod}(S^2,A)$ by fundamental groups of punctured spheres, $M(\tilde f)$ is an iterated extension of $M(f)$ by the dynamical biset of $f$. Thurston equivalence of Thurston maps classically reduces to a conjugacy problem in mapping class bisets. Our short exact sequence of mapping class bisets allows us to reduce in polynomial time the conjugacy problem in $M(\tilde f)$ to that in $M(f)$. In case $\tilde f$ is geometric (either expanding or doubly covered by a hyperbolic torus endomorphism) we show that the dynamical biset $B(f)$ together with a "portrait of bisets" induced by $\tilde A$ is a complete conjugacy invariant of $\tilde f$. Along the way, we give a complete description of bisets of $(2,2,2,2)$-maps as a crossed product of bisets of torus endomorphisms by the cyclic group of order $2$, and we show that non-cyclic orbisphere bisets have no automorphism. We finally give explicit, efficient algorithms that solve the conjugacy and centralizer problems for bisets of expanding or torus maps.


title: Existence of augmented Lagrange multipliers: reduction to exact penalty functions and localization principle

abstract: In this article, we present new general results on existence of augmented Lagrange multipliers. We define a penalty function associated with an augmented Lagrangian, and prove that, under a certain growth assumption on the augmenting function, an augmented Lagrange multiplier exists if and only if this penalty function is exact. We also develop a new general approach to the study of augmented Lagrange multipliers called the localization principle. The localization principle allows one to study the local behaviour of the augmented Lagrangian near globally optimal solutions of the initial optimization problem in order to prove the existence of augmented Lagrange multipliers.


title: Revisiting the Phase Curves of WASP-43b: Confronting Reanalyzed Spitzer Data with Cloudy Atmospheres

abstract: Recently acquired Hubble and Spitzer phase curves of the short-period hot Jupiter WASP-43b make it an ideal target for confronting theory with data. On the observational front, we re-analyze the 3.6 and 4.5 $\mu$m Spitzer phase curves and demonstrate that our improved analysis better removes residual red noise due to intra-pixel sensitivity, which leads to greater fluxes emanating from the nightside of WASP-43b, thus reducing the tension between theory and data. On the theoretical front, we construct cloudfree and cloudy atmospheres of WASP-43b using our Global Circulation Model (GCM), THOR, which solves the non-hydrostatic Euler equations (compared to GCMs that typically solve the hydrostatic primitive equations). The cloudfree atmosphere produces a reasonable fit to the dayside emission spectrum. The multi-phase emission spectra constrain the cloud deck to be confined to the nightside and have a finite cloud-top pressure. The multi-wavelength phase curves are naturally consistent with our cloudy atmospheres, except for the 4.5 $\mu$m phase curve, which requires the presence of enhanced carbon dioxide in the atmosphere of WASP-43b. Multi-phase emission spectra at higher spectral resolution, as may be obtained using the James Webb Space Telescope, and a reflected-light phase curve at visible wavelengths would further constrain the properties of clouds in WASP-43b.


title: A new product on 2x2 matrices

abstract: We study a bilinear multiplication rule on 2x2 matrices which is intermediate between the ordinary matrix product and the Hadamard matrix product, and we relate this to the hyperbolic motion group of the plane.


title: Leveraging Coding Techniques for Speeding up Distributed Computing

abstract: Large scale clusters leveraging distributed computing frameworks such as MapReduce routinely process data that are on the orders of petabytes or more. The sheer size of the data precludes the processing of the data on a single computer. The philosophy in these methods is to partition the overall job into smaller tasks that are executed on different servers; this is called the map phase. This is followed by a data shuffling phase where appropriate data is exchanged between the servers. The final so-called reduce phase, completes the computation. One potential approach, explored in prior work for reducing the overall execution time is to operate on a natural tradeoff between computation and communication. Specifically, the idea is to run redundant copies of map tasks that are placed on judiciously chosen servers. The shuffle phase exploits the location of the nodes and utilizes coded transmission. The main drawback of this approach is that it requires the original job to be split into a number of map tasks that grows exponentially in the system parameters. This is problematic, as we demonstrate that splitting jobs too finely can in fact adversely affect the overall execution time. In this work we show that one can simultaneously obtain low communication loads while ensuring that jobs do not need to be split too finely. Our approach uncovers a deep relationship between this problem and a class of combinatorial structures called resolvable designs. Appropriate interpretation of resolvable designs can allow for the development of coded distributed computing schemes where the splitting levels are exponentially lower than prior work. We present experimental results obtained on Amazon EC2 clusters for a widely known distributed algorithm, namely TeraSort. We obtain over 4.69$\times$ improvement in speedup over the baseline approach and more than 2.6$\times$ over current state of the art.


title: Thompson Sampling for Dynamic Pricing

abstract: In this paper we apply active learning algorithms for dynamic pricing in a prominent e-commerce website. Dynamic pricing involves changing the price of items on a regular basis, and uses the feedback from the pricing decisions to update prices of the items. Most popular approaches to dynamic pricing use a passive learning approach, where the algorithm uses historical data to learn various parameters of the pricing problem, and uses the updated parameters to generate a new set of prices. We show that one can use active learning algorithms such as Thompson sampling to more efficiently learn the underlying parameters in a pricing problem. We apply our algorithms to a real e-commerce system and show that the algorithms indeed improve revenue compared to pricing algorithms that use passive learning.


title: Caregiver Assessment Using Smart Gaming Technology: A Preliminary Approach

abstract: As pre-diagnostic technologies are becoming increasingly accessible, using them to improve the quality of care available to dementia patients and their caregivers is of increasing interest. Specifically, we aim to develop a tool for non-invasively assessing task performance in a simple gaming application. To address this, we have developed Caregiver Assessment using Smart Gaming Technology (CAST), a mobile application that personalizes a traditional word scramble game. Its core functionality uses a Fuzzy Inference System (FIS) optimized via a Genetic Algorithm (GA) to provide customized performance measures for each user of the system. With CAST, we match the relative level of difficulty of play using the individual's ability to solve the word scramble tasks. We provide an analysis of the preliminary results for determining task difficulty, with respect to our current participant cohort.


title: WorldTree: A Corpus of Explanation Graphs for Elementary Science Questions supporting Multi-Hop Inference

abstract: Developing methods of automated inference that are able to provide users with compelling human-readable justifications for why the answer to a question is correct is critical for domains such as science and medicine, where user trust and detecting costly errors are limiting factors to adoption. One of the central barriers to training question answering models on explainable inference tasks is the lack of gold explanations to serve as training data. In this paper we present a corpus of explanations for standardized science exams, a recent challenge task for question answering. We manually construct a corpus of detailed explanations for nearly all publicly available standardized elementary science question (approximately 1,680 3rd through 5th grade questions) and represent these as "explanation graphs" -- sets of lexically overlapping sentences that describe how to arrive at the correct answer to a question through a combination of domain and world knowledge. We also provide an explanation-centered tablestore, a collection of semi-structured tables that contain the knowledge to construct these elementary science explanations. Together, these two knowledge resources map out a substantial portion of the knowledge required for answering and explaining elementary science exams, and provide both structured and free-text training data for the explainable inference task.


title: $p$-Harmonic Maps to $S^1$ and Stationary Varifolds of Codimension 2

abstract: We study the asymptotics as $p\uparrow 2$ of stationary $p$-harmonic maps $u_p\in W^{1,p}(M,S^1)$ from a compact manifold $M^n$ to $S^1$, satisfying the natural energy growth condition $$\int_M|du_p|^p=O(\frac{1}{2-p}).$$ Along a subsequence $p_j\to 2$, we show that the singular sets $Sing(u_{p_j})$ converge to the support of a stationary, rectifiable $(n-2)$-varifold $V$ of density $\Theta_{n-2}(\|V\|,\cdot)\geq 2\pi$, given by the concentrated part of the measure $$\mu=\lim_{j\to\infty}(2-p_j)|du_{p_j}|^{p_j}dv_g.$$ When $n=2$, we show moreover that the density of $\|V\|$ takes values in $2\pi\mathbb{N}$. Finally, on every compact manifold of dimension $n\geq 2$ we produce examples of nontrivial families $(1,2)\ni p\mapsto u_p\in W^{1,p}(M,S^1)$ of such maps via natural min-max constructions.


title: On the closest stable/unstable nonnegative matrix and related stability radii

abstract: We consider the problem of computing the closest stable/unstable non-negative matrix to a given real matrix. This problem is important in the study of linear dynamical systems, numerical methods, etc. The distance between matrices is measured in the Frobenius norm. The problem is addressed for two types of stability: the Schur stability (the matrix is stable if its spectral radius is smaller than one) and the Hurwitz stability (the matrix is stable if its spectral abscissa is negative). We show that the closest unstable matrix can always be explicitly found. For the closest stable matrix, we present an iterative algorithm which converges to a local minimum with a linear rate. It is shown that the total number of local minima can be exponential in the dimension. Numerical results and the complexity estimates are presented.


title: Return of the grand unified theory baryogenesis: Source of helical hypermagnetic fields for the baryon asymmetry of the universe

abstract: It has been considered that baryogenesis models without a generation of $B$-$L$ asymmetry such as the GUT baryogenesis do not work since the asymmetry is washed out by the electroweak sphalerons. Here, we point out that helical hypermagnetic fields can be generated through the chiral magnetic effect with a chiral asymmetry generated in such baryogenesis models. The helical hypermagnetic fields then produce baryon asymmetry mainly at the electroweak symmetry breaking, which remains until today. Therefore, the baryogenesis models without $B$-$L$ asymmetry can still be the origin of the present baryon asymmetry. In particular, if it can produce chiral asymmetry mainly carried by right-handed electrons of order of $10^{-3}$ in terms of the chemical potential to temperature ratio, the resultant present-day baryon asymmetry can be consistent with our Universe, although simple realizations of the GUT baryogenesis are hard to satisfy the condition. We also argue the way to overcome the difficulty in the GUT baryogenesis. The intergalactic magnetic fields with $B_0\sim 10^{-16 \sim 17}$ G and $\lambda_0 \sim 10^{-2\sim3}$ pc are the smoking gun of the baryogenesis scenario as discussed before.


title: Oversampled Adaptive Sensing

abstract: We develop a Bayesian framework for sensing which adapts the sensing time and/or basis functions to the instantaneous sensing quality measured in terms of the expected posterior mean-squared error. For sparse Gaussian sources a significant reduction in average sensing time and/or mean-squared error is achieved in comparison to non-adaptive sensing. For compression ratio 3, a sparse 10% Gaussian source and equal average sensing times, the proposed method gains about 2 dB over the performance bound of optimum compressive sensing, about 3 dB over non-adaptive 3-fold oversampled orthogonal sensing and about 6 to 7 dB to LASSO-based recovery schemes while enjoying polynomial time complexity. We utilize that in the presence of Gaussian noise the mean-squared error conditioned on the current observation is proportional to the derivative of the conditional mean estimate with respect to this observation.


title: System G Distributed Graph Database

abstract: Motivated by the need to extract knowledge and value from interconnected data, graph analytics on big data is a very active area of research in both industry and academia. To support graph analytics efficiently a large number of in memory graph libraries, graph processing systems and graph databases have emerged. Projects in each of these categories focus on particular aspects such as static versus dynamic graphs, off line versus on line processing, small versus large graphs, etc. While there has been much advance in graph processing in the past decades, there is still a need for a fast graph processing, using a cluster of machines with distributed storage. In this paper, we discuss a novel distributed graph database called System G designed for efficient graph data storage and processing on modern computing architectures. In particular we describe a single node graph database and a runtime and communication layer that allows us to compose a distributed graph database from multiple single node instances. From various industry requirements, we find that fast insertions and large volume concurrent queries are critical parts of the graph databases and we optimize our database for such features. We experimentally show the efficiency of System G for storing data and processing graph queries on state-of-the-art platforms.


title: Doppler Spread Estimation in MIMO Frequency-selective Fading Channels

abstract: One of the main challenges in high-speed mobile communications is the presence of large Doppler spreads. Thus, accurate estimation of maximum Doppler spread (MDS) plays an important role in improving the performance of the communication link. In this paper, we derive the data-aided (DA) and non-data-aided (NDA) Cramer-Rao lower bounds (CRLBs) and maximum likelihood estimators (MLEs) for the MDS in multiple-input multiple-output (MIMO) frequency-selective fading channel. Moreover, a lowcomplexity NDA-moment-based estimator (MBE) is proposed. The proposed NDA-MBE relies on the second- and fourth-order moments of the received signal, which are employed to estimate the normalized squared autocorrelation function of the fading channel. Then, the problem of MDS estimation is formulated as a non-linear regression problem, and the least-squares curvefitting optimization technique is applied to determine the estimate of the MDS. This is the first time in the literature when DAand NDA-MDS estimation is investigated for MIMO frequency-selective fading channel. Simulation results show that there is no significant performance gap between the derived NDA-MLE and NDA-CRLB even when the observation window is relatively small. Furthermore, the significant reduced-complexity in the NDA-MBE leads to low root-mean-square error (NRMSE) over a wide range of MDSs when the observation window is selected large enough.


title: On the structure of hypersurfaces in $\mathbb{H}^n\times \mathbb{R}$ with finite strong total curvature

abstract: We prove that if $X:M^n\to\mathbb{H}^n\times \mathbb{R}$, $n\geq 3$, is a an orientable, complete immersion with finite strong total curvature, then $X$ is proper and $M$ is diffeomorphic to a compact manifold $\bar M$ minus a finite number of points $q_1, \dots q_k$. Adding some extra hypothesis, including $H_r=0,$ where $H_r$ is a higher order mean curvature, we obtain more information about the geometry of a neighbourhood of each puncture. The reader will also find in this paper a classification result for the hypersurfaces of $\mathbb{H}^n\times \mathbb{R}$ which satisfy $H_r=0$ and are invariant by hyperbolic translations and a maximum principle in a half space for these hypersurfaces.


title: Simulations of Galactic polarized synchrotron emission for Epoch of Reionization observations

abstract: The detection of the redshifted cosmological $21$~cm line signal requires the removal of the Galactic and extragalactic foreground emission, which is orders of magnitude brighter anywhere in the sky. Foreground cleaning methods currently used are efficient in removing spectrally smooth components. However, they struggle in the presence of not spectrally smooth contamination that is, therefore, potentially the most dangerous one. An example of this is the polarized synchrotron emission, which is Faraday rotated by the interstellar medium and leaks into total intensity due to instrumental imperfections. In this work we present new full-sky simulations of this polarized synchrotron emission in the $50-200$~MHz range, obtained from the observed properties of diffuse polarized emission at low frequencies. The simulated polarized maps are made publicly available, aiming to provide more realistic templates to simulate the effect of instrumental leakage and the effectiveness of foreground separation techniques.


title: Fast algorithms for integral formulations of steady-state radiative transfer equation

abstract: We investigate integral formulations and fast algorithms for the steady-state radiative transfer equation with isotropic and anisotropic scattering. When the scattering term is a smooth convolution on the unit sphere, a model reduction step in the angular domain using the Fourier transformation in 2D and the spherical harmonic transformation in 3D significantly reduces the number of degrees of freedoms. The resulting Fourier coefficients or spherical harmonic coefficients satisfy a Fredholm integral equation of the second kind. We study the uniqueness of the equation and proved an a priori estimate. For a homogeneous medium, the integral equation can be solved efficiently using the FFT and iterative methods. For an inhomogeneous medium, the recursive skeletonization factorization method is applied instead. Numerical simulations demonstrate the efficiency of the proposed algorithms in both homogeneous and inhomogeneous cases and for both transport and diffusion regimes.


title: Multiple shadows from distorted static black holes

abstract: We study the local shadow of the Schwarzschild black hole with a quadrupole distortion and the influence of the external gravitational field on the photon dynamics. The external matter sources modify the light ring structure and lead to the appearance of multiple shadow images. In the case of negative quadrupole moments we identify the most prominent mechanism causing multiple shadow formation. Furthermore, we obtain a condition under which this mechanism can be realized. This condition depends on the quadrupole moment, but also on the position of the observer and the celestial sphere.


title: Learning Latent Representations in Neural Networks for Clustering through Pseudo Supervision and Graph-based Activity Regularization

abstract: In this paper, we propose a novel unsupervised clustering approach exploiting the hidden information that is indirectly introduced through a pseudo classification objective. Specifically, we randomly assign a pseudo parent-class label to each observation which is then modified by applying the domain specific transformation associated with the assigned label. Generated pseudo observation-label pairs are subsequently used to train a neural network with Auto-clustering Output Layer (ACOL) that introduces multiple softmax nodes for each pseudo parent-class. Due to the unsupervised objective based on Graph-based Activity Regularization (GAR) terms, softmax duplicates of each parent-class are specialized as the hidden information captured through the help of domain specific transformations is propagated during training. Ultimately we obtain a k-means friendly latent representation. Furthermore, we demonstrate how the chosen transformation type impacts performance and helps propagate the latent information that is useful in revealing unknown clusters. Our results show state-of-the-art performance for unsupervised clustering tasks on MNIST, SVHN and USPS datasets, with the highest accuracies reported to date in the literature.


title: Comparison of data-driven uncertainty quantification methods for a carbon dioxide storage benchmark scenario

abstract: A variety of methods is available to quantify uncertainties arising with\-in the modeling of flow and transport in carbon dioxide storage, but there is a lack of thorough comparisons. Usually, raw data from such storage sites can hardly be described by theoretical statistical distributions since only very limited data is available. Hence, exact information on distribution shapes for all uncertain parameters is very rare in realistic applications. We discuss and compare four different methods tested for data-driven uncertainty quantification based on a benchmark scenario of carbon dioxide storage. In the benchmark, for which we provide data and code, carbon dioxide is injected into a saline aquifer modeled by the nonlinear capillarity-free fractional flow formulation for two incompressible fluid phases, namely carbon dioxide and brine. To cover different aspects of uncertainty quantification, we incorporate various sources of uncertainty such as uncertainty of boundary conditions, of conceptual model definitions and of material properties. We consider recent versions of the following non-intrusive and intrusive uncertainty quantification methods: arbitary polynomial chaos, spatially adaptive sparse grids, kernel-based greedy interpolation and hybrid stochastic Galerkin. The performance of each approach is demonstrated assessing expectation value and standard deviation of the carbon dioxide saturation against a reference statistic based on Monte Carlo sampling. We compare the convergence of all methods reporting on accuracy with respect to the number of model runs and resolution. Finally we offer suggestions about the methods' advantages and disadvantages that can guide the modeler for uncertainty quantification in carbon dioxide storage and beyond.


title: Generating Realistic Geology Conditioned on Physical Measurements with Generative Adversarial Networks

abstract: An important problem in geostatistics is to build models of the subsurface of the Earth given physical measurements at sparse spatial locations. Typically, this is done using spatial interpolation methods or by reproducing patterns from a reference image. However, these algorithms fail to produce realistic patterns and do not exhibit the wide range of uncertainty inherent in the prediction of geology. In this paper, we show how semantic inpainting with Generative Adversarial Networks can be used to generate varied realizations of geology which honor physical measurements while matching the expected geological patterns. In contrast to other algorithms, our method scales well with the number of data points and mimics a distribution of patterns as opposed to a single pattern or image. The generated conditional samples are state of the art.


title: A simple example of the weak discontinuity of $f\mapsto \int \det \nabla f$

abstract: In this short note I construct a sequence of conformal diffeomorphisms $f_n$ from the $d$-dimensional unit ball to itself that converges weakly to a constant in $W^{1,d}$. This is a simpler example than the ones that commonly appear in the literature for the discontinuity of the functional $f\mapsto \int \det \nabla f$ in the weak $W^{1,d}$-topology, and shows that this discontinuity is not due to shear or failure of injectivity. It is also a minimizing sequence of the $W^{1,d}$ norm among functions of a given volume of the image.


title: Uniformly accurate methods for Vlasov equations with non-homogeneous strong magnetic field

abstract: In this paper, we consider the numerical solution of highly-oscillatory Vlasov and Vlasov-Poisson equations with non-homogeneous magnetic field. Designed in the spirit of recent uniformly accurate methods, our schemes remain insensitive to the stiffness of the problem, in terms of both accuracy and computational cost. The specific difficulty (and the resulting novelty of our approach) stems from the presence of a non-periodic oscillation, which necessitates a careful ad-hoc reformulation of the equations. Our results are illustrated numerically on several examples.


title: Nonreciprocal flexural dynamics of Dzyaloshinskii domain walls

abstract: We revisit the description of ferromagnetic domain wall dynamics through an extended one-dimensional model by allowing flexural distortions of the wall during its motion. This is taken into account by allowing the domain wall center and internal angle to be functions of position in the direction parallel to the wall. In the limit of small applied fields, this model accounts for the nonreciprocity in the propagation of wall modes and their stability in the presence of the Dzyaloshinskii-Moriya interaction and in-plane magnetic field.


title: McShane-type identities for quasifuchsian representations of nonorientable surfaces

abstract: We show that Norbury's McShane identity for nonorientable cusped hyperbolic surfaces N generalizes to quasifuchsian representations of pi_1(N) as well as pseudo-Anosov mapping Klein bottles with singular fibers given by N.


title: Iterative Sparse Asymptotic Minimum Variance Based Approaches for Array Processing

abstract: This paper presents a series of user parameter-free iterative Sparse Asymptotic Minimum Variance (SAMV) approaches for array processing applications based on the asymptotically minimum variance (AMV) criterion. With the assumption of abundant snapshots in the direction-of-arrival (DOA) estimation problem, the signal powers and noise variance are jointly estimated by the proposed iterative AMV approach, which is later proved to coincide with the Maximum Likelihood (ML) estimator. We then propose a series of power-based iterative SAMV approaches, which are robust against insufficient snapshots, coherent sources and arbitrary array geometries. Moreover, to overcome the direction grid limitation on the estimation accuracy, the SAMV-Stochastic ML (SAMV-SML) approaches are derived by explicitly minimizing a closed form stochastic ML cost function with respect to one scalar parameter, eliminating the need of any additional grid refinement techniques. To assist the performance evaluation, approximate solutions to the SAMV approaches are also provided at high signal-to-noise ratio (SNR) and low SNR, respectively. Finally, numerical examples are generated to compare the performance of the proposed approaches with existing approaches.


title: The onset of low Prandtl number thermal convection in thin spherical shells

abstract: This study considers the onset of stress-free Boussinesq thermal convection in rotating spherical shells with aspect ratio $\eta=r_i/r_o=0.9$ ($r_i$ and $r_o$ being the inner and outer radius), Prandtl numbers ${\rm Pr} \in[10^{-4},10^{-1}]$, and Taylor numbers ${\rm Ta}\in[10^{4},10^{12}]$. We are particularly interested in the form of the convective cell pattern that develops, and in its time scales, since this may have observational consequences. For a fixed ${\rm Ta}<10^{9}$ and by decreasing ${\rm Pr}$ from 0.1 to $10^{-4}$ a transition between spiralling columnar (SC) and equatorially-attached (EA) modes, and a transition between EA and equatorially antisymmetric or symmetric polar (AP/SP) weakly multicellular modes are found. The latter modes are preferred at very low ${\rm Pr}$. Surprisingly, for ${\rm Ta}>3\times 10^{9}$ the unicellular polar modes become also preferred at moderate ${\rm Pr}\sim10^{-2}$ because two new transition curves between EA and AP/SP and between AP/SP and SC modes are born at a triple-point bifurcation. The dependence on ${\rm Pr}$ and ${\rm Ta}$ of the transitions is studied to estimate the type of modes, and their critical parameters, preferred at different stellar regimes.


title: Experimentation With Fuzzy Interest Forwarding in Named Data Networking

abstract: In the current Named Data Networking implementation, forwarding a data request requires finding an exact match between the prefix of the name carried in the request and a forwarding table entry. However, consumers may not always know the exact naming, or an exact prefix, of their desired data. The current approach to this problem-establishing naming conventions and performing name lookup-can be infeasible in highly ad hoc, heterogeneous, and dynamic environments: the same data can be named using different terms or even languages, naming conventions may be minimal if they exist at all, and name lookups can be costly. In this paper, we present a fuzzy Interest forwarding approach that exploits semantic similarities between the names carried in Interest packets and the names of potentially matching data in CS and entries in FIB. We describe the fuzzy Interest forwarding approach, outline the semantic understanding function that determines the name matching, and present our simulation study along with extended evaluation results.


title: Partitions related to positive definite binary quadratic forms

abstract: The purpose of this paper is to present a collection of interesting generating functions for partitions which have connections to positive definite binary quadratic forms. In establishing our results we obtain some new Bailey pairs.


title: Mining Open Government Data Used in Scientific Research

abstract: In the following paper, we describe results from mining citations, mentions, and links to open government data (OGD) in peer-reviewed literature. We inductively develop a method for categorizing how OGD are used by different research communities, and provide descriptive statistics about the publication years, publication outlets, and OGD sources. Our results demonstrate that, 1. The use of OGD in research is steadily increasing from 2009 to 2016; 2. Researchers use OGD from 96 different open government data portals, with data.gov.uk and data.gov being the most frequent sources; and, 3.Contrary to previous findings, we provide evidence suggesting that OGD from developing nations, notably India and Kenya, are being frequently used to fuel scientific discoveries. The findings of this paper contribute to ongoing research agendas aimed at tracking the impact of open government data initiatives, and provides an initial description of how open government data are valuable to diverse scientific research communities.


title: A Multi-Frequency Study of the Milky Way-like Spiral Galaxy NGC 6744

abstract: We present a multi-frequency study of the intermediate spiral SAB(r)bc type galaxy NGC 6744, using available data from the Chandra X-Ray telescope, radio continuum data from the Australia Telescope Compact Array and Murchison Widefield Array, and Wide-field Infrared Survey Explorer infrared observations. We identify 117 X-ray sources and 280 radio sources. Of these, we find nine sources in common between the X-ray and radio catalogues, one of which is a faint central black hole with a bolometric radio luminosity similar to the Milky Way's central black hole. We classify 5 objects as supernova remnant candidates, 2 objects as likely supernova remnants, 17 as HII regions, 1 source as an AGN; the remaining 255 radio sources are categorised as background objects and one X-ray source is classified as a foreground star. We find the star-formation rate (SFR) of NGC 6744 to be in the range 2.8 - 4.7 $\rm{M_{\odot}~yr^{-1}}$ signifying the galaxy is still actively forming stars. The specific SFR of NGC 6744 is greater than that of late-type spirals such as the Milky Way, but considerably less that that of a typical starburst galaxy.


title: Hochschild and Simplicial Cohomology

abstract: We study a naturally occurring $E_{\infty}$-subalgebra of the full $E_2$-Hochschild cochain complex arising from coherent cochains. For group rings and certain category algebras, these cochains detect $H^*(B {\cal{C}})$, the simplicial cohomology of the classifying space of the underlying group or category, $\cal{C}$. In this setting the simplicial cup product of cochains on $B{\cal{C}}$ agrees with the Gerstenhaber product and Steenrod's cup-one product of cochains agrees with the pre-Lie product. We extend the idea of coherent cochains to algebras more general than category algebras and dub the resulting cochains autopoietic. Coefficients are from a commutative ring $k$ with unit, not necessarily a field.


title: Combining Satellite Imagery and Numerical Model Simulation to Estimate Ambient Air Pollution: An Ensemble Averaging Approach

abstract: Ambient fine particulate matter less than 2.5 $\mu$m in aerodynamic diameter (PM$_{2.5}$) has been linked to various adverse health outcomes and has, therefore, gained interest in public health. However, the sparsity of air quality monitors greatly restricts the spatio-temporal coverage of PM$_{2.5}$ measurements, limiting the accuracy of PM$_{2.5}$-related health studies. We develop a method to combine estimates for PM$_{2.5}$ using satellite-retrieved aerosol optical depth (AOD) and simulations from the Community Multiscale Air Quality (CMAQ) modeling system. While most previous methods utilize AOD or CMAQ separately, we aim to leverage advantages offered by both methods in terms of resolution and coverage by using Bayesian model averaging. In an application of estimating daily PM$_{2.5}$ in the Southeastern US, the ensemble approach outperforms statistical downscalers that use either AOD or CMAQ in cross-validation analyses. In addition to PM$_{2.5}$, our approach is also highly applicable for estimating other environmental risks that utilize information from both satellite imagery and numerical model simulation.


title: Haga's theorems in paper folding and related theorems in Wasan geometry Part 2

abstract: We generalize problems in Wasan geometry which involve no folded figures but are related to Haga's fold in origami. Using the tangent circles appeared in those problems we give a parametric representation of the generalized Haga's fold given in the first part of this two-part paper.


title: Hole Filling with Multiple Reference Views in DIBR View Synthesis

abstract: Depth-image-based rendering (DIBR) oriented view synthesis has been widely employed in the current depth-based 3D video systems by synthesizing a virtual view from an arbitrary viewpoint. However, holes may appear in the synthesized view due to disocclusion, thus significantly degrading the quality. Consequently, efforts have been made on developing effective and efficient hole filling algorithms. Current hole filling techniques generally extrapolate/interpolate the hole regions with the neighboring information based on an assumption that the texture pattern in the holes is similar to that of the neighboring background information. However, in many scenarios especially of complex texture, the assumption may not hold. In other words, hole filling techniques can only provide an estimation for a hole which may not be good enough or may even be erroneous considering a wide variety of complex scene of images. In this paper, we first examine the view interpolation with multiple reference views, demonstrating that the problem of emerging holes in a target virtual view can be greatly alleviated by making good use of other neighboring complementary views in addition to its two (commonly used) most neighboring primary views. The effects of using multiple views for view extrapolation in reducing holes are also investigated in this paper. In view of the 3D Video and ongoing free-viewpoint TV standardization, we propose a new view synthesis framework which employs multiple views to synthesize output virtual views. Furthermore, a scheme of selective warping of complementary views is developed by efficiently locating a small number of useful pixels in the complementary views for hole reduction, to avoid a full warping of additional complementary views thus lowering greatly the warping complexity.


title: Abstraction, Composition and Contracts: A Sheaf Theoretic Approach

abstract: Complex systems of systems (SoS) are characterized by multiple interconnected subsystems. Typically, each subsystem is designed and analyzed using methodologies and formalisms that are specific to the particular subsystem model of computation considered --- Petri nets, continuous time ODEs, nondeterministic automata, to name a few. When interconnecting subsystems, a designer needs to choose, based on the specific subsystems models, a common abstraction framework to analyze the composition. In this paper we introduce a new framework for abstraction, composition and analysis of SoS that builds on results and methods developed in sheaf theory, category theory and topos theory. In particular, we will be modeling behaviors of systems using sheaves, leverage category theoretic methods to define wiring diagrams and formalize composition and, by establishing a connection with topos theory, define a formal (intuitionistic/constructive) logic with a sound sheaf semantics


title: An optimal bound for the ratio between ordinary and uniform exponents of Diophantine approximation

abstract: We provide a lower bound for the ratio between the ordinary and uniform exponent of both simultaneous Diophantine approximation and Diophantine approximation by linear forms in any dimension. This lower bound was conjectured by Schmidt and Summerer and already shown in dimension $2$ and $3$. This lower bound is reached at regular systems presented in the context of parametric geometry of numbers, and thus optimal.


title: The Foldy-Lax Approximation for the Full Electromagnetic Scattering by Small Conductive Bodies of Arbitrary Shapes

abstract: We deal with the electromagnetic waves propagation in the harmonic regime. We derive the Foldy-Lax approximation of the scattered fields generated by a cluster of small conductive inhomogeneities arbitrarily distributed in a bounded domain $\Omega$ of $\mathbb{R}^3$. This approximation is valid under a sufficient but general condition on the number of such inhomogeneities $m$, their maximum radii $\epsilon$ and the minimum distances between them $\delta$, the form $$(\ln m)^{\frac{1}{3}}\frac{\epsilon}{\delta} \leq C,$$ where $C$ is a constant depending only on the Lipschitz characters of the scaled inhomogeneities. In addition, we provide explicit error estimates of this approximation in terms of aforementioned parameters, $m, \epsilon, \delta$ but also the used frequencies $k$ under the Rayleigh regime. Both the far-fields and the near-fields (stated at a distance $\delta$ to the cluster) are estimated. In particular, for a moderate number of small inhomogeneities $m$, the derived expansions are valid in the mesoscale regime where $\delta \sim \epsilon$. At the mathematical analysis level and based on integral equation methods, we prove a priori estimates of the densities in the $L^{2,Div}_t$ spaces instead of the usual $L^2$ spaces (which are not enough). A key point in such a proof is a derivation of a particular Helmholtz type decomposition of the densities. Those estimates allow to obtain the needed qualitative as well as quantitative estimates while refining the approximation. Finally, to prove the invertibility of the Foldy-Lax linear algebraic system, we reduce the coercivity inequality to the one related to the scalar Helmholtz model. As this linear algebraic system comes from the boundary conditions, such a reduction is not straightforward.


title: Generalized ordinary differential equations in metric spaces

abstract: The aim of this text is to extend the theory of generalized ordinary differential equations to the setting of metric spaces. We present existence and uniqueness theorems that significantly improve previous results even when restricted back to Euclidean spaces.


title: Realfast: Real-Time, Commensal Fast Transient Surveys with the Very Large Array

abstract: Radio interferometers have the ability to precisely localize and better characterize the properties of sources. This ability is having a powerful impact on the study of fast radio transients, where a few milliseconds of data is enough to pinpoint a source at cosmological distances. However, recording interferometric data at millisecond cadence produces a terabyte-per-hour data stream that strains networks, computing systems, and archives. This challenge mirrors that of other domains of science, where the science scope is limited by the computational architecture as much as the physical processes at play. Here, we present a solution to this problem in the context of radio transients: realfast, a commensal, fast transient search system at the Jansky Very Large Array. Realfast uses a novel architecture to distribute fast-sampled interferometric data to a 32-node, 64-GPU cluster for real-time imaging and transient detection. By detecting transients in situ, we can trigger the recording of data for those rare, brief instants when the event occurs and reduce the recorded data volume by a factor of 1000. This makes it possible to commensally search a data stream that would otherwise be impossible to record. This system will search for millisecond transients in more than 1000 hours of data per year, potentially localizing several Fast Radio Bursts, pulsars, and other sources of impulsive radio emission. We describe the science scope for realfast, the system design, expected outcomes, and ways real-time analysis can help in other fields of astrophysics.


title: Griffiths phase and symmetry breaking in the hidden-order phase of URu2Si2

abstract: The heavy-fermion compound URu2Si2 exhibits a hidden-order phase below the temperature, ~ 17.5 K. In spite of intense research for past three decades, no consensus on the order parameter exists and the nature has posed a long-standing mystery. Here we report the discovery of a Griffiths phase within the hidden-order phase, characterized by residual short-range correlations on the collapse of long-range orders due to the dilution effects. In the Griffiths phase scenario, strong evidence are provided for those cluster-like spins, such as the unique power-law behavior of magnetic susceptibility and specific heat as well as the frequency dispersion of AC susceptibility. In this way, the existence of an order parameter is excluded, and the hidden order has a significant kinship with the long-range large-moment antiferromagnetism which is accessible by tuning the hydrostatic pressure or the chemical pressure (i.e., isoelectronic Fe doping). Moreover, an unidirectional anisotropy of resistivity measurements in rotating magnetic fields is observed in the hidden-order phase. The anisotropic magnetoresistance and the associated broken symmetries directly reflect the freezing behavior of at least part of magnetic clusters. Thus, the demonstrations of the Griffiths phase as an alternative proposal for the hidden-order phase of URu2Si2 are very promising, challenging the understanding of exotic electronic states in correlated matter and quantum materials.


title: Automatic segmenting teeth in X-ray images: Trends, a novel data set, benchmarking and future perspectives

abstract: This review presents an in-depth study of the literature on segmentation methods applied in dental imaging. Ten segmentation methods were studied and categorized according to the type of the segmentation method (region-based, threshold-based, cluster-based, boundary-based or watershed-based), type of X-ray images used (intra-oral or extra-oral) and characteristics of the dataset used to evaluate the methods in the state-of-the-art works. We found that the literature has primarily focused on threshold-based segmentation methods (54%). 80% of the reviewed papers have used intra-oral X-ray images in their experiments, demonstrating preference to perform segmentation on images of already isolated parts of the teeth, rather than using extra-oral X-rays, which show tooth structure of the mouth and bones of the face. To fill a scientific gap in the field, a novel data set based on extra-oral X-ray images are proposed here. A statistical comparison of the results found with the 10 image segmentation methods over our proposed data set comprised of 1,500 images is also carried out, providing a more comprehensive source of performance assessment. Discussion on limitations of the methods conceived over the past year as well as future perspectives on exploiting learning-based segmentation methods to improve performance are also provided.


title: A Note on Intervals in the Hales-Jewett Theorem

abstract: The Hales-Jewett theorem for alphabet of size 3 states that whenever the Hales-Jewett cube [3]^n is r-coloured there is a monochromatic line (for n large). Conlon and Kamcev conjectured that, for any n, there is a 2-colouring of [3]^n for which there is no monochromatic line whose active coordinate set is an interval. In this note we disprove this conjecture.


title: Brane SUSY Breaking and the Gravitino Mass

abstract: Supergravity models with spontaneously broken supersymmetry have been widely investigated over the years, together with some notable non-linear limits. Although in these models the gravitino becomes naturally massive absorbing the degrees of freedom of a Nambu-Goldstone fermion, there are cases in which the naive counting of degrees of freedom does not apply, in particular because of the absence of explicit gravitino mass terms in unitary gauge. The corresponding models require non-trivial de Sitter-like backgrounds, and it becomes of interest to clarify the fate of their Nambu-Goldstone modes. We elaborate on the fact that these non-trivial backgrounds can accommodate, consistently, gravitino fields carrying a number of degrees of freedom that is intermediate between those of massless and massive fields in a flat spacetime. For instance, in a simple supergravity model of this type with de Sitter background, the overall degrees of freedom of gravitino are as many as for a massive spin-3/2 field in flat spacetime, while the gravitino remains massless in the sense that it undergoes null-cone propagation in the stereographic picture. On the other hand, in the ten-dimensional USp(32) Type I Sugimoto model with "brane SUSY breaking", which requires a more complicated background, the degrees of freedom of gravitino are half as many of those of a massive one, and yet it somehow behaves again as a massless one.


title: The geometry of generalized loxodromic elements

abstract: We explore geometric conditions which ensure a given element of a finitely generated group is, or fails to be, generalized loxodromic; as part of this we prove a generalization of Sisto's result that every generalized loxodromic element is Morse. We provide a sufficient geometric condition for an element of a small cancellation group to be generalized loxodromic in terms of the defining relations and provide a number of constructions which prove that this condition is sharp.


title: Formation of Super-Earths

abstract: Super-Earths are the most abundant planets known to date and are characterized by having sizes between that of Earth and Neptune, typical orbital periods of less than 100 days and gaseous envelopes that are often massive enough to significantly contribute to the planet's overall radius. Furthermore, super-Earths regularly appear in tightly-packed multiple-planet systems, but resonant configurations in such systems are rare. This chapters summarizes current super-Earth formation theories. It starts from the formation of rocky cores and subsequent accretion of gaseous envelopes. We follow the thermal evolution of newly formed super-Earths and discuss their atmospheric mass loss due to disk dispersal, photoevaporation, core-cooling and collisions. We conclude with a comparison of observations and theoretical predictions, highlighting that even super-Earths that appear as barren rocky cores today likely formed with primordial hydrogen and helium envelopes and discuss some paths forward for the future.


title: An experimental survey of the production of alpha decaying heavy elements in the reactions of $^{238}$U +$^{232}$Th at 7.5-6.1 MeV/nucleon

abstract: The production of alpha particle decaying heavy nuclei in reactions of 7.5-6.1 MeV/nucleon $^{238}$U +$^{232}$Th has been explored using an in-beam detection array composed of YAP scintillators and gas ionization chamber-Si telescopes. Comparisons of alpha energies and half-lives for the observed products with those of the previously known isotopes and with theoretically predicted values indicate the observation of a number of previously unreported alpha emitters. Alpha particle decay energies reaching as high as 12 MeV are observed. Many of these are expected to be from decay of previously unseen relatively neutron rich products. While the contributions of isomeric states require further exploration and specific isotope identifications need to be made, the production of heavy isotopes with quite high atomic numbers is suggested by the data.


title: Embedding graphs in Euclidean space

abstract: The dimension of a graph $G$ is the smallest $d$ for which its vertices can be embedded in $d$-dimensional Euclidean space in the sense that the distances between endpoints of edges equal $1$ (but there may be other unit distances). Answering a question of Erd\H{o}s and Simonovits [Ars Combin. 9 (1980) 229--246], we show that any graph with less than $\binom{d+2}{2}$ edges has dimension at most $d$. Improving their result, we prove that that the dimension of a graph with maximum degree $d$ is at most $d$. We show the following Ramsey result: if each edge of the complete graph on $2d$ vertices is coloured red or blue, then either the red graph or the blue graph can be embedded in Euclidean $d$-space. We also derive analogous results for embeddings of graphs into the $(d-1)$-dimensional sphere of radius $1/\sqrt{2}$.


title: Blow-up profiles for the parabolic-elliptic Keller-Segel system in dimensions $n\ge 3$

abstract: We study the blow-up asymptotics of radially decreasing solutions of the parabolic-elliptic Keller-Segel-Patlak system in space dimensions $n\ge 3$. In view of the biological background of this system and of its mass conservation property, blowup is usually interpreted as a phenomenon of concentration or aggregation of the bacterial population. Understanding the asymptotic behavior of solutions at the blowup time is thus meaningful for the interpretation of the model. Under mild assumptions on the initial data, for $n\ge 3$, we show that the final profile satisfies $C_1|x|^{-2}\le u(x,T)\le C_2|x|^{-2}$, with convergence in $L^1$ as $t\to T$. This is in sharp contrast with the two-dimensional case, where solutions are known to concentrate to a Dirac mass at the origin (plus an integrable part). We also obtain refined space-time estimates of the form $u(x,t)\le C(T-t+|x|^2)^{-1}$ for type~I blowup solutions. Previous work had shown that radial, self-similar blowup solutions (which satisfy the above estimates) exist in dimensions $n\ge 3$ and do not exist in dimension $2$. Our results thus reveal that the final profile displayed by these special solutions actually corresponds to a much more general phenomenon.


title: 2D nanoporous membrane for cation removal from water: effects of ionic valence, membrane hydrophobicity and pore size

abstract: Using molecular dynamic simulations we show that single-layers of molybdenum disulfide (MoS$_2$) and graphene can effectively reject ions and allow high water permeability. Solutions of water and three cations with different valence (Na$^+$, Zn$^{2+}$ and Fe$^{3+}$) were investigated in the presence of the two types of membranes and the results indicate a high dependence of the ion rejection on the cation charge. The associative characteristic of ferric chloride leads to a high rate of ion rejection by both nanopores, while the monovalent sodium chloride induces lower rejection rates. Particularly, MoS$_2$ shows 100\% of Fe$^{3+}$ rejection for all pore sizes and applied pressures. On the other hand, the water permeation did not varies with the cation valence, having dependence only with the nanopore geometric and chemical characteristic. This study helps to understand the fluid transport through nanoporous membrane, essential for the development of new technologies for pollutants removal from water.


title: Microwave-Activated Controlled-Z Gate for Fixed-Frequency Fluxonium Qubits

abstract: The superconducting fluxonium circuit is an artificial atom with a strongly anharmonic spectrum: when biased at a half flux quantum, the lowest qubit transition is an order of magnitude smaller in frequency than those to higher levels. Similar to conventional atomic systems, such a frequency separation between the computational and noncomputational subspaces allows independent optimizations of the qubit coherence and two-qubit interactions. Here we describe a controlled-Z gate for two fluxoniums connected either capacitively or inductively, with qubit transitions fixed near 500 MHz. The gate is activated by a microwave drive at a resonance involving the second excited state. We estimate intrinsic gate fidelities over 99.9% with gate times below 100 ns.


title: The structure of state transition graphs in hysteresis models with return point memory: I. General Theory

abstract: We consider the athermal quasi-static dynamics (AQS) of disordered systems driven by a slowly varying external field. Our interest is in an automaton description (AQS-A) that represents the AQS dynamics in terms of the graph of state transitions triggered by the driving field. A particular feature of these systems is return point memory (RPM), a tendency for the system to return to the same microstate upon cycling the field. It is known that the existence of three conditions, (1) a partial order on the set of configuration; (2) a no-passing property; and (3) an adiabatic response to monotonous driving fields, implies RPM. When periodically driven, such systems settle into a cyclic response after a transient of at most one period. However conditions (1)-(3) are only sufficient but not necessary. In fact, we show that the AQS dynamics naturally provides a more selective partial order which, due to its connection to hysteresis loops, is a natural choice for establishing RPM. This enables us to consider AQS-A exhibiting RPM without necessarily possessing the no-passing property. We call such automata $\ell$AQS-A and work out the structure of their state transition graphs. Our central finding is that RPM constrains the {\em intra-loop} structure of hysteresis loops, namely its hierarchical organization into sub loops, but not the {\em inter-loop} structure. We prove that the topology of the intra-loop structure has a natural representation in terms of an ordered tree and that the corresponding state transition graph is planar. On the other hand, the RPM property does not significantly restrict inter-loop transitions. A system exhibiting RPM and subject to periodic forcing can thus undergo a large number of transient cycles before settling into a periodic response. Such systems can even exhibit subharmonic response.

categories: cond-mat.dis-nn cond-mat.soft cond-mat.stat-mech math-ph math.MP


title: Relative Fourier transforms and expectations on coideal subalgebras

abstract: For an algebraic compact quantum group $H$ we establish a bijection between the set of right coideal $*$-subalgebras $A\to H$ and that of left module quotient $*$-coalgebras $H\to C$. It turns out that the inclusion $A\to H$ always splits as a map of right $A$-modules and right $H$-comodules, and the resulting expectation $E:H\to A$ is positive (and lifts to a positive map on the full $C^*$ completion on $H$) if and only if $A$ is invariant under the squared antipode of $H$. The proof proceeds by Tannaka-reconstructing the coalgebra $C$ corresponding to $A\to H$ by means of a fiber functor from $H$-equivariant $A$-modules to Hilbert spaces, while the characterization of those $A\to H$ which admit positive expectations makes use of a Fourier transform turning elements of $H$ into functions on $C$.


title: Tracking Noisy Targets: A Review of Recent Object Tracking Approaches

abstract: Visual object tracking is an important computer vision problem with numerous real-world applications including human-computer interaction, autonomous vehicles, robotics, motion-based recognition, video indexing, surveillance and security. In this paper, we aim to extensively review the latest trends and advances in the tracking algorithms and evaluate the robustness of trackers in the presence of noise. The first part of this work comprises a comprehensive survey of recently proposed tracking algorithms. We broadly categorize trackers into correlation filter based trackers and the others as non-correlation filter trackers. Each category is further classified into various types of trackers based on the architecture of the tracking mechanism. In the second part of this work, we experimentally evaluate tracking algorithms for robustness in the presence of additive white Gaussian noise. Multiple levels of additive noise are added to the Object Tracking Benchmark (OTB) 2015, and the precision and success rates of the tracking algorithms are evaluated. Some algorithms suffered more performance degradation than others, which brings to light a previously unexplored aspect of the tracking algorithms. The relative rank of the algorithms based on their performance on benchmark datasets may change in the presence of noise. Our study concludes that no single tracker is able to achieve the same efficiency in the presence of noise as under noise-free conditions; thus, there is a need to include a parameter for robustness to noise when evaluating newly proposed tracking algorithms.


title: Blockchain-Assisted Crowdsourced Energy Systems

abstract: Crowdsourcing relies on people's contributions to meet product- or system-level objectives. Crowdsourcing-based methods have been implemented in various cyber-physical systems and realtime markets. This paper explores a framework for Crowdsourced Energy Systems (CES), where small-scale energy generation or energy trading is crowdsourced from distributed energy resources, electric vehicles, and shapable loads. The merits/pillars of energy crowdsourcing are discussed. Then, an operational model for CESs in distribution networks with different types of crowdsourcees is proposed. The model yields a market equilibrium depicting traditional and distributed generator and load setpoints. Given these setpoints, crowdsourcing incentives are designed to steer crowdsourcees to the equilibrium. As the number of crowdsourcees and energy trading transactions scales up, a secure energy trading platform is required. To that end, the presented framework is integrated with a lightweight Blockchain implementation and smart contracts. Numerical tests are provided to showcase the overall implementation.


title: Determination of $s$- and $p$-wave $I=1/2$ $K\pi$ scattering amplitudes in $N_{\mathrm{f}}=2+1$ lattice QCD

abstract: The elastic $I=1/2$, $s$- and $p$-wave kaon-pion scattering amplitudes are calculated using a single ensemble of anisotropic lattice QCD gauge field configurations with $N_{\mathrm{f}} = 2+1$ flavors of dynamical Wilson-clover fermions at $m_{\pi} = 230\mathrm{MeV}$. A large spatial extent of $L = 3.7\mathrm{fm}$ enables a good energy resolution while partial wave mixing due to the reduced symmetries of the finite volume is treated explicitly.The $p$-wave amplitude is well described by a Breit-Wigner shape with parameters $m_{K^{*}}/m_{\pi} = 3.808(18)$ and $g^{\mathrm{BW}}_{K^{*}K\pi} = 5.33(20)$ which are insensitive to the inclusion of $d$-wave mixing and variation of the $s$-wave parametrization. An effective range description of the near-threshold $s$-wave amplitude yields $m_{\pi}a_0 = -0.353(25)$.


title: Convolutional Hashing for Automated Scene Matching

abstract: We present a powerful new loss function and training scheme for learning binary hash functions. In particular, we demonstrate our method by creating for the first time a neural network that outperforms state-of-the-art Haar wavelets and color layout descriptors at the task of automated scene matching. By accurately relating distance on the manifold of network outputs to distance in Hamming space, we achieve a 100-fold reduction in nontrivial false positive rate and significantly higher true positive rate. We expect our insights to provide large wins for hashing models applied to other information retrieval hashing tasks as well.


title: Learning to Match

abstract: Booking.com is a virtual two-sided marketplace where guests and accommodation providers are the two distinct stakeholders. They meet to satisfy their respective and different goals. Guests want to be able to choose accommodations from a huge and diverse inventory, fast and reliably within their requirements and constraints. Accommodation providers desire to reach a reliable and large market that maximizes their revenue. Finding the best accommodation for the guests, a problem typically addressed by the recommender systems community, and finding the best audience for the accommodation providers, are key pieces of a good platform. This work describes how Booking.com extends such approach, enabling the guests themselves to find the best accommodation by helping them to discover their needs and restrictions, what the market can actually offer, reinforcing good decisions, discouraging bad ones, etc. turning the platform into a decision process advisor, as opposed to a decision maker. Booking.com implements this idea with hundreds of Machine Learned Models, all of them validated through rigorous Randomized Controlled Experiments. We further elaborate on model types, techniques, methodological issues and challenges that we have faced.


title: The complex gamma-ray behaviour of the Radio Galaxy M87

abstract: Context.In recent years, non-blazar Active Galactic Nuclei (AGN) such as Radio Galaxies have emerged as a highly instructive source class providing unique insights into high energy acceleration and radiation mechanisms. Aims.Here we aim at a detailed characterization of the high-energy (HE;>100 MeV) gamma-ray emission from the prominent radio galaxy M87. Methods.We analyze 8 years of Fermi-LAT data and derive the spectral energy distribution between 100 MeV and 300 GeV. We extract lightcurves and investigate the variability behaviour for the entire energy range as well as below and above 10 GeV. Results.Our analysis provides (i)evidence for HE gamma-ray flux variability and (ii)indications for a possible excess over the standard power-law model above Eb~10 GeV, similar to the earlier indications in the case of Cen A. When viewed in HE-VHE context, this is most naturally explained by an additional component dominating the highest-energy part of the spectrum. Investigation of the gamma-ray lightcurves suggests that the lower-energy (<10 GeV) component is variable on timescales of (at least) a few months. The statistics of the high energy component (>10 GeV) does not allow significant constraints on variability. We find indications, however, for spectral changes with time that support variability of the putative additional component and seem to favor jet-related scenarios for its origin capable of accommodating month-type variability. Conclusions.The current findings suggest that both the high-energy (> Eb) and the very high energy (VHE;>100 GeV) emission in M87 are compatible with originating from the same physical component. The variability behaviour at VHE then allows further constraints on the location and the nature of the second component. In particular, these considerations suggest that the VHE emission during the quiescent state originates in a similar region as during the flare.


title: Kinematic N-expansive flows

abstract: In light of the rich results of expansiveness in the dynamics of diffeomorphisms, it is natural to consider another notions of expansiveness such as countably-expansive, measure expansive, $N$-expansive and so on. In this paper, we introduce the notion of $N$-expansiveness for flows on a $C^{\infty}$ compact connected Riemannian manifold by using the kinematic expansiveness which is extension of the $N$-expansive diffeomorphisms. And we prove that a vector field $X$ on $M$ is $C^1$ robustly kinematic $N$-expansive then $X$ satisfies quasi-Anosov. Furthermore, we consider the hyperbolicity of local dynamical systems with kinematic $N$-expansiveness.


title: Optimized Bacteria are Environmental Prediction Engines

abstract: Experimentalists have observed phenotypic variability in isogenic bacteria populations. We explore the hypothesis that in fluctuating environments this variability is tuned to maximize a bacterium's expected log growth rate, potentially aided by epigenetic markers that store information about past environments. We show that, in a complex, memoryful environment, the maximal expected log growth rate is linear in the instantaneous predictive information---the mutual information between a bacterium's epigenetic markers and future environmental states. Hence, under resource constraints, optimal epigenetic markers are causal states---the minimal sufficient statistics for prediction. This is the minimal amount of information about the past needed to predict the future as well as possible. We suggest new theoretical investigations into and new experiments on bacteria phenotypic bet-hedging in fluctuating complex environments.

categories: q-bio.PE cond-mat.stat-mech cs.IT math.IT nlin.AO


title: Effects of Fano resonance on optical chirality of planar plasmonic nanodevices

abstract: The effects of Fano resonance on the optical chirality of planar plasmonic nanodevices in the visible wavelength range are experimentally observed and theoretically explained. The nanodevice consists of a nanodisk at the center with six gold nanorods with an orientation angle to exhibit optical chirality under dark-field illumination. The chiral response induced by the gold nanorods are affected by the presence of the nanodisk with different diameters which causes Fano resonance. An intriguing change to the opposite selection preference of different handedness of the circularly polarized light has been clearly observed experimentally. This change of the preference is understood based on the extended coupled oscillator model. Moreover, electrostatic analysis and the time-dependent simulations provide a further understanding of the phenomenon. The observed and understood effects of Fano resonance on optical chirality enables effective manipulation of chiral characteristics of planar subwavelength nanodevices.


title: Accelerating CALYPSO Structure Prediction by Data-driven Learning of Potential Energy Surface

abstract: Ab initio structure prediction methods have been nowadays widely used as powerful tools for structure searches and material discovery. However, they are generally restricted to small systems owing to the heavy computational cost of underlying density functional theory (DFT) calculations. In this work, by combining state-of-art machine learning (ML) potential with our in-house developed CALYPSO structure prediction method, we developed two acceleration schemes for structure prediction toward large systems, in which ML potential is pre-constructed to fully replace DFT calculations or trained in an on-the-fly manner from scratch during the structure searches. The developed schemes have been applied to medium- and large-sized boron clusters, which are challenging cases for both construction of ML potentials and extensive structure searches. Experimental structures of B36 and B40 clusters can be readily reproduced, and the putative global minimum structure for B84 cluster is proposed, where substantially less computational cost by several orders of magnitude is evident if compared with full DFT-based structure searches. Our results demonstrate a viable route for structure prediction toward large systems via the combination of state-of-art structure prediction methods and ML techniques.


title: Zero Forcing in Claw-Free Cubic Graphs

abstract: The zero forcing number of a simple graph, written $Z(G)$, is a NP-hard graph invariant which is the result of the zero forcing color change rule. This graph invariant has been heavily studied by linear algebraists, physicists, and graph theorist. It's broad applicability and interesting combinatorial properties have attracted the attention of many researchers. Of particular interest, is that of bounding the zero forcing number from above. In this paper we show a surprising relation between the zero forcing number of a graph and the independence number of a graph, denoted $\alpha(G)$. Our main theorem states that if $G \ne K_4$ is a connected, cubic, claw-free graph, then $Z(G) \le \alpha(G) + 1$. This improves on best known upper bounds for $Z(G)$, as well as known lower bounds on $\alpha(G)$. As a consequence of this result, if $G \ne K_4$ is a connected, cubic, claw-free graph with order $n$, then $Z(G) \le \frac{2}{5}n + 1$. Additionally, under the hypothesis of our main theorem, we further show $Z(G) \le \alpha'(G)$, where $\alpha'(G)$ denotes the matching number of $G$.


title: Understanding Chatbot-mediated Task Management

abstract: Effective task management is essential to successful team collaboration. While the past decade has seen considerable innovation in systems that track and manage group tasks, these innovations have typically been outside of the principal communication channels: email, instant messenger, and group chat. Teams formulate, discuss, refine, assign, and track the progress of their collaborative tasks over electronic communication channels, yet they must leave these channels to update their task-tracking tools, creating a source of friction and inefficiency. To address this problem, we explore how bots might be used to mediate task management for individuals and teams. We deploy a prototype bot to eight different teams of information workers to help them create, assign, and keep track of tasks, all within their main communication channel. We derived seven insights for the design of future bots for coordinating work.


title: The Effect of IoT New Features on Security and Privacy: New Threats, Existing Solutions, and Challenges Yet to Be Solved

abstract: The future of Internet of Things (IoT) is already upon us. IoT applications have been widely used in many field of social production and social living such as healthcare, energy and industrial automation. While enjoying the convenience and efficiency that IoT brings to us, new threats from IoT also have emerged. There are increasing research works to ease these threats, but many problems remain open. To better understand the essential reasons of new threats and the challenges in current research, this survey first proposes the concept of "IoT features". Then, the security and privacy effects of eight IoT new features were discussed including the threats they cause, existing solutions and challenges yet to be solved. To help researchers follow the up-to-date works in this field, this paper finally illustrates the developing trend of IoT security research and reveals how IoT features affect existing security research by investigating most existing research works related to IoT security from 2013 to 2017.


title: Tunable Electronic Structure and Surface States in Rare Earth Mono-Bismuthides with Partially Filled f Shell

abstract: Here we report the evolution of bulk band structure and surface states in rare earth mono-bismuthides with partially filled f shell. Utilizing synchrotron-based photoemission spectroscopy, we determined the three-dimensional bulk band structure and identified the bulk band inversions near the X points, which, according to the topological theory, could give rise to nontrivial band topology with odd number of gapless topological surface states. Near the surface Gamma bar point, no clear evidence for predicted gapless topological surface state is observed due to its strong hybridization with the bulk bands. Near the M bar point, the two surface states, due to projections from two inequivalent bulk band inversions, interact and give rise to two peculiar sets of gapped surface states. The bulk band inversions and corresponding surface states can be tuned substantially by varying rare earth elements, in good agreement with density-functional theory calculations assuming local f electrons. Our study therefore establishes rare earth mono-bismuthides as an interesting class of materials possessing tunable electronic properties and magnetism, providing a promising platform to search for novel properties in potentially correlated topological materials.