title: Noise-tolerant parity learning with one quantum bit

abstract: Demonstrating quantum advantage with less powerful but more realistic devices is of great importance in modern quantum information science. Recently, a significant quantum speedup was achieved in the problem of learning a hidden parity function with noise. However, if all data qubits at the query output are completely depolarized, the algorithm fails. In this work, we present a quantum parity learning algorithm that exhibits quantum advantage as long as one qubit is provided with nonzero polarization in each query. In this scenario, the quantum parity learning naturally becomes deterministic quantum computation with one qubit. Then the hidden parity function can be revealed by performing a set of operations that can be interpreted as measuring nonlocal observables on the auxiliary result qubit having nonzero polarization and each data qubit. We also discuss the source of the quantum advantage in our algorithm from the resource-theoretic point of view.


title: Networks of coupled quadratic nodes

abstract: We study asymptotic dynamics in networks of coupled quadratic nodes. While single map complex quadratic iterations have been studied over the past century, considering ensembles of such functions, organized as coupled nodes in a network, generate new questions with potentially interesting applications to the life sciences. We investigate how traditional Fatou-Julia results may generalize in the case of networks. We discuss extensions of concepts like escape radius, Julia and Mandelbrot sets (as parameter loci in $\mathbb{C}^n$, where $n$ is the size of the network). We study topological properties of these asymptotic sets and of their two-dimensional slices in $\mathbb{C}$ (defined in previous work). We find that, while network Mandelbrot sets no longer have a hyperbolic bulb structure, some of their geometric landmarks are preserved (e.g., the cusp always survives), and other properties (such as connectedness) depend on the network structure. We investigate possible extensions of the relationship between the Mandelbrot set and the Julia set connectedness loci in the case of network dynamics. We discuss possible classifications of asymptotic behavior in networks based on their underlying graph structure, using the geometry of Julia or Mandelbrot sets as a classifier. Finally, we propose a method for book-keeping asymptotic dynamics simultaneously over many networks with a common graph-theoretical property. \emph{Core} Julia and Mandelbrot sets describe statistically average asymptotic behavior of orbits over an entire collection of configurations.


title: An Artificial Neural Network Architecture Based on Context Transformations in Cortical Minicolumns

abstract: Cortical minicolumns are considered a model of cortical organization. Their function is still a source of research and not reflected properly in modern architecture of nets in algorithms of Artificial Intelligence. We assume its function and describe it in this article. Furthermore, we show how this proposal allows to construct a new architecture, that is not based on convolutional neural networks, test it on MNIST data and receive close to Convolutional Neural Network accuracy. We also show that the proposed architecture possesses an ability to train on a small quantity of samples. To achieve these results, we enable the minicolumns to remember context transformations.


title: Nexus networks in carbon honeycombs

abstract: Nexus metals represent a new type of topological material in which nodal lines merge at nexus points. Here, we propose novel networks in nexus systems through intertwining between nexus fermions and additional nodal lines. These nexus networks can be realized in several recently synthesized carbon honeycomb materials. In these carbon honeycombs, we demonstrate a phase transition between a nexus network and a system with triply-degenerate points and additional nodal lines. The Landau level spectra show unusual magnetic transport properties in the nexus networks. Our results pave the way toward realizations of new topological materials with novel transport properties beyond standard Weyl/Dirac semimetals.


title: Overview of the Wikidata Vandalism Detection Task at WSDM Cup 2017

abstract: We report on the Wikidata vandalism detection task at the WSDM Cup 2017. The task received five submissions for which this paper describes their evaluation and a comparison to state of the art baselines. Unlike previous work, we recast Wikidata vandalism detection as an online learning problem, requiring participant software to predict vandalism in near real-time. The best-performing approach achieves a ROC-AUC of 0.947 at a PR-AUC of 0.458. In particular, this task was organized as a software submission task: to maximize reproducibility as well as to foster future research and development on this task, the participants were asked to submit their working software to the TIRA experimentation platform along with the source code for open source release.


title: Degrees of Freedom of Interference Networks with Transmitter-Side Caches

abstract: This paper studies cache-aided interference networks with arbitrary number of transmitters and receivers, whereby each transmitter has a cache memory of finite size. Each transmitter fills its cache memory from a content library of files in the placement phase. In the subsequent delivery phase, each receiver requests one of the library files, and the transmitters are responsible for delivering the requested files from their caches to the receivers. The objective is to design schemes for the placement and delivery phases to maximize the sum degrees of freedom (sum-DoF) which expresses the capacity of the interference network at the high signal-to-noise ratio regime. Our work mainly focuses on a commonly used uncoded placement strategy. We provide an information-theoretic bound on the sum-DoF for this placement strategy. We demonstrate by an example that the derived bound is tighter than the bounds existing in the literature for small cache sizes. We propose a novel delivery scheme with a higher achievable sum-DoF than those previously given in the literature. The results reveal that the reciprocal of sum-DoF decreases linearly as the transmitter cache size increases. Therefore, increasing cache sizes at transmitters translates to increasing the sum-DoF and, hence, the capacity of the interference networks.


title: Toward Secure Edge Networks Taming Device to Device (D2D) Communication in IoT

abstract: The growing popularity of Internet-of-Things (IoT) has created the need for network-based traffic anomaly detection systems that could identify misbehaving devices. In this work, we propose a lightweight technique, IoT-guard, for identifying malicious traffic flows. IoT-guard uses semi-supervised learning to distinguish between malicious and benign device behaviours using the network traffic generated by devices. In order to achieve this, we extracted 39 features from network logs and discard any features containing redundant information. After feature selection, fuzzy C-Mean (FCM) algorithm was trained to obtain clusters discriminating benign traffic from malicious traffic. We studied the feature scores in these clusters and use this information to predict the type of new traffic flows. IoT-guard was evaluated using a real-world testbed with more than 30 devices. The results show that IoTguard achieves high accuracy (98%), in differentiating various types of malicious and benign traffic, with low false positive rates. Furthermore, it has low resource footprint and can operate on OpenWRT enabled access points and COTS computing boards.


title: Ultrametricity increases the predictability of cultural dynamics

