Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Independent Set Reconfiguration in Cographs
Published
• View Publication
• BIB
We study the following independent set reconfiguration problem, called TAR-Reachability: given two independent sets $I$ and $J$ of a graph $G$, both of size at least $k$, is it possible to transform $I$ into $J$ by adding and removing vertices one-by-one, while maintaining an independent set of size at least $k$ throughout? This problem is known to be PSPACE-hard in general. For the case that $G$ is a cograph (i.e. $P_4$-free graph) on $n$ vertices, we show that it can be solved in time $O(n^2)$, and that the length of a shortest reconfiguration sequence from $I$ to $J$ is bounded by $4n-2k$, if such a sequence exists.
More generally, we show that if $X$ is a graph class for which (i) TAR-Reachability can be solved efficiently, (ii) maximum independent sets can be computed efficiently, and which satisfies a certain additional property, then the problem can be solved efficiently for any graph that can be obtained from a collection of graphs in $X$ using disjoint union and complete join operations. Chordal graphs are given as an example of such a class $X$.
New LDPC Codes Using Permutation Matrices with Higher Girth than QC-LDPC Codes Constructed by Fossorier
In the literatures, it is well-known that Fossorier code has the girth among LDPC codes. In this paper, we introduce a new class of low-density parity-check (LDPC) codes, with higher girth than other previous constructed codes. Especially we proposed a new method to construct LDPC codes using non fixed shift permutation matrices and full based matrices with higher girth than codes constructed by Fossorier.
Law of Large Numbers for Infinite Random Matrices over a Finite Field
Published
• View Publication
• BIB
Asymptotic representation theory of general linear groups GL(n,q) over a finite field leads to studying probability measures ρon the group U of all infinite uni-uppertriangular matrices over F_q, with the condition that ρis invariant under conjugations by arbitrary infinite matrices. Such probability measures form an infinite-dimensional simplex, and the description of its extreme points (in other words, ergodic measures ρ) was conjectured by Kerov in connection with nonnegative specializations of Hall-Littlewood symmetric functions.
Vershik and Kerov also conjectured the following Law of Large Numbers. Consider an n by n diagonal submatrix of the infinite random matrix drawn from an ergodic measure coming from the Kerov's conjectural classification. The sizes of Jordan blocks of the submatrix can be interpreted as a (random) partition of n, or, equivalently, as a (random) Young diagram λ(n) with n boxes. Then, as n goes to infinity, the rows and columns of λ(n) have almost sure limiting frequencies corresponding to parameters of this ergodic measure.
Our main result is the proof of this Law of Large Numbers. We achieve it by analyzing a new randomized Robinson-Schensted-Knuth (RSK) insertion algorithm which samples random Young diagrams λ(n) coming from ergodic measures. The probability weights of these Young diagrams are expressed in terms of Hall-Littlewood symmetric functions. Our insertion algorithm is a modified and extended version of a recent construction by Borodin and the second author (arXiv:1305.5501). On the other hand, our randomized RSK insertion generalizes a version of the RSK insertion introduced by Vershik and Kerov (1986) in connection with asymptotic representation theory of symmetric groups (which is governed by nonnegative specializations of Schur symmetric functions).
The Obstacle Problem on Graphs and Other Results
Our primary motivation is existence and uniqueness for the obstacle problem on graphs. That is, we look for unique solutions to the problem $Lu = χ_{\{u>0\}}$, where $L$ is the Laplacian matrix associated to a graph, and $u$ is a nonnegative real-valued vector with preassigned zero coordinates and positive coordinates to be determined. In the course of solving this problem, we make a detour into the study of Laplacian matrices themselves. First, we present the row reduced echelon form of such matrices and determine the invertibility of proper square submatrices. Next, we determine eigenvalues of several simple Laplacians. In this context, we introduce a new polynomial called the generalized characteristic polynomial that allows us to compute (theoretically, if inefficiently)the usual characteristic polynomial for trees by inspection of the graph. Finally, we give our solution to the obstacle problem on graphs and discuss other components of the obstacle problem, which we investigate in future research.
Asymptotic lattice path enumeration using diagonals
Published
• View Publication
• BIB
This work presents new asymptotic formulas for family of walks in Weyl chambers. The models studied here are defined by step sets which exhibit many symmetries and are restricted to the first orthant. The resulting formulas are very straightforward: the exponential growth of each model is given by the number of steps, while the sub-exponential growth depends only on the dimension of the underlying lattice and the number of steps moving forward in each coordinate. These expressions are derived by analyzing the singular variety of a multivariate rational function whose diagonal counts the lattice paths in question. Additionally, we show how to compute subdominant growth for these models, and how to determine first order asymptotics for excursions.
On graphs whose Hosoya indices are primitive Pythagorean triples
We discuss families of triples of graphs whose Hosoya indices are primitive Pythagorean triples. Hosoya gave a method to construct such families of caterpillars, i.e., trees whose vertices are within distance 1 of a central path. He also pointed out a common structure to the families, and conjectured the uniqueness of the structure. In this paper, we give an answer to his conjecture.
A bijection between the irreducible k-shapes and the surjective pistols of height k-1
Published
• View Publication
• BIB
This paper constructs a bijection between irreducible $k$-shapes and surjective pistols of height $k-1$, which carries the "free $k$-sites" to the fixed points of surjective pistols. The bijection confirms a conjecture of Hivert and Mallet (FPSAC 2011) that the number of irreducible $k$-shape is counted by the Genocchi number $G_{2k}$.
Towards a Characterization of Leaf Powers by Clique Arrangements
Published
• View Publication
• BIB
The class ${\cal L}_k$ of $k$-leaf powers consists of graphs $G=(V,E)$ that have a $k$-leaf root, that is, a tree $T$ with leaf set $V$, where $xy \in E$, if and only if the $T$-distance between $x$ and $y$ is at most $k$. Structure and linear time recognition algorithms have been found for $2$-, $3$-, $4$-, and, to some extent, $5$-leaf powers, and it is known that the union of all $k$-leaf powers, that is, the graph class ${\cal L} = \bigcup_{k=2}^\infty {\cal L}_k$, forms a proper subclass of strongly chordal graphs. Despite from that, no essential progress has been made lately. In this paper, we use the new notion of clique arrangements to suggest that leaf powers are a natural special case of strongly chordal graphs. The clique arrangement ${\cal A}(G)$ of a chordal graph $G$ is a directed graph that represents the intersections between maximal cliques of $G$ by nodes and the mutual inclusion of these vertex subsets by arcs. Recently, strongly chordal graphs have been characterized as the graphs that have a clique arrangement without bad $k$-cycles for $k \geq 3$. We show that the clique arrangement of every graph of ${\cal L}$ is free of bad $2$-cycles. The question whether this characterizes the class ${\cal L}$ exactly remains open.
Quantum and affine Schubert calculus and Macdonald polynomials
Published
• View Publication
• BIB
We definitively establish that the theory of symmetric Macdonald polynomials aligns with quantum and affine Schubert calculus using a discovery that distinguished weak chains can be identified by chains in the strong (Bruhat) order poset on the type-$A$ affine Weyl group. We construct two one-parameter families of functions that respectively transition positively with Hall-Littlewood and Macdonald's $P$-functions, and specialize to the representatives for Schubert classes of homology and cohomology of the affine Grassmannian. Our approach leads us to conjecture that all elements in a defining set of 3-point genus 0 Gromov-Witten invariants for flag manifolds can be formulated as strong covers.
Counting Euclidean embeddings of rigid graphs
A graph is called (generically) rigid in $\mathbb{R}^d$ if, for any choice of sufficiently generic edge lengths, it can be embedded in $\mathbb{R}^d$ in a finite number of distinct ways, modulo rigid transformations. Here we deal with the problem of determining the maximum number of planar Euclidean embeddings as a function of the number of the vertices. We obtain polynomial systems which totally capture the structure of a given graph, by exploiting distance geometry theory. Consequently, counting the number of Euclidean embeddings of a given rigid graph, reduces to the problem of counting roots of the corresponding polynomial system.
Erdös's Matching Conjecture and $s$-wise $t$-intersection Conjecture via Symmetrical Smoothing Method
We find the formula for the maximal cardinality of the family of $n$-tuples from ${[n]\choose k}$ with does not have $\ell$--matching. This formula after some analytical issues can be reduce to the Erdös's Matching formula. Also we prove the conjecture about the cardinality of maximal $s$-wise $t$-intersecting family of $k$-element subsets of $[n]$. In the proofs we use original method which we have already used in the proof of Miklós-Manikam-Singhi conjecture in \cite{1}. We call this method Symmetrical smoothing method, we add small corrections
Characteristic variety of the Gauss-Manin differential equations of a generic parallelly translated arrangement
Published
• View Publication
• BIB
We consider a weighted family of $n$ generic parallelly translated hyperplanes in $\C^k$ and describe the characteristic variety of the Gauss-Manin differential equations for associated hypergeometric integrals. The characteristic variety is given as the zero set of Laurent polynomials, whose coefficients are determined by weights and the Plucker coordinates of the associated point in the Grassmannian Gr(k,n). The Laurent polynomials are in involution.
A short proof of Kotzig's theorem
A new shortest proof of Kotzig's Theorem about graphs with unique perfect matching is presented in this paper. It is well known that Kotzig's theorem is a consequence of Yeo's Theorem about edge-colored graph without alternating cycle. We present a proof of Yeo's Theorem based on the same ideas as our proof of Kotzig's theorem.
Powers of Hamilton cycles in pseudorandom graphs
Published
• View Publication
• BIB
We study the appearance of powers of Hamilton cycles in pseudorandom graphs, using the following comparatively weak pseudorandomness notion. A graph $G$ is $(\varepsilon,p,k,\ell)$-pseudorandom if for all disjoint $X$ and $Y\subset V(G)$ with $|X|\ge\varepsilon p^kn$ and $|Y|\ge\varepsilon p^\ell n$ we have $e(X,Y)=(1\pm\varepsilon)p|X||Y|$. We prove that for all $β>0$ there is an $\varepsilon>0$ such that an $(\varepsilon,p,1,2)$-pseudorandom graph on $n$ vertices with minimum degree at least $βpn$ contains the square of a Hamilton cycle. In particular, this implies that $(n,d,λ)$-graphs with $λ\ll d^{5/2 }n^{-3/2}$ contain the square of a Hamilton cycle, and thus a triangle factor if $n$ is a multiple of $3$. This improves on a result of Krivelevich, Sudakov and Szabó [Triangle factors in sparse pseudo-random graphs, Combinatorica 24 (2004), no. 3, 403--426].
We also extend our result to higher powers of Hamilton cycles and establish corresponding counting versions.
On robustly asymmetric graphs
O'Donnell, Wright, Wu and Zhou [SODA 2014] introduced the notion of robustly asymmetric graphs. Roughly speaking, these are graphs in which for every $0 \le ρ\le 1$, every permutation that permutes a $ρ$ fraction of the vertices maps a $Θ(ρ)$ fraction of the edges to non-edges. We show that there are graphs for which the constant hidden in the $Θ$ notation is roughly~1.
Analyzing Network Reliability Using Structural Motifs
Published
• View Publication
• BIB
This paper uses the reliability polynomial, introduced by Moore and Shannon in 1956, to analyze the effect of network structure on diffusive dynamics such as the spread of infectious disease. We exhibit a representation for the reliability polynomial in terms of what we call {\em structural motifs} that is well suited for reasoning about the effect of a network's structural properties on diffusion across the network. We illustrate by deriving several general results relating graph structure to dynamical phenomena.
Quantisation Spaces of Cluster Algebras
Published
• View Publication
• BIB
The article concerns the existence and uniqueness of quantisations of cluster algebras. We prove that cluster algebras with an initial exchange matrix of full rank admit a quantisation in the sense of Berenstein-Zelevinsky and give an explicit generating set to construct all quantisations.
Approximation Algorithms for Covering and Packing Problems on Paths
Routing and scheduling problems are fundamental problems in combinatorial optimization, and also have many applications. Most variations of these problems are NP-Hard, so we need to use heuristics to solve these problems on large instances, which are fast and yet come close to the optimal value. In this thesis, we study the design and analysis of approximation algorithms for such problems. We focus on two important class of problems. The first is the Unsplittable Flow Problem and some of its variants and the second is the Resource Allocation for Job Scheduling Problem and some of its variants. The first is a packing problem, whereas the second is a covering problem.
A combinatorial proof of strict unimodality for $q$-binomial coefficients
Published
• View Publication
• BIB
Pak and Panova recently proved that the $q$-binomial coefficient ${m+n \choose m}_q$ is a strictly unimodal polynomial in $q$ for $m,n \geq 8$, via the representation theory of the symmetric group. We give a direct combinatorial proof of their result by characterizing when a product of chains is strictly unimodal and then applying O'Hara's structure theorem for the partition lattice $L(m,n)$. In fact, we prove a stronger result: if $m, n \geq 8d$, and $2d \leq r \leq mn/2$, then the $r$-th rank of $L(m,n)$ has at least $d$ more elements that the next lower rank.
A proper total coloring distinguishing adjacent vertices by sums of some product graphs
Published in Commun. Korean Math. Soc. 30 (2015), No. 1, pp. 45-64
• View Publication
• BIB
In this article, we consider a proper total coloring distinguishes adjacent vertices by sums, if every two adjacent vertices have different total sum of colors of the edges incident to the vertex and the color of the vertex. Pilsniak and Wozniak \cite{PW} first introduced this coloring and made a conjecture that the minimal number of colors need to have a proper total coloring distinguishes adjacent vertices by sums is less than or equal to the maximum degree plus $3$. We study proper total colorings distinguishing adjacent vertices by sums of some graphs and their products. We find that these graphs satisfy the conjecture.