Showing 20 papers (Total: 82505 papers, 47699 authors in database)
A matrix with sums of Catalan numbers -- LU-decomposition and determinant
Published
• View Publication
• BIB
Following Benjamin et al., a matrix with entries being sums of two neighbouring Catalan numbers is considered. Its LU-decomposition is given, by guessing the results and later prove it by computer algebra, with lots of human help. Specializing a parameter, the determinant turns out to be a Fibonacci number with odd index, confirming earlier results, obtained back then by combinatorial methods.
Shelling the m=1 amplituhedron
Published in Comb. Theory 3 (2023), no. 1, Paper No. 6, 22 pages
• View Publication
• BIB
The amplituhedron $\mathcal{A}_{n,k,m}$ was introduced by Arkani-Hamed and Trnka (2014) in order to give a geometric basis for calculating scattering amplitudes in planar $\mathcal{N}=4$ supersymmetric Yang-Mills theory. It is a projection inside the Grassmannian $\text{Gr}_{k,k+m}$ of the totally nonnegative part of $\text{Gr}_{k,n}$. Karp and Williams (2019) studied the $m=1$ amplituhedron $\mathcal{A}_{n,k,1}$, giving a regular CW decomposition of it. Its face poset $R_{n,l}$ (with $l := n-k-1$) consists of all projective sign vectors of length $n$ with exactly $l$ sign changes. We show that $R_{n,l}$ is EL-shellable, resolving a problem posed by Karp and Williams. This gives a new proof that $\mathcal{A}_{n,k,1}$ is homeomorphic to a closed ball, which was originally proved by Karp and Williams. We also give explicit formulas for the $f$-vector and $h$-vector of $R_{n,l}$, and show that it is rank-log-concave and strongly Sperner. Finally, we consider a related poset $P_{n,l}$ introduced by Machacek (2019), consisting of all projective sign vectors of length $n$ with at most $l$ sign changes. We show that it is rank-log-concave, and conjecture that it is Sperner.
Coloring graph classes with no induced fork via perfect divisibility
Published
• View Publication
• BIB
For a graph $G$, $χ(G)$ will denote its chromatic number, and $ω(G)$ its clique number. A graph $G$ is said to be perfectly divisible if for all induced subgraphs $H$ of $G$, $V(H)$ can be partitioned into two sets $A$, $B$ such that $H[A]$ is perfect and $ω(H[B]) < ω(H)$. An integer-valued function $f$ is called a $χ$-binding function for a hereditary class of graphs $\cal C$ if $χ(G) \leq f(ω(G))$ for every graph $G\in \cal C$. The fork is the graph obtained from the complete bipartite graph $K_{1,3}$ by subdividing an edge once. The problem of finding a polynomial $χ$-binding function for the class of fork-free graphs is open. In this paper, we study the structure of some classes of fork-free graphs; in particular, we study the class of (fork,$F$)-free graphs $\cal G$ in the context of perfect divisibility, where $F$ is a graph on five vertices with a stable set of size three, and show that every $G\in \cal G$ satisfies $χ(G)\leq ω(G)^2$. We also note that the class $\cal G$ does not admit a linear $χ$-binding function.
Some Deep and Original Questions about the "critical exponents" of Generalized Ballot Sequences
We numerically estimate the critical exponents of certain enumeration sequences that naturally generalize the famous Catalan and super-Catalan sequences, and raise deep and original questions about their exact values, and whether they are rational numbers. In this version we announce that our questions were brilliantly answered by Michael Wallner, and that the pledged donation to the OEIS, in his honor, was made.
Searching for an Intruder on Graphs and Their Subdivisions
Published
• View Publication
• BIB
In this paper we analyze a variant of the pursuit-evasion game on a graph $G$ where the intruder occupies a vertex, is allowed to move to adjacent vertices or remain in place, and is 'invisible' to the searcher, meaning that the searcher operates with no knowledge of the position of the intruder. On each stage, the searcher is allowed to inspect an arbitrary set of $k$ vertices. The minimum $k$ for which the searcher can guarantee the capture of the intruder is called the inspection number of $G$. We also introduce and study the topological inspection number, a quantity that captures the limiting behavior of the inspection number under subdivisions of $G$. Our central theorem provides a full classification of graphs with topological inspection number up to $3$.
Dual Ramsey properties for classes of algebras
Almost any reasonable class of finite relational structures has the Ramsey property or a precompact Ramsey expansion. In contrast to that, the list of classes of finite algebras with the precompact Ramsey expansion is surprisingly short. In this paper we show that any nontrivial variety (that is, equationally defined class of algebras) enjoys various \emph{dual} Ramsey properties. We develop a completely new set of strategies that rely on the fact that left adjoints preserve the dual Ramsey property, and then treat classes of algebras as Eilenberg-Moore categories for a monad. We show that finite algebras in any nontrivial variety have finite dual small Ramsey degrees, and that every finite algebra has finite dual big Ramsey degree in the free algebra on countably many free generators. As usual, these come as consequences of ordered versions of the statements.
Spined categories: generalizing tree-width beyond graphs
Published
• View Publication
• BIB
Tree-width is an invaluable tool for computational problems on graphs. But often one would like to compute on other kinds of objects (e.g. decorated graphs or even algebraic structures) where there is no known tree-width analogue. Here we define an abstract analogue of tree-width which provides a uniform definition of various tree-width-like invariants including graph tree-width, hypergraph tree-width, complemented tree-width and even new constructions such as the tree-width of modular quotients. We obtain this generalization by developing a general theory of categories that admit abstract analogues of both tree decompositions and tree-width; we call these pseudo-chordal completions and the triangulation functor respectively.
Rational Dyck paths and decompositions
We study combinatorial properties of a rational Dyck path by decomposing it into a tuple of Dyck paths. The combinatorial models such as $b$-Stirling permutations, $(b+1)$-ary trees, parenthesis presentations, and binary trees play central roles to establish a correspondence between the rational Dyck path and the tuple of Dyck paths. We reinterpret two orders, the Young and the rotation orders, on rational Dyck paths in terms of the tuple of Dyck paths by use of the decomposition. As an application, we show a duality between $(a,b)$-Dyck paths and $(b,a)$-Dyck paths in terms of binary trees.
Partitions into Piatetski-Shapiro sequences
Published
• View Publication
• BIB
Let $κ$ be a positive real number and $m\in\mathbb{N}\cup\{\infty\}$ be given. Let $p_{κ, m}(n)$ denote the number of partitions of $n$ into the parts from the Piatestki-Shapiro sequence $(\lfloor \ell^κ\rfloor)_{\ell\in \mathbb{N}}$ with at most $m$ times (repetition allowed). In this paper we establish asymptotic formulas of Hardy-Ramanujan type for $p_{κ, m}(n)$, by employing a framework of asymptotics of partitions established by Roth-Szekeres in 1953, as well as some results on equidistribution.
Universal rigidity on the line, point order
We show that universal rigidity of a generic bar and joint framework (G,p) in the line depends on more than the ordering of the vertices. In particular, we construct examples of one-dimensional generic frameworks with the same graph and ordering of the vertices, such that one is universally rigid and one is not. This answers, in the negative, a question of Jordan and Nguyen.
Ramsey numbers of Boolean lattices
The poset Ramsey number $R(Q_m,Q_n)$ is the smallest integer $N$ such that any blue-red coloring of the elements of the Boolean lattice $Q_N$ has a blue induced copy of $Q_m$ or a red induced copy of $Q_n$. The weak poset Ramsey number $R_w(Q_m,Q_n)$ is defined analogously, with weak copies instead of induced copies. It is easy to see that $R(Q_m,Q_n) \ge R_w(Q_m,Q_n)$.
Axenovich and Walzer showed that $n+2 \le R(Q_2,Q_n) \le 2n+2$. Recently, Lu and Thompson improved the upper bound to $\frac{5}{3}n+2$. In this paper, we solve this problem asymptotically by showing that $R(Q_2,Q_n)=n+O(n/\log n)$.
In the diagonal case, Cox and Stolee proved $R_w(Q_n,Q_n) \ge 2n+1$ using a probabilistic construction. In the induced case, Bohman and Peng showed $R(Q_n,Q_n) \ge 2n+1$ using an explicit construction. Improving these results, we show that $R_w(Q_m,Q_n) \ge n+m+1$ for all $m \ge 2$ and large $n$ by giving an explicit construction; in particular, we prove that $R_w(Q_2,Q_n)=n+3$.
Pancyclism in the Generalized Sum of Digraphs
A digraph $D=(V,A)$ of order $n\geq 3$ is pancyclic, whenever $D$ contains a directed cycle of length $k$ for each $k\in\{3,...,n\}$; and D is vertex-pancyclic iff, for each vertex $v\in V$ and each $k\in \{3,...,n\}$, $D$ contains a directed cycle of length $k$ passing through $v$.
Let $D_1$, $D_2$,..., $D_k$ be a collection of pairwise vertex disjoint digraphs. The generalized sum (g.s.) of $D_1$, $D_2$,..., $D_k$, denoted by $\oplus_{i=1}^k D_i$ or $D_1\oplus D_2 \oplus \cdots \oplus D_k$, is the set of all digraphs D satisfying: (i) $V(D)=\bigcup_{i=1}^k V(D_i)$, (ii) $D\langle V(D_i) \rangle \cong D_i$ for $i=1, 2,..., k$; and (iii) for each pair of vertices belonging to different summands of D, there is exactly one arc between them, with an arbitrary but fixed direction. A digraph $D\in \oplus_{i=1}^k D_i$ will be called a generalized sum (g.s.) of $D_1$, $D_2$,..., $D_k$.
In this paper we prove that if $D_1$ and $D_2$ are two vertex disjoint Hamiltonian digraphs and $D\in D_1 \oplus D_2$ is strong, then at least one of the following assertions holds: $D$ is vertex-pancyclic, it is pancyclic or it is Hamiltonian and contains a directed cycle of length $l$ for each $l\in\{3,..., \max\{|V(D_i)|+1 \colon i\in\{1,2\}\}\}$. Moreover, we prove that if $D_1$, $D_2$,..., $D_k$ is a collection of pairwise vertex disjoint Hamiltonian digraphs, $n_i=|V(D_i)|$ for each $i\in \{1,...,k\}$ and $D \in \oplus_{i=1}^k D_i$ is strong, then at least one of the following assertions holds: $D$ is vertex-pancyclic, it is pancyclic or it is Hamiltonian and contains a directed cycle of length $l$ for each $l\in \{3,..., \max\{\left(\sum_{i\in S} n_i\right) + 1 \colon S\subset\{1,..., k\}\text{ with }|S|=k-1\}\}$.
Political structures and the topology of simplicial complexes
Published in Published in Mathematical Social Sciences, Volume 114, November 2021
• View Publication
• BIB
We use the topology of simplicial complexes to model political structures following [1]. Simplicial complexes are a natural tool to encode interactions in the structures since a simplex can be used to represent a subset of compatible agents. We translate the wedge, cone, and suspension operations into the language of political structures and show how these constructions correspond to merging structures and introducing mediators. We introduce the notions of the viability of an agent and the stability of a political system and examine their interplay with the simplicial complex topology, casting their interactions in category-theoretic language whenever possible. We introduce a refinement of the model by assigning weights to simplices corresponding to the number of issues the agents agree on. In addition, homology of simplicial complexes is used to detect non-viabilities, certain cycles of incompatible agents, and the (non)presence of mediators. Finally, we extend some results from [1], bringing viability and stability into the language of friendly delegations and using homology to examine the existence of R-compromises and D-compromises.
Which Sampling Densities are Suitable for Spectral Clustering on Unbounded Domains?
We consider a random geometric graph with vertices sampled from a probability measure supported on $\mathbb R^d$, and study its connectivity. We show the graph is typically disconnected, unless the sampling density has superexponential decay. In the later setting, we identify an asymptotic threshold value for the radius parameter of the graph such that, for radius values beyond the threshold, some concentration properties hold for the sampled points of the graph, while the graph is disconnected for radius values below the same threshold. Properties of point processes are well-known to be closely related to the analysis of geometric learning problems, such as spectral clustering. This work can be seen as a first step towards understanding the consistency of spectral clustering when the probability measure has unbounded support. In particular, we narrow down the setting under which spectral clustering algorithms on $\mathbb R^d$ may be expected to achieve consistency, to a sufficiently fast decay of the sampling density (superexponential) and a sufficiently slowly decaying radius parameter value as a function of $n$, the number of sampled points.
Pairwise intersecting convex sets and cylinders in $\R^3$
We prove that given a finite collection of cylinders in $\R^3$ with the property that any two them intersect, then there is a line intersecting an $α$ fraction of the cylinders where $α=\frac 1{28}$. This is a special case of an interesting conjecture.
Lozenge tilings of a hexagon with a horizontal intrusion
Published
• View Publication
• BIB
Motivated by a conjecture posed by Fulmek and Krattenthaler, we provide product formulas for the number of lozenge tilings of a semiregular hexagon containing a horizontal intrusion. As a direct corollary, we obtain a product formula for the number of boxed plane partitions with a certain restriction. We also investigate the asymptotic behavior of the ratio between the number of lozenge tilings of a semiregular hexagon containing a horizontal intrusion and that of a semiregular hexagon without an intrusion.
Difference of facial achromatic numbers between two triangular embeddings of a graph
Published in Theory and Applications of Graphs: Vol. 10: Iss. 2, Article 6 (2023)
• View Publication
• BIB
A facial $3$-complete $k$-coloring of a triangulation $G$ on a surface is a vertex $k$-coloring such that every triple of $k$-colors appears on the boundary of some face of $G$. The facial $3$-achromatic number $ψ_3(G)$ of $G$ is the maximum integer $k$ such that $G$ has a facial $3$-complete $k$-coloring. This notion is an expansion of the complete coloring, that is, a proper vertex coloring of a graph such that every pair of colors appears on the ends of some edge.
For two triangulations $G$ and $G'$ on a surface, $ψ_3(G)$ may not be equal to $ψ_3(G')$ even if $G$ is isomorphic to $G'$ as graphs. Hence, it would be interesting to see how large the difference between $ψ_3(G)$ and $ψ_3(G')$ can be. We shall show that the upper bound for such difference in terms of the genus of the surface.
Arithmetic Progressions in Sumsets of Sparse Sets
Published
• View Publication
• BIB
A set of positive integers $A \subset \mathbb{Z}_{> 0}$ is \emph{log-sparse} if there is an absolute constant $C$ so that for any positive integer $x$ the sequence contains at most $C$ elements in the interval $[x,2x)$. In this note we study arithmetic progressions in sums of log-sparse subsets of $\mathbb{Z}_{> 0}$. We prove that for any log-sparse subsets $S_1, \dots, S_n$ of $\mathbb{Z}_{> 0},$ the sumset $S = S_1 + \cdots + S_n$ cannot contain an arithmetic progression of size greater than $n^{(1+o(1))n}.$ We also show that this is nearly tight by proving that there exist log-sparse sets $S_1, \dots, S_n$ such that $S_1 + \cdots + S_n$ contains an arithmetic progression of size $n^{(1-o(1)) n}.$
Saved by the rook: a case of matchings and Hamiltonian cycles
Published in Contributions to Discrete Mathematics 20, No. 1, 95--104 (2025) [https://cdm.ucalgary.ca/article/view/73743]
• View Publication
• BIB
The rook graph is a graph whose edges represent all the possible legal moves of the rook chess piece on a chessboard. The problem we consider is the following. Given any set $M$ containing pairs of cells such that each cell of the $m_1 \times m_2$ chessboard is in exactly one pair, we determine the values of the positive integers $m_1$ and $m_2$ for which it is possible to construct a closed tour of all the cells of the chessboard which uses all the pairs of cells in $M$ and some edges of the rook graph. This is an alternative formulation of a graph-theoretical problem presented in [Electron. J. Combin. 28(1) (2021), #P1.7] involving the Cartesian product $G$ of two complete graphs $K_{m_1}$ and $K_{m_2}$, which is, in fact, isomorphic to the $m_{1}\times m_{2}$ rook graph. The problem revolves around determining the values of the parameters $m_1$ and $m_2$ that would allow any perfect matching of the complete graph on the same vertex set of $G$ to be extended to a Hamiltonian cycle by using only edges in $G$.
Triplicate Dual Series of Dougall--Dixon Theorem
Published
• View Publication
• BIB
Applying the triplicate form of the extended Gould--Hsu inverse series relations to Dougall's summation theorem for the well--poised $_7F_6$-series, we establish, from the dual series, several interesting Ramanujan--like infinite series expressions for $π^2$ and $π^{\pm1}$ with convergence rate "$-\frac{1}{27}$".