title: Spike and slab empirical Bayes sparse credible sets

abstract: In the sparse normal means model, coverage of adaptive Bayesian posterior credible sets associated to spike and slab prior distributions is considered. The key sparsity hyperparameter is calibrated via marginal maximum likelihood empirical Bayes. First, adaptive posterior contraction rates are derived with respect to $d_q$--type--distances for $q\leq 2$. Next, under a type of so-called excessive-bias conditions, credible sets are constructed that have coverage of the true parameter at prescribed $1-\alpha$ confidence level and at the same time are of optimal diameter. We also prove that the previous conditions cannot be significantly weakened from the minimax perspective.


title: Homological stability for Artin monoids

abstract: We prove that certain sequences of Artin monoids containing the braid monoid as a submonoid satisfy homological stability. When the $K(\pi,1)$ conjecture holds for the associated family of Artin groups this establishes homological stability for these groups. In particular, this recovers and extends Arnol'd's proof of stability for the Artin groups of type $A$, $B$ and $D$.


title: Near-threshold bound states of the dipole-dipole interaction

abstract: We study the two-body bound states of a model Hamiltonian that describes the interaction between two field-oriented dipole moments. This model has been used extensively in many-body physics of ultracold polar molecules and magnetic atoms, but its few-body physics has been explored less fully. With a hard-wall short-range boundary condition, the dipole-dipole bound states are universal and exhibit a complicated pattern of avoided crossings between states of different character. For more realistic Lennard-Jones short-range interactions, we consider parameters representative of magnetic atoms and polar molecules. For magnetic atoms, the bound states are dominated by the Lennard-Jones potential, and the perturbative dipole-dipole interaction is suppressed by the special structure of van der Waals bound states. For polar molecules, we find a dense manifold of dipole-dipole bound states with many avoided crossings as a function of induced dipole or applied field, similar to those for hard-wall boundary conditions. This universal pattern of states may be observable spectroscopically for pairs of ultracold polar molecules.


title: Mapping Text to Knowledge Graph Entities using Multi-Sense LSTMs

abstract: This paper addresses the problem of mapping natural language text to knowledge base entities. The mapping process is approached as a composition of a phrase or a sentence into a point in a multi-dimensional entity space obtained from a knowledge graph. The compositional model is an LSTM equipped with a dynamic disambiguation mechanism on the input word embeddings (a Multi-Sense LSTM), addressing polysemy issues. Further, the knowledge base space is prepared by collecting random walks from a graph enhanced with textual features, which act as a set of semantic bridges between text and knowledge base entities. The ideas of this work are demonstrated on large-scale text-to-entity mapping and entity classification tasks, with state of the art results.


title: Measuring Coverage of Prolog Programs Using Mutation Testing

abstract: Testing is an important aspect in professional software development, both to avoid and identify bugs as well as to increase maintainability. However, increasing the number of tests beyond a reasonable amount hinders development progress. To decide on the completeness of a test suite, many approaches to assert test coverage have been suggested. Yet, frameworks for logic programs remain scarce. In this paper, we introduce a framework for Prolog programs measuring test coverage using mutations. We elaborate the main ideas of mutation testing and transfer them to logic programs. To do so, we discuss the usefulness of different mutations in the context of Prolog and empirically evaluate them in a new mutation testing framework on different examples.


title: Remarks on Kato's Euler systems for elliptic curves with additive reduction

abstract: Extending the former work for the good reduction case, we provide a numerical criterion to verify a large portion of the "Iwasawa main conjecture without $p$-adic $L$-functions" for elliptic curves with additive reduction at an odd prime $p$ over the cyclotomic $\mathbb{Z}_p$-extension. We also deduce the corresponding $p$-part of the Birch and Swinnerton-Dyer formula for elliptic curves of rank zero from the same numerical criterion. We give explicit examples at the end and specify our choice of Kato's Euler system in the appendix.


title: Dynamical generation of neutrino mass scales

abstract: In this letter we present a simple scenario where the mass scales associated to atmospheric and solar neutrino oscillations are obtained through the dynamical generation of neutrino masses. The main idea is that the two different scales are the result of two independent mechanisms, namely a type-I seesaw generating the atmospheric scale and a radiative 1-loop process providing the solar one. A relation of the two scales, reminiscent of the so-called sequential dominance, is thus obtained.


title: Conformal Higher-Spin Gravity: Linearized Spectrum = Symmetry Algebra

abstract: The linearized spectrum and the algebra of global symmetries of conformal higher-spin gravity decompose into infinitely many representations of the conformal algebra. Their characters involve divergent sums over spins. We propose a suitable regularization adapted to their evaluation and observe that their characters are actually equal. This result holds in the case of type-A and type-B (and their higher-depth generalizations) theories and confirms previous observations on a remarkable rearrangement of dynamical degrees of freedom in conformal higher-spin gravity after regularization.


title: Probing the dynamical system and thermal behaviours of the model, $\Lambda_0+3 \beta H^2.$

abstract: In this work we study the cosmological evolution of a two component model with non-relativistic dark matter and decaying vacuum of the form $\Lambda = \Lambda_0 + 3 \beta H^2.$ We contrast the model the model with the supernovae data and found that the model parameter $\beta=-0.010$ when the interaction parameter is zero and is $\beta=-0.002$ when $b=0.001.$ The thermal evolution study of the model indicates that it obeys the generalized second of entropy and also satisfies the convexity condition, $\ddot S <0$ so that the model behaves like an ordinary macroscopic system which approaching a stable equilibrium thermal state is the asymptotic condition. The dynamical system analysis reveals that, the model posses a prior decelerated epoch represented by a saddle critical point and the late critical point represents an accelerating epoch which posses a convergence of phase-space trajectories form both the regions of the point hence can be considered as stable.


title: Adaptive Tuning Of Hamiltonian Monte Carlo Within Sequential Monte Carlo

abstract: Sequential Monte Carlo (SMC) samplers form an attractive alternative to MCMC for Bayesian computation. However, their performance depends strongly on the Markov kernels used to rejuvenate particles. We discuss how to calibrate automatically (using the current particles) Hamiltonian Monte Carlo kernels within SMC. To do so, we build upon the adaptive SMC approach of Fearnhead and Taylor (2013), and we also suggest alternative methods. We illustrate the advantages of using HMC kernels within an SMC sampler via an extensive numerical study.


title: Measuring network resilience through connection patterns

abstract: Networks are at the core of modeling many engineering contexts, mainly in the case of infrastructures and communication systems. The resilience of a network, which is the property of the system capable of absorbing external shocks, is then of paramount relevance in the applications. This paper deals with this topic by advancing a theoretical proposal for measuring the resilience of a network. The proposal is based on the study of the shocks propagation along the patterns of connections among nodes. The theoretical model is tested on the real-world instances of two important airport systems in the US air traffic network; Illinois (including the hub of Chicago) and New York states (with JFK airport).


title: An Exact Upper Bound on the $L^p$ Lebesgue Constant and The $\infty$-R\'enyi Entropy Power Inequality for Integer Valued Random Variables

abstract: In this paper, we proved an exact asymptotically sharp upper bound of the $L^p$ Lebesgue Constant (i.e. the $L^p$ norm of Dirichlet kernel) for $p\ge 2$. As an application, we also verified the implication of a new $\infty $-R\'enyi entropy power inequality for integer valued random variables.


title: Revisiting the Importance of Encoding Logic Rules in Sentiment Classification

abstract: We analyze the performance of different sentiment classification models on syntactically complex inputs like A-but-B sentences. The first contribution of this analysis addresses reproducible research: to meaningfully compare different models, their accuracies must be averaged over far more random seeds than what has traditionally been reported. With proper averaging in place, we notice that the distillation model described in arXiv:1603.06318v4 [cs.LG], which incorporates explicit logic rules for sentiment classification, is ineffective. In contrast, using contextualized ELMo embeddings (arXiv:1802.05365v2 [cs.CL]) instead of logic rules yields significantly better performance. Additionally, we provide analysis and visualizations that demonstrate ELMo's ability to implicitly learn logic rules. Finally, a crowdsourced analysis reveals how ELMo outperforms baseline models even on sentences with ambiguous sentiment labels.


title: Sterile Neutrino Shortcuts in Asymmetrically Warped Extra Dimensions

abstract: Light sterile neutrinos are a popular extension of the Standard Model and are being discussed as a possible explanation for various neutrino oscillation anomalies, including the LSND, MiniBooNE, Reactor and Gallium anomalies. In order to avoid inconsistencies with constraints derived from disappearance experiments and cosmology, altered dispersion relations - which may originate from extra dimensions - have been proposed as a possible solution, dubbed as "neutrino shortcuts in the extra dimension". In this paper we develop a neutrino mass model with an asymmetrically warped extra dimension and two additional gauge singlet neutrinos, one being responsible for neutrino mass generation, while the other one is allowed to propagate in the extra dimension, giving rise to the desired change of the dispersion relation on the brane. By compactifying the extra-dimensional theory on an $S^1/\mathbb{Z}_2$ orbifold, deriving the shape of the Kaluza-Klein tower and identifying the effective sterile neutrino dispersion relation on the brane, we can demonstrate that the earlier, phenomenological models are recovered as the 4-dimensional effective field theory limit of the model discussed here.


title: Directed unions of local monoidal transforms and GCD domains

abstract: Let $(R, \mathfrak{m})$ be a regular local ring of dimension $d \geq 2$. A local monoidal transform of $R$ is a ring of the form $R_1= R[\frac{\mathfrak{p}}{x}]_{\mathfrak{m}_1}$ where $x \in \mathfrak{p}$ is a regular parameter, $\mathfrak{p}$ is a regular prime ideal of $R$ and $ \mathfrak{m}_1 $ is a maximal ideal of $ R[\frac{\mathfrak{p}}{x}] $ lying over $ \mathfrak{m}. $ In this article we study some features of the rings $ S= \cup_{n \geq 0}^{\infty} R_n $ obtained as infinite directed union of iterated local monoidal transforms of $R$. In order to study when these rings are GCD domains, we also provide results in the more general setting of directed unions of GCD domains.


title: The ballistic annihilation threshold is positive