abstract: A quantitative understanding of societies requires useful combinations of empirical data and mathematical models. Models of cultural dynamics aim at explaining the emergence of culturally homogeneous groups through social influence. Traditionally, the initial cultural traits of individuals are chosen uniformly at random, the emphasis being on characterizing the model outcomes that are independent of these (`annealed') initial conditions. Here, motivated by an increasing interest in forecasting social behavior in the real world, we reverse the point of view and focus on the effect of specific (`quenched') initial conditions, including those obtained from real data, on the final cultural state. We study the predictability, rigorously defined in an information-theoretic sense, of the \emph{social content} of the final cultural groups (i.e. who ends up in which group) from the knowledge of the initial cultural traits. We find that, as compared to random and shuffled initial conditions, the hierarchical ultrametric-like organization of empirical cultural states significantly increases the predictability of the final social content by largely confining cultural convergence within the lower levels of the hierarchy. Moreover, predictability correlates with the compatibility of short-term social coordination and long-term cultural diversity, a property that has been recently found to be strong and robust in empirical data. We also introduce a null model generating initial conditions that retain the ultrametric representation of real data. Using this ultrametric model, predictability is highly enhanced with respect to the random and shuffled cases, confirming the usefulness of the empirical hierarchical organization of culture for forecasting the outcome of social influence models.


title: Symmetries of space-time

abstract: The equations of Hamiltonian gravity are often considered ugly cousins of the elegant and manifestly covariant versions found in the Lagrangian theory. However, both formulations are fundamental in their own rights because they make different statements about the nature of space-time and its symmetries. These implications, along with the history of their derivation and an introduction of recent mathematical support, are discussed here.


title: Geometric phase of light-induced conical intersections: Adiabatic time-dependent approach

abstract: Conical intersections are degeneracies between electronic states and are very common in nature. It has been found that they can also be created both by standing or by running laser waves. The latter are called light-induced conical intersections. It is well known that conical intersections are the sources for numerous topological effects which are manifested e.g. in the appearance of the geometric or Berry phase. In one of our former works by incorporating the diabatic-to-adiabatic transformation angle with the line-integral technique we have calculated the Berry-phase of the light-induced conical intersections. Here we demonstrate that by using the time dependent adiabatic approach suggested by Berry the geometric phase of the light-induced conical intersections can also be obtained and the results are very similar to those of the time-independent calculations.


title: A Possible Family of Ni-based High Temperature Superconductors

abstract: We suggest that a family of Ni-based compounds, which contain [Ni$_2$M$_2$O]$^{2-}$(M=chalcogen) layers with an antiperovskite structure constructed by mixed-anion Ni complexes, NiM$_4$O$_2$, can be potential high temperature superconductors upon doping or applying pressure. The layer structures have been formed in many other transitional metal compounds such as La$_2$B$_2$Se$_2$O$_3$(B=Mn, Fe,Co). For the Ni-based compounds, we predict that the parental compounds host collinear antiferromagnetic states similar to those in the iron-based high temperature superconductors. The electronic physics near Fermi energy is controlled by two e$_{g}$ d-orbitals with completely independent in-plane kinematics. We predict that the superconductivity in this family is characterized by strong competition between extended s-wave and d-wave pairing symmetries.


title: AGB stars as tracers to IC 1613 evolution

abstract: We are going to apply AGB stars to find star formation history for IC\,1613 galaxy, this a new and simple method that works well for nearby galaxies. IC\,1613 is a Local Group dwarf irregular galaxy that is located at distance of 750 kpc, a gas rich and isolated dwarf galaxy that has a low foreground extinction. We use the long period variable stars (LPVs) that represent the very final stage of evolution of stars with low and intermediate mass at the AGB phase and are very luminous and cool so that they emit maximum brightness in near--infrared bands. Thus near--infrared photometry with using stellar evolutionary models help us to convert brightness to birth mass and age and from this drive star formation history of the galaxy. We will use the luminosity distribution of the LPVs to reconstruct the star formation history--a method we have successfully applied in other Local Group galaxies. Our analysis shows that the IC 1613 has had a nearly constant star formation rate, without any dominant star formation episode.


title: Effect of magnetic field on neutrino annihilation efficiency in gamma-ray bursts

abstract: Neutrino annihilation process on a hyperaccreting disk is one of the leading models to explain the generation of relativistic jets of gamma-ray bursts (GRBs). However, there is still uncertainty regarding the NAE of neutron star-accretion disc (NS-disc) system because of complicated microphysics processes and effects of strong magnetic field. In this paper, we investigate the NAE by assuming that the prompt jet of GRB 070110 is driven by neutrino pair annihilation in the NS-disc system. Our calculation shows $\eta_{\nu\bar{\nu}}> 1.2 \times 10^{-3}$ under the estimated accretion rate $\dot{M}\simeq 0.04\rm M_{\odot}\cdot s^{-1}$. Independent of the detailed accretion disc models, our result shows that the magnetic field may play an important role in the neutrino annihilation process on the hyperaccreting magnetized accretion disc. Compared with the theoretical value of $\eta_{\rm \nu \bar{\nu}}$ of the nonmagnetized BH-disc system, the NAE should increase significantly in the case of the NS-disc system if the GRB is powered by magnetar-disc system.


title: Measuring the speed of gravitational waves with the distorted pulsars

abstract: The measurement of the speed of gravitational waves (GWs) is useful to distinguish general relativity from massive gravity. We propose a new model-independent strategy to measure the speed of GWs with the distorted pulsars. Theoretically, when the the GW frequencies from a distorted pulsar are twice the frequencies of EM pulses, they should be emitted at the same time. By measuring the arrival times of these two signals emitted at the same time, the speed of GWs can be calculated with the time difference. Specifically, when the glitches of pulsars are taken into consideration, some pulsars in our Galaxy and nearby galaxies are potential to test our new strategy at high accuracy in the foreseeable future. On the other hand, the new method is meaningful as a motivation for future design of instruments.


title: Fabrication of grain boundary junctions using NdFeAs(O,F) superconducting thin films

abstract: We report on the growth of NdFeAs(O,F) thin films on [001]-tilt MgO bicrystal substrates with misorientation angle theta_GB=6{\deg}, 12{\deg}, 24{\deg} and 45{\deg}, and their inter- and intra-grain transport properties. X-ray diffraction study confirmed that all our NdFeAs(O,F) films are epitaxially grown on the MgO bicrystals. The theta_GB dependence of the inter-grain critical current density Jc shows that, unlike Co-doped BaFe2As2 and Fe(Se,Te), its decay with theta_GB is rather significant. As a possible reason of this result, fluorine may have diffused preferentially to the grain boundary region and eroded the crystal structure.


title: On the Dispersal of Young Stellar Hierarchies

abstract: Hierarchical structure in young star fields has been demonstrated in a variety of ways, including two point correlation functions (TPCFs) that are power laws for spatial scales up to at least several hundred parsecs. As the stars age, this power law decreases in slope until it becomes nearly flat at ~100 Myr, at which point the hierarchical structure has disappeared. The fact that the TPCF remains nearly a power law during this time implies that the dispersal mechanism is somewhat independent of scale. This rules out dispersal by random stellar motions at either the local gas turbulent speed or a constant speed, because in both cases the hierarchy would disappear at small scales first, causing the TPCF to bend over. Destruction by shear has the right property as the shear rate in a galaxy is independent of scale for kpc-size regions, but shear converts the hierarchy into an azimuthal stream which still has a power-law TPCF. What does explain the observation is the overlapping of several independent hierarchies from successive generations of star formation in the same region. If stellar age is determined from magnitude intervals on the main sequence of a color-magnitude diagram, or if clusters ages are grouped together logarithmically into bins, then multiple generations will overlap more and more as the grouped populations age, and this overlap will lower the spatial correlations between group members. Models of these processes illustrate their relative roles in removing the appearance of young stellar hierarchies.


title: On the viscoplastic squeeze flow between two identical infinite circular cylinders

abstract: Direct numerical simulations of closely interacting infinite circular cylinders in a Bingham fluid are presented, and results compared to asymptotic solutions based on lubrication theory in the gap. Unlike for a Newtonian fluid, the macroscopic flow outside of the gap between the cylinders is shown to have a large effect on the pressure profile within the gap and the resulting lubrication force on the cylinders. The presented results indicate that the asymptotic lubrication solution can be used to predict the lubrication pressure only if the surrounding viscoplastic matrix is yielded by a macroscopic flow. This has implications for the use of sub-grid-scale lubrication models in simulations of non-colloidal particulate suspensions in viscoplastic fluids.


title: Learning a Virtual Codec Based on Deep Convolutional Neural Network to Compress Image

abstract: Although deep convolutional neural network has been proved to efficiently eliminate coding artifacts caused by the coarse quantization of traditional codec, it's difficult to train any neural network in front of the encoder for gradient's back-propagation. In this paper, we propose an end-to-end image compression framework based on convolutional neural network to resolve the problem of non-differentiability of the quantization function in the standard codec. First, the feature description neural network is used to get a valid description in the low-dimension space with respect to the ground-truth image so that the amount of image data is greatly reduced for storage or transmission. After image's valid description, standard image codec such as JPEG is leveraged to further compress image, which leads to image's great distortion and compression artifacts, especially blocking artifacts, detail missing, blurring, and ringing artifacts. Then, we use a post-processing neural network to remove these artifacts. Due to the challenge of directly learning a non-linear function for a standard codec based on convolutional neural network, we propose to learn a virtual codec neural network to approximate the projection from the valid description image to the post-processed compressed image, so that the gradient could be efficiently back-propagated from the post-processing neural network to the feature description neural network during training. Meanwhile, an advanced learning algorithm is proposed to train our deep neural networks for compression. Obviously, the priority of the proposed method is compatible with standard existing codecs and our learning strategy can be easily extended into these codecs based on convolutional neural network. Experimental results have demonstrated the advances of the proposed method as compared to several state-of-the-art approaches, especially at very low bit-rate.


title: Blind Estimation Algorithms for I/Q Imbalance in Direct Down-conversion Receivers

abstract: As known, receivers with in-phase and quadrature phase (I/Q) down conversion, especially direct-conversion architectures, always suffer from I/Q imbalance. I/Q imbalance is caused by amplitude and phase mismatch between I/Q paths. The performance degradation resulting from I/Q imbalance can not be mitigated with simply higher signal to noise ratio (SNR). Thus, I/Q imbalance compensation in the digital domain is critical. There are two main contributions in this paper. Firstly, we proposed a blind estimation algorithm for I/Q imbalance parameters based on joint first and second order statistics (FSS) which has lower complexity than conventional Gaussian maximum likelihood estimation (GMLE). This can be used for further processing such as equalization in the presence of receiver IQ imbalance. In addition, we find out the reason of the error floor in conventional I/Q imbalance compensation method based on the conjugate signal model (CSM). The proposed joint first order statistics and conjugate signal model (FSCSM) compensation algorithm can reach the ideal bit error rate (BER) performance.


title: Higher-twisted periodic smooth Deligne cohomology

abstract: Degree one twisting of Deligne cohomology, as a differential refinement of integral cohomology, was established in previous work. Here we consider higher degree twists. The Rham complex, hence de Rham cohomology, admits twists of any odd degree. However, in order to consider twists of integral cohomology we need a periodic version. Combining the periodic versions of both ingredients leads us to introduce a periodic form of Deligne cohomology. We demonstrate that this theory indeed admits a twist by a gerbe of any odd degree. We present the main properties of the new theory and illustrate its use with examples and computations, mainly via a corresponding twisted differential Atiyah-Hirzebruch spectral sequence.


title: Train Once, Test Anywhere: Zero-Shot Learning for Text Classification

abstract: Zero-shot Learners are models capable of predicting unseen classes. In this work, we propose a Zero-shot Learning approach for text categorization. Our method involves training model on a large corpus of sentences to learn the relationship between a sentence and embedding of sentence's tags. Learning such relationship makes the model generalize to unseen sentences, tags, and even new datasets provided they can be put into same embedding space. The model learns to predict whether a given sentence is related to a tag or not; unlike other classifiers that learn to classify the sentence as one of the possible classes. We propose three different neural networks for the task and report their accuracy on the test set of the dataset used for training them as well as two other standard datasets for which no retraining was done. We show that our models generalize well across new unseen classes in both cases. Although the models do not achieve the accuracy level of the state of the art supervised models, yet it evidently is a step forward towards general intelligence in natural language processing.


title: Nuclear skin and the curvature of the symmetry energy

abstract: The effect of correlations between the slope and the curvature of the symmetry energy on ground state nuclear observables is studied within the extended Thomas-Fermi approximation. We consider different isovector probes of the symmetry energy, with a special focus on the skin of $^{208}{\rm Pb}$. We use a recently proposed meta-modelling technique to generate a large number of equation of state models, where the empirical parameters are independently varied. The results are compared to a set of calculations using 17 different Skyrme interactions. We show that the curvature parameter plays a non-negligible role on the neutron skin, while the effect is reduced in Skyrme functionals because of the correlation with the slope parameter.


title: General rogue waves and their dynamics in several reverse time integrable nonlocal nonlinear equations

abstract: A study of general rogue waves in some integrable reverse time nonlocal nonlinear equations is presented. Specifically, the reverse time nonlocal nonlinear Schr\"odinger (NLS) and nonlocal Davey-Stewartson (DS) equations are investigated, which are nonlocal reductions from the AKNS hierarchy. By using Darboux transformation (DT) method, several types of rogue waves are constructed. Especially, a unified binary DT is found for this nonlocal DS system, thus the solution formulas for nonlocal DSI and DSII equation can be written in an uniform expression. Dynamics of these rogue waves is separately explored. It is shown that the (1+1)-dimensional rogue waves in nonlocal NLS equation can be bounded for both x and t, or develop collapsing singularities. It is also shown that the (1+2)-dimensional line rogue waves in the nonlocal DS equations can be bounded for all space and time, or have finite-time blowing-ups. All these types depend on the values of free parameters introduced in the solution. In addition, the dynamics patterns in the multi- and higher-order rogue waves exhibits more richer structures, most of which have no counterparts in the corresponding local nonlinear equations.


title: General t\^ete-\`a-t\^ete graphs and Seifert manifolds

abstract: T\^ete-\`a-t\^ete graphs and relative t\^ete-\`a-t\^ete graphs were introduced by N. A'Campo in 2010 to model monodromies of isolated plane curves. By recent workof Fdez de Bobadilla, Pe Pereira and the author, they provide a way of modeling the periodic mapping classes that leave some boundary component invariant. In this work we introduce the notion of general t\^ete-\`a-t\^ete graph and prove that they model all periodic mapping classes. We also describe algorithms that take a Seifert manifold and a horizontal surface and return a t\^ete-\`a-t\^ete graph and vice versa.


title: Do cosmological data rule out $f(\mathcal{R})$ with $w\neq-1$?

abstract: We review the Equation of State (EoS) approach to dark sector perturbations and apply it to $f(\mathcal{R})$ gravity models of dark energy. We show that the EoS approach is numerically stable and use it to set observational constraints on designer models. Within the EoS approach we build an analytical understanding of the dynamics of cosmological perturbations for the designer class of $f(\mathcal{R})$ gravity models, characterised by the parameter $B_0$ and the background equation of state of dark energy $w$. When we use the Planck Cosmic Microwave Background (CMB) temperature anisotropy, polarisation and lensing data as well as the Baryonic Acoustic Oscillation (BAO) data from SDSS and WiggleZ, we find $B_0<0.006$ (95\%CL) for the designer models with $w=-1$. Furthermore, we find $B_0<0.0045$ and $|w+1|<0.002$ (95\%CL) for the designer models with $w\neq -1$. Previous analyses found similar results for designer and Hu-Sawicki $f(\mathcal{R})$ gravity models using the Effective Field Theory (EFT) approach (Raveri et al. 2014, Hu et al. 2016), therefore this hints for the fact that generic $f(\mathcal{R})$ models with $w\neq-1$ can be tightly constrained by current cosmological data, complementary to solar system tests (Brax et al. 2008, Faulkner et al. 2007). When compared to a $w$CDM fluid with the same sound speed, we find that the equation of state for $f(\mathcal{R})$ models is better constrained to be close to -1 by about an order of magnitude, due to the strong dependence of the perturbations on $w$.


title: Photo-Hall, photorefractive and photomagnetoelectric effects in tungsten bronzes and related tetragonal ferroelectrics

abstract: We present an extensive study of the electric, magnetic and elastic responses of tetragonal ferroelectrics under illumination, using a new theory intertwining material and wave symmetries. Optical rectification, photomagnetic, photovoltaic and phototoroidal vector responses are worked out as functions of the wave vector and wave polarization directions. Second-order response tensors associated with photoelastic, photomagnetoelectric, photorefractive effects and photoconductivity are described. We discuss in detail the photo-Hall and a new non-linear optical effect in tungsten bronzes. Finally, we compare the properties of tetragonal materials with those of hexagonal, orthorhombic and trigonal ferroelectrics previously reported in the literature.


title: Hybrid chiral domain walls and skyrmions in magnetic multilayers

abstract: Noncollinear spin textures in ferromagnetic ultrathin films are currently the subject of renewed interest since the discovery of the interfacial Dzyaloshinskii-Moriya interaction (DMI). This antisymmetric exchange interaction selects a given chirality for the spin textures and allows stabilising configurations with nontrivial topology. Moreover, it has many crucial consequences on the dynamical properties of these topological structures, including chiral domain walls (DWs) and magnetic skyrmions. In the recent years the study of noncollinear spin textures has been extended from single ultrathin layers to magnetic multilayers with broken inversion symmetry. This extension of the structures in the vertical dimension allows very efficient current-induced motion and room-temperature stability for both N\'eel DWs and skyrmions. Here we show how in such multilayered systems the interlayer interactions can actually lead to more complex, hybrid chiral magnetisation arrangements. The described thickness-dependent reorientation of DWs is experimentally confirmed by studying demagnetised multilayers through circular dichroism in x-ray resonant magnetic scattering. We also demonstrate a simple yet reliable method for determining the magnitude of the DMI from static domains measurements even in the presence of these hybrid chiral structures, by taking into account the actual profile of the DWs. The advent of these novel hybrid chiral textures has far-reaching implications on how to stabilise and manipulate DWs as well as skymionic structures in magnetic multilayers.


title: The scattering of a scalar beam from isotropic and anisotropic two-dimensional randomly rough Dirichlet or Neumann surfaces: The full angular intensity distributions

abstract: By the use of Green's second integral identity we determine the field scattered from a two-dimensional randomly rough isotropic or anisotropic Dirichlet or Neumann surface when it is illuminated by a scalar Gaussian beam. The integral equations for the scattering amplitudes are solved nonperturbatively by a rigorous computer simulation approach. The results of these calculations are used to calculate the full angular distribution of the mean differential reflection coefficient. For isotropic surfaces, the results of the present calculations for in-plane scattering are compared with those of earlier studies of this problem. The reflectivities of Dirichlet and Neumann surfaces are calculated as functions of the polar angle of incidence, and the reflectiveties for the two kinds of surfaces of similar roughness parameters are found to be different. For an increasing level of surface anisotropy, we study how the angular intensity distributions of the scattered waves are affected by this level. We find that even small to moderate levels of surface anisotropy can significantly alter the symmetry, shape, and amplitude of the scattered intensity distributions when Gaussian beams are incident on the anisotropic surfaces from different azimuthal angles of incidence.


title: The Muon g-2 Experiment Overview and Status

abstract: The Muon g-2 experiment at Fermilab will measure the anomalous magnetic moment of the muon to a precision of 140 parts per billion, which is a factor of four improvement over the previous E821 measurement at Brookhaven. The experiment will also extend the search for the muon electric dipole moment (EDM) by approximately two orders of magnitude. Both of these measurements are made by combining a precise measurement of the 1.45T storage ring magnetic field with an analysis of the modulation of the decay rate of the higher-energy positrons from the (anti-)muon decays recorded by 24 calorimeters and 3 straw tracking detectors. The current status of the experiment as well as results from the initial beam delivery and commissioning run in the summer of 2017 will be discussed.


title: Algebraic cycles on certain hyperkaehler fourfolds with an order $3$ non-symplectic automorphism

abstract: Let $X$ be a hyperk\"ahler variety, and assume $X$ has a non-symplectic automorphism $\sigma$ of order $>{1\over 2}\dim X$. Bloch's conjecture predicts that the quotient $X/<\sigma>$ should have trivial Chow group of $0$-cycles. We verify this for Fano varieties of lines on certain special cubic fourfolds having an order $3$ non--symplectic automorphism.


title: Algebraic cycles on a very special EPW sextic

abstract: Motivated by the Beauville-Voisin conjecture about Chow rings of powers of $K3$ surfaces, we consider a similar conjecture for Chow rings of powers of EPW sextics. We prove part of this conjecture for the very special EPW sextic studied by Donten-Bury et alii. We also prove some other results concerning the Chow groups of this very special EPW sextic, and of certain related hyperk\"ahler fourfolds.


title: Algebraic cycles and EPW cubes

abstract: Let $X$ be a hyperk\"ahler variety with an anti-symplectic involution $\iota$. According to Beauville's conjectural "splitting property", the Chow groups of $X$ should split in a finite number of pieces such that the Chow ring has a bigrading. The Bloch-Beilinson conjectures predict how $\iota$ should act on certain of these pieces of the Chow groups. We verify part of this conjecture for a $19$-dimensional family of hyperk\"ahler sixfolds that are "double EPW cubes" (in the sense of Iliev-Kapustka-Kapustka-Ranestad). This has interesting consequences for the Chow ring of the quotient $X/\iota$, which is an "EPW cube" (in the sense of Iliev-Kapustka-Kapustka-Ranestad).


title: GBDT of discrete skew-selfadjoint Dirac systems and explicit solutions of the corresponding non-stationary problems

abstract: Generalized B\"acklund-Darboux transformations (GBDTs) of discrete skew-selfadjoint Dirac systems have been successfully used for explicit solving of direct and inverse problems of Weyl-Titchmarsh theory. During explicit solving of the direct and inverse problems, we considered GBDTs of the trivial initial systems. However, GBDTs of arbitrary discrete skew-selfadjoint Dirac systems are important as well and we introduce these transformations in the present paper. The obtained results are applied to the construction of explicit solutions of the interesting related non-stationary systems.


title: Thermoplasticity as a nonsmooth phenomenon

abstract: This paper develops the multisymplectic formulation of nonsmooth elastoplastic phenomena, where the plastic deformation and the associated thermodynamic entropy evolve by jumps.


title: Assessing virtualization effects in simulations of distributed robotics

abstract: In this work, our aim is to identify whether the choice of virtualization strategy influences the performance of simulations in robotics. Performance is quantified in the error between a reference trajectory and the actual trajectory for the ball moving along the surface of a smooth plate. The two-sample Kolmogorov-Smirnov test is used to assess significance of variations in performance under the different experimental settings. Our results show that the selection of virtualization technology does have a significant effect on simulation, and moreover this effect can be amplified by the use of some operating systems. While these results are a strong cause for caution, they also provide reason for optimism for those considering 'repeatable robotics research' using virtualization.


title: Priority Rules on ATN (PRT) Intersections

abstract: In Autonomous Transit Networks some basic elements influence the throughput: network structure, maximum velocity, number of vehicles etc. Other parameters like station structure, dynamic routing or vehicle behavior on intersections play minor role. Yet in highly congested nets, when vehicles interfere in the traffic, some subtle decisions may influence overall system ridership. We tested the impact of intersection priority rules on passenger waiting time, which measures the throughput. The dependence occurred its relevance in a crowded network.


title: Mixed t\^ete-\`a-t\^ete twists as monodromies associated with holomorphic function germs

abstract: T\^ete-\`a-t\^ete graphs were introduced by N. A'Campo in 2010 with the goal of modeling the monodromy of isolated plane curves. Mixed t\^ete-\`a-t\^ete graphs provide a generalization which define mixed t\^ete-\`a-t\^ete twists, which are pseudo-periodic automorphisms on surfaces. We characterize the mixed t\^ete-\`a-t\^ete twists as those pseudo-periodic automorphisms that have a power which is a product of right-handed Dehn twists around disjoint simple closed curves, including all boundary components. It follows that the class of t\^ete-\`a-t\^ete twists coincides with that of monodromies associated with reduced function germs on isolated complex surface singularities.


title: Joint Data-Aided Carrier Frequency Offset, Phase Offset, Amplitude and SNR Estimation for Millimeter-Wave MIMO Systems

abstract: This work is devoted to solve the problem of estimating the carrier frequency offset, phase offset, amplitude, and SNR between two mmWave transceivers. The Cram\'{e}r-Rao Lower Bound (CRLB) for the different parameters is provided first, as well as the condition for the CRLB to exist, known as Regularity Condition. Thereafter, the problem of finding suitable estimators for the parameters is adressed, for which the proposed solution is the Maximum Likelihood estimator (ML).


title: Using Machine Learning to Enhance Vehicles Traffic in ATN (PRT) Systems

abstract: This paper discusses new techniques to enhance Automated Transit Networks (ATN, previously called Personal Rapid Transit - PRT) based on Artificial Intelligence tools. The main direction is improvement of the cooperation of autonomous modules that use negotiation protocols, following the IoT paradigm. One of the goals is to increase ATN system throughput by tuning up autonomous vehicles cooperation. Machine learning (ML) was used to improve algorithms designed by human programmers. We used "existing controls" corresponding to near-optimal solutions and built refinement models to more accurately relate a system's dynamics to its performance. A mechanism that mostly influences ATN performance is Empty Vehicle Management (EVM). The algorithms designed by human programmers was used: calls to empty vehicles for waiting passengers and balancing based on reallocation of empty vehicles to achieve better regularity of their settlement. In this paper we discuss how we can improve these algorithms (and tune them to current conditions) by using ML to tailor individual behavioral policies. Using ML techniques was possible because our algorithm is based on a set of parameters. A number of weights and thresholds could be tuned up to give better decisions on moving empty vehicles across the track.


title: High pressure electron spin resonance of the endohedral fullerene $^{15}\mathrm{N@C}_{60}$

abstract: We measure the electron spin resonance spectrum of the endohedral fullerene molecule $^{15}\mathrm{N@C}_{60}$ at pressures ranging from atmospheric pressure to 0.25 GPa, and find that the hyperfine coupling increases linearly with pressure. We present a model based on van der Waals interactions, which accounts for this increase via compression of the fullerene cage and consequent admixture of orbitals with a larger hyperfine coupling. Combining this model with theoretical estimates of the bulk modulus, we predict the pressure shift and compare it to our experimental results, finding fair agreement given the spread in estimates of the bulk modulus. The spin resonance linewidth is also found to depend on pressure. This is explained by considering the pressure-dependent viscosity of the solvent, which modifies the effect of dipolar coupling between spins within fullerene clusters.


title: Sulphur monoxide exposes a potential molecular disk wind from the planet-hosting disk around HD100546

abstract: Sulphur-bearing volatiles are observed to be significantly depleted in interstellar and circumstellar regions. This missing sulphur is postulated to be mostly locked up in refractory form. With ALMA we have detected sulphur monoxide (SO), a known shock tracer, in the HD 100546 protoplanetary disk. Two rotational transitions: $J=7_{7}-6_{6}$ (301.286 GHz) and $J=7_8-6_7$ (304.078 GHz) are detected in their respective integrated intensity maps. The stacking of these transitions results in a clear 5$\sigma$ detection in the stacked line profile. The emission is compact but is spectrally resolved and the line profile has two components. One component peaks at the source velocity and the other is blue-shifted by 5 km s$^{-1}$. The kinematics and spatial distribution of the SO emission are not consistent with that expected from a purely Keplerian disk. We detect additional blue-shifted emission that we attribute to a disk wind. The disk component was simulated using LIME and a physical disk structure. The disk emission is asymmetric and best fit by a wedge of emission in the north east region of the disk coincident with a `hot-spot' observed in the CO $J=3-2$ line. The favoured hypothesis is that a possible inner disk warp (seen in CO emission) directly exposes the north-east side of the disk to heating by the central star, creating locally the conditions to launch a disk wind. Chemical models of a disk wind will help to elucidate why the wind is particularly highlighted in SO emission and whether a refractory source of sulphur is needed. An alternative explanation is that the SO is tracing an accretion shock from a circumplanetary disk associated with the proposed protoplanet embedded in the disk at 50 au. We also report a non-detection of SO in the protoplanetary disk around HD 97048.


title: Graph partitioning using matrix differential equations

abstract: Given a connected undirected weighted graph, we are concerned with problems related to partitioning the graph. First of all we look for the closest disconnected graph (the minimum cut problem), here with respect to the Euclidean norm. We are interested in the case of constrained minimum cut problems, where constraints include cardinality or membership requirements, which leads to NP-hard combinatorial optimization problems. Furthermore, we are interested in ambiguity issues, that is in the robustness of clustering algorithms that are based on Fiedler spectral partitioning. The above-mentioned problems are restated as matrix nearness problems for the weight matrix of the graph. A key element in the solution of these matrix nearness problems is the use of a constrained gradient system of matrix differential equations.


title: Kahler manifolds with some Killing tensors

abstract: The aim of this paper is to classify compact, simply connected K\"ahler manifolds which admit J-invariant Killing tensor with two eigenvalues of multiplicity 2 and n-2 and with constant eigenvalue corresponding to 2-dimensional eigendistribution.


title: Compactifications of manifolds with boundary

abstract: This paper is concerned with "nice" compactifications of manifolds. Siebenmann's iconic dissertation characterized open manifolds M^m (m>5) compactifiable by addition of a manifold boundary. His theorem extends easily to cases where M^m is noncompact with compact boundary; however, when Bd(M^m) is noncompact, the situation is more complicated. The goal becomes a "completion" of M^m, ie, a compact manifold C^m and a compact subset A such that C^m\A = M^m. Siebenmann did some initial work on this topic, and O'Brien extended that work to an important special case. But, until now, a complete characterization had yet to emerge. We provide such a characterization. Our second main theorem involves Z-compactifications. An open question asks whether a well-known set of conditions laid out by Chapman and Siebenmann guarantee Z-compactifiability for a manifold M^m. We cannot answer that question, but we do show that those conditions are satisfied if and only if M x [0,1] is Z-compactifiable. A key ingredient is the above Manifold Completion Theorem---an application that partly explains our current interest in that topic, and also illustrates the utility of the conditions found in that theorem.


title: Individual heterogeneity generates explosive system network dynamics

abstract: Individual heterogeneity is a key characteristic of many real-world systems, from organisms to humans. However its role in determining the system's collective dynamics is typically not well understood. Here we study how individual heterogeneity impacts the system network dynamics by comparing linking mechanisms that favor similar or dissimilar individuals. We find that this heterogeneity-based evolution can drive explosive network behavior and dictates how a polarized population moves toward consensus. Our model shows good agreement with data from both biological and social science domains. We conclude that individual heterogeneity likely plays a key role in the collective development of real-world networks and communities, and cannot be ignored.


title: Taming Wild High Dimensional Text Data with a Fuzzy Lash

abstract: The bag of words (BOW) represents a corpus in a matrix whose elements are the frequency of words. However, each row in the matrix is a very high-dimensional sparse vector. Dimension reduction (DR) is a popular method to address sparsity and high-dimensionality issues. Among different strategies to develop DR method, Unsupervised Feature Transformation (UFT) is a popular strategy to map all words on a new basis to represent BOW. The recent increase of text data and its challenges imply that DR area still needs new perspectives. Although a wide range of methods based on the UFT strategy has been developed, the fuzzy approach has not been considered for DR based on this strategy. This research investigates the application of fuzzy clustering as a DR method based on the UFT strategy to collapse BOW matrix to provide a lower-dimensional representation of documents instead of the words in a corpus. The quantitative evaluation shows that fuzzy clustering produces superior performance and features to Principal Components Analysis (PCA) and Singular Value Decomposition (SVD), two popular DR methods based on the UFT strategy.


title: Newtonian fluid flow in a thin porous medium with non-homogeneous slip boundary conditions

abstract: We consider the Stokes system in a thin porous medium $\Omega_\varepsilon$ of thickness $\varepsilon$ which is perforated by periodically distributed solid cylinders of size $\varepsilon$. On the boundary of the cylinders we prescribe non-homogeneous slip boundary conditions depending on a parameter $\gamma$. The aim is to give the asymptotic behavior of the velocity and the pressure of the fluid as $\varepsilon$ goes to zero. Using an adaptation of the unfolding method, we give, following the values of $\gamma$, different limit systems.


title: Characterizing Political Fake News in Twitter by its Meta-Data

abstract: This article presents a preliminary approach towards characterizing political fake news on Twitter through the analysis of their meta-data. In particular, we focus on more than 1.5M tweets collected on the day of the election of Donald Trump as 45th president of the United States of America. We use the meta-data embedded within those tweets in order to look for differences between tweets containing fake news and tweets not containing them. Specifically, we perform our analysis only on tweets that went viral, by studying proxies for users' exposure to the tweets, by characterizing accounts spreading fake news, and by looking at their polarization. We found significant differences on the distribution of followers, the number of URLs on tweets, and the verification of the users.


title: Generalized Gelation Theory describes Human Online Aggregation in support of Extremism

abstract: Though many aggregation theories exist for physical, chemical and biological systems, they do not account for the significant heterogeneity found, for example, in populations of living objects. This is unfortunate since understanding how heterogeneous individuals come together in support of an extremist cause, for example, represents an urgent societal problem. Here we develop such a theory and show that the intrinsic population heterogeneity can significantly delay the gel transition point and change the gel's growth rate. We apply our theory to examine how humans aggregate online in support of a particular extremist cause. We show that the theory provides an accurate description of the online extremist support for ISIS (so-called Islamic State) which started in late 2014.

categories: physics.soc-ph cond-mat.dis-nn nlin.AO physics.pop-ph


title: Status of the Theoretical Calculation of Nuclear Electric Dipole Moment

abstract: The electric dipole moment is a very sensitive probe of CP violation beyond the standard model. Light nuclei are particularly interesting since the CP violation may be enhanced by nuclear many-body effects. In this proceeding, we present the current status of the theoretical evaluations of the electric dipole moment of light nuclei in the ab initio approach and in the cluster model. We add the preliminary result of the evaluation of the electric dipole moment of $^7$Li which is treated in a cluster model with a triton.


title: Chiral Magnetic Effect in the Dirac-Heisenberg-Wigner formalism

abstract: The emergence of the Chiral Magnetic Effect (CME) and the related anomalous current is investigated using the real time Dirac-Heisenberg-Wigner formalism. This method is widely used for describing strong field physics and QED vacuum tunneling phenomena as well as pair-production in heavy-ion collisions. We extend earlier investigations of the CME in constant fluxtube configuration by considering time dependent fields. In our model we can follow the formation of axial charge separation, formation of axial current and then the emergence of the anomalous electric current. Qualitative results are shown for special field configurations that help interpret the predictions of CME related effects in heavy-ion collisions in the RHIC Beam Energy Scan program.


title: Observations of an Eruptive Solar Flare in the Extended EUV Solar Corona

abstract: We present observations of a powerful solar eruption, accompanied by an X8.2 solar flare, from NOAA Active Region 12673 on 2017 September 10 by the Solar Ultraviolet Imager (SUVI) on the GOES-16 spacecraft. SUVI is noteworthy for its relatively large field of view, which allows it to image solar phenomena to heights approaching 2 solar radii. These observations include the detection of an apparent current sheet associated with magnetic reconnection in the wake of the eruption and evidence of an extreme-ultraviolet wave at some of the largest heights ever reported. We discuss the acceleration of the nascent coronal mass ejection to approximately 2000 km/s at about 1.5 solar radii. We compare these observations with models of eruptions and eruption-related phenomena. We also describe the SUVI data and discuss how the scientific community can access SUVI observations of the event.


title: Self-generated gradients stabilize the hydrodynamic instabilities in active suspensions

abstract: Ordered phases emerged in active suspensions of polar swimmers are under long-wavelength hydrodynamic mediated instabilities. In this letter, we show that chemical molecules dissolved in aqueous suspensions, as an unavoidable part of most wet active systems, can mediate long-range interactions and subsequently stabilize the ordered phases. Chemoattractant in living suspensions and dissolved molecules producing phoretic forces in synthesized Janus suspensions are reminiscent of such molecules. Communication between swimmers through the gradients of such chemicals generated by individual swimmers, is the foundation of this stabilization mechanism. To classify the stable states of such active systems, we investigate the detailed phase diagrams for two classes of systems with momentum conserving and non-conserving dynamics. Our linear stability analysis shows how the stabilization mechanism can work for swimmers with different dynamical properties, e.g., pushers or pullers and with various static characteristics, e.g., spherical, oblate or prolate geometries.


title: Nonlinear Reynolds equations for non-Newtonian thin-film fluid flows over a rough boundary

abstract: We consider a non-Newtonian fluid flow in a thin domain with thickness $\eta_\varepsilon$ and an oscillating top boundary of period $\varepsilon$. The flow is described by the 3D incompressible Navier-Stokes system with a nonlinear viscosity, being a power of the shear rate (power law) of flow index $p$, with $9/5\leq p<+\infty$. We consider the limit when the thickness tends to zero and we prove that the three characteristic regimes for Newtonian fluids are still valid for non-Newtonian fluids, i.e. Stokes roughness ($\eta_\varepsilon\approx \varepsilon$), Reynolds roughness ($\eta_\varepsilon\ll \varepsilon$) and high-frequency roughness ($\eta_\varepsilon\gg \varepsilon$) regime. Moreover, we obtain different nonlinear Reynolds type equations in each case.


title: How well does your sampler really work?

abstract: We present a new data-driven benchmark system to evaluate the performance of new MCMC samplers. Taking inspiration from the COCO benchmark in optimization, we view this task as having critical importance to machine learning and statistics given the rate at which new samplers are proposed. The common hand-crafted examples to test new samplers are unsatisfactory; we take a meta-learning-like approach to generate benchmark examples from a large corpus of data sets and models. Surrogates of posteriors found in real problems are created using highly flexible density models including modern neural network based approaches. We provide new insights into the real effective sample size of various samplers per unit time and the estimation efficiency of the samplers per sample. Additionally, we provide a meta-analysis to assess the predictive utility of various MCMC diagnostics and perform a nonparametric regression to combine them.


title: Wigner crystallization in topological flat bands

abstract: We study the Wigner crystallization on partially filled topological flat bands. We identify the Wigner crystals by analyzing the cartesian and angular Fourier transform of the pair correlation density of the many-body ground state obtained using exact diagonalization. The crystallization strength measured by the magnitude of the Fourier peaks, increases with decreasing particle density. The shape of the resulting Wigner crystals is determined by the boundary conditions of the chosen plaquette and to a large extent independent on the underlying lattice, including its topology, and follows the behavior of classical point particles.


title: Fermi level and bands offsets determination in insulating (Ga,Mn)N/GaN structures

abstract: The Fermi level position in (Ga,Mn)N has been determined from the period-analysis of GaN-related Franz-Keldysh oscillation obtained by contactless electroreflectance in a series of carefully prepared by molecular beam epitaxy GaN/Ga1-xMnxN/GaN(template) bilayers of various Mn concentration x. It is shown that the Fermi level in (Ga,Mn)N is strongly pinned in the middle of the band gap and the thickness of the depletion layer is negligibly small. For x > 0.1% the Fermi level is located about 1.25 - 1.55 eV above the valence band, that is very close to, but visibly below the Mn-related Mn2+/Mn3+ impurity band. The accumulated data allows us to estimate the Mn-related band offsets at the (Ga,Mn)N/GaN interface. It is found that most of the band gap change in (Ga,Mn)N takes place in the valence band on the absolute scale and amounts to -0.028+-0.008 eV/% Mn. The strong Fermi level pinning in the middle of the band gap, no carrier conductivity within the Mn-related impurity band, and a good homogeneity enable a novel functionality of (Ga,Mn)N as a semi-insulating buffer layers for applications in GaN-based heterostuctures.


title: Population polarization dynamics and next-generation social media algorithms

abstract: We present a many-body theory that explains and reproduces recent observations of population polarization dynamics, is supported by controlled human experiments, and addresses the controversy surrounding the Internet's impact. It predicts that whether and how a population becomes polarized is dictated by the nature of the underlying competition, rather than the validity of the information that individuals receive or their online bubbles. Building on this framework, we show that next-generation social media algorithms aimed at pulling people together, will instead likely lead to an explosive percolation process that generates new pockets of extremes.


title: A Siegel-Weil formula for $(U(1,1), U(V))$ over a function field with $\dim V$ greater than 2

abstract: We establish a Siegel-Weil formula for the dual pair $(U(1,1), U(V))$ over a function field, where $V$ is a hermitian space of dimension greater than 2.


title: The influence of noise on two- and three-frequency quasi-periodicity in a simple model system

abstract: We discuss the effect of noise on a system with a quasi-periodicity of different dimensions. As the basic model of our research we use the simplest three-dimensional map with two-frequency and three-frequency quasi-periodicity. Modification of the dynamical regimes at the influence of noise is considered with the help of Lyapunov chart method. The transformation of Lyapunov exponents plots characteristic for the quasi-periodic Hopf bifurcation of 3-torus birth at the presence of noise is examined.


title: Hybrid Local-Order Mechanism for Inversion Symmetry Breaking

abstract: Using classical Monte Carlo simulations, we study a simple statistical mechanical model of relevance to the emergence of polarisation from local displacements on the square and cubic lattices. Our model contains two key ingredients: a Kitaev-like orientation-dependent interaction between nearest neighbours, and a steric term that acts between next-nearest neighbours. Taken by themselves, each of these two ingredients is incapable of driving long-range symmetry breaking, despite the presence of a broad feature in the corresponding heat capacity functions. Instead each component results in a "hidden" transition on cooling to a manifold of degenerate states, the two manifolds are different in the sense that they reflect distinct types of local order. Remarkably, their intersection---\emph{i.e.} the ground state when both interaction terms are included in the Hamiltonian---supports a spontaneous polarisation. In this way, our study demonstrates how local ordering mechanisms might be combined to break global inversion symmetry in a manner conceptually similar to that operating in the "hybrid" improper ferroelectrics. We discuss the relevance of our analysis to the emergence of spontaneous polarisation in well-studied ferroelectrics such as BaTiO$_3$ and KNbO$_3$.


title: Compositional abstraction refinement for control synthesis

abstract: This paper presents a compositional approach to specification-guided abstraction refinement for control synthesis of a nonlinear system associated with a method to over-approximate its reachable sets. Given an initial coarse partition of the state space, the control specification is given as a sequence of the cells of this partition to visit at each sampling time. The dynamics are decomposed into subsystems where some states and inputs are not observed, some states are observed but not controlled and where assume-guarantee obligations are used on the uncontrolled states of each subsystem. A finite abstraction is created for each subsystem through a refinement procedure starting from a coarse partition of the state space, then proceeding backwards on the specification sequence to iteratively split the elements of the partition whose coarseness prevents the satisfaction of the specification. Each refined abstraction is associated with a controller and it is proved that combining these local controllers can enforce the specification on the original system. The efficiency of the proposed approach compared to other abstraction methods is illustrated in a numerical example.


title: Hierarchical decomposition of LTL synthesis problem for nonlinear control systems

abstract: This paper deals with the control synthesis problem for a continuous nonlinear dynamical system under a Linear Temporal Logic (LTL) formula. The proposed solution is a top-down hierarchical decomposition of the control problem involving three abstraction layers of the problem, iteratively solved from the coarsest to the finest. The LTL planning is first solved on a small transition system only describing the regions of interest involved in the LTL formula. For each pair of consecutive regions of interest in the resulting accepting path satisfying the LTL formula, a discrete plan is then constructed in the partitioned workspace to connect these two regions while avoiding unsafe regions. Finally, an abstraction refinement approach is applied to synthesize a controller for the dynamical system to follow each discrete plan. The second main contribution, used in the third abstraction layer, is a new monotonicity-based method to over-approximate the finite-time reachable set of any continuously differentiable system. The proposed framework is demonstrated in simulation for a motion planning problem of a mobile robot modeled as a disturbed unicycle.


title: StackInsights: Cognitive Learning for Hybrid Cloud Readiness

abstract: Hybrid cloud is an integrated cloud computing environment utilizing a mix of public cloud, private cloud, and on-premise traditional IT infrastructures. Workload awareness, defined as a detailed full range understanding of each individual workload, is essential in implementing the hybrid cloud. While it is critical to perform an accurate analysis to determine which workloads are appropriate for on-premise deployment versus which workloads can be migrated to a cloud off-premise, the assessment is mainly performed by rule or policy based approaches. In this paper, we introduce StackInsights, a novel cognitive system to automatically analyze and predict the cloud readiness of workloads for an enterprise. Our system harnesses the critical metrics across the entire stack: 1) infrastructure metrics, 2) data relevance metrics, and 3) application taxonomy, to identify workloads that have characteristics of a) low sensitivity with respect to business security, criticality and compliance, and b) low response time requirements and access patterns. Since the capture of the data relevance metrics involves an intrusive and in-depth scanning of the content of storage objects, a machine learning model is applied to perform the business relevance classification by learning from the meta level metrics harnessed across stack. In contrast to traditional methods, StackInsights significantly reduces the total time for hybrid cloud readiness assessment by orders of magnitude.


