title: Universality of scanning tunneling microscopy in cuprate superconductors

abstract: We consider the problem of local tunneling into cuprate superconductors, combining model based calculations for the superconducting order parameter with wavefunction information obtained from first principles electronic structure. For some time it has been proposed that scanning tunneling microscopy (STM) spectra do not reflect the properties of the superconducting layer in the CuO$_2$ plane directly beneath the STM tip, but rather a weighted sum of spatially proximate states determined by the details of the tunneling process. These "filter" ideas have been countered with the argument that similar conductance patterns have been seen around impurities and charge ordered states in systems with atomically quite different barrier layers. Here we use a recently developed Wannier function based method to calculate topographies, spectra, conductance maps and normalized conductance maps close to impurities. We find that it is the local planar Cu $d_{x^2-y^2}$ Wannier function, qualitatively similar for many systems, that controls the form of the tunneling spectrum and the spatial patterns near perturbations. We explain how, despite the fact that STM observables depend on the materials-specific details of the tunneling process and setup parameters, there is an overall universality in the qualitative features of conductance spectra. In particular, we discuss why STM results on Bi$_2$Sr$_2$CaCu$_2$O$_8$ and Ca$_{2-x}$Na$_x$CuO$_2$Cl$_2$ are essentially identical.


title: Reconnection-Condensation Model for Solar Prominence Formation

abstract: We propose a reconnection-condensation model in which topological change in a coronal magnetic field via reconnection triggers radiative condensation, thereby resulting in prominence formation. Previous observational studies have suggested that reconnection at a polarity inversion line of a coronal arcade field creates a flux rope that can sustain a prominence; however, they did not explain the origin of cool dense plasmas of prominences. Using three-dimensional magnetohydrodynamic simulations including anisotropic nonlinear thermal conduction and optically thin radiative cooling, we demonstrate that reconnection can lead not only to flux rope formation but also to radiative condensation under a certain condition. In our model, this condition is described by the Field length, which is defined as the scale length for thermal balance between radiative cooling and thermal conduction. This critical condition depends weakly on the artificial background heating. The extreme ultraviolet emissions synthesized with our simulation results have good agreement with observational signatures reported in previous studies.


title: Pricing Social Goods

abstract: Social goods are goods that grant value not only to their owners but also to the owners' surroundings, be it their families, friends or office mates. The benefit a non-owner derives from the good is affected by many factors, including the type of the good, its availability, and the social status of the non-owner. Depending on the magnitude of the benefit and on the price of the good, a potential buyer might stay away from purchasing the good, hoping to free ride on others' purchases. A revenue-maximizing seller who sells social goods must take these considerations into account when setting prices for the good. The literature on optimal pricing has advanced considerably over the last decade, but little is known about optimal pricing schemes for selling social goods. In this paper, we conduct a systematic study of revenue-maximizing pricing schemes for social goods: we introduce a Bayesian model for this scenario, and devise nearly-optimal pricing schemes for various types of externalities, both for simultaneous sales and for sequential sales.


title: IP$^{*}$-sets in function field and mixing properties

abstract: The ring of polynomial over a finite field $F_q[x]$ has received much attention, both from a combinatorial viewpoint as in regards to its action on measurable dynamical systems. In the case of $(\mathbb{Z},+)$ we know that the ideal generated by any nonzero element is an IP$^*$-set. In the present article we first establish that the analogous result is true for $F_q[x]$. We further use this result to establish some mixing properties of the action of $(F_q[x],+)$. We shall also discuss on Khintchine's recurrence for the action of $(F_q[x]\setminus\{0\},\cdot)$.


title: Fine-Grained Reliability for V2V Communications around Suburban and Urban Intersections

abstract: Safe transportation is a key use-case of the 5G/LTE Rel.15+ communications, where an end-to-end reliability of 0.99999 is expected for a vehicle-to-vehicle (V2V) transmission distance of 100-200 m. Since communications reliability is related to road-safety, it is crucial to verify the fulfillment of the performance, especially for accident-prone areas such as intersections. We derive closed-form expressions for the V2V transmission reliability near suburban corners and urban intersections over finite interference regions. The analysis is based on plausible street configurations, traffic scenarios, and empirically-supported channel propagation. We show the means by which the performance metric can serve as a preliminary design tool to meet a target reliability. We then apply meta distribution concepts to provide a careful dissection of V2V communications reliability. Contrary to existing work on infinite roads, when we consider finite road segments for practical deployment, fine-grained reliability per realization exhibits bimodal behavior. Either performance for a certain vehicular traffic scenario is very reliable or extremely unreliable, but nowhere in relatively proximity to the average performance. In other words, standard SINR-based average performance metrics are analytically accurate but can be insufficient from a practical viewpoint. Investigating other safety-critical point process networks at the meta distribution-level may reveal similar discrepancies.


title: The limit of vanishing viscosity for the incompressible 3D Navier-Stokes equations with helical symmetry

abstract: In this paper, we are concerned with the vanishing viscosity problem for the three-dimensional Navier-Stokes equations with helical symmetry, in the whole space. We choose viscosity-dependent initial $\bu_0^\nu$ with helical swirl, an analogue of the swirl component of axisymmetric flow, of magnitude $\mathcal{O}(\nu)$ in the $L^2$ norm; we assume $\bu_0^\nu \to \bu_0$ in $H^1$. The new ingredient in our analysis is a decomposition of helical vector fields, through which we obtain the required estimates.


title: Quantum Entanglement and the Generalized Uncertainty Principle

abstract: We examine quantum gravity effects on entanglement by a straightforward application of the generalized uncertainty principle (GUP) to continuous-variable systems. In particular, we study the following cases: the modified uncertainty relation of two identical entangled particles (Rigolin, 2002), and the inseparability conditions for entangled particles in the bipartite (Duan, Giedke, Cirac and Zoller, 2000) and tripartite (van Loock and Furusawa, 2003) cases. Rigolin showed a decrease in the lower bound of the product of the uncertainties of the position and momentum for two identical entangled particles while Duan and van Loock derived inseparability conditions for EPR-like operators. In all three cases, the GUP correction resulted in a higher value of the bounds: a higher lower bound for the Rigolin's result and a higher upper bound for the inseparability condition in Duan's and van Loock's relations. In Rigolin's case, the GUP correction decreased the disagreement with the Heisenberg uncertainty relation while in Duan's and Loock's cases,the inseparability and entanglement conditions are enhanced. Interestingly, the GUP corrections tend to make quantum mechanical effects more pronounced.


title: The new concept of nano-device spectroscopy based on Rabi-Bloch oscillations for THz-frequency range

abstract: We considered one-dimensional quantum chains of two-level Fermi particles coupled via the tunneling driven both by ac and dc fields in the regimes of strong and ultrastrong coupling. The frequency of ac field is matched with the frequency of the quantum transition. Based on the fundamental principles of electrodynamics and quantum theory, we developed a general model of quantum dynamics for such interactions. We showed that the joint action of ac and dc fields leads to the strong mutual influence of Rabi- and Bloch oscillations one to another. We focused on the regime of ultrastrong coupling, for which Bloch- and Rabi-frequencies are a significant values of the frequency of interband transition. The Hamiltonian was solved numerically with account of anti-resonant terms. It manifests by the appearance of great number of narrow high-amplitude resonant lines in the spectra of tunneling current and dipole moment. We proposed the new concept of THz spectroscopy promising for different applications in future nanoelectronics and nano-photonics.


title: Vapor-Induced Motion of Liquid Droplets on an Inert Substrate

abstract: Evaporating droplets are known to show complex motion that has conventionally been explained by the Marangoni effect (flow induced by the gradient of surface tension). Here, we show that the droplet motion can be induced even in the absence of the Marangoni effect due to the gradient of evaporation rate. We derive an equation for the velocity of a droplet subject to non-uniform evaporation rate and non-uniform surface tension placed on an inert substrate where the wettability is uniform and unchanged. The equation explains the previously observed attraction-repulsion- chasing behaviors of evaporating droplets.


title: Entanglement Entropy of $AdS_5 \times S^5$ with massive flavors

abstract: We consider backreacted $AdS_5 \times S^5$ coupled with $N_f$ massive flavors introduced by D7-branes. The backreacted geometry is in the Veneziano limit with fixed $N_f/N_c$. By dividing one of the directions into a line segment with length $l$, we get two subspaces. Then we calculate the entanglement entropy between them. With the method provided by Klebanov, Kutasov and Murugan, we are able to find the cut-off independent part of the entanglement entropy and finally find that this geometry shows no phase transition as the case in pure $AdS_5 \times S^5$.


title: Small Jupiter Trojans Survey with Subaru/Hyper Suprime-Cam

abstract: We observed the L4 Jupiter Trojans (L4 JTs) swarm using the Hyper Suprime-Cam attached to the 8.2~m Subaru telescope on March 30, 2015 (UT). The survey covered $\sim$26~deg$^{2}$ of sky area near the opposition and around the ecliptic plane with the 240-sec exposure time in the $r$-band filter through the entire survey. We detected 631 L4 JTs in the survey field with the detection limit of $m_r$~=~24.4~mag. We selected 481 objects with absolute magnitude $H_r$~$<$~17.4 mag and heliocentric distance $r$~$<$~5.5~au as an unbiased sample and then used them to estimate the size distribution. Assuming a geometric albedo of 0.07 \citep{grav12}, the size range of our unbiased sample is $\sim$~2~--~20~km in diameter ($D$). We can fit a single-slope power law to the cumulative size distribution and then found the best-fit index ($b$) is $b$~=~1.84~$\pm$~0.05 in $N(>D)~\propto~D^{-b}$. The slope value ($\alpha $) of corresponding absolute magnitude distribution ($N(H)~\propto~10^{\alpha H}$) is 0.37~$\pm$~0.01. This $\alpha$ is consistent with that of the faint end slope presented by \cite{WB15}. The size distribution obtained from this survey is slightly different from previous survey's result with a similar size range \citep*{YN05,YN08,WB15}, which reported a broken power-law or double power-law slopes in their cumulative size distribution. Our results insists that the slope of $b$~=~1.84 continues from $H$~=~14.0 to at least $H$~=~17.4. Since this work contains the largest L4 JT samples and one magnitude deeper than the study by \cite{WB15}, we believe that our study obtained the robustest size distribution of small JTs so far. Combining the cataloged L4 JTs and our survey, we finally show the entire size distribution of L4 JTs up to $H_r$~=~17.4~mag.


