There Are 2(Aleph 0) Many H-Degrees In The Random Reals

L Yu,Dc Ding

DOI: https://doi.org/10.1090/S0002-9939-04-07417-9

IF: 0.9709

2004-01-01

Proceedings of the American Mathematical Society

Abstract:We prove that there are 2(N0) many H-degrees in the random reals.

What problem does this paper attempt to address?

There Are 2^{ℵ₀} Many 𝐻-degrees in the Random Reals

Liang Yu,Decheng Ding

DOI: https://doi.org/10.1090/s0002-9939-04-07417-9

IF: 0.9709

2004-01-01

Proceedings of the American Mathematical Society

Abstract:We prove that there are 2 ℵ 0 2^{\aleph _{0}} many H H -degrees in the random reals.
The Self-Intersections of A Gaussian Random Field

Rongmao Zhang,Zhengyan Lin

DOI: https://doi.org/10.1016/j.spa.2006.02.005

IF: 1.43

2006-01-01

Stochastic Processes and their Applications

Abstract:Let X(t) be an (N,d,α¯) non-deterministic Gaussian field. In this paper, the sufficient conditions for existence of the k-multiple points, the Hausdorff measure and the Hausdorff dimension for the k-multiple times set {(t1,t2,…,tk):X(t1)=X(t2)=⋯=X(tk) for distinct t1,t2,…,tk} and the local times of the process Y(T)={X(t2)−X(t1),…,X(tk)−X(tk−1)} are evaluated.
On Initial Segment Complexity and Degrees of Randomness

Joseph S. Miller,Liang Yu

DOI: https://doi.org/10.1090/s0002-9947-08-04395-x

IF: 1.3529

2008-01-01

Transactions of the American Mathematical Society

Abstract:One approach to understanding the. ne structure of initial segment complexity was introduced by Downey, Hirschfeldt and LaForte. They define X <=(K) Y to mean that (for all n) K( X vertical bar n) <= K(Y vertical bar n) + O( 1). The equivalence classes under this relation are the K-degrees. We prove that if X circle plus Y is 1-random, then X and Y have no upper bound in the K-degrees (hence, no join). We also prove that n-randomness is closed upward in the K-degrees. Our main tool is another structure intended to measure the degree of randomness of real numbers: the nu L-degrees. Unlike the K-degrees, many basic properties of the nu L-degrees are easy to prove. We show that X <=(K) Y implies X <=(nu L) Y, so some results can be transferred. The reverse implication is proved to fail. The same analysis is also done for <=(C), the analogue of <=(K) for plain Kolmogorov complexity.Two other interesting results are included. First, we prove that for any Z is an element of 2(omega), a 1-random real computable from a 1-Z-random real is automatically 1-Z-random. Second, we give a plain Kolmogorov complexity characterization of 1-randomness. This characterization is related to our proof that X <=(C) Y implies X <=(nu L) Y.
Randomness in the Higher Setting

C. T. Chong,Liang Yu

DOI: https://doi.org/10.1017/jsl.2015.50

2015-01-01

Journal of Symbolic Logic

Abstract:Abstract We study the strengths of various notions of higher randomness: (i) strong ${\rm{\Pi }}_1^1$randomness is separated from ${\rm{\Pi }}_1^1$randomness; (ii) the hyperdegrees of ${\rm{\Pi }}_1^1$random reals are closed downwards (except for the trivial degree); (iii) the reals z in $NC{R_{{\rm{\Pi }}_1^1}}$ are precisely those satisfying $z \in {L_{\omega _1^z}}$ and (iv) lowness for ${\rm{\Delta }}_1^1$randomness is strictly weaker than that for ${\rm{\Pi }}_1^1$randomness.
Hilbert Functions and Low-Degree Randomness Extractors

Alexander Golovnev,Zeyu Guo,Pooya Hatami,Satyajeet Nagargoje,Chao Yan

2024-05-17

Abstract:For $S\subseteq \mathbb{F}^n$, consider the linear space of restrictions of degree-$d$ polynomials to $S$. The Hilbert function of $S$, denoted $\mathrm{h}_S(d,\mathbb{F})$, is the dimension of this space. We obtain a tight lower bound on the smallest value of the Hilbert function of subsets $S$ of arbitrary finite grids in $\mathbb{F}^n$ with a fixed size $|S|$. We achieve this by proving that this value coincides with a combinatorial quantity, namely the smallest number of low Hamming weight points in a down-closed set of size $|S|$.

