title: Optical and atomic stochastic resonances in the driven dissipative Jaynes-Cummings model

abstract: In this work we study the stochastic resonance (SR) effect in a driven dissipative Jaynes-Cummings model. The SR effect is systematically studied in the semiclassical and full quantum frameworks and in both cases we find that SRs simultaneously occur for the optical and atomic freedoms. In particular, at zero temperature quantum SR can be induced merely by vacuum fluctuations. The qualitative features of semiclassical SR and quantum SR are similar, but the parameter region of quantum SR are shifted from the semiclassical region due to the widely-used factorization in obtaining semiclassical equations of motion. Our results provide a theoretical basis for experimentally observing and studying the SR phenomenon of the Jaynes-Cummings model in the quantum regime.


title: Interaction Effects on the Size Distribution in a Growth Model

abstract: We study, both analytically and numerically, the interaction effects on the skewness of the size distribution of elements in a growth model. We incorporate two types of global interaction into the growth model, and develop analytic expressions for the first few moments from which the skewness of the size distribution is calculated. It is found that depending on the sign of coupling, interactions may suppress or enhance the size growth, which in turn leads to the decrease or increase of the skewness. The amount of change tends to increase with the coupling strength, rather irrespectively of the details of the model.


title: A Low-rank Spline Approximation of Planar Domains

abstract: Construction of spline surfaces from given boundary curves is one of the classical problems in computer aided geometric design, which regains much attention in isogeometric analysis in recent years and is called domain parameterization. However, for most of the state-of-the-art parameterization methods, the rank of the spline parameterization is usually large, which results in higher computational cost in solving numerical PDEs. In this paper, we propose a low-rank representation for the spline parameterization of planar domains using low-rank tensor approximation technique, and apply quasi-conformal map as the framework of the spline parameterization. Under given correspondence of boundary curves, a quasi-conformal map with low rank and low distortion between a unit square and the computational domain can be modeled as a non-linear optimization problem. We propose an efficient algorithm to compute the quasi-conformal map by solving two convex optimization problems alternatively. Experimental results show that our approach can produce a bijective and low-rank parametric spline representation of planar domains, which results in better performance than previous approaches in solving numerical PDEs.


title: Combining guaranteed and spot markets in display advertising: Selling guaranteed page views with stochastic demand

abstract: While page views are often sold instantly through real-time auctions when users visit websites, they can also be sold in advance via guaranteed contracts. In this paper, we present a dynamic programming model to study how an online publisher should optimally allocate and price page views between guaranteed and spot markets. The problem is challenging because the allocation and pricing of guaranteed contracts affect how advertisers split their purchases between the two markets, and the terminal value of the model is endogenously determined by the updated dual force of supply and demand in auctions. We take the advertisers' purchasing behaviour into consideration, i.e., risk aversion and stochastic demand arrivals, and present a scalable and efficient algorithm for the optimal solution. The model is also empirically validated with a commercial dataset. The experimental results show that selling page views via both channels can increase the publisher's expected total revenue, and the optimal pricing and allocation strategies are robust to different market and advertiser types.


title: ACTS in Need: Automatic Configuration Tuning with Scalability Guarantees

abstract: To support the variety of Big Data use cases, many Big Data related systems expose a large number of user-specifiable configuration parameters. Highlighted in our experiments, a MySQL deployment with well-tuned configuration parameters achieves a peak throughput as 12 times much as one with the default setting. However, finding the best setting for the tens or hundreds of configuration parameters is mission impossible for ordinary users. Worse still, many Big Data applications require the support of multiple systems co-deployed in the same cluster. As these co-deployed systems can interact to affect the overall performance, they must be tuned together. Automatic configuration tuning with scalability guarantees (ACTS) is in need to help system users. Solutions to ACTS must scale to various systems, workloads, deployments, parameters and resource limits. Proposing and implementing an ACTS solution, we demonstrate that ACTS can benefit users not only in improving system performance and resource utilization, but also in saving costs and enabling fairer benchmarking.


title: Schur-Concavity for Avoidance of Increasing Subsequences in Block-Ascending Permutations

abstract: For integers $a_1, \dots, a_n \ge 0$ and $k \ge 1$, let $\mathcal L_{k+2}(a_1, \dots, a_n)$ denote the set of permutations of $\{1, \dots, a_1+\dots+a_n\}$ whose descent set is contained in $\{a_1, a_1+a_2, \dots, a_1+\dots+a_{n-1}\}$, and which avoids the pattern $12\dots(k+2)$. We exhibit some bijections between such sets, most notably showing that $\# \mathcal L_{k+2} (a_1, \dots, a_n)$ is symmetric in the $a_i$ and is in fact Schur-concave. This generalizes a set of equivalences observed by Mei and Wang.


title: Local heuristics and an exact formula for abelian varieties of odd prime dimension over finite fields

abstract: Consider a $q$-Weil polynomial $f$ of degree $2g$. Using an equidistribution assumption that is too strong to be true, we define and compute a product of local relative densities of matrices in $\rm{GSp}_{2g}(\mathbb{F}_\ell)$ with characteristic polynomial $f\mod\ell$ when $g$ is an odd prime. This infinite product is closely related to a ratio of class numbers. When $g=3$ we conjecture that the product gives the size of an isogeny class of principally polarized abelian threefolds.


title: X-ray upper limits of GW151226 with MAXI

abstract: The error region of the the gravitational-wave (GW) event GW151226 was observed with Monitor of All-sky X-ray Image (MAXI). MAXI was operated at the time of GW151226, and continuously observed to 4 minutes after the event. MAXI covered about 84% of the 90 percent error region of the GW event during the first 92 minutes orbit after the event. No significant X-ray transient was detected in the GW error region. A typical 3-$\sigma$ GSC upper limit for a scan is 1.2 $\times 10^{-9}$ ergs cm$^{-2}$ s$^{-1}$ in the 2-20 keV. The auto-detection (MAXI nova-search) systems detected a short excess event with a low significance (2.85$\sigma$) from 5257 s to 5260 s after the GW trigger. Finally, we discuss the sensitivity of MAXI to long X-ray emissions of short gamma-ray bursts, which are expected to accompany GW events.


title: Recurrent Neural Network-Based Sentence Encoder with Gated Attention for Natural Language Inference

abstract: The RepEval 2017 Shared Task aims to evaluate natural language understanding models for sentence representation, in which a sentence is represented as a fixed-length vector with neural networks and the quality of the representation is tested with a natural language inference task. This paper describes our system (alpha) that is ranked among the top in the Shared Task, on both the in-domain test set (obtaining a 74.9% accuracy) and on the cross-domain test set (also attaining a 74.9% accuracy), demonstrating that the model generalizes well to the cross-domain data. Our model is equipped with intra-sentence gated-attention composition which helps achieve a better performance. In addition to submitting our model to the Shared Task, we have also tested it on the Stanford Natural Language Inference (SNLI) dataset. We obtain an accuracy of 85.5%, which is the best reported result on SNLI when cross-sentence attention is not allowed, the same condition enforced in RepEval 2017.


title: CASSL: Curriculum Accelerated Self-Supervised Learning

abstract: Recent self-supervised learning approaches focus on using a few thousand data points to learn policies for high-level, low-dimensional action spaces. However, scaling this framework for high-dimensional control require either scaling up the data collection efforts or using a clever sampling strategy for training. We present a novel approach - Curriculum Accelerated Self-Supervised Learning (CASSL) - to train policies that map visual information to high-level, higher- dimensional action spaces. CASSL orders the sampling of training data based on control dimensions: the learning and sampling are focused on few control parameters before other parameters. The right curriculum for learning is suggested by variance-based global sensitivity analysis of the control space. We apply our CASSL framework to learning how to grasp using an adaptive, underactuated multi-fingered gripper, a challenging system to control. Our experimental results indicate that CASSL provides significant improvement and generalization compared to baseline methods such as staged curriculum learning (8% increase) and complete end-to-end learning with random exploration (14% improvement) tested on a set of novel objects.


title: Deformable ellipsoidal bubbles in Taylor-Couette flow with enhanced Euler-Lagrange tracking

abstract: In this work we present numerical simulations of $10^5$ sub-Kolmogorov deformable bubbles dispersed in Taylor-Couette flow (a wall-bounded shear system) with rotating inner cylinder and outer cylinder at rest. We study the effect of deformability of the bubbles on the overall drag induced by the carrier fluid in the two-phase system. We find that an increase in deformability of the bubbles results in enhanced drag reduction due to a more pronounced accumulation of the deformed bubbles near the driving inner wall. This preferential accumulation is induced by an increase in the resistance on the motion of the bubbles in the wall-normal direction. The increased resistance is linked to the strong deformation of the bubbles near the wall which makes them prolate (stretched along one axes) and orient along the stream-wise direction. A larger concentration of the bubbles near the driving wall implies that they are more effective in weakening the plume ejections which results in stronger drag reduction effects. These simulations which are practically impossible with fully resolved techniques are made possible by coupling a sub-grid deformation model with two-way coupled Euler-Lagrangian tracking of sub-Kolmogorov bubbles dispersed in a turbulent flow field which is solved through direct numerical simulations. The bubbles are considered to be ellipsoidal in shape and their deformation is governed by an evolution equation which depends on the local flow conditions and their surface tension.


title: Tunable Spin-Orbit Torques in Cu-Ta Binary Alloy Heterostructures

abstract: The spin Hall effect (SHE) is found to be strong in heavy transition metals (HM), such as Ta and W, in their amorphous and/or high resistivity form. In this work, we show that by employing a Cu-Ta binary alloy as buffer layer in an amorphous Cu$_{100-x}$Ta$_{x}$-based magnetic heterostructure with perpendicular magnetic anisotropy (PMA), the SHE-induced damping-like spin-orbit torque (DL-SOT) efficiency $|\xi_{DL}|$ can be linearly tuned by adjusting the buffer layer resistivity. Current-induced SOT switching can also be achieved in these Cu$_{100-x}$Ta$_{x}$-based magnetic heterostructures, and we find the switching behavior better explained by a SOT-assisted domain wall propagation picture. Through systematic studies on Cu$_{100-x}$Ta$_{x}$-based samples with various compositions, we determine the lower bound of spin Hall conductivity $|\sigma_{SH}|\approx2.02\times10^{4}[\hbar/2e]\Omega^{-1}\cdot\operatorname{m}^{-1}$ in the Ta-rich regime. Based on the idea of resistivity tuning, we further demonstrate that $|\xi_{DL}|$ can be enhanced from 0.087 for pure Ta to 0.152 by employing a resistive TaN buffer layer.


