Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Ambitropical geometry, hyperconvexity and zero-sum games
Shapley operators of undiscounted zero-sum two-player games are order-preserving maps that commute with the addition of a constant. We characterize the fixed point sets of Shapley operators, in finite dimension (i.e., for games with a finite state space). Some of these characterizations are of a lattice theoretical nature, whereas some other rely on metric or tropical geometry. More precisely, we show that fixed point sets of Shapley operators are special instances of hyperconvex spaces: they are sup-norm non-expansive retracts of $\R^n$, and also lattices in the induced partial order. Moreover, they retain properties of convex sets, with a notion of ``convex hull'' defined only up to isomorphism. This provides an effective construction of the injective hull or tight span, in the case of additive cones. For deterministic games with finite action spaces, these fixed point sets are supports of polyhedral complexes, with a cell decomposition attached to stationary strategies of the players, in which each cell is an alcoved polyhedron of $A_n$ type. We finally provide an explicit local representation of the latter fixed point sets, as polyhedral fans canonically associated to lattices included in the Boolean hypercube.
Arbitrary-length analogs to de Bruijn sequences
Published in CPM 2022
• View Publication
• BIB
Let $\widetildeα$ be a length-$L$ cyclic sequence of characters from a size-$K$ alphabet $\mathcal{A}$ such that the number of occurrences of any length-$m$ string on $\mathcal{A}$ as a substring of $\widetildeα$ is $\lfloor L / K^m \rfloor$ or $\lceil L / K^m \rceil$. When $L = K^N$ for any positive integer $N$, $\widetildeα$ is a de Bruijn sequence of order $N$, and when $L \neq K^N$, $\widetildeα$ shares many properties with de Bruijn sequences. We describe an algorithm that outputs some $\widetildeα$ for any combination of $K \geq 2$ and $L \geq 1$ in $O(L)$ time using $O(L \log K)$ space. This algorithm extends Lempel's recursive construction of a binary de Bruijn sequence. An implementation written in Python is available at https://github.com/nelloreward/pkl.
Semifinite harmonic functions on branching graphs
Published
• View Publication
• BIB
We study semifinite harmonic functions on arbitrary branching graphs. We give a detailed exposition of an algebraic method which allows one to classify semifinite indecomposable harmonic functions on some multiplicative branching graphs. This method was proposed by A. Wassermann in terms of operator algebras, while we rephrase, clarify, and simplify the main arguments, working only with combinatorial objects. This work was inspired by the theory of traceable factor representations of the infinite symmetric group $S(\infty)$.
Factorization of Platonic Polytopes into canonical spheres
Published in {\it Geombinatorics}, {\bf XXXI}(1)(2021) 5--9
• Search Publication
Factorization into spheres is achieved for skeleta of the simplex, cube, and cross-polytope, both explicitly and using Keevash's proof of existence of designs.
A Note on the Permuted Puzzles Toy Conjecture
In this note, we show that a "Toy Conjecture" made by (Boyle, Ishai, Pass, Wootters, 2017) is false, and propose a new one. Our attack does not falsify the full ("non-toy") conjecture in that work, and it is our hope that this note will help further the analysis of that conjecture. Independently, (Boyle, Holmgren, Ma, Weiss, 2021) have obtained similar results.
Constructing Triangle Decomposable Multigraphs with Minimum Multi-edges
We study triangle decompositions of graphs. We consider constructions of classes of graphs where every edge lies on a triangle and the addition of the minimum number of multiple edges between already adjacent vertices results in a strongly triangle divisible graph that is also triangle decomposable. We explore several classes of planar graphs as well as a class of toroidal graphs.
Undecidable translational tilings with only two tiles, or one nonabelian tile
Published
• View Publication
• BIB
We construct an example of a group $G = \mathbb{Z}^2 \times G_0$ for a finite abelian group $G_0$, a subset $E$ of $G_0$, and two finite subsets $F_1,F_2$ of $G$, such that it is undecidable in ZFC whether $\mathbb{Z}^2\times E$ can be tiled by translations of $F_1,F_2$. In particular, this implies that this tiling problem is aperiodic, in the sense that (in the standard universe of ZFC) there exist translational tilings of $E$ by the tiles $F_1,F_2$, but no periodic tilings. Previously, such aperiodic or undecidable translational tilings were only constructed for sets of eleven or more tiles (mostly in $\mathbb{Z}^2$). A similar construction also applies for $G = \mathbb{Z}^d$ for sufficiently large $d$. If one allows the group $G_0$ to be non-abelian, a variant of the construction produces an undecidable translational tiling with only one tile $F$.
The argument proceeds by first observing that a single tiling equation is able to encode an arbitrary system of tiling equations, which in turn can encode an arbitrary system of certain functional equations once one has two or more tiles. In particular, one can use two tiles to encode tiling problems for an arbitrary number of tiles.
Restricted Dyck Paths on Valleys Sequence
In this paper we study a subfamily of a classic lattice path, the \emph{Dyck paths}, called \emph{restricted $d$-Dyck} paths, in short $d$-Dyck. A valley of a Dyck path $P$ is a local minimum of $P$; if the difference between the heights of two consecutive valleys (from left to right) is at least $d$, we say that $P$ is a restricted $d$-Dyck path. The \emph{area} of a Dyck path is the sum of the absolute values of $y$-components of all points in the path. We find the number of peaks and the area of all paths of a given length in the set of $d$-Dyck paths. We give a bivariate generating function to count the number of the $d$-Dyck paths with respect to the the semi-length and number of peaks. After that, we analyze in detail the case $d=-1$. Among other things, we give both, the generating function and a recursive relation for the total area.
$Q$-ary non-overlapping codes: a generating function approach
Published
• View Publication
• BIB
Non-overlapping codes are a set of codewords in $\bigcup_{n \ge 2} \mathbb{Z}_q^n$, where $\mathbb{Z}_q = \{0,1,\dots,q-1\}$, such that, the prefix of each codeword is not a suffix of any codeword in the set, including itself; and for variable-length codes, a codeword does not contain any other codeword as a subword. In this paper, we investigate a generic method to generalize binary codes to $q$-ary for $q > 2$, and analyze this generalization on the two constructions given by Levenshtein (also by Gilbert; Chee, Kiah, Purkayastha, and Wang) and Bilotta, respectively. The generalization on the former construction gives large non-expandable fixed-length non-overlapping codes whose size can be explicitly determined; the generalization on the later construction is the first attempt to generate $q$-ary variable-length non-overlapping codes. More importantly, this generic method allows us to utilize the generating function approach to analyze the cardinality of the underlying $q$-ary non-overlapping codes. The generating function approach not only enables us to derive new results, e.g., recurrence relations on their cardinalities, new combinatorial interpretations for the constructions, and the limit superior of their cardinalities for some special cases, but also greatly simplifies the arguments for these results. Furthermore, we give an exact formula for the number of fixed-length words that do not contain the codewords in a variable-length non-overlapping code as subwords. This thereby solves an open problem by Bilotta and induces a recursive upper bound on the maximum size of variable-length non-overlapping codes.
On the minimum size of subset and subsequence sums in integers
Published in Comptes Rendus Mathematique, Volume 360 (2022), pp. 1099-1111
• View Publication
• BIB
Let $\mathcal{A}$ be a sequence of $rk$ terms which is made up of $k$ distinct integers each appearing exactly $r$ times in $\mathcal{A}$. The sum of all terms of a subsequence of $\mathcal{A}$ is called a subsequence sum of $\mathcal{A}$. For a nonnegative integer $α\leq rk$, let $Σ_α (\mathcal{A})$ be the set of all subsequence sums of $\mathcal{A}$ that correspond to the subsequences of length $α$ or more. When $r=1$, we call the subsequence sums as subset sums and we write $Σ_α (A)$ for $Σ_α (\mathcal{A})$. In this article, using some simple combinatorial arguments, we establish optimal lower bounds for the size of $Σ_α (A)$ and $Σ_α (\mathcal{A})$. As special cases, we also obtain some already known results in this study.
Pendant appearances and components in random graphs from structured classes
Published
• View Publication
• BIB
We consider random graphs sampled uniformly from a structured class of graphs, such as the class of graphs embeddable in a given surface. We sharpen and extend earlier results on pendant appearances, concerning for example numbers of leaves; and obtain results on the asymptotic distribution of components other than the giant component, under quite general conditions.
Polynomial convolutions and (finite) free probability
We introduce a finite version of free probability and show the link between recent results using polynomial convolutions and the traditional theory of free probability. One tool for accomplishing this is a seemingly new transformation that allows one to reduce computations in our new theory to computations using classically independent random variables. We then explore the idea of finite freeness and its implications. Lastly, we show applications of the new theory by deriving the finite versions of some well-known free distributions and then proving their associated limit laws directly. In the process, we gain a number of insights into the behavior of convolutions in traditional free probability that seem to get lost when the operators being convolved are no longer finite. This version contains the original preprint from 2016 as well as an extra section (Section 5.2) where we use finite freeness to prove majorization relations on certain convolution.
Polynomial bounds for chromatic number. III. Excluding a double star
Published
• View Publication
• BIB
A double star is a tree with two internal vertices. It is known that the Gyárfás-Sumner conjecture holds for double stars, that is, for every double star $H$, there is a function $f$ such that if $G$ does not contain $H$ as an induced subgraph then $χ(G)\le f(ω(G))$ (where $χ, ω$ are the chromatic number and the clique number of $G$). Here we prove that $f$ can be chosen to be a polynomial.
Forbidden induced pairs for perfectness and $ω$-colourability of graphs
Published
• View Publication
• BIB
We characterise the pairs of graphs $\{ X, Y \}$ such that all $\{ X, Y \}$-free graphs (distinct from $C_5$) are perfect. Similarly, we characterise pairs $\{ X, Y \}$ such that all $\{ X, Y \}$-free graphs (distinct from $C_5$) are $ω$-colourable (that is, their chromatic number is equal to their clique number). More generally, we show characterizations of pairs $\{ X, Y \}$ for perfectness and $ω$-colourability of all connected $\{ X, Y \}$-free graphs which are of independence at least $3$, distinct from an odd cycle, and of order at least $n_0$, and similar characterisations subject to each subset of these additional constraints. (The classes are non-hereditary and the characterisations for perfectness and $ω$-colourability are different.) We build on recent results of Brause et al. on $\{ K_{1,3}, Y \}$-free graphs, and we use Ramsey's Theorem and the Strong Perfect Graph Theorem as main tools. We relate the present characterisations to known results on forbidden pairs for $χ$-boundedness and deciding $k$-colourability in polynomial time.
Fixing a hole
Published
• View Publication
• BIB
We show that any finite $S \subset \mathbb{R}^d$ in general position has arbitrarily large supersets $T \supseteq S$ in general position with the property that $T$ contains no empty convex polygon, or hole, with $C_d$ points, where $C_d$ is an integer that depends only on the dimension $d$. This generalises results of Horton and Valtr which treat the case $S = \emptyset$. The key step in our proof, which may be of independent interest, is to show that there are arbitrarily small perturbations of the set of lattice points $[n]^d$ with no large holes.
Bose-Einstein condensation processes with nontrivial geometric multiplicites realized via ${\cal PT}-$symmetric and exactly solvable linear-Bose-Hubbard building blocks
Published in Quantum Rep. 2021, 3, 517-533
• View Publication
• BIB
It is well known that using the conventional non-Hermitian but ${\cal PT}-$symmetric Bose-Hubbard Hamiltonian with real spectrum one can realize the Bose-Einstein condensation (BEC) process in an exceptional-point limit of order $N$. Such an exactly solvable simulation of the BEC-type phase transition is, unfortunately, incomplete because the standard version of the model only offers an extreme form of the limit characterized by a minimal geometric multiplicity $K=1$. In our paper we describe a rescaled and partitioned direct-sum modification of the linear version of the Bose-Hubbard model which remains exactly solvable while admitting any value of $K\geq 1$. It offers a complete menu of benchmark models numbered by a specific combinatorial scheme. In this manner, an exhaustive classification of the general BEC patterns with any geometric multiplicity is obtained and realized in terms of an exactly solvable generalized Bose-Hubbard model.
On Kostant's weight $q$-multiplicity formula for $\mathfrak{sp}_6(\mathbb{C})$
Published
• View Publication
• BIB
Kostant's weight $q$-multiplicity formula is an alternating sum over a finite group known as the Weyl group, whose terms involve the $q$-analog of Kostant's partition function. The $q$-analog of the partition function is a polynomial-valued function defined by $\wp_q(ξ)=\sum_{i=0}^k c_i q^i$, where $c_i$ is the number of ways the weight $ξ$ can be written as a sum of exactly $i$ positive roots of a Lie algebra $\mathfrak{g}$. The evaluation of the $q$-multiplicity formula at $q = 1$ recovers the multiplicity of a weight in an irreducible highest weight representation of $\mathfrak{g}$. In this paper, we specialize to the Lie algebra $\mathfrak{sp}_6(\mathbb{C})$ and we provide a closed formula for the $q$-analog of Kostant's partition function, which extends recent results of Shahi, Refaghat, and Marefat. We also describe the supporting sets of the multiplicity formula (known as the Weyl alternation sets of $\mathfrak{sp}_6(\mathbb{C})$), and use these results to provide a closed formula for the $q$-multiplicity for any pair of dominant integral weights of $\mathfrak{sp}_6(\mathbb{C})$. Throughout this work, we provide code to facilitate these computations.
K_4-free graphs have sparse halves
Published in Bulletin of the London Mathematical Society 55 (2023), no. 3, 1178-1195
• View Publication
• BIB
Every $K_4$-free graph on $n$ vertices has a set of $\lfloor n/2\rfloor$ vertices spanning at most $n^2/18$ edges.
The regularity of almost all edge ideals
A fruitful contemporary paradigm in graph theory is that almost all graphs that do not contain a certain subgraph have common structural characteristics. The "almost" is crucial, without it there is no structure. In this paper we transfer this paradigm to commutative algebra and make use of deep graph theoretic results. A key tool are the critical graphs introduced by Balogh and Butterfield.
We consider edge ideals $I_G$ of graphs and their Betti numbers. The numbers of the form $β_{i,2i+2}$ constitute the "main diagonal" of the Betti table. It is well known that any Betti number $β_{i,j}(I_G)$ below (or equivalently, to the left of) this diagonal is always zero. We identify a certain "parabola" inside the Betti table and call parabolic Betti numbers the entries of the Betti table bounded on the left by the main diagonal and on the right by this parabola. Let $β_{i,j}$ be a parabolic Betti number on the $r$-th row of the Betti table, for $r\ge3$. Our main results state that almost all graphs $G$ with $β_{i,j}(I_G)=0$ can be partitioned into $r-2$ cliques and one independent set, and in particular for almost all graphs $G$ with $β_{i,j}(I_G)=0$ the regularity of $I_G$ is $r-1$.
On the dimension of exceptional parameters for nonlinear projections, and the discretized Elekes-Rónyai theorem
Published in Geom. Funct. Anal. 34, 209--262, 2024
• View Publication
• BIB
We consider four related problems. (1) Obtaining dimension estimates for the set of exceptional vantage points for the pinned Falconer distance problem. (2) Nonlinear projection theorems, in the spirit of Kaufman, Bourgain, and Shmerkin. (3) The parallelizability of planar $d$-webs. (4) The Elekes-Rónyai theorem on expanding polynomials.
Given a Borel set $A$ in the plane, we study the set of exceptional vantage points, for which the pinned distance $Δ_p(A)$ has small dimension, that is, close to $(\dim A)/2$. We show that if this set has positive dimension, then it must have very special structure. This result follows from a more general single-scale nonlinear projection theorem, which says that if $φ_1,φ_2,φ_3$ are three smooth functions whose associated 3-web has non-vanishing Blaschke curvature, and if $A$ is a $(δ,α)_2$-set in the sense of Katz and Tao, then at least one of the images $φ_i(A)$ must have measure much larger than $|A|^{1/2}$, where $|A|$ stands for the measure of $A$. We prove analogous results for $d$ smooth functions $φ_1,\ldots,φ_d$, whose associated $d$-web is not parallelizable.
We use similar tools to characterize when bivariate real analytic functions are "dimension expanding" when applied to a Cartesian product: if $P$ is a bivariate real analytic function, then $P$ is either locally of the form $h(a(x) + b(y))$, or $P(A,B)$ has dimension at least $α+c$ whenever $A$ and $B$ are Borel sets with Hausdorff dimension $α$. Again, this follows from a single-scale estimate, which is an analogue of the Elekes-Rónyai theorem in the setting of the Katz-Tao discretized ring conjecture.