title: The Thales experiment

abstract: A few thoughts on physical meaning of geometry, space and time.


title: Guaranteed error control bounds for the stabilised space-time IgA approximations to parabolic problems

abstract: The paper is concerned with space-time IgA approximations of parabolic initial-boundary value problems. We deduce guaranteed and fully computable error bounds adapted to special features of IgA approximations and investigate their applicability. The derivation method is based on the analysis of respective integral identities and purely functional arguments. Therefore, the estimates do not contain mesh-dependent constants and are valid for any approximation from the admissible (energy) class. In particular, they provide computable error bounds for norms associated with stabilised space-time IgA approximations as well as imply efficient error indicators enhancing the performance of fully adaptive solvers. The last section of the paper contains a series of numerical examples where approximate solutions are recovered by IgA techniques. The mesh refinement algorithm is governed by a local error indicator generated by the error majorant. Numerical results discussed in the last section illustrate both reliability, as well as the quantitative efficiency of the error estimates presented.


title: Predicting the dissolution kinetics of silicate glasses using machine learning

abstract: Predicting the dissolution rates of silicate glasses in aqueous conditions is a complex task as the underlying mechanism(s) remain poorly understood and the dissolution kinetics can depend on a large number of intrinsic and extrinsic factors. Here, we assess the potential of data-driven models based on machine learning to predict the dissolution rates of various aluminosilicate glasses exposed to a wide range of solution pH values, from acidic to caustic conditions. Four classes of machine learning methods are investigated, namely, linear regression, support vector machine regression, random forest, and artificial neural network. We observe that, although linear methods all fail to describe the dissolution kinetics, the artificial neural network approach offers excellent predictions, thanks to its inherent ability to handle non-linear data. Overall, we suggest that a more extensive use of machine learning approaches could significantly accelerate the design of novel glasses with tailored properties.


