Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Lefschetz duality for local cohomology
Published
• View Publication
• BIB
Since the 1974 paper by Peskine and Szpiro, liaison theory via complete intersections, and more generally via Gorenstein varieties, has become a standard tool kit in commutative algebra and algebraic geometry, allowing to compare algebraic features of linked varieties. In this paper we develop a liaison theory via quasi-Gorenstein varieties, a much broader class than Gorenstein varieties: it is not misleading to think that quasi-Gorenstein rings are to Gorenstein rings as manifolds are to spheres. As applications, we derive a connectedness property of quasi-Gorenstein subspace arrangements generalizing previous results by Benedetti and the second author, and we deduce the classical topological Lefschetz duality via the Stanley-Reisner correspondence.
An asymptotic resolution of a conjecture of Szemerédi and Petruska
Consider a $3$-uniform hypergraph of order $n$ with clique number $k$ such that the intersection of all its $k$-cliques is empty. Szemerédi and Petruska proved $n\leq 8m^2+3m$, for fixed $m=n-k$, and they conjectured the sharp bound $n \leq {m+2 \choose 2}$. This problem is known to be equivalent to determining the maximum order of a $τ$-critical $3$-uniform hypergraph with transversal number $m$ (details may also be found in a companion paper: arXiv:2204.02859). The best known bound, $n\leq \frac{3}{4}m^2+m+1$, was obtained by Tuza using the machinery of $τ$-critical hypergraphs. Here we propose an alternative approach, a combination of the iterative decomposition process introduced by Szemerédi and Petruska with the skew version of Bollobás's theorem on set pair systems. The new approach improves the bound to $n\leq {m+2 \choose 2} + O(m^{{5}/{3}})$, resolving the conjecture asymptotically.
Distribution of similar configurations in subsets of $\mathbb{F}_q^d$
Published in Discrete Mathematics, Volume 346, Issue 10, October 2023
• View Publication
• BIB
Let $\mathbb{F}_q$ be a finite field of order $q$ and $E$ be a set in $\mathbb{F}_q^d$. The distance set of $E$ is defined by $Δ(E):=\{\lVert x-y \rVert :x,y\in E\}$, where $\lVert α\rVert=α_1^2+\dots+α_d^2$. Iosevich, Koh and Parshall (2018) proved that if $d\geq 2$ is even and $|E|\geq 9q^{d/2}$, then $$\mathbb{F}_q= \frac{Δ(E)}{Δ(E)}=\left\{\frac{a}{b}: a\in Δ(E),\ b\in Δ(E)\setminus\{0\} \right\}.$$ In other words, for each $r\in \mathbb{F}_q^*$ there exist $(x,y)\in E^2$ and $(x',y')\in E^2$ such that $\lVert x-y\rVert\neq0$ and $\lVert x'-y' \rVert=r\lVert x-y\rVert$.
Geometrically, this means that if the size of $E$ is large, then for any given $r \in \mathbb{F}_q^*$ we can find a pair of edges in the complete graph $K_{|E|}$ with vertex set $E$ such that one of them is dilated by $r\in \mathbb{F}_q^*$ with respect to the other. A natural question arises whether it is possible to generalize this result to arbitrary subgraphs of $K_{|E|}$ with vertex set $E$ and this is the goal of this paper.
In this paper, we solve this problem for $k$-paths $(k\geq 2)$, simplexes and 4-cycles. We are using a mix of tools from different areas such as enumerative combinatorics, group actions and Turán type theorems.
An involution on restricted Laguerre histories and its applications
Published
• View Publication
• BIB
Laguerre histories (restricted or not) are certain weighted Motzkin paths with two types of level steps. They are, on one hand, in natural bijection with the set of permutations, and on the other hand, yield combinatorial interpretations for the moments of Laguerre polynomials via Flajolet's combinatorial theory of continued fractions. In this paper, we first introduce a reflection-like involution on restricted Laguerre histories. Then, we demonstrate its power by composing this involution with three bijections due to Fran\ccon-Viennot, Foata-Zeilberger, and Yan-Zhou-Lin, respectively. A host of equidistribution results involving various (multiset-valued) permutation statistics follow from these applications. As byproducts, seven apparently new Mahonian statistics present themselves; new interpretations of known Mahonian statistics are discovered as well. Finally, in our effort to show the interconnections between these Mahonian statistics, we are naturally led to a new link between the variant Yan-Zhou-Lin bijection and the Kreweras complement.
On a class of probabilistic cellular automata with size-$3$ neighbourhood and their applications in percolation games
Published
• View Publication
• BIB
Different versions of percolation games on $\mathbb{Z}^{2}$, with parameters $p$ and $q$ that indicate, respectively, the probability with which a site in $\mathbb{Z}^{2}$ is labeled a trap and the probability with which it is labeled a target, are shown to have probability $0$ of culminating in draws when $p+q > 0$. We show that, for fixed $p$ and $q$, the probability of draw in each of these games is $0$ if and only if a certain $1$-dimensional probabilistic cellular automaton (PCA) $F_{p,q}$ with a size-$3$ neighbourhood is ergodic. This allows us to conclude that $F_{p,q}$ is ergodic whenever $p+q > 0$, thereby rigorously establishing ergodicity for a considerable class of PCAs.
Discrete diffusion-type equation on regular graphs and its applications
Published
• View Publication
• BIB
We derive an explicit formula for the fundamental solution $K_{T_{q+1}}(x,x_{0};t)$ to the discrete-time diffusion equation on the $(q+1)$-regular tree $T_{q+1}$ in terms of the discrete $I$-Bessel function. We then use the formula to derive an explicit expression for the fundamental solution $K_{X}(x,x_{0};t)$ to the discrete-time diffusion equation on any $(q+1)$-regular graph $X$. Going further, we develop three applications. The first one is to derive a general trace formula that relates the spectral data on $X$ to its topological data. Though we emphasize the results in the case when $X$ is finite, our method also applies when $X$ has a countably infinite number of vertices. As a second application, we obtain a closed-form expression for the return time probability distribution of the uniform random walk on any $(q+1)$-regular graph. The expression is obtained by relating $K_{X}(x,x_{0};t)$ to the uniform random walk on a $(q+1)$-regular graph. We then show that if $\{X_{h}\}$ is a sequence of $(q+1)$-regular graphs whose number of vertices goes to infinity and which satisfies a certain natural geometric condition, then the limit of the return time probability distributions from $\{X_{h}\}$ is equal to the return time probability distribution on the tree $T_{q+1}$. As a third application, we derive formulas which express the number of distinct closed irreducible walks without tails on a finite graph $X$ in terms of moments of the spectrum of its adjacency matrix.
A profinite approach to complete bifix decodings of recurrent languages
Published in Forum Mathematicum, vol. 35, no. 4, 2023, pp. 1021-1045
• View Publication
• BIB
We approach the study of complete bifix decodings of (uniformly) recurrent languages with the help of the free profinite monoid. We show that the complete bifix decoding of a uniformly recurrent language $F$ by an $F$-charged rational complete bifix code is uniformly recurrent. An analogous result is obtained for recurrent languages.
Proof of an open problem on the Sombor index
Published
• View Publication
• BIB
The Sombor index is one of the geometry-based descriptors, which was defined as $$SO(G)=\sum_{uv\in E(G)}\sqrt{d^{2}(u)+d^{2}(v)},$$ where $d(u)$ (resp. $d(v)$) denotes the degree of vertex $u$ (resp. $v$) in $G$. In this note, we determine the maximum and minimum graphs with respect to the Sombor index among the set of graphs with vertex connectivity (resp. edge connectivity) at most $k$, which solves an open problem on the Sombor index proposed by Hayat and Rehman [On Sombor index of graphs with a given number of cut-vertices, MATCH Commun. Math. Comput. Chem. 89 (2023) 437--450]. For some of the conclusions of the above paper, we give some counterexamples. At last, we give the QSPR analysis with regression modeling and Sombor index.
Homomorphically Full Oriented Graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 25:2, Graph Theory (October 2, 2023) dmtcs:9957
• View Publication
• BIB
Homomorphically full graphs are those for which every homomorphic image is isomorphic to a subgraph. We extend the definition of homomorphically full to oriented graphs in two different ways. For the first of these, we show that homomorphically full oriented graphs arise as quasi-transitive orientations of homomorphically full graphs. This in turn yields an efficient recognition and construction algorithms for these homomorphically full oriented graphs. For the second one, we show that the related recognition problem is GI-hard, and that the problem of deciding if a graph admits a homomorphically full orientation is NP-complete. In doing so we show the problem of deciding if two given oriented cliques are isomorphic is GI-complete.
Defective coloring is perfect for minors
Published in Combinatorica 44 (2024), 467-507
• View Publication
• BIB
The defective chromatic number of a graph class is the infimum $k$ such that there exists an integer $d$ such that every graph in this class can be partitioned into at most $k$ induced subgraphs with maximum degree at most $d$. Finding the defective chromatic number is a fundamental graph partitioning problem and received attention recently partially due to Hadwiger's conjecture about coloring minor-closed families. In this paper, we prove that the defective chromatic number of any minor-closed family equals the simple lower bound obtained by the standard construction, confirming a conjecture of Ossona de Mendez, Oum, and Wood. This result provides the optimal list of unavoidable finite minors for infinite graphs that cannot be partitioned into a fixed finite number of induced subgraphs with uniformly bounded maximum degree. As corollaries about clustered coloring, we obtain a linear relation between the clustered chromatic number of any minor-closed family and the tree-depth of its forbidden minors, improving an earlier exponential bound proved by Norin, Scott, Seymour, and Wood and confirming the planar case of their conjecture.
Binomial edge ideals of weakly closed graphs
Published
• View Publication
• BIB
Closed graphs have been characterized by Herzog et al. as the graphs whose binomial edge ideals have a quadratic Gröbner basis with respect to a diagonal term order. In this paper, we focus on a generalization of closed graphs, namely weakly-closed graphs (or co-comparability graphs). Build on some results about Knutson ideals of generic matrices, we characterize weakly closed graphs as the only graphs whose binomial edge ideals are Knutson ideals for a certain polynomial $f$. In doing so, we re-prove Matsuda's theorem about the F-purity of binomial edge ideals of weakly closed graphs in positive characteristic and we extend it to generalized binomial edge ideals. Furthermore, we give a characterization of weakly closed graphs in terms of the minimal primes of their binomial edge ideals and we characterize all minimal primes of Knutson ideals for this choice of $f$.
Adjacent Vertex Distinguishing Total Coloring of Corona Product of Graphs
An adjacent vertex distinguishing total $k$-coloring $f$ of a graph $G$ is a proper total $k$-coloring of $G$ such that no pair of adjacent vertices has the same color sets, where the color set at a vertex $v$, $C^G_f(v)$, is $\{f(v)\} \cup \{f(vu)|u \in V (G), vu \in E(G)\}$. In 2005 Zhang et al. posted the conjecture (AVDTCC) that every simple graph $G$ has adjacent vertex distinguishing total $(Δ(G)+3)$-coloring. In this paper we confirm the conjecture for many coronas, in particular for generalized, simple and $l$-coronas of graphs, not relating the results to particular graph classes.
The Moore-Penrose Inverse of the Distance Matrix of a Helm Graph
Published
• View Publication
• BIB
In this paper, we give necessary and sufficient conditions for a real symmetric matrix, and in particular, for the distance matrix $D(H_n)$ of a helm graph $H_n$ to have their Moore-Penrose inverses as the sum of a symmetric Laplacian-like matrix and a rank one matrix. As a consequence, we present a short proof of the inverse formula, given by Goel (Linear Algebra Appl. 621:86--104, 2021), for $D(H_n)$ when $n$ is even. Further, we derive a formula for the Moore-Penrose inverse of singular $D(H_n)$ that is analogous to the formula for $D(H_n)^{-1}$. Precisely, if $n$ is odd, we find a symmetric positive semidefinite Laplacian-like matrix $L$ of order $2n-1$ and a vector $\mathbf{w}\in \mathbb{R}^{2n-1}$ such that
\begin{eqnarray*}
D(H_n)\ssymbol{2} = -\frac{1}{2}L + \frac{4}{3(n-1)}\mathbf{w}\mathbf{w^{\prime}},
\end{eqnarray*} where the rank of $L$ is $2n-3$. We also investigate the inertia of $D(H_n)$.
Adjacency and Broadcast Dimension of Grid and Directed Graphs
Let $G$ be a simple undirected graph. A function $f : V(G) \to \mathbb{Z}_{\geq 0}$ is a $\textit{resolving broadcast}$ of $G$ if for any distinct $x, y \in V(G)$, there exists a vertex $z \in V(G)$ with $f(z) > 0$ such that $\min \{ d(z, x), f(z)+1 \} \neq \min \{ d(z, y), f(z)+1 \}$. The $\textit{broadcast dimension}$ $\text{bdim}(G)$ of $G$ is the minimum of $\sum_{v \in V(G)} f(v)$ over all resolving broadcasts $f$ of $G$. Similarly, the $\textit{adjacency dimension}$ $\text{adim}(G)$ of $G$ is the minimum of $\sum_{v \in V(G)} f(v)$ over all resolving broadcasts $f$ of $G$ where $f$ takes values in $\{0,1\}$. These parameters are defined analogously for directed graphs by considering directed distances.
We partially resolve a question of Zhang by obtaining precise bounds for the adjacency dimension of certain Cartesian products of path graphs, namely $\text{adim}(P_2 \square P_n)$ and $\text{adim}(P_3 \square P_n)$. Additionally, we study the behavior of adjacency and broadcast dimension on directed graphs. First, we explicitly calculate the adjacency dimension of a directed complete $k$-ary tree, where every edge is directed towards the leaves. Next, we prove that $\text{adim}(\vec{G}) = \text{bdim}(\vec{G})$ for some particular directed trees $\vec{G}$. Furthermore, we show that $\text{bdim}(G)$ can be as large as an exponential function of $\text{bdim}(\vec{G})$ or as small as a logarithmic function of $\text{bdim}(\vec{G})$.
Characterizing graphs with fully positive semidefinite $Q$-matrices
Published in Linear Algebra Appl. 671 (2023) 59-66
• View Publication
• BIB
For $q\in\mathbb{R}$, the $Q$-matrix $Q=Q_q$ of a connected simple graph $G=(V,E)$ is $Q_q=(q^{\partial(x,y)})_{x,y\in V}$, where $\partial$ denotes the path-length distance. Describing the set $π(G)$ consisting of those $q\in \mathbb{R}$ for which $Q_q$ is positive semidefinite is fundamental in asymptotic spectral analysis of graphs from the viewpoint of quantum probability theory. Assume that $G$ has at least two vertices. Then $π(G)$ is easily seen to be a nonempty closed subset of the interval $[-1,1]$. In this note, we show that $π(G)=[-1,1]$ if and only if $G$ is isometrically embeddable into a hypercube (infinite-dimensional if $G$ is infinite) if and only if $G$ is bipartite and does not possess certain five-vertex configurations, an example of which is an induced $K_{2,3}$.
Birational rowmotion on a rectangle over a noncommutative ring
Published in Combinatorial Theory, 3(3) (2023)
• View Publication
• BIB
We extend the periodicity of birational rowmotion for rectangular posets to the case when the base field is replaced by a noncommutative ring (under appropriate conditions). This resolves a conjecture from 2014. The proof uses a novel approach and is fully self-contained.
Consider labellings of a finite poset $P$ by $\left|P\right| + 2$ elements of a ring $\mathbb{K}$: one label associated with each poset element and two constant labels for the added top and bottom elements in $\hat{P}$. *Birational rowmotion* is a partial map on such labellings. It was originally defined by Einstein and Propp for $\mathbb{K}=\mathbb{R}$ as a lifting (via detropicalization) of *piecewise-linear rowmotion*, a map on the order polytope $\mathcal{O}(P) := \{\text{order-preserving } f: P \to[0,1]\}$. The latter, in turn, extends the well-studied rowmotion map on the set of order ideals (or more properly, the set of order filters) of $P$, which correspond to the vertices of $\mathcal{O}(P)$. Dynamical properties of these combinatorial maps sometimes (but not always) extend to the birational level, while results proven at the birational level always imply their combinatorial counterparts. Allowing $\mathbb{K}$ to be noncommutative, we generalize the birational level even further, and some properties are in fact lost at this step.
In 2014, the authors gave the first proof of periodicity for birational rowmotion on rectangular posets (when $P$ is a product of two chains) for $\mathbb{K}$ a field, and conjectured that it survives (in an appropriately twisted form) in the noncommutative case. In this paper, we prove this noncommutative periodicity and a concomitant antipodal reciprocity formula. We end with some conjectures about periodicity for other posets, and the question of whether our results can be extended to (noncommutative) semirings.
Ramsey numbers upon vertex deletion
Published
• View Publication
• BIB
Given a graph $G$, its Ramsey number $r(G)$ is the minimum $N$ so that every two-coloring of $E(K_N)$ contains a monochromatic copy of $G$. It was conjectured by Conlon, Fox, and Sudakov that if one deletes a single vertex from $G$, the Ramsey number can change by at most a constant factor. We disprove this conjecture, exhibiting an infinite family of graphs such that deleting a single vertex from each decreases the Ramsey number by a super-constant factor.
One consequence of this result is the following. There exists a family of graphs $\{G_n\}$ so that in any Ramsey coloring for $G_n$ (that is, a coloring of a clique on $r(G_n)-1$ vertices with no monochromatic copy of $G_n$), one of the color classes has density $o(1)$.
On the Sombor index of graphs with given connectivity and number of bridges
Recently in 2021, Gutman introduced the Sombor index of a graph, a novel degree-based topological index. It has been shown that the Sombor index efficiently models the thermodynamic properties of chemical compounds. Assume $\mathbb{B}_n^k$ (resp. $\mathbb{V}_n^k$) comprises all graphs with order $n$ having number of bridges (resp. vertex-connectivity) $k$. Horoldagva & Xu (2021) characterized graphs achieving the maximum Sombor index of graphs in $\mathbb{B}_n^k$. This paper characterizes graphs achieving the minimum Sombor index in $\mathbb{B}_n^k$. Certain auxiliary operation on graphs in $\mathbb{B}_n^k$ are introduced and employed for the characterization. Moreover, we characterize graphs achieving maximum Sombor index in $\mathbb{V}_n^k$. ome open problems, which naturally arise from this work, have been proposed at the end.
Product structure of graph classes with strongly sublinear separators
We investigate the product structure of hereditary graph classes admitting strongly sublinear separators. We characterise such classes as subgraphs of the strong product of a star and a complete graph of strongly sublinear size. In a more precise result, we show that if any hereditary graph class $\mathcal{G}$ admits $O(n^{1-ε})$ separators, then for any fixed $δ\in(0,ε)$ every $n$-vertex graph in $\mathcal{G}$ is a subgraph of the strong product of a graph $H$ with bounded tree-depth and a complete graph of size $O(n^{1-ε+δ})$. This result holds with $δ=0$ if we allow $H$ to have tree-depth $O(\log\log n)$. Moreover, using extensions of classical isoperimetric inequalties for grids graphs, we show the dependence on $δ$ in our results and the above $\text{td}(H)\in O(\log\log n)$ bound are both best possible. We prove that $n$-vertex graphs of bounded treewidth are subgraphs of the product of a graph with tree-depth $t$ and a complete graph of size $O(n^{1/t})$, which is best possible. Finally, we investigate the conjecture that for any hereditary graph class $\mathcal{G}$ that admits $O(n^{1-ε})$ separators, every $n$-vertex graph in $\mathcal{G}$ is a subgraph of the strong product of a graph $H$ with bounded tree-width and a complete graph of size $O(n^{1-ε})$. We prove this for various classes $\mathcal{G}$ of interest.
The oriented relative clique number of triangle-free planar graphs is 10
Published
• View Publication
• BIB
In relation to oriented coloring and chromatic number, the parameter oriented relative clique number of an oriented graph $\overrightarrow{G}$, denoted by $ω_{ro}(\overrightarrow{G})$, is the main focus of this work. We solve an open problem mentioned in the recent survey on oriented coloring by Sopena (Discrete Mathematics 2016), and positively settle a conjecture due to Sen (PhD thesis 2014), by proving that the maximum value of $ω_{ro}(\overrightarrow{G})$ is $10$ when $\overrightarrow{G}$ is a planar graph.