title: Evolution of the $f\sigma_8$ tension with the Planck15/$\Lambda$CDM determination and implications for modified gravity theories

abstract: We construct an updated extended compilation of distinct (but possibly correlated) $f\sigma_8(z)$ Redshift Space Distortion (RSD) data published between 2006 and 2018. It consists of 63 datapoints and is significantly larger than previously used similar datasets. After fiducial model correction we obtain the best fit $\Omega_{0m}-\sigma_8$ $\Lambda$CDM parameters and show that they are at a $5\sigma$ tension with the corresponding Planck15/$\Lambda$CDM values. Introducing a nontrivial covariance matrix correlating randomly $20\%$ of the RSD datapoints has no significant effect on the above tension level. We show that the tension disappears (becomes less than $1\sigma$) when a subsample of the 20 most recently published data is used. A partial cause for this reduced tension is the fact that more recent data tend to probe higher redshifts (with higher errorbars) where there is degeneracy among different models due to matter domination. Allowing for a nontrivial evolution of the effective Newton's constant as $G_{\textrm{eff}}(z)/G_{\textrm{N}} = 1 + g_a \left(\frac{z}{1+z}\right)^2 - g_a \left(\frac{z}{1+z}\right)^4$ ($g_a$ is a parameter) and fixing a \plcdm background we find $g_a=-0.91\pm 0.17$ from the full $f\sigma_8$ dataset while the 20 earliest and 20 latest datapoints imply $g_a=-1.28^{+0.28}_{-0.26}$ and $g_a=-0.43^{+0.46}_{-0.41}$ respectively. Thus, the more recent $f\sigma_8$ data appear to favor GR in contrast to earlier data. Finally, we show that the parametrization $f\sigma_8(z)=\lambda \sigma_8 \Omega(z)^\gamma /(1+z)^\beta$ provides an excellent fit to the solution of the growth equation for both GR ($g_a=0$) and modified gravity ($g_a\neq 0$).


title: Rapid Mixing of the Switch Markov Chain for Strongly Stable Degree Sequences and 2-Class Joint Degree Matrices

abstract: The switch Markov chain has been extensively studied as the most natural Markov Chain Monte Carlo approach for sampling graphs with prescribed degree sequences. We use comparison arguments with other, less natural but simpler to analyze, Markov chains, to show that the switch chain mixes rapidly in two different settings. We first study the classic problem of uniformly sampling simple undirected, as well as bipartite, graphs with a given degree sequence. We apply an embedding argument, involving a Markov chain defined by Jerrum and Sinclair (TCS, 1990) for sampling graphs that almost have a given degree sequence, to show rapid mixing for degree sequences satisfying strong stability, a notion closely related to $P$-stability. This results in a much shorter proof that unifies the currently known rapid mixing results of the switch chain and extends them up to sharp characterizations of $P$-stability. In particular, our work resolves an open problem posed by Greenhill (SODA, 2015). Secondly, in order to illustrate the power of our approach, we study the problem of uniformly sampling graphs for which, in addition to the degree sequence, a joint degree distribution is given. Although the problem was formalized over a decade ago, and despite its practical significance in generating synthetic network topologies, small progress has been made on the random sampling of such graphs. The case of a single degree class reduces to sampling of regular graphs, but beyond this almost nothing is known. We fully resolve the case of two degree classes, by showing that the switch Markov chain is always rapidly mixing. Again, we first analyze an auxiliary chain for strongly stable instances on an augmented state space and then use an embedding argument.


title: Multiple Sound Source Localisation with Steered Response Power Density and Hierarchical Grid Refinement

abstract: Estimation of the direction-of-arrival (DOA) of sound sources is an important step in sound field analysis. Rigid spherical microphone arrays allow the calculation of a compact spherical harmonic representation of the sound field. A basic method for analysing sound fields recorded using such arrays is steered response power (SRP) maps wherein the source DOA can be estimated as the steering direction that maximises the output power of a maximally-directive beam. This approach is computationally costly since it requires steering the beam in all possible directions. This paper presents an extension to SRP called steered response power density (SRPD) and an associated, signal-adaptive search method called hierarchical grid refinement (HiGRID) for reducing the number of steering directions needed for DOA estimation. The proposed method can localise coherent as well as incoherent sources while jointly providing the number of prominent sources in the scene. It is shown to be robust to reverberation and additive white noise. An evaluation of the proposed method using simulations and real recordings under highly reverberant conditions as well as a comparison with state- of-the-art methods are presented.


title: Stereotype approximation property for the group algebra ${\mathcal C}^\star(G)$ of measures

abstract: The stereotype approximation property is formally a stronger condition than the classical approximation property, and because of that the question which spaces possess the stereotype approximation property is quite difficult. In this paper we show that the group algebra ${\mathcal C}^\star(G)$ of measures on a locally compact grop $G$ always has this property.


title: Hyper-Stresses in $k$-Jet Field Theories

abstract: For high-order continuum mechanics and classical field theories configurations are modeled as sections of general fiber bundles and generalized velocities are modeled as variations thereof. Smooth stress fields are considered and it is shown that three distinct mathematical stress objects play the roles of the traditional stress tensor of continuum mechanics in Euclidean spaces. These objects are referred to as the variational hyper-stress, the traction hyper-stress and the non-holonomic stress. The properties of these three stress objects and the relations between them are studied.


title: A topological-like gravity model in a four dimensional space-time

abstract: In this work we consider a model for gravity in 4-dimensional space-time originally proposed by A. Chamseddine which may be derived by a 5-dimensional Chern-Simons theory. Its topological origin makes it an interesting candidate for an easier quantization, e.g., in loop quantization framework. The present work is dedicated to classical physical consequences and canonical analysis of the model. Cosmological solutions as well as wave-like solutions were obtained and compared with the corresponding Einstein's General Relativity with cosmological constant.


title: The effect of twitter-mediated activities on learning outcome and student engagement: A case study

abstract: The study reported in this paper, examines the effects of a rigorously designed introduction of Twitter in the educational process. In specific, it examines the relation between the students use of Twitter in the context of well-organized educational activities and their grades in an academic course. The results demonstrated a significant correlation between the use of Twitter by the students and their performance in the course. Moreover, it emerged that their participation on Twitter, could improve the students academic engagement and their sense of belonging to the academic community. Finally, possible effects of Twitter s use on students perceived internet self-efficacy were also examined. The findings and their implications of the study are discussed in detail.


title: Latitude dependence of convection and magnetic field generation in the cube

abstract: The 3D thermal convection in the Boussinesq approximation with heating from below and dynamo in the cube are considered. We study dependence of the convection intensity and magnetic field generation on the latitude in $\beta$-plane approximation. It is shown that kinetic energy gradually increases from the poles to the equator more than order of magnitude. The model predicts the strong azimuthal thermal wind, which direction depends on the sign of the thermal convective fluctuations. The spatial scale of the arising flow is comparable to the scale of the physical domain. The magnetic energy increases as well, however dynamo efficiency, i.e., the ratio of the magnetic energy to the kinetic one decreases to the equator. This effect can explain predominance of the dipole configuration of the magnetic field observed in the planets and stars. The approach is useful for modeling of the magnetohydrodynamic turbulence in planetary cores and stellar convective zones.


title: Shifted Landau levels in curved graphene sheets

abstract: We study the Landau levels in curved graphene sheets by measuring the discrete energy spectrum in the presence of a magnetic field. We observe that in rippled graphene sheets, the Landau energy levels satisfy the same square root dependence on the energy quantum number as in flat sheets, $E_n \sim \sqrt{n}$. Though, we find that the Landau levels in curved sheets are shifted towards lower energies by an amount proportional to the average spatial deformation of the sheet. Our findings are relevant for the quantum Hall effect in curved graphene sheets, which is directly related to Landau quantization. For the purpose of this study, we develop a new numerical method, based on the quantum lattice Boltzmann method, to solve the Dirac equation on curved manifolds, describing the low-energetic states in strained graphene sheets.


title: 3D Simulation of Superconducting Magnetic Shields and Lenses using the Fast Fourier Transform

abstract: Shielding sensitive scientific and medical devices from the magnetic field environment is one of the promising applications of superconductors. Magnetic field concentration by superconducting magnetic lenses is the opposite phenomenon based, however, on the same properties of superconductors: their ideal conductivity and ability to expel the magnetic field. Full-dimensional numerical simulations are necessary for designing magnetic lenses and for estimating the quality of magnetic shielding under arbitrary varying external fields. Using the recently proposed Fast Fourier Transform based three-dimensional numerical method [Prigozhin and Sokolovsky, ArXiv 1801.04869] we model performance of two such devices made of a bulk type-II superconductor: a magnetic shield and a magnetic lens. The method is efficient and can be easier to implement than the alternative approaches based on the finite element methods.


title: Greedy stochastic algorithms for entropy-regularized optimal transport problems

abstract: Optimal transport (OT) distances are finding evermore applications in machine learning and computer vision, but their wide spread use in larger-scale problems is impeded by their high computational cost. In this work we develop a family of fast and practical stochastic algorithms for solving the optimal transport problem with an entropic penalization. This work extends the recently developed Greenkhorn algorithm, in the sense that, the Greenkhorn algorithm is a limiting case of this family. We also provide a simple and general convergence theorem for all algorithms in the class, with rates that match the best known rates of Greenkorn and the Sinkhorn algorithm, and conclude with numerical experiments that show under what regime of penalization the new stochastic methods are faster than the aforementioned methods.


title: Even and odd normalized zero modes in random interacting Majorana models respecting the Parity $P$ and the Time-Reversal-Symmetry $T$

abstract: For random interacting Majorana models where the only symmetries are the Parity $P$ and the Time-Reversal-Symmetry $T$, various approaches are compared to construct exact even and odd normalized zero modes $\Gamma$ in finite size, i.e. hermitian operators that commute with the Hamiltonian, that square to the Identity, and that commute (even) or anticommute (odd) with the Parity $P$. Even Normalized Zero-Modes $\Gamma^{even}$ are well known under the name of 'pseudo-spins' $\tau^z_n$ in the field of Many-Body-Localization or more precisely 'Local Integrals of Motion' (LIOMs) in the Many-Body-Localized-Phase where the pseudo-spins happens to be spatially localized. Odd Normalized Zero-Modes $\Gamma^{odd}$ are popular under the name of 'Majorana Zero Modes' or 'Strong Zero Modes'. Explicit examples for small systems are described in detail. Applications to real-space renormalization procedures based on blocks containing an odd number of Majorana fermions are also discussed.


