title: Teaching Einsteinian Physics at Schools: Part 2, Models and Analogies for Quantum Physics

abstract: The Einstein-First project approaches the teaching of Einsteinian physics through the use of physical models and analogies. This paper presents an approach to the teaching of quantum physics which begins by emphasising the particle-nature of light through the use of toy projectiles to represent photons. This allows key concepts including the spacing between photons, and photon momentum to be introduced. This in-turn allows an intuitive understanding of the uncertainty principle. We present optical interference in the context of individual photons, using actual videos showing the development of images one at a time This enables simple laser interference experiments to be interpreted through the statistical arrival of photons. The wave aspects of quantum phenomenon are interpreted in terms of the wavelike nature of the arrival probabilities.


title: Teaching Einsteinian Physics at Schools: Part 3, Review of Research Outcomes

abstract: This paper reviews research results obtained from Einsteinian physics programs run by different instructors with Years 6, 9, 10 and 11 students using the models and analogies described in Parts 1 and 2. The research aimed to determine whether it is possible to teach Einsteinian physics and to measure the changes in students attitudes to physics engendered by introducing the modern concepts that underpin technology today. Results showed that students easily coped with the concepts of Einsteinian physics, and considered that they were not too young for the material presented. Importantly, in all groups, girls improved their attitude to physics considerably more than the boys, generally achieving near parity with the boys.


title: Exoplanet Transits as the Foundation of an Interstellar Communications Network

abstract: Two fundamental problems for extraterrestrial intelligences (ETIs) attempting to establish interstellar communication are timing and energy consumption. Humanity's study of exoplanets via their transit across the host star highlights a means of solving both problems. An ETI 'A' can communicate with ETI 'B' if B is observing transiting planets in A's star system, either by building structures to produce artificial transits observable by B, or by emitting signals at B during transit, at significantly lower energy consumption than typical electromagnetic transmission schemes. This can produce a network of interconnected civilisations, establishing contact via observing each other's transits. Assuming that civilisations reside in a Galactic Habitable Zone (GHZ), I conduct Monte Carlo Realisation simulations of the establishment and growth of this network, and analyse its properties in the context of graph theory. I find that at any instant, only a few civilisations are correctly aligned to communicate via transits. However, we should expect the true network to be cumulative, where a "handshake" connection at any time guarantees connection in the future via e.g. electromagnetic signals. In all our simulations, the cumulative network connects all civilisations together in a complete network. If civilisations share knowledge of their network connections, the network can be fully complete on timescales of order a hundred thousand years. Once established, this network can connect any two civilisations either directly, or via intermediate civilisations, with a path much less than the dimensions of the GHZ.


title: Rellich inequalities for sub-Laplacians with drift

abstract: In this note we prove horizontal weighted Rellich inequalities for the sub-Laplacian and for sub-Laplacians with drift on general stratified groups. We show how the presence of a drift improves the known inequalities. Moreover, we obtain several versions of weighted Rellich inequalities for the sub-Laplacian with drift on the polarizable Carnot groups, also with the weights associated with the fundamental solution of the sub-Laplacian. The obtained results are already new for the Laplacian in the usual Euclidean setting of ${\mathbb R}^n$, embedding the classical Rellich inequality into a family of Rellich inequalities with parameter dependent drifts.


title: Pr\"ufer modules over Leavitt path algebras

abstract: Let $L_K(E)$ denote the Leavitt path algebra associated to the finite graph $E$ and field $K$. For any closed path $c$ in $E$, we define and investigate the uniserial, artinian, non-noetherian left $L_K(E)$-module $U_{E,c-1}$. The unique simple factor of each proper submodule of $U_{E,c-1}$ is isomorphic to the Chen simple module $V_{[c^\infty]}$. In our main result, we classify those closed paths $c$ for which $U_{E,c-1}$ is injective. In this situation, $U_{E,c-1}$ is the injective hull of $V_{[c^\infty]}$.


title: Solving primal plasticity increment problems in the time of a single predictor-corrector iteration

abstract: The Truncated Nonsmooth Newton Multigrid (TNNMG) method is a well-established method for the solution of strictly convex block-separably nondifferentiable minimization problems. It achieves multigrid-like performance even for non-smooth nonlinear problems, while at the same time being globally convergent and without employing penalty parameters. We show that the algorithm can be applied to the primal problem of classical linear elastoplasticity with hardening. Numerical experiments show that the method is considerably faster than classical predictor-corrector methods. Indeed, solving an entire increment problem with TNNMG takes less time than a single predictor-corrector iteration for the same problem. Since the algorithm does not rely on differentiability of the objective functional, nonsmooth yield functions like the Tresca yield function can be easily incorporated. The method is closely related to a predictor-corrector scheme with a consistent tangent predictor and line search. We explain the algorithm, prove global convergence, and show its efficiency using a standard benchmark from the literature.


title: A Decentralized Multi-Agent Unmanned Aerial System to Search, Pick Up, and Relocate Objects

abstract: We present a fully integrated autonomous multi- robot aerial system for finding and collecting moving and static objects with unknown locations. This task addresses multiple relevant problems in search and rescue (SAR) robotics such as multi-agent aerial exploration, object detection and tracking, and aerial gripping. Usually, the community tackles these problems individually but the integration into a working system generates extra complexity which is rarely addressed. We show that this task can be solved reliably using only simple components. Our decentralized system uses accurate global state estimation, reactive collision avoidance, and sweep planning for multi-agent exploration. Objects are detected, tracked, and picked up using blob detection, inverse 3D-projection, Kalman filtering, visual-servoing, and a magnetic gripper. We evaluate the individual components of our system on the real platform. The full system has been deployed successfully in various public demonstrations, field tests, and the Mohamed Bin Zayed International Robotics Challenge 2017 (MBZIRC). Among the contestants we showed reliable performances and reached second place out of 17 in the individual challenge.


title: On the Local Frame in Nonlinear Higher-Spin Equations

abstract: Properties of the resolution operator ${\rm d}_{loc}^*$ in higher-spin equations, that leads to local current interactions at the cubic order and minimally nonlocal higher-order corrections, are formulated in terms of the condition on the class of master fields of higher-spin theory that restricts both the dependence on the spinor $Y$, $Z$ variables and on the contractions of indices between the constituent fields in bilinear terms. The Green function in the sector of zero-forms is found for the case of constituent fields carrying helicities of opposite signs. It is shown that the local resolution ${\rm d}_{loc}^*$ differs from the conventional De Rham resolution ${\rm d}_Z^*$ by a non-local shift.


title: The Case for Being Average: A Mediocrity Approach to Style Masking and Author Obfuscation

abstract: Users posting online expect to remain anonymous unless they have logged in, which is often needed for them to be able to discuss freely on various topics. Preserving the anonymity of a text's writer can be also important in some other contexts, e.g., in the case of witness protection or anonymity programs. However, each person has his/her own style of writing, which can be analyzed using stylometry, and as a result, the true identity of the author of a piece of text can be revealed even if s/he has tried to hide it. Thus, it could be helpful to design automatic tools that can help a person obfuscate his/her identity when writing text. In particular, here we propose an approach that changes the text, so that it is pushed towards average values for some general stylometric characteristics, thus making the use of these characteristics less discriminative. The approach consists of three main steps: first, we calculate the values for some popular stylometric metrics that can indicate authorship; then we apply various transformations to the text, so that these metrics are adjusted towards the average level, while preserving the semantics and the soundness of the text; and finally, we add random noise. This approach turned out to be very efficient, and yielded the best performance on the Author Obfuscation task at the PAN-2016 competition.


title: On the connection problem for nonlinear differential equation

abstract: We consider the connection problem of the second nonlinear differential equation \begin{equation} \label{eq:1} \Phi''(x)=(\Phi'^2(x)-1)\cot\Phi(x)+ \frac{1}{x}(1-\Phi'(x)) \end{equation} subject to the boundary condition $\Phi(x)=x-ax^2+O(x^3)$ ($a\geq0$) as $x\to0$. In view of that equation (1) is equivalent to the fifth Painlev\'e (PV) equation after a M\"obius transformation, we are able to study the connection problem of equation (1) by investigating the corresponding connection problem of PV. Our research technique is based on the method of uniform asymptotics presented by Bassom el at. The monotonically solution on real axis of equation (1) is obtained, the explicit relation (connection formula) between the constants in the solution and the real number $a$ is also obtained. This connection formulas have been established earlier by Suleimanov via the isomonodromy deformation theory and the WKB method, and recently are applied for studying level spacing functions.


title: Quantum Critical Environment Assisted Quantum Magnetometer

abstract: A central qubit coupled to an Ising ring of $N$ qubits, operating close to a critical point is investigated as a potential precision quantum magnetometer for estimating an applied transverse magnetic field. We compute the Quantum Fisher information for the central, probe qubit with the Ising chain initialized in its ground state or in a thermal state. The non-unitary evolution of the central qubit due to its interaction with the surrounding Ising ring enhances the accuracy of the magnetic field measurement. Near the critical point of the ring, Heisenberg-like scaling of the precision in estimating the magnetic field is obtained when the ring is initialized in its ground state. However, for finite temperatures, the Heisenberg scaling is limited to lower ranges of $N$ values.


title: Conflict Analysis for Pythagorean Fuzzy Information Systems with Group Decision Making

abstract: Pythagorean fuzzy sets provide stronger ability than intuitionistic fuzzy sets to model uncertainty information and knowledge, but little effort has been paid to conflict analysis of Pythagorean fuzzy information systems. In this paper, we present three types of positive, central, and negative alliances with different thresholds, and employ examples to illustrate how to construct the positive, central, and negative alliances. Then we study conflict analysis of Pythagorean fuzzy information systems based on Bayesian minimum risk theory. Finally, we investigate group conflict analysis of Pythagorean fuzzy information systems based on Bayesian minimum risk theory.


title: Ideal structure and pure infiniteness of ample groupoid $C^*$-algebras

