Showing 51–100 of 405 results for author: Halpern, J

Causality, Responsibility and Blame in Team Plans

Authors: Natasha Alechina, Joseph Y. Halpern, Brian Logan

Abstract: Many objectives can be achieved (or may be achieved more effectively) only by a group of agents executing a team plan. If a team plan fails, it is often of interest to determine what caused the failure, the degree of responsibility of each agent for the failure, and the degree of blame attached to each agent. We show how team plans can be represented in terms of structural equations, and then appl… ▽ More Many objectives can be achieved (or may be achieved more effectively) only by a group of agents executing a team plan. If a team plan fails, it is often of interest to determine what caused the failure, the degree of responsibility of each agent for the failure, and the degree of blame attached to each agent. We show how team plans can be represented in terms of structural equations, and then apply the definitions of causality introduced by Halpern [2015] and degree of responsibility and blame introduced by Chockler and Halpern [2004] to determine the agent(s) who caused the failure and what their degree of responsibility/blame is. We also prove new results on the complexity of computing causality and degree of responsibility and blame, showing that they can be determined in polynomial time for many team plans of interest. △ Less

Submitted 20 May, 2020; originally announced May 2020.

Comments: {\em Proceedings of the Sixteenth Appears in \emph{Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2017)}, 2017

Combining Experts' Causal Judgments

Authors: Dalal Alrajeh, Hana Chockler, Joseph Y. Halpern

Abstract: Consider a policymaker who wants to decide which intervention to perform in order to change a currently undesirable situation. The policymaker has at her disposal a team of experts, each with their own understanding of the causal dependencies between different factors contributing to the outcome. The policymaker has varying degrees of confidence in the experts' opinions. She wants to combine their… ▽ More Consider a policymaker who wants to decide which intervention to perform in order to change a currently undesirable situation. The policymaker has at her disposal a team of experts, each with their own understanding of the causal dependencies between different factors contributing to the outcome. The policymaker has varying degrees of confidence in the experts' opinions. She wants to combine their opinions in order to decide on the most effective intervention. We formally define the notion of an effective intervention, and then consider how experts' causal judgments can be combined in order to determine the most effective intervention. We define a notion of two causal models being \emph{compatible}, and show how compatible causal models can be merged. We then use it as the basis for combining experts' causal judgments. We also provide a definition of decomposition for causal models to cater for cases when models are incompatible. We illustrate our approach on a number of real-life examples. △ Less

Submitted 20 May, 2020; originally announced May 2020.

Comments: A preliminary version of the paper appeared in \emph{Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18)}, 2018}

Rational Consensus

Authors: Joseph Y. Halpern, Xavier Vilaca

Abstract: We provide a game-theoretic analysis of consensus, assuming that processes are controlled by rational agents and may fail by crashing. We consider agents that \emph{care only about consensus}: that is, (a) an agent's utility depends only on the consensus value achieved (and not, for example, on the number of messages the agent sends) and (b) agents strictly prefer reaching consensus to not reachin… ▽ More We provide a game-theoretic analysis of consensus, assuming that processes are controlled by rational agents and may fail by crashing. We consider agents that \emph{care only about consensus}: that is, (a) an agent's utility depends only on the consensus value achieved (and not, for example, on the number of messages the agent sends) and (b) agents strictly prefer reaching consensus to not reaching consensus. We show that, under these assumptions, there is no \emph{ex post Nash Equilibrium}, even with only one failure. Roughly speaking, this means that there must always exist a \emph{failure pattern} (a description of who fails, when they fail, and which agents they do not send messages to in the round that they fail) and initial preferences for which an agent can gain by deviating. On the other hand, if we assume that there is a distribution $π$ on the failure patterns and initial preferences, then under minimal assumptions on $π$, there is a Nash equilibrium that tolerates $f$ failures (i.e., $π$ puts probability 1 on there being at most $f$ failures) if $f+1 < n$ (where $n$ is the total number of agents). Moreover, we show that a slight extension of the Nash equilibrium strategy is also a \emph{sequential} equilibrium (under the same assumptions about the distribution $π$). △ Less

Submitted 20 May, 2020; originally announced May 2020.

Comments: Appears in Proceedings of the 35th Annual ACM Symposium on Principles of Distributed Computing, 2016

Combining the Causal Judgments of Experts with Possibly Different Focus Areas

Authors: Meir Friedenberg, Joseph Y. Halpern

Abstract: In many real-world settings, a decision-maker must combine information provided by different experts in order to decide on an effective policy. Alrajeh, Chockler, and Halpern [2018] showed how to combine causal models that are compatible in the sense that, for variables that appear in both models, the experts agree on the causal structure. In this work we show how causal models can be combined in… ▽ More In many real-world settings, a decision-maker must combine information provided by different experts in order to decide on an effective policy. Alrajeh, Chockler, and Halpern [2018] showed how to combine causal models that are compatible in the sense that, for variables that appear in both models, the experts agree on the causal structure. In this work we show how causal models can be combined in cases where the experts might disagree on the causal structure for variables that appear in both models due to having different focus areas. We provide a new formal definition of compatibility of models in this setting and show how compatible models can be combined. We also consider the complexity of determining whether models are compatible. We believe that the notions defined in this work are of direct relevance to many practical decision making scenarios that come up in natural, social, and medical science settings. △ Less

Submitted 20 May, 2020; originally announced May 2020.

Comments: Appear in the Proceedings of the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR2018}, 2018

The Book of Why: Review

Authors: Joseph Y. Halpern

Abstract: This is a review of "The Book of Why", by Judea Pearl. This is a review of "The Book of Why", by Judea Pearl. △ Less

Submitted 30 September, 2019; originally announced September 2019.

Comments: To appear in "Artificial Intelligence" journal

Multiband Optical Light Curves of Black-Widow Pulsars

Authors: Paul Draghis, Roger W. Romani, Alexei V. Filippenko, Thomas G. Brink, WeiKang Zheng, Jules P. Halpern, Fernando Camilo

Abstract: We collect new and archival optical observations of nine "black-widow" millisecond pulsar binaries. New measurements include direct imaging with the Keck, Gemini-S, MDM, and LCO 2~m telescopes. This is supplemented by synthesized colors from Keck long-slit spectra. Four black-widow optical companions are presented here for the first time. Together these data provide multicolor photometry covering… ▽ More We collect new and archival optical observations of nine "black-widow" millisecond pulsar binaries. New measurements include direct imaging with the Keck, Gemini-S, MDM, and LCO 2~m telescopes. This is supplemented by synthesized colors from Keck long-slit spectra. Four black-widow optical companions are presented here for the first time. Together these data provide multicolor photometry covering a large fraction of the orbital phase. We fit these light curves with a direct (photon) heating model using a version of the ICARUS light-curve modeling code. The fits provide distance and fill-factor estimates, inclinations, and heating powers. We compare the heating powers with the observed GeV luminosities, noting that the ratio is sensitive to pulsar distance and to the gamma-ray beaming. We make a specific correction for "outer-gap" model beams, but even then some sources are substantially discrepant, suggesting imperfect beaming corrections and/or errors in the fit distance. The fits prefer large metal abundance for half of the targets, a reasonable result for these wind-stripped secondaries. The companion radii indicate substantial Roche-lobe filling, $f_c \approx 0.7-1$ except for PSR J0952$-$0607, which with $f_c< 0.5$ has a companion density $ρ\approx 10\,{\rm g\,cm^{-3}}$, suggesting unusual evolution. We note that the direct-heating fits imply large heating powers and rather small inclinations, and we speculate that unmodeled effects can introduce such bias. △ Less

Submitted 6 August, 2019; v1 submitted 2 August, 2019; originally announced August 2019.

Comments: To appear in the Astrophysical Journal Revised version, fixed duplicate panel in Fig 6

X-ray Monitoring of the Magnetar CXOU J171405.7-381031 in SNR CTB 37B

Authors: E. V. Gotthelf, J. P. Halpern, K. Mori, A. M. Beloborodov

Abstract: We present the results of our 8 year X-ray monitoring campaign on CXOU J171405.7-381031, the magnetar associated with the faint supernova remnant (SNR) CTB 37B. It is among the youngest by inferred spin-down age, and most energetic in spin-down power of magnetars, and may contribute, at least partially, to the GeV and TeV emission coincident with the SNR. We use a series of Chandra, XMM-Newton, an… ▽ More We present the results of our 8 year X-ray monitoring campaign on CXOU J171405.7-381031, the magnetar associated with the faint supernova remnant (SNR) CTB 37B. It is among the youngest by inferred spin-down age, and most energetic in spin-down power of magnetars, and may contribute, at least partially, to the GeV and TeV emission coincident with the SNR. We use a series of Chandra, XMM-Newton, and NuSTAR observations to characterize the timing and spectral properties of the magnetar. The spin-down rate of the pulsar almost doubled in <1 year and then decreased slowly to a more stable value. Its X-ray flux varied by approx, 50%, possibly correlated with the spin down rate. The 1-79 keV spectrum is well-characterized by an absorbed blackbody plus power-law model with an average temperature of kT=0.62+/-0.04 keV and photon index Gamma=0.92+/-0.16, or by a Comptonized blackbody with kT=0.55+/-0.04 keV and an additional hard power law with Gamma=0.70+/-0.20, In contrast with most magnetars, the pulsed signal is found to decrease with energy up to 6 keV, which is apparently caused by mixing with the hard spectral component that is pulse-phase shifted by approx. 0.43 cycles from the soft X-rays. We also analyze the spectrum of the nearby, diffuse nonthermal source XMMU J171410.8-381442, whose relation to the SNR is uncertain. △ Less

Submitted 30 July, 2019; originally announced July 2019.

Comments: 10 pages, 10 figures, 2 Tables; Latex, aastex63 style. To appear in the Astrophysical Journal

A Conceptually Well-Founded Characterization of Iterated Admissibility Using an "All I Know" Operator

Authors: Joseph Y. Halpern, Rafael Pass

