title: A Gated Peripheral-Foveal Convolutional Neural Network for Unified Image Aesthetic Prediction

abstract: Learning fine-grained details is a key issue in image aesthetic assessment. Most of the previous methods extract the fine-grained details via random cropping strategy, which may undermine the integrity of semantic information. Extensive studies show that humans perceive fine-grained details with a mixture of foveal vision and peripheral vision. Fovea has the highest possible visual acuity and is responsible for seeing the details. The peripheral vision is used for perceiving the broad spatial scene and selecting the attended regions for the fovea. Inspired by these observations, we propose a Gated Peripheral-Foveal Convolutional Neural Network (GPF-CNN). It is a dedicated double-subnet neural network, i.e. a peripheral subnet and a foveal subnet. The former aims to mimic the functions of peripheral vision to encode the holistic information and provide the attended regions. The latter aims to extract fine-grained features on these key regions. Considering that the peripheral vision and foveal vision play different roles in processing different visual stimuli, we further employ a gated information fusion (GIF) network to weight their contributions. The weights are determined through the fully connected layers followed by a sigmoid function. We conduct comprehensive experiments on the standard AVA and Photo.net datasets for unified aesthetic prediction tasks: (i) aesthetic quality classification; (ii) aesthetic score regression; and (iii) aesthetic score distribution prediction. The experimental results demonstrate the effectiveness of the proposed method.


title: Reflected BSDEs when the obstacle is not right-continuous in a general filtration

abstract: We prove existence and uniqueness of the reflected backward stochastic differential equation's (RBSDE) solution with a lower obstacle which is assumed to be right upper-semicontinuous but not necessarily right-continuous in a filtration that supports a Brownian motion $W$ and an independent Poisson random measure $\pi$. The result is established by using some tools from the general theory of processes such as Mertens decomposition of optional strong (but not necessarily right continuous) supermartingales and some tools from optimal stopping theory, as well as an appropriate generalization of It\^{o}'s formula due to Gal'chouk and Lenglart. Two applications on dynamic risk measure and on optimal stopping will be given.


title: Haj\'os-Type Constructions and Neighborhood Complexes

abstract: Any graph $G$ with chromatic number $k$ can be constructed by iteratively performing certain graph operations on a sequence of graphs starting with $K_k$, resulting in a variety of Haj\'os-type constructions for $G$. Finding such constructions for a given graph or family of graphs is a challenging task. We show that the basic steps in these Haj\'os-type constructions frequently result in the presence of an $S^1$-wedge summand in the neighborhood complex of the resulting graph. Our results imply that for a graph $G$ with a highly-connected neighborhood complex, the end behavior of the construction sequence is quite restricted, and we investigate these restrictions in detail. We also introduce two graph construction algorithms based on different Haj\'os-type constructions and conduct computational experiments using these.


title: Observation of Mollow quintuplet in F=3/2 hyperfine structure state of 3He atomic cell

abstract: We experimentally observed the Mollow quintuplet (MQ) in F=3/2 hyperfine structure state of 3He atoms. The metastability-exchange collisions (MECs) transfer the Mollow Triplet (MT) from the ground states of 3He atoms to the metastable states, and the MQ is demonstrated by four Zeeman levels of F=3/2 hyperfine states with linearly polarized light. The similar effect also achieves in the mixture cell of 3He and 4He.


title: Molecular dynamic simulation of water vapor interaction with various types of pores using hybrid computing structures

abstract: Theoretical and experimental investigations of water vapor interaction with porous materials are very needful for various fields of science and technology. Not only studies of the interaction of water vapor and porous material as a continuous medium, but also the study of the interaction of water vapor with individual pore is very important in these researches. Mathematical modelling occupies an important place in these investigations. In this work, a study of efficiency of various implementations algorithms for MD simulation of water vapor interaction with individual pore is carried out. A great disadvantage of MD is its requirement of a relatively large computational effort and long time in simulations. These problems can be drastically reduced by parallel calculations. In this work we investigate dependence of time required for simulations on different parameters, like number of particles in the system, shape of pores, and so on. The results of parallel calculations are compared with the results obtained by serial calculations.


title: Gravitational quasinormal modes of black holes in Einstein-aether theory

abstract: The local Lorentz violation (LV) in gravity sector should show itself in derivation of the characteristic quasinormal modes (QNMs) of black hole mergers from their general relativity case. In this paper, I study QNMs of the gravitational field perturbations to Einstein-aether black holes and, at first compare them to those in Schwarzschild black hole, and then some other known LV gravity theories. By comparing to Schwarzschild black hole, the first kind aether black holes have larger damping rate and the second ones have lower damping rate. And they all have smaller real oscillation frequency of QNMs. By comparing to some other LV theories, the QNMs of the first kind aether black hole are similar to that of the QED-extension limit of standard model extension, non-minimal coupling to Einstein's tensor and massive gravity theories. While as to the second kind aether black hole, they are similar to those of the noncommutative gravity theories and Einstein-Born-Infeld theories. These similarities may imply that LV in gravity sector and LV in matter sector have some intrinsic connections.


title: A Review of Meta-Reinforcement Learning for Deep Neural Networks Architecture Search

abstract: Deep Neural networks are efficient and flexible models that perform well for a variety of tasks such as image, speech recognition and natural language understanding. In particular, convolutional neural networks (CNN) generate a keen interest among researchers in computer vision and more specifically in classification tasks. CNN architecture and related hyperparameters are generally correlated to the nature of the processed task as the network extracts complex and relevant characteristics allowing the optimal convergence. Designing such architectures requires significant human expertise, substantial computation time and doesn't always lead to the optimal network. Model configuration topic has been extensively studied in machine learning without leading to a standard automatic method. This survey focuses on reviewing and discussing the current progress in automating CNN architecture search.


title: Mining Interpretable AOG Representations from Convolutional Networks via Active Question Answering

abstract: In this paper, we present a method to mine object-part patterns from conv-layers of a pre-trained convolutional neural network (CNN). The mined object-part patterns are organized by an And-Or graph (AOG). This interpretable AOG representation consists of a four-layer semantic hierarchy, i.e., semantic parts, part templates, latent patterns, and neural units. The AOG associates each object part with certain neural units in feature maps of conv-layers. The AOG is constructed in a weakly-supervised manner, i.e., very few annotations (e.g., 3-20) of object parts are used to guide the learning of AOGs. We develop a question-answering (QA) method that uses active human-computer communications to mine patterns from a pre-trained CNN, in order to incrementally explain more features in conv-layers. During the learning process, our QA method uses the current AOG for part localization. The QA method actively identifies objects, whose feature maps cannot be explained by the AOG. Then, our method asks people to annotate parts on the unexplained objects, and uses answers to discover CNN patterns corresponding to the newly labeled parts. In this way, our method gradually grows new branches and refines existing branches on the AOG to semanticize CNN representations. In experiments, our method exhibited a high learning efficiency. Our method used about 1/6-1/3 of the part annotations for training, but achieved similar or better part-localization performance than fast-RCNN methods.


title: Explanatory Graphs for CNNs

abstract: This paper introduces a graphical model, namely an explanatory graph, which reveals the knowledge hierarchy hidden inside conv-layers of a pre-trained CNN. Each filter in a conv-layer of a CNN for object classification usually represents a mixture of object parts. We develop a simple yet effective method to disentangle object-part pattern components from each filter. We construct an explanatory graph to organize the mined part patterns, where a node represents a part pattern, and each edge encodes co-activation relationships and spatial relationships between patterns. More crucially, given a pre-trained CNN, the explanatory graph is learned without a need of annotating object parts. Experiments show that each graph node consistently represented the same object part through different images, which boosted the transferability of CNN features. We transferred part patterns in the explanatory graph to the task of part localization, and our method significantly outperformed other approaches.


title: LORM: Learning to Optimize for Resource Management in Wireless Networks with Few Training Samples

abstract: Effective resource management plays a pivotal role in wireless networks, which, unfortunately, results in challenging mixed-integer nonlinear programming (MINLP) problems in most cases. Machine learning-based methods have recently emerged as a disruptive way to obtain near-optimal performance for MINLPs with affordable computational complexity. There have been some attempts in applying such methods to resource management in wireless networks, but these attempts require huge amounts of training samples and lack the capability to handle constrained problems. Furthermore, they suffer from severe performance deterioration when the network parameters change, which commonly happens and is referred to as the task mismatch problem. In this paper, to reduce the sample complexity and address the feasibility issue, we propose a framework of Learning to Optimize for Resource Management (LORM). Instead of the end-to-end learning approach adopted in previous studies, LORM learns the optimal pruning policy in the branch-and-bound algorithm for MINLPs via a sample-efficient method, namely, imitation learning. To further address the task mismatch problem, we develop a transfer learning method via self-imitation in LORM, named LORM-TL, which can quickly adapt a pre-trained machine learning model to the new task with only a few additional unlabeled training samples. Numerical simulations will demonstrate that LORM outperforms specialized state-of-the-art algorithms and achieves near-optimal performance, while achieving significant speedup compared with the branch-and-bound algorithm. Moreover, LORM-TL, by relying on a few unlabeled samples, achieves comparable performance with the model trained from scratch with sufficient labeled samples.


title: Hausdorff measures and packing measures of the limit sets of CIFSs of generalized complex continued fractions

abstract: We consider a family of CIFSs of the generalized complex continued fractions with a complex parameter space. We show that for each CIFS of the family, the Hausdorff measure of the limit set of the CIFS with respect to the Hausdorff dimen/sion is zero and the packing measure of the limit set of the CIFS with respect to the Hausdorff dimension is positive (main result). This is a new phenomenon of infinite CIFSs which cannot hold in finite CIFSs. We prove the main result by showing some estimates for the unique conformal measure of each CIFS of the family and by using some geometric observations.


title: Privacy-Aware Eye Tracking Using Differential Privacy