abstract: In this paper, we study the ideal structure of reduced $C^*$-algebras $C^*_r(G)$ associated to \'etale groupoids $G$. In particular, we characterize when there is a one-to-one correspondence between the closed, two-sided ideals in $C_r^*(G)$ and the open invariant subsets of the unit space $G^{(0)}$ of $G$. As a consequence, we show that if $G$ is an inner exact, essentially principal, ample groupoid, then $C_r^*(G)$ is (strongly) purely infinite if and only if every non-zero projection in $C_0(G^{(0)})$ is properly infinite in $C_r^*(G)$. We also establish a sufficient condition on the ample groupoid $G$ that ensures pure infiniteness of $C_r^*(G)$ in terms of paradoxicality of compact open subsets of the unit space $G^{(0)}$. Finally, we introduce the type semigroup for ample groupoids and also obtain a dichotomy result: Let $G$ be an ample groupoid with compact unit space which is minimal and topologically principal. If the type semigroup is almost unperforated, then $C_r^*(G)$ is a simple $C^*$-algebra which is either stably finite or strongly purely infinite.


title: Tracking our Universe to de Sitter by a Horndeski scalar

abstract: Assuming both that our Universe is evolving into a de Sitter space and a vanishing cosmological constant, leaves only the option that the observed acceleration is provided by a "kinetic" energy of a scalar field. From an effective field theory point of view, the absence of Ostrogradsky instabilities restricts the choice to shift-symmetric Horndeski theories. Within these theories, we find the conditions for the existence of a de Sitter critical point in a universe filled by matter, radiation and a Horndeski scalar. Moreover, we show that this point is a universal attractor and we provide the tracking trajectory. Therefore, if a de Sitter fixed point exists within these models, our Universe will eventually evolve into a de Sitter space. As an example, we have discussed the case of the combined Galileon-Slotheon system, in which the Galileon is kinetically non-minimal coupled to the Einstein tensor. Interestingly, we have also found that the tracker trajectory of this system does not follow previous literature assumptions.


title: Large-scale Multiview 3D Hand Pose Dataset

abstract: Accurate hand pose estimation at joint level has several uses on human-robot interaction, user interfacing and virtual reality applications. Yet, it currently is not a solved problem. The novel deep learning techniques could make a great improvement on this matter but they need a huge amount of annotated data. The hand pose datasets released so far present some issues that make them impossible to use on deep learning methods such as the few number of samples, high-level abstraction annotations or samples consisting in depth maps. In this work, we introduce a multiview hand pose dataset in which we provide color images of hands and different kind of annotations for each, i.e the bounding box and the 2D and 3D location on the joints in the hand. Besides, we introduce a simple yet accurate deep learning architecture for real-time robust 2D hand pose estimation.


title: Learning Macromanagement in StarCraft from Replays using Deep Learning

abstract: The real-time strategy game StarCraft has proven to be a challenging environment for artificial intelligence techniques, and as a result, current state-of-the-art solutions consist of numerous hand-crafted modules. In this paper, we show how macromanagement decisions in StarCraft can be learned directly from game replays using deep learning. Neural networks are trained on 789,571 state-action pairs extracted from 2,005 replays of highly skilled players, achieving top-1 and top-3 error rates of 54.6% and 22.9% in predicting the next build action. By integrating the trained network into UAlbertaBot, an open source StarCraft bot, the system can significantly outperform the game's built-in Terran bot, and play competitively against UAlbertaBot with a fixed rush strategy. To our knowledge, this is the first time macromanagement tasks are learned directly from replays in StarCraft. While the best hand-crafted strategies are still the state-of-the-art, the deep network approach is able to express a wide range of different strategies and thus improving the network's performance further with deep reinforcement learning is an immediately promising avenue for future research. Ultimately this approach could lead to strong StarCraft bots that are less reliant on hard-coded strategies.


title: P-Tree Programming

abstract: We propose a novel method for automatic program synthesis. P-Tree Programming represents the program search space through a single probabilistic prototype tree. From this prototype tree we form program instances which we evaluate on a given problem. The error values from the evaluations are propagated through the prototype tree. We use them to update the probability distributions that determine the symbol choices of further instances. The iterative method is applied to several symbolic regression benchmarks from the literature. It outperforms standard Genetic Programming to a large extend. Furthermore, it relies on a concise set of parameters which are held constant for all problems. The algorithm can be employed for most of the typical computational intelligence tasks such as classification, automatic program induction, and symbolic regression.


title: Complex organics in IRAS 4A revisited with ALMA and PdBI: Striking contrast between two neighbouring protostellar cores

abstract: We used the Atacama Large (sub-)Millimeter Array (ALMA) and the IRAM Plateau de Bure Interferometer (PdBI) to image, with an angular resolution of 0.5$''$ (120 au) and 1$''$ (235 au), respectively, the emission from 11 different organic molecules in the protostellar binary NGC1333 IRAS 4A. We clearly disentangled A1 and A2, the two protostellar cores present. For the first time, we were able to derive the column densities and fractional abundances simultaneously for the two objects, allowing us to analyse the chemical differences between them. Molecular emission from organic molecules is concentrated exclusively in A2 even though A1 is the strongest continuum emitter. The protostellar core A2 displays typical hot corino abundances and its deconvolved size is 70 au. In contrast, the upper limits we placed on molecular abundances for A1 are extremely low, lying about one order of magnitude below prestellar values. The difference in the amount of organic molecules present in A1 and A2 ranges between one and two orders of magnitude. Our results suggest that the optical depth of dust emission at these wavelengths is unlikely to be sufficiently high to completely hide a hot corino in A1 similar in size to that in A2. Thus, the significant contrast in molecular richness found between the two sources is most probably real. We estimate that the size of a hypothetical hot corino in A1 should be less than 12 au. Our results favour a scenario in which the protostar in A2 is either more massive and/or subject to a higher accretion rate than A1, as a result of inhomogeneous fragmentation of the parental molecular clump. This naturally explains the smaller current envelope mass in A2 with respect to A1 along with its molecular richness.


title: Modeling the price of Bitcoin with geometric fractional Brownian motion: a Monte Carlo approach

abstract: The long-term dependence of Bitcoin (BTC), manifesting itself through a Hurst exponent $H>0.5$, is exploited in order to predict future BTC/USD price. A Monte Carlo simulation with $10^4$ geometric fractional Brownian motion realisations is performed as extensions of historical data. The accuracy of statistical inferences is 10\%. The most probable Bitcoin price at the beginning of 2018 is 6358 USD.


title: Colouring perfect graphs with bounded clique number

abstract: A graph is perfect if the chromatic number of every induced subgraph equals the size of its largest clique, and an algorithm of Gr\"otschel, Lov\'asz, and Schrijver from 1988 finds an optimal colouring of a perfect graph in polynomial time. But this algorithm uses the ellipsoid method, and it is a well-known open question to construct a "combinatorial" polynomial-time algorithm that yields an optimal colouring of a perfect graph. A skew partition in $G$ is a partition $(A,B)$ of $V(G)$ such that $G[A]$ is not connected and $\bar{G}[B]$ is not connected, where $\bar{G}$ denotes the complement graph ; and it is balanced if an additional parity condition of paths in $G$ and $\bar{G}$ is satisfied. In this paper we first give a polynomial-time algorithm that, with input a perfect graph, outputs a balanced skew partition if there is one. Then we use this to obtain a combinatorial algorithm that finds an optimal colouring of a perfect graph with clique number $k$, in time that is polynomial for fixed $k$.


title: Monovacancy paramagnetism in neutron-irradiated graphite probed by $^{13}$C NMR

abstract: We report on the magnetic properties of monovacancy defects in neutron-irradiated graphite, probed by $^{13}$C nuclear magnetic resonance spectroscopy. The bulk paramagnetism of the defect moments is revealed by the temperature dependence of the NMR frequency shift and spectral linewidth, both of which follow a Curie behavior, in agreement with measurements of the macroscopic magnetization. Compared to pristine graphite, the fluctuating hyperfine fields generated by the defect moments lead to an enhancement of the $^{13}$C nuclear spin-lattice relaxation rate $1/T_{1}$ by about two orders of magnitude. With an applied magnetic field of 7.1 T, the temperature dependence of $1/T_{1}$ below about 10 K can well be described by a thermally activated form, $1/T_{1}\propto\exp(-\Delta/k_{B}T)$, yielding a singular Zeeman energy of ($0.41\pm0.01$) meV, in excellent agreement with the sole presence of polarized, non-interacting defect moments.


title: Non-equilibrium phase diagram of a 1D quasiperiodic system with a single-particle mobility edge

abstract: We investigate and map out the non-equilibrium phase diagram of a generalization of the well known Aubry-Andr\'e-Harper (AAH) model. This generalized AAH (GAAH) model is known to have a single-particle mobility edge which also has an additional self-dual property akin to that of the critical point of AAH model. By calculating the imbalance, we get hints of a rich phase diagram. We find a fascinating connection between single particle wavefunctions near the mobility edge of GAAH model and the wavefunctions of the critical AAH model. By placing this model far-from-equilibrium with the aid of two baths, we investigate the open system transport via system size scaling of non-equilibrium steady state (NESS) current. Current is calculated by fully exact non-equilibrium Green's function (NEGF) formalism. The critical point of the AAH model now generalizes to a 'critical' line separating regions of ballistic and localized transport. Like critical point of AAH model, current scales sub-diffusively with system size on the 'critical' line ($I\sim N^{-2\pm0.1}$). However, remarkably, the scaling exponent on this line is distinctly different from that obtained for the critical AAH model (where $I\sim N^{-1.4\pm0.05}$). All these results can be understood from the above-mentioned connection between states near mobility edge of GAAH model and those of critical AAH model. A very interesting high temperature non-equilibrium phase diagram of the GAAH model emerges from our calculations.

categories: cond-mat.dis-nn cond-mat.mes-hall cond-mat.stat-mech quant-ph


title: DeepProf: Performance Analysis for Deep Learning Applications via Mining GPU Execution Patterns

abstract: Deep learning applications are computation-intensive and often employ GPU as the underlying computing devices. Deep learning frameworks provide powerful programming interfaces, but the gap between source codes and practical GPU operations make it difficult to analyze the performance of deep learning applications. In this paper, through examing the features of GPU traces and deep learning applications, we use the suffix tree structure to extract the repeated patten in GPU traces. Performance analysis graphs can be generated from the preprocessed GPU traces. We further present \texttt{DeepProf}, a novel tool to automatically process GPU traces and generate performance analysis reports for deep learning applications. Empirical study verifies the effectiveness of \texttt{DeepProf} in performance analysis and diagnosis. We also find out some interesting properties of Tensorflow, which can be used to guide the deep learning system setup.


