Search results for "FOS: Mathematics"
showing 10 items of 1448 documents
Triviality of the $J_4$-equivalence among homology 3-spheres
2021
We prove that all homology 3-spheres are $J_4$-equivalent, i.e. that any homology 3-sphere can be obtained from one another by twisting one of its Heegaard splittings by an element of the mapping class group acting trivially on the fourth nilpotent quotient of the fundamental group of the gluing surface. We do so by exhibiting an element of $J_4$, the fourth term of the Johnson filtration of the mapping class group, on which (the core of) the Casson invariant takes the value $1$. In particular, this provides an explicit example of an element of $J_4$ that is not a commutator of length $2$ in the Torelli group.
The early historical roots of Lee-Yang theorem
2014
A deep and detailed historiographical analysis of a particular case study concerning the so-called Lee-Yang theorem of theoretical statistical mechanics of phase transitions, has emphasized what real historical roots underlie such a case study. To be precise, it turned out that some well-determined aspects of entire function theory have been at the primeval origins of this important formal result of statistical physics.
A note on Kakeya sets of horizontal and SL(2) lines
2022
We consider unions of $SL(2)$ lines in $\mathbb{R}^{3}$. These are lines of the form $$L = (a,b,0) + \mathrm{span}(c,d,1),$$ where $ad - bc = 1$. We show that if $\mathcal{L}$ is a Kakeya set of $SL(2)$ lines, then the union $\cup \mathcal{L}$ has Hausdorff dimension $3$. This answers a question of Wang and Zahl. The $SL(2)$ lines can be identified with horizontal lines in the first Heisenberg group, and we obtain the main result as a corollary of a more general statement concerning unions of horizontal lines. This statement is established via a point-line duality principle between horizontal and conical lines in $\mathbb{R}^{3}$, combined with recent work on restricted families of projecti…
On the Dimension of Kakeya Sets in the First Heisenberg Group
2021
We define Kakeya sets in the Heisenberg group and show that the Heisenberg Hausdorff dimension of Kakeya sets in the first Heisenberg group is at least 3. This lower bound is sharp since, under our definition, the $\{xoy\}$-plane is a Kakeya set with Heisenberg Hausdorff dimension 3.
Integer Complexity: Experimental and Analytical Results II
2014
We consider representing of natural numbers by expressions using 1's, addition, multiplication and parentheses. $\left\| n \right\|$ denotes the minimum number of 1's in the expressions representing $n$. The logarithmic complexity $\left\| n \right\|_{\log}$ is defined as $\left\| n \right\|/{\log_3 n}$. The values of $\left\| n \right\|_{\log}$ are located in the segment $[3, 4.755]$, but almost nothing is known with certainty about the structure of this "spectrum" (are the values dense somewhere in the segment etc.). We establish a connection between this problem and another difficult problem: the seemingly "almost random" behaviour of digits in the base 3 representations of the numbers $…
Digits of pi: limits to the seeming randomness
2014
The decimal digits of $\pi$ are widely believed to behave like as statistically independent random variables taking the values $0, 1, 2, 3, 4, 5$, $6, 7, 8, 9$ with equal probabilities $1/10$. In this article, first, another similar conjecture is explored - the seemingly almost random behaviour of digits in the base 3 representations of powers $2^n$. This conjecture seems to confirm well - it passes even the tests inspired by the Central Limit Theorem and the Law of the Iterated Logarithm. After this, a similar testing of the sequences of digits in the decimal representations of the numbers $\pi$, $e$ and $\sqrt{2}$ was performed. The result looks surprising: unlike the digits in the base 3…
Integer Complexity: Experimental and Analytical Results
2012
We consider representing of natural numbers by arithmetical expressions using ones, addition, multiplication and parentheses. The (integer) complexity of n -- denoted by ||n|| -- is defined as the number of ones in the shortest expressions representing n. We arrive here very soon at the problems that are easy to formulate, but (it seems) extremely hard to solve. In this paper we represent our attempts to explore the field by means of experimental mathematics. Having computed the values of ||n|| up to 10^12 we present our observations. One of them (if true) implies that there is an infinite number of Sophie Germain primes, and even that there is an infinite number of Cunningham chains of len…
The Indecomposable Solutions of Linear Congruences
2017
This article considers the minimal non-zero (= indecomposable) solutions of the linear congruence $1\cdot x_1 + \cdots + (m-1)\cdot x_{m-1} \equiv 0 \pmod m$ for unknown non-negative integers $x_1, \ldots, x_n$, and characterizes the solutions that attain the Eggleton-Erd\H{o}s bound. Furthermore it discusses the asymptotic behaviour of the number of indecomposable solutions. The results have direct interpretations in terms of zero-sum sequences and invariant theory.
Maxima of a Random Model of the Riemann Zeta Function over Intervals of Varying Length
2021
We consider a model of the Riemann zeta function on the critical axis and study its maximum over intervals of length $(\log T)^{\theta}$, where $\theta$ is either fixed or tends to zero at a suitable rate. It is shown that the deterministic level of the maximum interpolates smoothly between the ones of log-correlated variables and of i.i.d. random variables, exhibiting a smooth transition 'from $\frac34$ to $\frac14$' in the second order. This provides a natural context where extreme value statistics of log-correlated variables with time-dependent variance and rate occur. A key ingredient of the proof is a precise upper tail tightness estimate for the maximum of the model on intervals of si…
A Classification of Modular Functors via Factorization Homology
2022
Modular functors are traditionally defined as systems of projective representations of mapping class groups of surfaces that are compatible with gluing. They can formally be described as modular algebras over central extensions of the modular surface operad, with the values of the algebra lying in a suitable symmetric monoidal $(2,1)$-category $\mathcal{S}$ of linear categories. In this paper, we prove that modular functors in $\mathcal{S}$ are equivalent to self-dual balanced braided algebras $\mathcal{A}$ in $\mathcal{S}$ (a categorification of the notion of a commutative Frobenius algebra) for which a condition formulated in terms of factorization homology with coefficients in $\mathcal{…