abstract: With eye tracking being increasingly integrated into virtual and augmented reality (VR/AR) head-mounted displays, preserving users' privacy is an ever more important, yet under-explored, topic in the eye tracking community. We report a large-scale online survey (N=124) on privacy aspects of eye tracking that provides the first comprehensive account of with whom, for which services, and to what extent users are willing to share their gaze data. Using these insights, we design a privacy-aware VR interface that uses differential privacy, which we evaluate on a new 20-participant dataset for two privacy sensitive tasks: We show that our method can prevent user re-identification and protect gender information while maintaining high performance for gaze-based document type classification. Our results highlight the privacy challenges particular to gaze data and demonstrate that differential privacy is a potential means to address them. Thus, this paper lays important foundations for future research on privacy-aware gaze interfaces.


title: Regularity properties of jump diffusions with irregular coefficients

abstract: In this paper we investigate the regularity properties of strong solutions to SDEs driven by L\'evy processes with irregular drift coefficients. Under some mild conditions, we show that the singular SDE has a unique strong solution for each starting point and the family of all the solutions forms a stochastic flow. Moreover, the Malliavin differentiability of the strong solutions is also obtained. As an application, we also prove a path-by-path uniqueness result for some related random ODEs.


title: Exact surface-wave spectrum of a dilute quantum liquid

abstract: We consider a dilute gas of bosons with repulsive contact interactions, described on the mean-field level by the Gross-Pitaevskii equation, and bounded by an impenetrable "hard" wall (either rigid or flexible). We solve the Bogoliubov-de Gennes equations for excitations on top of the Bose-Einstein condensate analytically, by using matrix-valued hypergeometric functions. This leads to the exact spectrum of gapless Bogoliubov excitations localized near the boundary. The dispersion relation for the surface excitations represents for small wavenumbers $k$ a ripplon mode with fractional power law dispersion for a flexible wall, and a phonon mode (linear dispersion) for a rigid wall. For both types of excitation we provide, for the first time, the exact dispersion relations of the dilute quantum liquid for all $k$ along the surface, extending to $k \rightarrow \infty$. The small wavelength excitations are shown to be bound to the surface with a maximal binding energy $\Delta= \frac18 (\sqrt{17}-3)^2 mc^2 \simeq 0.158\, mc^2$, which both types of excitation asymptotically approach, where $m$ is mass of bosons and $c$ bulk speed of sound. We demonstrate that this binding energy is close to the experimental value obtained for surface excitations of helium II confined in nanopores, reported in Phys. Rev. B 88, 014521 (2013).


title: Model-Checking on Ordered Structures

abstract: We study the model-checking problem for first- and monadic second-order logic on finite relational structures. The problem of verifying whether a formula of these logics is true on a given structure is considered intractable in general, but it does become tractable on interesting classes of structures, such as on classes whose Gaifman graphs have bounded treewidth. In this paper we continue this line of research and study model-checking for first- and monadic second-order logic in the presence of an ordering on the input structure. We do so in two settings: the general ordered case, where the input structures are equipped with a fixed order or successor relation, and the order invariant case, where the formulas may resort to an ordering, but their truth must be independent of the particular choice of order. In the first setting we show very strong intractability results for most interesting classes of structures. In contrast, in the order invariant case we obtain tractability results for order-invariant monadic second-order formulas on the same classes of graphs as in the unordered case. For first-order logic, we obtain tractability of successor-invariant formulas on classes whose Gaifman graphs have bounded expansion. Furthermore, we show that model-checking for order-invariant first-order formulas is tractable on coloured posets of bounded width.


title: An Analytical Analogue of Morse's Lemma

abstract: The Morse function $f$ near a non-degenerate critical point $p$ is understood topologically, in the light of Morse's lemma. However, Morse's lemma standardizes the function $f$ itself, providing little information of how the gradient $\nabla f$ behaves. In this paper, we prove an analytical analogue of Morse's lemma, showing that there exist smooth local coordinates on which a generic Morse gradient field $\nabla f$ near the critical point exhibits a unique linear vector field. We show that on a small neighbourhood of the critical point, the gradient field $\nabla f$ has a natural choice of standard form $V_0(\mathbb{x})=\sum_{i=1}^n \lambda_ix_i\frac{\partial}{\partial x_i}$, and this form only depend on the local behaviour of the Morse function and the Riemannian metric near the critical point. Then we present a constructive proof of the fact that given a generic Morse function $f$, for every critical point, there is a local coordinate on which the gradient field reduces to its standard form.


title: No Significant Effect of Coulomb Stress on the Gutenberg-Richter Law after the Landers Earthquake

abstract: Coulomb-stress theory has been used for years in seismology to understand how earthquakes trigger each other. Whenever an earthquake occurs, the stress field changes, and places with positive increases are brought closer to failure. Earthquake models that relate earthquake rates and Coulomb stress after a main event, such as the rate-and-state model, assume that the magnitude distribution of earthquakes is not affected by the change in the Coulomb stress. By using different slip models, we calculate the change in Coulomb stress in the fault plane for every aftershock after the Landers event (California, USA, 1992, moment magnitude 7.3). Applying several statistical analyses to test whether the distribution of magnitudes is sensitive to the sign of the Coulomb-stress increase we conclude that no significant effect is observable. Further, whereas the events with a positive increase of the stress are characterized by a much larger proportion of strike-slip events in comparison with the seismicity previous to the mainshock, the events happening despite a decrease in Coulomb stress show no relevant differences in focal-mechanism distribution with respect to previous seismicity.


title: Classical Bounded and Almost Periodic Solutions to Quasilinear First-Order Hyperbolic Systems in a Strip

abstract: We consider boundary value problems for quasilinear first-order one-dimensional hyperbolic systems in a strip. The boundary conditions are supposed to be of a smoothing type, in the sense that the $L^2$-generalized solutions to the initial-boundary value problems become eventually $C^2$-smooth for any initial $L^2$-data. We investigate small global classical solutions and obtain the existence and uniqueness result under the condition that the evolution family generated by the linearized problem has exponential dichotomy on R. We prove that the dichotomy survives under small perturbations in the leading coefficients of the hyperbolic system. Assuming that the coefficients of the hyperbolic system are almost periodic, we prove that the bounded solution is almost periodic also.


title: Understanding wide jet suppression in data through the hybrid strong/weak coupling model

abstract: We explore a set of jet substructure observables that use grooming techniques such as the Soft Drop procedure by performing simulations with the hybrid strong/weak coupling model for jet quenching. The results obtained for the observables presented in this proceedings, namely the number of Soft Drop splittings, or $n_{\rm SD}$, and the sharing momentum distribution $z_g$ for different angular cuts between the two main branches in a jet, can be easily understood as arising from the fact that among all the jets with a given jet $p_T$, those jets which are wider in opening angle, meaning that they have a higher jet mass and come from showers featuring more splittings, tend to lose more energy than the narrower jets. We comment on the comparison to data from ALICE and CMS, and point out the caveats arising from the consideration of smearing effects due to the presence of a large fluctuating background.


title: OpenPose: Realtime Multi-Person 2D Pose Estimation using Part Affinity Fields

abstract: Realtime multi-person 2D pose estimation is a key component in enabling machines to have an understanding of people in images and videos. In this work, we present a realtime approach to detect the 2D pose of multiple people in an image. The proposed method uses a nonparametric representation, which we refer to as Part Affinity Fields (PAFs), to learn to associate body parts with individuals in the image. This bottom-up system achieves high accuracy and realtime performance, regardless of the number of people in the image. In previous work, PAFs and body part location estimation were refined simultaneously across training stages. We demonstrate that a PAF-only refinement rather than both PAF and body part location refinement results in a substantial increase in both runtime performance and accuracy. We also present the first combined body and foot keypoint detector, based on an internal annotated foot dataset that we have publicly released. We show that the combined detector not only reduces the inference time compared to running them sequentially, but also maintains the accuracy of each component individually. This work has culminated in the release of OpenPose, the first open-source realtime system for multi-person 2D pose detection, including body, foot, hand, and facial keypoints.


title: Heavy-flavor dynamics in event-by-event viscous hydrodynamic backgrounds

abstract: We investigate the effects of (2+1)d event-by-event fluctuating hydrodynamic backgrounds on the nuclear modification factor and momentum anisotropies of heavy-flavor mesons. Using the state-of-the-art D and B mesons modular simulation code (the so-called DAB-mod), updated recently with heavy-light quark coalescence, we perform a systematic comparison of different transport equations, including two energy loss models and a relativistic Langevin model with two drag parametrizations. We present the resulting D$^0$ meson $R_{AA}$, $v_2$ and $v_3$, using the multiparticle cumulant method, in Pb-Pb collisions at $\sqrt{s_{\rm NN}}=5.02$ TeV and compare them to the latest experimental data. We investigate the $v_2\{4\}/v_2\{2\}$ ratio as a function of centrality for different initial conditions (MCKLN vs. Trento) and different system geometries and sizes (coming from Pb-Pb collisions at $\sqrt{s_{\rm NN}}=5.02$ TeV, spherical and prolate Xe-Xe collisions at $\sqrt{s_{\rm NN}}=5.44$ TeV).


title: Correlation between the decays $h^0 \to \gamma \gamma/g g$ in the MSSM with quark flavour violation

abstract: We study the loop-induced decays $h^0 \to \gamma \, \gamma$ and $h^0 \to g \, g$ in the Minimal Supersymmetric Standard Model (MSSM) with quark flavour violation (QFV), identifying $h^0$ with the Higgs boson with a mass of 125 GeV, where $\gamma$ and $g$ are photon and gluon, respectively. We perform a MSSM parameter scan and a detailed analysis around a fixed reference point respecting theoretical constraints from vacuum stability conditions and experimental constraints, such as those from B meson data and electroweak precision data, as well as recent limits on supersymmetric (SUSY) particle masses from LHC experiments. We find that (i) the relative deviation of the decay width $\Gamma(h^0 \to g \, g)$ from the Standard Model value, $DEV(g)$, can be large and negative, $\lesssim - 15\%$, (ii) the analogous deviation of $\Gamma(h^0 \to \gamma \, \gamma)$ is strongly correlated, $DEV(\gamma) \simeq -1/4\,DEV(g)$ for $DEV(g) \lesssim - 4\%$, (iii) the relative deviation of the width ratio $\Gamma(h^0 \to \gamma \, \gamma)/\Gamma(h^0 \to g \, g)$ from the SM value, $DEV(\gamma/g)$, can be large (up to $\sim$ 20\%), (iv) the deviations can be large due to the up-type squark loop contributions, (v) the SUSY QFV parameters can have a significant effect on these deviations. Such large deviations can be observed at a future $e^+e^-$ collider like ILC. Observation of the deviation patterns as shown in this study would favour the MSSM with flavour-violating squark mixings and encourage to perform further studies in this model.


