Characterizing the Nash equilibria of a three-player Bayesian quantum game

Quantum games with incomplete information can be studied within a Bayesian framework. We consider a version of prisoner’s dilemma (PD) in this framework with three players and characterize the Nash equilibria. A variation of the standard PD game is set up with two types of the second prisoner and the first prisoner plays with them with probability p and \(1-p\), respectively. The Bayesian nature of the game manifests in the uncertainty that the first prisoner faces about his opponent’s type which is encoded either in a classical probability or in the amplitudes of a wave function. Here, we consider scenarios with asymmetric payoffs between the first and second prisoner for different values of the probability, p, and the entanglement. Our results indicate a class of Nash equilibria (NE) with rich structures, characterized by a phase relationship on the strategies of the players. The rich structure can be exploited by the referee to set up rules of the game to push the players toward a specific class of NE. These results provide a deeper insight into the quantum advantages of Bayesian games over their classical counterpart.     

Theorem Proving Guided Development of Formal Assertions in a Resource-Constrained Scheduler for High-Level Synthesis

This paper presents a formal specification and a proof of correctness for the widely-used Force-Directed List Scheduling (FDLS) algorithm for resource-constrained scheduling of data flow graphs in high-level synthesis systems. The proof effort is conducted using a higher-order logic theorem prover. During the proof effort many interesting properties of the FDLS algorithm are discovered. These properties are formally stated and proved in a higher-order logic theorem proving environment. These properties constitute a detailed set of formal assertions and invariants that should hold at various steps in the FDLS algorithm. They are then inserted as programming assertions in the implementation of the FDLS algorithm in a production-strength high-level synthesis system. When turned on, the programming assertions (1) certify whether a specific run of the FDLS algorithm produced correct schedules and, (2) in the event of failure, help discover and isolate programming errors in the FDLS implementation.We present a detailed example and several experiments to demonstrate the effectiveness of these assertions in discovering and isolating errors. Based on this experience, we discuss the role of the formal theorem proving exercise in developing a useful set of assertions for embedding in the scheduler code and argue that in the absence of such a formal proof checking effort, discovering such a useful set of assertions would have been an arduous if not impossible task.     

An expert system to aid cataloging and searching electronic documents on digital libraries

This paper describes a metadata based indexing system with a built-in expert system for cataloging and searching digital libraries on the World Wide Web. The specific features of this system are the following: An expert system with a knowledge base and a subject thesaurus, a model of a reference librarian's behavior for cataloging and searching, and an intelligent user interface to provide context sensitive help to the user. At present our expert system is limited to the subjects of Computer Science and Electrical Engineering. The design issues and the implementation details of the expert system to mimic a librarian's behavior for automated document searching and cataloging are discussed in detail.     

Effect of solid polymer electrolyte on the sensitization of photocurrents in solid-state electrochemical cells using conducting polypyrrole

The effect of small concentration of methylene blue dye on photocurrents was studied in the solid-state photoelectrochemical cells fabricated using conducting polypyrrole-coated electrodes sandwiched with solid-polymer electrolyte, namely, polyvinylpyrrolidone with phosphoric acid. A maximum photosensitivity factor (S=I _l/I _d, where I _l is the photocurrent and I _d is the dark current) of the order of 5 is observed. The current–voltage (I–V) characteristics in such cells reveal that charge transport is mainly governed by the space charge effect. Comparison of the results presented in this paper with the ones we reported earlier [23] indicates that the matrix in which dye has been incorporated plays an important role in such sensitization processes. A matrix that can efficiently transport the photogenerated charge carriers is observed to be more suitable for such dye-sensitized devices.     

Optimization of PbS thin films using different metal ion sources for photovoltaic applications

An extensive study on the influence of metal ion sources on the properties of chemical bath deposited lead sulphide thin films is reported in this paper. Four different lead sources namely lead nitrate, lead acetate, lead chloride and lead sulphate in alkaline medium have been used for the synthesis along with thiourea as sulphur source. The influence of lead sources on structural, surface morphological optical and electrical properties is investigated for photovoltaic applications. According to X-ray diffraction studies, all the films are poly crystalline with face centered cubic structure. The average crystallite sizes are found to be in the range 13–24 nm. The SEM photographs showed diverse morphology. The optical band gap is found to be very sensitive to the metal sources used. The direct band gap energy values obtained are in the range of 1.862–2.609 eV. The electrical conductivity varies in the range 33.6 ?7.62 × 10^?9 (Ω cm)^?1. Photosensitivity is closely linked to surface morphology. In this work, we established that the cationic precursor sources have significant role in physical properties of as-deposited PbS thin films. Samples prepared using nitrate as metal source are found to be most suitable to be used as solar control coating and the samples with lead acetate can be used as absorber layers for solar cell fabrication.     

