arXiv subjects

Xinwen Wang

Publications and source records attributed to Xinwen Wang.

8 recordsLinked to original sources

arXiv2021

APAN: Asynchronous Propagation Attention Network for Real-time Temporal Graph Embedding

Limited by the time complexity of querying k-hop neighbors in a graph database, most graph algorithms cannot be deployed online and execute millisecond-level inference. This problem dramatically limits the potential of applying graph algorithms in certain areas, such as financial fraud detection. Therefore, we propose Asynchronous Propagation Attention Network, an asynchronous continuous time dynamic graph algorithm for real-time temporal graph embedding. Traditional graph models usually execute two serial operations: first graph computation and then model inference. We decouple model inference and graph computation step so that the heavy graph query operations will not damage the speed of model inference. Extensive experiments demonstrate that the proposed method can achieve competitive performance and 8.7 times inference speed improvement in the meantime.

cs.AI↗

arXiv2020

Heterogeneous Paxos: Technical Report

In distributed systems, a group of $\textit{learners}$ achieve $\textit{consensus}$ when, by observing the output of some $\textit{acceptors}$, they all arrive at the same value. Consensus is crucial for ordering transactions in failure-tolerant systems. Traditional consensus algorithms are homogeneous in three ways: - all learners are treated equally, - all acceptors are treated equally, and - all failures are treated equally. These assumptions, however, are unsuitable for cross-domain applications, including blockchains, where not all acceptors are equally trustworthy, and not all learners have the same assumptions and priorities. We present the first consensus algorithm to be heterogeneous in all three respects. Learners set their own mixed failure tolerances over differently trusted sets of acceptors. We express these assumptions in a novel $\textit{Learner Graph}$, and demonstrate sufficient conditions for consensus. We present $\textit{Heterogeneous Paxos}$: an extension of Byzantine Paxos. Heterogeneous Paxos achieves consensus for any viable Learner Graph in best-case three message sends, which is optimal. We present a proof-of-concept implementation, and demonstrate how tailoring for heterogeneous scenarios can save resources and latency.

cs.DC↗

arXiv2019

Charlotte: Composable Authenticated Distributed Data Structures, Technical Report

We present Charlotte, a framework for composable, authenticated distributed data structures. Charlotte data is stored in blocks that reference each other by hash. Together, all Charlotte blocks form a directed acyclic graph, the blockweb; all observers and applications use subgraphs of the blockweb for their own data structures. Unlike prior systems, Charlotte data structures are composable: applications and data structures can operate fully independently when possible, and share blocks when desired. To support this composability, we define a language-independent format for Charlotte blocks and a network API for Charlotte servers. An authenticated distributed data structure guarantees that data is immutable and self-authenticating: data referenced will be unchanged when it is retrieved. Charlotte extends these guarantees by allowing applications to plug in their own mechanisms for ensuring availability and integrity of data structures. Unlike most traditional distributed systems, including distributed databases, blockchains, and distributed hash tables, Charlotte supports heterogeneous trust: different observers may have their own beliefs about who might fail, and how. Despite heterogeneity of trust, Charlotte presents each observer with a consistent, available view of data. We demonstrate the flexibility of Charlotte by implementing a variety of integrity mechanisms, including consensus and proof of work. We study the power of disentangling availability and integrity mechanisms by building a variety of applications. The results from these examples suggest that developers can use Charlotte to build flexible, fast, composable applications with strong guarantees.

cs.DC↗

arXiv2018

A Web of Blocks

Blockchains offer a useful abstraction: a trustworthy, decentralized log of totally ordered transactions. Traditional blockchains have problems with scalability and efficiency, preventing their use for many applications. These limitations arise from the requirement that all participants agree on the total ordering of transactions. To address this fundamental shortcoming, we introduce Charlotte, a system for maintaining decentralized, authenticated data structures, including transaction logs. Each data structurestructure -- indeed, each block -- specifies its own availability and integrity properties, allowing Charlotte applications to retain the full benefits of permissioned or permissionless blockchains. In Charlotte, a block can be atomically appended to multiple logs, allowing applications to be interoperable when they want to, without inefficiently forcing all applications to share one big log. We call this open graph of interconnected blocks a blockweb. We allow new kinds of blockweb applications that operate beyond traditional chains. We demonstrate the viability of Charlotte applications with proof-of-concept servers running interoperable blockchains. Using performance data from our prototype, we estimate that when compared with traditional blockchains, Charlotte offers multiple orders of magnitude improvement in speed and energy efficiency.

cs.DC↗

arXiv2016

Hawking radiation of charged Einstein-aether black holes at both Killing and universal horizons

We study analytically quantum tunneling of relativistic and non-relativistic particles at both Killing and universal horizons of Einstein-Maxwell-aether black holes, after high-order curvature corrections are taken into account, for which the dispersion relation of the particles becomes nonlinear. Our results at the Killing horizons confirm the previous ones, i.e., at high frequencies the corresponding radiation remains thermal and the nonlinearity of the dispersion does not alter the Hawking radiation significantly. In contrary, non-relativistic particles are created at universal horizons and are radiated out to infinity. The radiation also has a thermal spectrum, and the corresponding temperature takes the form, $T^{z}_{UH} = 2κ_{UH} (z-1)/(2πz)$, where $z$ denotes the power of the leading term in the nonlinear dispersion relation, $κ_{UH}$ is the surface gravity of the universal horizon, defined by peering behavior of ray trajectories at the universal horizon. We also study the Smarr formula by assuming that: (a) the entropy is proportional to the area of the universal horizon, and (b) the first law of black hole thermodynamics holds, whereby we derive the Smarr mass, which in general is different from the total mass obtained at infinity. This indicates that one or both of these assumptions must be modified.

gr-qc↗

arXiv2015

Charged Einstein-aether black holes and Smarr formula

In the framework of the Einstein-Maxwell-aether theory, we present two new classes of exact charged black hole solutions, which are asymptotically flat and possess the universal as well as Killing horizons. We also construct the Smarr formulas, and calculate the temperatures of the horizons, using the Smarr mass-area relation. We find that, in contrast to the neutral case, such obtained temperature is not proportional to its surface gravity at any of the two kinds of the horizons. Einstein-Maxwell-aether black holes with the cosmological constant and their topological cousins are also given.

gr-qc↗

arXiv2015

Effects of high-order operators in non-relativistic Lifshitz holography

In this paper, we study the effects of high-order operators on the non-relativistic Lifshitz holography in the framework of the Hořava-Lifshitz (HL) theory of gravity, which naturally contains high-order operators in order for the theory to be power-counting renormalizble, and provides an ideal place for such studies. In particular, we show that the Lifshitz space-time is still a solution of the full theory of the HL gravity. The effects of the high-oder operators on the space-time itself is simply to shift the Lifshitz dynamical exponent. However, while in the infrared the asymptotic behavior of a (probe) scalar field near the boundary is similar to that studied in the literature, it gets dramatically modified in the UV limit, because of the presence of the high-order operators in this regime. Then, according to the gauge/gravity duality, this in turn affects the two-point correlation functions.

hep-th↗

arXiv2015

Gravitational collapse and formation of universal horizons

In this paper, we first generalize the definition of stationary universal horizons to dynamical ones, and then show that (dynamical) universal horizons can be formed from realistic gravitational collapse. This is done by constructing analytical models of a collapsing spherically symmetric star with finite thickness in Einstein-aether theory.

gr-qc↗