title: Deep Network Regularization via Bayesian Inference of Synaptic Connectivity

abstract: Deep neural networks (DNNs) often require good regularizers to generalize well. Currently, state-of-the-art DNN regularization techniques consist in randomly dropping units and/or connections on each iteration of the training algorithm. Dropout and DropConnect are characteristic examples of such regularizers, that are widely popular among practitioners. However, a drawback of such approaches consists in the fact that their postulated probability of random unit/connection omission is a constant that must be heuristically selected based on the obtained performance in some validation set. To alleviate this burden, in this paper we regard the DNN regularization problem from a Bayesian inference perspective: We impose a sparsity-inducing prior over the network synaptic weights, where the sparsity is induced by a set of Bernoulli-distributed binary variables with Beta (hyper-)priors over their prior parameters. This way, we eventually allow for marginalizing over the DNN synaptic connectivity for output generation, thus giving rise to an effective, heuristics-free, network regularization scheme. We perform Bayesian inference for the resulting hierarchical model by means of an efficient Black-Box Variational inference scheme. We exhibit the advantages of our method over existing approaches by conducting an extensive experimental evaluation using benchmark datasets.


title: Bistable emergence of oscillations in structured cell populations

abstract: Biofilm communities of Bacillus subtilis bacteria have recently been shown to exhibit collective growth-rate oscillations mediated by electrochemical signaling to cope with nutrient starvation. These oscillations emerge once the colony reaches a large enough number of cells. However, it remains unclear whether the amplitude of the oscillations, and thus their effectiveness, builds up over time gradually, or if they can emerge instantly with a non-zero amplitude. Here we address this question by combining microfluidics-based time-lapse microscopy experiments with a minimal theoretical description of the system in the form of a delay-differential equation model. Analytical and numerical methods reveal that oscillations arise through a subcritical Hopf bifurcation, which enables instant high amplitude oscillations. Consequently, the model predicts a bistable regime where an oscillating and a non-oscillating attractor coexist in phase space. We experimentally validate this prediction by showing that oscillations can be triggered by perturbing the media conditions, provided the biofilm size lies within an appropriate range. The model also predicts that the minimum size at which oscillations start decreases with stress, a fact that we also verify experimentally. Taken together, our results show that collective oscillations in cell populations can emerge suddenly with non-zero amplitude via a discontinuous transition.


title: A high-order discontinuous Galerkin approach to the elasto-acoustic problem

abstract: We address the spatial discretization of an evolution problem arising from the coupling of viscoelastic and acoustic wave propagation phenomena by employing a discontinuous Galerkin scheme on polygonal and polyhedral meshes. The coupled nature of the problem is ascribed to suitable transmission conditions imposed at the interface between the solid (elastic) and fluid (acoustic) domains. We state and prove a well-posedness result for the strong formulation of the problem, present a stability analysis for the semi-discrete formulation, and finally prove an a priori $hp$-version error estimate for the resulting formulation in a suitable (mesh-dependent) energy norm. We also discuss the time integration scheme employed to obtain the fully discrete system. The convergence results are validated by numerical experiments carried out in a two-dimensional setting.


title: Inflationary perturbations with Lifshitz scaling

abstract: Instead of Lorentz invariance, gravitational degrees of freedom may obey Lifshitz scaling at high energies, as it happens in Ho\v{r}ava's proposal for quantum gravity. We study consequences of this proposal for the spectra of primordial perturbations generated at inflation. Breaking of 4D diffeomorphism (Diff) invariance down to the foliation-preserving Diff in Ho\v{r}ava-Lifshitz (HL) gravity leads to appearance of a scalar degree of freedom in the gravity sector, khronon, which describes dynamics of the time foliation. One can naively expect that mixing between inflaton and khronon will jeopardize conservation of adiabatic perturbations at super Hubble scales. This indeed happens in the projectable version of the theory. By contrast, we find that in the non-projectable version of HL gravity, khronon acquires an effective mass which is much larger than the Hubble scale well before the Hubble crossing time and decouples from the adiabatic curvature perturbation $\zeta$ sourced by the inflaton fluctuations. As a result, at super Hubble scales the adiabatic perturbation $\zeta$ behaves as in an effectively single field system and its spectrum is conserved in time. Lifshitz scaling is imprinted in the power spectrum of $\zeta$ through the modified dispersion relation of the inflaton. We point out violation of the consistency relation between the tensor-to-scalar ratio and the spectral tilt of primordial gravitational waves and suggest that it can provide a signal of Lorentz violation in inflationary era.


title: Understanding the twist distribution inside magnetic flux ropes by anatomizing an interplanetary magnetic cloud

abstract: Magnetic flux rope (MFR) is the core structure of the greatest eruptions, i.e., the coronal mass ejections (CMEs), on the Sun, and magnetic clouds are post-eruption MFRs in interplanetary space. There is a strong debate about whether or not a MFR exists prior to a CME and how the MFR forms/grows through magnetic reconnection during the eruption. Here we report a rare event, in which a magnetic cloud was observed sequentially by four spacecraft near Mercury, Venus, Earth and Mars, respectively. With the aids of a uniform-twist flux rope model and a newly developed method that can recover a shock-compressed structure, we find that the axial magnetic flux and helicity of the magnetic cloud decreased when it propagated outward but the twist increased. Our analysis suggests that the `pancaking' effect and `erosion' effect may jointly cause such variations. The significance of the `pancaking' effect is difficult to be estimated, but the signature of the erosion can be found as the imbalance of the azimuthal flux of the cloud. The latter implies that the magnetic cloud was eroded significantly leaving its inner core exposed to the solar wind at far distance. The increase of the twist together with the presence of the erosion effect suggests that the post-eruption MFR may have a high-twist core enveloped by a less-twisted outer shell. These results pose a great challenge to the current understanding on the solar eruptions as well as the formation and instability of MFRs.


title: Restricted Hom-Lie Superalgebras

abstract: The aim of this paper is to introduce the notion of restricted Hom- Lie superalgebras. This class of algebras is a generalization of both restricted Hom-Lie algebras and restricted Lie superalgebras. In this paper, we present a way to obtain restricted Hom-Lie superalgebras from the classical restricted Lie superalgebras along with algebra en- domorphisms. Homomorphisms relations between restricted Hom-Lie superalgebras are defined and studied. Also, we obtain some proper- ties of p-maps and restrictable Hom-Lie superalgebras.


title: A unified picture of roto-translational dynamics in aqueous polyatomic ions

abstract: Mode-coupling theory provides a unified description of the rotational and translational dynamics of polyatomic ions. These molecular ions are distinct from usual models of ion diffusion, such as K+ , Cl- etc., and also different from rotational dynamics of dipolar molecules often modeled in dielectric continuum models as point dipoles. Both these approaches are untenable for polyatomic ions. Here rotational and translational dynamics are so strongly coupled that one obtains a more coherent description by treating them together. We carry out theoretical and computational studies of a series of well-known polyatomic ions, namely sulfate, nitrate and acetate ions. All the three ions exhibit different rotational diffusivity, with that of nitrate ion being considerably larger than the other two. They all defy the hydrodynamic laws of size dependence. Study of the local structure around the ions provides valuable insight into the origin of these differences. We carry out a detailed study of the rotational diffusion of these ions by extensive computer simulation and using the theoretical approaches of the dielectric friction developed by Fatuzzo-Mason (FM) and Nee-Zwanzig (NZ), and subsequently generalized by Alavi and Waldeck. We develop a self-consistent mode-coupling theory (SC-MCT) formalism that helps elucidating the role of coupling between translational and rotational motion of these ions. In fact, these two motions self-consistently determine the value of each other. The RISM-based MCT suggests an interesting relation between the torque-torque and the force-force time correlation function with the proportionality constant being determined by the geometry and the charge distribution of the polyatomic molecule.We point out several parallelism between the theories of translational and rotation friction calculations of ions in dipolar liquids.


title: Classification based Grasp Detection using Spatial Transformer Network

abstract: Robotic grasp detection task is still challenging, particularly for novel objects. With the recent advance of deep learning, there have been several works on detecting robotic grasp using neural networks. Typically, regression based grasp detection methods have outperformed classification based detection methods in computation complexity with excellent accuracy. However, classification based robotic grasp detection still seems to have merits such as intermediate step observability and straightforward back propagation routine for end-to-end training. In this work, we propose a novel classification based robotic grasp detection method with multiple-stage spatial transformer networks (STN). Our proposed method was able to achieve state-of-the-art performance in accuracy with real- time computation. Additionally, unlike other regression based grasp detection methods, our proposed method allows partial observation for intermediate results such as grasp location and orientation for a number of grasp configuration candidates.


title: On the Infinitesimal Torelli theorem for regular surfaces with very ample canonical divisor

abstract: Let $X$ be a smooth compact complex surface subject to the following conditions: (i) the canonical line bundle $\mathcal{O}_X(K_X) $ is very ample, (ii) the irregularity $q(X): = h^1(\mathcal{O}_X) =0$, (iii) $X$ contains no rational normal curves of degree $\leq (p_g-1)$, (iv) the multiplication map $m_2: Sym^2(H^0(\mathcal{O}_X(K_X))) \longrightarrow H^0 (\mathcal{O}_X (2K_X))$ is surjective. It is shown that the Infinitesimal Torelli holds for such $X$. Our proof is based on the study of the cup-product $$ H^1 (\Theta_X) \longrightarrow (\mathcal{O}_X(K_X))^{\ast} \otimes H^1 (\Omega_X) $$ where $\Theta_X$ (resp. $\Omega_X$) is the holomorphic tangent (resp. cotangent) bundle of $X$. Conceptually, the approach consists of lifting the data of the cohomological cup-product above to the category of complexes of coherent sheaves of $X$. This establishes connections between the geometry of the canonical map and the above cup-product by exhibiting geometrically meaningful objects in the category of (short) exact complexes of coherent sheaves on $X$.