title: Improvement of training set structure in fusion data cleaning using Time-Domain Global Similarity method

abstract: Traditional data cleaning identifies dirty data by classifying original data sequences, which is a class$-$imbalanced problem since the proportion of incorrect data is much less than the proportion of correct ones for most diagnostic systems in Magnetic Confinement Fusion (MCF) devices. When using machine learning algorithms to classify diagnostic data based on class$-$imbalanced training set, most classifiers are biased towards the major class and show very poor classification rates on the minor class. By transforming the direct classification problem about original data sequences into a classification problem about the physical similarity between data sequences, the class$-$balanced effect of Time$-$Domain Global Similarity (TDGS) method on training set structure is investigated in this paper. Meanwhile, the impact of improved training set structure on data cleaning performance of TDGS method is demonstrated with an application example in EAST POlarimetry$-$INTerferometry (POINT) system.


title: Schubert puzzles and integrability I: invariant trilinear forms

abstract: The puzzle rules for computing Schubert calculus on $d$-step flag manifolds, proven in [Knutson Tao 2003] for $1$-step, in [Buch Kresch Purbhoo Tamvakis 2016] for $2$-step, and conjectured in [Coskun Vakil 2009] for $3$-step, lead to vector configurations (one vector for each puzzle edge label) that we recognize as the weights of some minuscule representations. The $R$-matrices of those representations (which, for $2$-step flag manifolds, involve triality of $D_4$) degenerate to give us puzzle formulae for two previously unsolved Schubert calculus problems: $K_T(2$-step flag manifolds$)$ and $K(3$-step flag manifolds$)$. The $K(3$-step flag manifolds$)$ formula, which involves 151 new puzzle pieces, implies Buch's correction to the first author's 1999 conjecture for $H^*(3$-step flag manifolds$)$.


title: Preference-based performance measures for Time-Domain Global Similarity method

abstract: For Time-Domain Global Similarity (TDGS) method, which transforms the data cleaning problem into a binary classification problem about the physical similarity between channels, directly adopting common performance measures could only guarantee the performance for physical similarity. Nevertheless, practical data cleaning tasks have preferences for the correctness of original data sequences. To obtain the general expressions of performance measures based on the preferences of tasks, the mapping relations between performance of TDGS method about physical similarity and correctness of data sequences are investigated by probability theory in this paper. Performance measures for TDGS method in several common data cleaning tasks are set. Cases when these preference-based performance measures could be simplified are introduced.


title: Subpicosecond $X$ rotations of atomic clock states

abstract: We demonstrate subpicosecond-time-scale population transfer between the pair of hyperfine ground states of atomic rubidium using a single laser-pulse. Our scheme utilizes the geometric and dynamic phases induced during Rabi oscillation through the fine-structure excited state in order to construct an $X$ rotation gate for the hyperfine-state qubit system. Experiment performed with a femtosecond laser and cold rubidium atoms, in a magneto-optical trap, shows over 98\% maximal population transfer between the clock states.


title: Curvature capillary repulsion

abstract: Directed assembly of colloids is an exciting field in materials science to form structures with new symmetries and responses. Fluid interfaces have been widely exploited to make densely packed ordered structures. We have been studying how interface curvature can be used in new ways to guide structure formation. On a fluid interface, the area of the deformation field around adsorbed microparticles depends on interface curvature; particles move to minimize the excess area of the distortions that they make in the interface. For particles that are sufficiently small, this area decreases as particles move along principle axes to sites of high deviatoric curvature. We have studied this migration for microparticles on a curved host interface with zero mean curvature created by pinning an oil-water interface around a micropost. Here, on a similar interface, we demonstrate capillary curvature repulsion, that is, we identify conditions in which microparticles migrate away from high curvature sites. Using theory and experiment, we discuss the origin of these interactions and their relationship to the particle's undulated contact line. We discuss the implications of this new type of interaction in various contexts from materials science to microrobotics.


title: The comprehension construction

abstract: In this paper we construct an analogue of Lurie's "unstraightening" construction that we refer to as the "comprehension construction". Its input is a cocartesian fibration $p \colon E \to B$ between $\infty$-categories together with a third $\infty$-category $A$. The comprehension construction then defines a map from the quasi-category of functors from $A$ to $B$ to the large quasi-category of cocartesian fibrations over $A$ that acts on $f \colon A \to B$ by forming the pullback of $p$ along $f$. To illustrate the versatility of this construction, we define the covariant and contravariant Yoneda embeddings as special cases of the comprehension functor. We then prove that the hom-wise action of the comprehension functor coincides with an "external action" of the hom-spaces of $B$ on the fibres of $p$ and use this to prove that the Yoneda embedding is fully faithful, providing an explicit equivalence between a quasi-category and the homotopy coherent nerve of a Kan-complex enriched category.


title: Energy Level Alignment at Hybridized Organic-metal Interfaces: the Role of Many-electron Effects

abstract: Hybridized molecule/metal interfaces are ubiquitous in molecular and organic devices. The energy level alignment (ELA) of frontier molecular levels relative to the metal Fermi level (EF) is critical to the conductance and functionality of these devices. However, a clear understanding of the ELA that includes many-electron self-energy effects is lacking. Here, we investigate the many-electron effects on the ELA using state-of-the-art, benchmark GW calculations on prototypical chemisorbed molecules on Au(111), in eleven different geometries. The GW ELA is in good agreement with photoemission for monolayers of benzene-diamine on Au(111). We find that in addition to static image charge screening, the frontier levels in most of these geometries are renormalized by additional screening from substrate-mediated intermolecular Coulomb interactions. For weakly chemisorbed systems, such as amines and pyridines on Au, this additional level renormalization (~1.5 eV) comes solely from static screened exchange energy, allowing us to suggest computationally more tractable schemes to predict the ELA at such interfaces. However, for more strongly chemisorbed thiolate layers, dynamical effects are present. Our ab initio results constitute an important step towards the understanding and manipulation of functional molecular/organic systems for both fundamental studies and applications.


title: Heptaquarks with two heavy antiquarks in a simple chromomagnetic model

abstract: We investigate the symmetry property and the stability of the heptaquark containing two identical heavy antiquarks using color-spin interaction. We construct the wave function of the heptaquark from the Pauli exclusion principle in the SU(3) breaking case. The stability of the heptaquark against the strong decay into one baryon and two mesons is discussed in a simple chromomagnetic model. We find that $q^2 s^3 \bar{s}^2$ with $I=0,S=\frac{5}{2}$ is the most stable heptaquark configuration that could be probed by reconstructing the $\Lambda+\phi+\phi$ invariant mass.


title: Study of the rare decays $B_{s,d}^* \to \mu^+ \mu^-$

abstract: We study rare leptonic decays of vector $B$ mesons in the scalar leptoquark and family non-universal $Z^\prime$ models. We constrain these new couplings by using the measured branching fractions of $B_{s,d} \to \mu^+ \mu^-$ processes and the existing $B_{s,d}^0-\bar B_{s,d}^0$ mixing data. We estimate the branching fractions of $B_{s,d}^* \to \mu^+ \mu^-$ in both the models, which are found to be reasonably enhanced from their corresponding standard model values and within the reach of Run 2-3 of LHC.


title: Matrix Method for Persistence Modules on Commutative Ladders of Finite Type

abstract: The theory of persistence modules on the commutative ladders $CL_n(\tau)$ provides an extension of persistent homology. However, an efficient algorithm to compute the generalized persistence diagrams is still lacking. In this work, we view a persistence module $M$ on $CL_n(\tau)$ as a morphism between zigzag modules, which can be expressed in a block matrix form. For the representation finite case ($n\leq 4)$, we provide an algorithm that uses certain permissible row and column operations to compute a normal form of the block matrix. In this form an indecomposable decomposition of $M$, and thus its persistence diagram, is obtained.


title: $\mathcal{P}$-schemes and Deterministic Polynomial Factoring over Finite Fields

abstract: We introduce a family of mathematical objects called $\mathcal{P}$-schemes, where $\mathcal{P}$ is a poset of subgroups of a finite group $G$. A $\mathcal{P}$-scheme is a collection of partitions of the right coset spaces $H\backslash G$, indexed by $H\in\mathcal{P}$, that satisfies a list of axioms. These objects generalize the classical notion of association schemes as well as the notion of $m$-schemes (Ivanyos et al. 2009). Based on $\mathcal{P}$-schemes, we develop a unifying framework for the problem of deterministic factoring of univariate polynomials over finite fields under the generalized Riemann hypothesis (GRH).


title: Collaborative-controlled LASSO for Constructing Propensity Score-based Estimators in High-Dimensional Data

abstract: Propensity score (PS) based estimators are increasingly used for causal inference in observational studies. However, model selection for PS estimation in high-dimensional data has received little attention. In these settings, PS models have traditionally been selected based on the goodness-of-fit for the treatment mechanism itself, without consideration of the causal parameter of interest. Collaborative minimum loss-based estimation (C-TMLE) is a novel methodology for causal inference that takes into account information on the causal parameter of interest when selecting a PS model. This "collaborative learning" considers variable associations with both treatment and outcome when selecting a PS model in order to minimize a bias-variance trade off in the estimated treatment effect. In this study, we introduce a novel approach for collaborative model selection when using the LASSO estimator for PS estimation in high-dimensional covariate settings. To demonstrate the importance of selecting the PS model collaboratively, we designed quasi-experiments based on a real electronic healthcare database, where only the potential outcomes were manually generated, and the treatment and baseline covariates remained unchanged. Results showed that the C-TMLE algorithm outperformed other competing estimators for both point estimation and confidence interval coverage. In addition, the PS model selected by C-TMLE could be applied to other PS-based estimators, which also resulted in substantive improvement for both point estimation and confidence interval coverage. We illustrate the discussed concepts through an empirical example comparing the effects of non-selective nonsteroidal anti-inflammatory drugs with selective COX-2 inhibitors on gastrointestinal complications in a population of Medicare beneficiaries.


