English
Related papers

Related papers: The Statistic $\mathtt{pinv}$ for Number System

200 papers

This paper addresses the problem of checking invariant properties for a large class of symbolic transition systems, defined by a combination of SMT theories and quantifiers. State variables can be functions from an uninterpreted sort…

Logic in Computer Science · Computer Science 2024-03-01 Gianluca Redondi , Alessandro Cimatti , Alberto Griggio , Kenneth McMillan

What is a population? This review considers how a population may be defined in terms of understanding the structure of the underlying genetics of the individuals involved. The main approach is to consider statistically identifiable groups…

Populations and Evolution · Quantitative Biology 2013-06-05 Daniel John Lawson

A new kind of quantum statistics which interpolates between Bose and Fermi statistics is proposed beginning with the assumption that the quantum state of a many-particle system is a functional on the internal space of the particles. The…

Quantum Physics · Physics 2007-05-23 Zhi-Tao Yan

We analyze here in details the probability to find a given number of particles in a finite volume inside a normal or superfluid finite system. This probability, also known as counting statistics, is obtained using projection operator…

Nuclear Theory · Physics 2020-01-22 Denis Lacroix , Sakir Ayik

Packing density is a permutation occurrence statistic which describes the maximal number of permutations of a given type that can occur in another permutation. In this article we focus on containment of sets of permutations. Although this…

Combinatorics · Mathematics 2007-05-23 Alexander Burstein , Peter Hästö

We explore how the asymptotic structure of a random permutation of $[n]$ with $m$ inversions evolves, as $m$ increases, establishing thresholds for the appearance and disappearance of any classical, consecutive or vincular pattern. The…

Combinatorics · Mathematics 2024-08-13 David Bevan , Dan Threlfall

We review approaches to statistical inference based on randomization. Permutation tests are treated as an important special case. Under a certain group invariance property, referred to as the ``randomization hypothesis,'' randomization…

Econometrics · Economics 2025-02-05 David M. Ritzwoller , Joseph P. Romano , Azeem M. Shaikh

We give a simple and efficient algorithm for adaptively counting inversions in a sequence of $n$ integers. Our algorithm runs in $O(n + n \sqrt{\lg{(Inv/n)}})$ time in the word-RAM model of computation, where $Inv$ is the number of…

Data Structures and Algorithms · Computer Science 2015-03-05 Amr Elmasry

A shift-invariant space is a space of functions that is invariant under integer translations. Such spaces are often used as models for spaces of signals and images in mathematical and engineering applications. This paper characterizes those…

Functional Analysis · Mathematics 2010-07-07 Akram Aldroubi , Carlos Cabrelli , Christopher Heil , Keri Kornelson , Ursula Molter

Superstatistics describes statistical systems that behave like superpositions of different inverse temperatures $\beta$, so that the probability distribution is $p(\epsilon_i) \propto \int_{0}^{\infty} f(\beta) e^{-\beta \epsilon_i}d\beta$,…

Statistical Mechanics · Physics 2016-10-03 Rudolf Hanel , Stefan Thurner , Murray Gell-Mann

The numbers game is a one-player game played on a finite simple graph with certain "amplitudes" assigned to its edges and with an initial assignment of real numbers to its nodes. The moves of the game successively transform the numbers at…

Combinatorics · Mathematics 2008-10-31 Robert G. Donnelly

One presents methodology and algorithms to prepare a causal system in order to achieve desired performances if only input-output data are known and when no other informations are available. This can be done with mean of evolutionnary…

Numerical Analysis · Mathematics 2012-07-17 Abdelouahab Kenoufi , Jean-François Osselin , Bernard Durand

Statistical independence is a notion ubiquitous in various fields such as in statistics, probability, number theory and physics. We establish the stability of independence for any pair of random variables by their corresponding Brockwell…

Probability · Mathematics 2024-04-12 Xingzhi Wang

Permutations are usually enumerated by size, but new results can be found by enumerating them by inversions instead, in which case one must restrict one's attention to indecomposable permutations. In the style of the seminal paper by Simion…

Combinatorics · Mathematics 2025-05-28 Atli Fannar Franklín

For suitable subgroups of a finitely generated group, we define the intersection number of one subgroup with another subgroup and show that this number is symmetric. We also give an interpretation of this number.

Geometric Topology · Mathematics 2014-11-11 Peter Scott

For a distribution $p:=\{p_k\}_{k=1}^\infty$ on the positive integers, there are two natural ways to construct a random permutation in $S_n$ or of $\mathbb{N}$ from IID samples from $p$--the $p$-biased construction and the $p$-shifted…

Probability · Mathematics 2021-02-23 Ross G. Pinsky

We study new statistics on permutations that are variations on the descent and the inversion statistics. In particular, we consider the alternating descent set of a permutation sigma = sigma_1sigma_2...sigma_n defined as the set of indices…

Combinatorics · Mathematics 2008-04-14 Denis Chebikin

A consecutive pattern in a permutation $\pi$ is another permutation $\sigma$ determined by the relative order of a subsequence of contiguous entries of $\pi$. Traditional notions such as descents, runs and peaks can be viewed as particular…

Combinatorics · Mathematics 2015-10-23 Sergi Elizalde

Inverse problems are ubiquitous in the sciences and engineering. Two categories of inverse problems concerning a physical system are (1) estimate parameters in a model of the system from observed input-output pairs and (2) given a model of…

Methodology · Statistics 2023-12-05 Faaiq G. Waqar , Swati Patel , Cory M. Simon

The problem of inverting a system in presence of a series-defined output is analyzed. Inverse models are derived that consist of a set of algebraic equations. The inversion is performed explicitly for an output trajectory functional, which…

Systems and Control · Computer Science 2012-11-27 Jean-Francois Stumper , Ralph Kennel
‹ Prev 1 3 4 5 6 7 10 Next ›