title: Stop talking to me -- a communication-avoiding ADER-DG realisation

abstract: We present a communication- and data-sensitive formulation of ADER-DG for hyperbolic differential equation systems. Sensitive here has multiple flavours: First, the formulation reduces the persistent memory footprint. This reduces pressure on the memory subsystem. Second, the formulation realises the underlying predictor-corrector scheme with single-touch semantics, i.e., each degree of freedom is read on average only once per time step from the main memory. This reduces communication through the memory controllers. Third, the formulation breaks up the tight coupling of the explicit time stepping's algorithmic steps to mesh traversals. This averages out data access peaks. Different operations and algorithmic steps are ran on different grid entities. Finally, the formulation hides distributed memory data transfer behind the computation aligned with the mesh traversal. This reduces pressure on the machine interconnects. All techniques applied by our formulation are elaborated by means of a rigorous task formalism. They break up ADER-DG's tight causal coupling of compute steps and can be generalised to other predictor-corrector schemes.


title: Identifying two groups of massive stars aligned in the $l\sim38^{\circ}$ Galactic direction

abstract: Context: Recent near-infrared data have contributed to unveil massive and obscured stellar populations in both new and previously known clusters in our Galaxy. These discoveries lead us to view the Milky Way as an active star-forming machine. Aims: We look for young massive cluster candidates as over-densities of OB-type stars. The first search, focused on the Galactic direction $l=38^{\circ}$, resulted in the detection of two objects with a remarkable population of OB-type star candidates. Methods: With a modified version of the friends-of-friends algorithm AUTOPOP and using 2MASS and UKIDSS-GPS near-infrared ($J$, $H$, and $K$) photometry for one of our cluster candidates (named Masgomas-6) we selected 30 stars for multi-object and long-slit $H$- and $K$-spectroscopy. With the spectral classification and the near-infrared photometric data, we derive individual distance, extinction and radial velocity. Results: Of the 30 spectroscopically observed stars, 20 are classified as massive stars, including OB-types (dwarfs, giants and supergiants), two red supergiants, two Wolf-Rayet (WR122-11 and the new WR122-16), and one transitional object (the LBV candidate IRAS 18576+0341). The individual distances and radial velocities do not agree with a single cluster, indicating that we are observing two populations of massive stars in the same line-of-sight: Masgomas-6a and Masgomas-6b. The first group of massive stars, located at 3.9$^{+0.4}_{-0.3}$ kpc, contains both Wolf-Rayets and most of the OB-dwarfs, and Masgomas-6b, at $9.6\pm0.4$ kpc, hosts the LBV candidate and an evolved population of supergiants. We are able to identify massive stars at two Galactic arms, but we can not clearly identify whether these massive stars form clusters or associations.


title: Radius of Uniform Convexity of some special functions

abstract: In this investigation our main aim is to determine the radius of uniform convexity of the some normalized q-Bessel and Wright functions. Here we consider six different normalized forms of q-Bessel functions, while we apply three different kinds of normalizations of Wright function. Also, we have shown that the obtained radii are the smallest positive roots of some functional equations.


title: On the Coherent Labelling Conjecture of a Polyhedron in Three Dimensions

abstract: In this article we consider an open conjecture about coherently labelling a polyhedron in three dimensions. We exhibit all the forty eight possible coherent labellings of a tetrahedron. We also exhibit that some simplicial polyhedra like bipyramids, Kleetopes, gyroelongated bipyramids are coherently labellable. Also we prove that pyramids over $n$-gons for $n\geq 4$, which are not simplicial polyhedra, are coherently labellable. We prove that among platonic solids, the cube and the dodecahedron are not coherently labellable, even though, the tetrahedron, the octahedron and the icosahedron are coherently labellable. Unlike the case of a tetrahedron, in general for a polyhedron, we show that a coherent labelling need not induce a coherent labelling at a vertex. We prove the main conjecture in the affirmative for a certain class of polyhedra which are constructible from tetrahedra through certain types of edge and face vanishing tetrahedron attachments. As a consequence we conclude that a cube cannot be obtained from only these type of tetrahedron attachments. We also give an obstruction criterion for a polyhedron to be not coherently labellable and consequentially show that any polyhedron obtained from a pyramid with its apex chopped off is not coherently labellable. Finally with the suggestion of the affirmative results we prove the main theorem that any simplicial polyhedron is coherently labellable.


title: Selection-adjusted inference: an application to confidence intervals for cis-eQTL effect sizes

abstract: The goal of eQTL studies is to identify the genetic variants that influence the expression levels of the genes in an organism. High throughput technology has made such studies possible: in a given tissue sample, it enables us to quantify the expression levels of approximately 20,000 genes and to record the alleles present at millions of genetic polymorphisms. While obtaining this data is relatively cheap once a specimen is at hand, obtaining human tissue remains a costly endeavor. Thus, eQTL studies continue to be based on relatively small sample sizes, with this limitation particularly serious for tissues of most immediate medical relevance. Given the high dimensional nature of this datasets and the large number of hypotheses tested, the scientific community has adopted early on multiplicity adjustment procedures, which primarily control the false discoveries rate for the identification of genetic variants with influence on the expression levels. In contrast, a problem that has not received much attention to date is that of providing estimates of the effect sizes associated to these variants, in a way that accounts for the considerable amount of selection. We illustrate how the recently developed conditional inference approach can be deployed to obtain confidence intervals for the eQTL effect sizes with reliable coverage. The procedure we propose is based on a randomized hierarchical strategy that both reflects the steps typically adopted in state of the art investigations and introduces the use of randomness instead of data splitting to maximize the use of available data. Analysis of the GTEx Liver dataset (v6) suggests that naively obtained confidence intervals would likely not cover the true values of effect sizes and that the number of local genetic polymorphisms influencing the expression level of genes might be underestimated.


title: Lurking systematics in predicting galaxy cold gas masses using dust luminosities and star formation rates

abstract: We use galaxies from the Herschel Reference Survey to evaluate commonly used indirect predictors of cold gas masses. We calibrate predictions for cold neutral atomic and molecular gas using infrared dust emission and gas depletion time methods which are self-consistent and have ~20% accuracy (with the highest accuracy in the prediction of total cold gas mass). However, modest systematic residual dependences are found in all calibrations which depend on the partition between molecular and atomic gas, and can over/under-predict gas masses by up to 0.3dex. As expected, dust-based estimates are best at predicting the total gas mass while depletion time-based estimates are only able to predict the (star-forming) molecular gas mass. Additionally, we advise caution when applying these predictions to high-z galaxies, as significant (0.5dex or more) errors can arise when incorrect assumptions are made about the dominant gas phase. Any scaling relations derived using predicted gas masses may be more closely related to the calibrations used than to the actual galaxies observed.


title: Enhancement of the thermoelectric effect due to the Majorana zero modes coupled to one quantum-dot system

abstract: By considering Majorana zero modes to laterally couple to the quantum dot, we evaluate the thermoelectric effect in one single-dot system. The calculation results show that if one Majorana zero mode couples to the dot, the thermoelectric effect will exhibit its change, but the thermoelectric efficiency cannot be enhanced apparently. However, the thermoelectric effect can be efficiently strengthened when two Majorana zero modes are introduced simultaneously. We believe that the findings in this work provide an alternative method for the detection of Majorana bound state.


title: i-Josephson Junction as Topological Superconductor

abstract: We show that the time reversal symmetry inevitably breaks in a superconducting Josephson junction formed by two superconductors with different pairing symmetries dubbed as i-Josephson junction. While the leading conventional Josephson coupling vanishes in such an i-Josephson junction, the second order coupling from tunneling always generates chiral superconductivity orders with broken time reversal symmetry. Josephson frequency in the i-junction is doubled, namely $\omega = 4eV /h$. The result provides a way to engineer topological superconductivity such as the d + id' -wave superconducting state characterized by a nonzero Chern number.


title: Charge reconstruction in large-area photomultipliers

abstract: Large-area PhotoMultiplier Tubes (PMT) allow to efficiently instrument Liquid Scintillator (LS) neutrino detectors, where large target masses are pivotal to compensate for neutrinos' extremely elusive nature. Depending on the detector light yield, several scintillation photons stemming from the same neutrino interaction are likely to hit a single PMT in a few tens/hundreds of nanoseconds, resulting in several photoelectrons (PEs) to pile-up at the PMT anode. In such scenario, the signal generated by each PE is entangled to the others, and an accurate PMT charge reconstruction becomes challenging. This manuscript describes an experimental method able to address the PMT charge reconstruction in the case of large PE pile-up, providing an unbiased charge estimator at the permille level up to 15 detected PEs. The method is based on a signal filtering technique (Wiener filter) which suppresses the noise due to both PMT and readout electronics, and on a Fourier-based deconvolution able to minimize the influence of signal distortions ---such as an overshoot. The analysis of simulated PMT waveforms shows that the slope of a linear regression modeling the relation between reconstructed and true charge values improves from $0.769 \pm 0.001$ (without deconvolution) to $0.989 \pm 0.001$ (with deconvolution), where unitary slope implies perfect reconstruction. A C++ implementation of the charge reconstruction algorithm is available online at http://www.fe.infn.it/CRA .


title: On Quasi-Newton Forward--Backward Splitting: Proximal Calculus and Convergence

abstract: We introduce a framework for quasi-Newton forward--backward splitting algorithms (proximal quasi-Newton methods) with a metric induced by diagonal $\pm$ rank-$r$ symmetric positive definite matrices. This special type of metric allows for a highly efficient evaluation of the proximal mapping. The key to this efficiency is a general proximal calculus in the new metric. By using duality, formulas are derived that relate the proximal mapping in a rank-$r$ modified metric to the original metric. We also describe efficient implementations of the proximity calculation for a large class of functions; the implementations exploit the piece-wise linear nature of the dual problem. Then, we apply these results to acceleration of composite convex minimization problems, which leads to elegant quasi-Newton methods for which we prove convergence. The algorithm is tested on several numerical examples and compared to a comprehensive list of alternatives in the literature. Our quasi-Newton splitting algorithm with the prescribed metric compares favorably against state-of-the-art. The algorithm has extensive applications including signal processing, sparse recovery, machine learning and classification to name a few.


