Showing 20 papers (Total: 84285 papers, 48548 authors in database)
The Effect of Planarization on Width
Published in J. Graph Algorithms & Applications 22 (3): 461-481, 2018
• View Publication
• BIB
We study the effects of planarization (the construction of a planar diagram $D$ from a non-planar graph $G$ by replacing each crossing by a new vertex) on graph width parameters. We show that for treewidth, pathwidth, branchwidth, clique-width, and tree-depth there exists a family of $n$-vertex graphs with bounded parameter value, all of whose planarizations have parameter value $Ω(n)$. However, for bandwidth, cutwidth, and carving width, every graph with bounded parameter value has a planarization of linear size whose parameter value remains bounded. The same is true for the treewidth, pathwidth, and branchwidth of graphs of bounded degree.
Asymptotics for a Class of Meandric Systems, via the Hasse Diagram of NC(n)
Published in International Mathematics Research Notices 2020 (4), 983--1034, 2020
• View Publication
• BIB
We consider closed meandric systems, and their equivalent description in terms of the Hasse diagrams of the lattices of non-crossing partitions $NC(n)$. In this equivalent description, the number of components of a random meandric system of order $n$ translates into the distance between two partitions in $NC(n)$. We focus on a class of couples $(π,ρ)\in NC(n)^2$ -- namely the ones where $π$ is conditioned to be an interval partition -- for which it turns out to be tractable to study distances in the Hasse diagram. As a consequence, we observe a non-trivial class of meanders (i.e. connected meandric systems), which we call "meanders with shallow top", and which can be explicitly enumerated. Moreover, the expected number of components for a random "meandric system with shallow top", is asymptotically $(9n+28)/27$. Our calculations concerning expected number of components are related to the idea of taking the derivative at $t=1$ in a semigroup for the operation $\boxplus$ of free probability (but the underlying considerations are presented in a self-contained way, and can be followed without assuming a free probability background).
Let $c_{n}'$ denote the expected number of components of a general, unconditioned, meandric system of order $n$. A variation of the methods used in the shallow-top case allows us to prove that $\mathrm{lim\ inf}_{n\to\infty}c_{n}'/n\geq0.17$. We also note that, by a direct elementary argument, one has $\mathrm{lim\ sup}_{n\to\infty}c_{n}'/n\leq0.5$. These bounds support the conjecture that $c_{n}'$ follows a regime of "constant times $n$" (where numerical experiments suggest that the constant should be $\approx0.23$).
On the sign patterns of entrywise positivity preservers in fixed dimension
Published in American Journal of Mathematics 143 (2021), no. 6, 1863-1929
• View Publication
• BIB
Given $I\subset\mathbb{C}$ and an integer $N>0$, a function $f:I\to\mathbb{C}$ is entrywise positivity preserving on positive semidefinite (p.s.d.) matrices $A=(a_{jk})\in I^{N\times N}$, if the entrywise application $f[A]=(f(a_{jk}))$ of $f$ to $A$ is p.s.d. for all such $A$. Such preservers in all dimensions have been classified by Schoenberg and Rudin as being absolutely monotonic [Duke Math. J. 1942, 1959]. In fixed dimension $N$, results akin to work of Horn and Loewner [Trans. AMS 1969] show the first $N$ nonzero Maclaurin coefficients of a positivity preserver $f$ are positive; and the last $N$ coefficients are also positive if $I$ is unbounded. However, little was known about the other coefficients: the only examples to date for unbounded domains $I$ were absolutely monotonic, so work in all dimensions; and for bounded $I$ examples of non-absolutely monotonic preservers were very few (and recent).
In this paper, we completely characterize the sign patterns of the Maclaurin coefficients of positivity preservers in fixed dimension $N$, over bounded and unbounded domains $I$. In particular, the above Horn-type conditions cannot be improved upon. This also yields the first polynomials which preserve positivity on p.s.d. matrices in $I^{N\times N}$ but not in $I^{(N+1)\times (N+1)}$. We obtain analogous results for real exponents using the Harish-Chandra-Itzykson-Zuber formula.
We then go from qualitative bounds, which suffice to understand all possible sign patterns, to exact quantitative bounds. As an application, we extend our previous qualitative and quantitative results to understand preservers of total non-negativity in fixed dimension - including their sign patterns. We deduce several further applications, including extending a Schur polynomial conjecture by Cuttler-Greene-Skandera to obtain a novel characterization of weak majorization for real tuples.
Generalized Möbius Ladder and Its Metric Dimension
In this paper we introduce generalized Möbius ladder $M_{m,n}$ and give its metric dimension. Moreover, it is observed that, depending on even and odd values of $m$ and $n$, it has two subfamilies with constant metric dimensions.
On involutions and indicators of finite orthogonal groups
Published
• View Publication
• BIB
We study the numbers of involutions and their relation to Frobenius-Schur indicators in the groups $\mathrm{SO}^{\pm}(n,q)$ and $Ω^{\pm}(n,q)$. Our point of view for this study comes from two motivations. The first is the conjecture that a finite simple group $G$ is strongly real (all elements are conjugate to their inverses by an involution) if and only if it is totally orthogonal (all Frobenius-Schur indicators are 1), and we are able to show this holds for all finite simple groups $G$ other than the groups $\mathrm{Sp}(2n,q)$ with $q$ even or $Ω^{\pm}(4m,q)$ with $q$ even. We prove computationally that for small $n$ and $m$ this statement indeed holds for these groups by equating their character degree sums to the number of involutions. We also prove a result on a certain twisted indicator for the groups $\mathrm{SO}^{\pm}(4m+2,q)$ with $q$ odd. Our second motivation is to continue the work of Fulman, Guralnick, and Stanton on generating function and asymptotics for involutions in classical groups. We extend their work by finding generating functions for the numbers of involutions in $\mathrm{SO}^{\pm}(n,q)$ and $Ω^{\pm}(n,q)$ for all $q$, and we use these to compute the asymptotic behavior for the number of involutions in these groups when $q$ is fixed and $n$ grows.
Graphs with Flexible Labelings
Published in Discrete and Computational Geometry (2019). 62(2):461-480
• View Publication
• BIB
For a flexible labeling of a graph, it is possible to construct infinitely many non-equivalent realizations keeping the distances of connected points constant. We give a combinatorial characterization of graphs that have flexible labelings. The characterization is based on colorings of the edges with restrictions on the cycles. Furthermore, we give necessary criteria and sufficient ones for the existence of such colorings.
Cauchy-Stieltjes families with polynomial variance functions and generalized orthogonality
Published in Probability and Mathematical Statistics 39 (2019) pp. 237-258
• View Publication
• BIB
This paper studies variance functions of Cauchy-Stieltjes Kernel families generated by compactly supported centered probability measures. We describe several operations that allow us to construct additional variance functions from known ones. We construct a class of examples which exhausts all cubic variance functions, and provide examples of polynomial variance functions of arbitrary degree. We also relate Cauchy-Stieltjes Kernel families with polynomial variance functions to generalized orthogonality.
Our main results are stated solely in terms of classical probability; some proofs rely on analytic machinery of free probability.
On Some Properties of Tribonacci Quaternions
Published
• View Publication
• BIB
In this paper, we give some properties of the Tribonacci and Tribonacci-Lucas quaternions and obtain some identities for them.
Sufficient conditions for graphs to be $k$-connected, maximally connected and super-connected
Published
• View Publication
• BIB
Let $G$ be a connected graph with minimum degree $δ(G)$ and vertex-connectivity $κ(G)$. The graph $G$ is $k$-connected if $κ(G)\geq k$, maximally connected if $κ(G) = δ(G)$, and super-connected (or super-$κ$) if every minimum vertex-cut isolates a vertex of minimum degree. In this paper, we show that a connected graph or a connected triangle-free graph is $k$-connected, maximally connected or super-connected if the number of edges or the spectral radius is large enough.
The $6\times 6$ grid is $4$-path-pairable
Let $G=P_6\Box P_6$ be the $6\times 6$ grid, the Cartesian product of two paths of six vertices. Let $T$ be the set of eight distinct vertices of $G$, called terminals, and assume that $T$ is partitioned into four terminal pairs $\{s_i,t_i\}$, $1\leq i\leq 4$. We prove that $G$ is $4$-path-pairable, that is, for every $T$ there exist in $G$ pairwise edge disjoint $s_i,t_i$-paths, $1\leq i\leq 4$.
Escaping from a quadrant of the $6\times 6$ grid by edge disjoint paths
Let $G$ be the Cartesian product of two finite paths, called a grid, and let $T$ be the set of eight distinct vertices of $G$, called terminals. Assume that $T$ is partitioned into four terminal pairs $\{s_i,t_i\}$, $1\leq i\leq 4$, to be linked in $G$ by using edge disjoint paths. To prove that such a linkage always exists we need a sequence of technical lemmas making possible for some terminals to `escape' from a $3\times 3$ corner of $Q\subset G$, called a `quadrant'. Here we state those lemmas, and give a proof for the cases when $Q$ contains at most $4$ terminals.
Escaping from the corner of a grid by edge disjoint paths
Let $Q$ be a finite subgraph of the integer grid $G$ in the plane, and let $T$ be a set of pairs of distinct vertices in $G$, called `terminal pairs'. Escaping a subset $X\subset T\cap Q$ from $Q$ means finding edge disjoint paths from the terminals in $X$ into distinct vertices of a set $L$ in the boundary of $Q$. Here we prove several lemmas for the cases where $Q$ is a $3\times 3$ grid, $L$ is the union of a vertical and horizontal boundary line of $Q$, furthermore, $T$ is a set of four terminal pairs in $G$ such that $|T\cap Q|\geq 5$. These lemmas are applied in [4] and complete the proof that the Cartesian product of two (one way) infinite paths has path-pairability number four.
Nowhere Dense Graph Classes and Dimension
Published
• View Publication
• BIB
Nowhere dense graph classes provide one of the least restrictive notions of sparsity for graphs. Several equivalent characterizations of nowhere dense classes have been obtained over the years, using a wide range of combinatorial objects. In this paper we establish a new characterization of nowhere dense classes, in terms of poset dimension: A monotone graph class is nowhere dense if and only if for every $h \geq 1$ and every $ε> 0$, posets of height at most $h$ with $n$ elements and whose cover graphs are in the class have dimension $\mathcal{O}(n^ε)$.
On subgraphs of $C_{2k}$-free graphs and a problem of Kühn and Osthus
Let $c$ denote the largest constant such that every $C_{6}$-free graph $G$ contains a bipartite and $C_4$-free subgraph having $c$ fraction of edges of $G$. Győri et al. showed that $\frac{3}{8} \le c \le \frac{2}{5}$. We prove that $c=\frac{3}{8}$. More generally, we show that for any $\varepsilon>0$, and any integer $k \ge 2$, there is a $C_{2k}$-free graph $G_1$ which does not contain a bipartite subgraph of girth greater than $2k$ with more than $\left(1-\frac{1}{2^{2k-2}}\right)\frac{2}{2k-1}(1+\varepsilon)$ fraction of the edges of $G_1$. There also exists a $C_{2k}$-free graph $G_2$ which does not contain a bipartite and $C_4$-free subgraph with more than $\left(1-\frac{1}{2^{k-1}}\right)\frac{1}{k-1}(1+\varepsilon)$ fraction of the edges of $G_2$.
One of our proofs uses the following statement, which we prove using probabilistic ideas, generalizing a theorem of Erdős: For any $\varepsilon>0$, and any integers $a$, $b$, $k \ge 2$, there exists an $a$-uniform hypergraph $H$ of girth greater than $k$ which does not contain any $b$-colorable subhypergraph with more than $\left(1-\frac{1}{b^{a-1}}\right)\left(1+\varepsilon\right)$ fraction of the hyperedges of $H$. We also prove further generalizations of this theorem.
In addition, we give a new and very short proof of a result of Kühn and Osthus, which states that every bipartite $C_{2k}$-free graph $G$ contains a $C_{4}$-free subgraph with at least $1/(k-1)$ fraction of the edges of $G$. We also answer a question of Kühn and Osthus about $C_{2k}$-free graphs obtained by pasting together $C_{2l}$'s (with $k>l\ge3$).
Broadcasts in Graphs: Diametrical Trees
A dominating broadcast on a graph G with vertex set V is a function f that maps V to {0,1,...,diam(G)} such that f(v) does not exceed e(v) (the eccentricity of v) for all vertices v, and each vertex u is at distance at most f(v) from a vertex v with positive f(v). The upper broadcast domination number of G is Γ_{b}(G), which equals the maximum of the sum of the function values f(v), the maximum being taken over all minimal dominating broadcasts f on G. As shown by Erwin in [D. Erwin, Cost domination in graphs, Doctoral dissertation, Western Michigan University, 2001], Γ_{b}(G) is bounded below by diam(G) for any graph G. We investigate trees whose upper broadcast domination number equal their diameter and, among more general results, characterize caterpillars with this property.
Connected k-Dominating Graphs
For a graph G=(V,E), the k-dominating graph of G, denoted by $D_{k}(G)$, has vertices corresponding to the dominating sets of G having cardinality at most k, where two vertices of $D_{k}(G)$ are adjacent if and only if the dominating set corresponding to one of the vertices can be obtained from the dominating set corresponding to the second vertex by the addition or deletion of a single vertex. We denote by $d_{0}(G)$ the smallest integer for which $D_{k}(G)$ is connected for all k greater than or equal to $d_{0}(G)$. It is known that $d_{0}(G)$ lies between $Γ(G)+1$ and $|V|$ (inclusive), where $Γ(G)$ is the upper domination number of G, but constructing a graph G such that $d_{0}(G)>Γ(G)+1$ appears to be difficult. We present two related constructions. The first construction shows that for each integer k greater than or equal to 3 and each integer r from 1 to k-1, there exists a graph $G_{k,r}$ such that $Γ(G_{k,r})=k, γ(G_{k,r})=r+1$ and $d_{0}(G_{k,r})=k+r=Γ(G)+γ(G)-1$. The second construction shows that for each integer k greater than or equal to 3 and each integer r from 1 to k-1, there exists a graph $Q_{k,r}$ such that $Γ(Q_{k,r})=k, γ(Q_{k,r})=r$ and $d_{0}(Q_{k,r})=k+r=Γ(G)+γ(G)$.
The Slack Realization Space of a Polytope
Published
• View Publication
• BIB
In this paper we introduce a natural model for the realization space of a polytope up to projective equivalence which we call the slack realization space of the polytope. The model arises from the positive part of an algebraic variety determined by the slack ideal of the polytope. This is a saturated determinantal ideal that encodes the combinatorics of the polytope. We also derive a new model of the realization space of a polytope from the positive part of the variety of a related ideal. The slack ideal offers an effective computational framework for several classical questions about polytopes such as rational realizability, non-prescribability of faces, and realizability of combinatorial polytopes.
Thickness and Antithickness of Graphs
Published in J. Computational Geometry 9.1:356-386, 2018
• View Publication
• BIB
This paper studies questions about duality between crossings and non-crossings in graph drawings via the notions of thickness and antithickness. The "thickness" of a graph $G$ is the minimum integer $k$ such that in some drawing of $G$, the edges can be partitioned into $k$ noncrossing subgraphs. The "antithickness" of a graph $G$ is the minimum integer $k$ such that in some drawing of $G$, the edges can be partitioned into $k$ thrackles, where a "thrackle" is a set of edges, each pair of which intersect exactly once. (Here edges with a common endvertex $v$ are considered to intersect at $v$.) So thickness is a measure of how close a graph is to being planar, whereas antithickness is a measure of how close a graph is to being a thrackle. This paper explores the relationship between the thickness and antithickness of a graph, under various graph drawing models, with an emphasis on extremal questions.
Statistics on Small Graphs
We create the unlabeled or vertex-labeled graphs with up to 10 edges and up to 10 vertices and classify them by a set of standard properties: directed or not, vertex-labeled or not, connectivity, presence of isolated vertices, presence of multiedges and presence of loops. We present tables of how many graphs exist in these categories.
Permutation polynomials, fractional polynomials, and algebraic curves
Published
• View Publication
• BIB
In this note we prove a conjecture by Li, Qu, Li, and Fu on permutation trinomials over $\mathbb{F}_3^{2k}$. In addition, new examples and generalizations of some families of permutation polynomials of $\mathbb{F}_{3^k}$ and $\mathbb{F}_{5^k}$ are given. We also study permutation quadrinomials of type $Ax^{q(q-1)+1} + Bx^{2(q-1)+1} + Cx^{q} + x$. Our method is based on the investigation of an algebraic curve associated with a {fractional polynomial} over a finite field.