Showing 20 papers (Total: 82736 papers, 47815 authors in database)
Generalizations of Leaky Forcing
Published
• View Publication
• BIB
Vertex leaky forcing was recently introduced as a new variation of zero forcing in order to show how vertex leaks can disrupt the zero forcing process in a graph. An edge leak is an edge that is not allowed to be forced across during the zero forcing process. The $\ell$-edge-leaky forcing number of a graph is the size of a smallest zero forcing set that can force the graph blue despite $\ell$ edge leaks. This paper contains an analysis of the effect of edge leaks on the zero forcing process instead of vertex leaks. Furthermore, specified $\ell$-leaky forcing is introduced. The main result is that $\ell$-leaky forcing, $\ell$-edge-leaky forcing, and specified $\ell$-leaky forcing are equivalent. Furthermore, all of these different kinds of leaks can be mixed so that vertex leaks, edge leaks, and specified leaks are used. This mixed $\ell$-leaky forcing number is also the same as the (vertex) $\ell$-leaky forcing number.
Complementary Numerical Sets
A numerical set $S$ is a cofinite subset of $\mathbb{N}$ which contains $0$. We use the natural bijection between numerical sets and Young diagrams to define a numerical set $\widetilde{S}$, such that their Young diagrams are complements. We determine various properties of $\widetilde{S}$, particularly with an eye to closure under addition (for both $S$ and $\widetilde{S}$), which promotes a numerical set to become a numerical semigroup.
Linear Shannon Capacity of Cayley Graphs
Published
• View Publication
• BIB
The Shannon capacity of a graph is a fundamental quantity in zero-error information theory measuring the rate of growth of independent sets in graph powers. Despite being well-studied, this quantity continues to hold several mysteries. Lovász famously proved that the Shannon capacity of $C_5$ (the 5-cycle) is at most $\sqrt{5}$ via his theta function. This bound is achieved by a simple linear code over $\mathbb{F}_5$ mapping $x \mapsto 2x$. This motivates the notion of linear Shannon capacity of graphs, which is the largest rate achievable when restricting oneself to linear codes. We give a simple proof based on the polynomial method that the linear Shannon capacity of $C_5$ is $\sqrt{5}$. Our method applies more generally to Cayley graphs over the additive group of finite fields $\mathbb{F}_q$, giving an upper bound on the linear Shannon capacity. We compare this bound to the Lovász theta function, showing that they match for self-complementary Cayley graphs (such as $C_5$), and that the bound is smaller in some cases. We also exhibit a quadratic gap between linear and general Shannon capacity for some graphs.
The Laplacian spectrum, Kirchhoff index and complexity of the linear heptagonal networks
Published
• View Publication
• BIB
Let $H_n$ be the linear heptagonal networks with $2n$ heptagons. We study the structure properties and the eigenvalues of the linear heptagonal networks. According to the Laplacian polynomial of $H_n$, we utilize the decomposition theorem. Thus, the Laplacian spectrum of $H_n$ is created by eigenvalues of a pair of matrices: $L_A$ and $L_S$ of order number $5n+1$ and $4n+1$, respectively. On the basis of the roots and coefficients of their characteristic polynomials of $L_A$ and $L_S$, we not only get the explicit forms of Kirchhoff index, but also corresponding total complexity of $H_n$.
Shift-plethysm, Hydra continued fractions, and m-distinct partitions
Published
• View Publication
• BIB
We introduce the hydra continued fractions, as a generalization of the Rogers-Ramanujan continued fractions, and give a combinatorial interpretation in terms of shift-plethystic trees. We then show it is possible to express them as a quotient of m-distinct partition generating functions, and in its dual form as a quotient of the generating functions of compositions with contiguous rises upper bounded by m-1. We obtain new generating functions for compositions according to their local minima, for partitions with a prescribed set of rises, and for compositions with prescribed sets of contiguous differences.
A symmetric function generalization of the Zeilberger--Bressoud $q$-Dyson theorem
Published
• View Publication
• BIB
In 2000, Kadell gave an orthogonality conjecture for a symmetric function generalization of the Zeilberger--Bressoud $q$-Dyson theorem or the $q$-Dyson constant term identity. This conjecture was proved by Károlyi, Lascoux and Warnaar in 2015. In this paper, by slightly changing the variables of Kadell's conjecture, we obtain another symmetric function generalization of the $q$-Dyson constant term identity. This new generalized constant term admits a simple product-form expression.
New Combinatorial Interpretations of the Fibonacci Numbers Squared, Golden Rectangle Numbers, and Jacobsthal Numbers Using Two Types of Tile
Published in Journal of Integer Sequences 24, Article 21.3.8 (2021)
• Search Publication
We consider the tiling of an $n$-board (a board of size $n\times1$) with squares of unit width and $(1,1)$-fence tiles. A $(1,1)$-fence tile is composed of two unit-width square subtiles separated by a gap of unit width. We show that the number of ways to tile an $n$-board using unit-width squares and $(1,1)$-fence tiles is equal to a Fibonacci number squared when $n$ is even and a golden rectangle number (the product of two consecutive Fibonacci numbers) when $n$ is odd. We also show that the number of tilings of boards using $n$ such square and fence tiles is a Jacobsthal number. Using combinatorial techniques we prove identities involving sums of Fibonacci and Jacobsthal numbers in a straightforward way. Some of these identities appear to be new. We also construct and obtain identities for a known Pascal-like triangle (which has alternating ones and zeros along one side) whose $(n,k)$th entry is the number of tilings using $n$ tiles of which $k$ are fence tiles. There is a simple relation between this triangle and the analogous one for tilings of an $n$-board. Connections between the triangles and Riordan arrays are also demonstrated. With the help of the triangles, we express the Fibonacci numbers squared, golden rectangle numbers, and Jacobsthal numbers as double sums of products of two binomial coefficients.
Maximal independent sets, variants of chain/antichain principle and cofinal subsets without AC
Published in Commentationes Mathematicae Universitatis Carolinae, vol. 64 (2023), issue 2, pp. 137-159
• View Publication
• BIB
In set theory without the Axiom of Choice (AC), we observe new relations of the following statements with weak choice principles. 1. Every locally finite connected graph has a maximal independent set. 2. Every locally countable connected graph has a maximal independent set. 3. If in a partially ordered set all antichains are finite and all chains have size $\aleph_α$, then the set has size $\aleph_α$ if $\aleph_α$ is regular. 4. Every partially ordered set has a cofinal well-founded subset. 5. If $G=(V_{G},E_{G})$ is a connected locally finite chordal graph, then there is an ordering $<$ of $V_{G}$ such that $\{w < v : \{w,v\} \in E_{G}\}$ is a clique for each $v\in V_{G}$.
A new proof of Balinski's theorem on the connectivity of polytopes
Published
• View Publication
• BIB
Balinski (1961) proved that the graph of a $d$-dimensional convex polytope is $d$-connected. We provide a new proof of this result. Our proof provides details on the nature of a separating set with exactly $d$ vertices; some of which appear to be new.
Topological Structures of Large Scale Interacting Systems via Uniform Functions and Forms
Published in Forum of Mathematics, Sigma, Volume 12 (2024), e107
• View Publication
• BIB
In this article, we investigate the topological structure of large scale interacting systems on infinite graphs, by constructing a suitable cohomology which we call the uniform cohomology. The central idea for the construction is the introduction of a class of functions called uniform functions. Uniform cohomology provides a new perspective for the identification of macroscopic observables from the microscopic system. As a straightforward application of our theory when the underlying graph has a free action of a group, we prove a certain decomposition theorem for shift-invariant closed uniform forms. This result is a uniform version in a very general setting of the decomposition result for shift-invariant closed $L^2$-forms originally proposed by Varadhan, which has repeatedly played a key role in the proof of the hydrodynamic limits of nongradient large scale interacting systems. In a subsequent article, we use this result as a key to prove Varadhan's decomposition theorem for a general class of large scale interacting systems.
The signless Laplacian spectral radius of graphs with no intersecting triangles
Published
• View Publication
• BIB
Let $F_k$ denote the $k$-fan consisting of $k$ triangles which intersect in exactly one common vertex, and $S_{n,k}$ the complete split graph of order $n$ consisting of a clique on $k$ vertices and an independent set on the remaining vertices in which each vertex of the clique is adjacent to each vertex of the independent set. In this paper, it is shown that $S_{n,k}$ is the unique graph attaining the maximum signless Laplacian spectral radius among all graphs of order $n$ containing no $F_k$, provided that $k\geq 2$ and $n\geq 3k^2-k-2$.
Backtracking algorithms for constructing the Hamiltonian decomposition of a 4-regular multigraph
Published
• View Publication
• BIB
We consider a Hamiltonian decomposition problem of partitioning a regular graph into edge-disjoint Hamiltonian cycles. It is known that verifying vertex non-adjacency in the 1-skeleton of the symmetric and asymmetric traveling salesperson polytopes is NP-complete. On the other hand, a sufficient condition for two vertices to be non-adjacent can be formulated as a combinatorial problem of finding a second Hamiltonian decomposition of a 4-regular multigraph. We present two backtracking algorithms for constructing a second Hamiltonian decomposition and verifying vertex non-adjacency: an algorithm based on a simple path extension and an algorithm based on the chain edge fixing procedure.
Based on the results of computational experiments for undirected multigraphs, both backtracking algorithms lost to the known general variable neighborhood search heuristics. However, for directed multigraphs, the algorithm based on chain fixing of edges showed results comparable to heuristics on instances with an existing solution and better results on infeasible instances where the Hamiltonian decomposition does not exist.
Infinite p-adic random matrices and ergodic decomposition of p-adic Hua measures
Published
• View Publication
• BIB
Neretin constructed an analogue of the Hua measures on the infinite $p$-adic matrices $Mat\left(\mathbb{N},\mathbb{Q}_p\right)$. Bufetov and Qiu classified the ergodic measures on $Mat\left(\mathbb{N},\mathbb{Q}_p\right)$ that are invariant under the natural action of $GL(\infty,\mathbb{Z}_p)\times GL(\infty,\mathbb{Z}_p)$. In this paper we solve the problem of ergodic decomposition for the $p$-adic Hua measures introduced by Neretin. We prove that the probability measure governing the ergodic decomposition has an explicit expression which identifies it with a Hall-Littlewood measure on partitions. Our arguments involve certain Markov chains.
Quasi f-Simplicial Complexes and Quasi f-Graphs
The notion of $f$-ideal is recent and has so far been studied in several papers. In \cite{qfi}, the idea of $f$-ideal is generalized to quasi $f$-ideals, which is much larger class than the class of $f$-ideals. In this paper, we introduce the concept of quasi $f$-simplicial complex and quasi $f$-graph. We give a characterization of quasi $f$-graphs on $n$ vertices. A complete solution of connectedness of quasi $f$-simplicial complexes is described. We have also shown a method of constructing Cohen-Macaulay quasi $f$-graphs.
Super connectivity of lexicographic product graphs
For a graph $G$, $k(G)$ denotes its connectivity. A graph is super connected if every minimum vertex-cut isolates a vertex. Also $k_{1}$-connectivity of a connected graph is the minimum number of vertices whose deletion gives a disconnected graph without isolated vertices. This paper provides bounds for the super connectivity and $k_{1}$-connectivity of the lexicographic product of two graphs.
Pircon kernels and up-down symmetry
Published
• View Publication
• BIB
We show that a symmetry property that we call the up-down symmetry implies that the Kazhdan--Lusztig $R^x$-polynomials of a pircon $P$ are a $P$-kernel, and we show that this property holds in the classical cases. Then, we enhance and extend to this context a duality of Deodhar in parabolic Kazhdan--Lusztig theory.
Quasi-cliques in inhomogeneous random graphs
Given a graph $G$ and a constant $γ\in [0,1]$, let $ω^{(γ)}(G)$ be the largest integer $r$ such that there exists an $r$-vertex subgraph of $G$ containing at least $γ\binom{r}{2}$ edges. It was recently shown that $ω^{(γ)}(G)$ is highly concentrated when $G$ is an Erdős-Rényi random graph (Balister, Bollobás, Sahasrabudhe, Veremyev, 2019). This paper provides a simple method to extend that result to a setting of inhomogeneous random graphs, showing that $ω^{(γ)}(G)$ remains concentrated on a small range of values even if $G$ is an inhomogeneous random graph. Furthermore, we give an explicit expression for $ω^{(γ)}(G)$ and show that it depends primarily on the largest edge probability of the graph $G$.
Friends and Strangers Walking on Graphs
Published
• View Publication
• BIB
Given graphs $X$ and $Y$ with vertex sets $V(X)$ and $V(Y)$ of the same cardinality, we define a graph $\mathsf{FS}(X,Y)$ whose vertex set consists of all bijections $σ:V(X)\to V(Y)$, where two bijections $σ$ and $σ'$ are adjacent if they agree everywhere except for two adjacent vertices $a,b \in V(X)$ such that $σ(a)$ and $σ(b)$ are adjacent in $Y$. This setup, which has a natural interpretation in terms of friends and strangers walking on graphs, provides a common generalization of Cayley graphs of symmetric groups generated by transpositions, the famous $15$-puzzle, generalizations of the $15$-puzzle as studied by Wilson, and work of Stanley related to flag $h$-vectors. We derive several general results about the graphs $\mathsf{FS}(X,Y)$ before focusing our attention on some specific choices of $X$. When $X$ is a path graph, we show that the connected components of $\mathsf{FS}(X,Y)$ correspond to the acyclic orientations of the complement of $Y$. When $X$ is a cycle, we obtain a full description of the connected components of $\mathsf{FS}(X,Y)$ in terms of toric acyclic orientations of the complement of $Y$. We then derive various necessary and/or sufficient conditions on the graphs $X$ and $Y$ that guarantee the connectedness of $\mathsf{FS}(X,Y)$. Finally, we raise several promising further questions.
The Complete Positivity of Symmetric Tridiagonal and Pentadiagonal Matrices
Published
• View Publication
• BIB
We provide a decomposition that is sufficient in showing when a symmetric tridiagonal matrix $A$ is completely positive. Our decomposition can be applied to a wide range of matrices. We give alternate proofs for a number of related results found in the literature in a simple, straightforward manner. We show that the cp-rank of any irreducible tridiagonal doubly stochastic matrix is equal to its rank. We then consider symmetric pentadiagonal matrices, proving some analogous results, and providing two different decompositions sufficient for complete positivity. We illustrate our constructions with a number of examples.
The Up Topology for Mirrored Topological Posets
For a discrete poset $\mathcal X$, McCord proved that the natural map $|{\mathcal X}|\to {\mathcal X}$, from the order complex to the poset with the Up topology, is a weak homotopy equivalence. Much later, uZivaljević defined the notion of order complex for a topological poset. For a large class of such topological posets we prove the analog of McCord's theorem, namely that the natural map from the order complex to the topological poset with the Up topology is a weak homotopy equivalence. An example is the Grassmann poset of proper non-zero linear subspaces of $\R^{n+1}$. Here, Vassiliev had computed the homotopy type of the order complex. Our theorem allows us to transfer that information (up to weak homotopy type) to the Grassmann poset itself with the Up topology.