title: $J/\psi$ regeneration in a hadron gas: an update

abstract: In heavy ion collisions after the quark-gluon plasma there is a hadronic gas phase. Using effective Lagrangians we study the interactions of charmed mesons which lead to $J/\psi$ production and absorption in this gas. We update and extend previous calculations introducing strange meson interactions and also including the interactions mediated by the recently measured exotic charmonium resonances $Z(3900)$ and $Z(4025)$. These resonances open new reaction channels for the $J/\psi$, which could potentially lead to changes in its multiplicity. We compute the $J/\psi$ production cross section in processes such as $D_{(s)}^{(*)} + \bar{D}^{(*)} \to J/\psi + (\pi, \rho, K, K^{\ast})$ and also the $J/\psi$ absorption cross section in the corresponding inverse processes. Using the obtained cross sections as input to solve the rate equation, we conclude that the interactions in the hadron gas phase do not significantly affect the $J/\Psi$ abundance. In other words, there is neither a charmonium suppression nor charmonium regeneration from light mesons in the hadronic phase.


title: An ILP Solver for Multi-label MRFs with Connectivity Constraints

abstract: Integer Linear Programming (ILP) formulations of Markov random fields (MRFs) models with global connectivity priors were investigated previously in computer vision, e.g., \cite{globalinter,globalconn}. In these works, only Linear Programing (LP) relaxations \cite{globalinter,globalconn} or simplified versions \cite{graphcutbase} of the problem were solved. This paper investigates the ILP of multi-label MRF with exact connectivity priors via a branch-and-cut method, which provably finds globally optimal solutions. The method enforces connectivity priors iteratively by a cutting plane method, and provides feasible solutions with a guarantee on sub-optimality even if we terminate it earlier. The proposed ILP can be applied as a post-processing method on top of any existing multi-label segmentation approach. As it provides globally optimal solution, it can be used off-line to generate ground-truth labeling, which serves as quality check for any fast on-line algorithm. Furthermore, it can be used to generate ground-truth proposals for weakly supervised segmentation. We demonstrate the power and usefulness of our model by several experiments on the BSDS500 and PASCAL image dataset, as well as on medical images with trained probability maps.


