Using secret sharing for searching in encrypted data

When outsourcing data to an untrusted database server, the data should be encrypted. When using thin clients or low-bandwidth networks it is best to perform most of the work at the server. We present a method, inspired by secure multi-party computation, to search efficiently in encrypted data. XML elements are translated to polynomials. A polynomial is split into two parts: a random polynomial for the client and the difference between the original polynomial and the client polynomial for the server. Since the client polynomials are generated by a random sequence generator only the seed has to be stored on the client. In a combined effort of both the server and the client a query can be evaluated without traversing the whole tree and without the server learning anything about the data or the query

Eccentricity Evolution for Planets in Gaseous Disks

We investigate the hypothesis that interactions between a giant planet and the disk from which it forms promote eccentricity growth. These interactions are concentrated at discrete Lindblad and corotation resonances. Interactions at principal Lindblad resonances cause the planet's orbit to migrate and open a gap in the disk if the planet is sufficiently massive. Those at first order Lindblad and corotation resonances change the planet's orbital eccentricity. Eccentricity is excited by interactions at external Lindblad resonances which are located on the opposite side of corotation from the planet, and damped by co-orbital Lindblad resonances which overlap the planet's orbit. If the planet clears a gap in the disk, the rate of eccentricity damping by co-orbital Lindblad resonances is reduced. Density gradients associated with the gap activate eccentricity damping by corotation resonances at a rate which initially marginally exceeds that of eccentricity excitation by external Lindblad resonances. But the corotation torque drives a mass flux which reduces the density gradient near the resonance. Sufficient partial saturation of corotation resonances can tip the balance in favor of eccentricity excitation. A minimal initial eccentricity of a few percent is required to overcome viscous diffusion which acts to unsaturate corotation resonances by reestablishing the large scale density gradient. Thus eccentricity growth is a finite amplitude instability. Formally, interactions at the apsidal resonance, which is a special kind of co-orbital Lindblad resonance, appears to damp eccentricity faster than external Lindblad resonances can excite it. However, apsidal waves have such long wavelengths that they do not propagate in protoplanetary disks. This reduces eccentricity damping by the apsidal resonance to a modest level.Comment: Submitted to Ap

Tidal friction in early-type stars

The tidal torque on an early-type star is concentrated near the boundary between the convective core and radiative envelope and a train of gravity waves is excited there. The angular momentum which the torque removes from the fluid is transported outward by the gravity waves, which carry negative angular momentum. Before the surface layers are despun to synchronous rotation, the gravity waves propagate to just below the photosphere where they suffer radiative damping and are partially reflected. It is here that the negative angular momentum is deposited and the primary tidal despinning takes place. The surface layers cannot be spun down below synchronous rotation because as a train of gravity waves approaches a corotation resonance its group velocity and wavelength tend to zero, its amplitude diverges, and it is completely absorbed. Thus, tidal despinning to synchronous rotation proceeds from the outside toward the inside of the star. Our picture provides a neat explanation for the otherwise puzzling discovery by Giuricin, Mardirossian, and Mezzetti that Zahn's theory for tidal evolution in early-type close binaries seems to be compatible with the observed rates of orbit circularization while significantly underestimating the observed rates of spin synchronization

Tides in rotating fluids

We consider the tidal disturbance forced in a differentially rotating fluid by a rigidly rotating external potential. The fluid is assumed to be inviscid, insulated, and self-gravitating, and to have laminar unperturbed and perturbed velocity fields. The external potential may exert a steady torque on the fluid which is of second order in Its strength. However, to this order, we prove that there are no secular changes in the angular momenta of fluid particles, except possibly at corotation where the angular velocity, Ω(r,θ), is equal to the pattern speed of the potential, Ω_p. A corollary of our theorem is that, except at corotation, all of the angular momentum transferred to the fluid by the external potential must be transported away by internal stresses. In the applications of which we are aware, these stresses are associated with waves

On disc driven inward migration of resonantly coupled planets with application to the system around GJ876

We consider two protoplanets gravitationally interacting with each other and a protoplanetary disc. The two planets orbit interior to a tidally maintained disc cavity while the disc interaction indices inward migration. When the migration is slow enough, the more rapidly migrating outer protoplanet approaches and becomes locked in a 2:1 commensurability with the inner one. This is maintained in subsequent evolution. We study this evolution using a simple anaytic model, full hydrodynamic 2D simulations of the disc planet system and longer time N body integrations incorporating simple prescriptions for the effect of the disc on the planet orbits. The eccentricity of the protoplanets are found to be determined by the migration rate induced in the outer planet orbit by the external disc. We apply our results to the recently discovered resonant planets around GJ876. Simulation shows that a disc with parameters expected for protoplanetary discs causes trapping in the 2:1 commensurability when the planets orbit in an inner cavity and that eccentricities in the observed range may be obtained.Comment: 8 pages, 5 figures, submitted to A&A on 30/03/200

