Spectral approach to linear programming bounds on codes

We give new proofs of asymptotic upper bounds of coding theory obtained within the frame of Delsarte's linear programming method. The proofs rely on the analysis of eigenvectors of some finite-dimensional operators related to orthogonal polynomials. The examples of the method considered in the paper include binary codes, binary constant-weight codes, spherical codes, and codes in the projective spaces.Comment: 11 pages, submitte

Wavefront control in space with MEMS deformable mirrors for exoplanet direct imaging

To meet the high contrast requirement of 1×10[superscript −10] to image an Earth-like planet around a sun-like star, space telescopes equipped with coronagraphs require wavefront control systems. Deformable mirrors (DMs) are a key element of a wavefront control system, as they correct for imperfections, thermal distortions, and diffraction that would otherwise corrupt the wavefront and ruin the contrast. The goal of the CubeSat DM technology demonstration mission is to test the ability of a microelectromechanical system (MEMS) DM to perform wavefront control on-orbit on a nanosatellite platform. We consider two approaches for an MEMS DM technology demonstration payload that will fit within the mass, power, and volume constraints of a CubeSat: (1) a Michelson interferometer and (2) a Shack-Hartmann wavefront sensor. We clarify the constraints on the payload based on the resources required for supporting CubeSat subsystems drawn from subsystems that we have developed for a different CubeSat flight project. We discuss results from payload laboratory prototypes and their utility in defining mission requirements

Good Random Matrices over Finite Fields

The random matrix uniformly distributed over the set of all m-by-n matrices over a finite field plays an important role in many branches of information theory. In this paper a generalization of this random matrix, called k-good random matrices, is studied. It is shown that a k-good random m-by-n matrix with a distribution of minimum support size is uniformly distributed over a maximum-rank-distance (MRD) code of minimum rank distance min{m,n}-k+1, and vice versa. Further examples of k-good random matrices are derived from homogeneous weights on matrix modules. Several applications of k-good random matrices are given, establishing links with some well-known combinatorial problems. Finally, the related combinatorial concept of a k-dense set of m-by-n matrices is studied, identifying such sets as blocking sets with respect to (m-k)-dimensional flats in a certain m-by-n matrix geometry and determining their minimum size in special cases.Comment: 25 pages, publishe

MEMS deformable mirror CubeSat testbed

To meet the high contrast requirement of 1 × 10[superscript −10] to image an Earth-like planet around a Sun-like star, space telescopes equipped with coronagraphs require wavefront control systems. Deformable mirrors are a key element of these systems that correct for optical imperfections, thermal distortions, and diffraction that would otherwise corrupt the wavefront and ruin the contrast. However, high-actuator-count MEMS deformable mirrors have yet to fly in space long enough to characterize their on-orbit performance and reduce risk by developing and operating their supporting systems. The goal of the MEMS Deformable Mirror CubeSat Testbed is to develop a CubeSat-scale demonstration of MEMS deformable mirror and wavefront sensing technology. In this paper, we consider two approaches for a MEMS deformable mirror technology demonstration payload that will fit within the mass, power, and volume constraints of a CubeSat: 1) a Michelson interferometer and 2) a Shack-Hartmann wavefront sensor. We clarify the constraints on the payload based on the resources required for supporting CubeSat subsystems drawn from subsystems that we have developed for a different CubeSat flight project. We discuss results from payload lab prototypes and their utility in defining mission requirements.United States. National Aeronautics and Space Administration (Office of the Chief Technologist NASA Space Technology Research Fellowship)Jeptha and Emily Wade FundMassachusetts Institute of Technology. Undergraduate Research Opportunities Progra

Random subcubes as a toy model for constraint satisfaction problems

We present an exactly solvable random-subcube model inspired by the structure of hard constraint satisfaction and optimization problems. Our model reproduces the structure of the solution space of the random k-satisfiability and k-coloring problems, and undergoes the same phase transitions as these problems. The comparison becomes quantitative in the large-k limit. Distance properties, as well the x-satisfiability threshold, are studied. The model is also generalized to define a continuous energy landscape useful for studying several aspects of glassy dynamics.Comment: 21 pages, 4 figure

Handoffs and Transitions in Critical Care (HATRICC): Protocol for a Mixed Methods Study of Operating Room to Intensive Care Unit Handoffs