title: Bendable Cuboid Robot Path Planning with Collision Avoidance using Generalized $L_p$ Norms

abstract: Optimal path planning problems for rigid and deformable (bendable) cuboid robots are considered by providing an analytic safety constraint using generalized $L_p$ norms. For regular cuboid robots, level sets of weighted $L_p$ norms generate implicit approximations of their surfaces. For bendable cuboid robots a weighted $L_p$ norm in polar coordinates implicitly approximates the surface boundary through a specified level set. Obstacle volumes, in the environment to navigate within, are presumed to be approximately described as sub-level sets of weighted $L_p$ norms. Using these approximate surface models, the optimal safe path planning problem is reformulated as a two stage optimization problem, where the safety constraint depends on a point on the robot which is closest to the obstacle in the obstacle's distance metric. A set of equality and inequality constraints are derived to replace the closest point problem, which is then defines additional analytic constraints on the original path planning problem. Combining all the analytic constraints with logical AND operations leads to a general optimal safe path planning problem. Numerically solving the problem involve conversion to a nonlinear programing problem. Simulations for rigid and bendable cuboid robot verify the proposed method.


title: Homogeneous finitely presented monoids of linear growth

abstract: If a finitely generated monoid M is defined by a finite number of degree-preserving relations, then it has linear growth if and only if it can be decomposed into a finite disjoint union of subsets (which we call "sandwiches") of the form $a<w>b$, where $a,b,w$ are elements of $M$ and $<w>$ denotes the monogenic semigroup generated by $w$. Moreover, the decomposition can be chosen in such a way that the sandwiches are either singletons or "free" ones (meaning that all elements $a w^n b$ in each sandwich are pairwise different). So, the minimal number of free sandwiches in such a decomposition is a numerical invariant of a homogeneous (and conjecturally, non-homogeneous) finitely presented monoid of linear growth.


