Related papers: Rank as a function of measure
Tensors, or multi-linear forms, are important objects in a variety of areas from analytics, to combinatorics, to computational complexity theory. Notions of tensor rank aim to quantify the "complexity" of these forms, and are thus also…
The Scott rank of a countable structure is a measure, coming from the proof of Scott's isomorphism theorem, of the complexity of that structure. The Scott spectrum of a theory (by which we mean a sentence of $\mathcal{L}_{\omega_1 \omega}$)…
This paper has two parts. In the first one, we prove that an invariant dp-minimal type is either finitely satisfiable or definable. We also prove that a definable version of the (p,q)-theorem holds in dp-minimal theories of small or medium…
Results on the upper and lower semicontinuity of functionals defined on spaces of convex and more general functions are established. In particular, the following result is obtained. Let $\phi(v; \cdot)$ be the density of the absolutely…
We introduce a method for proving almost sure termination in the context of lambda calculus with continuous random sampling and explicit recursion, based on ranking supermartingales. This result is extended in three ways. Antitone ranking…
We show that a function $\tan(1/it)$ is a Pick function (free-infinitely divisible transform) and indicate its connections with a probability. Moreover, we found its "counterpart" in classical infinitely divisible measures expressed as…
Given a compact topological dynamical system (X, f) with positive entropy and upper semi-continuous entropy map, and any closed invariant subset $Y \subset X$ with positive entropy, we show that there exists a continuous roof function such…
We describe a data structure that can maintain a dynamic set of points given by their Cartesian coordinates, and maintain the point whose product of ranks within the two coordinate orderings is minimum or maximum, in time $O(\sqrt{n\log…
Motivation coming from the study of affine Weyl groups, a structure of ranked poset is defined on the set of circular permutations in $S_n$ (that is, $n$-cycles). It is isomorphic to the poset of so-called admitted vectors, and to an…
In this short note, we show that the distance function to any finite set $X\subset \mathbb{R}^n$ is a topological Morse function, regardless of whether $X$ is in general position. We also precisely characterize its topological critical…
Topological phases of matter have sparked an immense amount of activity in recent decades. Topological materials are classified by topological invariants that act as a non-local order parameter for any symmetry and condition. As a result,…
In [Mulmuley, 1987], Mulmuley gave an algorithm reducing the computation of the matrix rank function to that of determinants, of which the proof for the verification is elementary. In this article, we formalize this argument in the bounded…
We show that the asymptotic behavior of the two main competing notions of rank of a linear series on a tropical curve is governed by asymptotic invariants, closely paralleling the theory of volumes in algebraic geometry. We introduce and…
Improving the detection of relevant variables using a new bivariate measure could importantly impact variable selection and large network inference methods. In this paper, we propose a new statistical coefficient that we call the rank…
In a recent paper, J. Lovejoy and the second author conjectured that ranks for four types of unimodal like sequences satisfy certain inequalities. In this paper, we prove these conjectures asymptotically. For this, we extend Wright's Circle…
We introduce the notions of topological entropy of a formal language and of a topological automaton. We show that the entropy function is surjective and bound the entropy of languages accepted by deterministic {\epsilon}-free push-down…
We study properties of strongly separately continuous mappings defined on subsets of products of topological spaces equipped with the topology of pointwise convergence. In particular, we give a necessary and sufficient condition for a…
Let $k$ be a field of characteristic zero and let $K=k(t)$ be the rational function field over $k$. In this paper we combine a formula of Ulmer for ranks of certain Jacobians over $K$ with strong upper bounds on endomorphisms of Jacobians…
The WL-rank of a digraph $\Gamma$ is defined to be the rank of the coherent configuration of $\Gamma$. We construct a new infinite family of strictly Deza Cayley graphs for which the WL-rank is equal to the number of vertices. The graphs…
Recently, in Axioms 10(2): 119 (2021), a nonclassical first-order theory T of sets and functions has been introduced as the collection of axioms we have to accept if we want a foundational theory for (all of) mathematics that is not weaker…