On the robustness of Herlihy's hierarchy

A wait-free hierarchy maps object types to levels in Z(+) U (infinity) and has the following property: if a type T is at level N, and T' is an arbitrary type, then there is a wait-free implementation of an object of type T', for N processes, using only registers and objects of type T. The infinite hierarchy defined by Herlihy is an example of a wait-free hierarchy. A wait-free hierarchy is robust if it has the following property: if T is at level N, and S is a finite set of types belonging to levels N - 1 or lower, then there is no wait-free implementation of an object of type T, for N processes, using any number and any combination of objects belonging to the types in S. Robustness implies that there are no clever ways of combining weak shared objects to obtain stronger ones. Contrary to what many researchers believe, we prove that Herlihy's hierarchy is not robust. We then define some natural variants of Herlihy's hierarchy, which are also infinite wait-free hierarchies. With the exception of one, which is still open, these are not robust either. We conclude with the open question of whether non-trivial robust wait-free hierarchies exist

N=1, D=3 Superanyons, osp(2|2) and the Deformed Heisenberg Algebra

We introduce N=1 supersymmetric generalization of the mechanical system describing a particle with fractional spin in D=1+2 dimensions and being classically equivalent to the formulation based on the Dirac monopole two-form. The model introduced possesses hidden invariance under N=2 Poincar\'e supergroup with a central charge saturating the BPS bound. At the classical level the model admits a Hamiltonian formulation with two first class constraints on the phase space $T^*(R^{1,2})\times {\cal L}^{1|1}$, where the K\"ahler supermanifold ${\cal L}^{1|1}\cong OSp(2|2)/U(1|1)$ is a minimal superextension of the Lobachevsky plane. The model is quantized by combining the geometric quantization on ${\cal L}^{1|1}$ and the Dirac quantization with respect to the first class constraints. The constructed quantum theory describes a supersymmetric doublet of fractional spin particles. The space of quantum superparticle states with a fixed momentum is embedded into the Fock space of a deformed harmonic oscillator.Comment: 23 pages, Late

K0ΛK^0\Lambda Photoproduction with Nucleon Resonances

We investigate the reaction mechanism of $K^0 \Lambda$ photoproduction off the neutron target, i.e., $\gamma n \to K^0 \Lambda$, in the range of $W\approx 1.6-2.2$ GeV. We employ an effective Lagrangian method at the tree-level Born approximation combining with a Regge approach. As a background, the $K^*$-Reggeon trajectory is taken into account in the $t$ channel and $\Lambda$ and $\Sigma$ hyperons in the $u$-channel Feynman diagram. In addition, the role of various nucleon resonances listed in the Particle Data Group (PDG) is carefully scrutinized in the $s$ channel where the resonance parameters are extracted from the experimental data and constituent quark model. We present our numerical results of the total and differential cross sections and compare them with the recent CLAS data. The effect of the narrow nucleon resonance $N(1685,1/2^+)$ on cross sections is studied in detail and it turns out that its existence is essential in $K^0 \Lambda$ photoproduction to reproduce the CLAS data.Comment: 4 pages, 3 figures, Proceedings of "8th International Conference on Quarks and Nuclear Physics (QNP2018)", November 13-17, 2018, Tsukuba, Japa

Signcryption schemes with threshold unsigncryption, and applications

