Showing 20 papers (Total: 84253 papers, 48533 authors in database)
The Polyhedral Tree Complex
Published in Combinatorial Theory, 2(3) 2022
• View Publication
• BIB
The tree complex is a simplicial complex defined in recent work of Belk, Lanier, Margalit, and Winarski with natural applications to mapping class groups and complex dynamics. In this article, we connect this setting with the study of certain convex polytopes: associahedra and cyclohedra. Specifically, we describe a characterization of these polytopes using planar embeddings of trees and show that the tree complex is the barycentric subdivision of a polyhedral cell complex for which the cells are products of associahedra and cyclohedra.
The Pop-stack-sorting Operator on Tamari Lattices
Published in Adv. Applied Math., Volume 139, August 2022, 102362
• View Publication
• BIB
Motivated by the pop-stack-sorting map on the symmetric groups, Defant defined an operator $\mathsf{Pop}_M : M \to M$ for each complete meet-semilattice $M$ by $$\mathsf{Pop}_M(x)=\bigwedge(\{y\in M: y\lessdot x\}\cup \{x\}).$$ This paper concerns the dynamics of $\mathsf{Pop}_{\mathrm{Tam}_n}$, where $\mathrm{Tam}_n$ is the $n$-th Tamari lattice.
We say an element $x\in \mathrm{Tam}_n$ is $t$-$\mathsf{Pop}$-sortable if $\mathsf{Pop}_M^t (x)$ is the minimal element and we let $h_t(n)$ denote the number of $t$-$\mathsf{Pop}$-sortable elements in $\mathrm{Tam}_n$. We find an explicit formula for the generating function $\sum_{n\ge 1}h_t(n)z^n$ and verify Defant's conjecture that it is rational. We furthermore prove that the size of the image of $\mathsf{Pop}_{\mathrm{Tam}_n}$ is the Motzkin number $M_n$, settling a conjecture of Defant and Williams.
A description of the minimal elements of Shi regions in classical Weyl Groups
In this extended abstract, we show how a bijection between parking functions and regions of the Shi arrangement from [Athanasiadis, Linusson '99] (in type $A_n$) and [Armstrong, Reiner, Rhoades '15] (in type $B_n, C_n, D_n$) allows for the computation of the minimal elements of the Shi regions. This gives a combinatorial interpretation of these minimal elements: they can be seen as counting non-crossing arcs in non-nesting arc diagrams.
Cluster algebras associated with open Richardson varieties: an algorithm to compute initial seeds
We present a new algorithm to compute initial seeds for cluster structures on categories associated with coordinate rings of open Richardson varieties. This allows us to explicitely determine seeds first considered in Leclerc's 2016 article.
An inverse Fraïssé limit for finite posets and duality for posets and lattices
We consider a category of all finite partial orderings with quotient maps as arrows and construct a Fraïssé sequence in this category. Then we use commonly known relations between partial orders and lattices to construct a sequence of lattices associated with it. Each of these two sequences has a limit object -- an inverse limit, which is an object of our interest as well.
In the first chapter there are some preliminaries considering partial orders, lattices, topology, inverse limits, category theory and Fraïssé theory, which are used later. In the second chapter there are our results considering a Fraïssé sequence in category of finite posets with quotient maps and properties of inverse limit of this sequence. In the third chapter we investigate connections between posets and order ideals corresponding to them, getting an inductive sequence made of these ideals; then we study properties of the inverse limit of this sequence.
Short proof of a theorem of Brylawski on the coefficients of the Tutte polynomial
Published
• View Publication
• BIB
In this short note we show that a system $M=(E,r)$ with a ground set $E$ of size $m$ and (rank) function $r: 2^E\to \mathbb{Z}_{\geq 0}$ satisfying $r(S)\leq \min(r(E),|S|)$ for every set $S\subseteq E$, the Tutte polynomial $$T_M(x,y):=\sum_{S\subseteq E}(x-1)^{r(E)-r(S)}(y-1)^{|S|-r(S)},$$ written as $T_M(x,y)=\sum_{i,j}t_{ij}x^iy^j$, satisfies that for any integer $h \geq 0$, we have $$\sum_{i=0}^h\sum_{j=0}^{h-i}\binom{h-i}{j}(-1)^jt_{ij}=(-1)^{m-r}\binom{h-r}{h-m},$$ where $r=r(E)$, and we use the convention that when $h<m$, the binomial coefficient $\binom{h-r}{h-m}$ is interpreted as $0$. This generalizes a theorem of Brylawski on matroid rank functions and $h<m$, and a theorem of Gordon for $h\leq m$ with the same assumptions on the rank function. The proof presented here is significantly shorter than the previous ones. We only use the fact that the Tutte polynomial $T_M(x,y)$ simplifies to $(x-1)^{r(E)}y^{|E|}$ along the hyperbola $(x-1)(y-1)=1$.
Ehrhart theory of symmetric edge polytopes via ribbon structures
Using a ribbon structure of the graph, we construct a dissection of the symmetric edge polytope of a graph into unimodular simplices. Our dissection is shellable, and one can interpret the elements of the resulting $h$-vector via graph theory. This gives an elementary method for computing the $h^*$-vector of the symmetric edge polytope.
Probabilistic chip-collecting games with modulo winning conditions
Published in Discrete Applied Mathematics 324 (2013), 93-98
• View Publication
• BIB
Let $a$, $b$, and $n$ be integers with $0<a<b<n$. In a certain two-player probabilistic chip-collecting game, Alice tosses a coin to determine whether she collects $a$ chips or $b$ chips. If Alice collects $a$ chips, then Bob collects $b$ chips, and vice versa. A player is announced the winner when they have accumulated a number of chips that is a multiple of $n$. In this paper, we settle two conjectures from the literature related to this game.
Gold Functions and Switched Cube Functions Are Not 0-Extendable in Dimension $n > 5$
Published in Des. Codes Cryptogr. 91(2): 433-449 (2023)
• View Publication
• BIB
In the independent works by Kalgin and Idrisova and by Beierle, Leander and Perrin, it was observed that the Gold APN functions over $\mathbb{F}_{2^5}$ give rise to a quadratic APN function in dimension 6 having maximum possible linearity of $2^5$ (that is, minimum possible nonlinearity $2^4$). In this article, we show that the case of $n \leq 5$ is quite special in the sense that Gold APN functions in dimension $n>5$ cannot be extended to quadratic APN functions in dimension $n+1$ having maximum possible linearity. In the second part of this work, we show that this is also the case for APN functions of the form $x \mapsto x^3 + μ(x)$ with $μ$ being a quadratic Boolean function.
Characterizing Planar Tanglegram Layouts and Applications to Edge Insertion Problems
Published
• View Publication
• BIB
Tanglegrams are formed by taking two rooted binary trees $T$ and $S$ with the same number of leaves and uniquely matching each leaf in $T$ with a leaf in $S$. They are usually represented using layouts, which embed the trees and the matching of the leaves into the plane as in Figure 1. Given the numerous ways to construct a layout, one problem of interest is the Tanglegram Layout Problem, which is to efficiently find a layout that minimizes the number of crossings. This parallels a similar problem involving drawings of graphs, where a common approach is to insert edges into a planar subgraph. In this paper, we will explore inserting edges into a planar tanglegram. Previous results on planar tanglegrams include a Kuratowski Theorem, enumeration, and an algorithm for drawing a planar layout. We start by building on these results and characterizing all planar layouts of a planar tanglegram. We then apply this characterization to construct a quadratic-time algorithm that inserts a single edge optimally. Finally, we generalize some results to multiple edge insertion.
Trees, graphs and aggregates: a categorical perspective on combinatorial surface topology, geometry, and algebra
Taking a Feynman categorical perspective, several key aspects of the geometry of surfaces are deduced from combinatorial constructions with graphs. This provides a direct route from combinatorics of graphs to string topology operations via topology, geometry and algebra.
In particular, the inclusion of trees into graphs and the dissection of graphs into aggregates yield a concise formalism for cyclic and modular operads as well as their polycyclic and surface type generalizations. The latter occur prominently in two-dimensional topological field theory and in string topology. The categorical viewpoint allows us to use left Kan extensions of Feynman operations as an efficient computational tool. The computations involve the study of certain categories of structured graphs which are expected to be of independent interest.
Analytic torsion for graphs
Analytic torsion is a functional on graphs which only needs linear algebra to be defined. In the continuum it corresponds to the Ray-Singer analytic torsion. We have formulas for analytic torsion if the graph is contractible or if it is a discrete sphere. A key insight is that analytic torsion is the super determinant of the Dirac operator of the graph.
On the support of Grothendieck polynomials
Grothendieck polynomials $\mathfrak{G}_w$ of permutations $w\in S_n$ were introduced by Lascoux and Schützenberger in 1982 as a set of distinguished representatives for the K-theoretic classes of Schubert cycles in the K-theory of the flag variety of $\mathbb{C}^n$. We conjecture that the exponents of nonzero terms of the Grothendieck polynomial $\mathfrak{G}_w$ form a poset under componentwise comparison that is isomorphic to an induced subposet of $\mathbb{Z}^n$. When $w\in S_n$ avoids a certain set of patterns, we conjecturally connect the coefficients of $\mathfrak{G}_w$ with the Möbius function values of the aforementioned poset with $\hat{0}$ appended. We prove special cases of our conjectures for Grassmannian and fireworks permutations.
The crossing number of the complete 4-partite graph $K_{1,1,m,n}$
Let $\textrm{cr}(G)$ denote the crossing number of a graph $G$. The well-known Zarankiewicz's conjecture (ZC) asserted $\textrm{cr}(K_{m,n})$ in 1954. In 1971, Harborth gave a conjecture (HC) on $\textrm{cr}(K_{x_1,...,x_n})$. HC on $K_{1,m,n}$ is verified if ZC is true by Ho et al. in 2021. In this paper, we showed the following results: If both $m$ and $n$ are even, then \[\textrm{cr}(K_{1,1,m,n})\geq \frac{1}{2}(\textrm{cr}(K_{m+1,n+3})+\textrm{cr}(K_{m+3,n+1})-mn-\frac{1}{4}(m^2+n^2));\] If both $m$ and $n$ are odd, then \[\textrm{cr}(K_{1,1,m,n})\geq \frac{1}{2}(\textrm{cr}(K_{1,m+1,n+1})+\textrm{cr}(K_{2,m,n})-\frac{1}{4}(m+1)(n+1)+1);\] If $m$ is even and $n$ is odd, then \begin{equation}\nonumber \begin{split} \textrm{cr}(K_{1,1,m,n})&\geq \frac{1}{4}(\textrm{cr}(K_{m+1,n+2})+\textrm{cr}(K_{m+3,n+2})+2\textrm{cr}(K_{2,m,n}) \\&-m(n+1)-\frac{1}{4}(n+1)^2). \end{split} \end{equation} The lower bounds in our result imply that if both $m$ and $n$ are even and ZC is true, then HC on $K_{1,1,m,n}$ holds; if at least one of $m$ and $n$ is odd and both ZC and HC on $K_{2,m,n}$ are true, then HC on $K_{1,1,m,n}$ holds.
Prefix palindromic length of the Sierpinski word
Published
• View Publication
• BIB
The prefix palindromic length $p_{\mathbf{u}}(n)$ of an infinite word $\mathbf{u}$ is the minimal number of concatenated palindromes needed to express the prefix of length $n$ of $\mathbf{u}$. This function is surprisingly difficult to study; in particular, the conjecture that $p_{\mathbf{u}}(n)$ can be bounded only if $\mathbf{u}$ is ultimately periodic is open since 2013. A more recent conjecture concerns the prefix palindromic length of the period doubling word: it seems that it is not $2$-regular, and if it is true, this would give a rare if not unique example of a non-regular function of a $2$-automatic word.
For some other $k$-automatic words, however, the prefix palindromic length is known to be $k$-regular. Here we add to the list of those words the Sierpinski word $\mathbf{s}$ and give a complete description of $p_{\mathbf{s}}(n)$.
Joint distribution of the cokernels of random $p$-adic matrices
Published in Forum Mathematicum 35 (2023), no. 4, 1005-1020
• View Publication
• BIB
In this paper, we study the joint distribution of the cokernels of random $p$-adic matrices. Let $p$ be a prime and $P_1(t), \cdots, P_l(t) \in \mathbb{Z}_p[t]$ be monic polynomials whose reductions modulo $p$ in $\mathbb{F}_p[t]$ are distinct and irreducible. We determine the limit of the joint distribution of the cokernels $\text{cok} (P_1(A)), \cdots, \text{cok}(P_l(A))$ for a random $n \times n$ matrix $A$ over $\mathbb{Z}_p$ with respect to Haar measure as $n \rightarrow \infty$. By applying the linearization of a random matrix model, we also provide a conjecture which generalizes this result. Finally, we provide a sufficient condition that the cokernels $\text{cok}(A)$ and $\text{cok}(A+B_n)$ become independent as $n \rightarrow \infty$, where $B_n$ is a fixed $n \times n$ matrix over $\mathbb{Z}_p$ for each $n$ and $A$ is a random $n \times n$ matrix over $\mathbb{Z}_p$.
Multidimensional Manhattan Preferences
Published
• View Publication
• BIB
A preference profile with $m$ alternatives and $n$ voters is $d$-Manhattan (resp. $d$-Euclidean) if both the alternatives and the voters can be placed into the $d$-dimensional space such that between each pair of alternatives, every voter prefers the one which has a shorter Manhattan (resp. Euclidean) distance to the voter. Following Bogomolnaia and Laslier [Journal of Mathematical Economics, 2007] and Chen and Grottke [Social Choice and Welfare, 2021] who look at $d$-Euclidean preference profiles, we study which preference profiles are $d$-Manhattan depending on the values $m$ and $n$.
First, we show that each preference profile with $m$ alternatives and $n$ voters is $d$-Manhattan whenever $d$ $\geq$ min($n$, $m$-$1$). Second, for $d = 2$, we show that the smallest non $d$-Manhattan preference profile has either three voters and six alternatives, or four voters and five alternatives, or five voters and four alternatives. This is more complex than the case with $d$-Euclidean preferences (see [Bogomolnaia and Laslier, 2007] and [Bulteau and Chen, 2020].
High-order bootstrap percolation in hypergraphs
Motivated by the bootstrap percolation process for graphs, we define a new, high-order generalisation to $k$-uniform hypergraphs, in which we infect $j$-sets of vertices for some integer $1\le j \le k-1$. We investigate the smallest possible size of an initially infected set which ultimately percolates and determine the exact size in almost all cases of $k$ and $j$.
On the intersection density of the symmetric group acting on uniform subsets of small size
Published
• View Publication
• BIB
Given a finite transitive group $G\leq \operatorname{Sym}(Ω)$, a subset $\mathcal{F}$ of $G$ is \emph{intersecting} if any two elements of $\mathcal{F}$ agree on some element of $Ω$. The \emph{intersection density} of $G$, denoted by $ρ(G)$, is the maximum of the rational number $|\mathcal{F}|\left(\frac{|G|}{|Ω|}\right)^{-1}$ when $\mathcal{F}$ runs through all intersecting sets in $G$. In this paper, we prove that if $G$ is the group $\operatorname{Sym}(n)$ or $\operatorname{Alt}(n)$ acting on the $k$-subsets of $\{1,2,3\ldots,n\}$, for $k\in \{3,4,5\}$, then $ρ(G)=1$. Our proof relies on the representation theory of the symmetric group and the ratio bound.
Bounding twin-width for bounded-treewidth graphs, planar graphs, and bipartite graphs
Published
• View Publication
• BIB
Twin-width is a newly introduced graph width parameter that aims at generalizing a wide range of "nicely structured" graph classes. In this work, we focus on obtaining good bounds on twin-width $\text{tww}(G)$ for graphs $G$ from a number of classic graph classes. We prove the following:
- $\text{tww}(G) \leq 3\cdot 2^{\text{tw}(G)-1}$, where $\text{tw}(G)$ is the treewidth of $G$,
- $\text{tww}(G) \leq \max(4\text{bw}(G),\frac{9}{2}\text{bw}(G)-3)$ for a planar graph $G$ with $\text{bw}(G) \geq 2$, where $\text{bw}(G)$ is the branchwidth of $G$,
- $\text{tww}(G) \leq 183$ for a planar graph $G$,
- the twin-width of a universal bipartite graph $(X,2^X,E)$ with $|X|=n$ is $n - \log_2(n) +
\mathcal{O}(1)$ .
An important idea behind the bounds for planar graphs is to use an embedding of the graph and sphere-cut decompositions to obtain good bounds on neighbourhood complexity.