arXiv++ Combinatorics

We study the optimal rectangular-discrepancy approximation of permutons by finite permutations. We transfer bounds from discrepancy theory to this more restricted setup. Moreover, we show that superlinear approximation can occur only for permutons supported by graphs of measure-preserving functions, and demonstrate how the local regularity of this function obstructs approximability. We also consider the biased Brownian separable permuton and prove a lower bound on its approximation error by showing that its supporting measure-preserving function has Lipschitz points almost surely.

We study the metric geometry of the set of permutons under the rectangular distance $d_{\square}$. We determine the Chebyshev radius to be 1/4 and characterize all Chebyshev centers: a permuton is a center if and only if it is 1/2- periodic in each coordinate. We also describe permutons that attain the extremal distance 1/4 from a given center.

For a permuton $μ$ let $H_n(μ)$ denote the Shannon entropy of the sampling distribution of $μ$ on $n$ points. We investigate the asymptotic growth of $H_n(μ)$ for a wide class of permutons. We prove that if $μ$ has a non-vanishing absolutely continuous part, then $H_n(μ)$ has a growth rate $Θ(n \log n)$. We show that if $μ$ is the graph of a piecewise continuously differentiable, measure-preserving function $f$, then $H_n(μ)/n$ tends to the Kolmogorov--Sinai entropy of $f$. Using genericity arguments, we also prove the existence of function permutons for which $H_n(μ)$ does not converge either after normalizing by $n$ or by $n\log n$. We study the sampling entropy of a natural family of random fractal-like permutons determined by a sequence of i.i.d. choices. It turns out that for every $n$, $H_n(μ)/n$ is heavily concentrated. We prove that the sequence $H_n(μ)/n$ either converges or has deterministic log-periodic oscillations almost surely, and argue towards the conjecture that in nondegenerate case, oscillation holds. On the other hand, for a straightforward random perturbation of the model $\tildeμ$ of $μ$, we prove the almost sure convergence of $H_n(\tildeμ)/n$.

The study of matroid products traces back to the 1970s, when Lovász and Mason studied the existence of various types of matroid products with different strengths. Among these, the tensor product is arguably the most important, which can be considered as an extension of the tensor product from linear algebra. However, Las Vergnas showed that the tensor product of two matroids does not always exist. Over the following four decades, matroid products remained surprisingly underexplored, regaining attention only in recent years due to applications in tropical geometry and the limit theory of matroids. In this paper, inspired by the concept of coupling in probability theory, we introduce the notion of coupling for matroids -- or, more generally, for submodular set functions. This operation can be viewed as a relaxation of the tensor product. Unlike the tensor product, however, we prove that a coupling always exists for any two submodular functions and can be chosen to be increasing if the original functions are increasing. As a corollary, we show that two matroids always admit a matroid coupling, leading to a novel operation on matroids. Our construction is algorithmic, providing an oracle for the coupling matroid through a polynomial number of oracle calls to the original matroids. We apply this construction to derive new necessary conditions for matroid representability and establish connection between tensor products and Ingleton's inequality. Additionally, we verify the existence of set functions that are universal with respect to a given property, meaning any set function over a finite domain with that property can be obtained as a quotient.