title: On the Solution of Linear Programming Problems in the Age of Big Data

abstract: The Big Data phenomenon has spawned large-scale linear programming problems. In many cases, these problems are non-stationary. In this paper, we describe a new scalable algorithm called NSLP for solving high-dimensional, non-stationary linear programming problems on modern cluster computing systems. The algorithm consists of two phases: Quest and Targeting. The Quest phase calculates a solution of the system of inequalities defining the constraint system of the linear programming problem under the condition of dynamic changes in input data. To this end, the apparatus of Fejer mappings is used. The Targeting phase forms a special system of points having the shape of an n-dimensional axisymmetric cross. The cross moves in the n-dimensional space in such a way that the solution of the linear programming problem is located all the time in an "-vicinity of the central point of the cross.


title: Neural Sequence Model Training via $\alpha$-divergence Minimization

abstract: We propose a new neural sequence model training method in which the objective function is defined by $\alpha$-divergence. We demonstrate that the objective function generalizes the maximum-likelihood (ML)-based and reinforcement learning (RL)-based objective functions as special cases (i.e., ML corresponds to $\alpha \to 0$ and RL to $\alpha \to1$). We also show that the gradient of the objective function can be considered a mixture of ML- and RL-based objective gradients. The experimental results of a machine translation task show that minimizing the objective function with $\alpha > 0$ outperforms $\alpha \to 0$, which corresponds to ML-based methods.


title: Geometrically simple quasi-abelian varieties

abstract: We define the geometric simpleness for toroidal groups. We give an example of quasi-abelian variety which is geometrically simple, but not simple. We show that any quasi-abelian variety is isogenous to a product of geometrically simple quasi-abelian varieties. We also show that the ${\mathbb Q}$-extension of the ring of all endomorphisms of a geometrically simple quasi-abelian variety is a division algebra over ${\mathbb Q}$.


title: An Improved Statistical Point-Source Foreground Model for the Epoch of Reionization

abstract: We present a sophisticated statistical point-source foreground model for low-frequency radio Epoch of Reionization (EoR) experiments using the 21 cm neutral hydrogen emission line. Motivated by our understanding of the low-frequency radio sky, we enhance the realism of two model components compared with existing models: the source count distributions as a function of flux density and spatial position (source clustering), extending current formalisms for the foreground covariance of 2D power spectral modes in 21 cm EoR experiments. The former we generalise to an arbitrarily broken power-law, and the latter to an arbitrary isotropically-correlated field. This paper presents expressions for the modified covariance under these extensions, and shows that for a more realistic source spatial distribution, extra covariance arises in the EoR window which was previously unaccounted for. Failure to include this contribution can yield bias in the final power spectrum and under-estimate uncertainties, potentially leading to a false detection of signal. The extent of this effect is uncertain, owing to ignorance of physical model parameters, but we show that it is dependent on the relative abundance of faint sources, to the effect that our extension will become more important for future deep surveys. Finally, we show that under some parameter choices, ignoring source clustering can lead to false detections on large scales, due to both the induced bias and an artificial reduction in the estimated measurement uncertainty.


title: Asymptotic behaviour methods for the Heat Equation. Convergence to the Gaussian

abstract: In this expository work we discuss the asymptotic behaviour of the solutions of the classical heat equation posed in the whole Euclidean space. After an introductory review of the main facts on the existence and properties of solutions, we proceed with the proofs of convergence to the Gaussian fundamental solution, a result that holds for all integrable solutions, and represents in the PDE setting the Central Limit Theorem of probability. We present several methods of proof: first, the scaling method. Then several versions of the representation method. This is followed by the functional analysis approach that leads to the famous related equations, Fokker-Planck and Ornstein-Uhlenbeck. The analysis of this connection is also given in rather complete form here. Finally, we present the Boltzmann entropy method, coming from kinetic equations. The different methods are interesting because of the possible extension to prove the asymptotic behaviour or stabilization analysis for more general equations, linear or nonlinear. It all depends a lot on the particular features, and only one or some of the methods work in each case.Other settings of the Heat Equation are briefly discussed in Section 9 and a longer mention of results for different equations is done in Section 10.


title: Investigating the potential of social network data for transport demand models

abstract: Location-based social network data offers the promise of collecting the data from a large base of users over a longer span of time at negligible cost. While several studies have applied social network data to activity and mobility analysis, a comparison with travel diaries and general statistics has been lacking. In this paper, we analysed geo-referenced Twitter activities from a large number of users in Singapore and neighbouring countries. By combining this data, population statistics and travel diaries and applying clustering techniques, we addressed detection of activity locations, as well as spatial separation and transitions between these locations. Kernel density estimation performs best to detect activity locations due to the scattered nature of the twitter data; more activity locations are detected per user than reported in the travel survey. The descriptive analysis shows that determining home locations is more difficult than detecting work locations for most planning zones. Spatial separations between detected activity locations from Twitter data - as reported in a travel survey and captured by public transport smart card data - are mostly similarly distributed, but also show relevant differences for very short and very long distances. This also holds for the transitions between zones. Whether the differences between Twitter data and other data sources stem from differences in the population sub-sample, clustering methodology, or whether social networks are being used significantly more at specific locations must be determined by further research. Despite these shortcomings, location-based social network data offers a promising data source for insights into activity locations and mobility patterns, especially for regions where travel survey data is not readily available.


title: Providing Effective Real-time Feedback in Simulation-based Surgical Training

abstract: Virtual reality simulation is becoming popular as a training platform in surgical education. However, one important aspect of simulation-based surgical training that has not received much attention is the provision of automated real-time performance feedback to support the learning process. Performance feedback is actionable advice that improves novice behaviour. In simulation, automated feedback is typically extracted from prediction models trained using data mining techniques. Existing techniques suffer from either low effectiveness or low efficiency resulting in their inability to be used in real-time. In this paper, we propose a random forest based method that finds a balance between effectiveness and efficiency. Experimental results in a temporal bone surgery simulation show that the proposed method is able to extract highly effective feedback at a high level of efficiency.


title: A toy Neumann analogue of the nodal line conjecture

abstract: We introduce an analogue of Payne's nodal line conjecture, which asserts that the nodal (zero) set of any eigenfunction associated with the second eigenvalue of the Dirichlet Laplacian on a bounded planar domain should reach the boundary of the domain. The assertion here is that any eigenfunction associated with the first nontrivial eigenvalue of the Neumann Laplacian on a domain $\Omega$ with rotational symmetry of order two (i.e., $x\in\Omega$ iff $-x\in\Omega$) "should normally" be rotationally antisymmetric. We give both positive and negative results which highlight the heuristic similarity of this assertion to the nodal line conjecture, while demonstrating that the extra structure of the problem makes it easier to obtain stronger statements: it is true for all simply connected planar domains, while there is a counterexample domain homeomorphic to a disk with two holes.


title: Structural and dielectric characterization of Sm2MgMnO6

abstract: The polycrystalline Sm2MgMnO6 (SMMO) was synthesized at 1173K by means of sol-gel technique. Rietveld refine-ment of X-ray diffraction (XRD) pattern confirmed the formation of a single phase monoclinic structure with space group P21/n. The band gap achieved from UV-vis spectra shows the semiconducting nature of the material. To observe the effect of grains and grain-boundaries in the conduction process and dielectric relaxation measurements are carried out on SMMO sample at different frequencies between 313 K and 673 K. An electrical equivalent circuit consisting of the resistance and constant phase element is used to clarify the impedance data.


title: Triviality of quantum electrodynamics revisited

abstract: Quantum electrodynamics is considered to be a trivial theory. This is based on a number of evidences, both numerical and analytical. One of the strong indications for triviality of QED is the existence of the Landau pole for the running coupling. We show that by treating QED as the leading order approximation of an effective field theory and including the next-to-leading order corrections, the Landau pole is removed. Therefore, we conclude that the conjecture, that for reasons of self-consistency, QED needs to be trivial is a mere artefact of the leading order approximation to the corresponding effective field theory.


title: A solution for secure use of Kibana and Elasticsearch in multi-user environment

abstract: Monitoring is indispensable to check status, activities, or resource usage of IT services. A combination of Kibana and Elasticsearch is used for monitoring in many places such as KEK, CC-IN2P3, CERN, and also non-HEP communities. Kibana provides a web interface for rich visualization, and Elasticsearch is a scalable distributed search engine. However, these tools do not support authentication and authorization features by default. In the case of single Kibana and Elasticsearch services shared among many users, any user who can access Kibana can retrieve other's information from Elasticsearch. In multi-user environment, in order to protect own data from others or share part of data among a group, fine-grained access control is necessary. The CERN cloud service group had provided cloud utilization dashboard to each user by Elasticsearch and Kibana. They had deployed a homemade Elasticsearch plugin to restrict data access based on a user authenticated by the CERN Single Sign On system. It enabled each user to have a separated Kibana dashboard for cloud usage, and the user could not access to other's one. Based on the solution, we propose an alternative one which enables user/group based Elasticsearch access control and Kibana objects separation. It is more flexible and can be applied to not only the cloud service but also the other various situations. We confirmed our solution works fine in CC-IN2P3. Moreover, a pre-production platform for CC-IN2P3 has been under construction. We will describe our solution for the secure use of Kibana and Elasticsearch including integration of Kerberos authentication, development of a Kibana plugin which allows Kibana objects to be separated based on user/group, and contribution to Search Guard which is an Elasticsearch plugin enabling user/group based access control. We will also describe the effect on performance from using Search Guard.


title: Memory kernel approach to generalized Pauli channels: Markovian, semi-Markov, and beyond

abstract: In this paper, we analyze the evolution of the generalized Pauli channels governed by the memory kernel master equation. We provide necessary and sufficient conditions for the memory kernel to give rise to the legitimate (completely positive and trace-preserving) quantum evolution. In particular, we analyze a class of kernels generating the quantum semi-Markov evolution, which is a natural generalization of the Markovian semigroup. Interestingly, the convex combination of Markovian semigroups goes beyond the semi-Markov case. Our analysis is illustrated with several examples.