title: Training Deep Neural Networks with 8-bit Floating Point Numbers

abstract: The state-of-the-art hardware platforms for training Deep Neural Networks (DNNs) are moving from traditional single precision (32-bit) computations towards 16 bits of precision -- in large part due to the high energy efficiency and smaller bit storage associated with using reduced-precision representations. However, unlike inference, training with numbers represented with less than 16 bits has been challenging due to the need to maintain fidelity of the gradient computations during back-propagation. Here we demonstrate, for the first time, the successful training of DNNs using 8-bit floating point numbers while fully maintaining the accuracy on a spectrum of Deep Learning models and datasets. In addition to reducing the data and computation precision to 8 bits, we also successfully reduce the arithmetic precision for additions (used in partial product accumulation and weight updates) from 32 bits to 16 bits through the introduction of a number of key ideas including chunk-based accumulation and floating point stochastic rounding. The use of these novel techniques lays the foundation for a new generation of hardware training platforms with the potential for 2-4x improved throughput over today's systems.


title: A general centrality framework based on node navigability

abstract: Centrality metrics are a popular tool in Network Science to identify important nodes within a graph. We introduce the Potential Gain as a centrality measure that unifies many walk-based centrality metrics in graphs and captures the notion of node navigability, interpreted as the property of being reachable from anywhere else (in the graph) through short walks. Two instances of the Potential Gain (called the Geometric and the Exponential Potential Gain) are presented and we describe scalable algorithms for computing them on large graphs. We also give a proof of the relationship between the new measures and established centralities. The geometric potential gain of a node can thus be characterized as the product of its Degree centrality by its Katz centrality scores. At the same time, the exponential potential gain of a node is proved to be the product of Degree centrality by its Communicability index. These formal results connect potential gain to both the "popularity" and "similarity" properties that are captured by the above centralities.


title: Clusters in light stable and exotic nuclei

abstract: Since the discovery of molecular resonances in $^{12}$C+$^{12}$C in the early sixties a great deal of research work has been undertaken to study alpha-clustering. Our knowledge on physics of nuclear molecules has increased considerably and nuclear clustering remains one of the most fruitful domains of nuclear physics, facing some of the greatest challenges and opportunities in the years ahead. Occurrence of "exotic" shapes and Bose-Einstein Condensates in light alpha-cluster nuclei are investigated. Various approaches of superdeformed/hyperdeformed shapes associated with quasimolecular resonant structures are discussed. The astrophysical reaction rate of 12C+12C is extracted from recent fusion measurements at deep subbarrier energies near the Gamov window. Evolution of clustering from stability to the drip-lines is examined.


title: Intelligent Autonomous Agents are Key to Cyber Defense of the Future Army Networks

abstract: Intelligent autonomous agents will be widely present on the battlefield of the future. The proliferation of intelligent agents is the emerging reality of warfare, and they will form an ever growing fraction of total military assets. By necessity, intelligent autonomous cyber defense agents are likely to become primary cyber fighters on the future battlefield. Initial explorations have identified the key functions, components and their interactions for a potential reference architecture of such an agent. However, it is beyond the current state of AI to support an agent that could operate intelligently in an environment as complex as the real battlefield. A number of difficult challenges are yet to be overcome. At the same time, a growing body of research in Government and academia demonstrates promising steps towards solving some of the challenges. The industry is beginning to embrace approaches that may contribute to technologies of autonomous intelligent agents for cyber defense of the Army networks.


title: Searching for light WIMPS via their interaction with electrons

abstract: In the present work we examine the possibility of detecting light dark matter particles (WIMP) utilizing their possible interactions with the electrons. Employing reasonable theoretical models we evaluate the expected event rates in the following cases: i) For WIMPs in the meV region treating electrons as free and utilizing calorimetric detectors at low temperatures. ii) Detecting recoiling electrons with energy in the eV region ejected out of an atom in the case of WIMPs with a mass more than an order of magnitude heavier than the electron. iii) By observing atomic excitations in the range of 1 meV to 10 eV excitation energy induced by the electron spin interaction in a magnetic field.


title: One-loop neutrino mass model with $SU(2)_L$ multiplet fields

abstract: We propose a one-loop neutrino mass model with several $SU(2)_L$ multiplet fermions and scalar fields in which the inert feature of a scalar to realize the one-loop neutrino mass can be achieved by the cancellation among Higgs couplings thanks to non-trivial terms in the Higgs potential and to present it in a simpler way. Then we discuss our typical cut-off scale by computing renormalization group equation for $SU(2)_L$ gauge coupling, lepton flavor violations, muon anomalous magnetic moment, possibility of dark matter candidate, neutrino mass matrix satisfying the neutrino oscillation data. Finally, we search for our allowed parameter region to satisfy all the constraints, and discuss a possibility of detecting new charged particles at the large hadron collider.


title: AME Blockchain: An Architecture Design for Closed-Loop Fluid Economy Token System

abstract: In this white paper, we propose a blockchain-based system, named AME, which is a decentralized infrastructure and application platform with enhanced security and self-management properties. The AME blockchain technology aims to increase the transaction throughput by adopting various optimizations in network transport and storage layers, and to enhance smart contracts with AI algorithm support. We introduce all major technologies adopted in our system, including blockchain, distributed storage, P2P network, service application framework, and data encryption. To properly provide a cohesive, concise, yet comprehensive introduction to the AME system, we mainly focus on describing the unique definitions and features that guide the system implementation.


title: On partially free boundary solutions for elliptic problems with non-Lipschitz nonlinearities

abstract: We show that the elliptic equation with a non-Lipschitz right-hand side, $-\Delta u = \lambda |u|^{\beta-1}u - |u|^{\alpha-1}u$ with $\lambda>0$ and $0<\alpha<\beta<1$, considered on a smooth star-shaped domain $\Omega$ subject to zero Dirichlet boundary conditions, might possess a nonnegative ground state solution which violates Hopf's maximum principle only on a nonempty subset $\Gamma$ of the boundary $\partial\Omega$ such that $\Gamma \neq \partial\Omega$.


title: Higgsino Dark Matter in an economical Scherk-Schwarz setup

abstract: We consider a minimal natural supersymmetric model based on an extra dimension with supersymmetry breaking provided by the Scherk-Schwarz mechanism. The lightest supersymmetric particle is a neutral, quasi-Dirac Higgsino and, unlike in previous studies, we assume that all Standard Model fields are propagating in the bulk. The resulting setup is minimal, as neither extra matter, effective operators, nor extra $U(1)$ groups are needed in order to be viable. The model has three free parameters which are fixed by the Higgsino mass -- set to the range 1.1-1.2 TeV so it can play the role of Dark Matter, and by the requirements of correct electroweak breaking and the mass of the Higgs. After imposing the previous conditions we find a benchmark scenario that passes all experimental constrains with an allowed range for the supersymmetric parameters. In particular we have found gluinos in the range 2.0-2.1 TeV mass, electroweakinos and sleptons almost degenerate in the range 1.7-1.9 TeV and squarks degenerate in the range 1.9-2.0 TeV. The best discovery prospects are: i.) gluino detection at the high luminosity LHC ($\gtrsim 3\, \text{ab}^{-1}$), and ii.) Higgsino detection at next-generation dark matter direct detection experiments. The model is natural, as the fine-tuning for the fixed values of the parameters is moderate mainly because supersymmetry breaking parameters contribute linearly to the Higgs mass parameter, rather than quadratically as in most models.


title: Bimodal Wilson systems in $L^2(\mathbb R)$

abstract: Given a window $\phi \in L^2(\mathbb R),$ and lattice parameters $\alpha, \beta>0,$ we introduce a bimodal Wilson system $\mathcal{W}(\phi, \alpha, \beta)$ consisting of linear combinations of at most two elements from an associated Gabor $\mathcal{G}(\phi, \alpha, \beta)$. For a class of window functions $\phi,$ we show that the Gabor system $\mathcal{G}(\phi, \alpha, \beta)$ is a tight frame of redundancy $\beta^{-1}$ if and only if the Wilson system $\mathcal{W}(\phi, \alpha, \beta)$ is Parseval system for $L^2(\mathbb R).$ Examples of smooth rapidly decaying generators $\phi$ are constructed. In addition, when $3\leq \beta^{-1}\in \mathbb N$, we prove that it is impossible to renormalize the elements of the constructed Parseval Wilson frame so as to get a well-localized orthonormal basis for $L^2(\mathbb R)$.


title: Chiral Anomaly and Schwinger Effect in Non-Abelian Gauge Theories

abstract: We study the production of chiral fermions in a background of a strong non-abelian gauge field with a non-vanishing Chern-Pontryagin density. We discuss both pair production analogous to the Schwinger effect as well as asymmetric production through the chiral anomaly, sourced by the Chern-Pontryagin density. In abelian gauge theories one may nicely understand these processes by considering that the fermion dispersion relation forms discrete Landau levels. Here we extend this analysis to a non-abelian gauge theory, considering an intrinsically non-abelian isotropic and homogeneous SU(2) gauge field background with a non-vanishing Chern-Pontryagin density. We show that the asymmetric fermion production, together with a non-trivial vacuum contribution, correctly reproduces the chiral anomaly. This indicates that the usual vacuum subtraction scheme, imposing normal ordering, fails in this case. As a concrete example of this gauge field background, we consider chromo-natural inflation. Applying our analysis to this particular model, we compute the backreaction of the generated fermions on the gauge field background. This backreaction receives contributions both from the vacuum through a Coleman-Weinberg-type correction and from the fermion excitations through an induced current.

categories: hep-ph astro-ph.CO cond-mat.mes-hall hep-th


title: On the entropy of coverable subshifts

