Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Characterization of subgroup perfect codes in Cayley graphs
Published
• View Publication
• BIB
A subset $C$ of the vertex set of a graph $Γ$ is called a perfect code in $Γ$ if every vertex of $Γ$ is at distance no more than $1$ to exactly one vertex of $C$. A subset $C$ of a group $G$ is called a perfect code of $G$ if $C$ is a perfect code in some Cayley graph of $G$. In this paper we give sufficient and necessary conditions for a subgroup $H$ of a finite group $G$ to be a perfect code of $G$. Based on this, we determine the finite groups that have no nontrivial subgroup as a perfect code, which answers a question by Ma, Walls, Wang and Zhou.
Special hypergeometric motives and their $L$-functions: Asai recognition
Published in Experimental Math. 31 (2022), no. 4, 1278--1290
• View Publication
• BIB
We recognize certain special hypergeometric motives, related to and inspired by the discoveries of Ramanujan more than a century ago, as arising from Asai $L$-functions of Hilbert modular forms.
An Efficient Structural Descriptor Sequence to Identify Graph Isomorphism and Graph Automorphism
In this paper, we study the graph isomorphism and graph automorphism problems. We propose a novel technique to analyze graph isomorphism and graph automorphism. Further we handled some strongly regular datasets for prove the efficiency of our technique. The neighbourhood matrix $ \mathcal{NM}(G) $ was proposed in \cite {ALPaper} as a novel representation of graphs and was defined using the neighbourhood sets of the vertices. It was also shown that the matrix exhibits a bijection between the product of two well known graph matrices, namely the adjacency matrix and the Laplacian matrix. Further, in a recent work\cite{NM_SPath}, we introduced the sequence of matrices representing the powers of $\mathcal{NM}(G)$ and denoted it as $ \mathcal{NM}^{\{l\}}, 1\leq l \leq k(G)$ where $ k(G) $ is called the \textbf{iteration number}, $k(G)=\ceil*{\log_{2}diameter(G)} $. In this article we introduce a structural descriptor given by a sequence and clique sequence for any undirected unweighted simple graphs with help of the sequences of matrices $ NM^{\{l\}} $. The $ i^{th} $ element of structural descriptor sequence encodes the complete structural information of the graph from the vertex $ i\in V(G) $. The $ i^{th} $ element of clique sequence encodes the Maximal cliques on $ i $ vertices. The above sequences is shown to be a graph invariants and is used to study the graph isomorphism and automorphism problem.
Crystals, semistandard tableaux and cyclic sieving phenomenon
In this paper, we study a new cyclic sieving phenomenon on the set $\mathsf{SST}_n(λ)$ of semistandard Young tableaux with the cyclic action $\mathsf{c}$ arising from its $U_q(\mathfrak{sl}_n)$-crystal structure. We prove that if $λ$ is a Young diagram with $\ell(λ) < n$ and $\gcd( n, |λ| )=1$, then the triple $\left( \mathsf{SST}_n(λ), \mathsf{C}, q^{- κ(λ)} s_λ(1,q, \ldots, q^{n-1}) \right) $ exhibits the cyclic sieving phenomenon, where $\mathsf{C}$ is the cyclic group generated by $\mathsf{c}$. We further investigate a connection between $\mathsf{c}$ and the promotion $\mathsf{pr}$ and show the bicyclic sieving phenomenon given by $\mathsf{c}$ and $\mathsf{pr}^n$ for hook shape.
Orienting undirected phylogenetic networks
Published
• View Publication
• BIB
This paper studies the relationship between undirected (unrooted) and directed (rooted) phylogenetic networks. We describe a polynomial-time algorithm for deciding whether an undirected nonbinary phylogenetic network, given the locations of the root and reticulation vertices, can be oriented as a directed nonbinary phylogenetic network. Moreover, we characterize when this is possible and show that, in such instances, the resulting directed nonbinary phylogenetic network is unique. In addition, without being given the location of the root and the reticulation vertices, we describe an algorithm for deciding whether an undirected binary phylogenetic network $N$ can be oriented as a directed binary phylogenetic network of a certain class. The algorithm is fixed-parameter tractable (FPT) when the parameter is the level of $N$ and is applicable to classes of directed phylogenetic networks that satisfy certain conditions. As an example, we show that the well-studied class of binary tree-child networks satisfies these conditions.
Asymptotic performance of metacyclic codes
Published
• View Publication
• BIB
A finite group with a cyclic normal subgroup N such that G/N is cyclic is said to be metacyclic. A code over a finite field F is a metacyclic code if it is a left ideal in the group algebra FG for G a metacyclic group. Metacyclic codes are generalizations of dihedral codes, and can be constructed as quasi-cyclic codes with an extra automorphism. In this paper, we prove that metacyclic codes form an asymptotically good family of codes. Our proof relies on a version of Artin's conjecture for primitive roots in arithmetic progression being true under the Generalized Riemann Hypothesis (GRH).
Enumeration of associative magic squares of order 7
Published
• View Publication
• BIB
An associative magic square is a magic square such that the sum of any 2 cells at symmetric positions with respect to the center is constant. The total number of associative magic squares of order 7 is enormous, and thus, it is not realistic to obtain the number by simple backtracking. As a recent result, Artem Ripatti reported the number of semi-magic squares of order 6 (the magic squares of 6x6 without diagonal sum conditions) in 2018. In this research, with reference to Ripatti's method of enumerating semi-magic squares, we have calculated the total number of associative magic squares of order 7. There are exactly 1,125,154,039,419,854,784 associative magic squares of order 7, excluding symmetric patterns.
Some $n$-space $q$-binomial theorem extensions and similar identities
We give an $n$-space generalized $q$-binomial theorem, and some new $q$ series identities that resemble the traditional $q$ series partition generating functions. These identities enumerate stepping stone weighted vector partitions.
The Strong Maximal Rank Conjecture and higher rank Brill--Noether theory
Published
• View Publication
• BIB
In this paper, we compute the cohomology class of certain "special maximal-rank loci" originally defined by Aprodu and Farkas. By showing that such classes are nonzero, we are able to verify the non-emptiness portion of the Strong Maximal Rank Conjecture in a wide range of cases. As an application, we obtain new evidence for the existence portion of a well-known conjecture due to Bertram, Feinberg and independently Mukai in higher-rank Brill--Noether theory.
Inequalities of Independence Number, Clique Number and Connectivity of Maximal Connected Domination Critical Graphs
A $k$-$γ_{c}$-edge critical graph is a graph $G$ with the connected domination number $γ_{c}(G) = k$ and $γ_{c}(G + uv) < k$ for every $uv \in E(\overline{G})$. Further, a $2$-connected graph $G$ is said to be $k$-$γ_{c}$-vertex critical if $γ_{c}(G) = k$ and $γ_{c}(G - v) < k$ for all $v \in V(G)$. A maximal $k$-$γ_{c}$-vertex critical graph is a graph which are both $k$-$γ_{c}$-edge critical and $k$-$γ_{c}$-vertex critical. Let $κ, δ, ω$ and $α$ be respectively connectivity minimum degree, clique number and independence number. In this paper, we prove that every maximal $3$-$γ_{c}$-vertex critical graph $G$ satisfies $α\leq δ$ and this bound is best possible. We prove further that $G$ satisfies $α+ ω\leq n - 1$ and we also characterize all such graphs achieving the upper bounds. We finally show that if $G$ satisfies $κ< δ$, then every two vertices of $G$ are joined by hamiltonian path.
Random Čech Complexes on Manifolds with Boundary
Published
• View Publication
• BIB
Let $M$ be a compact, unit volume, Riemannian manifold with boundary. In this paper we study the homology of a random Čech-complex generated by a homogeneous Poisson process in $M$. Our main results are two asymptotic threshold formulas, an upper threshold above which the Čech complex recovers the $k$-th homology of $M$ with high probability, and a lower threshold below which it almost certainly does not. These thresholds are close together in the sense that they have the same leading term. Here $k$ is positive and strictly less than the dimension $d$ of the manifold.
This extends work of Bobrowski and Weinberger in [BW17] and Bobrowski and Oliveira [BO19] who establish similar formulas when $M$ is a torus and, more generally, is closed and has no boundary. We note that the cases with and without boundary lead to different answers: The corresponding common leading terms for the upper and lower thresholds differ being $\log (n) $ when $M$ is closed and $(2-2/d)\log (n)$ when $M$ has boundary; here $n$ is the expected number of sample points. Our analysis identifies a special type of homological cycle, which we call a $Θ$-like-cycle, which occur close to the boundary and establish that the first order term of the lower threshold is $(2-2/d)\log (n)$.
Aggregate Play and Welfare in Strategic Interactions on Networks
Published
• View Publication
• BIB
In recent work by Bramoullé and Kranton, a model for the provision of public goods on a network was presented and relations between equilibria of such a game and properties of the network were established. This model was further extended to include games with imperfect substitutability in Bramoullé et al. The vast multiplicity of equilibria in such games along with the drastic changes in equilibria with small changes in network structure, makes it challenging for a system planner to estimate the maximum social welfare of such a game or to devise interventions that enhance this welfare. Our main results address this challenge by providing close approximations to the maximum social welfare and the maximum aggregate play in terms of only network characteristics such as the maximum degree and independence number. For the special case when the underlying network is a tree, we derive formulae which use only the number of nodes and their degrees. These results allow a system planner to assess aggregate outcomes and design interventions for the game, directly from the underlying graph structure, without enumerating all equilibria of the game, thereby significantly simplifying the planner's problem. A part of our results can be viewed as a logical extension of [7] where the maximum weighted aggregate effort of the model in [2] was characterized as the weighted independence number of the graph.
Transitive tournament tilings in oriented graphs with large minimum total degree
Published
• View Publication
• BIB
Let $\vec{T}_k$ be the transitive tournament on $k$ vertices. We show that every oriented graph on $n=4m$ vertices with minimum total degree $(11/12+o(1))n$ can be partitioned into vertex disjoint $\vec{T}_4$'s, and this bound is asymptotically tight. We also improve the best known bound on the minimum total degree for partitioning oriented graphs into vertex disjoint $\vec{T}_k$'s.
Refined Enumeration of Symmetry Classes of Alternating Sign Matrices
Published
• View Publication
• BIB
We prove refined enumeration results on several symmetry classes as well as related classes of alternating sign matrices with respect to classical boundary statistics, using the six-vertex model of statistical physics. More precisely, we study vertically symmetric, vertically and horizontally symmetric, vertically and horizontally perverse, off-diagonally and off-antidiagonally symmetric, vertically and off-diagonally symmetric, quarter turn symmetric as well as quasi quarter turn symmetric alternating sign matrices. Our results prove conjectures of Fischer, Duchon and Robbins.
Characterizing cospectral vertices via isospectral reduction
Published
• View Publication
• BIB
Two emerging topics in graph theory are the study of cospectral vertices of a graph, and the study of isospectral reductions of graphs. In this paper, we prove a fundamental relationship between these two areas, which is that two vertices of a graph are cospectral if and only if the isospectral reduction over these vertices has a nontrivial automorphism. It is well known that if two vertices of a graph are symmetric, i.e. if there exists a graph automorphism permuting these two vertices, then they are cospectral. This paper extends this result showing that any two cospectral vertices are symmetric in some reduced version of the graph. We also prove that two vertices are strongly cospectral if and only if they are cospectral and the isospectral reduction over these two vertices has simple eigenvalues. We further describe how these results can be used to construct new families of graphs with cospectral vertices.
Wiener index and Harary index on pancyclic graphs
Wiener index and Harary index are two classic and well-known topological indices for the characterization of molecular graphs. Recently, Yu et al. \cite{YYSX} established some sufficient conditions for a graph to be pancyclic in terms of the edge number, the spectral radius and the signless Laplacian spectral radius of the graph. In this paper, we give some sufficient conditions for a graph being pancyclic in terms of the Wiener index, the Harary index, the distance spectral radius and the Harary spectral radius of a graph.
Gröbner bases and the Cohen-Macaulay property of Li's double determinantal varieties
Published in Proc. Amer. Math. Soc. Ser. B 7 (2020), 142--158
• View Publication
• BIB
We consider double determinantal varieties, a special case of Nakajima quiver varieties. Li conjectured that double determinantal varieties are normal, irreducible, Cohen-Macaulay varieties whose defining ideals have a Gröbner basis given by their natural generators. We use liaison theory to prove this conjecture in a manner that generalizes results for mixed ladder determinantal varieties. We also give a formula for the dimension of a double determinantal variety.
Throttling numbers for adversaries on connected graphs
In this paper, we answer two open problems from [Breen et al., Throttling for the game of Cops and Robbers on graphs, Discrete Math., 341 (2018) 2418-2430]. The throttling number $th_c(G)$ of a graph $G$ is the minimum possible value of $k + capt_k(G)$ over all positive integers $k$, where $capt_k(G)$ is the number of rounds needed for $k$ cops to capture the robber on $G$. One of the problems from [Breen et al., 2018] was to determine whether there exists a family of trees $T$ of order $n$ for which $th_c(T)$ is asymptotically equal to $2 \sqrt{n}$. We show that such a family cannot exist by improving the upper bound on $\displaystyle \max_{T} th_c(T)$ for all trees $T$ of order $n$ from $2 \sqrt{n}$ to $\frac{\sqrt{14}}{2} \sqrt{n} + O(1)$. We prove this bound by deriving a more general throttling bound for connected graphs that applies to multiple graph adversaries, including the robber and the gambler. This also improves the best known upper bounds on $th_c(G)$ for chordal graphs and unicyclic graphs $G$, as well as throttling numbers for positive semidefinite (PSD) zero forcing on trees. In addition to the results about cop versus robber, we use our general throttling bound to improve previous upper bounds on throttling numbers for the cop versus gambler game on connected graphs.
Another open problem from [Breen et al., 2018] was to obtain a bound on $th_c(G)$ for cactus graphs $G$. We prove an $O(\sqrt{n})$ bound for all cactus graphs $G$ of order $n$. Furthermore, we exhibit a family of trees $T$ of order $n$ that have $th_c(T) > 1.4502 \sqrt{n}$ for all $n$ sufficiently large, improving on the previous lower bound of $\lceil \sqrt{2n}-\frac{1}{2} \rceil + 1$ on $\displaystyle \max_{T} th_c(T)$ for trees $T$ of order $n$.
Associahedra for finite type cluster algebras and minimal relations between $\mathbf{g}$-vectors
Published in Proc. Lond. Math. Soc. 127(3):513-588, 2023
• View Publication
• BIB
We show that the mesh mutations are the minimal relations among the $\boldsymbol{g}$-vectors with respect to any initial seed in any finite type cluster algebra. We then use this algebraic result to derive geometric properties of the $\boldsymbol{g}$-vector fan: we show that the space of all its polytopal realizations is a simplicial cone, and we then observe that this property implies that all its realizations can be described as the intersection of a high dimensional positive orthant with well-chosen affine spaces. This sheds a new light on and extends earlier results of N. Arkani-Hamed, Y. Bai, S. He, and G. Yan in type $A$ and of V. Bazier-Matte, G. Douville, K. Mousavand, H. Thomas and E. Yildirim for acyclic initial seeds.
Moreover, we use a similar approach to study the space of polytopal realizations of the $\boldsymbol{g}$-vector fans of another generalization of the associahedron: non-kissing complexes (a.k.a. support $τ$-tilting complexes) of gentle algebras. We show that the space of realizations of the non-kissing fan is simplicial when the gentle bound quiver is brick and $2$-acyclic, and we describe in this case its facet-defining inequalities in terms of mesh mutations.
Along the way, we prove algebraic results on $2$-Calabi-Yau triangulated categories, and on extriangulated categories that are of independent interest. In particular, we prove, in those two setups, an analogue of a result of M. Auslander on minimal relations for Grothendieck groups of module categories.
On the size-Ramsey number of grid graphs
Published in Combinator. Probab. Comp. 30 (2021) 670-685
• View Publication
• BIB
The size-Ramsey number of a graph $F$ is the smallest number of edges in a graph $G$ with the Ramsey property for $F$, that is, with the property that any 2-colouring of the edges of $G$ contains a monochromatic copy of $F$. We prove that the size-Ramsey number of the grid graph on $n\times n$ vertices is bounded from above by $n^{3+o(1)}$.