title: High-dimensional cryptographic quantum parameter estimation

abstract: We investigate cryptographic quantum parameter estimation with a high-dimensional system that allows only Bob (Receiver) to access the result and achieve optimal parameter precision from Alice (Sender). Eavesdropper (Eve) only can disturb the parameter estimation of Bob, but she can not obtain the information of parameter. We analyze the security and show that the high-dimensional system can help to utilize the resource to obtain better precision than the two-dimensional system. Finally, we generalize it to the case of multi-parameter.


title: Pilot Reuse Among D2D Users in D2D Underlaid Massive MIMO Systems

abstract: In a device-to-device (D2D) underlaid massive MIMO system, D2D transmitters reuse the uplink spectrum of cellular users (CUs), leading to cochannel interference. To decrease pilot overhead, we assume pilot reuse (PR) among D2D pairs. We first derive the minimum-mean-square-error (MMSE) estimation of all channels and give a lower bound on the ergodic achievable rate of both cellular and D2D links. To mitigate pilot contamination caused by PR, we then propose a pilot scheduling and pilot power control algorithm based on the criterion of minimizing the sum mean-square-error (MSE) of channel estimation of D2D links. We show that, with an appropriate PR ratio and a well designed pilot scheduling scheme, each D2D transmitter could transmit its pilot with maximum power. In addition, we also maximize the sum rate of all D2D links while guaranteeing the quality of service (QoS) of CUs, and develop an iterative algorithm to obtain a suboptimal solution. Simulation results show that the effect of pilot contamination can be greatly decreased by the proposed pilot scheduling algorithm, and the PR scheme provides significant performance gains over the conventional orthogonal training scheme in terms of system spectral efficiency.


title: Harvesting large scale entanglement in de Sitter space with multiple detectors

abstract: We consider entanglement harvesting in de Sitter space using a model of multiple qubit detectors. We obtain the formula of the entanglement negativity for this system. Applying the obtained formula, we find that it is possible to access to the entanglement on the super horizon scale if sufficiently large number of detectors are prepared. This result indicates the effect of the multipartite entanglement is crucial for detection of large scale entanglement in de Sitter space.


title: A Measurement of CMB Cluster Lensing with SPT and DES Year 1 Data

abstract: Clusters of galaxies gravitationally lens the cosmic microwave background (CMB) radiation, resulting in a distinct imprint in the CMB on arcminute scales. Measurement of this effect offers a promising way to constrain the masses of galaxy clusters, particularly those at high redshift. We use CMB maps from the South Pole Telescope Sunyaev-Zel'dovich (SZ) survey to measure the CMB lensing signal around galaxy clusters identified in optical imaging from first year observations of the Dark Energy Survey. The cluster catalog used in this analysis contains 3697 members with mean redshift of $\bar{z} = 0.45$. We detect lensing of the CMB by the galaxy clusters at $8.1\sigma$ significance. Using the measured lensing signal, we constrain the amplitude of the relation between cluster mass and optical richness to roughly $17\%$ precision, finding good agreement with recent constraints obtained with galaxy lensing. The error budget is dominated by statistical noise but includes significant contributions from systematic biases due to the thermal SZ effect and cluster miscentering.


title: Nilsequences and Multiple Correlations along Subsequences

abstract: The results of Bergelson-Host-Kra and Leibman say that a multiple polynomial correlation sequence can be decomposed into a sum of a nilsequence (a sequence defined by evaluating a continuous function along an orbit in a nilsystem) and a null sequence (a sequence that goes to zero in density). We refine their results by proving that the null sequence goes to zero in density along polynomials evaluated at primes and Hardy sequence $(\lfloor n^c \rfloor)$. On the other hand, given a rigid sequence, we construct an example of correlation whose null sequence does not approach zero in density along that rigid sequence. As a corollary of a lemma in the proof, the formula for the pointwise ergodic average along polynomials of primes in a nilsystem is also obtained.


title: Molecular Gas and Star-Formation In Low Surface Brightness Galaxies

abstract: We have obtained CO(J=2-1) spectra of nine face-on low surface brightness galaxies(LSBGs) using the JCMT 15-meter telescope and observed Ha images using the 2.16-meter telescope of NAOC. As no CO has been detected, only upper limits on the H2 masses are given. The upper limits of total molecular hydrogen masses are about (1.2-82.4) x 10^7 Msun. Their star formation rates are mainly lower than 0.4 Msun/yr and star formation efficiencies are lower than 1.364 x 10^10 /yr. Our results show that the absence of molecular gas content is the direct reason for the low star formation rate. The low star formation efficiency probably resulted from the low efficiency of HI gas transforming to H2 gas.


title: The language of exoplanet ranking metrics needs to change

abstract: We have found many Earth-sized worlds but we have no way of determining if their surfaces are Earth-like. This makes it impossible to quantitatively compare habitability, and pretending we can risks damaging the field.


title: Effective interactions of hyperons and mass-radius relation of neutron stars

abstract: We examine the role of hyperons in a neutron star based on the relativistic mean field approach. For nuclear matter below 1.5 times the normal nuclear density we constrain the model parameters by using the symmetric nuclear matter properties and theoretical investigations for neutron matter in the literature. We then extend the model to higher densities by including hyperons and isoscalar vector mesons that contain strangeness degree of freedom. We confirm that the $\phi$ meson induces a $\Lambda$ repulsive force and hardens the equation of state. The hardening arising from the $\phi$ meson compensates the softening from the existence of hyperons. The flavor SU(3) and spin-flavor SU(6) relations are examined as well. We found that the coupling constants fitted by neutron matter properties could yield high enough maximum mass of a neutron star and the obtained results satisfy both the mass and radius constraints. The onset of the hyperon direct Urca process in neutron stars is also investigated using our parametrization.


title: Load Balancing using Hilbert Space-filling Curves for Parallel Reservoir Simulations

abstract: The goal of load balancing (grid partitioning) is to minimize overall computations and communications, and to make sure that all processors have a similar workload. Geometric methods divide a grid by using a location of a cell while topological methods work with connectivity of cells, which is generally described as a graph. This paper introduces a Hilbert space-filling curve method. A space-filling curve is a continuous curve and defines a map between a one-dimensional space and a multi-dimensional space. A Hilbert space-filling curve is one special space-filling curve discovered by Hilbert and has many useful characteristics, such as good locality, which means that two objects that are close to each other in a multi-dimensional space are also close to each other in a one dimensional space. This property can model communications in grid-based parallel applications. The idea of the Hilbert space-filling curve method is to map a computational domain into a one-dimensional space, partition the one-dimensional space to certain intervals, and assign all cells in a same interval to a MPI. To implement a load balancing method, a mapping kernel is required to convert high-dimensional coordinates to a scalar value and an efficient one-dimensional partitioning module that divides a one-dimensional space and makes sure that all intervals have a similar workload. The Hilbert space-filling curve method is compared with ParMETIS, a famous graph partitioning package. The results show that our Hilbert space-filling curve method has good partition quality. It has been applied to grids with billions of cells, and linear scalability has been obtained on IBM Blue Gene/Q.


title: Inferring the paleo-longitude directly from the paleo-geomagnetic data

abstract: It is thought that paleo-magnetism has the incapability in providing paleo-longitude. To obtain this important location parameter many other indirect methods have been developed based on different assumptions. Here we present a scanning method to derive the paleo-longitude from the usual paleo-magnetic measurements. This method takes into account the contributions to the Earth's magnetic potential from additional dipoles with their axes in the equatorial plane, which were omitted by the traditional paleo-magnetism. In this method, firstly we assume that $\theta_p$ and $\lambda_p$ are accurate (or determined well enough), and define a cost function; And secondly we minimize this function by systematically searching through all longitudes and latitudes in their domain; Finally when a local minima of this cost function reaches, the corresponding longitude is the paleo-longitude that we look for. Simultaneously the paleo-latitude is obtained. Synthetic experiments show that this method works very well when there are no errors in the geomagntic measurements (Components of magnetic field: $B_x, B_y, B_z$, or declination $D$ and inclination $I$). If there exist errors in geomagntic measurements, we recommend adding a Tikhonov regularization factor to the cost function for deriving reasonable paleo-longitude, and provide two examples. Error analysis shows that the main error sources for paleo-longitude are $B_y$ and/or $I$ in our method. In addition, such a cost function and its like could be used as a theoretical framework that can directly invert the paleo-longitude, paleo-latitude, and even the location of the paleo-geomagnetic poles simultaneously from the paleo-geomagnetic measurements through any appropriate inversion method.


title: Crystalline Symmetry-Protected Majorana Mode in Number-Conserving Dirac Semimetal Nanowires

abstract: One of the cornerstones for topological quantum computations is the Majorana zero mode, which has been intensively searched in fractional quantum Hall systems and topological superconductors. Several recent works suggest that such an exotic mode can also exist in a one-dimensional (1D) interacting double-wire setup even without long-range superconductivity. A notable instability in these proposals comes from interchannel single-particle tunneling that spoils the topological ground state degeneracy. Here we show that a 1D Dirac semimetal (DSM) nanowire is an ideal number-conserving platform to realize such Majorana physics. By inserting magnetic flux, a DSM nanowire is driven into a 1D crystalline-symmetry-protected semimetallic phase. Interaction enables the emergence of boundary Majorana zero modes, which is robust as a result of crystalline symmetry protection. We also explore several experimental consequences of Majorana signals.


title: A novel metaheuristic method for solving constrained engineering optimization problems: Drone Squadron Optimization