abstract: A coloration w of Z^2 is said to be coverable if there exists a rectangular block q such that w is covered with occurrences of q, possibly overlapping. In this case, q is a cover of w. A subshift is said to have the cover q if each of its points has the cover q. In a previous article, we characterized the covers that force subshifts to be finite (in particular, all configurations are periodic). We also noticed that some covers force subshifts to have zero topological entropy while not forcing them to be finite. In the current paper we work towards characterizing precisely covers which force a subshift to have zero entropy, but not necessarily periodicity. We give a necessary condition and a sufficient condition which are close, but not quite identical.


title: A sparse approach to mixed weak type inequalities

abstract: In this paper we provide some quantitative mixed-type estimates assuming conditions that imply that $uv\in A_{\infty}$ for Calder\'on-Zygmund operators, rough singular integrals and commutators. The main novelty of this paper lies in the fact that we rely upon sparse domination results, pushing an approach to endpoint estimates that was introduced by Domingo-Salazar, Lacey and Rey and extended in works by Lerner, Ombrosi and the second author and Li, Perez, the second author and Roncal.


title: 3D shape of Orion A with Gaia DR2. An informed view on Star Formation Rates and Efficiencies

abstract: The giant molecular cloud Orion A is the closest massive star-forming region to earth ($d\sim400$ pc). It contains the rich Orion Nebula Cluster (ONC) in the North, and low-mass star-forming regions (L1641, L1647) to the South. To get a better understanding of the differences in star formation activity, we perform an analysis of the gas mass distribution and star formation rate across the cloud. We find that the gas is roughly uniformly distributed, while, oddly, the ONC region produced about a factor of ten more stars compared to the rest of the cloud. For a better interpretation of this phenomenon, we use Gaia DR2 parallaxes, to analyse distances of young stellar objects, using them as proxy for cloud distances. We find that the ONC region indeed lies at about 400 pc while the low-mass star-forming parts are inclined about 70$^\circ$ from the plane of the sky reaching until $\sim$470 pc. With this we estimate that Orion A is an about 90 pc long filamentary cloud (about twice as long as previously assumed), with its "Head" (the ONC region) being "bent" and oriented toward the galactic mid-plane. This striking new view allows us to perform a more robust analysis of this important star-forming region in the future.


title: Forecasting failure locations in two-dimensional disordered lattices

abstract: Forecasting fracture locations in a progressively failing disordered structure is of paramount importance when considering structural materials. We explore this issue for gradual deterioration via beam breakage of two-dimensional disordered lattices, which we represent as networks, for various values of mean degree. We study experimental samples with geometric structures that we construct based on observed contact networks in 2D granular media. We calculate geodesic edge betweenness centrality, which helps quantify which edges are on many shortest paths in a network, to forecast the failure locations. We demonstrate for the tested samples that, for a variety of failure behaviors, failures occur predominantly at locations that have larger geodesic edge betweenness values than the mean one in the structure. Because only a small fraction of edges have values above the mean, this is a relevant diagnostic to assess failure locations. Our results demonstrate that one can consider only specific parts of a system as likely failure locations and that, with reasonable success, one can assess possible failure locations of a structure without needing to study its detailed energetic states.

categories: cond-mat.soft cond-mat.dis-nn cond-mat.mtrl-sci nlin.AO


title: Near-optimal method for highly smooth convex optimization

abstract: We propose a near-optimal method for highly smooth convex optimization. More precisely, in the oracle model where one obtains the $p^{th}$ order Taylor expansion of a function at the query point, we propose a method with rate of convergence $\tilde{O}(1/k^{\frac{ 3p +1}{2}})$ after $k$ queries to the oracle for any convex function whose $p^{th}$ order derivative is Lipschitz.


title: Product of two staircase rank one transformations that is not loosely Bernoulli

abstract: We construct two staircase rank one transformations whose Cartesian product is not loosely Bernoulli.


title: Accurate Hand Keypoint Localization on Mobile Devices

abstract: We present a novel approach for 2D hand keypoint localization from regular color input. The proposed approach relies on an appropriately designed Convolutional Neural Network (CNN) that computes a set of heatmaps, one per hand keypoint of interest. Extensive experiments with the proposed method compare it against state of the art approaches and demonstrate its accuracy and computational performance on standard, publicly available datasets. The obtained results demonstrate that the proposed method matches or outperforms the competing methods in accuracy, but clearly outperforms them in computational efficiency, making it a suitable building block for applications that require hand keypoint estimation on mobile devices.


title: Equivalence principle violation at finite temperature in scalar-tensor gravity

abstract: We analyze possible violations of the Equivalence Principle in scalar-tensor gravity at finite temperature $T.$ Before we present an approach where the Equivalence Principle violation is achieved within the framework of Quantum Field Theory. After, we rely on an alternative approach first proposed by Gasperini, which leads to the same outcome obtained in the framework of Quantum Field Theory (one-loop corrections) at finite $T$. Finally, we exhibit the application of the above formalism both to a generic diagonal metric, cast in spherical coordinates, and to the Brans-Dicke theory. In the last case, we show that it is possible to put a significant constraint on the free parameter of the theory by means of experimental bounds on the Equivalence Principle.


title: Using the decision support algorithms combining different security policies

abstract: During the development of the security subsystem of modern information systems, a problem of the joint implementation of several access control models arises quite often. Traditionally, a request for the user's access to resources is granted in case of simultaneous access permission by all active security policies. When there is a conflict between the decisions of the security policies, the issue of granting access remains open. The proposed method of combining multiple security policies is based on the decision support algorithms and provides a response to the access request, even in case of various decisions of active security policies. To construct combining algorithm we determine a number of weight coefficients, use a weighted sum of the clearance levels of individual security policies and apply the analytic hierarchy process. The weight coefficients are adjustable parameters of the algorithm and allow administrator to manage the impact of the various security rules flexibly.


title: Neural correlates of episodic memory in the Memento cohort

abstract: IntroductionThe free and cued selective reminding test is used to identify memory deficits in mild cognitive impairment and demented patients. It allows assessing three processes: encoding, storage, and recollection of verbal episodic memory.MethodsWe investigated the neural correlates of these three memory processes in a large cohort study. The Memento cohort enrolled 2323 outpatients presenting either with subjective cognitive decline or mild cognitive impairment who underwent cognitive, structural MRI and, for a subset, fluorodeoxyglucose--positron emission tomography evaluations.ResultsEncoding was associated with a network including parietal and temporal cortices; storage was mainly associated with entorhinal and parahippocampal regions, bilaterally; retrieval was associated with a widespread network encompassing frontal regions.DiscussionThe neural correlates of episodic memory processes can be assessed in large and standardized cohorts of patients at risk for Alzheimer's disease. Their relation to pathophysiological markers of Alzheimer's disease remains to be studied.


title: Progressive Data Science: Potential and Challenges

abstract: Data science requires time-consuming iterative manual activities. In particular, activities such as data selection, preprocessing, transformation, and mining, highly depend on iterative trial-and-error processes that could be sped-up significantly by providing quick feedback on the impact of changes. The idea of progressive data science is to compute the results of changes in a progressive manner, returning a first approximation of results quickly and allow iterative refinements until converging to a final result. Enabling the user to interact with the intermediate results allows an early detection of erroneous or suboptimal choices, the guided definition of modifications to the pipeline and their quick assessment. In this paper, we discuss the progressiveness challenges arising in different steps of the data science pipeline. We describe how changes in each step of the pipeline impact the subsequent steps and outline why progressive data science will help to make the process more effective. Computing progressive approximations of outcomes resulting from changes creates numerous research challenges, especially if the changes are made in the early steps of the pipeline. We discuss these challenges and outline first steps towards progressiveness, which, we argue, will ultimately help to significantly speed-up the overall data science process.


title: Switch-LSTMs for Multi-Criteria Chinese Word Segmentation

abstract: Multi-criteria Chinese word segmentation is a promising but challenging task, which exploits several different segmentation criteria and mines their common underlying knowledge. In this paper, we propose a flexible multi-criteria learning for Chinese word segmentation. Usually, a segmentation criterion could be decomposed into multiple sub-criteria, which are shareable with other segmentation criteria. The process of word segmentation is a routing among these sub-criteria. From this perspective, we present Switch-LSTMs to segment words, which consist of several long short-term memory neural networks (LSTM), and a switcher to automatically switch the routing among these LSTMs. With these auto-switched LSTMs, our model provides a more flexible solution for multi-criteria CWS, which is also easy to transfer the learned knowledge to new criteria. Experiments show that our model obtains significant improvements on eight corpora with heterogeneous segmentation criteria, compared to the previous method and single-criterion learning.


title: Inelastic scattering of photoelectrons from He nanodroplets

abstract: We present a detailed study of inelastic energy-loss collisions of photoelectrons emitted from He nanodroplets by tunable extreme ultraviolet (XUV) radiation. Using coincidence imaging detection of electrons and ions, we probe the lowest He droplet excited states up to the electron impact ionization threshold. We find significant signal contributions from photoelectrons emitted from free He atoms accompanying the He nanodroplet beam. Furthermore, signal contributions from photoionization and electron impact excitation/ionization occurring in pairs of nearest-neighbor atoms in the He droplets are detected. This work highlights the importance of inelastic electron scattering in the interaction of nanoparticles with XUV radiation.


title: Noise-Assisted Quantum Exciton and Electron Transfer in Bio-Complexes with Finite Donor and Acceptor Bandwidths

abstract: We present an analytic and numerical study of noise-assisted quantum exciton (electron) transfer (ET) in a bio-complex, consisting of an electron donor and acceptor (a dimer), modeled by interacting continuous electron bands of finite widths. The interaction with the protein-solvent environment is modeled by a stationary stochastic process (noise) acting on all the donor and acceptor energy levels. We start with discrete energy levels for both bands. Then, by using a continuous {limit} for the electron spectra, we derive integro-differential equations for ET dynamics between two bands. Finally, we derive from these equations rate-type differential equations for ET dynamics. We formulate the conditions of validity of the rate-type equations. We consider different regions of parameters characterizing the widths of the donor and acceptor bands and the strength of the dimer-noise interaction. For a simplified model with a single energy level donor and a continuous acceptor band, we derive a generalized analytic expression and provide numerical simulations for the ET rate. They are consistent with Wigner-Weisskopf, F\"orster-type, and Marcus-type expressions, in their corresponding regime of parameters.Our analytic results are confirmed by numerical simulations. We demonstrate how our theoretical results are modified {when both the donor and the acceptor are described by finite bands}. We also show that, for a relatively wide acceptor band, the efficiency of the ET from donor to acceptor can be close to 100% for a broad range of noise amplitudes, for both "downhill" and "uphill" ET, for sharp and flat redox potentials, and for reasonably short times. We discuss possible experimental implementations of our approach with application to bio-complexes.