Abstract: Brandenburger, Friedenberg, and Keisler provide an epistemic characterization of iterated admissibility (IA), also known as iterated deletion of weakly dominated strategies, where uncertainty is represented using LPSs (lexicographic probability sequences). Their characterization holds in a rich structure called a complete structure, where all types are possible. In earlier work, we gave a characte… ▽ More Brandenburger, Friedenberg, and Keisler provide an epistemic characterization of iterated admissibility (IA), also known as iterated deletion of weakly dominated strategies, where uncertainty is represented using LPSs (lexicographic probability sequences). Their characterization holds in a rich structure called a complete structure, where all types are possible. In earlier work, we gave a characterization of iterated admissibility using an "all I know" operator, that captures the intuition that "all the agent knows" is that agents satisfy the appropriate rationality assumptions. That characterization did not need complete structures and used probability structures, not LPSs. However, that characterization did not deal with Samuelson's conceptual concern regarding IA, namely, that at higher levels, players do not consider possible strategies that were used to justify their choice of strategy at lower levels. In this paper, we give a characterization of IA using the all I know operator that does deal with Samuelson's concern. However, it uses LPSs. We then show how to modify the characterization using notions of "approximate belief" and "approximately all I know" so as to deal with Samuelson's concern while still working with probability structures. △ Less

Submitted 21 July, 2019; originally announced July 2019.

Comments: In Proceedings TARK 2019, arXiv:1907.08335

Journal ref: EPTCS 297, 2019, pp. 221-232

X-ray and Radio Variabilities of PSR J2032+4127 near Periastron

Authors: C. -Y. Ng, W. C. G. Ho, E. V. Gotthelf, J. P. Halpern, M. J. Coe, B. W. Stappers, A. G. Lyne, K. S. Wood, M. Kerr

Abstract: We present X-ray and radio monitoring observations of the gamma-ray binary PSR J2032+4127/MT91 213 during its periastron passage in late 2017. Dedicated Chandra, XMM-Newton,NuSTAR X-ray observations and VLA radio observations of this long orbit (50 years), 143 ms pulsar/Be star system clearly revealed flux and spectral variability during the passage. The X-ray spectrum hardened near periastron, wi… ▽ More We present X-ray and radio monitoring observations of the gamma-ray binary PSR J2032+4127/MT91 213 during its periastron passage in late 2017. Dedicated Chandra, XMM-Newton,NuSTAR X-ray observations and VLA radio observations of this long orbit (50 years), 143 ms pulsar/Be star system clearly revealed flux and spectral variability during the passage. The X-ray spectrum hardened near periastron, with a significant decrease in the power-law photon index from Γ~ 2 to 1.2 and evidence of an increased absorption column density. We identified a possible spectral break at a few keV in the spectrum that suggests synchrotron cooling. A coincident radio and X-ray flare occurred one week after periastron, which is possibly the result of the pulsar wind interacting with the Be stellar disk and generating synchrotron radiation. However, a multi-wavelength comparison indicate that the X-ray and radio spectra cannot be simply connected by a single power-law component. Hence, the emission in these two energy bands must originate from different particle populations. △ Less

Submitted 12 July, 2019; originally announced July 2019.

Comments: Accepted for publication in the ApJ

Approximate Causal Abstraction

Authors: Sander Beckers, Frederick Eberhardt, Joseph Y. Halpern

Abstract: Scientific models describe natural phenomena at different levels of abstraction. Abstract descriptions can provide the basis for interventions on the system and explanation of observed phenomena at a level of granularity that is coarser than the most fundamental account of the system. Beckers and Halpern (2019), building on work of Rubenstein et al. (2017), developed an account of abstraction for… ▽ More Scientific models describe natural phenomena at different levels of abstraction. Abstract descriptions can provide the basis for interventions on the system and explanation of observed phenomena at a level of granularity that is coarser than the most fundamental account of the system. Beckers and Halpern (2019), building on work of Rubenstein et al. (2017), developed an account of abstraction for causal models that is exact. Here we extend this account to the more realistic case where an abstract causal model offers only an approximation of the underlying system. We show how the resulting account handles the discrepancy that can arise between low- and high-level causal models of the same system, and in the process provide an account of how one causal model approximates another, a topic of independent interest. Finally, we extend the account of approximate abstractions to probabilistic causal models, indicating how and where uncertainty can enter into an approximate abstraction. △ Less

Submitted 29 June, 2019; v1 submitted 27 June, 2019; originally announced June 2019.

Comments: Appears in UAI-2019

Security in Asynchronous Interactive Systems

Authors: Ivan Geffner, Joseph Y. Halpern

Abstract: Secure function computation has been thoroughly studied and optimized in the past decades. We extend techniques used for secure computation to simulate arbitrary protocols involving a mediator. The key feature of our notion of simulation is that it is bidirectional: not only does the simulation produce only outputs that could happen in the original protocol, but the simulation produces all such ou… ▽ More Secure function computation has been thoroughly studied and optimized in the past decades. We extend techniques used for secure computation to simulate arbitrary protocols involving a mediator. The key feature of our notion of simulation is that it is bidirectional: not only does the simulation produce only outputs that could happen in the original protocol, but the simulation produces all such outputs. In a synchronous system, it can be shown that this requirement can already be achieved by the standard notion of secure computation. However, in an asynchronous system, new subtleties arise because the scheduler can influence the output. We provide a construction that is secure if $n > 4t$, where $t$ is the number malicious agents, which is provably the best possible. We also show that our construction satisfies additional security properties even if $3t < n \le 4t$. △ Less

Submitted 5 June, 2019; originally announced June 2019.

ACM Class: C.2.4

Chandra, MDM, Swift, and NuSTAR observations confirming the SFXT nature of AX J1949.8+2534

Authors: Jeremy Hare, Jules P. Halpern, Maica Clavel, Jonathan E. Grindlay, Farid Rahoui, John A. Tomsick

Abstract: AX J1949.8+2534 is a candidate supergiant fast X-ray transient (SFXT) observed in outburst by INTEGRAL (IGR J19498+2534). We report on the results of six Neil Gehrels Swift-XRT, one Chandra, and one NuSTAR observation of the source. We find evidence of rapid X-ray variability on a few ks timescales. Fortunately, Chandra observed the source in a relatively bright state, allowing us to confidently i… ▽ More AX J1949.8+2534 is a candidate supergiant fast X-ray transient (SFXT) observed in outburst by INTEGRAL (IGR J19498+2534). We report on the results of six Neil Gehrels Swift-XRT, one Chandra, and one NuSTAR observation of the source. We find evidence of rapid X-ray variability on a few ks timescales. Fortunately, Chandra observed the source in a relatively bright state, allowing us to confidently identify the optical/NIR counterpart of the source. We also obtained an optical spectrum of this counterpart, which shows an H$α$ emission line and He I absorption features. The photometry and spectrum of the source allow us to constrain its distance, $\sim7-8$ kpc, and reddening, $A_V=8.5-9.5$. We find that the star is likely an early B-type Ia supergiant, confirming that AX J1949.8+2534 is indeed an SFXT. △ Less

Submitted 22 April, 2019; originally announced April 2019.

Comments: 9 pages, 5 Figures, Accepted for publication in the Astrophysical Journal

Direct measurement of stellar angular diameters by the VERITAS Cherenkov Telescopes

Authors: W. Benbow, R. Bird, A. Brill, R. Brose, A. J. Chromey, M. K. Daniel, Q. Feng, J. P. Finley, L. Fortson, A. Furniss, G. H. Gillanders, C. Giuri, O. Gueta, D. Hanna, J. Halpern, T. Hassan, J. Holder, G. Hughes, T. B. Humensky, A. M. Joyce, P. Kaaret, P. Kar, N. Kelley-Hoskins, M. Kertzman, D. Kieda , et al. (32 additional authors not shown)

Abstract: The angular size of a star is a critical factor in determining its basic properties. Direct measurement of stellar angular diameters is difficult: at interstellar distances stars are generally too small to resolve by any individual imaging telescope. This fundamental limitation can be overcome by studying the diffraction pattern in the shadow cast when an asteroid occults a star, but only when the… ▽ More The angular size of a star is a critical factor in determining its basic properties. Direct measurement of stellar angular diameters is difficult: at interstellar distances stars are generally too small to resolve by any individual imaging telescope. This fundamental limitation can be overcome by studying the diffraction pattern in the shadow cast when an asteroid occults a star, but only when the photometric uncertainty is smaller than the noise added by atmospheric scintillation. Atmospheric Cherenkov telescopes used for particle astrophysics observations have not generally been exploited for optical astronomy due to the modest optical quality of the mirror surface. However, their large mirror area makes them well suited for such high-time-resolution precision photometry measurements. Here we report two occultations of stars observed by the VERITAS Cherenkov telescopes with millisecond sampling, from which we are able to provide a direct measurement of the occulted stars' angular diameter at the $\leq0.1$ milliarcsecond scale. This is a resolution never achieved before with optical measurements and represents an order of magnitude improvement over the equivalent lunar occultation method. We compare the resulting stellar radius with empirically derived estimates from temperature and brightness measurements, confirming the latter can be biased for stars with ambiguous stellar classifications. △ Less

Submitted 12 April, 2019; originally announced April 2019.

Comments: Accepted for publication in Nature Astronomy

Blameworthiness in Multi-Agent Settings

Authors: Meir Friedenberg, Joseph Y. Halpern

Abstract: We provide a formal definition of blameworthiness in settings where multiple agents can collaborate to avoid a negative outcome. We first provide a method for ascribing blameworthiness to groups relative to an epistemic state (a distribution over causal models that describe how the outcome might arise). We then show how we can go from an ascription of blameworthiness for groups to an ascription of… ▽ More We provide a formal definition of blameworthiness in settings where multiple agents can collaborate to avoid a negative outcome. We first provide a method for ascribing blameworthiness to groups relative to an epistemic state (a distribution over causal models that describe how the outcome might arise). We then show how we can go from an ascription of blameworthiness for groups to an ascription of blameworthiness for individuals using a standard notion from cooperative game theory, the Shapley value. We believe that getting a good notion of blameworthiness in a group setting will be critical for designing autonomous agents that behave in a moral manner. △ Less

