Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Bicrucial $k$-power-free permutations
Published
• View Publication
• BIB
In this work, we prove that for every $k\geq 3$ there exist arbitrarily long bicrucial $k$-power-free permutations. We also show that for every $k\geq 3$ there exist right-crucial $k$-power-free permutations of any length at least $(k-1)(2k+1)$.
Random $p$-adic matrices with fixed zero entries and the Cohen--Lenstra distribution
Published
• View Publication
• BIB
In this paper, we study the distribution of the cokernels of random $p$-adic matrices with fixed zero entries. Let $X_n$ be a random $n \times n$ matrix over $\mathbb{Z}_p$ in which some entries are fixed to be zero and the other entries are i.i.d. copies of a random variable $ξ\in \mathbb{Z}_p$. We consider the minimal number of random entries of $X_n$ required for the cokernel of $X_n$ to converge to the Cohen--Lenstra distribution. When $ξ$ is given by the Haar measure, we prove a lower bound of the number of random entries and prove its converse-type result using random regular bipartite multigraphs. When $ξ$ is a general random variable, we determine the minimal number of random entries. Let $M_n$ be a random $n \times n$ matrix over $\mathbb{Z}_p$ with $k$-step stairs of zeros and the other entries given by independent random $ε$-balanced variables valued in $\mathbb{Z}_p$. We prove that the cokernel of $M_n$ converges to the Cohen--Lenstra distribution under a mild assumption. This extends Wood's universality theorem on random $p$-adic matrices.
Cycle-Star Motifs: Network Response to Link Modifications
Published in J Nonlinear Sci 34, 60 (2024)
• View Publication
• BIB
Understanding efficient modifications to improve network functionality is a fundamental problem of scientific and industrial interest. We study the response of network dynamics against link modifications on a weakly connected directed graph consisting of two strongly connected components: an undirected star and an undirected cycle. We assume that there are directed edges starting from the cycle and ending at the star (master-slave formalism). We modify the graph by adding directed edges of arbitrarily large weights starting from the star and ending at the cycle (opposite direction of the cutset). We provide criteria (based on the sizes of the star and cycle, the coupling structure, and the weights of cutset and modification edges) that determine how the modification affects the spectral gap of the Laplacian matrix. We apply our approach to understand the modifications that either enhance or hinder synchronization in networks of chaotic Lorenz systems as well as Rössler. Our results show that the hindrance of collective dynamics due to link additions is not atypical as previously anticipated by modification analysis and thus allows for better control of collective properties.
Optimal $L(d,1)$-labeling of certain direct graph bundles cycles over cycles and Cartesian graph bundles cycles over cycles
Published
• View Publication
• BIB
An $L(d,1)$-labeling of a graph $G$ is an assignment of nonnegative integers to the vertices such that adjacent vertices receive labels that differ by at least $d$ and those at a distance of two receive labels that differ by at least one, where $d\geq 1$. Let $λ^d_1 (G)$ denote the least $λ$ such that $G$ admits an $L(d,1)$-labeling using labels from $\{0,1,\ldots , λ\}$. We prove that $λ^d_1(X)\leq 2d+2$ for certain direct graph bundle $X= C_m\times^{σ_\ell} C_n$ and certain Cartesian graph bundle $X= C_m\Box^{σ_\ell} C_n$, where $σ_\ell$ is a cyclic $\ell$-shift, with equality if $1\leq d\leq 4$.
Planar point sets with forbidden $4$-point patterns and few distinct distances
Published
• View Publication
• BIB
We show that for any large $n$, there exists a set of $n$ points in the plane with $O(n^2/\sqrt{\log n})$ distinct distances, such that any four points in the set determine at least five distinct distances. This answers (in the negative) a question of Erdős. The proof combines an analysis by Dumitrescu of forbidden four-point patterns with an algebraic construction of Thiele and Dumitrescu (to eliminate parallelograms), as well as a randomized transformation of that construction (to eliminate most other forbidden patterns).
Orbital categories and weak indexing systems
We initiate the combinatorial study of the poset $\mathrm{wIndex}_{\mathcal{T}}$ of weak $\mathcal{T}$-indexing systems, consisting of composable collections of arities for $\mathcal{T}$-equivariant algebraic structures, where $\mathcal{T}$ is an orbital $\infty$-category, such as the orbit category of a finite group. In particular, we show that these are equivalent to weak $\mathcal{T}$-indexing categories and characterize various unitality conditions.
Within this sits a natural generalization $\mathrm{Index}_{\mathcal{T}} \subset \mathrm{wIndex}_{\mathcal{T}}$ of Blumberg-Hill's indexing systems, consisting of arities for structures possessing binary operations and unit elements. We characterize the relationship between the posets of unital weak indexing systems and indexing systems, the latter remaining isomorphic to transfer systems on this level of generality. We use this to characterize the poset of unital $C_{p^n}$-weak indexing systems.
Coalescence Probabilities of Cycle Products
Published
• View Publication
• BIB
Generalizing a formula of Stanley, we prove combinatorially that the probability that $1, 2, \dots, k$ are contained in the same cycle of a product of two random $n$-cycles is \[\frac{1}{k} + \frac{4 (-1)^n}{ \binom{2k}{k}} \sum_{\substack{1 \leq i \leq k-1 \\ i \not\equiv n \bmod 2}} \binom{2k-1}{k+i} \left(\frac{1}{n+i+1} - \frac{1}{n-i}\right).\]
Gauss-Bonnet for Form Curvatures
We look at curvatures that are supported on k-dimensional parts of a simplicial complex G. These curvature all satisfy the Gauss-Bonnet theorem, provided that the k-dimensional simplices cover $G$. Each of these curvatures can be written as an expectation of Poincare-Hopf indices. Linear or non-linear wave dynamics with discrete or continuous time allow to deform these curvatures while keeping the Gauss-Bonnet property.
On the second largest adjacency eigenvalue of trees with given diameter
Published
• View Publication
• BIB
For a graph $G$, let $λ_2(G)$ denote the second largest eigenvalue of the adjacency matrix of $G$. We determine the extremal trees with maximum/minimum adjacency eigenvalue $λ_2$ in the class $\mathcal{T}(n,d)$ of $n$-vertex trees with diameter $d$. This contributes to the literature on $λ_2$-extremization over different graph families. We also revisit the notion of the spectral center of a tree and the proof of $λ_2$ maximization over trees.
Off-diagonal Ramsey numbers for slowly growing hypergraphs
Published
• View Publication
• BIB
For a $k$-uniform hypergraph $F$ and a positive integer $n$, the Ramsey number $r(F,n)$ denotes the minimum $N$ such that every $N$-vertex $F$-free $k$-uniform hypergraph contains an independent set of $n$ vertices. A hypergraph is $\textit{slowly growing}$ if there is an ordering $e_1,e_2,\dots,e_t$ of its edges such that $|e_i \setminus \bigcup_{j = 1}^{i - 1}e_j| \leq 1$ for each $i \in \{2, \ldots, t\}$. We prove that if $k \geq 3$ is fixed and $F$ is any non $k$-partite slowly growing $k$-uniform hypergraph, then for $n\ge2$, \[ r(F,n) = Ω\Bigl(\frac{n^k}{(\log n)^{2k - 2}}\Bigr).\] In particular, we deduce that the off-diagonal Ramsey number $r(F_5,n)$ is of order $n^{3}/\mbox{polylog}(n)$, where $F_5$ is the triple system $\{123, 124, 345\}$. This is the only 3-uniform Berge triangle for which the polynomial power of its off-diagonal Ramsey number was not previously known. Our constructions use pseudorandom graphs, martingales, and hypergraph containers.
Plethysm Stability of Schur's $Q$-functions
Published
• View Publication
• BIB
Schur functions has been shown to satisfy certain plethysm stability properties and recurrence relations. In this paper, use vertex operator methods to study analogous stability properties of Schur's $Q$-functions. Although the two functions have similar stability properties, we find a special case where the plethysm of Schur's $Q$-functions exhibits linear increase.
Uniform Convergence of an Asymptotic Approximation to Associated Stirling Numbers
Published
• View Publication
• BIB
Let $S_r(p,q)$ be the $r$-associated Stirling numbers of the second kind, the number of ways to partition a set of size $p$ into $q$ subsets of size at least $r$. For $r=1$, these are the standard Stirling numbers of the second kind, and for $r=2$, these are also known as the Ward Numbers. This paper concerns asymptotic expansions of these Stirling numbers; such expansions have been known for many years. However, while uniform convergence of these expansions was conjectured in Hennecart's 1994 paper, it has not been fully proved. A recent paper (Connamacher and Dobrosotskaya, 2020) went a long way, by proving uniform convergence on a large set. In this paper we build on that paper and prove convergence "everywhere."
An unexpected property of $\mathbf{g}$-vectors for rank 3 mutation-cyclic quivers
Let $Q$ be a rank 3 mutation-cyclic quiver. It is known that every $\mathbf{c}$-vector of $Q$ is a solution to a quadratic equation of the form $$\sum_{i=1}^3 x_i^2 + \sum_{1\leq i<j\leq 3} \pm q_{ij} x_i x_j =1,$$where $q_{ij}$ is the number of arrows between the vertices $i$ and $j$ in $Q$. A similar property holds for $\mathbf{c}$-vectors of any acyclic quiver. In this paper, we show that $\mathbf{g}$-vectors of $Q$ enjoy an unexpected property. More precisely, every $\mathbf{g}$-vector of $Q$ is a solution to a quadratic equation of the form $$\sum_{i=1}^3 x_i^2 + \sum_{1\leq i<j\leq 3} p_{ij} x_i x_j =1,$$where $p_{ij}$ is the number of arrows between the vertices $i$ and $j$ in another quiver $P$ obtained by mutating $Q$.
7-location, weak systolicity and isoperimetry
Published
• View Publication
• BIB
$m$-location is a local combinatorial condition for flag simplicial complexes introduced by Osajda. Osajda showed that simply connected 8-located locally 5-large complexes are hyperbolic. We treat the nonpositive curvature case of 7-located locally 5-large complexes.
We show that any minimal area disc diagram in a 7-located locally 5-large complex is itself 7-located and locally 5-large. We define a natural CAT(0) metric for 7-located disc diagrams and use this to prove that simply connected 7-located locally 5-large complexes have quadratic isoperimetric function. Along the way, we prove that locally weakly systolic complexes are 7-located locally 5-large.
Connections Between Combinations Without Specified Separations and Strongly Restricted Permutations, Compositions, and Bit Strings
Published in Journal of Integer Sequences, vol.28, no.3, Article 25.3.7 (2025)
• Search Publication
Let $S_n$ and $S_{n,k}$ be, respectively, the number of subsets and $k$-subsets of $\mathbb{N}_n=\{1,\ldots,n\}$ such that no two subset elements differ by an element of the set $\mathcal{Q}$, the largest element of which is $q$. We prove a bijection between such $k$-subsets when $\mathcal{Q}=\{m,2m,\ldots,jm\}$ with $j,m>0$ and permutations $π$ of $\mathbb{N}_{n+jm}$ with $k$ excedances satisfying $π(i)-i\in\{-m,0,jm\}$ for all $i\in\mathbb{N}_{n+jm}$. We also identify a bijection between another class of restricted permutation and the cases $\mathcal{Q}=\{1,q\}$ and derive the generating function for $S_n$ when $q=4,5,6$. We give some classes of $\mathcal{Q}$ for which $S_n$ is also the number of compositions of $n+q$ into a given set of allowed parts. We also prove a bijection between $k$-subsets for a class of $\mathcal{Q}$ and the set representations of size $k$ of equivalence classes for the occurrence of a given length-($q+1$) subword within bit strings. We then formulate a straightforward procedure for obtaining the generating function for the number of such equivalence classes.
On isomorphisms of $m$-Cayley digraphs
Published
• View Publication
• BIB
The isomorphism problem for digraphs is a fundamental problem in graph theory. This problem for Cayley digraphs has been extensively investigated over the last half a century. In this paper, we consider this problem for $m$-Cayley digraphs which are generalization of Cayley digraphs. Let $m$ be a positive integer. A digraph admitting a group $G$ of automorphisms acting semiregularly on the vertices with exactly $m$ orbits is called an $m$-Cayley digraph of $G$. In particular, $1$-Cayley digraph is just the Cayley digraph. We first characterize the normalizer of $G$ in the full automorphism group of an $m$-Cayley digraph of a finite group $G$. This generalizes a similar result for Cayley digraph achieved by Godsil in 1981. Then we use this to study the isomorphisms of $m$-Cayley digraphs. The CI-property of a Cayley digraph (CI stands for `Cayley isomorphism') and the DCI-groups (whose Cayley digraphs are all CI-digraphs) are two key topics in the study of isomorphisms of Cayley digraphs. We generalize these concepts into $m$-Cayley digraphs by defining $m$CI- and $m$PCI-digraphs, and correspondingly, $m$DCI- and $m$PDCI-groups. Analogues to Babai's criterion for CI-digraphs are given for $m$CI- and $m$PCI-digraphs, respectively. With these we then classify finite $m$DCI-groups for each $m\geq 2$, and finite $m$PDCI-groups for each $m\geq 4$. Similar results are also obtained for $m$-Cayley graphs. Note that 1DCI-groups are just DCI-groups, and the classification of finite DCI-groups is a long-standing open problem that has been worked on a lot.
Orientable and negative orientable sequences
Published
• View Publication
• BIB
Analogously to de Bruijn sequences, orientable sequences have application in automatic position-location applications and, until recently, studies of these sequences focused on the binary case. In recent work by Alhakim et al., a range of methods of construction were described for orientable sequences over arbitrary finite alphabets; some of these methods involve using negative orientable sequences as a building block. In this paper we describe three techniques for generating such negative orientable sequences, as well as upper bounds on their period. We then go on to show how these negative orientable sequences can be used to generate orientable sequences with period close to the maximum possible for every non-binary alphabet size and for every tuple length. In doing so we use two closely related approaches described by Alhakim et al.
Two new Bailey pairs and their $q$-identities of Rogers-Ramanujan type modulo 15, 24, and 30
In this paper, we first establish two new Bailey pairs via finding two generalizations of Euler's pentagonal number theorem. Next, we specificize the Bailey lemmas with these two Bailey pairs. As applications, we finally establish some $q$-series transformations and $q$-identities of Rogers-Ramanujan type modulo 15, 24, and 30.
Some inner metric parameters of a digraph: Iterated line digraphs and integer sequences
Published
• View Publication
• BIB
In this paper, we first give a new result characterizing the strongly connected digraphs with a diameter equal to that of their line digraphs. Then, we introduce the concepts of the inner diameter and inner radius of a digraph and study their behaviors in its iterated line digraphs. Furthermore, we provide a method to characterize sequences of integers (corresponding to the inner diameter or the number of vertices of a digraph and its iterated line digraphs) that satisfy some conditions. Among other examples, we apply the method to the cyclic Kautz digraphs, square-free digraphs, and the subdigraphs of De Bruijn digraphs. Finally, we present some tables with new sequences that do not belong to The On-Line Encyclopedia of Integer Sequences.
Higher Order Bipartiteness vs Bi-Partitioning in Simplicial Complexes
Bipartite graphs are a fundamental concept in graph theory with diverse applications. A graph is bipartite iff it contains no odd cycles, a characteristic that has many implications in diverse fields ranging from matching problems to the construction of complex networks. Another key identifying feature is their Laplacian spectrum as bipartite graphs achieve the maximum possible eigenvalue of graph Laplacian. However, for modeling higher-order connections in complex systems, hypergraphs and simplicial complexes are required due to the limitations of graphs in representing pairwise interactions. In this article, using simple tools from graph theory, we extend the cycle-based characterization from bipartite graphs to those simplicial complexes that achieve the maximum Hodge Laplacian eigenvalue, known as disorientable simplicial complexes. We show that a $N$-dimensional simplicial complex is disorientable if its down dual graph contains no simple odd cycle of distinct edges and no twisted even cycle of distinct edges. Furthermore, we see that in a $N$-simplicial complex without twisting cycles, the fewer the number of (non-branching) simple odd cycles in its down dual graph, the closer is its maximum eigenvalue to the possible maximum eigenvalue of Hodge Laplacian. Similar to the graph case, the absence of odd cycles plays a crucial role in solving the bi-partitioning problem of simplexes in higher dimensions.