natural ↗ reference
4894 papers tagged with this keyword
Sampling List Packings
We study the problem of approximately counting the number of list packings of a graph. The analogous problem for usual vertex coloring and list coloring has attracted a lot of attention. For list packing the setup is similar but we seek a full decomposition of the lists of colors into pairwise-disjoint proper list colorings. In particular, the existence of a list packing implies the existence of a list coloring. Recent works on list packing have focused on existence or extremal results of on the number of list packings, but here we turn to the algorithmic aspects of counting.
In graphs of maximum degree $Δ$ and when the number of colors is at least $Ω(Δ^2)$, we give an FPRAS based on rapid mixing of a natural Markov chain (the Glauber dynamics) which we analyze with the path coupling technique. Some motivation for our work is the investigation of an atypical spin system, one where the number of spins for each vertex is much larger than the graph degree.
Palindrome Partitions and the Calkin-Wilf Tree
Published
• View Publication
• BIB
There is a well-known bijection between finite binary sequences and integer partitions. Sequences of length r correspond to partitions of perimeter r+1. Motivated by work on rational numbers in the Calkin-Wilf tree, we classify partitions whose corresponding binary sequence is a palindrome. We give a generating function that counts these partitions, and describe how to efficiently generate all of them. Atypically for partitions generating functions, we find an unusual significance to prime degrees. Specifically, we prove there are nontrivial palindrome partitions of n except when n=3 or n+1 is prime. We find an interesting new "branching diagram" for partitions, similar to Young's lattice, with an action of the Klein four group corresponding to natural operations on the binary sequences.
The Hamilton space of pseudorandom graphs
Published
• View Publication
• BIB
We show that if $n$ is odd and $p \ge C \log n / n$, then with high probability Hamilton cycles in $G(n,p)$ span its cycle space. More generally, we show this holds for a class of graphs satisfying certain natural pseudorandom properties. The proof is based on a novel idea of parity-switchers, which can be thought of as analogues of absorbers in the context of cycle spaces. As another application of our method, we show that Hamilton cycles in a near-Dirac graph $G$, that is, a graph $G$ with odd $n$ vertices and minimum degree $n/2 + C$ for sufficiently large constant $C$, span its cycle space.
Combinatorics of rectangulations: Old and new bijections
Published
• View Publication
• BIB
A rectangulation is a decomposition of a rectangle into finitely many rectangles. Via natural equivalence relations, rectangulations can be seen as combinatorial objects with a rich structure, with links to lattice congruences, flip graphs, polytopes, lattice paths, Hopf algebras, etc. In this paper, we first revisit the structure of the respective equivalence classes: weak rectangulations that preserve rectangle-segment adjacencies, and strong rectangulations that preserve rectangle-rectangle adjacencies. We thoroughly investigate posets defined by adjacency in rectangulations of both kinds, and unify and simplify known bijections between rectangulations and permutation classes. This yields a uniform treatment of mappings between permutations and rectangulations that unifies the results from earlier contributions, and emphasizes parallelism and differences between the weak and the strong cases. Then, we consider the special case of guillotine rectangulations, and prove that they can be characterized - under all known mappings between permutations and rectangulations - by avoidance of two mesh patterns that correspond to "windmills" in rectangulations. This yields new permutation classes in bijection with weak guillotine rectangulations, and the first known permutation class in bijection with strong guillotine rectangulations. Finally, we address enumerative issues and prove asymptotic bounds for several families of strong rectangulations.
Random partitions, potential, value, and externalities
Published
• View Publication
• BIB
The Shapley value equals a player's contribution to the potential of a game. The potential is a most natural one-number summary of a game, which can be computed as the expected accumulated worth of a random partition of the players. This computation integrates the coalition formation of all players and readily extends to games with externalities. We investigate those potential functions for games with externalities that can be computed this way. It turns out that the potential that corresponds to the MPW solution introduced by Macho-Stadler et al. (2007, J. Econ. Theory 135, 339--356) is unique in the following sense. It is obtained as the expected accumulated worth of a random partition, it generalizes the potential for games without externalities, and it induces a solution that satisfies the null player property even in the presence of externalities.
The 1/3-conjectures for domination in cubic graphs
A set S of vertices in a graph G is a dominating set of G if every vertex not in S is adjacent to a vertex in S . The domination number of G, denoted by $γ$(G), is the minimum cardinality of a dominating set in G. In a breakthrough paper in 2008, L{ö}wenstein and Rautenbach proved that if G is a cubic graph of order n and girth at least 83, then $γ$(G) $\le$ n/3. A natural question is if this girth condition can be lowered. The question gave birth to two 1/3-conjectures for domination in cubic graphs. The first conjecture, posed by Verstraete in 2010, states that if G is a cubic graph on n vertices with girth at least 6, then $γ$(G) $\le$ n/3. The second conjecture, first posed as a question by Kostochka in 2009, states that if G is a cubic, bipartite graph of order n, then $γ$(G) $\le$n/3. In this paper, we prove Verstraete's conjecture when there is no 7-cycle and no 8-cycle, and we prove the Kostochka's related conjecture for bipartite graphs when there is no 4-cycle and no 8-cycle.
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.
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.
Generalisations of Euler's Tonnetz on triangulated surfaces
Published
• View Publication
• BIB
We give a definition of a what we call a `tonnetz' on a triangulated surface, generalising the famous tonnetz of Euler from 1739. In Euler's tonnetz the vertices of a regular `$A_2$ triangulation' of the plane are labelled with notes, or pitch-classes. In our generalisation we allow much more general labellings of triangulated surfaces. In particular, edge labellings turn out to lead to a rich set of examples. We construct natural examples that are related to crystallographic reflection groups and live on triangulations of tori. Underlying these we observe a curious relationship between mathematical Langlands duality and major/minor duality. We also construct `exotic' type-$A_2$ examples (different from Euler's Tonnetz), and a tonnetz on a sphere that encodes all major ninth chords.
The Borel Ramsey properties for countable Borel equivalence relations
Published
• View Publication
• BIB
We define some natural notions of strong and weak Borel Ramsey properties for countable Borel equivalence relations and show that they hold for a countable Borel equivalence relation if and only if the equivalence relation is smooth. We also consider some variation of the notion for hyperfinite non-smooth Borel equivalence relations.
An area-bounce exchanging bijection on a large subset of Dyck paths
Published
• View Publication
• BIB
It is a longstanding open problem to find a bijection exchanging area and bounce statistics on Dyck paths. We settle this problem for an exponentially large subset of Dyck paths via an explicit bijection. Moreover, we prove that this bijection is natural by showing that it maps what we call bounce-minimal paths to area-minimal paths. As a consequence of the proof ideas, we show combinatorially that a path with area $a$ and bounce $b$ exists if and only if a path with area $b$ and bounce $a$ exists. We finally show that the number of distinct values of the sum of the area and bounce statistics is the number of nonzero coefficients in Johnson's $q$-Bell polynomial.
Polynomial representation of TU-games
We propose in this paper a polynomial representation of TU-games, fuzzy measures, capacities, and more generally set functions. Our representation needs a countably infinite set of players and the natural ordering of finite sets of $\mathbb{N}$, defined recursively. For a given basis of the vector space of games, we associate to each game $v$ a formal polynomial of degree at most $2^n-1$ whose coefficients are the coordinates of $v$ in the given basis. By the fundamental theorem of algebra, $v$ can be represented by the roots of the polynomial. We present some new families of games stemming from this polynomial context, like the irreducible games, the multiplicative games and the cyclotomic games.
On the average stopping time of the Collatz map in $\mathbb{F}_2[x]$
Published
• View Publication
• BIB
Define the map $T_1$ on $\mathbb{F}_2[x]$ by $T_1(f)=\frac{f}{x}$ if $f(0)=0$ and $T_1(f)=\frac{(x+1)f+1}{x}$ if $f(0)=1$. For a non-zero polynomial $f$ let $τ_1(f)$ denote the least natural $k$ number for which $T_1^{k}(f)=1$. Define the average stopping time to be $ρ_1(n)=\frac{\sum_{f\in \mathbb{F}_2[x], \text{deg}(f)=n }τ_1(f)}{2^n}$. We show that $\lim_{n\rightarrow\infty}\frac{ρ_1(n)}{n}=2$, confirming a conjecture of Alon, Behajaina, and Paran. Furthermore, we give a new proof that $τ_1(f)\in O(\text{deg}(f)^{1.5})$ for all $f\in\mathbb{F}_2[x]\setminus\{0\}$.
Set Systems with Covering Properties and Low VC-Dimension
Published
• View Publication
• BIB
Given natural numbers $k \leq s \leq n$, we ask: what is the minimal VC-dimension of a family $\mathcal{F}$ of $s$-subsets of $[n]$ that covers all $k$-subsets of $[n]$? We first show that for sufficiently large $n$ this number is always $k$, and construct families which give a lower bound for the actual growth of this stabilization point.
A common generalization of hypercube partitions and ovoids in polar spaces
We investigate what we call generalized ovoids, that is families of totally isotropic subspaces of finite classical polar spaces such that each maximal totally isotropic subspace contains precisely one member of that family. This is a generalization of ovoids in polar spaces as well as the natural $q$-analog of a subcube partition of the hypercube (which can be seen as a polar space with $q=1$). Our main result proves that a generalized ovoid of $k$-spaces in polar spaces of large rank does not exist. More precisely, for $q=p^h$, $p$ prime, and some positive integer $k$, a generalized ovoid of $k$-spaces in a polar space $\mathcal{P}$ with rank $r \geq r_0(k, p)$ in a vector space $V(n,q)$ does not exist.
The conjugacy diameters of non-abelian finite $p$-groups with cyclic maximal subgroups
Published
• View Publication
• BIB
Let $G$ be a group. A subset $S$ of $G$ is said to normally generate $G$ if $G$ is the normal closure of $S$ in $G.$ In this case, any element of $G$ can be written as a product of conjugates of elements of $S$ and their inverses. If $g\in G$ and $S$ is a normally generating subset of $G,$ then we write $\| g\|_{S}$ for the length of a shortest word in $\mbox{Conj}_{G}(S^{\pm 1}):=\{h^{-1}sh | h\in G, s\in S \, \mbox{or} \, s{^{-1}}\in S \}$ needed to express $g.$ For any normally generating subset $S$ of $G,$ we write $\|G\|_{S} =\mbox{sup}\{\|g\|_{S} \,|\,\, g\in G\}.$ Moreover, we write $Δ(G)$ for the supremum of all $\|G\|_{S},$ where $S$ is a finite normally generating subset of $G,$ and we call $Δ(G)$ the conjugacy diameter of $G.$ In this paper, we determine the conjugacy diameters of the semidihedral $2$-groups, the generalized quaternion groups and the modular $p$-groups. This is a natural step after the determination of the conjugacy diameters of dihedral groups, which were recently found by the first author (finite case) and by Kedra, Libman and Martin (infinite case).
Pixelating Relations and Functions Without Adding Substructures
Published
• View Publication
• BIB
We investigate models of relations over a bounded continuous segment of real numbers, along with the natural linear order over the reals being provided as a "hard-coded" relation. This paper presents a generalization of a lemma from [Ben-Eliezer, Fischer, Levi and Yoshida, ITCS 2021], showing that with a small amount of modification (measured in terms of the Lebesgue measure) we can replace such a model with a "pixelated" one that has a finite description, in a way that preserves all universally quantified statements over the relations, or in other words, without adding any new substructures.
An Optimal Randomized Algorithm for Finding the Saddlepoint
A \emph{saddlepoint} of an $n \times n$ matrix is an entry that is the maximum of its row and the minimum of its column. Saddlepoints give the \emph{value} of a two-player zero-sum game, corresponding to its pure-strategy Nash equilibria; efficiently finding a saddlepoint is thus a natural and fundamental algorithmic task.
For finding a \emph{strict saddlepoint} (an entry that is the strict maximum of its row and the strict minimum of its column) we recently gave an $O({n\log^*{n}})$-time algorithm, improving the $O({n\log{n}})$ bounds from 1991 of Bienstock, Chung, Fredman, Schäffer, Shor, Suri and of Byrne and Vaserstein.
In this paper we present an optimal $O({n})$-time algorithm for finding a strict saddlepoint based on random sampling. Our algorithm, like earlier approaches, accesses matrix entries only via unit-cost binary comparisons. For finding a (non-strict) saddlepoint, we extend an existing lower bound to randomized algorithms, showing that the trivial $O(n^2)$ runtime cannot be improved even with the use of randomness.
Stabiliser codes over fields of even order
Published
• View Publication
• BIB
We prove that the natural isomorphism between GF(2^h) and GF(2)^h induces a bijection between stabiliser codes on n quqits with local dimension q=2^h and binary stabiliser codes on hn qubits. This allows us to describe these codes geometrically: a stabiliser code over a field of even order corresponds to a so-called quantum set of symplectic polar spaces. Moreover, equivalent stabiliser codes have a similar geometry, which can be used to prove the uniqueness of a [[4,0,3]]_4 stabiliser code and the nonexistence of both a [[7,1,4]]_4 and an [[8,0,5]]_4 stabiliser code.
Permutation representations and automorphisms of evolution algebras
Published
• View Publication
• BIB
We prove that the natural permutation representation of highly transitive finite groups cannot be realized as the full automorphism group of an idempotent, finite-dimensional evolution algebra acting on the set of lines spanned by its natural elements. Specifically, for any sufficiently large integer $n$ and $k \geq 4$, there does not exist an idempotent evolution algebra $X$ of dimension $n$ such that $\operatorname{Aut}(X)$ is isomorphic to a proper $k$-transitive subgroup of $S_n$.
Nevertheless, we show that for any finite group $G$, any permutation representation $ξ\colon G \to S_n$, and any field $\Bbbk$, there exists an idempotent, finite-dimensional evolution $\Bbbk$-algebra $X$ such that $\operatorname{Aut}(X) \cong G$, and the induced representation of $\operatorname{Aut}(X)$ on the natural idempotents of $X$ is equivalent to $ξ$.