abstract: Several constrained optimization problems have been adequately solved over the years thanks to advances in the metaheuristics area. In this paper, we evaluate a novel self-adaptive and auto-constructive metaheuristic called Drone Squadron Optimization (DSO) in solving constrained engineering design problems. This paper evaluates DSO with death penalty on three widely tested engineering design problems. Results show that the proposed approach is competitive with some very popular metaheuristics.


title: Multiple Positive Solutions for Nonlocal Elliptic Problems Involving the Hardy Potential and Concave-Convex Nonlinearities

abstract: In this paper, we study the existence and multiplicity of solutions for the following fractional problem involving the Hardy potential and concave-convex nonlinearities: $$({-}{ \Delta})^{\frac{\alpha}{2}}u- \gamma \frac{u}{|x|^{\alpha}}= \lambda f(x) |u|^{q - 2} u + g(x) {\frac{|u|^{p-2}u}{|x|^s}} \ \text{ in } {\Omega,} \quad \text{ with Dirichlet boundary condition } u = 0 \ \text{ in } \mathbb{R}^n \setminus \Omega,$$ where $\Omega \subset \mathbb{R}^n$ is a smooth bounded domain in $\mathbb{R}^n$ containing $0$ in its interior, and $f,g \in C(\overline{\Omega})$ with $f^+,g^+ \not\equiv 0$ which may change sign in $\overline{\Omega}.$ We use the variational methods and the Nehari manifold decomposition to prove that this problem has at least two positive solutions for $\lambda$ sufficiently small. The variational approach requires that $0 < \alpha <2,$ $ 0 <s < \alpha <n,$ $ 1<q<2<p \le 2_{\alpha}^*(s):= \frac{2(n-s)}{n-\alpha},$ and $ \gamma < \gamma_H(\alpha) ,$ the latter being the best fractional Hardy constant on $\mathbb{R}^n.$


title: Constraining annihilating dark matter by radio data of M33

abstract: Recent studies of radio data put strong constraints on annihilation cross section for dark matter. In this article, we provide the first analysis of using M33 radio data in constraining annihilating dark matter. The resulting constraints of annihilation cross sections for some channels are more stringent than that obtained from 6 years of Fermi Large Area Telescope (Fermi-LAT) gamma-ray observations of the Milky Way dwarf spheroidal satellite galaxies. In particular, the conservative lower limits of dark matter mass annihilating via $e^+e^-$, $\mu^+\mu^-$and $\tau^+\tau^-$ channels are 190 GeV, 120 GeV and 70 GeV respectively with the thermal relic annihilation cross section. These results are in large tensions with some of the recent quantitative analyses of the AMS-02 and Fermi-LAT data of the Milky Way center.


title: Constrained Receiver Scheduling in Flexible Time and Wavelength Division Multiplexed Optical

abstract: An increasing bandwidth demand has mandated a shift to the time and wavelength division multiplexing (TWDM) techniques in optical access networks (OAN). Typical TWDM scheduling schemes consider scheduling of the optical line terminal receiver only. In this paper we have identified an additional collision domain that is present in TWDM schemes that offer security, in addition to bandwidth flexibility. Scheduling of the identified collision domain is termed as group scheduling. We illustrate that consideration of receiver scheduling only (as done in typical TWDM schemes) severely affects their throughput when implemented on flexible and secure TWDM architectures. A novel media access control protocol has been proposed in this paper that considers the multiple collision domains. Through simulations, we are able to illustrate that the proposed scheme achieves a high throughput. A theoretical upper bound of throughput has also been derived to explain the simulation results. Complexity reduction of the proposed scheme has been illustrated, thereby making it an attractive proposal.


title: Hashtag Healthcare: From Tweets to Mental Health Journals Using Deep Transfer Learning

abstract: As the popularity of social media platforms continues to rise, an ever-increasing amount of human communication and self- expression takes place online. Most recent research has focused on mining social media for public user opinion about external entities such as product reviews or sentiment towards political news. However, less attention has been paid to analyzing users' internalized thoughts and emotions from a mental health perspective. In this paper, we quantify the semantic difference between public Tweets and private mental health journals used in online cognitive behavioral therapy. We will use deep transfer learning techniques for analyzing the semantic gap between the two domains. We show that for the task of emotional valence prediction, social media can be successfully harnessed to create more accurate, robust, and personalized mental health models. Our results suggest that the semantic gap between public and private self-expression is small, and that utilizing the abundance of available social media is one way to overcome the small sample sizes of mental health data, which are commonly limited by availability and privacy concerns.


title: Schrodinger Equation weakly attractive 1/r^2 Potential Eigenfunctions

abstract: Bound state solutions of the Schrodinger Equation for the $-a/r^2$ potential have been presented recently for both the weak and strong coupling cases. However, Shortley in 1931 and Landau and Lifshitz in 1958 claimed that no bound state solutions exist for the weak coupling case when $0 < 2ma/\hbar^2 <= (l + 1/2)^2$. We demonstrate that one bound state solution can exist for each angular momentum state l, and that a complete orthogonal set of continuum eigenfunctions orthogonal to the bound state eigenfunction can be constructed when $l(l+ 1) < 2ma/\hbar^2 <= (l + 1/2)^2$. We show that Shortley's argument is spurious due to his neglecting a boundary term arising from the momentum operator and that the Landau and Lifshitz claim is based on a restrictive fitting of the exterior solution to an interior spherical well. Instead, to each weak coupling, a, we find a unique interior well strength $V_{in} = -a'/ro^2$ which yields a finite bound state. In particular for the l = 0 case the well strength is given by: $2ma'/\hbar^2 = 1.3734 + 2.2265*(1/4 - 2ma'/\hbar^2)^{1/2}$.


title: Symbolic Blowup algebras of monomial curves in ${\mathbb A}^3$ defined by arithmetic sequence

abstract: In this paper, we consider monomial curves in ${\mathbb A}_k^3$ parameterized by $t \rightarrow (t^{2q +1}, t^{2q +1 + m}, t^{2q +1 +2 m})$ where $gcd( 2q+1,m)=1$. The symbolic blowup algebras of these monomial curves is Gorenstein (\cite{goto-nis-shim}, \cite{goto-nis-shim-2}). We give a simple proof for the the Gorenstein property for the symbolic blowup algebras of these curves.


title: Generalized Bruhat Cells and Completeness of Hamiltonian Flows of Kogan-Zelevinsky Integrable Systems

abstract: Let $G$ be any connected and simply connected complex semisimple Lie group, equipped with a standard holomorphic multiplicative Poisson structure. We show that the Hamiltonian flows of all the Fomin-Zelevinsky twisted generalized minors on every double Bruhat cell of $G$ are complete in the sense that all the integral curves of their Hamiltonian vector fields are defined on ${\mathbb{C}}$. It follows that all the Kogan-Zelevinsky integrable systems on $G$ have complete Hamiltonian flows, generalizing the result of Gekhtman and Yakimov for the case of $SL(n, {\mathbb{C}})$. We in fact construct a class of integrable systems with complete Hamiltonian flows associated to {\it generalized Bruhat cells} which are defined using arbitrary sequences of elements in the Weyl group of $G$, and we obtain the results for double Bruhat cells through the so-called open {\it Fomin-Zelevinsky embeddings} of (reduced) double Bruhat cells in generalized Bruhat cells. The Fomin-Zelevinsky embeddings are proved to be Poisson, and they provide global coordinates on double Bruhat cells, called {\it Bott-Samelson coordinates}, in which all the Fomin-Zelevinsky minors become polynomials and the Poisson structure can be computed explicitly.


title: The automorphism groups and derivation algebras of two-dimensional algebras

abstract: The automorphisms groups and derivation algebras of all two-dimensional algebras over algebraically closed fields are described.


title: VisAR: Bringing Interactivity to Static Data Visualizations through Augmented Reality

abstract: Static visualizations have analytic and expressive value. However, many interactive tasks cannot be completed using static visualizations. As datasets grow in size and complexity, static visualizations start losing their analytic and expressive power for interactive data exploration. Despite this limitation of static visualizations, there are still many cases where visualizations are limited to being static (e.g., visualizations on presentation slides or posters). We believe in many of these cases, static visualizations will benefit from allowing users to perform interactive tasks on them. Inspired by the introduction of numerous commercial personal augmented reality (AR) devices, we propose an AR solution that allows interactive data exploration of datasets on static visualizations. In particular, we present a prototype system named VisAR that uses the Microsoft Hololens to enable users to complete interactive tasks on static visualizations.


title: Effect of stacking fault energy on nucleation limited plasticity in Cu-Al alloys

abstract: We study the effect of Stacking Fault Energy (SFE) on the deformation behaviour of copper and copper-aluminium alloys using Molecular Dynamics (MD) simulation. We find that both yield stress and the magnitude of stress drop at yield decrease with increasing Al content. This "anomalous" softening behaviour is explained on the basis of nucleation controlled yielding behaviour. Further, the decrease in stress drop is rationalised in terms of the stored energy available at yielding - we show that this decreases with increasing Al. As a result, the maximum dislocation density is found to decrease with increasing Al content. Finally, we show that the yield stress calculated using a continuum model of homogeneous nucleation of partial loops agrees well with the yield stress seen in the simulations.


title: The Fluorescence detector Array of Single-pixel Telescopes: Contributions to the 35th International Cosmic Ray Conference (ICRC 2017)

abstract: Contributions of the Fluorescence detector Array of Single-pixel Telescopes (FAST) to the 35th International Cosmic Ray Conference, 12-20 July 2017, Busan, Korea


title: Kochen-Specker theorem revisited

abstract: The Kochen-Specker theorem is a basic and fundamental 50 year old non-existence result affecting the foundations of quantum mechanix, strongly implying the lack of any meaningful notion of "quantum realism", and typically leading to discussions of "contextuality" in quantum physics. Original proofs of the Kochen-Specker theorem proceeded via brute force counter-examples; often quite complicated and subtle (albeit mathematically "elementary") counter-examples. Only more recently have somewhat more "geometrical" proofs been developed. We present herein yet another simplified geometrical proof of the Kochen-Specker theorem, one that is valid for any number of dimensions, that minimizes the technical machinery involved, and makes the seriousness of the issues raised manifest.


title: The degenerate band edge laser: a new paradigm for coherent light-matter interaction

