Cryptographic and Physical Zero-Knowledge Proof Systems for Solutions of Sudoku Puzzles

We consider cryptographic and physical zero-knowledge proof schemes for Sudoku, a popular combinatorial puzzle. We discuss methods that allow one party, the prover, to convince another party, the verifier, that the prover has solved a Sudoku puzzle, without revealing the solution to the verifier. The question of interest is how a prover can show: (i) that there is a solution to the given puzzle, and (ii) that he knows the solution, while not giving away any information about the solution to the verifier. In this paper we consider several protocols that achieve these goals. Broadly speaking, the protocols are either cryptographic or physical. By a cryptographic protocol we mean one in the usual model found in the foundations of cryptography literature. In this model, two machines exchange messages, and the security of the protocol relies on computational hardness. By a physical protocol we mean one that is implementable by humans using common objects, and preferably without the aid of computers. In particular, our physical protocols utilize items such as scratch-off cards, similar to those used in lotteries, or even just simple playing cards. The cryptographic protocols are direct and efficient, and do not involve a reduction to other problems. The physical protocols are meant to be understood by “lay-people” and implementable without the use of computers. Research of R. Gradwohl was supported by US-Israel Binational Science Foundation Grant 2002246. Research of M. Naor was supported in part by a grant from the Israel Science Foundation. Research of B. Pinkas was supported in part by the Israel Science Foundation (grant number 860/06). Research of G.N. Rothblum was supported by NSF grant CNS-0430450 and NSF grant CFF-0635297.     

Severity of delayed (“secondary”) cerebral energy failure after acute hypoxia-ischemia is related to the time integral of acute ATP depletion

The aim of this study was to reproduce the delayed (secondary) cerebral energy failure previously described in birth-asphyxiated newborn infants and to investigate relationships between primary insult severity and the extent of the delayed energy failure. Phosphorus (³¹P) magnetic resonance spectroscopy (MRS) at 7 T was used to study the brains of 12 newborn piglets during an acute, reversible, cerebral hypoxic-ischemic episode which continued until nucleotide triphosphates (NTP) were depleted. After reperfusion and reoxygenation, spectroscopy was continued for 48 h. High-energy metabolite concentrations returned to near normal levels after the insult, but later they fell as delayed energy failure developed. The time integral of NTP depletion in the primary insult correlated strongly with the minimum [phosphocreatine (PCr)]/[inorganic orthophosphate (P_i)] observed 24–48 h after the insult. (Linear regression analysis gave slope –8.04 h^–1; ordinate intercept=1.23;r=0.92;P<0.0001.) This model is currently being used to investigate the therapeutic potential of various cerebroprotective strategies including hypothermia.     

Dynamique des lasers à fibre dopée à I’erbium

The dynamics of the erbium doped fiber laser is analysed both experimentally and theoretically. This laser operates spontaneously in self-pulsing, in sinusoidal or in CW regime. Experiments have allowed to determine the control parameters : the cavity losses, the pumping rate and the ion pairs concentration. An antiphase dynamics is observed when the laser operates simultaneously at 1.55 µn and 1.536 µm. The self-pulsing behavior is attributed to a fast energy transfer which occurs between two neighboring ions (pair induced quenching). A simple model considering the active medium as a mixture of isolated ions and ions pairs is developped and leads to a good qualitative agreement with the experimental results.     

On the stochastic timed Pétri nets model and its application to the DQDB protocol

The goal of this paper is twofold : at first, to present the stochastic timed Pétri nets model by emphasizing its ability to express the main characteristics of real time distributed systems (parallelism, synchronization by message exchange, time attributes and in particular time constraints) and to allow both qualitative and quantitative analysis (concept of randomized states graph); second, to show a modeling methodology based on this model that allows a rigorous modeling of theDqdb protocol (Qa access, bwb mechanism role,Pa access influence). A new contribution to theQa mechanism has been done (1).     

Single Nanoparticle Magnetic Spin Memristor

There is an increasing demand for the development of a simple Si‐based universal memory device at the nanoscale that operates at high frequencies. Spin‐electronics (spintronics) can, in principle, increase the efficiency of devices and allow them to operate at high frequencies. A primary challenge for reducing the dimensions of spintronic devices is the requirement for high spin currents. To overcome this problem, a new approach is presented that uses helical chiral molecules exhibiting spin‐selective electron transport, which is called the chiral‐induced spin selectivity (CISS) effect. Using the CISS effect, the active memory device is miniaturized for the first time from the micrometer scale to 30 nm in size, and this device presents memristor‐like nonlinear logic operation at low voltages under ambient conditions and room temperature. A single nanoparticle, along with Au contacts and chiral molecules, is sufficient to function as a memory device. A single ferromagnetic nanoplatelet is used as a fixed hard magnet combined with Au contacts in which the gold contacts act as soft magnets due to the adsorbed chiral molecules.     

