Showing 20 papers (Total: 81680 papers, 47334 authors in database)
Twin-star hypothesis and cycle-free $d$-partitions of $K_{2d}$ ]{Twin-star hypothesis and cycle-free $d$-partitions of $K_{2d}$
In this paper we study an equivalence relation defined on the set of cycle-free $d$-partitions of the complete graph $K_{2d}$. We discuss a conjecture which states that this equivalence relation has only one equivalence class, and show that the conjecture is equivalent with the so called twin-star hypothesis. We check the conjecture in the case $d=4$ and disuses how this relates to the determinant-like map $det^{S^2}$.
Higher-rank trees arising from polyhedral graphs
We introduce a new family of higher-rank graphs, whose construction was inspired by the graphical techniques of Lambek \cite{Lambek} and Johnstone \cite{Johnstone} used for monoid and category emedding results. We show that they are planar $k$-trees for $2 \le k \le 4$. We also show that higher-rank trees differ from $1$-trees by giving examples of higher-rank trees having properties which are impossible for $1$-trees. Finally, we collect more examples of higher-rank planar trees which are not in our family.
A Purely Entropic Approach to the Rainbow Triangle Problem
In this short note, we present a purely entropic proof that in a $3$-edge-colored simple graph with $R$ red edges, $G$ green edges, and $B$ blue edges, the number of rainbow triangles is at most $\sqrt{2RGB}$.
On a $d$-degree Erdős-Ko-Rado Theorem
Published
• View Publication
• BIB
A family of subsets $\mathcal{F}$ is intersecting if $A \cap B \neq \emptyset$ for any $A, B \in \mathcal{F}$. In this paper, we show that for given integers $k > d \ge 2$ and $n \ge 2k+2d-3$, and any intersecting family $\mathcal{F}$ of $k$-subsets of $\{1, \cdots, n\}$, there exists a $d$-subset of $[n]$ contained in at most $\binom{n-d-1}{k-d-1}$ subsets of $\mathcal{F}$. This result, proved using spectral graph theory, gives a $d$-degree generalization of the celebrated Erdős-Ko-Rado Theorem, improving a theorem of Kupavskii.
Modified Macdonald polynomials and mu-Mahonian statistics
Published
• View Publication
• BIB
The Haglund--Haiman--Loehr theorem provides the following combinatorial formula for the modified Macdonald polynomials: $$\tilde{H}_μ(X;q,t)=\sum_{σ: μ\rightarrow \mathbb{P}}x^σt^{maj(σ)}q^{inv(σ)}.$$ Inspired by Martin's multiline-queue formula for the stationary distribution of multitype asymmetric simple exclusion processes, Corteel, Haglund, Mandelshtam, Mason and Williams recently introduced the queue inversion statistic $quinv$ and conjectured that the tableaux formula for $\tilde{H}_μ(X;q,t)$ is invariant if the inversion statistic $inv$ is replaced by $quinv$. This was subsequently resolved by Ayyer, Mandelshtam and Martin, who proposed a stronger conjecture on the equivalence of the two refined formulas for $\tilde{H}_μ(X;q,t)$.
Our main result confirms this Ayyer--Mandelshtam--Martin conjecture. We establish an equidistribution between the pairs $(inv,maj)$ and $(quinv,maj)$ of $μ$-Mahonian statistics on any row-equivalency class $[τ]$, where $τ$ is a filling of the Young diagram of $μ$. As a byproduct of our approach, we show that if $τ$ is a rectangular filling, the triples $(inv,quinv,maj)$ and $(quinv,inv,maj)$ have the same distribution over $[τ]$.
On local antimagic total chromatic number of certain one point union of graphs
Let $G = (V,E)$ be a connected simple graph of order $p$ and size $q$. A bijection $f:V(G)\cup E(G)\to \{1,2,\ldots,p+q\}$ is called a local antimagic total labeling of $G$ if for any two adjacent vertices $u$ and $v$, we have $w(u)\ne w(v)$, where $w(u) = f(u) + \sum_{e\in E(u)} f(e)$ and $E(u)$ is the set of incident edge(s) of $u$. The local antimagic total chromatic number, denoted $χ_{lat}(G)$, is the minimum number of distinct weights over local antimagic total labeling of $G$. In this paper, we provide a correct proof and exact local antimagic total chromatic number of path and spider graphs given in [Local vertex antimagic total coloring of path graph and amalgamation of path, {\it CGANT J. Maths Appln.} {\bf 5(1)} 2024, DOI:10.25037/cgantjma.v5i1.109]. Further, we determined the local antimagic total chromatic number of spider graph with each leg of length at most 2. We also showed the existence of unicyclic and bicyclic graphs with local antimagic total chromatic number 3.
Coprime networks of the composite numbers: pseudo-randomness and synchronizability
Published in Discrete Applied Mathematics, 355(2024)96
• View Publication
• BIB
In this paper, we propose a network whose nodes are labeled by the composite numbers and two nodes are connected by an undirected link if they are relatively prime to each other. As the size of the network increases, the network will be connected whenever the largest possible node index $n\geq 49$. To investigate how the nodes are connected, we analytically describe that the link density saturates to $6/π^2$, whereas the average degree increases linearly with slope $6/π^2$ with the size of the network. To investigate how the neighbors of the nodes are connected to each other, we find the shortest path length will be at most 3 for $49\leq n\leq 288$ and it is at most 2 for $n\geq 289$. We also derive an analytic expression for the local clustering coefficients of the nodes, which quantifies how close the neighbors of a node to form a triangle. We also provide an expression for the number of $r$-length labeled cycles, which indicates the existence of a cycle of length at most $O(\log n)$. Finally, we show that this graph sequence is actually a sequence of weakly pseudo-random graphs. We numerically verify our observed analytical results. As a possible application, we have observed less synchronizability (the ratio of the largest and smallest positive eigenvalue of the Laplacian matrix is high) as compared to Erdős-Rényi random network and Barabási-Albert network. This unusual observation is consistent with the prolonged transient behaviors of ecological and predator-prey networks which can easily avoid the global synchronization.
Disconnected Cliques in Derangement Graphs
We obtain a correspondence between pairs of $N\times N$ orthogonal Latin squares and pairs of disconnected maximal cliques in the derangement graph with $N$ symbols. Motivated by methods in spectral clustering, we also obtain modular conditions on fixed point counts of certain permutation sums for the existence of collections of mutually disconnected maximal cliques. We use these modular obstructions to analyze the structure of maximal cliques in $X_N$ for small values of $N$. We culminate in a short, elementary proof of the nonexistence of a solution to Euler's $36$ Officer Problem.
Transversal cycles and paths in tournaments
Thomason [$\textit{Trans. Amer. Math. Soc.}$ 296.1 (1986)] proved that every sufficiently large tournament contains Hamilton paths and cycles with all possible orientations, except possibly the consistently oriented Hamilton cycle. This paper establishes $\textit{transversal}$ generalizations of these classical results. For a collection $\mathbf{T}=\{T_1,\dots,T_m\}$ of not-necessarily distinct tournaments on the common vertex set $V$, an $m$-edge directed subgraph $\mathcal{D}$ with the vertices in $V$ is called a transversal if there exists an bijection $\varphi\colon E(\mathcal{D})\to [m]$ such that $e\in E(T_{\varphi(e)})$ for all $e\in E(\mathcal{D})$. We prove that for sufficiently large $n$, there exist transversal Hamilton cycles of all possible orientations possibly except the consistently oriented one. We also obtain a similar result for the transversal Hamilton paths of all possible orientations. These results generalize the classical theorem of Thomason, and our approach provides another proof of this theorem.
Majorization and the degree sequence of trees
Published
• View Publication
• BIB
We investigate the relation between degree sequences of trees and the majorization order using the Muirhead theorem. In this way, we prove a theorem that provides a necessary and sufficient condition for delta sequences of trees to be comparable in the majorization order. Although our investigation is largely theoretical, our study contributes to a better knowledge of trees as an important data structure. We point out that this study is among the few combining Lorenz curves and majorization on the one hand, and degree sequences of networks on the other.
Laplacian pair state transfer in Q-graph
Published
• View Publication
• BIB
In 2018, Chen and Godsil proposed the concept of Laplacian perfect pair state transfer which is a brilliant generalization of Laplacian perfect state transfer. In this paper, we study the existence of Laplacian perfect pair state transfer in the Q-graph of an $r$-regular graph for $r\ge2$. We prove that the Q-graph of an $r$-regular graph does not have Laplacian perfect pair state transfer when $r+1$ is prime or a power of $2$. We also give a sufficient condition for Q-graph to have Laplacian pretty good pair state transfer.
A combinatorial approach to categorical Möbius inversion and pseudoinversion
We use Cramer's formula for the inverse of a matrix and a combinatorial expression for the determinant in terms of paths of an associated digraph (which can be traced back to Coates) to give a combinatorial interpretation of Möbius inversion whenever it exists. Every Möbius coefficient is a quotient of two sums, each indexed by certain collections of paths in the digraph. Our result contains, as particular cases, previous theorems by Hall (for posets) and Leinster (for skeletal categories whose idempotents are identities). A byproduct is a novel expression for the magnitude of a metric space as sum over self-avoiding paths with finitely many terms. By means of Berg's formula, our main constructions can be extended to Moore-Penrose pseudoinverses, yielding an analogous combinatorial interpretation of Möbius pseudoinversion and, consequently, of the magnitude of an arbitrary finite category.
The monomial expansion formula for Hall-Littlewood $P$-polynomials
We give a Hecke algebra derivation of Macdonald's expansion formula for Hall-Littlewood polynomials in terms of semistandard Young tableaux. This is accomplished by first obtaining a Hecke algebra lift of the expansion coefficients and then proving a generalization of Klostermann's recursions.
The atomic Leibniz rule
Published
• View Publication
• BIB
The Demazure operator associated to a simple reflection satisfies the twisted Leibniz rule. In this paper we introduce a generalization of the twisted Leibniz rule for the Demazure operator associated to any atomic double coset. We prove that this atomic Leibniz rule is equivalent to a polynomial forcing property for singular Soergel bimodules.
The Demazure product extended to biwords
Published
• View Publication
• BIB
The symmetric group $\mathfrak{S}_n$ (and more generally, any Coxeter group) admits an associative operation known as the Demazure product. In this paper, we first extend the Demazure product to the (infinite) set of all biwords on $\{1, \ldots, n\}$, or equivalently, the set of all $n \times n$ nonnegative integer matrices. We define this product diagrammatically, via braid-like graphs we call kelp beds, since they significantly generalize the seaweeds introduced by Tiskin (2015). Our motivation for this extended Demazure product arises from optimization theory, in particular the semigroup of all $(n+1) \times (n+1)$ simple nonnegative integer Monge matrices equipped with the distance (i.e., min-plus) product. As our main result, we show that this semigroup of Monge matrices is isomorphic to the semigroup of biwords equipped with the extended Demazure product. We exploit this isomorphism to write down generating functions for the growth series of the Monge matrices with respect to certain natural matrix norms.
Solution Numbers for Eight Blocks to Madness Puzzle
The 30 MacMahon colored cubes have each face painted with one of six colors and every color appears on at least one face. One puzzle involving these cubes is to create a $2\times2\times2$ model with eight distinct MacMahon cubes to recreate a larger version with the external coloring of a specified target cube, also a MacMahon cube, and touching interior faces are the same color. J.H. Conway is credited with arranging the cubes in a $6\times6$ tableau that gives a solution to this puzzle. In fact, the particular set of eight cubes that solves this puzzle can be arranged in exactly \textit{two} distinct ways to solve the puzzle. We study a less restrictive puzzle without requiring interior face matching. We describe solutions to the $2\times2\times2$ puzzle and the number of distinct solutions attainable for a collection of eight cubes. Additionally, given a collection of eight MacMahon cubes, we study the number of target cubes that can be built in a $2\times2\times2$ model. We calculate the distribution of the number of cubes that can be built over all collections of eight cubes (the maximum number is five) and provide a complete characterization of the collections that can build five distinct cubes. Furthermore, we identify nine new sets of twelve cubes, called Minimum Universal sets, from which all 30 cubes can be built.
A note on quasi-transitive graphs quasi-isometric to planar (Cayley) graphs
Given a connected, locally finite, quasi-transitive graph $X$ which is quasi-isometric to a planar graph $Γ$, we remark that one can upgrade $Γ$ to be a planar Cayley graph, answering a question raised by Esperet--Giocanti and Hamann.
Entropy factorization via curvature
Published
• View Publication
• BIB
We develop a new framework for establishing approximate factorization of entropy on arbitrary probability spaces, using a geometric notion known as non-negative sectional curvature. The resulting estimates are equivalent to entropy subadditivity and generalized Brascamp-Lieb inequalities, and provide a sharp modified log-Sobolev inequality for the Gibbs sampler of several particle systems in both continuous and discrete settings. The method allows us to obtain simple proofs of known results, as well as some new inequalities. We illustrate this through various applications, including discrete Gaussian free fields on arbitrary networks, the down-up walk on uniform $n$-sets, the uniform measure over permutations, and the uniform measure on the unit sphere in $\R^n$. Our method also yields a simple, coupling-based proof of the celebrated logarithmic Sobolev inequality for Langevin diffusions in a convex potential, which is one of the most emblematic applications of the Bakry-Émery criterion.
An extended generalization of RSK correspondence via $A$ type quiver representations
Let $λ=(λ_1 \geqslant \ldots \geqslant λ_k > 0)$. For any $c$ Coxeter element of $\mathfrak{S}_{λ_1+k-1}$, we construct a bijection from fillings of $λ$ to reverse plane partitions. We recover two previous generalizations of the Robinson--Schensted--Knuth correspondence for particular choices of Coxeter element depending on $λ$: one based on the work of, among others, Burge, Hillman, Grassl, Knuth, and uniformly presented by Gansner; the other developed by Garver, Partrias, and Thomas, and independently by Dauvergne, called Scrambled RSK. Our results in this paper develop the combinatorial consequence of our previous work of type $A_{λ_1+k}$ quivers.
Mirror symmetry for tropical hypersurfaces and patchworking
Published in Journal of the Institute of Mathematics of Jussieu. 2025;24(6):2387-2425
• View Publication
• BIB
In the first part of the paper, we prove a mirror symmetry isomorphism between integral tropical homology groups of a pair of mirror tropical Calabi-Yau hypersurfaces. We then apply this isomorphism to prove that a primitive patchworking of a central triangulation of a reflexive polytope gives a connected real Calabi-Yau hypersurface if and only if the corresponding divisor class on the mirror is not zero.