Computational Complexity
On The Reals Which Cannot Be Random

Liang Yu,Yizheng Zhu

DOI: https://doi.org/10.1007/978-3-319-50062-1_36

2017-01-01

Abstract:We investigate which reals can never be L-random. That is to give a description of the reals which are always belong to some L[lambda]-null set for any continuous measure lambda. Among other things, we prove that NCRL is an L-cofinal subset of Q(3) under ZFC + PD.
The Kolmogorov Complexity of Random Reals

L Yu,DC Ding,R Downey

DOI: https://doi.org/10.1016/j.apal.2004.01.006

IF: 0.776

2004-01-01

Annals of Pure and Applied Logic

Abstract:We investigate the initial segment complexity of random reals. Let K(σ) denote prefix-free Kolmogorov complexity. A natural measure of the relative randomness of two reals α and β is to compare complexity K(α↾n) and K(β↾n). It is well-known that a real α is 1-random iff there is a constant c such that for all n, K(α↾n)⩾n−c. We ask the question, what else can be said about the initial segment complexity of random reals. Thus, we study the fine behaviour of K(α↾n) for random α. Following work of Downey, Hirschfeldt and LaForte, we say that α⩽Kβ iff there is a constant O(1) such that for all n, K(α↾n)⩽K(β↾n)+O(1). We call the equivalence classes under this measure of relative randomness K-degrees. We give proofs that there is a random real α so that limsupnK(α↾n)−K(Ω↾n)=∞ where Ω is Chaitin's random real. One is based upon (unpublished) work of Solovay, and the other exploits a new idea. Further, based on this new idea, we prove there are uncountably many K-degrees of random reals by proving that μ({β:β⩽Kα})=0. As a corollary to the proof we can prove there is no largest K-degree. Finally we prove that if n≠m then the initial segment complexities of the natural n- and m-random sets (namely Ω∅(n−1) and Ω∅(m−1)) are different. The techniques introduced in this paper have already found a number of other applications.
Realizability of hypergraphs and high-dimensional contingency tables with random degrees and marginals

Nicholas Christo,Marcus Michelen

2024-08-21

Abstract:A result of Deza, Levin, Meesum, and Onn shows that the problem of deciding if a given sequence is the degree sequence of a 3-uniform hypergraph is NP complete. We tackle this problem in the random case and show that a random integer partition can be realized as the degree sequence of a $3$-uniform hypergraph with high probability. These results are in stark contrast with the case of graphs, where a classical result of Erdős and Gallai provides an efficient algorithm for checking if a sequence is a degree sequence of a graph and a result of Pittel shows that with high probability a random partition is not the degree sequence of a graph. By the same method, we address analogous realizability problems about high-dimensional binary contingency tables. We prove that if $(\lambda,\mu,\nu)$ are three independent random partitions then with high probability one can construct a three-dimensional binary contingency table with marginals $(\lambda,\mu,\nu)$. Conversely, if one insists that the contingency table forms a pyramid shape, then we show that with high probability one cannot construct such a contingency table. These two results confirm two conjectures of Pak and Panova.

Combinatorics,Probability
Dynamical and arithmetic degrees for random iterations of maps on projective space

Wade Hindes

DOI: https://doi.org/10.48550/arXiv.1904.04709

2019-04-09

Abstract:We show that the dynamical degree of an (i.i.d) random sequence of dominant, rational self-maps on projective space is almost surely constant. We then apply this result to height growth and height counting problems in random orbits.

Number Theory,Dynamical Systems
Aaronson-Ambainis Conjecture Is True For Random Restrictions

Sreejata Kishor Bhattacharya

2024-02-22

Abstract:In an attempt to show that the acceptance probability of a quantum query algorithm making $q$ queries can be well-approximated almost everywhere by a classical decision tree of depth $\leq \text{poly}(q)$, Aaronson and Ambainis proposed the following conjecture: let $f: \{ \pm 1\}^n \rightarrow [0,1]$ be a degree $d$ polynomial with variance $\geq \epsilon$. Then, there exists a coordinate of $f$ with influence $\geq \text{poly} (\epsilon, 1/d)$. We show that for any polynomial $f: \{ \pm 1\}^n \rightarrow [0,1]$ of degree $d$ $(d \geq 2)$ and variance $\text{Var}[f] \geq 1/d$, if $\rho$ denotes a random restriction with survival probability $\dfrac{\log(d)}{C_1 d}$, $$ \text{Pr} \left[f_{\rho} \text{ has a coordinate with influence} \geq \dfrac{\text{Var}[f]^2 }{d^{C_2}} \right] \geq \dfrac{\text{Var}[f] \log(d)}{50C_1 d}$$ where $C_1, C_2>0$ are universal constants. Thus, Aaronson-Ambainis conjecture is true for a non-negligible fraction of random restrictions of the given polynomial assuming its variance is not too low.

