title: Higher dimensional Steinhaus and Slater problems via homogeneous dynamics

abstract: The three gap theorem, also known as the Steinhaus conjecture or three distance theorem, states that the gaps in the fractional parts of $\alpha,2\alpha,\ldots, N\alpha$ take at most three distinct values. Motivated by a question of Erd\H{o}s, Geelen and Simpson, we explore a higher-dimensional variant, which asks for the number of gaps between the fractional parts of a linear form. Using the ergodic properties of the diagonal action on the space of lattices, we prove that for almost all parameter values the number of distinct gaps in the higher dimensional problem is unbounded. Our results in particular improve earlier work by Boshernitzan, Dyson and Bleher et al. We furthermore discuss a close link with the Littlewood conjecture in multiplicative Diophantine approximation. Finally, we also demonstrate how our methods can be adapted to obtain similar results for gaps between return times of translations to shrinking regions on higher dimensional tori.


title: Is writing style predictive of scientific fraud?

abstract: The problem of detecting scientific fraud using machine learning was recently introduced, with initial, positive results from a model taking into account various general indicators. The results seem to suggest that writing style is predictive of scientific fraud. We revisit these initial experiments, and show that the leave-one-out testing procedure they used likely leads to a slight over-estimate of the predictability, but also that simple models can outperform their proposed model by some margin. We go on to explore more abstract linguistic features, such as linguistic complexity and discourse structure, only to obtain negative results. Upon analyzing our models, we do see some interesting patterns, though: Scientific fraud, for examples, contains less comparison, as well as different types of hedging and ways of presenting logical reasoning.


title: Dependence of halo bias on mass and environment

abstract: The simplest analyses of halo bias assume that halo mass alone determines halo clustering. However, if the large scale environment is fixed, then halo clustering is almost entirely determined by environment, and is almost completely independent of halo mass. We show why. Our analysis is useful for studies which use the environmental dependence of clustering to constrain cosmological and galaxy formation models. It also shows why many correlations between galaxy properties and environment are merely consequences of the underlying correlations between halos and their environments, and provides a framework for quantifying such inherited correlations.


title: A Polynomial Time Match Test for Large Classes of Extended Regular Expressions

abstract: In the present paper, we study the match test for extended regular expressions. We approach this NP-complete problem by introducing a novel variant of two-way multihead automata, which reveals that the complexity of the match test is determined by a hidden combinatorial property of extended regular expressions, and it shows that a restriction of the corresponding parameter leads to rich classes with a polynomial time match test. For presentational reasons, we use the concept of pattern languages in order to specify extended regular expressions. While this decision, formally, slightly narrows the scope of our results, an extension of our concepts and results to more general notions of extended regular expressions is straightforward.


title: Magnetic adatoms in two and four terminal graphene nanoribbons: A comparison between their spin polarized transport

abstract: We study the charge and spin transport in two and four terminal graphene nanoribbons (GNR) decorated with random distribution of magnetic adatoms. The inclusion of the magnetic adatoms generates only the $z$-component of the spin polarized conductance via an exchange bias in the absence of Rashba spin-orbit interaction (SOI), while in presence of Rashba SOI, one is able to create all the three ($x$, $y$ and $z$) components. This has important consequences for possible spintronic applications. The charge conductance shows interesting behaviour near the zero of the Fermi energy. Where in presence of magnetic adatoms the familiar plateau at $2e^2/h$ vanishes, thereby transforming a quantum spin Hall insulating phase to an ordinary insulator. The local charge current and the local spin current provide an intuitive idea on the conductance features of the system. We found that, the local charge current is independent of Rashba SOI, while the three components of the local spin currents are sensitive to Rashba SOI. Moreover the fluctuations of the spin polarized conductance are found to be useful quantities as they show specific trends, that is, they enhance with increasing adatom densities. A two terminal GNR device seems to be better suited for possible spintronic applications.


title: Rydberg Aggregates

abstract: We review Rydberg aggregates, assemblies of a few Rydberg atoms exhibiting energy transport through collective eigenstates, considering isolated atoms or assemblies embedded within clouds of cold ground-state atoms. We classify Rydberg aggregates, and provide an overview of their possible applications as quantum simulators for phenomena from chemical or biological physics. Our main focus is on flexible Rydberg aggregates, in which atomic motion is an essential feature. In these, simultaneous control over Rydberg-Rydberg interactions, external trapping and electronic energies, allows Born-Oppenheimer surfaces for the motion of the entire aggregate to be taylored as desired. This is illustrated with theory proposals towards the demonstration of joint motion and excitation transport, conical intersections and non-adiabatic effects. Additional flexibility for quantum simulations is enabled by the use of dressed dipole-dipole interactions or the embedding of the aggregate in a cold gas or BEC environment. Finally we provide some guidance regarding the parameter regimes that are most suitable for the realization of either static or flexible Rydberg aggregates based on Li or Rb atoms. The current status of experimental progress towards enabling Rydberg aggregates is also reviewed.


title: Efficient spin-current injection in single-molecule magnet junctions

abstract: We study theoretically spin transport through a single-molecule magnet (SMM) in the sequential and cotunneling regimes, where the SMM is weakly coupled to one ferromagnetic and one normalmetallic leads. By a master-equation approach, it is found that the spin polarization injected from the ferromagnetic lead is amplified and highly polarized spin-current can be generated, due to the exchange coupling between the transport electron and the anisotropic spin of the SMM. Moreover, the spin-current polarization can be tuned by the gate or bias voltage, and thus an efficient spin injection device based on the SMM is proposed in molecular spintronics.


title: Reentrant phase transitions and triple points of topological AdS black holes in Born-Infeld-massive gravity

abstract: Motivated by recent developments of black hole thermodynamics in de Rham, Gabadadze and Tolley(dRGT) massive gravity, we study the critical behaviors of four-dimensional topological Anti-de Sitter(AdS) black holes in the presence of Born-Infeld nonlinear electrodynamics by treating the cosmological constant as pressure and the corresponding conjugate quantity is interpreted as thermodynamic volume. It shows that besides the Van der Waals-like SBH/LBH phase transitions appears, the so-called reentrant phase transitions (RPTs) are also observed when the coupling coefficients $c_i m^2$ of massive potential and Born-Infeld parameter $b$ satisfy some certain conditions.


title: Measuring Polarized Emission in Clusters in the CMB S4 Era

abstract: The next generation of CMB experiments (CMB Stage-4) will produce a Sunyaev-Zel'dovich (SZ) cluster catalog containing $\sim10^{5}$ objects, two orders of magnitudes more than currently available. In this paper, we discuss the detectability of the polarized signal generated by scattering of the CMB quadrupole on the cluster electron gas using this catalog. We discuss the possibility of using this signal to measure the relationship between cluster optical depth and mass. We find that the area of observation of S4 maximizes the signal-to-noise (S/N) on the polarized signal but that this S/N is extremely small for an individual cluster, of order 0.5% for a typical cluster in our catalog, the main source of noise being the residual primordial E-mode signal. However, we find that the signal could be detected using the full cluster catalog and that the significance of the result will increase linearly with the size of the CMB S4 telescope mirror.


title: Genuinely entangled symmetric states with no $N$-partite correlations

abstract: We investigate genuinely entangled $N$-qubit states with no $N$-partite correlations in the case of symmetric states. Using a tensor representation for mixed symmetric states, we obtain a simple characterization of the absence of $N$-partite correlations. We show that symmetric states with no $N$-partite correlations cannot exist for an even number of qubits. We fully identify the set of genuinely entangled symmetric states with no $N$-partite correlations in the case of three qubits, and in the case of rank-2 states. We present a general procedure to construct families for an arbitrary odd number of qubits.


title: Universal finestructure eraser for quantum dots

abstract: The measurable degree of entanglement from a quantum dot via the biexciton-exciton cascade depends crucially on the bright exciton fine-structure splitting and on the detection time resolution. Here, we propose an optical approach with fast rotating waveplates to erase this fine-structure splitting and therefore obtain a high degree of entanglement with near-unity efficiency. Our optical approach is possible with current technology and is also compatible with any quantum dot showing fine-structure splitting.


title: KiDS-i-800: Comparing weak gravitational lensing measurements in same-sky surveys

abstract: We present a weak gravitational lensing analysis of 815 square degree of $i$-band imaging from the Kilo-Degree Survey (KiDS-$i$-800). In contrast to the deep $r$-band observations, which take priority during excellent seeing conditions and form the primary KiDS dataset (KiDS-$r$-450), the complementary yet shallower KiDS-$i$-800 spans a wide range of observing conditions. The overlapping KiDS-$i$-800 and KiDS-$r$-450 imaging therefore provides a unique opportunity to assess the robustness of weak lensing measurements. In our analysis, we introduce two new `null' tests. The `nulled' two-point shear correlation function uses a matched catalogue to show that the calibrated KiDS-$i$-800 and KiDS-$r$-450 shear measurements agree at the level of $1 \pm 4$\%. We use five galaxy lens samples to determine a `nulled' galaxy-galaxy lensing signal from the full KiDS-$i$-800 and KiDS-$r$-450 surveys and find that the measurements agree to $7 \pm 5$\% when the KiDS-$i$-800 source redshift distribution is calibrated using either spectroscopic redshifts, or the 30-band photometric redshifts from the COSMOS survey.


title: Armstrong's Axioms and Navigation Strategies

abstract: The paper investigates navigability with imperfect information. It shows that the properties of navigability with perfect recall are exactly those captured by Armstrong's axioms from the database theory. If the assumption of perfect recall is omitted, then Armstrong's transitivity axiom is not valid, but it can be replaced by two new weaker principles. The main technical results are soundness and completeness theorems for the logical systems describing properties of navigability with and without perfect recall.


title: Spin-orbit coupling and nonlinear modes of the polariton condensate in a harmonic trap