title: Applied Erasure Coding in Networks and Distributed Storage

abstract: The amount of digital data is rapidly growing. There is an increasing use of a wide range of computer systems, from mobile devices to large-scale data centers, and important for reliable operation of all computer systems is mitigating the occurrence and the impact of errors in digital data. The demand for new ultra-fast and highly reliable coding techniques for data at rest and for data in transit is a major research challenge. Reliability is one of the most important design requirements. The simplest way of providing a degree of reliability is by using data replication techniques. However, replication is highly inefficient in terms of capacity utilization. Erasure coding has therefore become a viable alternative to replication since it provides the same level of reliability as replication with significantly less storage overhead. The present thesis investigates efficient constructions of erasure codes for different applications. Methods from both coding and information theory have been applied to network coding, Optical Packet Switching (OPS) networks and distributed storage systems. The following four issues are addressed: - Construction of binary and non-binary erasure codes; - Reduction of the header overhead due to the encoding coefficients in network coding; - Construction and implementation of new erasure codes for large-scale distributed storage systems that provide savings in the storage and network resources compared to state-of-the-art codes; and - Provision of a unified view on Quality of Service (QoS) in OPS networks when erasure codes are used, with the focus on Packet Loss Rate (PLR), survivability and secrecy.


title: Transition threshold for the 3D Couette flow in Sobolev space

abstract: In this paper, we study the transition threshold of the 3D Couette flow in Sobolev space at high Reynolds number $\text{Re}$. It was proved that if the initial velocity $v_0$ satisfies $\|v_0-(y,0,0)\|_{H^2}\le c_0\text{Re}^{-1}$, then the solution of the 3D Navier-Stokes equations is global in time and does not transition away from the Couette flow. This result confirms the transition threshold conjecture in physical literatures.


title: On near-cloaking for linear elasticity

abstract: We make precise some results on the cloaking of displacement fields in linear elasticity. In the spirit of transformation media theory, the transformed governing equations in Cosserat and Willis frameworks are shown to be equivalent to certain high contrast small defect problems for the usual Navier equations. We discuss near-cloaking for elasticity systems via a regularized transform and perform numerical experiments to illustrate our near-cloaking results. We also study the sharpness of the estimates from [H. Ammari, H. Kang, K. Kim and H. Lee, J. Diff. Eq. 254, 4446-4464 (2013)], wherein the convergence of the solutions to the transmission problems is investigated, when the Lam\'e parameters in the inclusion tend to extreme values. Both soft and hard inclusion limits are studied and we also touch upon the finite frequency case. Finally, we propose an approximate isotropic cloak algorithm for a symmetrized Cosserat cloak.


title: Anomalous system-size dependence of electrolytic cells with an electrified oil-water interface

abstract: Manipulation of the charge of the dielectric interface between two bulk liquids not only enables the adjustment of the interfacial tension but also controls the storage capacity of ions in the ionic double layers adjacent to each side of the interface. However, adjusting this interfacial charge by static external electric fields is difficult since the external electric fields are readily screened by ionic double layers that form in the vicinity of the external electrodes. This leaves the liquid-liquid interface, which is at a macroscopic distance from the electrodes, unaffected. In this study we show theoretically, in agreement with recent experiments, that control over this surface charge at the liquid-liquid interface is nonetheless possible for macroscopically large but finite closed systems in equilibrium, even when the distance between the electrode and interface is orders of magnitude larger than the Debye screening lengths of the two liquids. We identify a crossover system-size below which the interface and the electrodes are effectively coupled. Our calculations of the interfacial tension for various electrode potentials are in good agreement with recent experimental data.


title: Two-Dimensional Block Trees

abstract: The Block Tree (BT) is a novel compact data structure designed to compress sequence collections. It obtains compression ratios close to Lempel-Ziv and supports efficient direct access to any substring. The BT divides the text recursively into fixed-size blocks and those appearing earlier are represented with pointers. On repetitive collections, a few blocks can represent all the others, and thus the BT reduces the size by orders of magnitude. In this paper we extend the BT to two dimensions, to exploit repetitiveness in collections of images, graphs, and maps. This two-dimensional Block Tree divides the image regularly into subimages and replaces some of them by pointers to other occurrences thereof. We develop a specific variant aimed at compressing the adjacency matrices of Web graphs, obtaining space reductions of up to 50\% compared with the $k^2$-tree, which is the best alternative supporting direct and reverse navigation in the graph.


title: A characterization of compact locally conformally hyperk\"ahler manifolds

abstract: We give an equivalent definition of compact locally conformally hyperk\"ahler manifolds in terms of the existence of a nondegenerate complex two-form with natural properties. This is a conformal analogue of Beauville's theorem stating that a compact K\"ahler manifold admitting a holomorphic symplectic form is hyperk\"ahler.


title: SAFE: Spectral Evolution Analysis Feature Extraction for Non-Stationary Time Series Prediction

abstract: This paper presents a practical approach for detecting non-stationarity in time series prediction. This method is called SAFE and works by monitoring the evolution of the spectral contents of time series through a distance function. This method is designed to work in combination with state-of-the-art machine learning methods in real time by informing the online predictors to perform necessary adaptation when a non-stationarity presents. We also propose an algorithm to proportionally include some past data in the adaption process to overcome the Catastrophic Forgetting problem. To validate our hypothesis and test the effectiveness of our approach, we present comprehensive experiments in different elements of the approach involving artificial and real-world datasets. The experiments show that the proposed method is able to significantly save computational resources in term of processor or GPU cycles while maintaining high prediction performances.


title: New Results on Multi-Step Traffic Flow Prediction

abstract: In its simplest form, the traffic flow prediction problem is restricted to predicting a single time-step into the future. Multi-step traffic flow prediction extends this set-up to the case where predicting multiple time-steps into the future based on some finite history is of interest. This problem is significantly more difficult than its single-step variant and is known to suffer from degradation in predictions as the time step increases. In this paper, two approaches to improve multi-step traffic flow prediction performance in recursive and multi-output settings are introduced. In particular, a model that allows recursive prediction approaches to take into account the temporal context in term of time-step index when making predictions is introduced. In addition, a conditional generative adversarial network-based data augmentation method is proposed to improve prediction performance in the multi-output setting. The experiments on a real-world traffic flow dataset show that the two methods improve on multi-step traffic flow prediction in recursive and multi-output settings, respectively.


title: Process Ordering in a Process Calculus for Spatially-Explicit Ecological Models

abstract: In this paper we extend PALPS, a process calculus proposed for the spatially-explicit individual-based modeling of ecological systems, with the notion of a policy. A policy is an entity for specifying orderings between the different activities within a system. It is defined externally to a PALPS model as a partial order which prescribes the precedence order between the activities of the individu- als of which the model is comprised. The motivation for introducing policies is twofold: one the one hand, policies can help to reduce the state-space of a model, on the other hand, they are useful for exploring the behavior of an ecosystem under different assumptions on the ordering of events within the system. To take account of policies, we refine the semantics of PALPS via a transition relation which prunes away executions that do not respect the defined policy. Furthermore, we propose a translation of PALPS into the probabilistic model checker PRISM . We illustrate our framework by applying PRISM on PALPS models with policies for conducting simulation and reachability analysis.


title: Wafer-scale fabrication and room-temperature experiments on graphene-based gates for quantum computation

abstract: We have fabricated at wafer scale graphene-based configurations suitable for implementing at room temperature one-qubit quantum gates and a modified Deutsch-Jozsa algorithm. Our measurements confirmed the (quasi-)ballistic nature of charge carrier propagation through both types of devices, which have dimensions smaller than the room-temperature mean-free-path in graphene. As such, both graphene-based configurations were found to be suitable for quantum computation. These results are encouraging for demonstrating a miniaturized, room-temperature quantum computer based on graphene.


title: Finite Length Analysis of Irregular Repetition Slotted ALOHA in the Waterfall Region

abstract: A finite length analysis is introduced for irregular repetition slotted ALOHA (IRSA) that enables to accurately estimate its performance in the moderate-to-high packet loss probability regime, i.e., in the so-called waterfall region. The analysis is tailored to the collision channel model, which enables mapping the description of the successive interference cancellation process onto the iterative erasure decoding of low-density parity-check codes. The analysis provides accurate estimates of the packet loss probability of IRSA in the waterfall region as demonstrated by Monte Carlo simulations.


title: Competing dynamics of single phosphorus dopant in graphene with electron irradiation

abstract: Atomic-level structural changes in materials are important but challenging to study. Here, we demonstrate the dynamics and the possibility of manipulating a phosphorus dopant atom in graphene using scanning transmission electron microscopy (STEM). The mechanisms of various processes are explored and compared with those of other dopant species by first-principles calculations. This work paves the way for designing a more precise and optimized protocol for atomic engineering.


title: A Distributed Quasi-Newton Algorithm for Empirical Risk Minimization with Nonsmooth Regularization

abstract: We propose a communication- and computation-efficient distributed optimization algorithm using second-order information for solving ERM problems with a nonsmooth regularization term. Current second-order and quasi-Newton methods for this problem either do not work well in the distributed setting or work only for specific regularizers. Our algorithm uses successive quadratic approximations, and we describe how to maintain an approximation of the Hessian and solve subproblems efficiently in a distributed manner. The proposed method enjoys global linear convergence for a broad range of non-strongly convex problems that includes the most commonly used ERMs, thus requiring lower communication complexity. It also converges on non-convex problems, so has the potential to be used on applications such as deep learning. Initial computational results on convex problems demonstrate that our method significantly improves on communication cost and running time over the current state-of-the-art methods.


title: Minimizers of the p-oscillation functional

abstract: We define a family of functionals, called p-oscillation functionals, that can be interpreted as discrete versions of the classical total variation functional for p=1 and of the p-Dirichlet functionals for p>1. We introduce the notion of minimizers and prove existence of solutions to the Dirichlet problem. Finally we provide a description of Class A minimizers (i.e. minimizers under compact perturbations) in dimension 1.


title: Optimal Transmit Antenna Selection for Massive MIMO Wiretap Channels