title: Quantum correlations with a gap between the sequential and spatial cases

abstract: We address the problem of whether parties who cannot communicate but share nonsignaling quantum correlations between the outcomes of sharp measurements can distinguish, just from the value of a correlation observable, whether their outcomes were produced by sequential compatible measurements on single systems or by measurements on spatially separated subsystems. We show that there are quantum correlations between the outcomes of sequential measurements which cannot be attained with spatially separated systems. We present examples of correlations between spatially separated systems whose quantum maximum tends to the sequential maximum as the number of parties increases and examples of correlations between spatially separated systems whose quantum maximum fails to violate the noncontextual bound while its corresponding sequential version does.


title: A new family of irreducible subgroups of the orthogonal algebraic groups

abstract: Let $n\geq 3,$ and let $Y$ be a simply connected, simple algebraic group of type $D_{n+1}$ over an algebraically closed field $K.$ Also let $X$ be the subgroup of type $B_n$ of $Y,$ embedded in the usual way. In this paper, we correct an error in a proof of a theorem of Seitz, resulting in the discovery of a new family of triples $(X,Y,V),$ where $V$ denotes a finite-dimensional, irreducible, rational $KY$-module, on which $X$ acts irreducibly. We go on to investigate the impact of the existence of the new examples on the classification of the maximal closed connected subgroups of the classical algebraic groups.


title: First Hochschild cohomology group and stable equivalence classification of Morita type of some tame symmetric algebras

abstract: We use the dimension and the Lie algebra structure of the first Hochschild cohomology group to distinguish some algebras of dihedral, semi-dihedral and quaternion type up to stable equivalence of Morita type. In particular, we complete the classification of algebras of dihedral type that was mostly determined by Zhou and Zimmermann.


title: Selberg zeta function and hyperbolic eisenstein series

abstract: We study the product of Selberg Zeta function and hyperbolic Eisenstein series on a family of degenerating hyperbolic surfaces.


title: Hamiltonicity is Hard in Thin or Polygonal Grid Graphs, but Easy in Thin Polygonal Grid Graphs

abstract: In 2007, Arkin et al. initiated a systematic study of the complexity of the Hamiltonian cycle problem on square, triangular, or hexagonal grid graphs, restricted to polygonal, thin, superthin, degree-bounded, or solid grid graphs. They solved many combinations of these problems, proving them either polynomially solvable or NP-complete, but left three combinations open. In this paper, we prove two of these unsolved combinations to be NP-complete: Hamiltonicity of Square Polygonal Grid Graphs and Hamiltonicity of Hexagonal Thin Grid Graphs. We also consider a new restriction, where the grid graph is both thin and polygonal, and prove that Hamiltonicity then becomes polynomially solvable for square, triangular, and hexagonal grid graphs.


title: Power domination in maximal planar graphs

abstract: Power domination in graphs emerged from the problem of monitoring an electrical system by placing as few measurement devices in the system as possible. It corresponds to a variant of domination that includes the possibility of propagation. For measurement devices placed on a set S of vertices of a graph G, the set of monitored vertices is initially the set S together with all its neighbors. Then iteratively, whenever some monitored vertex v has a single neighbor u not yet monitored, u gets monitored. A set S is said to be a power dominating set of the graph G if all vertices of G eventually are monitored. The power domination number of a graph is the minimum size of a power dominating set. In this paper, we prove that any maximal planar graph of order n $\ge$ 6 admits a power dominating set of size at most (n--2)/4 .


title: Attosecond transient absorption of a bound wave packet coupled to a smooth continuum