title: New Symbols for Base-16 and Base-256 Numerals

abstract: A new system of hexadecimal and base-256 numerals is proposed whose digit shapes are based on binary numerals. The proposed numerals are implemented in open source fonts and integrated into popular editors (Notepad++ and Eclipse) to prove the concept.


title: Peak functions and boundary behaviour of holomorphically invariant distances on strictly pseudoconvex domains

abstract: We give a parameter version of Graham-Kerzman approximation theorem for bounded holomorphic functions on strictly pseudoconvex domains. As an application, we present some uniform estimates for the boundary behaviour of the Kobayashi and Carath\'eodory pseudodistences on such domains.


title: Modernized Latvian Ergonomic Keyboard

abstract: Increasingly more people use computers and create content using keyboards (even with leading edge touch-screen technology). As in the most part of the world, in Latvia also conventional "Qwerty" keyboard is used. Though for Latvian it is much worse than for English, especially due to enormous load to little fingers. It causes repetitive strain injuries and affects productivity of workers with extensive keyboard usage, especially for data input operators, call centers, inquiry office workers, etc. Improving computer keyboard layout decrease stress to hands and fingers thus minimizing exhaustion and injuries. With analysis of English and Latvian public domain novels and modern texts, letter appearance an sequence distribution for Latvian language was found. Qualities of alternative layouts for English (Dvorak, Colemak, Hallinstad) were investigated and open source carpalx simulation tool was adjusted according to the findings. Then carpalx was used to check more than 25 million keyboard layouts, measuring finger/hand effort, stroke typing convenience etc., to find the best one. It was proved that existing "\v{S}usildatec" (classic Latvian Ergonomic standard) keyboard is only slightly better than "Qwerty" for Latvian, though it is much worse for English. After computer simulation, several best layouts were tried practically for more than 6 months and most convenient one was promoted as a new "Latvian Modern" keyboard. Its typing effort is less than for "\v{S}usildatec", load is distributed according to finger strength, and typing strokes are alternating better between hands and fingers. Comparing to "Qwerty" keyboard new layout is better not only for Latvian but for English also. Keyboard drivers are developed for Microsoft Windows and Linux operating systems and are freely available in the web under permissive license.


title: Superconductivity Induced by Interfacial Coupling to Magnons

abstract: We consider a thin normal metal sandwiched between two ferromagnetic insulators. At the interfaces, the exchange coupling causes electrons within the metal to interact with magnons in the insulators. This electron-magnon interaction induces electron-electron interactions, which, in turn, can result in p-wave superconductivity. In the weak-coupling limit, we solve the gap equation numerically and estimate the critical temperature. In YIG-Au-YIG trilayers, superconductivity sets in at temperatures somewhere in the interval between 1 and 10 K. EuO-Au-EuO trilayers require a lower temperature, in the range from 0.01 to 1 K.


title: Galactic Bulge Population II Cepheids in the VVV Survey: Period-Luminosity Relations and a Distance to the Galactic Center

abstract: We present the near-infrared observations of population II Cepheids in the Galactic bulge from VVV survey. We identify 340 population II Cepheids in the Galactic bulge from VVV survey based on their match with OGLE-III Catalogue. The single-epoch $JH$ and multi-epoch $K_s$ observations complement the accurate periods and optical $(VI)$ mean-magnitudes from OGLE. The sample consisting of BL Herculis and W Virginis subtypes is used to derive period-luminosity relations after correcting mean-magnitudes for the extinction. Our $K_s$-band period-luminosity relation, $K_s = -2.189(0.056)~[\log(P) - 1] + 11.187(0.032)$, is consistent with published work for BL Herculis and W Virginis variables in the Large Magellanic Cloud. We present a combined OGLE-III and VVV catalogue with periods, classification, mean magnitudes and extinction for 264 Galactic bulge population II Cepheids having good-quality $K_s$-band light curves. The absolute magnitudes for population II Cepheids and RR Lyraes calibrated using Gaia and Hubble Space Telescope parallaxes, together with calibrated magnitudes for Large Magellanic Cloud population II Cepheids, are used to obtain a distance to the Galactic center, $R_0=8.34\pm0.03{\mathrm{(stat.)}}\pm0.41{\mathrm{(syst.)}}$, which changes by $^{+ 0.05}_{-0.25}$ with different extinction laws. While noting the limitation of small number statistics, we find that the present sample of population II Cepheids in the Galactic bulge shows a nearly spheroidal spatial distribution, similar to metal-poor RR Lyrae variables. We do not find evidence of the inclined bar as traced by the metal-rich red-clump stars. The number density for population II Cepheids is more limited as compared to abundant RR Lyraes but they are bright and exhibit a wide range in period that provides a robust period-luminosity relation for an accurate estimate of the distance to the Galactic center.


title: Quasielastic small-angle neutron scattering from heavy water solutions of cyclodextrins

abstract: We present a model for quasielastic neutron scattering (QENS) by an aqueous solution of compact and inflexible molecules. This model accounts for time-dependent spatial pair correlations between the atoms of the same as well as of distinct molecules and includes all coherent and incoherent neutron scattering contributions. The extension of the static theory of the excluded volume effect [A. K. Soper, J. Phys.:Condens. Matter 9, 2399 (1997)] to the time-dependent (dynamic) case allows us to obtain simplified model expressions for QENS spectra in the low Q region in the uniform fluid approximation. The resulting expressions describe the quasielastic small-angle neutron scattering (QESANS) spectra of D2O solutions of native and methylated cyclodextrins well, yielding in particular translational and rotational diffusion coefficients of these compounds in aqueous solution. Finally, we discuss the full potential of the QESANS analysis (that is, beyond the uniform fluid approximation), in particular, the information on solute-solvent interactions (e.g., hydration shell properties) that such an analysis can provide, in principle.


title: Thickness dependence of spin-orbit torques generated by WTe2

abstract: We study current-induced torques in WTe2/permalloy bilayers as a function of WTe2 thickness. We measure the torques using both second-harmonic Hall and spin-torque ferromagnetic resonance measurements for samples with WTe2 thicknesses that span from 16 nm down to a single monolayer. We confirm the existence of an out-of-plane antidamping torque, and show directly that the sign of this torque component is reversed across a monolayer step in the WTe2. The magnitude of the out-of-plane antidamping torque depends only weakly on WTe2 thickness, such that even a single-monolayer WTe2 device provides a strong torque that is comparable to much thicker samples. In contrast, the out-of-plane field-like torque has a significant dependence on the WTe2 thickness. We demonstrate that this field-like component originates predominantly from the Oersted field, thereby correcting a previous inference drawn by our group based on a more limited set of samples.


title: Spectral properties and breathing dynamics of a few-body Bose-Bose mixture in a 1D harmonic trap

abstract: We investigate a few-body mixture of two bosonic components, each consisting of two particles confined in a quasi one-dimensional harmonic trap. By means of exact diagonalization with a correlated basis approach we obtain the low-energy spectrum and eigenstates for the whole range of repulsive intra- and inter-component interaction strengths. We analyse the eigenvalues as a function of the inter-component coupling, covering hereby all the limiting regimes, and characterize the behaviour in-between these regimes by exploiting the symmetries of the Hamiltonian. Provided with this knowledge we study the breathing dynamics in the linear-response regime by slightly quenching the trap frequency symmetrically for both components. Depending on the choice of interactions strengths, we identify 1 to 3 monopole modes besides the breathing mode of the center of mass coordinate. For the uncoupled mixture each monopole mode corresponds to the breathing oscillation of a specific relative coordinate. Increasing the inter-component coupling first leads to multi-mode oscillations in each relative coordinate, which turn into single-mode oscillations of the same frequency in the composite-fermionization regime.


title: Stochastic thermodynamics: From principles to the cost of precision

abstract: In these lecture notes, the basic principles of stochastic thermodynamics are developed starting with a closed system in contact with a heat bath. A trajectory undergoes Markovian transitions between observable meso-states that correspond to a coarse-grained description of, e.g., a biomolecule or a biochemical network. By separating the closed system into a core system and into reservoirs for ligands and reactants that bind to, and react with the core system, a description as an open system controlled by chemical potentials and possibly an external force is achieved. Entropy production and further thermodynamic quantities defined along a trajectory obey various fluctuation theorems. For describing fluctuations in a non-equilibrium steady state in the long-time limit, the concept of a rate function for large deviations from the mean behaviour is derived from the weight of a trajectory. Universal bounds on this rate function follow which prove and generalize the thermodynamic uncertainty relation that quantifies the inevitable trade-off between cost and precision of any biomolecular process. Specific illustrations are given for molecular motors, Brownian clocks and enzymatic networks that show how these tools can be used for thermodynamic inference of hidden properties of a system.


title: [CI], [CII] and CO emission lines as a probe for alpha variations at low and high redshifts

abstract: The offsets between the radial velocities of the rotational transitions of carbon monoxide and the fine structure transitions of neutral and singly ionized carbon are used to test the hypothetical variation of the fine structure constant, alpha. From the analysis of the [CI] and [CII] fine structure lines and low J rotational lines of 12CO and 13CO, emitted by the dark cloud L1599B in the Milky Way disk, we find no evidence for fractional changes in alpha at the level of |$\Delta \alpha/\alpha$| < 3*10^-7. For the neighbour galaxy M33 a stringent limit on Delta alpha/alpha is set from observations of three HII zones in [CII] and CO emission lines: |$\Delta \alpha/\alpha$| < 4*10^-7. Five systems over the redshift interval z = 5.7-6.4, showing CO J=6-5, J=7-6 and [CII] emission, yield a limit on |$\Delta \alpha/\alpha$| < 1.3*10^-5. Thus, a combination of the [CI], [CII], and CO emission lines turns out to be a powerful tool for probing the stability of the fundamental physical constants over a wide range of redshifts not accessible to optical spectral measurements.


title: Single-dish and VLBI observations of Cygnus X-3 during the 2016 giant flare episode