title: Log-correlated Random Energy Models with extensive free energy fluctuations: pathologies caused by rare events as signatures of phase transitions

abstract: We address systematically an apparent non-physical behavior of the free energy moment generating function for several instances of the logarithmically correlated models: the Fractional Brownian Motion with Hurst index $H = 0$ (fBm0) (and its bridge version), a 1D model appearing in decaying Burgers turbulence with log-correlated initial conditions, and finally, the two-dimensional logREM introduced in [Cao et al., Phys.Rev.Lett.,118,090601] based on the 2D Gaussian free field (GFF) with background charges and directly related to the Liouville field theory. All these models share anomalously large fluctuations of the associated free energy, with a variance proportional to the log of the system size. We argue that a seemingly non-physical vanishing of the moment generating function for some values of parameters is related to the termination point transition (a.k.a pre-freezing). We study the associated universal log corrections in the frozen phase, both for log-REMs and for the standard REM, filling a gap in the literature. For the above mentioned integrable instances of logREMs, we predict the non-trivial free energy cumulants describing non-Gaussian fluctuations on the top of the Gaussian with extensive variance. Some of the predictions are tested numerically.

categories: cond-mat.stat-mech cond-mat.dis-nn math-ph math.MP


title: Quantum implications of a scale invariant regularisation

abstract: We study scale invariance at the quantum level (three loops) in a perturbative approach. For a scale-invariant classical theory the scalar potential is computed at three-loop level while keeping manifest this symmetry. Spontaneous scale symmetry breaking is transmitted at quantum level to the visible sector (of $\phi$) by the associated Goldstone mode (dilaton $\sigma$) which enables a scale-invariant regularisation and whose vev $\langle\sigma\rangle$ generates the subtraction scale ($\mu$). While the hidden ($\sigma$) and visible sector ($\phi$) are classically decoupled in $d=4$ due to an enhanced Poincar\'e symmetry, they interact through (a series of) evanescent couplings $\propto\epsilon^k$, ($k\geq 1$), dictated by the scale invariance of the action in $d=4-2\epsilon$. At the quantum level these couplings generate new corrections to the potential, such as scale-invariant non-polynomial effective operators $\phi^{2n+4}/\sigma^{2n}$ and also log-like terms ($\propto \ln^k \sigma$) restoring the scale-invariance of known quantum corrections. The former are comparable in size to "standard" loop corrections and important for values of $\phi$ close to $\langle\sigma\rangle$. For $n=1,2$ the beta functions of their coefficient are computed at three-loops. In the infrared (IR) limit the dilaton fluctuations decouple, the effective operators are suppressed by large $\langle\sigma\rangle$ and the effective potential becomes that of a renormalizable theory with explicit scale symmetry breaking by the "usual" DR scheme (of $\mu=$constant).


