Showing 20 papers (Total: 84125 papers, 48472 authors in database)
Quasi-graphic matroids
Published
• View Publication
• BIB
Frame matroids and lifted-graphic matroids are two interesting generalizations of graphic matroids. Here we introduce a new generalization, {\em quasi-graphic matroids}, that unifies these two existing classes. Unlike frame matroids and lifted-graphic matroids, it is easy to certify that a matroid is quasi-graphic. The main result of the paper is that every $3$-connected representable quasi-graphic matroid is either a lifted-graphic matroid or a frame matroid.
Enumeration and investigation of acute 0/1-simplices modulo the action of the hyperoctahedral group
Published
• View Publication
• BIB
The convex hull of n+1 affinely independent vertices of the unit n-cube Cn is called a 0/1-simplex. It is nonobtuse if none its dihedral angles is obtuse, and acute if additionally none of them is right. In terms of linear algebra, acute 0/1-simplices in Cn can be described by nonsingular 0/1-matrices P of size n x n whose Gramians have an inverse that is strictly diagonally dominant, with negative off-diagonal entries.
The first part of this paper deals with giving a detailed description of how to efficiently compute, by means of a computer program, a representative from each orbit of an acute 0/1-simplex under the action of the hyperoctahedral group Bn of symmetries of Cn. A side product of the investigations is a simple code that computes the cycle index of Bn, which can in explicit form only be found in the literature for n < 7. Using the computed cycle indices in combination with Polya's theory of enumeration shows that acute 0/1-simplices are extremely rare among all 0/1-simplices.
In the second part of the paper, we study the 0/1-matrices that represent the acute 0/1-simplices that were generated by our code from a mathematical perspective. One of the patterns observed in the data involves unreduced upper Hessenberg 0/1-matrices of size n x n, block-partitioned according to certain integer compositions of n. These patterns will be fully explained using a so-called One Neighbor Theorem. Additionally, we are able to prove that the volumes of the corresponding acute simplices are in one-to-one correspondence with the part of Kepler's Tree of Fractions that enumerates the rationals between 0 and 1. Another key ingredient in the proofs is the fact that the Gramians of the unreduced upper Hessenberg matrices involved are strictly ultrametric matrices.
Algebraic discrete Morse theory for the hull resolution
We study how powerful algebraic discrete Morse theory is when applied to hull resolutions. The main result describes all cases when the hull resolution of the edge ideal of the complement of a triangle-free graph can be made minimal using algebraic discrete Morse theory.
Q-polynomial invariant of rooted trees
Published
• View Publication
• BIB
We describe in this note a new invariant of rooted trees. We argue that the invariant is interesting on it own, and that it has connections to knot theory and homological algebra. However, the real reason that we propose this invariant to readers is that we deal here with an elementary, interesting, new mathematics, and after reading this essay readers can take part in developing the topic, inventing new results and connections to other disciplines of mathematics, and likely, statistical mechanics, and combinatorial biology. We also provide a (free) translation of the paper in Polish.
The Construction and Properties of Assortative Configuration Graphs
Published
• View Publication
• BIB
In the new field of financial systemic risk, the network of interbank counterparty relationships can be described as a directed random graph. In "cascade models" of systemic risk, this "skeleton" acts as the medium through which financial contagion is propagated. It has been observed in real networks that such counterparty relationships exhibit negative assortativity, meaning that a bank's counterparties are more likely to have unlike characteristics. This paper introduces and studies a general class of random graphs called the assortative configuration model, parameterized by an arbitrary node-type distribution P and edge-type distribution Q. The first main result is a law of large numbers that says the empirical edge-type distributions converge in probability to Q. The second main result is a formula for the large N asymptotic probability distribution of general graphical objects called "configurations". This formula exhibits a key property called "locally tree-like" that in simpler models is known to imply strong results of percolation theory on the size of large connected clusters. Thus this paper provides the essential foundations needed to prove rigorous percolation bounds and cascade mappings in assortative networks.
Money as Minimal Complexity
Published
• View Publication
• BIB
We consider mechanisms that provide traders the opportunity to exchange commodity $i$ for commodity $j$, for certain ordered pairs $ij$. Given any connected graph $G$ of opportunities, we show that there is a unique mechanism $M_{G}$ that satisfies some natural conditions of "fairness" and "convenience". Let $\mathfrak{M}(m)$ denote the class of mechanisms $M_{G}$ obtained by varying $G$ on the commodity set $\left\{1,\ldots,m\right\} $. We define the complexity of a mechanism $M$ in $\mathfrak{M(m)}$ to be a certain pair of integers $τ(M),π(M)$ which represent the time required to exchange $i$ for $j$ and the information needed to determine the exchange ratio (each in the worst case scenario, across all $i\neq j$). This induces a quasiorder $\preceq$ on $\mathfrak{M}(m)$ by the rule \[ M\preceq M^{\prime}\text{if}τ(M)\leqτ(M^{\prime})\text{and}π(M)\leqπ(M^{\prime}). \] We show that, for $m>3$, there are precisely three $\preceq$-minimal mechanisms $M_{G}$ in $\mathfrak{M}(m)$, where $G$ corresponds to the star, cycle and complete graphs. The star mechanism has a distinguished commodity -- the money -- that serves as the sole medium of exchange and mediates trade between decentralized markets for the other commodities.
Our main result is that, for any weights $λ,μ>0,$ the star mechanism is the unique minimizer of $λτ(M)+μπ(M)$ on $\mathfrak{M}(m)$ for large enough $m$.
Equitable Candy Sharing
Published
• View Publication
• BIB
Children, sitting in a circle, each have a nonnegative number of candies in front of them. A whistle is blown and each child with more than one candy passes one candy to the left and one to the right. The sharing process is repeated until a fixed state is attained, or the system enters a periodic cycle. This paper treats the case where the total number of candies equals the number of children. For a given initial distribution of candies, a necessary and sufficient condition is given for the system to ultimately attain the equitable distribution in which each child has one candy.
A new way to evaluate MOY graphs
We define a new way to evaluate MOY graphs. We prove that this new evaluation coincides with the classical evaluation by checking some skein relations. As a consequence, we prove a formula which relates the $\mathfrak{sl}_N$ and $\mathfrak{sl}_{N-1}$-evaluations of MOY graphs.
Crossing Number is Hard for Kernelization
The graph crossing number problem, cr(G)<=k, asks for a drawing of a graph G in the plane with at most k edge crossings. Although this problem is in general notoriously difficult, it is fixed- parameter tractable for the parameter k [Grohe]. This suggests a closely related question of whether this problem has a polynomial kernel, meaning whether every instance of cr(G)<=k can be in polynomial time reduced to an equivalent instance of size polynomial in k (and independent of |G|). We answer this question in the negative. Along the proof we show that the tile crossing number problem of twisted planar tiles is NP-hard, which has been an open problem for some time, too, and then employ the complexity technique of cross-composition. Our result holds already for the special case of graphs obtained from planar graphs by adding one edge.
Box representations of embedded graphs
Published in Discrete and Computational Geometry 57(3) (2017), 590-606
• View Publication
• BIB
A $d$-box is the cartesian product of $d$ intervals of $\mathbb{R}$ and a $d$-box representation of a graph $G$ is a representation of $G$ as the intersection graph of a set of $d$-boxes in $\mathbb{R}^d$. It was proved by Thomassen in 1986 that every planar graph has a 3-box representation. In this paper we prove that every graph embedded in a fixed orientable surface, without short non-contractible cycles, has a 5-box representation. This directly implies that there is a function $f$, such that in every graph of genus $g$, a set of at most $f(g)$ vertices can be removed so that the resulting graph has a 5-box representation. We show that such a function $f$ can be made linear in $g$. Finally, we prove that for any proper minor-closed class $\mathcal{F}$, there is a constant $c(\mathcal{F})$ such that every graph of $\mathcal{F}$ without cycles of length less than $c(\mathcal{F})$ has a 3-box representation, which is best possible.
On the existence of infinitely many universal tree-based networks
Published
• View Publication
• BIB
A tree-based network on a set $X$ of $n$ leaves is said to be universal if any rooted binary phylogenetic tree on $X$ can be its base tree. Francis and Steel showed that there is a universal tree-based network on $X$ in the case of $n=3$, and asked whether such a network exists in general. We settle this problem by proving that there are infinitely many universal tree-based networks for any $n>1$.
A sufficient condition for a pair of sequences to be bipartite graphic
Published in Bull. Aust. Math. Soc. 94 (2016) 195-200
• View Publication
• BIB
We present a sufficient condition for a pair of finite integer sequences to be degree sequences of a bipartite graph, based only on the lengths of the sequences and their largest and smallest elements.
Properties for CD Inequalities with Unbounded Laplacians
Published
• View Publication
• BIB
The CD equalities were introduced to imply the gradient estimate of laplace operator on graphs. This article is based on the unbounded Laplacians, and finally concludes some equivalent properties of the CD(K,$\infty$)and CD(K,n).
Low Autocorrelation Binary Sequences
Published in J. Phys. A: Math. Theor. 49 (2016) 165001
• View Publication
• BIB
Binary sequences with minimal autocorrelations have applications in communication engineering, mathematics and computer science. In statistical physics they appear as groundstates of the Bernasconi model. Finding these sequences is a notoriously hard problem, that so far can be solved only by exhaustive search. We review recent algorithms and present a new algorithm that finds optimal sequences of length $N$ in time $Θ(N\,1.73^N)$. We computed all optimal sequences for $N\leq 66$ and all optimal skewsymmetric sequences for $N\leq 119$.
Grid Intersection Graphs and Order Dimension
Published
• View Publication
• BIB
We study subclasses of grid intersection graphs from the perspective of order dimension. We show that partial orders of height two whose comparability graph is a grid intersection graph have order dimension at most four. Starting from this observation we provide a comprehensive study of classes of graphs between grid intersection graphs and bipartite permutation graphs and the containment relation on these classes. Order dimension plays a role in many arguments.
Light subgraphs in graphs with average degree at most four
Published in Discrete Mathematics, 339 (2016) 2581--2591
• View Publication
• BIB
A graph $H$ is said to be {\em light} in a family $\mathfrak{G}$ of graphs if at least one member of $\mathfrak{G}$ contains a copy of $H$ and there exists an integer $λ(H, \mathfrak{G})$ such that each member $G$ of $\mathfrak{G}$ with a copy of $H$ also has a copy $K$ of $H$ such that $°_{G}(v) \leq λ(H, \mathfrak{G})$ for all $v \in V(K)$. In this paper, we study the light graphs in the class of graphs with small average degree, including the plane graphs with some restrictions on girth.
Refining a Tree-Decomposition which Distinguishes Tangles
Published
• View Publication
• BIB
Roberston and Seymour introduced tangles of order $k$ as objects representing highly connected parts of a graph and showed that every graph admits a tree-decomposition of adhesion $<k$ in which each tangle of order $k$ is contained in a different part. Recently, Carmesin, Diestel, Hamann and Hundertmark showed that such a tree-decomposition can be constructed in a canonical way, which makes it invariant under automorphisms of the graph. These canonical tree-decompositions necessarily have parts which contain no tangle of order $k$. We call these parts inessential. Diestel asked what could be said about the structure of the inessential parts. In this paper we show that the torsos of the inessential parts in these tree-decompositions have branch width $<k$, allowing us to further refine the canonical tree-decompositions, and also show that a similar result holds for $k$-blocks.
Vertex-Coloring with Star-Defects
Published
• View Publication
• BIB
Defective coloring is a variant of traditional vertex-coloring, according to which adjacent vertices are allowed to have the same color, as long as the monochromatic components induced by the corresponding edges have a certain structure. Due to its important applications, as for example in the bipartisation of graphs, this type of coloring has been extensively studied, mainly with respect to the size, degree, and acyclicity of the monochromatic components.
In this paper we focus on defective colorings in which the monochromatic components are acyclic and have small diameter, namely, they form stars. For outerplanar graphs, we give a linear-time algorithm to decide if such a defective coloring exists with two colors and, in the positive case, to construct one. Also, we prove that an outerpath (i.e., an outerplanar graph whose weak-dual is a path) always admits such a two-coloring. Finally, we present NP-completeness results for non-planar and planar graphs of bounded degree for the cases of two and three colors.
Graphs, Disjoint Matchings and Some Inequalities
Published in Buletinul Academiei de Stiinte a Republicii Moldova. Matematica 103(3), (2023), 26--36
• View Publication
• BIB
For $k \geq 1$ and a graph $G$ let $ν_k(G)$ denote the size of a maximum $k$-edge-colorable subgraph of $G$. Mkrtchyan, Petrosyan and Vardanyan proved that $ν_2(G)\geq \frac45\cdot |V(G)|$, $ν_3(G)\geq \frac76\cdot |V(G)|$ for any cubic graph $G$ ~\cite{samvel:2010}. They were also able to show that if $G$ is a cubic graph, then $ν_2(G)+ν_3(G)\geq 2\cdot |V(G)|$ ~\cite{samvel:2014} and $ν_2(G) \leq \frac{|V(G)| + 2\cdot ν_3(G)}{4}$ ~\cite{samvel:2010}. In the first part of the present work, we show that the last two inequalities imply the first two of them.
Moreover, we show that $ν_2(G) \geq α\cdot \frac{|V(G)| + 2\cdot ν_3(G)}{4} $, where
$α=\frac{16}{17}$, if $G$ is a cubic graph,
$α=\frac{20}{21}$, if $G$ is a cubic graph containing a perfect matching,
$α=\frac{44}{45}$, if $G$ is a bridgeless cubic graph.
We also investigate the parameters $ν_2(G)$ and $ν_3(G)$ in the class of claw-free cubic graphs. We improve the lower bounds for $ν_2(G)$ and $ν_3(G)$ for claw-free bridgeless cubic graphs to $ν_2(G)\geq \frac{35}{36}\cdot |V(G)|$
($n \geq 48$), $ν_3(G)\geq \frac{43}{45}\cdot |E(G)|$. On the basis of these inequalities we are able to improve the coefficient $α$ for bridgeless claw-free cubic graphs.
In the second part of the work, we prove lower bounds for $ν_k(G)$ in terms of $\frac{ν_{k-1}(G)+ν_{k+1}(G)}{2}$ for $k\geq 2$ and graphs $G$ containing at most $1$ cycle. We also present the corresponding conjectures for bipartite and nearly bipartite graphs.
The combinatorial geometry of stresses in frameworks
Published
• View Publication
• BIB
In this paper we formulate and prove necessary and sufficient geometric conditions for existence of generic tensegrities in the plane for arbitrary graphs. The conditions are written in terms of "meet-join" relations for the configuration spaces of fixed points and non-fixed lines through fixed points.