-
Darlin: Recursive Proofs using Marlin
Authors:
Ulrich Haböck,
Alberto Garoffolo,
Daniele Di Benedetto
Abstract:
This document describes Darlin, a succinct zero-knowledge argument of knowledge based on the Marlin SNARK (Chiesa et al., Eurocrypt 2020) and the `dlog' polynomial commitment scheme from Bootle et al. EUROCRYPT 2016. Darlin addresses recursive proofs by integrating the amortization technique from Halo (IACR eprint 2019/099) for the non-succinct parts of the dlog verifier, and we adapt their strate…
▽ More
This document describes Darlin, a succinct zero-knowledge argument of knowledge based on the Marlin SNARK (Chiesa et al., Eurocrypt 2020) and the `dlog' polynomial commitment scheme from Bootle et al. EUROCRYPT 2016. Darlin addresses recursive proofs by integrating the amortization technique from Halo (IACR eprint 2019/099) for the non-succinct parts of the dlog verifier, and we adapt their strategy for bivariate circuit encoding polynomials to aggregate Marlin's inner sumchecks across the nodes the recursive scheme. We estimate the performance impact of inner sumcheck aggregation by about 30% in a tree-like scheme of in-degree 2, and beyond when applied to linear recursion.
△ Less
Submitted 1 October, 2021; v1 submitted 9 July, 2021;
originally announced July 2021.
-
On the classification problem of matrix distributions of measurable functions in several variables
Authors:
A. Vershik,
U. Haböck
Abstract:
We resume the results from \cite{Vershik FA} on the classification of measurable functions in several variables, with some minor corrections of purely technical nature, and give a partial solution to the characterization problem of so--called matrix distributions, which are the metric invariants of measurable functions introduced in \cite{Vershik FA}. The characterization of these invariants of th…
▽ More
We resume the results from \cite{Vershik FA} on the classification of measurable functions in several variables, with some minor corrections of purely technical nature, and give a partial solution to the characterization problem of so--called matrix distributions, which are the metric invariants of measurable functions introduced in \cite{Vershik FA}. The characterization of these invariants of the ergodic measures on the space of matrices is closely related to Aldous' and Hoover's representation of row-- and column--exchangable distributions \cite{Aldous1981,Hoover1982}, but not in such an obvious way as was initially expected in \cite{Vershik FA}.
△ Less
Submitted 17 December, 2015;
originally announced December 2015.
-
Recurrence of the twisted planar random walk
Authors:
U. Haboeck
Abstract:
We show that the "twisted" planar random walk - which results by summing up stationary increments rotated by multiples of a fixed angle - is recurrent under diverse assumptions on the increment process. For example, if the increment process is alpha-mixing and of finite second moment, then the twisted random walk is recurrent for every angle fixed choice of the angle out of a set of full Lebesgu…
▽ More
We show that the "twisted" planar random walk - which results by summing up stationary increments rotated by multiples of a fixed angle - is recurrent under diverse assumptions on the increment process. For example, if the increment process is alpha-mixing and of finite second moment, then the twisted random walk is recurrent for every angle fixed choice of the angle out of a set of full Lebesgue measure, no matter how slow the mixing coefficients decay.
△ Less
Submitted 5 March, 2008;
originally announced March 2008.
-
Non-abelian extensions of minimal rotations
Authors:
Ulrich Haboeck,
Vyacheslav Kulagin
Abstract:
We consider continuous extensions of minimal rotations on a locally connected compact group X by arbitrary locally compact Lie groups and prove regularity (i.e. the existence of orbit closures which project onto the whole basis X) in certain special situations beyond the already known nilpotent case. We further discuss an open question on cocycles acting on homogeneous spaces which seems to be t…
▽ More
We consider continuous extensions of minimal rotations on a locally connected compact group X by arbitrary locally compact Lie groups and prove regularity (i.e. the existence of orbit closures which project onto the whole basis X) in certain special situations beyond the already known nilpotent case. We further discuss an open question on cocycles acting on homogeneous spaces which seems to be the missing key for a general regularity theorem.
△ Less
Submitted 17 April, 2008; v1 submitted 29 February, 2008;
originally announced February 2008.
-
Nilpotent extensions of minimal homeomorphisms
Authors:
Gernot Greschonig,
Ulrich Haboeck
Abstract:
In this paper we study topological cocycles for minimal homeomorphisms on a compact metric space. We introduce a notion of an essential range for topological cocycles with values in a locally compact group, and we show that this notion coincides with the well known topological essential range if the group is abelian. We define then a regularity condition for cocycles and prove several results on…
▽ More
In this paper we study topological cocycles for minimal homeomorphisms on a compact metric space. We introduce a notion of an essential range for topological cocycles with values in a locally compact group, and we show that this notion coincides with the well known topological essential range if the group is abelian. We define then a regularity condition for cocycles and prove several results on the essential ranges and the orbit closures of the skew product of regular cocycles. Furthermore we show that recurrent cocycles for a minimal rotation on a locally connected compact group are always regular, supposed that their ranges are in a nilpotent group, and then their essential ranges are almost connected.
△ Less
Submitted 20 February, 2005;
originally announced February 2005.
-
Magneto-Optical Properties of Bound Excitons in ZnO
Authors:
A. V. Rodina,
M. Strassburg,
M. Dworzak,
U. Haboeck,
A. Hoffmann,
A. Zeuner,
H. R. Alves,
D. M. Hofmann,
B. K. Meyer
Abstract:
We present results of magneto-optical measurements and theoretical analysis of shallow bound exciton complexes in bulk ZnO. Polarization and angular dependencies of magneto-photoluminescence spectra at 5 T suggest that the upper valence band has $Γ_7$ symmetry. Nitrogen doping leads to the formation of an acceptor center that compensates shallow donors. This is confirmed by the observation of ex…
▽ More
We present results of magneto-optical measurements and theoretical analysis of shallow bound exciton complexes in bulk ZnO. Polarization and angular dependencies of magneto-photoluminescence spectra at 5 T suggest that the upper valence band has $Γ_7$ symmetry. Nitrogen doping leads to the formation of an acceptor center that compensates shallow donors. This is confirmed by the observation of excitons bound to ionized donors in nitrogen doped ZnO. The strongest transition in the ZnO:N ($I_9$ transition) is associated with a donor bound exciton. This conclusion is based on its thermalization behavior in temperature-dependent magneto-transmission measurements and is supported by comparison of the thermalization properties of the $I_9$ and $I_4$ emission lines in temperature-dependent magneto-photoluminescence investigations.
△ Less
Submitted 15 August, 2003;
originally announced August 2003.
-
Exchange instability of the two-dimensional electron gas in semiconductor quantum wells
Authors:
A. R. Goñi,
U. Haboeck,
C. Thomsen,
K. Eberl,
F. A. Reboredo,
C. R. Proetto,
F. Guinea
Abstract:
A two-dimensional (2D) electron gas formed in a modulation-doped GaAs/AlGaAs single quantum well undergoes a first-order transition when the first excited subband is occupied with electrons, as the Fermi level is tuned into resonance with the excited subband by applying a dc voltage. Direct evidence for this effect is obtained from low-temperature photoluminescence spectra which display the sudd…
▽ More
A two-dimensional (2D) electron gas formed in a modulation-doped GaAs/AlGaAs single quantum well undergoes a first-order transition when the first excited subband is occupied with electrons, as the Fermi level is tuned into resonance with the excited subband by applying a dc voltage. Direct evidence for this effect is obtained from low-temperature photoluminescence spectra which display the sudden renormalization of the intersubband energy $E_{01}$ upon the abrupt occupation of the first excited subband. Calculations within density-functional theory, which treat the 2D exchange potential {\it exactly}, show that this thermodynamical instability of the electron system is mainly driven by {\it intersubband} terms of the exchange Coulomb interaction. From temperature-dependent measurements the existence of a critical point at $T_c = 35\pm 5$ K is inferred.
△ Less
Submitted 22 June, 2001;
originally announced June 2001.