title: Real-time data processing in the ALICE High Level Trigger at the LHC

abstract: At the Large Hadron Collider at CERN in Geneva, Switzerland, atomic nuclei are collided at ultra-relativistic energies. Many final-state particles are produced in each collision and their properties are measured by the ALICE detector. The detector signals induced by the produced particles are digitized leading to data rates that are in excess of 48 GB/$s$. The ALICE High Level Trigger (HLT) system pioneered the use of FPGA- and GPU-based algorithms to reconstruct charged-particle trajectories and reduce the data size in real time. The results of the reconstruction of the collision events, available online, are used for high level data quality and detector-performance monitoring and real-time time-dependent detector calibration. The online data compression techniques developed and used in the ALICE HLT have more than quadrupled the amount of data that can be stored for offline event processing.


title: Convergence Rates for the Generalized Fr\'echet Mean via the Quadruple Inequality

abstract: For sets $\mathcal Q$ and $\mathcal Y$, the generalized Fr\'echet mean $m \in \mathcal Q$ of a random variable $Y$, which has values in $\mathcal Y$, is any minimizer of $q\mapsto \mathbb E[\mathfrak c(q,Y)]$, where $\mathfrak c \colon \mathcal Q \times \mathcal Y \to \mathbb R$ is a cost function. There are little restrictions to $\mathcal Q$ and $\mathcal Y$. In particular, $\mathcal Q$ can be a non-Euclidean metric space. We provide convergence rates for the empirical generalized Fr\'echet mean. Conditions for rates in probability and rates in expectation are given. In contrast to previous results on Fr\'echet means, we do not require a finite diameter of the $\mathcal Q$ or $\mathcal Y$. Instead, we assume an inequality, which we call quadruple inequality. It generalizes an otherwise common Lipschitz condition on the cost function. This quadruple inequality is known to hold in Hadamard spaces. We show that it also holds in a suitable way for certain powers of a Hadamard-metric.


title: On refined count of rational tropical curves

abstract: We address the problem of existence of refined (i.e., depending on a formal parameter) tropical enumerative invariants, and we present two new examples of a refined count of rational marked tropical curves. One of the new invariants counts plane rational tropical curves with an unmarked vertex of arbitrary valency. It was motivated by the tropical enumeration of plane cuspidal tropical curves given by Y. Ganor and the author, which naturally led to consideration of plane tropical curves with an unmarked four-valent vertex. Another refined invariant counts rational tropical curves of a given degree in the Euclidean space of arbitrary dimension matching specific constraints, which make the spacial refined invariant similar to known planar invariants.


title: Semantic Frame Parsing for Information Extraction : the CALOR corpus

abstract: This paper presents a publicly available corpus of French encyclopedic history texts annotated according to the Berkeley FrameNet formalism. The main difference in our approach compared to previous works on semantic parsing with FrameNet is that we are not interested here in full text parsing but rather on partial parsing. The goal is to select from the FrameNet resources the minimal set of frames that are going to be useful for the applicative framework targeted, in our case Information Extraction from encyclopedic documents. Such an approach leverages the manual annotation of larger corpora than those obtained through full text parsing and therefore opens the door to alternative methods for Frame parsing than those used so far on the FrameNet 1.5 benchmark corpus. The approaches compared in this study rely on an integrated sequence labeling model which jointly optimizes frame identification and semantic role segmentation and identification. The models compared are CRFs and multitasks bi-LSTMs.


title: Credibility evaluation of income data with hierarchical correlation reconstruction

abstract: In situations like tax declarations or analyzes of household budgets we would like to automatically evaluate credibility of exogenous variable (declared income) based on some available (endogenous) variables - we want to build a model and train it on provided data sample to predict (conditional) probability distribution of exogenous variable based on values of endogenous variables. Using Polish household budget survey data there will be discussed simple and systematic adaptation of hierarchical correlation reconstruction (HCR) technique for this purpose, which allows to combine interpretability of statistics with modelling of complex densities like in machine learning. For credibility evaluation we normalize marginal distribution of predicted variable to $\rho\approx 1$ uniform distribution on $[0,1]$ using empirical distribution function $(x=EDF(y)\in[0,1])$, then model density of its conditional distribution $(\textrm{Pr}(x_0|x_1 x_2\ldots))$ as a linear combination of orthonormal polynomials using coefficients modelled as linear combinations of features of the remaining variables. These coefficients can be calculated independently, have similar interpretation as cumulants, additionally allowing to directly reconstruct probability distribution. Values corresponding to high predicted density can be considered as credible, while low density suggests disagreement with statistics of data sample, for example to mark for manual verification a chosen percentage of data points evaluated as the least credible.


title: On second order linear sequences of composite numbers

abstract: In this paper we present a new proof of the following 2010 result of Dubickas, Novikas, and Siurys: Let $(a,b)\in \mathbb{Z}^2$ and let $(x_n)_{n\ge 0}$ be the sequence defined by some initial values $x_0$ and $x_1$ and the second order linear recurrence \begin{equation*} x_{n+1}=ax_n+bx_{n-1} \end{equation*} for $n\ge 1$. Suppose that $b\neq 0$ and $(a,b)\neq (2,-1), (-2, -1)$. Then there exist two relatively prime positive integers $x_0$, $x_1$ such that $|x_n|$ is a composite integer for all $n\in \mathbb{N}$. The above theorem extends a result of Graham who solved the problem when $(a,b)=(1,1)$.


title: Intrinsic Strain Aging, $\Sigma 3$ Boundaries, and Origins of Cellular Substructure in Additively Manufactured 316L

abstract: The observation of sub-grained cellular features in additively manufactured (AM)/selectively laser melted (SLM) 316L stainless steel components has remained an interesting, though incompletely understood phenomenon. However, the recently observed correlation linking the presence of these features with significantly enhanced mechanical strength in SLM 316L materials has driven a renewed interest and effort toward elucidating the mechanism(s) by which they are formed. To date, the dominant hypothesis, cellular solidification followed by dislocation-solute entanglement, remains incompatible with the ensemble of reported observations from multiple independent studies. This effort offers direct evidence of a previously unrecognized interaction of phenomena, that, when acting in concert, give rise to this commonly observed substructure. These phenomena include SLM-induced intrinsic strain-aging, Cottrell atmosphere formation, and twin-boundary enhanced mass diffusion to structural defects.


title: Learning beamforming in ultrasound imaging

abstract: Medical ultrasound (US) is a widespread imaging modality owing its popularity to cost efficiency, portability, speed, and lack of harmful ionizing radiation. In this paper, we demonstrate that replacing the traditional ultrasound processing pipeline with a data-driven, learnable counterpart leads to significant improvement in image quality. Moreover, we demonstrate that greater improvement can be achieved through a learning-based design of the transmitted beam patterns simultaneously with learning an image reconstruction pipeline. We evaluate our method on an in-vivo first-harmonic cardiac ultrasound dataset acquired from volunteers and demonstrate the significance of the learned pipeline and transmit beam patterns on the image quality when compared to standard transmit and receive beamformers used in high frame-rate US imaging. We believe that the presented methodology provides a fundamentally different perspective on the classical problem of ultrasound beam pattern design.


title: FrameNet automatic analysis : a study on a French corpus of encyclopedic texts

abstract: This article presents an automatic frame analysis system evaluated on a corpus of French encyclopedic history texts annotated according to the FrameNet formalism. The chosen approach relies on an integrated sequence labeling model which jointly optimizes frame identification and semantic role segmentation and identification. The purpose of this study is to analyze the task complexity from several dimensions. Hence we provide detailed evaluations from a feature selection point of view and from the data point of view.


title: Semi-inclusive jets recoiling from $\gamma_{dir}$ and $\pi^{0}$ triggers in central Au+Au collisions at $\sqrt {s_{\rm NN}}$ = 200 GeV in STAR

abstract: We report the first measurement of fully corrected semi-inclusive charged recoil jets for both direct-photon ($\gamma_{dir}$) and $\pi^{0}$ triggers, within two trigger transverse energy ranges between 9 GeV and 15 GeV, in central Au+Au collisions at $\sqrt {s_{\rm NN}}$ = 200 GeV using data with an integrated luminosity of 13 $\rm nb^{-1}$ collected by the STAR experiment. A comparison between $\pi^{0}$-triggered recoil jets in p+p collisions and PYTHIA is discussed. A comparison is also presented between the suppression of $\gamma_{dir}$- and $\pi^{0}$-triggered recoil jets in central Au+Au collisions with respect to their corresponding PYTHIA references. A strong and similar level of suppression is observed in recoil-jet yields as a function of jet transverse momentum for $\gamma_{dir}$+jet and $\pi^{0}$+jet.


title: Cyberbullying Detection in Social Networks Using Deep Learning Based Models; A Reproducibility Study

abstract: Cyberbullying is a disturbing online misbehaviour with troubling consequences. It appears in different forms, and in most of the social networks, it is in textual format. Automatic detection of such incidents requires intelligent systems. Most of the existing studies have approached this problem with conventional machine learning models and the majority of the developed models in these studies are adaptable to a single social network at a time. In recent studies, deep learning based models have found their way in the detection of cyberbullying incidents, claiming that they can overcome the limitations of the conventional models, and improve the detection performance. In this paper, we investigate the findings of a recent literature in this regard. We successfully reproduced the findings of this literature and validated their findings using the same datasets, namely Wikipedia, Twitter, and Formspring, used by the authors. Then we expanded our work by applying the developed methods on a new YouTube dataset (~54k posts by ~4k users) and investigated the performance of the models in new social media platforms. We also transferred and evaluated the performance of the models trained on one platform to another platform. Our findings show that the deep learning based models outperform the machine learning models previously applied to the same YouTube dataset. We believe that the deep learning based models can also benefit from integrating other sources of information and looking into the impact of profile information of the users in social networks.


