title: Higher-order Cons-free Interpreters

abstract: Constructor rewriting systems are said to be cons-free if any constructor term occurring in the rhs of a rule must be a subterm of the lhs of the rule. Roughly, such systems cannot build new data structures during their evaluation. In earlier work by several authors, (typed) cons-free systems have been used to characterise complexity classes such as polynomial or exponential time or space by varying the type orders, and the recursion forms allowed. This paper concerns the construction of interpreters for cons-free term rewriting. Due to their connection with proofs by diagonalisation, interpreters may be of use when studying separation results between complexity classes in implicit computational complexity theory. We are interested in interpreters of type order $k > 1$ that can interpret any term of strictly lower type order; while this gives us a well-known separation result E$^k$TIME $\subseteq$ E$^{k+1}$TIME, the hope is that more refined interpreters with syntactically limited constraints can be used to obtain a notion of faux diagonalisation and be used to attack open problems in complexity theory.


title: Bubble nucleation in disordered Landau-Ginzburg model

abstract: In this paper we investigate bubble nucleation in a disordered Landau-Ginzburg model. First we adopt the standard procedure to average over the disordered free energy. This quantity is represented as a series of the replica partition functions of the system. Using the saddle-point equations in each replica partition function, we discuss the presence of a spontaneous symmetry breaking mechanism. The leading term of the series is given by a large-N Euclidean replica field theory. Next, we consider finite temperature effects. Below some critical temperature, there are N real instantons-like solutions in the model. The transition from the false to the true vacuum for each replica field is given by the nucleation of a bubble of the true vacuum. In order to describe these irreversible processes of multiple nucleation, going beyond the diluted instanton approximation, an effective model is constructed, with one single mode of a bosonic field interacting with a reservoir of N identical two-level systems.


title: Quantum Communication Uplink to a 3U CubeSat: Feasibility & Design

abstract: Satellites are the efficient way to achieve global scale quantum communication (Q.Com) because unavoidable losses restrict fiber based Q.Com to a few hundred kilometers. We demonstrate the feasibility of establishing a Q.Com uplink with a tiny 3U CubeSat (measuring just 10X10X32 cm^3 ) using commercial off-the-shelf components, the majority of which have space heritage. We demonstrate how to leverage the latest advancements in nano-satellite body-pointing to show that our 4kg CubeSat can provide performance comparable to much larger 600kg satellite missions. A comprehensive link budget and simulation was performed to calculate the secure key rates. We discuss design choices and trade-offs to maximize the key rate while minimizing the cost and development needed. Our detailed design and feasibility study can be readily used as a template for global scale Q.Com.


title: Using Phone Sensors and an Artificial Neural Network to Detect Gait Changes During Drinking Episodes in the Natural Environment

