Showing 20 papers (Total: 82000 papers, 47479 authors in database)
Proving properties of some greedily-defined integer recurrences via automata theory
Published
• View Publication
• BIB
Venkatachala on the one hand, and Avdispahić & Zejnulahi on the other, both studiied integer sequences with an unusual sum property defined in a greedy way, and proved many results about them. However, their proofs were rather lengthy and required numerous cases. In this paper, I provide a different approach, via finite automata, that can prove the same results (and more) in a simple, unified way. Instead of case analysis, we use a decision procedure implemented in the free software Walnut. Using these ideas, we can prove a conjecture of Quet and find connections between Quet's sequence and the "married" functions of Hofstadter.
Universal rooted phylogenetic tree shapes and universal tanglegrams
We provide an $Ω(n\log n) $ lower bound and an $O(n^2)$ upper bound for the smallest size of rooted binary trees (a.k.a. phylogenetic tree shapes), which are universal for rooted binary trees with $n$ leaves, i.e., contain all of them as induced binary subtrees. We explicitly compute the smallest universal trees for $n\leq 11$. We also provide an $Ω(n^2) $ lower bound and an $O(n^4)$ upper bound for the smallest size of tanglegrams, which are universal for size $n$ tanglegrams, i.e., which contain all of them as induced subtanglegrams. Some of our results generalize to rooted $d$-ary trees and to $d$-ary tanglegrams.
Effective Bounds for Restricted $3$-Arithmetic Progressions in $\mathbb{F}_p^n$
For a prime $p$, a restricted arithmetic progression in $\mathbb{F}_p^n$ is a triplet of vectors $x, x+a, x+2a$ in which the common difference $a$ is a non-zero element from $\{0,1,2\}^n$. What is the size of the largest $A\subseteq \mathbb{F}_p^n$ that is free of restricted arithmetic progressions? We show that the density of any such a set is at most $\frac{C}{(\log\log\log n)^c}$, where $c,C>0$ depend only on $p$, giving the first reasonable bounds for the density of such sets. Previously, the best known bound was $O(1/\log^{*} n)$, which follows from the density Hales-Jewett theorem.
Some identities on Lin-Peng-Toh's partition statistic of $k$-colored partitions
Published
• View Publication
• BIB
Recently, Andrews proved two conjectures on a partition statistic introduced by Beck. Very recently, Chern established some results on weighted rank and crank moments and proved many Andrews-Beck type congruences. Motivated by Andrews and Chern's work, Lin, Peng and To introduced a partition statistic of $k$-colored partitions $NB_k(r,m,n)$ which counts the total number of parts of $π^{(1)}$ in each $k$-colored partition $π$ of $n$ with ${\rm crank}_k(π)$ congruent to $r$ modulo $m$ and proved a number of congruences for $NB_k(r,m,n)$. In this paper, we prove some identities on $NB_k(r,m,n)$ which are analogous to Ramanujan's ``most beautiful identity". Moreover, those identities imply some congruences proved by Lin, Peng and Toh.
On Some Closure Properties of nc-eNCE Graph Grammars
In the study of automata and grammars, closure properties of the associated languages have been studied extensively. In particular, closure properties of various types of graph grammars have been examined in (Rozenberg and Welzl, Inf. and Control,1986) and (Rozenberg and Welzl, Acta Informatica,1986). In this paper we examine some critical closure properties of the nc-eNCE graph grammars discussed in (Jayakrishna and Mathew, Symmetry 2023) and (Jayakrishna and Mathew, ICMICDS 2022).
Invariants of Quadratic Forms and applications in Design Theory
Published
• View Publication
• BIB
The study of regular incidence structures such as projective planes and symmetric block designs is a well established topic in discrete mathematics. Work of Bruck, Ryser and Chowla in the mid-twentieth century applied the Hasse-Minkowski local-global theory for quadratic forms to derive non-existence results for certain design parameters. Several combinatorialists have provided alternative proofs of this result, replacing conceptual arguments with algorithmic ones. In this paper, we show that the methods required are purely linear-algebraic in nature and are no more difficult conceptually than the theory of the Jordan Canonical Form. Computationally, they are rather easier. We conclude with some classical and recent applications to design theory, including a novel application to the decomposition of incidence matrices of symmetric designs.
Algebraic connectivity of Kronecker products of line graphs
Published in Discrete Mathematics, Algorithms and Applications, Vol. 16, No. 06, 2350075 (2024)
• View Publication
• BIB
Let $X$ be a tree with $n$ vertices and $L(X)$ be its line graph. In this work, we completely characterize the trees for which the algebraic connectivity of $L(X)\times K_m$ is equal to $m-1$, where $\times$ denotes the Kronecker product. We provide a few necessary and sufficient conditions for $L(X)\times K_m$ to be Laplacian integral. The algebraic connectivity of $L(X)\times K_m$, where $X$ is a tree of diameter $4$ and $k$-book graph is discussed.
Generalized Grötzsch Graphs
The aim of this paper is to present a generalization of Grötzsch graph. Inspired by structure of the Grötzsch's graph, we present constructions of two families of graphs, $G_m$ and $H_m$ for odd and even values of $m$ respectively and on $n = 2m +1$ vertices. We show that each member of this family is non-planar, triangle-free, and Hamiltonian. Further, when $m$ is odd the graph $G_m$ is maximal triangle-free, and when $m$ is even, the addition of exactly $\frac{m}{2}$ edges makes the graph $H_m$ maximal triangle-free. We show that $G_m$ is 4-chromatic and $H_m$ is 3-chromatic for all $m$. Further, we note some other properties of these graphs and compare with Mycielski's construction.
The next case of Andrásfai's conjecture
Let $\mathrm{ex}(n,s)$ denote the maximum number of edges in a triangle-free graph on $n$ vertices which contains no independent sets larger than $s$. The behaviour of $\mathrm{ex}(n,s)$ was first studied by Andrásfai, who conjectured that for $s>n/3$ this function is determined by appropriately chosen blow-ups of so called Andrásfai graphs. Moreover, he proved $\mathrm{ex}(n, s)=n^2-4ns+5s^2$ for $s/n\in [2/5, 1/2]$ and in earlier work we obtained $\mathrm{ex}(n, s)=3n^2-15ns+20s^2$ for $s/n\in [3/8, 2/5]$. Here we make the next step in the quest to settle Andrásfai's conjecture by proving $\mathrm{ex}(n, s)=6n^2-32ns+44s^2$ for $s/n\in [4/11, 3/8]$.
On maximal cliques in the graph of simplex codes
Published
• View Publication
• BIB
The induced subgraph of the corresponding Grassmann graph formed by simplex codes is considered. We show that this graph, as the Grassmann graph, contains two types of maximal cliques. For any two cliques of the first type there is a monomial linear automorphism transferring one of them to the other. Cliques of the second type are more complicated and can contain different numbers of elements.
PED and POD partitions: combinatorial proofs of recurrence relations
Published
• View Publication
• BIB
PED partitions are partitions with even parts distinct while odd parts are unrestricted. Similarly, POD partitions have distinct odd parts while even parts are unrestricted. Merca proved several recurrence relations analytically for the number of PED partitions of $n$. They are similar to the recurrence relation for the number of partitions of $n$ given by Euler's pentagonal number theorem. We provide combinatorial proofs for all of these theorems and also for the pentagonal number theorem for PED partitions proved analytically by Fink, Guy, and Krusemeyer. Moreover, we prove combinatorially a recurrence for POD partitions given by Ballantine and Merca, Beck-type identities involving PED and POD partitions, and several other results about PED and POD partitions.
Generalizations of POD and PED partitions
Published
• View Publication
• BIB
Partitions with even (respectively odd) parts distinct and all other parts unrestricted are often referred to as PED (respectively POD) partitions. In this article, we generalize these notions and study sets of partitions in which parts with fixed residue(s) modulo r are distinct while all other parts are unrestricted. We also study partitions in which parts divisible by r (respectively congruent to r modulo 2r) must occur with multiplicity greater than one.
Shared ancestry graphs and symbolic arboreal maps
Published
• View Publication
• BIB
A network $N$ on a finite set $X$, $|X|\geq 2$, is a connected directed acyclic graph with leaf set $X$ in which every root in $N$ has outdegree at least 2 and no vertex in $N$ has indegree and outdegree equal to 1; $N$ is arboreal if the underlying unrooted, undirected graph of $N$ is a tree. Networks are of interest in evolutionary biology since they are used, for example, to represent the evolutionary history of a set $X$ of species whose ancestors have exchanged genes in the past. For $M$ some arbitrary set of symbols, $d:{X \choose 2} \to M \cup \{\odot\}$ is a symbolic arboreal map if there exists some arboreal network $N$ whose vertices with outdegree two or more are labelled by elements in $M$ and so that $d(\{x,y\})$, $\{x,y\} \in {X \choose 2}$, is equal to the label of the least common ancestor of $x$ and $y$ in $N$ if this exists and $\odot$ else. Important examples of symbolic arboreal maps include the symbolic ultrametrics, which arise in areas such as game theory, phylogenetics and cograph theory. In this paper we show that a map $d:{X \choose 2} \to M \cup \{\odot\}$ is a symbolic arboreal map if and only if $d$ satisfies certain 3- and 4-point conditions and the graph with vertex set $X$ and edge set consisting of those pairs $\{x,y\} \in {X \choose 2}$ with $d(\{x,y\}) \neq \odot$ is Ptolemaic. To do this, we introduce and prove a key theorem concerning the shared ancestry graph for a network $N$ on $X$, where this is the graph with vertex set $X$ and edge set consisting of those $\{x,y\} \in {X \choose 2}$ such that $x$ and $y$ share a common ancestor in $N$. In particular, we show that for any connected graph $G$ with vertex set $X$ and edge clique cover $K$ in which there are no two distinct sets in $K$ with one a subset of the other, there is some network with $|K|$ roots and leaf set $X$ whose shared ancestry graph is $G$.
Demazure weaves for reduced plabic graphs (with a proof that Muller-Speyer twist is Donaldson-Thomas)
First, this article develops the theory of weaves and their cluster structures for the affine cones of positroid varieties. In particular, we explain how to construct a weave from a reduced plabic graph, show it is Demazure, compare their associated cluster structures, and prove that the conjugate surface of the graph is Hamiltonian isotopic to the Lagrangian filling associated to the weave. The T-duality map for plabic graphs has a surprising key role in the construction of these weaves. Second, we use the above established bridge between weaves and reduced plabic graphs to show that the Muller-Speyer twist map on positroid varieties is the Donaldson-Thomas transformation. This latter statement implies that the Muller-Speyer twist is a quasi-cluster automorphism. An additional corollary of our results is that target labeled seeds and the source labeled seeds are related by a quasi-cluster transformation.
Reconstructing a bijection on the level of Le diagrams
Lukowiski, Parisi, and Williams formulated the T-duality map of string theory at a purely combinatorial level as a map on decorated permutations. We combinatorially describe this map at the level of Le diagrams. This perspective makes the dimension shift under the map more transparent.
Tropicalizing the Graph Profile of Some Almost-Stars
Many important problems in extremal combinatorics can be stated as certifying polynomial inequalities in graph homomorphism numbers, and in particular, many ask to certify pure binomial inequalities. For a fixed collection of graphs $\mathcal{U}$, the tropicalization of the graph profile of $\mathcal{U}$ essentially records all valid pure binomial inequalities involving graph homomorphism numbers for graphs in $\mathcal{U}$. Building upon ideas and techniques described by Blekherman and Raymond in 2022, we compute the tropicalization of the graph profile for $K_1$ and $S_{2,1^k}$-trees, almost-star graphs with one branch containing two edges and $k$ branches containing one edge. This allows pure binomial inequalities in homomorphism numbers (or densities) for these graphs to be verified through an explicit linear program where the number of variables is equal to the number of edges in the biggest $S_{2,1^k}$-tree involved.
On measure-preserving $\mathbb{F}_p^ω$-systems of order $k$
Published
• View Publication
• BIB
Building on previous work in the nilspace-theoretic approach to the study of Host-Kra factors of measure-preserving systems, we prove that every ergodic $\mathbb{F}_p^ω$-system of order $k$ is a factor of an Abramov $\mathbb{F}_p^ω$-system of order $k$. This answers a question of Jamneshan, Shalom and Tao.
Map enumeration from a dynamical perspective
Published in Published in Recent Progress in Special Functions, Contemporary Mathematics, vol. 807, Amer. Math. Soc., Providence, RI, 2024, pp. 85-110
• View Publication
• BIB
This contribution summarizes recent work of the authors that combines methods from dynamical systems theory (discrete Painlevé equations) and asymptotic analysis of orthogonal polynomial recurrences, to address long-standing questions in map enumeration. Given a genus $g$, we present a framework that provides the generating function for the number of maps that can be realized on a surface of that genus. In the case of 4-valent maps, our methodology leads to explicit expressions for map counts. For general even or mixed valence, the number of vertices of the map specifies the relevant order of the derivatives of the generating function that needs to be considered. Beyond summarizing our own results, we provide context for the program highlighted in this article through a brief review of the literature describing advances in map enumeration. In addition, we discuss open problems and challenges related to this fascinating area of research that stands at the intersection of statistical physics, random matrices, orthogonal polynomials, and discrete dynamical systems theory.
A note on Hadwiger's conjecture: Another proof that every 4-chromatic graph has a $K_4$ minor
The first non-obvious case of Hadwiger's Conjecture states that every graph $G$ with chromatic number at least 4 has a $K_4$ minor. We give a new proof that derives the $K_4$ minor from a proper 3-coloring of a subgraph of $G$.
Galois points for a finite graph
This paper introduces the notion of a Galois point for a finite graph, using the theory of linear systems of divisors for graphs discovered by Baker and Norine. We present a new characterization of complete graphs in terms of Galois points.