abstract: We consider a model of the exciton-polariton condensate based on a system of two Gross-Pitaevskii equations coupled by the second-order differential operator, which represents the spin-orbit coupling (SOC) in the system. Also included are the linear gain, effective diffusion, nonlinear loss, and the standard harmonic-oscillator trapping potential, as well as the Zeeman splitting. By means of combined analytical and numerical methods, we identify stable two-dimensional modes supported by the nonlinear system. In the absence of the Zeeman splitting, these are mixed modes, which combine zero and nonzero vorticities in each of the two spinor components, and vortex-antivortex complexes. We have also found a range of parameters where the mixed-mode and vortex-antivortex states coexist and are simultaneously stable. Sufficiently strong Zeeman splitting creates stable semi-vortex states, with vorticities 0 in one component and 2 in the other.


title: Do Convolutional Networks need to be Deep for Text Classification ?

abstract: We study in this work the importance of depth in convolutional models for text classification, either when character or word inputs are considered. We show on 5 standard text classification and sentiment analysis tasks that deep models indeed give better performances than shallow networks when the text input is represented as a sequence of characters. However, a simple shallow-and-wide network outperforms deep models such as DenseNet with word inputs. Our shallow word model further establishes new state-of-the-art performances on two datasets: Yelp Binary (95.9\%) and Yelp Full (64.9\%).


title: Constraining Polarized Foregrounds for EOR Experiments II: Polarization Leakage Simulations in the Avoidance Scheme

abstract: A critical challenge in the observation of the redshifted 21-cm line is its separation from bright Galactic and extragalactic foregrounds. In particular, the instrumental leakage of polarized foregrounds, which undergo significant Faraday rotation as they propagate through the interstellar medium, may harmfully contaminate the 21-cm power spectrum. We develop a formalism to describe the leakage due to instrumental widefield effects in visibility-based power spectra measured with redundant arrays, extending the delay-spectrum approach presented in Parsons et al. (2012). We construct polarized sky models and propagate them through the instrument model to simulate realistic full-sky observations with the Precision Array to Probe the Epoch of Reionization. We find that the leakage due to a population of polarized point sources is expected to be higher than diffuse Galactic polarization at any $k$ mode for a 30~m reference baseline. For the same reference baseline, a foreground-free window at $k > 0.3 \, h$~Mpc$^{-1}$ can be defined in terms of leakage from diffuse Galactic polarization even under the most pessimistic assumptions. If measurements of polarized foreground power spectra or a model of polarized foregrounds are given, our method is able to predict the polarization leakage in actual 21-cm observations, potentially enabling its statistical subtraction from the measured 21-cm power spectrum.


title: Dust Growth and Magnetic Fields: from Cores to Disks (even down to Planets)

abstract: The recent rapid progress in observations of circumstellar disks and extrasolar planets has reinforced the importance of understanding an intimate coupling between star and planet formation. Under such a circumstance, it may be invaluable to attempt to specify when and how planet formation begins in star-forming regions and to identify what physical processes/quantities are the most significant to make a link between star and planet formation. To this end, we have recently developed a couple of projects. These include an observational project about dust growth in Class 0 YSOs and a theoretical modeling project of the HL Tauri disk. For the first project, we utilize the archive data of radio interferometric observations, and examine whether dust growth, a first step of planet formation, occurs in Class 0 YSOs. We find that while our observational results can be reproduced by the presence of large ($\sim$ mm) dust grains for some of YSOs under the single-component modified blackbody formalism, an interpretation of no dust growth would be possible when a more detailed model is used. For the second project, we consider an origin of the disk configuration around HL Tauri, focusing on magnetic fields. We find that magnetically induced disk winds may play an important role in the HL Tauri disk. The combination of these attempts may enable us to move towards a comprehensive understanding of how star and planet formation are intimately coupled with each other.


title: Line tension and wettability of nanodrops on curved surfaces

abstract: In this paper we study the formation of nanodrops on curved surfaces (both convex and concave) by means of molecular dynamics simulations, where the particles interact via a Lennard-Jones potential. We find that the contact angle is not affected by the curvature of the substrate, in agreement with previous experimental findings. This means that the change in curvature of the drop in response to the change in curvature of the substrate can be predicted from simple geometrical considerations, under the assumption that the drop's shape is a spherical cap, and that the volume remains unchanged through the curvature. The resulting prediction is in perfect agreement with the simulation results, for both convex and concave substrates. In addition, we calculate the line tension, namely by fitting the contact angle for different size drops to the modified Young equation. We find that the line tension for concave surfaces is larger than for convex surfaces, while for zero curvature it has a clear maximum. This feature is found to be correlated with the number of particles in the first layer of the liquid on the surface.


title: Small Sample Inference for the Common Coefficient of Variation

abstract: This paper utilizes the modified signed log-likelihood ratio method for the problem of inference about the common coefficient of variation in several independent normal populations. This method is applicable for both the problem of hypothesis testing and constructing a confidence interval for this parameter. Simulation studies show that the coverage probability of this proposed approach is close to the confidence coefficient. Also, its expected length is smaller than expected lengths of other competing approaches. In fact, the proposed approach is very satisfactory regardless of the number of populations and the different values of the common coefficient of variation even for very small sample size. Finally, we illustrate the proposed method using two real data sets.


title: A sharp Bernstein-type theorem for entire minimal graphs

abstract: We consider entire solutions $u$ to the minimal surface equation in $R^N$, with $ N\ge8,$ and we prove the following sharp result : if $N-7$ partial derivatives $ \frac{\partial u }{\partial {x_j}}$ are bounded on one side (not necessarily the same), then $u$ is necessarily an affine function.


title: Inferring the parameters of a Markov process from snapshots of the steady state

abstract: We seek to infer the parameters of an ergodic Markov process from samples taken independently from the steady state. Our focus is on non-equilibrium processes, where the steady state is not described by the Boltzmann measure, but is generally unknown and hard to compute, which prevents the application of established equilibrium inference methods. We propose a quantity we call propagator likelihood, which takes on the role of the likelihood in equilibrium processes. This propagator likelihood is based on fictitious transitions between those configurations of the system which occur in the samples. The propagator likelihood can be derived by minimising the relative entropy between the empirical distribution and a distribution generated by propagating the empirical distribution forward in time. Maximising the propagator likelihood leads to an efficient reconstruction of the parameters of the underlying model in different systems, both with discrete configurations and with continuous configurations. We apply the method to non-equilibrium models from statistical physics and theoretical biology, including the asymmetric simple exclusion process (ASEP), the kinetic Ising model, and replicator dynamics.

categories: cond-mat.stat-mech cond-mat.dis-nn math.PR physics.data-an stat.ML


title: Multi-wavelength Observations of the 2015 Nova in the Local Group Irregular Dwarf Galaxy IC 1613

abstract: A nova in the Local Group irregular dwarf galaxy IC 1613 was discovered on 2015 September 10 and is the first nova in that galaxy to be spectroscopically confirmed. We conducted a detailed multi-wavelength observing campaign of the eruption with the Liverpool Telescope, the LCO 2m telescope at Siding Spring Observatory, and Swift, the results of which we present here. The nova peaked at $M_V=-7.93\pm0.08$ and was fast-fading, with decline times of $t_{2(V)}=13\pm2$ and $t_{3(V)}=26\pm2$ days. The overall light curve decline was relatively smooth, as often seen in fast-fading novae. Swift observations spanned 40 days to 332 days post-discovery, but no X-ray source was detected. Optical spectra show the nova to be a member of the hybrid spectroscopic class, simultaneously showing Fe II and N II lines of similar strength during the early decline phase. The spectra cover the eruption from the early optically thick phase, through the early decline and into the nebular phase. The H$\gamma$ absorption minimum from the optically thick spectrum indicates an expansion velocity of $1200\pm200$ km s$^{-1}$. The FWHM of the H$\alpha$ emission line between 10.54 and 57.51 days post-discovery shows no significant evolution and remains at $\sim1750$ km s$^{-1}$, although the morphology of this line does show some evolution. The nova appears close to a faint stellar source in archival imaging, however we find the most likely explanation for this is simply a chance alignment.


title: On cosmology of interacting varying polytropic dark fluids

abstract: In this paper a possibility of the accelerated expansion of the large scale universe with a varying polytropic fluid of a certain type is presented. About a special role of non-gravitational interactions between dark energy and dark matter, in particular, about a possibility of improvement and solution of problems arising in modern cosmology, has been discussed for a long time. This motivates us to consider new models, where non-gravitational interactions between varying polytropic fluid and cold dark matter are allowed. Mainly non-linear interactions of a specific type is considered, found in recent literature. In order to understand the behavior of suggested cosmological models, besides cosmographic analysis, $Om$ analysis is applied. Moreover, with different datasets, including a strong gravitational lensing dataset, the observational constraints on the model parameters are obtained using $\chi^{2}$ analysis.


title: Anomalous Nernst effect in type-II Weyl semimetals

abstract: Topological Weyl semimetals (WSM), a new state of quantum matter with gapless nodal bulk spectrum and open Fermi arc surface states, have recently sparked enormous interest in condensed matter physics. Based on the symmetry and fermiology, it has been proposed that WSMs can be broadly classified into two types, type-I and type-II Weyl semimetals. While the undoped, conventional, type-I WSMs have point like Fermi surface and vanishing density of states (DOS) at the Fermi energy, the type-II Weyl semimetals break Lorentz symmetry explicitly and have tilted conical spectra with electron and hole pockets producing finite DOS at the Fermi level. The tilted conical spectrum and finite DOS at Fermi level in type-II WSMs have recently been shown to produce interesting effects such as a chiral anomaly induced longitudinal magnetoresistance that is strongly anisotropic in direction and a novel anomalous Hall effect. In this work, we consider the anomalous Nernst effect in type-II WSMs in the absence of an external magnetic field using the framework of semi-classical Boltzmann theory. Based on both a linearized model of time-reversal breaking WSM with a higher energy cut-off and a more realistic lattice model, we show that the anomalous Nernst response in these systems is strongly anisotropic in space, and can serve as a reliable signature of type-II Weyl semimetals in a host of magnetic systems with spontaneously broken time reversal symmetry.


title: Value distribution for the Gauss maps of various classes of surfaces

