Showing 20 papers (Total: 81623 papers, 47312 authors in database)
Nash Equilibria of Rock Paper Scissors Variants
We generalize Rock Paper Scissors to complete directed graphs, or tournaments, on $n$ vertices. Properties of the mixed-strategy Nash equilibria of these tournaments are discussed, particularly those with Nash equilibria where all of the strategies have a nonzero probability. We find graph-theoretic properties of such games and tabulate them for $n \leq 7$.
Klein-Arnold tensegrities
In this paper, we introduce new classes of infinite and combinatorially periodic tensegrities, derived from algebraic multidimensional continued fractions in the sense of F. Klein. We describe the stress coefficients on edges through integer invariants of these continued fractions, as initiated by V.I. Arnold, thereby creating a novel connection between geometric rigidity theory and the geometry of continued fractions. Remarkably, the new classes of tensegrities possess rational self-stress coefficients. To establish the self-stressability of the frameworks, we present a projective version of the classical Maxwell-Cremona lifting principle, a result of independent interest.
On the theory of Lucas coloring
In this paper, we introduce the notion of "$Lucas-Coloring$" associated with a planar graph $g$. When $g$ is a $4$-regular, the enumeration of $Lucas-Coloring$ has an interesting interpretation. Specifically, it yields a numerical invariant of the associated Khovanov-Lee complex of any link diagram $D$ whose projection is equal to $g$. This complex resides in the Karoubi envelope of Bar-Natan's formal cobordism category, $Cob^{3}_{/l}$ . The Karoubi envelope of $Cob^{3}_{/l}$ was introduced by Bar-Natan and Morrison to provide a conceptual proof of Lee's theorem. As an application of "Lucas-Coloring", we first show how the Alternating Sign Matrices can be retrieved as a special case of $Lucas-Coloring$. Next, we show a certain statistic on the $Lucas-Coloring$ enumerates the perfect matchings of a canonically defined graph on $g$. This construction allowed us to derive a summation formula of the enumeration of lozenge tilings of the region constructed out of a regular hexagon by removing the "maximal staircase" from its alternating corners in terms of powers of $2$. This formula is reminiscent of the celebrated Aztec Diamond Theorem of Elkies, Kuperberg, Larsen, and Propp, which concerns domino tilings of Aztec Diamonds.
A proof of the Stanley--Stembridge conjecture
Published
• View Publication
• BIB
We give a probabilistic interpretation of the coefficients of the elementary symmetric function expansion of the chromatic quasisymmetric function for any unit interval graph. As a corollary, we prove the Stanley--Stembridge conjecture.
Covering Random Digraphs with Hamilton Cycles
A covering of a digraph $D$ by Hamilton cycles is a collection of directed Hamilton cycles (not necessarily edge-disjoint) that together cover all the edges of $D$. We prove that for $1/2 \geq p\geq \frac{\log^{20} n}{n}$, the random digraph $D_{n,p}$ typically admits an optimal Hamilton cycle covering. Specifically, the edges of $D_{n,p}$ can be covered by a family of $t$ Hamilton cycles, where $t$ is the maximum of the the in-degree and out-degree of the vertices in $D_{n,p}$. Notably, $t$ is the best possible bound, and our assumption on $p$ is optimal up to a polylogarithmic factor.
Regular bipartite decompositions of pseudorandom graphs
Published
• View Publication
• BIB
In 1972, Kotzig proved that for every even $n$, the complete graph $K_n$ can be decomposed into $\lceil\log_2n\rceil$ edge-disjoint regular bipartite spanning subgraphs, which is best possible. In this paper, we study regular bipartite decompositions of $(n,d,λ)$-graphs, where $n$ is an even integer and $d_0\leq d\leq n-1$ for some absolute constant $d_0$. With a randomized algorithm, we prove that such an $(n,d,λ)$-graph with $λ\leq d/12$ can be decomposed into at most $\log_2 d + 36$ regular bipartite spanning subgraphs. This is best possible up to the additive constant term. As a consequence, we also improve the best known bounds on $λ= λ(d)$ by Ferber and Jain (2020) to guarantee that an $(n,d,λ)$-graph on an even number of vertices admits a $1$-factorization, showing that $λ\leq cd$ is sufficient for some absolute constant $c > 0$.
When all directed cycles have length three
Published
• View Publication
• BIB
We give a construction to build all digraphs with the property that every directed cycle has length three.
Geometry of multidimensional Farey summation algorithm and frieze patterns
In this paper we develop a new geometric approach to subtractive continued fraction algorithms in high dimensions. We adapt a version of Farey summation to the geometric techniques proposed by F. Klein in 1895. More specifically we introduce Farey polyhedra and their sails that generalise respectively Klein polyhedra and their sails, and show similar duality properties of the Farey sail integer invariants. The construction of Farey sails is based on the multidimensional generalisation of the Farey tessellation provided by a modification of the continued fraction algorithm introduced by R. W. J. Meester. We classify Farey polyhedra in the combinatorial terms of prismatic diagrams. Prismatic diagrams extend boat polygons introduced by S. Morier-Genoud and V. Ovsienko in the two-dimensional case. As one of the applications of the new theory we get a multidimensional version of Conway-Coxeter frieze patterns. We show that multidimensional frieze patterns satisfy generalised Ptolemy relations.
The minimum size and maximum diameter of an edge-pancyclic graph of a given order
Published
• View Publication
• BIB
A $k$-cycle in a graph is a cycle of length $k.$ A graph $G$ of order $n$ is called edge-pancyclic if for every integer $k$ with $3\le k\le n,$ every edge of $G$ lies in a $k$-cycle. It seems difficult to determine the minimum size $f(n)$ of a simple edge-pancyclic graph of order $n.$ We give lower and upper bounds on $f(n),$ and determine the maximum diameter of such a graph. In the $3$-connected case, the precise value of $f(n)$ is determined. We also determine the minimum size of a graph of a given order with connectivity conditions in which every edge lies in a triangle.
Partite saturation number of cycles
Published
• View Publication
• BIB
A graph $H$ is said to be $F$-saturated relative to $G$, if $H$ does not contain any copy of $F$, but the addition of any edge $e$ in $E(G)\backslash E(H)$ would create a copy of $F$. The minimum size of an $F$-saturated graph relative to $G$ is denoted by $sat(G,F)$. Let $K_k^n$ be the complete $k$-partite graph containing $n$ vertices in each part and $C_\ell$ be the cycle of length $\ell$. In this paper we give an asymptotically tight bound of $sat(K_k^n,C_\ell)$ for all $ \ell \geq 4, k \geq 2$ except $(\ell,k)=(4,4)$. Moreover, we determined the exact value of $sat(K_k^n,C_\ell)$ for $ k>\ell=4 $ and $5 \geq \ell>k \geq 3$ and $(\ell,k)=(6,2)$.
A generalization of the Askey-Wilson relations using a projective geometry
Published
• View Publication
• BIB
In this paper, we present a generalization of the Askey-Wilson relations that involves a projective geometry. A projective geometry is defined as follows. Let $h>k\geq 1$ denote integers. Let $\mathbb{F}_{q}$ denote a finite field with $q$ elements. Let $\mathcal{V}$ denote an $(h+k)$-dimensional vector space over $\mathbb{F}_{q}$. Let the set $P$ consist of the subspaces of $\mathcal{V}$. The set $P$, together with the inclusion partial order, is a poset called a projective geometry. We define a matrix $A\in \text{Mat}_{P}(\mathbb{C})$ as follows. For $u,v\in P$, the $(u,v)$-entry of $A$ is $1$ if each of $u,v$ covers $u\cap v$, and $0$ otherwise. Fix $y\in P$ with $\dim y=k$. We define a diagonal matrix $A^*\in \text{Mat}_{P}(\mathbb{C})$ as follows. For $u\in P$, the $(u,u)$-entry of $A^{*}$ is $q^{\dim(u\cap y)}$. We show that \begin{align*}
&A^2A^{*}-\bigl(q+q^{-1}\bigr)AA^{*}A+A^{*}A^{2}-\mathcal{Y}\bigl(AA^{*}+A^{*}A\bigr)-\mathcal{P} A^{*}=ΩA+G, \newline
&A^{*2}A-\bigl(q+q^{-1}\bigr) A^*AA^*+AA^{*2}=\mathcal{Y}A^{*2}+ΩA^{*}+G^{*}, \end{align*} where $\mathcal{Y}, \mathcal{P}, Ω, G, G^*$ are matrices in $\text{Mat}_{P}(\mathbb{C})$ that commute with each of $A, A^*$. We give precise formulas for $\mathcal{Y}, \mathcal{P}, Ω, G, G^*$.
Tropicalizing Principal Minors of Positive Definite Matrices
We study the tropicalization of the image of the cone of positive definite matrices under the principal minors map. It is a polyhedral subset of the set of $M$-concave functions on the discrete $n$-dimensional cube. We show it coincides with the intersection of the affine tropical flag variety with the submodular cone. In particular, any cell in the regular subdivision of the cube induced by a point in this tropicalization can be subdivided into base polytopes of realizable matroids. We use this tropicalization as a guide to discover new algebraic inequalities among the principal minors of positive semidefinite matrices of a fixed size. We also extend our results to positive semidefinite matrices via taking closures in the tropical semifield $\mathbb{R}\cup\{-\infty\}$.
The Generation of All Regular Rational Orthogonal Matrices
Published
• View Publication
• BIB
A \emph{rational orthogonal matrix} $Q$ is an orthogonal matrix with rational entries, and $Q$ is called \emph{regular} if each of its row sum equals one, i.e., $Qe = e$ where $e$ is the all-one vector. This paper presents a method for generating all regular rational orthogonal matrices using the classic Cayley transformation. Specifically, we demonstrate that for any regular rational orthogonal matrix $Q$, there exists a permutation matrix $P$ such that $QP$ does not possess an eigenvalue of $-1$. Consequently, $Q$ can be expressed in the form $Q = (I_n + S)^{-1}(I_n - S)P$, where $I_n$ is the identity matrix of order $n$, $S$ is a rational skew-symmetric matrix satisfying $Se = 0$, and $P$ is a permutation matrix. Central to our approach is a pivotal intermediate result, which holds independent interest: given a square matrix $M$, then $MP$ has $-1$ as an eigenvalue for every permutation matrix $P$ if and only if either every row sum of $M$ is $-1$ or every column sum of $M$ is $-1$.
Maximal and maximum induced matchings in connected graphs
Published
• View Publication
• BIB
An induced matching in a graph is a set of edges whose endpoints induce a $1$-regular subgraph. Gupta et al. (2012,\cite{Gupta}) showed that every $n$-vertex graph has at most $10^{\frac{n}{5}}\approx 1.5849^n$ maximal induced matchings, which is attained by the disjoint union of copies of the complete graph $K_5$.
In this paper, we show that the maximum number of maximal and maximum induced matchings in a connected graph of order $n$ is \begin{align*} \begin{cases} {n\choose 2} &~ {\rm if}~ 1\leq n\le 8; \\ {{\lfloor \frac{n}{2} \rfloor}\choose 2}\cdot {{\lceil \frac{n}{2} \rceil}\choose 2} -(\lfloor \frac{n}{2} \rfloor-1)\cdot (\lceil \frac{n}{2} \rceil-1)+1 &~ {\rm if}~ 9\leq n\le 13; \\ 10^{\frac{n-1}{5}}+\frac{n+144}{30}\cdot 6^{\frac{n-6}{5}} &~ {\rm if}~ 14\leq n\le 30;\\ 10^{\frac{n-1}{5}}+\frac{n-1}{5}\cdot 6^{\frac{n-6}{5}} & ~ {\rm if}~ n\geq 31, \\ \end{cases} \end{align*} and also show that this bound is tight. This result implies that we can enumerate all maximal induced matchings of an $n$-vertex connected graph in time $O(1.5849^n)$. Moreover, our result provides an estimate on the number of maximal dissociation sets of an $n$-vertex connected graph.
Decision problem on interactions
Published
• View Publication
• BIB
An interaction is a certain symmetric graph that describes the possible transition of states of adjacent sites of large-scale interacting systems. In the series of studies Bannai-Kametani-Sasada arXiv:2009.04699, Bannai-Sasada arXiv:2111.08934, they defined the notion of the irreducibly quantified interactions which is suitable for considering the hydrodynamic limits via the conserved quantities. In this paper, we prove that the property that an interaction is irreducibly quantified is decidable.
Cayley graphs on symmetric groups generated by $n$-cycles are hyperenergetic
Let $Γ$ be a simple graph with $n$ vertices. The energy of $Γ$, denoted by $\mathcal{E}(Γ)$, is defined as the sum of the absolute values of the eigenvalues of $Γ$. The graph $Γ$ is said to be hyperenergetic if $\mathcal{E}(Γ)>2n-2$. For the graph $Γ$, the multiplicity of the eigenvalue $0$, denoted by $η(Γ)$, is called the nullity of $Γ$. In this paper, we show that for every positive integer $n\geq 4$, the Cayley graph $Γ_n$ on the symmetric group $\mathrm{Sym}(n)$ generated by $n$-cycles is an integral hyperenergetic graph with $\mathcal{E}(Γ_n)=2^{n-1}(n-1)!$ and $η(Γ_n)=n!-\binom{2n-2}{n-1}$.
Sign changes of Fourier coefficients for holomorphic eta-quotients
In this paper we study sign changes of an infinite class of $η$-quotients which are holomorphic modular forms. There is also a relation to Hurwitz class numbers.
Logarithmic Discriminants of Hyperplane Arrangements
Published in Special volume on Positive Geometry, Le Matematiche 80 (1) (2025), 325-346
• Search Publication
A recurring task in particle physics and statistics is to compute the complex critical points of a product of powers of affine-linear functions. The logarithmic discriminant characterizes exponents for which such a function has a degenerate critical point in the corresponding hyperplane arrangement complement. We study properties of this discriminant, exploiting its connection with the Hurwitz form of a reciprocal linear space.
Probability that $n$ points are in convex position in a general convex polygon: Asymptotic results
Published
• View Publication
• BIB
Let $\mathbb{P}_K(n)$ be the probability that $n$ points $z_1,\ldots,z_n$ picked uniformly and independently in $K$, a non-flat compact convex polygon in $\mathbb{R}^2$, are in convex position, that is, form the vertex set of a convex polygon. In this paper, we give an equivalent of $\mathbb{P}_K(n)$ when $n\to\infty$. This improves on a famous result of Bárány (yet valid for a general convex domain $K$) and a result we initiated in the case where $K$ is a regular convex polygon.
Oriented matroid structures on rank 3 root systems
We show that, given a rank 3 affine root system $Φ$ with Weyl group $W$, there is a unique oriented matroid structure on $Φ$ which is $W$-equivariant and restricts to the usual matroid structure on rank 2 subsystems. Such oriented matroids were called oriented matroid root systems in Dyer-Wang (2021), and are known to be non-unique in higher rank. We also show uniqueness for any finite root system or "clean" rank 3 root system (which conjecturally includes all rank 3 root systems).