Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Cohen Macaulay Hybrid Graphs
We introduce a new family of graphs, namely, hybrid graphs. There are infinitely many hybrid graphs associated to a single graph. We show that every hybrid graph associated to a given graph is Cohen Macaulay. Furthermore, we show that every CohenMacaulay chordal graph is a hybrid graph.
A Fast MCMC for the Uniform Sampling of Binary Matrices with Fixed Margins
Published in Electronic Journal of Statistics 2020
• View Publication
• BIB
Uniform sampling of binary matrix with fixed margins is an important and difficult problem in statistics, computer science, ecology and so on. The well-known swap algorithm would be inefficient when the size of the matrix becomes large or when the matrix is too sparse/dense.
Here we propose the Rectangle Loop algorithm, a Markov chain Monte Carlo algorithm to sample binary matrices with fixed margins uniformly. Theoretically the Rectangle Loop algorithm is better than the swap algorithm in Peskun's order. Empirically studies also demonstrates the Rectangle Loop algorithm is remarkablely more efficient than the swap algorithm.
On the Wilson Monoid of a Pairwise Balanced Design
Published
• View Publication
• BIB
We give a new perspective of the relationship between simple matroids of rank 3 and pairwise balanced designs, connecting Wilson's theorems and tools with the theory of truncated boolean representable simplicial complexes. We also introduce the concept of Wilson monoid W(X) of a pairwise balanced design X. We present some general algebraic properties and study in detail the cases of Steiner triple systems up to 19 points, as well as the case where a single block has more than 2 elements
Truncated Boolean Representable Simplicial Complexes
Published
• View Publication
• BIB
We extend, in significant ways, the theory of truncated boolean representable simplicial complexes introduced in 2015. This theory, which includes all matroids, represents the largest class of finite simplicial complexes for which combinatorial geometry can be meaningfully applied
The cubical matching complex revisited
Ehrenborg noted that all tilings of a bipartite planar graph are encoded by its cubical matching complex and claimed that this complex is collapsible. We point out to an oversight in his proof and explain why these complexes can be the union of collapsible complexes. Also, we prove that all links in these complexes are suspensions up to homotopy. Furthermore, we extend the definition of a cubical matching complex to planar graphs that are not necessarily bipartite, and show that these complexes are either contractible or a disjoint union of contractible complexes.
For a simple connected region that can be tiled with dominoes ($2\times 1$ and $1\times 2$) and $2\times 2$ squares, let $f_i$ denote the number of tilings with exactly $i$ squares. We prove that $f_0-f_1+f_2-f_3+\cdots=1$ (established by Ehrenborg) is the only linear relation for the numbers $f_i$.
Exchange graphs for mutation-finite non-integer quivers of rank 3
Published
• View Publication
• BIB
Skew-symmetric non-integer matrices with real entries can be viewed as quivers with non-integer weights of arrows. One can mutate such quivers according to usual rules of quiver mutation. Felikson and Tumarkin show that rank 3 mutation-finite non-integer quivers admit geometric realisations by partial reflections. This allows to define a notion of seeds (as Y-seeds), and hence, to define the exchange graphs for mutation classes. In this paper we study exchange graphs of mutation-finite quivers in rank 3. The concept of finite and affine type generalises naturally to non-integer quivers. In particular, exchange graphs of finite type quivers are finite, while exchange graphs of affine quivers are finite modulo the action of a finite-dimensional lattice.
On Non-Interactive Simulation of Binary Random Variables
Published
• View Publication
• BIB
We leverage proof techniques Fourier analysis and an existing result in coding theory to derive new bounds for the problem of non-interactive simulation of binary random variables. Previous bounds in the literature were derived by applying data processing inequalities concerning maximal correlation or hypercontractivity. We show that our bounds are sharp in some regimes. For a specific instance of problem parameters, our main result answers an open problem posed by E. Mossel in 2017. As by-products of our analyses, various new properties of the average distance and distance enumerator of binary block codes are established.
From independent sets and vertex colorings to isotropic spaces and isotropic decompositions
Published
• View Publication
• BIB
In the 1970's, Lovász built a bridge between graphs and alternating matrix spaces, in the context of perfect matchings (FCT 1979). A similar connection between bipartite graphs and matrix spaces plays a key role in the recent resolutions of the non-commutative rank problem (Garg-Gurvits-Oliveira-Wigderson, FOCS 2016; Ivanyos-Qiao-Subrahmanyam, ITCS 2017). In this paper, we lay the foundation for another bridge between graphs and alternating matrix spaces, in the context of independent sets and vertex colorings. The corresponding structures in alternating matrix spaces are isotropic spaces and isotropic decompositions, both useful structures in group theory and manifold theory.
We first show that the maximum independent set problem and the vertex c-coloring problem reduce to the maximum isotropic space problem and the isotropic c-decomposition problem, respectively. Next, we show that several topics and results about independent sets and vertex colorings have natural correspondences for isotropic spaces and decompositions. These include algorithmic problems, such as the maximum independent set problem for bipartite graphs, and exact exponential-time algorithms for the chromatic number, as well as mathematical questions, such as the number of maximal independent sets, and the relation between the maximum degree and the chromatic number. These connections lead to new interactions between graph theory and algebra. Some results have concrete applications to group theory and manifold theory, and we initiate a variant of these structures in the context of quantum information theory. Finally, we propose several open questions for further exploration.
This paper is dedicated to the memory of Ker-I Ko.
Spanning tree modulus for secure broadcast games
Published
• View Publication
• BIB
The theory of $p$-modulus provides a general framework for quantifying the richness of a family of objects on a graph. When applied to the family of spanning trees, $p$-modulus has an interesting probabilistic interpretation. In particular, the $2$-modulus problem in this case has been shown to be equivalent to the problem of finding a probability distribution on spanning trees that utilizes the edges of the graph as evenly as possible. In the present work, we use this fact to produce a game-theoretic interpretation of modulus by employing modulus to solve a secure broadcast game.
Multicolour chain avoidance in the boolean lattice
Published
• View Publication
• BIB
Given a collection of colored chain posets, we estimate the number of colored subsets of the boolean lattice which avoid all chains in the collection.
Computing the Mostar index in networks with applications to molecular graphs
Published in Iranian J. Math. Chem. 12 (2021) 1-18
• View Publication
• BIB
Recently, a bond-additive topological descriptor, named as the Mostar index, has been introduced as a measure of peripherality in networks. For a connected graph $G$, the Mostar index is defined as $Mo(G) = \sum_{e=uv \in E(G)} |n_u(e) - n_v(e)|$, where for an edge $e=uv$ we denote by $n_u(e)$ the number of vertices of $G$ that are closer to $u$ than to $v$ and by $n_v(e)$ the number of vertices of $G$ that are closer to $v$ than to $u$. In this paper, we generalize the definition of the Mostar index to weighted graphs and prove that the Mostar index of a weighted graph can be computed in terms of Mostar indices of weighted quotient graphs. As a consequence, we show that the Mostar index of a benzenoid system can be computed in sub-linear time with respect to the number of vertices. Finally, our method is applied to some benzenoid systems and to a fullerene patch.
Bakry-Émery Ricci curvature of doubly warped product of weighted spaces
Published
• View Publication
• BIB
We introduce a notion of doubly warped product of weighted graphs that is consistent with the doubly warped product in the Riemannian setting. We establish various discrete Bakry-Émery Ricci curvature-dimension bounds for such warped products in terms of the curvature of the constituent graphs. This requires deliberate analysis of the quadratic forms involved, prompting the introduction of some crucial notions such as curvature saturation at a vertex. In the spirit of being thorough and to provide a frame of reference, we also introduce the $\left(R_1,R_2\right)$-doubly warped products of smooth measure spaces and establish $\N$-Bakry-Émery Ricci curvature (lower) bounds thereof in terms of those of the factors. At the end of these notes, we present examples and demonstrate applications of warped products with some toy models.
The Sierpiński product of graphs
In this paper we introduce a product-like operation that generalizes the construction of generalized Sierpiński graphs. Let $G,H$ be graphs and let $f: V(G) \to V(H)$ be a function. Then the Sierpiński product of $G$ and $H$ with respect to $f$ is defined as a pair $(K,\varphi)$, where $K$ is a graph on the vertex set $V(G) \times V(H)$ with two types of edges:
-- $\{(g,h),(g,h')\}$ is an edge in $K$ for every $g\in V(G)$ and every $\{h,h'\}\in E(H)$,
-- $\{(g,f(g'),(g',f(g))\}$ is an edge in $K$ for every edge $\{g,g'\} \in E(G)$; and $\varphi: V(G) \to V(K)$ is a function that maps every vertex $g \in V(G)$ to the vertex $(g,f(g)) \in V(K)$. Graph $K$ will be denoted by $G\otimes_f H$. Function $\varphi$ is needed to define the product of more than two factors. By applying this operation $n$ times to the same graph we obtain the $n$-th generalized Sierpiński graph.
Some basic properties of the Sierpiński product are presented. In particular, we show that $G \otimes_f H$ is connected if and only if both $G$ and $H$ are connected and we present some necessary and sufficient conditions that $G,H$ must fulfill in order for $G \otimes_f H$ to be planar. As for symmetry properties, we show which automorphisms of $G$ and $H$ extend to automorphisms of $G \otimes_f H$. In many cases we can also describe the whole automorphism group of $G\otimes_f H$.
A note on multiplicative automatic sequences
Published
• View Publication
• BIB
We prove that any $q$-automatic completely multiplicative function $f:\mathbb{N}\to\mathbb{C}$ essentially coincides with a Dirichlet character. This answers a question of J. P. Allouche and L. Goldmakher and confirms a conjecture of J. Bell, N. Bruin and M. Coons for completely multiplicative functions. Further, assuming two standard conjectures in number theory, the methods allows for removing the assumption of completeness.
A characterization of maximal 2-dimensional subgraphs of transitive graphs
A transitive graph is 2-dimensional if it can be represented as the intersection of two linear orders. Such representations make answering of reachability queries trivial, and allow many problems that are NP-hard on arbitrary graphs to be solved in polynomial time. One may therefore be interested in finding 2-dimensional graphs that closely approximate a given graph of arbitrary order dimension.
In this paper we show that the maximal 2-dimensional subgraphs of a transitive graph G are induced by the optimal near-transitive orientations of the complement of G. The same characterization holds for the maximal permutation subgraphs of a transitively orientable graph. We provide an algorithm that enables this problem reduction in near-linear time, and an approach for enlarging non-maximal 2-dimensional subgraphs, such as trees.
Extension-lifting Bijections for Oriented Matroids
Published
• View Publication
• BIB
Extending the notion of geometric bijections for regular matroids, introduced by the first and third author with Matthew Baker, we describe a family of bijections between bases of an oriented matroid and special orientations. These bijections are specified by a pair of circuit and cocircuit signatures coming respectively from a generic single-element lifting and extension. We then characterize generic single-element liftings and extensions using these bijections. We also explain the relation of our work with the works of Gioan--Las Vergnas and Ding. Some implications in oriented matroid programming and oriented matroid triangulations are also discussed.
Countable ordinals and big Ramsey degrees
In this paper we consider big Ramsey degrees of finite chains in countable ordinals. We prove that a countable ordinal has finite big Ramsey degrees if and only if it is smaller than $ω^ω$. Big Ramsey degrees of finite chains in all other countable ordinals are infinite.
2-neighborly 0/1-polytopes of dimension 7
We give a complete enumeration of all 2-neighborly 0/1-polytopes of dimension 7. There are 13 959 358 918 different 0/1-equivalence classes of such polytopes. They form 5 850 402 014 combinatorial classes and 1 274 089 different f-vectors. It enables us to list some of their combinatorial properties. In particular, we have found a 2-neighborly polytope with 14 vertices and 16 facets.
Infinite families of $2$-designs from a class of cyclic codes with two non-zeros
Published
• View Publication
• BIB
Combinatorial $t$-designs have wide applications in coding theory, cryptography, communications and statistics. It is well known that the supports of all codewords with a fixed weight in a code may give a $t$-design. In this paper, we first determine the weight distribution of a class of linear codes derived from the dual of extended cyclic code with two non-zeros. We then obtain infinite families of $2$-designs and explicitly compute their parameters from the supports of all the codewords with a fixed weight in the codes. By simple counting argument, we obtain exponentially many $2$-designs.
New Strongly Regular Graphs from Finite Geometries via Switching
Published
• View Publication
• BIB
We show that the strongly regular graph on non-isotropic points of one type of the polar spaces of type $U(n, 2)$, $O(n, 3)$, $O(n, 5)$, $O^+(n, 3)$, and $O^-(n, 3)$ are not determined by its parameters for $n \geq 6$. We prove this by using a variation of Godsil-McKay switching recently described by Wang, Qiu, and Hu. This also results in a new, shorter proof of a previous result of the first author which showed that the collinearity graph of a polar space is not determined by its spectrum. The same switching gives a linear algebra explanation for the construction of a large number of non-isomorphic designs.