abstract: In the ballistic annihilation process, particles on the real line have independent speeds symmetrically distributed in $\{-1,0,+1\}$ and are annihilated by collisions. It is widely believed that there is a phase transition at $p=p_{\mathrm c}=0.25$ between regimes where every particle is eventually annihilated and where some particles survive forever, where $p$ is the proportion of stationary particles. It is easy to see that some particles survive if $p>0.5$, and rigorous proofs giving better upper bounds on $p_{\mathrm c}$ have recently appeared. However, no nontrivial lower bound on $p_{\mathrm c}$ was previously known. We prove that $p_{\mathrm c}\geq 0.21699$, and give a comparable bound for a discretised version.


title: Asymmetric linkages: maxmin vs. reflected maxmin copulas

abstract: In this paper we introduce some new copulas emerging from shock models. It was shown earlier that reflected maxmin copulas (RMM for short) are not just some specific singular copulas; they contain many important absolutely continuous copulas including the negative quadrant dependent part of the Eyraud-Farlie-Gumbel-Morgenstern class. The main goal of this paper is to develop the RMM copulas with dependent endogenous shocks and give evidence that RMM copulas may exhibit some characteristics better than the original maxmin copulas (MM for short): (1) An important evidence for that is the iteration procedure of the RMM transformation which we prove to be always convergent and we give many properties of it that are useful in applications. (2) Using this result we find also the limit of the iteration procedure of the MM transformation thus answering a question proposed earlier by Durante, Omladi\v{c}, Ora\v{z}em, and Ru\v{z}i\'{c}. (3) We give the multivariate dependent RMM copula that compares to the MM version given by Durante, Omladi\v{c}, Ora\v{z}em, and Ru\v{z}i\'{c}. In all our copulas the idiosyncratic and systemic shocks are combined via asymmetric linking functions as opposed to Marshall copulas where symmetric linking functions are used.