abstract: In this paper, we study the impacts of transmit antenna selection on the secrecy performance of massive MIMO systems. We consider a wiretap setting in which a fixed number of transmit antennas are selected and then confidential messages are transmitted over them to a multi-antenna legitimate receiver while being overheard by a multi-antenna eavesdropper. For this setup, we derive an accurate approximation of the instantaneous secrecy rate. Using this approximation, it is shown that in some wiretap settings under antenna selection the growth in the number of active antennas enhances the secrecy performance of the system up to some optimal number and degrades it when this optimal number is surpassed. This observation demonstrates that antenna selection in some massive MIMO settings not only reduces the RF-complexity, but also enhances the secrecy performance. We then consider various scenarios and derive the optimal number of active antennas analytically using our large-system approximation. Numerical investigations show an accurate match between simulations and the analytic results.


title: A Successive Optimization Approach to Pilot Design for Multi-Cell Massive MIMO Systems

abstract: In this letter, we introduce a novel pilot design approach that minimizes the total mean square errors of the minimum mean square error estimators of all base stations (BSs) subject to the transmit power constraints of individual users in the network, while tackling the pilot contamination in multi-cell Massive MIMO systems. First, we decompose the original non-convex problem into distributed optimization sub-problems at individual BSs, where each BS can optimize its own pilot signals given the knowledge of pilot signals from the remaining BSs. We then introduce a successive optimization approach to transform each optimization sub-problem into a linear matrix inequality (LMI) form, which is convex and can be solved by available optimization packages. Simulation results confirm the fast convergence of the proposed approach and prevails a benchmark scheme in terms of providing higher accuracy.


title: A numerical method to solve a phaseless coefficient inverse problem from a single measurement of experimental data

abstract: We propose in this paper a globally numerical method to solve a phaseless coefficient inverse problem: how to reconstruct the spatially distributed refractive index of scatterers from the intensity (modulus square) of the full complex valued wave field at an array of light detectors located on a measurement board. The propagation of the wave field is governed by the 3D Helmholtz equation. Our method consists of two stages. On the first stage, we use asymptotic analysis to obtain an upper estimate for the modulus of the scattered wave field. This estimate allows us to approximately reconstruct the wave field at the measurement board using an inversion formula. This reduces the phaseless inverse scattering problem to the phased one. At the second stage, we apply a recently developed globally convergent numerical method to reconstruct the desired refractive index from the total wave obtained at the first stage. Unlike the optimization approach, the two-stage method described above is global in the sense that it does not require a good initial guess of the true solution. We test our numerical method on both computationally simulated and experimental data. Although experimental data are noisy, our method produces quite accurate numerical results.


title: Tunability of electronic and optical properties of the Ba-Zr-S system via dimensional reduction

abstract: Transition metal sulfide perovskites offer lower band gaps and greater tunability than oxides, along with other desirable properties for applications. Here we explore dimensional reduction as a tuning strategy using the Ruddlesden-Popper phases in the Ba-Zr-S system as a model. The three dimensional perovskite BaZrS$_3$ is a direct band semiconductor, with a band gap of 1.5 eV suitable for solar photovoltaic application. However, the three known members of the Ruddlesden-Popper series, are all indirect gap materials, and additionally have lower fundamental band gaps. This is accompanied in the case of by a band structure that is more favorable for carrier transport for oriented samples. The layered Ruddlesden-Popper compounds, show significantly anisotropic optical properties, as may be expected. The optical spectra show tails at low energy, which may complicate experimental characterization of these materials.


title: Homotopy Theory of linear coalgebras

abstract: We study extensively the homotopy theory of coalgebras. By coalgebras, we mean the full theory of coalgebras: with counits and not necessarily locally conilpotent. For example $\mathcal E_\infty$-coalgebras, $\mathcal A_\infty$-coalgebras, $\mathcal L_\infty$-coalgebras etc. To do so, we define the category of complete curved algebras -- where the notion of quasi-isomorphims does not make sense -- and endow it with a model category structure, equivalent to that of the category of coalgebras.


title: Sets of universal sequences for the symmetric group and analogous semigroups

abstract: A universal sequence for a group or semigroup $S$ is a sequence of words $w_1, w_2, \ldots$ such that for any sequence $s_1, s_2, \ldots\in S$, the equations $w_n = s_n$, $n\in \mathbb{N}$, can be solved simultaneously in $S$. For example, Galvin showed that the sequence $(a^{-1}(a^nba^{-n})b^{-1}(a^nb^{-1}a^{-n})ba)_{n\in\mathbb{N}}$ is universal for the symmetric group Sym$(X)$ when $X$ is infinite, and Sierpi\'nski showed that $(a ^ 2 b ^ 3 (abab ^ 3) ^ {n + 1} ab ^ 2 ab ^ 3)_{n\in \mathbb{N}}$ is universal for the monoid $X ^ X$ of functions from the infinite set $X$ to itself. In this paper, we show that under some conditions, the set of universal sequences for the symmetric group on an infinite set $X$ is independent of the cardinality of $X$. More precisely, we show that if $Y$ is any set such that $|Y| \geq |X|$, then every universal sequence for Sym$(X)$ is also universal for Sym$(Y)$. If $|X| > 2 ^ {\aleph_0}$, then the converse also holds. It is shown that an analogue of this theorem holds in the context of inverse semigroups, where the role of the symmetric group is played by the symmetric inverse monoid. In the general context of semigroups, the full transformation monoid $X ^ X$ is the natural analogue of the symmetric group and the symmetric inverse monoid. If $X$ and $Y$ are arbitrary infinite sets, then it is an open question as to whether or not every sequence that is universal for $X ^ X$ is also universal for $Y ^ Y$. However, we obtain a sufficient condition for a sequence to be universal for $X ^ X$ which does not depend on the cardinality of $X$. A large class of sequences satisfy this condition, and hence are universal for $X ^ X$ for every infinite set $X$.


title: Localization under Topological Uncertainty for Lane Identification of Autonomous Vehicles

abstract: Autonomous vehicles (AVs) require accurate metric and topological location estimates for safe, effective navigation and decision-making. Although many high-definition (HD) roadmaps exist, they are not always accurate since public roads are dynamic, shaped unpredictably by both human activity and nature. Thus, AVs must be able to handle situations in which the topology specified by the map does not agree with reality. We present the Variable Structure Multiple Hidden Markov Model (VSM-HMM) as a framework for localizing in the presence of topological uncertainty, and demonstrate its effectiveness on an AV where lane membership is modeled as a topological localization process. VSM-HMMs use a dynamic set of HMMs to simultaneously reason about location within a set of most likely current topologies and therefore may also be applied to topological structure estimation as well as AV lane estimation. In addition, we present an extension to the Earth Mover's Distance which allows uncertainty to be taken into account when computing the distance between belief distributions on simplices of arbitrary relative sizes.


title: AdS$_4$/CFT$_3$ for Unprotected Operators

abstract: We consider the four-point function of the lowest scalar in the stress-energy tensor multiplet in $\mathcal{N}=8$ ABJ(M) theory \cite{Aharony:2008ug, Aharony:2008gk}. At large central charge $c_T\sim N^{3/2}$, this correlator is given by the corresponding holographic correlation function in 11d supergravity on $AdS_4\times S^7$. We use Mellin space techniques to compute the leading $1/c_T$ correction to anomalous dimensions and OPE coefficients of operators that appear in this holographic correlator. For half and quarter-BPS operators, we find exact agreement with previously computed localization results. For the other BPS and non-BPS operators, our results match the $\mathcal{N}=8$ numerical bootstrap for ABJ(M) at large $c_T$, which provides a precise check of unprotected observables in AdS/CFT.


title: Traveling Wave Solutions to a Neural Field Model With Oscillatory Synaptic Coupling Types

abstract: In this paper, we investigate the existence, uniqueness, and spectral stability of traveling waves arising from a single threshold neural field model with one spatial dimension, a Heaviside firing rate function, axonal propagation delay, and biologically motivated oscillatory coupling types. Neuronal tracing studies show that long-ranged excitatory connections form stripe-like patterns throughout the mammalian cortex; thus, we aim to generalize the notions of pure excitation, lateral inhibition, and lateral excitation by allowing coupling types to spatially oscillate between excitation and inhibition. In turn, we hope to analyze traveling fronts and pulses with novel shapes. With fronts as our main focus, we exploit Heaviside firing rate functions in order to establish existence and utilize speed index functions with at most one critical point as a tool for showing uniqueness of wave speed. We are able to construct Evans functions, the so-called stability index functions, in order to provide positive spectral stability results. Finally, we show that by incorporating slow linear feedback, we can compute fast pulses numerically with phase space dynamics that are similar to their corresponding singular homoclinical orbits; hence, our work answers open problems and provides insight into new ones.


title: Generalized Information Ratio

abstract: Alpha-based performance evaluation may fail to capture correlated residuals due to model errors. This paper proposes using the Generalized Information Ratio (GIR) to measure performance under misspecified benchmarks. Motivated by the theoretical link between abnormal returns and residual covariance matrix, GIR is derived as alphas scaled by the inverse square root of residual covariance matrix. GIR nests alphas and Information Ratio as special cases, depending on the amount of information used in the residual covariance matrix. We show that GIR is robust to various degrees of model misspecification and produces stable out-of-sample returns. Incorporating residual correlations leads to substantial gains that alleviate model error concerns of active management.


title: Oxygen vacancies and hydrogen doping in LaAlO3/SrTiO3 heterostructures: electronic properties and impact on surface and interface reconstruction

abstract: We investigate the effect of oxygen vacancies and hydrogen dopants at the surface and inside slabs of LaAlO3, SrTiO3, and LaAlO3/SrTiO3 heterostructures on the electronic properties by means of electronic structure calculations as based on density functional theory. Depending on the concentration, the presence of these defects in LaAlO3 slab can suppress the surface conductivity. In contrast, in insulating SrTiO3 slabs already very small concentrations of oxygen vacancies or hydrogen dopant atoms induce a finite occupation of the conduction band. Surface defects in insulating LaAlO3/SrTiO3 heterostructure slabs with three LaAlO3 overlayers lead to the emergence of interface conductivity. Calculated defect formation energies reveal strong preference of hydrogen dopant atoms for surface sites for all structures and concentrations considered. Strong decrease of the defect formation energy of hydrogen adatoms with increasing thickness of the LaAlO3 overlayer and crossover from positive to negative values, taken together with the metallic conductivity induced by hydrogen adatoms, seamlessly explains the semiconductor-metal transition observed for these heterostructures as a function of the overlayer thickness. Moreover, we show that the potential drop and concomitant shift of (layer resolved) band edges is suppressed for the metallic configuration. Finally, magnetism with stable local moments, which form atomically thin magnetic layers at the interface, is generated by oxygen vacancies either at the surface or the interface, or by hydrogen atoms buried at the interface. In particular, oxygen vacancies in the TiO2 interface layer cause drastic downshift of the 3d e_g states of the Ti atoms neighboring the vacancies, giving rise to strongly localized magnetic moments, which add to the two-dimensional background magnetization.