Submitted 10 March, 2019; originally announced March 2019.

Comments: Appears in AAAI-19

The 2018 X-ray and Radio Outburst of Magnetar XTE J1810-197

Authors: E. V. Gotthelf, J. P. Halpern, J. A. J. Alford, T. Mihara, H. Negoro, N. Kawai, S. Dai, M. E. Lower, S. Johnston, M. Bailes, S. Oslowski, F. Camilo, H. Miyasaka, K. K. Madsen

Abstract: We present the earliest X-ray observations of the 2018 outburst of XTE J1810-197, the first outburst since its 2003 discovery as the prototypical transient and radio-emitting anomalous X-ray pulsar (AXP). The Monitor of All-sky X-ray Image (MAXI) detected XTE J1810-197 immediately after a November 20-26 visibility gap, contemporaneous with its reactivation as a radio pulsar, first observed on Dece… ▽ More We present the earliest X-ray observations of the 2018 outburst of XTE J1810-197, the first outburst since its 2003 discovery as the prototypical transient and radio-emitting anomalous X-ray pulsar (AXP). The Monitor of All-sky X-ray Image (MAXI) detected XTE J1810-197 immediately after a November 20-26 visibility gap, contemporaneous with its reactivation as a radio pulsar, first observed on December 8. On December 13 the Nuclear Spectroscopic Telescope Array (NUSTAR) detected X-ray emission up to at least 30 keV, with a spectrum well-characterized by a blackbody plus power-law model with temperature kT = 0.74+/-0.02 keV and photon index Gamma = 4.4+/-0.2 or by a two-blackbody model with kT = 0.59+/-0.04 keV and kT = 1.0+/-0.1 keV, both including an additional power-law component to account for emission above 10 keV, with Gamma_h = -0.2+/-1.5 and Gamma_h = 1.5+/-0.5, respectively. The latter index is consistent with hard X-ray flux reported for the non-transient magnetars. In the 2-10 keV bandpass, the absorbed flux is 2E-10 erg/s/cm^2, a factor of 2 greater than the maximum flux extrapolated for the 2003 outburst. The peak of the sinusoidal X-ray pulse lags the radio pulse by approx. 0.13 cycles, consistent with their phase relationship during the 2003 outburst. This suggests a stable geometry in which radio emission originates on magnetic field lines containing currents that heat a spot on the neutron star surface. However, a measured energy-dependent phase shift of the pulsed X-rays suggests that all X-ray emitting regions are not precisely co-aligned. △ Less

Submitted 15 March, 2019; v1 submitted 21 February, 2019; originally announced February 2019.

Comments: 7 pages, 4 Figues, 1 Table, Latex, emulateapj style; Added Table/Figure for the 3-30 keV spectral results. Astrophysical Journal Letters, in Press

Wideband polarized radio emission from the newly revived magnetar XTE J1810$-$197

Authors: Shi Dai, Marcus E. Lower, Matthew Bailes, Fernando Camilo, Jules P. Halpern, Simon Johnston, Matthew Kerr, John Reynolds, John Sarkissian, Paul Scholz

Abstract: The anomalous X-ray pulsar XTE J1810$-$197 was the first magnetar found to emit pulsed radio emission. After spending almost a decade in a quiescent, radio-silent state, the magnetar was reported to have undergone a radio outburst in December, 2018. We observed radio pulsations from XTE J1810$-$197 during this early phase of its radio revival using the Ultra-Wideband Low receiver system of the Par… ▽ More The anomalous X-ray pulsar XTE J1810$-$197 was the first magnetar found to emit pulsed radio emission. After spending almost a decade in a quiescent, radio-silent state, the magnetar was reported to have undergone a radio outburst in December, 2018. We observed radio pulsations from XTE J1810$-$197 during this early phase of its radio revival using the Ultra-Wideband Low receiver system of the Parkes radio telescope, obtaining wideband (704 MHz to 4032 MHz) polarization pulse profiles, single pulses and flux density measurements. Dramatic changes in polarization and rapid variations of the position angle of linear polarization across the main pulse and in time have been observed. The pulse profile exhibits similar structures throughout our three observations (over a week time scale), displaying a small amount of profile evolution in terms of polarization and pulse width across the wideband. We measured a flat radio spectrum across the band with a positive spectral index, in addition to small levels of flux and spectral index variability across our observing span. The observed wideband polarization properties are significantly different compared to those taken after the 2003 outburst, and therefore provide new information about the origin of radio emission. △ Less

Submitted 10 March, 2019; v1 submitted 12 February, 2019; originally announced February 2019.

Comments: 7 pages, 4 figures, accepted by ApJ Letters

Optical spectroscopy and demographics of redback millisecond pulsar binaries

Authors: Jay Strader, Samuel J. Swihart, Laura Chomiuk, Arash Bahramian, Christopher T. Britt, C. C. Cheung, Kristen C. Dage, Jules P. Halpern, Kwan-Lok Li, Roberto P. Mignani, Jerome A. Orosz, Mark Peacock, Ricardo Salinas, Laura Shishkovsky, Evangelia Tremou

Abstract: We present the first optical spectroscopy of five confirmed (or strong candidate) redback millisecond pulsar binaries, obtaining complete radial velocity curves for each companion star. The properties of these millisecond pulsar binaries with low-mass, hydrogen-rich companions are discussed in the context of the 14 confirmed and 10 candidate field redbacks. We find that the neutron stars in redbac… ▽ More We present the first optical spectroscopy of five confirmed (or strong candidate) redback millisecond pulsar binaries, obtaining complete radial velocity curves for each companion star. The properties of these millisecond pulsar binaries with low-mass, hydrogen-rich companions are discussed in the context of the 14 confirmed and 10 candidate field redbacks. We find that the neutron stars in redbacks have a median mass of 1.78 +/- 0.09 M_sun with a dispersion of sigma = 0.21 +/- 0.09. Neutron stars with masses in excess of 2 M_sun are consistent with, but not firmly demanded by, current observations. Redback companions have median masses of 0.36 +/- 0.04 M_sun with a scatter of sigma = 0.15 +/- 0.04, and a tail possibly extending up to 0.7-0.9 M_sun. Candidate redbacks tend to have higher companion masses than confirmed redbacks, suggesting a possible selection bias against the detection of radio pulsations in these more massive candidate systems. The distribution of companion masses between redbacks and the less massive black widows continues to be strongly bimodal, which is an important constraint on evolutionary models for these systems. Among redbacks, the median efficiency of converting the pulsar spindown energy to gamma-ray luminosity is ~10%. △ Less

Submitted 27 January, 2019; v1 submitted 11 December, 2018; originally announced December 2018.

Comments: Apj in press. Long/large tables 6 and 7 also included as ancillary machine-readable files; numbering different from published version for ease of use

Abstracting Causal Models

Authors: Sander Beckers, Joseph Y. Halpern

Abstract: We consider a sequence of successively more restrictive definitions of abstraction for causal models, starting with a notion introduced by Rubenstein et al. (2017) called exact transformation that applies to probabilistic causal models, moving to a notion of uniform transformation that applies to deterministic causal models and does not allow differences to be hidden by the "right" choice of distr… ▽ More We consider a sequence of successively more restrictive definitions of abstraction for causal models, starting with a notion introduced by Rubenstein et al. (2017) called exact transformation that applies to probabilistic causal models, moving to a notion of uniform transformation that applies to deterministic causal models and does not allow differences to be hidden by the "right" choice of distribution, and then to abstraction, where the interventions of interest are determined by the map from low-level states to high-level states, and strong abstraction, which takes more seriously all potential interventions in a model, not just the allowed interventions. We show that procedures for combining micro-variables into macro-variables are instances of our notion of strong abstraction, as are all the examples considered by Rubenstein et al. △ Less

Submitted 9 July, 2019; v1 submitted 10 December, 2018; originally announced December 2018.

Comments: Appears in AAAI-19

Partial Awareness

Authors: Joseph Y. Halpern, Evan Piermont

Abstract: We develop a modal logic to capture partial awareness. The logic has three building blocks: objects, properties, and concepts. Properties are unary predicates on objects; concepts are Boolean combinations of properties. We take an agent to be partially aware of a concept if she is aware of the concept without being aware of the properties that define it. The logic allows for quantification over ob… ▽ More We develop a modal logic to capture partial awareness. The logic has three building blocks: objects, properties, and concepts. Properties are unary predicates on objects; concepts are Boolean combinations of properties. We take an agent to be partially aware of a concept if she is aware of the concept without being aware of the properties that define it. The logic allows for quantification over objects and properties, so that the agent can reason about her own unawareness. We then apply the logic to contracts, which we view as syntactic objects that dictate outcomes based on the truth of formulas. We show that when agents are unaware of some relevant properties, referencing concepts that agents are only partially aware of can improve welfare. △ Less

Submitted 14 November, 2018; originally announced November 2018.

Comments: Appears in AAAI-19

Towards Formal Definitions of Blameworthiness, Intention, and Moral Responsibility

Authors: Joseph Y. Halpern, Max Kleiman-Weiner

Abstract: We provide formal definitions of degree of blameworthiness and intention relative to an epistemic state (a probability over causal models and a utility function on outcomes). These, together with a definition of actual causality, provide the key ingredients for moral responsibility judgments. We show that these definitions give insight into commonsense intuitions in a variety of puzzling cases fro… ▽ More We provide formal definitions of degree of blameworthiness and intention relative to an epistemic state (a probability over causal models and a utility function on outcomes). These, together with a definition of actual causality, provide the key ingredients for moral responsibility judgments. We show that these definitions give insight into commonsense intuitions in a variety of puzzling cases from the literature. △ Less

Submitted 13 October, 2018; originally announced October 2018.

Comments: Appears in AAAI-18

The First Glitch in a Central Compact Object Pulsar: 1E 1207.4-5209

Authors: E. V. Gotthelf, J. P. Halpern