title: Spatial-Spectral Regularized Local Scaling Cut for Dimensionality Reduction in Hyperspectral Image Classification

abstract: Dimensionality reduction (DR) methods have attracted extensive attention to provide discriminative information and reduce the computational burden of the hyperspectral image (HSI) classification. However, the DR methods face many challenges due to limited training samples with high dimensional spectra. To address this issue, a graph-based spatial and spectral regularized local scaling cut (SSRLSC) for DR of HSI data is proposed. The underlying idea of the proposed method is to utilize the information from both the spectral and spatial domains to achieve better classification accuracy than its spectral domain counterpart. In SSRLSC, a guided filter is initially used to smoothen and homogenize the pixels of the HSI data in order to preserve the pixel consistency. This is followed by generation of between-class and within-class dissimilarity matrices in both spectral and spatial domains by regularized local scaling cut (RLSC) and neighboring pixel local scaling cut (NPLSC) respectively. Finally, we obtain the projection matrix by optimizing the updated spatial-spectral between-class and total-class dissimilarity. The effectiveness of the proposed DR algorithm is illustrated with two popular real-world HSI datasets.


title: Electric dipole spin resonance at shallow donors in quantum wires

abstract: Electric dipole spin resonance is studied theoretically at a shallow donor formed in a nanowire with spin-orbit coupling in a magnetic field. Such system may represent a donor-based qubit. The single discrete energy level of the donor is accompanied by the set of continuum states, which provide a non-trivial interplay for the picture of electric dipole spin resonance driven by an external monochromatic field. Strongly nonlinear dependencies of spin flip time as well as of the coordinate mean values on the electric field amplitude are observed, demonstrating the significance of coupling to the continuum for spin-based qubits manipulation in nanostructures.


title: On strongly orthogonal martingales in UMD Banach spaces

abstract: In the present paper we introduce the notion of strongly orthogonal martingales. Moreover, we show that for any UMD Banach space $X$ and for any $X$-valued strongly orthogonal martingales $M$ and $N$ such that $N$ is weakly differentially subordinate to $M$ one has that for any $1<p<\infty$ \[ \mathbb E \|N_t\|^p \leq \chi_{p, X}^p \mathbb E \|M_t\|^p,\;\;\; t\geq 0, \] with the sharp constant $\chi_{p, X}$ being the norm of a decoupling-type martingale transform and being within the range \[ \max\Bigl\{\sqrt{\beta_{p, X}}, \sqrt{\hbar_{p,X}}\Bigr\} \leq \max\{\beta_{p, X}^{\gamma,+}, \beta_{p, X}^{\gamma, -}\} \leq \chi_{p, X} \leq \min\{\beta_{p, X}, \hbar_{p,X}\}, \] where $\beta_{p, X}$ is the UMD$_p$ constant of $X$, $\hbar_{p, X}$ is the norm of the Hilbert transform on $L^p(\mathbb R; X)$, and $\beta_{p, X}^{\gamma,+}$ and $ \beta_{p, X}^{\gamma, -}$ are the Gaussian decoupling constants.


title: On the relationship between charge and mass in General Relativity

abstract: This paper demonstrates a relationship between mass and charge through explicit construction of exact Einstein-Maxwell spacetimes by embedding the Schwarzschild and Kerr instantons in 5 dimensions. It is shown further how by varying only the mass of an object, its electric field or apparent "charge" changes, while making it possible for two different mass values to yield the same electric field strength. The 5-dimensional solution, however, reduces to the familiar Coulomb limit $1/r^2$ for large distances.


title: Nucleon-nucleon correlations and the single-particle strength in atomic nuclei