title: Trisections of 4-manifolds with Boundary

abstract: Given a handle decomposition of a 4-manifold with boundary, and an open book decomposition of the boundary, we show how to produce a trisection diagram of a trisection of the 4-manifold inducing the given open book. We do this by making the original proof of the existence of relative trisections more explicit, in terms of handles. Furthermore, we extend this existence result to the case of 4-manifolds with multiple boundary components, and show how trisected 4-manifolds with multiple boundary components glue together.


title: Improved Finite Blocklength Converses for Slepian-Wolf Coding via Linear Programming

abstract: A new finite blocklength converse for the Slepian- Wolf coding problem is presented which significantly improves on the best known converse for this problem, due to Miyake and Kanaya [2]. To obtain this converse, an extension of the linear programming (LP) based framework for finite blocklength point- to-point coding problems from [3] is employed. However, a direct application of this framework demands a complicated analysis for the Slepian-Wolf problem. An analytically simpler approach is presented wherein LP-based finite blocklength converses for this problem are synthesized from point-to-point lossless source coding problems with perfect side-information at the decoder. New finite blocklength metaconverses for these point-to-point problems are derived by employing the LP-based framework, and the new converse for Slepian-Wolf coding is obtained by an appropriate combination of these converses.


title: PDNet: Semantic Segmentation integrated with a Primal-Dual Network for Document binarization

abstract: Binarization of digital documents is the task of classifying each pixel in an image of the document as belonging to the background (parchment/paper) or foreground (text/ink). Historical documents are often subjected to degradations, that make the task challenging. In the current work a deep neural network architecture is proposed that combines a fully convolutional network with an unrolled primal-dual network that can be trained end-to-end to achieve state of the art binarization on four out of seven datasets. Document binarization is formulated as an energy minimization problem. A fully convolutional neural network is trained for semantic segmentation of pixels that provides labeling cost associated with each pixel. This cost estimate is refined along the edges to compensate for any over or under estimation of the foreground class using a primal-dual approach. We provide necessary overview on proximal operator that facilitates theoretical underpinning required to train a primal-dual network using a gradient descent algorithm. Numerical instabilities encountered due to the recurrent nature of primal-dual approach are handled. We provide experimental results on document binarization competition dataset along with network changes and hyperparameter tuning required for stability and performance of the network. The network when pre-trained on synthetic dataset performs better as per the competition metrics.


title: An inverse result of approximation by sampling Kantorovich series

abstract: In the present paper, an inverse result of approximation, i.e., a saturation theorem for the sampling Kantorovich operators is derived, in the case of uniform approximation for uniformly continuous and bounded functions on the whole real line. In particular, here we prove that the best possible order of approximation that can be achieved by the above sampling series is the order one, otherwise the function being approximated turns to be a constant. The above result is proved by exploiting a suitable representation formula which relates the sampling Kantorovich series with the well-known generalized sampling operators introduced by P.L. Butzer. At the end, some other applications of such representation formula are presented, together with a discussion concerning the kernels of the above operators for which such an inverse result occurs.


title: Uniqueness and nondegeneracy of ground states to nonlinear scalar field equations involving the Sobolev critical exponent in their nonlinearities for high frequencies

abstract: The study of the uniqueness and nondegeneracy of ground state solutions to semilinear elliptic equations is of great importance because of the resulting energy landscape and its implications for the various dynamics. In [AIKN3], semilinear elliptic equations with combined power-type nonlinearities involving the Sobolev critical exponent are studied. There, it is shown that if the dimension is four or higher, and the frequency is sufficiently small, then the positive radial ground state is unique and nondegenerate. In this paper, we extend these results to the case of high frequencies when the dimension is five and higher. After suitably rescaling the equation, we demonstrate that the main behavior of the solutions is given by the Sobolev critical part for which the ground states are explicit, and their degeneracy is well characterized. Our result is a key step towards the study of the different dynamics of solutions of the corresponding nonlinear Schr\"odinger and Klein-Gordon equations with energies above the energy of the ground state. Our restriction on the dimension is mainly due to the existence of resonances in dimension three and four.


title: Translational Mobilities of Proteins in Nanochannels: A Coarse-Grained Molecular Dynamics Study

abstract: We investigated the translation of a protein through model nanopores using coarse-grained (CG) non-equilibrium molecular dynamics (NEMD) simulations and compared the mobilities with those obtained from previous coarse-grained equilibrium molecular dynamics model. We considered the effects of nanopore confinement and external force on the translation of streptavidin through nanopores of dimensions representative of experiments. As the nanopore radius approaches the protein hydrodynamic radius, the translation times are observed to increase by 2 orders of magnitude. The translation times are found to be in good agreement with one-dimensional biased diffusion model. The results presented in this paper provide useful insights on nanopore designs intended to control the motion of biomolecules.


title: Average values of functionals and concentration without measure

abstract: Although there doesn't exist the Lebesgue measure in the ball $M$ of $C[0,1]$ with $p-$norm, the average values (expectation) $EY$ and variance $DY$ of some functionals $Y$ on $M$ can still be defined through the procedure of limitation from finite dimension to infinite dimension. In particular, the probability densities of coordinates of points in the ball $M$ exist and are derived out even though the density of points in $M$ doesn't exist. These densities include high order normal distribution, high order exponent distribution. This also can be considered as the geometrical origins of these probability distributions. Further, the exact values (which is represented in terms of finite dimensional integral) of a kind of infinite-dimensional functional integrals are obtained, and specially the variance $DY$ is proven to be zero, and then the nonlinear exchange formulas of average values of functionals are also given. Instead of measure, the variance is used to measure the deviation of functional from its average value. $DY=0$ means that a functional takes its average on a ball with probability 1 by using the language of probability theory, and this is just the concentration without measure. In addition, we prove that the average value depends on the discretization.

categories: math.PR math-ph math.FA math.MP math.ST physics.data-an stat.TH


title: Dynamics of magnetic skyrmion clusters driven by spin-polarized current with a spatially varied polarization

abstract: Magnetic skyrmions are promising candidates for future information technology. Here, we present a micromagnetic study of isolated skyrmions and skyrmion clusters in ferromagnetic nanodisks driven by the spin-polarized current with spatially varied polarization. The current-driven skyrmion clusters can be either dynamic steady or static, depending on the spatially varied polarization profile. For the dynamic steady state, the skyrmion cluster moves in a circle in the nanodisk, while for the static state, the skyrmion cluster is static. The frequency of the circular motion of skyrmion is also studied. Furthermore, the dependence of the skyrmion cluster dynamics on the magnetic anisotropy and Dzyaloshinskii-Moriya interaction is investigated. Our results may provide a pathway to realize magnetic skyrmion cluster based devices.


title: Stochastic Langevin propagation for classical and quantum optomechanics

abstract: Interesting experimental signatures of quantum cavity optomechanics arise because the quantum back-action induces correlations between incident quantum shot noise and the cavity field. While the quantum linear theory of optomechanics (QLT) has provided vital understanding across many experimental platforms, in certain new set-ups it may be insufficient: analysis in the time domain may be needed, but QLT obtains only spectra in frequency space; and nonlinear behavior may be present. Direct solution of the stochastic equations of motion in time is an alternative, but unfortunately standard methods do not preserve the important optomechanical correlations. We introduce two-timescale stochastic Langevin (T2SL) propagation as an efficient and straightforward method to obtain time traces with the correct correlations. We show that T2SL, in contrast to standard stochastic simulations, can efficiently simulate correlation phenomena such as ponderomotive squeezing and reproduces accurately cavity sideband structures on the scale of the applied quantum noise and even complicated features entirely submerged below the quantum shot noise imprecision floor. We investigate nonlinear regimes and find where comparison is possible, that the method agrees with analytical results obtained with master equations at low temperatures and in perturbative regimes.


title: Elastic softness of hybrid lead halide perovskites

abstract: Much recent attention has been devoted towards unravelling the microscopic optoelectronic properties of hybrid organic-inorganic perovskites (HOP). Here we investigate by coherent inelastic neutron scattering spectroscopy and Brillouin light scattering, low frequency acoustic phonons in four different hybrid perovskite single crystals: MAPbBr$_3$, FAPbBr$_3$, MAPbI$_3$ and $\alpha$-FAPbI$_3$ (MA: methylammonium, FA: formamidinium). We report a complete set of elastic constants caracterized by a very soft shear modulus C$_{44}$. Further, a tendency towards an incipient ferroelastic transition is observed in FAPbBr$_3$. We observe a systematic lower sound group velocity in the technologically important iodide-based compounds compared to the bromide-based ones. The findings suggest that low thermal conductivity and hot phonon bottleneck phenomena are expected to be enhanced by low elastic stiffness, particularly in the case of the ultrasoft $\alpha$-FAPbI$_3$.


title: Improving Bi-directional Generation between Different Modalities with Variational Autoencoders

abstract: We investigate deep generative models that can exchange multiple modalities bi-directionally, e.g., generating images from corresponding texts and vice versa. A major approach to achieve this objective is to train a model that integrates all the information of different modalities into a joint representation and then to generate one modality from the corresponding other modality via this joint representation. We simply applied this approach to variational autoencoders (VAEs), which we call a joint multimodal variational autoencoder (JMVAE). However, we found that when this model attempts to generate a large dimensional modality missing at the input, the joint representation collapses and this modality cannot be generated successfully. Furthermore, we confirmed that this difficulty cannot be resolved even using a known solution. Therefore, in this study, we propose two models to prevent this difficulty: JMVAE-kl and JMVAE-h. Results of our experiments demonstrate that these methods can prevent the difficulty above and that they generate modalities bi-directionally with equal or higher likelihood than conventional VAE methods, which generate in only one direction. Moreover, we confirm that these methods can obtain the joint representation appropriately, so that they can generate various variations of modality by moving over the joint representation or changing the value of another modality.


title: Trapped modes and reflectionless modes as eigenfunctions of the same spectral problem

