New Program Abstractions for Privacy

Static program analysis, once seen primarily as a tool for optimising programs, is now increasingly important as a means to provide quality guarantees about programs. One measure of quality is the extent to which programs respect the privacy of user data. Differential privacy is a rigorous quantified definition of privacy which guarantees a bound on the loss of privacy due to the release of statistical queries. Among the benefits enjoyed by the definition of differential privacy are compositionality properties that allow differentially private analyses to be built from pieces and combined in various ways. This has led to the development of frameworks for the construction of differentially private program analyses which are private-by-construction. Past frameworks assume that the sensitive data is collected centrally, and processed by a trusted curator. However, the main examples of differential privacy applied in practice - for example in the use of differential privacy in Google Chrome’s collection of browsing statistics, or Apple’s training of predictive messaging in iOS 10 -use a purely local mechanism applied at the data source, thus avoiding the collection of sensitive data altogether. While this is a benefit of the local approach, with systems like Apple’s, users are required to completely trust that the analysis running on their system has the claimed privacy properties. In this position paper we outline some key challenges in developing static analyses for analysing differential privacy, and propose novel abstractions for describing the behaviour of probabilistic programs not previously used in static analyses

Gauging of 1d-space translations for nonrelativistic point particles

Gauging of space translations for nonrelativistic point particles in one dimension leads to general coordinate transformations with fixed Newtonian time. The minimal gauge invariant extension of the particle velocity requires the introduction of two gauge fields whose minimal self interaction leads to a Maxwellian term in the Lagrangean. No dilaton field is introduced. We fix the gauge such that the residual symmetry group is the Galilei group. In case of a line the two-particle reduced Lagrangean describes the motion in a Newtonian gravitational potential with strength proportional to the energy. For particles on a circle with certain initial conditions we only have a collective rotation with constant angular velocity.Comment: 10 pages, Late

Strategies for Probing CP Properties in the Top Quark System at e−e+e^-e^+ and Hadron Colliders

I discuss strategies for probing CP properties in the top quark system at $e^-e^+$ and hadron Colliders. The magnitudes of CP violation effects predicted by various models are reviewed. I also discuss the potential of various current and future colliders in measuring the CP asymmetry associated with the productions and/or decays of the top quarks.Comment: 20 pages, in LaTe

Automated attendance accounting system

An automated accounting system useful for applying data to a computer from any or all of a multiplicity of data terminals is disclosed. The system essentially includes a preselected number of data terminals which are each adapted to convert data words of decimal form to another form, i.e., binary, usable with the computer. Each data terminal may take the form of a keyboard unit having a number of depressable buttons or switches corresponding to selected data digits and/or function digits. A bank of data buffers, one of which is associated with each data terminal, is provided as a temporary storage. Data from the terminals is applied to the data buffers on a digit by digit basis for transfer via a multiplexer to the computer

Wein bridge oscillator circuit

Circuit with minimum number of components provides stable outputs of 2 to 8 volts at frequencies of .001 to 100 kHz. Oscillator exhibits low power consumption, portability, simplicity, and drive capability, it has application as loudspeaker tester and audible alarm, as well as in laboratory and test generators

The Seiberg-Witten map and supersymmetry

The lack of any local solution to the first-order-in-h omegamn Seiberg-Witten (SW) map equations for U(1) vector superfields compels us to obtain the most general solution to those equations that is a quadratic polynomial in the ordinary vector superfield, v, its chiral and antichiral projections and the susy covariant derivatives of them all. Furnished with this solution, which is local in the susy Landau gauge, we construct an ordinary dual of noncommutative U(1) SYM in terms of ordinary fields which carry a linear representation of the N=1 susy algebra. By using the standard SW map for the N=1 U(1) gauge supermultiplet we define an ordinary U(1) gauge theory which is dual to noncommutative U(1) SYM in the WZ gauge. We show that the ordinary dual so obtained is supersymmetric, for, as we prove as we go along, the ordinary gauge and fermion fields that we use to define it carry a nonlinear representation of the N=1 susy algebra. We finally show that the two ordinary duals of noncommutative U(1) SYM introduced above are actually the same N=1 susy gauge theory. We also show in this paper that the standard SW map is never the theta theta--bar component of a local superfield in v and check that, at least at a given approximation, a suitable field redefinition of that map makes the noncommutative and ordinary --in a Bmn field-- susy U(1) DBI actions equivalent.Comment: 28 pages. No figure

Numerical modeling of a table-top tunable Smith-Purcell Terahertz free-electron laser operating in the super-radiant regime

Terahertz (THz) radiation occupies a very large portion of the electromagnetic spectrum and has generated much recent interest due to its ability to penetrate deep into many organic materials without the damage associated with ionizing radiation such as x-rays. One path for generating copious amount of tunable narrow-band THz radiation is based on the Smith-Purcell free-electron laser (SPFEL) effect. In this Letter we propose a simple concept for a compact two-stage tunable SPFEL operating in the superradiant regime capable of radiating at the grating's fundamental bunching frequency. We demonstrate its capabilities and performances via computer simulation using the conformal finite-difference time-domain electromagnetic solver {\sc vorpal}.Comment: 4 pages, 5 figures, accepted for publication in Applied Physics Letter