title: Algebraic construction of higher order difference approximations for fractional derivatives and applications

abstract: A generalization of the Gr\"{u}nwald difference approximation for fractional derivatives in terms of a real sequence and its generating function is presented. Properties of the generating function are derived for consistency and order of accuracy for the approximation corresponding to the generator. Using this generalization, some higher order Gr\"{u}nwald type approximations are constructed and tested for numerical stability by using steady state fractional differential problems. These higher order approximations are used in Crank-Nicolson type numerical schemes to approximate the solution of space fractional diffusion equations. Stability and convergence of these numerical schemes are analyzed and are supported by numerical examples.


title: Data Curation with Deep Learning [Vision]

abstract: Data curation - the process of discovering, integrating, and cleaning data - is one of the oldest, hardest, yet inevitable data management problems. Despite decades of efforts from both researchers and practitioners, it is still one of the most time consuming and least enjoyable work of data scientists. In most organizations, data curation plays an important role so as to fully unlock the value of big data. Unfortunately, the current solutions are not keeping up with the ever-changing data ecosystem, because they often require substantially high human cost. Meanwhile, deep learning is making strides in achieving remarkable successes in multiple areas, such as image recognition, natural language processing, and speech recognition. In this vision paper, we explore how some of the fundamental innovations in deep learning could be leveraged to improve existing data curation solutions and to help build new ones. In particular, we provide a thorough overview of the current deep learning landscape, and identify interesting research opportunities and dispel common myths. We hope that the synthesis of these important domains will unleash a series of research activities that will lead to significantly improved solutions for many data curation tasks.


title: Vertex operator algebras generated by Ising vectors of $\sigma$-type

abstract: We prove the uniqueness of the simple vertex operator algebra of OZ-type generated by Ising vectors of $\sigma$-type. We also prove that the simplicity can be omitted if the Griess algebra is isomorphic to the Matsuo algebra associated with the root system of type $A_n$.


title: A Most Interesting, but Revoked Draft for Hilbert and Bernays' "Grundlagen der Mathematik" that never found its way into any publication, and 2 CV of Gisbert Hasenjaeger

abstract: In 1934, in Bernays preface to the 1st edn. of the 1st vol. of Hilbert-Bernays "Grundlagen der Mathematik", a nearly completed draft of the the finally two-volume monograph is mentioned, which had to be revoked because of the completely changed situation in the area of proof theory after Herbrand and Goedels revolutionary results. Nothing at all seems to be known about this draft and its whereabouts. A third of a century later, Bernays preface to the 2nd edn. (1968) of the 1st vol. of Hilbert-Bernays mentions joint work of Hasenjaeger and Bernays on the second edition. Bernays states there that it became obvious that the integration of the many new results in the area of proof theory would have required a complete reorganization of the book, i.e. that the inclusion of the intermediately found new results in the area of proof theory turned out to be unobtainable by a revision, but would have required a complete reorganization of the entire textbook. We document that - even after the need for a complete reorganization had become obvious - this joint work went on to a considerable extent. Moreover, we document when Hasenjaeger stayed in Zurich to assist Bernays in the completion of the 2nd edn. In May 2017, we identified an incorrectly filed text in Bernays scientific legacy at the archive of the ETH Zurich as a candidate for the beginning of the revoked draft for the 1st edn. or of a revoked draft for the 2nd edn. In a partial presentation and careful investigation of this text we gather only some minor evidence that this text is the beginning of the nearly completed draft of the 1st edn., but ample evidence that this text is part of the work of Hasenjaeger and Bernays on the 2nd edn. We provide some evidence that this work has covered a complete reorganization of the entire 1st vol., including a completely new version of its last chapter on the iota.


title: Robust Abstractions for Control Synthesis: Robustness Equals Realizability for Linear-Time Properties

abstract: We define robust abstractions for synthesizing provably correct and robust controllers for (possibly infinite) uncertain transition systems. It is shown that robust abstractions are sound in the sense that they preserve robust satisfaction of linear-time properties. We then focus on discrete-time control systems modelled by nonlinear difference equations with inputs and define concrete robust abstractions for them. While most abstraction techniques in the literature for nonlinear systems focus on constructing sound abstractions, we present computational procedures for constructing both sound and approximately complete robust abstractions for general nonlinear control systems without stability assumptions. Such procedures are approximately complete in the sense that, given a concrete discrete-time control system and an arbitrarily small perturbation of this system, there exists a finite transition system that robustly abstracts the concrete system and is abstracted by the slightly perturbed system simultaneously. A direct consequence of this result is that robust control synthesis for discrete-time nonlinear systems and linear-time specifications is robustly decidable. More specifically, if there exists a robust control strategy that realizes a given linear-time specification, we can algorithmically construct a (potentially less) robust control strategy that realizes the same specification. The theoretical results are illustrated with a simple motion planning example.


title: Lefschetz properties of monomial ideals with almost linear resolution

abstract: We study the WLP and SLP of artinian monomial ideals in $S=\mathbb{K}[x_1,\dots ,x_n]$ via studying their minimal free resolutions. We study the Lefschetz properties of such ideals where the minimal free resolution of $S/I$ is linear for at least $n-2$ steps. We give an affirmative answer to a conjecture of Eisenbud, Huneke and Ulrich for artinian monomial ideals with almost linear resolutions.


title: Comparing Asset Pricing Models: Distance-based Metrics and Bayesian Interpretations

abstract: In light of the power problems of statistical tests and undisciplined use of alpha-based statistics to compare models, this paper proposes a unified set of distance-based performance metrics, derived as the square root of the sum of squared alphas and squared standard errors. The Bayesian investor views model performance as the shortest distance between his dogmatic belief (model-implied distribution) and complete skepticism (data-based distribution) in the model, and favors models that produce low dispersion of alphas with high explanatory power. In this view, the momentum factor is a crucial addition to the five-factor model of Fama and French (2015), alleviating his prior concern of model mispricing by -8% to 8% per annum. The distance metrics complement the frequentist p-values with a diagnostic tool to guard against bad models.


title: Comparing Downward Fragments of the Relational Calculus with Transitive Closure on Trees

abstract: Motivated by the continuing interest in the tree data model, we study the expressive power of downward navigational query languages on trees and chains. Basic navigational queries are built from the identity relation and edge relations using composition and union. We study the effects on relative expressiveness when we add transitive closure, projections, coprojections, intersection, and difference; this for boolean queries and path queries on labeled and unlabeled structures. In all cases, we present the complete Hasse diagram. In particular, we establish, for each query language fragment that we study on trees, whether it is closed under difference and intersection.


title: Boundary Value Problems for the Helmholtz Equation for a Half-plane with a Lipschitz Inclusion

abstract: This paper considers to the problems of diffraction of electromagnetic waves on a half-plane, which has a finite inclusion in the form of a Lipschitz curve. The diffraction problem formulated as boundary value problem for Helmholtz equations and boundary conditions Dirichlet or Neumann on the boundary, as well as the radiation conditions at infinity. We carry out research on these problems in generalized Sobolev spaces. We use the operators of potential type, that by their properties are analogs of the classical potentials of single and double layers. We proved the solvability of the boundary value problems of Dirichlet and Neumann. We have obtained solutions of boundary value problems in the form of operators of potential type. Boundary problems are reduced to integral equations of the second kind.


title: Facile and fast growth of high mobility nanoribbons of ZrTe$_5$

abstract: Recently, ZrTe$_5$ has received a lot of attention as it exhibits various topological phases, such as weak and strong topological insulators, a Dirac semimetal, and a quantum spin Hall insulator in the monolayer limit. While most of studies have been focused on the three-dimensional bulk material, it is highly desired to obtain nanostructured materials due to their advantages in device applications. We report the synthesis and characterizations of ZrTe$_5$ nanoribbons. Via a silicon-assisted chemical vapor transport method, long nanoribbons with thickness as thin as 20 nm can be grown. The growth rate is over an order of magnitude faster than the previous method for growth of bulk crystals. Moreover, transport studies show that nanoribbons are of low unintentional doping and high carrier mobility, over 30,000 cm$^2$/Vs, which enable reliable determination of the Berry phase of $\pi$ in the $ac$ plane from quantum oscillations. Our method holds great potential in growth of high quality ultra-thin nanostructures of ZrTe$_5$.


title: $\mathbb{R}$-complex Finsler spaces with infinite series $(\alpha, \beta)$-metric

abstract: In the present paper, the notion of $\mathbb{R}$-complex Finsler space with Infinite Series ($\alpha, \beta$)- metric $\dfrac{\beta^2}{\beta - \alpha}$ is defined. The Fundamental metric fields $g_{ij}$, $g_{i\bar{j}}$, their determinants and the inverse of these tensor fields are obtained. Also some properties of these spaces are studied.


title: The ICO Phenomenon and Its Relationships with Ethereum Smart Contract Environment

abstract: Initial Coin Offerings (ICO) are public offers of new cryptocurrencies in exchange of existing ones, aimed to finance projects in the blockchain development arena. In the last 8 months of 2017, the total amount gathered by ICOs exceeded 4 billion US$, and overcame the venture capital funnelled toward high tech initiatives in the same period. A high percentage of ICOS is managed through Smart Contracts running on Ethereum blockchain, and in particular to ERC-20 Token Standard Contract. In this work we examine 1388 ICOs, published on December 31, 2017 on icobench.com Web site, gathering information relevant to the assessment of their quality and software development management, including data on their development teams. We also study, at the same date, the financial data of 450 ICO tokens available on coinmarketcap.com Web site, among which 355 tokens are managed on Ethereum blochain. We define success criteria for the ICOs, based on the funds actually gathered, and on the behavior of the price of the related tokens, finding the factors that most likely influence the ICO success likeliness.