Computational Complexity
On the realisation problem for mapping degree sets

Christoforos Neofytidis,Hongbin Sun,Ye Tian,Shicheng Wang,Zhongzi Wang

DOI: https://doi.org/10.1090/proc/16712

IF: 0.9709

2024-02-02

Proceedings of the American Mathematical Society

Abstract:The set of degrees of maps D ( M , N ) D(M,N) , where M , N M,N are closed oriented n n -manifolds, always contains 0 and the set of degrees of self-maps D ( M ) D(M) always contains 0 0 and 1 1 . Also, if a , b ∈ D ( M ) a,b\in D(M) , then a b ∈ D ( M ) ab\in D(M) ; a set A ⊆ Z A\subseteq \mathbb {Z} so that a b ∈ A ab\in A for each a , b ∈ A a,b\in A is called multiplicative. On the one hand, not every infinite set of integers (containing 0 0 ) is a mapping degree set (Neofytidis, Wang, and Wang [Bull. Lond. Math. Soc. 55 (2023), pp. 1700–1717]) and, on the other hand, every finite set of integers (containing 0 0 ) is the mapping degree set of some 3 3 -manifolds (Costoya, Muñoz and Viruel [Finite sets containing zero are mapping degree sets, arXiv:2301.13719]). We show the following: Not every multiplicative set A A containing 0 , 1 0,1 is a self-mapping degree set. For each n ∈ N n\in \mathbb {N} and k ≥ 3 k\geq 3 , every D ( M , N ) D(M,N) for n n -manifolds M M and N N is D ( P , Q ) D(P,Q) for some ( n + k ) (n+k) -manifolds P P and Q Q . As a consequence of (ii) and Costoya, Muñoz and Viruel, every finite set of integers (containing 0 0 ) is the mapping degree set of some n n -manifolds for all n ≠ 1 , 2 , 4 , 5 n\neq 1,2,4,5 . The set of degrees of maps D ( M , N ) D(M,N) , where M , N M,N are closed oriented n n -manifolds, always contains 0 and the set of degrees of self-maps D ( M ) D(M) always contains 0 0 and 1 1 . Also, if a , b ∈ D ( M ) a,b\in D(M) , then a b ∈ D ( M ) ab\in D(M) ; a set A ⊆ Z A\subseteq \mathbb {Z} so that a b ∈ A ab\in A for each a , b ∈ A a,b\in A is called multiplicative. On the one hand, not every infinite set of integers (containing 0 0 ) is a mapping degree set (Neofytidis, Wang, and Wang [Bull. Lond. Math. Soc. 55 (2023), pp. 1700–1717]) and, on the other hand, every finite set of integers (containing 0 0 ) is the mapping degree set of some 3 3 -manifolds (Costoya, Muñoz and Viruel [Finite sets containing zero are mapping degree sets, arXiv:2301.13719]). We show the following: As a consequence of (ii) and Costoya, Muñoz and Viruel, every finite set of integers (containing 0 0 ) is the mapping degree set of some n n -manifolds for all n ≠ 1 , 2 , 4 , 5 n\neq 1,2,4,5 .

mathematics, applied
Realising Sets of Integers As Mapping Degree Sets

Christoforos Neofytidis,Shicheng Wang,Zhongzi Wang

DOI: https://doi.org/10.1112/blms.12813

IF: 1.036

2023-01-01

Bulletin of the London Mathematical Society

Abstract:Given two closed oriented manifolds M,N$M,N$ of the same dimension, we denote the set of degrees of maps from M$M$ to N$N$ by D(M,N)$D(M,N)$. The set D(M,N)$D(M,N)$ always contains zero. We show the following (non-)realisability results. There exists an infinite subset A$A$ of Z$\mathbb {Z}$ containing 0 which cannot be realised as D(M,N)$D(M,N)$, for any closed oriented n$n$-manifolds M,N$M,N$.Every finite arithmetic progression of integers containing 0 can be realised as D(M,N)$D(M,N)$, for some closed oriented 3-manifolds M,N$M,N$.Together with 0, every finite geometric progression of positive integers starting from 1 can be realised as D(M,N)$D(M,N)$, for some closed oriented manifolds M,N$M,N$.(i)(ii)(iii)
A numbers-on-foreheads game