Abstract: Since its discovery as a pulsar in 2000, the central compact object (CCO) 1E 1207.4-5209 in the supernova remnant PKS 1209-51/52 had been a stable 0.424 s rotator with an extremely small spin-down rate and weak (Bs ~ 9E10 G) surface dipole magnetic field. In 2016 we observed a glitch from 1E 1207.4-5209 of at least Delta f/f = (2.8+/-0.4)E-9, which is typical in size for the general pulsar populat… ▽ More Since its discovery as a pulsar in 2000, the central compact object (CCO) 1E 1207.4-5209 in the supernova remnant PKS 1209-51/52 had been a stable 0.424 s rotator with an extremely small spin-down rate and weak (Bs ~ 9E10 G) surface dipole magnetic field. In 2016 we observed a glitch from 1E 1207.4-5209 of at least Delta f/f = (2.8+/-0.4)E-9, which is typical in size for the general pulsar population. However, glitch activity is closely correlated with spin-down rate fdot, and pulsars with fdot as small as that of 1E 1207.4-5209 are never seen to glitch. Unlike in glitches of ordinary pulsars, there may have been a large increase in fdot as well. The thermal X-ray spectrum of 1E 1207.4-5209, with its unique cyclotron absorption lines that measure the surface magnetic field strength, did not show any measurable change after the glitch, which rules out a major disruption in the dipole field as a cause or result of the glitch. A leading theory of the origin and evolution of CCOs, involving prompt burial of the magnetic field by fall-back of supernova ejecta, might hold the explanation for the glitch. △ Less

Submitted 12 September, 2018; originally announced September 2018.

Comments: 6 pages, 2 figures, 3 tables; Latex, emulateapj style; accepted for publication in ApJ

Variable Heating and Flaring of Three Redback Millisecond Pulsar Companions

Authors: Patricia B. Cho, Jules P. Halpern, Slavko Bogdanov

Abstract: We are monitoring established and putative redback millisecond pulsars (MSPs) in time-series photometry, repeatedly covering their 5-6 hr orbital light curves in $r^{\prime}$ or $R$. On timescales of months, PSR J1048+2339 and XMMU J083850.38$-$282756.8 exhibit similar variability of $\approx0.3$ mag on the heated side of the companion star. However, the heating light curve is rarely symmetric, su… ▽ More We are monitoring established and putative redback millisecond pulsars (MSPs) in time-series photometry, repeatedly covering their 5-6 hr orbital light curves in $r^{\prime}$ or $R$. On timescales of months, PSR J1048+2339 and XMMU J083850.38$-$282756.8 exhibit similar variability of $\approx0.3$ mag on the heated side of the companion star. However, the heating light curve is rarely symmetric, suggesting that the intrabinary shock generated by the pulsar wind is skewed in addition to being variable, or that changing magnetic fields intrinsic to the companion channel the pulsar wind. In addition to this variable heating, there are long-lived flaring states that increase the brightness by an additional 0.5 mag, with variability on $\approx10$ minute timescales. These flares also appear to originate on the heated side of the companion, while the "night"-side brightness remains relatively stable. Somewhat less active, PSR J1628$-$3205 has an optical light curve that is dominated by tidal distortion (ellipsoidal modulation), although it too shows evidence of variable and asymmetric heating due to shifting magnetic fields or migrating star spots. These effects frustrate any effort to derive system parameters such as inclination angle and Roche-lobe filling factor from optical light curves of redback MSPs. We also report on two Chandra X-ray observations of PSR J1048+2339 that show strong orbital modulation, possibly due to beaming along the intrabinary shock, and a third observation that is dominated by flaring. The peak flare luminosity in the 0.3-8 keV band is $\approx12\%$ of the pulsar's spin-down power, which may require magnetic reconnection. None of these three systems has yet shown a transition back to an accreting state. △ Less

Submitted 1 September, 2018; originally announced September 2018.

Comments: 11 pages, 6 figures, to appear in The Astrophysical Journal

Implementing Mediators with Asynchronous Cheap Talk

Authors: Ittai Abraham, Danny Dolev, Ivan Geffner, Joseph Y. Halpern

Abstract: A mediator can help non-cooperative agents obtain an equilibrium that may otherwise not be possible. We study the ability of players to obtain the same equilibrium without a mediator, using only cheap talk, that is, nonbinding pre-play communication. Previous work has considered this problem in a synchronous setting. Here we consider the effect of asynchrony on the problem, and provide upper bound… ▽ More A mediator can help non-cooperative agents obtain an equilibrium that may otherwise not be possible. We study the ability of players to obtain the same equilibrium without a mediator, using only cheap talk, that is, nonbinding pre-play communication. Previous work has considered this problem in a synchronous setting. Here we consider the effect of asynchrony on the problem, and provide upper bounds for implementing mediators. Considering asynchronous environments introduces new subtleties, including exactly what solution concept is most appropriate and determining what move is played if the cheap talk goes on forever. Different results are obtained depending on whether the move after such "infinite play" is under the control of the players or part of the description of the game. △ Less

Submitted 4 June, 2018; originally announced June 2018.

Optical Studies of 15 Hard X-ray Selected Cataclysmic Binaries

Authors: J. P. Halpern, J. R. Thorstensen, P. Cho, G. Collver, M. Motsoaledi, H. Breytenbach, D. A. H. Buckley, P. A. Woudt

Abstract: We conducted time-resolved optical spectroscopy and/or time-series photometry of 15 cataclysmic binaries that were discovered in hard X-ray surveys by the Swift Burst Alert Telescope (BAT) and the International Gamma-Ray Astrophysics Laboratory (INTEGRAL), with the goal of measuring their orbital periods and searching for spin periods. Four of the objects in this study are new optical identificati… ▽ More We conducted time-resolved optical spectroscopy and/or time-series photometry of 15 cataclysmic binaries that were discovered in hard X-ray surveys by the Swift Burst Alert Telescope (BAT) and the International Gamma-Ray Astrophysics Laboratory (INTEGRAL), with the goal of measuring their orbital periods and searching for spin periods. Four of the objects in this study are new optical identifications: Swift J0535.2+2830, Swift J2006.4+3645, IGR J21095+4322, and Swift J2116.5+5336. Coherent pulsations are detected from three objects for the first time, Swift J0535.2+2830 (1523 s), 2PBC J1911.4+1412 (747 s), and 1SWXRT J230642.7+550817 (464 s), indicating that they are intermediate polars (IPs). We find two new eclipsing systems in time-series photometry: 2PBC J0658.0-1746, a polar with a period of 2.38 hr, and Swift J2116.5+5336, a disk system that has an eclipse period of 6.56 hr. Exact or approximate spectroscopic orbital periods are found for six additional targets. Of note is the long 4.637-day orbit for Swift J0623.9-0939, which is revealed by the radial velocities of the photospheric absorption lines of the secondary star. We also discover a 12.76 hr orbital period for RX J2015.6+3711, which confirms that the previously detected 2.00 hr X-ray period from this star is the spin period of an IP, as inferred by Coti Zelati et al. These results support the conclusion that hard X-ray selection favors magnetic CVs, with IPs outnumbering polars. △ Less

Submitted 16 May, 2018; v1 submitted 23 April, 2018; originally announced April 2018.

Comments: 34 pages, 17 figures, accepted for publication in The Astronomical Journal, corrected typos

Orbital Dynamics of Candidate Transitional Millisecond Pulsar 3FGL J1544.6-1125: An unusually face-on system

Authors: Christopher T. Britt, Jay Strader, Laura Chomiuk, Evangelina Tremou, Mark Peacock, Jules Halpern, Ricardo Salinas

Abstract: We present the orbital solution for the donor star of the candidate transitional millisecond pulsar 3FGL J1544.6-1125, currently observed as an accreting low-mass X-ray binary. The orbital period is $0.2415361(36)$ days, entirely consistent with the spectral classification of the donor star as a mid to late K dwarf. The semi-amplitude of the radial velocity curve is exceptionally low at… ▽ More We present the orbital solution for the donor star of the candidate transitional millisecond pulsar 3FGL J1544.6-1125, currently observed as an accreting low-mass X-ray binary. The orbital period is $0.2415361(36)$ days, entirely consistent with the spectral classification of the donor star as a mid to late K dwarf. The semi-amplitude of the radial velocity curve is exceptionally low at $K_2=39.3\pm1.5$ km s$^{-1}$, implying a remarkably face-on inclination in the range 5--8$^{\circ}$, depending on the neutron star and donor masses. After determining the veiling of the secondary, we derive a distance to the binary of $3.8\pm0.7$ kpc, yielding a 0.3--10 keV X-ray luminosity of $6.1\pm1.9\times10^{33}\,{\rm erg\,s^{-1}}$, similar to confirmed transitional millisecond pulsars. As face-on binaries rarely occur by chance, we discuss the possibility that Fermi-selected samples of transitional milli-second pulsars in the sub-luminous disk state are affected by beaming. By phasing emission line strength on the spectroscopic ephemeris, we find coherent variations, and argue that these variations are most consistent with emission from an asymmetric shock originating near the inner disk. △ Less

Submitted 18 September, 2017; originally announced September 2017.

Comments: Accepted for publication in Astrophysical Journal

A Knowledge-Based Analysis of the Blockchain Protocol

Authors: Joseph Y. Halpern, Rafael Pass

Abstract: At the heart of the Bitcoin is a blockchain protocol, a protocol for achieving consensus on a public ledger that records bitcoin transactions. To the extent that a blockchain protocol is used for applications such as contract signing and making certain transactions (such as house sales) public, we need to understand what guarantees the protocol gives us in terms of agents' knowledge. Here, we p… ▽ More At the heart of the Bitcoin is a blockchain protocol, a protocol for achieving consensus on a public ledger that records bitcoin transactions. To the extent that a blockchain protocol is used for applications such as contract signing and making certain transactions (such as house sales) public, we need to understand what guarantees the protocol gives us in terms of agents' knowledge. Here, we provide a complete characterization of agent's knowledge when running a blockchain protocol using a variant of common knowledge that takes into account the fact that agents can enter and leave the system, it is not known which agents are in fact following the protocol (some agents may want to deviate if they can gain by doing so), and the fact that the guarantees provided by blockchain protocols are probabilistic. We then consider some scenarios involving contracts and show that this level of knowledge suffices for some scenarios, but not others. △ Less

