Showing 20 papers (Total: 83842 papers, 48355 authors in database)
The signed graphs with symmetric spectra
It is well known that a graph $G$ has a symmetric spectrum if and only if it is bipartite, a signed graph $Γ=(G,σ)$ has a symmetric spectrum if $G$ is bipartite. However, there exists a spectrally symmetric signed graph $Γ=(G,σ)$ such that $G$ is not bipartite. In this paper, we focus to characterize the signed graphs with symmetric spectra. Some necessary and (or) sufficient conditions for spectrally symmetric signed graphs are given. Moreover, some methods to construct signed graphs with symmetric spectra are found and infinite families of these signed graphs are produced.
Fiedler vectors with unbalanced sign patterns
Published
• View Publication
• BIB
In spectral bisection, a Fielder vector is used for partitioning a graph into two connected subgraphs according to its sign pattern. In this article, we investigate graphs having Fiedler vectors with unbalanced sign patterns such that a partition can result in two connected subgraphs that are distinctly different in size. We present a characterization of graphs having a Fiedler vector with exactly one negative component, and discuss some classes of such graphs. We also establish an analogous result for regular graphs with a Fiedler vector with exactly two negative components. In particular, we examine the circumstances under which any Fiedler vector has unbalanced sign pattern according to the number of vertices with minimum degree.
Numerical ranges of cyclic shift matrices
Published
• View Publication
• BIB
We study the numerical range of an $n\times n$ cyclic shift matrix, which can be viewed as the adjacency matrix of a directed cycle with $n$ weighted arcs. In particular, we consider the change in the numerical range if the weights are rearranged or perturbed. In addition to obtaining some general results on the problem, a permutation of the given weights is identified such that the corresponding matrix yields the largest numerical range (in terms of set inclusion), for $n \le 6$. We conjecture that the maximizing pattern extends to general $n\times n$ cylic shift matrices. For $n \le 5$, we also determine permutations such that the corresponding cyclic shift matrix yields the smallest numerical range.
A new construction for planar Turán number of cycle
The planar Turán number ${\rm ex}_{\mathcal{P}}(n,C_k)$ is the largest number of edges in an $n$-vertex planar graph with no cycle of length $k$. Let $k\ge 11$ and $C,D$ be constants. Cranston, Lidický, Liu and Shantanam \cite{2021Planar}, and independently Lan and Song \cite{LanSong} showed that ${\rm ex}_{\mathcal{P}}(n,C_k)\ge 3n-6-\frac{Cn}{k}$ for large $n$. Moreover, Cranston et al. conjectured that ${\rm ex}_{\mathcal{P}}(n,C_k)\le 3n-6-\frac{Dn}{k^{lg_23}}$ when $n$ is large. In this note, we prove that ${\rm ex}_{\mathcal{P}}(n,C_k)\ge 3n-6-\frac{6\cdot 3^{lg_23}n}{k^{lg_23}}$ for every $k$. It implies Cranston et al.'s conjecture is essentially best possible.
Graph Labelings Obtainable by Random Walks
Published
• View Publication
• BIB
We initiate the study of what we refer to as random walk labelings of graphs. These are graph labelings that are obtainable by performing a random walk on the graph, such that the labeling occurs increasingly whenever an unlabeled vertex is encountered. Some of the results we obtain involve sums of inverses of binomial coefficients, for which we obtain new identities. In particular, we prove that $\sum_{k=0}^{n-1}2^{k}(2k+1)^{-1}\binom{2k}{k}^{-1}\binom{n+k}{k}=\binom{2n}{n}2^{-n}\sum_{k=0}^{n-1}2^{k}(2k+1)^{-1}\binom{2k}{k}^{-1}$, thus confirming a conjecture of Bala.
A Hall-type theorem with algorithmic consequences in planar graphs
Published
• View Publication
• BIB
Given a graph $G=(V,E)$, for a vertex set $S\subseteq V$, let $N(S)$ denote the set of vertices in $V$ that have a neighbor in $S$. Extending the concept of binding number of graphs by Woodall~(1973), for a vertex set $X \subseteq V$, we define the binding number of $X$, denoted by $\bind(X)$, as the maximum number $b$ such that for every $S \subseteq X$ where $N(S)\neq V(G)$ it holds that $|N(S)|\ge b {|S|}$. Given this definition, we prove that if a graph $V(G)$ contains a subset $X$ with $\bind(X)= 1/k$ where $k$ is an integer, then $G$ possesses a matching of size at least $|X|/(k+1)$. Using this statement, we derive tight bounds for the estimators of the matching size in planar graphs. These estimators are previously used in designing sublinear space algorithms for approximating the maching size in the data stream model of computation. In particular, we show that the number of locally superior vertices is a $3$ factor approximation of the matching size in planar graphs. The previous analysis by Jowhari (2023) proved a $3.5$ approximation factor. As another application, we show a simple variant of an estimator by Esfandiari \etal (2015) achieves $3$ factor approximation of the matching size in planar graphs. Namely, let $s$ be the number of edges with both endpoints having degree at most $2$ and let $h$ be the number of vertices with degree at least $3$. We prove that when the graph is planar, the size of matching is at least $(s+h)/3$. This result generalizes a known fact that every planar graph on $n$ vertices with minimum degree $3$ has a matching of size at least $n/3$.
Wiener Indices of Minuscule Lattices
Published
• View Publication
• BIB
The Wiener index of a finite graph G is the sum over all pairs (p, q) of vertices of G of the distance between p and q. When P is a finite poset, we define its Wiener index as the Wiener index of the graph of its Hasse diagram. In this paper, we find exact expressions for the Wiener indices of the distributive lattices of order ideals in minuscule posets. For infinite families of such posets, we also provide results on the asymptotic distribution of the distance between two random order ideals.
Sharp Szemerédi-Trotter constructions from arbitrary number fields
Published
• View Publication
• BIB
In this note, we describe an infinite family of sharp Szemerédi-Trotter constructions. These constructions are cartesian products of arbitrarily high dimensional generalized arithmetic progressions (GAPs), where the bases for these GAPs come from arbitrary number fields over $\mathbb{Q}$. This can be seen as an extension of a recent result of Guth and Silier, who provided similar constructions based on the field $\mathbb{Q}(\sqrt{k})$ for square-free $k$. However, our argument borrows from an idea of Elekes, which produces cartesian products where the parts are of unequal size. This significantly simplifies the analysis and allows us to easily give constructions coming from any number field.
Algebraic solutions of linear differential equations: an arithmetic approach
Published
• View Publication
• BIB
Given a linear differential equation with coefficients in $\mathbb{Q}(x)$, an important question is to know whether its full space of solutions consists of algebraic functions, or at least if one of its specific solutions is algebraic. After presenting motivating examples coming from various branches of mathematics, we advertise in an elementary way a beautiful local-global arithmetic approach to these questions, initiated by Grothendieck in the late sixties. This approach has deep ramifications and leads to the still unsolved Grothendieck-Katz $p$-curvature conjecture.
Tilings of $\mathbb Z$ with multisets of distances
Published
• View Publication
• BIB
In this paper, we study tilings of $\mathbb Z$, that is, coverings of $\mathbb Z$ by disjoint sets (tiles). Let $T=\{d_1,\ldots, d_s\}$ be a given multiset of distances. Is it always possible to tile $\mathbb Z$ by tiles, for which the multiset of distances between consecutive points is equal to $T$? In this paper, we give a sufficient condition that such a tiling exists. Our result allows multisets of distances to have arbitrarily many distinct values. Our result generalizes most of the previously known results, all of which dealt with the cases of $2$ or $3$ distinct distances.
Extremal families for the Kruskal--Katona theorem
Given a family $S$ of $k$--subsets of $[n]$, its lower shadow $Δ(S)$ is the family of $(k-1)$--subsets which are contained in at least one set in $S$. The celebrated Kruskal--Katona theorem gives the minimum cardinality of $Δ(S)$ in terms of the cardinality of $S$. Füredi and Griggs (and Mörs) showed that the extremal families for this shadow minimization problem in the Boolean lattice are unique for some cardinalities and asked for a general characterization of these extremal families.
In this paper we prove a new combinatorial inequality from which yet another simple proof of the Kruskal--Katona theorem can be derived. The inequality can be used to obtain a characterization of the extremal families for this minimization problem, giving an answer to the question of Füredi and Griggs. Some known and new additional properties of extremal families can also be easily derived from the inequality.
$G^{+}$ Method in Action: New Classes of Nonnegative Matrices with Results
The $G^{+}$ method is a new method, a powerful one, for the study of (homogeneous and nonhomogeneous) products of nonnegative matrices -- for problems on the products of nonnegative matrices. To study such products, new classes of matrices are introduced: that of the sum-positive matrices, that of the $\left[ Δ\right] $-positive matrices on partitions (of the column index sets), that of the $g_{k}^{+}$-matrices... On the other hand, the $g_{k}^{+}$-matrices lead to necessary and sufficient conditions for the $k$-connected graphs. Using the $G^{+}$ method, we prove old and new results (Wielandt Theorem and a generalization of it, etc.) on the products of nonnegative matrices -- mainly, sum-positive, $\left[ Δ\right] $-positive on partitions, irreducible, primitive, reducible, fully indecomposable, scrambling, or Sarymsakov matrices, in some cases the matrices being, moreover, $g_{k}^{+}$-matrices (not only irreducible).
Embedding problem between right-angled Artin groups
Given a graph $Γ$, the right-angled Artin group $A(Γ)$ is given by the presentation $\langle u \in V(Γ) \mid [u,v]=1, \ \{u,v\} \in E(Γ) \rangle$. The Embedding Problem in right-angled Artin groups asks, given two finite graphs $Φ,Ψ$, how to determine whether or not $A(Φ)$ is isomorphic to a subgroup of $A(Ψ)$. These are the notes of a mini-course given at the CIRM in April 2022, dedicated to a geometric point of view on this embedding problem, based on quasi-median graphs.
Some Results On Spectrum And Energy Of Graphs With Loops
Published in Bulletin of the Malaysian Mathematical Sciences Society, 46(94) (2023)
• View Publication
• BIB
Let $G_S$ be a graph with loops obtained from a graph $G$ of order $n$ and loops at $S \subseteq V(G)$. In this paper, we establish a neccesary and sufficient condition on the bipartititeness of a connected graph $G$ and the spectrum Spec($G_S$) and Spec($G_{V(G)\backslash S}$). We also prove that for every $S \subseteq V(G)$, $E(G_S) \geq E(G)$ when $G$ is bipartite. Moreover, we provide an identification of the spectrum of complete graphs $K_n$ and complete bipartite graphs $K_{m,n}$ with loops. We characterize any graphs with loops of order n whose eigenvalues are all positive or non-negative, and also any graphs with a few distinct eigenvalues. Finally, we provide some bounds related to $G_S$.
Hook-Shape Immanant Characters from Stanley-Stembridge Characters
Published
• View Publication
• BIB
We consider the Schur-positivity of monomial immanants of Jacobi-Trudi matrices, in particular whether a non-negative coefficient of the trivial Schur function implies non-negative coefficients for other Schur functions in said immanants. We prove that this true for hook-shape Schur functions using combinatorial methods in a representation theory setting. Our main theorem proves that hook-shape immanant characters can be written as finite non-negative integer sums of Stanley-Stembridge characters, and provides an explicit combinatorial formula for these sums. This resolves a special case of a longstanding conjecture of Stanley and Stembridge that posits such a sum exists for all immanant characters. We also provide several simplifications for computing immanant characters, and several corollaries applying the main result to cases where the coefficient of the trivial Schur function in monomial immanants of Jacobi-Trudi matrices is known to be non-negative.
Feynman symmetries of the Martin and $c_2$ invariants of regular graphs
Published in Combinatorial Theory 5 (1), 2025, #10
• View Publication
• BIB
For every regular graph, we define a sequence of integers, using the recursion of the Martin polynomial. This sequence counts spanning tree partitions and constitutes the diagonal coefficients of powers of the Kirchhoff polynomial. We prove that this sequence respects all known symmetries of Feynman period integrals in quantum field theory. We show that other quantities with this property, the $c_2$ invariant and the extended graph permanent, are essentially determined by our new sequence. This proves the completion conjecture for the $c_2$ invariant at all primes, and also that it is fixed under twists. We conjecture that our invariant is perfect: Two Feynman periods are equal, if and only if, their Martin sequences are equal.
Sampling planar tanglegrams and pairs of disjoint triangulations
Published
• View Publication
• BIB
A tanglegram consists of two rooted binary trees and a perfect matching between their leaves, and a planar tanglegram is one that admits a layout with no crossings. We show that the problem of generating planar tanglegrams uniformly at random reduces to the corresponding problem for irreducible planar tanglegram layouts, which are known to be in bijection with pairs of disjoint triangulations of a convex polygon. We extend the flip operation on a single triangulation to a flip operation on pairs of disjoint triangulations. Interestingly, the resulting flip graph is both connected and regular, and hence a random walk on this graph converges to the uniform distribution. We also show that the restriction of the flip graph to the pairs with a fixed triangulation in either coordinate is connected, and give diameter bounds that are near optimal. Our results furthermore yield new insight into the flip graph of triangulations of a convex $n$-gon with a geometric interpretation on the associahedron.
Schreier Multisets and the $s$-step Fibonacci Sequences
Published
• View Publication
• BIB
Inspired by the surprising relationship (due to A. Bird) between Schreier sets and the Fibonacci sequence, we introduce Schreier multisets and connect these multisets with the $s$-step Fibonacci sequences, defined, for each $s\geqslant 2$, as: $F^{(s)}_{2-s} = \cdots = F^{(s)}_0 = 0$, $F^{(s)}_1 = 1$, and $F^{(s)}_{n} = F^{(s)}_{n-1} + \cdots + F^{(s)}_{n-s}, \mbox{ for } n\geqslant 2$. Next, we use Schreier-type conditions on multisets to retrieve a family of sequences which satisfy a recurrence of the form $a(n) = a(n-1) + a(n-u)$, with $a(n) = 1$ for $n = 1,\ldots, u$. Finally, we study nonlinear Schreier conditions and show that these conditions are related to integer decompositions, each part of which is greater than the number of parts raised to some power.
Cubes of symmetric designs
Published in Ars Mathematica Contemporanea 25 (2025) P1.10
• View Publication
• BIB
We study $n$-dimensional matrices with $\{0,1\}$-entries ($n$-cubes) such that all their $2$-dimensional slices are incidence matrices of symmetric designs. A known construction of these objects obtained from difference sets is generalized so that the resulting $n$-cubes may have inequivalent slices. For suitable parameters, they can be transformed into $n$-dimensional Hadamard matrices with this property. In contrast, previously known constructions of $n$-dimensional designs all give examples with equivalent slices.
Dual Systolic Graphs
We define a family of graphs we call dual systolic graphs. This definition comes from graphs that are duals of systolic simplicial complexes. Our main result is a sharp (up to constants) isoperimetric inequality for dual systolic graphs. The first step in the proof is an extension of the classical isoperimetric inequality of the boolean cube. The isoperimetric inequality for dual systolic graphs, however, is exponentially stronger than the one for the boolean cube. Interestingly, we know that dual systolic graphs exist, but we do not yet know how to efficiently construct them. We, therefore, define a weaker notion of dual systolicity. We prove the same isoperimetric inequality for weakly dual systolic graphs, and at the same time provide an efficient construction of a family of graphs that are weakly dual systolic. We call this family of graphs clique products. We show that there is a non-trivial connection between the small set expansion capabilities and the threshold rank of clique products, and believe they can find further applications.