title: Enhancing Symbolic Execution of Heap-based Programs with Separation Logic for Test Input Generation

abstract: Symbolic execution is a well established method for test input generation. Despite of having achieved tremendous success over numerical domains, existing symbolic execution techniques for heap-based programs are limited due to the lack of a succinct and precise description for symbolic values over unbounded heaps. In this work, we present a new symbolic execution method for heap-based programs based on separation logic. The essence of our proposal is context-sensitive lazy initialization, a novel approach for efficient test input generation. Our approach differs from existing approaches in two ways. Firstly, our approach is based on separation logic, which allows us to precisely capture preconditions of heap-based programs so that we avoid generating invalid test inputs. Secondly, we generate only fully initialized test inputs, which are more useful in practice compared to those partially initialized test inputs generated by the state-of-the-art tools. We have implemented our approach as a tool, called Java StarFinder, and evaluated it on a set of programs with complex heap inputs. The results show that our approach significantly reduces the number of invalid test inputs and improves the test coverage.


title: A monotonic relationship between the variability of the infectious period and final size in pairwise epidemic modelling

abstract: For a recently derived pairwise model of network epidemics with non-Markovian recovery, we prove that under some mild technical conditions on the distribution of the infectious periods, smaller variance in the recovery time leads to higher reproduction number, and consequently to a larger epidemic outbreak, when the mean infectious period is fixed. We discuss how this result is related to various stochastic orderings of the distributions of infectious periods. The results are illustrated by a number of explicit stochastic simulations, suggesting that their validity goes beyond regular networks.


title: Lifshitz transitions in multi-band Hubbard models for topological superconductivity in complex quantum matter

abstract: How the macroscopic quantum coherence can resist to the decoherence attacks of high temperature is a major challenge for the science of the 21st century. Superstripes 2017 conference held in Ischia on June 2017 has been focused on the new physics of high $T_c$ superconductors made of complex quantum matter. Today the standard model of high $T_c$ superconductivity which grabs the physics of complex quantum matter is the multi-band Hubbard model where the dome of $T_c$ occurs by driving the chemical potential in the proximity of a topological Lifshitz transition. The multi-gap superconductivity in the $T_c$ dome is driven by exchange interaction between a condensate in the BEC-BCS crossover which coexists with second BCS condensates. The proximity to Lifshitz transitions in correlated electronic systems gives the ubiquitous arrested phase separation observed in all high temperature superconductors. Non Euclidean filamentary hyperbolic geometry is needed for the space description of superstripes textures produced by the coexistence of short range CDW puddles, hole poor SDW puddles and self organized dopants rich puddles. A road map to room temperature superconductors in particular organic compounds made of superlattices of quantum wires driven by Fano resonances with one of the condensates in the BEC-BCS crossover has been proposed.


title: A Spectral Approach for the Design of Experiments: Design, Analysis and Algorithms

abstract: This paper proposes a new approach to construct high quality space-filling sample designs. First, we propose a novel technique to quantify the space-filling property and optimally trade-off uniformity and randomness in sample designs in arbitrary dimensions. Second, we connect the proposed metric (defined in the spatial domain) to the objective measure of the design performance (defined in the spectral domain). This connection serves as an analytic framework for evaluating the qualitative properties of space-filling designs in general. Using the theoretical insights provided by this spatial-spectral analysis, we derive the notion of optimal space-filling designs, which we refer to as space-filling spectral designs. Third, we propose an efficient estimator to evaluate the space-filling properties of sample designs in arbitrary dimensions and use it to develop an optimization framework to generate high quality space-filling designs. Finally, we carry out a detailed performance comparison on two different applications in 2 to 6 dimensions: a) image reconstruction and b) surrogate modeling on several benchmark optimization functions and an inertial confinement fusion (ICF) simulation code. We demonstrate that the propose spectral designs significantly outperform existing approaches especially in high dimensions.


title: Magnetized Fast Isochoric Laser Heating for Efficient Creation of Ultra-High-Energy-Density States

abstract: The quest for the inertial confinement fusion (ICF) ignition is a grand challenge, as exemplified by extraordinary large laser facilities. Fast isochoric heating of a pre-compressed plasma core with a high-intensity short-pulse laser is an attractive and alternative approach to create ultra-high-energy-density states like those found in ICF ignition sparks. This avoids the ignition quench caused by the hot spark mixing with the surrounding cold fuel, which is the crucial problem of the currently pursued ignition scheme. High-intensity lasers efficiently produce relativistic electron beams (REB). A part of the REB kinetic energy is deposited in the core, and then the heated region becomes the hot spark to trigger the ignition. However, only a small portion of the REB collides with the core because of its large divergence. Here we have demonstrated enhanced laser-to-core energy coupling with the magnetized fast isochoric heating. The method employs a kilo-tesla-level magnetic field that is applied to the transport region from the REB generation point to the core which results in guiding the REB along the magnetic field lines to the core. 7.7 $\pm$ 1.3 % of the maximum coupling was achieved even with a relatively small radial area density core ($\rho R$ $\sim$ 0.1 g/cm$^2$). The guided REB transport was clearly visualized in a pre-compressed core by using Cu-$K_\alpha$ imaging technique. A simplified model coupled with the comprehensive diagnostics yields 6.2\% of the coupling that agrees fairly with the measured coupling. This model also reveals that an ignition-scale areal density core ($\rho R$ $\sim$ 0.4 g/cm$^2$) leads to much higher laser-to-core coupling ($>$ 15%), this is much higher than that achieved by the current scheme.


title: Local mixing on abelian covers of hyperbolic surfaces with cusps

abstract: We prove the local mixing theorem for geodesic flows on abelian covers finite volume hyperbolic surfaces with cusps, which is a continuation of the work of Oh-Pan. We also describe applications to counting problems and the prime geodesic theorem.


title: Approximation of a damped Euler-Bernoulli beam model in the Loewner framework

abstract: The Loewner framework for model order reduction is applied to the class of infinite-dimension systems. The transfer function of such systems is irrational (as opposed to linear systems, whose transfer function is rational) and can be expressed as an infinite series of rational functions. The main advantage of the method is the fact that reduced orders models are constructed using only input-output measurements. The procedure can be directly applied to the original transfer function or to the one obtained from the finite element discretization of the PDE. Significantly better results are obtained when using it directly, as it is presented in the experiments section.


title: Reactivation of Fractures in Subsurface Reservoirs - a Numerical Approach using a Static-Dynamic Friction Model

abstract: Fluid-induced slip of fractures is characterized by strong multiphysics couplings. Three physical processes are considered: Flow, rock deformation and fracture deformation. The fractures are represented as lower-dimensional objects embedded in a three-dimensional domain. Fluid is modeled as slightly compressible, and flow in both fractures and matrix is accounted for. The deformation of rock is inherently different from the deformation of fractures; thus, two different models are needed to describe the mechanical deformation of the rock. The medium surrounding the fractures is modeled as a linear elastic material, while the slip of fractures is modeled as a contact problem, governed by a static-dynamic friction model. We present an iterative scheme for solving the non-linear set of equations that arise from the models, and suggest how the step parameter in this scheme should depend on the shear modulus and mesh size.


title: Positive Opetopes with Contractions form a Test Category

abstract: We show that the category of positive opetopes with contraction morphisms, i.e. all face maps and some degeneracies, forms a test category. The category of positive opetopic sets pOpeSet can be defined as a full subcategory of the category of polygraphs Poly. An object of pOpeSet has generators whose codomains are again generators and whose domains are non-identity cells (i.e. non-empty composition of generators). The category pOpeSet is a presheaf category with the exponent being called the category of positive opetopes pOpe. Objects of pOpe are called positive opetopes and morphisms are face maps only. Since Poly has a full-on-isomorphisms embedding into the category of omega-categories oCat, we can think of morphisms in pOpe as omega-functors that send generators to generators. The category of positive opetopes with contractions pOpe_iota has the same objects and face maps pOpe, but in addition it has some degeneracy maps. A morphism in pOpe_iota is an omega-functor that sends generators to either generators or to identities on generators. We show that the category pOpe_iota is a test category.


title: Study on the Best Uses of Technology in Support of Project-Based Learning

abstract: Project-Based Learning (PBL) is a teaching technique in which authentic, real-world projects are used as the primary vehicle to drive the student's learning experience. This technique has been found to be very effective, but its overall adoption rate is relatively low, in part due to teachers' unfamiliarity with how to best use technology to successfully implement it. This research study involved a comprehensive survey of supportive technology tools, as well as secondary survey research from students and teachers with actual experience in PBL. The goal was to determine which types of technology tools were most supportive of PBL. Overall, the study found that teachers and students are mostly aligned with regards to the importance of technology and the effectiveness of various types of tools. Tools which fostered collaboration amongst teacher and students were ultimately deemed the most effective, but content-development and assessment tools were also found to be particularly helpful.


title: Finding, Stabilizing, and Verifying Cycles of Nonlinear Dynamical Systems

abstract: We present a new solution for fundamental problems in nonlinear dynamical systems: finding, verifying, and stabilizing cycles. The solution we propose consists of a new control method based on mixing previous states of the system (or the functions of these states). This approach allows us to locally stabilize and to find a priori unknown cycles of a given length. Our method generalizes and improves on the existing one dimensional space solutions to multi-dimensional space while using the geometric complex functions theory rather than a linear algebra approach. Several numerical examples are considered. All statements and formulas are given in final form. The formulas derivation and reasoning may be found in the cited references. The article focuses on practical applications of methods and algorithms.