abstract: Phone sensors could be useful in assessing changes in gait that occur with alcohol consumption. This study determined (1) feasibility of collecting gait-related data during drinking occasions in the natural environment, and (2) how gait-related features measured by phone sensors relate to estimated blood alcohol concentration (eBAC). Ten young adult heavy drinkers were prompted to complete a 5-step gait task every hour from 8pm to 12am over four consecutive weekends. We collected 3-xis accelerometer, gyroscope, and magnetometer data from phone sensors, and computed 24 gait-related features using a sliding window technique. eBAC levels were calculated at each time point based on Ecological Momentary Assessment (EMA) of alcohol use. We used an artificial neural network model to analyze associations between sensor features and eBACs in training (70% of the data) and validation and test (30% of the data) datasets. We analyzed 128 data points where both eBAC and gait-related sensor data was captured, either when not drinking (n=60), while eBAC was ascending (n=55) or eBAC was descending (n=13). 21 data points were captured at times when the eBAC was greater than the legal limit (0.08 mg/dl). Using a Bayesian regularized neural network, gait-related phone sensor features showed a high correlation with eBAC (Pearson's r > 0.9), and >95% of estimated eBAC would fall between -0.012 and +0.012 of actual eBAC. It is feasible to collect gait-related data from smartphone sensors during drinking occasions in the natural environment. Sensor-based features can be used to infer gait changes associated with elevated blood alcohol content.


title: Coset space construction for the conformal group. I. Unbroken phase

abstract: The technique for constructing conformally invariant theories within the coset space construction is developed. It reproduces all consequences of the conformal invariance and Lagrangians of widely-known conformal field theories. The method of induced representations, which plays the key role in the construction, allows to reveal a special role of the "Nambu-Goldstone fields" for special conformal transformations. Namely, their dependence on the coordinates turns out to be fixed by the symmetries. This results in the appearance of the constraints on possible forms of Lagrangians, which ensure that discrete symmetries are indeed symmetries of the theory.


title: Relativistic compact stars with charged anisotropic matter

abstract: In this article we perform a detailed theoretical analysis for a class of new exact solutions with anisotropic fluid distribution of matter for compact objects in hydrostatic equilibrium. To achieve this we call the relation between the metric functions, namely, embedding class one condition. The investigation is carried out by generalising the properties of a spherical star with an emphasis on hydrostatic equilibrium equation, i.e., the generalised Tolman-Oppenheimer-Volkoff equation, in our understanding of these compact objects. We match the interior solution to an exterior Reissner-Nordstrom solution, and study some physical features of this models, such as the energy conditions, speeds of sound, and mass - radius relation of the star. We also show that obtained solution is compatible with observational data for compact object Her X-1.


title: Stability of tangent bundles of complete intersections and effective restriction

abstract: For $n\geq 3$, let $M$ be an $(n+r)$-dimensional irreducible Hermitian symmetric space of compact type and let $\mathcal{O}_M(1)$ be the ample generator of $Pic(M)$. Let $Y=H_1\cap\dots\cap H_r$ be a smooth complete intersection of dimension $n$ where $H_i\in\vert \mathcal{O}_M(d_i)\vert$ with $d_i\geq 2$. We prove a vanishing theorem for twisted holomorphic forms on $Y$. As an application, we show that the tangent bundle $T_Y$ of $Y$ is stable. Moreover, if $X$ is a smooth hypersurface of degree $d$ in $Y$ such that the restriction $Pic(Y)\rightarrow Pic(X)$ is surjective, we establish some effective results for $d$ to guarantee the stability of the restriction $T_Y\vert_X$. In particular, if $Y$ is a general hypersurface in $\mathbb{P}^{n+1}$ and $X$ is general smooth divisor in $Y$, we show that $T_Y\vert_X$ is stable except for some well-known examples. We also address the cases where the Picard group increases by restriction.


title: Amplitude variations of modulated RV Tauri stars support the dust obscuration model of the RVb phenomenon

abstract: Context. RV Tauri-type variables are pulsating post-AGB stars that evolve rapidly through the instability strip after leaving the Asymptotic Giant Branch. Their light variability is dominated by radial pulsations. Members of the RVb subclass show an additional variability in form of a long-term modulation of the mean brightness, for which the most popular theories all assume binarity and some kind of circumstellar dust. Here we address if the amplitude modulations are consistent with the dust obscuration model. Aims. We measure and interpret the overall changes of the mean amplitude of the pulsations along the RVb variability. Methods. We compiled long-term photometric data for RVb-type stars, including visual observations of the American Association of Variable Star Observers, ground-based CCD photometry from the OGLE and ASAS projects and ultra-precise space photometry of one star, DF Cygni, from the Kepler space telescope. After converting all the observations to flux units, we measure the cycle-to-cycle variations of the pulsation amplitude and correlate them to the actual mean fluxes. Results. We find a surprisingly uniform correlation between the pulsation amplitude and the mean flux: they scale linearly with each other for a wide range of fluxes and amplitudes. It means that the pulsation amplitude actually remains constant when measured relative to the system flux level. The apparent amplitude decrease in the faint states has long been noted in the literature but it was always claimed to be difficult to explain with the actual models of the RVb phenomenon. Here we show that when fluxes are used instead of magnitudes, the amplitude attenuation is naturally explained by periodic obscuration from a large opaque screen, one most likely corresponding to a circumbinary dusty disk that surrounds the whole system.


title: Non-deterministic Characterisations

abstract: In this paper, we extend Jones' result -- that cons-free programming with $k^{th}$-order data and a call-by-value strategy characterises EXP$^k$TIME -- to a more general setting, including pattern-matching and non-deterministic choice. We show that the addition of non-determinism is unexpectedly powerful in the higher-order setting. Nevertheless, we can obtain a non-deterministic parallel to Jones' hierarchy result by appropriate restricting rule formation.


title: Cosmic Star Formation: a simple model of the SFRD(z)

abstract: We investigate the evolution of the cosmic star formation rate density (SFRD) from redshift z=20 to z=0 and compare it with the observational one by Madau and Dickinson derived from recent compilations of UV and IR data. The theoretical SFRD(z) and its evolution are obtained using a simple model which folds together the star formation histories of prototype galaxies designed to represent real objects of different morphological type along the Hubble sequence and the hierarchical growing of structures under the action of gravity from small perturbations to large scale objects in \Lambda-CDM cosmogony, i.e. the number density of dark matter halos N(M,z). Although the overall model is very simple and easy to set up, it provides results that well mimic those obtained from large scale N-body simulations of great complexity. The simplicity of our approach allows us to test different assumptions for the star formation law in galaxies, the effects of energy feedback from stars to interstellar gas and the efficiency of galactic winds, and also the effect of N(M,z). The result of our analysis is that in the framework of the hierarchical assembly of galaxies the so-called time-delayed star formation under plain assumptions mainly for the energy feedback and galactic winds can reproduce the observational SFRD(z).


title: A Further Analysis of The Role of Heterogeneity in Coevolutionary Spatial Games

abstract: Heterogeneity has been studied as one of the most common explanations of the puzzle of cooperation in social dilemmas. A large number of papers have been published discussing the effects of increasing heterogeneity in structured populations of agents, where it has been established that heterogeneity may favour cooperative behaviour if it supports agents to locally coordinate their strategies. In this paper, assuming an existing model of a heterogeneous weighted network, we aim to further this analysis by exploring the relationship (if any) between heterogeneity and cooperation. We adopt a weighted network which is fully populated by agents playing both the Prisoner's Dilemma or the Optional Prisoner's Dilemma games with coevolutionary rules, i.e., not only the strategies but also the link weights evolve over time. Surprisingly, results show that the heterogeneity of link weights (states) on their own does not always promote cooperation; rather cooperation is actually favoured by the increase in the number of overlapping states and not by the heterogeneity itself. We believe that these results can guide further research towards a more accurate analysis of the role of heterogeneity in social dilemmas.


title: IP Video Conferencing: A Tutorial

abstract: Video conferencing is a well-established area of communications, which have been studied for decades. Recently this area has received a new impulse due to significantly increased bandwidth of Local and Wide area networks, appearance of low-priced video equipment and development of web based media technologies. This paper presents the main techniques behind the modern IP-based videoconferencing services, with a particular focus on codecs, network protocols, architectures and standardization efforts. Questions of security and topologies are also tackled. A description of a typical video conference scenario is provided, demonstrating how the technologies, responsible for different conference aspects, are working together. Traditional industrial disposition as well as modern innovative approaches are both addressed. Current industry trends are highlighted in respect to the topics, described in the tutorial. Legacy analog/digital technologies, together with the gateways between the traditional and the IP videoconferencing systems, are not considered.


title: A Type IIB Matrix Model via non-Abelian T-dualities

abstract: We construct a new solution of type IIB supergravity with eight supercharges by applying non-Abelian T-duality to the $ AdS_5\times S^5$ solution, along the $ SU(2)$ isometries in both the internal and Lorentz symmetries. The study of quantised charges and D-brane embeddings suggests a configuration of D1 and D3'-branes that polarise into concentric, spherical, D3 and D5-branes due to the Myers dielectric effect. We find that our solution is dual to a IIB matrix model with fuzzy sphere vacua characterised by partitions of the number of D1 and D3'-branes. We also study the solution obtained via (Abelian) T-dualities along the $S^1$ fiber angles inside the $S^3$'s of the $ AdS_5\times S^5$ solution. In addition, we point out a precise relation between NATD and ATD solutions by considering a double scaling limit in the NATD solutions. In the particular case of the solutions obtained by a single (non-)Abelian T-duality inside the Lorentz symmetries of the $AdS_5\times S^5$ solution, we demonstrate that the double scaling limit provides a supergravity realisation of the relations between the vacua of the half-BPS theories studied by Lin and Maldacena.


title: Rigid continuation paths I. Quasilinear average complexity for solving polynomial systems

abstract: How many operations do we need on the average to compute an approximate root of a random Gaussian polynomial system? Beyond Smale's 17th problem that asked whether a polynomial bound is possible, we prove a quasi-optimal bound $\text{(input size)}^{1+o(1)}$. This improves upon the previously known $\text{(input size)}^{\frac32 +o(1)}$ bound. The new algorithm relies on numerical continuation along \emph{rigid continuation paths}. The central idea is to consider rigid motions of the equations rather than line segments in the linear space of all polynomial systems. This leads to a better average condition number and allows for bigger steps. We show that on the average, we can compute one approximate root of a random Gaussian polynomial system of~$n$ equations of degree at most $D$ in $n+1$ homogeneous variables with $O(n^5 D^2)$ continuation steps. This is a decisive improvement over previous bounds that prove no better than $\sqrt{2}^{\min(n, D)}$ continuation steps on the average.


title: A bound on the dimension of a totally geodesic submanifold in the Prym locus

abstract: We give an upper bound for the dimension of a germ of a totally geodesic submanifold, and hence of a Shimura variety of A_{g-1}, contained in the Prym locus. First we give such a bound for a germ passing through a Prym variety of a k-gonal curve in terms of the gonality k. Then we deduce a bound only depending on the genus g.


title: Synchronization in Networks with Strongly Delayed Couplings

abstract: We investigate the stability of synchronization in networks of dynamical systems with strongly delayed connections. We obtain strict conditions for synchronization of periodic and equilibrium solutions. In particular, we show the existence of a critical coupling strength $\kappa_{c}$, depending only on the network structure, isolated dynamics and coupling function, such that for large delay and coupling strength $\kappa<\kappa_{c}$, the network possesses stable synchronization. The critical coupling $\kappa_{c}$ can be chosen independently of the delay for the case of equilibria, while for the periodic solution, $\kappa_{c}$ depends essentially on the delay and vanishes as the delay increases. We observe that, for random networks, the synchronization interval is maximal when the network is close to the connectivity threshold. We also derive scaling of the coupling parameter that allows for a synchronization of large networks for different network topologies.


title: Non-Lagrangian equations of motion and the momentum non-conservation

abstract: In the framework of a geometrical model, in which the affine connection of a space is expressed in terms of the electromagnetic field, a possibility of the momentum non-conservation is shown. A toy device with an object moving in a magnetic field is presented for an illustration of the effect.


title: Cons-free Programming with Immutable Functions

abstract: We investigate the power of non-determinism in purely functional programming languages with higher-order types. Specifically, we set out to characterise the hierarchy NP $\subseteq$ NEXP $\subseteq$ NEXP$^{(2)}$ $\subseteq \cdots \subseteq$ NEXP$^{(k)}$ $\subseteq \cdots$ solely in terms of higher-typed, purely functional programs. Although the work is incomplete, we present an initial approach using cons-free programs with immutable functions.


title: Defining Tourism Domains for Semantic Annotation of Web Content

abstract: Schema.org is an initiative by Bing, Google, Yahoo! and Yandex that publishes a vocabulary for creating structured data markup on web pages. The use of schema.org is necessary to increase the visibility of a website, making the content understandable to different automated agents (e.g. search engines, chatbots or personal assistant systems). The domain specifications are the subsets of types from the schema.org vocabulary, each associated with a set of properties. The challenge is to choose the right classes and properties for an annotation in a given domain. In this paper we address the problem of finding a subset of types and properties for complete and correct annotation of different tourism domains. The approach provides a collection of domain specifications that were built based on domain analysis and vocabulary selection.


title: The search for high entropy alloys: a high-throughput $\textit{ab-initio}$ approach

abstract: While the ongoing search to discover new high-entropy systems is slowly expanding beyond metals, a rational and effective method for predicting "in silico" the solid solution forming ability of multi-component systems remains yet to be developed. In this article, we propose a novel high-throughput approach, called "LTVC", for estimating the transition temperature of a solid solution: ab-initio energies are incorporated into a mean field statistical mechanical model where an order parameter follows the evolution of disorder. The LTVC method is corroborated by Monte Carlo simulations and the results from the current most reliable data for binary, ternary, quaternary and quinary systems (96.6%; 90.7%; 100% and 100%, of correct solid solution predictions, respectively). By scanning through the many thousands of systems available in the AFLOW consortium repository, it is possible to predict a plethora of previously unknown potential quaternary and quinary solid solutions for future experimental validation.


title: Formation of $\Sigma \pi$ pairs in nuclear captures of K$^-$ mesons

abstract: The capture of K$^-$ mesons on nucleons bound in nuclei offer a chance to study the $\Sigma \pi$ pairs below the kinematic threshold of the $\bar{\mathrm{K}}$N systems. Various hyperon-pion charged combination are presently under investigation by AMADEUS. These data allow to test both isospin 0 and 1 amplitudes giving the possibility to detect the structure of resonant $\Lambda$(1405) state. Contrasted against similar electro-production data, it is possible to detect changes of $\Lambda$(1405) in nuclear media. Expected spectra and their uncertainties are calculated.


title: Jets in Hydrogen-poor Super-luminous Supernovae: Constraints from a Comprehensive Analysis of Radio Observations

abstract: The energy source powering the extreme optical luminosity of hydrogen-stripped Superluminous Supernovae (SLSNe-I) is not known, but recent studies have highlighted the case for a central engine. Radio and/or X-ray observations are best placed to track the fastest ejecta and probe the presence of outflows from a central engine. We compile all the published radio observations of SLSNe-I to date and present three new observations of two new SLSNe-I. None were detected. Through modeling the radio emission, we constrain the sub-parsec environments and possible outflows in SLSNe-I. In this sample we rule out on-axis collimated relativistic jets of the kind detected in Gamma-Ray Bursts (GRBs). We constrain off-axis jets with opening angles of 5\arcdeg\ (30\arcdeg) to energies of $\rm{E_k<4\times10^{50}\,erg}$ ($\rm{E_k<10^{50}\,erg}$) in environments shaped by progenitors with mass-loss rates of $\dot{M}<10^{-4}\,M_{\odot}\,{\rm yr}^{-1}$ ($\dot{M}<10^{-5}\,M_{\odot}\,{\rm yr}^{-1}$) for all off-axis angles, assuming fiducial values $\epsilon_e=0.1$ and $\epsilon_B=0.01$. The deepest limits rule out emission of the kind seen in faint un-collimated GRBs (with the exception of GRB\,060218), and from relativistic supernovae. Finally, for the closest SLSN-I SN 2017egm we constrained the energy of an uncollimated non-relativistic outflow like those observed in normal SNe to $E_{\rm k}\lesssim10^{48}$ erg.


title: Generalization of a formula of Wolpert for balanced geodesic graphs on closed hyperbolic surfaces

abstract: A well-known theorem of Wolpert shows that the Weil-Petersson symplectic form on Teichm\"uller space, computed on two infinitesimal twists along simple closed geodesics on a fixed hyperbolic surface, equals the sum of the cosines of the intersection angles. We define an infinitesimal deformation starting from a more general object, namely a balanced geodesic graph, by which any tangent vector to Teichm\"uller space can be represented. We then prove a generalization of Wolpert's formula for these deformations. In the case of simple closed curves, we recover the theorem of Wolpert.


title: Repairing Ontologies via Axiom Weakening

abstract: Ontology engineering is a hard and error-prone task, in which small changes may lead to errors, or even produce an inconsistent ontology. As ontologies grow in size, the need for automated methods for repairing inconsistencies while preserving as much of the original knowledge as possible increases. Most previous approaches to this task are based on removing a few axioms from the ontology to regain consistency. We propose a new method based on weakening these axioms to make them less restrictive, employing the use of refinement operators. We introduce the theoretical framework for weakening DL ontologies, propose algorithms to repair ontologies based on the framework, and provide an analysis of the computational complexity. Through an empirical analysis made over real-life ontologies, we show that our approach preserves significantly more of the original knowledge of the ontology than removing axioms.


title: Can clustering scale sublinearly with its clusters? A variational EM acceleration of GMMs and $k$-means

abstract: One iteration of standard $k$-means (i.e., Lloyd's algorithm) or standard EM for Gaussian mixture models (GMMs) scales linearly with the number of clusters $C$, data points $N$, and data dimensionality $D$. In this study, we explore whether one iteration of $k$-means or EM for GMMs can scale sublinearly with $C$ at run-time, while improving the clustering objective remains effective. The tool we apply for complexity reduction is variational EM, which is typically used to make training of generative models with exponentially many hidden states tractable. Here, we apply novel theoretical results on truncated variational EM to make tractable clustering algorithms more efficient. The basic idea is to use a partial variational E-step which reduces the linear complexity of $\mathcal{O}(NCD)$ required for a full E-step to a sublinear complexity. Our main observation is that the linear dependency on $C$ can be reduced to a dependency on a much smaller parameter $G$ which relates to cluster neighborhood relations. We focus on two versions of partial variational EM for clustering: variational GMM, scaling with $\mathcal{O}(NG^2D)$, and variational $k$-means, scaling with $\mathcal{O}(NGD)$ per iteration. Empirical results show that these algorithms still require comparable numbers of iterations to improve the clustering objective to same values as $k$-means. For data with many clusters, we consequently observe reductions of net computational demands between two and three orders of magnitude. More generally, our results provide substantial empirical evidence in favor of clustering to scale sublinearly with $C$.


title: Galois coverings of Schreier graphs of groups generated by bounded automata

abstract: We give a characterization of the covering Schreier graphs of groups generated by bounded automata to be Galois. We also investigate the zeta and $L$ functions of Schreier graphs of few groups namely the Grigorchuk group, Gupta-Sidki $p$ group, Gupta-Fabrykowski group and BSV torsion-free group.


title: h: A Plank for Higher-order Attribute Contraction Schemes

abstract: We present and formalize h, a core (or "plank") calculus that can serve as the foundation for several compiler specification languages, notably CRSX (Combinatory Reductions Systems with eXtensions), HACS (Higher-order Attribute Contraction Schemes), and TransScript. We discuss how the h typing and formation rules introduce the necessary restrictions to ensure that rewriting is well-defined, even in the presence of h's powerful extensions for manipulating free variables and environments as first class elements (including in pattern matching).


title: Bottom-up fabrication of atomically precise graphene nanoribbons

abstract: Graphene nanoribbons (GNRs) make up an extremely interesting class of materials. On the one hand GNRs share many of the superlative properties of graphene, while on the other hand they display an exceptional degree of tunability of their optoelectronic properties. The presence or absence of correlated low-dimensional magnetism, or of a widely tunable band gap, is determined by the boundary conditions imposed by the width, crystallographic symmetry and edge structure of the nanoribbons. In combination with additional controllable parame-ters like the presence of heteroatoms, tailored strain, or the formation of hetero-structures, the possibilities to shape the electronic properties of GNRs according to our needs are fantastic. However, to really benefit from that tunability and harness the opportunities offered by GNRs, atomic precision is strictly required in their synthesis. This can be achieved through an on-surface synthesis approach, in which one lets appropriately designed precursor molecules to react in a selective way that ends up forming GNRs. In this chapter we review the structure-property relations inherent to GNRs, the synthesis approach and the ways in which the var-ied properties of the resulting ribbons have been probed, finalizing with selected examples of demonstrated GNR applications.


title: Graphene oxide dielectric permittivity at GHz and its applications for wireless humidity sensing

abstract: Graphene oxide relative dielectric permittivity, both its real and imaginary parts, have been measured under various humidity conditions at GHz. It is demonstrated that the relative dielectric permittivity increases with increasing humidity due to water uptake. This electrical property of graphene oxide was used to create a battery-free wireless radio-frequency identification (RFID) humidity sensor by coating printed graphene antenna with the graphene oxide layer. The resonance frequency as well as the backscattering phase of such graphene oxide/graphene antenna become sensitive to the surrounding humidity and can be detected by the RFID reader. This enables batteryless wireless monitoring of the local humidity with digital identification attached to any location or item and paves the way for low-cost efficient sensors for Internet of Things applications.


title: Eventually Sound Points-To Analysis with Missing Code

abstract: Static analyses make the increasingly tenuous assumption that all source code is available for analysis; for example, large libraries often call into native code that cannot be analyzed. We propose a points-to analysis that initially makes optimistic assumptions about missing code, and then inserts runtime checks that report counterexamples to these assumptions that occur during execution. Our approach guarantees eventual soundness, i.e., the static analysis is sound for the available code after some finite number of counterexamples. We implement Optix, an eventually sound points-to analysis for Android apps, where the Android framework is missing. We show that the runtime checks added by Optix incur low overhead on real programs, and demonstrate how Optix improves a client information flow analysis for detecting Android malware.


title: Hubble Parameter and Baryon Acoustic Oscillation Measurement Constraints on the Hubble Constant, the Deviation from the Spatially-Flat $\Lambda$cdm Model, The Deceleration-Acceleration Transition Redshift, and Spatial Curvature

abstract: We compile a complete collection of reliable Hubble parameter $H(z)$ data to redshift $z \leq 2.36$ and use them with the Gaussian Process method to determine continuous $H(z)$ functions for various data subsets. From these continuous $H(z)$'s, summarizing across the data subsets considered, we find $H_0\sim 67 \pm 4\,\rm km/s/Mpc$, more consistent with the recent lower values determined using a variety of techniques. In most data subsets, we see a cosmological deceleration-acceleration transition at 2$\sigma$ significance, with the data subsets transition redshifts varying over $0.33<z_{\rm da}<1.0$ at 1$\sigma$ significance. We find that the flat-$\Lambda$CDM model is consistent with the $H(z)$ data to a $z$ of 1.5 to 2.0, depending on data subset considered, with 2$\sigma$ deviations from flat-$\Lambda$CDM above this redshift range. Using the continuous $H(z)$ with baryon acoustic oscillation distance-redshift observations, we constrain the current spatial curvature density parameter to be $\Omega_{K0}=-0.03\pm0.21$, consistent with a flat universe, but the large error bar does not rule out small values of spatial curvature that are now under debate.


title: Open-World Knowledge Graph Completion

abstract: Knowledge Graphs (KGs) have been applied to many tasks including Web search, link prediction, recommendation, natural language processing, and entity linking. However, most KGs are far from complete and are growing at a rapid pace. To address these problems, Knowledge Graph Completion (KGC) has been proposed to improve KGs by filling in its missing connections. Unlike existing methods which hold a closed-world assumption, i.e., where KGs are fixed and new entities cannot be easily added, in the present work we relax this assumption and propose a new open-world KGC task. As a first attempt to solve this task we introduce an open-world KGC model called ConMask. This model learns embeddings of the entity's name and parts of its text-description to connect unseen entities to the KG. To mitigate the presence of noisy text descriptions, ConMask uses a relationship-dependent content masking to extract relevant snippets and then trains a fully convolutional neural network to fuse the extracted snippets with entities in the KG. Experiments on large data sets, both old and new, show that ConMask performs well in the open-world KGC task and even outperforms existing KGC models on the standard closed-world KGC task.


title: Smooth Primal-Dual Coordinate Descent Algorithms for Nonsmooth Convex Optimization

abstract: We propose a new randomized coordinate descent method for a convex optimization template with broad applications. Our analysis relies on a novel combination of four ideas applied to the primal-dual gap function: smoothing, acceleration, homotopy, and coordinate descent with non-uniform sampling. As a result, our method features the first convergence rate guarantees among the coordinate descent methods, that are the best-known under a variety of common structure assumptions on the template. We provide numerical evidence to support the theoretical results with a comparison to state-of-the-art algorithms.


title: Learning Non-overlapping Convolutional Neural Networks with Multiple Kernels

abstract: In this paper, we consider parameter recovery for non-overlapping convolutional neural networks (CNNs) with multiple kernels. We show that when the inputs follow Gaussian distribution and the sample size is sufficiently large, the squared loss of such CNNs is $\mathit{~locally~strongly~convex}$ in a basin of attraction near the global optima for most popular activation functions, like ReLU, Leaky ReLU, Squared ReLU, Sigmoid and Tanh. The required sample complexity is proportional to the dimension of the input and polynomial in the number of kernels and a condition number of the parameters. We also show that tensor methods are able to initialize the parameters to the local strong convex region. Hence, for most smooth activations, gradient descent following tensor initialization is guaranteed to converge to the global optimal with time that is linear in input dimension, logarithmic in precision and polynomial in other factors. To the best of our knowledge, this is the first work that provides recovery guarantees for CNNs with multiple kernels under polynomial sample and computational complexities.


title: Regret Minimization in Behaviorally-Constrained Zero-Sum Games

abstract: No-regret learning has emerged as a powerful tool for solving extensive-form games. This was facilitated by the counterfactual-regret minimization (CFR) framework, which relies on the instantiation of regret minimizers for simplexes at each information set of the game. We use an instantiation of the CFR framework to develop algorithms for solving behaviorally-constrained (and, as a special case, perturbed in the Selten sense) extensive-form games, which allows us to compute approximate Nash equilibrium refinements. Nash equilibrium refinements are motivated by a major deficiency in Nash equilibrium: it provides virtually no guarantees on how it will play in parts of the game tree that are reached with zero probability. Refinements can mend this issue, but have not been adopted in practice, mostly due to a lack of scalable algorithms. We show that, compared to standard algorithms, our method finds solutions that have substantially better refinement properties, while enjoying a convergence rate that is comparable to that of state-of-the-art algorithms for Nash equilibrium computation both in theory and practice.


title: A comment on "Different STM Images of the Superstructure on a Clean Si(133)-6x2 Surface" (JETP Letters 105 (8), 477-483 (2017))

abstract: In the recent paper by Teys [JETP Letters 105 (8), 477-483 (2017)], an atomic model for the Si(331) reconstructed surface (hereby referred to as T-model) was proposed on the basis of high-resolution scanning tunneling microscopy (STM) images. While detailing the virtues against previous and abandoned models, the author avoids any reference to the rather distinct 8P-model advocated few weeks earlier by Zhachuk and Teys [R. Zhachuk, S. Teys, Phys. Rev. B 95, 041412 (2017)], casting doubts to his own work. Formulated that way, findings from Ref. [JETP Letters 105 (8), 477-483 (2017)] leave readers of JETP Letters with a partial and confusing view of the problem, and above all, leaves the observations open to ambiguous interpretation. The 8P-model is also based on STM measurements, and unlike the T-model, passed through the scrutiny of first-principles calculations. The present comment reconciles Ref. [JETP Letters 105 (8), 477-483 (2017)] with the literature by supplementing the discussion with a missing and critical account on the stability and electronic structure of the T- versus 8P-models of Si(331).


title: Fingerprint Invariant of Partitions and Construction

abstract: The fingerprint invariant of partitions can be used to describe the Kazhdan-Lusztig map for the classical groups. We discuss the basic properties of fingerprint. We construct the fingerprints of rigid partitions in the $B_n$, $C_n$, and $D_n$ theories. To calculate the fingerprint of a rigid semisimple operator $(\lambda^{'};\lambda^{"})$, we decompose $\lambda^{'}+\lambda^{"}$ into several blocks. We define operators to calculate the fingerprint for each block using the results of fingerprint of the unipotent operators.


title: Prospects for unseen planets beyond Neptune

abstract: Several anomalous features in the orbital distribution of distant Kuiper Belt objects have recently sparked suggestions of an unseen large planet (or two) orbiting beyond Neptune. I review the theoretical arguments and the prospects for the existence of unseen massive bodies in the distant solar system.


title: Nonequilibrium quark production in the expanding QCD plasma

abstract: We perform real-time lattice simulations of nonequilibrium quark production in the longitudinally expanding QCD plasma. Starting from a highly occupied gluonic state with vacuum quark sector, we extract the time evolution of quark and gluon number densities per unit transverse area and rapidity. The total quark number shows after an initial rapid increase an almost linear growth with time. Remarkably, this growth rate appears to be consistent with a simple kinetic theory estimate involving only two-to-two scattering processes in small-angle approximation. This extends previous findings about the role of two-to-two scatterings for purely gluonic dynamics in accordance with the early stages of the bottom-up thermalization scenario.


title: Kosmotropic effect leads to LCST decrease in thermoresponsive polymer solutions

abstract: We study the phenomena of decrease in lower critical solution temperature (LCST) with addition of kosmotropic (order-making) cosolvents in thermoresponsive polymer solutions. A combination of explicit solvent coarse-grained simulations and mean-field theory has been employed. The polymer-solvent LCST behavior in the theoretical models have been incorporated through the Kolomeisky-Widom solvophobic potential. Our results illustrate how the decrease in the LCST can be achieved by the reduction in the bulk solvent energy with addition of cosolvent. It is shown that this effect of cosolvent is weaker with increase in polymer hydrophilicity which can explain the absence of LCST decrease in PDEA, water and methanol systems. The coarse-grained nature of the models indicates that a mean energetic representation of the system is sufficient to understand the phenomena of LCST decrease.


title: The Regionally-Implicit Discontinuous Galerkin Method: Improving the Stability of DG-FEM

abstract: Discontinuous Galerkin (DG) methods for hyperbolic partial differential equations (PDEs) with explicit time-stepping schemes, such as strong stability-preserving Runge-Kutta (SSP-RK), suffer from time-step restrictions that are significantly worse than what a simple Courant-Friedrichs-Lewy (CFL) argument requires. In particular, the maximum stable time-step scales inversely with the highest degree in the DG polynomial approximation space and becomes progressively smaller with each added spatial dimension. In this work we introduce a novel approach that we have dubbed the regionally implicit discontinuous Galerkin (RIDG) method to overcome these small time-step restrictions. The RIDG method is based on an extension of the Lax-Wendroff DG (LxW-DG) method, which previously had been shown to be equivalent to a predictor-corrector approach, where the predictor is a locally implicit spacetime method (i.e., the predictor is something like a block-Jacobi update for a fully implicit spacetime DG method). The corrector is an explicit method that uses the spacetime reconstructed solution from the predictor step. In this work we modify the predictor to include not just local information, but also neighboring information. With this modification we show that the stability is greatly enhanced; in particular, we show that we are able to remove the polynomial degree dependence of the maximum time-step and show how this extends to multiple spatial dimensions. A semi-analytic von Neumann analysis is presented to theoretically justify the stability claims. Convergence and efficiency studies for linear and nonlinear problems in multiple dimensions are accomplished using a MATLAB code that can be freely downloaded.


title: Stationary Distributions of Second Order Stochastic Evolution Equations with Memory in Hilbert Spaces

abstract: In this paper, we consider stationarity of a class of second-order stochastic evolution equations with memory, driven by Wiener processes or Levy jump processes, in Hilbert spaces. The strategy is to formulate by reduction some first-order systems in connection with the stochastic equations under investigation. We develop asymptotic behavior of dissipative second-order equations and then apply them to time delay systems through Gearhart-Pruss-Greiner's theorem. The stationary distribution of the system under consideration is the projection on the first coordinate of the corresponding stationary results of a lift-up stochastic system without delay on some product Hilbert space. Last, an example of stochastic damped delay wave equations with memory is presented to illustrate our theory.


title: Optimization-Based Collision Avoidance

abstract: This paper presents a novel method for reformulating non-differentiable collision avoidance constraints into smooth nonlinear constraints using strong duality of convex optimization. We focus on a controlled object whose goal is to avoid obstacles while moving in an n-dimensional space. The proposed reformulation does not introduce approximations, and applies to general obstacles and controlled objects that can be represented in an n-dimensional space as the finite union of convex sets. Furthermore, we connect our results with the notion of signed distance, which is widely used in traditional trajectory generation algorithms. Our method can be used in generic navigation and trajectory planning tasks, and the smoothness property allows the use of general-purpose gradient- and Hessian-based optimization algorithms. Finally, in case a collision cannot be avoided, our framework allows us to find "least-intrusive" trajectories, measured in terms of penetration. We demonstrate the efficacy of our framework on a quadcopter navigation and automated parking problem, and our numerical experiments suggest that the proposed methods enable real-time optimization-based trajectory planning problems in tight environments. Source code of our implementation is provided at https://github.com/XiaojingGeorgeZhang/OBCA.


title: Maximum Caliber: a general variational principle for dynamical systems

abstract: We review here {\it Maximum Caliber} (Max Cal), a general variational principle for inferring distributions of paths in dynamical processes and networks. Max Cal is to dynamical trajectories what the principle of {\it Maximum Entropy} (Max Ent) is to equilibrium states or stationary populations. In Max Cal, you maximize a path entropy over all possible pathways, subject to dynamical constraints, in order to predict relative path weights. Many well-known relationships of Non-Equilibrium Statistical Physics -- such as the Green-Kubo fluctuation-dissipation relations, Onsager's reciprocal relations, and Prigogine's Minimum Entropy Production -- are limited to near-equilibrium processes. Max Cal is more general. While it can readily derive these results under those limits, Max Cal is also applicable far from equilibrium. We give recent examples of MaxCal as a method of inference about trajectory distributions from limited data, finding reaction coordinates in bio-molecular simulations, and modeling the complex dynamics of non-thermal systems such as gene regulatory networks or the collective firing of neurons. We also survey its basis in principle, and some limitations.


title: The unit of the total d\'ecalage adjunction

abstract: We consider the d\'ecalage construction $\operatorname{Dec}$ and its right adjoint $T$. These functors are induced on the category of simplicial objects valued in any bicomplete category $\mathcal{C}$ by the ordinal sum. We identify $T \operatorname{Dec}X$ with the path object $X^{\Delta[1]}$ for any simplicial object $X$. We then use this formula to produce an explicit retracting homotopy for the unit $X\to T\operatorname{Dec}X$ of the adjunction $(\operatorname{Dec},T)$. When $\mathcal{C}$ is a category of objects of an algebraic nature, we then show that the unit is a weak equivalence of simplicial objects in $\mathcal{C}$.


title: On Cubic Residue Matrices

abstract: The use of quadratic residues to construct matrices with specific determinant values is a familiar problem with connections to many areas of mathematics and statistics. Our research has focused on using cubic residues to construct matrices with interesting and predictable determinants.


title: Singularities in Positive Characteristic

abstract: In this survey paper we give an overview on some aspects of singularities of algebraic varieties over an algebraically closed field of arbitrary characteristic. We review in particular results on equisingularity of plane curve singularities, classification of hypersurface singularities and determinacy of arbitrary singularities. The section on equisingularity has its roots in two important early papers by Antonio Campillo. One emphasis is on the differences between positive and zero characteristic and on open problems.


title: Reconstruction of the HII Galaxy Hubble Diagram using Gaussian Processes

abstract: The Hubble diagram constructed using HII galaxies (HIIGx) and Giant extragalactic HII regions (GEHR) as standard candles already extends beyond the current reach of Type Ia SNe. A sample of 156 HIIGx and GEHR sources has been used previously to compare the predictions of LCDM and R_h=ct, the results of which suggested that the HIIGx and GEHR sources strongly favour the latter over the former. But this analysis was based on the application of parametric fits to the data and the use of information criteria, which disfavour the less parsimonious models. In this paper, we advance the use of HII sources as standard candles by utilizing Gaussian processes (GP) to reconstruct the distance modulus representing these data without the need to pre-assume any particular model, none of which may in the end actually be the correct cosmology. In addition, this approach tightly constrains the 1 sigma confidence region of the reconstructed function, thus providing a better tool with which to differentiate between competing cosmologies. With this approach, we show that the Planck concordance model is in tension with the HII data at more than 2.5 sigma, while R_h=ct agrees with the GP reconstruction very well, particularly at redshifts > 10^{-3}.


title: Defect multiplets of N=1 supersymmetry in 4d

abstract: Any 4d theory possessing $\mathcal{N}=1$ supersymmetry admits a so called $\mathcal{S}$-multiplet, containing the conserved energy-momentum tensor and supercurrent. When a defect is introduced into such a theory, the $\mathcal{S}$-multiplet receives contributions localised on the defect, which indicate the breaking of some translation symmetry and consequently also some supersymmetries. We call this the defect multiplet. We classify such terms corresponding to half-BPS defects which can be either three-dimensional, preserving 3d $\mathcal{N}=1$, or two-dimensional, preserving $\mathcal{N}=(0,2)$. The new terms localised on the defect furnish multiplets of the reduced symmetry and give rise to the displacement operator.


title: Slow Convergence in Generalized Central Limit Theorems

abstract: We study the central limit theorem in the non-normal domain of attraction to symmetric $\alpha$-stable laws for $0<\alpha\leq2$. We show that for i.i.d. random variables $X_i$, the convergence rate in $L^\infty$ of both the densities and distributions of $\sum_i^n X_i/(n^{1/\alpha}L(n))$ is at best logarithmic if $L$ is a non-trivial slowly varying function. Asymptotic laws for several physical processes have been derived using central limit theorems with $\sqrt{n\log n}$ scaling and Gaussian limiting distributions. Our result implies that such asymptotic laws are accurate only for exponentially large $n$.


title: The formation of urea in space I. Ion-molecule, neutral-neutral, and radical gas-phase reactions

abstract: Many organic molecules have been observed in the interstellar medium thanks to advances in radioastronomy, and very recently the presence of urea was also suggested. While those molecules were observed, it is not clear what the mechanisms responsible to their formation are. In fact, if gas-phase reactions are responsible, they should occur through barrierless mechanisms (or with very low barriers). In the past, mechanisms for the formation of different organic molecules were studied, providing only in a few cases energetic conditions favorable to a synthesis at very low temperature. A particularly intriguing class of such molecules are those containing one N--C--O peptide bond, which could be a building block for the formation of biological molecules. Urea is a particular case because two nitrogen atoms are linked to the C--O moiety. Thus, motivated also by the recent tentative observation of urea, we have considered the synthetic pathways responsible to its formation. We have studied the possibility of forming urea in the gas phase via different kinds of bi-molecular reactions: ion-molecule, neutral, and radical. In particular we have focused on the activation energy of these reactions in order to find possible reactants that could be responsible for to barrierless (or very low energy) pathways. We have used very accurate, highly correlated quantum chemistry calculations to locate and characterize the reaction pathways in terms of minima and transition states connecting reactants to products. Most of the reactions considered have an activation energy that is too high; but the ion-molecule reaction between NH$_2$OH$_2^+$ and formamide is not too high. These reactants could be responsible not only for the formation of urea but also of isocyanic acid, which is an organic molecule also observed in the interstellar medium.


title: Refraction in exoplanet atmospheres: Photometric signatures, implications for transmission spectroscopy, and search in Kepler data

abstract: Refraction deflects photons that pass through atmospheres, which affects transit light curves. Refraction thus provides an avenue to probe physical properties of exoplanet atmospheres and to constrain the presence of clouds and hazes. In addition, an effective surface can be imposed by refraction, thereby limiting the pressure levels probed by transmission spectroscopy. The main objective of the paper is to model the effects of refraction on photometric light curves for realistic planets and to explore the dependencies on atmospheric physical parameters. We also explore under which circumstances transmission spectra are significantly affected by refraction. Finally, we search for refraction signatures in photometric residuals in Kepler data. We use the model of Hui & Seager (2002) to compute deflection angles and refraction transit light curves, allowing us to explore the parameter space of atmospheric properties. The observational search is performed by stacking large samples of transit light curves from Kepler. We find that out-of-transit refraction shoulders are the most easily observable features, which can reach peak amplitudes of ~10 parts per million (ppm) for planets around Sun-like stars. More typical amplitudes are a few ppm or less for Jovians and at the sub-ppm level for super-Earths. Interestingly, the signal-to-noise ratio of any refraction residuals for planets orbiting Sun-like hosts are expected to be similar for planets orbiting red dwarfs. We also find that the maximum depth probed by transmission spectroscopy is not limited by refraction for weakly lensing planets, but that the incidence of refraction can vary significantly for strongly lensing planets. We find no signs of refraction features in the stacked Kepler light curves, which is in agreement with our model predictions.


title: Extreme matrices or how an exponential map links classical and free extreme laws

abstract: Using the proposed by us thinning approach to describe extreme matrices, we find an explicit exponentiation formula linking classical extreme laws of Fr\'echet, Gumbel and Weibull given by Fisher-Tippet-Gnedenko classification and free extreme laws of free Fr\'echet, free Gumbel and free Weibull by Ben Arous and Voiculescu [1]. We also develop an extreme random matrix formalism, in which refined questions about extreme matrices can be answered. In particular, we demonstrate explicit calculations for several more or less known random matrix ensembles, providing examples of all three free extreme laws. Finally, we present an exact mapping, showing the equivalence of free extreme laws to the Peak-Over-Threshold method in classical probability.

categories: math-ph cond-mat.stat-mech math.MP math.PR math.ST stat.TH


title: A phenomenological position and energy resolving Lindblad approach to quantum kinetics

abstract: A general theoretical approach to study the quantum kinetics in a system coupled to a bath is proposed. Starting with the microscopic interaction, a Lindblad master equation is established, which goes beyond the common secular approximation. This allows for the treatment of systems, where coherences are generated by the bath couplings while avoiding the negative occupations occurring in the Bloch-Wangsness-Redfield kinetic equations. The versatility and accuracy of the approach is verified by its application to three entirely different physical systems: (i) electric transport through a double-dot system coupled to electronic reservoirs, (ii) exciton kinetics in coupled chromophores in the presence of a heat bath, and (iii) the simulation of quantum cascade lasers, where the coherent electron transport is established by scattering with phonons and impurities.


title: Directed flow in heavy-ion collisions and its implications for astrophysics

abstract: Analysis of directed flow ($v_1$) of protons, antiprotons and pions in heavy-ion collisions is performed in the range of collision energies $\sqrt{s_{NN}}$ = 2.7--39 GeV. Simulations have been done within a three-fluid model employing a purely hadronic equation of state (EoS) and two versions of the EoS with deconfinement transitions: a first-order phase transition and a smooth crossover transition. The crossover EoS is unambiguously preferable for the description of experimental data at lower collision energies $\sqrt{s_{NN}}\leq$ 20 GeV. However, at higher collision energies $\sqrt{s_{NN}}\geq$ 20 GeV the purely hadronic EoS again becomes advantageous. This indicates that the deconfinement EoS in the quark-gluon sector should be stiffer at high baryon densities than those used in the calculation. The latter finding is in agreement with that discussed in astrophysics in connection with existence of hybrid stars with masses up to about two solar masses.


title: Bound states of the two-dimensional Dirac equation for an energy-dependent hyperbolic Scarf potential

abstract: We study the two-dimensional massless Dirac equation for a potential that is allowed to depend on the energy and on one of the spatial variables. After determining a modified orthogonality relation and norm for such systems, we present an application involving an energy-dependent version of the hyperbolic Scarf potential. We construct closed-form bound state solutions of the associated Dirac equation.

categories: quant-ph cond-mat.other hep-th math-ph math.MP


title: Rigid Surface Operator and Symbol Invariant of Partitions

abstract: The symbol is used to describe the Springer correspondence for the classical groups by Lusztig. We refine the explanation that the $S$-duality maps of the rigid surface operators are symbol preserving maps. And we find that the maps $X_S$ and $Y_S$ used in the construction of $S$-duality maps are essentially the same. We clear up cause of the mismatch problem of the total number of the rigid surface operators between the $B_n$ and $C_n$ theories. And we construct all the $B_n/C_n$ rigid surface operators which can not have a dual. A classification of the problematic surface operators is made.


title: The Strong Colors of Flowers - The Structure of Graphs with Chordal Squares

abstract: A proper vertex coloring of a graph is a mapping of its vertices on a set of colors, such that two adjacent vertices are not mapped to the same color. This constraint may be interpreted in terms of the distance between to vertices and so a more general coloring concept can be defined: The strong coloring of a graph. So a k-strong coloring is a coloring where two vertices may not have the same color if their distance to each other is at most k. The 2-strong coloring of the line graph is known as the strong edge coloring. Coloring the kth power G^k of a graph G is the same as finding a k-strong coloring of G itself. In order to obtain a graph class on which the 2-strong coloring becomes efficiently solvable we are looking for a structure that produces induced cycles in the square of G, so that by excluding this structure we obtain a graph class with chordal squares, where a chordal graph is a graph without any induced cycles of length at least 4. Such a structure is called a flower. Another structure will be found and explained, which is responsible for flowers to appear in the line graph of G: The sprouts. With this graphs with chordal line graph squares are described as well. Some attempts in generalizing those structures to obtain perfect graph squares are being made and the general concept of chordal graph powers, i.e. the existence of a smallest power for which a graph becomes chordal, the power of chordality is introduced in order to solve some coloring related NP-hard problems on graphs with parameterized algorithms. Some connections to the famous parameter treewidth arise alongside with some deeper connections between edge and vertex coloring.


title: Heterointerface effects in the electro-intercalation of van der Waals heterostructures

abstract: Molecular-scale manipulation of electronic/ionic charge accumulation in materials is a preeminent challenge, particularly in electrochemical energy storage. Layered van der Waals (vdW) crystals exemplify a diverse family of materials that permit ions to reversibly associate with a host atomic lattice by intercalation into interlamellar gaps. Motivated principally by the search for high-capacity battery anodes, ion intercalation in composite materials is a subject of intense study. Yet the precise role and ability of heterolayers to modify intercalation reactions remains elusive. Previous studies of vdW hybrids represented ensemble measurements at macroscopic films/powders, which do not permit the isolation and investigation of the chemistry at individual 2-dimensional (2D) interfaces. Here, we demonstrate the intercalation of lithium at the level of individual atomic interfaces of dissimilar vdW layers. Electrochemical devices based on vdW heterostructures comprised of deterministically stacked hexagonal boron nitride, graphene (G) and molybdenum dichalcogenide (MoX2; X = S, Se) layers are fabricated, enabling the direct resolution of intermediate stages in the intercalation of discrete heterointerfaces and the extent of charge transfer to individual layers. Operando magnetoresistance and optical spectroscopy coupled with low-temperature quantum magneto-oscillation measurements show that the creation of intimate vdW heterointerfaces between G and MoX2 engenders over 10-fold accumulation of charge in MoX2 compared to MoX2/MoX2 homointerfaces, while enforcing a more negative intercalation potential than that of bulk MoX2 by at least 0.5 V. Beyond energy storage, our new combined experimental and computational methodology to manipulate and characterize the electrochemical behavior of layered systems opens up new pathways to control the charge density in 2D (opto)electronic devices.


title: On Strong Equilibria and Improvement Dynamics in Network Creation Games

abstract: We study strong equilibria in network creation games. These form a classical and well-studied class of games where a set of players form a network by buying edges to their neighbors at a cost of a fixed parameter $\alpha$. The cost of a player is defined to be the cost of the bought edges plus the sum of distances to all the players in the resulting graph. We identify and characterize various structural properties of strong equilibria, which lead to a characterization of the set of strong equilibria for all $\alpha$ in the range $(0,2)$. For $\alpha > 2$, Andelman et al. (2009) prove that a star graph in which every leaf buys one edge to the center node is a strong equilibrium, and conjecture that in fact any star is a strong equilibrium. We resolve this conjecture in the affirmative. Additionally, we show that when $\alpha$ is large enough ($\geq 2n$) there exist non-star trees that are strong equilibria. For the strong price of anarchy, we provide precise expressions when $\alpha$ is in the range $(0,2)$, and we prove a lower bound of $3/2$ when $\alpha \geq 2$. Lastly, we aim to characterize under which conditions (coalitional) improvement dynamics may converge to a strong equilibrium. To this end, we study the (coalitional) finite improvement property and (coalitional) weak acyclicity property. We prove various conditions under which these properties do and do not hold. Some of these results also hold for the class of pure Nash equilibria.


title: Worm-level Control through Search-based Reinforcement Learning

abstract: Through natural evolution, nervous systems of organisms formed near-optimal structures to express behavior. Here, we propose an effective way to create control agents, by \textit{re-purposing} the function of biological neural circuit models, to govern similar real world applications. We model the tap-withdrawal (TW) neural circuit of the nematode, \textit{C. elegans}, a circuit responsible for the worm's reflexive response to external mechanical touch stimulations, and learn its synaptic and neural parameters as a policy for controlling the inverted pendulum problem. For reconfiguration of the purpose of the TW neural circuit, we manipulate a search-based reinforcement learning. We show that our neural policy performs as good as existing traditional control theory and machine learning approaches. A video demonstration of the performance of our method can be accessed at \url{https://youtu.be/o-Ia5IVyff8}.


title: Suspended silicon waveguides for long-wave infrared wavelengths

abstract: In this paper we report suspended silicon waveguides operating at a wavelength of 7.67 mm with a propagation loss of 3.1 ? 0.3 dB/cm. To our knowledge this is the first demonstration of low loss silicon waveguides at such a long wavelength, with loss comparable to other platforms that use more exotic materials. The suspended Si waveguide core is supported by a subwavelength grating that provides lateral optical confinement, while also allowing access to the buried oxide layer so that it can be wet etched using hydrofluoric acid. We also demonstrate low loss waveguide bends and s-bends.


title: Antipodal correlation on the meron wormhole and a bang-crunch universe

abstract: We present a covariant euclidean wormhole solution to Einstein Yang-Mills system and study scalar perturbations analytically. The fluctuation operator has a positive definite spectrum. We compute the Euclidean Green's function, which displays maximal antipodal correlation on the smallest three sphere. Upon analytic continuation, it corresponds to the Feynman propagator on a compact bang-crunch universe. We present the connection matrix that relates past and future modes. We thoroughly discuss the physical implications of the antipodal map in both the Euclidean and Lorentzian geometries.


title: Asymptotic expansions and unique continuation at Dirichlet-Neumann boundary junctions for planar elliptic equations

abstract: We consider elliptic equations in planar domains with mixed boundary conditions of Dirichlet-Neumann type. Sharp asymptotic expansions of the solutions and unique continuation properties from the Dirichlet-Neumann junction are proved.


title: AC Transmission Network Expansion Planning: A Semidefinite Programming Branch-and-Cut Approach

abstract: Transmission network expansion planning is a mixed-integer optimization problem, whose solution is used to guide future investment in transmission equipment. An approach is presented to find the global solution of the transmission planning problem using an AC network model. The approach builds on the semidefinite relaxation of the AC optimal power flow problem (ACOPF); its computational engine is a new specialized branch-and-cut algorithm for transmission expansion planning to deal with the underlying mixed-integer ACOPF problem. Valid inequalities that are based on specific knowledge of the expansion problem are employed to improve the solution quality at any node of the search tree, and thus significantly reduce the overall computational effort of the branch-and-bound algorithm. Additionally, sparsity of the semidefinite relaxation is exploited to further reduce the computation time at each node of the branch-and-cut tree. Despite the vast number of publications on transmission expansion planning, the proposed approach is the first to provide expansion plans that are globally optimal using a solution approach for the mixed-integer ACOPF problem. The results on standard networks serve as important benchmarks to assess the solution quality from existing techniques and simplified models.


title: On categories of slices

abstract: In this paper we give an algebraic description of the category of $n$-slices for an arbitrary group $G$, in the sense of Hill-Hopkins-Ravenel. Specifically, given a finite group $G$ and an integer $n$, we construct an explicit $G$-spectrum $W$ (called an isotropic slice $n$-sphere) with the following properties: (i) the $n$-slice of a $G$-spectrum $X$ is equivalent to the data of a certain quotient of the Mackey functor $\underline{[W,X]}$ as a module over the endomorphism Green functor $\underline{[W,W]}$; (ii) the category of $n$-slices is equivalent to the full subcategory of right modules over $\underline{[W,W]}$ for which certain restriction maps are injective. We use this theorem to recover the known results on categories of slices to date, and exhibit the utility of our description in several new examples. We go further and show that the Green functors $\underline{[W,W]}$ for certain slice $n$-spheres have a special property (they are "geometrically split") which reduces the amount of data necessary to specify a $\underline{[W,W]}$-module. This step is purely algebraic and may be of independent interest.


title: Making a long story short: A Multi-Importance fast-forwarding egocentric videos with the emphasis on relevant objects

abstract: The emergence of low-cost high-quality personal wearable cameras combined with the increasing storage capacity of video-sharing websites have evoked a growing interest in first-person videos, since most videos are composed of long-running unedited streams which are usually tedious and unpleasant to watch. State-of-the-art semantic fast-forward methods currently face the challenge of providing an adequate balance between smoothness in visual flow and the emphasis on the relevant parts. In this work, we present the Multi-Importance Fast-Forward (MIFF), a fully automatic methodology to fast-forward egocentric videos facing these challenges. The dilemma of defining what is the semantic information of a video is addressed by a learning process based on the preferences of the user. Results show that the proposed method keeps over $3$ times more semantic content than the state-of-the-art fast-forward. Finally, we discuss the need of a particular video stabilization technique for fast-forward egocentric videos.


title: Statistical description of co-nonsolvency suppression at high pressures

abstract: We present an application of Flory-type self-consistent field theory of the flexible polymer chain dissolved in the binary mixture of solvents to theoretical description of co-nonsolvency. We show that our theoretical predictions are in good quantitative agreement with the recently published MD simulation results for the conformational behavior of a Lennard-Jones flexible chain in a binary mixture of the Lennard-Jones fluids. We show that our theory is able to describe co-nonsolvency suppression through pressure enhancement to extremely high values recently discovered in experiment and reproduced by full atomistic MD simulations. Analysing a co-solvent concentration in internal polymer volume at different pressure values, we speculate that this phenomenon is caused by the suppression of the co-solvent preferential solvation of the polymer backbone at rather high pressure imposed. We show that when the co-solvent-induced coil-globule transition takes place, the entropy and the enthalpy contributions to the solvation free energy abruptly decrease, while the solvation free energy remains continuous.


title: Expected performances of a Laue lens made with bent crystals

abstract: In the context of the LAUE project devoted to build a Laue lens prototype for focusing celestial hard X-/soft gamma-rays, a Laue lens made of bent crystal tiles, with 20 m focal length, is simulated. The focusing energy passband is assumed to be 90--600 keV. The distortion of the image produced by the lens on the focal plane, due to effects of crystal tile misalignment and radial distortion of the crystal curvature, is investigated. The corresponding effective area of the lens, its point spread function and sensitivity are calculated and compared with those exhibited by a nominal Laue lens with no misalignment and/or distortion. Such analysis is crucial to estimate the optical properties of a real lens, in which the investigated shortcomings could be present.


title: Injection dynamics of direct-laser accelerated electrons in a relativistic transparency regime

abstract: The dynamics of electron injection in the direct laser acceleration (DLA) regime was investigated by means of three-dimensional particle-in-cell simulations and theoretical analysis. It is shown that when an ultra-intense laser pulse propagates into a near-critical density or relativistically transparent plasma, the longitudinal charge-separation electric field excites an ion wave. The ion wave modulates the local electric field and acts as a set of potential wells to guide the electrons, located on the edge of the plasma channel, to the central region, where the DLA takes place later on. In addition, it is pointed out that the self-generated azimuthal magnetic fields tend to suppress the injection process of electrons by deflecting them away from the laser field region. Understanding these physical processes paves the way for further optimizing the properties of direct-laser accelerated electron beams and the associated X/gamma-ray sources.


title: Achievable Rates and Training Overheads for a Measured LOS Massive MIMO Channel

abstract: This paper presents achievable uplink (UL) sumrate predictions for a measured line-of-sight (LOS) massive multiple-input, multiple-output (MIMO) (MMIMO) scenario and illustrates the trade-off between spatial multiplexing performance and channel de-coherence rate for an increasing number of base station (BS) antennas. In addition, an orthogonal frequency division multiplexing (OFDM) case study is formed which considers the 90% coherence time to evaluate the impact of MMIMO channel training overheads in high-speed LOS scenarios. It is shown that whilst 25% of the achievable zero-forcing (ZF) sumrate is lost when the resounding interval is increased by a factor of 4, the OFDM training overheads for a 100-antenna MMIMO BS using an LTE-like physical layer could be as low as 2% for a terminal speed of 90m/s.


title: Strong coupling Bose polarons out of equilibrium: Dynamical RG approach

abstract: When a mobile impurity interacts with a surrounding bath of bosons, it forms a polaron. Numerous methods have been developed to calculate how the energy and the effective mass of the polaron are renormalized by the medium for equilibrium situations. Here we address the much less studied non-equilibrium regime and investigate how polarons form dynamically in time. To this end, we develop a time-dependent renormalization group approach which allows calculations of all dynamical properties of the system and takes into account the effects of quantum fluctuations in the polaron cloud. We apply this method to calculate trajectories of polarons following a sudden quench of the impurity-boson interaction strength, revealing how the polaronic cloud around the impurity forms in time. Such trajectories provide additional information about the polaron's properties which are challenging to extract directly from the spectral function measured experimentally using ultracold atoms. At strong couplings, our calculations predict the appearance of trajectories where the impurity wavers back at intermediate times as a result of quantum fluctuations. Our method is applicable to a broader class of non-equilibrium problems. We also apply it to calculate the spectral function and find good agreement with experimental results. At very strong couplings, we predict that quantum fluctuations lead to the appearance of a dark continuum with strongly suppressed spectral weight at low energies. While our calculations start from an effective Fr\"ohlich Hamiltonian describing impurities in a three-dimensional Bose-Einstein condensate, we also calculate the effects of additional terms in the Hamiltonian beyond the Fr\"ohlich paradigm. We demonstrate that the main effect of these additional terms on the attractive side of a Feshbach resonance is to renormalize the coupling strength of the effective Fr\"ohlich model.


title: Recurrence of Markov chain traces

abstract: It is shown that transient graphs for the simple random walk do not admit a nearest neighbor transient Markov chain (not necessarily a reversible one), that crosses all edges with positive probability, while there is such chain for the square grid $\mathbb{Z}^2$. In particular, the $d$-dimensional grid $\mathbb{Z}^d$ admits such a Markov chain only when $d=2$. For $d=2$ we present a relevant example due to Gady Kozma, while the general statement for transient graphs is obtained by proving that for every transient irreducible Markov chain on a countable state space, which admits a stationary measure, its trace is a.s. recurrent for simple random walk. The case that the Markov chain is reversible is due to Gurel-Gurevich, Lyons and the first named author (2007). We exploit recent results in potential theory of non-reversible Markov chains in order to extend their result to the non-reversible setup.


title: Assessing the Performance of a Machine Learning Algorithm in Identifying Bubbles in Dust Emission

abstract: Stellar feedback created by radiation and winds from massive stars plays a significant role in both physical and chemical evolution of molecular clouds. This energy and momentum leaves an identifiable signature ("bubbles") that affect the dynamics and structure of the cloud. Most bubble searches are performed "by-eye", which are usually time-consuming, subjective and difficult to calibrate. Automatic classifications based on machine learning make it possible to perform systematic, quantifiable and repeatable searches for bubbles. We employ a previously developed machine learning algorithm, Brut, and quantitatively evaluate its performance in identifying bubbles using synthetic dust observations. We adopt magneto-hydrodynamics simulations, which model stellar winds launching within turbulent molecular clouds, as an input to generate synthetic images. We use a publicly available three-dimensional dust continuum Monte-Carlo radiative transfer code, hyperion, to generate synthetic images of bubbles in three Spitzer bands (4.5 um, 8 um and 24 um). We designate half of our synthetic bubbles as a training set, which we use to train Brut along with citizen-science data from the Milky Way Project. We then assess Brut's accuracy using the remaining synthetic observations. We find that after retraining Brut's performance increases significantly, and it is able to identify yellow bubbles, which are likely associated with B-type stars. Brut continues to perform well on previously identified high-score bubbles, and over 10% of the Milky Way Project bubbles are reclassified as high-confidence bubbles, which were previously marginal or ambiguous detections in the Milky Way Project data. We also investigate the size of the training set, dust model, evolution stage and background noise on bubble identification.


title: Scalable Log Determinants for Gaussian Process Kernel Learning

abstract: For applications as varied as Bayesian neural networks, determinantal point processes, elliptical graphical models, and kernel learning for Gaussian processes (GPs), one must compute a log determinant of an $n \times n$ positive definite matrix, and its derivatives - leading to prohibitive $\mathcal{O}(n^3)$ computations. We propose novel $\mathcal{O}(n)$ approaches to estimating these quantities from only fast matrix vector multiplications (MVMs). These stochastic approximations are based on Chebyshev, Lanczos, and surrogate models, and converge quickly even for kernel matrices that have challenging spectra. We leverage these approximations to develop a scalable Gaussian process approach to kernel learning. We find that Lanczos is generally superior to Chebyshev for kernel learning, and that a surrogate approach can be highly efficient and accurate with popular kernels.


title: Light groups of isomorphisms of Banach spaces and invariant LUR renormings

abstract: Megrelishvili defines \emph{light groups} of isomorphisms of a Banach space as the groups on which the Weak and Strong Operator Topologies coincide, and proves that every bounded group of isomorphisms of Banach spaces with the Point of Continuity Property (PCP) is light. We investigate this concept for isomorphism groups $G$ of classical Banach spaces $X$ without the PCP, specially isometry groups, and relate it to the existence of $G$-invariant LUR or strictly convex renormings of $X$.


title: Learning Multi-Modal Word Representation Grounded in Visual Context

abstract: Representing the semantics of words is a long-standing problem for the natural language processing community. Most methods compute word semantics given their textual context in large corpora. More recently, researchers attempted to integrate perceptual and visual features. Most of these works consider the visual appearance of objects to enhance word representations but they ignore the visual environment and context in which objects appear. We propose to unify text-based techniques with vision-based techniques by simultaneously leveraging textual and visual context to learn multimodal word embeddings. We explore various choices for what can serve as a visual context and present an end-to-end method to integrate visual context elements in a multimodal skip-gram model. We provide experiments and extensive analysis of the obtained results.


title: Resonance electronic excitation energy transfer in the quantum dot system

abstract: Microscopic theory of the nonradiative energy transfer in a system of III-V semiconductor quantum dots is elaborated in our work. The energy transfer both due to direct Coulomb and due to exchange interactions between two quantum dots (energy donor and acceptor) is considered. An analysis of energy transfer process is performed in the frame of the Kane model that provides the most adequate description of the real energy spectra and wave functions of III-V semiconductors. The density-matrix method is applied, which enabled us to analyze the energy transfer rate both in the weak-interaction approximation and in the strong-interaction approximation. For the first time the detailed analytical calculations of the exchange energy transfer rate for the quantum dot system are performed. The analytical expressions for contributions to the transfer rate are derived. The numerical calculations showed that at nearly contact distances between two quantum dots the rate of the energy transfer due to the direct Coulomb interaction as well as by exchange interaction can reach the saturation. At the small distances, these two contributions can be of the same order and can have the same value in the saturation range. It is revealed that the exchange interaction should be taken into consideration in qualitative describing the energy transfer at small distances between the quantum dot donor and the quantum dot acceptor.


title: Discrete breathers assist energy transfer to ac driven nonlinear chains

abstract: One-dimensional chain of pointwise particles harmonically coupled with nearest neighbors and placed in six-order polynomial on-site potentials is considered. Power of the energy source in the form of single ac driven particles is calculated numerically for different amplitudes $A$ and frequencies $\omega$ within the linear phonon band. The results for the on-site potentials with hard and soft nonlinearity types are compared. For the hard-type nonlinearity, it is shown that when the driving frequency is close to (far from) the {\em upper} edge of the phonon band, the power of the energy source normalized to $A^2$ increases (decreases) with increasing $A$. In contrast, for the soft-type nonlinearity, the normalized power of the energy source increases (decreases) with increasing $A$ when the driving frequency is close to (far from) the {\em lower} edge of the phonon band. Our further demonstrations indicate that, in the case of hard (soft) anharmonicity, the chain can support movable discrete breathers (DBs) with frequencies above (below) the phonon band. It is the energy source quasi-periodically emitting moving DBs in the regime with driving frequency close to the DBs frequency, that induces the increase of the power. Therefore, our results here support the mechanism that the moving DBs can assist energy transfer from the ac driven particle to the chain.


title: The dimension of the boundary of super-Brownian motion

abstract: We show that the Hausdorff dimension of the boundary of $d$-dimensional super-Brownian motion is $0$, if $d=1$, $4-2\sqrt2$, if $d=2$, and $(9-\sqrt{17})/2$, if $d=3$.


title: The $B_{(s)} \to D_{(s)}l\nu$ Decay with Highly Improved Staggered Quarks and NRQCD

abstract: We report on progress of a lattice QCD calculation of the $B\to Dl\nu$ and $B_s\to D_s l\nu$ semileptonic form factors. We use a relativistic staggered action (HISQ) for light and charm quarks, and an improved non-relativistic (NRQCD) action for bottom, on the second generation MILC ensembles.


title: D3.2: SPEED-5G enhanced functional and system architecture, scenarios and performance evaluation metrics

abstract: This deliverable contains a detailed description of the use cases considered in SPEED-5G, which will be used as a basis for demonstration in project. These use cases are Dynamic Channel selection, Load balancing, carrier aggregation. This deliverable also explains the SPEED-5G architecture design principles, which is based on software-defined networking and network function virtualisation. The degree of virtualisation is further illustrated by a number of novel contributions from involved partners. In the end, KPIs for each use case are presented, along with the description of how these KPIs can support 5G-PPP KPIs.


title: A Hamilton-Jacobi point of view on mean-field Gibbs-non-Gibbs transitions

abstract: We study the loss, recovery, and preservation of differentiability of time-dependent large deviation rate functions. This study is motivated by mean-field Gibbs-non-Gibbs transitions. The gradient of the rate-function evolves according to a Hamiltonian flow. This Hamiltonian flow is used to analyze the regularity of the time-dependent rate function, both for Glauber dynamics for the Curie-Weiss model and Brownian dynamics in a potential. We extend the variational approach to this problem of time-dependent regularity in order to include Hamiltonian trajectories with a finite lifetime in closed domains with a boundary. This leads to new phenomena, such a recovery of smoothness. We hereby create a new and unifying approach for the study of mean-field Gibbs-non-Gibbs transitions, based on Hamiltonian dynamics and viscosity solutions of Hamilton-Jacobi equations.


title: Debris Disc Constraints on Planetesimal Formation

abstract: Two basic routes for planetesimal formation have been proposed over the last few decades. One is a classical "slow-growth" scenario. Another one is particle concentration models, in which small pebbles are concentrated locally and then collapse gravitationally to form planetesimals. Both types of models make certain predictions for the size spectrum and internal structure of newly-born planetesimals. We use these predictions as input to simulate collisional evolution of debris discs left after the gas dispersal. The debris disc emission as a function of a system's age computed in these simulations is compared with several Spitzer and Herschel debris disc surveys around A-type stars. We confirm that the observed brightness evolution for the majority of discs can be reproduced by classical models. Further, we find that it is equally consistent with the size distribution of planetesimals predicted by particle concentration models - provided the objects are loosely bound "pebble piles" as these models also predict. Regardless of the assumed planetesimal formation mechanism, explaining the brightest debris discs in the samples uncovers a "disc mass problem." To reproduce such discs by collisional simulations, a total mass of planetesimals of up to ~1000 Earth masses is required, which exceeds the total mass of solids available in the protoplanetary progenitors of debris discs. This may indicate that stirring was delayed in some of the bright discs, that giant impacts occurred recently in some of them, that some systems may be younger than previously thought, or that non-collisional processes contribute significantly to the dust production.


title: Stratification and duality for homotopical groups

abstract: We generalize Quillen's $F$-isomorphism theorem, Quillen's stratification theorem, the stable transfer, and the finite generation of cohomology rings from finite groups to homotopical groups. As a consequence, we show that the category of module spectra over $C^*(B\mathcal{G},\mathbb{F}_p)$ is stratified and costratified for a large class of $p$-local compact groups $\mathcal{G}$ including compact Lie groups, connected $p$-compact groups, and $p$-local finite groups, thereby giving a support-theoretic classification of all localizing and colocalizing subcategories of this category. Moreover, we prove that $p$-compact groups admit a homotopical form of Gorenstein duality.


title: Landau-Zener-Stuckelberg-Majorana interferometry of a single hole

abstract: We perform Landau-Zener-Stuckelberg-Majorana (LZSM) spectroscopy on a system with strong spin-orbit interaction (SOI), realized as a single hole confined in a gated double quantum dot. In analogy to the electron systems, at magnetic field B=0 and high modulation frequencies we observe the photon-assisted tunneling (PAT) between dots, which smoothly evolves into the typical LZSM funnel-shaped interference pattern as the frequency is decreased. In contrast to electrons, the SOI enables an additional, efficient spin-flipping interdot tunneling channel, introducing a distinct interference pattern at finite B. Magneto-transport spectra at low-frequency LZSM driving show the two channels to be equally coherent. High-frequency LZSM driving reveals complex photon-assisted tunneling pathways, both spin-conserving and spin-flipping, which form closed loops at critical magnetic fields. In one such loop an arbitrary hole spin state is inverted, opening the way toward its all-electrical manipulation.


title: On Kedlaya type inequalities for weighted means

abstract: In 2016 we proved that for every symmetric, repetition invariant and Jensen concave mean $\mathscr{M}$ the Kedlaya-type inequality $$ \mathscr{A}\big(x_1,\mathscr{M}(x_1,x_2),\ldots,\mathscr{M}(x_1,\ldots,x_n)\big)\le \mathscr{M} \big(x_1, \mathscr{A}(x_1,x_2),\ldots,\mathscr{A}(x_1,\ldots,x_n)\big) $$ holds for an arbitrary $(x_n)$ ($\mathscr{A}$ stands for the arithmetic mean). We are going to prove the weighted counterpart of this inequality. More precisely, if $(x_n)$ is a vector with corresponding (non-normalized) weights $(\lambda_n)$ and $\mathscr{M}_{i=1}^n(x_i,\lambda_i)$ denotes the weighted mean then, under analogous conditions on $\mathscr{M}$, the inequality $$ \mathscr{A}_{i=1}^n \big(\mathscr{M}_{j=1}^i (x_j,\lambda_j),\:\lambda_i\big) \le \mathscr{M}_{i=1}^n \big(\mathscr{A}_{j=1}^i (x_j,\lambda_j),\:\lambda_i\big) $$ holds for every $(x_n)$ and $(\lambda_n)$ such that the sequence $(\frac{\lambda_k}{\lambda_1+\cdots+\lambda_k})$ is decreasing.


title: Electromagnetic transition form factors of the Roper resonance in baryon chiral perturbation theory

abstract: We consider the electromagnetic transition form factors of the Roper resonance in the framework of an effective field theory of pions, nucleons and delta and Roper resonances as explicit degrees of freedom. Due to the lack experimental data in the region of applicability of low energy effective field theory we fit available free coupling constants and compare obtained results compare to the predictions of a theoretical model.


title: Nonuniversal and anomalous critical behavior of the contact process near an extended defect

abstract: We consider the contact process near an extended surface defect, where the local control parameter deviates from the bulk one by an amount of $\lambda(l)-\lambda(\infty) = A l^{-s}$, $l$ being the distance from the surface. We concentrate on the marginal situation, $s=1/\nu_{\perp}$, where $\nu_{\perp}$ is the critical exponent of the spatial correlation length, and study the local critical properties of the one-dimensional model by Monte Carlo simulations. The system exhibits a rich surface critical behavior. For weaker local activation rates, $A<A_c$, the phase transition is continuous, having an order-parameter critical exponent, which varies continuously with $A$. For stronger local activation rates, $A>A_c$, the phase transition is of mixed order: the surface order parameter is discontinuous, at the same time the temporal correlation length diverges algebraically as the critical point is approached, but with different exponents on the two sides of the transition. The mixed-order transition regime is analogous to that observed recently at a multiple junction and can be explained by the same type of scaling theory.


title: On the application of the Method of Dimensionality Reduction to two-dimensional contacts

abstract: The conventional formulation of the Method of Dimensionality Reduction (MDR) in contact mechanics is only applicable two "point contacts", that is to contacts of two unbounded three-dimensional bodies over final contact area. We analyze here if it is possible to find an at least approximate formulation of the MDR for "line contacts", that is contacts which contact area is unbounded in one direction. In this case the problem can be formulated as contact of two two-dimensional half-"spaces".


title: Momentum conservation and unitarity in parton showers and NLL resummation

abstract: We present a systematic study of differences between NLL resummation and parton showers. We first construct a Markovian Monte-Carlo algorithm for resummation of additive observables in electron-positron annihilation. Approximations intrinsic to the pure NLL result are then removed, in order to obtain a traditional, momentum and probability conserving parton shower based on the coherent branching formalism. The impact of each approximation is studied, and an overall comparison is made between the parton shower and pure NLL resummation. Differences compared to modern parton-shower algorithms formulated in terms of color dipoles are analyzed.


title: Multi-cell Device-to-Device Communications: A Spectrum Sharing and Densification Study

abstract: One of the most significant 5G technology enablers will be Device-to-Device (D2D) communications. D2D communications constitute a promising way to improve spectral, energy and latency performance, exploiting the physical proximity of communicating devices and increasing resource utilization. Furthermore, network infrastructure densification has been considered as one of the most substantial methods to increase system performance, taking advantage of base station proximity and spatial reuse of system resources. However, could we improve system performance by leveraging both of these two 5G enabling technologies together in a multi-cell environment? How does spectrum sharing affect performance enhancement? This article investigates the implications of interference, densification and spectrum sharing in D2D performance gain. The in-band D2D approach, where legacy users coexist with potential D2D pairs, is considered in a multi-cell system. Overlay and underlay spectrum sharing approaches are employed in order for the potential D2D pairs to access the spectrum. Given that two of the most critical problems in the D2D concept are mode selection and user scheduling, we jointly address them, aiming at maximizing the total system uplink throughput. Thus, we present a radio resource management mechanism for intra-cell and cross-cell overlay/underlay D2D communications enabled in a multi-cell system. System-level simulations are executed to evaluate the system performance and examine the trends of D2D communication gain for the different spectrum sharing approaches and various densification scenarios. Finally, realworld SDR-based experiments are performed to test and assess D2D communications for overlay and underlay spectrum sharing.


title: Constraints on physical reality arising from a formalization of knowledge

abstract: There are (at least) four ways that an agent can acquire information concerning the state of the universe: via observation, control, prediction, or via retrodiction, i.e., memory. Each of these four ways of acquiring information seems to rely on a different kind of physical device (resp., an observation device, a control device, etc.). However it turns out that certain mathematical structure is common to those four types of device. Any device that possesses a certain subset of that structure is known as an "inference device" (ID). Here I review some of the properties of IDs, including their relation with Turing machines, and (more loosely) quantum mechanics. I also review the bounds of the joint abilities of any set of IDs to know facts about the physical universe that contains them. These bounds constrain the possible properties of any universe that contains agents who can acquire information concerning that universe. I then extend this previous work on IDs, by adding to the definition of IDs some of the other mathematical structure that is common to the four ways of acquiring information about the universe but is not captured in the (minimal) definition of IDs. I discuss these extensions of IDs in the context of epistemic logic (especially possible worlds formalisms like Kripke structures and Aumann structures). In particular, I show that these extensions of IDs are not subject to the problem of logical omniscience that plagues many previously studied forms of epistemic logic.


title: Strain-shear coupling in bilayer MoS2

abstract: Layered materials such as graphite and transition metal dichalcogenides have extremely anisotropic mechanical properties owing to orders of magnitude difference between in-plane and out-of-plane interatomic interaction strengths. Although effects of mechanical perturbations on either intra- or inter-layer interactions have been extensively investigated, mutual correlations between them have rarely been addressed. Here we show that layered materials have an inevitable coupling between in-plane uniaxial strain and interlayer shear. Because of this, the uniaxial in-plane strain induces an anomalous splitting of the degenerate interlayer shear phonon modes such that the split shear mode along the tensile strain is not softened but hardened contrary to the case of intralayer phonon modes. We confirm the effect by measuring Raman shifts of shear modes of bilayer MoS2 under strain. Moreover, by analyzing the splitting, we obtain an unexplored off-diagonal elastic constant, demonstrating that Raman spectroscopy can determine almost all mechanical constants of layered materials.