abstract: In September 2016, the microquasar Cygnus X-3 underwent a giant radio flare, which was monitored for 6 days with the Medicina Radio Astronomical Station and the Sardinia Radio Telescope. Long observations were performed in order to follow the evolution of the flare on a hourly scale, covering six frequency ranges from 1.5 GHz to 25.6 GHz. The radio emission reached a maximum of 13.2 +/- 0.7 Jy at 7.2 GHz and 10 +/- 1 Jy at 18.6 GHz. Rapid flux variations were observed at high radio frequencies at the peak of the flare, together with rapid evolution of the spectral index: alpha steepened from 0.3 to 0.6 within 5 hours. This is the first time that such fast variations are observed, giving support to the evolution from optically thick to optically thin plasmons in expansion moving outward from the core. Based on the Italian network (Noto, Medicina and SRT) and extended to the European antennas (Torun, Yebes, Onsala), VLBI observations were triggered at 22 GHz on five different occasions, four times prior to the giant flare, and once during its decay phase. Flux variations of 2-hour duration were recorded during the first session. They correspond to a mini-flare that occurred close to the core ten days before the onset of the giant flare. From the latest VLBI observation we infer that four days after the flare peak the jet emission was extended over 30 mas.


title: Revisiting Elementary Denotational Semantics

abstract: Operational semantics have been enormously successful, in large part due to its flexibility and simplicity, but they are not compositional. Denotational semantics, on the other hand, are compositional but the lattice-theoretic models are complex and difficult to scale to large languages. However, there are elementary models of the $\lambda$-calculus that are much less complex: by Coppo, Dezani-Ciancaglini, and Salle (1979), Engeler (1981), and Plotkin (1993). This paper takes first steps toward answering the question: can elementary models be good for the day-to-day work of language specification, mechanization, and compiler correctness? The elementary models in the literature are simple, but they are not as intuitive as they could be. To remedy this, we create a new model that represents functions literally as finite graphs. Regarding mechanization, we give the first machine-checked proof of soundness and completeness of an elementary model with respect to an operational semantics. Regarding compiler correctness, we define a polyvariant inliner for the call-by-value $\lambda$-calculus and prove that its output is contextually equivalent to its input. Toward scaling elementary models to larger languages, we formulate our semantics in a monadic style, give a semantics for System F with general recursion, and mechanize the proof of type soundness.


title: Prolate over oblate dominance in deformed nuclei as a consequence of the SU(3) symmetry and the Pauli principle

abstract: We show that the dominance of prolate over oblate shapes in even-even deformed nuclei can be derived from the SU(3) symmetry and the Pauli principle.


title: N-GrAM: New Groningen Author-profiling Model

abstract: We describe our participation in the PAN 2017 shared task on Author Profiling, identifying authors' gender and language variety for English, Spanish, Arabic and Portuguese. We describe both the final, submitted system, and a series of negative results. Our aim was to create a single model for both gender and language, and for all language varieties. Our best-performing system (on cross-validated results) is a linear support vector machine (SVM) with word unigrams and character 3- to 5-grams as features. A set of additional features, including POS tags, additional datasets, geographic entities, and Twitter handles, hurt, rather than improve, performance. Results from cross-validation indicated high performance overall and results on the test set confirmed them, at 0.86 averaged accuracy, with performance on sub-tasks ranging from 0.68 to 0.98.


title: Computing Singularly Perturbed Differential Equations