title: Quantification of GR effects in muon g-2, EDM and other spin precession experiments

abstract: Recently, Morishima, Futamase and Shimizu published a series of manuscripts, putting forward arguments, based on a post-Newtonian approximative calculation, that there can be a sizable general relativistic (GR) correction in the experimental determination of the muon magnetic moment based on spin precession, i.e., in muon g-2 experiments. In response, other authors argued that the effect must be much smaller than claimed. Further authors argued that the effect exactly cancels. Also, the known formulae for de Sitter and Lense-Thirring effect do not apply due to the non-geodesic motion. All this indicates that it is difficult to estimate from first principles the influence of GR corrections in the problem of spin propagation. Therefore, in this paper we present a full general relativistic calculation in order to quantify this effect. The main methodology is the purely differential geometrical tool of Fermi-Walker transport over a Schwarzschild background. Also the Larmor precession due to the propagation in the electromagnetic field of the experimental apparatus is included. For the muon g-2 experiments the GR correction turns out to be very small, well below the present sensitivity. However, in other similar storage ring experimental settings, such as electric dipole moment (EDM) search experiments, where the so-called frozen spin method is used, GR gives a well detectable effect, and should be corrected for. All frozen spin scenarios are affected which intend to reach a sensitivity of 0.1 microradians/second for the spin precession in the vertical plane.


title: On the distribution of totients 2 mod. 4

abstract: In this paper we study the distribution of totients $2$ mod. $4$. We prove that the asymptotic magnitude of such totients with multiplicity two is half of that of prime numbers. As a corollary we obtain that the relative asymptotic density of the number of those totients with multiplicity four over the number of totients with multiplicity two is zero. We also obtain that the set of totients which have, a bigger than one, power of a prime in their pre-images and multiplicity $k$ has relative asymptotic density over the number of all totients of multiplicity $k$ equals to zero. A result on the distribution of consecutive pairs of totients $2$ mod. $4$, which relates to cousin primes, is also provide.


title: Universal bounds for the Hardy--Littlewood inequalities on multilinear forms

abstract: The Hardy--Littlewood inequalities for multilinear forms on sequence spaces state that for all positive integers $m,n\geq2$ and all $m$-linear forms $T:\ell_{p_{1}}^{n}\times\cdots\times\ell_{p_{m}}^{n}\rightarrow\mathbb{K}$ ($\mathbb{K}=\mathbb{R}$ or $\mathbb{C}$) there are constants $C_{m}\geq1$ (not depending on $n$) such that \[ \left( \sum_{j_{1},\ldots,j_{m}=1}^{n}\left\vert T(e_{j_{1}},\ldots,e_{j_{m}})\right\vert ^{\rho}\right) ^{\frac{1}{\rho}}\leq C_{m}\sup_{\left\Vert x_{1}\right\Vert ,\dots,\left\Vert x_{m}\right\Vert \leq 1}\left\vert T(x_{1},\dots,x_{m})\right\vert, \] where $\rho=\frac{2m}{m+1-2\left( \frac{1}{p_{1}}+\cdots+\frac{1}{p_{m}}\right) }$ if $0\leq\frac{1}{p_{1}}+\cdots+\frac{1}{p_{m}}\leq\frac{1}{2}$ or $\rho=\frac{1}{1-\left( \frac{1}{p_{1}}+\cdots+\frac{1}{p_{m}}\right)}$ if $\frac{1}{2}\leq\frac{1}{p_{1}}+\cdots+\frac{1}{p_{m}}<1$. Good estimates for the Hardy-Littlewood constants are, in general, associated to applications in Mathematics and even in Physics, but the exact behavior of these constants is still unknown. In this note we give some new contributions to the behavior of the constants in the case $\frac{1}{2}\leq\frac{1}{p_{1}}+\cdots+\frac{1}{p_{m}}<1$. As a consequence of our main result, we present a generalization and a simplified proof of a result due to Aron et al. on certain Hardy--Littlewood type inequalities.


title: Hirzebruch Functional Equation: Classification of Solutions

abstract: The Hirzebruch functional equation is \[ \sum_{i = 1}^{n} \prod_{j \ne i} { 1 \over f(z_j - z_i)} = c \] with constant $c$ and initial conditions $f(0)=0, f'(0)=1$. In this paper we find all solutions of the Hirzebruch functional equation for $n \leqslant 6$ in the class of meromorphic functions and in the class of series. Previously, such results were known only for $n \leqslant 4$. The Todd function is the function determining the two-parametric Todd genus (i.e. the $\chi_{a,b}$-genus). It gives a solution to the Hirzebruch functional equation for any $n$. The elliptic function of level $N$ is the function determining the elliptic genus of level $N$. It gives a solution to the Hirzebruch functional equation for $n$ divisible by $N$. A series corresponding to a meromorphic function $f$ with parameters in $U \subset \mathbb{C}^k$ is a series with parameters in the Zariski closure of $U$ in $\mathbb{C}^k$, such that for parameters in $U$ it coincides with the series expansion at zero of $f$. The main results are: Any series solution of the Hirzebruch functional equation for $n = 5$ corresponds to the Todd function or to the elliptic function of level $5$. Any series solution of the Hirzebruch functional equation for $n = 6$ corresponds to the Todd function or to the elliptic function of level $2$, $3$ or $6$. This gives a complete classification of complex genera that are fiber multiplicative with respect to $\mathbb{C}P^{n-1}$ for $n \leqslant 6$.


title: Ancient Solutions to Curve Shortening with Finite Total Curvature

abstract: We construct ancient solutions to Curve Shortening in the plane whose total curvature is uniformly bounded by gluing together an arbitrary chain of given Grim Reapers along their common asymptotes.


title: Concatenated Power Mean Word Embeddings as Universal Cross-Lingual Sentence Representations

abstract: Average word embeddings are a common baseline for more sophisticated sentence embedding techniques. However, they typically fall short of the performances of more complex models such as InferSent. Here, we generalize the concept of average word embeddings to power mean word embeddings. We show that the concatenation of different types of power mean word embeddings considerably closes the gap to state-of-the-art methods monolingually and substantially outperforms these more complex techniques cross-lingually. In addition, our proposed method outperforms different recently proposed baselines such as SIF and Sent2Vec by a solid margin, thus constituting a much harder-to-beat monolingual baseline. Our data and code are publicly available.


title: A Primal-Dual Algorithm with Line Search for General Convex-Concave Saddle Point Problems

abstract: In this paper, we propose a primal-dual algorithm with a novel momentum term using the partial gradients of the coupling function that can be viewed as a generalization of the method proposed by Chambolle and Pock in 2016 to solve saddle point problems defined by a convex-concave function $\mathcal L(x,y)=f(x)+\Phi(x,y)-h(y)$ with a general coupling term $\Phi(x,y)$ that is not assumed to be bilinear. Assuming $\nabla_x\Phi(\cdot,y)$ is Lipschitz for any fixed $y$, and $\nabla_y\Phi(\cdot,\cdot)$ is Lipschitz, we show that the iterate sequence converges to a saddle point; and for any $(x,y)$, we derive error bounds in terms of $\mathcal L(\bar{x}_k,y)-\mathcal L(x,\bar{y}_k)$ for the ergodic sequence $\{\bar{x}_k,\bar{y}_k\}$. In particular, we show $\mathcal O(1/k)$ rate when the problem is merely convex in $x$. Furthermore, assuming $\Phi(x,\cdot)$ is linear for each fixed $x$ and $f$ is strongly convex, we obtain the ergodic convergence rate of $\mathcal O(1/k^2)$ -- we are not aware of another single-loop method in the related literature achieving the same rate when $\Phi$ is not bilinear. Finally, we propose a backtracking technique which does not require the knowledge of Lipschitz constants while ensuring the same convergence results. We also consider convex optimization problems with nonlinear functional constraints and we show that using the backtracking scheme, the optimal convergence rate can be achieved even when the dual domain is unbounded. We tested our method against other state-of-the-art first-order algorithms and interior-point methods for solving quadratically constrained quadratic problems with synthetic data, the kernel matrix learning, and regression with fairness constraints arising in machine learning.


title: An Note on Why Geographically Weighted Regression Overcomes Multidimensional-Kernel-Based Varying-Coefficient Model

abstract: It is widely known that geographically weighted regression(GWR) is essentially same as varying-coefficient model. In the former research about varying-coefficient model, scholars tend to use multidimensional-kernel-based locally weighted estimation(MLWE) so that information of both distance and direction is considered. However, when we construct the local weight matrix of geographically weighted estimation, distance among the locations in the neighbor is the only factor controlling the value of entries of weight matrix. In other word, estimation of GWR is distance-kernel-based. Thus, in this paper, under stationary and limited dependent data with multidimensional subscripts, we analyze the local mean squared properties of without any assumption of the form of coefficient functions and compare it with MLWE. According to the theoretical and simulation results, geographically-weighted locally linear estimation(GWLE) is asymptotically more efficient than MLWE. Furthermore, a relationship between optimal bandwith selection and design of scale parameters is also obtained.


title: Exploring Novel Game Spaces with Fluidic Games

abstract: With the growing integration of smartphones into our daily lives, and their increased ease of use, mobile games have become highly popular across all demographics. People listen to music, play games or read the news while in transit or bridging gap times. While mobile gaming is gaining popularity, mobile expression of creativity is still in its early stages. We present here a new type of mobile app -- fluidic games -- and illustrate our iterative approach to their design. This new type of app seamlessly integrates exploration of the design space into the actual user experience of playing the game, and aims to enrich the user experience. To better illustrate the game domain and our approach, we discuss one specific fluidic game, which is available as a commercial product. We also briefly discuss open challenges such as player support and how generative techniques can aid the exploration of the game space further.


title: Fractalized Metals

