Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Codes parameterized by the edges of a bipartite graph with a perfect matching
Published
• View Publication
• BIB
In this paper we study the main characteristics of some evaluation codes parameterized by the edges of a bipartite graph with a perfect matching.
Limit Profile for Projections of Random Walks on Groups
Published in Electron. J. Probab. 29: 1-22 (2024)
• View Publication
• BIB
Establishing cutoff, an abrupt transition from "not mixed" to "well mixed", is a classical topic in the theory of mixing times for Markov chains. Interest has grown recently in determining not only the existence of cutoff and the order of its mixing time and window, but the exact shape, or profile, of the convergence inside the window. Classical techniques, such as coupling or $\ell_2$-bounds, are typically too crude to establish this and there has been a push to develop general techniques.
We build upon this work, extending from conjugacy-invariant random walks on groups to certain projections. We exemplify our method by analysing the $k$-particle interchange process on the complete $n$-graph with $k \asymp n$. This is a projection of the random-transposition card shuffle, which corresponds to $k = n$, analysed by Teyssier.
Diameter formulas for a class of undirected multi-loop networks
Let $n\geq 5$ and $m\geq 1$ be positive integers. Let $S = ( s_1, s_2, \ldots , s_m)$ be a sequence of integers such that $1 \leq s_1 < s_2 < \ldots < s_m \leq \lfloor \frac{n-1}{2} \rfloor.$ In this paper, we discuss the diameter of multi-loop networks $C_n(s_1,s_2, \ldots, s_m)$ when $s_1=1$. We also present a relation between the diameter of multi-loop networks and the diameter of generalized Petersen graphs.
Quantum-Inspired Perfect Matching under Vertex-Color Constraints
We propose and study the graph-theoretical problem EXISTS-PMVC: the existence of perfect matching under vertex-color constraints on graphs with bi-colored edges. EXISTS-PMVC is of special interest because of its motivation from quantum-state identification and quantum-experiment design, as well as its rich expressiveness, i.e., EXISTS-PMVC naturally subsumes important constrained matching problems, such as exact perfect matching. We give complexity and algorithmic results for EXISTS-PMVC under two types of vertex color constraints: (1) decision-diagram constraints (EXISTS-PMVC-DD) and (2) symmetric constraints (EXISTS-PMVC-Sym).
For EXISTS-PMVC-DD, we reveal its NP-hardness by a graph-gadget technique. We prove that EXISTS-PMVC-Sym with a bounded number of colors (EXISTS-PMVC-Sym-Bounded) is polynomially equivalent with Exact Perfect Matching (XPM), which implies that EXISTS-PMVC-Sym-Bounded is in RNC on general graphs and PTIME on planar graphs. Directly applying algorithms for XPM to solve EXISTS-PMVC-Sym-Bounded is, however, impractical. We propose algorithms that natively handle EXISTS-PMVC-Sym-Bounded with considerably better complexity. Our novel results for EXISTS-PMVC provide insights into both constrained matching and scalable quantum experiment design.
Longest and Shortest Factorizations in Embedding Dimension Three
Published in Involve 16 (2023) 673-688
• View Publication
• BIB
For a numerical monoid $\langle n_1, \dots, n_k \rangle$ minimally generated by $n_1, \dots, n_k \in \mathbb{N}$ with $n_1 < \cdots < n_k$, the longest and shortest factorization lengths of an element $x$, denoted as $L(x)$ and $\ell(x)$, respectively, follow the identities $L(x+n_1) = L(x) + 1$ and $\ell(x+n_k) = \ell(x) + 1$ for sufficiently large elements $x$. We characterize when these identities hold for all elements of numerical monoids of embedding dimension three.
Edge-fault-tolerance about the SM-λ property of hypercube-like networks
The edge-fault-tolerance of networks is of great significance to the design and maintenance of networks. For any pair of vertices $u$ and $v$ of the connected graph $G$, if they are connected by $\min \{ °_G(u),°_G(v)\}$ edge-disjoint paths, then $G$ is strong Menger edge connected (SM-$λ$ for short).
The conditional edge-fault-tolerance about the SM-$ λ$ property of $G$, written $sm_λ^r(G)$, is the maximum value of $m$ such that $G-F$ is still SM-$λ$ for any edge subset $F$ with $|F|\leq m$ and $δ(G-F)\geq r$, where $δ(G-F)$ is the minimum degree of $G-F$.
Previously, most of the exact value for $sm_λ^r(G)$ is aimed at some well-known networks when $r\leq 2$, and a few of the lower bounds on some well-known networks for $r\geq 3$. In this paper, we firstly determine the exact value of $sm_λ^r(G)$ on class of hypercube-like networks (HL-networks for short, including hypercubes, twisted cubes, crossed cubes etc.) for a general $r$, that is, $sm_λ^r(G_n)=2^r(n-r)-n$ for every $G_n\in HL_n$, where $n\geq 3$ and $1\leq r \leq n-2$.
A Efficient Algorithm For Computing k-Factor
This article will prove a theorem for the existence of k-factor for k>1 ,and present an efficient algorithm for computing k-factor for all values of k based on this theorem.
Burstein's permutation conjecture, Hong and Li's inversion sequence conjecture, and restricted Eulerian distributions
Published
• View Publication
• BIB
Recently, Hong and Li launched a systematic study of length-four pattern avoidance in inversion sequences, and in particular, they conjectured that the number of $0021$-avoiding inversion sequences can be enumerated by the OEIS entry A218225. Meanwhile, Burstein suggested that the same sequence might also count three sets of pattern restricted permutations. The objective of this paper is not only a confirmation of Hong and Li's conjecture and Burstein's first conjecture, but also two more delicate generating function identities with the $\mathsf{ides}$ statistic concerned in the restricted permutation case, and the $\mathsf{asc}$ statistic concerned in the restricted inversion sequence case, which yield a new equidistribution result.
The Ihara expression of a generalization of the weighted zeta function on a finite digraph
Published
• View Publication
• BIB
We define a new weighted zeta function for a finite digraph and obtain its determinant expression called the Ihara expression. The graph zeta function is a generalization of the weighted graph zeta function introduced in previous research. That is, our result makes it possible to derive the Ihara expressions of the previous graph zeta functions for any finite digraphs.
Hierarchical Cyclic Pursuit: Algebraic Curves Containing the Laplacian Spectra
Published in IEEE Transactions on Control of Network Systems, 10(December 2023), 1720-1731
• View Publication
• BIB
The paper addresses the problem of multi-agent communication in networks with regular directed ring structure. These can be viewed as hierarchical extensions of the classical cyclic pursuit topology. We show that the spectra of the corresponding Laplacian matrices allow exact localization on the complex plane. Furthermore, we derive a general form of the characteristic polynomial of such matrices, analyze the algebraic curves its roots belong to, and propose a way to obtain their closed-form equations. In combination with frequency domain consensus criteria for high-order SISO linear agents, these curves enable one to analyze the feasibility of consensus in networks with varying number of agents.
Regularity of powers of d-sequence (parity) binomial edge ideals of unicycle graphs
Published
• View Publication
• BIB
We classify all unicycle graphs whose edge-binomials form a $d$-sequence, particularly linear type binomial edge ideals. We also classify unicycle graphs whose parity edge-binomials form a $d$-sequence. We study the regularity of powers of (parity) binomial edge ideals of unicycle graphs generated by $d$-sequence (parity) edge-binomials.
Unimodality of ranks and a proof of Stanton's conjecture
Recently, much attention has been given to various inequalities among partition functions. For example, Nicolas, {and later DeSavlvo--Pak,} proved that $p(n)$ is eventually log-concave, and Ji--Zang showed that the cranks are eventually unimodal. This has led to a flurry of recent activity generalizing such results in different directions. At the same time, Stanton recently made deep conjectures on the positivity of certain polynomials associated to ranks and cranks of partitions, with the ultimate goal of pointing the way to ``deeper'' structure refining ranks and cranks. These have been shown to be robust in recent works, which have identified further infinite families of such conjectures in the case of colored partitions. In this paper, we employ the Circle Method to prove unimodality for ranks. As a corollary, we prove Stanton's original conjecture. This points to future study of the positive, integral coefficients Stanton conjectured to exist, hinting at new combinatorial structure yet to be uncovered.
On the Cryptomorphism between Davis' Subset Lattices, Atomic Lattices, and Closure Systems under T1 Separation Axiom
In this paper we count set closure systems (also known as Moore families) for the case when all single element sets are closed. In particular, we give the numbers of such strict (empty set included) and non-strict families for the base set of size $n=6$. We also provide the number of such inequivalent Moore families with respect to all permutations of the base set up to $n=6$. The search in OEIS and existing literature revealed the coincidence of the found numbers with the entry for D.\ M.~Davis' set union lattice (\seqnum{A235604}, up to $n=5$) and $|\mathcal L_n|$, the number of atomic lattices on $n$ atoms, obtained by S.\ Mapes (up to $n=6$), respectively. Thus we study all those cases, establish one-to-one correspondences between them via Galois adjunctions and Formal Concept Analysis, and provide the reader with two of our enumerative algorithms as well as with the results of these algorithms used for additional tests. Other results include the largest size of intersection free families for $n=6$ plus our conjecture for $n=7$, an upper bound for the number of atomic lattices $\mathcal L_n$, and some structural properties of $\mathcal L_n$ based on the theory of extremal lattices.
Extreme singular values of inhomogeneous sparse random rectangular matrices
Published in Bernoulli, 30(4): 2904-2931, 2024
• View Publication
• BIB
We develop a unified approach to bounding the largest and smallest singular values of an inhomogeneous random rectangular matrix, based on the non-backtracking operator and the Ihara-Bass formula for general random Hermitian matrices with a bipartite block structure. We obtain probabilistic upper (respectively, lower) bounds for the largest (respectively, smallest) singular values of a large rectangular random matrix $X$. These bounds are given in terms of the maximal and minimal $\ell_2$-norms of the rows and columns of the variance profile of $X$. The proofs involve finding probabilistic upper bounds on the spectral radius of an associated non-backtracking matrix $B$. The two-sided bounds can be applied to the centered adjacency matrix of sparse inhomogeneous Erdős-Rényi bipartite graphs for a wide range of sparsity, down to criticality. In particular, for Erdős-Rényi bipartite graphs $G(n,m,p)$ with $p=ω(\log n)/n$, and $m/n\to y \in (0,1)$, our sharp bounds imply that there are no outliers outside the support of the Marčenko-Pastur law almost surely. This result extends the Bai-Yin theorem to sparse rectangular random matrices.
Difference Methods for Double-Change Covering Designs
Published
• View Publication
• BIB
A \textbf{double-change covering design} (DCCD) is a $v$-set $V$ and an ordered list $\mathcal{L}$ of $b$ blocks of size $k$ where every pair from $V$ must occur in at least one block and each pair of consecutive blocks differs by exactly two elements. It is \textbf{minimal} if it has the fewest block possible and \textbf{circular} when the first and last blocks also differ by two elements. We give a recursive construction that uses 1-factorizations and expansion sets to construct a DCCD($v+\frac{v+k-2}{k-2},k,b+\frac{v}{k-2}\frac{v+k-2}{2k-4}$) from a DCCD($v,k,b$). We construct circular DCCD($2k-2,k,k-1$) and circular DCCD($2k-3,k,k-2$) from single change covering designs and determine minimal DCCD when $v=2k-2$. We use difference methods to construct five infinite families of minimal circular DCCD($c(4k-6)+1,k,c^2(4k-6)+c$) when $c\leq 5$ for any $k\geq 3$. The recursive construction is then used to build twelve additional minimal DCCD from members of these infinite families. Finally the difference method is used to construct a minimal circular DCCD(61,4,366).
Factorization theorems and canonical representations for generating functions of special sums
This manuscript explores many convolution (restricted summation) type sequences via certain types of matrix based factorizations that can be used to express their generating functions. The last primary (non-appendix) section of the thesis explores the topic of how to best rigorously define a so-termed ``\emph{canonically best}'' matrix based factorization for a given class of convolution sum sequences. The notion of a canonical factorization for the generating function of such sequences needs to match the qualitative properties we find in the factorization theorems for Lambert series generating functions (LGFs). The expected qualitatively most expressive expansion we find in the LGF case results naturally from algebraic constructions of the underlying LGF series type. We propose a precise quantitative requirement to generalize this notion in terms of optimal cross-correlation statistics for certain sequences that define the matrix based factorizations of the generating function expansions we study. We finally pose a few conjectures on the types of matrix factorizations we expect to find when we are able to attain the maximal (respectively minimal) correlation statistic for a given sum type.
On Clusters and Exceptional Sets in Types $\mathbb{A}$ and $\tilde{\mathbb{A}}$
Published
• View Publication
• BIB
In this paper we first study clusters in type $\tilde{\mathbb{A}}$ by collecting them into a finite number of infinite families given by Dehn twists of their corresponding triangulations, and show that these families are counted by the Catalan numbers. We also highlight the similarities and differences between the annuli diagrams used to study clusters and those used to study exceptional sets in type $\tilde{\mathbb{A}}$. We then focus on exceptional collections (sets) of modules over path algebras of quivers by first showing that the notion of relative projectivity in exceptional sets is well defined. We finish by counting the number of exceptional sets of representations of type $\mathbb{A}$ quivers with straight orientation and using this to count the number of families of exceptional sets of type $\tilde{\mathbb{A}}$ with straight orientation.
Clustered Coloring of Graphs with Bounded Layered Treewidth and Bounded Degree
Published in European J. Combin. 122 (2024), 103730
• View Publication
• BIB
The clustering of a graph coloring is the maximum size of monochromatic components. This paper studies colorings with bounded clustering in graph classes with bounded layered treewidth, which include planar graphs, graphs of bounded Euler genus, graphs embeddable on a fixed surface with a bounded number of crossings per edge, map graphs, amongst other examples. Our main theorem says that every graph with layered treewidth at most $k$ and with maximum degree at most $Δ$ is $3$-colorable with clustering $O(k^{19}Δ^{37})$. This is the first known polynomial bound on the clustering. This greatly improves upon a corresponding result of Esperet and Joret for graphs of bounded genus.
Contribution of $n$-cylinder square-tiled surfaces to Masur-Veech volume of $\mathcal{H}(2g-2)$
Published in Geometric and Functional Analysis (2023)
• View Publication
• BIB
We find the generating function for the contributions of $n$-cylinder square-tiled surfaces to the Masur-Veech volume of $\mathcal{H}(2g-2)$. It is a bivariate generalization of the generating function for the total volumes obtained by Sauvaget via intersection theory. Our approach is, however, purely combinatorial. It relies on the study of counting functions for certain families of metric ribbon graphs. Their top-degree terms are polynomials, whose (normalized) coefficients are cardinalities of certain families of metric plane trees. These polynomials are analogues of Kontsevich polynomials that appear as part of his proof of Witten's conjecture.
Spectral radius of graphs forbidden $C_7$ or $C_6^{\triangle}$
Published
• View Publication
• BIB
Let $C_k^{\triangle}$ be the graph obtained from a cycle $C_{k}$ by adding a new vertex connecting two adjacent vertices in $C_{k}$. In this note, we obtain the graph maximizing the spectral radius among all graphs with size $m$ and containing no subgraph isomorphic to $C_6^{\triangle}$. As a byproduct, we will show that if the spectral radius $λ(G)\ge1+\sqrt{m-2}$, then $G$ must contains all the cycles $C_i$ for $3\le i\le 7$ unless $G\cong K_3\nabla \left(\frac{m-3}{3}K_1\right)$.