title: Universal Intermediate Gradient Method for Convex Problems with Inexact Oracle

abstract: In this paper, we propose new first-order methods for minimization of a convex function on a simple convex set. We assume that the objective function is a composite function given as a sum of a simple convex function and a convex function with inexact H\"older-continuous subgradient. We propose Universal Intermediate Gradient Method. Our method enjoys both the universality and intermediateness properties. Following the paper by Y. Nesterov (Math.Prog., 2015) on Universal Gradient Methods, our method does not require any information about the H\"older parameter and constant and adjusts itself automatically to the local level of smoothness. On the other hand, in the spirit of the preprint by O. Devolder, F.Glineur, and Y. Nesterov (CORE DP 2013/17), our method is intermediate in the sense that it interpolates between Universal Gradient Method and Universal Fast Gradient Method. This allows to balance the rate of convergence of the method and rate of the oracle error accumulation. Under additional assumption of strong convexity of the objective, we show how the restart technique can be used to obtain an algorithm with faster rate of convergence.


title: Effective Demagnetization Factors of Diamagnetic Samples of Various Shapes

abstract: Effective demagnetizing factors that connect the sample magnetic moment with the applied magnetic field are calculated numerically for perfectly diamagnetic samples of various non-ellipsoidal shapes. The procedure is based on calculating total magnetic moment by integrating the magnetic induction obtained from a full three dimensional solution of the Maxwell equations using adaptive mesh. The results are relevant for superconductors (and conductors in AC fields) when the London penetration depth (or the skin depth) is much smaller than the sample size. Simple but reasonably accurate approximate formulas are given for practical shapes including rectangular cuboids, finite cylinders in axial and transverse field as well as infinite rectangular and elliptical cross-section strips.


title: The proximal point method revisited

abstract: In this short survey, I revisit the role of the proximal point method in large scale optimization. I focus on three recent examples: a proximally guided subgradient method for weakly convex stochastic approximation, the prox-linear algorithm for minimizing compositions of convex functions and smooth maps, and Catalyst generic acceleration for regularized Empirical Risk Minimization.


title: Syndrome decoding of Reed-Muller codes and tensor decomposition over finite fields

abstract: Reed-Muller codes are some of the oldest and most widely studied error-correcting codes, of interest for both their algebraic structure as well as their many algorithmic properties. A recent beautiful result of Saptharishi, Shpilka and Volk showed that for binary Reed-Muller codes of length $n$ and distance $d = O(1)$, one can correct $\operatorname{polylog}(n)$ random errors in $\operatorname{poly}(n)$ time (which is well beyond the worst-case error tolerance of $O(1)$). In this paper, we consider the problem of `syndrome decoding' Reed-Muller codes from random errors. More specifically, given the $\operatorname{polylog}(n)$-bit long syndrome vector of a codeword corrupted in $\operatorname{polylog}(n)$ random coordinates, we would like to compute the locations of the codeword corruptions. This problem turns out to be equivalent to a basic question about computing tensor decomposition of random low-rank tensors over finite fields. Our main result is that syndrome decoding of Reed-Muller codes (and the equivalent tensor decomposition problem) can be solved efficiently, i.e., in $\operatorname{polylog}(n)$ time. We give two algorithms for this problem: 1. The first algorithm is a finite field variant of a classical algorithm for tensor decomposition over real numbers due to Jennrich. This also gives an alternate proof for the main result of Saptharishi et al. 2. The second algorithm is obtained by implementing the steps of the Berlekamp-Welch-style decoding algorithm of Saptharishi et al. in sublinear-time. The main new ingredient is an algorithm for solving certain kinds of systems of polynomial equations.


title: Neutron stars: Observational diversity and evolution

abstract: Ever since the discovery of the Crab and Vela pulsars in their respective Supernova Remnants, our understanding of how neutron stars manifest themselves observationally has been dramatically shaped by the surge of discoveries and dedicated studies across the electromagnetic spectrum, particularly in the high-energy band. The growing diversity of neutron stars includes the highly magnetized neutron stars (magnetars) and the Central Compact Objects shining in X-rays and mostly lacking pulsar wind nebulae. These two subclasses of high-energy objects, however, seem to be characterized by anomalously high or anomalously low surface magnetic fields (thus dubbed as `magnetars' and `anti-magnetars', respectively), and have pulsar characteristic ages that are often much offset from their associated SNRs' ages. In addition, some neutron stars act `schizophrenic' in that they occasionally display properties that seem common to more than one of the defined subclasses. I review the growing diversity of neutron stars from an observational perspective, then highlight recent and on-going theoretical and observational work attempting to address this diversity, particularly in light of their magnetic field evolution, energy loss mechanisms, and supernova progenitors' studies.


title: Matching matched filtering with deep networks in gravitational-wave astronomy

abstract: We report on the construction of a deep convolutional neural network that can reproduce the sensitivity of a matched-filtering search for binary black hole gravitational-wave signals. The standard method for the detection of well modeled transient gravitational-wave signals is matched filtering. However, the computational cost of such searches in low latency will grow dramatically as the low frequency sensitivity of gravitational-wave detectors improves. Convolutional neural networks provide a highly computationally efficient method for signal identification in which the majority of calculations are performed prior to data taking during a training process. We use only whitened time series of measured gravitational-wave strain as an input, and we train and test on simulated binary black hole signals in synthetic Gaussian noise representative of Advanced LIGO sensitivity. We show that our network can classify signal from noise with a performance that emulates that of match filtering applied to the same datasets when considering the sensitivity defined by Reciever-Operator characteristics.


title: Multiple stable states in microbial communities explained by the stable marriage problem

abstract: Experimental studies of microbial communities routinely reveal that they have multiple stable states. While each of these states is generally resilient, certain perturbations such as antibiotics, probiotics and diet shifts, result in transitions to other states. Can we reliably both predict such stable states as well as direct and control transitions between them? Here we present a new conceptual model inspired by the stable marriage problem in game theory and economics in which microbial communities naturally exhibit multiple stable states, each state with a different species' abundance profile. Our model's core ingredient is that microbes utilize nutrients one at a time while competing with each other. Using only two ranked tables, one with microbes' nutrient preferences and one with their competitive abilities, we can determine all possible stable states as well as predict inter-state transitions, triggered by the removal or addition of a specific nutrient or microbe. Further, using an example of 7 Bacteroides species common to the human gut utilizing 9 polysaccharides, we predict that mutual complementarity in nutrient preferences enables these species to coexist at high abundances.


title: The category of implicative algebras and realizability

abstract: In this paper we continue with the algebraic study of Krivine's realizability, refining some of the authors' previous constructions by introducing two categories, with objects the abstract Krivine structures and the implicative algebras respectively. These categories are related by an adjunction whose existence clarifies many aspects of the theory previously established.


title: On Distinguishing Interstellar Objects Like `Oumuamua From Products of Solar System Scattering

abstract: Schneider (2018) explored the possibility that 'Oumuamua is a Solar System object, and concluded that if it is, it must have been scattered by "another, yet unknown planet." I provide an extremely conservative upper limit on post-scattering velocities in the Solar System to show that 'Oumuamua is moving far to quickly to be the result of any hypothetical single scattering event between any bound Solar System objects within 21 au (a distance within which our understanding of objects capable of scattering 'Oumuamua is presumably complete).


title: SUSY-like relation in evolution of gluon and quark jet multiplicities

abstract: We show the new relationship [1] between the anomalous dimensions, resummed through next-to-next-to-leading-logarithmic order, in the Dokshitzer-Gribov-Lipatov-Altarelli-Parisi (DGLAP) evolution equations for the first Mellin moments D{q,g}(\mu2) of the quark and gluon fragmentation functions, which correspond to the average hadron multiplicities in jets initiated by quarks and gluons, respectively. This relationship, which is independent of the number of quark flavors, strongly improves previous treatments by allowing for an exact solution of the evolution equations. So far, such relationships have only been known from supersymmetric QCD.


title: CDEX dark matter experiment: Status and prospects

abstract: The China Dark Matter Experiment (CDEX) aims at direct searches of light Weakly Interacting Massive Particles (WIMPs) at the China Jinping Underground Laboratory (CJPL) with an overburden of about 2400m rock. Results from a prototype CDEX-1 994 g p-type Point Contact Germanium(pPCGe) detector are reported. Research programs are pursued to further reduce the physics threshold by improving hardware and data analysis. The CDEX-10 experiment with a pPCGe array of 10 kg target mass range is being tested. The evolution of CDEX program into "CDEX-1T Experiment" with ton-scale germanium detector arrays will also be introduced in this study.


title: Avoiding Synchronization in First-Order Methods for Sparse Convex Optimization

abstract: Parallel computing has played an important role in speeding up convex optimization methods for big data analytics and large-scale machine learning (ML). However, the scalability of these optimization methods is inhibited by the cost of communicating and synchronizing processors in a parallel setting. Iterative ML methods are particularly sensitive to communication cost since they often require communication every iteration. In this work, we extend well-known techniques from Communication-Avoiding Krylov subspace methods to first-order, block coordinate descent methods for Support Vector Machines and Proximal Least-Squares problems. Our Synchronization-Avoiding (SA) variants reduce the latency cost by a tunable factor of $s$ at the expense of a factor of $s$ increase in flops and bandwidth costs. We show that the SA-variants are numerically stable and can attain large speedups of up to $5.1\times$ on a Cray XC30 supercomputer.


title: Bjorken sum rule in QCD with analytic coupling

abstract: We present details of study of the Bjorken polarized sum rule carried out recently in [1] within the range of energies where the data were collected by JLAB collaboration, 0.05 GeV2 < Q2 < 3 GeV2. Three approaches to QCD with analytic (holomorphic) coupling are considered: Analytic Perturbation Theory (APT), Two-delta analytic QCD, and Three-delta lattice-motivated analytic QCD in the three-loop and four-loop MiniMOM schemes. The new frameworks with respective couplings give results which agree well with the experimental data for 0.5 GeV2 < Q2 < 3GeV2 already when only one higher-twist term is taken into account.