abstract: We investigate the possibility to use transient absorption of a coherent bound electron wave packet in hydrogen as an attosecond pulse characterization technique. In recent work we have shown that photoionization of such a coherent bound electron wave packet opens up for pulse characterization with unprecedented temporal accuracy --- independent of the atomic structure --- with maximal photoemission at all kinetic energies given a wave packet with zero relative phase [Pabst and Dahlstr\"om, Phys. Rev. A, 94, 13411 (2016)]. Here, we perform numerical propagation of the time-dependent Schr\"odinger equation and analytical calculations based on perturbation theory to show that the energy-resolved maximal absorption of photons from the attosecond pulse does not uniquely occur at zero relative phase of the initial wave packet. Instead, maximal absorption occurs at different relative wave packet phases, distributed as a non-monotonous function with a smooth $-\pi/2$ shift across the central photon energy (given a Fourier-limited Gaussian pulse). Similar results are found also in helium. Our finding is surprising because it implies that the energy-resolved photoelectrons are not mapped one-to-one with the energy-resolved absorbed photons of the attosecond pulse.


title: Distribution-based bisimulation for labelled Markov processes

abstract: In this paper we propose a (sub)distribution-based bisimulation for labelled Markov processes and compare it with earlier definitions of state and event bisimulation, which both only compare states. In contrast to those state-based bisimulations, our distribution bisimulation is weaker, but corresponds more closely to linear properties. We construct a logic and a metric to describe our distribution bisimulation and discuss linearity, continuity and compositional properties.


title: The application of data mining techniques to support customer relationship management: the case of ethiopian revenue and customs authority

abstract: The application of data mining technique has been widely applied in different business areas such as health, education and finance for the purpose of data analysis and then to support and maximizes the organizations customer satisfaction in an effort to increase loyalty and retain customers business over their lifetimes . The researchers primary objective, in this paper is to classify customers based on their common attributes since customer grouping is the main part of customer relationship management. In this study, different characteristics of the ERCA customers data were collected from the customs database called ASYCUDA. Once the customers data were collected, the necessary data preparation steps were conducted on it and finally a data set consisting of 46748 records was attained. The classification modeling was built by using J48 decision tree and multi layer perceptron ANN algorithms with 10-fold cross-validation and splitting (70% training and 30% testing) techniques. Among these models, a model which was built using J48 decision tree algorithm with default 10-fold cross-validation outperforms 99.95% of overall accuracy rate; while the classification accuracy of ANN is 99.71%. So decision tree has better accuracy than ANN for classifying ERCA customers data.


title: A lepto-hadronic model of gamma rays from the Eta Carinae and prospects for neutrino telescopes

abstract: The stellar binary $\eta$ Carinae has been observed during its full orbital period in gamma rays by the Fermi-Large Area Telescope (LAT). The shock-accelerated electrons in the colliding winds of the two stars radiate synchrotron photons in the magnetic field of the shocked region and inverse Compton photons, where the target photons are from the thermal emissions by the more massive and luminous of the two stars. The inverse Compton emission dominates the gamma-ray flux data from the $\eta$ Carinae, however the spectral energy distribution shows signature of a hadronic component in the $\sim 10$-300 GeV range during the periastron passage. Current and future air Cherenkov telescopes will be able to constrain this component at TeV energies. Acceleration of cosmic-ray protons to $\gg 1$ TeV energies in the colliding winds, required to explain the hadronic emission component through photopion interactions, can lead to detectable signal of $\gtrsim 10$ TeV neutrino events in large kilometer scale neutrino telescopes.

categories: astro-ph.HE hep-ex hep-ph physics.comp-ph


title: Formation and Evolution of Target Patterns in Cahn-Hilliard Flows

abstract: We study the evolution of the concentration field in a single eddy in the 2D Cahn-Hilliard system to better understand scalar mixing processes in that system. This study extends investigations of the classic studies of flux expulsion in 2D MHD and homogenization of potential vorticity in 2D fluids. Simulation results show that there are three stages in the evolution: (A) formation of a jelly roll pattern, for which the concentration field is constant along spirals; (B) a change in isoconcentration contour topology; and (C) formation of a target pattern, for which the isoconcentration contours follow concentric annuli. In the final target pattern stage, the isoconcentration bands align with stream lines. The results indicate that the target pattern is a metastable state. Band merger process continues on a time scale exponentially long relative to the eddy turnover time. The band merger process resembles step merger in drift-ZF staircases; this is characteristic of the long-time evolution of phase separated patterns described by the Cahn-Hilliard equation.


title: Evolution of the reverberation lag in GX 339-4 at the end of an outburst

abstract: We studied X-ray reverberation lags in the BHXRB GX 339-4 at the end of the 2014-2015 outburst. We analysed data from a XMM-Newton campaign covering the end of the transition from the soft to the hard state, and the decrease of luminosity in the hard state. During all the observations we detected, at high frequencies, significant disc variability, responding to variations of the power law emission with an average time delay of $\sim0.009\pm 0.002$ s. These new detections of disc thermal reverberation add to those previously obtained and suggest the lag to be always present in hard and hard-intermediate states. Our study reveals a net decrease of lag amplitude as a function of luminosity. We ascribe this trend to variations of the inner flow geometry. A possible scenario implies a \emph{decrease} of the inner disc truncation radius as the luminosity increases at the beginning of the outburst, followed by an \emph{increase} of the inner disc truncation radius as the luminosity decreases at the end of the outburst. Finally, we found hints of FeK reverberation ($\sim3\sigma$ significance) during the best quality observation of the XMM monitoring. The lag at the FeK energy has similar amplitude as that of the thermally reprocessed component, as expected if the same irradiated region of the disc is responsible for producing both the thermalized and reflected component. This finding suggests FeK reverberation in BHXRBs to be at the reach of current detectors provided observations of sufficiently long exposure are available.


title: Defects controlled hole doping and multi-valley transport in SnSe single crystals

abstract: SnSe is a promising thermoelectric material with record-breaking figure of merit, \textit{i.e., ZT}. As a semiconductor, optimal electrical dosage is the key challenge to maximize \textit{ZT} in SnSe. However, to date a comprehensive understanding of the electronic structure and most critically, the self-hole doping mechanism in SnSe is still absent. Here, we report the highly anisotropic electronic structure of SnSe investigated by both angle-resolved photoemission spectroscopy and quantum transport, in which a unique "\textit{pudding-mold}" shaped valence band with quasi-linear energy dispersion is revealed. We prove that the electrical doping in SnSe is extrinsically controlled by the formation of SnSe$_{2}$ micro-domains induced by local phase segregation. Using different growth methods and conditions, we have achieved wide tuning of hole doping in SnSe, ranging from intrinsic semiconducting behaviour to typical metal with carrier density of $1.23\times 10^{18}$ cm$^{-3}$ at room temperature. The resulting multi-valley transport in $p$-SnSe is characterized by non-saturating weak localization along the armchair axis, due to strong intervalley scattering enhanced by in-plane ferroelectric dipole field of the puckering lattice. Strikingly, quantum oscillations of magnetoresistance reveal three-dimensional electronic structure with unusual interlayer coupling strength in $p$-SnSe, which is correlated to the interweaving of SnSe individual layers by unique point dislocation defects. Our results suggest that defect engineering may provide versatile routes in improving the thermoelectric performance of the SnSe family.


title: On the honeycomb conjecture for Robin Laplacian eigenvalues

abstract: We prove that the optimal cluster problem for the sum of the first Robin eigenvalue of the Laplacian, in the limit of a large number of convex cells, is asymptotically solved by (the Cheeger sets of) the honeycomb of regular hexagons. The same result is established for the Robin torsional rigidity.


title: Ab-initio Study of the Trimethylaluminum Atomic Layer Deposition Process on Carbon Nanotubes - An Alternative Initial Step

abstract: Electronic applications of carbon nanotubes (CNTs) require the deposition of dielectric films on the tubes while conserving their excellent electronic properties. In our density functional theory study we use the trimethylaluminum (TMA) atomic layer deposition (ALD) as a model process for a CNT-functionalization. Since this functionalization relies on the presence of OH-groups, the CNTs are exposed to a water or oxygen pre-treatment. We show that only CNTs with a single-vacancy defect are able to react with H$_{2}$O or O$_{2}$. Further, the defect is preferably saturated by oxygen. This leaves the CNT without the necessary hydroxyl groups for the first TMA addition. Therefore, we propose an alternative initial step after which a classical TMA ALD process can be performed on the CNT.


title: Spin-wave propagation in cubic anisotropic materials

abstract: The information carrier of modern technologies is the electron charge whose transport inevitably generates Joule heating. Spin-waves, the collective precessional motion of electron spins, do not involve moving charges and thus avoid Joule heating. In this respect, magnonic devices in which the information is carried by spin-waves attract interest for low-power computing. However implementation of magnonic devices for practical use suffers from low spin-wave signal and on/off ratio. Here we demonstrate that cubic anisotropic materials can enhance spin-wave signals by improving spin-wave amplitude as well as group velocity and attenuation length. Furthermore, cubic anisotropic material shows an enhanced on/off ratio through a laterally localized edge mode, which closely mimics the gate-controlled conducting channel in traditional field-effect transistors. These attractive features of cubic anisotropic materials will invigorate magnonics research towards wave-based functional devices.


title: New approaches for CMOS-based devices for large-scale neural recording

abstract: Extracellular, large scale in vivo recording of neural activity is mandatory for elucidating the interaction of neurons within large neural networks at the level of their single unit activity. Technological achievements in MEMS-based multichannel electrode arrays offer electrophysiological recording capabilities that go far beyond those of classical wire electrodes. Despite their impressive channel counts, recording systems with modest interconnection overhead have been demonstrated thanks to the hybrid integration of CMOS circuitry for signal preprocessing and data handling. The number of addressable channels is increased even further by a switch matrix for electrode selection co-integrated along the slender probe shafts. When realized by IC fabrication technologies, these probes offer highest recording site densities along the entire shaft length.


title: A Deep Reinforcement Learning Framework for the Financial Portfolio Management Problem

abstract: Financial portfolio management is the process of constant redistribution of a fund into different financial products. This paper presents a financial-model-free Reinforcement Learning framework to provide a deep machine learning solution to the portfolio management problem. The framework consists of the Ensemble of Identical Independent Evaluators (EIIE) topology, a Portfolio-Vector Memory (PVM), an Online Stochastic Batch Learning (OSBL) scheme, and a fully exploiting and explicit reward function. This framework is realized in three instants in this work with a Convolutional Neural Network (CNN), a basic Recurrent Neural Network (RNN), and a Long Short-Term Memory (LSTM). They are, along with a number of recently reviewed or published portfolio-selection strategies, examined in three back-test experiments with a trading period of 30 minutes in a cryptocurrency market. Cryptocurrencies are electronic and decentralized alternatives to government-issued money, with Bitcoin as the best-known example of a cryptocurrency. All three instances of the framework monopolize the top three positions in all experiments, outdistancing other compared trading algorithms. Although with a high commission rate of 0.25% in the backtests, the framework is able to achieve at least 4-fold returns in 50 days.


title: Turned 70? It is time to start editing Wikipedia

abstract: Success of Wikipedia would not be possible without the contributions of millions of anonymous Internet users who edit articles, correct mistakes, add links or pictures. At the same time Wikipedia editors are currently overworked and there is always more tasks waiting to be completed than people willing to volunteer. The paper explores the possibility of involving the elderly in the Wikipedia editing process. Older adults were asked to complete various tasks on Wikipedia. Based on the observations made during these activities as well as in-depth interviews, a list of recommendation has been crafted. It turned out that older adults are willing to contribute to Wikiepdia but substantial changes have to be made in the Wikipedia editor.


title: Compaction of Church Numerals for Higher-Order Compression

abstract: In this study, we address the problem of compacting Church numerals. Church numerals appear as a representation of the repetitive part of data in higher-order compression. We propose a novel decomposition scheme for a natural number using tetration, which leads to a compact representation of $\lambda$-terms equivalent to the original Church numerals. For natural number $n$, we prove that the size of the $\lambda$-term obtained by the proposed method is $O(({\rm slog}_{2}n)^{\log n/ \log \log n})$. Moreover, we quantitatively confirmed experimentally that the proposed method outperforms a binary expression of Church numerals when $n$ is less than approximately 10000.


title: Barankin Vector Locally Best Unbiased Estimates

abstract: The Barankin bound is generalized to the vector case in the mean square error sense. Necessary and sufficient conditions are obtained to achieve the lower bound. To obtain the result, a simple finite dimensional real vector valued generalization of the Riesz representation theorem for Hilbert spaces is given. The bound has the form of a linear matrix inequality where the covariances of any unbiased estimator, if these exist, are lower bounded by matrices depending only on the parametrized probability distributions.


title: Emotions make cities live. Towards mapping emotions of older adults on urban space

abstract: Understanding of interaction between people and urban spaces is crucial for inclusive decision making process. Smartphones and social media can be a rich source of behavioral and declarative data about urban space, but it threatens to exclude voice of older adults. The platform proposed in the paper attempts to address this issue. A universal tagging mechanism based on the Pluchik Wheel of Emotion is proposed. Usability of the platform was tested and prospect studies are proposed.


title: Theoretical investigation of in situ k-restore processes for damaged ultra-low-k dielectrics

abstract: Ultra-low-k (ULK) materials are essential for today's production of integrated circuits (ICs). However, during the manufacturing process the ULK's low dielectric constant (k-value) increases due to the replacement of hydrophobic species with hydrophilic groups. We investigate the use of plasma enhanced fragmented silylation precursors to repair this damage. The fragmentation of the silylation precursors octamethylcyclotetrasiloxane (OMCTS) and bis(dimethylamino)-dimethylsilane (DMADMS) and their possible repair reactions are studied using density functional theory (DFT) and molecular dynamics (MD) simulations.


title: Theoretical investigation of an in situ k-restore process for damaged ultra-low-k materials based on plasma enhanced fragmentation

abstract: We present theoretical investigations of a k-restore process for damaged pourous ultra-low-k (ULK) materials. The process is based on plasma enhanced fragmented silylation precursors to replace k-value damaging, polar Si-OH and Si-H bonds by k-value lowering Si-CH$_{3}$ bonds. We employ density functional theory (DFT) to determine the favored fragments of silylation precursors and show the successful repair of damaged bonds on our model system. This model system consists of a small set of ULK-fragments which represent various damaged states of ULK materials. Our approach provides a fast scanning method for a wide variety of possible repair reactions. Further, we show that oxygen containing fragments are required to repair Si-H bonds and fragments with dangling Si-bonds are most effective to repair polar Si-OH bonds.


title: Optimal High-Dimensional Shrinkage Covariance Estimation for Elliptical Distributions

abstract: We derive an optimal shrinkage sample covariance matrix (SCM) estimator which is suitable for high dimensional problems and when sampling from an unspecified elliptically symmetric distribution. Specifically, we derive the optimal (oracle) shrinkage parameters that obtain the minimum mean-squared error (MMSE) between the shrinkage SCM and the true covariance matrix when sampling from an elliptical distribution. Subsequently, we show how the oracle shrinkage parameters can be consistently estimated under the random matrix theory regime. Simulations show the advantage of the proposed estimator over the conventional shrinkage SCM estimator due to Ledoit and Wolf (2004). The proposed shrinkage SCM estimator often provides significantly better performance than the Ledoit-Wolf estimator and has the advantage that consistency is guaranteed over the whole class of elliptical distributions with finite 4th order moments.


title: semantify.it, a Platform for Creation, Publication and Distribution of Semantic Annotations

abstract: The application of semantic technologies to content on the web is, in many regards, important and urgent. Search engines, chatbots, intelligent personal assistants and other technologies increasingly rely on content published as semantic structured data. Yet, the process of creating this kind of data is still complicated and widely unknown. The semantify.it platform implements an approach to solve three of the most challenging question regarding the publication of structured semantic data, namely: a) what vocabulary to use, b) how to create annotation files and c) how to publish or integrate annotations within a website without programming. This paper presents the idea and the development of the semantify.it platform. It demonstrates that the creation process of semantically annotated data does not have to be hard, shows use cases and pilot users of the created software and presents where the development of this platform or alike projects lead to in the future.


title: Coverings for $4$-dimensional almost complex manifolds with non-degenerate torsion