abstract: We propose a novel class of lasers based on a fourth order exceptional point of degeneracy (EPD) referred to as the degenerate band edge (DBE). EPDs have been found in Parity-Time-symmetric photonic structures that require loss and/or gain, here we show that the DBE is a different kind of EPD since it occurs in periodic structures that are lossless and gainless. Because of this property, a small level of gain is sufficient to induce single-frequency lasing based on a synchronous operation of four degenerate Floquet-Bloch eigenwaves. This lasing scheme constitutes a new paradigm in the light-matter interaction mechanism that leads also to the unprecedented scaling law of the laser threshold with the inverse of the fifth power of the laser-cavity length. The DBE laser has the lowest lasing threshold in comparison to a regular band edge laser and to a conventional laser in cavities with the same loaded quality (Q) factor and length. In particular, even without mirror reflectors the DBE laser exhibits a lasing threshold which is an order of magnitude lower than that of a uniform cavity laser of the same length and with very high mirror reflectivity. Importantly, this novel DBE lasing regime enforces mode selectivity and coherent single-frequency operation even for pumping rates well-beyond the lasing threshold, in contrast to the multifrequency nature of conventional uniform cavity lasers.


title: Transient Nature of Negative Capacitance in Ferroelectric Field-Effect Transistors

abstract: Negative capacitance (NC) in ferroelectrics, which stems from the imperfect screening of polarization, is considered a viable approach to lower voltage operation in the field-effect transistors (FETs) used in logic switches. In this paper, we discuss the implications of the transient nature of negative capacitance for its practical application. It is suggested that the NC effect needs to be characterized at the proper time scale to identify the type of circuits where functional NC-FETs can be used effectively.


title: Variance-Reduced Stochastic Learning under Random Reshuffling

abstract: Several useful variance-reduced stochastic gradient algorithms, such as SVRG, SAGA, Finito, and SAG, have been proposed to minimize empirical risks with linear convergence properties to the exact minimizer. The existing convergence results assume uniform data sampling with replacement. However, it has been observed in related works that random reshuffling can deliver superior performance over uniform sampling and, yet, no formal proofs or guarantees of exact convergence exist for variance-reduced algorithms under random reshuffling. This paper makes two contributions. First, it resolves this open issue and provides the first theoretical guarantee of linear convergence under random reshuffling for SAGA; the argument is also adaptable to other variance-reduced algorithms. Second, under random reshuffling, the paper proposes a new amortized variance-reduced gradient (AVRG) algorithm with constant storage requirements compared to SAGA and with balanced gradient computations compared to SVRG. AVRG is also shown analytically to converge linearly.


title: Variance-Reduced Stochastic Learning by Networked Agents under Random Reshuffling

abstract: A new amortized variance-reduced gradient (AVRG) algorithm was developed in \cite{ying2017convergence}, which has constant storage requirement in comparison to SAGA and balanced gradient computations in comparison to SVRG. One key advantage of the AVRG strategy is its amenability to decentralized implementations. In this work, we show how AVRG can be extended to the network case where multiple learning agents are assumed to be connected by a graph topology. In this scenario, each agent observes data that is spatially distributed and all agents are only allowed to communicate with direct neighbors. Moreover, the amount of data observed by the individual agents may differ drastically. For such situations, the balanced gradient computation property of AVRG becomes a real advantage in reducing idle time caused by unbalanced local data storage requirements, which is characteristic of other reduced-variance gradient algorithms. The resulting diffusion-AVRG algorithm is shown to have linear convergence to the exact solution, and is much more memory efficient than other alternative algorithms. In addition, we propose a mini-batch strategy to balance the communication and computation efficiency for diffusion-AVRG. When a proper batch size is employed, it is observed in simulations that diffusion-AVRG is more computationally efficient than exact diffusion or EXTRA while maintaining almost the same communication efficiency.


title: On dimension growth of modular irreducible representations of semisimple Lie algebras

abstract: In this paper we investigate the growth with respect to $p$ of dimensions of irreducible representations of a semisimple Lie algebra $\mathfrak{g}$ over $\overline{\mathbb{F}}_p$. More precisely, it is known that for $p\gg 0$, the irreducibles with a regular rational central character $\lambda$ and $p$-character $\chi$ are indexed by a certain canonical basis in the $K_0$ of the Springer fiber of $\chi$. This basis is independent of $p$. For a basis element, the dimension of the corresponding module is a polynomial in $p$. We show that the canonical basis is compatible with the two-sided cell filtration for a parabolic subgroup in the affine Weyl group defined by $\lambda$. We also explain how to read the degree of the dimension polynomial from a filtration component of the basis element. We use these results to establish conjectures of the second author and Ostrik on a classification of the finite dimensional irreducible representations of W-algebras, as well as a strengthening of a result by the first author with Anno and Mirkovic on real variations of stabilities for the derived category of the Springer resolution.


title: Better Tradeoffs for Exact Distance Oracles in Planar Graphs

abstract: We present an $O(n^{1.5})$-space distance oracle for directed planar graphs that answers distance queries in $O(\log n)$ time. Our oracle both significantly simplifies and significantly improves the recent oracle of Cohen-Addad, Dahlgaard and Wulff-Nilsen [FOCS 2017], which uses $O(n^{5/3})$-space and answers queries in $O(\log n)$ time. We achieve this by designing an elegant and efficient point location data structure for Voronoi diagrams on planar graphs. We further show a smooth tradeoff between space and query-time. For any $S\in [n,n^2]$, we show an oracle of size $S$ that answers queries in $\tilde O(\max\{1,n^{1.5}/S\})$ time. This new tradeoff is currently the best (up to polylogarithmic factors) for the entire range of $S$ and improves by polynomial factors over all the previously known tradeoffs for the range $S \in [n,n^{5/3}]$.


title: Research Activity Classification based on Time Series Bibliometrics

abstract: Bibliometrics such as the number of papers and times cited are often used to compare researchers based on specific criteria. The criteria, however, are different in each research domain and are set by empirical laws. Moreover, there are arguments, such that the simple sum of metric values works to the advantage of elders. Therefore, this paper attempts to constitute features from time series data of bibliometrics, and then classify the researchers according to the features. In detail, time series patterns are extracted from bibliographic data sets, and then a model to classify whether the researchers are "distinguished" or not is created by a machine learning technique. The experiments achieved an F-measure of 80.0% in the classification of 114 researchers in two research domains based on the data sets of Japan Science and Technology Agency and Elsevier's Scopus. In the future, we will conduct verification on a number of researchers in several domains, and then make use of discovering "distinguished" researchers, who are not widely known.


title: Performance Overhead Comparison between Hypervisor and Container based Virtualization

abstract: The current virtualization solution in the Cloud widely relies on hypervisor-based technologies. Along with the recent popularity of Docker, the container-based virtualization starts receiving more attention for being a promising alternative. Since both of the virtualization solutions are not resource-free, their performance overheads would lead to negative impacts on the quality of Cloud services. To help fundamentally understand the performance difference between these two types of virtualization solutions, we use a physical machine with "just-enough" resource as a baseline to investigate the performance overhead of a standalone Docker container against a standalone virtual machine (VM). With findings contrary to the related work, our evaluation results show that the virtualization's performance overhead could vary not only on a feature-by-feature basis but also on a job-to-job basis. Although the container-based solution is undoubtedly lightweight, the hypervisor-based technology does not come with higher performance overhead in every case. For example, Docker containers particularly exhibit lower QoS in terms of storage transaction speed.


title: Network maps of student work with physics, other sciences, and math in an integrated science course

abstract: In 2004 Denmark introduced a compulsory integrated science course the most popular upper secondary study program. One of the nation-wide course aims are for students to "achieve knowledge about some of the central scientific issues and their social, ethical, and historical perspectives". This is to be done via collaboration between the subjects, and often involves physics and another scientific subject. The official teaching plans further state that mathematics must be used for analysing data. We use network analysis to study six different implementations of the course in terms of the structure of different kinds of teaching/learning activities. By creating networks maps of each lesson, we show that teaching/learning activities in the course seldom tends to address how sciences can work together to solve a problem, but rather stages each natural science as a distinct and separate activity with a distinct identity.


title: Smooth invariant densities for random switching on the torus

abstract: We consider a random dynamical system obtained by switching between the flows generated by two smooth vector fields on the 2d-torus, with the random switchings happening according to a Poisson process. Assuming that the driving vector fields are transversal to each other at all points of the torus and that each of them allows for a smooth invariant density and no periodic orbits, we prove that the switched system also has a smooth invariant density, for every switching rate. Our approach is based on an integration by parts formula inspired by techniques from Malliavin calculus.


title: On a Feedback Control-based Mechanism of Bidding for Cloud Spot Service

abstract: As a cost-effective option for Cloud consumers, spot service has been considered to be a significant supplement for building a full-fledged market economy for the Cloud ecosystem. However, unlike the static and straightforward way of trading on-demand and reserved Cloud services, the market-driven regulations of employing spot service could be too complicated for Cloud consumers to comprehensively understand. In particular, it would be both difficult and tedious for potential consumers to determine suitable bids from time to time. To reduce the complexity in applying spot resources, we propose to use a feedback control to help make bidding decisions. Based on an arccotangent-function-type system model, our novel bidding mechanism imitates fuzzy and intuitive human activities to refine and issue new bids according to previous errors. The validation is conducted by using Amazon's historical spot price trace to perform a set of simulations and comparisons. The result shows that the feedback control-based mechanism obtains a better trade-off between bidding rationality and success rate than the other five comparable strategies. Although this mechanism is only for black-box bidding (price prediction) at this current stage, it can be conveniently and gradually upgraded to take into account external constraints in the future.


title: Phonon antibunching effect in coupled nonlinear micro/nanomechanical resonator at finite temperature

