title: Safe Exploration in Markov Decision Processes with Time-Variant Safety using Spatio-Temporal Gaussian Process

abstract: In many real-world applications (e.g., planetary exploration, robot navigation), an autonomous agent must be able to explore a space with guaranteed safety. Most safe exploration algorithms in the field of reinforcement learning and robotics have been based on the assumption that the safety features are a priori known and time-invariant. This paper presents a learning algorithm called ST-SafeMDP for exploring Markov decision processes (MDPs) that is based on the assumption that the safety features are a priori unknown and time-variant. In this setting, the agent explores MDPs while constraining the probability of entering unsafe states defined by a safety function being below a threshold. The unknown and time-variant safety values are modeled using a spatio-temporal Gaussian process. However, there remains an issue that an agent may have no viable action in a shrinking true safe space. To address this issue, we formulate a problem maximizing the cumulative number of safe states in the worst case scenario with respect to future observations. The effectiveness of this approach was demonstrated in two simulation settings, including one using real lunar terrain data.


title: Baryon number fluctuations in the 2+1 flavor low energy effective model

abstract: High order cumulants of the baryon number distribution are calculated in a 2+1 flavor low energy effective model. Quantum fluctuations are encoded through the functional renormalization group approach. The chiral and deconfinement phase transitions are investigated at finite temperature and baryon chemical potential. The equation of state for the QCD matter, fluctuations of the baryon number and the strangeness up to sixth order are calculated, and one finds the results are consistent with those from lattice QCD.


title: Sampled in Pairs and Driven by Text: A New Graph Embedding Framework

abstract: In graphs with rich texts, incorporating textual information with structural information would benefit constructing expressive graph embeddings. Among various graph embedding models, random walk (RW)-based is one of the most popular and successful groups. However, it is challenged by two issues when applied on graphs with rich texts: (i) sampling efficiency: deriving from the training objective of RW-based models (e.g., DeepWalk and node2vec), we show that RW-based models are likely to generate large amounts of redundant training samples due to three main drawbacks. (ii) text utilization: these models have difficulty in dealing with zero-shot scenarios where graph embedding models have to infer graph structures directly from texts. To solve these problems, we propose a novel framework, namely Text-driven Graph Embedding with Pairs Sampling (TGE-PS). TGE-PS uses Pairs Sampling (PS) to improve the sampling strategy of RW, being able to reduce ~99% training samples while preserving competitive performance. TGE-PS uses Text-driven Graph Embedding (TGE), an inductive graph embedding approach, to generate node embeddings from texts. Since each node contains rich texts, TGE is able to generate high-quality embeddings and provide reasonable predictions on existence of links to unseen nodes. We evaluate TGE-PS on several real-world datasets, and experiment results demonstrate that TGE-PS produces state-of-the-art results on both traditional and zero-shot link prediction tasks.


title: Risk-Limiting Audits by Stratified Union-Intersection Tests of Elections (SUITE)

abstract: Risk-limiting audits (RLAs) offer a statistical guarantee: if a full manual tally of the paper ballots would show that the reported election outcome is wrong, an RLA has a known minimum chance of leading to a full manual tally. RLAs generally rely on random samples. Stratified sampling--partitioning the population of ballots into disjoint strata and sampling independently from the strata--may simplify logistics or increase efficiency compared to simpler sampling designs, but makes risk calculations harder. We present SUITE, a new method for conducting RLAs using stratified samples. SUITE considers all possible partitions of outcome-changing error across strata. For each partition, it combines P-values from stratum-level tests into a combined P-value; there is no restriction on the tests used in different strata. SUITE maximizes the combined P-value over all partitions of outcome-changing error. The audit can stop if that maximum is less than the risk limit. Voting systems in some Colorado counties (comprising 98.2% of voters) allow auditors to check how the system interpreted each ballot, which allows ballot-level comparison RLAs. Other counties use ballot polling, which is less efficient. Extant approaches to conducting an RLA of a statewide contest would require major changes to Colorado's procedures and software, or would sacrifice the efficiency of ballot-level comparison. SUITE does not. It divides ballots into two strata: those cast in counties that can conduct ballot-level comparisons, and the rest. Stratum-level P-values are found by methods derived here. The resulting audit is substantially more efficient than statewide ballot polling. SUITE is useful in any state with a mix of voting systems or that uses stratified sampling for other reasons. We provide an open-source reference implementation and exemplar calculations in Jupyter notebooks.


title: A two-dimensional topological representation theorem for matroid polytopes of rank 4

abstract: The Folkman-Lawrence topological representation theorem, which states that every (loop-free) oriented matroid of rank $r$ can be represented as a pseudosphere arrangement on the $(r-1)$-dimensional sphere $S^{r-1}$, is one of the most outstanding results in oriented matroid theory. In this paper, we provide a lower-dimensional version of the topological representation theorem for uniform matroid polytopes of rank $4$. We introduce $2$-weak configurations of points and pseudocircles ($2$-weak PPC configurations) on $S^2$ and prove that every uniform matroid polytope of rank $4$ can be represented by a $2$-weak PPC configuration. As an application, we provide a proof of Las Vergnas conjecture on simplicial topes for the case of uniform matroid polytopes of rank $4$.


title: The enhancement of $v_4$ in nuclear collisions at the highest densities signals a first order phase transition

abstract: The beam energy dependence of $v_4$ (the quadrupole moment of the transverse radial flow) is sensitive to the nuclear equation of state (EoS) in mid-central Au + Au collisions at the energy range of $3 < \sqrt{s_{NN}} < 30$ GeV, which is investigated within the hadronic transport model JAM. Different equations of state, namely, a free hadron gas, a first-order phase transition and a crossover are compared. An enhancement of $v_4$ at $\sqrt{s_{{NN}}}\approx 6$ GeV is predicted for an EoS with a first-order phase transition. This enhanced $v_4$ flow is driven by both the enhancement of $v_2$ as well as the positive contribution to $v_4$ from the squeeze-out of spectator particles which turn into participants due to the admixture of the strong collective flow in the shocked, compressed nuclear matter.


title: On the topological boundary of the range of super-Brownian motion-extended version

abstract: We show that if $\partial\mathcal{R}$ is the boundary of the range of super-Brownian motion and dim denotes Hausdorff dimension, then with probability one, for any open set $U$, $\partial\mathcal{R}\cap U\neq\emptyset$ implies $$\text{dim}(U\cap\partial\mathcal{R})=\begin{cases} 4-2\sqrt2\approx1.17&\text{ if }d=2\\ \frac{9-\sqrt{17}}{2}\approx 2.44&\text{ if }d=3. \end{cases}$$ This improves recent results of the last two authors (arxiv:1711.03486) by working with the actual topological boundary, rather than the boundary of the zero set of the local time, and establishing a local result for the dimension.


title: Global topology of contact force networks: new insight into shear thickening suspensions

abstract: Highly concentrated or 'dense" particle suspensions can undergo a sharp increase in viscosity, or shear thickening, under applies stress. Understanding the fundamental features leading to such rheological changes in dense suspensions is crucial to optimize flow conditions or to design flow modifiers for slurry processing. While local changes to the particle environment under an applied shear can be related to changes in viscosity, there is a broader need to connect the shear thickening transition to the fundamental organization of particle-interaction forces which lead to long-range organization. In particular, at a high volume fraction of particles, recent evidence indicates frictional forces between contacting particles is of importance. Herein, the network of frictional contact forces is analyzed within simulated two-dimensional shear thickening suspensions. Two topological metrics are studied to characterize the response of the contact force network (CFN) under varying applied shear stress. The metrics, geodesic index and the void parameter, reflect complementary aspects of the CFN: one is the connectedness of the contact network and the second is the distribution of spatial areas devoid of particle-particle contacts. Considered in relation to the variation of the viscosity, the topological metrics show that the network grows homogeneously at large scales but with many local regions devoid of contacts, indicating clearly the role of stress chain growth in causing the large change in the rheological response at the shear thickening transition.


title: Towards Efficient Detection and Optimal Response against Sophisticated Opponents

abstract: Multiagent algorithms often aim to accurately predict the behaviors of other agents and find a best response accordingly. Previous works usually assume an opponent uses a stationary strategy or randomly switches among several stationary ones. However, an opponent may exhibit more sophisticated behaviors by adopting more advanced reasoning strategies, e.g., using a Bayesian reasoning strategy. This paper proposes a novel approach called Bayes-ToMoP which can efficiently detect the strategy of opponents using either stationary or higher-level reasoning strategies. Bayes-ToMoP also supports the detection of previously unseen policies and learning a best-response policy accordingly. We provide a theoretical guarantee of the optimality on detecting the opponent's strategies. We also propose a deep version of Bayes-ToMoP by extending Bayes-ToMoP with DRL techniques. Experimental results show both Bayes-ToMoP and deep Bayes-ToMoP outperform the state-of-the-art approaches when faced with different types of opponents in two-agent competitive games.


title: Pinning and Depinning: from periodic to chaotic and random media

abstract: We study propagation of dissipative structures in inhomogeneous media with a focus on pinning and depinning transitions. We model spatial complexity in the medium as generated by dynamical systems. We are thus able to capture transitions from periodic to quasiperiodic, to homoclinic and heteroclinic, and to chaotic media. Depinning bifurcations exhibit universal laws depending on extreme value statistics that are encoded in the dimension of ergodic measures, only. A key condition limiting this approach bounds spatial Lyapunov exponents in terms of interface localization and we explore the breakdown of smoothness and universality when this condition is violated and fluctuations in the medium occur on length scales shorter than a typical interface width.


title: A geometric proof of an equivariant Pieri rule for flag manifolds

abstract: We use geometry to give a short proof of an equivariant Pieri rule in the classical flag manifold. This rule is due to Robinson, who gave an algebraic proof.


title: Self-foldability of monohedral quadrilateral origami tessellations

abstract: Using a mathematical model for self-foldability of rigid origami, we determine which monohedral quadrilateral tilings of the plane are uniquely self-foldable. In particular, the Miura-ori and Chicken Wire patterns are not self-foldable under our definition, but such tilings that are rotationally-symmetric about the midpoints of the tile are uniquely self-foldable.