abstract: We consider the reflection-transmission problem in a waveguide with obstacle. At certain frequencies, for some incident waves, intensity is perfectly transmitted and the reflected field decays exponentially at infinity. In this work, we show that such reflectionless modes can be characterized as eigenfunctions of an original non-selfadjoint spectral problem. In order to select ingoing waves on one side of the obstacle and outgoing waves on the other side, we use complex scalings (or Perfectly Matched Layers) with imaginary parts of different signs. We prove that the real eigenvalues of the obtained spectrum correspond either to trapped modes (or bound states in the continuum) or to reflectionless modes. Interestingly, complex eigenvalues also contain useful information on weak reflection cases. When the geometry has certain symmetries, the new spectral problem enters the class of $\mathcal{PT}$-symmetric problems.


title: Event-triggered stabilization of disturbed linear systems over digital channels

abstract: We present an event-triggered control strategy for stabilizing a scalar, continuous-time, time-invariant, linear system over a digital communication channel having bounded delay, and in the presence of bounded system disturbance. We propose an encoding-decoding scheme, and determine lower bounds on the packet size and on the information transmission rate which are sufficient for stabilization. We show that for small values of the delay, the timing information implicit in the triggering events is enough to stabilize the system with any positive rate. In contrast, when the delay increases beyond a critical threshold, the timing information alone is not enough to stabilize the system and the transmission rate begins to increase. Finally, large values of the delay require transmission rates higher than what prescribed by the classic data-rate theorem. The results are numerically validated using a linearized model of an inverted pendulum.


title: Vaccinate your trees!

abstract: For a graph $G$ and an integer-valued function $\tau$ on its vertex set, a dynamic monopoly is a set of vertices of $G$ such that iteratively adding to it vertices $u$ of $G$ that have at least $\tau(u)$ neighbors in it eventually yields the vertex set of $G$. We study two vaccination problems, where the goal is to maximize the minimum order of such a dynamic monopoly either by increasing the threshold value of $b$ vertices beyond their degree, or by removing $b$ vertices from $G$, where $b$ is a given non-negative integer corresponding to a budget. We show how to solve these problems efficiently for trees.


title: Cloud Detection From RGB Color Remote Sensing Images With Deep Pyramid Networks

abstract: Cloud detection from remotely observed data is a critical pre-processing step for various remote sensing applications. In particular, this problem becomes even harder for RGB color images, since there is no distinct spectral pattern for clouds, which is directly separable from the Earth surface. In this paper, we adapt a deep pyramid network (DPN) to tackle this problem. For this purpose, the network is enhanced with a pre-trained parameter model at the encoder layer. Moreover, the method is able to obtain accurate pixel-level segmentation and classification results from a set of noisy labeled RGB color images. In order to demonstrate the superiority of the method, we collect and label data with the corresponding cloud/non-cloudy masks acquired from low-orbit Gokturk-2 and RASAT satellites. The experimental results validates that the proposed method outperforms several baselines even for hard cases (e.g. snowy mountains) that are perceptually difficult to distinguish by human eyes.


title: On p/q-recognisable sets

abstract: Let p/q be a rational number. Numeration in base p/q is defined by a function that evaluates each finite word over A_p={0,1,...,p-1} to some rational number. We let N_p/q denote the image of this evaluation function. In particular, N_p/q contains all nonnegative integers and the literature on base p/q usually focuses on the set of words that are evaluated to nonnegative integers; it is a rather chaotic language which is not context-free. On the contrary, we study here the subsets of (N_p/q)^d that are p/q-recognisable, i.e. realised by finite automata over (A_p)^d. First, we give a characterisation of these sets as those definable in a first-order logic, similar to the one given by the B\"uchi-Bruy\`ere Theorem for integer bases numeration systems. Second, we show that the natural order relation and the modulo-q operator are not p/q-recognisable.


title: Anti-margination of microparticles and platelets in the vicinity of branching vessels

abstract: We investigate the margination of microparticles/platelets in blood flow through complex geometries typical for in vivo vessel networks: a vessel confluence and a bifurcation. Using 3D Lattice-Boltzmann simulations, we confirm that behind the confluence of two vessels a cell-free layer devoid of red blood cells develops in the channel center. Despite its small size of roughly one micrometer, this central cell-free layer persists for up to 100 $\mu$m after the confluence. Most importantly, we show from simulations that this layer also contains a significant amount of microparticles/platelets and validate this result by in vivo microscopy in mouce venules. At bifurcations, however, a similar effect does not appear and margination is largely unaffected by the geometry. This anti-margination towards the vessel center after a confluence may explain in vivo observations by Woldhuis et al. [Am. J. Physiol. 262, H1217 (1992)] where platelet concentrations near the vessel wall are seen to be much higher on the arteriolar side (containing bifurcations) than on the venular side (containing confluences) of the vascular system.


title: Adaptive Lower Bound for Testing Monotonicity on the Line