abstract: An almost complex manifolds $(M^4,J)$ of real dimension 4 with non-degenerate torsion bundle admit a double absolute parallelism and it is provided the classification of homogeneous $(M^4,J)$ having an associated non-solvable Lie algebra. We extend such a classification to the analysis of the manifolds having an associated solvable Lie algebra, up-to-coverings. Moreover, for homogeneous $(M^4,J)$ we provide examples with connected and non-connected double covering, thus proving that in general the double absolute parallelism is not the restriction of two absolute parallelisms. Furthermore, it is given the definition of a natural metric induced by the absolute parallelisms on $(M^4,J)$ and an example of an almost complex manifold with non-degenerate torsion endowed with that metric such that it becomes an almost K\"ahler manifold.


title: A PCA-based approach for subtracting thermal background emission in high-contrast imaging data

abstract: Ground-based observations at thermal infrared wavelengths suffer from large background radiation due to the sky, telescope and warm surfaces in the instrument. This significantly limits the sensitivity of ground-based observations at wavelengths longer than 3 microns. We analyzed this background emission in infrared high contrast imaging data, show how it can be modelled and subtracted and demonstrate that it can improve the detection of faint sources, such as exoplanets. We applied principal component analysis to model and subtract the thermal background emission in three archival high contrast angular differential imaging datasets in the M and L filter. We describe how the algorithm works and explain how it can be applied. The results of the background subtraction are compared to the results from a conventional mean background subtraction scheme. Finally, both methods for background subtraction are also compared by performing complete data reductions. We analyze the results from the M dataset of HD100546 qualitatively. For the M band dataset of beta Pic and the L band dataset of HD169142, which was obtained with an annular groove phase mask vortex vector coronagraph, we also calculate and analyze the achieved signal to noise (S/N). We show that applying PCA is an effective way to remove spatially and temporarily varying thermal background emission down to close to the background limit. The procedure also proves to be very successful at reconstructing the background that is hidden behind the PSF. In the complete data reductions, we find at least qualitative improvements for HD100546 and HD169142, however, we fail to find a significant increase in S/N of beta Pic b. We discuss these findings and argue that in particular datasets with strongly varying observing conditions or infrequently sampled sky background will benefit from the new approach.


title: Nonlinear Stability of Planar Vortex Patches in an ideal fluid

abstract: In this paper, we prove nonlinear stability of planar vortex patches concentrated near an isolated minimum point of the Robin function in a general bounded domain. These vortex patches are stationary solutions of the two-dimensinal incompressible Euler equations. The result is obtained by showing that these concentrated vortex patches are in fact isolated maximizers of the kinetic energy among isovortical patches.


title: Superpixel-based Semantic Segmentation Trained by Statistical Process Control

abstract: Semantic segmentation, like other fields of computer vision, has seen a remarkable performance advance by the use of deep convolution neural networks. However, considering that neighboring pixels are heavily dependent on each other, both learning and testing of these methods have a lot of redundant operations. To resolve this problem, the proposed network is trained and tested with only 0.37% of total pixels by superpixel-based sampling and largely reduced the complexity of upsampling calculation. The hypercolumn feature maps are constructed by pyramid module in combination with the convolution layers of the base network. Since the proposed method uses a very small number of sampled pixels, the end-to-end learning of the entire network is difficult with a common learning rate for all the layers. In order to resolve this problem, the learning rate after sampling is controlled by statistical process control (SPC) of gradients in each layer. The proposed method performs better than or equal to the conventional methods that use much more samples on Pascal Context, SUN-RGBD dataset.


title: Bottom-quark mass effects in associated production with $Z$ and $H$ bosons

abstract: In this study, predictions obtained in the four and in the five flavour schemes are compared for two important processes involving heavy flavours at the LHC: the production of a $Z$ or a Higgs boson in association with $b$ quarks. In particular we obtain predictions with \Sherpa's \MCatNLO implementation for the four--flavour scheme, treating the $b$'s as massive, and with multijet merging at leading and next-to leading order for the five--flavour scheme. While differences between the two schemes, at the inclusive level, are well understood from resummation of possibly large logs into the $b$-PDFs, differences in shape present a major problem for experimental measurements. We make use of data for $Z+b(\bar{b})$ production at the $7$ TeV LHC to exhibit strengths and weaknesses of the different approaches and we use these results to validate predictions for $b$-associated Higgs-boson production at the 13 TeV Run II.


title: Algebraic cycles and residues of degree eight $L$-functions of $\mathrm{GSp}(4) \times \mathrm{GL}(2)$

abstract: We prove a cohomological formula for non-critical residues of degree eight automorphic $L$-functions of $\mathrm{GSp}(4) \times \mathrm{GL}(2)$ in the spirit of Beilinson conjecture. We rely on the cohomological interpretation of an automorphic period integral and on the study of Novodvorsky's integral representation of the $L$-functions.


title: On the Effects of Distributed Electric Vehicle Network Utility Maximization in Low Voltage Feeders

abstract: The fast charging of Electric Vehicles (EVs) in distribution networks requires real-time EV charging control to avoid the overloading of grid components. Recent studies have proposed congestion control protocols, which result from distributed optimization solutions of the Network Utility Maximization (NUM) problem. While the NUM formulation allows the definition of distributed computations with closed form solutions, its simple model does not account for many of the feeders operational constraints. This puts the resulting control algorithms effectiveness into question. In this paper, we investigate the impact of implementing such algorithms for congestion control in low voltage feeders. We review the latest NUM based algorithms for real-time EV charging control, and evaluate their behavior and impact on the comprehensive IEEE European Low Voltage Test Feeder. Our results show that the EV NUM problem can effectively capture the relevant operational constraints, as long as ampacity violations are the main bottleneck. Moreover, the results demonstrate an advantage of the primal NUM solution over the more conventional dual NUM solution in preventing a system overload.


title: Laminar-Turbulent Patterning in Transitional Flows

abstract: Wall-bounded flows experience a transition to turbulence characterized by the coexistence of laminar and turbulent domains in some range of Reynolds number R, the natural control parameter. This transitional regime takes place between an upper threshold Rt above which turbulence is uniform (featureless) and a lower threshold Rg below which any form of turbulence decays, possibly at the end of overlong chaotic transients. The most emblematic cases of flow along flat plates transiting to/from turbulence according to this scenario are reviewed. The coexistence is generally in the form of bands, alternatively laminar and turbulent, and oriented obliquely with respect to the general flow direction. The final decay of the bands at Rg points to the relevance of directed percolation and criticality in the sense of statistical-physics phase transitions. The nature of the transition at Rt where bands form is still somewhat mysterious and does not easily fit the scheme holding for pattern-forming instabilities at increasing control parameter on a laminar background. In contrast, the bands arise at Rt out of a uniform turbulent background at a decreasing control parameter. Ingredients of a possible theory of laminar-turbulent patterning are discussed.


title: Chatbots as Conversational Recommender Systems in Urban Contexts

abstract: In this paper, we outline the vision of chatbots that facilitate the interaction between citizens and policy-makers at the city scale. We report the results of a co-design session attended by more than 60 participants. We give an outlook of how some challenges associated with such chatbot systems could be addressed in the future.


title: Ro-vibrational states of H$_2^+$. Variational calculations

abstract: The nonrelativistic variational calculation of a complete set of ro-vibrational states in the H$_2^+$ molecular ion supported by the ground $1s\sigma$ adiabatic potential is presented. It includes both bound states and resonances located above the $n=1$ threshold. In the latter case we also evaluate a predissociation width of a state wherever it is significant. Relativistic and radiative corrections are discussed and effective adiabatic potentials of these corrections are included as supplementary files.


title: Novel Logical Method for Security Analysis of Electronic Payment Protocols

abstract: Electronic payment protocols play a vital role in electronic commerce security, which is essential for secure operation of electronic commerce activities. Formal method is an effective way to verify the security of protocols. But current formal method lacks the description and analysis of timeliness in electronic payment protocols. In order to improve analysis ability, a novel approach to analyze security properties such as accountability, fairness and timeliness in electronic payment protocols is proposed in this paper. This approach extends an existing logical method by adding a concise time expression and analysis method. It enables to describe the event time, and extends the time characteristics of logical inference rules. We analyzed the Netbill protocol with the new approach and found that the fairness of the protocol is not satisfied, due to timeliness problem. The result illustrates the new approach is able to analyze the key properties of electronic payment protocols. Furthermore, the new approach can be introduced to analyze other time properties of cryptographic protocols.


title: Construction of Brauer-Severi Varieties

abstract: In this paper we give an algorithm for computing equations of Brauer-Severi varieties over perfect fields of characteristic 0. As an example we show the equations of all Brauer-Severi surfaces defined over $\mathbb{Q}$.


title: Quantum Brownian motion in a magnetic field: Transition from monotonic to oscillatory behaviour

abstract: We investigate the Brownian motion of a charged particle in a magnetic field. We study this in the high temperature classical and low temperature quantum domains. In both domains, we observe a transition of the mean square displacement from a monotonic behaviour to a damped oscillatory behaviour as one increases the strength of the magnetic field. When the strength of the magnetic field is negligible, the mean square displacement grows linearly with time in the classical domain and logarithmically with time in the quantum domain. We notice that these features of the mean square displacement are robust and remain essentially the same for an Ohmic dissipation model and a single relaxation time model for the memory kernel. The predictions stemming from our analysis can be tested against experiments in trapped cold ions.


title: Density controls the kinetic stability of ultrastable glasses

abstract: We use a swap Monte Carlo algorithm to numerically prepare bulk glasses with kinetic stability comparable to that of glass films produced experimentally by physical vapor deposition. By melting these systems into the liquid state, we show that some of our glasses retain their amorphous structures longer than 10^5 times the equilibrium structural relaxation time. This exceptional kinetic stability cannot be achieved experimentally for bulk materials. We perform simulations at both constant volume and constant pressure to demonstrate that the density mismatch between the ultrastable glass and the equilibrium liquid accounts for a major part of the observed kinetic stability.


title: Persistence Diagrams with Linear Machine Learning Models