abstract: We present in this article a survey of recent results in value distribution theory for the Gauss maps of several classes of immersed surfaces in space forms, for example, minimal surfaces in Euclidean $n$-space ($n$=3 or 4), improper affine spheres in the affine 3-space and flat surfaces in hyperbolic 3-space. In particular, we elucidate the geometric background of their results.


title: Critical nucleation length for accelerating frictional slip

abstract: The spontaneous nucleation of accelerating slip along slowly driven frictional interfaces is central to a broad range of geophysical, physical and engineering systems, with particularly far-reaching implications for earthquake physics. A common approach to this problem associates nucleation with an instability of an expanding creep patch upon surpassing a critical length $L_c$. The critical nucleation length $L_c$ is conventionally obtained from a spring-block linear stability analysis extended to interfaces separating elastically-deformable bodies using model-dependent fracture mechanics estimates. We propose an alternative approach in which the critical nucleation length is obtained from a related linear stability analysis of homogeneous sliding along interfaces separating elastically-deformable bodies. For elastically identical half-spaces and rate-and-state friction, the two approaches are shown to yield $L_c$ that features the same scaling structure, but with substantially different numerical pre-factors, resulting in a significantly larger $L_c$ in our approach. The proposed approach is also shown to be naturally applicable to finite-size systems and bimaterial interfaces, for which various analytic results are derived. To quantitatively test the proposed approach, we performed inertial Finite-Element-Method calculations for a finite-size two-dimensional elastically-deformable body in rate-and-state frictional contact with a rigid body under sideway loading. We show that the theoretically predicted $L_c$ and its finite-size dependence are in reasonably good quantitative agreement with the full numerical solutions, lending support to the proposed approach. These results offer a theoretical framework for predicting rapid slip nucleation along frictional interfaces.


title: Simulating polaron biophysics with Rydberg atoms

abstract: Transport of excitations along proteins can be formulated in a quantum physics context, based on the periodicity and vibrational modes of the structures. Exact solutions are very challenging to obtain on classical computers, however, approximate solutions based on the Davydov ansatz have demonstrated the possibility of stabilized solitonic excitations along the protein. We propose an alternative study based on a chain of ultracold atoms. We investigate the experimental parameters to control such a quantum simulator based on dressed Rydberg atoms. We show that there is a feasible range of parameters where a quantum simulator can directly mimic the Davydov equations and their solutions. Such a quantum simulator opens up new directions for the study of transport phenomena in a biophysical context.


title: Coincidence charged-current neutrino-induced deuteron disintegration for $^2\mathrm{H}_2{^{16}}\mathrm{O}$

abstract: Semi-inclusive charge-changing neutrino reactions on targets of heavy water are investigated with the goal of determining the relative contributions to the total cross section of deuterium and oxygen in kinematics chosen to emphasize the former. The study is undertaken for conditions where the typical neutrino beam energies are in the few GeV region, and hence relativistic modeling is essential. For this, the previous relativistic approach for the deuteron is employed, together with a spectral function approach for the case of oxygen. Upon optimizing the kinematics of the final-state particles assumed to be detected (typically a muon and a proton) it is shown that the oxygen contribution to the total cross section is suppressed by roughly an order of magnitude compared with the deuterium cross section, thereby confirming that CC$\nu$ studies of heavy water can effectively yield the cross sections for deuterium, with acceptable backgrounds from oxygen. This opens the possibility of using deuterium to determine the incident neutrino flux distribution, to have it serve as a target for which the nuclear structure issues are minimal, and possibly to use deuterium to provide improved knowledge of specific aspects of hadronic structure, such as to explore the momentum transfer dependence of the isovector axial-vector form factor of the nucleon.


title: SEA-PARAM: Exploring Schedulers in Parametric MDPs

abstract: We study parametric Markov decision processes (PMDPs) and their reachability probabilities "independent" of the parameters. Different to existing work on parameter synthesis (implemented in the tools PARAM and PRISM), our main focus is on describing different types of optimal deterministic memoryless schedulers for the whole parameter range. We implement a simple prototype tool SEA-PARAM that computes these optimal schedulers and show experimental results.


title: A cavity-induced artificial gauge field in a Bose-Hubbard ladder

abstract: We consider theoretically ultracold interacting bosonic atoms confined to quasi-one-dimensional ladder structures formed by optical lattices and coupled to the field of an optical cavity. The atoms can collect a spatial phase imprint during a cavity-assisted tunneling along a rung via Raman transitions employing a cavity mode and a transverse running wave pump beam. By adiabatic elimination of the cavity field we obtain an effective Hamiltonian for the bosonic atoms, with a self-consistency condition. Using the numerical density matrix renormalization group method, we obtain a rich steady state diagram of self-organized steady states. Transitions between superfluid to Mott-insulating states occur, on top of which we can have Meissner, vortex liquid, and vortex lattice phases. Also a state that explicitly breaks the symmetry between the two legs of the ladder, namely the biased-ladder phase is dynamically stabilized.


title: Logical Characterization of Trace Metrics

abstract: In this paper we continue our research line on logical characterizations of behavioral metrics obtained from the definition of a metric over the set of logical properties of interest. This time we provide a characterization of both strong and weak trace metric on nondeterministic probabilistic processes, based on a minimal boolean logic L which we prove to be powerful enough to characterize strong and weak probabilistic trace equivalence. Moreover, we also prove that our characterization approach can be restated in terms of a more classic probabilistic L-model checking problem.


title: PAWS: A Tool for the Analysis of Weighted Systems

abstract: PAWS is a tool to analyse the behaviour of weighted automata and conditional transition systems. At its core PAWS is based on a generic implementation of algorithms for checking language equivalence in weighted automata and bisimulation in conditional transition systems. This architecture allows for the use of arbitrary user-defined semirings. New semirings can be generated during run-time and the user can rely on numerous automatisation techniques to create new semiring structures for PAWS' algorithms. Basic semirings such as distributive complete lattices and fields of fractions can be defined by specifying few parameters, more exotic semirings can be generated from other semirings or defined from scratch using a built-in semiring generator. In the most general case, users can define new semirings by programming (in C#) the base operations of the semiring and a procedure to solve linear equations and use their newly generated semiring in the analysis tools that PAWS offers.


title: Design and Optimisation of the FlyFast Front-end for Attribute-based Coordination

abstract: Collective Adaptive Systems (CAS) consist of a large number of interacting objects. The design of such systems requires scalable analysis tools and methods, which have necessarily to rely on some form of approximation of the system's actual behaviour. Promising techniques are those based on mean-field approximation. The FlyFast model-checker uses an on-the-fly algorithm for bounded PCTL model-checking of selected individual(s) in the context of very large populations whose global behaviour is approximated using deterministic limit mean-field techniques. Recently, a front-end for FlyFast has been proposed which provides a modelling language, PiFF in the sequel, for the Predicate-based Interaction for FlyFast. In this paper we present details of PiFF design and an approach to state-space reduction based on probabilistic bisimulation for inhomogeneous DTMCs.


title: Bridging Static and Dynamic Program Analysis using Fuzzy Logic

abstract: Static program analysis is used to summarize properties over all dynamic executions. In a unifying approach based on 3-valued logic properties are either assigned a definite value or unknown. But in summarizing a set of executions, a property is more accurately represented as being biased towards true, or towards false. Compilers use program analysis to determine benefit of an optimization. Since benefit (e.g., performance) is justified based on the common case understanding bias is essential in guiding the compiler. Furthermore, successful optimization also relies on understanding the quality of the information, i.e. the plausibility of the bias. If the quality of the static information is too low to form a decision we would like a mechanism that improves dynamically. We consider the problem of building such a reasoning framework and present the fuzzy data-flow analysis. Our approach generalize previous work that use 3-valued logic. We derive fuzzy extensions of data-flow analyses used by the lazy code motion optimization and unveil opportunities previous work would not detect due to limited expressiveness. Furthermore we show how the results of our analysis can be used in an adaptive classifier that improve as the application executes.


title: Untwisting the symmetries of $\beta$-deformed Super-Yang--Mills

abstract: We demonstrate that the planar real-$\beta$-deformed Super-Yang--Mills theory possesses an infinitely-dimensional Yangian symmetry algebra and thus is classically integrable. This is achieved by the introduction of the twisted coproduct which allows us to lift the apparent $\mathcal{N}=1$ supersymmetry first to the full $\mathcal{N}=4$ symmetry of the parent $\mathcal{N} = 4$ SYM theory, and subsequently to its Yangian.


title: A cortical sparse distributed coding model linking mini- and macrocolumn-scale functionality

abstract: No generic function for the minicolumn, i.e., one that would apply equally well to all cortical areas and species, has yet been proposed. I propose that the minicolumn does have a generic functionality, which only becomes clear when seen in the context of the function of the higher-level, subsuming unit, the macrocolumn. I propose that: a) a macrocolumn's function is to store sparse distributed representations of its inputs and to be a recognizer of those inputs; and b) the generic function of the minicolumn is to enforce macrocolumnar code sparseness. The minicolumn, defined here as a physically localized pool of ~20 L2/3 pyramidals, does this by acting as a winner-take-all (WTA) competitive module, implying that macrocolumnar codes consist of ~70 active L2/3 cells, assuming ~70 minicolumns per macrocolumn. I describe an algorithm for activating these codes during both learning and retrievals, which causes more similar inputs to map to more highly intersecting codes, a property which yields ultra-fast (immediate, first-shot) storage and retrieval. The algorithm achieves this by adding an amount of randomness (noise) into the code selection process, which is inversely proportional to an input's familiarity. I propose a possible mapping of the algorithm onto cortical circuitry, and adduce evidence for a neuromodulatory implementation of this familiarity-contingent noise mechanism. The model is distinguished from other recent columnar cortical circuit models in proposing a generic minicolumnar function in which a group of cells within the minicolumn, the L2/3 pyramidals, compete (WTA) to be part of the sparse distributed macrocolumnar code.


title: A martingale approach for the elephant random walk

