Showing 20 papers (Total: 83190 papers, 48060 authors in database)
On a Problem of Wang Concerning the Hamiltonicity of Bipartite Digraphs
Published in Mathematical Problems of Computer Science 49, 26-34, 2018
• View Publication
• BIB
R. Wang (Discrete Mathematics and Theoretical Computer Science, vol. 19(3), 2017) proposed the following problem.
\textbf{Problem.} Let $D$ be a strongly connected balanced bipartite directed graph of order $2a\geq 8$. Suppose that $d(x)\geq 2a-k$, $ d(y)\geq a+k$ or $d(y)\geq 2a-k$, $ d(x)\geq a+k$ for every pair of vertices $x,y$ with a common out-neighbour, where $2 \leq k\leq a/2$. Is $D$ Hamiltonian?
In this paper, we prove that if a digraph $D$ satisfies the conditions of this problem, then
(i) $D$ contains a cycle factor,
(ii) for every vertex $x\in V(D)$ there exists a vertex $y\in V(D)$ such that $x$ and $y$ have a common out-neighbour.
Mixed partition functions and exponentially bounded edge-connection rank
Published
• View Publication
• BIB
We study graph parameters whose associated edge-connection matrices have exponentially bounded rank growth. Our main result is an explicit construction of a large class of graph parameters with this property that we call mixed partition functions. Mixed partition functions can be seen as a generalization of partition functions of vertex models, as introduced by de la Harpe and Jones, [P. de la Harpe, V.F.R. Jones, Graph invariants related to statistical mechanical models: examples and problems, Journal of Combinatorial Theory, Series B 57 (1993) 207--227] and they are related to invariant theory of orthosymplectic supergroup. We moreover show that evaluations of the characteristic polynomial of a simple graph are examples of mixed partition functions, answering a question of de la Harpe and Jones.
Variations of the Catalan numbers from some nonassociative binary operations
Published
• View Publication
• BIB
We investigate certain nonassociative binary operations that satisfy a four-parameter generalization of the associative law. From this we obtain variations of the ubiquitous Catalan numbers and connections to many interesting combinatorial objects such as binary trees, plane trees, lattice paths, and permutations.
On $r$-uniform hypergraphs with circumference less than $r$
We show that for each $k\geq 4$ and $n>r\geq k+1$, every $n$-vertex $r$-uniform hypergraph with no Berge cycle of length at least $k$ has at most $\frac{(k-1)(n-1)}{r}$ edges. The bound is exact, and we describe the extremal hypergraphs. This implies and slightly refines the theorem of Győri, Katona and Lemons that for $n>r\geq k\geq 3$, every $n$-vertex $r$-uniform hypergraph with no Berge path of length $k$ has at most $\frac{(k-1)n}{r+1}$ edges. To obtain the bounds, we study bipartite graphs with no cycles of length at least $2k$, and then translate the results into the language of multi-hypergraphs.
Non-kissing and non-crossing complexes for locally gentle algebras
Published in J. Comb. Algebra, 3(4):401-438, 2019
• View Publication
• BIB
Starting from a locally gentle bound quiver, we define on the one hand a simplicial complex, called the non-kissing complex. On the other hand, we construct a punctured, marked, oriented surface with boundary, endowed with a pair of dual dissections. From those geometric data, we define two simplicial complexes: the accordion complex, and the slalom complex, generalizing work of A. Garver and T. McConville in the case of a disk. We show that all three simplicial complexes are isomorphic, and that they are pure and thin. In particular, there is a notion of mutation on their facets, akin to $τ$-tilting mutation. Along the way, we also construct inverse bijections between the set of isomorphism classes of locally gentle bound quivers and the set of homeomorphism classes of punctured, marked, oriented surfaces with boundary, endowed with a pair of dual dissections.
Harborth Constants for Certain Classes of Metacyclic Groups
Published
• View Publication
• BIB
The Harborth constant of a finite group $G$ is the smallest integer $k\geq \exp(G)$ such that any subset of $G$ of size $k$ contains $\exp(G)$ distinct elements whose product is $1$. Generalizing previous work on the Harborth constants of dihedral groups, we compute the Harborth constants for the metacyclic groups of the form $H_{n, m}=\langle x, y \mid x^n=1, y^2=x^m, yx=x^{-1}y \rangle$. We also solve the "inverse" problem of characterizing all smaller subsets that do not contain $\exp(H_{n,m})$ distinct elements whose product is $1$.
Counting maximal near perfect matchings in quasirandom and dense graphs
A maximal $\varepsilon$-near perfect matching is a maximal matching which covers at least $(1-\varepsilon)|V(G)|$ vertices. In this paper, we study the number of maximal near perfect matchings in generalized quasirandom and dense graphs. We provide tight lower and upper bounds on the number of $\varepsilon$-near perfect matchings in generalized quasirandom graphs. Moreover, based on these results, we provide a deterministic polynomial time algorithm that for a given dense graph $G$ of order $n$ and a real number $\varepsilon>0$, returns either a conclusion that $G$ has no $\varepsilon$-near perfect matching, or a positive non-trivial number $\ell$ such that the number of maximal $\varepsilon$-near perfect matchings in $G$ is at least $n^{\ell n}$. Our algorithm uses algorithmic version of Szemerédi Regularity Lemma, and has $O(f(\varepsilon)n^{5/2})$ time complexity. Here $f(\cdot)$ is an explicit function depending only on $\varepsilon$.
Algorithms for #BIS-hard problems on expander graphs
Published
• View Publication
• BIB
We give an FPTAS and an efficient sampling algorithm for the high-fugacity hard-core model on bounded-degree bipartite expander graphs and the low-temperature ferromagnetic Potts model on bounded-degree expander graphs. The results apply, for example, to random (bipartite) $Δ$-regular graphs, for which no efficient algorithms were known for these problems (with the exception of the Ising model) in the non-uniqueness regime of the infinite $Δ$-regular tree. We also find efficient counting and sampling algorithms for proper $q$-colorings of random $Δ$-regular bipartite graphs when $q$ is sufficiently small as a function of $Δ$.
Three local actions in $6$-valent arc-transitive graphs
It is known that there are precisely three transitive permutation groups of degree $6$ that admit an invariant partition with three parts of size $2$ such that the kernel of the action on the parts has order $4$; these groups are called $A_4(6)$, $S_4(6d)$ and $S_4(6c)$. For each $L\in \{A_4(6), S_4(6d), S_4(6c)\}$, we construct an infinite family of finite connected $6$-valent graphs $\{Γ_n\}_{n\in \mathbb{N}}$ and arc-transitive groups $G_n \le \rm{Aut}(Γ_n)$ such that the permutation group induced by the action of the vertex-stabiliser $(G_n)_v$ on the neighbourhood of a vertex $v$ is permutation isomorphic to $L$, and such that $|(G_n)_v|$ is exponential in $|\rm{V}(Γ_n)|$. These three groups were the only transitive permutation groups of degree at most $7$ for which the existence of such a family was undecided. In the process, we construct an infinite family of cubic $2$-arc-transitive graphs such that the dimension of the $1$-eigenspace over the field of order $2$ of the adjacency matrix of the graph grows linearly with the order of the graph.
The geometry and combinatorics of discrete line segment hypergraphs
Published
• View Publication
• BIB
An $r$-segment hypergraph $H$ is a hypergraph whose edges consist of $r$ consecutive integer points on line segments in $\mathbb{R}^2$. In this paper, we bound the chromatic number $χ(H)$ and covering number $τ(H)$ of hypergraphs in this family, uncovering several interesting geometric properties in the process. We conjecture that for $r \ge 3$, the covering number $τ(H)$ is at most $(r - 1)ν(H)$, where $ν(H)$ denotes the matching number of $H$. We prove our conjecture in the case where $ν(H) = 1$, and provide improved (in fact, optimal) bounds on $τ(H)$ for $r \le 5$. We also provide sharp bounds on the chromatic number $χ(H)$ in terms of $r$, and use them to prove two fractional versions of our conjecture.
Bin Decompositions
Published in Involve 12 (2019) 503-519
• View Publication
• BIB
It is well known that every positive integer can be expressed as a sum of nonconsecutive Fibonacci numbers provided the Fibonacci numbers satisfy $F_n =F_{n-1}+F_{n-2}$ for $n\geq 3$, $F_1 =1$ and $F_2 =2$. In this paper, for any $n,m\in\mathbb{N}$ we create a sequence called the $(n,m)$-bin sequence with which we can define a notion of a legal decomposition for every positive integer. These sequences are not always positive linear recurrences, which have been studied in the literature, yet we prove, that like positive linear recurrences, these decompositions exist and are unique. Moreover, our main result proves that the distribution of the number of summands used in the $(n,m)$-bin legal decompositions displays Gaussian behavior.
Attacks and alignments: rooks, set partitions, and permutations
We consider uniformly random set partitions of size $n$ with exactly $k$ blocks, and uniformly random permutations of size $n$ with exactly $k$ cycles, under the regime where $n-k \sim t\sqrt{n}$, $t>0$. In this regime, there is a simple approximation for the entire process of component counts; in particular, the number of components of size 3 converges in distribution to Poisson with mean $\frac{2}{3}t^2$ for set partitions and mean $\frac{4}{3}t^2$ for permutations, and with high probability all other components have size one or two. These approximations are proved, with preasymptotic error bounds, using combinatorial bijections for placements of $r$ rooks on a triangular half of an $n\times n$ chess board, together with the Chen--Stein method for processes of indicator random variables.
Normalized Laplacian spectrum of some generalized subdivision-corona of two regular graphs
In this paper, we determine the two normalized Laplacian spectrum of generalized subdivision- vertex corona, subdivision-edge corona for a connected regular graph with an arbitrary reg- ular graph in terms of their normalized Laplacian eigenvalues. Moreover, applying these results, we find some non-regular normaliaed Laplacian cospectral graphs. These results generalize the existing results in [11].
Linear relations on LLT polynomials and their k-Schur positivity for k=2
Published
• View Publication
• BIB
LLT polynomials are $q$-analogues of product of Schur functions that are known to be Schur-positive by Grojnowski and Haiman. However, there is no known combinatorial formula for the coefficients in the Schur expansion. Finding such a formula also provides Schur positivity of Macdonald polynomials. On the other hand, Haiman and Hugland conjectured that LLT polynomials for skew partitions lying on $k$ adjacent diagonals are $k$-Schur positive, which is much stronger than Schur positivity. In this paper, we prove the conjecture for $k=2$ by analyzing unicellular LLT polynomials. We first present a linearity theorem for unicellular LLT polynomials for $k=2$. By analyzing linear relations between LLT polynomials with known results on LLT polynomials for rectangles, we provide the $2$-Schur positivity of the unicellular LLT polynomials as well as LLT polynomials appearing in Haiman-Hugland conjecture for $k=2$.
The Minkowski Property and Reflexivity of Marked Poset Polytopes
Published in The Electronic Journal of Combinatorics 27(1) (2020), #P1.27
• View Publication
• BIB
We provide a Minkowski sum decomposition of marked chain-order polytopes into building blocks associated to elementary markings and thus give an explicit minimal set of generators of an associated semi-group algebra. We proceed by characterizing the reflexive polytopes among marked chain-order polytopes as those with the underlying marked poset being ranked.
Graph Operations and Neighborhood Polynomials
Published
• View Publication
• BIB
The neighborhood polynomial of graph $G$ is the generating function for the number of vertex subsets of $G$ of which the vertices have a common neighbor in $G$. In this paper, we investigate the behavior of this polynomial under several graph operations. Specifically, we provide an explicit formula for the neighborhood polynomial of the graph obtained from a given graph $G$ by vertex attachment. We use this result to propose a recursive algorithm for the calculation of the neighborhood polynomial. Finally, we prove that the neighborhood polynomial can be found in polynomial-time in the class of $k$-degenerate graphs.
On van Hamme's (A.2) and (H.2) supercongruences
Published
• View Publication
• BIB
In 1997, van Hamme conjectured 13 Ramanujan-type supercongruences labeled (A.2)--(M.2). Using some combinatorial identities discovered by Sigma, we extend (A.2) and (H.2) to supercongruences modulo $p^4$ for primes $p\equiv 3\pmod{4}$, which appear to be new.
General sum-connectivity index of trees and unicyclic graphs with fixed maximum degree
The general sum-connectivity index of a graph $G$ is defined as $χ_α(G)=\sum\limits_{uv\in E(G)} {(d(u)+d(v))^α}$, where $d(v)$ denotes the degree of the vertex $v$ in $G$ and $α$ is a real number. In this paper it is deduced the maximum value for the general sum-connectivity index of $n$-vertex trees for $-1.7036\leq α<0$ and of $n$-vertex unicyclic graphs for $-1\le α<0$ respectively, with fixed maximum degree $\triangle $. The corresponding extremal graphs, as well as the $n$-vertex unicyclic graphs with the second maximum general sum-connectivity index for $n\ge 4$ are characterized. This extends the corresponding results by Du, Zhou and Trinajsti\' c [arXiv:1210.5043] about sum-connectivity index.
Puncturing maximum rank distance codes
We investigate punctured maximum rank distance codes in cyclic models for bilinear forms of finite vector spaces. In each of these models we consider an infinite family of linear maximum rank distance codes obtained by puncturing generalized twisted Gabidulin codes. We calculate the automorphism group of such codes and we prove that this family contains many codes which are not equivalent to any generalized Gabidulin code. This solves a problem posed recently by Sheekey in [30].
The Weighted Davenport Constant of a group and a related extremal problem
Published
• View Publication
• BIB
For a finite abelian group $G$ written additively, and a non-empty subset $A\subset [1,\exp(G)-1]$ the weighted Davenport Constant of $G$ with respect to the set $A$, denoted $D_A(G)$, is the least positive integer $k$ for which the following holds: Given an arbitrary $G$-sequence $(x_1,\ldots,x_k)$, there exists a non-empty subsequence $(x_{i_1},\ldots,x_{i_t})$ along with $a_{j}\in A$ such that $\sum_{j=1}^t a_jx_{i_j}=0$. In this paper, we pose and study a natural new extremal problem that arises from the study of $D_A(G)$: For an integer $k\ge 2$, determine $\fD_G(k):=\min\{|A|: D_A(G)\le k\}$ (if the problem posed makes sense). It turns out that for $k$ `not-too-small', this is a well-posed problem and one of the most interesting cases occurs for $G=\Z_p$, the cyclic group of prime order, for which we obtain near optimal bounds for all $k$ (for sufficiently large primes $p$), and asymptotically tight (up to constants) bounds for $k=2,4$.