Showing 20 papers (Total: 83842 papers, 48355 authors in database)
On the structure of cellular pseudomanifolds
In this paper we study the structure of cellular pseudomanifolds (aka abstract polytopes). These are natural combinatorial generalisations of polytopal spheres (i.e., boundary complexes of convex polytopes). This class is closed under natural notions of duality and product. We show that they are also closed under an operation of direct product. Any cellular pseudomanifold and it's dual have homeomorphic geometric carriers, while the geometric carrier of the product of two of them is homeomorphic to the product of the carriers of the factors. The excess of a cellular pseudomanifold is defined as the non-negative integer $n - d - 2$ where $d$ is the dimension and $n$ is the number of vertices. We completely classify the cellular pseudo manifolds of excess $< 2$, and make some progress towards classifying those of excess 2.
The degree and codegree threshold for generalized triangle and some trees covering
Published
• View Publication
• BIB
Given two $k$-uniform hypergraphs $F$ and $G$, we say that $G$ has an $F$-covering if for every vertex in $G$ there is a copy of $F$ covering it. For $1\leq i\leq k-1$, the minimum $i$-degree $δ_i(G)$ of $G$ is the minimum integer such that every $i$ vertices are contained in at least $δ_i(G)$ edges. Let $c_i(n,F)$ be the largest minimum $i$-degree among all $n$-vertex $k$-uniform hypergraphs that have no $F$-covering. In this paper, we consider the $F$-covering problem in $3$-uniform hypergraphs when $F$ is the generalized triangle $T$, where $T$ is a $3$-uniform hypergraph with the vertex set $\{v_1,v_2,v_3,v_4,v_5\}$ and the edge set $\{\{v_{1}v_{2}v_{3}\},\{v_{1}v_{2}v_{4}\},\{v_{3}v_{4}v_{5}\}\}$. We give the exact value of $c_2(n,T)$ and asymptotically determine $c_1(n,T)$. We also consider the $F$-covering problem in $3$-uniform hypergraphs when $F$ are some trees, such as the linear $k$-path $P_k$ and the star $S_k$. Especially, we provide bounds of $c_i(n,P_k)$ and $c_i(n,S_k)$ for $k\geq 3$, where $i=1,2$.
Structural and Combinatorial Properties of 2-swap Word Permutation Graphs
Published
• View Publication
• BIB
In this paper, we study the graph induced by the $\textit{2-swap}$ permutation on words with a fixed Parikh vector. A $2$-swap is defined as a pair of positions $s = (i, j)$ where the word $w$ induced by the swap $s$ on $v$ is $v[1] v[2] \dots v[i - 1] v[j] v[i+1] \dots v[j - 1] v[i] v[j + 1] \dots v[n]$. With these permutations, we define the $\textit{Configuration Graph}$, $G(P)$ defined over a given Parikh vector. Each vertex in $G(P)$ corresponds to a unique word with the Parikh vector $P$, with an edge between any pair of words $v$ and $w$ if there exists a swap $s$ such that $v \circ s = w$. We provide several key combinatorial properties of this graph, including the exact diameter of this graph, the clique number of the graph, and the relationships between subgraphs within this graph. Additionally, we show that for every vertex in the graph, there exists a Hamiltonian path starting at this vertex. Finally, we provide an algorithm enumerating these paths from a given input word of length $n$ with a delay of at most $O(\log n)$ between outputting edges, requiring $O(n \log n)$ preprocessing.
Polynomial removal lemma for ordered matchings
Published
• View Publication
• BIB
We prove that for every ordered matching $H$ on $t$ vertices, if an ordered $n$-vertex graph $G$ is $\varepsilon$-far from being $H$-free, then $G$ contains $\text{poly}(\varepsilon) n^t$ copies of $H$. This proves a special case of a conjecture of Tomon and the first author. We also generalize this statement to uniform hypergraphs.
On Finite groups whose power graphs are line graphs
Published
• View Publication
• BIB
S. Bera (Line graph characterization of power graphs of finite nilpotent groups, \textit{Communication in Algebra}, 50(11), 4652-4668, 2022) characterized finite nilpotent groups whose power graphs and proper power graphs are line graphs. In this paper, we extend the results of above mentioned paper to arbitrary finite groups. Also, we correct the corresponding result of the proper power graphs of dihedral groups. Moreover, we classify all the finite groups whose enhanced power graphs are line graphs. We classify all the finite nilpotent groups (except non-abelian $2$-groups) whose proper enhanced power graphs are line graphs of some graphs. Finally, we determine all the finite groups whose power graphs, proper power graphs, enhanced power graphs and proper enhanced power graphs are the complement of line graphs, respectively.
Sparse Graphs of Twin-width 2 Have Bounded Tree-width
Twin-width is a structural width parameter introduced by Bonnet, Kim, Thomassé and Watrigant [FOCS 2020]. Very briefly, its essence is a gradual reduction (a contraction sequence) of the given graph down to a single vertex while maintaining limited difference of neighbourhoods of the vertices, and it can be seen as widely generalizing several other traditional structural parameters. Having such a sequence at hand allows to solve many otherwise hard problems efficiently. Our paper focuses on a comparison of twin-width to the more traditional tree-width on sparse graphs. Namely, we prove that if a graph $G$ of twin-width at most $2$ contains no $K_{t,t}$ subgraph for some integer $t$, then the tree-width of $G$ is bounded by a polynomial function of $t$. As a consequence, for any sparse graph class $\mathcal{C}$ we obtain a polynomial time algorithm which for any input graph $G \in \mathcal{C}$ either outputs a contraction sequence of width at most $c$ (where $c$ depends only on $\mathcal{C}$), or correctly outputs that $G$ has twin-width more than $2$. On the other hand, we present an easy example of a graph class of twin-width $3$ with unbounded tree-width, showing that our result cannot be extended to higher values of twin-width.
The realization space of a certain conic line arrangement of degree 7 and a $π_1$-equivalent Zariski pair
Published
• View Publication
• BIB
In this paper, we continue the study of the embedded topology of plane algebraic curves. We study the realization space of conic line arrangements of degree $7$ with certain fixed combinatorics and determine the number of connected components. This is done by showing the existence of a Zariski pair having these combinatorics, which we identified as a $π_1$-equivalent Zariski pair.
Weakly Hadamard diagonalizable graphs and Quantum State Transfer
Published
• View Publication
• BIB
Hadamard diagonalizable graphs are undirected graphs for which the corresponding Laplacian is diagonalizable by a Hadamard matrix. Such graphs have been studied in the context of quantum state transfer. Recently, the concept of a weak Hadamard matrix was introduced: a $\{-1,0, 1\}$-matrix $P$ such that $PP^T$ is tridiagonal, as well as the concept of weakly Hadamard diagonalizable graphs. We therefore naturally explore quantum state transfer in these generalized Hadamards. Given the infancy of the topic, we provide numerous properties and constructions of weak Hadamard matrices and weakly Hadamard diagonalizable graphs in order to better understand them.
Yay for Determinants!
Published in A case study in determinant evaluations, Séminaire Lotharingien de Combinatoire, 89 (2023), Article B89a
• Search Publication
In this {\it case study}, we hope to show why Sheldon Axler was not just wrong, but {\em wrong}, when he urged, in 1995: ``Down with Determinants!''. We first recall how determinants are useful in enumerative combinatorics, and then illustrate three versatile tools (Dodgson's condensation, the holonomic ansatz and constant term evaluations) to operate in tandem to prove a certain intriguing determinantal formula conjectured by the first author. We conclude with a postscript describing yet another, much more efficient, method for evaluating determinants: `ask determinant-guru, Christian Krattenthaler', but advise people only to use it as a last resort, since if we would have used this last method right away, we would not have had the fun of doing it all by ourselves.
A Serre spectral sequence for the moduli space of tropical curves
Published
• View Publication
• BIB
We construct, for all $g\geq 2$ and $n\geq 0$, a spectral sequence of rational $S_n$-representations which computes the $S_n$-equivariant reduced rational cohomology of the tropical moduli spaces of curves $Δ_{g,n}$ in terms of compactly supported cohomology groups of configuration spaces of $n$ points on graphs of genus $g$. Using the canonical $S_n$-equivariant isomorphisms $\widetilde{H}^{i-1}(Δ_{g,n};\mathbb{Q}) \cong W_0 H^i_c(\mathcal{M}_{g,n};\mathbb{Q})$, we calculate the weight $0$, compactly supported rational cohomology of the moduli spaces $\mathcal{M}_{g,n}$ in the range $g=3$ and $n\leq 9$, with partial computations available for $n\leq 13$.
The Number of Ribbon Tilings for Strips
Published
• View Publication
• BIB
First, we consider order-$n$ ribbon tilings of an $M$-by-$N$ rectangle $R_{M,N}$ where $M$ and $N$ are much larger than $n$. We prove the existence of the growth rate $γ_n$ of the number of tilings and show that $γ_n \leq (n-1) \ln 2$. Then, we study a rectangle $R_{M,N}$ with fixed width $M=n$, called a strip. We derive lower and upper bounds on the growth rate $μ_n$ for strips as $ \ln n - 1 + o(1) \leq μ_n \leq \ln n $. Besides, we construct a recursive system which enables us to enumerate the order-$n$ ribbon tilings of a strip for all $n \leq 8$ and calculate the corresponding generating functions.
Induced subgraph density. II. Sparse and dense sets in cographs
Published
• View Publication
• BIB
A well-known theorem of Rödl says that for every graph $H$, and every $ε>0$, there exists $δ>0$ such that if $G$ does not contain an induced copy of $H$, then there exists $X\subseteq V(G)$ with $|X|\ge δ|G|$ such that one of $G[X],\overline{G}[X]$ has edge-density at most $ε$. But how does $δ$ depend on $ε$? Fox and Sudakov conjectured that the dependence is at most polynomial: that for all $H$ there exists $c>0$ such that for all $ε$ with $0<ε\le 1/2$, Rödl's theorem holds with $δ=ε^c$. This conjecture implies the Erdős-Hajnal conjecture, and until now it had not been verified for any non-trivial graphs $H$. Our first result shows that it is true when $H=P_4$. Indeed, in that case we can take $δ=ε$, and insist that one of $G[X],\overline{G}[X]$ has maximum degree at most $ε^2|G|$).
Second, we will show that every graph $H$ that can be obtained by substitution from copies of $P_4$ satisfies the Fox-Sudakov conjecture. To prove this, we need to work with a stronger property. Let us say $H$ is {\em viral} if there exists $c>0$ such that for all $ε$ with $0<ε\le 1/2$, if $G$ contains at most $ε^c|G|^{|H|}$ copies of $H$ as induced subgraphs, then there exists $X\subseteq V(G)$ with $|X|\ge ε^c|G|$ such that one of $G[X],\overline{G}[X]$ has edge-density at most $ε$. We will show that $P_4$ is viral, using a ``polynomial $P_4$-removal lemma'' of Alon and Fox. We will also show that the class of viral graphs is closed under vertex-substitution.
Finally, we give a different strengthening of Rödl's theorem: we show that if $G$ does not contain an induced copy of $P_4$, then its vertices can be partitioned into at most $480ε^{-4}$ subsets $X$ such that one of $G[X],\overline{G}[X]$ has maximum degree at most $ε|X|$.
Hamilton transversals in tournaments
Published
• View Publication
• BIB
It is well-known that every tournament contains a Hamilton path, and every strongly connected tournament contains a Hamilton cycle. This paper establishes transversal generalizations of these classical results. For a collection $\mathbf{T}=\{T_1,\dots,T_m\}$ of not-necessarily distinct tournaments on a common vertex set $V$, an $m$-edge directed graph $\mathcal{D}$ with vertices in $V$ is called a $\mathbf{T}$-transversal if there exists a bijection $φ\colon E(\mathcal{D})\to [m]$ such that $e\in E(T_{φ(e)})$ for all $e\in E(\mathcal{D})$. We prove that for sufficiently large $m$ with $m=|V|-1$, there exists a $\mathbf{T}$-transversal Hamilton path. Moreover, if $m=|V|$ and at least $m-1$ of the tournaments $T_1,\ldots,T_m$ are assumed to be strongly connected, then there is a $\mathbf{T}$-transversal Hamilton cycle. In our proof, we utilize a novel way of partitioning tournaments which we dub $\mathbf{H}$-partition.
A graph for which the second largest distance eigenvalue is less than $\frac{-3+\sqrt{5}}{2}$ is chordal
Published
• View Publication
• BIB
Let $G$ be a connected graph with vertex set $V(G)$. The distance, $d_G(u,v)$, between vertices $u$ and $v$ in $G$ is defined as the length of a shortest path between $u$ and $v$ in $G$. The distance matrix of $G$ is the matrix $D(G)=(d_G(u,v))_{u,v\in V(G)}$. The second largest distance eigenvalue of $G$ is the second largest one in the spectrum of $D(G)$. We show that any connected graph with the second largest distance eigenvalue less than $\frac{-3+\sqrt{5}}{2}$ is chordal, and characterize those bicyclic graphs and split graphs with the second largest distance eigenvalue less than $-\frac{1}{2}$.
On the Zeta functions of supersingular isogeny graphs and modular curves
Published
• View Publication
• BIB
Let $p$ and $q$ be distinct prime numbers, with $q\equiv 1\pmod{12}$. Let $N$ be a positive integer that is coprime to $pq$. We prove a formula relating the Hasse--Weil zeta function of the modular curve $X_0(qN)_{\mathbb{F}_q}$ to the Ihara zeta function of the $p$-isogeny graphs of supersingular elliptic curves defined over $\overline{\mathbb{F}_q}$ equipped with a $Γ_0(N)$-level structure. When $N=1$, this recovers a result of Sugiyama.
On the maximal Sombor index of quasi-tree graphs
The Sombor index $SO(G)$ of a graph $G$ is the sum of the edge weights $\sqrt{d^2_G(u)+d^2_G(v)}$ of all edges $uv$ of $G$, where $d_G(u)$ denotes the degree of the vertex $u$ in $G$. A connected graph $G = (V ,E)$ is called a quasi-tree, if there exists $u\in V (G)$ such that $G-u$ is a tree. Denote $\mathscr{Q}(n,k)$=\{$G$: $G$ is a quasi-tree graph of order $n$ with $G-u$ being a tree and $d_G(u)=k$\}. In this paper, we determined the maximum, the second maximum and the third maximum Sombor indices of all quasi-tree graphs in $\mathscr{Q}(n,k)$, respectively. Moreover, we characterized their corresponding extremal graphs, respectively.
Möbius Homology
Published
• View Publication
• BIB
This paper introduces and develops Möbius homology, a homology theory for representations of finite posets into abelian categories. Although the connection between poset topology and Möbius functions is classical, we go further by establishing a direct connection between poset topology and Möbius inversions. In particular, we show that Möbius homology categorifies the Möbius inversion, as its Euler characteristic coincides with the Möbius inversion applied to the dimension function of the representation. We also present a homological version of Rota's Galois Connection Theorem, relating the Möbius homologies of two posets connected by a Galois connection.
Our main application concerns persistent homology over general posets. We prove that, under a suitable definition, the persistence diagram arises as an Euler characteristic over a poset of intervals, and thus Möbius homology provides a categorification of the persistence diagram. This furnishes a new invariant for persistent homology over arbitrary finite posets. Finally, leveraging our homological variant of Rota's Galois Connection Theorem, we establish several results about the persistence diagram.
Crystal isomorphisms and Mullineux involution II
Published
• View Publication
• BIB
We present a new combinatorial and conjectural algorithm for computing the Mullineux involution for the symmetric group and its Hecke algebra. This algorithm is built on a conjectural property of crystal isomorphisms which can be rephrased in a purely combinatorial way.
Combinatorially rich sets in partial semigroups
Published
• View Publication
• BIB
There are several notions of size for semigroups that have natural analogues for partial semigroups. Among these are thick, syndetic, central, piecewise syndetic, IP, J, and the more recently introduced notion of combinatorially rich, abbreviated CR. We investigate the notion of CR set for adequate partial semigroups, its relation to other notions, especially J sets, and some surprising differences among them.
Complexity Dichotomies for the Maximum Weighted Digraph Partition Problem
We introduce and study a new optimization problem on digraphs, termed Maximum Weighted Digraph Partition (MWDP) problem. We prove three complexity dichotomies for MWDP: on arbitrary digraphs, on oriented digraphs, and on symmetric digraphs. We demonstrate applications of the dichotomies for binary-action polymatrix games and several graph theory problems.