Effect of the surface roughness of conducting polypyrrole thin-film electrodes on the electrocatalytic reduction of nitrobenzene

Conducting polypyrrole (PPy) thin-film electrodes were prepared by the electropolymerization of pyrrole on gold-coated glass plates. Films of various roughnesses were obtained by the variation of the scan rates during electropolymerization. These thin films were modified by doping with 6mM of the dopant NiCl₂. The surface morphology of the films was studied by scanning electron microscopy and atomic force microscopy (AFM), which suggested films prepared with a high scan rate were rougher in nature than the films produced with a low scan rate. The electrocatalytic reduction of nitrobenzene was carried out with these electrodes with the cyclic voltammetry technique in acetonitrile containing 0.1M HClO₄ as a supporting electrolyte. The various results obtained show that the conducting PPy thin-film electrodes were catalytically active toward the electroreduction process. The modified PPy film electrodes doped with NiCl₂ were more active toward nitrobenzene electroreduction than the PPy film alone. The results indicate that the roughness of the films played a very important role in determining their catalytic activity. The PPy films that were more rough in nature were catalytically more active than the smooth films; this may have been due to the availability of more reactive sites in the case of rough films. The apparent diffusion coefficients of the PPy film electrodes were also calculated. © 2012 Wiley Periodicals, Inc. J Appl Polym Sci, 2012     

Modelling of packed bed adsorption columns for the separation of green tea catechins

Green tea is a rich source of catechins, which when purified have a high economic value as they can be used as a supplement in several products, to increase their health benefits. Catechins are regarded as desired components with several applications in a variety of areas such as foods, cosmetics and pharmaceuticals. A multicomponent sorption model has been developed for the separation of catechins from liquid tea streams, with macroporous resins in a packed bed column. Two commercially available food grade resins were considered: Amberlite XADHP and Diaion HP20. For the desorption step, two food grade solvents are used: water and ethanol. The adsorption and desorption behaviour is subsequently mathematically described with one-dimensional axial dispersed plug flow model that can accurately simulate the dynamics of the solvent swing sorption columns. The model parameters were regressed from experimental data. Five components are modelled in the competitive sorption: the main four catechins present in green tea and caffeine. The model was used for the process design and optimization for the recovery of catechins from green tea.     

Oscillatory shear rheology of dilute solutions of flexible polymers interacting with oppositely charged particles

Fluids with both attractions and repulsions among its constituents can exist in multiple states depending on nature of the interactions. An external flow can induce such systems to transition between the different states, such as the globule‐stretch transition for polymers in poor solvents. Brownian dynamics simulations of a dilute solution of polymers and colloids interacting via short‐ranged potentials are presented. For some values of the strength and range of interactions, compact structures of polymers and colloids are formed. An external flow is capable of pulling these globules apart, causing the polymers to stretch at a critical shear rate. In oscillatory shear, the shear rate can cycle between being above and below this critical shear rate leading to interesting dynamics. These dynamics are quantified using the rheological response in large amplitude oscillatory shear. © 2014 American Institute of Chemical Engineers AIChE J, 60: 1365–1371, 2014     

High-speed melt spinning of bicomponent fibers: Mechanism of fiber structure development in poly(ethylene terephthalate)/polypropylene system

High-speed bicomponent spinning of poly(ethylene terephthalate)(PET)(core) and poly-propylene (PP) (sheath) was carried out and the structure development in the individual components, PET and PP, was investigated. The orientation and crystallinity development in the PET component was enhanced as compared to that of the single-component spinning while the PP component remained in a low orientation state and had a pseudohexagonal crystal structure even at high take-up speeds. To clarify the mutual interaction between the two components in bicomponent spinning, a semiquantitative numerical simulation was performed. The simulation results obtained using the Newtonian fluid model showed that the solidification stress in the PET component was enhanced while that of the PP component was decreased in comparison with the corresponding single-component spinning. This is due to the difference in the temperature dependence of their elongational viscosity. Simulation with an upper-convected Maxwell model as the constitutive equation suggested that significant stress relaxation of the PP component can occur in the spinline if the PET component solidifies earlier than does PP. Based on the structural characterization results, and the simulation results, it was concluded that the difference in the activation energy of the elongational viscosity and solidification temperature between the two polymers are the main factors influencing the mutual interaction in the bicomponent spinning process. © 1996 John Wiley & Sons, Inc.