Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Explicit Good Codes Approaching Distance 1 in Ulam Metric
Published
• View Publication
• BIB
The Ulam distance of two permutations on $[n]$ is $n$ minus the length of their longest common subsequence. In this paper, we show that for every $\varepsilon>0$, there exists some $α>0$, and an infinite set $Γ\subseteq \mathbb{N}$, such that for all $n\inΓ$, there is an explicit set $C_n$ of $(n!)^α$ many permutations on $[n]$, such that every pair of permutations in $C_n$ has pairwise Ulam distance at least $(1-\varepsilon)\cdot n$. Moreover, we can compute the $i^{\text{th}}$ permutation in $C_n$ in poly$(n)$ time and can also decode in poly$(n)$ time, a permutation $π$ on $[n]$ to its closest permutation $π^*$ in $C_n$, if the Ulam distance of $π$ and $π^*$ is less than $ \frac{(1-\varepsilon)\cdot n}{4} $.
Previously, it was implicitly known by combining works of Goldreich and Wigderson [Israel Journal of Mathematics'23] and Farnoud, Skachek, and Milenkovic [IEEE Transactions on Information Theory'13] in a black-box manner, that it is possible to explicitly construct $(n!)^{Ω(1)}$ many permutations on $[n]$, such that every pair of them have pairwise Ulam distance at least $\frac{n}{6}\cdot (1-\varepsilon)$, for any $\varepsilon>0$, and the bound on the distance can be improved to $\frac{n}{4}\cdot (1-\varepsilon)$ if the construction of Goldreich and Wigderson is directly analyzed in the Ulam metric.
Almost all orbits of an analogue of the Collatz map on the reals attain bounded values
Motivated by a balanced ternary representation of the Collatz map we define the map $C_\mathbb{R}$ on the positive real numbers by setting $C_\mathbb{R}(x)=\frac{1}{2}x$ if $[x]$ is even and $C_\mathbb{R}(x)=\frac{3}{2}x$ if $[x]$ is odd, where $[x]$ is defined by $[x]\in\mathbb{Z}$ and $x-[x]\in(-\frac{1}{2},\frac{1}{2}]$. We show that there exists a constant $K>0$ such that the set of $x$ fulfilling $\liminf_{n\in\mathbb{N}}C_\mathbb{R}^n(x)\leq K$ is Lebesgue-co-null. We also show that for any $ε>0$ the set of $x$ for which $ (\frac{3^{\frac{1}{2}}}{2})^kx^{1-ε}\leq C_\mathbb{R}^k(x)\leq (\frac{3^{\frac{1}{2}}}{2})^kx^{1+ε}$ for all $0\leq k\leq \frac{1}{1-\frac{\log_23}{2}}\log_2x$ is large for a suitable notion of largeness.
Bender--Knuth Billiards in Coxeter Groups
Published in Forum Math. Sigma 13 (2025), Paper No. e7, 55 pp
• View Publication
• BIB
Let $(W,S)$ be a Coxeter system, and write $S=\{s_i:i\in I\}$, where $I$ is a finite index set. Fix a nonempty convex subset $\mathscr{L}$ of $W$. If $W$ is of type $A$, then $\mathscr{L}$ is the set of linear extensions of a poset, and there are important Bender--Knuth involutions $\mathrm{BK}_i\colon\mathscr{L}\to\mathscr{L}$ indexed by elements of $I$. For arbitrary $W$ and for each $i\in I$, we introduce an operator $τ_i\colon W\to W$ (depending on $\mathscr{L}$) that we call a noninvertible Bender--Knuth toggle; this operator restricts to an involution on $\mathscr{L}$ that coincides with $\mathrm{BK}_i$ in type $A$. Given a Coxeter element $c=s_{i_n}\cdots s_{i_1}$, we consider the operator $\mathrm{Pro}_c=τ_{i_n}\cdotsτ_{i_1}$. We say $W$ is futuristic if for every nonempty finite convex set $\mathscr{L}$, every Coxeter element $c$, and every $u\in W$, there exists an integer $K\geq 0$ such that $\mathrm{Pro}_c^K(u)\in\mathscr{L}$. We prove that finite Coxeter groups, right-angled Coxeter groups, rank-3 Coxeter groups, affine Coxeter groups of types $\widetilde A$ and $\widetilde C$, and Coxeter groups whose Coxeter graphs are complete are all futuristic. When $W$ is finite, we actually prove that if $s_{i_N}\cdots s_{i_1}$ is a reduced expression for the long element of $W$, then $τ_{i_N}\cdotsτ_{i_1}(W)=\mathscr{L}$; this allows us to determine the smallest integer $\mathrm{M}(c)$ such that $\mathrm{Pro}_c^{\mathrm{M}(c)}(W)=\mathscr{L}$ for all $\mathscr{L}$. We also exhibit infinitely many non-futuristic Coxeter groups, including all irreducible affine Coxeter groups that are not of type $\widetilde A$, $\widetilde C$, or $\widetilde G_2$.
Signs behaviour of sums of weighted numbers of compositions
Published
• View Publication
• BIB
Let $A$ be a subset of positive integers. For a given positive integer $n$ and $0\leq i\leq n$ let $c_{A}(i,n)$ denotes the number of $A$-compositions of $n$ with exactly $i$ parts. In this note we investigate the sign behaviour of the sequence $(S_{A,k}(n))_{n\in\N}$, where $S_{A,k}(n)=\sum_{i=0}^{n}(-1)^{k}i^{k}c_{A}(i,n)$. We prove that for a broad class of subsets $A$, the number $(-1)^{n}S_{A,k}(n)$ is non-negative for all sufficiently large $n$. Moreover, we show that there is $A\subset \N_{+}$ such that the sign behaviour of $S_{A,k}(n)$ is not periodic.
Hypertrees and embedding of the $\mathrm{FMan}$ operad
Published
• View Publication
• BIB
The operad $\mathrm{FMan}$ encodes the algebraic structure on vector fields of Frobenius manifolds, in the same way as the operad $\mathrm{Lie}$ encodes the algebraic structure on vector fields of a smooth manifold. It is well known that the operad $\mathrm{Lie}$ admits an embedding in the operad $\mathrm{PreLie}$ encoding pre-Lie algebras. We prove a conjecture of Dotsenko stating that the operad $\mathrm{FMan}$ admits an embedding in the operad $\mathrm{ComPreLie}$. The operad $\mathrm{ComPreLie}$ is the operad encoding pre-Lie algebras with an additional commutative product such that right pre-Lie multiplications act as derivations. To prove this result, we first remark a link between the Greg trees and the so-called operadic twisting of $\mathrm{PreLie}$. We then give a combinatorial description of the operad $\mathrm{ComPreLie}$ \emph{à la} Chapoton-Livernet with forests of rooted hypertrees. We generalize this construction to forests of rooted Greg hypertrees, and then use operadic twisting techniques to prove the conjecture.
The augmented external activity complex of a matroid
Published
• View Publication
• BIB
For a matroid, we define a new simplicial complex whose facets are indexed by its independent sets. This complex contains the external activity complex as a subcomplex. We call our complex the augmented external activity complex since its definition is motivated by the recently defined augmented tautological classes of matroids. We prove that our complex is shellable and show that our shelling satisfies the stronger property of being an $H$-shelling. This explicates our result that the $h$-vector of our complex is the $f$-vector of the independence complex. We also define an augmented no broken circuit complex, which contains the usual no broken circuit complex as a subcomplex. We prove its shellability and show that our shelling is also an $H$-shelling. The $h$-vector of this complex is the $f$-vector of the no broken circuit complex.
A Dirac-type theorem for arbitrary Hamiltonian $H$-linked digraphs
Given any digraph $D$ on $n$ vertices, let $\mathcal{P}(D)$ be the family of all directed paths in $D$, and let $H$ be a digraph with the arc set $A(H)=\{a_1, \ldots, a_k\}$. The digraph $D$ is called arbitrary Hamiltonian $H$-linked if for any injective map $f: V(H)\rightarrow V(D)$ and any integer set $\mathcal{N}=\{n_1, \ldots, n_k\}$ satisfying that $n_i\geq4$ for each $i\in\{1, \ldots, k\}$, there is a map $g: A(H)\rightarrow \mathcal{P}(D)$ such that for every arc $a_i=uv$, $g(a_i)$ is a directed path from $f(u)$ to $f(v)$ of length $n_i$, and different arcs are mapped into internally vertex-disjoint directed paths in $D$, and $\bigcup_{i\in[k]}V(g(a_i))=V(D)$. Here, the length of a directed path is defined as the number of its arcs.
In this paper, we prove that for any digraph $H$ with $k$ arcs and $δ(H)\geq1$, there exists a constant $C_0=C_0(k)$ such that if $D$ is a digraph of order $n\geq C_0$ and minimum in- and out-degree at least $n/2+k$, then it is arbitrary Hamiltonian $H$-linked. The lower bound on the minimum in- and out-degree is best possible. We further prove a more general form that allows $k$ to be linear in $n$, while imposing some restrictions on the lengths of the subdivided arcs. As corollaries, we solved a conjecture of Wang \cite{Wang} for sufficiently large graphs, and partly answered a problem raised by Pavez-Signé \cite{Pavez}.
Tensor invariants for classical groups revisited
We reconsider an old problem, namely the dimension of the $G$-invariant subspace in $V^{\otimes p} \otimes V^{*\otimes q}$, where $G$ is one of the classical groups ${\rm GL}(V)$, ${\rm SL}(V)$, ${\rm O}(V)$, ${\rm SO}(V)$, or ${\rm Sp}(V)$. Spanning sets for the invariant subspace have long been well known, but linear bases are more delicate. The main contribution of this paper is a combinatorial realization of linear bases via standard Young tableaux and arc diagrams, in a uniform manner for all five classical groups. As a secondary contribution, we survey the many equivalent ways -- some old, some new -- to enumerate the elements in these bases.
On skew corner-free sets
We construct skew corner-free sets in $[n]^2$ of size $n^{5/4}$, thereby disproving a conjecture of Kevin Pratt. We also show that any skew corner-free set in $\mathbb{F}_{q}^{n} \times \mathbb{F}_{q}^{n}$ must have size at most $q^{(2-c)n}$, for some positive constant $c$ which depends on $q$.
Building graphs with high minimum degree on a budget
Published
• View Publication
• BIB
We consider the problem of constructing a graph of minimum degree $k\ge 1$ in the following controlled random graph process, introduced recently by Frieze, Krivelevich and Michaeli. Suppose the edges of the complete graph on $n$ vertices are permuted uniformly at random. A player, Builder, sees the edges one by one, and must decide irrevocably upon seeing each edge whether to purchase it or not.
Suppose Builder purchases an edge if and only if at least one endpoint has degree less than $k$ in her graph. Frieze, Krivelevich and Michaeli observed that this strategy succeeds in building a graph of minimum degree at least $k$ by $τ_k$, the hitting time for having minimum degree $k$. They conjectured that any strategy using $εn$ fewer edges, where $ε>0$ is any constant, fails with high probability.
In this paper we disprove their conjecture. We show that for $k\ge 2$ Builder has a strategy which purchases $n/9$ fewer edges and succeeds with high probability in building a graph of minimum degree at least $k$ by $τ_k$. For $k=1$ we show that any strategy using $εn$ fewer edges fails with probability bounded away from 0, and exhibit such a strategy that succeeds with probability bounded away from 0.
Rational reductions for holonomic sequences
Published
• View Publication
• BIB
Given a holonomic sequence $F(n)$, we characterize rational functions $r(n)$ so that $r(n)F(n)$ can be summable. We provide upper and lower bounds on the degree of the numerator of $r(k)$ and show the denominator of $r(n)$ can be read from annihilators of $F(k)$. This illustration provides the so-called rational reductions which can be used to generate new multi-sum equalities and congruences from known ones.
Acyclic matchings on Bruhat intervals and applications to total positivity
Published
• View Publication
• BIB
The existence of acyclic complete matchings on the face poset of a regular CW complex implies that the underlying topological space of the CW complex is contractible by discrete Morse theory.
In this paper, we construct explicitly acyclic complete matchings on any non-trivial Bruhat interval $[v,w]$ based on any reflection order on the Coxeter group $W$. We then apply this combinatorial result to regular CW complexes arising from the theory of total positivity.
As an application, we show that the totally nonnegative Springer fibers are contractible. This verifies a conjecture of Lusztig. As another application, we show that the totally nonnegative fibers of the natural projection from full flag varieties to partial flag varieties are contractible. This leads to a much simplified proof of the regularity property on totally nonnegative partial flag varieties compared to the proofs by Galashin-Karp-Lam and in our earlier work.
Mixtures of Discrete Decomposable Graphical Models
Published in Alg. Stat. 15 (2024) 269-293
• View Publication
• BIB
We study mixtures of decomposable graphical models, focusing on their ideals and dimensions. For mixtures of clique stars, we characterize the ideals in terms of ideals of mixtures of independence models. We also give a recursive formula for their ML degrees. Finally, we prove that second secant varieties of all other decomposable graphical models have the expected dimension.
K-Primitivity : A Literature Survey
A nonnegative matrix A is said to be primitive if there exists a positive integer m such that entries in A^m are positive and smallest such m is called the exponent of A: Primitive matrices are useful in the study of finite Markov chains theory. In 1998, in the context of finite Markov chains, Ettore Fornasini and Maria Elena Valcher [6] extended the notion of primitivity for a nonnegative matrix pair (A;B) by considering a positive discrete homogeneous two-dimensional (2D) state model. Further generalization to this notion of primitivity for k-tuple (A1;A2;...;Ak) of nonnegative matrices A1;A2;...;Ak is quite natural and known as k-primitivity. In this paper we present various results on k-primitivity given by different researchers from time to time.
New lower bounds for $r_3(N)$
We develop recent ideas of Elsholtz, Proske, and Sauermann to construct denser subsets of $\{1,\dots,N\}$ that lack arithmetic progressions of length $3$. This gives the first quasipolynomial improvement since the original construction of Behrend.
A Speed-up for Helsgaun's TSP Heuristic by Relaxing the Positive Gain Criterion
Published
• View Publication
• BIB
The Traveling Salesman Problem (TSP) is one of the most extensively researched and widely applied combinatorial optimization problems. It is NP-hard even in the symmetric and metric case. Building upon elaborate research, state-of-the-art exact solvers such as CONCORDE can solve TSP instances with several ten thousand vertices. A key ingredient for these integer programming approaches are fast heuristics to find a good initial solution, in particular the Lin-Kernighan-Helsgaun (LKH) heuristic. For instances with few hundred vertices heuristics like LKH often find an optimal solution. In this work we develop variations of LKH that perform significantly better on large instances. LKH repeatedly improves an initially random tour by exchanging edges along alternating circles. Thereby, it respects several criteria designed to quickly find alternating circles that give a feasible improvement of the tour. Among those criteria, the positive gain criterion stayed mostly untouched in previous research. It requires that, while constructing an alternating circle, the total gain has to be positive after each pair of edges. We relax this criterion carefully leading to improvement steps hitherto undiscovered by LKH. We confirm this improvement experimentally via extensive simulations on various benchmark libraries for TSP. Our computational study shows that for large instances our method is on average 13% faster than the latest version of LKH.
Probability that $n$ points are in convex position in a regular $κ$-gon : Asymptotic results
Published
• View Publication
• BIB
Let $\mathbb{P}_κ(n)$ be the probability that $n$ points $z_1,\ldots,z_n$ picked uniformly and independently in $\mathfrak{C}_κ$, a regular $κ$-gon with area $1$, are in convex position, that is, form the vertex set of a convex polygon. In this paper, we give an equivalent of $\mathbb{P}_κ(n)$ for all $κ\geq 3$, which improves on a famous result of Bárány. A second aim of the paper is to establish a limit theorem which describes the fluctuations around the limit shape of a $n$-tuple of points in convex position when $n\to+\infty$. Finally, we give an algorithm asymptotically exact for the random generation of $z_1,\ldots,z_n$, conditioned to be in convex position in $\mathfrak{C}_κ$.
The Non-Cancelling Intersections Conjecture
In this note, we present a conjecture on intersections of set families, and a rephrasing of the conjecture in terms of principal downsets of Boolean lattices. The conjecture informally states that, whenever we can express the measure of a union of sets in terms of the measure of some of their intersections using the inclusion-exclusion formula, then we can express the union as a set from these same intersections via the set operations of disjoint union and subset complement. We also present a partial result towards establishing the conjecture.
Elementary first-order model checking for sparse graphs
It is known that for subgraph-closed graph classes the first-order model checking problem is fixed-parameter tractable if and only if the class is nowhere dense [Grohe, Kreutzer, Siebertz, STOC 2014]. However, the dependency on the formula size is non-elementary, and in fact, this is unavoidable even for the class of all trees [Frick and Grohe, LICS 2002]. On the other hand, it is known that the dependency is elementary for classes of bounded degree [Frick and Grohe, LICS 2002] as well as for classes of bounded pathwidth [Lampis, ICALP 2023]. In this paper we generalise these results and almost completely characterise subgraph-closed graph classes for which the model checking problem is fixed-parameter tractable with an elementary dependency on the formula size. Those are the graph classes for which there exists a number $d$ such that for every $r$, some tree of depth $d$ and size bounded by an elementary function of $r$ is avoided as an $({\leq} r)$-subdivision in all graphs in the class. In particular, this implies that if the class in question excludes a fixed tree as a topological minor, then first-order model checking for graphs in the class is fixed-parameter tractable with an elementary dependency on the formula size.
On the Bessenrodt-Ono type inequality for a wide class of $A$-partition functions
Published
• View Publication
• BIB
The $A$-partition function $p_A(n)$ enumerates those partitions of $n$ whose parts belong to a fixed (finite or infinite) set $A$ of positive integers. On the other hand, the extended $A$-partition function $p_A\left(\boldsymbolμ\right)$ is defined as an multiplicative extension of the $A$-partition function to a function on $A$-partitions. In this paper, we investigate the Bessenrodt-Ono type inequality for a wide class of $A$-partition functions. In particular, we examine the property for both the $m$-ary partition function $b_m(n)$ and the $d$-th power partition function $p_d(n)$. Moreover, we show that $b_m(\boldsymbolμ)$ ($p_d(\boldsymbolμ)$) takes its maximum value at an explicitly described set of $m$-ary partitions (power partitions), where $\boldsymbolμ$ is an $m$-ary partition (a power partition) of $n$. Additionally, we exhibit analogous results for the Fibonacci partition function and the `factorial' partition function. It is worth pointing out that an elementary combinatorial reasoning plays a crucial role in our investigation.