abstract: The purpose of this paper is to establish, via a martingale approach, some refinements on the asymptotic behavior of the one-dimensional elephant random walk (ERW). The asymptotic behavior of the ERW mainly depends on a memory parameter $p$ which lies between zero and one. This behavior is totally different in the diffusive regime $0 \leq p <3/4$, the critical regime $p=3/4$, and the superdiffusive regime $3/4<p \leq 1$. Notwithstanding of this trichotomy, we provide some new results on the almost sure convergence and the asymptotic normality of the ERW.


title: Foolbox: A Python toolbox to benchmark the robustness of machine learning models

abstract: Even todays most advanced machine learning models are easily fooled by almost imperceptible perturbations of their inputs. Foolbox is a new Python package to generate such adversarial perturbations and to quantify and compare the robustness of machine learning models. It is build around the idea that the most comparable robustness measure is the minimum perturbation needed to craft an adversarial example. To this end, Foolbox provides reference implementations of most published adversarial attack methods alongside some new ones, all of which perform internal hyperparameter tuning to find the minimum adversarial perturbation. Additionally, Foolbox interfaces with most popular deep learning frameworks such as PyTorch, Keras, TensorFlow, Theano and MXNet and allows different adversarial criteria such as targeted misclassification and top-k misclassification as well as different distance measures. The code is licensed under the MIT license and is openly available at https://github.com/bethgelab/foolbox . The most up-to-date documentation can be found at http://foolbox.readthedocs.io .


title: The study on quantum material WTe2

abstract: WTe2 and its sister alloys have attracted tremendous attentions recent years due to the large non-saturating magnetoresistance and topological non-trivial properties. Herein, we briefly review the electrical property studies on this new quantum material.


title: Spatial Filtering for Reduced Order Modeling

abstract: Spatial filtering has been central in the development of large eddy simulation reduced order models (LES-ROMs) and regularized reduced order models (Reg-ROMs), In this paper, we perform a numerical investigation of spatial filtering. To this end, we consider one of the simplest Reg-ROMs, the Leray ROM (L-ROM), which uses ROM spatial filtering to smooth the flow variables and decreases the amount of energy aliased to the lower index ROM basis functions. We also propose a new form of ROM differential filter and use it as a spatial filter for the L-ROM. We investigate the performance of this new form of ROM differential filter in the numerical simulation of a flow past a circular cylinder at a Reynolds number $Re=760$.


title: Classifying document types to enhance search and recommendations in digital libraries

abstract: In this paper, we address the problem of classifying documents available from the global network of (open access) repositories according to their type. We show that the metadata provided by repositories enabling us to distinguish research papers, thesis and slides are missing in over 60% of cases. While these metadata describing document types are useful in a variety of scenarios ranging from research analytics to improving search and recommender (SR) systems, this problem has not yet been sufficiently addressed in the context of the repositories infrastructure. We have developed a new approach for classifying document types using supervised machine learning based exclusively on text specific features. We achieve 0.96 F1-score using the random forest and Adaboost classifiers, which are the best performing models on our data. By analysing the SR system logs of the CORE [1] digital library aggregator, we show that users are an order of magnitude more likely to click on research papers and thesis than on slides. This suggests that using document types as a feature for ranking/filtering SR results in digital libraries has the potential to improve user experience.


title: Heisenberg-Langevin vs. quantum master equation

abstract: The quantum master equation is an important tool in the study of quantum open systems. It is often derived under a set of approximations, chief among them the Born (factorization) and Markov (neglect of memory effects) approximations. In this article we study the paradigmatic model of quantum Brownian motion of an harmonic oscillator coupled to a bath of oscillators with a Drude-Ohmic spectral density. We obtain analytically the \emph{exact} solution of the Heisenberg-Langevin equations, with which we study correlation functions in the asymptotic stationary state. We compare the \emph{exact} correlation functions to those obtained in the asymptotic long time limit with the quantum master equation in the Born approximation \emph{with and without} the Markov approximation. In the latter case we implement a systematic derivative expansion that yields the \emph{exact} asymptotic limit under the factorization approximation \emph{only}. We find discrepancies that could be significant when the bandwidth of the bath $\Lambda$ is much larger than the typical scales of the system. We study the \emph{exact} interaction energy as a \emph{proxy} for the correlations missed by the Born approximation and find that its dependence on $\Lambda$ is similar to the \emph{discrepancy} between the exact solution and that of the quantum master equation in the Born approximation. We quantify the regime of validity of the quantum master equation in the Born approximation with or without the Markov approximation in terms of the system's relaxation rate $\gamma$, its \emph{unrenormalized} natural frequency $\Omega$ and $\Lambda$: $\gamma/\Omega \ll 1$ and \emph{also} $\gamma \Lambda/\Omega^2 \ll 1$. The reliability of the Born approximation is discussed within the context of recent experimental settings and more general environments.


title: Randomization-based Inference for Bernoulli-Trial Experiments and Implications for Observational Studies

abstract: We present a randomization-based inferential framework for experiments characterized by a strongly ignorable assignment mechanism where units have independent probabilities of receiving treatment. Previous works on randomization tests often assume these probabilities are equal within blocks of units. We consider the general case where they differ across units and show how to perform randomization tests and obtain point estimates and confidence intervals. Furthermore, we develop a rejection-sampling algorithm to conduct randomization-based inference conditional on ancillary statistics, covariate balance, or other statistics of interest. Through simulation we demonstrate how our algorithm can yield powerful randomization tests and thus precise inference. Our work also has implications for observational studies, which commonly assume a strongly ignorable assignment mechanism. Most methodologies for observational studies make additional modeling or asymptotic assumptions, while our framework only assumes the strongly ignorable assignment mechanism, and thus can be considered a minimal-assumption approach.


title: Material Optimization in Transverse Electromagnetic Scattering Applications

abstract: A class of algorithms for the solution of discrete material optimization problems in electromagnetic applications is discussed. The idea behind the algorithm is similar to that of the sequential programming. However, in each major iteration a model is established on the basis of an appropriately parametrized material tensor. The resulting nonlinear parametrization is treated on the level of the sub-problem, for which, globally optimal solutions can be computed due to the block separability of the model. Although global optimization of non-convex design problems is generally prohibitive, a well chosen combination of analytic solutions along with standard global optimization techniques leads to a very efficient algorithm for most relevant material parametrizations. A global convergence result for the overall algorithm is established. The effectiveness of the approach in terms of both computation time and solution quality is demonstrated by numerical examples, including the optimal design of cloaking layers for a nano-particle and the identification of multiple materials with different optical properties in a matrix.


title: The contribution of axial-vector mesons to hyperfine structure of muonic hydrogen

abstract: The contribution from the axial-vector meson exchange to the potential of the muon-proton interaction in muonic hydrogen induced by anomalous axial-vector meson coupling to two photon state is calculated. It is shown that such contribution to the hyperfine splitting in muonic hydrogen is large and important for a comparison with precise experimental data. In the light of our result, the proton radius "puzzle" is discussed.


title: Transport of Intensity Equation Microscopy for Dynamic Microtubules

abstract: Microtubules (MTs) are filamentous protein polymers roughly 25 nm in diameter. Ubiquitous in eukaryotes, MTs are well known for their structural role but also act as actuators, sensors, and, in association with other proteins, checkpoint regulators. The thin diameter and transparency of microtubules classifies them as sub-resolution phase objects, with concomitant imaging challenges. Label-free methods for imaging microtubules are preferred when long exposure times would lead to phototoxicity in fluorescence, or for retaining more native structure and activity. This method approaches quantitative phase imaging of MTs as an inverse problem based on the Transport of Intensity Equation. In a co-registered comparison of MT signal-to-background-noise ratio, TIE Microscopy of MTs shows an improvement of more than three times that of video-enhanced bright field imaging. This method avoids the anisotropy caused by prisms used in differential interference contrast and takes only two defocused images as input. Unlike other label-free techniques for imaging microtubules, in TIE microscopy background removal is a natural consequence of taking the difference of two defocused images, so the need to frequently update a background image is eliminated.


title: Pairing and short-range correlations in nuclear systems

abstract: The structure and density dependence of the pairing gap in infinite matter is relevant for astrophysical phenomena and provides a starting point for the discussion of pairing properties in nuclear structure. Short-range correlations can significantly deplete the available single-particle strength around the Fermi surface and thus provide a reduction mechanism of the pairing gap. Here, we study this effect in the singlet and triplet channels of both neutron matter and symmetric nuclear matter. Our calculations use phase-shift equivalent interactions and chiral two-body and three-body interactions as a starting point. We find an unambiguous reduction of the gap in all channels with very small dependence on the NN force in the singlet neutron matter and the triplet nuclear matter channel. In the latter channel, short range correlations alone provide a 50% reduction of the pairing gap.


title: Variational Inference for Stochastic Block Models from Sampled Data

abstract: This paper deals with non-observed dyads during the sampling of a network and consecutive issues in the inference of the Stochastic Block Model (SBM). We review sampling designs and recover Missing At Random (MAR) and Not Missing At Random (NMAR) conditions for the SBM. We introduce variants of the variational EM algorithm for inferring the SBM under various sampling designs (MAR and NMAR) all available as an R package. Model selection criteria based on Integrated Classification Likelihood are derived for selecting both the number of blocks and the sampling design. We investigate the accuracy and the range of applicability of these algorithms with simulations. We explore two real-world networks from ethnology (seed circulation network) and biology (protein-protein interaction network), where the interpretations considerably depends on the sampling designs considered.


title: Sensitivity of jet substructure to jet-induced medium response

abstract: Jet quenching in heavy ion collisions is expected to be accompanied by recoil effects, but unambiguous signals for the induced medium response have been difficult to identify so far. Here, we argue that modern jet substructure measurements can improve this situation qualitatively since they are sensitive to the momentum distribution inside the jet. We show that the groomed subjet shared momentum fraction $z_g$, and the girth of leading and subleading subjets signal recoil effects with dependencies that are absent in a recoilless baseline. We find that recoil effects can explain most of the medium modifications to the $z_g$ distribution observed in data. Furthermore, for jets passing the Soft Drop Condition, recoil effects induce in the differential distribution of subjet separation $\Delta R_{12}$ a characteristic increase with $\Delta R_{12}$, and they introduce a characteristic enhancement of the girth of the subleading subjet with decreasing $z_g$. We explain why these qualitatively novel features, that we establish in \textsc{Jewel+Pythia} simulations, reflect generic physical properties of recoil effects that should therefore be searched for as telltale signatures of jet-induced medium response.