abstract: In this study, we investigate the phonon antibunching effect in a coupled nonlinear micro/nanoelectromechanical system (MEMS/NEMS) resonator at a finite temperature. In the weak driving limit, the optimal condition for phonon antibunching is given by solving the stationary Liouville-von Neumann master equation. We show that at low temperature, the phonon antibunching effect occurs in the regime of weak nonlinearity and mechanical coupling, which is confirmed by analytical and numerical solutions. We also find that thermal noise can degrade or even destroy the antibunching effect for different mechanical coupling strengths. Furthermore, a transition from strong antibunching to bunching for phonon correlation has been observed in the temperature domain. Finally, we find that a suitably strong driving in the finite-temperature case would help to preserve an optimal phonon correlation against thermal noise.


title: Rigidity and trace properties of divergence-measure vector fields

abstract: We consider a $\varphi$-rigidity property for divergence-free vector fields in the Euclidean $n$-space, where $\varphi(t)$ is a non-negative convex function vanishing only at $t=0$. We show that this property is always satisfied in dimension $n=2$, while in higher dimension it requires some further restriction on $\varphi$. In particular, we exhibit counterexamples to \textit{quadratic rigidity} (i.e., when $\varphi(t) = ct^2$) in dimension $n\ge 4$. The validity of the quadratic rigidity, which we prove in dimension $n=2$, implies the existence of the trace of a divergence-measure vector field $\xi$ on a $\mathcal{H}^{1}$-rectifiable set $S$, as soon as its weak normal trace $[\xi\cdot \nu_S]$ is maximal on $S$. As an application, we deduce that the graph of an extremal solution to the prescribed mean curvature equation in a weakly-regular domain becomes vertical near the boundary in a pointwise sense.


title: The nature of triad interactions in active turbulence

abstract: Generalized Navier-Stokes (GNS) equations describing three-dimensional (3D) active fluids with flow-dependent spectral forcing have been shown to possess numerical solutions that can sustain significant energy transfer to larger scales by realising chiral Beltrami-type chaotic flows. To rationalise these findings, we study here the triad truncations of polynomial and Gaussian GNS models focusing on modes lying in the energy injection range. Identifying a previously unknown cubic invariant, we show that the asymptotic triad dynamics reduces to that of a forced rigid body coupled to a particle moving in a magnetic field. This analogy allows us to classify triadic interactions by their asymptotic stability: unstable triads correspond to rigid-body forcing along the largest and smallest principal axes, whereas stable triads arise from forcing along the middle axis. Analysis of the polynomial GNS model reveals that unstable triads induce exponential growth of energy and helicity, whereas stable triads develop a limit cycle of bounded energy and helicity. This suggests that the unstable triads dominate the initial relaxation stage of the full hydrodynamic equations, whereas the stable triads determine the statistically stationary state. To test this hypothesis, we introduce and investigate the Gaussian active turbulence model, which develops a Kolmogorov-type $-5/3$ energy spectrum at large wavelengths. Similar to the polynomial case, the steady-state chaotic flows spontaneously accumulate non-zero mean helicity while exhibiting Beltrami statistics and upward energy transport. Our results suggest that self-sustained Beltrami-type flows and an inverse energy cascade may be generic features of 3D active turbulence models with flow-dependent spectral forcing.


title: Quantum metrology beyond the classical limit under the effect of dephasing

abstract: Quantum sensors have the potential to outperform their classical counterparts. For classical sensing, the uncertainty of the estimation of the target fields scales inversely with the square root of the measurement time T. On the other hand, by using quantum resources, we can reduce this scaling of the uncertainty with time to 1/T. However, as quantum states are susceptible to dephasing, it has not been clear whether we can achieve sensitivities with a scaling of 1/T for a measurement time longer than the coherence time. Here, we propose a scheme that estimates the amplitude of globally applied fields with the uncertainty of 1/T for an arbitrary time scale under the effect of dephasing. We use one-way quantum computing based teleportation between qubits to prevent any increase in the correlation between the quantum state and its local environment from building up and have shown that such a teleportation protocol can suppress the local dephasing while the information from the target fields keeps growing. Our method has the potential to realize a quantum sensor with a sensitivity far beyond that of any classical sensor.


title: Graded components of Local cohomology modules II

abstract: Let $A$ be a commutative Noetherian ring containing a field of characteristic zero. Let $R= A[X_1, \ldots, X_m]$ be a polynomial ring and $A_m(A) = A \langle X_1, \ldots, X_m, \partial_1, \ldots, \partial_m \rangle$ be the $m^{th}$ Weyl algebra over $A$, where $\partial_i=\partial/\partial X_i$. Consider both $R$ and $A_m(A)$ as standard graded with $\mathrm{deg}~ z=0$ for all $z \in A$, $\mathrm{deg}~ X_i=1$, and $\mathrm{deg}~ \partial_i =-1$ for $i=1, \ldots, m$. We present a few results about the behavior of the graded components of local cohomology modules $H_I^i(R)$, where $I$ is an arbitrary homogeneous ideal in $R$. We mostly restrict our attention to the Vanishing, Tameness, and Rigidity properties. To obtain this, we use the theory of $D$-modules and show that generalized Eulerian $A_m(A)$-modules exhibit these properties. As a corollary, we further get that components of graded local cohomology modules with respect to a pair of ideals display similar behavior.


title: Using a Predator-Prey Model to Explain Variations of Cloud Spot Price

abstract: The spot pricing scheme has been considered to be resource-efficient for providers and cost-effective for consumers in the Cloud market. Nevertheless, unlike the static and straightforward strategies of trading on-demand and reserved Cloud services, the market-driven mechanism for trading spot service would be complicated for both implementation and understanding. The largely invisible market activities and their complex interactions could especially make Cloud consumers hesitate to enter the spot market. To reduce the complexity in understanding the Cloud spot market, we decided to reveal the backend information behind spot price variations. Inspired by the methodology of reverse engineering, we developed a Predator-Prey model that can simulate the interactions between demand and resource based on the visible spot price traces. The simulation results have shown some basic regular patterns of market activities with respect to Amazon's spot instance type m3.large. Although the findings of this study need further validation by using practical data, our work essentially suggests a promising approach (i.e.~using a Predator-Prey model) to investigate spot market activities.


title: Signal Recovery in Perturbed Fourier Compressed Sensing