abstract: A computational tool for coarse-graining nonlinear systems of ordinary differential equations in time is discussed. Three illustrative model examples are worked out that demonstrate the range of capability of the method. This includes the averaging of Hamiltonian as well as dissipative microscopic dynamics whose `slow' variables, defined in a precise sense, can often display mixed slow-fast response as in relaxation oscillations, and dependence on initial conditions of the fast variables. Also covered is the case where the quasi-static assumption in solid mechanics is violated. The computational tool is demonstrated to capture all of these behaviors in an accurate and robust manner, with significant savings in time. A practically useful strategy for initializing short bursts of microscopic runs for the accurate computation of the evolution of slow variables is also developed.


title: Shuffle quadri-algebra and concatenation

abstract: In this article, we study the shuffle quadri-algebra H. We prove the existence of some relations between quadri-algebra laws which constitute shuffle product, the concatenation product and the deconcatenation coproduct. We also show that the underlying shuffle algebra has two module-algebra structures on itself.


title: Probing medium-induced jet splitting and energy loss in heavy-ion collisions

abstract: The nuclear modification of jet splitting in relativistic heavy-ion collisions at RHIC and the LHC energies is studied based on the higher twist formalism. Assuming coherent energy loss for the two splitted subjets, a non-monotonic jet energy dependence is found for the nuclear modification of jet splitting function: strongest modification at intermediate jet energies whereas weaker modification for larger or smaller jet energies. Combined with the smaller size and lower density of the QGP medium at RHIC than at the LHC, this explains the CMS-STAR groomed jet puzzle -- strong nuclear modification of the momentum sharing $z_g$ distribution at the LHC whereas no obvious modification of the $z_g$ distribution at RHIC. In contrast, the observed nuclear modification pattern of the groomed jet $z_g$ distribution cannot be explained solely by independent energy loss of the two subjets. Our result may be tested in future measurements of groomed jets with lower jet energies at the LHC and larger jet energies at RHIC, for different angular separations between the two subjets.


title: Constructibility and Reflexivity in non-Archimedean geometry

abstract: We introduce a notion of constructibility for \'etale sheaves with torsion coefficients over a suitable class of adic spaces. This notion is related to the classical notion of constructibility for schemes via the nearby cycles functor. We use the work of R. Huber to define an adic Verdier dual and investigate the extent to which we have a 6-functor formalism in this context. Lastly, we attempt to classify those sheaves which are reflexive with respect to the adic Verdier dual.


title: Piezoelectricity and valley Chern number in inhomogeneous hexagonal 2D crystals

abstract: Conversion of mechanical forces to electric signal is possible in non-centrosymmetric materials due to linear piezoelectricity. The extraordinary mechanical properties of two-dimensional materials and their high crystallinity make them exceptional platforms to study and exploit the piezoelectric effect. Here, the piezoelectric response of non-centrosymmetric hexagonal two-dimensional crystals is studied using the modern theory of polarization and ${\bm k} \cdot {\bm p}$ model Hamiltonians. An analytical expression for the piezoelectric constant is obtained in terms of topological quantities such as the {\it valley Chern number}. The theory is applied to semiconducting transition metal dichalcogenides and hexagonal Boron Nitride. We find good agreement with available experimental measurements for MoS$_2$. We further generalise the theory to study the polarization of samples subjected to inhomogeneous strain (e.g.~nanobubbles). We obtain a simple expression in terms of the strain tensor, and show that charge densities $\gtrsim 10^{11} {\rm cm}^{-2}$ can be induced by realistic inhomogeneous strains, $\epsilon \approx 0.01 - 0.03$.


title: Fastest Convergence for Q-learning

abstract: The Zap Q-learning algorithm introduced in this paper is an improvement of Watkins' original algorithm and recent competitors in several respects. It is a matrix-gain algorithm designed so that its asymptotic variance is optimal. Moreover, an ODE analysis suggests that the transient behavior is a close match to a deterministic Newton-Raphson implementation. This is made possible by a two time-scale update equation for the matrix gain sequence. The analysis suggests that the approach will lead to stable and efficient computation even for non-ideal parameterized settings. Numerical experiments confirm the quick convergence, even in such non-ideal cases. A secondary goal of this paper is tutorial. The first half of the paper contains a survey on reinforcement learning algorithms, with a focus on minimum variance algorithms.


title: BAGEL: Brilliantly Advanced General Electronic-structure Library

abstract: On behalf of the development team, I review the capabilities of the BAGEL program package in this article. BAGEL is a newly-developed full-fledged program package for electronic-structure computation in quantum chemistry, which is released under the GNU General Public License with many contributions from the developers. The unique features include analytical CASPT2 nuclear energy gradients and derivative couplings, relativistic multireference wave functions based on the Dirac equation, and implementations of novel electronic structure theories. All of the programs are efficiently parallelized using both threads and MPI processes. We also discuss the code generator SMITH3, which has been used to implement some of the programs in BAGEL. The developers' contributions are listed at the end of the main text.


title: Entropy production of active particles and for particles in active baths

abstract: Entropy production of an active particle in an external potential is identified through a thermodynamically consistent minimal lattice model that includes the chemical reaction providing the propulsion and ordinary translational noise. In the continuum limit, a unique expression follows, comprising a direct contribution from the active process and an indirect contribution from ordinary diffusive motion. From the corresponding Langevin equation, this physical entropy production cannot be inferred through the conventional, yet here ambiguous, comparison of forward and time-reversed trajectories. Generalizations to several interacting active particles and passive particles in a bath of active ones are presented explicitly, further ones are briefly indicated.


title: Frobenius splitting of thick flag manifolds of Kac-Moody algebras

abstract: We explain that the Pl\"ucker relations provide the defining equations of the thick flag manifold associated to a Kac-Moody algebra. This naturally transplant the result of Kumar-Mathieu-Schwede about the Frobenius splitting of thin flag manifolds to the thick case. As a consequence, we provide a description of the global sections of line bundles of a thick Schubert variety as conjectured in Kashiwara-Shimozono [Duke Math. J. 148 (2009)]. This also yields the existence of a compatible basis of thick Demazure modules, and the projective normality of the thick Schubert varieties.


title: Valadier-like formulas for the supremum function II: The compactly indexed case

abstract: We generalize and improve the original characterization given by Valadier [20, Theorem 1] of the subdifferential of the pointwise supremum of convex functions, involving the subdifferentials of the data functions at nearby points. We remove the continuity assumption made in that work and obtain a general formula for such a subdifferential. In particular, when the supremum is continuous at some point of its domain, but not necessarily at the reference point, we get a simpler version which gives rise to Valadier formula. Our starting result is the characterization given in [10, Theorem 4], which uses the epsilon-subdiferential at the reference point.


title: Pixel-variant Local Homography for Fisheye Stereo Rectification Minimizing Resampling Distortion

abstract: Large field-of-view fisheye lens cameras have attracted more and more researchers' attention in the field of robotics. However, there does not exist a convenient off-the-shelf stereo rectification approach which can be applied directly to fisheye stereo rig. One obvious drawback of existing methods is that the resampling distortion (which is defined as the loss of pixels due to under-sampling and the creation of new pixels due to over-sampling during rectification process) is severe if we want to obtain a rectification with epipolar line (not epipolar circle) constraint. To overcome this weakness, we propose a novel pixel-wise local homography technique for stereo rectification. First, we prove that there indeed exist enough degrees of freedom to apply pixel-wise local homography for stereo rectification. Then we present a method to exploit these freedoms and the solution via an optimization framework. Finally, the robustness and effectiveness of the proposed method have been verified on real fisheye lens images. The rectification results show that the proposed approach can effectively reduce the resampling distortion in comparison with existing methods while satisfying the epipolar line constraint. By employing the proposed method, dense stereo matching and 3D reconstruction for fisheye lens camera become as easy as perspective lens cameras.


title: Optimised finite difference computation from symbolic equations

abstract: Domain-specific high-productivity environments are playing an increasingly important role in scientific computing due to the levels of abstraction and automation they provide. In this paper we introduce Devito, an open-source domain-specific framework for solving partial differential equations from symbolic problem definitions by the finite difference method. We highlight the generation and automated execution of highly optimized stencil code from only a few lines of high-level symbolic Python for a set of scientific equations, before exploring the use of Devito operators in seismic inversion problems.


title: Reorientational solitons in nematic liquid crystals with modulated alignment

abstract: In uniaxial soft matter with a reorientational nonlinearity, such as nematic liquid crystals, a light beam in the extraordinary polarization walks off its wavevector due to birefringence, while it undergoes self-focusing via an increase in refractive index and eventually forms a spatial soliton. Hereby the trajectory evolution of solitons in nematic liquid crystals- nematicons- in the presence of a linearly varying transverse orientation of the optic axis is analysed. In this study we use and compare two approaches: i) a slowly varying (adiabatic) approximation based on momentum conservation of the soliton in a Hamiltonian sense; ii) the Frank-Oseen elastic theory coupled with a fully vectorial and nonlinear beam propagation method. The models provide comparable results in such a non-homogeneously oriented uniaxial medium and predict curved soliton paths with either monotonic or non-monotonic curvatures. The minimal power needed to excite a solitary wave via reorientation remains essentially the same in both uniform and modulated cases.


title: Catching Zika Fever: Application of Crowdsourcing and Machine Learning for Tracking Health Misinformation on Twitter

abstract: In February 2016, World Health Organization declared the Zika outbreak a Public Health Emergency of International Concern. With developing evidence it can cause birth defects, and the Summer Olympics coming up in the worst affected country, Brazil, the virus caught fire on social media. In this work, use Zika as a case study in building a tool for tracking the misinformation around health concerns on Twitter. We collect more than 13 million tweets -- spanning the initial reports in February 2016 and the Summer Olympics -- regarding the Zika outbreak and track rumors outlined by the World Health Organization and Snopes fact checking website. The tool pipeline, which incorporates health professionals, crowdsourcing, and machine learning, allows us to capture health-related rumors around the world, as well as clarification campaigns by reputable health organizations. In the case of Zika, we discover an extremely bursty behavior of rumor-related topics, and show that, once the questionable topic is detected, it is possible to identify rumor-bearing tweets using automated techniques. Thus, we illustrate insights the proposed tools provide into potentially harmful information on social media, allowing public health researchers and practitioners to respond with a targeted and timely action.


title: Action mechanism of DDX3X: An RNA helicase implicated in cancer propagation and viral infection

abstract: DDX3X is a human DEAD-box RNA helicase implicated in many cancers and in viral progression. In addition to the RecA-like catalytic core, DDX3X contains N- and C-terminal domains. Here, we investigate the substrate and protein requirements to support the ATPase activity of a DDX3X construct lacking 80 residues from its C-terminal domain. Our data confirmed previous results that for an RNA molecule to support the ATPase activity of DDX3X it must contain a single-stranded-double-stranded region. We investigated protein and RNA structural reasons for this requirement. First, the RNA substrates consisting only of a double-helix were unable to support DDX3X binding. A single-stranded RNA substrate supported DDX3X binding, while an RNA substrate consisting of a single-stranded-double-stranded region not only supported the binding of DDX3X to RNA, but also promoted DDX3X trimer formation. Thus, the single-stranded-double-stranded RNA region is needed for DDX3X trimer formation, and trimer formation is required for ATPase activity. Interestingly, the dependence of ATP hydrolysis on the protein concentration suggests that the DDX3X trimer hydrolyzes only two molecules of ATP. Lastly, a DNA substrate that contains single-stranded-double-stranded regions does not support the ATPase activity of DDX3X.


title: Transport in the cat's eye flow on intermediate time scales

abstract: We consider the advection-diffusion transport of tracers in a one-parameter family of plane periodic flows where the patterns of streamlines feature regions of confined circulation in the shape of "cat's eyes", separated by meandering jets with ballistic motion inside them. By varying the parameter, we proceed from the regular two-dimensional lattice of eddies without jets to the sinusoidally modulated shear flow without eddies. When a weak thermal noise is added, i.e. at large P\'eclet numbers, several intermediate time scales arise, with qualitatively and quantitatively different transport properties: depending on the parameter of the flow, the initial position of a tracer, and the aging time, motion of the tracers ranges from subdiffusive to super-ballistic. Extensive numerical simulations of the aged mean squared displacement for different initial conditions are compared to a theory based on a L\'evy walk that describes the intermediate-time ballistic regime. Interplay of the walk process with internal circulation dynamics in the trapped state results at intermediate time scale in non-monotonic characteristics of aging.


title: Comparison between measured and predicted turbulence frequency spectra in ITG and TEM regimes

abstract: The observation of distinct peaks in tokamak core reflectometry measurements - named quasi-coherent-modes (QCMs) - are identified as a signature of Trapped-Electron-Mode (TEM) turbulence [H. Arnichand et al. 2016 Plasma Phys. Control. Fusion 58 014037]. This phenomenon is investigated with detailed linear and nonlinear gyrokinetic simulations using the \gene code. A Tore-Supra density scan is studied, which traverses through a Linear (LOC) to Saturated (SOC) Ohmic Confinement transition. The LOC and SOC phases are both simulated separately. In the LOC phase, where QCMs are observed, TEMs are robustly predicted unstable in linear studies. In the later SOC phase, where QCMs are no longer observed, ITG modes are identified. In nonlinear simulations, in the ITG (SOC) phase, a broadband spectrum is seen. In the TEM (LOC) phase, a clear emergence of a peak at the TEM frequencies is seen. This is due to reduced nonlinear frequency broadening of the underlying linear modes in the TEM regime compared with the ITG regime. A synthetic diagnostic of the nonlinearly simulated frequency spectra reproduces the features observed in the reflectometry measurements. These results support the identification of core QCMs as an experimental marker for TEM turbulence


title: Valadier-like formulas for the supremum function I

abstract: We generalize and improve the original characterization given by Valadier [18, Theorem 1] of the subdifferential of the pointwise supremum of convex functions, involving the subdifferentials of the data functions at nearby points. We remove the continuity assumption made in that work and obtain a general formula for such a subdiferential. In particular, when the supremum is continuous at some point of its domain, but not necessarily at the reference point, we get a simpler version which gives rise to the Valadier formula. Our starting result is the characterization given in [11, Theorem 4], which uses the epsilon-subdifferential at the reference point.


title: Experimental Quantum State Tomography of Optical Fields and Ultrafast Statistical Sampling

abstract: We review experimental work on the measurement of the quantum state of optical fields, and the relevant theoretical background. The basic technique of optical homodyne tomography is described with particular attention paid to the role played by balanced homodyne detection in this process. We discuss some of the original single-mode squeezed-state measurements as well as recent developments including: other field states, multimode measurements, array detection, and other new homodyne schemes. We also discuss applications of state measurement techniques to an area of scientific and technological importance--the ultrafast sampling of time-resolved photon statistics.


title: Complete Quasi-Metrics for Hyperspaces, Continuous Valuations, and Previsions

abstract: The Kantorovich-Rubinshtein metric is an $L^1$-like metric on spaces of probability distributions that enjoys several serendipitous properties. It is complete separable if the underlying metric space of points is complete separable, and in that case it metrizes the weak topology. We introduce a variant of that construction in the realm of quasi-metric spaces, and prove that it is algebraic Yoneda-complete as soon as the underlying quasi-metric space of points is algebraic Yoneda-complete, and that the associated topology is the weak topology. We do this not only for probability distributions, represented as normalized continuous valuations, but also for subprobability distributions, for various hyperspaces, and in general for different brands of functionals. Those functionals model probabilistic choice, angelic and demonic non-deterministic choice, and their combinations. The mathematics needed for those results are more demanding than in the simpler case of metric spaces. To obtain our results, we prove a few other results that have independent interest, notably: continuous Yoneda-complete spaces are consonant; on a continuous Yoneda-complete space, the Scott topology on the space of $\overline{\mathbb{R}}_+$-valued lower semicontinuous maps coincides with the compact-open and Isbell topologies, and the subspace topology on spaces of $\alpha$-Lipschitz continuous maps also coincides with the topology of pointwise convergence, and is stably compact; we introduce and study the so-called Lipschitz-regular quasi-metric spaces, and we show that the formal ball functor induces a Kock-Z\"oberlein monad, of which all algebras are Lipschitz-regular; and we prove a minimax theorem where one of the spaces is not compact Hausdorff, but merely compact.


title: Lipschitz stability for an inverse hyperbolic problem of determining two coefficients by a finite number of observations

abstract: We consider an inverse problem of reconstructing two spatially varying coefficients in an acoustic equation of hyperbolic type using interior data of solutions with suitable choices of initial condition. Using a Carleman estimate, we prove Lipschitz stability estimates which ensures unique reconstruction of both coefficients. Our theoretical results are justified by numerical studies on the reconstruction of two unknown coefficients using noisy backscattered data.


title: The Half-lives of $^{132}$La and $^{135}$La

abstract: The half-lives of $^{135}$La and $^{132}$La were determined via gamma spectroscopy and high-precision ionization chamber measurements. The results are 18.930(6) h for $^{135}$La and 4.59(4) h for $^{132}$La compared to the previously compiled values of 19.5(2) h and 4.8(2) h, respectively. The new results represent an improvement in the precision and accuracy of both values. These lanthanum isotopes comprise a medically interesting system with positron emitter $^{132}$La and Auger electron emitter $^{135}$La forming a matched pair for internal diagnostics and therapeutics. The precise half-lives are necessary for proper evaluation of their value in medicine and for a more representative tabulation of nuclear data.


title: TMDs of Spin-one Targets: Formalism and Covariant Calculations

abstract: We present a covariant formulation and model calculations of transverse momentum-dependent quark distribution functions (TMDs) for spin-one hadrons. Emphasis is placed on a description of these 3-dimensional distribution functions which is independent of any constraints on the spin quantization axis. We apply our covariant spin description to all nine leading-twist time-reversal even $\rho$ meson TMDs in the framework provided by the Nambu--Jona-Lasinio model, incorporating important aspects of quark confinement via the infrared cut-off in the proper-time regularization scheme. In particular, the behavior of the 3-dimensional TMDs in a tensor polarized spin-one hadron are illustrated. Sum rules and positivity constraints are discussed in detail. Results of particular interest include the finding that the tensor polarized TMDs -- associated with spin-one hadrons -- are very sensitive to quark orbital angular momentum, and that the TMDs associated with the quark operator $\gamma^+\boldsymbol{\gamma}_T\gamma_5$ would vanish were it not for dynamical chiral symmetry breaking. In addition, we find that 44% of the $\rho$ meson's spin is carried by the orbital angular momentum of the quarks, and that the magnitude of the tensor polarized quark distribution function is about 30% of the unpolarized quark distribution. A qualitative comparison between our results for the tensor structure of a quark-antiquark bound state is made to previous experimental and theoretical results for the two-nucleon (deuteron) bound state.


title: Balanced supersaturation for some degenerate hypergraphs

abstract: A classical theorem of Simonovits from the 1980s asserts that every graph $G$ satisfying ${e(G) \gg v(G)^{1+1/k}}$ must contain $\gtrsim \left(\frac{e(G)}{v(G)}\right)^{2k}$ copies of $C_{2k}$. Recently, Morris and Saxton established a balanced version of Simonovits' theorem, showing that such $G$ has $\gtrsim \left(\frac{e(G)}{v(G)}\right)^{2k}$ copies of $C_{2k}$, which are `uniformly distributed' over the edges of $G$. Moreover, they used this result to obtain a sharp bound on the number of $C_{2k}$-free graphs via the container method. In this paper, we generalise Morris-Saxton's results for even cycles to $\Theta$-graphs. We also prove analogous results for complete $r$-partite $r$-graphs.