Submitted 27 July, 2017; originally announced July 2017.

Comments: In Proceedings TARK 2017, arXiv:1707.08250

Journal ref: EPTCS 251, 2017, pp. 324-335

An Epistemic Foundation for Authentication Logics (Extended Abstract)

Authors: Joseph Y. Halpern, Ron van der Meyden, Riccardo Pucella

Abstract: While there have been many attempts, going back to BAN logic, to base reasoning about security protocols on epistemic notions, they have not been all that successful. Arguably, this has been due to the particular logics chosen. We present a simple logic based on the well-understood modal operators of knowledge, time, and probability, and show that it is able to handle issues that have often been s… ▽ More While there have been many attempts, going back to BAN logic, to base reasoning about security protocols on epistemic notions, they have not been all that successful. Arguably, this has been due to the particular logics chosen. We present a simple logic based on the well-understood modal operators of knowledge, time, and probability, and show that it is able to handle issues that have often been swept under the rug by other approaches, while being flexible enough to capture all the higher- level security notions that appear in BAN logic. Moreover, while still assuming that the knowledge operator allows for unbounded computation, it can handle the fact that a computationally bounded agent cannot decrypt messages in a natural way, by distinguishing strings and message terms. We demonstrate that our logic can capture BAN logic notions by providing a translation of the BAN operators into our logic, capturing belief by a form of probabilistic knowledge. △ Less

Submitted 27 July, 2017; originally announced July 2017.

Comments: In Proceedings TARK 2017, arXiv:1707.08250

Journal ref: EPTCS 251, 2017, pp. 306-323

Games With Tolerant Players

Authors: Arpita Ghosh, Joseph Y. Halpern

Abstract: A notion of pi-tolerant equilibrium is defined that takes into account that players have some tolerance regarding payoffs in a game. This solution concept generalizes Nash and refines epsilon-Nash equilibrium in a natural way. We show that pi-tolerant equilibrium can explain cooperation in social dilemmas such as Prisoner's Dilemma and the Public Good game. We then examine the structure of part… ▽ More A notion of pi-tolerant equilibrium is defined that takes into account that players have some tolerance regarding payoffs in a game. This solution concept generalizes Nash and refines epsilon-Nash equilibrium in a natural way. We show that pi-tolerant equilibrium can explain cooperation in social dilemmas such as Prisoner's Dilemma and the Public Good game. We then examine the structure of particularly cooperative pi-tolerant equilibria, where players are as cooperative as they can be, subject to their tolerances, in Prisoner's Dilemma. To the extent that cooperation is due to tolerance, these results provide guidance to a mechanism designer who has some control over the payoffs in a game, and suggest ways in which cooperation can be increased. △ Less

Submitted 27 July, 2017; originally announced July 2017.

Comments: In Proceedings TARK 2017, arXiv:1707.08250

Journal ref: EPTCS 251, 2017, pp. 251-264

From Type Spaces to Probability Frames and Back, via Language

Authors: Adam Bjorndahl, Joseph Y. Halpern

Abstract: We investigate the connection between the two major mathematical frameworks for modeling interactive beliefs: Harsanyi type spaces and possible-worlds style probability frames. While translating the former into the latter is straightforward, we demonstrate that the reverse translation relies implicitly on a background logical language. Once this "language parameter" is made explicit, it reveals a… ▽ More We investigate the connection between the two major mathematical frameworks for modeling interactive beliefs: Harsanyi type spaces and possible-worlds style probability frames. While translating the former into the latter is straightforward, we demonstrate that the reverse translation relies implicitly on a background logical language. Once this "language parameter" is made explicit, it reveals a close relationship between universal type spaces and canonical models: namely, that they are essentially the same construct. As the nature of a canonical model depends heavily on the background logic used to generate it, this work suggests a new view into a corresponding landscape of universal type spaces. △ Less

Submitted 27 July, 2017; originally announced July 2017.

Comments: In Proceedings TARK 2017, arXiv:1707.08250

Journal ref: EPTCS 251, 2017, pp. 75-87

A Likely Redback Millisecond Pulsar Counterpart of 3FGL J0838.8-2829

Authors: J. P. Halpern, J. Strader, M. Li

Abstract: We obtained new optical observations of the X-ray source XMMU J083850.38-282756.8, the previously proposed counterpart of the gamma-ray source 3FGL J0838.8-2829. Time-series photometry in the $r'$ band reveals periodic modulation of $\approx1$ magnitude that is characteristic of the heating of the photosphere of a low-mass companion star by a compact object. The measured orbital period is 5.14817… ▽ More We obtained new optical observations of the X-ray source XMMU J083850.38-282756.8, the previously proposed counterpart of the gamma-ray source 3FGL J0838.8-2829. Time-series photometry in the $r'$ band reveals periodic modulation of $\approx1$ magnitude that is characteristic of the heating of the photosphere of a low-mass companion star by a compact object. The measured orbital period is 5.14817$\pm$0.00012 hr. The shape of the light curve is variable, evidently due to the effects of flaring and asymmetric heating. Spectroscopy reveals a companion of type M1 or later, having a radial velocity amplitude of 315$\pm$17 km/s, with period and phasing consistent with the heating interpretation. The mass function of the compact object is 0.69$\pm$0.11 $M_{\odot}$, which allows a neutron star in a high-inclination orbit. Variable, broad H$α$ emission is seen, which is probably associated with a wind from the companion. These properties, as well as the X-ray and gamma-ray luminosities at the inferred distance of <1.7 kpc, are consistent with a redback millisecond pulsar in its non-accreting state. A search for radio pulsations is needed to confirm this interpretation and derive complete system parameters for modeling, although absorption by the ionized wind could hinder such detection. △ Less

Submitted 2 August, 2017; v1 submitted 28 June, 2017; originally announced June 2017.

Comments: 6 pages, 4 figures, 3 tables, fixed references, published version

Journal ref: 2017, ApJ, 844, 150

A Large Systematic Search for Close Supermassive Binary and Rapidly Recoiling Black Holes - III. Radial Velocity Variations

Authors: Jessie C. Runnoe, Michael Eracleous, Alison Pennell, Gavin Mathes, Todd Boroson, Steinn Sigurdsson, Tamara Bogdanovic, Jules P. Halpern, Jia Liu, Stephanie Brown

Abstract: We have been spectroscopically monitoring 88 quasars selected to have broad H$β$ emission lines offset from their systemic redshift by thousands of km s$^{-1}$. By analogy with single-lined spectroscopic binary stars, we consider these quasars to be candidates for hosting supermassive black hole binaries (SBHBs). In this work we present new radial velocity measurements, typically 3-4 per object ov… ▽ More We have been spectroscopically monitoring 88 quasars selected to have broad H$β$ emission lines offset from their systemic redshift by thousands of km s$^{-1}$. By analogy with single-lined spectroscopic binary stars, we consider these quasars to be candidates for hosting supermassive black hole binaries (SBHBs). In this work we present new radial velocity measurements, typically 3-4 per object over a time period of up to 12 years in the observer's frame. In 29/88 of the SBHB candidates no variability of the shape of the broad H$β$ profile is observed, which allows us to make reliable measurements of radial velocity changes. Among these, we identify three objects that have displayed systematic and monotonic velocity changes by several hundred km s$^{-1}$ and are prime targets for further monitoring. Because the periods of the hypothetical binaries are expected to be long, we cannot hope to observe many orbital cycles during our lifetimes. Instead, we seek to evaluate the credentials of the SBHB candidates by attempting to rule out the SBHB hypothesis. In this spirit, we present a method for placing a lower limit on the period, and thus the mass, of the SBHBs under the assumption that the velocity changes we observe are due to orbital motion. Given the duration of our monitoring campaign and the uncertainties in the radial velocities, we were able to place a lower limit on the total mass in the range $4.7\times10^4-3.8\times10^8$ $M_{\scriptscriptstyle \odot}$, which does not yet allow us to rule out the SBHB hypothesis for any candidates. △ Less

Submitted 17 February, 2017; originally announced February 2017.

Comments: Accepted for publication in MNRAS, full version of Table 1 will be available in MNRAS online version of the paper

EPIC 220204960: A Quadruple Star System Containing Two Strongly Interacting Eclipsing Binaries

Authors: S. Rappaport, A. Vanderburg, T. Borkovits, B. Kalomeni, J. P. Halpern, H. Ngo, G. N. Mace, B. J. Fulton, A. W. Howard, H. Isaacson, E. A. Petigura, D. Mawet, M. H. Kristiansen, T. L. Jacobs, D. LaCourse, A. Bieryla, E. Forgacs-Dajka, L. Nelson

Abstract: We present a strongly interacting quadruple system associated with the K2 target EPIC 220204960. The K2 target itself is a Kp = 12.7 magnitude star at Teff ~ 6100 K which we designate as "B-N" (blue northerly image). The host of the quadruple system, however, is a Kp = 17 magnitude star with a composite M-star spectrum, which we designate as "R-S" (red southerly image). With a 3.2" separation and… ▽ More We present a strongly interacting quadruple system associated with the K2 target EPIC 220204960. The K2 target itself is a Kp = 12.7 magnitude star at Teff ~ 6100 K which we designate as "B-N" (blue northerly image). The host of the quadruple system, however, is a Kp = 17 magnitude star with a composite M-star spectrum, which we designate as "R-S" (red southerly image). With a 3.2" separation and similar radial velocities and photometric distances, 'B-N' is likely physically associated with 'R-S', making this a quintuple system, but that is incidental to our main claim of a strongly interacting quadruple system in 'R-S'. The two binaries in 'R-S' have orbital periods of 13.27 d and 14.41 d, respectively, and each has an inclination angle of >89 degrees. From our analysis of radial velocity measurements, and of the photometric lightcurve, we conclude that all four stars are very similar with masses close to 0.4 Msun. Both of the binaries exhibit significant ETVs where those of the primary and secondary eclipses 'diverge' by 0.05 days over the course of the 80-day observations. Via a systematic set of numerical simulations of quadruple systems consisting of two interacting binaries, we conclude that the outer orbital period is very likely to be between 300 and 500 days. If sufficient time is devoted to RV studies of this faint target, the outer orbit should be measurable within a year. △ Less