abstract: In many applications in compressed sensing, the measurement matrix is a Fourier matrix, i.e., it measures the Fourier transform of the underlying signal at some specified `base' frequencies $\{u_i\}_{i=1}^M$, where $M$ is the number of measurements. However due to system calibration errors, the system may measure the Fourier transform at frequencies $\{u_i + \delta_i\}_{i=1}^M$ that are different from the base frequencies and where $\{\delta_i\}_{i=1}^M$ are unknown. Ignoring perturbations of this nature can lead to major errors in signal recovery. In this paper, we present a simple but effective alternating minimization algorithm to recover the perturbations in the frequencies \emph{in situ} with the signal, which we assume is sparse or compressible in some known basis. In many cases, the perturbations $\{\delta_i\}_{i=1}^M$ can be expressed in terms of a small number of unique parameters $P \ll M$. We demonstrate that in such cases, the method leads to excellent quality results that are several times better than baseline algorithms (which are based on existing off-grid methods in the recent literature on direction of arrival (DOA) estimation, modified to suit the computational problem in this paper). Our results are also robust to noise in the measurement values. We also provide theoretical results for (1) the convergence of our algorithm, and (2) the uniqueness of its solution under some restrictions.


title: A Radio Astronomy Search for Cold Dark Matter Axions

abstract: The search for axions has gained ground in recent years, with laboratory searches for cold dark matter (CDM) axions, relativistic solar axions and ultra-light axions the subject of extensive literature. In particular, the interest in axions as a CDM candidate has been motivated by its potential to account for all of the inferred value of $\Omega_{DM} \sim 0.26$ in the standard $\Lambda CDM$ model. Indeed, the value of $\Omega_{DM} \sim 0.26$ could be provided by a light axion. We investigate the possibility of complementing existing axion search experiments with radio telescope observations in an attempt to detect axion conversion in astrophysical magnetic fields. Searching for a CDM axion signal from a large-scale astrophysical environment provides new challenges, with the magnetic field structure playing a crucial role in both the rate of interaction and the properties of the observed photon. However, with a predicted frequency in the radio band (200MHz - 200GHz) and a distinguishable spectral profile, next generation radio telescopes may offer new opportunities for detection. The SKA-mid telescope has a planned frequency range of 0.4 - 13.8GHz with optimal sensitivity in the range $\sim$ 2 - 7 GHz. Considering observations at $\sim 500$MHz, the limiting sensitivity is expected to be $\sim 0.04$mK based on a 24 hour integration time. This compares with a predicted CDM axion all-sky signal temperature of $\sim 0.04$mK using SKA Phase 1 telescopes and up to $\sim 1.17$mK using a collecting area of (1km)$^2$ as planned for Phase 2.


title: Resolution of the apparent discrepancy between the number of massive subhaloes in Abell 2744 and {\Lambda}CDM

abstract: Schwinn et al. (2017) have recently compared the abundance and distribution of massive substructures identified in a gravitational lensing analysis of Abell 2744 by Jauzac et al. (2016) and N-body simulation and found no cluster in {\Lambda}CDM simulation that is similar to Abell 2744. Schwinn et al.(2017) identified the measured projected aperture masses with the actual masses associated with subhaloes in the MXXL N-body simulation. We have used the high resolution Phoenix cluster simulations to show that such an identification is incorrect: the aperture mass is dominated by mass in the body of the cluster that happens to be projected along the line-of-sight to the subhalo. This enhancement varies from factors of a few to factors of more than 100, particularly for subhaloes projected near the centre of the cluster. We calculate aperture masses for subhaloes in our simulation and compare them to the measurements for Abell 2744. We find that the data for Abell 2744 are in excellent agreement with the matched predictions from {\Lambda}CDM. We provide further predictions for aperture mass functions of subhaloes in idealized surveys with varying mass detection thresholds.


title: Spot Pricing in the Cloud Ecosystem: A Comparative Investigation

abstract: Background: Spot pricing is considered as a significant supplement for building a full-fledged market economy for the Cloud ecosystem. However, it seems that both providers and consumers are still hesitating to enter the Cloud spot market. The relevant academic community also has conflicting opinions about Cloud spot pricing in terms of revenue generation. Aim: This work aims to systematically identify, assess, synthesize and report the published evidence in favor of or against spot-price scheme compared with fixed-price scheme of Cloud computing, so as to help relieve the aforementioned conflict. Method: We employed the systematic literature review (SLR) method to collect and investigate the empirical studies of Cloud spot pricing indexed by major electronic libraries. Results: This SLR identified 61 primary studies that either delivered discussions or conducted experiments to perform comparison between spot pricing and fixed pricing in the Cloud domain. The reported benefits and limitations were summarized to facilitate cost-benefit analysis of being a Cloud spot pricing player, while four types of theories were distinguished to help both researchers and practitioners better understand the Cloud spot market. Conclusions: This SLR shows that the academic community strongly advocates the emerging Cloud spot market. Although there is still a lack of practical and easily deployable market-driven mechanisms, the overall findings of our work indicate that spot pricing plays a promising role in the sustainability of Cloud resource exploitation.


title: Exploiting Redundancy, Recurrence and Parallelism: How to Link Millions of Addresses with Ten Lines of Code in Ten Minutes

abstract: Accurate and efficient record linkage is an open challenge of particular relevance to Australian Government Agencies, who recognise that so-called wicked social problems are best tackled by forming partnerships founded on large-scale data fusion. Names and addresses are the most common attributes on which data from different government agencies can be linked. In this paper, we focus on the problem of address linking. Linkage is particularly problematic when the data has significant quality issues. The most common approach for dealing with quality issues is to standardise raw data prior to linking. If a mistake is made in standardisation, however, it is usually impossible to recover from it to perform linkage correctly. This paper proposes a novel algorithm for address linking that is particularly practical for linking large disparate sets of addresses, being highly scalable, robust to data quality issues and simple to implement. It obviates the need for labour intensive and problematic address standardisation. We demonstrate the efficacy of the algorithm by matching two large address datasets from two government agencies with good accuracy and computational efficiency.


title: Optimal Throughput Fairness Trade-offs for Downlink Non-Orthogonal Multiple Access over Fading Channels

abstract: Recently, non-orthogonal multiple access (NOMA) has attracted considerable interest as one of the 5G-enabling techniques. However, users with better channel conditions in downlink communications intrinsically benefits from NOMA thanks to successive decoding, judicious designs are required to guarantee user fairness. In this paper, a two-user downlink NOMA system over fading channels is considered. For delay-tolerant transmission, the average sum-rate is maximized subject to both average and peak power constraints as well as a minimum average user rate constraint. The optimal resource allocation is obtained using Lagrangian dual decomposition under full channel state information at the transmitter (CSIT), while an effective power allocation policy under partial CSIT is also developed based on analytical results. In parallel, for delay-limited transmission, the sum of delay-limited throughput (DLT) is maximized subject to a maximum allowable user outage constraint under full CSIT, and the analysis for the sum of DLT is also performed under partial CSIT. Furthermore, an optimal orthogonal multiple access (OMA) scheme is also studied as a benchmark to prove the superiority of NOMA over OMA under full CSIT. Finally, the theoretical analysis is verified by simulations via different trade-offs for the average sum-rate (sum-DLT) versus the minimum (maximum) average user rate (outage) requirement.


title: Sliced rotated sphere packing designs

abstract: Space-filling designs are popular choices for computer experiments. A sliced design is a design that can be partitioned into several subdesigns. We propose a new type of sliced space-filling design called sliced rotated sphere packing designs. Their full designs and subdesigns are rotated sphere packing designs. They are constructed by rescaling, rotating, translating and extracting the points from a sliced lattice. We provide two fast algorithms to generate such designs. Furthermore, we propose a strategy to use sliced rotated sphere packing designs adaptively. Under this strategy, initial runs are uniformly distributed in the design space, follow-up runs are added by incorporating information gained from initial runs, and the combined design is space-filling for any local region. Examples are given to illustrate its potential application.


title: {\mu}-MAR: Multiplane 3D Marker based Registration for Depth-sensing Cameras

abstract: Many applications including object reconstruction, robot guidance, and scene mapping require the registration of multiple views from a scene to generate a complete geometric and appearance model of it. In real situations, transformations between views are unknown an it is necessary to apply expert inference to estimate them. In the last few years, the emergence of low-cost depth-sensing cameras has strengthened the research on this topic, motivating a plethora of new applications. Although they have enough resolution and accuracy for many applications, some situations may not be solved with general state-of-the-art registration methods due to the Signal-to-Noise ratio (SNR) and the resolution of the data provided. The problem of working with low SNR data, in general terms, may appear in any 3D system, then it is necessary to propose novel solutions in this aspect. In this paper, we propose a method, {\mu}-MAR, able to both coarse and fine register sets of 3D points provided by low-cost depth-sensing cameras, despite it is not restricted to these sensors, into a common coordinate system. The method is able to overcome the noisy data problem by means of using a model-based solution of multiplane registration. Specifically, it iteratively registers 3D markers composed by multiple planes extracted from points of multiple views of the scene. As the markers and the object of interest are static in the scenario, the transformations obtained for the markers are applied to the object in order to reconstruct it. Experiments have been performed using synthetic and real data. The synthetic data allows a qualitative and quantitative evaluation by means of visual inspection and Hausdorff distance respectively. The real data experiments show the performance of the proposal using data acquired by a Primesense Carmine RGB-D sensor. The method has been compared to several state-of-the-art methods. The ...


title: Structure of Right-Handed Neutrino Mass Matrix

abstract: Recently, Nishiura and the author have proposed a unified quark-lepton mass matrix model under a family symmetry U(3)$\times$U(3)$'$. The model can give excellent parameter-fitting to the observed quark and neutrino data. The model has a reasonable basis as far as the quark sector, but the form of the right-handed neutrino mass matrix $M_R$ does not have a theoretical grand, that is, it was nothing but a phenomenological assumption. In this paper, it is pointed out that the form of $M_R$ is originated in structure of neutrino mass matrix for $(\nu_i, N_\alpha)$ where $\nu_i$ ($i=1,2,3$) and $N_\alpha$ ($\alpha=1,2,3$) are U(3)-family and U(3)$'$-family triplets, respectively.


title: Optimal Power Allocation Strategies in Full-duplex Relay Networks

abstract: In this work, we consider a dual-hop, decode-and-forward network where the relay can operate in full- duplex (FD) or half-duplex (HD) mode. We model the residual self-interference as an additive Gaussian noise with variance proportional to the relay transmit power, and we assume a Gaussian input distribution at the source. Unlike previous work, we assume that the source is only aware of the transmit power distribution adopted by the relay over a given time horizon, but not of the symbols that the relay is currently transmitting. This assumption better reflects the practical situation where the relay node also forwards signaling traffic, or data originated by other sources. Under these conditions, we identify the optimal power allocation strategy at the source and relay, which in some cases coincides with the half duplex transmission mode. In particular, we prove that such strategy implies either FD transmissions over an entire frame, or FD/HD transmissions over a variable fraction of the frame. We determine the optimal transmit power level at the source and relay for each frame, or fraction thereof. We compare the performance of the proposed scheme against reference FD and HD techniques, which assume that the source is aware of the symbols instantaneously transmitted by the relay. Our results highlight that our scheme closely approaches or outperforms such reference strategies.


title: Unambiguous path discrimination in a two-path interferometer

abstract: When a photon is detected after passing through an interferometer one might wonder which path it took, and a meaningful answer can only be given if one has the means of monitoring the photon's whereabouts. We report the realization of a single-photon experiment for a two-path interferometer with path marking. In this experiment, the path of a photon ("signal") through a Mach--Zehnder interferometer becomes known by unambiguous discrimination between the two paths. We encode the signal path in the polarization state of a partner photon ("idler") whose polarization is examined by a three-outcome measurement: one outcome each for the two signal paths plus an inconclusive outcome. Our results agree fully with the theoretical predictions from a common-sense analysis of what can be said about the past of a quantum particle: The signals for which we get the inconclusive result have full interference strength, as their paths through the interferometer \emph{cannot be known}; and every photon that emerges from the dark output port of the balanced interferometer has a \emph{known path}.


title: A note on submanifolds of generalized K\"ahler manifolds

abstract: In this note, we consider submanifolds of a generalized K\"ahler manifold that are CR-submanifolds for the two associated Hermitian structures. Then, we establish the conditions for the induced, generalized F structure to be a CRFK structure. The results extend similar conditions which we obtained for hypersurfaces in an earlier paper.


title: The All-Paths and Cycles Graph Kernel

abstract: With the recent rise in the amount of structured data available, there has been considerable interest in methods for machine learning with graphs. Many of these approaches have been kernel methods, which focus on measuring the similarity between graphs. These generally involving measuring the similarity of structural elements such as walks or paths. Borgwardt and Kriegel proposed the all-paths kernel but emphasized that it is NP-hard to compute and infeasible in practice, favouring instead the shortest-path kernel. In this paper, we introduce a new algorithm for computing the all-paths kernel which is very efficient and enrich it further by including the simple cycles as well. We demonstrate how it is feasible even on large datasets to compute all the paths and simple cycles up to a moderate length. We show how to count labelled paths/simple cycles between vertices of a graph and evaluate a labelled path and simple cycles kernel. Extensive evaluations on a variety of graph datasets demonstrate that the all-paths and cycles kernel has superior performance to the shortest-path kernel and state-of-the-art performance overall.


title: On the thermodynamics of the black hole and hairy black hole transitions in the asymptotically flat spacetime with a box

abstract: We study the asymptotically flat quasi-local black hole/hairy black hole model with nonzero mass of the scalar filed. We disclose effects of the scalar mass on transitions in a grand canonical ensemble with condensation behaviors of a parameter $\psi_{2}$, which is similar to approaches in holographic theories. We find that more negative scalar mass makes the phase transition easier to happen. We also obtain an analytical relation $\psi_{2}\varpropto(T_{c}-T)^{1/2}$ around the critical phase transition points implying a second order phase transition. Besides the parameter $\psi_{2}$, we show that metric solutions can be used to disclose properties of transitions. In this work, we observe that phase transitions in a box are strikingly similar to holographic transitions in the AdS gravity and the similarity provides insights into holographic theories.


title: On Evaluating Commercial Cloud Services: A Systematic Review

abstract: Background: Cloud Computing is increasingly booming in industry with many competing providers and services. Accordingly, evaluation of commercial Cloud services is necessary. However, the existing evaluation studies are relatively chaotic. There exists tremendous confusion and gap between practices and theory about Cloud services evaluation. Aim: To facilitate relieving the aforementioned chaos, this work aims to synthesize the existing evaluation implementations to outline the state-of-the-practice and also identify research opportunities in Cloud services evaluation. Method: Based on a conceptual evaluation model comprising six steps, the Systematic Literature Review (SLR) method was employed to collect relevant evidence to investigate the Cloud services evaluation step by step. Results: This SLR identified 82 relevant evaluation studies. The overall data collected from these studies essentially represent the current practical landscape of implementing Cloud services evaluation, and in turn can be reused to facilitate future evaluation work. Conclusions: Evaluation of commercial Cloud services has become a world-wide research topic. Some of the findings of this SLR identify several research gaps in the area of Cloud services evaluation (e.g., the Elasticity and Security evaluation of commercial Cloud services could be a long-term challenge), while some other findings suggest the trend of applying commercial Cloud services (e.g., compared with PaaS, IaaS seems more suitable for customers and is particularly important in industry). This SLR study itself also confirms some previous experiences and reveals new Evidence-Based Software Engineering (EBSE) lessons.


title: Distributed Solution of Large-Scale Linear Systems via Accelerated Projection-Based Consensus

abstract: Solving a large-scale system of linear equations is a key step at the heart of many algorithms in machine learning, scientific computing, and beyond. When the problem dimension is large, computational and/or memory constraints make it desirable, or even necessary, to perform the task in a distributed fashion. In this paper, we consider a common scenario in which a taskmaster intends to solve a large-scale system of linear equations by distributing subsets of the equations among a number of computing machines/cores. We propose an accelerated distributed consensus algorithm, in which at each iteration every machine updates its solution by adding a scaled version of the projection of an error signal onto the nullspace of its system of equations, and where the taskmaster conducts an averaging over the solutions with momentum. The convergence behavior of the proposed algorithm is analyzed in detail and analytically shown to compare favorably with the convergence rate of alternative distributed methods, namely distributed gradient descent, distributed versions of Nesterov's accelerated gradient descent and heavy-ball method, the block Cimmino method, and ADMM. On randomly chosen linear systems, as well as on real-world data sets, the proposed method offers significant speed-up relative to all the aforementioned methods. Finally, our analysis suggests a novel variation of the distributed heavy-ball method, which employs a particular distributed preconditioning, and which achieves the same theoretical convergence rate as the proposed consensus-based method.


title: Boosting Metrics for Cloud Services Evaluation -- The Last Mile of Using Benchmark Suites

abstract: Benchmark suites are significant for evaluating various aspects of Cloud services from a holistic view. However, there is still a gap between using benchmark suites and achieving holistic impression of the evaluated Cloud services. Most Cloud service evaluation work intended to report individual benchmarking results without delivering summary measures. As a result, it could be still hard for customers with such evaluation reports to understand an evaluated Cloud service from a global perspective. Inspired by the boosting approaches to machine learning, we proposed the concept Boosting Metrics to represent all the potential approaches that are able to integrate a suite of benchmarking results. This paper introduces two types of preliminary boosting metrics, and demonstrates how the boosting metrics can be used to supplement primary measures of individual Cloud service features. In particular, boosting metrics can play a summary Response role in applying experimental design to Cloud services evaluation. Although the concept Boosting Metrics was refined based on our work in the Cloud Computing domain, we believe it can be easily adapted to the evaluation work of other computing paradigms.


title: Correlations of Energy-Momentum Tensor via Gradient Flow in SU(3) Yang-Mills Theory at Finite Temperature

abstract: Euclidean two-point correlators of the energy-momentum tensor (EMT) in SU(3) gauge theory on the lattice are studied on the basis of the Yang-Mills gradient flow. The entropy density and the specific heat obtained from the two-point correlators are shown to be in good agreement with those from the one-point functions of EMT. These results constitute a first step toward the first principle simulations of the transport coefficients with the gradient flow.


title: Direct experimental observation of the molecular Jeff=3/2 ground state in the lacunar spinel GaTa4Se8

abstract: Strong spin-orbit coupling lifts the degeneracy of t2g orbitals in 5d transition-metal systems, leaving a Kramers doublet and quartet with effective angular momentum of Jeff = 1/2 and 3/2, respectively. These spin-orbit entangled states can host exotic quantum phases such as topological Mott state, unconventional superconductivity, and quantum spin liquid. The lacunar spinel GaTa4Se8 was theoretically predicted to form the molecular Jeff = 3/2 ground state. Experimental verification of its existence is an important first step to exploring the consequences of the Jeff = 3/2 state. Here, we report direct experimental evidence of the Jeff = 3/2 state in GaTa4Se8 by means of excitation spectra of resonant inelastic x-rays scattering at the Ta L3 and L2 edges. We found that the excitations involving the Jeff = 1/2 molecular orbital were suppressed only at the Ta L2 edge, manifesting the realization of the molecular Jeff = 3/2 ground state in GaTa4Se8.


title: New Two Step Laplace Adam-Bashforth Method for Integer an Non integer Order Partial Differential Equations

abstract: This paper presents a novel method that allows to generalise the use of the Adam-Bashforth to Partial Differential Equations with local and non local operator. The Method derives a two step Adam-Bashforth numerical scheme in Laplace space and the solution is taken back into the real space via inverse Laplace transform. The method yields a powerful numerical algorithm for fractional order derivative where the usually very difficult to manage summation in the numerical scheme disappears. Error Analysis of the method is also presented. Applications of the method and numerical simulations are presented on a wave-equation like, and on a fractional order diffusion equation.


title: Quiver varieties and elliptic quantum groups

abstract: We define a sheafified elliptic quantum group for any symmetric Kac-Moody Lie algebra. This definition is naturally obtained from the elliptic cohomological Hall algebra of a preprojective algebra. The sheafified elliptic quantum group is an algebra object in a certain monoidal category of coherent sheaves on the colored Hilbert scheme of an elliptic curve. We show that the elliptic quantum group acts on the equivariant elliptic cohomology of Nakajima quiver varieties. This action is compatible with the action induced by Hecke correspondence, a construction similar to that of Nakajima. The elliptic Drinfeld currents are obtained as generating series of certain rational sections of the sheafified elliptic quantum group. We show that the Drinfeld currents satisfy the commutation relations of the dynamical elliptic quantum group studied by Felder and Gautam-Toledano Laredo.


title: DoKnowMe: Towards a Domain Knowledge-driven Methodology for Performance Evaluation

abstract: Software engineering considers performance evaluation to be one of the key portions of software quality assurance. Unfortunately, there seems to be a lack of standard methodologies for performance evaluation even in the scope of experimental computer science. Inspired by the concept of "instantiation" in object-oriented programming, we distinguish the generic performance evaluation logic from the distributed and ad-hoc relevant studies, and develop an abstract evaluation methodology (by analogy of "class") we name Domain Knowledge-driven Methodology (DoKnowMe). By replacing five predefined domain-specific knowledge artefacts, DoKnowMe could be instantiated into specific methodologies (by analogy of "object") to guide evaluators in performance evaluation of different software and even computing systems. We also propose a generic validation framework with four indicators (i.e.~usefulness, feasibility, effectiveness and repeatability), and use it to validate DoKnowMe in the Cloud services evaluation domain. Given the positive and promising validation result, we plan to integrate more common evaluation strategies to improve DoKnowMe and further focus on the performance evaluation of Cloud autoscaler systems.


title: On the Selective and Invariant Representation of DCNN for High-Resolution Remote Sensing Image Recognition

abstract: Human vision possesses strong invariance in image recognition. The cognitive capability of deep convolutional neural network (DCNN) is close to the human visual level because of hierarchical coding directly from raw image. Owing to its superiority in feature representation, DCNN has exhibited remarkable performance in scene recognition of high-resolution remote sensing (HRRS) images and classification of hyper-spectral remote sensing images. In-depth investigation is still essential for understanding why DCNN can accurately identify diverse ground objects via its effective feature representation. Thus, we train the deep neural network called AlexNet on our large scale remote sensing image recognition benchmark. At the neuron level in each convolution layer, we analyze the general properties of DCNN in HRRS image recognition by use of a framework of visual stimulation-characteristic response combined with feature coding-classification decoding. Specifically, we use histogram statistics, representational dissimilarity matrix, and class activation mapping to observe the selective and invariance representations of DCNN in HRRS image recognition. We argue that selective and invariance representations play important roles in remote sensing images tasks, such as classification, detection, and segment. Also selective and invariance representations are significant to design new DCNN liked models for analyzing and understanding remote sensing images.


title: On Generating functions of Diagonals Sequences of Sheffer and Riordan Number Triangles

abstract: The exponential generating function of ordinary generating functions of diagonal sequences of general Sheffer triangles is computed by an application of Lagrange's theorem. For the special Jabotinsky type this is already known. An analogous computation for general Riordan number triangles leads to a formula for the logarithmic generating function of the ordinary generating functions of the product of the entries of the diagonal sequence of Pascal's triangle and those of the {Riordan triangle. For some examples these ordinary generating functions yield in both cases coefficient triangles of certain numerator polynomials.


title: Exploring the Function Space of Deep-Learning Machines

abstract: The function space of deep-learning machines is investigated by studying growth in the entropy of functions of a given error with respect to a reference function, realized by a deep-learning machine. Using physics-inspired methods we study both sparsely and densely-connected architectures to discover a layer-wise convergence of candidate functions, marked by a corresponding reduction in entropy when approaching the reference function, gain insight into the importance of having a large number of layers, and observe phase transitions as the error increases.


title: Object-Oriented Sokoban Solver: A Serious Game Project for OOAD and AI Education

abstract: Serious games are beneficial for education in various computer science areas. Numerous works have reported the experiences of using games (not only playing but also development) in teaching and learning. Considering it could be difficult for teachers/students to prepare/develop a game from scratch during one semester, assistant educational materials would be crucial in the corresponding courses. Unfortunately, the literature shows that not many materials from educational game projects are shared. To help different educators identify suitable courseware and help students implement game development, it is worth further investigating and accumulating the educational resources from individual game projects. Following such an idea, this paper proposes a game development project of an object-oriented Sokoban solver, and exposes relevant educational materials. The documented system design can be viewed as a ready-to-use resource for education in object-oriented analysis and design (OOAD), while the Sokoban solver itself may be used as an assignment platform for teaching artificial intelligence (AI). Further documentation, platform, and APIs will be realized and shared in the future to facilitate others' educational activities. Overall, this work is supposed to inspire and encourage other researchers and educators to post available materials of more game projects for the purpose of sharing and reuse.


title: The effects of halogen elements on the opening of an icosahedral B12 framework

abstract: The fully halogenated or hydrogenated B12X12 (X = H, F, Cl, Br and I) clusters are confirmed to be icosahedral. On the other hand, the bare B12 cluster is shown to have a planar structure. A previous study showed that a transformation from an icosahedron to a plane happens when 5 to 7 iodine atoms are substituted. Later, the transition was confirmed to be seven iodine substitutions based on an infrared spectroscopy study. In this study, we investigated the effects of different halogen atoms on the opening of the B12 icosahedral cage by means of density functional theory calculations. We found that the halogen elements do not have significant effects on the geometries of the clusters. The computed IR spectra show similar representative peaks for all halogen substituted clusters. Interestingly, we found a blue-shift in the IR spectra with the increase in the mass of the halogen atoms. Further, we compared the Gibbs free energies at different temperatures for different halogen atoms. The results show that the Gibbs free energy differences between open and close structures of B12X7 become larger when heavier halogen atoms are present. This interesting finding was subsequently investigated by energy decomposition analysis.


title: The Argument Reasoning Comprehension Task: Identification and Reconstruction of Implicit Warrants

abstract: Reasoning is a crucial part of natural language argumentation. To comprehend an argument, one must analyze its warrant, which explains why its claim follows from its premises. As arguments are highly contextualized, warrants are usually presupposed and left implicit. Thus, the comprehension does not only require language understanding and logic skills, but also depends on common sense. In this paper we develop a methodology for reconstructing warrants systematically. We operationalize it in a scalable crowdsourcing process, resulting in a freely licensed dataset with warrants for 2k authentic arguments from news comments. On this basis, we present a new challenging task, the argument reasoning comprehension task. Given an argument with a claim and a premise, the goal is to choose the correct implicit warrant from two options. Both warrants are plausible and lexically close, but lead to contradicting claims. A solution to this task will define a substantial step towards automatic warrant reconstruction. However, experiments with several neural attention and language models reveal that current approaches do not suffice.


title: Fischer decomposition for spinor valued polynomials in several variables

abstract: It is well-known that polynomials decompose into spherical harmonics. This result is called separation of variables or the Fischer decomposition. In the paper we prove the Fischer decomposition for spinor valued polynomials in $k$ vector variables of ${\mathbb R}^m$ under the stable range condition $m\geq 2k$. Here the role of spherical harmonics is played by monogenic polynomials, that is, polynomial solutions of the Dirac equation in $k$ vector variables.


title: Convergence to equilibrium of renormalised solutions to nonlinear chemical reaction-diffusion systems

abstract: The convergence to equilibrium for renormalised solutions to nonlinear reaction-diffusion systems is studied. The considered reaction-diffusion systems arise from chemical reaction networks with mass action kinetics and satisfy the complex balanced condition. By applying the so-called entropy method, we show that if the system does not have boundary equilibria, then any renormalised solution converges exponentially to the complex balanced equilibrium with a rate, which can be computed explicitly up to a finite dimensional inequality. This inequality is proven via a contradiction argument and thus not explicitly. An explicit method of proof, however, is provided for a specific application modelling a reversible enzyme reaction by exploiting the specific structure of the conservation laws. Our approach is also useful to study the trend to equilibrium for systems possessing boundary equilibria. More precisely, to show the convergence to equilibrium for systems with boundary equilibria, we establish a sufficient condition in terms of a modified finite dimensional inequality along trajectories of the system. By assuming this condition, which roughly means that the system produces too much entropy to stay close to a boundary equilibrium for infinite time, the entropy method shows exponential convergence to equilibrium for renormalised solutions to complex balanced systems with boundary equilibria.


title: Heralded generation of maximal entanglement in any dimension via incoherent coupling to thermal baths

abstract: We present a scheme for dissipatively generating maximal entanglement in a heralded manner. Our setup requires incoherent interactions with two thermal baths at different temperatures, but no source of work or control. A pair of $(d+1)$-dimensional quantum systems is first driven to an entangled steady state by the temperature gradient, and maximal entanglement in dimension $d$ can then be heralded via local filters. We discuss experimental prospects considering an implementation in superconducting systems.


title: The ESO Diffuse Interstellar Bands Large Exploration Survey: EDIBLES I. Project description, survey sample and quality assessment

abstract: The carriers of the diffuse interstellar bands (DIBs) are largely unidentified molecules ubiquitously present in the interstellar medium (ISM). After decades of study, two strong and possibly three weak near-infrared DIBs have recently been attributed to the C60+ fullerene based on observational and laboratory measurements. There is great promise for the identification of the over 400 other known DIBs, as this result could provide chemical hints towards other possible carriers. In an effort to systematically study the properties of the DIB carriers, we have initiated a new large-scale observational survey: the ESO Diffuse Interstellar Bands Large Exploration Survey (EDIBLES). The main objective is to build on and extend existing DIB surveys to make a major step forward in characterising the physical and chemical conditions for a statistically significant sample of interstellar lines-of-sight, with the goal to reverse-engineer key molecular properties of the DIB carriers. EDIBLES is a filler Large Programme using the Ultraviolet and Visual Echelle Spectrograph at the Very Large Telescope at Paranal, Chile. It is designed to provide an observationally unbiased view of the presence and behaviour of the DIBs towards early-spectral-type stars whose lines-of-sight probe the diffuse-to-translucent ISM. Such a complete dataset will provide a deep census of the atomic and molecular content, physical conditions, chemical abundances and elemental depletion levels for each sightline. Achieving these goals requires a homogeneous set of high-quality data in terms of resolution (R ~ 70000 -- 100000), sensitivity (S/N up to 1000 per resolution element), and spectral coverage (305--1042 nm), as well as a large sample size (100+ sightlines). In this first paper the goals, objectives and methodology of the EDIBLES programme are described and an initial assessment of the data is provided.


title: A Koszul sign map

abstract: We define a Koszul sign map encoding the Koszul sign convention. A cohomological interpretation is given.


title: Propagating speed waves in flocks: a mathematical model

abstract: Efficient collective response to external perturbations is one of the most striking abilities of a biological system. Signal propagation through the group is an important condition for the imple- mentation of such a response. Information transfer has been experimentally observed in the turning mechanism of birds flocks. In this context it is well-known also the existence of density waves: birds under predation, attempting to escape, give rise to self-organized density waves that propagates linearly on the flock. Most aspects of this phenomenon are still not fully captured by theoretical models. In this work we present a new model for the propagation of the speed (the modulus of the velocity) fluctuations inside a flock, which is the simplest way to reproduce the observed density waves. We have studied the full solution of the model in d = 1 and we found that there is a line in the parameter space along which the system relaxes in the fastest way with no oscillation after a signal has passed. This is the critical damping condition. By analyzing the parameters plane we show that critical damping represents an attractor for a steepest descent dynamics of the return time of the system. Finally we propose a method to test the validity of the model through through future experiments.


title: Nonparametric weighted stochastic block models

abstract: We present a Bayesian formulation of weighted stochastic block models that can be used to infer the large-scale modular structure of weighted networks, including their hierarchical organization. Our method is nonparametric, and thus does not require the prior knowledge of the number of groups or other dimensions of the model, which are instead inferred from data. We give a comprehensive treatment of different kinds of edge weights (i.e. continuous or discrete, signed or unsigned, bounded or unbounded), as well as arbitrary weight transformations, and describe an unsupervised model selection approach to choose the best network description. We illustrate the application of our method to a variety of empirical weighted networks, such as global migrations, voting patterns in congress, and neural connections in the human brain.


title: Minimal surfaces in AdS C-metric

abstract: We shed some light on the field theory interpretation of C-metric by investigating the minimal surfaces which are homologous to the given boundary regions. The accelerating black holes change the asymptotic structure of the space-time. We focus on the geometry features of the minimal surface and study how deep it reaches into the bulk. The regularized area of the minimal surface is not well defined and we introduce a new quantity $D(m,\theta_0)$, defined as the minimal surface divided by the area of the given boundary region, to study the system.


title: Two Results on Union-Closed Families

abstract: We show that there is some absolute constant $c>0$, such that for any union-closed family $\mathcal{F} \subseteq 2^{[n]}$, if \mbox{$|\mathcal{F}| \geq (\frac{1}{2}-c)2^n$}, then there is some element $i \in [n]$ that appears in at least half of the sets of $\mathcal{F}$. We also show that for any union-closed family $\mathcal{F} \subseteq 2^{[n]}$, the number of sets which are not in $\mathcal{F}$ that cover a set in $\mathcal{F}$ is at most $2^{n-1}$, and provide examples where the inequality is tight.


title: Charged-particle multiplicity distributions over a wide pseudorapidity range in proton-proton collisions at $\mathbf{\sqrt{s}=}$ 0.9, 7 and 8 TeV

abstract: We present the charged-particle multiplicity distributions over a wide pseudorapidity range ($-3.4<\eta<5.0$) for pp collisions at $\sqrt{s}=$ 0.9, 7, and 8 TeV at the LHC. Results are based on information from the Silicon Pixel Detector and the Forward Multiplicity Detector of ALICE, extending the pseudorapidity coverage of the earlier publications and the high-multiplicity reach. The measurements are compared to results from the CMS experiment and to PYTHIA, PHOJET and EPOS LHC event generators, as well as IP-Glasma calculations.