The final publication is available at link.springer.comThe goal of a signcryption scheme is to achieve the same functionalities as encryption and signature together, but in a more efficient way than encrypting and signing separately. To increase security and reliability in some applications, the unsigncryption phase can be distributed among a group of users, through a (t, n)-threshold process. In this work we consider this task of threshold unsigncryption, which has received very few attention from the cryptographic literature up to now (maybe surprisingly, due to its potential applications). First we describe in detail the security requirements that a scheme for such a task should satisfy: existential unforgeability and indistinguishability, under insider chosen message/ciphertext attacks, in a multi-user setting. Then we show that generic constructions of signcryption schemes (by combining encryption and signature schemes) do not offer this level of security in the scenario of threshold unsigncryption. For this reason, we propose two new protocols for threshold unsigncryption, which we prove to be secure, one in the random oracle model and one in the standard model. The two proposed schemes enjoy an additional property that can be very useful. Namely, the unsigncryption protocol can be divided in two phases: a first one where the authenticity of the ciphertext is verified, maybe by a single party; and a second one where the ciphertext is decrypted by a subset of t receivers, without using the identity of the sender. As a consequence, the schemes can be used in applications requiring some level of anonymity, such as electronic auctions.Peer ReviewedPostprint (author's final draft

The global mean sea surface model WHU2013

AbstractThe mean sea surface (MSS) model is an important reference for the study of charting datum and sea level change. A global MSS model named WHU2013, with 2′ × 2′ spatial resolution between 80°S and 84°N, is established in this paper by combining nearly 20 years of multi-satellite altimetric data that include Topex/Poseidon (T/P), Jason-1, Jason-2, ERS-2, ENVISAT and GFO Exact Repeat Mission (ERM) data, ERS-1/168, Jason-1/C geodetic mission data and Cryosat-2 low resolution mode (LRM) data. All the ERM data are adjusted by the collinear method to achieve the mean along-track sea surface height (SSH), and the combined dataset of T/P, Jason-1 and Jason-2 from 1993 to 2012 after collinear adjustment is used as the reference data. The sea level variations in the non-ERM data (geodetic mission data and LRM data) are mainly investigated, and a combined method is proposed to correct the sea level variations between 66°S and 66°N by along-track sea level variation time series and beyond 66°S or 66°N by seasonal sea level variations. In the crossover adjustment between multi-altimetric data, a stepwise method is used to solve the problem of inconsistency in the reference data between the high and low latitude regions. The proposed model is compared with the CNES-CLS2011 and DTU13 MSS models, and the standard derivation (STD) of the differences between the models is about 5 cm between 80°S and 84°N, less than 3 cm between 66°S and 66°N, and less than 4 cm in the China Sea and its adjacent sea. Furthermore, the three models exhibit a good agreement in the SSH differences and the along-track gradient of SSH following comparisons with satellite altimetry data

Editorial Board

Aim: Cardiac troponins and natriuretic peptides are established for risk stratification in light-chain amyloidosis. Data on cardiac biomarkers in transthyretin amyloidosis (ATTR) are lacking. Methods and results: Patients (n = 1617) with any of the following cardiac biomarkers, BNP (n = 1079), NT-proBNP (n = 550), troponin T (n = 274), and troponin I (n = 108), available at baseline in the Transthyretin Amyloidosis Outcomes Survey (THAOS) were analyzed for differences between genotypes and phenotypes and their association with survival. Median level of BNP was 68.0 pg/mL (IQR 30.5–194.9), NT-proBNP 337.9 pg/mL (IQR 73.0–2584.0), troponin T 0.03 μg/L (IQR 0.01–0.05), and troponin I 0.08 μg/L (IQR 0.04–0.13). NT-proBNP and BNP were higher in wild-type than mutant-type ATTR, troponin T and I did not differ, respectively. Non-Val30Met patients had higher BNP, NT-proBNP and troponin T levels than Val30Met patients, but not troponin I. Late-onset Val30Met was associated with higher levels of troponin I and troponin T compared with early-onset. 115 patients died during a median follow-up of 1.2 years. Mortality increased with increasing quartiles (BNP/NT-proBNP Q1 = 1.7%, Q2 = 5.2%, Q3 = 21.7%, Q4 = 71.3%; troponin T/I Q1 = 6.5%, Q2 = 14.5%, Q3 = 33.9%, Q4 = 45.2%). Three-year overall-survival estimates for BNP/NT-proBNP and troponin T/I quartiles differed significantly (p<0.001). Stepwise risk stratification was achieved by combining NT-proBNP/BNP and troponin T/I. From Cox proportional hazards model, age, modified body mass index, mutation (Val30Met vs. Non-Val30Met) and BNP/NT-proBNP (Q1–Q3 pooled vs. Q4) were identified as independent predictors of survival in patients with mutant-type ATTR. Conclusions: In this ATTR patient cohort, cardiac biomarkers were abnormal in a substantial percentage of patients irrespective of genotype. Along with age, mBMI, and mutation (Val30Met vs. Non-Val30Met), cardiac biomarkers were associated with surrogates of disease severity with BNP/NT-proBNP identified as an independent predictor of survival in ATTR

A Szemeredi-Trotter type theorem in R4\mathbb{R}^4

We show that $m$ points and $n$ two-dimensional algebraic surfaces in $\mathbb{R}^4$ can have at most $O(m^{\frac{k}{2k-1}}n^{\frac{2k-2}{2k-1}}+m+n)$ incidences, provided that the algebraic surfaces behave like pseudoflats with $k$ degrees of freedom, and that $m\leq n^{\frac{2k+2}{3k}}$. As a special case, we obtain a Szemer\'edi-Trotter type theorem for 2--planes in $\mathbb{R}^4$, provided $m\leq n$ and the planes intersect transversely. As a further special case, we obtain a Szemer\'edi-Trotter type theorem for complex lines in $\mathbb{C}^2$ with no restrictions on $m$ and $n$ (this theorem was originally proved by T\'oth using a different method). As a third special case, we obtain a Szemer\'edi-Trotter type theorem for complex unit circles in $\mathbb{C}^2$. We obtain our results by combining several tools, including a two-level analogue of the discrete polynomial partitioning theorem and the crossing lemma.Comment: 50 pages. V3: final version. To appear in Discrete and Computational Geometr