Submitted 18 January, 2017; originally announced January 2017.

Comments: 20 pages, 18 figures, 7 tables; accepted for publication in MNRAS

X-ray and Optical Study of the Gamma-ray Source 3FGL J0838.8$-$2829: Identification of a Candidate Millisecond Pulsar Binary and an Asynchronous Polar

Authors: Jules P. Halpern, Slavko Bogdanov, John R. Thorstensen

Abstract: We observed the field of the Fermi source 3FGL J0838.8-2829 in optical and X-rays, initially motivated by the cataclysmic variable (CV) 1RXS J083842.1-282723 that lies within its error circle. Several X-ray sources first classified as CVs have turned out to be gamma-ray emitting millisecond pulsars (MSPs). We find that 1RXS J083842.1-282723 is in fact an unusual CV, a stream-fed asynchronous polar… ▽ More We observed the field of the Fermi source 3FGL J0838.8-2829 in optical and X-rays, initially motivated by the cataclysmic variable (CV) 1RXS J083842.1-282723 that lies within its error circle. Several X-ray sources first classified as CVs have turned out to be gamma-ray emitting millisecond pulsars (MSPs). We find that 1RXS J083842.1-282723 is in fact an unusual CV, a stream-fed asynchronous polar in which accretion switches between magnetic poles (that are $\approx$120$^{\circ}$ apart) when the accretion rate is at minimum. High-amplitude X-ray modulation at periods of 94.8$\pm$0.4 minutes and 14.7$\pm$1.2 hr are seen. The former appears to be the spin period, while latter is inferred to be one-third of the beat period between the spin and the orbit, implying an orbital period of 98.3$\pm$0.5 minutes. We also measure an optical emission-line spectroscopic period of 98.413$\pm$0.004 minutes which is consistent with the orbital period inferred from the X-rays. In any case, this system is unlikely to be the gamma-ray source. Instead, we find a fainter variable X-ray and optical source, XMMU J083850.38-282756.8, that is modulated on a time scale of hours in addition to exhibiting occasional sharp flares. It resembles the black widow or redback pulsars that have been discovered as counterparts of Fermi sources, with the optical modulation due to heating of the photosphere of a low-mass companion star by, in this case, an as-yet undetected MSP. We propose XMMU J083850.38-282756.8 as the MSP counterpart of 3FGL J0838.8-2829. △ Less

Submitted 15 January, 2017; originally announced January 2017.

Comments: 13 pages, 13 figures, 4 tables, accepted for publication in ApJ

Is state-dependent valuation more adaptive than simpler rules?

Authors: Joseph Y. Halpern, Lior Seeman

Abstract: McNamara, Trimmer, and Houston (2012) claim to provide an explanation of certain systematic deviations from rational behavior using a mechanism that could arise through natural selection. We provide an arguably much simpler mechanism in terms of computational limitations, that performs better in the environment described by McNamara, Trimmer, and Houston (2012). To argue convincingly that animals'… ▽ More McNamara, Trimmer, and Houston (2012) claim to provide an explanation of certain systematic deviations from rational behavior using a mechanism that could arise through natural selection. We provide an arguably much simpler mechanism in terms of computational limitations, that performs better in the environment described by McNamara, Trimmer, and Houston (2012). To argue convincingly that animals' use of state-dependent valuation is adaptive and is likely to be selected for by natural selection, one must argue that, in some sense, it is a better approach than the simple strategies that we propose. △ Less

Submitted 23 December, 2017; v1 submitted 13 October, 2016; originally announced October 2016.

