Property (RD) for Hecke pairs

As the first step towards developing noncommutative geometry over Hecke C*-algebras, we study property (RD) (Rapid Decay) for Hecke pairs. When the subgroup H in a Hecke pair (G,H) is finite, we show that the Hecke pair (G,H) has (RD) if and only if G has (RD). This provides us with a family of examples of Hecke pairs with property (RD). We also adapt Paul Jolissant's works in 1989 to the setting of Hecke C*-algebras and show that when a Hecke pair (G,H) has property (RD), the algebra of rapidly decreasing functions on the set of double cosets is closed under holomorphic functional calculus of the associated (reduced) Hecke C*-algebra. Hence they have the same K_0-groups.Comment: A short note added explaining other methods to prove that the subalgebra of rapidly decreasing functions is smooth. This is the final version as published. The published version is available at: springer.co

Analytic curves in algebraic varieties over number fields

We establish algebraicity criteria for formal germs of curves in algebraic varieties over number fields and apply them to derive a rationality criterion for formal germs of functions, which extends the classical rationality theorems of Borel-Dwork and P\'olya-Bertrandias valid over the projective line to arbitrary algebraic curves over a number field. The formulation and the proof of these criteria involve some basic notions in Arakelov geometry, combined with complex and rigid analytic geometry (notably, potential theory over complex and $p$-adic curves). We also discuss geometric analogues, pertaining to the algebraic geometry of projective surfaces, of these arithmetic criteria.Comment: 55 pages. To appear in "Algebra, Arithmetic, and Geometry: In Honor of Y.i. Manin", Y. Tschinkel & Yu. Manin editors, Birkh\"auser, 200

Monitoring Partially Synchronous Distributed Systems using SMT Solvers

In this paper, we discuss the feasibility of monitoring partially synchronous distributed systems to detect latent bugs, i.e., errors caused by concurrency and race conditions among concurrent processes. We present a monitoring framework where we model both system constraints and latent bugs as Satisfiability Modulo Theories (SMT) formulas, and we detect the presence of latent bugs using an SMT solver. We demonstrate the feasibility of our framework using both synthetic applications where latent bugs occur at any time with random probability and an application involving exclusive access to a shared resource with a subtle timing bug. We illustrate how the time required for verification is affected by parameters such as communication frequency, latency, and clock skew. Our results show that our framework can be used for real-life applications, and because our framework uses SMT solvers, the range of appropriate applications will increase as these solvers become more efficient over time.Comment: Technical Report corresponding to the paper accepted at Runtime Verification (RV) 201

Geodesic equations and algebro-geometric methods

For an investigation of the physical properties of gravitational fields the observation of massive test particles and light is very useful. The characteristic features of a given space-time may be decoded by studying the complete set of all possible geodesic motions. Such a thorough analysis can be accomplished most effectively by using analytical methods to solve the geodesic equation. In this contribution, the use of elliptic functions and their generalizations for solving the geodesic equation in a wide range of well known space-times, which are part of the general Pleba\'nski-Demia\'nski family of solutions, will be presented. In addition, the definition and calculation of observable effects like the perihelion shift will be presented and further applications of the presented methods will be outlined.Comment: 8 pages, no figures; based on presentation at the conference "Relativity and Gravitation: 100 Years after Einstein in Prague," Prague, 2012. Relativity and Gravitation, volume 157 of Springer Proceedings in Physics, p 91. Springer International Publishing, 201

FSPVDsse: A Forward Secure Publicly Verifiable Dynamic SSE scheme

A symmetric searchable encryption (SSE) scheme allows a client (data owner) to search on encrypted data outsourced to an untrusted cloud server. The search may either be a single keyword search or a complex query search like conjunctive or Boolean keyword search. Information leakage is quite high for dynamic SSE, where data might be updated. It has been proven that to avoid this information leakage an SSE scheme with dynamic data must be forward private. A dynamic SSE scheme is said to be forward private, if adding a keyword-document pair does not reveal any information about the previous search result with that keyword. In SSE setting, the data owner has very low computation and storage power. In this setting, though some schemes achieve forward privacy with honest-but-curious cloud, it becomes difficult to achieve forward privacy when the server is malicious, meaning that it can alter the data. Verifiable dynamic SSE requires the server to give a proof of the result of the search query. The data owner can verify this proof efficiently. In this paper, we have proposed a generic publicly verifiable dynamic SSE (DSSE) scheme that makes any forward private DSSE scheme verifiable without losing forward privacy. The proposed scheme does not require any extra storage at owner-side and requires minimal computational cost as well for the owner. Moreover, we have compared our scheme with the existing results and show that our scheme is practical.Comment: 17 pages, Published in ProvSec 201

