Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Counting Contours on Trees
Published
• View Publication
• BIB
We calculate the exact number of contours of size $n$ containing a fixed vertex in $d$-ary trees and provide sharp estimates for this number for more general trees. We also obtain a characterization of the locally finite trees with infinitely many contours of the same size containing a fixed vertex.
A Mysterious Cluster Expansion Associated to the Expectation Value of the Permanent of 0-1 Matrices
Published in Jour Stat Phys 167 No. 6 p.1489 (2017)
• View Publication
• BIB
We consider two ensembles of nxn matrices. The first is the set of all nxn matrices with entries zeroes and ones such that all column sums and all row sums equal r, uniformly weighted. The second is the set of nxn matrices with zero and one entries where the probability that any given entry is one is r/n, the probabilities of the set of individual entries being i.i.d.'s. Calling the two expectation values E and EB respectively, we develop a formal relation E(perm(A)) = EB(perm (A)) x exp{sum Ti}. We also use a well-known approximating ensemble to E, E1. We prove using E or E1 one obtains the same value of Ti for i < 21. (THE PUBLISHED VERSION OF THIS PAPER ONLY OBTAINS RESULTS FOR i < 8. We go beyond the results of the published version by taking much more advantage of recent work of Pernici and of Wanless on i-matchings on regular bipartite graphs.)These terms Ti, i < 21, have amazing properties. We conjecture that these properties hold also for all i.
On the Union-Closed Set Conjecture
We provide a simple proof for the union-closed sets conjecture, a long-standing open problem in set theory with immediate applications to graph theory, number theory, and order-theory.
An Hopf algebra for counting simple cycles
Published in Journal of Discrete Mathematics 2017
• View Publication
• BIB
Simple cycles, also known as self-avoiding polygons, are cycles on graphs which are not allowed to visit any vertex more than once. We present an exact formula for enumerating the simple cycles of any length on any directed graph involving a sum over its induced subgraphs. This result stems from an Hopf algebra, which we construct explicitly, and which provides further means of counting simple cycles. Finally, we obtain a more general theorem asserting that any Lie idempotent can be used to enumerate simple cycles.
Intersection patterns of finite sets and of convex sets
Published in Proc. Amer. Math. Soc. 145 (2017), 2827-2842
• View Publication
• BIB
The main result is a common generalization of results on lower bounds for the chromatic number of r-uniform hypergraphs and some of the major theorems in Tverberg-type theory, which is concerned with the intersection pattern of faces in a simplicial complex when continuously mapped to Euclidean space. As an application we get a simple proof of a generalization of a result of Kriz for certain parameters. This specializes to a short and simple proof of Kneser's conjecture. Moreover, combining this result with recent work of Mabillard and Wagner we show that the existence of certain equivariant maps yields lower bounds for chromatic numbers. We obtain an essentially elementary proof of the result of Schrijver on the chromatic number of stable Kneser graphs. In fact, we show that every neighborly even-dimensional polytope yields a small induced subgraph of the Kneser graph of the same chromatic number. We furthermore use this geometric viewpoint to give tight lower bounds for the chromatic number of certain small subhypergraphs of Kneser hypergraphs.
On generalized hexagons of order $(3, t)$ and $(4, t)$ containing a subhexagon
We prove that there are no semi-finite generalized hexagons with $q + 1$ points on each line containing the known generalized hexagons of order $q$ as full subgeometries when $q$ is equal to $3$ or $4$, thus contributing to the existence problem of semi-finite generalized polygons posed by Tits. The case when $q$ is equal to $2$ was treated by us in an earlier work, for which we give an alternate proof. For the split Cayley hexagon of order $4$ we obtain the stronger result that it cannot be contained as a proper full subgeometry in any generalized hexagon.
Blockers for simple Hamiltonian paths in convex geometric graphs of even order
Published
• View Publication
• BIB
Let G be a complete convex geometric graph on 2m vertices, and let F be a family of subgraphs of G. A blocker for F is a set of edges, of smallest possible size, that meets every element of F. In [C. Keller and M. A. Perles, On the smallest sets blocking simple perfect matchings in a convex geometric graph, Israel J. Math. 187 (2012), pp. 465-484], we gave an explicit description of all blockers for the family of simple perfect matchings (SPMs) of G. In this paper we show that the family of simple Hamiltonian paths (SHPs) in G has exactly the same blockers as the family of SPMs. Our argument is rather short, and provides a much simpler proof of the result of [KP12].
Demazure flags, $q$--Fibonacci polynomials and hypergeometric series
Published in Res. Math. Sci. 5 (2018), no. 1, Paper No. 12, 34 pp
• View Publication
• BIB
We study a family of finite--dimensional representations of the hyperspecial parabolic subalgebra of the twisted affine Lie algebra of type $\tt A_2^{(2)}$. We prove that these modules admit a decreasing filtration whose sections are isomorphic to stable Demazure modules in an integrable highest weight module of sufficiently large level. In particular, we show that any stable level $m'$ Demazure module admits a filtration by level $m$ Demazure modules for all $m\ge m'$. We define the graded and weighted generating functions which encode the multiplicity of a given Demazure module and establish a recursive formulae. In the case when $m'=1,2$ and $m=2,3$ we determine these generating functions completely and show that they define hypergeoemetric series and that they are related to the $q$--Fibonacci polynomials defined by Carlitz.
More indecomposable polyhedra
We apply combinatorial methods to a geometric problem: the classification of polytopes, in terms of Minkowski decomposability. Various properties of skeletons of polytopes are exhibited, each sufficient to guarantee indecomposability of a significant class of polytopes. We illustrate further the power of these techniques, compared with the traditional method of examining triangular faces, with several applications. In any dimension $d\neq 2$, we show that of all the polytopes with $d^2+\frac{d}{2}$ or fewer edges, only one is decomposable. In 3 dimensions, we complete the classification, in terms of decomposability, of the 260 combinatorial types of polyhedra with 15 or fewer edges.
Watson-type 3F2-series and summation formulae involving generalized harmonic numbers
Published
• View Publication
• BIB
In terms of the derivative operator and Watson-type $_3F_2$-series identities, three families of summation formulae involving generalized harmonic numbers are established.
Complexity and Computation of Connected Zero Forcing
Published
• View Publication
• BIB
Zero forcing is an iterative graph coloring process whereby a colored vertex with a single uncolored neighbor forces that neighbor to be colored. It is NP-hard to find a minimum zero forcing set - a smallest set of initially colored vertices which forces the entire graph to be colored. We show that the problem remains NP-hard when the initially colored set induces a connected subgraph. We also give structural results about the connected zero forcing sets of a graph related to the graph's density, separating sets, and certain induced subgraphs, and we characterize the cardinality of the minimum connected zero forcing sets of unicyclic graphs and variants of cactus and block graphs. Finally, we identify several families of graphs whose connected zero forcing sets define greedoids and matroids.
The structure of graphs with forbidden $C_4$, $\overline{C}_4$, $C_5$, chair and co-chair
Published
• View Publication
• BIB
We find the structure of graphs that have no $C_4$, $\overline{C}_4$, $C_5$, chair and co-chair as induced subgraphs.
Généralisation des congruences de Wolstenholme et de Morley
In this paper, we prove that for any odd prime $p$ and for any $p$-integer $α$,we have $ \binom{αp-1}{p-1}\equiv 1-α(α-1)(α^{2}-α-1)p\sum_{k=1}^{p-1}\frac{1}{k}+α^{2} (α-1)^{2}p^{2}\sum_{1\leq i<j\leq p-1}\frac{1}{ij} \ \pmod{p^{m}}$, where $m=7$ if $p\neq 7$ and $m=6$ if $p=7$. this congruence generalizes the congruences of Wolstenholme, Morley, Glaisher, Carlitz, McIntosh, Tauraso and Meštrović. It allows one to rediscover the congruences of Glaisher, Carlitz and Zhao in a simple way
Distance and distance signless Laplacian spread of connected graphs
Published
• View Publication
• BIB
For a connected graph $G$ on $n$ vertices, recall that the distance signless Laplacian matrix of $G$ is defined to be $\mathcal{Q}(G)=Tr(G)+\mathcal{D}(G)$, where $\mathcal{D}(G)$ is the distance matrix, $Tr(G)=diag(D_1, D_2, \ldots, D_n)$ and $D_{i}$ is the row sum of $\mathcal{D}(G)$ corresponding to vertex $v_{i}$. Denote by $ρ^{\mathcal{D}}(G),$ $ρ_{min}^{\mathcal{D}}(G)$ the largest eigenvalue and the least eigenvalue of $\mathcal{D}(G)$, respectively. And denote by $q^{\mathcal{D}}(G)$, $q_{min}^{\mathcal{D}}(G)$ the largest eigenvalue and the least eigenvalue of $\mathcal{Q}(G)$, respectively. The distance spread of a graph $G$ is defined as $S_{\mathcal{D}}(G)=ρ^{\mathcal{D}}(G)- ρ_{min}^{\mathcal{D}}(G)$, and the distance signless Laplacian spread of a graph $G$ is defined as $S_{\mathcal{Q}}(G)=q^{\mathcal{D}}(G)-q_{min}^{\mathcal{D}}(G)$. In this paper, we point out an error in the result of Theorem 2.4 in "Distance spectral spread of a graph" [G.L. Yu, et al, Discrete Applied Mathematics. 160 (2012) 2474--2478] and rectify it. As well, we obtain some lower bounds on ddistance signless Laplacian spread of a graph.
Equimatchable Claw-Free Graphs
Published in Discrete Mathematics, Volume 341, Issue 10, October 2018, Pages 2859-2871
• View Publication
• BIB
A graph is equimatchable if all of its maximal matchings have the same size. A graph is claw-free if it does not have a claw as an induced subgraph. In this paper, we provide, to the best of our knowledge, the first characterization of claw-free equimatchable graphs by identifying the equimatchable claw-free graph families. This characterization implies an efficient recognition algorithm.
Dual Cheeger Constants, Signless 1-Laplacians and Maxcut
Published
• View Publication
• BIB
The first nontrivial lower bound of the worst-case approximation ratio for the maxcut problem was achieved via the dual Cheeger problem, whose optimal value is referred to the dual Cheeger constant $h^+$, and later improved through its modification $\widehat{h}^+$. However, the dual Cheeger problem and its modification themselves are relatively unexplored, especially lack of effective approximate algorithms. To this end, we first derive equivalent spectral formulations of $h^+$ and $\widehat{h}^+$ within the framework of the nonlinear spectral theory of signless 1-Laplacian, present their interactions with the Laplacian matrix and 1-Laplacian, and then use them to develop an inverse power algorithm that leverages the local linearity of the objective functions involved. We prove that the inverse power algorithm monotonically converges to a ternary-valued eigenvector, and provide the approximate values of $h^+$ and $\widehat{h}^+$ on G-set for the first time. The recursive spectral cut algorithm for the maxcut problem can be enhanced by integrating into the inverse power algorithms, leading to significantly improved approximate values on G-set. Finally, we show that the lower bound of the worst-case approximation ratio for the maxcut problem within the recursive spectral cut framework can not be improved beyond $0.769$.
Global rigidity of 2-dimensional direction-length frameworks
Published
• View Publication
• BIB
A 2-dimensional direction-length framework is a collection of points in the plane which are linked by pairwise constraints that fix the direction or length of the line segments joining certain pairs of points. We represent it as a pair $(G,p)$, where $G=(V;D,L)$ is a `mixed' graph and $p:V\to{\mathbb R}^2$ is a point configuration for $V$. It is globally rigid if every direction-length framework $(G,q)$ which satisfies the same constraints can be obtained from $(G,p)$ by a translation or a rotation by $180^\circ$. We show that the problem of characterising when a generic framework $(G,p)$ is globally rigid can be reduced to the case when $G$ belongs to a special family of `direction irreducible' mixed graphs, and prove that {every} generic realisation of a direction irreducible mixed graph $G$ is globally rigid if and only if $G$ is 2-connected, direction-balanced and redundantly rigid.
On the Automorphism Group of a Graph
An automorphism of a graph $G$ with $n$ vertices is a bijective map $φ$ from $V(G)$ to itself such that $φ(v_i)φ(v_j)\in E(G)$ $\Leftrightarrow$ $v_i v_j\in E(G)$ for any two vertices $v_i$ and $v_j$ of $G$. Denote by $\mathfrak{G}$ the group consisting of all automorphisms of $G$. As well-known, the structure of the action of $\mathfrak{G}$ on $V(G)$ is represented definitely by its block systems. On the other hand for each permutation $σ$ on $[n]$, there is a natural action on any vector $\pmb{v}=(v_1,v_2,\ldots,v_n)^t\in \mathbb{R}^n$ such that $σ\pmb{v}=(v_{σ^{-1}1},v_{σ^{-1}2},\ldots,v_{σ^{-1} n})^t$. Accordingly, we actually have a permutation representation of $\mathfrak{G}$ in $\mathbb{R}^n$. In this paper, we establish the some connections between block systems of $\mathfrak{G}$ and its irreducible representations, and by virtue of that we finally devise an algorithm outputting a generating set and all block systems of $\mathfrak{G}$ within time $n^{C \log n}$ for some constant $C$.
On the additive bases problem in finite fields
Published
• View Publication
• BIB
We prove that if $G$ is an Abelian group and $A_1,\ldots,A_k \subseteq G$ satisfy $m A_i=G$ (the $m$-fold sumset), then $A_1+\ldots+A_k=G$ provided that $k \ge c_m \log n$. This generalizes a result of Alon, Linial, and Meshulam [Additive bases of vector spaces over prime fields. J. Combin. Theory Ser. A, 57(2):203--210, 1991] regarding the so called additive bases.
Uniform measures on braid monoids and dual braid monoids
Published in Journal of Algebra, Elsevier, Volume 473, March 2017, pages 627-666
• View Publication
• BIB
We aim at studying the asymptotic properties of typical positive braids, respectively positive dual braids. Denoting by $μ_k$ the uniform distribution on positive (dual) braids of length $k$, we prove that the sequence $(μ_k)_k$ converges to a unique probability measure $μ_{\infty}$ on infinite positive (dual) braids. The key point is that the limiting measure $μ_{\infty}$ has a Markovian structure which can be described explicitly using the combinatorial properties of braids encapsulated in the Möbius polynomial. As a by-product, we settle a conjecture by Gebhardt and Tawn (J. Algebra, 2014) on the shape of the Garside normal form of large uniform braids.