The Coase conjecture with incomplete information on the monopolist's commitment

A key to the Coase conjecture is the monopolist's inability to commit to a price, which leads consumers to believe that a high current price will be followed by low future prices. This paper studies the robustness of the Coase conjecture with respect to these beliefs of consumers. In particular, there is uncertainty over whether the monopolist is committed to a price (i.e. she may be a commitment type). Consequently, consumers are no longer certain that the price will change over time. I consider two kinds of commitment types. A behavioral commitment type charges an exogenously given price, while the rational commitment type optimally chooses a price. I show that the Coase conjecture is robust with regard to uncertainty over the monopolist's commitment. When the probability of behavioral types is sufficiently small, as in the original Coase conjecture, the monopolist earns the competitive profit. When the probability of behavioral types is positive, unlike in the original Coase conjecture, there is positive delay. But the delay disappears as the probability approaches zero. When the commitment type is rational, unless the probability of the commitment type is sufficiently high, both normal and committed monopolists charge the competitive price, and thus there is no delay.Coase conjecture, reputational bargaining, rational commitment

Dense Stellar Matter with Strange Quark Matter Driven by Kaon Condensation

The core of neutron-star matter is supposed to be at a much higher density than the normal nuclear matter density for which various possibilities have been suggested such as, for example, meson or hyperon condensation and/or deconfined quark or color-superconducting matter. In this work, we explore the implication on hadron physics of a dense compact object that has three "phases", nuclear matter at the outer layer, kaon condensed nuclear matter in the middle and strange quark matter at the core. Using a drastically simplified but not unreasonable model, we develop the scenario where the different phases are smoothly connected with the kaon condensed matter playing a role of "doorway" to a quark core, the equation of state (EoS) of which with parameters restricted within the range allowed by nature could be made compatible with the mass vs. radius constraint given by the 1.97-solar mass object PSR J1614-2230 recently observed.Comment: 18 pages, 18 figure

Search for Microlensing Signature in Gravitational Waves from Binary Black Hole Events

In a recent search (Kim et al. 2022), we looked for microlensing signature in gravitational waves from spectrograms of the binary black hole events in the first and second gravitational-wave transient catalogs. For the search, we have implemented a deep learning-based method (Kim et al. 2021) and figured out that one event, GW190707 093326, out of forty-six events, is classified into the lensed class. However, upon estimating the p-value of this event, we observed that the uncertainty of the p-value still includes the possibility of the event being unlensed. Therefore, we concluded that no significant evidence of beating patterns from the evaluated binary black hole events has found from the search. For a consequence study, we discuss the distinguishability between microlensed gravitational waves and the signal from precessing black hole binaries.Comment: 2 pages, 1 figure, submitted for the proceeding of the IAU Symposium 368: Machine Learning in Astronom

Backward Curriculum Reinforcement Learning

Current reinforcement learning algorithms train an agent using forward-generated trajectories, which provide little guidance so that the agent can explore as much as possible. While realizing the value of reinforcement learning results from sufficient exploration, this approach leads to a trade-off in losing sample efficiency, an essential factor impacting algorithm performance. Previous tasks use reward-shaping techniques and network structure modification to increase sample efficiency. However, these methods require many steps to implement. In this work, we propose novel backward curriculum reinforcement learning that begins training the agent using the backward trajectory of the episode instead of the original forward trajectory. This approach provides the agent with a strong reward signal, enabling more sample-efficient learning. Moreover, our method only requires a minor change in the algorithm of reversing the order of the trajectory before agent training, allowing a straightforward application to any state-of-the-art algorithm.Comment: Accepted to IEEE RO-MAN 202

Triple layered compact star with strange quark matter

We explore the possibility of three phases in the core of neutron star in a form of triple layers. From the center, strange quark matter, kaon condensed nuclear matter and nuclear matter form a triple layer. We discuss how the phase of strange quark matter is smoothly connected to kaon condensed nuclear matter phase. We also demonstrate that the compact star with triple layered structure can be a model compatible with the 1.97-solar-mass object PSR J1614-2230 recently observed.Comment: 8 pages, 2 figures, to appear in the Proceedings of the Symposium on Cosmology and Particle Astrophysics (CosPA2011), October 28-31, 2011, Beijing, Chin

PALS-Based Analysis of an Airplane Multirate Control System in Real-Time Maude

Distributed cyber-physical systems (DCPS) are pervasive in areas such as aeronautics and ground transportation systems, including the case of distributed hybrid systems. DCPS design and verification is quite challenging because of asynchronous communication, network delays, and clock skews. Furthermore, their model checking verification typically becomes unfeasible due to the huge state space explosion caused by the system's concurrency. The PALS ("physically asynchronous, logically synchronous") methodology has been proposed to reduce the design and verification of a DCPS to the much simpler task of designing and verifying its underlying synchronous version. The original PALS methodology assumes a single logical period, but Multirate PALS extends it to deal with multirate DCPS in which components may operate with different logical periods. This paper shows how Multirate PALS can be applied to formally verify a nontrivial multirate DCPS. We use Real-Time Maude to formally specify a multirate distributed hybrid system consisting of an airplane maneuvered by a pilot who turns the airplane according to a specified angle through a distributed control system. Our formal analysis revealed that the original design was ineffective in achieving a smooth turning maneuver, and led to a redesign of the system that satisfies the desired correctness properties. This shows that the Multirate PALS methodology is not only effective for formal DCPS verification, but can also be used effectively in the DCPS design process, even before properties are verified.Comment: In Proceedings FTSCS 2012, arXiv:1212.657