title: UTS submission to Google YouTube-8M Challenge 2017

abstract: In this paper, we present our solution to Google YouTube-8M Video Classification Challenge 2017. We leveraged both video-level and frame-level features in the submission. For video-level classification, we simply used a 200-mixture Mixture of Experts (MoE) layer, which achieves GAP 0.802 on the validation set with a single model. For frame-level classification, we utilized several variants of recurrent neural networks, sequence aggregation with attention mechanism and 1D convolutional models. We achieved GAP 0.8408 on the private testing set with the ensemble model. The source code of our models can be found in \url{https://github.com/ffmpbgrnn/yt8m}.


title: Intersection numbers of Chern classes of tautological line bundles on the moduli spaces of flexible polygons

abstract: Given a flexible $n$-gon with generic side lengths, the moduli space of its configurations in $\mathbb{R}^2$ as well as in $\mathbb{R}^3$ is a smooth manifold. It is equipped with $n$ \textit{tautological} line bundles whose definition is motivated by M. Kontsevich's tautological bundles over $\mathcal{M}_{0,n}$. We study their Euler classes, first Chern classes and intersection numbers, that is, top monomials in Chern (Euler) classes. The latter are interpreted geometrically as the signed numbers of some \textit{triangular configurations} of the flexible polygon.


title: Variable selection in multivariate linear models with high-dimensional covariance matrix estimation

abstract: In this paper, we propose a novel variable selection approach in the framework of multivariate linear models taking into account the dependence that may exist between the responses. It consists in estimating beforehand the covariance matrix of the responses and to plug this estimator in a Lasso criterion, in order to obtain a sparse estimator of the coefficient matrix. The properties of our approach are investigated both from a theoretical and a numerical point of view. More precisely, we give general conditions that the estimators of the covariance matrix and its inverse have to satisfy in order to recover the positions of the null and non null entries of the coefficient matrix when the size of the covariance matrix is not fixed and can tend to infinity. We prove that these conditions are satisfied in the particular case of some Toeplitz matrices. Our approach is implemented in the R package MultiVarSel available from the Comprehensive R Archive Network (CRAN) and is very attractive since it benefits from a low computational load. We also assess the performance of our methodology using synthetic data and compare it with alternative approaches. Our numerical experiments show that including the estimation of the covariance matrix in the Lasso criterion dramatically improves the variable selection performance in many cases.


title: Quantum machine learning using atom-in-molecule-based fragments selected on-the-fly

abstract: First principles based exploration of chemical space deepens our understanding of chemistry, and might help with the design of new materials or experiments. Due to the computational cost of quantum chemistry methods and the immens number of theoretically possible stable compounds comprehensive in-silico screening remains prohibitive. To overcome this challenge, we combine atoms-in-molecules based fragments, dubbed "amons" (A), with active learning in transferable quantum machine learning (ML) models. The efficiency, accuracy, scalability, and transferability of resulting AML models is demonstrated for important molecular quantum properties, such as energies, forces, atomic charges NMR shifts, polarizabilities, and for systems ranging from organic molecules over 2D materials and water clusters to Watson-Crick DNA base-pairs and even ubiquitin. Conceptually, the AML approach extends Mendeleev's table to effectively account for chemical environments, which allows the systematic reconstruction of many chemistries from local building blocks.


title: Search for new phenomena in high-mass diphoton final states using 37 fb$^{-1}$ of proton-proton collisions collected at $\sqrt{s}=13$ TeV with the ATLAS detector

abstract: Searches for new phenomena in high-mass diphoton final states with the ATLAS experiment at the LHC are presented. The analysis is based on $pp$ collision data corresponding to an integrated luminosity of 36.7 fb$^{-1}$ at a centre-of-mass energy $\sqrt{s}=13$ TeV recorded in 2015 and 2016. Searches are performed for resonances with spin 0, as predicted by theories with an extended Higgs sector, and for resonances with spin 2, using a warped extra-dimension model as a benchmark model, as well as for non-resonant signals, assuming a large extra-dimension scenario. No significant deviation from the Standard Model is observed. Upper limits are placed on the production cross section times branching ratio to two photons as a function of the resonance mass. In addition, lower limits are set on the ultraviolet cutoff scale in the large extra-dimensions model.


title: On Repair with Probabilistic Attribute Grammars

abstract: Program synthesis and repair have emerged as an exciting area of research, driven by the potential for revolutionary advances in programmer productivity. Among most promising ideas emerging for synthesis are syntax-driven search, probabilistic models of code, and the use of input-output examples. Our paper shows how to combine these techniques and use them for program repair, which is among the most relevant applications of synthesis to general-purpose code. Our approach combines semantic specifications, in the form of pre- and post-conditions and input-output examples with syntactic specifications in the form of term grammars and AST-level statistics extracted from code corpora. We show that synthesis in this framework can be viewed as an instance of graph search, permitting the use of well-understood families of techniques such as A*. We implement our algorithm in a framework for verification, synthesis and repair of functional programs, demonstrating that our approach can repair programs that are beyond the reach of previous tools.


title: Asymptotics for Greeks under the constant elasticity of variance model

abstract: This paper is concerned with the asymptotics for Greeks of European-style options and the risk-neutral density function calculated under the constant elasticity of variance model. Formulae obtained help financial engineers to construct a perfect hedge with known behaviour and to price any options on financial assets.


title: Conformal-symmetry wormholes supported by a perfect fluid

abstract: This paper presents a new wormhole solution by assuming that a homogeneously distributed fluid with equation of state $p=\omega\rho$ can be adapted to an anisotropic spacetime such as a wormhole and that this spacetime admits a one-parameter group of conformal motions. The pressure $p$ in the equation of state becomes the lateral pressure $p_t$ instead of the radial pressure $p_r$, as assumed in previous studies. Given that $p_t=\omega\rho$, $p_r$ is then determined from the Einstein field equations. A wormhole solution can be obtained only if $\omega <-1$ or $0<\omega <1$. Since the former case corresponds to phantom dark energy, which has been the subject of earlier studies, we concentrate mainly on the latter. This case implies that given the above conditions, dark matter can support traversable wormholes.


title: The Reach-Avoid Problem for Constant-Rate Multi-Mode Systems

abstract: A constant-rate multi-mode system is a hybrid system that can switch freely among a finite set of modes, and whose dynamics is specified by a finite number of real-valued variables with mode-dependent constant rates. Alur, Wojtczak, and Trivedi have shown that reachability problems for constant-rate multi-mode systems for open and convex safety sets can be solved in polynomial time. In this paper, we study the reachability problem for non-convex state spaces and show that this problem is in general undecidable. We recover decidability by making certain assumptions about the safety set. We present a new algorithm to solve this problem and compare its performance with the popular sampling based algorithm rapidly-exploring random tree (RRT) as implemented in the Open Motion Planning Library (OMPL).


title: Strongly Lensed Gravitational Waves and Electromagnetic Signals as Powerful Cosmic Rulers

abstract: In this paper, we discuss the possibility of using strongly lensed gravitational waves (GWs) and their electromagnetic (EM) counterparts as powerful cosmic rulers. In the EM domain, it has been suggested that joint observations of the time delay ($\Delta\tau$) between lensed quasar images and the velocity dispersion ($\sigma$) of the lensing galaxy (i.e., the combination $\Delta\tau/\sigma^{2}$) are able to constrain the cosmological parameters more strongly than $\Delta\tau$ or $\sigma^{2}$ separately. Here, for the first time, we propose that this $\Delta\tau/\sigma^{2}$ method can be applied to the strongly lensed systems observed in both GW and EM windows. Combining the redshifts, images and $\sigma$ observed in the EM domain with the very precise $\Delta\tau$ derived from lensed GW signals, we expect that accurate multimessenger cosmology can be achieved in the era of third-generation GW detectors. Comparing with the constraints from the $\Delta\tau$ method, we prove that using $\Delta\tau/\sigma^{2}$ can improve the discrimination between cosmological models. Furthermore, we demonstrate that with $\sim50$ strongly lensed GW-EM systems, we can reach a constraint on the dark energy equation of state $w$ comparable to the 580 Union2.1 Type Ia supernovae data. Much more stringent constraints on $w$ can be obtained when combining the $\Delta\tau$ and $\Delta\tau/\sigma^{2}$ methods.


title: Killing Vectors in Spacetime of the De Sitter Invariant Special Relativity

abstract: In this paper, we use the Killing vector method to formulate the de Sitter/Anti-de Sitter invariant special relativity (dS/AdS-SR). Through solving the Einstein equation with $\Lambda\neq 0$, the basic inertial metric for dS/AdS-SR is determined to be the Beltrami metric $B_{\mu\nu}(x)$. The corresponding Killing equations are system of ten simultaneous partial differential equations of first order. Their most general solutions were obtained, and all the ten independent Killing vectors were found out. These results confirm that the Beltrami metric has maximal spacetime symmetry. The ten Killing-Noether charges are obtained. They are energy, momenta, Lorentz boost and angular momentum in SR-theory with $\Lambda\neq 0$. Consequently, dS/AdS-SR is consistently established for the vacuum with $\Lambda\neq 0$ via Killing vector method rather than the unpopular classical domain theory.


title: Electric control of the bandgap in quantum wells with band-inverted junctions

abstract: In IV-VI semiconductor heterojunctions with band-inversion, such as those made of Pb$_{1-x}$Sn$_{x}$Te or Pb$_{1-x}$Sn$_{x}$Se, interface states are properly described by a two-band model, predicting the appearance of a Dirac cone in single junctions. However, in quantum wells the interface dispersion is quadratic in momentum and the energy spectrum presents a gap. We show that the interface gap shrinks under an electric field parallel to the growth direction. Therefore, the interface gap can be dynamically tuned in experiments on double-gated quantum wells based on band-inverted compounds.


title: Quantum entanglement in strong-field ionization

abstract: We investigate the time-evolution of quantum entanglement between an electron, liberated by a strong few-cycle laser pulse, and its parent ion-core. Since the standard procedure is numerically prohibitive in this case, we propose a novel way to quantify the quantum correlation in such a system: we use the reduced density matrices of the directional subspaces along the polarization of the laser pulse and along the transverse directions as building blocks for an approximate entanglement entropy. We present our results, based on accurate numerical simulations, in terms of several of these entropies, for selected values of the peak electric field strength and the carrier-envelope phase difference of the laser pulse. The time evolution of the mutual entropy of the electron and the ion-core motion along the direction of the laser polarization is similar to our earlier results based on a simple one-dimensional model. However, taking into account also the dynamics perpendicular to the laser polarization reveals a surprisingly different entanglement dynamics above the laser intensity range corresponding to pure tunneling: the quantum entanglement decreases with time in the over-the-barrier ionization regime.


title: MAC Resolvability: First And Second Order Results

abstract: Building upon previous work on the relation between secrecy and channel resolvability, we revisit a secrecy proof for the multiple-access channel from the perspective of resolvability. We then refine the approach in order to obtain some novel results on the second-order achievable rates.


title: Isoneutral control of effective diapycnal mixing in numerical ocean models with neutral rotated diffusion tensors

abstract: The current view about the mixing of heat and salt in the ocean is that it should be parameterised by means of a rotated diffusion tensor based on mixing directions parallel and perpendicular to the local neutral vector. However, the impossibility to construct a density variable in the ocean that is exactly neutral because of the coupling between thermobaricity and density-compensated temperature/salinity anomalies implies that the effective diapycnal diffusivity experienced by any possible density variable is partly controlled by isoneutral diffusion when using neutral rotated diffusion. Here, this effect is quantified by evaluating the effective diapycnal diffusion coefficient for five widely used density variables: Jackett and McDougall (1997) $\gamma^n$, Lorenz reference state density $\rho_{ref}$ of Winters et al. (1996), Saenz et al. (2015), and three potential density variables $\sigma_0$, $\sigma_2$ and $\sigma_4$.Computations use the World Ocean Circulation Experiment climatology, assuming either a uniform value for isoneutral mixing or spatially varying values inferred from an inverse calculation. Isopycnal mixing contributions to the effective diapycnal mixing yields values systematically larger than $10^{-3}$ $\text{m}^2/\text{s}$ in the deep ocean for all density variables, with $\gamma^n$ suffering the least from the isoneutral control of effective diapycnal mixing, and $\sigma_0$ the most. These high values are due to spatially localised large values of non-neutrality, mostly in the deep Southern Ocean. Removing only 5\% of these high values on each density surface reduces the effective diapycnal diffusivities to less than $10^{-4}$ $\text{m}^2/\text{s}$. This work highlights the potential pitfalls of estimating diapycnal diffusivities by means of Walin-like water masses analysis or in using Lorenz reference state for diagnosing spurious numerical diapycnal mixing.


title: Experimental phase functions of mm-sized cosmic dust grains

abstract: We present experimental phase functions of three types of millimeter-sized dust grains consisting of enstatite, quartz and volcanic material from Mount Etna, respectively. The three grains present similar sizes but different absorbing properties. The measurements are performed at 527 nm covering the scattering angle range from 3 to 170 degrees. The measured phase functions show two well defined regions i) soft forward peaks and ii) a continuous increase with the scattering angle at side- and back-scattering regions. This behavior at side- and back-scattering regions are in agreement with the observed phase functions for the Fomalhaut and HR 4796A dust rings. Further computations and measurements (including polarization) for millimeter sized-grains are needed to draw some conclusions about the fluffy or compact structure of the dust grains.