abstract: The classification of gapped phases of non-interacting fermions hinges on the tenfold symmetries and on the spatial dimension. The notion of dimension leads to a well defined demarcation between bulk and edge. Here we explore the nature of topological phases in systems where the distinction between bulk and edge is nebulous, of which fractal lattices are canonical examples. Our key finding is that in homogeneous fractal lattices (where every site is equally coordinated), there are no gapped topological phases. What appears instead is a novel metallic state -- the fractalized metal -- whose low energy states arrange hierarchically on the structure of the fractal that hosts them. We study the properties (such as chiral transport) of this metal and demonstrate its robustness to disorder. Further, by studying a variety of fractal models we establish that the homogeneity of the fractal is a key condition for the realization of such fractalized metallic states.


title: Three-forms, dualities and membranes in four-dimensional supergravity

abstract: We consider four-dimensional $\mathcal{N}=1$ supergravity models of a kind appearing in string flux compactifications. It has been recently shown that, by using double three-form multiplets instead of ordinary chiral multiplets, one can promote to dynamical variables (part of) the quantized numbers appearing in the flux-induced superpotential. We show that double three-form multiplets naturally transform under symplectic dualities associated with the special K\"ahler structure that characterizes their scalar sector. Furthermore, we discuss how to couple membranes which carry arbitrary `electric-magnetic' charges. The complete action is supersymmetric, kappa-symmetric and duality covariant. As an application, we derive the flow equations for BPS domain walls sourced by membranes and give simple analytic examples of their solution.


title: On Andrews' partitions with parts separated by parity

abstract: In this paper, we present a generalization of one of the theorems in [G. E. Andrews, Partitions with parts separated by parity, \textit{Annals of Combinatorics} \textbf{23}(2019), 241 - 248], and give its bijective proof. Further variations of related partition functions are studied resulting in a number of interesting identities.


title: Self-consistent modeling of anisotropic interfaces and missing orientations: Derivation from phase-field crystal

abstract: Highly anisotropic interfaces play an important role in the development of material microstructure. Using the diffusive atomistic phase-field crystal (PFC) formalism, we determine the capability of the model to quantitatively describe these interfaces. Specifically, we coarse grain the PFC model to attain both its complex amplitude formulation and its corresponding phase-field limit. Using this latter formulation, in one-dimensional calculations, we determine the surface energy and the properties of the Wulff shape. We find that the model can yield Wulff shapes with missing orientations, the transition to missing orientations, and facet formation. We show that the corresponding phase-field limit of the complex amplitude model yields a self-consistent description of highly anisotropic surface properties that are a function of the surface orientation with respect to the underlying crystal lattice. The phase-field model is also capable of describing missing orientations on equilibrium shapes of crystals and naturally includes a regularizing contribution. We demonstrate, in two dimensions, how the resultant model can be used to study growth of crystals with varying degrees of anisotropy in the phase-field limit.


title: Unobstructedness of Galois deformation rings associated to RACSDC automorphic representations

abstract: Let $F$ be a CM field and let $(\overline{r}_{\pi,\lambda})_{\lambda}$ be the compatible system of residual $\mathcal{G}_n$-valued representations of $\operatorname{Gal}_{F}$ attached to a RACSDC automorphic representation $\pi$ of $\operatorname{GL}_n(\mathbb{A})$, as studied by Clozel, Harris and Taylor and others. Under mild assumptions, we prove that the fixed-determinant universal deformation rings attached to $\overline{r}_{\pi,\lambda}$ are unobstructed for all places $\lambda$ in a subset of Dirichlet density $1$, continuing the investigations of Mazur, Weston and Gamzon. During the proof, we develop a general framework for proving unobstructedness (which could be useful for other applications in future) and an $R=T$-theorem, relating the universal crystalline deformation ring of $\overline{r}_{\pi,\lambda}$ and a certain unitary fixed-type Hecke algebra.


title: Holomorphic anomaly equations for the formal quintic

abstract: We define a formal Gromov-Witten theory of the quintic 3-fold via localization on CP4. Our main result is a direct geometric proof of holomorphic anomaly equations for the formal quintic in precisely the same form as predicted by B-model physics for the true Gromov-Witten theory of the quintic 3-fold. The results suggest that the formal quintic and the true quintic theories should be related by transformations which respect the holomorphic anomaly equations. Such a relationship has been recently found by Q. Chen, S. Guo, F. Janda, and Y. Ruan via the geometry of new moduli spaces.


title: Translating solitons in Riemannian products

abstract: In this paper we study solitons invariant with respect to the flow generated by a complete Killing vector field in a ambient Riemannian manifold. A special case occurs when the ambient manifold is the Riemannian product $(\mathbb{R} \times P, {\rm d}t^2+g_0)$ and the Killing field is $X=\partial_t$. Similarly to what happens in the Euclidean setting, we call them translating solitons. We see that a translating soliton in $\mathbb{R} \times P$ can be seen as a minimal submanifold for a weighted volume functional. Moreover we show that this kind of solitons appear in a natural way in the context of a monotonicity formula for the mean curvature flow in $\mathbb{R} \times P$. When $g_0$ is rotationally invariant and its sectional curvature is non-positive, we are able to characterize all the rotationally invariant translating solitons. Furthermore, we use these families of new examples as barriers to deduce several non-existence results.


title: Topological Sachdev-Ye-Kitaev Model

abstract: In this letter we construct a large-N exactly solvable model to study the interplay between interaction and topology, by connecting Sacheve-Ye-Kitaev (SYK) model with constant hopping. The hopping forms a band structure that can exhibit both topological trivial and nontrivial phases. Starting from a topologically trivial insulator with zero Hall conductance, we show that interaction can drive a phase transition to topological nontrivial insulator with quantized non-zero Hall conductance, and a single gapless Dirac fermion emerges when the interaction is fine tuned to the critical point. The finite temperature effect is also considered and we show that the topological phase with stronger interaction is less stable against temperature. Our model provides a concrete example to illustrate interacting topological phases and phase transition, and can shed light on similar problems in physical systems.


title: A real-time decision support system for bridge management based on the rules generalized by CART decision tree and SMO algorithms

abstract: Under dynamic conditions on bridges, we need a real-time management. To this end, this paper presents a rule-based decision support system in which the necessary rules are extracted from simulation results made by Aimsun traffic micro-simulation software. Then, these rules are generalized by the aid of fuzzy rule generation algorithms. Then, they are trained by a set of supervised and the unsupervised learning algorithms to get an ability to make decision in real cases. As a pilot case study, Nasr Bridge in Tehran is simulated in Aimsun and WEKA data mining software is used to execute the learning algorithms. Based on this experiment, the accuracy of the supervised algorithms to generalize the rules is greater than 80%. In addition, CART decision tree and sequential minimal optimization (SMO) provides 100% accuracy for normal data and these algorithms are so reliable for crisis management on bridge. This means that, it is possible to use such machine learning methods to manage bridges in the real-time conditions.


title: Egocentric Basketball Motion Planning from a Single First-Person Image

abstract: We present a model that uses a single first-person image to generate an egocentric basketball motion sequence in the form of a 12D camera configuration trajectory, which encodes a player's 3D location and 3D head orientation throughout the sequence. To do this, we first introduce a future convolutional neural network (CNN) that predicts an initial sequence of 12D camera configurations, aiming to capture how real players move during a one-on-one basketball game. We also introduce a goal verifier network, which is trained to verify that a given camera configuration is consistent with the final goals of real one-on-one basketball players. Next, we propose an inverse synthesis procedure to synthesize a refined sequence of 12D camera configurations that (1) sufficiently matches the initial configurations predicted by the future CNN, while (2) maximizing the output of the goal verifier network. Finally, by following the trajectory resulting from the refined camera configuration sequence, we obtain the complete 12D motion sequence. Our model generates realistic basketball motion sequences that capture the goals of real players, outperforming standard deep learning approaches such as recurrent neural networks (RNNs), long short-term memory networks (LSTMs), and generative adversarial networks (GANs).


title: Product formulas for weight two newforms

abstract: For a weight two newform $f$ attached to an elliptic curve $E$ defined over rational numbers we write $f=q\prod_{n=1}^\infty (1-q^n)^{g_n}, \ g_n\in\Z$ and we observe that for some special elliptic curves $g_n$ is an increasing sequence of positive integers.


title: Invariant, anti-invariant and slant submanifolds of a metallic Riemannian manifold

abstract: Properties of invariant, anti-invariant and slant isometrically immersed submanifolds of metallic Riemannian manifolds are given with a special view towards the induced $\Sigma$-structure. Examples of such metallic manifolds are also given.


title: Machine learning determination of atomic dynamics at grain boundaries

abstract: In polycrystalline materials, grain boundaries are sites of enhanced atomic motion, but the complexity of the atomic structures within a grain boundary network makes it difficult to link the structure and atomic dynamics. Here we use a machine learning technique to establish a connection between local structure and dynamics of these materials. Following previous work on bulk glassy materials, we define a purely structural quantity, softness, that captures the propensity of an atom to rearrange. This approach correctly identifies crystalline regions, stacking faults, and twin boundaries as having low likelihood of atomic rearrangements, while finding a large variability within high-energy grain boundaries. As has been found in glasses [9,19,26], the probability that atoms of a given softness will rearrange is nearly Arrhenius. This indicates a well-defined energy barrier as well as a well-defined prefactor for the Arrhenius form for atoms of a given softness. The decrease in the prefactor for low-softness atoms indicates that variations in entropy exhibit a dominant influence on the atomic dynamics in grain boundaries.


title: Efficient and Accurate MRI Super-Resolution using a Generative Adversarial Network and 3D Multi-Level Densely Connected Network

abstract: High-resolution (HR) magnetic resonance images (MRI) provide detailed anatomical information important for clinical application and quantitative image analysis. However, HR MRI conventionally comes at the cost of longer scan time, smaller spatial coverage, and lower signal-to-noise ratio (SNR). Recent studies have shown that single image super-resolution (SISR), a technique to recover HR details from one single low-resolution (LR) input image, could provide high-quality image details with the help of advanced deep convolutional neural networks (CNN). However, deep neural networks consume memory heavily and run slowly, especially in 3D settings. In this paper, we propose a novel 3D neural network design, namely a multi-level densely connected super-resolution network (mDCSRN) with generative adversarial network (GAN)-guided training. The mDCSRN quickly trains and inferences and the GAN promotes realistic output hardly distinguishable from original HR images. Our results from experiments on a dataset with 1,113 subjects show that our new architecture beats other popular deep learning methods in recovering 4x resolution-downgraded im-ages and runs 6x faster.


