Two-mediator dark matter models and cosmic electron excess

The cosmic electron energy spectrum recently observed by the DAMPE experiment exhibits two interesting features, including a break around 0.9 TeV and a sharp resonance near 1.4 TeV. In this analysis, we propose a dark matter explanation to both exotic features seen by DAMPE. In our model, dark matter annihilates in the galaxy via two different channels that lead to both a narrow resonance spectrum near 1.4 TeV and electron excess events over an extended energy range thus generating the break structure around TeV. The two annihilation channels are mediated by two gauge bosons that interact both with dark matter and with the standard model fermions. Dark matter annihilations through the s-channel process mediated by the heavier boson produce monoenergetic electron-positron pairs leading to the resonance excess. The lighter boson has a mass smaller than the dark matter such that they can be on-shell produced in dark matter annihilations in the galaxy; the lighter bosons in the final state subsequently decay to generate the extended excess events due to the smeared electron energy spectrum in this process. We further analyze constraints from various experiments, including HESS, Fermi, AMS, and LHC, to the parameter space of the model where both excess events can be accounted for. In order to interpret the two new features in the DAMPE data, dark matter annihilation cross sections in the current galaxy are typically much larger than the canonical thermal cross section needed for the correct dark matter relic abundance. This discrepancy, however, is remedied by the nonperturbative Sommerfeld enhancement because of the existence of a lighter mediator in the model.Comment: 23 pages, 21 figure

Self-modifiable color petri nets for modeling user manipulation and network event handling

A Self-Modifiable Color Petri Net (SMCPN) which has multimedia synchronization capability and the ability to model user manipulation and network event (i.e. network congestion, etc.) handling is proposed in this paper. In SMCPN, there are two types of tokens: resource tokens representing resources to be presented and color tokens with two sub-types: one associated with some commands to modify the net mechanism in operation, another associated with a number to decide iteration times. Also introduced is a new type of resource token named reverse token that moves to the opposite direction of arcs. When user manipulation/network event occurs, color tokens associated with the corresponding interrupt handling commands will be injected into places that contain resource tokens. These commands are then executed to handle the user manipulation/network event. SMCPN has the desired general programmability in the following sense: 1) It allows handling of user manipulations or pre-specified events at any time while keeping the Petri net design simple and easy. 2) It allows the user to customize event handling beforehand. This means the system being modeled can handle not only commonly seen user interrupts (e.g. skip, reverse, freeze), the user is free to define new operations including network event handling. 3) It has the power to simulate self-modifying protocols. A simulator has been built to demonstrate the feasibility of SMCPN

Modeling interactive memex-like applications based on self-modifiable petri nets

This paper introduces an interactive Memex-like application using a self-modifiable Petri Net model – Self-modifiable Color Petri Net (SCPN). The Memex (“memory extender”) device proposed by Vannevar Bush in 1945 focused on the problems of “locating relevant information in the published records and recording how that information is intellectually connected.” The important features of Memex include associative indexing and retrieval. In this paper, the self-modifiable functions of SCPN are used to achieve trail recording and retrieval. A place in SCPN represents a website and an arc indicates the trail direction. Each time when a new website is visited, a place corresponding to this website will be added. After a trail is built, users can use it to retrieve the websites they have visited. Besides, useful user interactions are supported by SCPN to achieve Memex functions. The types of user interactions include: forward, backward, history, search, etc. A simulator has been built to demonstrate that the SCPN model can realize Memex functions. Petri net instances can be designed to model trail record, back, and forward operations using this simulator. Furthermore, a client-server based application system has been built. Using this system, a user can surf online and record his surfing history on the server according to different topics and share them with other users

The horofunction compactification of Teichm\"uller metric

We show that the horofunction compactification of Teichm\"uller space with the Teichm\"uller metric is homeomorphic to the Gardiner-Masur compactification.Comment: Final version, the proof of Proposition 5.1 is improved. To appear in Handbook of Teichm\"uller Theory, Vol. 4, A. Papadopoulos (ed.), EMS publishing house, Z\"urich 201