title: Local magnetic moments in iron and nickel at ambient and Earth's core conditions

abstract: Some Bravais lattices have a particular geometry that can slow down the motion of Bloch electrons by pre-localization due to the band-structure properties. Another known source of electronic localization in solids is the Coulomb repulsion in partially filled d- or f-orbitals, which leads to the formation of local magnetic moments. The combination of these two effects is usually considered of little relevance to strongly correlated materials. Here we show that it represents, instead, the underlying physical mechanism in two of the most important ferromagnets: nickel and iron. In nickel, the van Hove singularity has an unexpected impact on the magnetism. As a result, the electron-electron scattering rate is linear in temperature, in violation of the conventional Landau theory of metals. This is true even at Earth's core pressures, at which iron is instead a good Fermi liquid. The importance of nickel in models of geomagnetism may have therefore to be reconsidered.


abstract: The multiplicative loops of Jha-Johnson semifields are non-automorphic finite loops whose left and right nuclei are the multiplicative groups of a field extension of their centers. They yield examples of finite loops with non-trivial automorphism group and non-trivial inner mappings. Upper bounds are given for the number of non-isotopic multiplicative loops of order $q^{nm}-1$ that are defined using the twisted polynomial ring $K[t;\sigma]$ and a twisted irreducible polynomial of degree $m$, when the automorphism $\sigma$ has order $n$.


title: Smooth and global Ising universal scaling functions

abstract: We describe a method for approximating the universal scaling functions for the Ising model in a field. By making use of parametric coordinates, the free energy scaling function has a polynomial series everywhere. Its form is taken to be a sum of the simplest functions that contain the singularities which must be present: the Langer essential singularity and the Yang--Lee edge singularity. Requiring that the function match series expansions in the low- and high-temperature zero-field limits fixes the parametric coordinate transformation. For the two-dimensional Ising model, we show that this procedure converges exponentially with the order to which the series are matched, up to seven digits of accuracy. To facilitate use, we provide Python and Mathematica implementations of the code at both lowest order (three digit) and high accuracy.


title: On the existence of self-similar converging shocks for arbitrary equation of state

abstract: We extend Guderley's problem of finding a self-similar scaling solution for a converging cylindrical or spherical shock wave from the ideal gas case to the case of flows with an arbitrary equation of state closure model, giving necessary conditions for the existence of a solution. The necessary condition is a thermodynamic one, namely that the adiabatic bulk modulus, $K_S$, of the fluid be of the form $pf(\rho)$ where $p$ is pressure, $\rho$ is mass density, and $f$ is an arbitrary function. Although this condition has appeared in the literature before, here we give a more rigorous and extensive treatment. Of particular interest is our novel analysis of the governing ordinary differential equations (ODEs), which shows that, in general, the Guderley problem is always an eigenvalue problem. The need for an eigenvalue arises from basic shock stability principles -- an interesting connection to the existing literature on the relationship between self-similarity of the second kind and stability. We also investigate a special case, usually neglected by previous authors, where assuming constant shock velocity yields a reduction to ODEs for every material, but those ODEs never have a bounded, differentiable solution. This theoretical work is motivated by the need for more realistic test problems in the verification of inviscid compressible flow codes that simulate flows in a variety of non-ideal gas materials.


title: Fluctuations of Wigner-type random matrices associated with symmetric spaces of class DIII and CI

abstract: Wigner-type randomizations of the tangent spaces of classical symmetric spaces can be thought of as ordinary Wigner matrices on which additional symmetries have been imposed. In particular, they fall within the scope of a framework, due to Schenker and Schulz-Baldes, for the study of fluctuations of Wigner matrices with additional dependencies among their entries. In this contribution, we complement the results of these authors in that we develop a calculus of patterns which makes it possible to control the asymptotic contributions of dihedral non-crossing pair partitions for the Cartan classes DIII and CI, thus obtaining explicit CLTs for these cases.


title: Coupling Load-Following Control with OPF

abstract: In this paper, the optimal power flow (OPF) problem is augmented to account for the costs associated with the load-following control of a power network. Load-following control costs are expressed through the linear quadratic regulator (LQR). The power network is described by a set of nonlinear differential algebraic equations (DAEs). By linearizing the DAEs around a known equilibrium, a linearized OPF that accounts for steady-state operational constraints is formulated first. This linearized OPF is then augmented by a set of linear matrix inequalities that are algebraically equivalent to the implementation of an LQR controller. The resulting formulation, termed LQR-OPF, is a semidefinite program which furnishes optimal steady-state setpoints and an optimal feedback law to steer the system to the new steady state with minimum load-following control costs. Numerical tests demonstrate that the setpoints computed by LQR-OPF result in lower overall costs and frequency deviations compared to the setpoints of a scheme where OPF and load-following control are considered separately.


title: Magnetized color superconducting quark matter under compact star conditions: Phase structure within the SU(2)f NJL model

abstract: The properties of magnetized color superconducting cold dense quark matter under compact star conditions are investigated using a $SU(2)_f$ Nambu Jona-Lasinio (NJL)-type model in which the divergences are treated using a magnetic field independent regularization scheme in order to avoid unphysical oscillations. We study the phase diagram for several model parametrizations. The features of each phase are analyzed through the behavior of the chiral and superconducting condensates together with the different particle densities for increasing chemical potential or magnetic field. While confirming previous results derived for the zero magnetic field or isospin symmetric matter case, we show how the phases are modified in the presence of $\beta$-equilibrium as well as color and electric charge neutrality conditions.


title: Sampling Random Colorings of Sparse Random Graphs

abstract: We study the mixing properties of the single-site Markov chain known as the Glauber dynamics for sampling $k$-colorings of a sparse random graph $G(n,d/n)$ for constant $d$. The best known rapid mixing results for general graphs are in terms of the maximum degree $\Delta$ of the input graph $G$ and hold when $k>11\Delta/6$ for all $G$. Improved results hold when $k>\alpha\Delta$ for graphs with girth $\geq 5$ and $\Delta$ sufficiently large where $\alpha\approx 1.7632\ldots$ is the root of $\alpha=\exp(1/\alpha)$; further improvements on the constant $\alpha$ hold with stronger girth and maximum degree assumptions. For sparse random graphs the maximum degree is a function of $n$ and the goal is to obtain results in terms of the expected degree $d$. The following rapid mixing results for $G(n,d/n)$ hold with high probability over the choice of the random graph for sufficiently large constant~$d$. Mossel and Sly (2009) proved rapid mixing for constant $k$, and Efthymiou (2014) improved this to $k$ linear in~$d$. The condition was improved to $k>3d$ by Yin and Zhang (2016) using non-MCMC methods. Here we prove rapid mixing when $k>\alpha d$ where $\alpha\approx 1.7632\ldots$ is the same constant as above. Moreover we obtain $O(n^{3})$ mixing time of the Glauber dynamics, while in previous rapid mixing results the exponent was an increasing function in $d$. As in previous results for random graphs our proof analyzes an appropriately defined block dynamics to "hide" high-degree vertices. One new aspect in our improved approach is utilizing so-called local uniformity properties for the analysis of block dynamics. To analyze the "burn-in" phase we prove a concentration inequality for the number of disagreements propagating in large blocks.


title: Compact T-branes

abstract: We analyse global aspects of 7-brane backgrounds with a non-commuting profile for their worldvolume scalars, also known as T-branes. In particular, we consider configurations with no poles and globally well-defined over a compact K\"ahler surface. We find that such T-branes cannot be constructed on surfaces of positive or vanishing Ricci curvature. For the existing T-branes, we discuss their stability as we move in K\"ahler moduli space at large volume and provide examples of T-branes splitting into non-mutually-supersymmetric constituents as they cross a stability wall.


title: Limits of Polynomial-like Quadratic Rational Maps III: The Cantor Locus