Sune K. Jakobsen

DOI: https://doi.org/10.48550/arXiv.1502.02849

2015-02-10

Computer Science and Game Theory

Abstract:Is there a joint distribution of $n$ random variables over the natural numbers, such that they always form an increasing sequence and whenever you take two subsets of the set of random variables of the same cardinality, their distribution is almost the same? We show that the answer is yes, but that the random variables will have to take values as large as $2^{2^{\dots ^{2^{\Theta\left(\frac{1}{\epsilon}\right)}}}}$, where $\epsilon\leq \epsilon_n$ measures how different the two distributions can be, the tower contains $n-2$ $2$'s and the constants in the $\Theta$ notation are allowed to depend on $n$. This result has an important consequence in game theory: It shows that even though you can define extensive form games that cannot be implemented on players who can tell the time, you can have implementations that approximate the game arbitrarily well.
Maximum Degree in Random Hyperbolic Graphs

Loïc Gassmann

2024-04-09

Abstract:The random hyperbolic graph, introduced in 2010 by Krioukov, Papadopoulos, Kitsak, Vahdat and Boguñá, is a graph model suitable for modelling a large class of real-world networks, known as complex networks. Gugelmann, Panagiotou and Peter proved that for curvature parameter $\alpha > 1/2$, the degree sequence of the random hyperbolic graph follows a power-law distribution with controllable exponent up to the maximum degree. To achieve this, they showed, among other results, that with high probability, the maximum degree is $n^{\frac{1}{2\alpha} + o(1)}$, where $n$ is the number of nodes. In this paper, we refine this estimate of the maximum degree, and we extend it to the case $\alpha \leq 1/2$: we first show that, with high probability, the node with the maximum degree is eventually the one that is the closest to the origin of the underlying hyperbolic space. From this, we get the convergence in distribution of the renormalised maximum degree. Except for the critical case $\alpha = 1/2$, the limit distribution belongs to the extreme value distribution family (Weibull distribution in the case $\alpha < 1/2$ and Fréchet distribution in the case $\alpha > 1/2$).

Probability,Combinatorics
On the Divisibility of Degrees of Representations of Lie Algebras

Varun Shah,Steven Spallone

2023-12-01

Abstract:Let $\mathfrak g$ be a reductive Lie algebra, and $m$ a positive integer. There is a natural density of irreducible representations of $\mathfrak g$, whose degrees are not divisible by $m$. For $\mathfrak g=\mathfrak{gl}_n$, this density decays exponentially to $0$ as $n \to \infty$. Similar results hold for simple Lie algebras and Lie groups, and there are versions for self-dual and orthogonal representations.

Representation Theory,Combinatorics
Higher Kurtz randomness

Bjørn Kjos-Hanssen,André Nies,Frank Stephan,Liang Yu

DOI: https://doi.org/10.1016/j.apal.2010.04.001

IF: 0.776

2010-01-01

Annals of Pure and Applied Logic

Abstract:A real x is Δ11-Kurtz random (Π11-Kurtz random) if it is in no closed null Δ11 set (Π11 set). We show that there is a cone of Π11-Kurtz random hyperdegrees. We characterize lowness for Δ11-Kurtz randomness as being Δ11-dominated and Δ11-semi-traceable.
Inequalities Concerning Maximum Modulus and Zeros of Random Entire Functions

Hui Li,Jun Wang,Xiao Yao,Zhuan Ye

DOI: https://doi.org/10.1017/s0013091523000639

2024-01-01

Proceedings of the Edinburgh Mathematical Society