abstract: We propose a phenomenological approach to examine the role of short- and long-range nucleon-nucleon correlations in the quenching of single-particle strength in atomic nuclei and their evolution in asymmetric nuclei and neutron matter. These correlations are thought to be the reason for the quenching of spectroscopic factors observed in $\rm (e,e'p)$, $\rm (p,2p)$ and transfer reactions. We show that the recently observed increase of the high-momentum component of the protons in neutron-rich nuclei is consistent with the reduced proton spectroscopic factors. Our approach connects recent results on short-range correlations from high-energy electron scattering experiments with the quenching of spectroscopic factors and addresses for the first time quantitatively this intriguing question in nuclear physics, in particular regarding its isospin dependence. We also speculate about the nature of a {\sl quasi-proton} (nuclear polaron) in neutron matter and its kinetic energy, an important quantity for the properties of neutron stars.


title: Multitask Painting Categorization by Deep Multibranch Neural Network

abstract: In this work we propose a new deep multibranch neural network to solve the tasks of artist, style, and genre categorization in a multitask formulation. In order to gather clues from low-level texture details and, at the same time, exploit the coarse layout of the painting, the branches of the proposed networks are fed with crops at different resolutions. We propose and compare two different crop strategies: the first one is a random-crop strategy that permits to manage the tradeoff between accuracy and speed; the second one is a smart extractor based on Spatial Transformer Networks trained to extract the most representative subregions. Furthermore, inspired by the results obtained in other domains, we experiment the joint use of hand-crafted features directly computed on the input images along with neural ones. Experiments are performed on a new dataset originally sourced from wikiart.org and hosted by Kaggle, and made suitable for artist, style and genre multitask learning. The dataset here proposed, named MultitaskPainting100k, is composed by 100K paintings, 1508 artists, 125 styles and 41 genres. Our best method, tested on the MultitaskPainting100k dataset, achieves accuracy levels of 56.5%, 57.2%, and 63.6% on the tasks of artist, style and genre prediction respectively.


title: Communicating without shared reference frames

abstract: We generalize a quantum communication protocol introduced by Bartlett et al. [New. J. Phys. 11, 063013 (2009)] in which two parties communicating do not share a classical reference frame, to the case where changes of their reference frames form a one-dimensional noncompact Lie group. Alice sends to Bob the state $\rho_R \otimes \rho_S$, where $\rho_S$ is the state of the system Alice wishes to communicate and $\rho_R$ is the state of an ancillary system serving as a token of her reference frame. Because Bob is ignorant of the relationship between his reference frame and Alice's, he will describe the state $\rho_R \otimes \rho_S$ as an average over all possible reference frames. Bob measures the reference token and applies a correction to the system Alice wished to communicate conditioned on the outcome of the measurement. The recovered state $\rho_S'$ is decohered with respect to $\rho_S$, the amount of decoherence depending on the properties of the reference token $\rho_R$. We present an example of this protocol when Alice and Bob do not share a reference frame associated with the one-dimensional translation group and use the fidelity between $\rho_S$ and $\rho_S'$ to quantify the success of the recovery operation.


title: Multi-scale approach to first-principles electron transport beyond 100 nm

abstract: Multi-scale computational approaches are important for studies of novel, low-dimensional electronic devices since they are able to capture the different length-scales involved in the device operation, and at the same time describe critical parts such as surfaces, defects, interfaces, gates, and applied bias, on a atomistic, quantum-chemical level. Here we present a multi-scale method which enables calculations of electronic currents in two-dimensional devices larger than 100 nm$^2$, where multiple perturbed regions described by density functional theory (DFT) are embedded into an extended unperturbed region described by a DFT-parametrized tight-binding model. We explain the details of the method, provide examples, and point out the main challenges regarding its practical implementation. Finally we apply it to study current propagation in pristine, defected and nanoporous graphene devices, injected by chemically accurate contacts simulating scanning tunneling microscopy probes.


title: On a Dirichlet problem with $(p,q)$-Laplacian and parametric concave-convex nonlinearity

abstract: A homogeneous Dirichlet problem with $(p,q)$-Laplace differential operator and reaction given by a parametric $p$-convex term plus a $q$-concave one is investigated. A bifurcation-type result, describing changes in the set of positive solutions as the parameter $\lambda>0$ varies, is proven. Since for every admissible $\lambda$ the problem has a smallest positive solution $\bar u_{\lambda}$, both monotonicity and continuity of the map $ \lambda \mapsto \bar u_{\lambda}$ are studied.


title: UV to X-ray Comptonization delay in Mrk 493

abstract: The broadband X-ray emission from type 1 active galactic nuclei, dominated by a powerlaw continuum, is thought to arise from repeated inverse Compton scattering of seed optical/UV photons by energetic electrons in a hot corona. The seed optical/UV photons are assumed to arise from an accretion disc but a direct observational evidence has remained elusive. Here we report the discovery of variations in the UV emission preceding the variations in the X-ray emission based on $\sim100\,\mathrm{ks}$ XMM-Newton observations of the narrow-line Seyfert 1 galaxy Mrk 493. We find the UV emission to lead by $\sim5\,\mathrm{ks}$ relative to the X-ray emission. The UV lead is consistent with the time taken by the UV photons to travel from the location of their origin in the accretion disc to the hot corona and the time required for repeated inverse Compton scattering converting the UV photons into X-ray photons. Our findings provide first direct observational evidence for the accretion disc to be responsible for the seed photons for thermal Comptonization in the hot corona, and constrain the size of the corona to be $\sim20r_{g}$.


title: Atomic-SDN: Is Synchronous Flooding the Solution to Software-Defined Networking in IoT?

abstract: The adoption of Software Defined Networking (SDN) within traditional networks has provided operators the ability to manage diverse resources and easily reconfigure networks as requirements change. Recent research has extended this concept to IEEE 802.15.4 low-power wireless networks, which form a key component of the Internet of Things (IoT). However, the multiple traffic patterns necessary for SDN control makes it difficult to apply this approach to these highly challenging environments. This paper presents Atomic-SDN, a highly reliable and low-latency solution for SDN in low-power wireless. Atomic-SDN introduces a novel Synchronous Flooding (SF) architecture capable of dynamically configuring SF protocols to satisfy complex SDN control requirements, and draws from the authors' previous experiences in the IEEE EWSN Dependability Competition: where SF solutions have consistently outperformed other entries. Using this approach, Atomic-SDN presents considerable performance gains over other SDN implementations for low-power IoT networks. We evaluate Atomic-SDN through simulation and experimentation, and show how utilizing SF techniques provides latency and reliability guarantees to SDN control operations as the local mesh scales. We compare Atomic-SDN against other SDN implementations based on the IEEE 802.15.4 network stack, and establish that Atomic-SDN improves SDN control by orders-of-magnitude across latency, reliability, and energy-efficiency metrics.


title: Derivation of the nonlocal pressure form of the fractional porous medium equation in the hydrological setting

abstract: In this short note we consider a nonlinear and spatially nonlocal PDE modelling moisture evolution in a porous medium. We then show that it naturally arises as a description of superdiffusive jump phenomenon occurring in the medium. We provide a deterministic derivation which allows us to naturally incorporate the nonlinear effects. This reasoning shows that in our setting the so-called nonlocal pressure form of the porous medium equation is preferred as a description of the evolution. In that case the governing nonlocal operator is the fractional gradient rather than the fractional Laplacian.


title: Invariant subspaces for Bishop operators and beyond

abstract: Bishop operators $T_{\alpha}$ acting on $L^2[0,1)$ were proposed by E. Bishop in the fifties as possible operators which might entail counterexamples for the Invariant Subspace Problem. We prove that all the Bishop operators are biquasitriangular and, derive as a consequence that they are norm limits of nilpotent operators. Moreover, by means of arithmetical techniques along with a theorem of Atzmon, the set of irrationals $\alpha\in (0,1)$ for which $T_\alpha$ is known to possess non-trivial closed invariant subspaces is considerably enlarged, extending previous results by Davie, MacDonald and Flattot. Furthermore, we essentially show that when our approach fails to produce invariant subspaces it is actually because Atzmon Theorem cannot be applied. Finally, upon applying arithmetical bounds obtained, we deduce local spectral properties of Bishop operators proving, in particular, that neither of them satisfy the Dunford property $(C)$.


title: Dimer-monomer model on the generalized Tower of Hanoi graph

abstract: We study the number of dimer-monomers $M_d(n)$ on the Tower of Hanoi graphs $TH_d(n)$ at stage $n$ with dimension $d$ equal to 3 and 4. The entropy per site is defined as $z_{TH_d}=\lim_{v \to \infty} \ln M_d(n)/v$, where $v$ is the number of vertices on $TH_d(n)$. We obtain the lower and upper bounds of the entropy per site, and the convergence of these bounds approaches to zero rapidly when the calculated stage increases. The numerical value of $z_{TH_d}$ is evaluated to more than a hundred digits correct. Using the results with $d$ less than or equal to 4, we predict the general form of the lower and upper bounds for $z_{TH_d}$ with arbitrary $d$.


title: Spontaneous center formation in Dictyostelium discoideum

abstract: Dictyostelium discoideum (D.d.) is a widely studied amoeba due to its capabilities of development, survival, and self-organization. During aggregation it produces and relays a chemical signal (cAMP) which shows spirals and target centers. Nevertheless, the natural emergence of these structures is still not well understood. We present a mechanism for creation of centers and target waves of cAMP in D.d. by adding cell inhomogeneity to a well known reaction-diffusion model of cAMP waves and we characterize its properties. We show how stable activity centers appear spontaneously in areas of higher cell density with the oscillation frequency of these centers depending on their density. The cAMP waves have the characteristic dispersion relation of trigger waves and a velocity which increases with cell density. Chemotactically competent cells react to these waves and create aggregation streams even with very simple movement rules. Finally we argue in favor of the existence of bounded phosphodiesterase to maintain the wave properties once small cell clusters appear.


title: Heavy neutral leptons and high-intensity observables

abstract: New Physics models in which the Standard Model particle content is enlarged via the addition of sterile fermions remain among the most minimal and yet most appealing constructions, particularly since these states are present as building blocks of numerous mechanisms of neutrino mass generation. Should the new sterile states have non-negligible mixings to the active (light) neutrinos, and if they are not excessively heavy, one expects important contributions to numerous high-intensity observables, among them charged lepton flavour violating muon decays and transitions, and lepton electric dipole moments. We briefly review the prospects of these minimal SM extensions to several of the latter observables, considering both simple extensions and complete models of neutrino mass generation. We emphasise the existing synergy between different observables at the Intensity Frontier, which will be crucial in unveiling the new model at work.


title: Asymptotic normality in random graphs with given vertex degrees

abstract: We consider random graphs with a given degree sequence and show, under weak technical conditions, asymptotic normality of the number of components isomorphic to a given tree, first for the random multigraph given by the configuration model and then, by a conditioning argument, for the simple uniform random graph with the given degree sequence. Such conditioning is standard for convergence in probability, but much less straightforward for convergence in distribution as here. The proof uses the method of moments, and is based on a new estimate of mixed cumulants in a case of weakly dependent variables. The result on small components is applied to give a new proof of a recent result by Barbour and R\"ollin on asymptotic normality of the size of the giant component in the random multigraph; moreover, we extend this to the random simple graph.


title: Two-dimensional Mixture of Dipolar Fermions: Equation of State and Magnetic Phases

abstract: We study a two-component mixture of fermionic dipoles in two dimensions at zero temperature, interacting via a purely repulsive $1/r^3$ potential. This model can be realized with ultracold atoms or molecules, when their dipole moments are aligned in the confinement direction orthogonal to the plane. We characterize the unpolarized mixture by means of the Diffusion Monte Carlo technique. Computing the equation of state, we identify the regime of validity for a mean-field theory based on a low-density expansion and compare our results with the hard-disk model of repulsive fermions. At high density, we address the possibility of itinerant ferromagnetism, namely whether the ground state can be fully polarized in the fluid phase. Within the fixed-node approximation, we show that the accuracy of Jastrow-Slater trial wave functions, even with the typical two-body backflow correction, is not sufficient to resolve the relevant energy differences. By making use of the iterative-backflow improved trial wave functions, we observe no signature of a fully-polarized ground state up to the freezing density.


title: On Cherry-picking and Network Containment

abstract: Phylogenetic networks are used to represent evolutionary scenarios in biology and linguistics. To find the most probable scenario, it may be necessary to compare candidate networks, to distinguish different networks, and to see when one network is contained in another. In this paper, we introduce cherry-picking networks, a class of networks that can be reduced by a sequence of two graph operations. We show that some networks are uniquely determined by the sequences that reduce them---we call these the reconstructible cherry-picking networks, and further show that given two cherry-picking networks within the same reconstructible class, one is contained in the other if a sequence for the latter network reduces the former network. By restricting our scope to tree-child networks, we show that the converse of the above statement holds, thereby showing that {\sc Network Containment}, the problem of checking whether a network is contained in another, can be solved in linear time for tree-child networks. We implement this algorithm in Python and show that the linear-time theoretical bound on the input size is achievable in practice. Lastly, we provide a linear time algorithm for deciding whether two tree-child networks are isomorphic.


title: Feedback, Dynamics, and Optimal Control in Climate Economics

abstract: For his work in the economics of climate change, Professor William Nordhaus was a co-recipient of the 2018 Nobel Memorial Prize for Economic Sciences. A core component of the work undertaken by Nordhaus is the Dynamic Integrated model of Climate and Economy, known as the DICE model. The DICE model is a discrete-time model with two control inputs and is primarily used in conjunction with a particular optimal control problem in order to estimate optimal pathways for reducing greenhouse gas emissions. In this paper, we provide a tutorial introduction to the DICE model and we indicate challenges and open problems of potential interest for the systems and control community.


title: Ultrashort Echo Time Magnetic Resonance Fingerprinting (UTE-MRF) for Simultaneous Quantification of Long and Ultrashort T2 Tissues

abstract: Purpose: To demonstrate an ultrashort echo time magnetic resonance fingerprinting (UTE-MRF) method that can simultaneously quantify tissue relaxometries for muscle and bone in musculoskeletal systems and tissue components in brain and therefore can synthesize pseudo-CT images. Methods: A FISP-MRF sequence with half pulse excitation and half spoke radial acquisition was designed to sample fast T2 decay signals. Sinusoidal echo time (TE) pattern was applied to enhance MRF sensitivity for tissues with short and ultrashort T2 values. The performance of UTE-MRF was evaluated via simulations, phantoms, and in vivo experiments. Results: A minimal TE of 0.05 ms was achieved in UTE-MRF. Simulations indicated that extension of TE sampling increased T2 quantification accuracy in cortical bone and tendon, and had little impact on long T2 muscle quantifications. For a rubber phantom, an average T1/T2 of 162/1.07 ms from UTE-MRF were compared well with gold standard T2 of 190 ms from IR-UTE and T2* of 1.03 ms from UTE sequence. For a long T2 agarose phantom, the linear regression slope between UTE-MRF and gold standard was 1.07 (R2=0.991) for T1 and 1.04 (R2=0.994) for T2. In vivo experiments showed the detection of cortical bone and Achilles tendon, where the averaged T2 was respectively 1.0 ms and 15 ms. Scalp images were in good agreement with CT. Conclusion: UTE-MRF with sinusoidal TE variations shows its capability to produce pseudo-CT images and simultaneously output T1, T2, proton density, and B0 maps for tissues with long T2 and short/ultrashort T2 in the brain and musculoskeletal system.


title: Lifting low-dimensional local systems

abstract: Let $k$ be a field of characteristic $p>0$. Denote by $W_r(k)$ the ring of truntacted Witt vectors of length $r \geq 2$, built out of $k$. In this text, we consider the following question, depending on a given profinite group $G$. $Q(G)$: Does every (continuous) representation $G\longrightarrow GL_d(k)$ lift to a representation $G\longrightarrow GL_d(W_r(k))$? We work in the class of cyclotomic pairs (Definition 4.3), first introduced in [DCF] under the name "smooth profinite groups". Using Grothendieck-Hilbert' theorem 90, we show that the algebraic fundamental groups of the following schemes are cyclotomic: spectra of semilocal rings over $\mathbb{Z}[\frac{1}{p}]$, smooth curves over algebraically closed fields, and affine schemes over $\mathbb{F}_p$. In particular, absolute Galois groups of fields fit into this class. We then give a positive partial answer to $Q(G)$, for a cyclotomic profinite group $G$: the answer is positive, when $d=2$ and $r=2$. When $d=2$ and $r=\infty$, we show that any $2$-dimensional representation of $G$ stably lifts to a representation over $W(k)$: see Theorem 6.1. \\When $p=2$ and $k=\mathbb{F}_2$, we prove the same results, up to dimension $d=4$. We then give a concrete application to algebraic geometry: we prove that local systems of low dimension lift Zariski-locally (Corollary 6.3).


title: Generalized Ghost Dark Energy in DGP Model

abstract: In 2000, Giorgi Dvali, Gregory Gabadadze and Massimo Porrati (Dvali et al. 2000) was proposed a new braneworld model named as DGP model, having two branches with $(\epsilon=+1)$ and $(\epsilon=-1)$. Former one $(~\epsilon=+1)$ known as the accelerating branch, i.e. accelerating phase of the universe can be explained without adding cosmological constant or Dark energy, whereas later one represents the decelerating branch. Here we have investigated the behavior of decelerating branch $(i.e.~\epsilon=-1)$ of DGP model with Generalized Ghost Dark Energy (GGDE). Aim of our study to find a stable solution of the universe in DGP model. To find a stable solution we have studied the behavior of different cosmological parameters such as Hubble parameter, equation of state (EoS) parameter and deceleration parameter with respect to scale factor. Then we have analysed the $\omega_{D}-\acute{\omega_{D}}$ to confirm no freezing region of our present study and point out thawing region. Furthermore we have checked the gradient of stability by calculating the squared sound speed. Then we extend our study to check the viability of this model under investigation through the analysis of statefinder diagnosis parameters for the present cosmological setup.


title: Starspots in contact and semi-detached binary systems

abstract: We investigated the statistical properties of both cool and hot starspots in eclipsing binary stars. The starspot and binary parameters for contact and semi-detached systems were collected from literature, which were determined on the basis of synthetic light-curve analysis. We examined associations between these parameters. As a result, the cool spots in W-type binaries show properties similar to those of sunspots and starspots generated by dynamos, which differs from those of the cool spots in A-type binaries. The properties of hot spots also differ between the W- and A-type samples. From the physical properties of A- and W-type binaries, we infer that mass transfer is a dominant process for forming the hot spots in A-type binaries; and both mass transfer and magnetic activity can contribute to the formation of the hot spots in W-type binaries. Our results also indicate that the hot-spot size in the A-type sample is correlated with the temperature of spotted stars, orbital period, mass ratio, and fill-out factor.


title: Pattern Analysis of World Conflicts over the past 600 years

abstract: We analyze the database prepared by Brecke (Brecke 2011) for violent conflict, covering some 600 years of human history. After normalizing the data for the global human population, we find that the number of casualties tends to follow a power law over the whole data series for the period considered, with no evidence of periodicity. We also observe that the number of conflicts, again normalized for the human population, show a decreasing trend as a function of time. Our result agree with previous analyses on this subject and tend to support the idea that war is a statistical phenomenon related to the network structure of the human society.


title: Finite Quark-Mass Effects in Higgs Boson Production With Dijets at Large Energies

abstract: The production of a Higgs boson in association with at least two jets receives contributions both from the fusion of weak vector bosons (VBF) and from QCD processes, especially gluon fusion (GF). The former process is important for measuring the coupling of the Higgs boson to weak bosons, whereas the latter process plays an important role in determining any $CP$-admixtures in the Higgs sector. In this paper we go beyond the current state-of-the-art for fixed order calculations of the GF process (i.e. one loop $H+2j$ including full quark mass effects) by including the all-order effects in leading $\log(\hat s/p_t^2)$, together with full quark mass and loop-propagator kinematic effects. We calculate the mass-dependent components and implement the resummation within the framework of High Energy Jets. The high energy effects suppress the prediction compared to fixed order at large $\Delta y_{12}$ and $m_{jj}$ (and therefore within the usual VBF cuts of widely separated jets), just as found in the limit of $m_t\to \infty$. The mass dependence is more significant than at fixed order, because the systematic inclusion of the leading logarithms in $\hat s/p_t^2$ results in a hardening of the transverse momentum of the Higgs boson, which in turn probes in more detail the loop-structure of the coupling. In particular, the full mass dependence reduces the cross section within VBF cuts by 11\% compared to a calculation based just on the infinite top mass limit, but the impact of the bottom quark remains small. This all implies that the gluon-fusion contribution within VBF-cuts is less severe than current estimates suggest.


title: Exposing A Customizable, Decentralized Cryptoeconomy as a Data Type

abstract: Purposely modular, this protocol enables customization of several protocol properties, including the consensus properties implemented, blockchain type, the roots used, and virtual machine opcodes, among others. These modules enable implementing parties to control the behavior of their economy, with a minimal amount of effort, and no sacrifice in participant cryptoeconomic quality. This work also demonstrates the simplification of the developer experience by abstracting away all technological details, except basic CRUD-based operations, using various programming languages. We demonstrate the mechanism design approach taken, and formalize a process for deploying populations of blockchain economies at scale. The framework shown includes adequate tooling for simulation, development, deployment, maintenance, and analytic-based decision making. Lastly, we introduce an expressive programming language for the purpose of creating, and interacting with the cryptoeconomy designed by the implementing developer.


title: Diverging sequences of unit volume invariant metrics with bounded curvature

abstract: We study 1-parameter families in the space $\mathscr{M}^G_1$ of $G$-invariant, unit volume metrics on a given compact, connected, almost-effective homogeneous space $M=G/H$. In particular, we focus on diverging sequences, i.e. which are not contained in any compact subset of $\mathscr{M}^G_1$, and we prove some structure results for those which have bounded curvature. We also relate our results to an algebraic version of collapse.


title: Automatic Code Generation for High-Performance Discontinuous Galerkin Methods on Modern Architectures

abstract: SIMD vectorization has lately become a key challenge in high-performance computing. However, hand-written explicitly vectorized code often poses a threat to the software's sustainability. In this publication we solve this sustainability and performance portability issue by enriching the simulation framework dune-pdelab with a code generation approach. The approach is based on the well-known domain-specific language UFL, but combines it with loopy, a more powerful intermediate representation for the computational kernel. Given this flexible tool, we present and implement a new class of vectorization strategies for the assembly of Discontinuous Galerkin methods on hexahedral meshes exploiting the finite element's tensor product structure. The optimal variant from this class is chosen by the code generator through an autotuning approach. The implementation is done within the open source PDE software framework Dune and the discretization module dune-pdelab. The strength of the proposed approach is illustrated with performance measurements for DG schemes for a scalar diffusion reaction equation and the Stokes equation. In our measurements, we utilize both the AVX2 and the AVX512 instruction set, achieving 40\% to 60\% of the machine's theoretical peak performance for one matrix-free application of the operator.


title: Dynamic Task Offloading and Resource Allocation for Ultra-Reliable Low-Latency Edge Computing

abstract: To overcome devices' limitations in performing computation-intense applications, mobile edge computing (MEC) enables users to offload tasks to proximal MEC servers for faster task computation. However, current MEC system design is based on average-based metrics, which fails to account for the ultra-reliable low-latency requirements in mission-critical applications. To tackle this, this paper proposes a new system design, where probabilistic and statistical constraints are imposed on task queue lengths, by applying extreme value theory. The aim is to minimize users' power consumption while trading off the allocated resources for local computation and task offloading. Due to wireless channel dynamics, users are re-associated to MEC servers in order to offload tasks using higher rates or accessing proximal servers. In this regard, a user-server association policy is proposed, taking into account the channel quality as well as the servers' computation capabilities and workloads. By marrying tools from Lyapunov optimization and matching theory, a two-timescale mechanism is proposed, where a user-server association is solved in the long timescale while a dynamic task offloading and resource allocation policy is executed in the short timescale. Simulation results corroborate the effectiveness of the proposed approach by guaranteeing highly-reliable task computation and lower delay performance, compared to several baselines.


title: Lepton-jet Correlations in Deep Inelastic Scattering at the Electron-Ion Collider

abstract: We propose the lepton-jet correlation in deep inelastic scattering as a unique tool for nucleon/nucleus tomography at the electron-ion collider. The azimuthal angular correlation between the final state lepton and jet depends on the transverse momentum dependent quark distributions. We take the example of single transverse spin asymmetries to show the sensitivity to the quark Sivers function. When the correlation is studied in lepton-nucleus collisions, transverse momentum broadening effects can be used to explore cold nuclear matter effects. These features make lepton-jet correlations an important new hard probe at the EIC.


title: Sharp optimal recovery in the two-component Gaussian Mixture Model

abstract: This paper studies the problem of clustering in the two-component Gaussian mixture model where the centers are separated by $2\Delta$ for some $\Delta>0$. We characterize the exact phase transition threshold, given by $$ \bar{\Delta}_n^{2} = \sigma^{2}\left(1 + \sqrt{1+\frac{2p}{n\log{n}}} \right)\log{n}, $$ such that perfect recovery of the communities is possible with high probability if $\Delta\ge(1+\varepsilon)\bar \Delta_n$, and impossible if $\Delta\le (1-\varepsilon)\bar \Delta_n$ for any constant $\varepsilon>0$. This implies an elbow effect at a critical dimension $p^{*}=n\log{n}$. We present a non-asymptotic lower bound for the corresponding minimax Hamming risk improving on existing results. It is, to our knowledge, the first lower bound capturing the right dependence on $p$. We also propose an optimal, efficient and adaptive procedure that is minimax rate optimal. The rate optimality is moreover sharp in the asymptotics when the sample size goes to infinity. Our procedure is based on a variant of Lloyd's iterations initialized by a spectral method; a popular clustering algorithm widely used by practitioners. Numerical studies confirm our theoretical findings.


title: Building on the Diamonds between Theories: Theory Presentation Combinators

abstract: To build a large library of mathematics, it seems more efficient to take advantage of the inherent structure of mathematical theories. Various theory presentation combinators have been proposed, and some have been implemented, in both legacy and current systems. Surprisingly, the ``standard library'' of most systems do not make pervasive use of these combinators. We present a set of combinators optimized for reuse, via the tiny theories approach. Our combinators draw their power from the inherent structure already present in the \emph{category of contexts} associated to a dependently typed language. The current work builds on ideas originating in CLEAR and Specware and their descendents (both direct and intellectual). Driven by some design criteria for user-centric library design, our library-building experience via the systematic use of combinators has fed back into the semantics of these combinators, and later into an updated syntax for them.