Linear polarization of radio frequency lines in molecular clouds and circumstellar envelopes

We predict that interstellar lines possess a few percent linear polarization provided that the optical depth in the source region is both anisotropic and of order unity and the radiative rates are at least comparable to the collision rates. These conditions are expected to be met in many sources which emit radio and far-infrared line radiation. Under circumstances in which the Zeeman splitting exceeds both the radiative and collisional rates the linear polarization is aligned either parallel or perpendicular to the projection of the magnetic field on the plane of the sky. This "strong magnetic field" limit is expected to apply to all radio frequency lines and to many of those far infrared lines which form between levels whose magnetic moments are comparable to the Bohr magneton. The "weak magnetic field" limit is relevant to most far-infrared lines formed between levels with magnetic moments of order the nuclear magneton. In this limit the polarization direction is determined by the orientation of the propagation direction with respect to the anisotropic optical depth

The Melbourne Shuffle: Improving Oblivious Storage in the Cloud

We present a simple, efficient, and secure data-oblivious randomized shuffle algorithm. This is the first secure data-oblivious shuffle that is not based on sorting. Our method can be used to improve previous oblivious storage solutions for network-based outsourcing of data

Nonlinear Outcome of Gravitational Instability in Disks with Realistic Cooling

We consider the nonlinear outcome of gravitational instability in optically thick disks with a realistic cooling function. We use a numerical model that is local, razor-thin, and unmagnetized. External illumination is ignored. Cooling is calculated from a one-zone model using analytic fits to low temperature Rosseland mean opacities. The model has two parameters: the initial surface density Sigma_0 and the rotation frequency Omega. We survey the parameter space and find: (1) The disk fragments when t_c,eff Omega = 1, where t_c,eff is an effective cooling time defined as the average internal energy of the model divided by the average cooling rate. This is consistent with earlier results that used a simplified cooling function. (2) The initial cooling time t_c0 or a uniform disk with Q = 1 can differ by orders of magnitude from t_c,eff in the nonlinear outcome. The difference is caused by sharp variations in the opacity with temperature. The condition t_c0 Omega = 1 therefore does not necessarily indicate where fragmentation will occur. (3) The largest difference between t_c,eff and t_c0 is near the opacity gap, where dust is absent and hydrogen is largely molecular. (4) In the limit of strong illumination the disk is isothermal; we find that an isothermal version of our model fragments for Q < 1.4. Finally, we discuss some physical processes not included in our model, and find that most are likely to make disks more susceptible to fragmentation. We conclude that disks with t_c,eff Omega < 1 do not exist.Comment: 30 pages, 12 figure

Predictable arguments of knowledge

We initiate a formal investigation on the power of predictability for argument of knowledge systems for NP. Specifically, we consider private-coin argument systems where the answer of the prover can be predicted, given the private randomness of the verifier; we call such protocols Predictable Arguments of Knowledge (PAoK). Our study encompasses a full characterization of PAoK, showing that such arguments can be made extremely laconic, with the prover sending a single bit, and assumed to have only one round (i.e., two messages) of communication without loss of generality. We additionally explore PAoK satisfying additional properties (including zero-knowledge and the possibility of re-using the same challenge across multiple executions with the prover), present several constructions of PAoK relying on different cryptographic tools, and discuss applications to cryptography

Testing formula satisfaction

We study the query complexity of testing for properties defined by read once formulae, as instances of massively parametrized properties, and prove several testability and non-testability results. First we prove the testability of any property accepted by a Boolean read-once formula involving any bounded arity gates, with a number of queries exponential in \epsilon and independent of all other parameters. When the gates are limited to being monotone, we prove that there is an estimation algorithm, that outputs an approximation of the distance of the input from satisfying the property. For formulae only involving And/Or gates, we provide a more efficient test whose query complexity is only quasi-polynomial in \epsilon. On the other hand we show that such testability results do not hold in general for formulae over non-Boolean alphabets; specifically we construct a property defined by a read-once arity 2 (non-Boolean) formula over alphabets of size 4, such that any 1/4-test for it requires a number of queries depending on the formula size