Abstract:Let f (z) = Sigma(infinity )(j=0)a(j)z(j )be a transcendental entire function and let f omega(z) = Sigma(infinity)(j=0) chi(j)(omega)a(j)z(j) be a random entire function, where chi(j)(omega) are independent and identically distributed random variables defined on a probability space (Omega, F, mu). In this paper, we first define a family of random entire functions, which includes Gaussian, Rademacher and Steinhaus entire functions. We prove that, for almost all functions in the family and for any constant C >1, there exist a constant r(0) = r(0)(omega) and a set E subset of [e, infinity) of finite logarithmic measure such that, for r > r(0) and r (sic) E, | log M(r, f) - N(r, 0, f(omega))| <= (C/A)(1/B) log(1/B) log M(r, f) + log log M(r, f), a.s. where A, B are constants, M(r, f) is the maximum modulus and N(r, 0, f) is the integrated zero-counting function of f. As a by-product of our main results, we prove Nevanlinna's second main theorem for random entire functions. Thus, the characteristic function of almost all functions in the family is bounded above by an integrated counting function, rather than by two integrated counting functions as in the classical Nevanlinna theory. For instance, we show that, for almost all Gaussian entire functions f omega and for any epsilon > 0, there is r0 such that, for r > r0, T (r, f) <= N(r, 0, f omega) + (1/2 + epsilon) log T (r, f ).
A Note on Degree Antiregular Graphs

A Berman,XD Zhang

DOI: https://doi.org/10.1080/03081080008818653

2000-01-01

Abstract:This note proves a conjecture of Merris that the minimal value of entries of the doubly stochastic matrix of the degree antiregular graph En of order n ≥ 3 is equal to (l/2(n + l)).
The forbidden region for random zeros: appearance of quadrature domains

Alon Nishry,Aron Wennman

DOI: https://doi.org/10.48550/arXiv.2009.08774

2020-09-18

Abstract:Our main discovery is a surprising interplay between quadrature domains on the one hand, and the zero process of the Gaussian Entire Function (GEF) on the other. Specifically, consider the GEF conditioned on the rare hole event that there are no zeros in a given large Jordan domain. We show that in the natural scaling limit, a quadrature domain enclosing the hole emerges as a forbidden region, where the zero density vanishes. Moreover, we give a description of those holes for which the forbidden region is a disk. The connecting link between random zeros and potential theory is supplied by a constrained extremal problem for the Zeitouni-Zelditch functional. To solve this problem, we recast it in terms of a seemingly novel obstacle problem, where the solution is forced to be harmonic inside the hole.

Analysis of PDEs,Mathematical Physics,Complex Variables,Probability
Universality theorems for zeros of random real polynomials with fixed coefficients

Matthew C. King,Ashvin Swaminathan

2024-09-11

Abstract:Consider a monic polynomial of degree $n$ whose subleading coefficients are independent, identically distributed, nondegenerate random variables having zero mean, unit variance, and finite moments of all orders, and let $m \geq 0$ be a fixed integer. We prove that such a random monic polynomial has exactly $m$ real zeros with probability $n^{-3/4+o(1)}$ as $n\to \infty$ through integers of the same parity as $m$. More generally, we determine conditions under which a similar asymptotic formula describes the corresponding probability for families of random real polynomials with multiple fixed coefficients. Our work extends well-known universality results of Dembo, Poonen, Shao, and Zeitouni, who considered the family of real polynomials with all coefficients random. As a number-theoretic consequence of these results, we deduce that an algebraic integer $\alpha$ of degree $n$ has exactly $m$ real Galois conjugates with probability $n^{-3/4+o(1)}$, when such $\alpha$ are ordered by the heights of their minimal polynomials.

Probability,Number Theory

There Are 2(Aleph 0) Many H-Degrees In The Random Reals

There Are 2^{ℵ₀} Many 𝐻-degrees in the Random Reals

The Self-Intersections of A Gaussian Random Field

On Initial Segment Complexity and Degrees of Randomness

Randomness in the Higher Setting

Hilbert Functions and Low-Degree Randomness Extractors

On The Reals Which Cannot Be Random

The Kolmogorov Complexity of Random Reals

Realizability of hypergraphs and high-dimensional contingency tables with random degrees and marginals

Dynamical and arithmetic degrees for random iterations of maps on projective space

Aaronson-Ambainis Conjecture Is True For Random Restrictions

On the realisation problem for mapping degree sets

Realising Sets of Integers As Mapping Degree Sets

A numbers-on-foreheads game

Maximum Degree in Random Hyperbolic Graphs

On the Divisibility of Degrees of Representations of Lie Algebras

Higher Kurtz randomness

Inequalities Concerning Maximum Modulus and Zeros of Random Entire Functions

A Note on Degree Antiregular Graphs

The forbidden region for random zeros: appearance of quadrature domains

Universality theorems for zeros of random real polynomials with fixed coefficients