Showing 20 papers (Total: 82374 papers, 47635 authors in database)
The Inverse of the Incidence Matrix of a Unicyclic Graph
Published
• View Publication
• BIB
The vertex-edge incidence matrix of a (connected) unicyclic graph G is a square matrix which is invertible if and only if the cycle of G is an odd cycle. A combinatorial formula of the inverse of the incidence matrix of an odd unicyclic graph was known. A combinatorial formula of the Moore-Penrose inverse of the incidence matrix of an even unicyclic graph is presented solving an open problem.
Incidence and Laplacian matrices of wheel graphs and their inverses
Published
• View Publication
• BIB
It has been an open problem to find the Moore-Penrose inverses of the incidence, Laplacian, and signless Laplacian matrices of families of graphs except trees and unicyclic graphs. Since the inverse formulas for an odd unicyclic graph and an even unicyclic graph are quite different, we consider wheel graphs as they are formed from odd or even cycles. In this article solve the open problem for wheel graphs. This work has an interesting connection to inverses of circulant matrices.
Old and new geometric polyhedra with few vertices
Published in Journal of Discrete Mathematical Sciences and Cryptography, 25:1 (2022), 253-263
• View Publication
• BIB
This paper deals with triangulations of the 2-torus with the vertex labeled general octahedral graph $O_4$ which is isomorphic to the complete four-partite graph $K_{2,2,2,2}$; it is known that there exist precisely twelve such triangulations. We find all the 12 triangulations in a Schlegel diagram of the hyperoctahedron and realize all of them geometrically with the same 1-skeleton in 3-space. In particular, we identify two geometric polyhedral tori (both without self-intersections) with the same 1-skeleton in 3-space, but without a single common face, or in other words their intersection (as point-sets) is only their common 1-skeleton. Similarly, all the twelve triangulations of the 2D projective plane with the vertex labeled complete graph $K_6$ are found in a Schlegel diagram of the 5-simplex and all are realized geometrically with the same 1-skeleton in 4-space; especially we obtain a pair of triangulations of the Möbius band and a pair of triangulated projective planes with the same 1-skeleton (within each pair) in 3-space and 4-space, respectively, without a single common face. The constructed polyhedra are modeled and visualized with GeoGebra.
The splitting power of branching programs of bounded repetition and CNFs of bounded width
Published
• View Publication
• BIB
In this paper we study syntactic branching programs of bounded repetition representing CNFs of bounded treewidth. For this purpose we introduce two new structural graph parameters $d$-pathwidth and clique preserving $d$-pathwidth denoted by $d-pw(G)$ and $d-cpw(G)$ where $G$ is a graph. We show that $2-cpw(G) \leq O(tw(G) Δ(G))$ where $tw(G)$ and $Δ(G)$ are, respectively the treewidth and maximal degree of $G$. Using this upper bound, we demonstrate that each CNF $ψ$ can be represented as a conjunction of two OBDDs of size $2^{O(Δ(ψ)*tw(ψ)^2)}$ where $tw(ψ)$ is the treewidth of the primal graph of $ψ$ and each variable occurs in $ψ$ at most $Δ(ψ)$ times.
Next we use $d$-pathwdith to obtain lower bounds for monotone branching programs. In particular, we consider the monotone version of syntactic nondeterministic read $d$ times branching programs (just forbidding negative literals as edge labels) and introduce a further restriction that each computational path can be partitioned into at most $d$ read-once subpaths. We call the resulting model separable monotone read $d$ times branching programs and abbreviate them $d$-SMNBPs. For each graph $G$ without isolated vertices, we introduce a CNF $ψ(G)$ whsose clauses are $(u \vee e \vee v)$ for each edge $e=\{u,v\}$ of $G$. We prove that a $d$-SMNBP representing $ψ(G)$ is of size at least $Ω(c^{d-pw(G)})$ where $c=(8/7)^{1/12}$. We use this 'generic' lower bound to obtain an exponential lower bound for a 'concrete' class of CNFs $ψ(K_n)$. In particular, we demonstrate that for each $0<a<1$, the size of $n^{a}$-SMNBP representing $ψ(K_n)$ is at least $c^{n^b}$ where $b$ is an arbitrary constant such that $a+b<1$. This lower bound is tight in the sense $ψ(K_n)$ can be represented by a poly-sized $n$-SMNBP.
No self-concordant barrier interior point method is strongly polynomial
Published
• View Publication
• BIB
It is an open question to determine if the theory of self-concordant barriers can provide an interior point method with strongly polynomial complexity in linear programming. In the special case of the logarithmic barrier, it was shown in [Allamigeon, Benchimol, Gaubert and Joswig, SIAM J. on Applied Algebra and Geometry, 2018] that the answer is negative. In this paper, we show that none of the self-concordant barrier interior point methods is strongly polynomial. This result is obtained by establishing that, on parametric families of convex optimization problems, the log-limit of the central path degenerates to a piecewise linear curve, independently of the choice of the barrier function. We provide an explicit linear program that falls in the same class as the Klee-Minty counterexample, i.e., in dimension $n$ with $2n$ constraints, in which the number of iterations is $Ω(2^n)$.
A proof of the Graham Sloane conjecture
We settle in the affirmative the Graham-Sloane conjecture.
BFS based distributed algorithm for parallel local directed sub-graph enumeration
Published
• View Publication
• BIB
Estimating the frequency of sub-graphs is of importance for many tasks, including sub-graph isomorphism, kernel-based anomaly detection, and network structure analysis. While multiple algorithms were proposed for full enumeration or sampling-based estimates, these methods fail in very large graphs. Recent advances in parallelization allow for estimates of total sub-graphs counts in very large graphs. The task of counting the frequency of each sub-graph associated with each vertex also received excellent solutions for undirected graphs. However, there is currently no good solution for very large directed graphs.
We here propose VDMC (Vertex specific Distributed Motif Counting) -- a fully distributed algorithm to optimally count all the 3 and 4 vertices connected directed graphs (sub-graph motifs) associated with each vertex of a graph. VDMC counts each motif only once and its efficacy is linear in the number of counted motifs. It is fully parallelized to be efficient in GPU-based computation. VDMC is based on three main elements: 1) Ordering the vertices and only counting motifs containing increasing order vertices, 2) sub-ordering motifs based on the average length of the BFS composing the motif, and 3) removing isomorphisms only once for the entire graph. We here compare VDMC to analytical estimates of the expected number of motifs and show its accuracy. VDMC is available as a highly efficient CPU and GPU code with a novel data structure for efficient graph manipulation. We show the efficacy of VDMC and real-world graphs. VDMC allows for the precise analysis of sub-graph frequency around each vertex in large graphs and opens the way for the extension of methods until now limited to graphs of thousands of edges to graphs with millions of edges and above.
GIT: https://github.com/louzounlab/graph-measures
Shuffle product formula of the Schur multiple zeta values of hook type
We discuss the shuffle product of the Schur multiple zeta values, which are the special values of Schur multiple zeta functions. We first define $2$-labeled Schur posets to generalize Yamamoto's integral expression of the multiple zeta values and consider the product of hook-type Schur multiple zeta values by using these posets. Then, for the derived terms, we introduce a modified Hurwitz-type Schur multiple zeta function of hook type, named an elementary factorial Schur multiple zeta function. Furthermore, we generalize $2$-labeled Schur posets to consider the shuffle product of the elementary factorial Schur multiple zeta values and obtain an explicit formula for their shuffle product.
Construction of extremal Type II $\mathbb{Z}_{2k}$-codes
Published
• View Publication
• BIB
We give methods for constructing many self-dual $\mathbb{Z}_m$-codes and Type II $\mathbb{Z}_{2k}$-codes of length $2n$ starting from a given self-dual $\mathbb{Z}_m$-code and Type II $\mathbb{Z}_{2k}$-code of length $2n$, respectively. As an application, we construct extremal Type II $\mathbb{Z}_{2k}$-codes of length $24$ for $k=4,5,\ldots,20$ and extremal Type II $\mathbb{Z}_{2k}$-codes of length $32$ for $k=4,5,\ldots,10$. We also construct new extremal Type II $\mathbb{Z}_4$-codes of lengths $56$ and $64$.
Recurrence formula, positivity and polytope basis in cluster algebras via Newton polytopes
In this paper, we study the Newton polytopes of $F$-polynomials in a TSSS cluster algebra $\mathcal A$ and generalize them to a larger set consisting of polytopes $N_{h}$ associated to vectors $h\in\Z^{n}$ as well as $\widehat{\mathcal{P}}$ consisting of polytope functions $ρ_{h}$ corresponding to $N_{h}$.
The main contribution contains that
(i) obtaining a {\em recurrence construction} of the Laurent expression of a cluster variable in a cluster from its $g$-vector;
(ii) proving the subset $\mathcal{P}$ of $\widehat{\mathcal{P}}$ consisting of Laurent polynomials in $\widehat{\mathcal{P}}$ is a strongly positive $\Z Trop(Y)$-basis for $\mathcal{U}(\A)$ consisting of certain universally indecomposable Laurent polynomials when $\A$ is a cluster algebra with principal coefficients. For a cluster algebra $\mathcal A$ over arbitrary semifield $\mathbb P$ in general, $\mathcal{P}$ is a strongly positive $\Z¶$-basis for the intermediate cluster subalgebra $\mathcal{I_P(A)}$ of $\mathcal{U(A)}$. We call $\mathcal P$ the {\em polytope basis};
(iii) constructing some explicit maps among corresponding $F$-polynomials, $g$-vectors, $d$-vectors and cluster variables to characterize their relationship.
Moreover, we give three applications of (i), (ii) and (iii) respectively.
Odd Colorings of Sparse Graphs
Published in Journal of Combinatorics. Vol. 15(4), 2024, pp. 439-450
• View Publication
• BIB
A proper coloring of a graph is called \emph{odd} if every non-isolated vertex has some color that appears an odd number of times on its neighborhood. The smallest number of colors that admits an odd coloring of a graph $G$ is denoted $χ_o(G)$. This notion was introduced by Petruševski and Škrekovski, who proved that if $G$ is planar then $χ_o(G)\le 9$; they also conjectured that $χ_o(G)\le 5$. For a positive real number $α$, we consider the maximum value of $χ_o(G)$ over all graphs $G$ with maximum average degree less than $α$; we denote this value by $χ_o(\mathcal{G}_α)$. We note that $χ_o(\mathcal{G}_α)$ is undefined for all $α\ge 4$. In contrast, for each $α\in[0,4)$, we give a (nearly sharp) upper bound on $χ_o(\mathcal{G}_α)$. Finally, we prove $χ_o(\mathcal{G}_{20/7})= 5$ and $χ_o(\mathcal{G}_3)= 6$. Both of these results are sharp.
A Conjecture of Kozlov from the 1998 Proceedings of the American Mathematical Society: Non-Evasive Order Complexes and Generalizations of Non-Complemented Lattices
Let $P$ be a finite poset with an element $s$ such that (1) for all $x\in P$, either $s\vee x$ or $s\wedge x$ exists; and (2) for all $x,y\in P$ such that $x<y$, if $s\wedge x$ does not exist but $s\wedge y$ does exist, then $(s\wedge y)\vee x$ exists. Kozlov, the winner of the 2005 European Prize in Combinatorics ("for deep combinatorial results obtained by algebraic topology and particularly for the solution of a conjecture of Lovász"), conjectured in the 1998 Proceedings of the American Mathematical Society that the order complex of $P$ is non-evasive. We prove this conjecture.
Graphs with convex balls
Published in Geometriae Dedicata 217, 67 (2023)
• View Publication
• BIB
In this paper, we investigate the graphs in which all balls are convex and the groups acting on them geometrically (which we call CB-graphs and CB-groups). These graphs have been introduced and characterized by Soltan and Chepoi (1983) and Farber and Jamison (1987). CB-graphs and CB-groups generalize systolic (alias bridged) and weakly systolic graphs and groups, which play an important role in geometric group theory.
We present metric and local-to-global characterizations of CB-graphs. Namely, we characterize CB-graphs $G$ as graphs whose triangle-pentagonal complexes $X(G)$ are simply connected and balls of radius at most $3$ are convex. Similarly to systolic and weakly systolic graphs, we prove a dismantlability result for CB-graphs $G$: we show that their squares $G^2$ are dismantlable. This implies that the Rips complexes of CB-graphs are contractible. Finally, we adapt and extend the approach of Januszkiewicz and Swiatkowski (2006) for systolic groups and of Chalopin et al. (2020) for Helly groups, to show that the CB-groups are biautomatic.
Characterization of some classes of graphs and their products as frame graph
To each finite frame $\varphi$ in an inner product space $\mathcal{H}$ we associate a simple graph $G(\varphi)$, called {\it frame graph}, with the vectors of the frame as vertices and there is an edge between vertices $f$ and $g$ provided that $\langle f, g\rangle \neq 0$ [1]. In this paper the relation between the order of $G(\varphi)$ and the dimension of $\mathcal{H}$ is investigated for some well-known classes of graphs and their products.
A conjecture of Baruah and Begum on the smallest parts function of restricted overpartitions
Published
• View Publication
• BIB
In 2017, Andrews, Dixit, Schultz and Yee introduced the function $\overline{\textrm{spt}}_ω(n)$, which denotes the number of smallest parts in the overpartitions of $n$ in which the smallest part is always overlined and all odd parts are less than twice the smallest part. Recently, Baruah and Begum established several internal congruences and congruences modulo small powers of $5$ for $\overline{\textrm{spt}}_ω(n)$. Moreover, they conjectured a family of internal congruences modulo any powers of $5$ and two families of congruences modulo any even powers of $5$. In this paper, we confirm three families of congruences due to Baruah and Begum.
What makes a reaction network "chemical"?
Reaction networks (RNs) comprise a set $X$ of species and a set $\mathscr{R}$ of reactions $Y\to Y'$, each converting a multiset of educts $Y\subseteq X$ into a multiset $Y'\subseteq X$ of products. RNs are equivalent to directed hypergraphs. However, not all RNs necessarily admit a chemical interpretation. Instead, they might contradict fundamental principles of physics such as the conservation of energy and mass or the reversibility of chemical reactions. The consequences of these necessary conditions for the stoichiometric matrix $\mathbf{S} \in \mathbb{R}^{X\times\mathscr{R}}$ have been discussed extensively in the literature. Here, we provide sufficient conditions for $\mathbf{S}$ that guarantee the interpretation of RNs in terms of balanced sum formulas and structural formulas, respectively.
Chemically plausible RNs allow neither a perpetuum mobile, i.e., a "futile cycle" of reactions with non-vanishing energy production, nor the creation or annihilation of mass. Such RNs are said to be thermodynamically sound and conservative. For finite RNs, both conditions can be expressed equivalently as properties of $\mathbf{S}$. The first condition is vacuous for reversible networks, but it excludes irreversible futile cycles and - in a stricter sense - futile cycles that even contain an irreversible reaction. The second condition is equivalent to the existence of a strictly positive reaction invariant. Furthermore, it is sufficient for the existence of a realization in terms of sum formulas, obeying conservation of "atoms". In particular, these realizations can be chosen such that any two species have distinct sum formulas, unless $\mathbf{S}$ implies that they are "obligatory isomers". In terms of structural formulas, every compound is a labeled multigraph, in essence a Lewis formula, and reactions comprise only a rearrangement of bonds such that the total bond order is preserved.
Power domination reconfiguration
Published
• View Publication
• BIB
The study of token addition and removal and token jumping reconfiguration graphs for power domination is initiated. Some results established here can be extended by applying the methods used for power domination to reconfiguration graphs for other parameters such as domination and zero forcing, so these results are first established in a universal framework.
Parity Property of Hexagonal Sliding Puzzles
Published
• View Publication
• BIB
We study the puzzle graphs of hexagonal sliding puzzles of various shapes and with various numbers of holes. The puzzle graph is a combinatorial model which captures the solvability and the complexity of sequential mechanical puzzles. Questions relating to the puzzle graph have been previously studied and resolved for the 15 Puzzle which is the most famous, and unsolvable, square sliding puzzle of all time. It is known that for square puzzles such as the 15 Puzzle, solvability depends on a parity property that splits the puzzle graph into two components. In the case of hexagonal sliding puzzles, we get more interesting parity properties that depend on the shape of the boards and on the missing tiles or holes on the board. We show that for large-enough hexagonal, triangular, or parallelogram-shaped boards with hexagonal tiles, all puzzles with three or more holes are solvable. For puzzles with two or more holes, we give a solvability criterion involving both a parity property and the placement of tiles in tight corners of the board. The puzzle graph is a discrete model for the configuration space of hard tiles (hexagons or squares) moving on different tessellation-based domains. Understanding the combinatorics of the puzzle graph could lead to understanding some aspects of the topology of these configuration spaces.
Biclosed sets, quasitrivial semigroups and oriented matroid
Published
• View Publication
• BIB
In this paper, we establish a one-to-one correspondence between the set of biclosed sets in an irreducible root system of type $A_n$ and the set of quasitrivial semigroup structures on a set with $n+1$ elements. Building on this correspondence, we first generalize this bijection to provide a semigroup structural characterization of the biclosed sets in a standard parabolic subset. In particular, this allows us to derive an enumeration result for the elements in a parabolic weak order of type $A$. Secondly, we define an index for an arbitrary subset of the root system of type $A_n$, which quantifies their deviation from from being biclosed, and prove that such an index coincides with the associativity index of the associated quasitrivial magma. Thirdly, we define type $B_n$ quasitrivial semigroups, and prove that they are in bijective with biclosed sets in a type $B_n$ root system. Finally, by identifying certain biclosed sets with total preorders, we present a purely combinatorial proof that a root system of type $A$ possesses an oriented matroid structure.
Counting the numbers of paths of all lengths in dendrimers and its applications
Published
• View Publication
• BIB
For positive integers $n$ and $k$, the dendrimer $T_{n, k}$ is defined as the rooted tree of radius $n$ whose all vertices at distance less than $n$ from the root have degree $k$. The dendrimers are higly branched organic macromolecules having repeated iterations of branched units that surroundes the central core. Dendrimers are used in a variety of fields including chemistry, nanotechnology, biology. In this paper, for any positive integer $\ell$, we count the number of paths of length $\ell$ of $T_{n, k}$. As a consequence of our main results, we obtain the average distance of $T_{n, k}$ which we can establish an alternate proof for the Wiener index of $T_{n, k}$. Further, we generalize the concept of medium domination, introduced by Vargör and Dündar in 2011, of $T_{n, k}$.