title: On Conjectural Rank Parities of Quartic and Sextic Twists of Elliptic Curves

abstract: We study the behavior under twisting of the Selmer rank parities of a self-dual prime-degree isogeny on a principally polarized abelian variety defined over a number field, subject to compatibility relations between the twists and the isogeny. In particular, we study isogenies on abelian varieties whose Selmer rank parities are related to the rank parities of elliptic curves with $j$-invariant 0 or 1728, assuming the Shafarevich-Tate conjecture. Using these results, we show how to classify the conjectural rank parities of all quartic or sextic twists of an elliptic curve defined over a number field, after a finite calculation. This generalizes previous results of Hadian and Weidner on the behavior of $p$-Selmer ranks under $p$-twists.


title: Limit theorems for the minimal position of a branching random walk in random environment

abstract: We consider a branching system of random walk in random environment (in location) in $\mathbb{N}$. We will give the exact limit value of $\frac{M_{n}}{n}$, where $M_{n}$ denotes the minimal position of branching random walk at time $n$. A key step in the proof is to transfer our branching random walks in random environment (in location) to branching random walks in random environment (in time), by use of Bramson's "branching processes within a branching process" .


title: Probing Quantum Confinement and Electronic Structure at Polar Oxide Interfaces

abstract: Polar discontinuities occurring at interfaces between two different materials constitute both a challenge and an opportunity in the study and application of a variety of devices. In order to cure the large electric field occurring in such structures, a reconfiguration of the charge landscape sets in at the interface via chemical modifications, adsorbates or charge transfer. In the latter case, one may expect a local electronic doping of one material: one sparkling example is the two-dimensional electron liquid (2DEL) appearing in SrTiO$_3$ once covered by a polar LaAlO$_3$ layer. Here we show that tuning the formal polarisation of a (La,Al)$_{1-x}$(Sr,Ti)$_x$O$_3$ (LASTO:$x$) overlayer through chemical composition modifies the quantum confinement of the 2DEL in SrTiO$_3$ and its electronic band structure. The analysis of the behaviour in magnetic field of superconducting field-effect devices reveals, in agreement with $ab\ initio$ calculations and self-consistent Poisson-Schr\"odinger modelling, that quantum confinement and energy splitting between electronic bands of different symmetries strongly depend on interface charge densities. These results not only strongly support the polar discontinuity mechanisms with a full charge transfer to explain the origin of the 2DEL at the celebrated LaAlO$_3$/SrTiO$_3$ interface, but also demonstrate an effective tool for tailoring the electronic structure at oxide interfaces.


title: Weight filtrations on GKZ-systems

abstract: If $\beta\in\CC^d$ is integral but not a strongly resonant parameter for the homogeneous matrix $A\in\ZZ^{d\times n}$ with $\ZZ A=\ZZ^d$, then the associated GKZ-system carries a naturally defined mixed Hodge module structure. We study here in the normal case the corresponding weight filtration by computing the intersection complexes with respective multiplicities on the associated graded parts. We do this by computing the weight filtration of a Gauss-Manin system with respect to a locally closed embedding of a torus inside an affine space. We then produce a result, based on a Fourier-Sato transforms, that allows to port an MHS structure on a monodromic module through a Fourier-Laplace transform, from the Gauss-Manin system to the GKZ-system. Our results show that these data, which we express in terms of intersection cohomology groups on induced toric varieties, are purely combinatorial, and not arithmetic, in the sense that they only depend on the polytopal structure of the cone of $A$ but not on the semigroup itself. As a corollary we get a purely combinatorial formula for the length of the underlying (regular) holonomic GKZ-system, irrespective of homogeneity. In dimension up to three, and for simplicial semigroups, we give explicit generators of the weight filtration.


title: Ballistic 3-port interferometric logic gates in the quantum Hall regime

abstract: We show that a 3-port interferometer, defined by quantum point contacts in a two-dimensional electron gas, and working in the quantum Hall regime, can implement different logic gates at each port depending on the energy of charge carriers and the operating conditions. In all cases the input logic states are encoded in the potentials applied on the quantum point contacts, while the output logic states are encoded in the values of the overall transmission coefficients at each port. In addition, the output of such compact configurations can be reprogrammed by combining two 3-port interferometers.


title: A Fast Globally Linearly Convergent Algorithm for the Computation of Wasserstein Barycenters

abstract: We consider the problem of computing a Wasserstein barycenter for a set of discrete probability distributions with finite supports, which finds many applications in areas such as statistics, machine learning and image processing. When the support points of the barycenter are pre-specified, this problem can be modeled as a linear programming (LP) problem whose size can be extremely large. To handle this large-scale LP, we analyse the structure of its dual problem, which is conceivably more tractable and can be reformulated as a well-structured convex problem with 3 kinds of block variables and a coupling linear equality constraint. We then adapt a symmetric Gauss-Seidel based alternating direction method of multipliers (sGS-ADMM) to solve the resulting dual problem and establish its global convergence and global linear convergence rate. As a critical component for efficient computation, we also show how all the subproblems involved can be solved exactly and efficiently. This makes our method suitable for computing a Wasserstein barycenter on a large-scale data set, without introducing an entropy regularization term as is commonly practiced. In addition, our sGS-ADMM can be used as a subroutine in an alternating minimization method to compute a barycenter when its support points are not pre-specified. Numerical results on synthetic data sets and image data sets demonstrate that our method is highly competitive for solving large-scale Wasserstein barycenter problems, in comparison to two existing representative methods and the commercial software Gurobi.


title: On the convergence rate improvement of a splitting method for finding the resolvent of the sum of maximal monotone operators

abstract: This paper provides a new way of developing the splitting method which is used to solve the problem of finding the resolvent of the sum of maximal monotone operators in Hilbert spaces. By employing accelerated techniques developed by Davis and Yin (in Set-Valued Var. Anal. 25(4):829-858, 2017), this paper presents an implementable, strongly convergent splitting method which is designed to solve the problem. In particular, we show that the distance between the sequence of iterates and the solution converges to zero at a rate O(1/k) to illustrate the efficiency of the proposed method, where k is the number of iterations. Then, we apply the result to a class of optimization problems.


title: Autonomous quantum heat engine using an electron shuttle

abstract: We propose an autonomous quantum heat engine based on the thermally driven oscillation of a single electron shuttle. The electronic degree of freedom of this device acts as an internal dynamical controller which switches the interaction of the engine with the thermal baths. We show that in addition to energy flux through the thermal baths, a flux of energy is attributed to the controller and it affects the engine power.


title: Large time behavior of ODE type solutions to nonlinear diffusion equations