Comments: This replaces the previous version, entitled `A Comment on "The Ecological Rationality of State-Dependent Valuation"'. Besides the change title, only relatively minor changes were made to the text. To appear, Behavioural Processes

Multiwavelength monitoring and X-ray brightening of Be X-ray binary PSR J2032+4127/MT91 213 on its approach to periastron

Authors: Wynn C. G. Ho, C. -Y. Ng, Andrew G. Lyne, Ben W. Stappers, Malcolm J. Coe, Jules P. Halpern, Tyrel J. Johnson, Iain A. Steele

Abstract: The radio and gamma-ray pulsar PSR J2032+4127 was recently found to be in a decades-long orbit with the Be star MT91 213, with the pulsar moving rapidly towards periastron. This binary shares many similar characteristics with the previously unique binary system PSR B1259-63/LS 2883. Here, we describe radio, X-ray, and optical monitoring of PSR J2032+4127/MT91 213. Our extended orbital phase covera… ▽ More The radio and gamma-ray pulsar PSR J2032+4127 was recently found to be in a decades-long orbit with the Be star MT91 213, with the pulsar moving rapidly towards periastron. This binary shares many similar characteristics with the previously unique binary system PSR B1259-63/LS 2883. Here, we describe radio, X-ray, and optical monitoring of PSR J2032+4127/MT91 213. Our extended orbital phase coverage in radio, supplemented with Fermi gamma-ray data, allows us to update and refine the orbital period to 45-50 yr and time of periastron passage to 2017 November. We analyse archival and recent Chandra and Swift observations and show that PSR J2032+4127/MT91 213 is now brighter in X-rays by a factor of ~70 since 2002 and ~20 since 2010. While the pulsar is still far from periastron, this increase in X-rays is possibly due to collisions between pulsar and Be star winds. Optical observations of the Halpha emission line of the Be star suggest that the size of its circumstellar disc may be varying by ~2 over timescales as short as 1-2 months. Multiwavelength monitoring of PSR J2032+4127/MT91 213 will continue through periastron passage, and the system should present an interesting test case and comparison to PSR B1259-63/LS 2883. △ Less

Submitted 25 October, 2016; v1 submitted 20 September, 2016; originally announced September 2016.

Comments: 9 pages, 8 figures; published in MNRAS; v2, minor edits to better match published version

Journal ref: Mon. Not. R. Astron. Soc. 464, 1211-1219 (2017)

Translucent Players: Explaining Cooperative Behavior in Social Dilemmas

Authors: Valerio Capraro, Joseph Y. Halpern

Abstract: In the last few decades, numerous experiments have shown that humans do not always behave so as to maximize their material payoff. Cooperative behavior when non-cooperation is a dominant strategy (with respect to the material payoffs) is particularly puzzling. Here we propose a novel approach to explain cooperation, assuming what Halpern and Pass call translucent players. Typically, players are as… ▽ More In the last few decades, numerous experiments have shown that humans do not always behave so as to maximize their material payoff. Cooperative behavior when non-cooperation is a dominant strategy (with respect to the material payoffs) is particularly puzzling. Here we propose a novel approach to explain cooperation, assuming what Halpern and Pass call translucent players. Typically, players are assumed to be opaque, in the sense that a deviation by one player in a normal-form game does not affect the strategies used by other players. But a player may believe that if he switches from one strategy to another, the fact that he chooses to switch may be visible to the other players. For example, if he chooses to defect in Prisoner's Dilemma, the other player may sense his guilt. We show that by assuming translucent players, we can recover many of the regularities observed in human behavior in well-studied games such as Prisoner's Dilemma, Traveler's Dilemma, Bertrand Competition, and the Public Goods game. △ Less

Submitted 23 June, 2016; originally announced June 2016.

Comments: In Proceedings TARK 2015, arXiv:1606.07295. The full version of the paper is also on arxiv at arXiv:1410.3363

Journal ref: EPTCS 215, 2016, pp. 114-126

Bayesian Games with Intentions

Authors: Adam Bjorndahl, Joseph Y. Halpern, Rafael Pass

Abstract: We show that standard Bayesian games cannot represent the full spectrum of belief-dependent preferences. However, by introducing a fundamental distinction between intended and actual strategies, we remove this limitation. We define Bayesian games with intentions, generalizing both Bayesian games and psychological games, and prove that Nash equilibria in psychological games correspond to a special… ▽ More We show that standard Bayesian games cannot represent the full spectrum of belief-dependent preferences. However, by introducing a fundamental distinction between intended and actual strategies, we remove this limitation. We define Bayesian games with intentions, generalizing both Bayesian games and psychological games, and prove that Nash equilibria in psychological games correspond to a special class of equilibria as defined in our setting. △ Less

Submitted 23 June, 2016; originally announced June 2016.

Comments: In Proceedings TARK 2015, arXiv:1606.07295

Journal ref: EPTCS 215, 2016, pp. 99-113

Characterizing Solution Concepts in Terms of Common Knowledge of Rationality

Authors: Joseph Y. Halpern, Yoram Moses

Abstract: Characterizations of Nash equilibrium, correlated equilibrium, and rationalizability in terms of common knowledge of rationality are well known. Analogous characterizations of sequential equilibrium, (trembling hand) perfect equilibrium, and quasi-perfect equilibrium using results of Halpern [2009]. Characterizations of Nash equilibrium, correlated equilibrium, and rationalizability in terms of common knowledge of rationality are well known. Analogous characterizations of sequential equilibrium, (trembling hand) perfect equilibrium, and quasi-perfect equilibrium using results of Halpern [2009]. △ Less

Submitted 4 May, 2016; originally announced May 2016.

Comments: To appear in International Journal of Game Theory

Radio disappearance of the magnetar XTE J1810-197 and continued X-ray timing

Authors: F. Camilo, S. M. Ransom, J. P. Halpern, J. A. J. Alford, I. Cognard, J. E. Reynolds, S. Johnston, J. Sarkissian, W. van Straten

Abstract: We report on timing, flux density, and polarimetric observations of the transient magnetar and 5.54 s radio pulsar XTE J1810-197 using the GBT, Nancay, and Parkes radio telescopes beginning in early 2006, until its sudden disappearance as a radio source in late 2008. Repeated observations through 2016 have not detected radio pulsations again. The torque on the neutron star, as inferred from its ro… ▽ More We report on timing, flux density, and polarimetric observations of the transient magnetar and 5.54 s radio pulsar XTE J1810-197 using the GBT, Nancay, and Parkes radio telescopes beginning in early 2006, until its sudden disappearance as a radio source in late 2008. Repeated observations through 2016 have not detected radio pulsations again. The torque on the neutron star, as inferred from its rotation frequency derivative f-dot, decreased in an unsteady manner by a factor of 3 in the first year of radio monitoring. In contrast, during its final year as a detectable radio source, the torque decreased steadily by only 9%. The period-averaged flux density, after decreasing by a factor of 20 during the first 10 months of radio monitoring, remained steady in the next 22 months, at an average of 0.7+/-0.3 mJy at 1.4 GHz, while still showing day-to-day fluctuations by factors of a few. There is evidence that during this last phase of radio activity the magnetar had a steep radio spectrum, in contrast to earlier behavior. There was no secular decrease that presaged its radio demise. During this time the pulse profile continued to display large variations, and polarimetry indicates that the magnetic geometry remained consistent with that of earlier times. We supplement these results with X-ray timing of the pulsar from its outburst in 2003 up to 2014. For the first 4 years, XTE J1810-197 experienced non-monotonic excursions in f-dot by at least a factor of 8. But since 2007, its f-dot has remained relatively stable near its minimum observed value. The only apparent event in the X-ray record that is possibly contemporaneous with the radio shut-down is a decrease of ~20% in the hot-spot flux in 2008-2009, to a stable, minimum value. However, the permanence of the high-amplitude, thermal X-ray pulse, even after the radio demise, implies continuing magnetar activity. △ Less

Submitted 7 March, 2016; originally announced March 2016.

Comments: ApJ, accepted, 12 pages, 9 figures

Discovery of a millisecond pulsar in the 5.4 day binary 3FGL J1417.5-4402: observing the late phase of pulsar recycling

Authors: F. Camilo, J. E. Reynolds, S. M. Ransom, J. P. Halpern, S. Bogdanov, M. Kerr, P. S. Ray, J. M. Cordes, J. Sarkissian, E. D. Barr, E. C. Ferrara

Abstract: In a search of the unidentified Fermi gamma-ray source 3FGL J1417.5-4402 with the Parkes radio telescope, we discovered PSR J1417-4402, a 2.66 ms pulsar having the same 5.4 day orbital period as the optical and X-ray binary identified by Strader et al. The existence of radio pulsations implies that the neutron star is currently not accreting. Substantial outflows from the companion render the radi… ▽ More In a search of the unidentified Fermi gamma-ray source 3FGL J1417.5-4402 with the Parkes radio telescope, we discovered PSR J1417-4402, a 2.66 ms pulsar having the same 5.4 day orbital period as the optical and X-ray binary identified by Strader et al. The existence of radio pulsations implies that the neutron star is currently not accreting. Substantial outflows from the companion render the radio pulsar undetectable for more than half of the orbit, and may contribute to the observed Halpha emission. Our initial pulsar observations, together with the optically inferred orbit and inclination, imply a mass ratio of 0.171+/-0.002, a companion mass of M_2=0.33+/-0.03 Msun, and a neutron star mass in the range 1.77<M_1<2.13 Msun. However, there remains a discrepancy between the distance of 4.4 kpc inferred from the optical properties of the companion and the smaller radio dispersion measure distance of 1.6 kpc. The smaller distance would reduce the inferred Roche-lobe filling factor, increase the inferred inclination angle, and decrease the masses. As a wide binary, PSR J1417-4402 differs from the radio-eclipsing black widow and redback pulsars being discovered in large numbers by Fermi. It is probably a system that began mass transfer onto the neutron star after the companion star left the main sequence. The companion should end its evolution as a He white dwarf in a 6-20 day orbit, i.e., as a typical binary millisecond pulsar companion. △ Less

Submitted 1 March, 2016; originally announced March 2016.

Comments: ApJ, accepted, 7 pages, 3 figures

Decentralised Norm Monitoring in Open Multi-Agent Systems

Authors: Natasha Alechina, Joseph Y. Halpern, Ian A. Kash, Brian Logan

Abstract: We consider the problem of detecting norm violations in open multi-agent systems (MAS). We show how, using ideas from scrip systems, we can design mechanisms where the agents comprising the MAS are incentivised to monitor the actions of other agents for norm violations. The cost of providing the incentives is not borne by the MAS and does not come from fines charged for norm violations (fines may… ▽ More We consider the problem of detecting norm violations in open multi-agent systems (MAS). We show how, using ideas from scrip systems, we can design mechanisms where the agents comprising the MAS are incentivised to monitor the actions of other agents for norm violations. The cost of providing the incentives is not borne by the MAS and does not come from fines charged for norm violations (fines may be impossible to levy in a system where agents are free to leave and rejoin again under a different identity). Instead, monitoring incentives come from (scrip) fees for accessing the services provided by the MAS. In some cases, perfect monitoring (and hence enforcement) can be achieved: no norms will be violated in equilibrium. In other cases, we show that, while it is impossible to achieve perfect enforcement, we can get arbitrarily close; we can make the probability of a norm violation in equilibrium arbitrarily small. We show using simulations that our theoretical results hold for multi-agent systems with as few as 1000 agents---the system rapidly converges to the steady-state distribution of scrip tokens necessary to ensure monitoring and then remains close to the steady state. △ Less

Submitted 22 February, 2016; originally announced February 2016.

Comments: 24 pages, 7 pdf figures

ACM Class: I.2.11

Multiwavelength Observations of the Redback Millisecond Pulsar J1048+2339

Authors: J. S. Deneva, P. S. Ray, F. Camilo, J. P. Halpern, K. Wood, H. T. Cromartie, E. Ferrara, M. Kerr, S. M. Ransom, M. T. Wolff, K. C. Chambers, E. A. Magnier

Abstract: We report on radio timing and multiwavelength observations of the 4.66 ms redback pulsar J1048+2339, which was discovered in an Arecibo search targeting the Fermi-LAT source 3FGLJ1048.6+2338. Two years of timing allowed us to derive precise astrometric and orbital parameters for the pulsar. PSR J1048+2339 is in a 6-hour binary, and exhibits radio eclipses over half the orbital period and rapid orb… ▽ More We report on radio timing and multiwavelength observations of the 4.66 ms redback pulsar J1048+2339, which was discovered in an Arecibo search targeting the Fermi-LAT source 3FGLJ1048.6+2338. Two years of timing allowed us to derive precise astrometric and orbital parameters for the pulsar. PSR J1048+2339 is in a 6-hour binary, and exhibits radio eclipses over half the orbital period and rapid orbital period variations. The companion has a minimum mass of 0.3 solar masses, and we have identified a $V \sim 20$ variable optical counterpart in data from several surveys. The phasing of its $\sim 1$~mag modulation at the orbital period suggests highly efficient and asymmetric heating by the pulsar wind, which may be due to an intrabinary shock that is distorted near the companion, or to the companion's magnetic field channeling the pulsar wind to specific locations on its surface. We also present gamma-ray spectral analysis of the source and preliminary results from searches for gamma-ray pulsations using the radio ephemeris. △ Less

Submitted 14 January, 2016; originally announced January 2016.

Comments: 33 pages, 11 figures, submitted to the Astrophysical Journal

Evolution of the X-ray Properties of the Transient Magnetar XTE J1810-197

Authors: Jason Alford, Jules Halpern

Abstract: We report on X-ray observations of the 5.54 s transient magnetar XTE J1810-197 using the XMM-Newton and Chandra observatories, analyzing new data from 2008 through 2014, and re-analyzing data from 2003 through 2007 with the benefit of these six years of new data. From the discovery of XTE J1810-197 during its 2003 outburst to the most recent 2014 observations, its 0.3-10 keV X-ray flux has decline… ▽ More We report on X-ray observations of the 5.54 s transient magnetar XTE J1810-197 using the XMM-Newton and Chandra observatories, analyzing new data from 2008 through 2014, and re-analyzing data from 2003 through 2007 with the benefit of these six years of new data. From the discovery of XTE J1810-197 during its 2003 outburst to the most recent 2014 observations, its 0.3-10 keV X-ray flux has declined by a factor of about 50 from 4.1E-11 to 8.1E-13 erg/cm^2/s. Its X-ray spectrum has now reached a steady state. Pulsations continue to be detected from a 0.3 keV thermal hot-spot that remains on the neutron star surface. The luminosity of this hot-spot exceeds XTE J1810-197's spin down luminosity, indicating continuing magnetar activity. We find that XTE J1810-197's X-ray spectrum is best described by a multiple component blackbody model in which the coldest 0.14 keV component likely originates from the entire neutron star surface, and the thermal hot-spot is, at different epochs, well described by an either one or two-component blackbody model. A 1.2 keV absorption line, possibly due to resonant proton scattering, is detected at all epochs. The X-ray flux of the hot spot decreased by approximately 20% between 2008 March and 2009 March, the same period during which XTE J1810-197 became radio quiet. △ Less

Submitted 5 January, 2016; originally announced January 2016.

Comments: 27 pages, 10 figures, accepted for publication in ApJ

A Radial Velocity Test for Supermassive Black Hole Binaries as an Explanation for Broad, Double-Peaked Emission Lines in Active Galactic Nuclei

Authors: Jia Liu, Michael Eracleous, Jules P. Halpern

Abstract: One of the proposed explanations for the broad, double-peaked Balmer emission lines observed in the spectra of some active galactic nuclei (AGNs) is that they are associated with sub-parsec supermassive black hole (SMBH) binaries. Here, we test the binary broad-line region hypothesis through several decades of monitoring of the velocity structure of double-peaked H-alpha emission lines in 13 low-r… ▽ More One of the proposed explanations for the broad, double-peaked Balmer emission lines observed in the spectra of some active galactic nuclei (AGNs) is that they are associated with sub-parsec supermassive black hole (SMBH) binaries. Here, we test the binary broad-line region hypothesis through several decades of monitoring of the velocity structure of double-peaked H-alpha emission lines in 13 low-redshift, mostly radio-loud AGNs. This is a much larger set of objects compared to an earlier test by Eracleous et al. (1997) and we use much longer time series for the three objects studied in that paper. Although systematic changes in radial velocity can be traced in many of their lines, they are demonstrably not like those of a spectroscopic binary in a circular orbit. Any spectroscopic binary period must therefore be much longer than the span of the monitoring (assuming a circular orbit), which in turn would require black hole masses that exceed by 1-2 orders of magnitude the values obtained for these objects using techniques such as reverberation map** and stellar velocity dispersion. Moreover, the response of the double-peaked Balmer line profiles to fluctuations of the ionizing continuum and the shape of the Ly-alpha profiles are incompatible with a SMBH binary. The binary broad-line region hypothesis is therefore disfavored. Other processes evidently shape these line profiles and cause the long-term velocity variations of the double peaks. △ Less

Submitted 6 December, 2015; originally announced December 2015.

Comments: 10 pages, 2 figures. Accepted for publication in The Astrophysical Journal

A Symbolic Logic with Concrete Bounds for Cryptographic Protocols

Authors: Anupam Datta, Joseph Y. Halpern, John C. Mitchell, Arnab Roy, Shayak Sen

Abstract: We present a formal logic for quantitative reasoning about security properties of network protocols. The system allows us to derive concrete security bounds that can be used to choose key lengths and other security parameters. We provide axioms for reasoning about digital signatures and random nonces, with security properties based on the concrete security of signature schemes and pseudorandom num… ▽ More We present a formal logic for quantitative reasoning about security properties of network protocols. The system allows us to derive concrete security bounds that can be used to choose key lengths and other security parameters. We provide axioms for reasoning about digital signatures and random nonces, with security properties based on the concrete security of signature schemes and pseudorandom number generators (PRG). The formal logic supports first-order reasoning and reasoning about protocol invariants, taking concrete security bounds into account. Proofs constructed in our logic also provide conventional asymptotic security guarantees because of the way that concrete bounds accumulate in proofs. As an illustrative example, we use the formal logic to prove an authentication property with concrete bounds of a signature-based challenge-response protocol. △ Less

Submitted 23 November, 2015; originally announced November 2015.

ACM Class: F.3.1; C.2.2

Optical Studies of Thirteen Hard X-ray Selected Cataclysmic Binaries from the Swift-BAT Survey

Authors: J. P. Halpern, J. R. Thorstensen

Abstract: From a set of thirteen cataclysmic binaries that were discovered in the Swift Burst Alert Telescope (BAT) survey, we conducted time-resolved optical spectroscopy and/or time-series photometry of eleven, with the goal of measuring their orbital periods and searching for spin periods. Seven of the objects in this study are new optical identifications. Orbital periods are found for seven targets, ran… ▽ More From a set of thirteen cataclysmic binaries that were discovered in the Swift Burst Alert Telescope (BAT) survey, we conducted time-resolved optical spectroscopy and/or time-series photometry of eleven, with the goal of measuring their orbital periods and searching for spin periods. Seven of the objects in this study are new optical identifications. Orbital periods are found for seven targets, ranging from 81 minutes to 20.4 hours. PBC J0706.7+0327 is an AM Herculis star (polar) based on its emission-line variations and large amplitude photometric modulation on the same period. Swift J2341.0+7645 may be a polar, although the evidence here is less secure. Coherent pulsations are detected from two objects, Swift J0503.7-2819 (975 s) and Swift J0614.0+1709 (1412 s and 1530 s, spin and beat periods, respectively), indicating that they are probable intermediate polars (DQ Herculis stars). For two other stars, longer spin periods are tentatively suggested. We also present the discovery of a 2.00 hour X-ray modulation from RX J2015.6+3711, possibly a contributor to Swift J2015.9+3715, and likely a polar. △ Less

Submitted 2 October, 2015; originally announced October 2015.

Comments: 33 pages, 17 figures, accepted for publication in AJ

Proper Motion and Timing of Two Unusual Pulsars: Calvera and 1E 1207.4-5209

Authors: J. P. Halpern, E. V. Gotthelf

Abstract: Using pairs of images from the Chandra High-Resolution Camera we examine the proper motion of the central compact object (CCO) 1E 1207.4-5209 in the supernova remnant (SNR) PKS 1209-51/52, and the unusual pulsar Calvera that is possibly a CCO descendant. For 1E 1207.4-5209, an insignificant proper motion of 15+/-7 mas/yr is measured, corresponding to a corrected tangential velocity of <180 km/s at… ▽ More Using pairs of images from the Chandra High-Resolution Camera we examine the proper motion of the central compact object (CCO) 1E 1207.4-5209 in the supernova remnant (SNR) PKS 1209-51/52, and the unusual pulsar Calvera that is possibly a CCO descendant. For 1E 1207.4-5209, an insignificant proper motion of 15+/-7 mas/yr is measured, corresponding to a corrected tangential velocity of <180 km/s at the distance of 2 kpc. This proves that the previously noted large offset of the pulsar from the apparent geometric center of the SNR is not due to high proper motion; evidently the symmetry of the remnant does not indicate its center of expansion. Calvera has a marginally significant proper motion of 69+/-26 mas/yr, corresponding to 86+/-33 km/s for a hypothetical distance of 0.3 kpc. Notably, its vector is away from the Galactic plane, although its high Galactic latitude of b = +37 deg may be more a consequence of its proximity than its velocity. We also provide updated timing solutions for each pulsar. Spanning 14.5 yr, the ephemeris of 1E 1207.4-5209 has a small and steady frequency derivative that, because of the negligible proper motion, requires no kinematic correction. The derived surface dipole magnetic field strength of 1E 1207.4-5209 thus remains B_s = 9.8e10 G. Calvera has B_s = 4.4e11 G, intermediate between those of ordinary young pulsars and CCOs, suggesting that it may be on a trajectory of field growth that could account for the absence of descendants in the neighborhood of CCOs in the P-Pdot diagram. △ Less

Submitted 2 October, 2015; originally announced October 2015.

Comments: 7 pages, 2 figures, accepted for publication in ApJ

A Large Systematic Search for Close Supermassive Binary and Rapidly Recoiling Black Holes - II. Continued Spectroscopic Monitoring and Optical Flux Variability

Authors: Jessie C. Runnoe, Michael Eracleous, Gavin Mathes, Alison Pennell, Todd Boroson, Steinn Sigurdsson, Tamara Bogdanovic, Jules P. Halpern, Jia Liu

Abstract: We present new spectroscopic observations that are part of our continuing monitoring campaign of 88 quasars at z<0.7 whose broad H$β$ lines are offset from their systemic redshifts by a few thousand km/s. These quasars have been considered candidates for hosting supermassive black hole binaries (SBHBs) by analogy with single-lined spectroscopic binary stars. We present the data and describe our im… ▽ More We present new spectroscopic observations that are part of our continuing monitoring campaign of 88 quasars at z<0.7 whose broad H$β$ lines are offset from their systemic redshifts by a few thousand km/s. These quasars have been considered candidates for hosting supermassive black hole binaries (SBHBs) by analogy with single-lined spectroscopic binary stars. We present the data and describe our improved analysis techniques, which include an extensive evaluation of uncertainties. We also present a variety of measurements from the spectra that are of general interest and will be useful in later stages of our analysis. Additionally, we take this opportunity to study the variability of the optical continuum and integrated flux of the broad H$β$ line. We compare the variability properties of the SBHB candidates to those of a sample of typical quasars with similar redshifts and luminosities observed multiple times during the Sloan Digital Sky Survey. We find that the variability properties of the two samples are similar (variability amplitudes of 10-30% on time scales of approximately 1-7 years) and that their structure functions can be described by a common model with parameters characteristic of typical quasars. These results suggest that the broad-line regions of SBHB candidates have a similar extent as those of typical quasars. We discuss the implications of this result for the SBHB scenario and ensuing constraints on the orbital parameters. △ Less

Submitted 11 September, 2015; v1 submitted 8 September, 2015; originally announced September 2015.

Comments: 19 pages in ApJ format. Accepted for publication in the Astrophysical Journal Supplements

On the Non-Existence of Nash Equilibrium in Games with Resource-Bounded Players

Authors: Joseph Y. Halpern, Rafael Pass, Daniel Reichman

Abstract: We consider sequences of games $\mathcal{G}=\{G_1,G_2,\ldots\}$ where, for all $n$, $G_n$ has the same set of players. Such sequences arise in the analysis of running time of players in games, in electronic money systems such as Bitcoin and in cryptographic protocols. Assuming that one-way functions exist, we prove that there is a sequence of 2-player zero-sum Bayesian games $\mathcal{G}$ such tha… ▽ More We consider sequences of games $\mathcal{G}=\{G_1,G_2,\ldots\}$ where, for all $n$, $G_n$ has the same set of players. Such sequences arise in the analysis of running time of players in games, in electronic money systems such as Bitcoin and in cryptographic protocols. Assuming that one-way functions exist, we prove that there is a sequence of 2-player zero-sum Bayesian games $\mathcal{G}$ such that, for all $n$, the size of every action in $G_n$ is polynomial in $n$, the utility function is polynomial computable in $n$, and yet there is no polynomial-time Nash equilibrium, where we use a notion of Nash equilibrium that is tailored to sequences of games. We also demonstrate that Nash equilibrium may not exist when considering players that are constrained to perform at most $T$ computational steps in each of the games $\{G_i\}_{i=1}^{\infty}$. These examples may shed light on competitive settings where the availability of more running time or faster algorithms lead to a "computational arms race", precluding the existence of equilibrium. They also point to inherent limitations of concepts such "best response" and Nash equilibrium in games with resource-bounded players. △ Less

Submitted 14 July, 2015; v1 submitted 6 July, 2015; originally announced July 2015.

Why Bother With Syntax?

Authors: Joseph Y. Halpern

Abstract: This short note discusses the role of syntax vs. semantics and the interplay between logic, philosophy, and language in computer science and game theory. This short note discusses the role of syntax vs. semantics and the interplay between logic, philosophy, and language in computer science and game theory. △ Less

Submitted 17 June, 2015; originally announced June 2015.

Comments: To appear in "Rohit Parikh on Logic, Language and Society" (C. Baskent, L. Moss, and R. Ramanjum, editors)