This paper is a prequel to our recent work, "Equivariant Borel liftings in complex analysis and PDE" (arXiv:2507.12058). While the results presented here were established in that work in a more general and abstract setting, the purpose of this paper is to provide a direct proof of the equivariant Weierstrass theorem. It states that there exists a Borel map assigning to each non-periodic positive divisor $Î$ an entire function $F_Î$ such that the divisor of zeroes of $F_Î$ is $Î$ and such that $F_{Î-w}(z) = F_Î(z+w)$, $w\in\mathbb{C}$. In general, non-periodicity cannot be omitted, and Borel measurability cannot be strengthened to continuity. The two key ingredients are the Runge approximation theorem and the existence of "Borel toasts", which are Borel counterparts of Rokhlin towers from ergodic theory. We do not assume prior knowledge of descriptive set theory and have aimed to make the exposition self-contained, aside from several results taken from graduate textbooks.
We present an elementary proof that the asymptotic entropy of a random walk on a countable abelian group is zero when the entropy of the first step of the random walk is finite. Unlike the traditional proof, our approach does not rely on the boundary theory of random walks. To our best knowledge, our direct proof is new even for the group of integers.
We consider random trigonometric polynomials with general dependent coefficients. We show that under mild hypotheses on the structure of dependence, the asymptotics as the degree goes to infinity of the expected number of real zeros coincides with the independent case. To the best of our knowledge, this universality result is the first obtained in a non-Gaussian dependent context. Our proof highlights the robustness of real zeros, even in the presence of dependencies. These findings bring the behavior of random polynomials closer to real-world models, where dependencies between coefficients are common.
Electronic voting is one of the most interesting application of modern cryptography, as it involves many innovative tools (such as homomorphic public-key encryption, non-interactive zero-knowledge proofs, and distributed cryptography) to guarantee several a priori contradictory security properties: the integrity of the tally and the privacy of the individual votes. While many efficient solutions exist for honest-but-curious voters, that follow the official procedure but try to learn more than just the public result, preventing attacks from malicious voters is much more complex: when voters may have incentive to send biased ballots, the privacy of the ballots is much harder to satisfy, whereas this is the crucial security property for electronic voting. We present a new technique to prove that an ElGamal ciphertext contains a message from a specific subset (quasi-adaptive NIZK of subset membership), using linearly-homomorphic signatures. The proofs are both quite efficient to generate, allowing the use of low-power devices to vote, and randomizable, which is important for the strong receipt-freeness property. They are well-suited to prevent vote-selling and replay attacks, which are the main threats against the privacy in electronic voting, with security proofs in the generic group model and the random oracle model.
Proof-of-Stake (PoS) is often promised to decentralize the blockchain security over Proof-of-Work (PoW) by allowing more people to join without specialized mining hardware. However, there is no consensus in the literature on PoS's centralization, with strong arguments from both sides. Furthermore, theoretical models of PoS often assume very strong conditions that cannot be justified in practice. I relax these assumptions and derive a more realistic model that takes into account trading activity and fees. My model shows that the limiting distribution can be centralized regardless of the initial distribution, reconciling conclusions in prior studies.
This dissertation is concerned with the zeros of holomorphic Hecke cusp forms in the space of newforms. We estimate a lower bound for the number of zeros on the imaginary axis and on the vertical line R(z)=1/2 in the upper half plane, both of which are outside the unit circle centered at the origin, and we denote these by δ1 and δ2 respectively. Ghosh and Sarnak call those zeros that lie on the rays 'real' including the arc z=exp (iθ), Ď/3 ⤠θ ⤠Ď/2, and they showed that a lower bound for the zeros on those geodesic lines is C log k for all sufficiently large weight k for the level 1 case. We extend their results to the newforms with levels N which are positive integers not divisible by 4 on δ2, and N which are positive integers on δ1. On δ2 we have C log k zeros if the weight k is sufficiently large and on δ1 we assume a nonnegativity result on the first negative Hecke eigenvalue and get a conditional result C log k zeros as the weight k goes to infinity. The analysis is closely related to the knowledge of Hecke eigenvalues Îťf (n). Most importantly it requires Deligne's bound Îťf (n) n^e (for every e > 0) with which we look into the proof of Theorem 3.1 in Ghosh and Sarnak cite[1], and get the same the approximation theorem for any level in Chapter 2. The estimation of zeros on δ1 also requires a `good' upper bound for the first negative Hecke eigenvalue for which we investigate an upper bound for central values of Hecke L-functions and a nonnegativity result on those values. Those will be studied in Chapters 3 and 4. In Chapter 5 we estimate lower bounds for the number of zeros on δi , i = 1, 2.
The paper deals with cryptocurrencies and trading. Main goal of this article is to introduce strategy for automated trading on cryptocurrency exchange market. For this purpose we will use algorithm based of Floyd-Warshall algorithm. Article is introductory and can this method can be developed in the future. First, a general introduction to cryptocurrencies is given from the programmer's point of view, some statistics data and figure representing volatility of exchange. Then the article describes some basic strategies for automated trading. Also explained is the algorithm Floyd-Warshall and its modifications for automation arbitrage. An illustrative example is given and a trading algorithm is listed.
Hubert Lacoin, François Simenhaus, Fabio Lucio Toninelli
Let be a bounded, smooth enough domain of â 2 . For L > 0 consider the continuousâtime, zeroâtemperature heat bath stochastic dynamics for the nearestâneighbor Ising model on (â¤/ L ) 2 (the square lattice with lattice spacing 1/ L ) with initial condition such that Ď x =â1 if x â and Ď x = + 1 otherwise. We prove the following classical conjecture due to H. Spohn: In the diffusive limit where time is rescaled by L 2 and L â â, the boundary of the droplet of âââ spins follows a deterministic anisotropic curveâshortening flow such that the normal velocity is given by the local curvature times an explicit function of the local slope. Locally, in a suitable reference frame, the evolution of the droplet boundary follows the oneâdimensional heat equation. To our knowledge, this is the first proof of meanâcurvatureâtype droplet shrinking for a lattice model with genuine microscopic dynamics. An important ingredient is in our forthcoming work, where the case of convex was solved. The other crucial point in the proof is obtaining precise regularity estimates on the deterministic curveâshortening flow. This builds on geometric and analytic ideas of Grayson, Gage and Hamilton, Gage and Li, Chou and Zhu, and others.Š 2015 Wiley Periodicals, Inc.
Hubert Lacoin, François Simenhaus, Fabio, Lucio Toninelli
Let \mathcal D be a simply connected, smooth enough domain of \mathbb R^2 . For L>0 consider the continuous time, zero-temperature heat bath dynamics for the nearest-neighbor Ising model on \mathbb Z^2 with initial condition such that \sigma_x=-1 if x\in L\mathcal D and \sigma_x=+1 otherwise. It is conjectured [23] that, in the diffusive limit where space is rescaled by L , time by L^2 and L\to\infty , the boundary of the droplet of " - " spins follows a deterministic anisotropic curve-shortening flow, where the normal velocity at a point of its boundary is given by the local curvature times an explicit function of the local slope. The behavior should be similar at finite temperature T<T_c , with a different temperature-dependent anisotropy function. We prove this conjecture (at zero temperature) when \mathcal D is convex. Existence and regularity of the solution of the deterministic curve-shortening flow is not obvious a priori and is part of our result. To our knowledge, this is the first proof of mean curvature-type droplet shrinking for a model with genuine microscopic dynamics.
exists for every i (Theorem 9 of [3]).Following Levy the state i is called stable or instantaneous according as gt-as finite or infinite.We refer to [2 ] for the foundations of the theory of Markov chains under consideration.Although knowledge of these foundations will be necessary for a thorough understanding of what follows, we shall strive to make the present paper readable by itself.Let i be a stable state with q,>0; such a state always exists unless P{x(t) =x(0), 0^t<°° }=l [8, p. 375].Suppose that P{x(0)>=*} =1.LetX=X,(w) be the "first sojourn time" in the state i, namely the length of the first tinterval in which x(t, w)=i (seeTheorem 1 of [2]).Then P{\^t} =l-e~">', t^O [3, p. 54].Let j be an arbitrary state (not oo!) and defineIf J9*i, a is the "first entrance time intoj"; ii j = i, a is the "second entrance time into i" (the first being zero by hypothesis).It is easily shown that a is a random variable in the broad sense, namely a measurable w-iunction defined on a measurable w-set whose probability may be less than one.We define its distribution function in the broad sense by Fij(t)=P{a^t}.Now it can be proved that the two random variables X and a-X (which may be zero with positive probability) are independent^).This is a special case of Theorem 5 of [2], but we give a simple proof as follows.Let us first note that the distribution of a -X may be derived as follows.It can be shown that(3) a(w) considered as a point on the i-axis is the limit from the right of points of Sj(w) ={t: x(t, w) =j}; hence we havewhere h = 2~m, ra->⢠oo.Now for each 5 > 0 define two random variables X,=X,(w) and a, = aa(w) on the set {w: x(s, w)=i} as follows: X"(w) is the supremum of T such that x(t, w)=i, s^t<s + T; as(w) is the infimum of t such that t>\"(w) and x(t, w) =j.Thus X0 and a0 reduce to the previous X (2) The random variables Zi(w), â â â , z"(w), with domains of definition Ai, ⢠â ⢠, A", are said to be independent iff P{ flLx A*[z*M Set] }/P{ f|Li A*l = LTt-i P{A*tz*W ÂŁc*]}/P(At) for every real Cx, ⢠⢠⢠, ck.(3) In fact, the set Sj(w) is dense in itself (see [2, §4, (ii)]).