abstract: In the property testing model, the task is to distinguish objects possessing some property from the objects that are far from it. One of such properties is monotonicity, when the objects are functions from one poset to another. This is an active area of research. In this paper we study query complexity of $\epsilon$-testing monotonicity of a function $f\colon [n]\to[r]$. All our lower bounds are for adaptive two-sided testers. * We prove a nearly tight lower bound for this problem in terms of $r$. The bound is $\Omega(\frac{\log r}{\log \log r})$ when $\epsilon = 1/2$. No previous satisfactory lower bound in terms of $r$ was known. * We completely characterise query complexity of this problem in terms of $n$ for smaller values of $\epsilon$. The complexity is $\Theta(\epsilon^{-1} \log (\epsilon n))$. Apart from giving the lower bound, this improves on the best known upper bound. Finally, we give an alternative proof of the $\Omega(\epsilon^{-1}d\log n - \epsilon^{-1}\log\epsilon^{-1})$ lower bound for testing monotonicity on the hypergrid $[n]^d$ due to Chakrabarty and Seshadhri (RANDOM'13).


title: Enhancing Byzantine fault tolerance using MD5 checksum and delay variation in Cloud services

abstract: Cloud computing management are beyond typical human narratives. However if a virtual system is not effectively designed to tolerate Byzantine faults, it could lead to a faultily executed mission rather than a cloud crash. The cloud could recover from the crash but it could not recover from the loss of credibility. Moreover no amount of replication or fault handling measures can be helpful in facing a Byzantine fault unless the virtual system is designed to detect, tolerate and eliminate such faults. However research efforts that are made to address Byzantine faults have not provided convincing solutions vastly due to their limited capabilities in detecting the Byzantine faults. As a result, in this paper the Cloud system is modeled as a discrete system to determine the virtual system behavior at varying time intervals. A delay variation variable as a measure of deviation for the expected processing delay associated with the virtual nodes takes values from the set of P {low, normal, high, extreme}. Similarly, a check sum error variable which is even computed for intra nodes that have no attachment to TCP/IP stack takes values from the set of P {no error, error}. These conditions are then represented by the occurrence of faulty events that cause specific component mode transition from fail safe to fail-stop or byzantine prone.


title: Stellar metallicity variations across spiral arms in disk galaxies with multiple populations

abstract: This letter studies the formation of azimuthal metallicity variations in the disks of spiral galaxies in the absence of initial radial metallicity gradients. Using high-resolution $N$-body simulations, we model composite stellar discs, made of kinematically cold and hot stellar populations, and study their response to spiral arm perturbations. We find that, as expected, disk populations with different kinematics respond differently to a spiral perturbation, with the tendency for dynamically cooler populations to show a larger fractional contribution to spiral arms than dynamically hotter populations. By assuming a relation between kinematics and metallicity, namely the hotter the population, the more metal-poor it is, this differential response to the spiral arm perturbations naturally leads to azimuthal variations in the mean metallicity of stars in the simulated disk. Thus, azimuthal variations in the mean metallicity of stars across a spiral galaxy are not necessarily a consequence of the reshaping, by radial migration, of an initial radial metallicity gradient. They indeed arise naturally also in stellar disks which have initially only a negative vertical metallicity gradient.


title: Classification of sparsely labeled spatio-temporal data through semi-supervised adversarial learning

abstract: In recent years, Generative Adversarial Networks (GAN) have emerged as a powerful method for learning the mapping from noisy latent spaces to realistic data samples in high-dimensional space. So far, the development and application of GANs have been predominantly focused on spatial data such as images. In this project, we aim at modeling of spatio-temporal sensor data instead, i.e. dynamic data over time. The main goal is to encode temporal data into a global and low-dimensional latent vector that captures the dynamics of the spatio-temporal signal. To this end, we incorporate auto-regressive RNNs, Wasserstein GAN loss, spectral norm weight constraints and a semi-supervised learning scheme into InfoGAN, a method for retrieval of meaningful latents in adversarial learning. To demonstrate the modeling capability of our method, we encode full-body skeletal human motion from a large dataset representing 60 classes of daily activities, recorded in a multi-Kinect setup. Initial results indicate competitive classification performance of the learned latent representations, compared to direct CNN/RNN inference. In future work, we plan to apply this method on a related problem in the medical domain, i.e. on recovery of meaningful latents in gait analysis of patients with vertigo and balance disorders.


title: Generalized Dynamics in Social Networks With Antagonistic Interactions

abstract: In this paper, we investigate a general nonlinear model of opinion dynamics in which both state-dependent susceptibility to persuasion and antagonistic interactions are considered. According to the existing literature and socio-psychological theories, we examine three specializations of state-dependent susceptibility, that is, stubborn positives scenario, stubborn neutrals scenario, and stubborn extremists scenario. Interactions among agents form a signed graph, in which positive and negative edges represent friendly and antagonistic interactions, respectively. Based on Perron-Frobenius property of eventually positive matrices and LaSalle invariance principle, we conduct a comprehensive theoretical analysis of the generalized nonlinear opinion dynamics. We obtain some sufficient conditions such that the states of all agents converge into the subspace spanned by the right positive eigenvector of an eventually positive matrix. When there exists at least one entry of the right positive eigenvector which is not equal to one, the derived results can be used to describe different levels of an opinion. Finally, we present two examples to demonstrate the effectiveness of the theoretical findings.


title: From Single Helical relaxed states to helical equilibria

abstract: This paper analyzes the relationship between the Single Helical relaxed states studied in R. Paccagnella, Phys. of Plasmas 23 (2016) 092512 and the so called 'helical ohmic equilibria', i.e. plasma states that are solutions of the helical Grad Shafranov equation and that satisfy the constraint imposed by the Ohm law. The existence of marginally stable helical equilibria is clearly demonstrated, while the ohmic constraint is not exactly satisfied within the proposed first order perturbation theory. The model predictions are however satisfactorily compared with experimental trends.


title: A Class of Conserved Surface Layer Integrals for Causal Variational Principles

abstract: In the theory of causal fermion systems, the physical equations are obtained as the Euler-Lagrange equations of a causal variational principle. Studying families of critical measures of causal variational principles, a class of conserved surface layer integrals is found and analyzed.


title: Adsorption energies of carbon, nitrogen, and oxygen atoms on the low-temperature amorphous water ice: A systematic estimation from quantum chemistry calculations

abstract: We propose a new simple computational model to estimate adsorption energies of atoms and molecules to low-temperature amorphous water ice, and we present the adsorption energies of carbon (3P), nitrogen (4S), and oxygen (3P) atoms based on quantum chemistry calculations. The adsorption energies were estimated to be 14100 +- 420 K for carbon, 400 +- 30 K for nitrogen, and 1440 +-160 K for oxygen. The adsorption energy of oxygen is well consistent with experimentally reported value. We found that the binding of a nitrogen atom is purely physisorption, while that of a carbon atom is chemisorption in which a chemical bond to an O atom of a water molecule is formed. That of an oxygen atom has a dual character both physisorption and chemisorption. The chemisorption of atomic carbon also implies a possibility of further chemical reactions to produce molecules bearing a C-O bond, while it may hinder the formation of methane on water ice via sequential hydrogenation of carbon atoms. These would be of a large impact to the chemical evolution of carbon species in interstellar environments. We also investigated effects of the newly calculated adsorption energies onto chemical compositions of cold dense molecular clouds with the aid of gas-ice astrochemical simulations. We found that abundances of major nitrogen-bearing molecules, such as N2 and NH3, are significantly altered by applying the calculated adsorption energy, because nitrogen atoms can thermally diffuse on surfaces even at 10 K.


title: EuPRAXIA@SPARC_LAB Design study towards a compact FEL facility at LNF

abstract: On the wake of the results obtained so far at the SPARC\_LAB test-facility at the Laboratori Nazionali di Frascati (Italy), we are currently investigating the possibility to design and build a new multi-disciplinary user-facility, equipped with a soft X-ray Free Electron Laser (FEL) driven by a $\sim$1 GeV high brightness linac based on plasma accelerator modules. This design study is performed in synergy with the EuPRAXIA design study. In this paper we report about the recent progresses in the on going design study of the new facility.


title: Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF

abstract: Model checking invariant properties of designs, represented as transition systems, with non-linear real arithmetic (NRA), is an important though very hard problem. On the one hand NRA is a hard-to-solve theory; on the other hand most of the powerful model checking techniques lack support for NRA. In this paper, we present a counterexample-guided abstraction refinement (CEGAR) approach that leverages linearization techniques from differential calculus to enable the use of mature and efficient model checking algorithms for transition systems on linear real arithmetic (LRA) with uninterpreted functions (EUF). The results of an empirical evaluation confirm the validity and potential of this approach.


title: On Uniform Admissibility of Unitary and Smooth Representations

abstract: Let $G$ be a locally compact totally disconnected topological group. Under a necessary mild assumption, we show that the irreducible unitary representations of $G$ are uniformly admissible if and only if the irreducible smooth representations of $G$ are uniformly admissible. We also show that the latter property is inherited by finite-index subgroups and overgroups of $G$.


title: Identifying single influential publications in a research field: New analysis opportunities of the CRExplorer

abstract: Reference Publication Year Spectroscopy (RPYS) has been developed for identifying the cited references (CRs) with the greatest influence in a given paper set (mostly sets of papers on certain topics or fields). The program CRExplorer (see www.crexplorer.net) was specifically developed by Thor, Marx, Leydesdorff, and Bornmann (2016a, 2016b) for applying RPYS to publication sets downloaded from Scopus or Web of Science. In this study, we present some advanced methods which have been newly developed for CRExplorer. These methods are able to identify and characterize the CRs which have been influential across a longer period (many citing years). The new methods are demonstrated in this study using all the papers published in Scientometrics between 1978 and 2016. The indicators N_TOP50, N_TOP25, and N_TOP10 can be used to identify those CRs which belong to the 50%, 25%, or 10% most frequently cited publications (CRs) over many citing publication years. In the Scientometrics dataset, for example, Lotka's (1926) paper on the distribution of scientific productivity belongs to the top 10% publications (CRs) in 36 citing years. Furthermore, the new version of CRExplorer analyzes the impact sequence of CRs across citing years. CRs can have below average (-), average (0), or above average (+) impact in citing years (whereby average is meant in the sense of expected values). The sequence (e.g. 00++---0--00) is used by the program to identify papers with typical impact distributions. For example, CRs can have early, but not late impact ("hot papers", e.g. +++---) or vice versa ("sleeping beauties", e.g. ---0000---++).


title: On the Reynolds time-averaged equations and the long-time behavior of Leray-Hopf weak solutions, with applications to ensemble averages

abstract: We consider the three dimensional incompressible Navier-Stokes equations with non stationary source terms f chosen in a suitable space. We prove the existence of Leray-Hopf weak solutions and that it is possible to characterize (up to sub-sequences) their long-time averages, which satisfy the Reynolds averaged equations, involving a Reynolds stress. Moreover, we show that the turbulent dissipation is bounded by the sum of the Reynolds stress work and of the external turbulent fluxes, without any additional assumption, than that of dealing with Leray-Hopf weak solutions. Finally, in the last section we consider ensemble averages of solutions, associated to a set of different forces and we prove that the fluctuations continue to have a dissipative effect on the mean flow.


title: Zinc oxide induces the stringent response and major reorientations in the central metabolism of Bacillus subtilis

abstract: Microorganisms, such as bacteria, are one of the first targets of nanoparticles in the environment. In this study, we tested the effect of two nanoparticles, ZnO and TiO2, with the salt ZnSO4 as the control, on the Gram-positive bacterium Bacillus subtilis by 2D gel electrophoresis-based proteomics. Despite a significant effect on viability (LD50), TiO2 NPs had no detectable effect on the proteomic pattern, while ZnO NPs and ZnSO4 significantly modified B. subtilis metabolism. These results allowed us to conclude that the effects of ZnO observed in this work were mainly attributable to Zn dissolution in the culture media. Proteomic analysis highlighted twelve modulated proteins related to central metabolism: MetE and MccB (cysteine metabolism), OdhA, AspB, IolD, AnsB, PdhB and YtsJ (Krebs cycle) and XylA, YqjI, Drm and Tal (pentose phosphate pathway). Biochemical assays, such as free sulfhydryl, CoA-SH and malate dehydrogenase assays corroborated the observed central metabolism reorientation and showed that Zn stress induced oxidative stress, probably as a consequence of thiol chelation stress by Zn ions. The other patterns affected by ZnO and ZnSO4 were the stringent response and the general stress response. Nine proteins involved in or controlled by the stringent response showed a modified expression profile in the presence of ZnO NPs or ZnSO4: YwaC, SigH, YtxH, YtzB, TufA, RplJ, RpsB, PdhB and Mbl. An increase in the ppGpp concentration confirmed the involvement of the stringent response during a Zn stress. All these metabolic reorientations in response to Zn stress were probably the result of complex regulatory mechanisms including at least the stringent response via YwaC.


title: Satisfiability Modulo Transcendental Functions via Incremental Linearization

abstract: In this paper we present an abstraction-refinement approach to Satisfiability Modulo the theory of transcendental functions, such as exponentiation and trigonometric functions. The transcendental functions are represented as uninterpreted in the abstract space, which is described in terms of the combined theory of linear arithmetic on the rationals with uninterpreted functions, and are incrementally axiomatized by means of upper- and lower-bounding piecewise-linear functions. Suitable numerical techniques are used to ensure that the abstractions of the transcendental functions are sound even in presence of irrationals. Our experimental evaluation on benchmarks from verification and mathematics demonstrates the potential of our approach, showing that it compares favorably with delta-satisfiability /interval propagation and methods based on theorem proving.


title: Concentration of random graphs and application to community detection

abstract: Random matrix theory has played an important role in recent work on statistical network analysis. In this paper, we review recent results on regimes of concentration of random graphs around their expectation, showing that dense graphs concentrate and sparse graphs concentrate after regularization. We also review relevant network models that may be of interest to probabilists considering directions for new random matrix theory developments, and random matrix theory tools that may be of interest to statisticians looking to prove properties of network algorithms. Applications of concentration results to the problem of community detection in networks are discussed in detail.


title: Revisiting $D_{s0}^{*}(2317)$ as a $0^{+}$ tetraquark state from QCD sum rules

abstract: Stimulated by the renewed observation of $D_{s0}^{*}(2317)$ signal and its updated mass value $2318.3\pm1.2\pm1.2~\mbox{MeV}/c^{2}$ in the process $e^{+}e^{-}\rightarrow D_{s}^{*+}D_{s0}^{*}(2317)^{-}+c.c.$ by BESIII Collaboration, we devote to reinvestigate $D_{s0}^{*}(2317)$ as a $0^{+}$ tetraquark state from QCD sum rules. Technically, four different possible currents are adopted and high condensates up to dimension $12$ are included in the operator product expansion (OPE) to ensure the quality of QCD sum rule analysis. In the end, we obtain the mass value $2.37^{+0.50}_{-0.36}~\mbox{GeV}$ with the factorization parameter $\rho=1$ (or $2.23^{+0.78}_{-0.24}~\mbox{GeV}$ with $\rho=3$) for the scalar-scalar current, which agrees well with the experimental data of $D_{s0}^{*}(2317)$ and could support its explanation as a $0^{+}$ scalar-scalar tetraquark state. The final result for the axial-axial configuration is calculated to be $2.51^{+0.61}_{-0.43}~\mbox{GeV}$ with $\rho=1$ (or $2.52^{+0.76}_{-0.52}~\mbox{GeV}$ with $\rho=3$), which is still consistent with the mass of $D_{s0}^{*}(2317)$ considering the uncertainty, and then the possibility of $D_{s0}^{*}(2317)$ as a axial-axial tetraquark state can not be excluded. For the pseudoscalar-pseudoscalar and the vector-vector cases, their unsatisfactory OPE convergence makes that it is of difficulty to find rational work windows to further acquire hadronic masses.


title: Scale Invariance in Newton-Cartan and Ho\v{r}ava-Lifshitz Gravity

abstract: We present a detailed analysis of the construction of $z=2$ and $z\neq2$ scale invariant Ho\v{r}ava-Lifshitz gravity. The construction procedure is based on the realization of Ho\v{r}ava-Lifshitz gravity as the dynamical Newton-Cartan geometry as well as a non-relativistic tensor calculus in the presence of the scale symmetry. An important consequence of this method is that it provides us the necessary mechanism to distinguish the local scale invariance from the local Schr\"odinger invariance. Based on this result we discuss the $z=2$ scale invariant Ho\v{r}ava-Lifshitz gravity and the symmetry enhancement to the full Schr\"odinger group.


title: Impact ionization and transport properties of hexagonal boron nitride in constant-voltage measurement

abstract: The electrical evaluation of the crystallinity of hexagonal boron nitride (h-BN) is still limited to the measurement of dielectric breakdown strength, in spite of its importance as the substrate for 2-dimensional van der Waals heterostructure devices. In this study, physical phenomena for degradation and failure in exfoliated single-crystal h-BN films were investigated using the constant-voltage stress test. At low electrical fields, the current gradually reduced and saturated with time, while the current increased at electrical fields higher than ~8 MV/cm and finally resulted in the catastrophic dielectric breakdown. These transient behaviors may be due to carrier trapping to the defect sites in h-BN because trapped carriers lower or enhance the electrical fields in h-BN depending on their polarities. The key finding is the current enhancement with time at the high electrical field, suggesting the accumulation of electrons generated by the impact ionization process. Therefore, a theoretical model including the electron generation rate by impact ionization process was developed. The experimental data support the expected degradation mechanism of h-BN. Moreover, the impact ionization coefficient was successfully extracted, which is comparable to that of SiO2, even though the fundamental band gap for h-BN is smaller than that for SiO2. Therefore, the dominant impact ionization in h-BN could be band-to-band excitation, not defect-assisted impact ionization.


title: Criteria for good reduction of proper polycurves

abstract: We give good reduction criteria for hyperbolic polycurves, i.e., successive extensions of families of curves, under mild assumption. These criteria are higher dimensional version of the good reduction criterion for hyperbolic curves given by Oda and Tamagawa.


title: Updating a simple model of lunar recession

abstract: A classical model of lunar recession is reviewed and updated, where input parameters are taken or inferred from earlier astronomical computation of insolation quantities on Earth back to 0.25 Gyr. Free parameters are (i) the transition age, where mean lunar recession is suddenly lowered, and (ii) the merging age, where Earth-Moon distance (EMD), drops to zero. Predicted mean EMD and length of day (LOD) slightly overstimate their counterparts from the above mentioned astronomical computation. Predicted LOD, where the effect of atmospheric tides and nontidal processes is considered and supposed to be time independent, slightly understimates a linear interpolation from paleontological data related to Phanerozoic, inferred in earlier investigations. If short-period ($\Delta t\approx10^{-3}$ Gyr) EMD fluctuations ($\Delta a\approx\mp0.5R_\oplus$), resulting from the above mentioned astronomical computation back to 0.25 Gyr, occur along the whole evolution of Earth-Moon system (EMS), then the predicted mean EMD is consistent with values inferred from three well studied paleontological data sets: Elatina-Reynella (ER), Big Cottonwood (BC), Weeli Wolli (WW), for a suitable choice of input parameters. The same holds for LOD where, in addition, computed values are consistent with a linear interpolation from paleontological data related to Proterozoic, inferred in earlier investigations. The effect of atmospheric tides and nontidal processes is also discussed. In conclusion, the current model can be considered as a useful zeroth-order approximation to the evaluation of lunar recession and LOD. More accurate paleontological data, expecially in connection with error evaluation, would be desirable in view of improved results and further constraints involving both Astronomy and Paleontology.


title: What is Large in Large-Scale? A Taxonomy of Scale for Agile Software Development

abstract: Positive experience of agile development methods in smaller projects has created interest in the applicability of such methods in larger scale projects. However, there is a lack of conceptual clarity regarding what large-scale agile software development is. This inhibits effective collaboration and progress in the research area. In this paper, we suggest a taxonomy of scale for agile software development projects that has the potential to clarify what topics researchers are studying and ease discussion of research priorities.


title: Highest perfect power of a product of integers less than $x$

abstract: For $x\geq 3$, we define $w(x)$ as the highest integer $w$ for which there exist integers $m, y\geq 1$ and $1\leq n_1<\dots<n_m\leq x$ such that $n_1\cdots n_m=y^w$. We show that \[w(x)=x\exp\big(-(\sqrt{2}+o(1))\sqrt{\log x\log\log x}\big).\]


title: Minimization of Frequency Deviations in Power Network by using majorant functions

abstract: Frequency control in power networks is designed to maintain power balance by adjusting generation, what allows to keep frequency at its nominal value (i.e. 50 Hz). If power disturbance occurs, it leads to frequency oscillations and deviation form nominal value, that are suppressed by the control. Behavior of the existing control depends on a number of parameters, that are currently chosen form the set, that guarantees control stability. But they can be adjusted within that set to increase control efficiency. The two main factors, that define efficiency are maximal frequency deviations and frequency convergence rate to equilibrium point. However frequencies functions on buses are highly oscillatory and have infinite amount of extremum. The aim of this work is firstly to present analytical conservative estimations of absolute values of frequencies deviations, in order to approximate dependence of frequency behavior on the control parameters and secondly present zero order optimization algorithm that would improve system dynamics by adjusting control parameters.


title: An improved upper bound for the size of the multiplicative 3-Sidon sets

abstract: We say that a set is a multiplicative 3-Sidon set if the equation $s_1s_2s_3=t_1t_2t_3$ does not have a solution consisting of distinct elements taken from this set. In this paper we show that the size of a multiplicative 3-Sidon subset of $\{1,2,\dots,n\}$ is at most $\pi(n)+\pi(n/2)+n^{2/3}(\log n )^{2^{1/3}-1/3+o(1)}$, which improves the previously known best bound $\pi(n)+\pi(n/2)+cn^{2/3}\log n/\log\log n$.


title: Particle dynamics and pattern formation in a rotating suspension of positively buoyant particles

abstract: Numerical simulations of positively-buoyant suspension in a horizontally rotating cylinder were performed to study the formation of radial and axial patterns. The order parameter for low-frequency segregated phase and dispersed phase is similar to that predicted for the settling suspension by J. Lee, and A. J. C. Ladd [J. Fluid Mech., 577, 2007], which is the average angular velocity of the particles. The particle density profiles for axial bands in the buoyancy dominated phase shows an amplitude equivalent to the diameter of the cylinder. Axial density profiles show sinusoidal behaviour for drag dominant phase and oscillating sinusoidal behaviour for centrifugal force dominant phase. Results also indicate that the traveling bands are formed as a consequence of the inhomogeneous distribution of particles arising from a certain imbalance of drag, buoyancy and centrifugal forces. In the centrifugal limit, particles move towards the center of the cylinder aggregating to form a dense core of particles with its axis coinciding with that of the rotating cylinder, a behaviour which is in contrast to the sedimenting particles. The particle distribution patterns obtained from the simulations are found to be in good agreement with the experiments of Kalyankar et al. [Phys. Fluids, 20, 2008].


title: Structural Modulation in LaO0.9F0.1BiSe2 Single Crystals Revealed by Scanning Tunneling Microscopy/Spectroscopy

abstract: We present scanning tunneling microscopy and spectroscopy measurements on a cleaved surface of the LaO0.9F0.1BiSe2 single crystals. Tunneling spectra show a finite local density of states at EF, which is consistent with metallic conductivity in bulk. In addition, the existence of the supermodulation running along the diagonal directions of Bi square lattice was revealed. The period of the supermodulation was about 3 to 5 times the length of the lattice constant. This period is close to that observed in LaO0.5F0.5BiSe2.


title: Quantum ferroelectric instabilities in superconducting SrTiO$_3$

abstract: We examine the effects of strain and cation substitution on the superconducting phase of polar semiconductors near a ferroelectric quantum phase transition with a model that combines a strong coupling theory of superconductors with a standard microscopic framework for displacive polar modes coupled to strain degrees of freedom. Our calculations reveal that the superconducting transition temperature $T_c$ is enhanced by proximity to the ferroelectric instability from the disordered side, while it is generally suppressed in the ordered phase due to its increase in dielectric stiffness and a reduction of critical fluctuations from dipolar induced anisotropies. The condensation of the pairing phonon excitations generates a kink in $T_c$ at a charge density that is generally lower than that of the quantum critical point (QCP) and where both superconducting and ferroeletric orders set-in. We apply our model to SrTiO$_3$ and find that the anti-adiabatic limit places the kink nearly at its QCP. As the QCP is pushed to higher charge densities with either tuning parameter, we find that the dome narrows and sharpens. Our model is in qualitatively and fair quantitatively agreement with the recent observation of overlapping ferroelectric-like and superconducting instabilities in n-doped Sr$_{1-x}$Ca$_x$TiO$_3$ and strain tunning of $T_c$ in n-doped SrTiO$_3$. We compare our results to previous models invoking order-disorder lattice dynamics to describe the pairing excitations.


title: Lattice-Based Group Signatures: Achieving Full Dynamicity (and Deniability) with Ease

abstract: In this work, we provide the first lattice-based group signature that offers full dynamicity (i.e., users have the flexibility in joining and leaving the group), and thus, resolve a prominent open problem posed by previous works. Moreover, we achieve this non-trivial feat in a relatively simple manner. Starting with Libert et al.'s fully static construction (Eurocrypt 2016) - which is arguably the most efficient lattice-based group signature to date, we introduce simple-but-insightful tweaks that allow to upgrade it directly into the fully dynamic setting. More startlingly, our scheme even produces slightly shorter signatures than the former, thanks to an adaptation of a technique proposed by Ling et al. (PKC 2013), allowing to prove inequalities in zero-knowledge. Our design approach consists of upgrading Libert et al.'s static construction (EUROCRYPT 2016) - which is arguably the most efficient lattice-based group signature to date - into the fully dynamic setting. Somewhat surprisingly, our scheme produces slightly shorter signatures than the former, thanks to a new technique for proving inequality in zero-knowledge without relying on any inequality check. The scheme satisfies the strong security requirements of Bootle et al.'s model (ACNS 2016), under the Short Integer Solution (SIS) and the Learning With Errors (LWE) assumptions. Furthermore, we demonstrate how to equip the obtained group signature scheme with the deniability functionality in a simple way. This attractive functionality, put forward by Ishida et al. (CANS 2016), enables the tracing authority to provide an evidence that a given user is not the owner of a signature in question. In the process, we design a zero-knowledge protocol for proving that a given LWE ciphertext does not decrypt to a particular message.


title: A combined multiwavelength VLA/ALMA/Chandra study unveils the complex magnetosphere of the B-type star HR5907

abstract: We present new radio/millimeter measurements of the hot magnetic star HR5907 obtained with the VLA and ALMA interferometers. We find that HR5907 is the most radio luminous early type star in the cm-mm band among those presently known. Its multi-wavelength radio light curves are strongly variable with an amplitude that increases with radio frequency. The radio emission can be explained by the populations of the non-thermal electrons accelerated in the current sheets on the outer border of the magnetosphere of this fast rotating magnetic star. We classify HR5907 as another member of the growing class of strongly magnetic fast rotating hot stars where the gyro-synchrotron emission mechanism efficiently operates in their magnetospheres. The new radio observations of HR5907 are combined with archival X-ray data to study the physical condition of its magnetosphere. The X-ray spectra of HR5907 show tentative evidence for the presence of non-thermal spectral component. We suggest that non-thermal X-rays originate a stellar X-ray aurora due to streams of non-thermal electrons impacting on the stellar surface. Taking advantage of the relation between the spectral indices of the X-ray power-law spectrum and the non-thermal electron energy distributions, we perform 3-D modeling of the radio emission for HR5907. The wavelength-dependent radio light-curves probe magnetospheric layers at different heights above the stellar surface. A detailed comparison between simulated and observed radio light-curves leads us to conclude that the stellar magnetic field of HR5907 is likely non-dipolar, providing further indirect evidence of the complex magnetic field topology of HR5907.


title: A fully discrete energy stable scheme for a phase-field moving contact line model with variable densities and viscosities

abstract: In this work, we propose a fully discrete energy stable scheme for the phase-field moving contact line model with variable densities and viscosities. The mathematical model consists of a Cahn-Hilliard equation, a Navier-Stokes equation and the generalized Navier boundary condition for the moving contact line. A scalar auxiliary variable is adopted to transform the governing system into an equivalent form, allowing the double well potential to be treated semi-explicitly. A stabilization term is added to balance the explicit nonlinear term originating from the surface energy at fluid-solid interface. A pressure stabilization method is used to decouple the computation of velocity and pressure. Some subtle implicit-explicit treatments are adopted to deal with convention and stress terms. We establish a rigorous proof of energy stability for the proposed time-marching scheme. Then a finite difference method on staggered grids is used to spatially discretize the constructed time-marching scheme. We further prove that the fully discrete scheme also satisfies the discrete energy dissipation law. Numerical results demonstrate accuracy and energy stability of the proposed scheme. Using our numerical scheme, we analyze the contact line dynamics through a shear flow driven droplet sliding case. Three-dimensional droplet spreading is also investigated on a chemically patterned surface. Our numerical simulation accurately predicts the expected energy evolutions and it successfully reproduces expected phenomena that an oil droplet contracts inwards on a hydrophobic zone and spreads outwards quickly on a hydrophilic zone.


title: The Toda and Painlev\'e Systems Associated with Semiclassical Matrix-Valued Orthogonal Polynomials of Laguerre Type

abstract: Consider the Laguerre polynomials and deform them by the introduction in the measure of an exponential singularity at zero. In [Chen Y., Its A., J. Approx. Theory 162 (2010), 270-297, arXiv:0808.3590] the authors proved that this deformation can be described by systems of differential/difference equations for the corresponding recursion coefficients and that these equations, ultimately, are equivalent to the Painlev\'e III equation and its B\"acklund/Schlesinger transformations. Here we prove that an analogue result holds for some kind of semiclassical matrix-valued orthogonal polynomials of Laguerre type.


title: Interatomic force constants including the DFT-D dispersion contribution

abstract: Grimme's DFT-D dispersion contribution to interatomic forces constants, required for the computation of the phonon band structures in density-functional perturbation theory, has been derived analytically. The implementation has then been validated with respect to frozen phonons, and applied on materials where weak cohesive forces play a major role i.e. argon, graphite, benzene. We show that these dispersive contributions have to be considered to properly reproduce the experimental vibrational properties of these materials, although the lattice parameter change, coming from the ground-state relaxation with the proper functional, induces the most important change with respect to a treatment without dispersion corrections. In the current implementation, the contribution of these dispersion corrections to the dynamical matrices (with a number of elements that is proportional to the square of the number of atoms) has only a cubic scaling with the number of atoms. In practice the overload with respect to density-functional calculations is small, making this methodology promising to study vibrational properties of large dispersive systems.


title: Oceanic tides from Earth-like to ocean planets

abstract: Oceanic tides are a major source of tidal dissipation. They drive the evolution of planetary systems and the rotational dynamics of planets. However, 2D models commonly used for the Earth cannot be applied to extrasolar telluric planets hosting potentially deep oceans because they ignore the three-dimensional effects related to the ocean vertical structure. Our goal is to investigate in a consistant way the importance of the contribution of internal gravity waves in the oceanic tidal response and to propose a modeling allowing to treat a wide range of cases from shallow to deep oceans. A 3D ab initio model is developed to study the dynamics of a global planetary ocean. This model takes into account compressibility, stratification and sphericity terms, which are usually ignored in 2D approaches. An analytic solution is computed and used to study the dependence of the tidal response on the tidal frequency and on the ocean depth and stratification. In the 2D asymptotic limit, we recover the frequency-resonant behaviour due to surface inertial-gravity waves identified by early studies. As the ocean depth and Brunt-V\"ais\"al\"a frequency increase, the contribution of internal gravity waves grows in importance and the tidal response become three-dimensional. In the case of deep oceans, the stable stratification induces resonances that can increase the tidal dissipation rate by several orders of magnitude. It is thus able to affect significantly the evolution time scale of the planetary rotation.


title: Enhancement of exchange bias in ferromagnetic/antiferromagnetic core-shell nanoparticles through ferromagnetic domain wall formation

abstract: The spin configuration in the ferromagnetic part during the magnetization reversal plays a crucial role in the exchange bias effect. Through Monte Carlo simulation, the exchange bias effect in ferromagnetic-antiferromagnetic core-shell nanoparticles is investigated. Magnetization reversals in the ferromagnetic core were controlled between the coherent rotation and the domain wall motion by modulating ferromagnetic domain wall width with parameters of uniaxial anisotropy constant and exchange coupling strength. An anomalous monotonic dependence of exchange bias on the uniaxial anisotropy constant is found in systems with small exchange coupling, showing an obvious violation of classic Meiklejohn-Bean model, while domain walls are found to form close to the interface and propagate in the ferromagnetic core with larger uniaxial anisotropy in both branches of the hysteresis. The asymmetric magnetization reversal with the formation of a spherical domain wall dramatically reduces the coercive field in the ascending branch, leading to the enhancement of the exchange bias. The results provide another degree of freedom to optimize the magnetic properties of magnetic nanoparticles for applications.


title: Open core and small groups in dense pairs of topological structures

abstract: Dense pairs of geometric topological fields have tame open core, that is, every definable open subset in the pair is already definable in the reduct. We fix a minor gap in the published version of van den Dries's seminal work on dense pairs of o-minimal groups, and show that every definable unary function in a dense pair of geometric topological fields agrees with a definable function in the reduct, off a small definable subset, that is, a definable set internal to the predicate. For certain dense pairs of geometric topological fields without the independence property, whenever the underlying set of a definable group is contained in the dense-codense predicate, the group law is locally definable in the reduct as a geometric topological field. If the reduct has elimination of imaginaries, we extend this result, up to interdefinability, to all groups internal to the predicate.


title: New bounds on the dimensions of planar distance sets

abstract: We prove new bounds on the dimensions of distance sets and pinned distance sets of planar sets. Among other results, we show that if $A\subset\mathbb{R}^2$ is a Borel set of Hausdorff dimension $s>1$, then its distance set has Hausdorff dimension at least $37/54\approx 0.685$. Moreover, if $s\in (1,3/2]$, then outside of a set of exceptional $y$ of Hausdorff dimension at most $1$, the pinned distance set $\{ |x-y|:x\in A\}$ has Hausdorff dimension $\ge \tfrac{2}{3}s$ and packing dimension at least $ \tfrac{1}{4}(1+s+\sqrt{3s(2-s)}) \ge 0.933$. These estimates improve upon the existing ones by Bourgain, Wolff, Peres-Schlag and Iosevich-Liu for sets of Hausdorff dimension $>1$. Our proof uses a multi-scale decomposition of measures in which, unlike previous works, we are able to choose the scales subject to certain constrains. This leads to a combinatorial problem, which is a key new ingredient of our approach, and which we solve completely by optimizing certain variation of Lipschitz functions.


title: Quantifying Health Shocks Over the Life Cycle

abstract: We first show (1) the importance of investigating health expenditure process using the order two Markov chain model, rather than the standard order one model, which is widely used in the literature. Markov chain of order two is the minimal framework that is capable of distinguishing those who experience a certain health expenditure level for the first time from those who have been experiencing that or other levels for some time. In addition, using the model we show (2) that the probability of encountering a health shock first de- creases until around age 10, and then increases with age, particularly, after age 40, (3) that health shock distributions among different age groups do not differ until their percentiles reach the median range, but that above the median the health shock distributions of older age groups gradually start to first-order dominate those of younger groups, and (4) that the persistency of health shocks also shows a U-shape in relation to age.


title: Weakly Supervised Object Detection with Pointwise Mutual Information

abstract: In this work a novel approach for weakly supervised object detection that incorporates pointwise mutual information is presented. A fully convolutional neural network architecture is applied in which the network learns one filter per object class. The resulting feature map indicates the location of objects in an image, yielding an intuitive representation of a class activation map. While traditionally such networks are learned by a softmax or binary logistic regression (sigmoid cross-entropy loss), a learning approach based on a cosine loss is introduced. A pointwise mutual information layer is incorporated in the network in order to project predictions and ground truth presence labels in a non-categorical embedding space. Thus, the cosine loss can be employed in this non-categorical representation. Besides integrating image level annotations, it is shown how to integrate point-wise annotations using a Spatial Pyramid Pooling layer. The approach is evaluated on the VOC2012 dataset for classification, point localization and weakly supervised bounding box localization. It is shown that the combination of pointwise mutual information and a cosine loss eases the learning process and thus improves the accuracy. The integration of coarse point-wise localizations further improves the results at minimal annotation costs.


title: Normal structure of isotropic reductive groups over rings

abstract: The paper studies the lattice of subgroups of an isotropic reductive group G(R) over a commutative ring R, normalized by the elementary subgroup E(R). We prove the sandwich classification theorem for this lattice under the assumptions that the reductive group scheme G is defined over an arbitrary commutative ring, its isotropic rank is at least 2, and the structure constants are invertible in R. The theorem asserts that the lattice splits into a disjoint union of sublattices (sandwiches) E(R,q)<=...<=C(R,q) parametrized by the ideals q of R, where E(R,q) denotes the relative elementary subgroup and C(R,q) is the inverse image of the center under the natural homomorphism G(R) to G(R/I). The main ingredients of the proof are the "level computation" by the first author and the universal localization method developed by the second author.


title: The Near-Infrared Outflow and Cavity of the proto-Brown Dwarf Candidate ISO-Oph 200

abstract: In this letter a near-infrared integral field study of a proto-brown dwarf candidate is presented. A $\sim$ 0\farcs5 blue-shifted outflow is detected in both H$_{2}$ and [Fe II] lines at V$_{sys}$ = (-35~$\pm$ 2)~km~s$^{-1}$ and V$_{sys}$ = (-51~$\pm$ 5)~km~s$^{-1}$ respectively. In addition, slower ($\sim$ $\pm$~10~km~s$^{-1}$) H$_{2}$ emission is detected out to $<$ 5\farcs4, in the direction of both the blue and red-shifted outflow lobes but along a different position angle to the more compact faster emission. It is argued that the more compact emission is a jet and the extended H$_{2}$ emission is tracing a cavity. The source extinction is estimated at A$_{v}$ = 18 mag $\pm$ 1 mag and the outflow extinction at Av = 9 mag $\pm$ 0.4 mag. The H$_{2}$ outflow temperature is calculated to be 1422 K $\pm$~255~K and the electron density of the [Fe II] outflow is measured at $\sim$ 10000 cm$^{-3}$. Furthermore, the mass outflow rate is estimated at $\dot{M}_{out[H2]}$ = 3.8 $\times$ 10$^{-10}$~\Msun~yr$^{-1}$ and $\dot{M}_{out[FeII]}$ = 1 $\times$ 10$^{-8}$~\Msun~yr$^{-1}$. $\dot{M}_{out[FeII]}$ takes a Fe depletion of $\sim$ 88$\%$ into account. The depletion is investigated using the ratio of the [FeII]~1.257~$\mu$m and [PII]~1.188~$\mu$m lines. Using the Pa$\beta$ and Br$\gamma$ lines and a range in stellar mass and radius $\dot{M}_{acc}$ is calculated to be (3 - 10) $\times$ 10$^{-8}$~\Msun~yr$^{-1}$. Comparing these rates puts the jet efficiency in line with predictions of magneto-centrifugal models of jet launching in low mass protostars. This is a further case of a brown dwarf outflow exhibiting analogous properties to protostellar jets.


title: FBQS J1644+2619: multiwavelength properties and its place in the class of gamma-ray emitting Narrow Line Seyfert 1s

abstract: A small fraction of Narrow Line Seyfert 1s (NLSy1s) are observed to be gamma-ray emitters. Understanding the properties of these sources is of interest since the majority of NLSy1s are very different from typical blazars. Here, we present a multi-frequency analysis of FBQS J1644+2619, one of the most recently discovered gamma-ray emitting NLSy1s. We analyse an ~80 ks XMM-Newton observation obtained in 2017, as well as quasi-simultaneous multi-wavelength observations covering the radio - gamma-ray range. The spectral energy distribution of the source is similar to the other gamma-ray NLSy1s, confirming its blazar-like nature. The X-ray spectrum is characterised by a hard photon index (Gamma = 1.66) above 2 keV and a soft excess at lower energies.The hard photon index provides clear evidence that inverse Compton emission from the jet dominates the spectrum, while the soft excess can be explained by a contribution from the underlying Seyfert emission. This contribution can be fitted by reflection of emission from the base of the jet, as well as by Comptonisation in a warm, optically thick corona. We discuss our results in the context of the other gamma-ray NLSy1s and note that the majority of them have similar X-ray spectra, with properties intermediate between blazars and radio-quiet NLSy1s.


title: Distances of optimal solutions of mixed-integer programs

abstract: A classic result of Cook et al. (1986) bounds the distances between optimal solutions of mixed-integer linear programs and optimal solutions of the corresponding linear relaxations. Their bound is given in terms of the number of variables and a parameter $ \Delta $, which quantifies sub-determinants of the underlying linear inequalities. We show that this distance can be bounded in terms of $ \Delta $ and the number of integer variables rather than the total number of variables. To this end, we make use of a result by Olson (1969) in additive combinatorics and demonstrate how it implies feasibility of certain mixed-integer linear programs. We conjecture that our bound can be improved to a function that only depends on $ \Delta $, in general.


title: Strong indirect coupling between graphene-based mechanical resonators via a phonon cavity

abstract: Mechanical resonators are promising systems for storing and manipulating information. To transfer information between mechanical modes, either direct coupling or an interface between these modes is needed. In previous works, strong coupling between different modes in a single mechanical resonator and direct interaction between neighboring mechanical resonators have been demonstrated. However, coupling between distant mechanical resonators, which is a crucial request for long-distance classical and quantum information processing using mechanical devices, remains an experimental challenge. Here, we report the experimental observation of strong indirect coupling between separated mechanical resonators in a graphene-based electromechanical system. The coupling is mediated by a far-off-resonant phonon cavity through virtual excitations via a Raman-like process. By controlling the resonant frequency of the phonon cavity, the indirect coupling can be tuned in a wide range. Our results may lead to the development of gate-controlled all-mechanical devices and open up the possibility of long-distance quantum mechanical experiments.


title: Coincidence Structures and Hard-Core Few-Body Interactions

abstract: The symmetry and topology of the coincidence structure, i.e. the locus of points in configuration space corresponding to particles in the same position, plays a critical role in extracting universal properties for few-body models with hard-core interactions. The coincidence structure is a scale-invariant union of manifolds possessing rich symmetry. When there are zero-range hard-core two-body interactions, the coincidence structure forms a nodal surface for finite-energy wave functions in configuration space. More generally, it acts like a defect that changes the topology of configuration space in a way that depends on the dimension of the underlying space, the total number of particles, and the number of particles in the hard-core interaction. We show that for the specific case of three-body hard-core interactions in one-dimension, the configuration space is no longer simply-connected, providing a topological explanation for several models that exhibit anyonic behavior.

categories: quant-ph cond-mat.quant-gas math-ph math.MP


title: For Whom the Bell Trolls: Troll Behaviour in the Twitter Brexit Debate

abstract: In a review into automated and malicious activity Twitter released a list of accounts that they believed were connected to state sponsored manipulation of the 2016 American Election. This list details 2,752 accounts Twitter believed to be controlled by Russian operatives. In the absence of a similar list of operatives active within the debate on the 2016 UK referendum on membership of the European Union (Brexit) we investigated the behaviour of the same American Election focused accounts in the production of content related to the UK-EU referendum. We found that within our dataset we had Brexit-related content from 419 of these accounts, leading to 3,485 identified tweets gathered between the 29th August 2015 and 3rd October 2017. The behaviour of the accounts altered radically on the day of the referendum, shifting from generalised disruptive tweeting to retweeting each other in order to amplify content produced by other troll accounts. We also demonstrate that, while these accounts are, in general, designed to resemble American citizens, accounts created in 2016 often contained German locations and terms in the user profiles.


title: Symmetry, Structure, and Emergent Subsystems

abstract: Symmetries impose structure on the Hilbert space of a quantum mechanical model. The mathematical units of this structure are the irreducible representations of symmetry groups and I consider how they function as conceptual units of interpretation. For models with symmetry, the properties of irreducible representations constrain the possibilities of Hilbert space arithmetic, i.e.\ how a Hilbert space can be decomposed into sums of subspaces and factored into products of subspaces. Partitioning the Hilbert space is equivalent to parsing the system into subsystems, and these emergent subsystems provide insight into the kinematics, dynamics, and informatics of a quantum model. This article provides examples of how complex models can be built up from irreducible representations that correspond to `natural' ontological units like spins and particles. It also gives examples of the reverse process in which complex models are partitioned into subsystems that are selected by the representations of the symmetries and require no underlying ontological commitments. These techniques are applied to a few-body model in one-dimension with a Hamiltonian depending on an interaction strength parameter. As this parameter is tuned, the Hamiltonian runs dynamical spectrum from integrable to chaotic, and the subsystems relevant for analyzing and interpreting the dynamics shift accordingly.


title: First-principle study of paraelectric and ferroelectric CsH$_2$PO$_4$ including dispersion forces: stability and related vibrational, dielectric and elastic properties

abstract: Using density functional theory (DFT) and density functional perturbation theory (DFPT), we investigate the stability and response functions of CsH$_2$PO$_4$, a ferroelectric material at low temperature. This material cannot be described properly by the usual (semi-)local approximations within DFT. The long-range e$^-$-e$^-$ correlation needs to be properly taken into account, using, for instance, Grimme's DFT-D methods, as investigated in this work. We find that DFT-D3(BJ) performs the best for the members of the dihydrogenated alkali phosphate family (KH$_2$PO$_4$, RbH$_2$PO$_4$, CsH$_2$PO$_4$), leading to experimental lattice parameters reproduced with an average deviation of 0.5 %. With these DFT-D methods, the structural, dielectric, vibrational and mechanical properties of CsH$_2$PO$_4$ are globally in excellent agreement with the available experiments ($<$ 2% MAPE for Raman-active phonons). Our study suggests the possible existence of a new low-temperature phase for CsH$_2$PO$_4$, not yet reported experimentally. Finally, we report the implementation of DFT-D contributions to elastic constants within DFPT.


title: Safe Exploration in Continuous Action Spaces

abstract: We address the problem of deploying a reinforcement learning (RL) agent on a physical system such as a datacenter cooling unit or robot, where critical constraints must never be violated. We show how to exploit the typically smooth dynamics of these systems and enable RL algorithms to never violate constraints during learning. Our technique is to directly add to the policy a safety layer that analytically solves an action correction formulation per each state. The novelty of obtaining an elegant closed-form solution is attained due to a linearized model, learned on past trajectories consisting of arbitrary actions. This is to mimic the real-world circumstances where data logs were generated with a behavior policy that is implausible to describe mathematically; such cases render the known safety-aware off-policy methods inapplicable. We demonstrate the efficacy of our approach on new representative physics-based environments, and prevail where reward shaping fails by maintaining zero constraint violations.


title: Multipartite Einstein-Podolsky-Rosen steering sharing with separable states

abstract: Distribution of quantum correlations among remote users is a key procedure underlying many quantum information technologies. Einstein-Podolsky-Rosen steering, which is one kind of such correlations stronger than entanglement, has been identified as a resource for secure quantum networks. We show that this resource can be established between two and even more distant parties by transmission of a system being separable from all the parties. For the case with two parties, we design a protocol allowing to distribute one-way Gaussian steering between them via a separable carrier; the obtained steering can be used subsequently for one-sided device-independent (1sDI) quantum key distribution. Further, we extend the protocol to three parties, a scenario which exhibits richer steerability properties including one-to-multimode steering and collective steering, and which can be used for 1sDI quantum secret sharing. All the proposed steering distribution protocols can be implemented with squeezed states, beam splitters and displacements, and thus they can be readily realized experimentally. Our findings reveal that not only entanglement but even steering can be distributed via communication of a separable system. Viewed from a different perspective, the present protocols also demonstrate that one can switch multipartite states between different steerability classes by operations on parts of the states.


title: Toward free-surface flow simulations with correct energy evolution: an isogeometric level-set approach with monolithic time-integration

abstract: This paper presents a new monolithic free-surface formulation that exhibits correct kinetic and potential energy behavior. We focus in particular on the temporal energy behavior of two-fluids flow with varying densities. Correct energy behavior here means that the actual energy evolution of the numerical solution matches the evolution as predicted by the discrete two-fluid equations. We adopt the level-set method to describe the two-fluid surface. To ensure the correct energy behavior we augment the interface convection equation with kinetic and potential energy constraints. We solve the resulting formulation consisting of the fluid and interface equations in a monolithic fashion using a recently proposed level-set method [I. Akkerman. Monotone level-sets on arbitrary meshes without redistancing. Computers & Fluids, 146:74-85, 2017.]. For the spatial discretization divergence-conforming NURBS are adopted. The resulting discrete equations are solved with a quasi-newton method which partially decouples the constraints from the rest of the problem. The simulation of a dambreak problem numerically supports the correct energy behavior of the proposed methodology. This improves the solution quality significantly upon a more traditional approach. Due to the excellent accuracy per degree of freedom one can suffice with a much lower resolution.


title: A Comparison of Visualisation Methods for Disambiguating Verbal Requests in Human-Robot Interaction

abstract: Picking up objects requested by a human user is a common task in human-robot interaction. When multiple objects match the user's verbal description, the robot needs to clarify which object the user is referring to before executing the action. Previous research has focused on perceiving user's multimodal behaviour to complement verbal commands or minimising the number of follow up questions to reduce task time. In this paper, we propose a system for reference disambiguation based on visualisation and compare three methods to disambiguate natural language instructions. In a controlled experiment with a YuMi robot, we investigated real-time augmentations of the workspace in three conditions -- mixed reality, augmented reality, and a monitor as the baseline -- using objective measures such as time and accuracy, and subjective measures like engagement, immersion, and display interference. Significant differences were found in accuracy and engagement between the conditions, but no differences were found in task time. Despite the higher error rates in the mixed reality condition, participants found that modality more engaging than the other two, but overall showed preference for the augmented reality condition over the monitor and mixed reality conditions.


title: D2.2 White-box methodologies, programming abstractions and libraries

abstract: This deliverable reports the results of white-box methodologies and early results of the first prototype of libraries and programming abstractions as available by project month 18 by Work Package 2 (WP2). It reports i) the latest results of Task 2.2 on white-box methodologies, programming abstractions and libraries for developing energy-efficient data structures and algorithms and ii) the improved results of Task 2.1 on investigating and modeling the trade-off between energy and performance of concurrent data structures and algorithms. The work has been conducted on two main EXCESS platforms: Intel platforms with recent Intel multicore CPUs and Movidius Myriad1 platform. Regarding white-box methodologies, we have devised new relaxed cache-oblivious models and proposed a new power model for Myriad1 platform and an energy model for lock-free queues on CPU platforms. For Myriad1 platform, the im- proved model now considers both computation and data movement cost as well as architecture and application properties. The model has been evaluated with a set of micro-benchmarks and application benchmarks. For Intel platforms, we have generalized the model for concurrent queues on CPU platforms to offer more flexibility according to the workers calling the data structure (parallel section sizes of enqueuers and dequeuers are decoupled). Regarding programming abstractions and libraries, we have continued investigat- ing the trade-offs between energy consumption and performance of data structures such as concurrent queues and concurrent search trees based on the early results of Task 2.1.The preliminary results show that our concurrent trees are faster and more energy efficient than the state-of-the-art on commodity HPC and embedded platforms.


title: Normality and quotient in crossed modules over groupoids and double groupoids

abstract: We consider the categorical equivalence between crossed modules over groupoids and double groupoids with thin structures; and by this equivalence, we prove how normality and quotient concepts are related in these two categories and give some examples of these objects.


title: On the problem of non Berwaldian Landsberg spaces

abstract: In this paper, we study the long existence problem of non Berwaldian Landsberg spaces using the conformal transformation point of view. Under conformal transformation, the Berwald and Landesberg tensors are calculated in terms of the T-tensor. By giving examples, we show that under conformal transformation, there are Landsberg spaces with non-vanishing T-tensor. A necessary condition for a Landsberg space to be Berwaldian is given. Various special cases are studied. Cases in which the Landsberg spaces can not be Berwaldian are shown. Examples of non-Berwaldian landsberg (singular) spaces are given.


title: Coordinating Knowledge Work in Multi-Team Programs: Findings from a Large-Scale Agile Development Program

abstract: Software development projects have undergone remarkable changes with the arrival of agile development methods. While intended for small, self-managing teams, these methods are increasingly used also for large development programs. A major challenge in programs is to coordinate the work of many teams, due to high uncertainty in tasks, a high degree of interdependence between tasks and because of the large number of people involved. This revelatory case study focuses on how knowledge work is coordinated in large-scale agile development programs by providing a rich description of the coordination practices used and how these practices change over time in a four year development program with 12 development teams. The main findings highlight the role of coordination modes based on feedback, the use of a number of mechanisms far beyond what is described in practitioner advice, and finally how coordination practices change over time. The findings are important to improve the outcome of large knowledge-based development programs by tailoring coordination practices to needs and ensuring adjustment over time.


title: Variants of Schanuel's conjecture

abstract: This is a collection of variants of Schanuel's conjecture and the known dependencies between them. It was originally written in 2007, and made available for a time on my webpage. I have been asked by a few people to make it available again and have taken the opportunity to make some minor revisions now in January 2018. The treatment is far from exhaustive of the literature, and for the most part consists of statements which were under discussion in the Oxford logic group between around 2002 and 2007.


title: Relational Equivalence Proofs Between Imperative and MapReduce Algorithms

abstract: MapReduce frameworks are widely used for the implementation of distributed algorithms. However, translating imperative algorithms into these frameworks requires significant structural changes to the algorithm. As the costs of running faulty algorithms at scale can be severe, it is highly desirable to verify the correctness of the translation, i.e., to prove that the MapReduce version is equivalent to the imperative original. We present a novel approach for proving equivalence between imperative and MapReduce algorithms based on partitioning the equivalence proof into a sequence of equivalence proofs between intermediate programs with smaller differences. Our approach is based on the insight that two kinds of sub-proofs are required: (1) uniform transformations changing the controlflow structure that are mostly independent of the particular context in which they are applied; and (2) context-dependent transformations that are not uniform but that preserve the overall structure and can be proved correct using coupling invariants. We demonstrate the feasibility of our approach by evaluating it on two prototypical algorithms commonly used as examples in MapReduce frameworks: k-means and PageRank. To carry out the proofs, we use the interactive theorem prover Coq with partial proof automation. The results show that our approach and its prototypical implementation based on Coq enables equivalence proofs of non-trivial algorithms and could be automated to a large degree.