Generalized Colonel Blotto Game

Competitive resource allocation between adversarial decision makers arises in a wide spectrum of real-world applications such as in communication systems, cyber-physical systems security, as well as financial, political, and electoral competition. As such, developing analytical tools to model and analyze competitive resource allocation is crucial for devising optimal allocation strategies and anticipating the potential outcomes of the competition. To this end, the Colonel Blotto game is one of the most popular game-theoretic frameworks for modeling and analyzing such competitive resource allocation problems. However, in many real-world competitive situations, the Colonel Blotto game does not admit solutions in deterministic strategies and, hence, one must rely on analytically complex mixed-strategies with their associated tractability, applicability, and practicality challenges. In this paper, a generalization of the Colonel Blotto game which enables the derivation of deterministic, practical, and implementable equilibrium strategies is proposed while accounting for the heterogeneity of the battlefields. In addition, the proposed generalized game enables accounting for the consumed resources in each battlefield, a feature that is not considered in the classical Blotto game. For the generalized game, the existence of a Nash equilibrium in pure-strategies is shown. Then, closed-form analytical expressions of the equilibrium strategies, are derived and the outcome of the game is characterized; based on the number of resources of each player as well as the valuation of each battlefield. The generated results provide invaluable insights on the outcome of the competition. For example, the results show that, when both players are fully rational, the more resourceful player can achieve a better total payoff at the Nash equilibrium, a result that is not mimicked in the classical Blotto game.Comment: 8 pages, 5 figure

A Match in Time Saves Nine: Deterministic Online Matching With Delays

We consider the problem of online Min-cost Perfect Matching with Delays (MPMD) introduced by Emek et al. (STOC 2016). In this problem, an even number of requests appear in a metric space at different times and the goal of an online algorithm is to match them in pairs. In contrast to traditional online matching problems, in MPMD all requests appear online and an algorithm can match any pair of requests, but such decision may be delayed (e.g., to find a better match). The cost is the sum of matching distances and the introduced delays. We present the first deterministic online algorithm for this problem. Its competitive ratio is $O(m^{\log_2 5.5})$ $= O(m^{2.46})$, where $2 m$ is the number of requests. This is polynomial in the number of metric space points if all requests are given at different points. In particular, the bound does not depend on other parameters of the metric, such as its aspect ratio. Unlike previous (randomized) solutions for the MPMD problem, our algorithm does not need to know the metric space in advance

Laser cooling of a diatomic molecule

It has been roughly three decades since laser cooling techniques produced ultracold atoms, leading to rapid advances in a vast array of fields. Unfortunately laser cooling has not yet been extended to molecules because of their complex internal structure. However, this complexity makes molecules potentially useful for many applications. For example, heteronuclear molecules possess permanent electric dipole moments which lead to long-range, tunable, anisotropic dipole-dipole interactions. The combination of the dipole-dipole interaction and the precise control over molecular degrees of freedom possible at ultracold temperatures make ultracold molecules attractive candidates for use in quantum simulation of condensed matter systems and quantum computation. Also ultracold molecules may provide unique opportunities for studying chemical dynamics and for tests of fundamental symmetries. Here we experimentally demonstrate laser cooling of the molecule strontium monofluoride (SrF). Using an optical cycling scheme requiring only three lasers, we have observed both Sisyphus and Doppler cooling forces which have substantially reduced the transverse temperature of a SrF molecular beam. Currently the only technique for producing ultracold molecules is by binding together ultracold alkali atoms through Feshbach resonance or photoassociation. By contrast, different proposed applications for ultracold molecules require a variety of molecular energy-level structures. Our method provides a new route to ultracold temperatures for molecules. In particular it bridges the gap between ultracold temperatures and the ~1 K temperatures attainable with directly cooled molecules (e.g. cryogenic buffer gas cooling or decelerated supersonic beams). Ultimately our technique should enable the production of large samples of molecules at ultracold temperatures for species that are chemically distinct from bialkalis.Comment: 10 pages, 7 figure

Invariant Synthesis for Incomplete Verification Engines

We propose a framework for synthesizing inductive invariants for incomplete verification engines, which soundly reduce logical problems in undecidable theories to decidable theories. Our framework is based on the counter-example guided inductive synthesis principle (CEGIS) and allows verification engines to communicate non-provability information to guide invariant synthesis. We show precisely how the verification engine can compute such non-provability information and how to build effective learning algorithms when invariants are expressed as Boolean combinations of a fixed set of predicates. Moreover, we evaluate our framework in two verification settings, one in which verification engines need to handle quantified formulas and one in which verification engines have to reason about heap properties expressed in an expressive but undecidable separation logic. Our experiments show that our invariant synthesis framework based on non-provability information can both effectively synthesize inductive invariants and adequately strengthen contracts across a large suite of programs

Biofilter aquaponic system for nutrients removal from fresh market wastewater