abstract: The Cantor locus is the unique hyperbolic component, in the moduli space of quadratic rational maps ${\bf rat}_2$, consisting of maps with totally disconnected Julia sets. Whereas the Cantor locus is well understood, its boundary and dynamical relation to the boundary is not. In this paper we explore the boundary of the Cantor locus near parabolic boundary points. We do this by constructing a local parametrization, which fixes the dynamical positions of the critical values, relative to the parabolic basin of the quadratic polynomial $\mathrm{P}_{\omega_{p/q}}(z)=\omega_{p/q} z+z^2$, $\omega_{p/q}=e^{2\pi ip/q}$. We characterize which pairs, of dynamical positions and parabolic boundary points, give rise to bounded and unbounded sequences in ${\bf rat}_2$ respectively. Moreover, we show that this approach controls the dynamical postions of the critical values, for any limit point in the bounded case, and for any limit point of a rescaled sequence of $q$th iterates in the unbounded case.


title: Magneto-optical response enhanced by Mie resonances in nanoantennas

abstract: Control of light by an external magnetic field is one of the important methods for modulation of its intensity and polarisation. Magneto-optical effects at the nanoscale are usually observed in magnetophotonic crystals, nanostructured hybrid materials or magnetoplasmonic crystals. An indirect action of an external magnetic field (e.g. through the Faraday effect) is explained by the fact that natural materials exhibit negligible magnetism at optical frequencies. However, the concept of metamaterials overcome this limitation imposed by nature by designing artificial subwavelength meta-atoms that support a strong magnetic response, usually termed as optical magnetism, even when they are made of nonmagnetic materials. The fundamental question is what would be the effect of the interaction between an external magnetic field and an optically-induced magnetic response of metamaterial structures. Here we make the first step toward answering this fundamental question and demonstrate the multifold enhancement of the magneto-optical response of nanoantenna lattices due to the optical magnetism.


title: Condensates in rotating turbulent flows

abstract: Using a large number of numerical simulations we examine the steady state of rotating turbulent flows in triple periodic domains, varying the Rossby number $Ro$ (that measures the inverse rotation rate) and the Reynolds number $Re$ (that measures the strength of turbulence). The examined flows are sustained by either a helical or a non-helical Roberts force, that is invariant along the axis of rotation. The forcing acts at a wavenumber $k_f$ such that $k_fL=4$, where $2\pi L$ is the size of the domain. Different flow behaviours were obtained as the parameters are varied. Above a critical rotation rate the flow becomes quasi two dimensional and transfers energy to the largest scales of the system forming large coherent structures known as condensates. We examine the behaviour of these condensates and their scaling properties close and away from this critical rotation rate. Close to the the critical rotation rate the system transitions super-critically to the condensate state displaying a bimodal behaviour oscillating randomly between an incoherent-turbulent state and a condensate state. Away from the critical rotation rate, it is shown that two distinct mechanisms can saturate the growth of the large scale energy. The first mechanism is due to viscous forces and is similar to the saturation mechanism observed for the inverse cascade in two-dimensional flows. The second mechanism is independent of viscosity and relies on the breaking of the two-dimensionalization condition of the rotating flow. The two mechanisms predict different scaling with respect to the control parameters of the system (Rossby and Reynolds), which are tested with the present results of the numerical simulations. A phase space diagram in the $Re,Ro$ parameter plane is sketched.


title: A Reshetnyak-type lower semicontinuity result for linearised elasto-plasticity coupled with damage in $W^{1,n}$

abstract: In this paper we prove a lower semicontinuity result of Reshetnyak type for a class of functionals which appear in models for small-strain elasto-plasticity coupled with damage. To do so we characterise the limit of measures $\alpha_k\,\mathrm{E}u_k$ with respect to the weak convergence $\alpha_k\rightharpoonup \alpha$ in $W^{1,n}(\Omega)$ and the weak$^*$ convergence $u_k\stackrel{*}\rightharpoonup u$ in $BD(\Omega)$, $\mathrm{E}$ denoting the symmetrised gradient. A concentration compactness argument shows that the limit has the form $\alpha\,\mathrm{E}u+\eta$, with $\eta$ supported on an at most countable set.


title: Exotic Doubly Charmed Ds0*(2317)D and Ds1*(2460)D* Molecules

abstract: The $D_{s0}^*(2317) D$ and $D_{s1}^*(2460) D^*$ heavy meson systems can exchange a kaon that is emitted in S-wave owing to the opposite intrinsic parity of the $D_{s0}^*$($D_{s1}^*$) and $D$($D^*$) mesons. As a consequence of the mass difference of the $D_{s0}^*$($D_{s1}^*$) and $D$($D^*$) mesons, the range of the kaon exchange potential will be significantly longer than expected, corresponding to an effective mass of about $200\,{\rm MeV}$. The potential will be very strong: the strength of the interaction is proportional to $(m_{D_{s0}} - m_D)^2 / f_{\pi}^2$ and $(m_{D_{s1}} - m_{D^*})^2 / f_{\pi}^2$. This combination of range and strength almost guarantees the existence of $D_{s0}^*(2317) D$ and $D_{s1}^*(2460) D^*$ bound states with $J^P = 0^{-}$ and $J^P = 0^{-}, 2^{-}$ respectively. Concrete calculations indicate a binding energy of $5-15\,{\rm MeV}$ independently of $J^P$. The $D_{s0}^*(2317) D$ and $D_{s1}^*(2460) D^*$ molecules have manifestly exotic flavour quantum numbers: $C=2$, $S=1$ and $I=1/2$. We expect the existence of bottom counterparts composed of the $B B_{s0}$ and $B^* B_{s1}^*$ mesons, which will be more bound and have a richer spectrum that might include a shallow P-wave state and an excited S-wave state.


title: Quantum fluctuations of the current in a tunnel junction at optical frequencies

abstract: We have investigated the mechanism at the origin of the infra-red radiation emitted by a biased tunnel junction by detecting photons at frequencies $\nu<eV/h$. To address this regime, the bias voltage $V$ exceeds one volt and the potential profile of the tunnel barrier is driven far from its equilibrium state. As a consequence, the $I(V)$ characteristic of the junction is strongly nonlinear. At optical frequencies, the transport through the junction cannot be simply expressed in term of the dc current and the current fluctuations are no longer described by the fluctuation-dissipation relation. Taking into account the energy and voltage dependence of the transmission of the tunnel junction in a Landauer-B\"{u}ttiker scattering approach, we experimentally demonstrate that the photon emission results from the fluctuations of the current inside the tunneling barrier.


title: Source-Target Inference Models for Spatial Instruction Understanding

abstract: Models that can execute natural language instructions for situated robotic tasks such as assembly and navigation have several useful applications in homes, offices, and remote scenarios. We study the semantics of spatially-referred configuration and arrangement instructions, based on the challenging Bisk-2016 blank-labeled block dataset. This task involves finding a source block and moving it to the target position (mentioned via a reference block and offset), where the blocks have no names or colors and are just referred to via spatial location features. We present novel models for the subtasks of source block classification and target position regression, based on joint-loss language and spatial-world representation learning, as well as CNN-based and dual attention models to compute the alignment between the world blocks and the instruction phrases. For target position prediction, we compare two inference approaches: annealed sampling via policy gradient versus expectation inference via supervised regression. Our models achieve the new state-of-the-art on this task, with an improvement of 47% on source block accuracy and 22% on target position distance.


title: Proof of the Finite-Time Thermodynamic Uncertainty Relation for Steady-State Currents

abstract: The thermodynamic uncertainty relation offers a universal energetic constraint on the relative magnitude of current fluctuations in nonequilibrium steady states. However, it has only been derived for long observation times. Here, we prove a recently conjectured finite-time thermodynamic uncertainty relation for steady-state current fluctuations. Our proof is based on a quadratic bound to the large deviation rate function for currents in the limit of a large ensemble of many copies.


title: Solubility limit of methyl red and methylene blue in microemulsions and liquid crystals of water, sds and pentanol systems

abstract: Solubility of dyes in amphiphilic association structures of water, SDS and penthanol system (i.e. in the phases of microemulsions and liquid crystals) was attracted much interest due to its wide industrial and technological applications. This research was focused on understanding the solubility limitation of methyl red and methylene blue in microemulsion and liquid crystal phases. Experimental results showed that the highest solubility of methyl red was in LLC, followed by w/o microemulsion and o/w microemulsion, respectively, whereas the highest solubility of methylene blue was in w/o microemulsion, followed by o/w microemulsion and LLC, respectively. Hence, a chemical dynamics strongly played an important role in the solubility limitation of methyl red and methylene blue in microemulsions and liquid crystal phases.


title: The nature of the tensor order in Cd2Re2O7

abstract: The pyrochlore metal Cd2Re2O7 has been recently investigated by second-harmonic generation (SHG) reflectivity. In this paper, we develop a general formalism that allows for the identification of the relevant tensor components of the SHG from azimuthal scans. We demonstrate that the secondary order parameter identified by SHG at the structural phase transition is the x2-y2 component of the axial toroidal quadrupole. This differs from the 3z2-r2 symmetry of the atomic displacements associated with the I-4m2 crystal structure that was previously thought to be its origin. Within the same formalism, we suggest that the primary order parameter detected in the SHG experiment is the 3z2-r2 component of the magnetic quadrupole. We discuss the general mechanism driving the phase transition in our proposed framework, and suggest experiments, particularly resonant X-ray scattering ones, that could clarify this issue.


title: Multi-temperature mapping of dust structures throughout the Galactic Plane using the PPMAP tool with Herschel Hi-GAL data

abstract: We describe new Hi-GAL based maps of the entire Galactic Plane, obtained using continuum data in the wavelength range 70-500 $\mu$m. These maps are derived with the PPMAP procedure, and therefore represent a significant improvement over those obtained with standard analysis techniques. Specifically they have greatly improved resolution (12 arcsec) and, in addition to more accurate integrated column densities and mean dust temperatures, they give temperature-differential column densities, i.e., separate column density maps in twelve distinct dust temperature intervals, along with the corresponding uncertainty maps. The complete set of maps is available on-line. We briefly describe PPMAP and present some illustrative examples of the results. These include (a) multi-temperature maps of the Galactic HII region W5-E, (b) the temperature decomposition of molecular cloud column-density probability distribution functions, and (c) the global variation of mean dust temperature as a function of Galactocentric distance. Amongst our findings are: (i) a strong localised temperature gradient in W5-E in a direction orthogonal to that towards the ionising star, suggesting an alternative heating source and providing possible guidance for models of the formation of the bubble complex, and (ii) the overall radial profile of dust temperature in the Galaxy shows a monotonic decrease, broadly consistent both with models of the interstellar radiation field and with previous estimates at lower resolution. However, we also find a central temperature plateau within ~ 6 kpc of the Galactic centre, outside of which is a pronounced steepening of the radial profile. This behaviour may reflect the greater proportion of molecular (as opposed to atomic) gas in the central region of the Galaxy.