Space reactor electric systems: system integration studies, Phase 1 report

This report presents the results of preliminary space reactor electric system integration studies performed by Rockwell International's Energy Systems Group (ESG). The preliminary studies investigated a broad range of reactor electric system concepts for powers of 25 and 100 KWe. The purpose of the studies was to provide timely system information of suitable accuracy to support ongoing mission planning activities. The preliminary system studies were performed by assembling the five different subsystems that are used in a system: the reactor, the shielding, the primary heat transport, the power conversion-processing, and the heat rejection subsystems. The subsystem data in this report were largely based on Rockwell's recently prepared Subsystem Technology Assessment Report. Nine generic types of reactor subsystems were used in these system studies. Several levels of technology were used for each type of reactor subsystem. Seven generic types of power conversion-processing subsystems were used, and several levels of technology were again used for each type. In addition, various types and levels of technology were used for the shielding, primary heat transport, and heat rejection subsystems. A total of 60 systems were studied

Bounded version vectors

Version vectors play a central role in update tracking under optimistic distributed systems, allowing the detection of obsolete or inconsistent versions of replicated data. Version vectors do not have a bounded representation; they are based on integer counters that grow indefinitely as updates occur. Existing approaches to this problem are scarce; the mechanisms proposed are either unbounded or operate only under specific settings. This paper examines version vectors as a mechanism for data causality tracking and clarifies their role with respect to vector clocks. Then, it introduces bounded stamps and proves them to be a correct alternative to integer counters in version vectors. The resulting mechanism, bounded version vectors, represents the first bounded solution to data causality tracking between replicas subject to local updates and pairwise symmetrical synchronization.FCT project POSI/ICHS/44304/2002, FCT under grant BSAB/390/2003

Conformal field theory approach to gapless 1D fermion systems and application to the edge excitations of nu = 1/(2p+1) quantum Hall sequences

We present a comprehensive study of the effective Conformal Field Theory (CFT) describing the low energy excitations of a gas of spinless interacting fermions on a circle in the gapless regime (Luttinger liquid). Functional techniques and modular transformation properties are used to compute all correlation functions in a finite size and at finite temperature. Forward scattering disorder is treated exactly. Laughlin experiments on charge transport in a Quantum Hall Fluid on a cylinder are reviewed within this CFT framework. Edge excitations above a given bulk excitation are described by a twisted version of the Luttinger effective theory. Luttinger CFTs corresponding to the nu =1/(2p+1) filling fractions appear to be rational CFTs (RCFT). Generators of the extended symmetry algebra are identified as edge fermions creators and annihilators, thus giving a physical meaning to the RCFT point of view on edge excitations of these sequences.Comment: 69 pages, 1 figure, LaTeX2e + amstex and graphicx packages needed, fullpage.sty used (not compulsory

Majorations explicites de fonctions de Hilbert-Samuel géométrique et arithmétique

International audienceBy using the $\mathbb R$-filtration approach of Arakelov geometry, one establishes explicit upper bounds for geometric and arithmetic Hilbert-Samuel function for line bundles on projective varieties and hermitian line bundles on arithmetic projective varieties

Analysis of baseline parameters in the HALT polycystic kidney disease trials

HALT PKD consists of two ongoing randomized trials with the largest cohort of systematically studied patients with autosomal dominant polycystic kidney disease to date. Study A will compare combined treatment with an angiotensin-converting inhibitor and receptor blocker to inhibitor alone and standard compared with low blood pressure targets in 558 early-stage disease patients with an eGFR over 60ml/min per 1.73m2. Study B will compare inhibitor-blocker treatment to the inhibitor alone in 486 late-stage patients with eGFR 25–60ml/min per 1.73m2. We used correlation and multiple regression cross-sectional analyses to determine associations of baseline parameters with total kidney, liver, or liver cyst volumes measured by MRI in Study A and eGFR in both studies. Lower eGFR and higher natural log-transformed urine albumin excretion were independently associated with a larger natural log–transformed total kidney volume adjusted for height (ln(HtTKV)). Higher body surface area was independently associated with a higher ln(HtTKV) and lower eGFR. Men had larger height-adjusted total kidney volume and smaller liver cyst volumes than women. A weak correlation was found between the ln(HtTKV) and natural log–transformed total liver volume adjusted for height or natural log liver cyst volume in women only. Women had higher urine aldosterone excretion and lower plasma potassium. Thus, our analysis (1) confirms a strong association between renal volume and functional parameters, (2) shows that gender and other factors differentially affect the development of polycystic disease in the kidney and liver, and (3) suggests an association between anthropomorphic measures reflecting prenatal and/or postnatal growth and disease severity