title: Complexity and (un)decidability of fragments of $\langle \omega^{\omega^\lambda}; \times \rangle$

abstract: We specify the frontier of decidability for fragments of the first-order theory of ordinal multiplication. We give a NEXPTIME lower bound for the complexity of the existential fragment of $\langle \omega^{\omega^\lambda}; \times, \omega, \omega+1, \omega^2+1 \rangle$ for every ordinal $\lambda$. Moreover, we prove (by reduction from Hilbert Tenth Problem) that the $\exists^*\forall^{6}$-fragment of $\langle \omega^{\omega^\lambda}; \times \rangle$ is undecidable for every ordinal $\lambda$.


title: Image space projection for low-rank signal estimation: Modified Gauss-Newton method

abstract: The paper is devoted to the solution of a weighted nonlinear least-squares problem for low-rank signal estimation, which is related to Hankel structured low-rank approximation problems. A modified weighted Gauss-Newton method, which uses projecting on the image space of the signal, is proposed to solve this problem. The advantage of the proposed method is the possibility of its numerically stable and fast implementation. For a weight matrix, which corresponds to an autoregressive process of order $p$, the computational cost of iterations is $O(N r^2 + N p^2 + r N \log N)$, where $N$ is the time series length, $r$ is the rank of the approximating time series. For developing the method, some useful properties of the space of time series of rank $r$ are studied. The method is compared with state-of-the-art methods based on the variable projection approach in terms of numerical stability, accuracy and computational cost.


title: Detecting Correlations with Little Memory and Communication

abstract: We study the problem of identifying correlations in multivariate data, under information constraints: Either on the amount of memory that can be used by the algorithm, or the amount of communication when the data is distributed across several machines. We prove a tight trade-off between the memory/communication complexity and the sample complexity, implying (for example) that to detect pairwise correlations with optimal sample complexity, the number of required memory/communication bits is at least quadratic in the dimension. Our results substantially improve those of Shamir [2014], which studied a similar question in a much more restricted setting. To the best of our knowledge, these are the first provable sample/memory/communication trade-offs for a practical estimation problem, using standard distributions, and in the natural regime where the memory/communication budget is larger than the size of a single data point. To derive our theorems, we prove a new information-theoretic result, which may be relevant for studying other information-constrained learning problems.


title: XDFT: an efficient first-principles method for neutral excitations in molecules

abstract: State-of-the-art methods for calculating neutral excitation energies are typically demanding and limited to single electron-hole pairs and their composite plasmons. Here we introduce excitonic density-functional theory (XDFT) a computationally light, generally applicable, first-principles technique for calculating neutral excitations based on generalized constrained DFT. In order to simulate an M-particle excited state of an N-electron system, XDFT automatically optimizes a constraining potential to confine N-M electrons within the ground-state Kohn-Sham valence subspace. We demonstrate the efficacy of XDFT by calculating the lowest single-particle singlet and triplet excitation energies of the well-known Thiel molecular test set, with results which are in excellent agreement with time-dependent DFT. Furthermore, going beyond the capability of adiabatic time-dependent DFT, we show that XDFT can successfully capture double excitations. Overall our method makes optical gaps, excition bindings and oscillator strengths readily accessible at a computational cost comparable to that of standard DFT. As such, XDFT appears as an ideal candidate to work within high-throughput discovery frameworks and within linear-scaling methods for large systems.

categories: physics.chem-ph cond-mat.mtrl-sci physics.atm-clus physics.comp-ph quant-ph


title: DAGs with NO TEARS: Continuous Optimization for Structure Learning

abstract: Estimating the structure of directed acyclic graphs (DAGs, also known as Bayesian networks) is a challenging problem since the search space of DAGs is combinatorial and scales superexponentially with the number of nodes. Existing approaches rely on various local heuristics for enforcing the acyclicity constraint. In this paper, we introduce a fundamentally different strategy: We formulate the structure learning problem as a purely \emph{continuous} optimization problem over real matrices that avoids this combinatorial constraint entirely. This is achieved by a novel characterization of acyclicity that is not only smooth but also exact. The resulting problem can be efficiently solved by standard numerical algorithms, which also makes implementation effortless. The proposed method outperforms existing ones, without imposing any structural assumptions on the graph such as bounded treewidth or in-degree. Code implementing the proposed algorithm is open-source and publicly available at https://github.com/xunzheng/notears.


title: The Navarro Conjecture for the alternating groups

abstract: Recently Navarro proposed a strengthening of the unsolved McKay conjecture using Galois automorphisms. We prove that the Navarro conjecture holds for the alternating groups when the prime p is odd.


title: Two more, bright, z > 6 quasars from VST ATLAS and WISE

abstract: Recently, Carnall et al. discovered two bright high redshift quasars using the combination of the VST ATLAS and WISE surveys. The technique involved using the 3-D colour plane i-z:z-W1:W1-W2 with the WISE W1 (3.4 micron) and W2 (4.5 micron) bands taking the place of the usual NIR J band to help decrease stellar dwarf contamination. Here we report on our continued search for 5.7<z<6.4 quasars over an ~2x larger area of ~3577 sq. deg. of the Southern Hemisphere. We have found two further z>6 quasars, VST-ATLAS J158.6938-14.4211 at z=6.07 and J332.8017-32.1036 at z=6.32 with magnitudes of z_AB=19.4 and 19.7 mag respectively. J158.6938-14.4211 was confirmed by Keck LRIS observations and J332.8017-32.1036 was confirmed by ESO NTT EFOSC-2 observations. Here we present VLT X-shooter Visible and NIR spectra for the four ATLAS quasars. We have further independently rediscovered two z>5.7 quasars previously found by the VIKING/KiDS and PanSTARRS surveys. This means that in ATLAS we have now discovered a total of six quasars in our target 5.7<z<6.4 redshift range. Making approximate corrections for incompleteness, we find that our quasar space density agrees with the SDSS results of Jiang et al. at M_1450A~-27mag. Preliminary virial mass estimates based on the CIV and MIII emission lines give black hole masses in the range M_BH~1-6x10e9 M_solar for the four ATLAS quasars.


title: On the Effectiveness of Simple Success-Based Parameter Selection Mechanisms for Two Classical Discrete Black-Box Optimization Benchmark Problems

abstract: Despite significant empirical and theoretically supported evidence that non-static parameter choices can be strongly beneficial in evolutionary computation, the question how to best adjust parameter values plays only a marginal role in contemporary research on discrete black-box optimization. This has led to the unsatisfactory situation in which feedback-free parameter selection rules such as the cooling schedule of Simulated Annealing are predominant in state-of-the-art heuristics, while, at the same time, we understand very well that such time-dependent selection rules can only perform worse than adjustment rules that do take into account the evolution of the optimization process. A number of adaptive and self-adaptive parameter control strategies have been proposed in the literature, but did not (yet) make their way to a broader public. A key obstacle seems to lie in their rather complex update rules. The purpose of our work is to demonstrate that high-performing online parameter selection rules do not have to be very complicated. More precisely, we experiment with a multiplicative, comparison-based update rule to adjust the mutation probability of a (1+1)~Evolutionary Algorithm. We show that this simple self-adjusting rule outperforms the best static unary unbiased black-box algorithm on LeadingOnes, achieving an almost optimal speedup of about~$18\%$.


title: Brake wear (nano)particle characterization and toxicity on airway epithelial cells in vitro

abstract: Particulate air pollution results from different sources, among which those related to road traffic have a significant impact on human health. Combustion-derived particles emitted by thermal engines have been incriminated and are now better controlled. In contrast, non-exhaust emission sources related to car wear and degradation processes are not yet regulated. Here we report on brake wear particles (BWP) harvested in two test facilities operating in France, providing samples from different braking systems and driving/testing conditions. Using a combination of light scattering, X-ray fluorescence, optical and electron microscopy, the particle size and elemental composition are revealed. The BWP are shown to be in the nano- to micrometer range and to have a low carbonaceous content (6%), iron and copper being the main components (> 40%). To evaluate the toxicity potential of its nano-sized fraction, brake wear nanoparticles are isolated by sonication, filtration and ultra-centrifugation techniques, leading to stable colloidal dispersions. A significant outcome of this study is that the nano-sized fraction represents 26% by mass of the initial BWP. Human bronchial epithelial cells (Calu-3) are used as relevant target cells to investigate their cytotoxicity. We observe a clear short-term loss of viability associated to reactive oxygen species generation, but with limited pro-inflammatory effects. On an actual cell-deposited mass-dose basis, the cytotoxicity of the nanosized fraction is similar to that of BWP, suggesting that the cytotoxicity is particle size independent. To conclude, brake wear dust contains substantial amount of metallic nanoparticles exhibiting toxicity for lung cells, and should warrant further consideration.


title: Lie-Poisson integrators

abstract: In this paper, we discuss the geometric integration of hamiltonian systems on Poisson manifolds, in particular, in the case, when the Poisson structure is induced by a Lie algebra, that is, it is a Lie-Poisson structure. A Hamiltonian system on a Poisson manifold $(P, \Pi)$ is a smooth manifold $P$ equipped with a bivector field $\Pi$ satisfying $[\Pi, \Pi]=0$ (Jacobi identity), inducing the Poisson bracket on $C^{\infty}(P)$, $\{f, g\}\equiv \Pi(df, dg)$ where $f, g\in C^{\infty}(P)$. For any $f\in C^{\infty}(P)$ the Hamiltonian vector field is defined by $X_f(g)=\{g, f\}$. The Hamiltonian vector fields $X_f$ generate an integrable generalized distribution on $P$ and the leaves of this foliation are symplectic. The flow of any hamiltonian vector field preserves the Poisson structure, it fixes each leaf and the hamiltonian itself is a first integral. It is important to characterize numerical methods preserving some of these fundamental properties of the hamiltonian flow on Poisson manifolds (geometric integrators). We discuss the difficulties of deriving these Poisson methods using standard techniques and we present some modern approaches to the problem.