where A represents the magnetic vector potential, is an integral of the hydromagnetic equations. This -integral made it possible to formulate a variational principle for the force-free magnetic fields. The integral expresses the fact that motions cannot transform a given field in an entirely arbitrary different field, if the conductivity of the medium isconsidered infinite. In this paper we shall show that the full set of hydromagnetic equations admit five more integrals, besides the energy integral, if dissipative processes are absent. These integrals, as we shall presently verify, are I2 =fbHvdV, (2)

Proceedings of the National Academy of Sciences

2005년 대한 생화학·분자생물학회 하계학술대회를 다녀와서

Journal of the ACM

Mathematical programming

Preface (R.J. Aumann, S. Hart). Strategic equilibrium (E. van Damme). Foundations of strategic equilibrium (J. Hillas, E. Kohlberg). Incomplete information (R.J. Aumann, A. Heifetz). Non-zero-sum two-person games (T.E.S. Raghavan). Computing equilibria for two-person games (B. von Stengel). Non-cooperative games with many players (M. Ali Khan, Y. Sun). Stochastic games (J-F. Mertens). Stochastic games: recent results (N. Vieille). Game theory and industrial organization (K. Bagwell, A. Wolinsky). Bargaining with incomplete information (L.M. Ausubel, P. Cramton, R.J. Deneckere). Inspection Games (R. Avenhaus, B.V. Stengel, S.Zamir). Economic history and game theory (A. Greif). The shapley value (E. Winter). Variations on the shapley value (D. Monderer, D. Samet). Values of non-transferable utility games (R. McLean). Values of games with infinitely many players (A. Neyman). Values of perfectly competitive economies (S. Hart). Some other economic applications of the value (J-F. Mertens). Strategic aspects of political systems (J. Banks). Game-theoretic analysis of legal rules and institutions (J-P. Benoit, L.A. Kornhauser). Implementation Theory (T. Palfrey). Game Theory and experimental Gaming (M. Shubik).

Handbook of game theory with economic applications

Auction is the common paradigm for resource allocation which is a fundamental problem in human society. Existing research indicates that the two primary objectives, the seller's revenue and the allocation efficiency, are generally conflicting in auction design. For the first time, we expand the domain of the classic auction to a social graph and formally identify a new class of auction mechanisms on graphs. All mechanisms in this class are incentive-compatible and also promote all buyers to diffuse the auction information to others, whereby both the seller's revenue and the allocation efficiency are significantly improved comparing with the Vickrey auction. It is found that the recently proposed information diffusion mechanism is an extreme case with the lowest revenue in this new class. Our work could potentially inspire a new perspective for the efficient and optimal auction design and could be applied into the prevalent online social and economic networks. © 2019 International Joint Conferences on Artificial Intelligence. All rights reserved.

/pdf/diffusion-and-auction-on-graphs-2k2ng68x0g.pdf

Diffusion and auction on graphs

This paper studies a search problem involving a robot that is searching for a certain item in an uncertain environment (e.g., searching minerals on Moon) that allows only limited interaction with humans. The uncertainty of the environment comes from the rewards of undiscovered items and the availability of costly human help. The goal of the robot is to maximize the reward of the items found while minimising the search costs. We show that this search problem is polynomially solvable with a novel integration of the human help, which has not been studied in the literature before. Furthermore, we empirically evaluate our solution with simulations and show that it significantly outperforms several benchmark approaches.

A polynomial time optimal algorithm for robot-human search under uncertainty

Barter exchange studies the setting where each agent owns a good, and they can exchange with each other if that gives them more preferred goods. This exchange will give better outcomes if there are more participants. The challenge here is how to get more participants and our goal is to incentivize the existing participants to invite new participants. However, new participants might be competitors for the existing participants. Therefore, we design an exchange mechanism based on the classical Top Trading Cycle (TTC) algorithm to solve their conflicts. Our mechanism is truthful in terms of revealing their preferences and also guarantees that inviting all their neighbors is a dominant strategy for all participants. The mechanism can be applied in settings where more participants are preferred but no extra budget to reach new participants.

Barter Exchange via Friends' Friends.

We study a question answering problem on a social network, where a requester is seeking an answer from the agents on the network. The goal is to design reward mechanisms to incentivize the agents to propagate the requester's query to their neighbours if they don't have the answer. Existing mechanisms are vulnerable to Sybil-attacks, i.e., an agent may get more reward by creating fake identities. Hence, we combat this problem by first proving some impossibility results to resolve Sybil-attacks and then characterizing a class of mechanisms which satisfy Sybil-proofness (prevents Sybil-attacks) as well as other desirable properties. Except for Sybil-proofness, we also consider cost minimization for the requester and agents' collusions.

Sybil-proof Answer Querying Mechanism

We study a general task allocation problem, involving multiple agents that collaboratively accomplish tasks and where agents may fail to successfully complete the tasks assigned to them (known as execution uncertainty). The goal is to choose an allocation that maximises social welfare while taking their execution uncertainty into account (i.e., fault tolerant). To achieve this, we show that the post-execution verification (PEV)-based mechanism presented by Porter et al. (2008) is applicable if and only if agents' valuations are risk-neutral (i.e., the solution is almost universal). We then consider a more advanced setting where an agent's execution uncertainty is not completely predictable by the agent alone but aggregated from all agents' private opinions (known as trust). We show that PEV-based mechanism with trust is still applicable if and only if the trust aggregation is multilinear. Given this characterisation, we further demonstrate how this mechanism can be successfully applied in a real-world setting. Finally, we draw the parallels between our results and the literature of efficient mechanism design with general interdependent valuations.

/pdf/fault-tolerant-mechanism-design-for-general-task-allocation-23epg9apxt.pdf

Dengji Zhao

Papers

Diffusion and auction on graphs

A polynomial time optimal algorithm for robot-human search under uncertainty

Barter Exchange via Friends' Friends.

Sybil-proof Answer Querying Mechanism

Fault Tolerant Mechanism Design for General Task Allocation