Colloidal Quantum Dot Infrared Lasers Featuring Sub-Single-Exciton Threshold and Very High Gain

The use of colloidal quantum dots (CQDs) as a gain medium in infrared laser devices has been underpinned by the need for high pumping intensities, very short gain lifetimes, and low gain coefficients. Here, PbS/PbSSe core/alloyed-shell CQDs are employed as an infrared gain medium that results in highly suppressed Auger recombination with a lifetime of 485 ps, lowering the amplified spontaneous emission (ASE) threshold down to 300 µJ cm⁻², and showing a record high net modal gain coefficient of 2180 cm⁻¹. By doping these engineered core/shell CQDs up to nearly filling the first excited state, a significant reduction of optical gain threshold is demonstrated, measured by transient absorption, to an average-exciton population-per-dot 〈N^th〉_g of 0.45 due to bleaching of the ground state absorption. This in turn have led to a fivefold reduction in ASE threshold at 〈N^th〉_ASE = 0.70 excitons-per-dot, associated with a gain lifetime of 280 ps. Finally, these heterostructured QDs are used to achieve near-infrared lasing at 1670 nm at a pump fluences corresponding to sub-single-exciton-per-dot threshold (〈N^th〉_Las = 0.87). This work brings infrared CQD lasing thresholds on par to their visible counterparts, and paves the way toward solution-processed infrared laser diodes.     

Influence of poly(acrylic acid) molar mass on the fracture properties of glass polyalkenoate cements

The failure behaviour of glass polyalkenoate cements was investigated using a linear elastic fracture mechanics (LEFM) approach. Cements were based on four model glasses with varying reactivity and four poly(acrylic acid)s (PAA)s with number average molar masses (Mn) ranging from 3.25 × 104 to 1.08 × 105. Cement properties were studied at time intervals of one, seven and twenty eight days. Compressive strengths (c) of the cements increased with increasing fluorine content of the glass, with increased molar mass of the PAA and with ageing time. The Young's moduli increased with time, but were lower for cements based on the fluorine free glass. Moduli values were independant of PAA molar mass. The un-notched fracture strength (f) of the cement increased with the molar mass of the PAA and with ageing time. Glass composition did not appreciably influence the un-notched fracture strength. The fracture toughness (KIC) increased with the molar mass of the PAA and with ageing time, but reduced with increasing fluorine content of the glass. The toughness (GIC) was dependant on molar mass. The influence of molar mass was not as great as predicted by the reptation chain pull-out model for fracture. The molar mass dependence of toughness was greatest with the lower fluorine content glasses. The plastic zone size at the crack tip increased with the molar mass of the PAA. However the plastic zone size decreased with ageing time for all the cements studied and was smaller for the more reactive higher fluorine content glasses.     

Regional patterns of affirmative action compliance costs

In this paper we estimate the amount by which firms' labor costs are increased by compliance with affirmative action regulations imposed on federal contractors for 160 SMSAs in 1980. The paper focuses on determining the cause(s) for variation in these compliance costs across SMSAs and in identifying areas of high and low compliance cost. We find that compliance costs are lower in larger SMSAs, more rapidly growing SMSAs, and SMSAs that have relatively large proportions of minorities and females in the labor market.The authors would like to thank Fred Wildes and Long Gen Ying, both of San Diego State University, for their assistance on this project. In addition, support for Prof. Getis' work was provided by the National Science Foundation, Grant No. SES-9123832.This paper was presented at the annual conference of the Western Regional Science Association in Tucson, Arizona.     

Transient response in doped germanium photoconductors under very low background operation

Doped germanium photoconductors are the most sensitive detectors for astronomy in the wavelength range 40-240 μm. Under the extremely low background conditions encountered in cooled satellite instruments, these devices exhibit a number of transient effects, such as slow relaxation after a step change in illumination or bias, and spontaneous spiking at high signal levels. Such behavior can degrade the excellent instantaneous sensitivity of these detectors and create calibration uncertainties. These effects have been observed in the Ge:Be photoconductors and the stressed and unstressed Ge:Ga photoconductors in the Long Wavelength Spectrometer, one of the instruments on the Infrared Space Observatory. A systematic investigation of the transient response of the Long Wavelength Spectrometer detectors to a step change in illumination as a function of operating temperature, bias electric field, and illumination step size has been carried out to determine operating conditions that minimize the effects of this behavior. The transient effects appear to be due primarily to carrier sweep out, but they are not fully explained by existing models for transient response.