Showing 20 papers (Total: 84253 papers, 48533 authors in database)
A bijection between vertices of rank 1 in increasing trees and derangements
We give a combinatorial proof of a recent result of Bóna by constructing a bijection from the set of all neighbors of leaves of increasing trees of size $n$ to the set of derangements of length $n$.
Cographs and 1-sums
Published
• View Publication
• BIB
A graph that can be generated from $K_1$ using joins and 0-sums is called a cograph. We define a sesquicograph to be a graph that can be generated from $K_1$ using joins, 0-sums, and 1-sums. We show that, like cographs, sesquicographs are closed under induced minors. Cographs are precisely the graphs that do not have the 4-vertex path as an induced subgraph. We obtain an analogue of this result for sesquicographs, that is, we find those non-sesquicographs for which every proper induced subgraph is a sesquicograph.
Regular graphs with a complete bipartite graph as a star complement
Let $G$ be a graph of order $n$ and $μ$ be an adjacency eigenvalue of $G$ with multiplicity $k\geq 1$. A star complement $H$ for $μ$ in $G$ is an induced subgraph of $G$ of order $n-k$ with no eigenvalue $μ$, and the vertex subset $X=V(G-H)$ is called a star set for $μ$ in $G$. The study of star complements and star sets provides a strong link between graph structure and linear algebra. In this paper, we study the regular graphs with $K_{t,s}\ (s\geq t\geq 2)$ as a star complement for an eigenvalue $μ$, especially, characterize the case of $t=3$ completely, obtain some properties when $t=s$, and propose some problems for further study.
Component graphs of vector spaces and zero-divisor graphs of ordered sets
Published
• View Publication
• BIB
In this paper, nonzero component graphs and nonzero component union graphs of finite dimensional vector space are studied using the zero-divisor graph of specially constructed 0-1-distributive lattice and the zero-divisor graph of rings. Further, we define an equivalence relation on nonzero component graphs and nonzero component union graphs to deduce that these graphs are the graph join of zero-divisor graphs of Boolean algebras and complete graphs. In the last section, we characterize the perfect and chordal nonzero component graphs and nonzero component union graphs.
Periodic Weighted Sums of Binomial Coefficients
Published in Article 23.8.7, Journal of Integer Sequences (volume 26, 2023)
• Search Publication
Using elementary methods, we establish old and new relations between binomial coefficients, Fibonacci numbers, Lucas numbers, and more.
Piecewise-linear promotion and RSK in rectangles and moon polyominoes
Published
• View Publication
• BIB
We study piecewise-linear and birational lifts of Schützenberger promotion, evacuation, and the RSK correspondence defined in terms of toggles. Using this perspective, we prove that certain chain statistics in rectangles shift predictably under the action of these maps. We then use this to construct piecewise-linear and birational versions of Rubey's bijections between fillings of equivalent moon polyominoes that preserve these chain statistics, and we show that these maps form a commuting diagram. We also discuss how these results imply Ehrhart equivalence and Ehrhart quasi-polynomial period collapse of certain analogues of chain polytopes for moon polyominoes.
Generalised Rado and Roth criteria
Published
• View Publication
• BIB
We study the Ramsey properties of equations $a_1P(x_1) + \cdots + a_sP(x_s) = b$, where $a_1,\ldots,a_s,b$ are integers, and $P$ is an integer polynomial of degree $d$. Provided there are at least $(1+o(1))d^2$ variables, we show that Rado's criterion and an intersectivity condition completely characterise which equations of this form admit monochromatic solutions with respect to an arbitrary finite colouring of the positive integers. Furthermore, we obtain a Roth-type theorem for these equations, showing that they admit non-constant solutions over any set of integers with positive upper density if and only if $b= a_1 + \cdots + a_s = 0$. In addition, we establish sharp asymptotic lower bounds for the number of monochromatic/dense solutions (supersaturation).
Connectivity of Old and New Models of Friends-and-Strangers Graphs
In this paper, we investigate the connectivity of friends-and-strangers graphs, which were introduced by Defant and Kravitz in 2020. We begin by considering friends-and-strangers graphs arising from two random graphs and consider the threshold probability at which such graphs attain maximal connectivity. We slightly improve the lower bounds on the threshold probabilities, thus disproving two conjectures of Alon, Defant and Kravitz. We also improve the upper bound on the threshold probability in the case of random bipartite graphs, and obtain a tight bound up to a factor of $n^{o(1)}$. Further, we introduce a generalization of the notion of friends-and-strangers graphs in which vertices of the starting graphs are allowed to have multiplicities and obtain generalizations of previous results of Wilson and of Defant and Kravitz in this new setting.
On the automorphism of Barns Wall Lattice $Λ_{BW_{16}}$ and rank 4 tensor of quaternions
In a previous paper, I found that the Weyl group $W(F_4)$ and Barns-Wall Lattice $BW_{16}$ can be constructed using the rank $2$ tensor of the quaternion. In the present paper, I describe how I were able to construct an algebra, which is the subalgebra of the direct product of Hurwitz Quaternionic integers $\mathscr{H}^4$, isomorphic to the automorphism $\text{Aut}(BW_{16})$ order $2^{21} \cdot 3^5 \cdot 5^2 \cdot 7$ of Barns Wall Lattice $BW_{16}$ by functionally extending the rank of the tensor product of quaternions to $4$.
A few new orders for D-optimal matrices
The first examples of D-optimal matrices of orders 222, 234, 258 and 278 are constructed.
On two cycles of consecutive even lengths
Published
• View Publication
• BIB
Bondy and Vince showed that every graph with minimum degree at least three contains two cycles of lengths differing by one or two.We prove the following average degree counterpart that every $n$-vertex graph $G$ with at least $\frac52(n-1)$ edges, unless $4|(n-1)$ and every block of $G$ is a clique $K_5$, contains two cycles of consecutive even lengths. Our proof is mainly based on structural analysis, and a crucial step which may be of independent interest shows that the same conclusion holds for every 3-connected graph with at least 6 vertices. This solves a special case of a conjecture of Verstraëte. The quantitative bound is tight and also provides the optimal extremal number for cycles of length two modulo four.
Some Tribonacci Conjectures
Published
• View Publication
• BIB
In a recent talk of Robbert Fokkink, some conjectures related to the infinite Tribonacci word were stated by the speaker and the audience. In this note we show how to prove (or disprove) the claims easily in a "purely mechanical" fashion, using the Walnut theorem-prover.
Self-dual Maps III: projective links
Published
• View Publication
• BIB
In this paper, we present necessary and sufficient combinatorial conditions for a link to be projective, that is, a link in $RP^3$. This characterization is closely related to the notions of antipodally self-dual and antipodally symmetric maps. We also discuss the notion of symmetric cycle, an interesting issue arising in projective links leading us to an easy condition to prevent a projective link to be alternating.
Generalized Alder-Type Partition Inequalities
Published
• View Publication
• BIB
In 2020, Kang and Park conjectured a "level $2$" Alder-type partition inequality which encompasses the second Rogers-Ramanujan Identity. Duncan, Khunger, the fourth author, and Tamura proved Kang and Park's conjecture for all but finitely many cases utilizing a "shift" inequality and conjectured a further, weaker generalization that would extend both Alder's (now proven) as well as Kang and Park's conjecture to general level. Utilizing a modified shift inequality, Inagaki and Tamura have recently proven that the Kang and Park conjecture holds for level $3$ in all but finitely many cases. They further conjectured a stronger shift inequality which would imply a general level result for all but finitely many cases. Here, we prove their conjecture for large enough $n$, generalize the result for an arbitrary shift, and discuss the implications for Alder-type partition inequalities.
Graphs with equal girth and circumference
We characterise the form of all simple, finite graphs for which the girth of the graph is equal to the circumference of the graph. We apply this to prove a bound on the number of edges in such a graph.
Rado Numbers and SAT Computations
Published in Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation (ISSAC 2022). 2022. 333-342
• View Publication
• BIB
Given a linear equation $\mathcal{E}$, the $k$-color Rado number $R_k(\mathcal{E})$ is the smallest integer $n$ such that every $k$-coloring of $\{1,2,3,\dots,n\}$ contains a monochromatic solution to $\mathcal E$. The degree of regularity of $\mathcal E$, denoted $dor(\mathcal E)$, is the largest value $k$ such that $R_k(\mathcal E)$ is finite. In this article we present new theoretical and computational results about the Rado numbers $R_3(\mathcal{E})$ and the degree of regularity of three-variable equations $\mathcal{E}$.
% We use SAT solvers to compute many new values of the three-color Rado numbers $R_3(ax+by+cz = 0)$ for fixed integers $a,b,$ and $c$. We also give a SAT-based method to compute infinite families of these numbers. In particular, we show that the value of $R_3(x-y = (m-2) z)$ is equal to $m^3-m^2-m-1$ for $m\ge 3$. This resolves a conjecture of Myers and implies the conjecture that the generalized Schur numbers $S(m,3) = R_3(x_1+x_2 + \dots x_{m-1} = x_m)$ equal $m^3-m^2-m-1$ for $m\ge 3$. Our SAT solver computations, combined with our new combinatorial results, give improved bounds on $dor(ax+by = cz)$ and exact values for $1\le a,b,c\le 5 $. We also give counterexamples to a conjecture of Golowich.
From the $B$-Toda to the BKP hierarchy
It is shown that all $τ$-functions of BKP hierarchy can be written as Pfaffians of skew-symmetric matrices. $τ$-functions of BKP hierarchy are parameterized by points in the universal orthogonal Grassmannian manifold (UOGM). The UOGM is a disjoint union of Schubert cells, we classify and give explicit parameterization for points in each Schubert cell by constructing a frame for UOGM in the sense of Sato. $τ$-functions are then expressed in terms of these frames and Schur-Q functions. For concreteness we give a comprehensive study for the $τ$-functions of $B$-Toda which can be viewed as a finite version of the BKP hierarchy. Along the way we also give a constructive description for complex pure spinors du E. Cartan. As an application of our construction, we reprove a theorem due to A. Alexandrov which states that KdV solves BKP up to rescaling of the time parameters by $2$. We prove this by showing that the KdV hierarchy can be viewed as $4$-reduction of the BKP hierarchy. This interpretation gives complete characterization for the KdV orbits inside the BKP hierarchy. Other than a few facts from representation theory, the main tools we use to show the above results, however, are surprisingly simple linear algebra.
The trace of uniform hypergraphs with application to Estrada index
Published in Discrete Mathematics, Algorithms and Applications, Vol. 16, No. 05, 2350065 (2024)
• View Publication
• BIB
In this paper we investigate the traces of the adjacency tensor of hypergraphs (simply called the traces of hypergraphs). We give new expressions for the traces of hypertrees and linear unicyclic hypergraphs by the weight function assigned to their connected sub-hypergraphs, and provide some perturbation results for the traces of a hypergraph with cut vertices. As applications we determine the unique hypertree with maximum Estrada index among all hypertrees with fixed number of edges and perfect matchings, and the unique unicyclic hypergraph with maximum Estrada index among all unicyclic hypergraph with fixed number of edges and girth $3$.
On subgroup perfect codes in Cayley sum graphs
Published
• View Publication
• BIB
A perfect code $C$ in a graph $Γ$ is an independent set of vertices of $Γ$ such that every vertex outside of $C$ is adjacent to a unique vertex in $C$, and a total perfect code $C$ in $Γ$ is a set of vertices of $Γ$ such that every vertex of $Γ$ is adjacent to a unique vertex in $C$. Let $G$ be a finite group and $X$ a normal subset of $G$. The Cayley sum graph $\mathrm{CS}(G,X)$ of $G$ with the connection set $X$ is the graph with vertex set $G$ and two vertices $g$ and $h$ being adjacent if and only if $gh\in X$ and $g\neq h$. In this paper, we give some necessary conditions of a subgroup of a given group being a (total) perfect code in a Cayley sum graph of the group. As applications, the Cayley sum graphs of some families of groups which admit a subgroup as a (total) perfect code are classified.
Purity of monoids and characteristic-free splittings in semigroup rings
Published
• View Publication
• BIB
Inspired by methods in prime characteristic in commutative algebra, we introduce and study combinatorial invariants of seminormal monoids. We relate such numbers with the singularities and homological invariants of the semigroup ring associated to the monoid. Our results are characteristic independent.