title: On the Limiting Absorption Principle at zero energy for a new class of possibly non self-adjoint Schr{\"o}dinger operators

abstract: We recall a Moure theory adapted to non self-adjoint operators and we apply this theory to Schr{\"o}dinger operators with non real potentials, using different type of conjugate operators. We show that some conjugate operators permits to relax conditions on the derivatives of the potential that were required up to now.


title: Diversity-Driven Selection of Exploration Strategies in Multi-Armed Bandits

abstract: We consider a scenario where an agent has multiple available strategies to explore an unknown environment. For each new interaction with the environment, the agent must select which exploration strategy to use. We provide a new strategy-agnostic method that treat the situation as a Multi-Armed Bandits problem where the reward signal is the diversity of effects that each strategy produces. We test the method empirically on a simulated planar robotic arm, and establish that the method is both able discriminate between strategies of dissimilar quality, even when the differences are tenuous, and that the resulting performance is competitive with the best fixed mixture of strategies.


title: Model Building of Metal Oxide Surfaces and Vibronic Coupling Density as a Reactivity Index: Regioselectivity of CO$_2$ Adsorption on Ag-loaded Ga$_2$O$_3$

abstract: The step-by-step hydrogen-terminated (SSHT) model is proposed as a model for the surfaces of metal oxides. Using this model, it is found that the vibronic coupling density (VCD) can be employed as a reactivity index for surface reactions. As an example, the regioselectivity of CO$_2$ adsorption on the Ag-loaded Ga$_2$O$_3$ photocatalyst surface is investigated based on VCD analysis. The cluster model constructed by the SSHT approach reasonably reflects the electronic structures of the Ga$_2$O$_3$ surface. The geometry of CO$_2$ adsorbed on the Ag-loaded Ga$_2$O$_3$ cluster has a bent structure, which is favorable for its photocatalytic reduction to CO.


title: Quantum chaos, thermalization and tunneling in an exactly solvable few body system

abstract: Exactly solvable models that exhibit quantum signatures of classical chaos are both rare as well as important - more so in view of the fact that the mechanisms for ergodic behavior and thermalization in isolated quantum systems and its connections to non-integrability are under active investigation. In this work, we study quantum systems of few qubits collectively modeled as a kicked top, a textbook example of quantum chaos. In particular, we show that the 3 and 4 qubit cases are exactly solvable and yet, interestingly, can display signatures of ergodicity and thermalization. Deriving analytical expressions for entanglement entropy and concurrence, we see agreement in certain parameter regimes between long-time average values and ensemble averages of random states with permutation symmetry. Comparing with results using the data of a recent transmons based experiment realizing the 3-qubit case, we find agreement for short times, including a peculiar step-like behaviour in correlations of some states. In the case of 4-qubits we point to a precursor of dynamical tunneling between what in the classical limit would be two stable islands. Numerical results for larger number of qubits show the emergence of the classical limit including signatures of a bifurcation.


title: Quenched Kitaev Chain: Analogous model of Gravitational Collapse

abstract: We investigate generalized thermalization in an isolated free Fermionic chain evolving from an out of equilibrium initial state through a sudden quench. We consider the quench where a Fermionic chain is broken into two disjoint chains. We focus on the evolution of the local observables namely, occupation number, nearest neighbor hopping, information sharing and out-of-time-order correlations after the quench and study the relaxation of the observable, leading to generalized Gibbs ensemble for the system in the thermodynamic limit though it has been argued that non-interacting or free Fermionic models in general do not relax to GGE. We obtain the light cone formed by the evolution of the observables along the Fermionic lattice chain due to the sudden quench which abides by the Lieb-Robinson bound in quantum systems. We also analytically study a simpler model which captures the essential features of the system. Our analysis strongly suggests that the internal interactions within the system do not remain of much importance once the quench is sufficiently strong.

categories: cond-mat.quant-gas cond-mat.stat-mech gr-qc hep-th quant-ph


title: Weighted ultrafast diffusion equations: from well-posedness to long-time behaviour

abstract: In this paper we devote our attention to a class of weighted ultrafast diffusion equations arising from the problem of quantisation for probability measures. These equations have a natural gradient flow structure in the space of probability measures endowed with the quadratic Wasserstein distance. Exploiting this structure, in particular through the so-called JKO scheme, we introduce a notion of weak solutions, prove existence, uniqueness, BV and H^1 estimates, L^1 weighted contractivity, Harnack inequalities, and exponential convergence to a steady state.


title: Learning Timed Automata via Genetic Programming

abstract: Model learning has gained increasing interest in recent years. It derives behavioural models from test data of black-box systems. The main advantage offered by such techniques is that they enable model-based analysis without access to the internals of a system. Applications range from fully automated testing over model checking to system understanding. Current work focuses on learning variations of finite state machines. However, most techniques consider discrete time. In this paper, we present a method for learning timed automata, finite state machines extended with real-valued clocks. The learning method generates a model consistent with a set of timed traces collected by testing. This generation is based on genetic programming, a search-based technique for automatic program creation. We evaluate our approach on 44 timed systems, comprising four systems from the literature and 40 randomly generated examples.


title: On Hamiltonian stable Lagrangian tori in complex hyperbolic spaces

abstract: In this paper, we investigate the Hamiltonian-stability of Lagrangian tori in the complex hyperbolic space $\mathbb{C}H^n$. We consider a standard Hamiltonian $T^n$-action on $\mathbb{C}H^n$, and show that every Lagrangian $T^n$-orbits in $\mathbb{C}H^n$ is H-stable when $n\leq 2$ and there exist infinitely many H-unstable $T^n$-orbits when $n\geq 3$. On the other hand, we prove a monotone $T^n$-orbit in $\mathbb{C}H^n$ is H-stable and rigid for any $n$. Moreover, we see almost all Lagrangian $T^n$-orbits in $\mathbb{C}H^n$ are not Hamiltonian volume minimizing when $n\geq 3$ as well as the case of $\mathbb{C}^n$ and $\mathbb{C}P^n$.


title: Segmentation of Bleeding Regions in Wireless Capsule Endoscopy for Detection of Informative Frames

abstract: Wireless capsule endoscopy (WCE) is an effective mean for diagnosis of gastrointestinal disorders. Detection of informative scenes in WCE video could reduce the length of transmitted videos and help the diagnosis procedure. In this paper, we investigate the problem of simplification of neural networks for automatic bleeding region detection inside capsule endoscopy device. Suitable color channels are selected as neural networks inputs, and image classification is conducted using a multi-layer perceptron (MLP) and a convolutional neural network (CNN) separately. Both CNN and MLP structures are simplified to reduce the number of computational operations. Performances of two simplified networks are evaluated on a WCE bleeding image dataset using the DICE score. Simulation results show that applying simplification methods on both MLP and CNN structures reduces the number of computational operations significantly with AUC greater than 0.97. Although CNN performs better in comparison with simplified MLP, the simplified MLP segments bleeding regions with a significantly smaller number of computational operations. Concerning the importance of having a simple structure or a more accurate model, each of the designed structures could be selected for inside capsule implementation.


title: On the Diversity of Uncoded OTFS Modulation in Doubly-Dispersive Channels

abstract: Orthogonal time frequency space (OTFS) is a 2-dimensional (2D) modulation technique designed in the delay-Doppler domain. A key premise behind OTFS is the transformation of a time varying multipath channel into an almost non-fading 2D channel in delay-Doppler domain such that all symbols in a transmission frame experience the same channel gain. It has been suggested in the recent literature that OTFS can extract full diversity in the delay-Doppler domain, where full diversity refers to the number of multipath components separable in either the delay or Doppler dimension, but without a formal analysis. In this paper, we present a formal analysis of the diversity achieved by OTFS modulation along with supporting simulations. Specifically, we prove that the asymptotic diversity order of OTFS (as SNR $\rightarrow \infty$) is one. However, in the finite SNR regime, potential for a higher order diversity is witnessed before the diversity one regime takes over. Also, the diversity one regime starts at lower BER values for increased frame sizes. We also propose a phase rotation scheme for OTFS using transcendental numbers. We show that OTFS with this proposed scheme extracts the full diversity in the delay-Doppler domain.


title: Bivariate Discrete Inverse Weibull Distribution

abstract: In this paper, we propose a new class of bivariate distributions, called the bivariate discrete inverse Weibull (BDsIW) distribution, whose marginals are discrete inverse Weibull (DsIW) distributions. Some statistical and mathematical properties are presented. The maximum likelihood method is used for estimating the model parameters. Simulations are presented to verify the performance of the direct maximum likelihood estimation. Finally, two real data sets are analyzed for illustrative purposes.


title: A Smooth Inexact Penalty Reformulation of Convex Problems with Linear Constraints

abstract: In this work, we consider a constrained convex problem with linear inequalities and provide an inexact penalty re-formulation of the problem. The novelty is in the choice of the penalty functions, which are smooth and can induce a non-zero penalty over some points in feasible region of the original constrained problem. The resulting unconstrained penalized problem is parametrized by two penalty parameters which control the slope and the curvature of the penalty function. With a suitable selection of these penalty parameters, we show that the solutions of the resulting penalized unconstrained problem are \emph{feasible} for the original constrained problem, under some assumptions. Also, we establish that, with suitable choices of penalty parameters, the solutions of the penalized unconstrained problem can achieve a suboptimal value which is arbitrarily close to the optimal value of the original constrained problem. For the problems with a large number of linear inequality constraints, a particular advantage of such a smooth penalty-based reformulation is that it renders a penalized problem suitable for the implementation of fast incremental gradient methods, which require only one sample from the inequality constraints at each iteration. We consider applying SAGA proposed in \cite{saga} to solve the resulting penalized unconstrained problem. Moreover, we propose an alternative approach to set up the penalized problem. This approach is based on the time-varying penalty parameters and, thus, does not require knowledge about some problem-specific properties, that might be difficult to estimate. We prove that the single-loop full gradient-based algorithm applied to the corresponding time-varying penalized problem converges to the solution of the original constrained problem in the case of the strongly convex objective function.


title: Optimal Input Placement in Lattice Graphs

abstract: The control of dynamical, networked systems continues to receive much attention across the engineering and scientific research fields. Of particular interest is the proper way to determine which nodes of the network should receive external control inputs in order to effectively and efficiently control portions of the network. Published methods to accomplish this task either find a minimal set of driver nodes to guarantee controllability or a larger set of driver nodes which optimizes some control metric. Here, we investigate the control of lattice systems which provides analytical insight into the relationship between network structure and controllability. First we derive a closed form expression for the individual elements of the controllability Gramian of infinite lattice systems. Second, we focus on nearest neighbor lattices for which the distance between nodes appears in the expression for the controllability Gramian. We show that common control energy metrics scale exponentially with respect to the maximum distance between a driver node and a target node.


title: On the resummation of series of fuzzy numbers via generalized Dirichlet and generalized factorial series

abstract: We introduce semicontinuous summation methods for series of fuzzy numbers and give Tauberian conditions under which summation of a series of fuzzy numbers via generalized Dirichlet series and via generalized factorial series implies its convergence. Besides, we define the concept of level Fourier series of fuzzy valued functions and obtain results concerning the summation of level Fourier series.


title: Prediction of Reynolds Stresses in High-Mach-Number Turbulent Boundary Layers using Physics-Informed Machine Learning

abstract: Modeled Reynolds stress is a major source of model-form uncertainties in Reynolds-averaged Navier-Stokes (RANS) simulations. Recently, a physics-informed machine-learning (PIML) approach has been proposed for reconstructing the discrepancies in RANS-modeled Reynolds stresses. The merits of the PIML framework has been demonstrated in several canonical incompressible flows. However, its performance on high-Mach-number flows is still not clear. In this work we use the PIML approach to predict the discrepancies in RANS modeled Reynolds stresses in high-Mach-number flat-plate turbulent boundary layers by using an existing DNS database. Specifically, the discrepancy function is first constructed using a DNS training flow and then used to correct RANS-predicted Reynolds stresses under flow conditions different from the DNS. The machine-learning technique is shown to significantly improve RANS-modeled turbulent normal stresses, the turbulent kinetic energy, and the Reynolds-stress anisotropy. Improvements are consistently observed when different training datasets are used. Moreover, a high-dimensional visualization technique and distance metrics are used to provide a priori assessment of prediction confidence based only on RANS simulations. This study demonstrates that the PIML approach is a computationally affordable technique for improving the accuracy of RANS-modeled Reynolds stresses for high-Mach-number turbulent flows when there is a lack of experiments and high-fidelity simulations.


title: Straightforward integration for free surface Green function and body wave motions

abstract: An alternative manner is provided for solving the classical linearised problem of the radiation and diffraction of regular water waves caused by oscillation of a floating body in deep water. It is shown that the singular wave integrals of the three-dimensional free surface Green function $G$ and its gradient $\nabla G$ can be regarded as regular wave integrals and are integrated directly. The method is validated by comparing with benchmark data for a floating or submerged body undergoing oscillatory wave motions. The comparison shows that the evaluation is sufficiently accurate for practical purposes. As the significance of the method, the numerical approximation stability for the gradient $\nabla G$ is shown to be the same with that for $G$.


title: New formulation of the finite depth free surface Green function

abstract: For a pulsating free surface source in a three-dimensional finite depth fluid domain, the Green function of the source presented by John [F. John, On the motion of floating bodies II. Simple harmonic motions, Communs. Pure Appl. Math. 3 (1950) 45-101] is superposed as the Rankine source potential, an image source potential and a wave integral in the infinite domain $(0, \infty)$. When the source point together with a field point is on the free surface, John's integral and its gradient are not convergent since the integration $\int^\infty_\kappa$ of the corresponding integrands does not tend to zero in a uniform manner as $\kappa$ tends to $\infty$. Thus evaluation of the Green function is not based on direct integration of the wave integral but is obtained by approximation expansions in earlier investigations. In the present study, five images of the source with respect to the free surface mirror and the water bed mirror in relation to the image method are employed to reformulate the wave integral. Therefore the free surface Green function of the source is decomposed into the Rankine potential, the five image source potentials and a new wave integral, of which the integrand is approximated by a smooth and rapidly decaying function. The gradient of the Green function is further formulated so that the same integration stability with the wave integral is demonstrated. The significance of the present research is that the improved wave integration of the Green function and its gradient becomes convergent. Therefore evaluation of the Green function is obtained through the integration of the integrand in a straightforward manner. The application of the scheme to a floating body or a submerged body motion in regular waves shows that the approximation is sufficiently accurate to compute linear wave loads in practice.


title: Tunable Eight-Element MIMO Antenna Based on the Antenna Cluster Concept

abstract: Realizing capacity demands of future wireless communications requires improved spectral efficiency in the sub-6-GHz frequency bands. This paper proposes a novel eight-element multiple-input multiple-output (MIMO) antenna that can be tuned from 1.7 to 6 GHz. The design is based on the antenna cluster concept, where weighted feeding of multiple antenna elements is used to modify the operating frequency. This paper extends the theory of the concept to account for multiple separate clusters, thus enabling it to be used for MIMO. The proposed antenna achieves over 60% efficiency at frequencies above 3 GHz, and the system exceeds the ergodic capacity of the ideal 7x7 MIMO in that band.


title: The existence of smooth solutions in q-theories

abstract: The q-models are scenarios that may explain the smallness of the cosmological constant [1]-[7]. The vacuum in these theories is presented as a self-sustainable medium and include a new degree of freedom, the q-variable, which stablish the equilibrium of the quantum vacuum. In the present work, the Cauchy formulation for these models is studied. It has been already noted that there exist some limits where these theories are described by an F(R) model, which posses a well formulated Cauchy problem. This paper shows that the Cauchy problem is well posed even not reaching this limit. By use of some mathematical theorems about second order non linear systems, it is shown that these scenarios admit a smooth solution for at least a finite time when some specific type of initial conditions are imposed. Some technical conditions of [11] play an important role in this discussion.


title: Deep Portrait Image Completion and Extrapolation

abstract: General image completion and extrapolation methods often fail on portrait images where parts of the human body need to be recovered - a task that requires accurate human body structure and appearance synthesis. We present a two-stage deep learning framework for tacking this problem. In the first stage, given a portrait image with an incomplete human body, we extract a complete, coherent human body structure through a human parsing network, which focuses on structure recovery inside the unknown region with the help of pose estimation. In the second stage, we use an image completion network to fill the unknown region, guided by the structure map recovered in the first stage. For realistic synthesis the completion network is trained with both perceptual loss and conditional adversarial loss. We evaluate our method on public portrait image datasets, and show that it outperforms other state-of-art general image completion methods. Our method enables new portrait image editing applications such as occlusion removal and portrait extrapolation. We further show that the proposed general learning framework can be applied to other types of images, e.g. animal images.


title: Degeneration of globally hyperbolic maximal anti-de Sitter structures along pinching sequences

abstract: Let $S$ be a closed oriented surface of genus at least $2$. Using the parameterisation of the deformation space of globally hyperbolic maximal anti-de Sitter structures on $S \times \mathbb{R}$ by the cotangent bundle over the Teichm\"uller space of $S$, we study the behaviour of these geometric structures along pinching sequences. We show, in particular, that the regular globally hyperbolic anti-de Sitter structures introduced in arXiv:1806.08176 naturally appear as limiting points.


title: Solution of the "sign problem" for the half filled Hubbard-Holstein model

abstract: We show that, by an appropriate choice of auxiliary fields and exact integration of the phonon degrees of freedom, it is possible to define a 'sign-free' path integral for the so called Hubbard-Holstein model at half-filling. We use a statistical method, based on an accelerated and efficient Langevin dynamics, for evaluating all relevant correlation functions of the model. Preliminary calculations at $U/t=4$ and $U/t=1$, for $\omega_0/t=1$, indicate a quite extended region around $U \simeq {g^2 \over \omega_0}$ without either antiferromagnetic or charge-density-wave orders, separating two quantum critical points at zero temperature. The elimination of the sign problem in a model without explicit particle-hole symmetry may open new perspectives for strongly correlated models, even away from the purely attractive or particle-hole symmetric cases.


title: Finite Cutoff AdS$_{5}$ Holography and the Generalized Gradient Flow

abstract: Recently proposed double trace deformations of large $N$ holographic CFTs in four dimensions define a one parameter family of quantum field theories, which are interpreted in the bulk dual as living on successive finite radius hypersurfaces. The transformation of variables that turns the equation defining the deformation of a four dimensional large $N$ CFT by such operators into the expression for the radial ADM Hamiltonian in the bulk is found. This prescription clarifies the role of various functions of background fields that appear in the flow equation defining the deformed holographic CFT, and also their relationship to the holographic anomaly. The effect of these deformations can also be seen as triggering a generalized gradient flow for the fields of the induced gravity theory obtained from integrating out the fundamental fields of the holographic CFT. The potential for this gradient flow is found to resemble the two derivative effective action previously derived using holographic renormalization.


title: Critical Nonequilibrium Cluster-flip Relaxations in Ising Models

abstract: We investigate nonequilibrium relaxations of Ising models at the critical point by using a cluster update. While preceding studies imply that nonequilibrium cluster-flip dynamics at the critical point are universally described by the stretched-exponential function, we find that the dynamics changes from the stretched-exponential to the power function as the dimensionality is increased: The two-, three-, four-, and infinite-dimensional Ising models are numerically studied, and the four- and infinite-dimensional Ising models exhibit the power-law relaxation. We also show that the finite-size scaling analysis using the normalized correlation length is markedly effective for the analysis of relaxational processes rather than the direct use of the Monte Carlo step.


title: Invariants of magnetic Laplacians on periodic graphs

abstract: We consider a magnetic Laplacian with periodic magnetic potentials on periodic discrete graphs. Its spectrum consists of a finite number of bands, where degenerate bands are eigenvalues of infinite multiplicity. We obtain a specific decomposition of the magnetic Laplacian into a direct integral in terms of minimal forms. A minimal form is a periodic function defined on edges of the periodic graph with a minimal support on the period. It is crucial that fiber magnetic Laplacians (matrices) have the minimal number of coefficients depending on the quasimomentum and the minimal number of coefficients depending on the magnetic potential. We show that these numbers are invariants for the magnetic Laplacians on periodic graphs. Using this decomposition, we estimate the position of each band, the Lebesgue measure of the magnetic Laplacian spectrum and a variation of the spectrum under a perturbation by a magnetic field in terms of these invariants and minimal forms. In addition, we consider an inverse problem: we determine necessary and sufficient conditions for matrices depending on the quasimomentum on a finite graph to be fiber magnetic Laplacians. Moreover, similar results for magnetic Schr\"odinger operators with periodic potentials are obtained.


title: Games for Pucci's maximal operators

abstract: In this paper we introduce a game whose value functions converge (as a parameter that measures the size of the steps goes to zero) uniformly to solutions to the second order Pucci maximal operators.


title: Disjunctive domination in trees

abstract: In this paper, we study a parameter that is a relaxation of arguably the most important domination parameter, namely the domination number. Given the sheer scale of modern networks, many existing domination type structures are expensive to implement. Variations on the theme of dominating and total dominating sets studied to date tend to focus on adding restrictions which in turn raises their implementation costs. As an alternative route a relaxation of the domination number, called disjunctive domination, was proposed and studied by Goddard et al. A set $D$ of vertices in $G$ is a disjunctive dominating set in $G$ if every vertex not in $D$ is adjacent to a vertex of $D$ or has at least two vertices in $D$ at distance $2$ from it in $G$. The disjunctive domination number, $\gamma^{d}_2(G)$, of $G$ is the minimum cardinality of a disjunctive dominating set in $G$. We show that if $T$ is a tree of order $n$ with $l$ leaves and $s$ support vertices, then $\frac{n-l+3}{4}\leq \gamma^{d}_2(T)\leq \frac{n+l+s}{4}$. Moreover, we characterize the families of trees which attain these bounds.


title: Surjectivity of the etale excision map for homotopy invariant framed presheaves

abstract: The category of framed correspondences Fr_*(k), framed presheaves and framed sheaves were invented by Voevodsky in his unpublished notes [17]. Based on the notes [17] a new approach to the classical Morel--Voevodsky motivic stable homotopy theory was developed by G.Garkusha and I.Panin in [8]. The purpose of this paper is to prove Theorem 1.1 stating that if the ground field k is infinite, then the surjectivity of the etale excision property is true for any A1-invariant stable radditive framed presheaf of Abelian groups F. The injectivity of the etale excision was proved in [9]. The surjectivity of the etale excision was proved in [9] if the ground field is infinite of characteristic not 2. In this preprint the surjectivity of the etale excision is proved in the case of any infinite ground field. As explained in the introduction to [8] all the results of [9], [1], [10] and [8] are true now automatically without any restrictions on the characteristic of the ground field.


title: Spontaneous Momentum Dissipation and Coexistence of Phases in Holographic Horndeski Theory

abstract: We discuss the possible phases dual to the AdS hairy black holes in Horndeski theory. In the probe limit breaking the translational invariance, we study the conductivity and we find a non-trivial structure indicating a collective excitation of the charge carriers as a competing effect of momentum dissipation and the coupling of the scalar field to Einstein tensor. Going beyond the probe limit, we investigate the spontaneous breaking of translational invariance near the critical temperature and discuss the stability of the theory. We consider the backreaction of the charged scalar field to the metric and we construct numerically the hairy black hole solution. To determine the dual phases of a hairy black hole, we compute the conductivity. When the wave number of the scalar field is zero, the DC conductivity is divergent due to the conservation of translational invariance. For nonzero wave parameter with finite DC conductivity, we find two phases in the dual theory. For low temperatures and for positive couplings, as the temperature is lower, the DC conductivity increases therefore the dual theory is in metal phase, while if the coupling is negative we have the opposite behavior and it is dual to an insulating phase. We argue that this behavior of the coupling of the scalar field to Einstein tensor can be attributed to its role as an impurity parameter in the dual theory.


title: The First Order Truth behind Undecidability of Regular Path Queries Determinacy

abstract: In our paper [G{\l}uch, Marcinkowski, Ostropolski-Nalewaja, LICS ACM, 2018] we have solved an old problem stated in [Calvanese, De Giacomo, Lenzerini, Vardi, SPDS ACM, 2000] showing that query determinacy is undecidable for Regular Path Queries. Here a strong generalisation of this result is shown, and -- we think -- a very unexpected one. We prove that no regularity is needed: determinacy remains undecidable even for finite unions of conjunctive path queries.


title: Substitutive structure of Jeandel-Rao aperiodic tilings

abstract: Jeandel and Rao proved that 11 is the size of the smallest set of Wang tiles, i.e., unit squares with colored edges, that admit valid tilings (contiguous edges of adjacent tiles have the same color) of the plane, none of them being invariant under a nontrivial translation. We study herein the Wang shift $\Omega_0$ made of all valid tilings using the set $\mathcal{T}_0$ of 11 aperiodic Wang tiles discovered by Jeandel and Rao. We show that there exists a minimal subshift $X_0$ of $\Omega_0$ such that every tiling in $X_0$ can be decomposed uniquely into 19 distinct patches of sizes ranging from 45 to 112 that are equivalent to a set of 19 self-similar and aperiodic Wang tiles. We suggest that this provides an almost complete description of the substitutive structure of Jeandel-Rao tilings, as we believe that $\Omega_0\setminus X_0$ is a null set for any shift-invariant probability measure on $\Omega_0$. The proof is based on 12 elementary steps, 10 of which involve the same procedure allowing one to desubstitute Wang tilings from the existence of a subset of marker tiles. The 2 other steps involve the addition of decorations to deal with fault lines and changing the base of the $\mathbb{Z}^2$-action through a shear conjugacy. Algorithms are provided to find markers, recognizable substitutions, and shear conjugacy from a set of Wang tiles.


title: Topology and Prediction Focused Research on Graph Convolutional Neural Networks

abstract: Important advances have been made using convolutional neural network (CNN) approaches to solve complicated problems in areas that rely on grid structured data such as image processing and object classification. Recently, research on graph convolutional neural networks (GCNN) has increased dramatically as researchers try to replicate the success of CNN for graph structured data. Unfortunately, traditional CNN methods are not readily transferable to GCNN, given the irregularity and geometric complexity of graphs. The emerging field of GCNN is further complicated by research papers that differ greatly in their scope, detail, and level of academic sophistication needed by the reader. The present paper provides a review of some basic properties of GCNN. As a guide to the interested reader, recent examples of GCNN research are then grouped according to techniques that attempt to uncover the underlying topology of the graph model and those that seek to generalize traditional CNN methods on graph data to improve prediction of class membership. Discrete Signal Processing on Graphs (DSPg) is used as a theoretical framework to better understand some of the performance gains and limitations of these recent GCNN approaches. A brief discussion of Topology Adaptive Graph Convolutional Networks (TAGCN) is presented as an approach motivated by DSPg and future research directions using this approach are briefly discussed.


title: Transpiling Programmable Computable Functions to Answer Set Programs

abstract: Programming Computable Functions (PCF) is a simplified programming language which provides the theoretical basis of modern functional programming languages. Answer set programming (ASP) is a programming paradigm focused on solving search problems. In this paper we provide a translation from PCF to ASP. Using this translation it becomes possible to specify search problems using PCF.


title: FMS: Functional Programming as a Modelling Language

abstract: In this paper we introduce the Functional Modelling System (FMS). The system introduces the Functional Modelling Language (FML), which is a modelling language for NP-complete search problems based on concepts of functional programming. Internally, we translate FML specifications to an Answer Set Program to obtain models. We give a general overview of the new FML language, and how this language is handled in the system. We give a step-by-step walkthrough of the system, pointing out what features are in place, and what improvements are still possible.


title: Easily Interpretable Bulk Flows: Continuing Tension with the Standard Cosmological Model

abstract: We present an improved Minimal Variance (MV) method for using a radial peculiar velocity sample to estimate the average of the three-dimensional velocity field over a spherical volume, which leads to an easily interpretable bulk flow measurement. The only assumption required is that the velocity field is irrotational. The resulting bulk flow estimate is particularly insensitive to smaller scale flows. We also introduce a new constraint into the MV method that ensures that bulk flow estimates are independent of the value of the Hubble constant $H_o$; this is important given the tension between the locally measured $H_o$ and that obtained from the cosmic background radiation observations. We apply our method to the \textit{CosmicFlows-3} catalogue and find that, while the bulk flows for shallower spheres are consistent with the standard cosmological model, there is some tension between the bulk flow in a spherical volume with radius $150$\hmpc\ and its expectations; we find only a $\sim 2\%$ chance of obtaining a bulk flow as large or larger in the standard cosmological model with \textit{Planck} parameters


title: EmotiW 2018: Audio-Video, Student Engagement and Group-Level Affect Prediction

abstract: This paper details the sixth Emotion Recognition in the Wild (EmotiW) challenge. EmotiW 2018 is a grand challenge in the ACM International Conference on Multimodal Interaction 2018, Colorado, USA. The challenge aims at providing a common platform to researchers working in the affective computing community to benchmark their algorithms on `in the wild' data. This year EmotiW contains three sub-challenges: a) Audio-video based emotion recognition; b) Student engagement prediction; and c) Group-level emotion recognition. The databases, protocols and baselines are discussed in detail.


title: Quantum transport through three-dimensional topological insulator p-n junction under magnetic field

abstract: The 3D topological insulator (TI) PN junction under magnetic fields presents a novel transport property which is investigated both theoretically and numerically in this paper. Transport in this device can be tuned by the axial magnetic field. Specifically, the scattering coefficients between incoming and outgoing modes oscillate with axial magnetic flux at the harmonic form. In the condition of horizontal mirror symmetry, the initial phase of the harmonic oscillation is dependent on the parities of incoming and outgoing modes. This symmetry is broken when a vertical bias is applied which leads to a kinetic phase shift added to the initial phase. On the other hand, the amplitude of oscillation is suppressed by the surface disorder while it has no influence on the phase of oscillation. Furthermore, with the help of the vertical bias, a special (1,-2) 3D TI PN junction can be achieved, leading to a novel spin precession phenomenon.


title: Search for vector charmonium(-like) states in $e^+e^- \rightarrow \omega\chi_{cJ}$

abstract: The cross sections of $e^+e^- \rightarrow \omega\chi_{cJ(J=0,1,2)}$ have been measured by BESIII. We try to search for vector charmonium(-like) states $Y(4220)$, $Y(4360)$, $\psi(4415)$ and $Y(4660)$ in the $e^+e^- \rightarrow \omega\chi_{cJ(J=0,1,2)}$ line shapes. The $\omega\chi_{c0}$ mainly comes from $Y(4220)$, $\omega\chi_{c1}$ mainly comes from $Y(4660)$ and $\omega\chi_{c2}$ mainly comes from $\psi(4415)$, maybe partly comes from $Y(4360)$ or $Y(4660)$. For the charmonium(-like) states that are not significant in the $e^+e^- \rightarrow \omega\chi_{cJ(J=0,1,2)}$ line shape, we also give the $90\%$ confidence level upper limits on the electron partial width multiplied by branching fraction. These results are helpful to study the nature of charmonium(-like) states in this energy region.


title: Some notes on extended equation solvability and identity checking for groups

abstract: Every finite non-nilpotent group can be extended by a term operation such that solving equations in the resulting algebra is NP-complete and checking identities is co-NP-complete. This result was firstly proven by Horv\'ath and Szab\'o; the term constructed in their proof depends on the underlying group. In this paper we provide a uniform term extension that induces hardness. In doing so we also characterize a big class of solvable, non-nilpotent groups for which extending by the commutator operation suffices.


title: Quantized Dislocations

abstract: A dislocation, just like a phonon, is a type of atomic lattice displacement but subject to an extra topological constraint. However, unlike the phonon which has been quantized for decades, the dislocation has long remained classical. This article is a comprehensive review of the recent progress on quantized dislocations, aka the "dislon" theory. Since the dislon utilizes quantum field theory to solve materials defects problems, we adopt a pedagogical approach to facilitate understanding for both materials science and condensed matter communities. After introducing a few preliminary concepts of dislocations, we focus on the necessity and pathways of dislocation's quantization in great detail, followed by the interaction mechanism between the dislon and materials electronic and phononic degrees of freedom. We emphasize the formality, the new phenomena, and the predictive power. Imagine the leap from classical lattice wave to quantized phonon; the dislon theory may open up vast opportunities to compute dislocated materials at a full quantum many-body level.


title: StretchDenoise: Parametric Curve Reconstruction with Guarantees by Separating Connectivity from Residual Uncertainty of Samples

abstract: We reconstruct a closed denoised curve from an unstructured and highly noisy 2D point cloud. Our proposed method uses a two- pass approach: Previously recovered manifold connectivity is used for ordering noisy samples along this manifold and express these as residuals in order to enable parametric denoising. This separates recovering low-frequency features from denoising high frequencies, which avoids over-smoothing. The noise probability density functions (PDFs) at samples are either taken from sensor noise models or from estimates of the connectivity recovered in the first pass. The output curve balances the signed distances (inside/outside) to the samples. Additionally, the angles between edges of the polygon representing the connectivity become minimized in the least-square sense. The movement of the polygon's vertices is restricted to their noise extent, i.e., a cut-off distance corresponding to a maximum variance of the PDFs. We approximate the resulting optimization model, which consists of higher-order functions, by a linear model with good correspondence. Our algorithm is parameter-free and operates fast on the local neighborhoods determined by the connectivity. We augment a least-squares solver constrained by a linear system to also handle bounds. This enables us to guarantee stochastic error bounds for sampled curves corrupted by noise, e.g., silhouettes from sensed data, and we improve on the reconstruction error from ground truth. Open source to reproduce figures and tables in this paper is available at: https://github.com/stefango74/stretchdenoise


title: Topological states on uneven (Pb,Sn)Se (001) surfaces

abstract: The impact of surface morphology on electronic structure of topological crystalline insulators is studied theoretically. As an example, the structure of topologically protected electronic states on a (001) (Pb,Sn)Se surface with terraces of atomic height is modeled. Within the envelope function model it is shown that valley mixing, the phenomenon responsible for the peculiar "double Dirac cone" shape of the surface state dispersion, depends crucially on the structure of the surface. By varying the width and the number of atomic layers in the terraces, a comprehensive explanation of recent experimental findings, i.e., the emergence of 1D states bound to odd-height atomic step edges as well as the collapse of "double Dirac cone" structure on a rough surface, is achieved. This approach allows us also to determine topological indices characterizing terraces and their interfaces. In the (001) surface of (Pb,Sn)Se the adjacent terraces turn out to be described by different values of the winding number topological invariant.


title: The scatter of the M dwarf mass-radius relationship

abstract: M dwarfs are prime targets in the hunt for habitable worlds around other stars. This is due to their abundance as well as their small radii and low masses and temperatures, which facilitate the detection of temperate, rocky planets in orbit around them. However, the fundamental properties of M dwarfs are difficult to constrain, often limiting our ability to characterise the planets they host. Here we test several theoretical relationships for M dwarfs by measuring 23 high precision, model-independent masses and radii for M dwarfs in binaries with white dwarfs. We find a large scatter in the radii of these low-mass stars, with 25 per cent having radii consistent with theoretical models while the rest are up to 12 per cent over-inflated. This scatter is seen in both partially- and fully-convective M dwarfs. No clear trend is seen between the over-inflation and age or metallicity, but there are indications that the radii of slowly rotating M dwarfs are more consistent with predictions, albeit with a similar amount of scatter in the measurements compared to more rapidly rotating M dwarfs. The sample of M dwarfs in close binaries with white dwarfs appears indistinguishable from other M dwarf samples, implying that common envelope evolution has a negligible impact on their structure. We conclude that theoretical and empirical mass-radius relationships lack the precision and accuracy required to measure the fundamental parameters of M dwarfs well enough to determine the internal structure and bulk composition of the planets they host.


title: Identifying transient and variable sources in radio images

abstract: With the arrival of a number of wide-field snapshot image-plane radio transient surveys, there will be a huge influx of images in the coming years making it impossible to manually analyse the datasets. Automated pipelines to process the information stored in the images are being developed, such as the LOFAR Transients Pipeline, outputting light curves and various transient parameters. These pipelines have a number of tuneable parameters that require training to meet the survey requirements. This paper utilises both observed and simulated datasets to demonstrate different machine learning strategies that can be used to train these parameters. The datasets used are from LOFAR observations and we process the data using the LOFAR Transients Pipeline; however the strategies developed are applicable to any light curve datasets at different frequencies and can be adapted to different automated pipelines. These machine learning strategies are publicly available as Python tools that can be downloaded and adapted to different datasets (https://github.com/AntoniaR/TraP_ML_tools).


title: Atomistic behavior of metal surfaces under high electric fields

abstract: Combining classical electrodynamics and density functional theory (DFT) calculations, we develop a general and rigorous theoretical framework that describes the energetics of metal surfaces under high electric fields. We show that the behavior of a surface atom in the presence of an electric field can be described by the polarization characteristics of the permanent and field-induced charges in its vicinity. We use DFT calculations for the case of a W adatom on a W{110} surface to confirm the predictions of our theory and quantify its system-specific parameters. Our quantitative predictions for the diffusion of W-on-W{110} under field are in good agreement with experimental measurements. This work is a crucial step towards developing atomistic computational models of such systems for long-term simulations.


title: From Kronecker to tableau pseudo-characters in tensor models

abstract: We present a brief summary of the recent discovery of direct tensorial analogue of characters. We distinguish three degrees of generalization: (1) $c$-number Kronecker characters made with the help of symmetric group characters and inheriting most of the nice properties of conventional Schur functions, except for forming a complete basis for the case of rank $r>2$ tensors: they are orthogonal, are eigenfunctions of appropriate cut-and-join operators and form a complete basis for the operators with non-zero Gaussian averages; (2) genuine matrix-valued tensorial quantities, forming an over-complete basis but difficult to deal with; and (3) intermediate tableau pseudo-characters, depending on Young tables rather than on just Young diagrams, in the Kronecker case, and on entire representation matrices, in the genuine one.


title: Time-Agnostic Prediction: Predicting Predictable Video Frames

abstract: Prediction is arguably one of the most basic functions of an intelligent system. In general, the problem of predicting events in the future or between two waypoints is exceedingly difficult. However, most phenomena naturally pass through relatively predictable bottlenecks---while we cannot predict the precise trajectory of a robot arm between being at rest and holding an object up, we can be certain that it must have picked the object up. To exploit this, we decouple visual prediction from a rigid notion of time. While conventional approaches predict frames at regularly spaced temporal intervals, our time-agnostic predictors (TAP) are not tied to specific times so that they may instead discover predictable "bottleneck" frames no matter when they occur. We evaluate our approach for future and intermediate frame prediction across three robotic manipulation tasks. Our predictions are not only of higher visual quality, but also correspond to coherent semantic subgoals in temporally extended tasks.


title: Inter-state switching in stochastic gene expression: Exact solution, an adiabatic limit and oscillations in molecular distributions

abstract: We consider the stochastic gene expression process with inter-state flip-flops. An exact steady-state solution to the master equation is calculated. One of the main goals in this paper is to investigate whether the probability distribution of gene copies contains even-odd number oscillations. A master equation previously derived in the adiabatic limit of fast switching by Kepler and Elston \cite{kepler} suggests that the oscillations should be present. However our analysis demonstrates that the oscillations do not happen not only in the adiabatic case but they are entirely absent. We discuss the adiabatic approximation in detail. The other goal is to establish the master equation that takes into account external fluctuations that is similar to the master equation in the adiabatic approximation. The equation allows even-odd oscillations. The reason the behaviour occurs is an underlying interference of Poisson and Gaussian processes. The master equation contains an extra term that describes the gene copy number unconventional diffusion and is responsible for the oscillations. We also point out to a similar phenomenon in quantum physics.


title: Spatial extent of the excited exciton states in WS$_2$ monolayers from diamagnetic shifts

abstract: We experimentally study the radii of excitons in hBN-encapsulated WS2 monolayers by means of magneto-optical reflectance spectroscopy at cryogenic temperatures in magnetic fields up to 29 T. We observe field-induced energy shifts of the exciton ground and excited states due to valley Zeeman and diamagnetic effects. We find the g factor of the first excited state of $-4.2(+/-0.1) to be essentially equal to that of the ground state of -4.35(+/-0.1). From diamagnetic shifts we determine the root mean square radii of the excitons. The radius of the first excited state is found to be 5-8 nm and that of the ground state around 2 nm. Our results further confirm the Wannier-Mott nature of the exciton quasiparticles in monolayer semiconductors and the assignment of the optical resonances in absorption-type measurements. They also provide additional support for the applicability of the effective mass hydrogenlike models in these systems.


title: Soliton solutions of the fermion-Skyrmion system in (2+1) dimensions

abstract: We study effects of backreaction of the fermionic modes localized by the baby Skyrmion in the (2+1)-dimensional Skyrme model. It is shown that there is a tower of fermionic modes of two different types, localized by the soliton, however there is only one fermionic level, which flows from positive to negative value as coupling increases. Considering the strong coupling regime we observe that the coupling of the bosonic field to the fermions may strongly deform the Skyrmion, in particular the regions of negative topological charge density appear.


title: Exploring Parallel Execution Strategies for Constraint Handling Rules - Work-in-Progress Report

abstract: Constraint Handling Rules (CHR) is a declarative rule-based formalism and language. Concurrency is inherent as rules can be applied to subsets of constraints in parallel. Parallel implementations of CHR, be it in software, be it in hardware, use different execution strategies for parallel execution of CHR programs depending on the implementation language. In this report, our goal is to analyze parallel execution of CHR programs from a more general conceptual perspective. We want to experimentally see what is possible when CHR programs are automatically parallelized. For this purpose, a sequential simulation of parallel CHR execution is used to systematically encode different parallel execution strategies. In exhaustive experiments on some typical examples from the literature, parallel and sequential execution can be compared to each other. The number of processors can be bounded or unbounded for a more theoretical analysis. As a result, some preliminary but indicative observations on the influence of the execution strategy can be made for the different problem classes and in general.


title: Beyond Kerker's conditions: simultaneously nearly zero forward and nearly zero backward scatterings

abstract: With theoretical analyses and numerical calculations, we show that a passive scatterer at the sub-wavelength scale can simultaneously exhibit both nearly zero forward scattering (NZFS) and nearly zero backward scattering (NZBF). It is related to the interference of dipolar quadrupole modes of different origin, leading to coexistence of Kerker's first and second conditions at the same time. For optical frequencies, we propose two different sets of composited materials in multi-layered nano-structures, i.e., CdTe/Si/TiO2 and TiO2/Au/Si, for the experimental realization.


title: Kinky plasmons in double layers of borophene-borophene and borophene-graphene

abstract: We investigate the collective plasmon modes in double layer of two dimensional materials where either one or both of the layers have tilted Dirac cone. Consistent with quite generic hydrodynamic treatment, similar to double layer graphene systems we find two branches of plasmons. The in-phase oscillations of the two layers disperses as $\sqrt q$, while the out-of-phase mode disperses as $q$. When even one of the layers hosts tilted Dirac cone spectrum, the plasmonic kink which is a salient feature of a monolayer of tilted Dirac cone is inherited by both of these branches. In double layers composed of graphene (nontilted) and borophene (tilted) where the two layers have two different Fermi velocities, the velocity scale of plasmonic modes is set by the greater of the two. The kink always takes place when each plasmon mode crosses an energy scale $\omega_{\rm kink}$. When the two layers have different chemical potentials, there will be two such scales, and each of in-phase and out-of-phase modes develop two kinks. Moreover we find that an additional linearly dispersing overdamped mode of monolayer tilted Dirac cone system survives in the double layer system.


title: Specification properties for non-autonomous discrete systems

abstract: In this paper notions of strong specification property and quasi-weak specification property for non-autonomous discrete systems are introduced and studied. It is shown that these properties are dynamical properties and are preserved under finite product. It is proved that a k-periodic non-autonomous system on intervals having weak specification is Devaney chaotic whereas if the system has strong specification then the result is true in general. Specification properties of induced systems on hyperspaces and probability measures spaces are also studied. Examples/counter examples are provided wherever necessary to support results obtained.


title: Chiral solitons in monoaxial chiral magnets in tilted magnetic field

abstract: We show that the stability (existence/absence) and interaction (repulsion/attraction) of chiral solitons in monoaxial chiral magnets can be varied by tilting the direction of magnetic field. We, thereby, elucidate that the condensation of attractive chiral solitons causes the discontinuous phase transition predicted by a mean field calculation. Furthermore we theoretically demonstrate that the metastable field-polarized-state destabilizes through the surface instability, which is equivalent to the vanishing surface barrier for penetration of the solitons. We experimentally measure the magnetoresistance (MR) of micrometer-sized samples in the tilted fields in demagnetization-free configuration. We corroborate the scenario that hysteresis in MR is a sign for existence of the solitons, through agreement between our theory and experiments.


title: Webly Supervised Joint Embedding for Cross-Modal Image-Text Retrieval

abstract: Cross-modal retrieval between visual data and natural language description remains a long-standing challenge in multimedia. While recent image-text retrieval methods offer great promise by learning deep representations aligned across modalities, most of these methods are plagued by the issue of training with small-scale datasets covering a limited number of images with ground-truth sentences. Moreover, it is extremely expensive to create a larger dataset by annotating millions of images with sentences and may lead to a biased model. Inspired by the recent success of webly supervised learning in deep neural networks, we capitalize on readily-available web images with noisy annotations to learn robust image-text joint representation. Specifically, our main idea is to leverage web images and corresponding tags, along with fully annotated datasets, in training for learning the visual-semantic joint embedding. We propose a two-stage approach for the task that can augment a typical supervised pair-wise ranking loss based formulation with weakly-annotated web images to learn a more robust visual-semantic embedding. Experiments on two standard benchmark datasets demonstrate that our method achieves a significant performance gain in image-text retrieval compared to state-of-the-art approaches.


title: The Hermite-Hadamard inequality in higher dimensions

abstract: The Hermite-Hadamard inequality states that the average value of a convex function on an interval is bounded from above by the average value of the function at the endpoints of the interval. We provide a generalization to higher dimensions: let $\Omega \subset \mathbb{R}^n$ be a convex domain and let $f:\Omega \rightarrow \mathbb{R}$ be a convex function satisfying $f \big|_{\partial \Omega} \geq 0$, then $$ \frac{1}{|\Omega|} \int_{\Omega}{f ~d \mathcal{H}^n} \leq \frac{2 \pi^{-1/2} n^{n+1}}{|\partial \Omega|} \int_{\partial \Omega}{f~d \mathcal{H}^{n-1}}.$$ The constant $2 \pi^{-1/2} n^{n+1}$ is presumably far from optimal, however, it cannot be replaced by 1 in general. We prove slightly stronger estimates for the constant in two dimensions where we show that $9/8 \leq c_2 \leq 8$. We also show, for some universal constant $c>0$, if $\Omega \subset \mathbb{R}^2$ is simply connected with smooth boundary, $f:\Omega \rightarrow \mathbb{R}_{}$ is subharmonic, i.e. $\Delta f \geq 0$, and $f \big|_{\partial \Omega} \geq 0$, then $$ \int_{\Omega}{f~ d \mathcal{H}^2} \leq c \cdot \mbox{inradius}(\Omega) \int_{\partial \Omega}{ f ~d\mathcal{H}^{1}}.$$ We also prove that every domain $\Omega \subset \mathbb{R}^n$ whose boundary is 'flat' at a certain scale $\delta$ admits a Hermite-Hadamard inequality for all subharmonic functions with a constant depending only on the dimension, the measure $|\Omega|$ and the scale $\delta$.


title: Regression-with-residuals Estimation of Marginal Effects: A Method of Adjusting for Treatment-induced Confounders that may also be Moderators

abstract: Treatment-induced confounders complicate analyses of time-varying treatment effects and causal mediation. Conditioning on these variables naively to estimate marginal effects may inappropriately block causal pathways and may induce spurious associations between treatment and the outcome, leading to bias. Although several methods for estimating marginal effects avoid these complications, including inverse-probability-of-treatment-weighted (IPTW) estimation of marginal structural models (MSMs) as well as g- and regression-with-residuals (RWR) estimation of highly constrained structural nested mean models (SNMMs), each suffers from a set of nontrivial limitations. Specifically, IPTW estimation is inefficient, is difficult to use with continuous treatments or mediators, and may suffer from finite-sample bias, while g- and RWR estimation of highly constrained SNMMs for marginal effects are premised on the unrealistic assumption that there is no effect moderation. In this study, we adapt the method of RWR to estimate marginal effects with a set of moderately constrained SNMMs that accommodate several types of treatment-by-confounder and/or mediator-by-confounder interaction, thereby relaxing the assumption of no effect moderation. Through a series of simulation experiments and empirical examples, we show that this approach outperforms IPTW estimation of MSMs as well as both g- and RWR estimation of highly constrained SNMMs in which effect moderation is assumed away.


title: Full counting statistics of the two-stage Kondo effect

abstract: We developed a theoretical framework which extends the method of \textit{full counting statistics} (FCS) from conventional single channel Kondo screening schemes to multi-channel Kondo paradigm. The developed idea of FCS has been demonstrated considering an example of two-stage Kondo (2SK) model. We analyzed the charge transferred statistics in the strong-coupling regime of a 2SK model using non-equilibrium Keldysh formulation. A bounded value of Fano factor, $1\leq F\leq 5/3$, confirmed the cross-over regimes of charge transfered statistics in 2SK effect, from Poissonian to super-Poissonian. An innovative way of measuring transport properties of 2SK effect, by the independent measurements of charge current and noise, has been proposed


title: Spectral Gradient of the Thermal Millimetre Continuum as a Diagnostic for Optical Thickness in the Solar Atmosphere

abstract: Aims. In this article we aim to show how the gradient of the thermal millimetre continuum spectrum, as emitted from the quiet solar atmosphere, may be used as a diagnostic for the optical thickness regime at the centre of the observing frequency band. Methods. We show the theoretical derivation of the gradient of the millimetre continuum for both logarithmic- and linear-scale spectra. We compare this expression with the empirical relationship between the slope of the millimetre continuum spectrum and the plasma optical thickness computed from both isothermal and multi-thermal two-dimensional cylindrical radiative transfer models. Results. It is found that the logarithmic-scale spectral gradient provides a clear diagnostic for the optical thickness regime for both isothermal and multi-thermal plasmas, provided that a suitable correction is made for a non-constant gaunt factor over the frequency band. For the use of observers we present values for this correction at all ALMA bands and at a wide range of electron temperatures. Conclusions. We find that the spectral gradient can be used to find (a) whether the source is fully optically thin, (b) the optical thickness of the source if it lies within the transitional regime between optically thin and thick plasma ({\tau} $\approx$ $10^{-1} - 10^{1}$), or (c) whether the source is fully optically thick for an isothermal plasma. A multi-thermal plasma will act the same as an isothermal plasma for case (a), however, the transitional regime will only extend from {\tau} $\approx$ $10^{-1} - 10^{0}$ . Above {\tau} = 1 the slope of the continuum will depend increasingly on the temperature gradient, as well as the optical thickness, reducing the reliability of the diagnostic.


title: A review on substellar objects beyond the deuterium burning mass limit: planets, brown dwarfs or what?

abstract: "Free-floating, non-deuterium-burning, substellar objects" are isolated bodies of a few Jupiter masses found in very young open clusters and associations, nearby young moving groups and in the immediate vicinity of the Sun. They are neither brown dwarfs nor planets. I look over their nomenclature, history of discovery, sites of detection, formation mechanisms and future directions of research. Most free-floating, non-deuterium-burning, substellar objects share the same formation mechanism as low-mass stars and brown dwarfs, but there are still a few caveats, such as the value of the opacity mass limit, the minimum mass at which an isolated body can form via turbulent fragmentation from a cloud. The least massive free-floating substellar objects found to date have masses of about 0.004 Msol, but current and future surveys should aim at breaking this record. For that, we may need LSST, Euclid and WFIRST.


title: Fluctuating Hydrodynamics and Debye-H\"uckel-Onsager Theory for Electrolytes

abstract: We apply fluctuating hydrodynamics to strong electrolyte mixtures to compute the concentration corrections for chemical potential, diffusivity, and conductivity. We show these corrections to be in agreement with the limiting laws of Debye, H\"uckel, and Onsager. We compute explicit corrections for a symmetric ternary mixture and find that the co-ion Maxwell-Stefan diffusion coefficients can be negative, in agreement with experimental findings.


abstract: The LU-decomposition of Lehmer's tridiagonal matrix is first guessed, then proved, which leads to an evaluation of the determinant.


title: On a 'Two Truths' Phenomenon in Spectral Graph Clustering

abstract: Clustering is concerned with coherently grouping observations without any explicit concept of true groupings. Spectral graph clustering - clustering the vertices of a graph based on their spectral embedding - is commonly approached via K-means (or, more generally, Gaussian mixture model) clustering composed with either Laplacian or Adjacency spectral embedding (LSE or ASE). Recent theoretical results provide new understanding of the problem and solutions, and lead us to a 'Two Truths' LSE vs. ASE spectral graph clustering phenomenon convincingly illustrated here via a diffusion MRI connectome data set: the different embedding methods yield different clustering results, with LSE capturing left hemisphere/right hemisphere affinity structure and ASE capturing gray matter/white matter core-periphery structure.


title: Reweighting a parton shower using a neural network: the final-state case

abstract: The use of QCD calculations that include the resummation of soft-collinear logarithms via parton-shower algorithms is currently not possible in PDF fits due to the high computational cost of evaluating observables for each variation of the PDFs. Unfortunately the interpolation methods that are otherwise applied to overcome this issue are not readily generalised to all-order parton-shower contributions. Instead, we propose an approximation based on training a neural network to predict the effect of varying the input parameters of a parton shower on the cross section in a given observable bin, interpolating between the variations of a training data set. This first publication focuses on providing a proof-of-principle for the method, by varying the shower dependence on $\alpha_\text{S}$ for both a simplified shower model and a complete shower implementation for three different observables, the leading emission scale, the number of emissions and the Thrust event shape. The extension to the PDF dependence of the initial-state shower evolution that is needed for the application to PDF fits is left to a forthcoming publication.


title: On computing the eventual behavior of an FI-module over the rational numbers

abstract: We give a formula for the eventual multiplicities of irreducible representations appearing in a finitely-presented FI-module over the rational numbers. The result relies on structure theory due to Sam-Snowden SS16.


title: Transfer Learning for Estimating Causal Effects using Neural Networks

abstract: We develop new algorithms for estimating heterogeneous treatment effects, combining recent developments in transfer learning for neural networks with insights from the causal inference literature. By taking advantage of transfer learning, we are able to efficiently use different data sources that are related to the same underlying causal mechanisms. We compare our algorithms with those in the extant literature using extensive simulation studies based on large-scale voter persuasion experiments and the MNIST database. Our methods can perform an order of magnitude better than existing benchmarks while using a fraction of the data.


title: Concentration banding instability of a sheared bacterial suspension

abstract: We demonstrate a novel shear-induced mechanism for growth of concentration fluctuations in a bacterial suspension. Using a linear stability analysis, a homogeneously sheared suspension is shown to support exponentially growing layering perturbations in the shear-rate and bacterial concentration. Non-linear simulations show that the instability eventually leads to gradient-banded velocity profiles, with a local depletion of bacteria at the interface between the bands. Our results show that long-ranged hydrodynamic interactions are sufficient to explain recent observations of shear-bands in bacterial suspensions.


title: Three Topological Results on the Twistor Discriminant Locus in the 4-Sphere

abstract: We exploit techniques from classical (real and complex) algebraic geometry for the study of the standard twistor fibration $\pi:\mathbb{CP}^{3}\to S^{4}$. We prove three results about the topology of the twistor discriminant locus of an algebraic surface in $\mathbb{CP}^{3}$. First of all we prove that, with the exception of two exceptional cases, the real dimension of the twistor discriminant locus of an algebraic surface is always equal to 2. Secondly we describe the possible intersections of a general surface with the family of twistor lines: we find that only 4 configurations are possible and for each of them we compute the dimension. Lastly we give a decomposition of the twistor discriminant locus of a given cone in terms of its singular locus and its dual variety.


title: Ample groupoids: equivalence, homology, and Matui's HK conjecture

abstract: We investigate the homology of ample Hausdorff groupoids. We establish that a number of notions of equivalence of groupoids appearing in the literature coincide for ample Hausdorff groupoids, and deduce that they all preserve groupoid homology. We compute the homology of a Deaconu{Renault groupoid associated to k pairwisecommuting local homeomorphisms of a zero-dimensional space, and show that Matui's HK conjecture holds for such a groupoid when k is one or two. We specialise to k-graph groupoids, and show that their homology can be computed in terms of the adjacency matrices, using a chain complex developed by Evans. We show that Matui's HK conjecture holds for the groupoids of single vertex k-graphs which satisfy a mild joint-coprimality condition. We also prove that there is a natural homomorphism from the categorical homology of a k-graph to the homology of its groupoid.


title: Relativity and Synchrotron Radiation: Critical Reexamination of Existing Theory

abstract: Maxwell's equations are valid only in Lorentz frame i.e. in inertial frame where the Einstein synchronization procedure is used to assign values of the time coordinate. Einstein time order must be applied and kept in consistent way in both dynamics and electrodynamics. However, the usual for accelerator engineering non-covariant treatment of relativistic particle dynamics in a constant magnetic field looks precisely the same as in non-relativistic Newtonian dynamics. According to both treatments, the magnetic field is only capable of altering the direction of motion, but not the speed of an electron. However, the non-covariant trajectory does not include relativistic kinematics effects. The covariant electron trajectory is viewed from the Lorentz lab frame as a result of successive infinitesimal Lorentz transformations. One of the consequences of non-commutativity of non-collinear Lorentz boosts is a difference between covariant and non-covariant single particle trajectories in a constant magnetic field. One can see that this essential point has never received attention in the physical community. As a result a correction of the conventional radiation theory is required. In this paper we present a critical reexamination of existing synchrotron radiation theory. The main emphasis of this paper is on spontaneous synchrotron radiation from bending magnets and undulators.


title: Verifying and Reporting Fast Radio Bursts

abstract: Fast Radio Bursts (FRBs) are a class of short-duration transients at radio wavelengths with inferred astrophysical origin. The prototypical FRB is a broadband signal that occurs over the extent of the receiver frequency range, is narrow in time, and is highly dispersed, following a $\nu^{-2}$ relation. However, some FRBs appear band-limited, and show apparent scintillation, complex frequency-dependent structure, or multi-component pulse shapes. While there is sufficient evidence that FRBs are indeed astrophysical, their one-off nature necessitates extra scrutiny when reporting a detection as bona fide and not a false positive. Currently, there is no formal validation framework for FRBs, rather a set of community practices. In this article, we discuss potential sources of false positives, and suggest a framework in which FRB-like events can be evaluated as real or otherwise. We present examples of false-positive events in data from the Arecibo, LOFAR, and Nanshan telescopes, which while FRB-like, are found to be due to instrumental variations, noise, and radio-frequency interference. Differentiating these false-positive detections from astrophysical events requires knowledge and tests beyond thresholded single-pulse detection. We discuss post-detection analyses, verification tests, and datasets which should be provided when reporting an FRB detection.


title: Finite density 2d O(3) sigma model: dualization and numerical simulations

abstract: The action of the 2d O(3) non-linear sigma model on the lattice in a bath of particles, when expressed in terms of standard O(3) degrees of freedom, is complex. A reformulation of the model in terms of new variables that makes the action real is presented. This reshaping enables us to utilize Monte Carlo simulations based on usual importance sampling. Several observables, including the correlation function and the mass gap, are measured.


title: K\"ahler metrics with constant weighted scalar curvature and weighted K-stability

abstract: We introduce a notion of a K\"ahler metric with constant weighted scalar curvature on a compact K\"ahler manifold $X$, depending on a fixed real torus $\mathbb{T}$ in the reduced group of automorphisms of $X$, and two smooth (weight) functions $\mathrm{v}>0$ and $\mathrm{w}$, defined on the momentum image (with respect to a given K\"ahler class $\alpha$ on $X$) of $X$ in the dual Lie algebra of $\mathbb{T}$. A number of natural problems in K\"ahler geometry, such as the existence of extremal K\"ahler metrics and conformally K\"ahler, Einstein--Maxwell metrics, or prescribing the scalar curvature on a compact toric manifold reduce to the search of K\"ahler metrics with constant weighted scalar curvature in a given K\"ahler class $\alpha$, for special choices of the weight functions $\mathrm{v}$ and $\mathrm{w}$. We show that a number of known results obstructing the existence of constant scalar curvature K\"ahler (cscK) metrics can be extended to the weighted setting. In particular, we introduce a functional $\mathcal M_{\mathrm{v}, \mathrm{w}}$ on the space of $\mathbb{T}$-invariant K\"ahler metrics in $\alpha$, extending the Mabuchi energy in the cscK case, and show (following the arguments of Li and Sano--Tipler in the cscK and extremal cases) that if $\alpha$ is Hodge, then constant weighted scalar curvature metrics in $\alpha$ are minima of $\mathcal M_{\mathrm{v},\mathrm{w}}$. Motivated by the recent work of Dervan--Ross and Dyrefelt in the cscK and extremal cases, we define a $(\mathrm{v},\mathrm{w})$-weighted Futaki invariant of a $\mathbb{T}$-compatible smooth K\"ahler test configuration associated to $(X, \alpha, \mathbb{T})$, and show that the boundedness from below of the $(\mathrm{v},\mathrm{w})$-weighted Mabuchi functional $\mathcal M_{\mathrm{v}, \mathrm{w}}$ implies a suitable notion of a $(\mathrm{v},\mathrm{w})$-weighted K-semistability.


title: Unusual polarimetric properties of (101955) Bennu: similarities with F-class asteroids and cometary bodies

abstract: We have obtained polarimetric measurements of asteroid (101955) Bennu, a presumably primitive near-Earth object (NEO) that is the target of NASA's sample return mission OSIRIS-REx. During our observing campaign, Bennu was visible from Earth under a wide range of illumination conditions, with phase-angle in the range 16 to 57 degrees. Together with (3200) Phaethon and (152679) 1998 KU2, observed very recently, Bennu is the only existing example of a primitive NEO observed in polarimetric mode over a wide interval of phase angles. Based on our polarimetric data, we propose that Bennu belongs to the unusual F taxonomic class defined in the 80s. According to previous works, the F-class includes objects with cometary features. This fact can be of great importance for the interpretation of the results of the exploration of this object by OSIRIS-REx. From polarimetry we also derive an estimate of the geometric albedo of Bennu: 0.059 +/- 0.003.


title: First harmonic measurements of the spin Seebeck effect

abstract: We present measurements of the spin Seebeck effect (SSE) by a technique that combines alternating currents (AC) and direct currents (DC). The method is applied to a ferrimagnetic insulator/heavy metal bilayer, Y$_3$Fe$_5$O$_{12}$(YIG)/Pt. Typically, SSE measurements use an AC current to produce an alternating temperature gradient and measure the voltage generated by the inverse spin-Hall effect in the heavy metal at twice the AC frequency. Here we show that when Joule heating is associated with AC and DC bias currents, the SSE response occurs at the frequency of the AC current drive and can be larger than the second harmonic SSE response. We compare the first and second harmonic responses and show that they are consistent with the SSE. The field dependence of the voltage response is used to characterize the damping-like and field-like torques. This method can be used to explore nonlinear thermoelectric effects and spin dynamics induced by temperature gradients.


title: Light Ears: Information Leakage via Smart Lights

abstract: Modern Internet-enabled smart lights promise energy efficiency and many additional capabilities over traditional lamps. However, these connected lights create a new attack surface, which can be maliciously used to violate users' privacy and security. In this paper, we design and evaluate novel attacks that take advantage of light emitted by modern smart bulbs in order to infer users' private data and preferences. The first two attacks are designed to infer users' audio and video playback by a systematic observation and analysis of the multimedia-visualization functionality of smart light bulbs. The third attack utilizes the infrared capabilities of such smart light bulbs to create a covert-channel, which can be used as a gateway to exfiltrate user's private data out of their secured home or office network. A comprehensive evaluation of these attacks in various real-life settings confirms their feasibility and affirms the need for new privacy protection mechanisms.


title: Impact ionization dynamics in small band-gap 2D materials from a coherent phonon mechanism

abstract: We study theoretically the role of carrier multiplication due to impact ionization after an ultrafast optical excitation in a model system of a quasi-two dimensional material with a small band gap. As a mechanism for the photo-induced band gap narrowing we use coherent phonons, which mimics the quenching of an insulator phase. We discuss the importance of impact ionization in the ultrafast response, and investigate the interplay between carrier and band dynamics. Our model allows us to compare with recent experiments and identify signatures of carrier multiplication in typical electronic distribution curves as measured by time-resolved photoemission spectroscopy. In particular we investigate the influence of the shape of the bands on the carrier multiplication and the respective contributions of band and carrier dynamics to electronic distribution curves.


title: Far-from-equilibrium noise heating and laser cooling dynamics in radio-frequency Paul traps

abstract: We study the stochastic dynamics of a particle in a periodically driven potential. For atomic ions trapped in radio-frequency Paul traps, noise heating and laser cooling typically act slowly in comparison with the unperturbed motion. These stochastic processes can be accounted for in terms of a probability distribution defined over the action variables, which would otherwise be conserved within the regular regions of the Hamiltonian phase space. We present a semiclassical theory of low-saturation laser cooling applicable from the limit of low-amplitude motion to large-amplitude motion, accounting fully for the time-dependent and anharmonic trap. We employ our approach to a detailed study of the stochastic dynamics of a single ion, drawing general conclusions regarding the nonequilibrium dynamics of laser-cooled trapped ions. We predict a regime of anharmonic motion in which laser cooling becomes diffusive (i.e., it is equally likely to cool the ion as it is to heat it), and can also turn into effective heating. This implies that a high-energy ion could be easily lost from the trap despite being laser cooled; however, we find that this loss can be counteracted using a laser detuning much larger than Doppler detuning.


title: CAFE-PakalMPI: a new model to study the solar chromosphere in the NLTE approximation

abstract: We present a new numerical model called CAFE-PakalMPI with the capability to solve the equations of classical magnetohydrodynamic (MHD) and to obtain the multispecies whose ionization states are calculated through statistical equilibrium, using the approximation of non-local thermodynamic equilibrium (NLTE) in three dimensions with the multiprocessor environment. For this, we couple the Newtonian CAFE MHD code introduced in Gonz\'alez-Avil\'es et al. (2015) with PakalMPI presented in De la Luz et al. (2010). In this model, Newtonian CAFE solves the equations of ideal MHD under the effects of magnetic resistivity and heat transfer considering a fully ionized plasma. On the other hand, PakalMPI calculates the density of ionization states using the NLTE approximation for Hydrogen, electronic densities and H-, the other species are computed by the classical local thermodynamic equilibrium (LTE) approximation. The main purpose of the model focuses on the analysis of solar phenomena within the chromospheric region. As an application of the model, we study the stability of the C7 equilibrium atmospheric model with a constant magnetic field in a 3D environment. According to the results of the test, the C7 model remains stable in the low chromosphere, while in the range $z\in$[1.5,2.1] Mm we can observe the propagation of a wave produced by the changes in the ionization rate of H.


title: Spin field-effect transistor in a quantum spin-Hall device

abstract: We discuss the transport properties of a quantum spin-Hall insulator with sizable Rashba spin-orbit coupling in a disk geometry. The presence of topologically protected helical edge states allows for the control and manipulation of spin polarized currents: when ferromagnetic leads are coupled to the quantum spin-Hall device, the ballistic conductance is modulated by the Rashba strength. Therefore, by tuning the Rashba interaction via an all-electric gating, it is possible to control the spin polarization of injected electrons.