Background: Operating room to intensive care unit handoffs are high-risk events for critically ill patients. Studies in selected patient populations show that standardizing operating room to intensive care unit handoffs improves information exchange and decreases errors. To adapt these findings to mixed surgical populations, we propose to study the implementation of a standardized operating room to intensive care unit handoff process in two intensive care units currently without an existing standard process. Methods/Design: The Handoffs and Transitions in Critical Care (HATRICC) study is a hybrid effectiveness- implementation trial of operating room to intensive care unit handoffs. We will use mixed methods to conduct a needs assessment of the current handoff process, adapt published handoff processes, and implement a new standardized handoff process in two academic intensive care units. Needs assessment: We will use non-participant observation to observe the current handoff process. Focus groups, interviews, and surveys of clinicians will elicit participants’ impressions about the current process. Adaptation and implementation: We will adapt published standardized handoff processes using the needs assessment findings. We will use small group simulation to test the new process’ feasibility. After simulation, we will incorporate the new handoff process into the clinical work of all providers in the study units. Evaluation: Using the same methods employed in the needs assessment phase, we will evaluate use of the new handoff process. Data analysis: The primary effectiveness outcome is the number of information omissions per handoff episode as compared to the pre-intervention period. Additional intervention outcomes include patient intensive care unit length of stay and intensive care unit mortality. The primary implementation outcome is acceptability of the new process. Additional implementation outcomes include feasibility, fidelity and sustainability. Discussion: The HATRICC study will examine the effectiveness and implementation of a standardized operating room to intensive care unit handoff process. Findings from this study have the potential to improve healthcare communication and outcomes for critically ill patients. Trial registration: ClinicalTrials.gov identifier: NCT02267174. Date of registration October 16, 2014

An Efficient Attack on All Concrete KKS Proposals

International audienceKabastianskii, Krouk and Smeets proposed in 1997 a digital signature scheme based on a couple of random error-correcting codes. A variation of this scheme was proposed recently and was proved to be EUF-1CMA secure in the random oracle model. In this paper we investigate the security of these schemes and suggest a simple attack based on (essentially) Stern's algorithm for finding low weight codewords. It efficiently recovers the private key of all schemes of this type existing in the literature. This is basically due to the fact that we can define a code from the available public data with unusual properties: it has many codewords whose support is concentrated in a rather small subset. In such a case, Stern's algorithm performs much better and we provide a theoretical analysis substantiating this claim. Our analysis actually shows that the insecurity of the proposed parameters is related to the fact that the rates of the couple of random codes used in the scheme were chosen to be too close. This does not compromise the security of the whole KKS scheme. It just points out that the region of weak parameters is really much larger than previously thought

Minimal state models for ionic channels involved in glucagon secretion

Pancreatic alpha cells synthesize and release glucagon. This hormone along with insulin, preserves blood glucose levels within a physiological range. During low glucose levels, alpha cells exhibit electrical activity related to glucagon secretion. In this paper, we introduce minimal state models for those ionic channels involved in this electrical activity in mice alpha cells. For estimation of model parameters, we use Monte Carlo algorithms to fit steadystate channel currents. Then, we simulate dynamic ionic currents following experimental protocols. Our aims are 1) To understand the individual ionic channel functioning and modulation that could affect glucagon secretion, and 2) To simulate ionic currents actually measured in voltage-clamp alpha-cell experiments in mice. Our estimations indicate that alpha cells are highly permeable to sodium and potassium which mainly manage action potentials. We have also found that our estimated N-type calcium channel population and density in alpha cells is in good agreement to those reported for L-type calcium channels in beta cells. This finding is strongly relevant since both, L-type and N-type calcium channels, play a main role in insulin and glucagon secretion, respectively

Multivesicular exocytosis in rat pancreatic beta cells

AIMS/HYPOTHESIS: To establish the occurrence, modulation and functional significance of compound exocytosis in insulin-secreting beta cells. METHODS: Exocytosis was monitored in rat beta cells by electrophysiological, biochemical and optical methods. The functional assays were complemented by three-dimensional reconstruction of confocal imaging, transmission and block face scanning electron microscopy to obtain ultrastructural evidence of compound exocytosis. RESULTS: Compound exocytosis contributed marginally (<5% of events) to exocytosis elicited by glucose/membrane depolarisation alone. However, in beta cells stimulated by a combination of glucose and the muscarinic agonist carbachol, 15-20% of the release events were due to multivesicular exocytosis, but the frequency of exocytosis was not affected. The optical measurements suggest that carbachol should stimulate insulin secretion by ∼40%, similar to the observed enhancement of glucose-induced insulin secretion. The effects of carbachol were mimicked by elevating [Ca(2+)](i) from 0.2 to 2 μmol/l Ca(2+). Two-photon sulforhodamine imaging revealed exocytotic events about fivefold larger than single vesicles and that these structures, once formed, could persist for tens of seconds. Cells exposed to carbachol for 30 s contained long (1-2 μm) serpentine-like membrane structures adjacent to the plasma membrane. Three-dimensional electron microscopy confirmed the existence of fused multigranular aggregates within the beta cell, the frequency of which increased about fourfold in response to stimulation with carbachol. CONCLUSIONS/INTERPRETATION: Although contributing marginally to glucose-induced insulin secretion, compound exocytosis becomes quantitatively significant under conditions associated with global elevation of cytoplasmic calcium. These findings suggest that compound exocytosis is a major contributor to the augmentation of glucose-induced insulin secretion by muscarinic receptor activation