Showing 20 papers (Total: 82432 papers, 47671 authors in database)
Disjoint axis-parallel segments without a circumscribing polygon
We construct a family of 17 disjoint axis-parallel line segments in the plane that do not admit a circumscribing polygon.
Ramsey numbers of trails and circuits
Published
• View Publication
• BIB
We show that every two-colouring of the edges of the complete graph $K_n$ contains a monochromatic trail or circuit of length at least $2n^2/9 +o(n^2)$, which is asymptotically best possible.
Improved Upper Bound on the Linear Turán Number of the Crown
A linear $3$-graph is a set of vertices along with a set of edges, which are three element subsets of the vertices, such that any two edges intersect in at most one vertex. The crown, $C$, is a specific $3$-graph consisting of three pairwise disjoint edges, called jewels, along with a fourth edge intersecting all three jewels. For a linear $3$-graph, $F$, the linear Turán number, $ex(n,F)$, is the maximum number of edges in any linear $3$-graph that does not contain $F$ as a subgraph. Currently, the best known bounds on the linear Turán number of the crown are
\[ 6 \Big \lfloor \frac{n-3}{4}\Big \rfloor \leq ex(n, C) \leq 2n. \] In this paper, the upper bound is improved to $ex(n,C) < \frac{5n}{3}$.
Minimum Number of Bends of Paths of Trees in a Grid Embedding
Published
• View Publication
• BIB
We are interested in embedding trees T with maximum degree at most four in a rectangular grid, such that the vertices of T correspond to grid points, while edges of T correspond to non-intersecting straight segments of the grid lines. Such embeddings are called straight models. While each edge is represented by a straight segment, a path of T is represented in the model by the union of the segments corresponding to its edges, which may consist of a path in the model having several bends. The aim is to determine a straight model of a given tree T minimizing the maximum number of bends over all paths of T. We provide a quadratic-time algorithm for this problem. We also show how to construct straight models that have k as its minimum number of bends and with the least number of vertices possible. As an application of our algorithm, we provide an upper bound on the number of bends of EPG models of graphs that are both VPT and EPT.
On some explicit integrals related to "fractal foothills"
Published
• View Publication
• BIB
In the previous papers, we tried to analyze the complete loop counting functions that count all the loops in an infinite random walk represented by digits of a real number. In this paper, the consideration will be restricted to the partial loop counting functions $V$ that count the returns to the origin only. This simplification allows us to find closed-form expressions for various integrals related to $V$. Some applications to the complete loop counting functions, in particular, their connections with Bernoulli polynomials, are also provided.
Limiting Behavior of Resistances in Triangular Graphs
Barrett et al studied resistance labels of electrical circuits whose underlying graphs when embedded in the Cartesian plane has the form of an $n$-grid, $n$ rows of upright triangles. Proofs in Barrett introduced a row-reduction algorithm which uses series, $Δ$--Y, and Y--$Δ$ electric transformations to transform an $n$-grid into an $n-1$ grid with equivalent resistances between specified nodes. This paper explores this row-reduction algorithm computationally. The introductory part of the paper presents several conjectures supported by numerical evidence, showing that repeated application of the row-reduction algorithm to an initial $n$-grid uniformly labeled 1 asymptotically produces triangular grids whose sides are labeled with rational multiples of $\frac{1}{e};$ moreover, the ratio of specified consecutive edges in the row-reduced grids are asymptotically described by four rational functions. The main part of this paper studies a family of graphs whose edge labels are determined using these limiting edge-ratios functions arising in the conjectures. The main result proven is that these $n$-grids and their repeated reductions under the row-reduction algorithm possess vertical and rotational symmetries and satisfy the relationships captured by the four edge-ratio functions. Thus, the limiting edge-ratio relationships are local algebraic relationships mirroring the global vertical and rotational symmetries possessed by the underlying graph. Additionally, because row-reduction is local (in contrast to the combinatoric Laplacian which is global) the paper is able to introduce a mechanical verification method of proof for assertions about effective resistance identities.
Sufficient spectral conditions for graphs being $k$-edge-Hamiltonian or $k$-Hamiltonian
Published in Linear and Multilinear Algebra 71 (13) (2023) 2093-2113
• View Publication
• BIB
A graph $G$ is $k$-edge-Hamiltonian if any collection of vertex-disjoint paths with at most $k$ edges altogether belong to a Hamiltonian cycle in $G$. A graph $G$ is $k$-Hamiltonian if for all $S\subseteq V(G)$ with $|S|\le k$, the subgraph induced by $V(G)\setminus S$ has a Hamiltonian cycle. These two concepts are classical extensions for the usual Hamiltonian graphs. In this paper, we present some spectral sufficient conditions for a graph to be $k$-edge-Hamiltonian and $k$-Hamiltonian in terms of the adjacency spectral radius as well as the signless Laplacian spectral radius. Our results could be viewed as slight extensions of the recent theorems proved by Li and Ning [Linear Multilinear Algebra 64 (2016)], Nikiforov [Czechoslovak Math. J. 66 (2016)] and Li, Liu and Peng [Linear Multilinear Algebra 66 (2018)]. Moreover, we shall prove a stability result for graphs being $k$-Hamiltonian, which could be regarded as a complement of two recent results of Füredi, Kostochka and Luo [Discrete Math. 340 (2017)] and [Discrete Math. 342 (2019)].
An algorithm for Berenstein-Kazhdan decoration functions and trails for minuscule representations
Published
• View Publication
• BIB
For a simply connected connected simple algebraic group $G$, a cell $B_{w_0}^-=B^-\cap U\overline{w_0}U$ is a geometric crystal with a positive structure $θ_{\textbf{i}}^-:(\mathbb{C}^{\times})^{l(w_0)}\rightarrow B_{w_0}^-$. Applying the tropicalization functor to a rational function $Φ^h_{BK}=\sum_{i\in I}Δ_{w_0Λ_i,s_iΛ_i}$ called the half decoration on $B_{w_0}^-$, one can realize the crystal $B(\infty)$ in $\mathbb{Z}^{l(w_0)}$. By computing $Φ^h_{BK}$, we get an explicit form of $B(\infty)$ in $\mathbb{Z}^{l(w_0)}$. In this paper, we give an algorithm to compute $Δ_{w_0Λ_i,s_iΛ_i}\circ θ_{\textbf{i}}^-$ explicitly for $i\in I$ such that $V(Λ_i)$ is a minuscule representation of $\mathfrak{g}={\rm Lie}(G)$. In particular, the algorithm works for all $i\in I$ if $\mathfrak{g}$ is of type ${\rm A}_n$. The algorithm computes a directed graph $DG$, called a decoration graph, whose vertices are labelled by all monomials in $Δ_{w_0Λ_i,s_iΛ_i}\circ θ_{\textbf{i}}^-(t_1,\cdots,t_{l(w_0)})$. The decoration graph has some properties similar to crystal graphs of minuscule representations. We also verify that the algorithm works in some other cases, for example, the case $\mathfrak{g}$ is of type ${\rm G}_2$ though $V(Λ_i)$ is non-minuscule.
Counting irreducible polynomials with prescribed coefficients over a finite field
Published
• View Publication
• BIB
We continue our study on counting irreducible polynomials over a finite field with prescribed coefficients. We set up a general combinatorial framework using generating functions with coefficients from a group algebra which is generated by equivalent classes of polynomials with prescribed coefficients. Simplified expressions are derived for some special cases. Our results extend some earlier results.
The Terwilliger algebra of the halved cube
Let $D\geq 3$ denote an integer. For any $x\in \mathbb F_2^D$ let $w(x)$ denote the Hamming weight of $x$. Let $X$ denote the subspace of $\mathbb F_2^D$ consisting of all $x\in \mathbb F_2^D$ with even $w(x)$. The $D$-dimensional halved cube $\frac{1}{2}H(D,2)$ is a finite simple connected graph with vertex set $X$ and $x,y\in X$ are adjacent if and only if $w(x-y)=2$. Fix a vertex $x\in X$. The Terwilliger algebra $\mathcal T=\mathcal T(x)$ of $\frac{1}{2}H(D,2)$ with respect to $x$ is the subalgebra of ${\rm Mat}_X(\mathbb C)$ generated by the adjacency matrix $A$ and the dual adjacency matrix $A^*=A^*(x)$ where $A^*$ is a diagonal matrix with $$ A^*_{yy}=D-2w(x-y) \qquad \hbox{for all $y\in X$}. $$ In this paper we decompose the standard $\mathcal T$-module into a direct sum of irreducible $\mathcal T$-modules.
On the square of the antipode in a connected filtered Hopf algebra
Published in Communications in Mathematics, Volume 31 (2023), Issue 1 (December 13, 2022) cm:10431
• View Publication
• BIB
It is well-known that the antipode $S$ of a commutative or cocommutative Hopf algebra satisfies $S^{2}=\operatorname*{id}$ (where $S^{2}=S\circ S$). Recently, similar results have been obtained by Aguiar, Lauve and Mahajan for connected graded Hopf algebras: Namely, if $H$ is a connected graded Hopf algebra with grading $H=\bigoplus_{n\geq0}H_n$, then each positive integer $n$ satisfies $\left( \operatorname*{id}-S^2\right)^n \left( H_n\right) =0$ and (even stronger) \[ \left( \left( \operatorname{id}+S\right) \circ\left( \operatorname{id}-S^2\right)^{n-1}\right) \left( H_n\right) = 0. \] For some specific $H$'s such as the Malvenuto--Reutenauer Hopf algebra $\operatorname{FQSym}$, the exponents can be lowered.
In this note, we generalize these results in several directions: We replace the base field by a commutative ring, replace the Hopf algebra by a coalgebra (actually, a slightly more general object, with no coassociativity required), and replace both $\operatorname{id}$ and $S^2$ by "coalgebra homomorphisms" (of sorts). Specializing back to connected graded Hopf algebras, we show that the exponent $n$ in the identity $\left( \operatorname{id}-S^2\right) ^n \left( H_n\right) =0$ can be lowered to $n-1$ (for $n>1$) if and only if $\left( \operatorname{id} - S^2\right) \left( H_2\right) =0$. (A sufficient condition for this is that every pair of elements of $H_1$ commutes; this is satisfied, e.g., for $\operatorname{FQSym}$.)
A linear-time algorithm for semitotal domination in strongly chordal graphs
Published
• View Publication
• BIB
In a graph $G=(V,E)$ with no isolated vertex, a dominating set $D \subseteq V$, is called a semitotal dominating set if for every vertex $u \in D$ there is another vertex $v \in D$, such that distance between $u$ and $v$ is at most two in $G$. Given a graph $G=(V,E)$ without isolated vertices, the Minimum Semitotal Domination problem is to find a minimum cardinality semitotal dominating set of $G$. The semitotal domination number, denoted by $γ_{t2}(G)$, is the minimum cardinality of a semitotal dominating set of $G$. The decision version of the problem remains NP-complete even when restricted to chordal graphs, chordal bipartite graphs, and planar graphs. Galby et al. in [6] proved that the problem can be solved in polynomial time for bounded MIM-width graphs which includes many well known graph classes, but left the complexity of the problem in strongly chordal graphs unresolved. Henning and Pandey in [20] also asked to resolve the complexity status of the problem in strongly chordal graphs. In this paper, we resolve the complexity of the problem in strongly chordal graphs by designing a linear-time algorithm for the problem.
A non-aligning variant of generalized Turán problems
Published
• View Publication
• BIB
In the so-called generalized Turán problems we study the largest number of copies of $H$ in an $n$-vertex $F$-free graph $G$. Here we introduce a variant, where $F$ is not forbidden, but we restrict how copies of $H$ and $F$ can be placed in $G$. More precisely, given an integer $n$ and graphs $H$ and $F$, what is the largest number of copies of $H$ in an $n$-vertex graph such that the vertex set of that copy does not contain and is not contained in the vertex set of a copy of $F$?
We solve this problem for some instances, give bounds in other instances, and we use our results to determine the generalized Turán number for some pairs of graphs.
Generalized Turán number for linear forests
Published
• View Publication
• BIB
The generalized Turán number $ex(n,K_s,H)$ is defined to be the maximum number of copies of a complete graph $K_s$ in any $H$-free graph on $n$ vertices. Let $F$ be a linear forest consisting of $k$ paths of orders $\ell_1,\ell_2,...,\ell_k$. In this paper, by characterizing the structure of the $F$-free graph with large minimum degree, we determine the value of $ex(n,K_s,F)$ for $n=Ω\left(|F|^s\right)$ and $k\geq 2$ except some $\ell_i=3$, and the corresponding extremal graphs. The special case when $s=2$ of our result improves some results of Bushaw and Kettle (2011) and Lidický et al. (2013) on the classical Turán number for linear forests.
McKay trees
Published
• View Publication
• BIB
Given a finite group $G$ and its representation $ρ$, the corresponding McKay graph is a graph $Γ(G,ρ)$ whose vertices are the irreducible representations of $G$; the number of edges between two vertices $π,τ$ of $Γ(G,ρ)$ is $dim Hom_G(π\otimes ρ, τ) $. The collection of all McKay graphs for a given group $G$ encodes, in a sense, its character table. Such graphs were also used by McKay to provide a bijection between the finite subgroups of $SU(2)$ and the affine Dynkin diagrams of types $A, D, E$, the bijection given by considering the appropriate McKay graphs.
In this paper, we classify all (undirected) trees which are McKay graphs of finite groups and describe the corresponding pairs $(G,ρ)$; this classification turns out to be very concise.
Moreover, we give a partial classification of McKay graphs which are forests, and construct some non-trivial examples of such forests.
On certain identities involving Nahm-type sums with double poles
Published
• View Publication
• BIB
We prove certain Nahm-type sum representations for the (odd modulus) Andrews-Gordon identities, the (even modulus) Andrews-Bressoud identities, and Rogers' false theta functions. These identities are motivated on one hand by a recent work of C. Jennings-Shaffer and one of us on double pole series, and, on the other hand, by Córdova, Gaiotto and Shao's work on defect Schur's indices.
Geometric bijections between spanning subgraphs and orientations of a graph
Published
• View Publication
• BIB
Let $G$ be a connected finite graph. Backman, Baker, and Yuen have constructed a family of explicit and easy-to-describe bijections $g_{σ,σ^*}$ between spanning trees of $G$ and $(σ,σ^*)$-compatible orientations, where the $(σ,σ^*)$-compatible orientations are the representatives of equivalence classes of orientations up to cycle-cocycle reversal which are determined by a cycle signature $σ$ and a cocycle signature $σ^*$. Their proof makes use of zonotopal subdivisions and the bijections $g_{σ,σ^*}$ are called \emph{geometric bijections}. In this paper, we extend the geometric bijections to subgraph-orientation correspondences. Moreover, we extend the geometric constructions accordingly. Our proofs are purely combinatorial, even for the geometric constructions. We also provide geometric proofs for partial results, which make use of zonotopal tiling, relate to Backman, Baker, and Yuen's method, and motivate our combinatorial constructions. Finally, we explain that the main results hold for \emph{regular matroids}.
Erdős-Gyárfás Conjecture for $P_8$-free graphs
Published
• View Publication
• BIB
A graph is $P_8$-free if it contains no induced subgraph isomorphic to the path $P_8$ on eight vertices. In 1995, Erdős and Gyárfás conjectured that every graph of minimum degree at least three contains a cycle whose length is a power of two. In this paper, we confirm the conjecture for $P_8$-free graphs by showing that there exists a cycle of length four or eight in every $P_8$-free graph with minimum degree at least three.
Domains of Convergence for Polyhedral Packings
Polyhedral circle packings are generalizations of the Apollonian packing. We develop the theory of the Apollonian group, Descartes quadratic form, and related objects for all polyhedral packings. We use these tools to determine the domain of absolute convergence of a generating function that can be associated to any polyhedral packing. This domain of convergence is the Tits cone for an infinite root system.
Induced subgraphs and tree decompositions III. Three-path-configurations and logarithmic treewidth
Published in Advances in Combinatorics, 2022:6, 29pp
• View Publication
• BIB
A theta is a graph consisting of two non-adjacent vertices and three internally disjoint paths between them, each of length at least two. For a family $\mathcal{H}$ of graphs, we say a graph $G$ is $\mathcal{H}$-free if no induced subgraph of $G$ is isomorphic to a member of $\mathcal{H}$. We prove a conjecture of Sintiari and Trotignon, that there exists an absolute constant $c$ for which every (theta, triangle)-free graph $G$ has treewidth at most $c\log (|V(G)|)$. A construction by Sintiari and Trotignon shows that this bound is asymptotically best possible, and (theta, triangle)-free graphs comprise the first known hereditary class of graphs with arbitrarily large yet logarithmic treewidth.
Our main result is in fact a generalization of the above conjecture, that treewidth is at most logarithmic in $|V(G)|$ for every graph $G$ excluding the so-called three-path-configurations as well as a fixed complete graph. It follows that several NP-hard problems such as Stable Set, Vertex Cover, Dominating Set and Coloring admit polynomial time algorithms in graphs excluding the three-path-configurations and a fixed complete graph.