abstract: Persistence diagrams have been widely recognized as a compact descriptor for characterizing multiscale topological features in data. When many datasets are available, statistical features embedded in those persistence diagrams can be extracted by applying machine learnings. In particular, the ability for explicitly analyzing the inverse in the original data space from those statistical features of persistence diagrams is significantly important for practical applications. In this paper, we propose a unified method for the inverse analysis by combining linear machine learning models with persistence images. The method is applied to point clouds and cubical sets, showing the ability of the statistical inverse analysis and its advantages.


title: Dissipative lateral walls are sufficient to trigger convection in vibrated granular gases

abstract: Buoyancy-driven (thermal) convection in dilute granular media, fluidized by a vibrating base, is known to appear without the need of lateral boundaries in a restricted region of parameters (inelasticity, gravity, intensity of energy injection). We have recently discovered a second buoyancy-driven convection effect which occurs at any value of the parameters, provided that the impact of particles with the lateral walls is inelastic (Pontuale et al., Phys. Rev. Lett. 117, 098006 (2016)). It is understood that this novel convection effect is strictly correlated to the existence of perpendicular energy fluxes: a vertical one, induced by both bulk and wall inelasticity, and a horizontal one, induced only by dissipation at the walls. Here we first review those previous results, and then present new experimental and numerical data concerning the variations of box geometry, intensity of energy injection, number of particles and width of the box.


title: Tracing the Spiral Structure of the Outer Milky Way with Dense Atomic Hydrogen Gas

abstract: We present a new face-on map of dense neutral atomic hydrogen (HI) gas in the outer Galaxy. Our map has been produced from the Leiden/Argentine/Bonn (LAB) HI 21-cm line all-sky survey by finding intensity maxima along every line of sight and then by projecting them on the Galactic plane. The resulting face-on map strikingly reveals the complex spiral structure beyond the solar circle, which is characterized by a mixture of distinct long arcs of HI concentrations and numerous 'interarm' features. The comparison with more conventional spiral tracers confirms the nature of those long arc structures as spiral arms. Our map shows that the HI spiral structure in the outer Galaxy is well described by a four-arm spiral model (pitch angle of 12 deg) with some deviations, and gives a new insight into identifying HI features associated with individual arms.


title: Blackbody Radiation in $q$-deformed Statistics

abstract: More general canonical ensemble which gives rise the generalized statistics or $q$-deformed statistics can represent the realistic scenario than the ideal one, with proper parameter sets involved. We study the Planck's law of blackbody radiation, Wein's and Rayleigh-Jeans radiation formulae from the point of view of $q$-deformed statistics. We find that the blackbody energy spectrum curve for a given temperature $T$ corresponding to different $q$ values differs from each other: the location of the peak(i.e. $\nu_m$) of the energy distribution $u_\nu$ (corresponding to different $q$ ) shifted towards higher $\nu$ for higher $q$. From the $q$-deformed Wein's displacement law, we find that $\lambda_m T$ varies from $0.0029~\rm{m~K}$ to $0.0017~\rm{m~K}$ as the deformation parameter $q$ varies from $1.0$(undeformed) to $1.1$(deformed).


title: Tuning and optimization for a variety of many-core architectures without changing a single line of implementation code using the Alpaka library

abstract: We present an analysis on optimizing performance of a single C++11 source code using the Alpaka hardware abstraction library. For this we use the general matrix multiplication (GEMM) algorithm in order to show that compilers can optimize Alpaka code effectively when tuning key parameters of the algorithm. We do not intend to rival existing, highly optimized DGEMM versions, but merely choose this example to prove that Alpaka allows for platform-specific tuning with a single source code. In addition we analyze the optimization potential available with vendor-specific compilers when confronted with the heavily templated abstractions of Alpaka. We specifically test the code for bleeding edge architectures such as Nvidia's Tesla P100, Intel's Knights Landing (KNL) and Haswell architecture as well as IBM's Power8 system. On some of these we are able to reach almost 50\% of the peak floating point operation performance using the aforementioned means. When adding compiler-specific #pragmas we are able to reach 5 TFLOPS/s on a P100 and over 1 TFLOPS/s on a KNL system.


title: A Variation of the $q$-Painlev\'e System with Affine Weyl Group Symmetry of Type $E_7^{(1)}$

abstract: Recently a certain $q$-Painlev\'e type system has been obtained from a reduction of the $q$-Garnier system. In this paper it is shown that the $q$-Painlev\'e type system is associated with another realization of the affine Weyl group symmetry of type $E_7^{(1)}$ and is different from the well-known $q$-Painlev\'e system of type $E_7^{(1)}$ from the point of view of evolution directions. We also study a connection between the $q$-Painlev\'e type system and the $q$-Painlev\'e system of type $E_7^{(1)}$. Furthermore determinant formulas of particular solutions for the $q$-Painlev\'e type system are constructed in terms of the terminating $q$-hypergeometric function.


title: Nonlinear transport associated with spin-density-wave dynamics in Ca$_3$Co$_{4}$O$_9$

abstract: We have carried out the transient nonlinear transport measurements on the layered cobalt oxide Ca$_3$Co$_{4}$O$_9$, in which a spin density wave (SDW) transition is proposed at $T_{\rm SDW} \simeq 30$ K. We find that, below $T_{\rm SDW}$, the electrical conductivity systematically varies with both the applied current and the time, indicating a close relationship between the observed nonlinear conduction and the SDW order in this material. The time dependence of the conductivity is well analyzed by considering the dynamics of SDW which involves a low-field deformation and a sliding motion above a threshold field. We also measure the transport properties of the isovalent Sr-substituted systems to examine an impurity effect on the nonlinear response, and discuss the obtained threshold fields in terms of thermal fluctuations of the SDW order parameter.


title: Bases of standard modules for affine Lie algebras of type $C_\ell^{(1)}$

abstract: Feigin-Stoyanovsky's type subspaces for affine Lie algebras of type $C_\ell^{(1)}$ have monomial bases with a nice combinatorial description. We describe bases of whole standard modules in terms of semi-infinite monomials obtained as "a limit of translations" of bases for Feigin-Stoyanovsky's type subspaces.


title: Two-parameter boundary condition applied to transverse acoustic impedance of a Fermi liquid

abstract: We discuss surface scattering in terms of bidirectional reflectance distribution function. We formulate a boundary condition that in addition to diffuse and specular reflection has tilted diffuse reflection. We apply the boundary condition to calculate the transverse acoustic impedance of a normal-state Fermi liquid. Some additional results on the impedance in a slab geometry are presented.


title: A covariant approach to parameterised cosmological perturbations

abstract: We present a covariant formulation for constructing general quadratic actions for cosmological perturbations, invariant under a given set of gauge symmetries for a given field content. This approach allows us to analyse scalar, vector and tensor perturbations at the same time in a straightforward manner. We apply the procedure to diffeomorphism invariant single-tensor, scalar-tensor and vector-tensor theories and show explicitly the full covariant form of the quadratic actions in such cases, in addition to the actions determining the evolution of vector and tensor perturbations. We also discuss the role of the symmetry of the background in identifying the set of cosmologically relevant free parameters describing these classes of theories, including calculating the relevant free parameters for an axisymmetric Bianchi-I vacuum universe.


title: RAVE-Gaia and the impact on Galactic archeology

abstract: The new data release (DR5) of the RAdial Velocity Experiment (RAVE) includes radial velocities of 520,781 spectra of 457,588 individual stars, of which 215,590 individual stars are released in the Tycho-Gaia astrometric solution (TGAS) in Gaia DR1. Therefore, RAVE contains the largest TGAS overlap of the recent and ongoing Milky Way spectroscopic surveys. Most of the RAVE stars also contain stellar parameters (effective temperature, surface gravity, overall metallicity), as well as individual abundances for Mg, Al, Si, Ca, Ti, Fe, and Ni. Combining RAVE with TGAS brings the uncertainties in space velocities down by a factor of 2 for stars in the RAVE volume -- 10 km/s uncertainties in space velocities are now able to be derived for the majority (70%) of the RAVE-TGAS sample, providing a powerful platform for chemo-dynamic analyses of the Milky Way. Here we discuss the RAVE-TGAS impact on Galactic archaeology as well as how the Gaia parallaxes can be used to break degeneracies within the RAVE spectral regime for an even better return in the derivation of stellar parameters and abundances.


title: The Picard Group of Brauer-Severi Varieties

abstract: In this note we provide explicit generators of the Picard groups of cyclic Brauer-Severi varieties defined over the base field. In particular, for all Brauer-Severi surfaces. To produce these generators we use the Twisting Theory for smooth plane curves.


title: Time-Space Trade-Offs for Lempel-Ziv Compressed Indexing

abstract: Given a string $S$, the \emph{compressed indexing problem} is to preprocess $S$ into a compressed representation that supports fast \emph{substring queries}. The goal is to use little space relative to the compressed size of $S$ while supporting fast queries. We present a compressed index based on the Lempel--Ziv 1977 compression scheme. We obtain the following time-space trade-offs: For constant-sized alphabets; (i) $O(m + occ \lg\lg n)$ time using $O(z\lg(n/z)\lg\lg z)$ space, or (ii) $O(m(1 + \frac{\lg^\epsilon z}{\lg(n/z)}) + occ(\lg\lg n + \lg^\epsilon z))$ time using $O(z\lg(n/z))$ space. For integer alphabets polynomially bounded by $n$; (iii) $O(m(1 + \frac{\lg^\epsilon z}{\lg(n/z)}) + occ(\lg\lg n + \lg^\epsilon z))$ time using $O(z(\lg(n/z) + \lg\lg z))$ space, or (iv) $O(m + occ(\lg\lg n + \lg^{\epsilon} z))$ time using $O(z(\lg(n/z) + \lg^{\epsilon} z))$ space, where $n$ and $m$ are the length of the input string and query string respectively, $z$ is the number of phrases in the LZ77 parse of the input string, $occ$ is the number of occurrences of the query in the input and $\epsilon > 0$ is an arbitrarily small constant. In particular, (i) improves the leading term in the query time of the previous best solution from $O(m\lg m)$ to $O(m)$ at the cost of increasing the space by a factor $\lg \lg z$. Alternatively, (ii) matches the previous best space bound, but has a leading term in the query time of $O(m(1+\frac{\lg^{\epsilon} z}{\lg (n/z)}))$. However, for any polynomial compression ratio, i.e., $z = O(n^{1-\delta})$, for constant $\delta > 0$, this becomes $O(m)$. Our index also supports extraction of any substring of length $\ell$ in $O(\ell + \lg(n/z))$ time. Technically, our results are obtained by novel extensions and combinations of existing data structures of independent interest, including a new batched variant of weak prefix search.