abstract: Consider the Cauchy problem for a nonlinear diffusion equation \begin{equation} \tag{P} \left\{ \begin{array}{ll} \partial_t u=\Delta u^m+u^\alpha & \quad\mbox{in}\quad{\bf R}^N\times(0,\infty),\\ u(x,0)=\lambda+\varphi(x)>0 & \quad\mbox{in}\quad{\bf R}^N, \end{array} \right. \end{equation} where $m>0$, $\alpha\in(-\infty,1)$, $\lambda>0$ and $\varphi\in BC({\bf R}^N)\,\cap\, L^r({\bf R}^N)$ with $1\le r<\infty$ and $\inf_{x\in{\bf R}^N}\varphi(x)>-\lambda$. Then the positive solution to problem (P) behaves like a positive solution to ODE $\zeta'=\zeta^\alpha$ in $(0,\infty)$ and it tends to $+\infty$ as $t\to\infty$. In this paper we obtain the precise description of the large time behavior of the solution and reveal the relationship between the behavior of the solution and the diffusion effect the nonlinear diffusion equation has.


title: Free Pseudodistance Growth Rates for Spatially Coupled LDPC Codes over the BEC

abstract: The minimum pseudoweight is an important parameter related to the decoding performance of LDPC codes with iterative message-passing decoding. In this paper, we consider ensembles of periodically time-varying spatially coupled LDPC (SC-LDPC) codes and the pseudocodewords arising from their finite graph covers of a fixed degree. We show that for certain $(J,K)$-regular SC-LDPC code ensembles and a fixed cover degree, the typical minimum pseudoweight of the unterminated (and associated tail-biting/terminated) SC-LDPC code ensembles grows linearly with the constraint (block) length as the constraint (block) length tends to infinity. We prove that one can bound the the free pseudodistance growth rate over a BEC from below (respectively, above) using the associated tail-biting (terminated) SC-LDPC code ensemble and show empirically that these bounds coincide for a sufficiently large period, which gives the exact free pseudodistance growth rate for the SC-LDPC ensemble considered.


title: Implicit Analysis of Perceptual Multimedia Experience Based on Physiological Response: A Review

abstract: The exponential growth of popularity of multimedia has led to needs for user-centric adaptive applications that manage multimedia content more effectively. Implicit analysis, which examines users' perceptual experience of multimedia by monitoring physiological or behavioral cues, has potential to satisfy such demands. Particularly, physiological signals categorized into cerebral physiological signals (electroencephalography, functional magnetic resonance imaging, and functional near-infrared spectroscopy) and peripheral physiological signals (heart rate, respiration, skin temperature, etc.) have recently received attention along with notable development of wearable physiological sensors. In this paper, we review existing studies on physiological signal analysis exploring perceptual experience of multimedia. Furthermore, we discuss current trends and challenges.


title: A fiber based diamond RF B-field sensor and characterization of a small helical antenna

abstract: We present a microwave B-field scanning imaging technique using diamond micro-crystal containing nitrogen vacancy center that is attached to a fiber tip. We propose a pulsed modulation technique, enabling the implementation of a variety of pulsed quantum algorithm for state manipulation and fast readout of spin state. A detailed mapping of the magnetic B-field distribution of a helical antenna with sub-100 micron resolution is presented and compared with numerical simulations. This fiber based microwave B-field probe has the advantage of minimized invasiveness, small overall size, will boost broad interest in a variety of applications where near field distribution is essential to device characterization, to name a few, antenna radiation profiling, monolithic microwave integrated circuits failure diagnosis, electromagnetic compatibility test of microwave integrated circuits and microwave cavity field mode mapping.


title: Building and exploring libraries of atomic defects in graphene: scanning transmission electron and scanning tunneling microscopy study

abstract: Population and distribution of defects is one of the primary parameters controlling materials functionality, are often non-ergodic and strongly dependent on synthesis history, and are rarely amenable to direct theoretical prediction. Here, dynamic electron beam-induced transformations in Si deposited on a graphene monolayer are used to create libraries of the possible Si and carbon vacancy defects. Automated image analysis and recognition based on deep learning networks is developed to identify and enumerate the defects, creating a library of (meta) stable defect configurations. The electronic properties of the sample surface are further explored by atomically resolved scanning tunneling microscopy (STM). Density functional theory is used to estimate the STM signatures of the classified defects from the created library, allowing for the identification of several defect types across the imaging platforms. This approach allows automatic creation of defect libraries in solids, exploring the metastable configurations always present in real materials, and correlative studies with other atomically-resolved techniques, providing comprehensive insight into defect functionalities. Such libraries will be of critical importance in automated AI-assisted workflows for materials prediction and atom-by atom manipulation via electron beams and scanning probes.


title: Topological dyonic dilaton black holes in AdS spaces

abstract: We construct a new class of dyonic dilaton black hole solutions in the background of Anti-de Sitter (AdS) spacetime. In order to find an analytical solution which satisfy all the field equations, we should consider the string case where the dilaton coupling is $\alpha=1$. The asymptotic behaviour of the solution ($r\rightarrow\infty$) is exactly AdS, where the dilaton field becomes zero and the metric function reduces to $f(r)\rightarrow -\Lambda r^2/3$. In this spacetime, black hole horizons and cosmological horizons, can be a two-dimensional positive, zero or negative constant curvature surface. We study the physical properties of the solution and show that depending on the metric parameters, these solutions can describe black holes with one or two horizons or a naked singularity. We investigate thermodynamics of the solutions by calculating the charge, mass, temperature, entropy and the electric potential of these solutions and disclose that these conserved and thermodynamic quantities satisfy the first law of black hole thermodynamics. We also analyze thermal stability of the solutions and find the conditions for which we have a stable dyonic dilaton black hole.


title: An Ontology-Based Artificial Intelligence Model for Medicine Side-Effect Prediction: Taking Traditional Chinese Medicine as An Example

abstract: In this work, an ontology-based model for AI-assisted medicine side-effect (SE) prediction is developed, where three main components, including the drug model, the treatment model, and the AI-assisted prediction model, of proposed model are presented. To validate the proposed model, an ANN structure is established and trained by two hundred and forty-two TCM prescriptions. These data are gathered and classified from the most famous ancient TCM book and more than one thousand SE reports, in which two ontology-based attributions, hot and cold, are introduced to evaluate whether the prescription will cause SE or not. The results preliminarily reveal that it is a relationship between the ontology-based attributions and the corresponding predicted indicator that can be learnt by AI for predicting the SE, which suggests the proposed model has a potential in AI-assisted SE prediction. However, it should be noted that, the proposed model highly depends on the sufficient clinic data, and hereby, much deeper exploration is important for enhancing the accuracy of the prediction.


title: Generalizing Word Embeddings using Bag of Subwords

abstract: We approach the problem of generalizing pre-trained word embeddings beyond fixed-size vocabularies without using additional contextual information. We propose a subword-level word vector generation model that views words as bags of character $n$-grams. The model is simple, fast to train and provides good vectors for rare or unseen words. Experiments show that our model achieves state-of-the-art performances in English word similarity task and in joint prediction of part-of-speech tag and morphosyntactic attributes in 23 languages, suggesting our model's ability in capturing the relationship between words' textual representations and their embeddings.


title: On the torus compactifications of $Z_2$ orbifolds of E-string theories

abstract: We consider the torus compactifications with flux of a class of $6d$ $(1,0)$ SCFTs that can be engineered as the low-energy theories on M$5$-branes near an M$9$-plane on a $C^2/Z_2$ singularity. Specifically, we concentrate on the two SCFTs where the $Z_2$ orbifold action acts non-trivially on the $E_8$ global symmetry. We analyze this problem by compactifying to $5d$, where we can exploit the relation to $5d$ duality domain walls. By a suitable guess of the domain wall theories, the resulting $4d$ theories can be conjectured. These can then be tested by comparing their properties, notably anomalies and symmetries, against the $6d$ expectations. These constructions lead to various interesting $4d$ phenomena like dualities and symmetry enhancements.


title: Strong Anisotropy in Liquid Water upon Librational Excitation using Terahertz Laser Fields

abstract: Tracking the excitation of water molecules in the homogeneous liquid is challenging due to the ultrafast dissipation of rotational excitation energy through the hydrogen-bonded network. Here we demonstrate strong transient anisotropy of liquid water through librational excitation using single-color pump-probe experiments at 12.3 THz. We deduce a third order response of chi^3 exceeding previously reported values in the optical range by three orders of magnitude. Using a theory that replaces the nonlinear response with a material response property amenable to molecular dynamics simulation, we show that the rotationally damped motion of water molecules in the librational band is resonantly driven at this frequency, which could explain the enhancement of the anisotropy in the liquid by the external Terahertz field. By addition of salt (MgSO4), the hydration water is instead dominated by the local electric field of the ions, resulting in reduction of water molecules that can be dynamically perturbed by THz pulses.


title: Extracting Fairness Policies from Legal Documents

abstract: Machine Learning community is recently exploring the implications of bias and fairness with respect to the AI applications. The definition of fairness for such applications varies based on their domain of application. The policies governing the use of such machine learning system in a given context are defined by the constitutional laws of nations and regulatory policies enforced by the organizations that are involved in the usage. Fairness related laws and policies are often spread across the large documents like constitution, agreements, and organizational regulations. These legal documents have long complex sentences in order to achieve rigorousness and robustness. Automatic extraction of fairness policies, or in general, any specific kind of policies from large legal corpus can be very useful for the study of bias and fairness in the context of AI applications. We attempted to automatically extract fairness policies from publicly available law documents using two approaches based on semantic relatedness. The experiments reveal how classical Wordnet-based similarity and vector-based similarity differ in addressing this task. We have shown that similarity based on word vectors beats the classical approach with a large margin, whereas other vector representations of senses and sentences fail to even match the classical baseline. Further, we have presented thorough error analysis and reasoning to explain the results with appropriate examples from the dataset for deeper insights.


title: Efficiency and detectability of random reactive jamming in carrier sense wireless networks

abstract: A natural basis for the detection of a wireless random reactive jammer (RRJ) is the perceived violation by the detector (typically located at the access point (AP)) of the carrier sensing protocol underpinning many wireless random access protocols (e.g., WiFi). Specifically, when the wireless medium is perceived by a station to be busy, a carrier sensing compliant station will avoid transmission while a RRJ station will often initiate transmission. However, hidden terminals (HTs), i.e., activity detected by the AP but not by the sensing station, complicate the use of carrier sensing as the basis for RRJ detection since they provide plausible deniability to a station suspected of being an RRJ. The RRJ has the dual objectives of avoiding detection and effectively disrupting communication, but there is an inherent performance tradeoff between these two objectives. In this paper we capture the behavior of both the RRJ and the compliant stations via a parsimonious Markov chain model, and pose the detection problem using the framework of Markov chain hypothesis testing. Our analysis yields the receiver operating characteristic of the detector, and the optimized behavior of the RRJ. While there has been extensive work in the literature on jamming detection, our innovation lies in leveraging carrier sensing as a natural and effective basis for detection.


title: Comparing Lifetimes of Coherent Systems with Dependent Components Operating in Random Environments

abstract: We study an impact of a random environment on lifetimes of coherent systems with dependent components. There are two combined sources of this dependence. One results from the dependence of the components of the coherent system operating in a deterministic environment and the other is due to dependence of components of the system sharing the same random environment. We provide different sets of sufficient conditions for the corresponding stochastic comparisons and consider various scenarios, namely, (i) two different coherent systems operate under the same random environment; (ii) two coherent systems operate under two different random environments; (iii) one of the coherent systems operates under a random environment, whereas the other under a deterministic one. Some examples are given to illustrate the proposed reasoning.


title: Scalable Computation of 2D-Minkowski Sum of Arbitrary Non-Convex Domains: Modeling Flexibility in Energy Resources

abstract: The flexibility of active ($p$) and reactive power ($q$) consumption in distributed energy resources (DERs) can be represented as a (potentially non-convex) set of points in the $p$-$q$ plane. Modeling of the aggregated flexibility in a heterogeneous ensemble of DERs as a Minkowski sum (M-sum) is computationally intractable even for moderately sized populations. In this article, we propose a scalable method of computing the M-sum of the flexibility domains of a heterogeneous ensemble of DERs, which are allowed to be non-convex, non-compact. In particular, the proposed algorithm computes a guaranteed superset of the true M-sum, with desired accuracy. The worst-case complexity of the algorithm is computed. Special cases are considered, and it is shown that under certain scenarios, it is possible to achieve a complexity that is linear with the size of the ensemble. Numerical examples are provided by computing the aggregated flexibility of different mix of DERs under varying scenarios.


title: A Singular Integral Measure for $C^{1,1}$ and $C^1$ Boundaries

abstract: The art of analysis involves the subtle combination of approximation, inequalities, and geometric intuition as well as being able to work at different scales. With this subtlety in mind, we present this paper in a manner designed for wide accessibility for both advanced undergraduate students and graduate students. The main results include a singular integral for measuring the level sets of a $C^{1,1}$ function mapping from $\mathbb{R}^n$ to $\mathbb{R}$, that is, one whose derivative is Lipschitz continuous. We extend this to measure embedded submanifolds in $\mathbb{R}^2$ that are merely $C^1$ using the distance function and provide an example showing that the measure does not hold for general rectifiable boundaries.


title: Knowledge Based Machine Reading Comprehension

abstract: Machine reading comprehension (MRC) requires reasoning about both the knowledge involved in a document and knowledge about the world. However, existing datasets are typically dominated by questions that can be well solved by context matching, which fail to test this capability. To encourage the progress on knowledge-based reasoning in MRC, we present knowledge-based MRC in this paper, and build a new dataset consisting of 40,047 question-answer pairs. The annotation of this dataset is designed so that successfully answering the questions requires understanding and the knowledge involved in a document. We implement a framework consisting of both a question answering model and a question generation model, both of which take the knowledge extracted from the document as well as relevant facts from an external knowledge base such as Freebase/ProBase/Reverb/NELL. Results show that incorporating side information from external KB improves the accuracy of the baseline question answer system. We compare it with a standard MRC model BiDAF, and also provide the difficulty of the dataset and lay out remaining challenges.


title: Two-sphere swimmers in viscoelastic fluids

abstract: We examine swimmers comprising of two rigid spheres which oscillate periodically along their axis of symmetry, considering both when the oscillation is in phase and anti-phase, and study the effects of fluid viscoelasticity on their net motion. These swimmers both display reciprocal motion in a Newtonian fluid and hence no net swimming is achieved over one cycle. Conversely, we find that when the two spheres are of different sizes, the effect of viscoelasticity acts to propel the swimmers forward in the direction of the smaller sphere. Finally, we compare the motion of rigid spheres oscillating in viscoelastic fluids with elastic spheres in Newtonian fluids where we find similar results.


title: Are There Pre-Main-Sequence/Black Hole X-ray Binaries?

abstract: A large fraction of black hole low-mass X-ray binaries (BHLMXBs) are in short period orbits, which require strong orbital angular momentum loss during the previous evolutionary stage. Ivanova (2006) put forward the possibility that some of the BHLMXBs may harbour pre-main-sequence (MS) donor stars, in order to explain the Li-overabundances in three BHLMXBs. In this work we investigate the evolution of low-mass pre-MS stars in binaries with a BH companion. We calculate the evolution of the spin and orbital periods, the stellar radius and the Roche-lobe radius during the pre-MS stage with the stellar evolution code MESA. We find that, because of the relatively slow rotation of the pre-MS star after the common envelope evolution and the long turnover time in the pre-MS stars, tidal torque is not always able to synchronize the pre-MS star, so the spin periods are generally longer than the orbital periods. Mass transfer can occur only for stars with mass larger than $\sim 1.2M_\odot$, which experience expansion due to nuclear reaction after the Hayashi contraction phase. The effective temperatures and orbital periods of these systems do not match the observations of BHLMXBs. Our results show that the observed BHLMXBs with lithium overabundances are unlikely to host pre-main sequence donor stars.


title: MotherNets: Rapid Deep Ensemble Learning

abstract: Ensembles of deep neural networks significantly improve generalization accuracy. However, training neural network ensembles requires a large amount of computational resources and time. State-of-the-art approaches either train all networks from scratch leading to prohibitive training cost that allows only very small ensemble sizes in practice, or generate ensembles by training a monolithic architecture, which results in lower model diversity and decreased prediction accuracy. We propose MotherNets to enable higher accuracy and practical training cost for large and diverse neural network ensembles: A MotherNet captures the structural similarity across some or all members of a deep neural network ensemble which allows us to share data movement and computation costs across these networks. We first train a single or a small set of MotherNets and, subsequently, we generate the target ensemble networks by transferring the function from the trained MotherNet(s). Then, we continue to train these ensemble networks, which now converge drastically faster compared to training from scratch. MotherNets handle ensembles with diverse architectures by clustering ensemble networks of similar architecture and training a separate MotherNet for every cluster. MotherNets also use clustering to control the accuracy vs. training cost tradeoff. We show that compared to state-of-the-art approaches such as Snapshot Ensembles, Knowledge Distillation, and TreeNets, MotherNets provide a new Pareto frontier for the accuracy-training cost tradeoff. Crucially, training cost and accuracy improvements continue to scale as we increase the ensemble size (2 to 3 percent reduced absolute test error rate and up to 35 percent faster training compared to Snapshot Ensembles). We verify these benefits over numerous neural network architectures and large data sets.


title: Knowledge-Aware Conversational Semantic Parsing Over Web Tables

abstract: Conversational semantic parsing over tables requires knowledge acquiring and reasoning abilities, which have not been well explored by current state-of-the-art approaches. Motivated by this fact, we propose a knowledge-aware semantic parser to improve parsing performance by integrating various types of knowledge. In this paper, we consider three types of knowledge, including grammar knowledge, expert knowledge, and external resource knowledge. First, grammar knowledge empowers the model to effectively replicate previously generated logical form, which effectively handles the co-reference and ellipsis phenomena in conversation Second, based on expert knowledge, we propose a decomposable model, which is more controllable compared with traditional end-to-end models that put all the burdens of learning on trial-and-error in an end-to-end way. Third, external resource knowledge, i.e., provided by a pre-trained language model or an entity typing model, is used to improve the representation of question and table for a better semantic understanding. We conduct experiments on the SequentialQA dataset. Results show that our knowledge-aware model outperforms the state-of-the-art approaches. Incremental experimental results also prove the usefulness of various knowledge. Further analysis shows that our approach has the ability to derive the meaning representation of a context-dependent utterance by leveraging previously generated outcomes.


title: On multiple translative tiling in the plane

abstract: This paper shows that a multiple translative tile in the plane must be a multiple lattice tile.


title: A model to explain angular distributions of $J/\psi$ and $\psi(2S)$ decays into $\Lambda\overline{\Lambda}$ and $\Sigma^0\overline{\Sigma}^0$

abstract: BESIII data show a particular angular distribution for the decay of the $J/\psi$ and $\psi(2S)$ mesons into the hyperons $\Lambda\overline{\Lambda}$ and $\Sigma^0\overline{\Sigma}^0$. More in details the angular distribution of the decay $\psi(2S) \to \Sigma^0\overline{\Sigma}^0$ exhibits an opposite trend with respect to that of the other three channels: $J/\psi \to \Lambda\overline{\Lambda}$, $J/\psi \to \Sigma^0\overline{\Sigma}^0$ and $\psi(2S) \to \Lambda\overline{\Lambda}$. We define a model to explain the origin of this phenomenon.


title: Transforming acoustic characteristics to deceive playback spoofing countermeasures of speaker verification systems

abstract: Automatic speaker verification (ASV) systems use a playback detector to filter out playback attacks and ensure verification reliability. Since current playback detection models are almost always trained using genuine and played-back speech, it may be possible to degrade their performance by transforming the acoustic characteristics of the played-back speech close to that of the genuine speech. One way to do this is to enhance speech "stolen" from the target speaker before playback. We tested the effectiveness of a playback attack using this method by using the speech enhancement generative adversarial network to transform acoustic characteristics. Experimental results showed that use of this "enhanced stolen speech" method significantly increases the equal error rates for the baseline used in the ASVspoof 2017 challenge and for a light convolutional neural network-based method. The results also showed that its use degrades the performance of a Gaussian mixture model-universal background model-based ASV system. This type of attack is thus an urgent problem needing to be solved.


title: Prediction out-of-sample using block shrinkage estimators: model selection and predictive inference

abstract: In a linear regression model with random design, we consider a family of candidate models from which we want to select a `good' model for prediction out-of-sample. We fit the models using block shrinkage estimators, and we focus on the challenging situation where the number of explanatory variables can be of the same order as sample size and where the number of candidate models can be much larger than sample size. We develop an estimator for the out-of-sample predictive performance, and we show that the empirically best model is asymptotically as good as the truly best model. Using the estimator corresponding to the empirically best model, we construct a prediction interval that is approximately valid and short with high probability, i.e., we show that the actual coverage probability is close to the nominal one and that the length of this prediction interval is close to the length of the shortest but infeasible prediction interval. All results hold uniformly over a large class of data-generating processes. These findings extend results of Leeb (2009), where the models are fit using least-squares estimators, and of Huber (2013), where the models are fit using shrinkage estimators without block structure.


title: Retrieval-Enhanced Adversarial Training for Neural Response Generation

abstract: Dialogue systems are usually built on either generation-based or retrieval-based approaches, yet they do not benefit from the advantages of different models. In this paper, we propose a Retrieval-Enhanced Adversarial Training (REAT) method for neural response generation. Distinct from existing approaches, the REAT method leverages an encoder-decoder framework in terms of an adversarial training paradigm, while taking advantage of N-best response candidates from a retrieval-based system to construct the discriminator. An empirical study on a large scale public available benchmark dataset shows that the REAT method significantly outperforms the vanilla Seq2Seq model as well as the conventional adversarial training approach.


title: A Refined Sample of Lyman Excess H II Regions

abstract: A large number (67) of the compact/ultra-compact H II regions identified in the Coordinated Radio and Infrared Survey for High-Mass Star Formation catalogue were determined to be powered by a Lyman continuum flux in excess of what was expected given their corresponding luminosity. In this study we attempt to reasonably explain the Lyman excess phenomenon in as many of the 67 H II regions as possible through a variety of observational and astrophysical means including new luminosity estimates, new Herschel photometry, new distance determinations, the use of different models for dust and ionized gas covering factors, and the use of different stellar calibrations. This phenomenon has been observed before; however, the objects shown to exhibit this behaviour in the literature have decidedly different physical properties than the regions in our sample, and thus the origin of the excess is not the same. We find that the excess can be reproduced using OB stellar atmosphere models that have been slightly modified in the extreme ultraviolet. Though the exact mechanism producing the excess is still uncertain, we do find that a scaled up magnetospheric accretion model, often used to explain similar emission from T Tauri stars, is unable to match our observations. Our results suggest that the Lyman excess may be associated with younger H II regions, and that it is more commonly found in early B-type stars. Our refined sample of 24 Lyman excess H II regions provides an ideal sample for comparative studies with regular H II regions, and can act as the basis for the further detailed study of individual regions.


title: Classes of graphs with no long cycle as a vertex-minor are polynomially $\chi$-bounded

abstract: A class $\mathcal G$ of graphs is $\chi$-bounded if there is a function $f$ such that for every graph $G\in \mathcal G$ and every induced subgraph $H$ of $G$, $\chi(H)\le f(\omega(H))$. In addition, we say that $\mathcal G$ is polynomially $\chi$-bounded if $f$ can be taken as a polynomial function. We prove that for every integer $n\ge3$, there exists a polynomial $f$ such that $\chi(G)\le f(\omega(G))$ for all graphs with no vertex-minor isomorphic to the cycle graph $C_n$. To prove this, we show that if $\mathcal G$ is polynomially $\chi$-bounded, then so is the closure of $\mathcal G$ under taking the $1$-join operation.


title: Discretely Relaxing Continuous Variables for tractable Variational Inference

abstract: We explore a new research direction in Bayesian variational inference with discrete latent variable priors where we exploit Kronecker matrix algebra for efficient and exact computations of the evidence lower bound (ELBO). The proposed "DIRECT" approach has several advantages over its predecessors; (i) it can exactly compute ELBO gradients (i.e. unbiased, zero-variance gradient estimates), eliminating the need for high-variance stochastic gradient estimators and enabling the use of quasi-Newton optimization methods; (ii) its training complexity is independent of the number of training points, permitting inference on large datasets; and (iii) its posterior samples consist of sparse and low-precision quantized integers which permit fast inference on hardware limited devices. In addition, our DIRECT models can exactly compute statistical moments of the parameterized predictive posterior without relying on Monte Carlo sampling. The DIRECT approach is not practical for all likelihoods, however, we identify a popular model structure which is practical, and demonstrate accurate inference using latent variables discretized as extremely low-precision 4-bit quantized integers. While the ELBO computations considered in the numerical studies require over $10^{2352}$ log-likelihood evaluations, we train on datasets with over two-million points in just seconds.


title: Safe Navigation with Human Instructions in Complex Scenes

abstract: In this paper, we present a robotic navigation algorithm with natural language interfaces, which enables a robot to safely walk through a changing environment with moving persons by following human instructions such as "go to the restaurant and keep away from people". We first classify human instructions into three types: the goal, the constraints, and uninformative phrases. Next, we provide grounding for the extracted goal and constraint items in a dynamic manner along with the navigation process, to deal with the target objects that are too far away for sensor observation and the appearance of moving obstacles like humans. In particular, for a goal phrase (e.g., "go to the restaurant"), we ground it to a location in a predefined semantic map and treat it as a goal for a global motion planner, which plans a collision-free path in the workspace for the robot to follow. For a constraint phrase (e.g., "keep away from people"), we dynamically add the corresponding constraint into a local planner by adjusting the values of a local costmap according to the results returned by the object detection module. The updated costmap is then used to compute a local collision avoidance control for the safe navigation of the robot. By combining natural language processing, motion planning, and computer vision, our developed system is demonstrated to be able to successfully follow natural language navigation instructions to achieve navigation tasks in both simulated and real-world scenarios. Videos are available at https://sites.google.com/view/snhi


title: Music Transformer

abstract: Music relies heavily on repetition to build structure and meaning. Self-reference occurs on multiple timescales, from motifs to phrases to reusing of entire sections of music, such as in pieces with ABA structure. The Transformer (Vaswani et al., 2017), a sequence model based on self-attention, has achieved compelling results in many generation tasks that require maintaining long-range coherence. This suggests that self-attention might also be well-suited to modeling music. In musical composition and performance, however, relative timing is critically important. Existing approaches for representing relative positional information in the Transformer modulate attention based on pairwise distance (Shaw et al., 2018). This is impractical for long sequences such as musical compositions since their memory complexity for intermediate relative information is quadratic in the sequence length. We propose an algorithm that reduces their intermediate memory requirement to linear in the sequence length. This enables us to demonstrate that a Transformer with our modified relative attention mechanism can generate minute-long compositions (thousands of steps, four times the length modeled in Oore et al., 2018) with compelling structure, generate continuations that coherently elaborate on a given motif, and in a seq2seq setup generate accompaniments conditioned on melodies. We evaluate the Transformer with our relative attention mechanism on two datasets, JSB Chorales and Piano-e-Competition, and obtain state-of-the-art results on the latter.


title: Joint Segmentation and Uncertainty Visualization of Retinal Layers in Optical Coherence Tomography Images using Bayesian Deep Learning

abstract: Optical coherence tomography (OCT) is commonly used to analyze retinal layers for assessment of ocular diseases. In this paper, we propose a method for retinal layer segmentation and quantification of uncertainty based on Bayesian deep learning. Our method not only performs end-to-end segmentation of retinal layers, but also gives the pixel wise uncertainty measure of the segmentation output. The generated uncertainty map can be used to identify erroneously segmented image regions which is useful in downstream analysis. We have validated our method on a dataset of 1487 images obtained from 15 subjects (OCT volumes) and compared it against the state-of-the-art segmentation algorithms that does not take uncertainty into account. The proposed uncertainty based segmentation method results in comparable or improved performance, and most importantly is more robust against noise.


title: Incorporating Syntactic and Semantic Information in Word Embeddings using Graph Convolutional Networks

abstract: Word embeddings have been widely adopted across several NLP applications. Most existing word embedding methods utilize sequential context of a word to learn its embedding. While there have been some attempts at utilizing syntactic context of a word, such methods result in an explosion of the vocabulary size. In this paper, we overcome this problem by proposing SynGCN, a flexible Graph Convolution based method for learning word embeddings. SynGCN utilizes the dependency context of a word without increasing the vocabulary size. Word embeddings learned by SynGCN outperform existing methods on various intrinsic and extrinsic tasks and provide an advantage when used with ELMo. We also propose SemGCN, an effective framework for incorporating diverse semantic knowledge for further enhancing learned word representations. We make the source code of both models available to encourage reproducible research.


title: An Approach to Handle Big Data Warehouse Evolution

abstract: One of the purposes of Big Data systems is to support analysis of data gathered from heterogeneous data sources. Since data warehouses have been used for several decades to achieve the same goal, they could be leveraged also to provide analysis of data stored in Big Data systems. The problem of adapting data warehouse data and schemata to changes in these requirements as well as data sources has been studied by many researchers worldwide. However, innovative methods must be developed also to support evolution of data warehouses that are used to analyze data stored in Big Data systems. In this paper, we propose a data warehouse architecture that allows to perform different kinds of analytical tasks, including OLAP-like analysis, on big data loaded from multiple heterogeneous data sources with different latency and is capable of processing changes in data sources as well as evolving analysis requirements. The operation of the architecture is highly based on the metadata that are outlined in the paper.


title: Particle decay in Gaussian wave-packet formalism revisited

abstract: We derive the Fermi's golden rule in the Gaussian wave-packet formalism of quantum field theory, proposed by Ishikawa, Shimomura, and Tobita, for the particle decay within a finite time interval. We present a systematic procedure to separate the bulk contribution from those of time boundaries, while manifestly maintaining the unitarity of the $S$-matrix unlike the proposal by Stueckelberg in 1951. We also revisit the suggested deviation from the golden rule and clarify that it indeed corresponds to the boundary contributions, though their physical significance is yet to be confirmed.


title: Equidistributions of Jacobi sums

abstract: Let $\mathbf{F}_q$ be a finite field of $q$ elements. We show that the normalized Jacobi sum $J(\chi,\eta)/\sqrt{q}$, for each fixed non-trivial multiplicative character $\eta$, becomes equidistributed in the unit circle as $q\rightarrow+\infty,$ when $\chi$ runs over all non-trivial multiplicative characters different from $\eta^{-1}.$ Previously, the similar equidistribution was obtained by Katz and Zheng by varying both of $\chi$ and $\eta$. On the other hand, we also obtain the equidistribution of $J(\chi,\eta)$ as $(\chi,\eta)$ runs over $\mathcal{X}\times\mathcal{Y}\subseteq(\widehat{\mathrm{F}^*})^2$, as long as $|\mathcal{X}|>q^{\frac{1}{2}+\varepsilon}$ and $|\mathcal{Y}|>q^\varepsilon$ for any $\varepsilon>0$. This updates a recent work of Lu, Zheng and Zheng, who require $|\mathcal{X}||\mathcal{Y}|>q\log^2q.$ The main ingredient is the estimate for hypergeometric sums due to Katz.


title: Symmetry Conserving Configuration Mixing description of odd mass nuclei

abstract: We present a self-consistent theory for the description of the spectroscopic properties of odd nuclei which includes exact blocking, particle-number and angular-momentum projection and configuration mixing. In our theory the pairing correlations are treated in a variation-after-projection approach and the triaxial deformation parameters are explicitly considered as generator coordinates. The angular-momentum and particle-number symmetries are exactly recovered. The use of the effective finite-range density-dependent Gogny force in the calculations provides an added value to the theoretical results. We apply the theory to the textbook example of 25Mg and, although this nucleus has been thoroughly studied in the past, we still provide a novel view of nuclear phenomena taking place in this nucleus. We obtain an overall good agreement with the known experimental energies and transition probabilities without any additional parameter such as effective charges. In particular, we clearly identify six bands, two of which we interpret as collective gamma bands.


title: Deep Learning Based Multi-modal Addressee Recognition in Visual Scenes with Utterances

abstract: With the widespread use of intelligent systems, such as smart speakers, addressee recognition has become a concern in human-computer interaction, as more and more people expect such systems to understand complicated social scenes, including those outdoors, in cafeterias, and hospitals. Because previous studies typically focused only on pre-specified tasks with limited conversational situations such as controlling smart homes, we created a mock dataset called Addressee Recognition in Visual Scenes with Utterances (ARVSU) that contains a vast body of image variations in visual scenes with an annotated utterance and a corresponding addressee for each scenario. We also propose a multi-modal deep-learning-based model that takes different human cues, specifically eye gazes and transcripts of an utterance corpus, into account to predict the conversational addressee from a specific speaker's view in various real-life conversational scenarios. To the best of our knowledge, we are the first to introduce an end-to-end deep learning model that combines vision and transcripts of utterance for addressee recognition. As a result, our study suggests that future addressee recognition can reach the ability to understand human intention in many social situations previously unexplored, and our modality dataset is a first step in promoting research in this field.


title: General Hardy-Type Paradox Based on Bell inequality and its Experimental Test

abstract: Local realistic models cannot completely describe all predictions of quantum mechanics. This is known as Bell's theorem that can be revealed either by violations of Bell inequality, or all-versus-nothing proof of nonlocality. Hardy's paradox is an important all-versus-nothing proof and is considered as "the simplest form of Bell's theorem". In this work, we theoretically build the general framework of Hardy-type paradox based on Bell inequality. Previous Hardy's paradoxes have been found to be special cases within the framework. Stronger Hardy-type paradox has been found even for the two-qubit two-setting case, and the corresponding successful probability is about four times larger than the original one, thus providing a more friendly test for experiment. We also find that GHZ paradox can be viewed as a perfect Hardy-type paradox. Meanwhile, we experimentally test the stronger Hardy-type paradoxes in a two-qubit system. Within the experimental errors, the experimental results coincide with the theoretical predictions.


title: CATCH-919 Hand: Design of a 9-actuator 19-DOF Anthropomorphic Robotic Hand

abstract: To achieve human-like dexterity for anthropomorphic robotic hands, it is essential to understand the biomechanics and control strategies of the human hand, in order to reduce the number of actuators being used without loosing hand flexibility. To this end, in this article, we propose a new interpretation about the working mechanism of the metacarpal (MCP) joint's extension and the underlying control strategies of the human hand, based on which we further propose a highly flexible finger design to achieve independent movements of interphalangeal (IP) joints and MCP joint. Besides, we consider the hyperextension of fingertip into our design which helps robotic finger present compliant and adaptive posture for touching and pinching. In addition, human thumb muscle functions are reconstructed in the proposed robotic hand design, by replacing 9 human muscle tendons with 3 cables in the proposed task-oriented design, realizing all 33 static and stable grasping postures. Videos are available at https://sites.google.com/view/szwd


title: Molecular Configurations Around Single Vacancy in Solid CO2 at 0, 100, and 200 K Studied by Monte Carlo Simulation

abstract: The configurations of the molecules nearest to a single vacancy in solid CO2 were studied by the Metropolis Monte Carlo (MC) simulation at temperatures T = 0, 100, and 200 K. It was found that distorted orientational configurations at T = 0 and 100 K became uniform at 200 K. The MC simulation was useful to study the local configurations around the vacancy. This work is a continuation of a precedent paper, arXiv:1711.04976 [cond-mat.mtrl-sci] (2017).


title: Taming the beast: diffusion method in nonlocal gravity

abstract: We present a method to solve the nonlinear dynamical equations of motion in gravitational theories with fundamental nonlocalities of a certain type. For these specific form factors, which appear in some renormalizable theories, the number of field degrees of freedom and of initial conditions is finite.


title: Passively Q-switching cylindrical vector beam fiber laser operating in high-order mode

abstract: We experimentally demonstrate a linear-cavity all-fiber passively Q-switching cylindrical vector beam (CVB) laser operating in high-order mode. This CVB fiber laser operates without any mode converter which always leads to high insertion loss, and it can realize high efficiency. In this fiber laser, the stable Q-switching pulse is achieved with a slope efficiency of 39%. By properly adjusting the polarization controllers, radially polarized and azimuthally polarized beams can be obtained. Our work proves the feasibility of achieving the stable Q-switching CVB pulse with high-order mode directly oscillating, and it may have an enormous potential for enhancing the efficiency.


title: Cluster Variational Approximations for Structure Learning of Continuous-Time Bayesian Networks from Incomplete Data

abstract: Continuous-time Bayesian networks (CTBNs) constitute a general and powerful framework for modeling continuous-time stochastic processes on networks. This makes them particularly attractive for learning the directed structures among interacting entities. However, if the available data is incomplete, one needs to simulate the prohibitively complex CTBN dynamics. Existing approximation techniques, such as sampling and low-order variational methods, either scale unfavorably in system size, or are unsatisfactory in terms of accuracy. Inspired by recent advances in statistical physics, we present a new approximation scheme based on cluster-variational methods significantly improving upon existing variational approximations. We can analytically marginalize the parameters of the approximate CTBN, as these are of secondary importance for structure learning. This recovers a scalable scheme for direct structure learning from incomplete and noisy time-series data. Our approach outperforms existing methods in terms of scalability.


title: GW170817: implications for the local kilonova rate and for surveys from ground-based facilities

abstract: We compute the local rate of events similar to GRB 170817A, which has been recently found to be associated with a kilonova (KN) outburst. Our analysis finds an observed rate of such events of R$_{KN}\sim 352^{+810}_{-281}$ Gpc$^{-3}$yr$^{-1}$. After comparing at their face values this density of sGRB outbursts with the much higher density of Binary Neutron Star (BNS) mergers of 1540$^{+3200}_{-1220}$ Gpc$^{-3}$yr$^{-1}$, estimated by LIGO-Virgo collaboration, one can conclude, admittedly with large uncertainty that either only a minor fraction of BNS mergers produces sGRB/KN events or the sGRBs associated with BNS mergers are beamed and observable under viewing angles as large as $\theta$ $\leq$ $40^{\circ}$. Finally we provide preliminary estimates of the number of sGRB/KN events detected by future surveys carried out with present/future ground-based/space facilities, such as LSST, VST, ZTF, SKA and THESEUS.


title: Data-driven repetitive control: Wind tunnel experiments under turbulent conditions

abstract: A commonly applied method to reduce the cost of wind energy, is alleviating the periodic loads on turbine blades using Individual Pitch Control (IPC). In this paper, a data-driven IPC methodology called Subspace Predictive Repetitive Control (SPRC) is employed. The effectiveness of SPRC will be demonstrated on a scaled 2-bladed wind turbine. An open-jet wind tunnel with an innovative active grid is employed to generate reproducible turbulent wind conditions. A significant load reduction with limited actuator duty is achieved even under these high turbulent conditions. Furthermore, it will be demonstrated that SPRC is able to adapt to changing operating conditions.


title: b-Hadron production in the general-mass variable-flavour-number scheme and LHC data

abstract: We study inclusive b-hadron production in pp collisions at the LHC at different center-of-mass energies and compare with experimental data from the LHCb and CMS collaborations. Our predictions for cross sections differential in the transverse momentum and (pseudo-)rapidity agree with data within uncertainties due to renormalization scale variations. A small tension is found if data and theory predictions are compared for cross section ratios at different center-of-mass energies.


title: Searches for LFV with CMS: leptoquarks with couplings to quarks of the 3rd generation

abstract: Leptoquarks (LQ) with couplings to the third generation of Standard Model (SM) quarks have been proposed as possible explanations of the flavour anomalies indicating the violation of lepton flavour universality (LFV). The CMS collaboration has initiated an extensive search programme for these new states in the LHC run-2 data recorded at $\sqrt{s}=13$ TeV. In this article, the CMS search results in the LQ pair-production final states $\tau b\,\tau b$, $\nu t\,\nu t$, $\nu b\,\nu b$, $\tau t\,\tau t$, and $\mu t\,\mu t$, as well as in the LQ single-production final state $\tau\,\tau b$ are discussed. No significant deviation from the SM is observed in any of these channels. For a broad range of LQ decay modes, exclusion limits on the LQ masses are determined at 95% confidence level reaching from 1.0 TeV to 1.8 TeV.


title: The Belle II Core Software

abstract: Modern high-energy physics (HEP) enterprises, such as the Belle II experiment at the KEK laboratory in Japan, create huge amounts of data. Sophisticated algorithms for simulation, reconstruction, visualization, and analysis are required to fully exploit the potential of these data. We describe the core components of the Belle II software that provide the foundation for the development of complex algorithms and their efficient application on large data sets.


title: The Hubble Space Telescope UV Legacy Survey of Galactic Globular Clusters - XVII. Public Catalogue Release

abstract: In this paper we present the astro-photometric catalogues of 56 globular clusters and one open cluster. Astrometry and photometry are mainly based on images collected within the "HST Legacy Survey of Galactic Globular Clusters: Shedding UV Light on Their Populations and Formation" (GO-13297, PI:~Piotto), and the "ACS Survey of Galactic Globular Clusters" (GO-10775, PI:~Sarajedini). For each source in the catalogues for which we have reliable proper motion we also publish a membership probability for separation of field and cluster stars. These new catalogues, which we make public in Mikulski Archive for Space Telescopes, replace previous catalogues by Paper VIII of this series.


title: On symplectic resolutions and factoriality of Hamiltonian reductions

abstract: Recently, Herbig--Schwarz--Seaton have shown that $3$-large representations of a reductive group $G$ give rise to a large class of symplectic singularities via Hamiltonian reduction. We show that these singularities are always terminal. We show that they are $\mathbb{Q}$-factorial if and only if $G$ has finite abelianization. When $G$ is connected and semi-simple, we show they are actually locally factorial. As a consequence, the symplectic singularities do not admit symplectic resolutions when $G$ is semi-simple. We end with some open questions.


title: Nonequilibrium and morphological characterizations of Kelvin-Helmholtz instability in compressible flows

abstract: We investigate the effects of viscosity and heat conduction on the onset and growth of Kelvin-Helmholtz instability (KHI) via an efficient discrete Boltzmann model. Technically, two effective approaches are presented to quantitatively analyze and understand the configurations and kinetic processes. One is to determine the thickness of mixing layers through tracking the distributions and evolutions of the thermodynamic nonequilibrium (TNE) measures; the other is to evaluate the growth rate of KHI from the slopes of morphological functionals. Physically, it is found that the time histories of width of mixing layer, TNE intensity, and boundary length show high correlation and attain their maxima simultaneously. The viscosity effects are twofold, stabilize the KHI, and enhance both the local and global TNE intensities. Contrary to the monotonically inhibiting effects of viscosity, the heat conduction effects firstly refrain then enhance the evolution afterwards. The physical reasons are analyzed and presented.


title: High phonon-limited mobility of BAs under pressure

abstract: Recent experiment reports that high thermal conductivity of ~1000 W/mK is observed in cubic boron arsenide crystal (BAs). In order to expand the scope of future applications, we use first-principles calculations to investigate the phonon-limited electronic transport in BAs family and modulation effect of pressure. In the case of electron doping, BAs, AlAs and AlSb exhibit the coupling between high frequency optical phonons and electron as well as the low frequency acoustical phonons in BSb. And BAs has the weakest electron-phonon coupling thus has a high N-type carrier mobility of 1740 cm^2/Vs. After the introduction of pressure, phonon spectra has more obvious change than the electronic structure. The phonon hardening under the pressure gives rise to the weakening of electron-phonon coupling. It is obtained that the pressure of 50 GPa can improve the mobility of BAs up to 4300 cm^2/Vs, which is much high and great significance to the current semiconductor industry.


title: Power values of sums of certain products of consecutive integers and related results

abstract: Let $n$ be a non-negative integer and put $p_{n}(x)=\prod_{i=0}^{n}(x+i)$. In the first part of the paper, for given $n$, we study the existence of integer solutions of the Diophantine equation $$ y^m=p_{n}(x)+\sum_{i=1}^{k}p_{a_{i}}(x), $$ where $m\in\N_{\geq 2}$ and $a_{1}<a_{2}<\ldots <a_{k}<n$. This equation can be considered as a generalization of the Erd\H{o}s-Selfridge Diophantine equation $y^m=p_{n}(x)$. We present some general finiteness results concerning the integer solutions of the above equation. In particular, if $n\geq 2$ with $a_{1}\geq 2$, then our equation has only finitely many solutions in integers. In the second part of the paper we study the equation $$ y^m=\sum_{i=1}^{k}p_{a_{i}}(x_{i}), $$ for $m=2, 3$, which can be seen as an additive version of the equation considered by Erd\H{o}s and Graham. In particular, we prove that if $m=2, a_{1}=1$ or $m=3, a_{2}=2$, then for each $k-1$ tuple of positive integers $(a_{2},\ldots, a_{k})$ there are infinitely many solutions in integers.


title: On Kn\"orrer periodicity for quadric hypersurfaces in skew projective spaces

abstract: We study the structure of the stable category $\mathsf{\underline{CM}}^{\mathbb Z}(S/(f))$ of graded maximal Cohen-Macaulay module over $S/(f)$ where $S$ is a graded ($\pm 1$)-skew polynomial algebra in $n$ variables of degree 1, and $f =x_1^2 + \cdots +x_n^2$. If $S$ is commutative, then the structure of $\mathsf{\underline{CM}}^{\mathbb Z}(S/(f))$ is well-known by Kn\"orrer's periodicity theorem. In this paper, we prove that if $n\leq 5$, then the structure of $\mathsf{\underline{CM}}^{\mathbb Z}(S/(f))$ is determined by the number of irreducible components of the point scheme of $S$ which are isomorphic to ${\mathbb P}^1$.


title: Chinese Poetry Generation with a Working Memory Model

abstract: As an exquisite and concise literary form, poetry is a gem of human culture. Automatic poetry generation is an essential step towards computer creativity. In recent years, several neural models have been designed for this task. However, among lines of a whole poem, the coherence in meaning and topics still remains a big challenge. In this paper, inspired by the theoretical concept in cognitive psychology, we propose a novel Working Memory model for poetry generation. Different from previous methods, our model explicitly maintains topics and informative limited history in a neural memory. During the generation process, our model reads the most relevant parts from memory slots to generate the current line. After each line is generated, it writes the most salient parts of the previous line into memory slots. By dynamic manipulation of the memory, our model keeps a coherent information flow and learns to express each topic flexibly and naturally. We experiment on three different genres of Chinese poetry: quatrain, iambic and chinoiserie lyric. Both automatic and human evaluation results show that our model outperforms current state-of-the-art methods.


title: Filippov trajectories and clustering in the Kuramoto model with singular couplings

abstract: We study the synchronization of a generalized Kuramoto system in which the coupling weights are determined by the phase differences between oscillators. We employ the fast-learning regime in a Hebbian-like plasticity rule so that the interaction between oscillators is enhanced by the approach of phases. First, we study the well-posedness problem for the singular weighted Kuramoto systems in which the Lipschitz continuity is deprived. We present the dynamics of the system equipped with singular weights in all the subcritical, critical and supercritical regimes of the singularity. A key fact is that solutions in the most singular cases must be considered in Filippov's sense. We characterize sticking of phases in the subcritical and critical case and we exhibit a continuation criterion of classical solutions after any collision state in the supercritical regime. Second, we prove that strong solutions to these systems of differential inclusions can be recovered as singular limits of regular weights. We also provide the emergence of synchronous dynamics for the singular and regular weighted Kuramoto models.


title: The breadth-degree type of a finite $p$-group

abstract: We determine an upper bound for the size of a stem $p$-group in terms of its breadth and its maximum character degree.


title: The gravity of light-waves

abstract: Light waves carry along their own gravitational field; for simple plain electromagnetic waves the gravitational field takes the form of a pp-wave. I present the corresponding exact solution of the Einstein-Maxwell equations and discuss the dynamics of classical particles and quantum fields in this gravitational and electromagnetic background.


title: Fourth order finite difference methods for the wave equation with mesh refinement interfaces

abstract: We analyze two types of summation-by-parts finite difference operators for approximating the second derivative with variable coefficient. The first type uses ghost points, while the second type does not use any ghost points. A previously unexplored relation between the two types of summation-by-parts operators is investigated. By combining them we develop a new fourth order accurate finite difference discretization with hanging nodes on the mesh refinement interface. We take the model problem as the two-dimensional acoustic wave equation in second order form in terms of acoustic pressure, and prove energy stability for the proposed method. Compared to previous approaches using ghost points, the proposed method leads to a smaller system of linear equations that needs to be solved for the ghost point values. Another attractive feature of the proposed method is that the explicit time step does not need to be reduced relative to the corresponding periodic problem. Numerical experiments, both for smoothly varying and discontinuous material properties, demonstrate that the proposed method converges to fourth order accuracy. A detailed comparison of the accuracy and the time-step restriction with the simultaneous-approximation-term penalty method is also presented.


title: Some breathers and multi-breathers for FPU-type chains

abstract: We consider several breather solutions for FPU-type chains that have been found numerically. Using computer-assisted techniques, we prove that there exist true solutions nearby, and in some cases, we determine whether or not the solution is spectrally stable. Symmetry properties are considered as well. In addition, we construct solutions that are close to (possibly infinite) sums of breather solutions.


title: The Curse and Blessing of Not-All-Equal in k-Satisfiability

abstract: As a natural variant of the $k$-SAT problem, NAE-$k$-SAT additionally requires the literals in each clause to take not-all-equal (NAE) truth values. In this paper, we study the worst-case time complexities of solving NAE-$k$-SAT and MAX-NAE-$k$-SAT approximation, as functions of $k$, the number of variables $n$, and the performance ratio $\delta$. The latter problem asks for a solution of at least $\delta$ times the optimal. Our main results include: (1) A deterministic algorithm for NAE-$k$-SAT that is faster than the best deterministic algorithm for $k$-SAT on all $k \ge 3$. Previously, no NAE-$k$-SAT algorithm is known to be faster than $k$-SAT algorithms. For $k = 3$, we achieve an upper bound of $1.326^n$. The corresponding bound for $3$-SAT is $1.328^n$. (2) A randomized algorithm for MAX-NAE-$k$-SAT approximation, with upper bound $(2 - \epsilon_k(\delta))^n$ where $\epsilon_k(\delta) > 0$ only depends on $k$ and $\delta$. Previously, no upper bound better than the trivial $2^n$ is known for MAX-NAE-$k$-SAT approximation on $k \ge 4$. For $\delta = 0.9$ and $k = 4$, we achieve an upper bound of $1.947^n$. (3) A deterministic algorithm for MAX-NAE-$k$-SAT approximation. For $\delta = 0.9$ and $k = 3$, we achieve an upper bound of $1.698^n$, which is better than the upper bound $1.731^n$ of the exact algorithm for MAX-NAE-$3$-SAT. Our finding sheds new light on the following question: Is NAE-$k$-SAT easier than $k$-SAT? The answer might be affirmative at least on solving the problems exactly and deterministically, while approximately solving MAX-NAE-$k$-SAT might be harder than MAX-$k$-SAT on $k \ge 4$.


title: Chinese Poetry Generation with a Salient-Clue Mechanism

abstract: As a precious part of the human cultural heritage, Chinese poetry has influenced people for generations. Automatic poetry composition is a challenge for AI. In recent years, significant progress has been made in this area benefiting from the development of neural networks. However, the coherence in meaning, theme or even artistic conception for a generated poem as a whole still remains a big problem. In this paper, we propose a novel Salient-Clue mechanism for Chinese poetry generation. Different from previous work which tried to exploit all the context information, our model selects the most salient characters automatically from each so-far generated line to gradually form a salient clue, which is utilized to guide successive poem generation process so as to eliminate interruptions and improve coherence. Besides, our model can be flexibly extended to control the generated poem in different aspects, for example, poetry style, which further enhances the coherence. Experimental results show that our model is very effective, outperforming three strong baselines.


title: On the Number of Increasing Trees with Label Repetitions

abstract: We study the asymptotic number of certain monotonically labeled increasing trees arising from a generalized evolution process. The main difference between the presented model and the classical model of binary increasing trees is that the same label can appear in distinct branches of the tree. In the course of the analysis we develop a method to extract asymptotic information on the coefficients of purely formal power series. The method is based on an approximate Borel transform (or, more generally, Mittag-Leffler transform) which enables us to quickly guess the exponential growth rate. With this guess the sequence is then rescaled and a singularity analysis of the generating function of the scaled counting sequence yields accurate asymptotics. The actual analysis is based on differential equations and a Tauberian argument. The counting problem for trees of size n exhibits interesting asymptotics involving powers of n with irrational exponents.


title: Neutron star universal relations with microscopic equations of state

abstract: We calculate neutron star's moment of inertia and deformabilities using various microscopic equations of state for nuclear and hybrid star configurations. Correlations between the various observables are examined and we confirm several universal relations. We focus in particular on the constraints for the neutron star radii imposed by a determination of the average tidal deformability of the binary neutron star system GW170817. We find compatible radii between 12 and 13 kilometers and identify the suitable equations of state.


title: On superspecial abelian surfaces and type numbers of totally definite quaternion algebras

abstract: In this paper we determine the number of endomorphism rings of superspecial abelian surfaces over a field $\mathbb{F}_q$ of odd degree over $\mathbb{F}_p$ in the isogeny class corresponding to the Weil $q$-number $\pm\sqrt{q}$. This extends earlier works of T.-C. Yang and the present authors on the isomorphism classes of these abelian surfaces, and also generalizes the classical formula of Deuring for the number of endomorphism rings of supersingular elliptic curves. Our method is to explore the relationship between the type and class numbers of the quaternion orders concerned. We study the Picard group action of the center of an arbitrary $\mathbb{Z}$-order in a totally definite quaternion algebra on the ideal class set of said order, and derive an orbit number formula for this action. This allows us to prove an integrality assertion of Vign\'eras [Enseign. Math. (2), 1975] as follows. Let $F$ be a totally real field of even degree over $\mathbb{Q}$, and $D$ be the (unique up to isomorphism) totally definite quaternion $F$-algebra unramified at all finite places of $F$. Then the quotient $h(D)/h(F)$ of the class numbers is an integer.


title: Action Representations in Robotics: A Taxonomy and Systematic Classification

abstract: Understanding and defining the meaning of "action" is substantial for robotics research. This becomes utterly evident when aiming at equipping autonomous robots with robust manipulation skills for action execution. Unfortunately, to this day we still lack both a clear understanding of the concept of an action and a set of established criteria that ultimately characterize an action. In this survey we thus first review existing ideas and theories on the notion and meaning of action. Subsequently we discuss the role of action in robotics and attempt to give a seminal definition of action in accordance with its use in robotics research. Given this definition we then introduce a taxonomy for categorizing action representations in robotics along various dimensions. Finally, we provide a systematic literature survey on action representations in robotics where we categorize relevant literature along our taxonomy. After discussing the current state of the art we conclude with an outlook towards promising research directions.


title: Neural Melody Composition from Lyrics

abstract: In this paper, we study a novel task that learns to compose music from natural language. Given the lyrics as input, we propose a melody composition model that generates lyrics-conditional melody as well as the exact alignment between the generated melody and the given lyrics simultaneously. More specifically, we develop the melody composition model based on the sequence-to-sequence framework. It consists of two neural encoders to encode the current lyrics and the context melody respectively, and a hierarchical decoder to jointly produce musical notes and the corresponding alignment. Experimental results on lyrics-melody pairs of 18,451 pop songs demonstrate the effectiveness of our proposed methods. In addition, we apply a singing voice synthesizer software to synthesize the "singing" of the lyrics and melodies for human evaluation. Results indicate that our generated melodies are more melodious and tuneful compared with the baseline method.


title: Excess Loss in Homodyne Detection Originating from Distributed Photocarrier Generation in Photodiodes

abstract: The distributed absorption of photons in photodiodes induces an excess noise in continuous-wave photodetection above the transit-time roll-off frequency. We show that it can be treated as a frequency-dependent excess optical loss in homodyne detection. This places a limit on the bandwidth of high-accuracy homodyne detection, even if an ideal photodetector circuit is available. We experimentally verify the excess loss in two ways; a comparison of signal gain and shot-noise gain of one-port homodyne detection, and a balanced homodyne detection of squeezed light at 500 MHz sideband. These results agree with an analytic expression we develop, where the randomness of the photoabsorption is directly modeled by an intrusion of vacuum field. At 500 MHz, we estimate the excess loss at 14% for a Si-PIN photodiode with 860 nm incident light, while the numerical simulation predicts much smaller excess loss in InGaAs photodiodes with 1550 nm light.


title: Learning regression and verification networks for long-term visual tracking

abstract: Compared with short-term tracking, the long-term tracking task requires determining the tracked object is present or absent, and then estimating the accurate bounding box if present or conducting image-wide re-detection if absent. Until now, few attempts have been done although this task is much closer to designing practical tracking systems. In this work, we propose a novel long-term tracking framework based on deep regression and verification networks. The offline-trained regression model is designed using the object-aware feature fusion and region proposal networks to generate a series of candidates and estimate their similarity scores effectively. The verification network evaluates these candidates to output the optimal one as the tracked object with its classification score, which is online updated to adapt to the appearance variations based on newly reliable observations. The similarity and classification scores are combined to obtain a final confidence value, based on which our tracker can determine the absence of the target accurately and conduct image-wide re-detection to capture the target successfully when it reappears. Extensive experiments show that our tracker achieves the best performance on the VOT2018 long-term challenge and state-of-the-art results on the OxUvA long-term dataset.


title: Prospects for Heavy Scalar Searches at the LHeC

abstract: In this article we study the prospects of the proposed Large Hadron electron Collider (LHeC) in the search for heavy neutral scalar particles. We consider a minimal model with one additional complex scalar singlet that interacts with the Standard Model (SM) via mixing with the Higgs doublet, giving rise to a SM-like Higgs boson $h_1$ and a heavy scalar particle $h_2$. Both scalar particles are produced via vector boson fusion and can be tested via their decays into pairs of SM particles, analogously to the SM Higgs boson. Using multivariate techniques we show that the LHeC is sensitive to $h_2$ with masses between 200 and 800 GeV down to scalar mixing of $\sin^2 \alpha \sim 10^{-3}$.


title: Reinforcement Learning in Topology-based Representation for Human Body Movement with Whole Arm Manipulation

abstract: Moving a human body or a large and bulky object can require the strength of whole arm manipulation (WAM). This type of manipulation places the load on the robot's arms and relies on global properties of the interaction to succeed---rather than local contacts such as grasping or non-prehensile pushing. In this paper, we learn to generate motions that enable WAM for holding and transporting of humans in certain rescue or patient care scenarios. We model the task as a reinforcement learning problem in order to provide a behavior that can directly respond to external perturbation and human motion. For this, we represent global properties of the robot-human interaction with topology-based coordinates that are computed from arm and torso positions. These coordinates also allow transferring the learned policy to other body shapes and sizes. For training and evaluation, we simulate a dynamic sea rescue scenario and show in quantitative experiments that the policy can solve unseen scenarios with differently-shaped humans, floating humans, or with perception noise. Our qualitative experiments show the subsequent transporting after holding is achieved and we demonstrate that the policy can be directly transferred to a real world setting.


title: Numerical scheme for simulation of transient flows of non-Newtonian fluids characterised by a non-monotone relation between the symmetric part of the velocity gradient and the Cauchy stress tensor

abstract: We propose a numerical scheme for simulation of transient flows of incompressible non-Newtonian fluids characterised by a non-monotone relation between the symmetric part of the velocity gradient (shear rate) and the Cauchy stress tensor (shear stress). The main difficulty in dealing with the governing equations for flows of such fluids is that the non-monotone constitutive relation allows several values of the stress to be associated with the same value of the symmetric part of the velocity gradient. This issue is handled via a reformulation of the governing equations. The equations are reformulated as a system for the triple pressure-velocity-apparent viscosity, where the apparent viscosity is given by a scalar implicit equation. We prove that the proposed numerical scheme has---on the discrete level---a solution, and using the proposed scheme we numerically solve several flow problems.


title: Poster Abstract: LPWA-MAC - a Low Power Wide Area network MAC protocol for cyber-physical systems

abstract: Low-Power Wide-Area Networks (LPWANs) are being successfully used for the monitoring of large-scale systems that are delay-tolerant and which have low-bandwidth requirements. The next step would be instrumenting these for the control of Cyber-Physical Systems (CPSs) distributed over large areas which require more bandwidth, bounded delays and higher reliability or at least more rigorous guarantees therein. This paper presents LPWA-MAC, a novel Low Power Wide-Area network MAC protocol, that ensures bounded end-to-end delays, high channel utility and supports many of the different traffic patterns and data-rates typical of CPS.


title: On the status of expansion by regions

abstract: We discuss the status of expansion by regions, i.e. a well-known strategy to obtain an expansion of a given multiloop Feynman integral in a given limit where some kinematic invariants and/or masses have certain scaling measured in powers of a given small parameter. Using the Lee-Pomeransky parametric representation, we formulate the corresponding prescriptions in a simple geometrical language and make a conjecture that they hold even in a much more general case. We prove this conjecture in some partial cases and illustrate them in a simple example.


title: Crossover from three- to six-fold symmetry of colloidal aggregates in circular traps

abstract: At sufficiently low temperatures and high densities, repulsive spherical particles in two-dimensions (2d) form close-packed structures with six-fold symmetry. By contrast, when the interparticle interaction has an attractive anisotropic component, the structure may exhibit the symmetry of the interaction. We consider a suspension of spherical particles interacting through an isotropic repulsive potential and a three-fold symmetric attractive interaction, confined in circular potential traps in 2d. We find that, due to the competition between the interparticle and the external potentials, the particles self-organize into structures with three- or six-fold symmetry, depending on the width of the traps. For intermediate trap widths, a core-shell structure is formed, where the core has six-fold symmetry and the shell is three-fold symmetric. When the width of the trap changes periodically in time, the symmetry of the colloidal structure also changes, but it does not necessarily follow that of the corresponding static trap.


title: A quantum algebra approach to multivariate Askey-Wilson polynomials

abstract: We study matrix elements of a change of base between two different bases of representations of the quantum algebra $U_q(su(1,1))$. The two bases, which are multivariate versions of Al-Salam--Chihara polynomials, are eigenfunctions of iterated coproducts of twisted primitive elements. The matrix elements are identified with Gasper and Rahman's multivariate Askey-Wilson polynomials, and from this interpretation we derive their orthogonality relations. Furthermore, the matrix elements are shown to be eigenfunctions of the twisted primitive elements after a change of representation, which gives a quantum algebraic derivation of the fact that the multivariate Askey-Wilson polynomials are solutions of a multivariate bispectral $q$-difference problem.