title: A proof of a conjecture by Haviv, Lyubashevsky and Regev on the second moment of a lattice Voronoi cell

abstract: In this short note we prove a sharp lower bound for the second moment of a lattice Voronoi cell in terms of the respective covering radius. This gives an affirmative answer to a conjecture by Haviv, Lyubashevsky and Regev. We also characterize those lattice Voronoi cells for which this lower bound is attained.


title: Multi-Commodity Multi-Facility Network Design

abstract: We consider multi-commodity network design models, where capacity can be added to the arcs of the network using multiples of facilities that may have different capacities. This class of mixed-integer optimization models appears frequently in telecommunication network capacity expansion problems, train scheduling with multiple locomotive options, supply chain, and service network design problems. Valid inequalities used as cutting planes in branch-and-bound algorithms have been instrumental in solving large-scale instances. We review the progress that has been done in polyhedral investigations in this area by emphasizing three fundamental techniques. These are the metric inequalities for projecting out continuous flow variables, mixed-integer rounding from appropriate base relaxations and shrinking the network to a small $k$-node graph. The basic inequalities derived from arc-set, cut-set and partition relaxations of the network are also extensively utilized with certain modifications in robust and survivable network design problems.


title: Computational complexity and 3-manifolds and zombies

abstract: We show the problem of counting homomorphisms from the fundamental group of a homology $3$-sphere $M$ to a finite, non-abelian simple group $G$ is #P-complete, in the case that $G$ is fixed and $M$ is the computational input. Similarly, deciding if there is a non-trivial homomorphism is NP-complete. In both reductions, we can guarantee that every non-trivial homomorphism is a surjection. As a corollary, for any fixed integer $m \ge 5$, it is NP-complete to decide whether $M$ admits a connected $m$-sheeted covering. Our construction is inspired by universality results in topological quantum computation. Given a classical reversible circuit $C$, we construct $M$ so that evaluations of $C$ with certain initialization and finalization conditions correspond to homomorphisms $\pi_1(M) \to G$. An intermediate state of $C$ likewise corresponds to a homomorphism $\pi_1(\Sigma_g) \to G$, where $\Sigma_g$ is a pointed Heegaard surface of $M$ of genus $g$. We analyze the action on these homomorphisms by the pointed mapping class group $\text{MCG}_*(\Sigma_g)$ and its Torelli subgroup $\text{Tor}_*(\Sigma_g)$. By results of Dunfield-Thurston, the action of $\text{MCG}_*(\Sigma_g)$ is as large as possible when $g$ is sufficiently large; we can pass to the Torelli group using the congruence subgroup property of $\text{Sp}(2g,\mathbb{Z})$. Our results can be interpreted as a sharp classical universality property of an associated combinatorial $(2+1)$-dimensional TQFT.


title: Collective excitability in a mesoscopic neuronal model of epileptic activity

abstract: The brain can be understood as a collection of interacting neuronal oscillators, but the extent to which its sustained activity is due to coupling among brain areas is still unclear. Here we study the joint dynamics of two cortical columns described by Jansen-Rit neural mass models, and show that coupling between the columns gives rise to stochastic initiations of sustained collective activity, which can be interpreted as epileptic events. For large enough coupling strengths, termination of these events results mainly from the emergence of synchronization between the columns, and thus is controlled by coupling instead of noise. Stochastic triggering and noise-independent durations are characteristic of excitable dynamics, and thus we interpret our results in terms of collective excitability.


title: The irreducible representations of 3-dimensional Sklyanin algebras

abstract: In this article a complete description is given of the simple representations of a 3-dimensional Sklyanin algebra associated to a torsion point. In order to determine these irreducible representations, a review is given of classical results regarding representation theory of graded rings with excellent homological and algebraic properties.


title: Azumaya toposes

abstract: In arXiv:1606.07885, many different Grothendieck topologies were introduced on the category of Azumaya algebras. Here we give a classification in terms of sets of supernatural numbers. Then we discuss the associated categories of sheaves and their topos-theoretic points, which are related to UHF-algebras. The sheaf toposes that correspond to a single supernatural number have an alternative description, involving actions of the associated projective general linear group.


title: Deep Gaussian Embedding of Graphs: Unsupervised Inductive Learning via Ranking

abstract: Methods that learn representations of nodes in a graph play a critical role in network analysis since they enable many downstream learning tasks. We propose Graph2Gauss - an approach that can efficiently learn versatile node embeddings on large scale (attributed) graphs that show strong performance on tasks such as link prediction and node classification. Unlike most approaches that represent nodes as point vectors in a low-dimensional continuous space, we embed each node as a Gaussian distribution, allowing us to capture uncertainty about the representation. Furthermore, we propose an unsupervised method that handles inductive learning scenarios and is applicable to different types of graphs: plain/attributed, directed/undirected. By leveraging both the network structure and the associated node attributes, we are able to generalize to unseen nodes without additional training. To learn the embeddings we adopt a personalized ranking formulation w.r.t. the node distances that exploits the natural ordering of the nodes imposed by the network structure. Experiments on real world networks demonstrate the high performance of our approach, outperforming state-of-the-art network embedding methods on several different tasks. Additionally, we demonstrate the benefits of modeling uncertainty - by analyzing it we can estimate neighborhood diversity and detect the intrinsic latent dimensionality of a graph.


title: Robust Visual Tracking via Hierarchical Convolutional Features

abstract: In this paper, we propose to exploit the rich hierarchical features of deep convolutional neural networks to improve the accuracy and robustness of visual tracking. Deep neural networks trained on object recognition datasets consist of multiple convolutional layers. These layers encode target appearance with different levels of abstraction. For example, the outputs of the last convolutional layers encode the semantic information of targets and such representations are invariant to significant appearance variations. However, their spatial resolutions are too coarse to precisely localize the target. In contrast, features from earlier convolutional layers provide more precise localization but are less invariant to appearance changes. We interpret the hierarchical features of convolutional layers as a nonlinear counterpart of an image pyramid representation and explicitly exploit these multiple levels of abstraction to represent target objects. Specifically, we learn adaptive correlation filters on the outputs from each convolutional layer to encode the target appearance. We infer the maximum response of each layer to locate targets in a coarse-to-fine manner. To further handle the issues with scale estimation and re-detecting target objects from tracking failures caused by heavy occlusion or out-of-the-view movement, we conservatively learn another correlation filter, that maintains a long-term memory of target appearance, as a discriminative classifier. We apply the classifier to two types of object proposals: (1) proposals with a small step size and tightly around the estimated location for scale estimation; and (2) proposals with large step size and across the whole image for target re-detection. Extensive experimental results on large-scale benchmark datasets show that the proposed algorithm performs favorably against state-of-the-art tracking methods.


title: Non-Relativistic Phase Shifts via Laplace Transform Approach

abstract: The Laplace transform approach with convolution theorem is used to find the scattering phase shifts of a Mie-type potential. The normalized scattering wave functions are also studied. The bound state spectrum and the corresponding normalized wave functions are obtained with the help of the analytical properties of the scattering amplitude.


title: Diode-pumped mode-locked femtosecond 2-um Tm:CaYAlO4 laser

abstract: Continuous-wave mode-locked femtosecond 2 um solid-state laser with a c-cut Tm:CaYAlO4 as gain medium was experimentally demonstrated. The mode locked laser generated stable pulses with average output power as high as 531 mW, pulse duration of 496 fs, and repetition rate of 97 MHz at 1975 nm. The research results show that Tm:CaYAlO4 is an excellent gain medium for femtosecond pulse generation at 2um wavelength.


title: A Critique of a Critique of Word Similarity Datasets: Sanity Check or Unnecessary Confusion?

abstract: Critical evaluation of word similarity datasets is very important for computational lexical semantics. This short report concerns the sanity check proposed in Batchkarov et al. (2016) to evaluate several popular datasets such as MC, RG and MEN -- the first two reportedly failed. I argue that this test is unstable, offers no added insight, and needs major revision in order to fulfill its purported goal.


title: Pretest and Stein-Type Estimations in Quantile Regression Model

abstract: In this study, we consider preliminary test and shrinkage estimation strategies for quantile regression models. In classical Least Squares Estimation (LSE) method, the relationship between the explanatory and explained variables in the coordinate plane is estimated with a mean regression line. In order to use LSE, there are three main assumptions on the error terms showing white noise process of the regression model, also known as Gauss-Markov Assumptions, must be met: (1) The error terms have zero mean, (2) The variance of the error terms is constant and (3) The covariance between the errors is zero i.e., there is no autocorrelation. However, data in many areas, including econometrics, survival analysis and ecology, etc. does not provide these assumptions. First introduced by Koenker, quantile regression has been used to complement this deficiency of classical regression analysis and to improve the least square estimation. The aim of this study is to improve the performance of quantile regression estimators by using pre-test and shrinkage strategies. A Monte Carlo simulation study including a comparison with quantile $L_1$--type estimators such as Lasso, Ridge and Elastic Net are designed to evaluate the performances of the estimators. Two real data examples are given for illustrative purposes. Finally, we obtain the asymptotic results of suggested estimators


title: Process Monitoring on Sequences of System Call Count Vectors

abstract: We introduce a methodology for efficient monitoring of processes running on hosts in a corporate network. The methodology is based on collecting streams of system calls produced by all or selected processes on the hosts, and sending them over the network to a monitoring server, where machine learning algorithms are used to identify changes in process behavior due to malicious activity, hardware failures, or software errors. The methodology uses a sequence of system call count vectors as the data format which can handle large and varying volumes of data. Unlike previous approaches, the methodology introduced in this paper is suitable for distributed collection and processing of data in large corporate networks. We evaluate the methodology both in a laboratory setting on a real-life setup and provide statistics characterizing performance and accuracy of the methodology.