title: Effects of cluster-shell competition and BCS-like pairing in $^{12}$C

abstract: The antisymmetrized quasi-cluster model (AQCM) was proposed to describe {\alpha}-cluster and $jj$-coupling shell models on the same footing. In this model, the cluster-shell transition is characterized by two parameters; $R$ representing the distance between {\alpha} clusters and {\alpha} describing the breaking of {\alpha} clusters, and the contribution of the spin-orbit interaction, very important in the $jj$-coupling shell model, can be taken into account starting with the {\alpha} cluster model wave function. Not only the closure configurations of the major shells, but also the subclosure configurations of the $jj$-coupling shell model can be described starting with the {\alpha}-cluster model wave functions; however, the particle hole excitations of single particles have not been fully established yet. In this study we show that the framework of AQCM can be extended even to the states with the character of single particle excitations. For $^{12}$C, two particle two hole (2p2h) excitations from the subclosure configuration of $0p_{3/2}$ corresponding to BCS-like pairing are described, and these shell model states are coupled with the three {\alpha} cluster model wave functions. The correlation energy from the optimal configuration can be estimated not only in the cluster part but also in the shell model part. We try to pave the way to establish a generalized description of the nuclear structure.


title: Automatic Randomness Tests

abstract: In this paper we define a notion of automatic randomness tests (ART) which capture measure theoretic typicalness of infinite binary sequences within the framework of automata theory. An individual ART is found to be equivalent to a deterministic B\"{u}chi automaton recognizing $\omega$-language of (Lebesgue) measure zero. A collection of ART's induce a notion of automatic random sequence. We provide a purely combinatorial characterization of an automatic random sequence in the form of a disjunctive property for sequences. At last, we compare two kinds of automatic randomness tests presented in this paper.


title: Wave Packets and the Quadratic Monge-Kantorovich Distance in Quantum Mechanics

abstract: In this paper, we extend the upper and lower bounds for the "pseudo-distance" on quantum densities analogous to the quadratic Monge-Kantorovich(-Vasershtein) distance introduced in [F. Golse, C. Mouhot, T. Paul, Commun. Math. Phys. 343 (2016) 165-205] to positive quantizations defined in terms of the family of phase space translates of a density operator, not necessarily of rank one as in the case of the T\"oplitz quantization. As a corollary, we prove that the uniform (for vanishing h) convergence rate for the mean-field limit of the N-particle Heisenberg equation holds for a much wider class of initial data than in [F. Golse, C. Mouhot, T. Paul, loc. cit.]. We also discuss the relevance of the pseudo-distance compared to the Schatten norms for the purpose of metrizing the set of quantum density operators in the semiclassical regime.


title: Extremely large magnetoresistance and Fermi surface topology of PrSb

abstract: We report magnetotransport measurements of PrSb in high magnetic fields. Our results show that PrSb exhibits extremely large magnetoresistance(XMR) at low temperatures. Meanwhile angle-dependent magnetoresistance measurements were used to probe the Fermi surface via Shubnikov-de Haas (SdH) oscillations. The angular dependence of the frequencies of the $\alpha$-branch indicate a two-dimensional character for this Fermi surface sheet, while the effective mass of this branch as a function of angle shows a four-fold signature. The evolution of the Fermi surface with field was also studied up to 32~T. An enlargement of the Fermi surface up to 14~T is observed, before the oscillation frequencies become constant at higher fields. Meanwhile our analysis of the residual Landau index from the high field data reveals a zero Berry phase and therefore trivial topology of the Fermi surface.


title: Laplace-type representation for some generalized spherical functions of type BC