Aquaponics is a significant wastewater treatment system which refers to the combination of conventional aquaculture (raising aquatic organism) with hydroponics (cultivating plants in water) in a symbiotic environment. This system has a high ability in removing nutrients compared to conventional methods because it is a natural and environmentally friendly system (aquaponics). The current chapter aimed to review the possible application of aquaponics system to treat fresh market wastewater with the intention to highlight the mechanism of phytoremediation occurs in aquaponic system. The literature revealed that aquaponic system was able to remove nutrients in terms of nitrogen and phosphorus

Remodeling the Proteostasis Network to Rescue Glucocerebrosidase Variants by Inhibiting ER-Associated Degradation and Enhancing ER Folding

Gaucher’s disease (GD) is characterized by loss of lysosomal glucocerebrosidase (GC) activity. Mutations in the gene encoding GC destabilize the protein’s native folding leading to ER-associated degradation (ERAD) of the misfolded enzyme. Enhancing the cellular folding capacity by remodeling the proteostasis network promotes native folding and lysosomal activity of mutated GC variants. However, proteostasis modulators reported so far, including ERAD inhibitors, trigger cellular stress and lead to induction of apoptosis. We show herein that lacidipine, an L-type Ca2+ channel blocker that also inhibits ryanodine receptors on the ER membrane, enhances folding, trafficking and lysosomal activity of the most severely destabilized GC variant achieved via ERAD inhibition in fibroblasts derived from patients with GD. Interestingly, reprogramming the proteostasis network by combining modulation of Ca2+ homeostasis and ERAD inhibition remodels the unfolded protein response and dramatically lowers apoptosis induction typically associated with ERAD inhibition

Reaction rates and transport in neutron stars

Understanding signals from neutron stars requires knowledge about the transport inside the star. We review the transport properties and the underlying reaction rates of dense hadronic and quark matter in the crust and the core of neutron stars and point out open problems and future directions.Comment: 74 pages; commissioned for the book "Physics and Astrophysics of Neutron Stars", NewCompStar COST Action MP1304; version 3: minor changes, references updated, overview graphic added in the introduction, improvements in Sec IV.A.

Search For Heavy Pointlike Dirac Monopoles

We have searched for central production of a pair of photons with high transverse energies in $p\bar p$ collisions at $\sqrt{s} = 1.8$ TeV using $70 pb^{-1}$ of data collected with the D\O detector at the Fermilab Tevatron in 1994--1996. If they exist, virtual heavy pointlike Dirac monopoles could rescatter pairs of nearly real photons into this final state via a box diagram. We observe no excess of events above background, and set lower 95% C.L. limits of $610, 870, or 1580 GeV/c^2$ on the mass of a spin 0, 1/2, or 1 Dirac monopole.Comment: 12 pages, 4 figure

A review of physical supply and EROI of fossil fuels in China

This paper reviews China’s future fossil fuel supply from the perspectives of physical output and net energy output. Comprehensive analyses of physical output of fossil fuels suggest that China’s total oil production will likely reach its peak, at about 230 Mt/year (or 9.6 EJ/year), in 2018; its total gas production will peak at around 350 Bcm/year (or 13.6 EJ/year) in 2040, while coal production will peak at about 4400 Mt/year (or 91.9 EJ/year) around 2020 or so. In terms of the forecast production of these fuels, there are significant differences among current studies. These differences can be mainly explained by different ultimately recoverable resources assumptions, the nature of the models used, and differences in the historical production data. Due to the future constraints on fossil fuels production, a large gap is projected to grow between domestic supply and demand, which will need to be met by increasing imports. Net energy analyses show that both coal and oil and gas production show a steady declining trend of EROI (energy return on investment) due to the depletion of shallow-buried coal resources and conventional oil and gas resources, which is generally consistent with the approaching peaks of physical production of fossil fuels. The peaks of fossil fuels production, coupled with the decline in EROI ratios, are likely to challenge the sustainable development of Chinese society unless new abundant energy resources with high EROI values can be found

Search for High Mass Photon Pairs in p-pbar --> gamma-gamma-jet-jet Events at sqrt(s)=1.8 TeV

A search has been carried out for events in the channel p-barp --> gamma gamma jet jet. Such a signature can characterize the production of a non-standard Higgs boson together with a W or Z boson. We refer to this non-standard Higgs, having standard model couplings to vector bosons but no coupling to fermions, as a "bosonic Higgs." With the requirement of two high transverse energy photons and two jets, the diphoton mass (m(gamma gamma)) distribution is consistent with expected background. A 90(95)% C.L. upper limit on the cross section as a function of mass is calculated, ranging from 0.60(0.80) pb for m(gamma gamma) = 65 GeV/c^2 to 0.26(0.34) pb for m(gamma gamma) = 150 GeV/c^2, corresponding to a 95% C.L. lower limit on the mass of a bosonic Higgs of 78.5 GeV/c^2.Comment: 9 pages, 3 figures. Replacement has new H->gamma gamma branching ratios and corresponding new mass limit