title: Direct evidence of multiple reservoirs of volatile nitrogen in a protosolar nebula analogue

abstract: Isotopic ratios are keys to understanding the origin and early evolution of the solar system in the context of Galactic nucleosynthesis. The large range of measured $^{14}$N/$^{15}$N isotopic ratios in the solar system reflects distinct reservoirs of nitrogen whose origins remain to be determined. We have directly measured a C$^{14}$N/C$^{15}$N abundance ratio of 323$\pm$30 in the disk orbiting the nearby young star TW Hya. This value, which is in good agreement with nitrogen isotopic ratios measured for prestellar cores, likely reflects the primary present-day reservoir of nitrogen in the solar neighbourhood. These results support models invoking novae as primary $^{15}$N sources as well as outward migration of the Sun over its lifetime, and suggest that comets sampled a secondary, $^{15}$N-rich reservoir during solar system formation.


title: Noisy Hamiltonian Monte Carlo for doubly-intractable distributions

abstract: Hamiltonian Monte Carlo (HMC) has been progressively incorporated within the statistician's toolbox as an alternative sampling method in settings when standard Metropolis-Hastings is inefficient. HMC generates a Markov chain on an augmented state space with transitions based on a deterministic differential flow derived from Hamiltonian mechanics. In practice, the evolution of Hamiltonian systems cannot be solved analytically, requiring numerical integration schemes. Under numerical integration, the resulting approximate solution no longer preserves the measure of the target distribution, therefore an accept-reject step is used to correct the bias. For doubly-intractable distributions -- such as posterior distributions based on Gibbs random fields -- HMC suffers from some computational difficulties: computation of gradients in the differential flow and computation of the accept-reject proposals poses difficulty. In this paper, we study the behaviour of HMC when these quantities are replaced by Monte Carlo estimates.


title: Design Activism for Minimum Wage Crowd Work

abstract: Entry-level crowd work is often reported to pay less than minimum wage. While this may be appropriate or even necessary, due to various legal, economic, and pragmatic factors, some Requesters and workers continue to question this status quo. To promote further discussion on the issue, we survey Requesters and workers whether they would support restricting tasks to require minimum wage pay. As a form of design activism, we confronted workers with this dilemma directly by posting a dummy Mechanical Turk task which told them that they could not work on it because it paid less than their local minimum wage, and we invited their feedback. Strikingly, for those workers expressing an opinion, two-thirds of Indians favored the policy while two-thirds of Americans opposed it. Though a majority of Requesters supported minimum wage pay, only 20\% would enforce it. To further empower Requesters, and to ensure that effort or ignorance are not barriers to change, we provide a simple public API to make it easy to find a worker's local minimum wage by his/her IP address.


title: From Big Data to Big Displays: High-Performance Visualization at Blue Brain

abstract: Blue Brain has pushed high-performance visualization (HPV) to complement its HPC strategy since its inception in 2007. In 2011, this strategy has been accelerated to develop innovative visualization solutions through increased funding and strategic partnerships with other research institutions. We present the key elements of this HPV ecosystem, which integrates C++ visualization applications with novel collaborative display systems. We motivate how our strategy of transforming visualization engines into services enables a variety of use cases, not only for the integration with high-fidelity displays, but also to build service oriented architectures, to link into web applications and to provide remote services to Python applications.


title: The role of BKM-type theorems in $3D$ Euler, Navier-Stokes and Cahn-Hilliard-Navier-Stokes analysis

abstract: The Beale-Kato-Majda theorem contains a single criterion that controls the behaviour of solutions of the $3D$ incompressible Euler equations. Versions of this theorem are discussed in terms of the regularity issues surrounding the $3D$ incompressible Euler and Navier-Stokes equations together with a phase-field model for the statistical mechanics of binary mixtures called the $3D$ Cahn-Hilliard-Navier-Stokes (CHNS) equations. A theorem of BKM-type is established for the CHNS equations for the full parameter range. Moreover, for this latter set, it is shown that there exists a Reynolds number and a bound on the energy-dissipation rate that, remarkably, reproduces the $Re^{3/4}$ upper bound on the inverse Kolmogorov length normally associated with the Navier-Stokes equations alone. An alternative length-scale is introduced and discussed, together with a set of pseudo-spectral computations on a $128^{3}$ grid.


title: Holomorphic anomaly equations and the Igusa cusp form conjecture

abstract: Let $S$ be a K3 surface and let $E$ be an elliptic curve. We solve the reduced Gromov-Witten theory of the Calabi-Yau threefold $S \times E$ for all curve classes which are primitive in the K3 factor. In particular, we deduce the Igusa cusp form conjecture. The proof relies on new results in the Gromov-Witten theory of elliptic curves and K3 surfaces. We show the generating series of Gromov-Witten classes of an elliptic curve are cycle-valued quasimodular forms and satisfy a holomorphic anomaly equation. The quasimodularity generalizes a result by Okounkov and Pandharipande, and the holomorphic anomaly equation proves a conjecture of Milanov, Ruan and Shen. We further conjecture quasimodularity and holomorphic anomaly equations for the cycle-valued Gromov-Witten theory of every elliptic fibration with section. The conjecture generalizes the holomorphic anomaly equations for ellliptic Calabi-Yau threefolds predicted by Bershadsky, Cecotti, Ooguri, and Vafa. We show a modified conjecture holds numerically for the reduced Gromov-Witten theory of K3 surfaces in primitive classes.


title: The Pad\'e interpolation method applied to additive difference Painlev\'e equations

abstract: We study Pad\'e interpolation problems on an additive grid, related to additive difference ($d$-) Painlev\'e equations of type $E_7^{(1)}$, $E_6^{(1)}$, $D_4^{(1)}$ and $A_3^{(1)}$. By choosing suitable Pad\'e problems, we can derive time evolution equations, scalar Lax pairs of contiguous type and determinant formulae of special solutions given in terms of hypergeometric functions, for the corresponding $d$-Painlev\'e equations.


title: Tableaux for Policy Synthesis for MDPs with PCTL* Constraints

abstract: Markov decision processes (MDPs) are the standard formalism for modelling sequential decision making in stochastic environments. Policy synthesis addresses the problem of how to control or limit the decisions an agent makes so that a given specification is met. In this paper we consider PCTL*, the probabilistic counterpart of CTL*, as the specification language. Because in general the policy synthesis problem for PCTL* is undecidable, we restrict to policies whose execution history memory is finitely bounded a priori. Surprisingly, no algorithm for policy synthesis for this natural and expressive framework has been developed so far. We close this gap and describe a tableau-based algorithm that, given an MDP and a PCTL* specification, derives in a non-deterministic way a system of (possibly nonlinear) equalities and inequalities. The solutions of this system, if any, describe the desired (stochastic) policies. Our main result in this paper is the correctness of our method, i.e., soundness, completeness and termination.


title: Raman scattering study of vibrational and magnetic excitations in Sr$_{2-x}$La$_x$IrO$_4$

abstract: We have measured the doping and temperature dependence of lattice vibrations and magnetic excitations in the prototypical doped spin-orbit Mott insulator Sr$_{2-x}$La$_x$IrO$_4$ (x=0, 0.015, and 0.10). Our findings show that the pseudospin-lattice coupling -- responsible for the renormalization of several low energy phonon modes -- is preserved even when long-range magnetic order is suppressed by doping. In our most highly doped sample, the single magnon (Gamma-point) excitation disappears while the two-magnon mode softens and becomes heavily damped. Doping induced electron-phonon coupling is also observed in a higher energy phonon mode. We observe two different electron-phonon interaction channels, which provide evidence of the coexistence of fluctuating magnetic moments and mobile carriers in doped iridates.


title: QmeQ 1.0: An open-source Python package for calculations of transport through quantum dot devices

abstract: QmeQ is an open-source Python package for numerical modeling of transport through quantum dot devices with strong electron-electron interactions using various approximate master equation approaches. The package provides a framework for calculating stationary particle or energy currents driven by differences in chemical potentials or temperatures between the leads which are tunnel coupled to the quantum dots. The electronic structures of the quantum dots are described by their single-particle states and the Coulomb matrix elements between the states. When transport is treated perturbatively to lowest order in the tunneling couplings, the possible approaches are Pauli (classical), first-order Redfield, and first-order von Neumann master equations, and a particular form of the Lindblad equation. When all processes involving two-particle excitations in the leads are of interest, the second-order von Neumann approach can be applied. All these approaches are implemented in QmeQ. We here give an overview of the basic structure of the package, give examples of transport calculations, and outline the range of applicability of the different approximate approaches.


title: Stability of the spin-$1/2$ kagome ground state with breathing anisotropy

abstract: We numerically study the spin-$1/2$ breathing kagome lattice. In this variation of the kagome Heisenberg antiferromagnet, the spins belonging to upward and downward facing triangles have different coupling strengths. Using the density matrix renormalization group (DMRG) method and exact diagonalization, we show that the kagome antiferromagnet spin liquid is extremely robust to this anisotropy. Materials featuring this anisotropy -- and especially the recently studied vanadium compound $[{\mathrm{NH}}_{4}{]}_{2}[{\mathbf{C}}_{7}{\mathbf{H}}_{14}\mathbf{N}][{\mathbf{V}}_{7}{\mathbf{O}}_{6}{\mathbf{F}}_{18}]$ (DQVOF) -- may thus be very good candidates to realize the much studied kagome spin liquid. Further, we closely examine the limit of strong breathing anisotropy and find indications of a transition to a nematic phase.