abstract: In [M. R\"osler and M. Voit. Integral Representation and Uniform Limits for Some Heckman-Opdam Hypergeometric Functions of type BC, Transactions of the American Mathematical Society, Vol. 368, No. 8, 6005-6032, 2016.], R\"osler and Voit give a formula for generalized spherical functions of type $BC$ in terms of the spherical functions of type A. We use this formula to describe precisely the support of the associated generalized Abel transform. Furthermore, we derive a similar formula for the generalized spherical functions in the rational Dunkl setting. The support of the intertwining operator V is also deduced. We also show, as a consequence, that a Laplace-type expression exists for the generalized spherical functions both in the trigonometric Dunkl setting and in the rational Dunkl setting.


title: Deep-inelastic multinucleon transfer processes in the $^{16}$O+$^{27}$Al reaction

abstract: The reaction mechanism of deep-inelastic multinucleon transfer processes in the $^{16}$O+$^{27}$Al reaction at an incident $^{16}$O energy ($E_{\rm lab}=134$ MeV) substantially above the Coulomb barrier has been studied both experimentally and theoretically. Elastic-scattering angular distribution, total kinetic energy loss spectra and angular distributions for various transfer channels have been measured. The $Q$-value- and angle-integrated isotope production cross sections have been deduced. To obtain deeper insight into the underlying reaction mechanism, we have carried out a detailed analysis based on the time-dependent Hartree-Fock (TDHF) theory. A recently developed method, TDHF+GEMINI, has been applied to evaluate production cross sections for secondary products. From a comparison between the experimental and theoretical cross sections, we find that the theory qualitatively reproduces the experimental data. Significant effects of secondary light-particle emissions are demonstrated. Possible interplay between fusion-fission, deep-inelastic, multinucleon transfer and particle evaporation processes are discussed.


title: Microstructural and magnetic property evolution with different heat-treatment conditions in an alnico alloy

abstract: Further property enhancement of alnico, an attractive near-term, non-rare-earth permanent magnet alloy system, primarily composed of Al, Ni, Co, and Fe, relies on improved morphology control and size refinement of its complex spinodally decomposed nanostructure that forms during heat-treatment. Using a combination of transmission electron microscopy and atom probe tomography techniques, this study evaluates the magnetic properties and microstructures of an isotropic 32.4Fe-38.1Co-12.9Ni-7.3Al-6.4Ti-3.0Cu (wt.$\%$) alloy in terms of processing parameters such as annealing temperature, annealing time, application of an external magnetic field, as well as low-temperature "draw" annealing. Optimal spinodal morphology and spacing is formed within a narrow temperature and time range ($\sim 840 \unicode{x2103}$ and 10 min during thermal-magnetic annealing (MA). The ideal morphology is a mosaic structure consisting of periodically arrayed $\sim 40$ nm diameter (Fe-Co)-rich rods ($\alpha_1$ phase) embedded in an (Al-Ni)-rich ($\alpha_2$ phase) matrix. A Cu-enriched phase with a size of $\sim$ 3-5 nm is located at the corners of two adjacent $\{110\}$ facets of the $\alpha_1$ phase. The MA process significantly increased remanence ($B_\text{r}$) ($\sim$ 40-70 $\%$) of the alloy due to biased elongation of the $\alpha_1$ phase along the $\langle100\rangle$ crystallographic direction, which is closest in orientation to the applied magnetic field. The optimum magnetic properties of the alloy with an intrinsic coercivity ($H_\text{cj}$) of 1845 Oe and a maximum energy product ($BH_\text{max}$) of 5.9 MGOe were attributed to the uniformity of the mosaic structure.


title: Quantum correlations and degeneracy of identical bosons in a 2D harmonic trap

abstract: We consider a few number of identical bosons trapped in a 2D isotropic harmonic potential and also the $N$-boson system when it is feasible. The atom-atom interaction is modelled by means of a finite-range Gaussian interaction. The spectral properties of the system are scrutinized, in particular, we derive analytic expressions for the degeneracies and their breaking for the lower-energy states at small but finite interactions. We demonstrate that the degeneracy of the low-energy states is independent of the number of particles in the noninteracting limit and also for sufficiently weak interactions. In the strongly interacting regime, we show how the many-body wave function develops holes whenever two particles are at the same position in space to avoid the interaction, a mechanism reminiscent of the Tonks-Girardeau gas in 1D. The evolution of the system as the interaction is increased is studied by means of the density profiles, pair correlations and fragmentation of the ground state for $N=2$, $3$, and $4$ bosons.


title: Stability and Long-Time Behavior of a Pendulum with an Interior Cavity Filled with a Viscous Liquid

abstract: We show asymptotic, exponential stability of the equilibrium configuration, $\smallL$, of a hollow physical pendulum with its inner part entirely filled with a viscous liquid, corresponding to the center of mass being in the lowest position. Moreover, we prove that every weak solution with initial data possessing finite total initial energy and belonging to a "large" open set, becomes eventually smooth and decays exponentially fast to the equilibrium $\smallL$. These results are obtained also as byproduct of a "generalized linearization principle" that we show for evolution equations with non-empty "slow" center manifold.


title: Galactic Orbits of Selected Companions of the Milky Way

abstract: High-accuracy absolute proper motions, radial velocities, and distances have now been measured for a number of dwarf-galaxy companions of the Milky Way, making it possible to study their 3D dynamics. Galactic orbits for 11 such galaxies (Fornax, Sagittarius, Ursa Minor, LMC, SMC, Sculptor, Sextans, Carina, Draco, Leo I, Leo II) have been derived using two previously refined models for the Galactic potential with the Navarro-Frenk-White and Allen-Santill'an expressions for the potential of the dark-matter halo, and two different masses for the Galaxy within 200 kpc - 0.75x10^12 Mo and 1.45x10^12 Mo. The character of the orbits of most of these galaxies indicates that they are tightly gravitationally bound to the Milky Way, even with the lower-mass model for the gravitational potential. One exception is the most distant galaxy in the list, Leo I, whose orbit demonstrates that it is only weakly gravitationally bound, even using the higher-mass model of the gravitational potential.


title: Correlated "noise" in LIGO gravitational wave signals: an implication of Conformal Cyclic Cosmology

abstract: It has recently been reported by Cresswell et al. [1] that correlations in the noise surrounding the observed gravitational wave signals, GW150194, GW151226, and GW170194 were found by the two LIGO detectors in Hanford and Livingston with the same time delay as the signals themselves. This raised some issues about the statistical reliability of the signals themselves, which led to much discussion, the current view appearing to support the contention that there is something unexplained that may be of genuine astrophysical interest [2]. In this note, it is pointed out that a resolution of this puzzle may be found in a proposal very recently put forward by the author [3], see also [4], that what seems to be spuriously generated noise may in fact be gravitational events caused by the decay of dark-matter particles (erebons) of mass around 10^-5g, the existence of such events being a clear implication of the cosmological scheme of conformal cyclic cosmology, or CCC [5], [6]. A brief outline of the salient points of CCC is provided here, especially with regard to its prediction of erebons and their impulsive gravitational signals.


title: Production of magnetic monopoles and monopolium in peripheral collisions

abstract: The exclusive production by the photon fusion of magnetic monopoles and the bound states of magnetic monopoles, the monopolium, is consider in different high energy processes. More specifically, we calculate the total cross sections of the ultraperipheral elastic collisions of electron-electron, proton-proton and lead-lead in present and future colliders, comparing with the previous results found in the literature. Our results indicates that magnetic monopoles or his bound states, if both exists, can be measuareble in future electron-electron colliders.


title: Modeling Hormesis Using a Non-Monotonic Copula Method

abstract: This paper presents a probabilistic method for capturing non-monotonic behavior under the biphasic dose-response regime observed in many biological systems experiencing different types of stress. The proposed method is based on the rolling-pin method introduced earlier to estimate highly nonlinear and non-monotonic joint probability distributions from continuous domain data. We show that the proposed method outperforms the conventional parametric methods in terms of the error (namely RMSE) and it needs fewer parameters to be estimated a priori, while offering high flexibility. The application and performance of the proposed method are shown through an example.


title: Generalized Rainich conditions, generalized stress-energy conditions, and the Hawking-Ellis classification

abstract: The (generalized) Rainich conditions are algebraic conditions which are polynomial in the (mixed-component) stress-energy tensor. As such they are logically distinct from the usual classical energy conditions (NEC, WEC, SEC, DEC), and logically distinct from the usual Hawking-Ellis (Segr\'e-Pleba\'nski) classification of stress-energy tensors (type I, type II, type III, type IV). There will of course be significant inter-connections between these classification schemes, which we explore in the current article. Overall, we shall argue that it is best to view the (generalized) Rainich conditions as a refinement of the classical energy conditions and the usual Hawking-Ellis classification.


title: Review: Modeling and Classical Controller Of Quad-rotor

abstract: This paper presents an overview of the most effective ideas for the Quad-rotor project. The concept of modeling using different methods is presented. The modeling part presented the nonlinear model, and the concept of linearization using small disturbance theory. Parameter identifications part explained the most important parameters that affect the system stability and tried to get suitable solutions for these problems and identify some parameters experimentally. Data filtration, Kalman filter, Structure design, motor distribution, aerodynamic effect, analysis of shroud and its effect on the resultant thrust were explained. The control part incorporates different classical schemes such as PD and PID controllers to stabilize the Quad-rotor. Also, different ideas are presented to stabilize the quad rotor using PID controllers with some modification to get high maneuverability and better performance.


title: Magnetic topological analysis of coronal bright points

abstract: {We report on the first of a series of studies on coronal bright points investigating the physical mechanism that generates these phenomena.} {The aim of this paper is to understand the magnetic-field structure that hosts the bright points.} {We use longitudinal magnetograms taken by the Solar Optical Telescope with the Narrowband Filter Imager. For a single case, magnetograms from the Helioseismic and Magnetic Imager were added to the analysis. The longitudinal magnetic field component is used to derive the potential magnetic fields of the large regions around the bright points. A magneto-static field extrapolation method is tested to verify the accuracy of the potential field modelling. The three dimensional magnetic fields are investigated for the presence of magnetic null points and their influence on the local magnetic domain.} {In 9 out of 10 cases the bright point resides in areas where the coronal magnetic field contains an opposite polarity intrusion defining a magnetic null point above it. It is found that X-ray bright points reside, in these 9 cases, in a limited part of the projected fan dome area, either fully inside the dome or expanding over a limited area below which typically a dominant flux concentration resides. The 10th bright point is located in a bipolar loop system without an overlying null point.} {All bright points in coronal holes and two out of tree bright points in quiet Sun regions are seen to reside in regions containing a magnetic null point. An yet unidentified process(es) generates the BPs in specific regions of the fan-dome structure. }


title: Distral: Robust Multitask Reinforcement Learning

abstract: Most deep reinforcement learning algorithms are data inefficient in complex and rich environments, limiting their applicability to many scenarios. One direction for improving data efficiency is multitask learning with shared neural network parameters, where efficiency may be improved through transfer across related tasks. In practice, however, this is not usually observed, because gradients from different tasks can interfere negatively, making learning unstable and sometimes even less data efficient. Another issue is the different reward schemes between tasks, which can easily lead to one task dominating the learning of a shared model. We propose a new approach for joint training of multiple tasks, which we refer to as Distral (Distill & transfer learning). Instead of sharing parameters between the different workers, we propose to share a "distilled" policy that captures common behaviour across tasks. Each worker is trained to solve its own task while constrained to stay close to the shared policy, while the shared policy is trained by distillation to be the centroid of all task policies. Both aspects of the learning process are derived by optimizing a joint objective function. We show that our approach supports efficient transfer on complex 3D environments, outperforming several related methods. Moreover, the proposed learning process is more robust and more stable---attributes that are critical in deep reinforcement learning.


title: Radiative corrections to Higgs couplings with weak gauge bosons in custodial multi-Higgs models

abstract: We calculate 1-loop radiative corrections to the $hZZ$ and $hWW$ couplings in models with next--to--simplest Higgs sectors satisfying the electroweak $\rho$ parameter equal to 1 at tree level: the Higgs singlet model, the two-Higgs doublet models, and the Georgi-Machacek model. Under theoretical and current experimental constraints, the three models have different correlations between the deviations in the $hZZ$ and $hWW$ couplings from the standard model predictions. In particular, we find for each model predictions with no overlap with the other two models.


title: Failure of strong approximation on an affine cone

abstract: We use the Brauer-Manin obstruction to strong approximation on a punctured affine cone to explain a curious property of coprime integer solutions to a homogeneous Diophantine equation.


title: Enhanced electron dephasing in three-dimensional topological insulators

abstract: Study of the dephasing in electronic systems is not only important for probing the nature of their ground states, but also crucial to harnessing the quantum coherence for information processing. In contrast to well-studied conventional metals and semiconductors, it remains unclear which mechanism is mainly responsible for electron dephasing in three-dimensional (3D) topological insulators (TIs). Here, we report on using weak antilocalization effect to measure the dephasing rates in highly tunable (Bi,Sb)$_2$Te$_3$ thin films. As the transport is varied from a bulk-conducting regime to surface-dominant transport, the dephasing rate is observed to evolve from a linear temperature dependence to a sublinear power-law dependence. While the former is consistent with the Nyquist electron-electron interactions commonly seen in ordinary 2D systems, the latter leads to enhanced electron dephasing at low temperatures and is attributed to the coupling between the surface states and the localized charge puddles in the bulk of 3D TIs.


title: Cost-Effective Cache Deployment in Mobile Heterogeneous Networks

abstract: This paper investigates one of the fundamental issues in cache-enabled heterogeneous networks (HetNets): how many cache instances should be deployed at different base stations, in order to provide guaranteed service in a cost-effective manner. Specifically, we consider two-tier HetNets with hierarchical caching, where the most popular files are cached at small cell base stations (SBSs) while the less popular ones are cached at macro base stations (MBSs). For a given network cache deployment budget, the cache sizes for MBSs and SBSs are optimized to maximize network capacity while satisfying the file transmission rate requirements. As cache sizes of MBSs and SBSs affect the traffic load distribution, inter-tier traffic steering is also employed for load balancing. Based on stochastic geometry analysis, the optimal cache sizes for MBSs and SBSs are obtained, which are threshold-based with respect to cache budget in the networks constrained by SBS backhauls. Simulation results are provided to evaluate the proposed schemes and demonstrate the applications in cost-effective network deployment.


title: Simulation of alnico coercivity

abstract: Micromagnetic simulations of alnico show substantial deviations from Stoner-Wohlfarth behavior due to the unique size and spatial distribution of the rod-like Fe-Co phase formed during spinodal decomposition in an external magnetic field. The maximum coercivity is limited by single-rod effects, especially deviations from ellipsoidal shape, and by interactions between the rods. Both the exchange interaction between connected rods and magnetostatic interaction between rods are considered, and the results of our calculations show good agreement with recent experiments. Unlike systems dominated by magnetocrystalline anisotropy, coercivity in alnico is highly dependent on size, shape, and geometric distribution of the Fe-Co phase, all factors that can be tuned with appropriate chemistry and thermal-magnetic annealing.


title: Brazilian National High School Examination: assessing student's learning in Physics

abstract: The entrance to public universities in Brazil depends on scores obtained by students in Enem, Brazilian National Assessment of High School Education. This exam consists of four multiple choice tests (Language, Maths, Natural and Human Sciences) scored by Item Response Theory (IRT). It is a high stake exam for students, allowing the use of its results of this exam to provide conditions for monitoring high school learning and quality of education in Brazil. We present a study of the Physics items of Enem from 2009 to 2014. The questions were classified based on qualitative categories, providing a profile of the Natural Sciences test: a disciplinary exam (Physics, Chemistry and Biology), with mostly qualitative questions, long and time consuming items, only a few of them demanding more complex reasoning and assessing some problem solving skills. The answers of the students were analyzed, using basic statistical exploration and IRT to draw the ICC of the Physics items. A comparison was made between the qualitative analysis and the quantitative analysis for the Physics questions. The study of student performance reveals the low attaining levels of Physics learning at the end of high school, with a small percentage of correct answers; students perform worse in questions that require disciplinary knowledge or use of basic mathematical reasoning. It is also possible to observe discrepancies on the results of two subsets of groups: female students perform worse than male students in most items, and students that come from federal and private high school perform significantly better that those from state high school (75% of students in high school attend state or regional schools). In conclusion, the combined analysis of student's performance and content of the items reveal some of the characteristics of student's learning in Brazil, at around 18 years, that can impact Physics Education system.


title: Generalised global symmetries in holography: magnetohydrodynamic waves in a strongly interacting plasma

abstract: We begin the exploration of holographic duals to theories with generalised global (higher-form) symmetries. In particular, we focus on the case of magnetohydrodynamics (MHD) in strongly coupled plasmas by constructing and analysing a holographic dual to a recent, generalised global symmetry-based formulation of dissipative MHD. The simplest holographic dual to the effective theory of MHD that was proposed as a description of plasmas with any equation of state and transport coefficients contains dynamical graviton and two-form gauge field fluctuations in a magnetised black brane background. The dual field theory, which is closely related to the large-$N_c$, $\mathcal{N} = 4$ supersymmetric Yang-Mills theory at (infinitely) strong coupling, is, as we argue, in our setup coupled to a dynamical $U(1)$ gauge field with a renormalisation condition-dependent electromagnetic coupling. After constructing the holographic dictionary for gauge-gravity duals of field theories with higher-form symmetries, we compute the dual equation of state and transport coefficients, and for the first time analyse phenomenology of MHD waves in a strongly interacting, dense plasma with a (holographic) microscopic description. From weak to extremely strong magnetic fields, several predictions for the behaviour of Alfv\'{e}n and magnetosonic waves are discussed.

categories: hep-th cond-mat.str-el nucl-th physics.plasm-ph


title: Constrained percolation, Ising model and XOR Ising model on planar lattices

abstract: We study constrained percolation models on planar lattices including the $[m,4,n,4]$ lattice and the square tilings of the hyperbolic plane, satisfying certain local constraints on faces of degree 4, and investigate the existence of infinite clusters. The constrained percolation models on these lattices are closely related to Ising models and XOR Ising models on regular tilings of the Euclidean plane or the hyperbolic plane. In particular, we obtain a complete picture of the number of infinite "$+$" and "$-$" clusters of the ferromagnetic Ising model with the free boundary condition on a vertex-transitive triangular tiling of the hyperbolic plane with all the possible values of coupling constants. Our results show that for the Ising model on a vertex-transitive triangular tiling of the hyperbolic plane, it is possible that its random cluster representation has no infinite open clusters, while the Ising model has infinitely many infinite "$+$"-clusters and infinitely many infinite "$-$"-clusters. We also study different behaviors the infinite "$+$" and "$-$" clusters of XOR Ising models on regular tilings of the Euclidean plane and the hyperbolic plane for different coupling constants. A by-product we prove is the result that the critical random cluster model with $q\geq 1$ and the wired boundary condition on a quasi-transitive, non-amenable, unimodular graph almost surely has no infinite open clusters.


title: Stability of Surface Nanobubbles: A Molecular Dynamics Study

abstract: The stability and growth or dissolution of a single surface nanobubble on a chemically patterned surface are studied by Molecular Dynamics (MD) simulations of binary mixtures consisting of Lennard-Jones (LJ) particles. Our simulations reveal how pinning of the three-phase contact line on the surface can lead to the stability of the surface nanobubble, provided that the concentration of the dissolved gas is oversaturated. We have performed equilibrium simulations of surface nanobubbles at different gas oversaturation levels $\zeta>0$. The equilibrium contact angle $\theta_e$ is found to follow the theoretical result of Lohse and Zhang (Phys. Rev. E 2015, 91, 031003(R)), namely $\sin\theta_e = \zeta L/L_c$, where L is the pinned length of the footprint and $L_c = 4\gamma/P_0$ a capillary length scale, with $\gamma$ the surface tension and $P_0$ the ambient pressure. For undersaturation $\zeta<0$ the surface nanobubble dissolves and the dissolution dynamics shows a "stick-jump" behaviour of the three-phase contact line.


title: A homotopy decomposition of the fibre of the squaring map on $\Omega^3S^{17}$

abstract: We use Richter's $2$-primary proof of Gray's conjecture to give a homotopy decomposition of the fibre $\Omega^3S^{17}\{2\}$ of the $H$-space squaring map on the triple loop space of the $17$-sphere. This induces a splitting of the mod-$2$ homotopy groups $\pi_\ast(S^{17}; \mathbb{Z}/2\mathbb{Z})$ in terms of the integral homotopy groups of the fibre of the double suspension $E^2:S^{2n-1} \to \Omega^2S^{2n+1}$ and refines a result of Cohen and Selick, who gave similar decompositions for $S^5$ and $S^9$. We relate these decompositions to various Whitehead products in the homotopy groups of mod-$2$ Moore spaces and Stiefel manifolds to show that the Whitehead square $[i_{2n}, i_{2n}]$ of the inclusion of the bottom cell of the Moore space $P^{2n+1}(2)$ is divisible by $2$ if and only if $2n=2, 4, 8$ or $16$.


title: The Ricci flow on solvmanifolds of real type

abstract: We show that for any solvable Lie group of real type, any homogeneous Ricci flow solution converges in Cheeger-Gromov topology to a unique non-flat solvsoliton, which is independent of the initial left-invariant metric. As an application, we obtain results on the isometry groups of non-flat solvsoliton metrics and Einstein solvmanifolds.


title: Finite groups with Engel sinks of bounded rank

abstract: For an element $g$ of a group $G$, an Engel sink is a subset ${\mathscr E}(g)$ such that for every $x\in G$ all sufficiently long commutators $[...[[x,g],g],\dots ,g]$ belong to ${\mathscr E}(g)$. A~finite group is nilpotent if and only if every element has a trivial Engel sink. We prove that if in a finite group $G$ every element has an Engel sink generating a subgroup of rank~$r$, then $G$ has a normal subgroup $N$ of rank bounded in terms of $r$ such that $G/N$ is nilpotent.


title: The revised distance of supernova remnant G15.4+0.1

abstract: We measure the distance to the supernova remnant G15.4+0.1 which is likely associated with TeV source HESS J1818-154. We build the neutral hydrogen (HI) absorption and 13CO spectra to supernova remnant G15.4+0.1 by employing the data from the Southern Galactic Plane Survey (SGPS) and the HI/OH/Recombination line survey (THOR). The maximum absorption velocity of about 140 km/s constrains its lower limit distance of about 8.0 kpc. Further, the fact that the HI emission feature at about 95 km/s seems no corresponding absorption suggests that G15.4+0.1 has likely an upper limit distance of about 10.5 kpc. 13CO spectrum to the remnant supports our measurement. The new distance revises parameters on its associated pulsar wind nebula and TeV source.