Showing 20 papers (Total: 83190 papers, 48060 authors in database)
On Intersection and Co-maximal Hypergraph of $\mathbb{Z}_n$
The aim of this paper is to study the intersection hypergraph $\tildeΓ_\mathcal{H}(\mathbb{Z}_n)$ and co-maximal hypergraph $Co_\mathcal{H}(\mathbb{Z}_n)$ on the subgroups of $\mathbb{Z}_n$. We prove that the intersection and co-maximal hypergraph of a finite abelian group are isomorphic. Hence, we focus on $\tildeΓ_\mathcal{H}(\mathbb{Z}_n)$ and examine some of the structural properties, viz., diameter, girth and chromatic number of $\tildeΓ_\mathcal{H}(\mathbb{Z}_n)$. Also, we provide characterizations for hypertrees, star structures of $\tildeΓ_\mathcal{H}(\mathbb{Z}_n)$, and investigate the planarity and non-planarity of $\tildeΓ_\mathcal{H}(\mathbb{Z}_n)$.
A sum rule for derangements
We propose a sum rule for derangements. Three different proofs are provided. The first one involves integral representations and the second one relies on the Hermite identity for the integer part of the product of an integer by a real number. The third one, which, unlike the previous ones, is not based on induction, proceeds directly from a recurrence relation for the number of derangements.
The Story of Sunflowers
Published
• View Publication
• BIB
Sunflowers, or $Δ$-systems, are a fundamental concept in combinatorics introduced by Erdős and Rado in their paper: {\em Intersection theorems for systems of sets}, J. Lond. Math. Soc. (1) {\bf 35} (1960), 85--90. A sunflower is a collection of sets where all pairs have the same intersection. This paper explores the wide-ranging applications of sunflowers in computer science and combinatorics. We discuss recent progress towards the sunflower conjecture and present a short elementary proof of the best known bounds for the robust sunflower lemma.
Bijection Between Point-Hyperplane Anti-Flags of $V(n, 2)$ and Non-Singular Points of $O^+(2n, 2)$
Published
• View Publication
• BIB
We give a bijection between the point-hyperplane antiflags of $V(n, 2)$ and the non-singular points of $V(2n, 2)$ with respect to a hyperbolic quadric. With the help of this bijection, we give a description of the strongly regular graph $NO^+(2n, 2)$ in $V(2n, 2)$. We also describe a graph in $V(2n, 2)$ that was recently defined by Stanley and Takeda in $V(n, 2)$.
The Serre depth of Stanley-Reisner rings and the depth of their symbolic powers
We investigate an invariant, called the Serre depth, from the perspective of combinatorial commutative algebra. In this paper, we establish several properties of an analogue of the depth of Stanley-Reisner rings. In particular, we relate the Serre depth both to the minimal free resolution of a Stanley-Reisner ring and to that of its Alexander dual. Also, we establish an analogue of a known result that describes the depth of Stanley-Reisner rings in terms of skeletons. Moreover, we study the Serre depth for $(S_{2})$ and the depth on the symbolic powers of Stanley--Reisner ideals. It had been an open question whether the depth of the symbolic powers of Stanley-Reisner ideals satisfies a non-increasing property, but Nguyen and Trung provided a negative answer. We construct an example that the Serre depth for $(S_{2})$ and the depth do not satisfy this property and its second symbolic power is Cohen-Macaulay. Moreover, we prove that the sequence of the Serre depth for $(S_{2})$ on the symbolic powers is convergent and that its limit coincides with the minimum value. Finally, we study the Serre depth on edge and cover ideals. Whether the depth on symbolic powers of edge ideals satisfies a non-increasing property has remained an open question. We address a related problem and show that the Serre depth for $(S_{2})$ on edge ideals of any well-covered graph satisfies a non-increasing property. In addition, we prove that the Serre depth for $(S_{2})$ on the cover ideals of any graph also satisfies a non-increasing property. Moreover, we determine the Serre depth on edge ideals of very well-covered graphs.
On 3-Connected Cubic Planar Graphs and their Strong Embeddings on Orientable Surfaces
Although the strong embedding of a 3-connected planar graph $G$ on the sphere is unique, $G$ can have different inequivalent strong embeddings on a surface of positive genus. If $G$ is cubic, then the strong embeddings of $G$ on the projective plane, the torus and the Klein bottle each are in one-to-one correspondence with certain subgraphs of the dual graph $G^\ast$. Here, we exploit this characterisation and show that two strong embeddings of $G$ on the projective plane, the torus or the Klein bottle are isomorphic if and only if the corresponding subgraphs of $G^{\ast}$ are contained in the same orbit under $\mathrm{Aut}(G^{\ast})$. This allows us to construct a data base containing all isomorphism classes of strong embeddings on the projective plane, the torus and the Klein bottle of all 3-connected cubic planar graphs with up to 22 vertices. Moreover, we establish that cyclically 4-edge connected cubic planar graphs can be strongly embedded on orientable surfaces of positive genera. We use this to show that a 3-connected cubic planar graph has no strong embedding on orientable surfaces of positive genera if and only if it is the dual of an Apollonian network.
Improvement of effective Erdos-Wintner theorem for Zeckendorf expansions
We revisit the effective Erdos-Wintner theorem for Zeckendorf expansions. Drmota and the author obtained a uniform Kolmogorov bound whose error involves $T\sum_{j>L-2h}|f(F_j)|$, which assumes absolute convergence of the linear tail $\sum_j f(F_j)$. We remove this assumption. Grouping the transfer matrices in pairs and working to second order on the logarithm of the product, after extracting the common linear phase along the dominant direction, yields a quadratic tail $T^2\sum_{j>L-2h} f(F_j)^2$, or, in a flexible variant, the split tail $T\sum_{|f(F_j)|>1/T}|f(F_j)| + T^2\sum_{|f(F_j)|\le 1/T} f(F_j)^2$. Either form requires only $\sum f(F_j)^2<\infty$.
Measurable one-ended spanning trees
We show that a one-ended, locally finite, measurable graph on a standard probability space admits a measurable one-ended spanning subtree if and only if it is measure-hyperfinite. This answers a question posed by Bowen, Poulin, and Zomback and extends recent results of Timár and Conley, Gaboriau, Marks, and Tucker-Drob.
Universal series for dihedral group coinvariant rings
In 1994, Alfano determined a monomial basis, bigraded Hilbert series, and bigraded Frobenius series for the ring of diagonal dihedral group coinvariants $R^{(2,0)}_{\mathfrak{I}_{2}(n)}$. Using diagonal supersymmetry, we determine a universal multigraded character series, universal multigraded Hilbert series, and monomial basis for the generalization to any $k$ sets of bosonic variables and $j$ sets of fermionic variables $R^{(k,j)}_{\mathfrak{I}_{2}(n)}$.
Incidence of lines, points, and planes in $PG(3,q)$ with respect to the twisted cubic
Published
• View Publication
• BIB
We consider the orbits of the group $G=PGL_2(q)$ on the points, lines and planes of the projective space $PG(3,q)$ over a finite field $\mathbb F_q$ of characteristic different from $2$ and $3$. The points of $PG(3,q)$ can be identified with projective space of binary cubic forms, and the set $\mathcal L$ of lines of $PG(3,q)$ can be thought of as pencils of cubic forms. The action of $G$ on $PG(1,q)$ naturally induces an action of $G$ on binary cubic forms $f(X,Y)$. The points of $PG(3, q)$ decompose into five $G$ orbits. The $G$ orbits on $\mathcal L$ were recently obtained by the authors. Let $\mathcal I$ be the subset of $\mathcal L \times PG(3,q)$ consisting of pairs $(L,P)$ where $L$ is a line incident with the point $P$. The decomposition of $\mathcal L \times PG(3,q)$ into $G \times G$ orbits yields a partition of $\mathcal I$. The problem that we solve in this work is to determine the sizes of the corresponding parts of $\mathcal I$.
Entropy approximations of algebraic matroids over finite fields
We investigate the asymptotic behavior of entropy polymatroids associated with algebraic matroids over finite fields. Given an algebraic matroid ${\sf M}:=(\mathcal{E},r)$ and the irreducible variety $V$ associated with ${\sf M}$, we consider the polymatroid $h_{\mathbb{F}}$ induced by the entropies of the projections of $V(\mathbb{F})$, where $\mathbb{F}$ is a finite extension of $\mathbb{G}$. Revisiting a construction of Matú$\check{\mathrm{s}}$, we show that the polymatroid $h_{\mathbb{F}}$ converges to the rank function $r$ of ${\sf M}$ as $q:=|\mathbb{F}|$ tends to infinity.
Our main contribution is to make this convergence quantitative: we derive explicit uniform error bounds for the deviation $|h_\mathbb{F}-r|$, expressed in terms of the degree of $V$, the ground set size $|\mathcal{E}|$, the rank $r(\mathcal{E})$, and $q$. The proofs combine tools of algebraic geometry (effective Lang-Weil estimates and intrinsic degree bounds for annihilating polynomials of circuits) with information-theoretic arguments (submodularity of entropy and conditional entropy estimates).
These results provide the first effective and uniform approximation bounds for algebraic matroids by entropy polymatroids, clarifying the quantitative link between algebraic independence (captured by matroid rank) and information-theoretic independence (captured by entropy).
Diameter bounds for finite simple Lie algebras
We prove strong and explicit diameter bounds for finite simple Lie algebras, which parallel Babai's conjecture for finite simple groups. Specifically, we show that any nonabelian finite simple Lie algebra $\mathfrak{g}$ over $\mathbf{F}_p$ has diameter $O((\log |\mathfrak{g}|)^D)$ for $D \approx 3.11$ with respect to any generating set. For absolutely simple classical Lie algebras over $\mathbf{F}_p$, we establish the sharper bound $O(\log |\mathfrak{g}|)$ when the Lie type is fixed and the generators are chosen uniformly at random.
Global coalition sets in graphs
Let $G=(V,E)$ be a graph. A subset $S \subseteq V$ is called a global dominating set of $G$, if it serves as a dominating set in both $G$ and its complement $\overline{G}$. We define two disjoint subsets $V_1,V_2 \subseteq V$ to form a global coalition if neither $V_1$ nor $V_2$ individually constitutes a global dominating set, yet their union $V_1 \cup V_2$ does. A global coalition partition (abbreviated as $gc$-partition) of $G$ is a vertex partition $π$ of $V(G)$ such that for every subset $V_i \in π$, there exists another subset $V_j \in π$ with which $V_i$ forms a global coalition. In this paper, we initiate the study of global coalition in graphs. Specifically, we prove that every graph admits a gc-partition. Additionally, we establish an upper bound on the number of global coalitions in which each member of a gc-partition can participate. We also explore the relationships between global coalition and coalition, as well as between global coalition and perfect coalition in graphs. Finally, we explore properties of $gc$-partitions in unicyclic graphs.
The nucleus of the Grassmann graph $J_q(N,D)$
Published
• View Publication
• BIB
Let $\mathbb{F}_q$ denote a finite field with $q$ elements. Let $N$ and $D$ denote integers with $N>D \ge 1$. Let $\mathcal{V}$ denote an $N$-dimensional vector space over $\mathbb{F}_q$. The Grassmann graph $J_q(N,D)$ is the graph with vertex set $X$ that consists of the $D$-dimensional subspaces of $\mathcal{V}$. Two vertices are adjacent whenever their intersection has dimension $D-1$. Fix a vertex $x$ in $X$. The Terwilliger algebra $T=T(x)$ of $J_q(N,D)$ with respect to $x$ is the subalgebra of $\mathrm{Mat}_X(\mathbb{C})$ generated by the adjacency matrix $A$ and the dual adjacency matrix $A^* = A^*(x)$. It is known that an irreducible $T$-module $W$ has certain parameters called the endpoint $r$, the dual endpoint $t$, and the diameter $d$. The displacement of $W$ is defined to be the integer $r+t-D+d$. Let $\mathcal{N}=\mathcal{N}(x)$ denote the span of all irreducible $T$-modules with displacement 0. We call $\mathcal{N}$ the nucleus of $J_q(N,D)$ with respect to $x$. In this paper, we study the structure of $\mathcal{N}$. Specifically, we present a formula for the dimension of $\mathcal{N}$, construct two explicit bases for $\mathcal{N}$, and describe the action of $A$ and $A^*$ on these bases. To obtain these results, we use the projective geometry $P_q(N)$, consisting of all subspaces of $\mathcal{V}$, as a key tool.
On the existence of directed strongly regular graphs with parameters (22, 9, 6, 3, 4)
Published in Prikladnaya Diskretnaya Matematika, 2024, no. 66, 86-96
• View Publication
• BIB
The paper shows the existence of a family of directed strongly regular graphs with parameters (22, 9, 6, 3, 4). The adjacency matrices of the found digraphs are composed of $3\times 3$ circulant blocks. The automorphism group of all the digraphs found is the group $\mathbb{Z}_3$. The structure of the resulting digraphs is described using concepts of skeleton and rigging.
Linear recoloring diameter of degenerate chordal graphs and bounded treewidth graphs
Published
• View Publication
• BIB
Let $G$ be a graph on $n$ vertices and $t$ an integer. The reconfiguration graph of $G$, denoted by $R_t(G)$, consists of all $t$-colorings of $G$ and two $t$-colorings are adjacent if they differ on exactly one vertex. The $t$-recoloring diameter of $G$ is the diameter of $R_t(G)$. For a $d$-degenerate graph $G$, $R_t(G)$ is connected when $t \ge d+2$~(Dyer et al., 2006). Furthermore, the $t$-recoloring diameter is $O(n^2)$ when $t \ge 3(d+1)/2$~(Bousquet et al., 2022), and it is $O(n)$ when $t \ge 2d+2$~(Bousquet and Perarnau, 2016). For a $d$-degenerate and chordal graph $G$, the $t$-recoloring diameter of $G$ is $O(n^2)$ when $t \ge d+2$~(Bonamy et al. 2014). If $G$ is a graph of treewidth at most $k$, then $G$ is also $k$-degenerate, and the previous results hold. Moreover, when $t \ge k+2$, the $t$-recoloring diameter is $O(n^2)$~(Bonamy and Bousquet, 2013). When $k=2$, the $t$-recoloring diameter of $G$ is linear when $t \ge 5$~(Bartier, Bousquet and Heinrich, 2021) and the result is tight. In this paper, we prove that if $G$ is $d$-degenerate and chordal, then the $t$-recoloring diameter of $G$ is $O(n)$ when $t \ge 2d+1$. Moreover, if the treewidth of $G$ is at most $k$, then the $t$-recoloring diameter is $O(n)$ when $t \ge 2k+1$. This result is a generalization of the previous results on graphs of treewidth at most two.
Tree-independence number VI. Thetas and pyramids
Given a family $\mathcal{H}$ of graphs, we say that a graph $G$ is $\mathcal{H}$-free if no induced subgraph of $G$ is isomorphic to a member of $\mathcal{H}$. Let $W_{t\times t}$ be the $t$-by-$t$ hexagonal grid and let $\mathcal{L}_t$ be the family of all graphs $G$ such that $G$ is the line graph of some subdivision of $W_{t \times t}$. We denote by $ω(G)$ the size of the largest clique in $G$. We prove that for every integer $t$ there exist integers $c_1(t)$, $c_2(t)$ and $d(t)$ such that every (pyramid, theta, $\mathcal{L}_t$)-free graph $G$ satisfies: i) $G$ has a tree decomposition where every bag has size at most $ω(G)^{c_1(t)} \log (|V(G)|)$. ii) If $G$ has at least two vertices, then $G$ has a tree decomposition where every bag has independence number at most $\log^{c_2(t)} (|V(G)|)$. iii) For any weight function, $G$ has a balanced separator that is contained in the union of the neighborhoods of at most $d(t)$ vertices. These results qualitatively generalize the main theorems of Abrishami et al. (2022) and Chudnovsky et al. (2024). Additionally, we show that there exist integers $c_3(t), c_4(t)$ such that for every (theta, pyramid)-free graph $G$ and for every non-adjacent pair of vertices $a,b \in V(G)$, i) $a$ can be separated from $b$ by removing at most $w(G)^{c_3(t)}\log(|V(G)|)$ vertices. ii) $a$ can be separated from $b$ by removing a set of vertices with independence number at most $\log^{c_4(t)}(|V(G)|)$.
Counting induced subgraphs with given intersection sizes
Let $F$ be a graph of order $r$. In this paper, we study the maximum number of induced copies of $F$ with restricted intersections, which highlights the motivation from extremal set theory. Let $L=\{\ell_1,\dots,\ell_s\}\subseteq[0,r-1]$ be an integer set with $s\not\in\{1,r\}$. Let $Ψ_r(n,F,L)$ be the maximum number of induced copies of $F$ in an $n$-vertex graph, where the induced copies of $F$ are $L$-intersecting as a family of $r$-subsets, i.e., for any two induced copies of $F$, the size of their intersection is in $L$. Helliar and Liu initiated a study of the function $Ψ_r(n,K_r,L)$. Very recently, Zhao and Zhang improved their result and showed that $Ψ_r(n,K_r,L)=Θ_{r,L}(n^{s})$ if and only if $\ell_1,\dots,\ell_s,r$ form an arithmetic progression. In this paper, we show that $Ψ_r(n,F,L)=o_{r,L}(n^{s})$ when $\ell_1,\dots,\ell_s,r$ do not form an arithmetic progression. We study the asymptotical result of $Ψ_r(n,C_r,L)$, and determined the asymptotically optimal result when $\ell_1,\dots,\ell_s,r$ form an arithmetic progression and take certain values. We also study the generalized Turán problem, determining the maximum number of $H$, where the copies of $H$ are $L$-intersecting as a family of $r$-subsets. The entropy method is used to prove our results.
Colorful circuits and colorful topes in oriented matroids
We provide a short proof of a conic version of the colorful Carathéodory theorem for oriented matroids. Holmsen's extension of the colorful Carathéodory theorem to oriented matroids (Advances in Mathematics, 2016) already encompasses several generalizations of the original result, but not its conic version. Our approach relies on a common generalization of Sperner's lemma and Meshulam's lemma-two closely related results from combinatorial topology that have found a number of applications in discrete geometry and combinatorics. This generalization may be of independent interest.
Using a similar approach, we also establish the following colorful theorem for topes, whose special geometric case had not been considered before: Given $n$ topes from a uniform oriented matroid with $n$ elements, if they agree on some element, then there is a way to select a distinct element from each tope, together with its sign, so as to form another tope of the oriented matroid. Motivated by this theorem, we further explore other conditions leading to the same conclusion.
Computing fault-tolerant metric dimension of graphs using their primary subgraphs
Published
• View Publication
• BIB
The metric dimension of a graph is the cardinality of a minimum resolving set, which is the set of vertices such that the distance representations of every vertex with respect to that set are unique. A fault-tolerant metric basis is a resolving set with a minimum cardinality that continues to resolve the graph even after the removal of any one of its vertices. The fault-tolerant metric dimension is the cardinality of such a fault-tolerant metric basis. In this article, we investigate the fault-tolerant metric dimension of graphs formed through the point-attaching process of primary subgraphs. This process involves connecting smaller subgraphs to specific vertices of a base graph, resulting in a more complex structure. By analyzing the distance properties and connectivity patterns, we establish explicit formulae for the fault-tolerant resolving sets of these composite graphs. Furthermore, we extend our results to specific graph products, such as rooted products. For these products, we determine the fault-tolerant metric dimension in terms of the fault-tolerant metric dimension of the primary subgraphs. Our findings demonstrate how the fault-tolerant dimension is influenced by the structural characteristics of the primary subgraphs and the attaching vertices. These results have potential applications in network design, error correction, and distributed systems, where robustness against vertex failures is crucial.