Showing 20 papers (Total: 81756 papers, 47371 authors in database)
General position sets, colinear sets, and Sierpiński product graphs
Published in Ann. Combin. 29 (2025) 837-852
• View Publication
• BIB
Let $G \otimes _f H$ denote the Sierpiński product of graphs $G$ and $H$ with respect to the function $f$. The Sierpiński general position number ${\rm gp}{_{\rm S}}(G,H)$ is introduced as the cardinality of a largest general position set in $G \otimes _f H$ over all possible functions $f$. Similarly, the lower Sierpiński general position number $\underline{\rm gp}{_{\rm S}}(G,H)$ is the corresponding smallest cardinality. The concept of vertex-colinear sets is introduced. Bounds for the general position number in terms of extremal vertex-colinear sets, and bounds for the (lower) Sierpiński general position number are proved. The extremal graphs are investigated. Formulas for the (lower) Sierpiński general position number of the \SP{s} with $K_2$ as the first factor are deduced. It is proved that if $m,n\geq 2$, then ${\rm gp}{_{\rm S}}(K_m,K_n) = m(n-1)$ and that if $n\ge 2m-2$, then $\underline{\rm gp}{_{\rm S}}(K_m,K_n) = m(n-m+1)$.
The Fortuin-Kasteleyn polynomial as a bialgebra morphism and applications to the Tutte polynomial
We compute an explicit formula for the antipode of the double bialgebra of graphs in terms of totally acyclic partial orientations, using some general results on double bialgebras. In analogy to what was already proven in Hopf-algebraic terms for the chromatic polynomial of a graph, we show that the Fortuin-Kasteleyn polynomial (a variant of the Tutte polynomial) is a morphism of the double algebra of graphs into that of polynomials, which generalizes the chromatic polynomial. When specialized at particular values, we give combinatorial interpretations of the Tutte polynomial of a graph, via covering graphs and covering forests, and of the Fortuin-Kasteleyn polynomial, via pairs of vertex--edge colorings. Finally we show that the map associating to a graph all its orientations is a Hopf morphism from the double bialgebra of graphs into that one of oriented graphs, allowing to give interpretations of the Fortuin-Kasteleyn polynomial when computed at negative values.
The planar Turán number of $\{K_4,Θ_5\}$
Let $\mathcal{F}$ be a set of graphs. The planar Turán number, $ex_{\mathcal{P}}(n,\mathcal{F})$, is the maximum number of edges in an $n$-vertex planar graph which does not contain any member of $\mathcal{F}$ as a subgraph. In this paper, we give upper bounds of $ex_{\mathcal{P}}(n,\{K_4,Θ_5\})\leqslant25/11(n-2)$. We also give constructions which show the bounds are tight for infinitely many graphs.
Extending the Continuum of Six-Colorings
We present two novel six-colorings of the Euclidean plane that avoid monochromatic pairs of points at unit distance in five colors and monochromatic pairs at another specified distance $d$ in the sixth color. Such colorings have previously been known to exist for $0.41 < \sqrt{2} - 1 \le d \le 1 / \sqrt{5} < 0.45$. Our results significantly expand that range to $0.354 \le d \le 0.657$, the first improvement in 30 years. Notably, the constructions underlying this were derived by formalizing colorings suggested by a custom machine learning approach.
On the Zagreb indices of the line graph and line cut-vertex graph of subdivision of unicyclic graphs
Published
• View Publication
• BIB
The first Zagreb index $M_{1}(G)$ is equal to the sum of squares of the degrees of the vertices, and the second Zagreb index $M_{2}(G)$ is equal to the sum of the products of the degrees of pairs of adjacent vertices of the underlying molecular graph $G$. This paper aims to investigate the Zagreb indices and coindices of the line graph and line cut-vertex graph of a class of unicyclic graphs called cycle-star graph using the notion of subdivision.
On the chromatic number of powers of subdivisions of graphs
Published
• View Publication
• BIB
For a given graph $G=(V,E)$, we define its \emph{$n$th subdivision} as the graph obtained from $G$ by replacing every edge by a path of length $n$. We also define the \emph{$m$th power} of $G$ as the graph on vertex set $V$ where we connect every pair of vertices at distance at most $m$ in $G$. In this paper, we study the chromatic number of powers of subdivisions of graphs and resolve the case $m=n$ asymptotically. In particular, our result confirms a conjecture of Mozafari-Nia and Iradmusa in the case $m=n=3$ in a strong sense.
Cohomology ring of non-compact abelian arrangements
Published
• View Publication
• BIB
We give a Orlik-Solomon type presentation for the cohomology ring of arrangements in a non-compact abelian Lie group. The new insight consists in comparing arrangements in different abelian groups. Our work is based on the Varchenko-Gelfand ring for real hyperplane arrangements and from that we deduce the cohomology rings of all other abelian arrangements. As by-product, we obtain a new proof of the Orlik-Solomon relations and De Concini-Procesi ones.
Modulus for bases of matroids
Published
• View Publication
• BIB
In this work, we explore the application of modulus in matroid theory, specifically, the modulus of the family of bases of matroids. This study not only recovers various concepts in matroid theory, including the strength, fractional arboricity, and principal partitions, but also offers new insights. In the process, we introduce the concept of a Beurling set. Additionally, our study revisits and provides an alternative approach to two of Edmonds's theorems related to the base packing and base covering problems. This is our stepping stone for establishing Fulkerson modulus duality for the family of bases. Finally, we provide a relationship between the base modulus of matroids and their dual matroids, and a complete understanding of the base $p$-modulus across all values of $p$.
BFS versus DFS for random targets in ordered trees
Consider a search from the root of an ordered tree with $n$ edges to some target node at a fixed distance $\ell$ from that root. We compare the average time complexity of the breadth-first search (BFS) and depth-first search (DFS) algorithms, when the target node is selected uniformly at random among all nodes at level $\ell$ in the ordered trees with $n$ edges. Intuition suggests that BFS should have better average performance when $\ell$ is small, while DFS must have an advantage when $\ell$ is large. But where exactly is the threshold, as a function of $n$, and is it unique? We obtain explicit formulas for the expected number of steps of both BFS and DFS, by using results on the occupation measure of Brownian excursions, as well as a combinatorial proof of an identity related to lattice paths. This allows us to show that there exists a unique constant $λ\approx 0.789004$, such that in expectation BFS is asymptotically faster than DFS if and only if $\ell\leq λ\sqrt{n}$. Furthermore, we find the asymptotic average time complexity of BFS in the given setting for any class of Galton$\unicode{x2013}$Watson trees, including binary trees and ordered trees. Finally, we introduce the truncated DFS algorithm, which performs better than both BFS and DFS when $\ell$ is known in advance, and we find a formula evaluating the average time complexity of this algorithm.
Enumerating runs, valleys, and peaks in Catalan words
Published
• View Publication
• BIB
We provide generating functions, formulas, and asymptotic expressions for the number of Catalan words based on the number of runs of ascents (descents), runs of weak ascents (descents), $\ell$-valleys, valleys, symmetric valleys, $\ell$-peaks, peaks, and symmetric peaks. We also establish some bijections with restricted Dyck paths and ordered trees that transports some statistics.
The Modular DFT of the Symmetric Group
Published
• View Publication
• BIB
We describe the discrete Fourier transform (DFT) for a cyclic group when $p|N$ by factoring $x^N-1$ over finite fields and constructing the Fourier transform and its inverse using Bézout's identity for polynomials. For the symmetric group, in the modular case when $p|n!$ we construct the Peirce decomposition using central primitive orthogonal idempotents, yielding a change-of-basis matrix which generalizes the DFT. We compute the unitary DFT for the symmetric group over number fields containing sufficiently many square roots. For $n=3$, we compute the Galois group of the splitting field of the characteristic polynomial. All constructions are implemented in SageMath.
A note on the multicolor size-Ramsey numbers of connected graphs
Published
• View Publication
• BIB
The $r$-color size-Ramsey number of a graph $H$, denoted by $\widehat{R}_r(H)$, is the minimum number of edges in a graph $G$ having the property that every $r$-coloring of the edges of $G$ contains a monochromatic copy of $H$.
Krivelevich proved that $\widehat{R}_r(P_{m+1})=Ω(r^2m)$ where $P_{m+1}$ is the path on $m$ edges. He explains that his proof actually applies to any connected graph $H$ with $m$ edges and vertex cover number larger than $\sqrt{m}$. He also notes that some restriction on the vertex cover number is necessary since the star with $m$ edges, $K_{1,m}$, has vertex cover number 1 and satisfies $\widehat{R}_r(K_{1,m})=r(m-1)+1$. We prove that the star is actually the only exception; that is, $\widehat{R}_r(H)=Ω(r^2m)$ for every non-star connected graph $H$ with $m$ edges.
We also prove a strengthening of this result for trees. It follows from results of Beck and Dellamonica that $\widehat{R}_2(T)=Θ(β(T))$ for every tree $T$ with bipartition $\{V_1, V_2\}$ and $β(T)=|V_1|\max\{d(v):v\in V_1\}+|V_2|\max\{d(v):v\in V_2\}$. We prove that $\widehat{R}_r(T)=Ω(r^2β(T))$ for every tree $T$, again with the exception of the star. Additionally, we prove that for the family of non-star trees $T$ with $β(T)=Ω(n_1n_2)$ (which includes all non-star trees of linear maximum degree and all trees of radius 2 for example) we have $\widehat{R}_r(T)=Θ(r^2β(T))$.
About the Moments of the Generalized Ulam Problem
Given $π\in S_n$, let $Z_{n,k}(π)=\sum_{1\leq i_1<\dots<i_k\leq n} \mathbf{1}(\{ π_{i_1}<\dots<π_{i_k}\}$ denote the number of increasing subsequences of length $k$. Consider the "generalized Ulam problem," studying the distribution of $Z_{n,k}$ for general $k$ and $n$. For the 2nd moment, Ross Pinsky initiated a combinatorial study by considering a pair of subsequences $i^{(r)}_1<\dots<i^{(r)}_k$ for $r \in \{1,2\}$, and conditioning on the size of the intersection $j = |\{i_1^{(1)},\dots,i^{(1)}_k\} \cap \{i^{(2)}_1,\dots,i^{(2)}_k\}|$. We obtain the exact large deviation rate function for $\mathbf{E}[Z_{n,k} Z_{n,\ell}]$ in the asymptotic regime $k\sim κn^{1/2}$, $\ell \sim λn^{1/2}$ as $n \to \infty$, for $κ,λ\in (0,\infty)$. This uses multivariate generating function techniques, as found in the textbook of Pemantle and Wilson. The requisite generating function enumerates pairs of up-right paths in $d=2$, which both end at $(k,\ell)$ with a given number of intersections. We also evaluate the analogous generating function for pairs of $(+\boldsymbol{i},+\boldsymbol{j},+\boldsymbol{k})$ paths in $d=3$, which both end at $(k,\ell,m)$, which has some utility in calculating the 3rd moment. Finally, we consider a simpler problem involving partitions instead of permutations, where all moments are calculable and the replica symmetric ansatz can be stated if not proved.
Near-Tight Bounds for 3-Query Locally Correctable Binary Linear Codes via Rainbow Cycles
Published
• View Publication
• BIB
We prove that a binary linear code of block length $n$ that is locally correctable with $3$ queries against a fraction $δ> 0$ of adversarial errors must have dimension at most $O_δ(\log^2 n \cdot \log \log n)$. This is almost tight in view of quadratic Reed-Muller codes being a $3$-query locally correctable code (LCC) with dimension $Θ(\log^2 n)$. Our result improves, for the binary field case, the $O_δ(\log^8 n)$ bound obtained in the recent breakthrough of (Kothari and Manohar, 2023) (arXiv:2311.00558) (and the more recent improvement to $O_δ(\log^4 n)$ for binary linear codes announced in (Yankovitz, 2024)).
Previous bounds for $3$-query linear LCCs proceed by constructing a $2$-query locally decodable code (LDC) from the $3$-query linear LCC/LDC and applying the strong bounds known for the former. Our approach is more direct and proceeds by bounding the covering radius of the dual code, borrowing inspiration from (Iceland and Samorodnitsky, 2018) (arXiv:1802.01184). That is, we show that if $x \mapsto (v_1 \cdot x, v_2 \cdot x, \ldots, v_n \cdot x)$ is an arbitrary encoding map $\mathbb{F}_2^k \to \mathbb{F}_2^n$ for the $3$-query LCC, then all vectors in $\mathbb{F}_2^k$ can be written as a $\widetilde{O}_δ(\log n)$-sparse linear combination of the $v_i$'s, which immediately implies $k \le \widetilde{O}_δ((\log n)^2)$. The proof of this fact proceeds by iteratively reducing the size of any arbitrary linear combination of at least $\widetildeΩ_δ(\log n)$ of the $v_i$'s. We achieve this using the recent breakthrough result of (Alon, Bucić, Sauermann, Zakharov, and Zamir, 2023) (arXiv:2309.04460) on the existence of rainbow cycles in properly edge-colored graphs, applied to graphs capturing the linear dependencies underlying the local correction property.
The intersection cohomology Hodge module of toric varieties
We study the Hodge filtration of the intersection cohomology Hodge module for toric varieties. More precisely, we study the cohomology sheaves of the graded de Rham complex of the intersection cohomology Hodge module and give a precise formula relating it with the stalks of the intersection cohomology as a constructible complex. The main idea is to use the Ishida complex in order to compute the higher direct images of the sheaf of reflexive differentials.
A characterization on $(g,f)$-parity orientations
Published
• View Publication
• BIB
Let $G$ be a graph and $g,f:V(G)\to2^N$ be two set functions such that $g(v)\le f(v)$ and $g(v)\equiv f(v)\pmod 2$ for every $v\in V(G)$. An orientation $O$ of $G$ is called a $(g,f)$-parity orientation if $g(v)\le d^+_O(v)\le f(v)$ and $g(v)\equiv d^+_O(v)\pmod 2$ for every $v\in V(G)$. In this paper, we give a Tutte-type characterization for a graph to have a $(g,f)$-parity orientation.
Ky Fan theorem for sphere bundles
Published
• View Publication
• BIB
The classic Ky Fan theorem is a combinatorial equivalent of Borsuk-Ulam theorem. It is a generalization and extension of Tucker's lemma and, just like its predecessor, it pinpoints important properties of antipodal colorings of vertices of a triangulated sphere $S^n$. Here we describe generalizations of Ky Fan theorem for the case when the sphere is replaced by the total space of a triangulated sphere bundle.
A Bollobás-type problem: from root systems to Erdős-Ko-Rado
Published
• View Publication
• BIB
Motivated by an Erdős--Ko--Rado type problem on sets of strongly orthogonal roots in the $A_{\ell}$ root system, we estimate bounds for the size of a family of pairs $(A_{i}, B_{i})$ of $k$-subsets in $\{ 1, 2, \ldots, n\}$ such that $A_{i} \cap B_{j}= \emptyset$ and $|A_{i} \cap A_{j}| + |B_{i} \cap B_{j}| = k$ for all $i \neq j$. This is reminiscent of a classic problem of Bollobás. We provide upper and lower bounds for this problem, relying on classical results of extremal combinatorics and an explicit construction using the incidence matrix of a finite projective plane.
0-Hecke Modules, Domino Tableaux, and Type-$B$ Quasisymmetric Functions
Published
• View Publication
• BIB
We extend the notion of ascent-compatibility from symmetric groups to all Coxeter groups, thereby providing a type-independent framework for constructing families of modules of $0$-Hecke algebras. We apply this framework in type $B$ to give representation-theoretic interpretations of a number of noteworthy families of type-$B$ quasisymmetric functions. Next, we construct modules of the type-$B$ $0$-Hecke algebra corresponding to type-$B$ analogues of Schur functions and introduce a type-$B$ analogue of Schur $Q$-functions; we prove that these shifted domino functions expand positively in the type-$B$ peak functions. We define a type-$B$ analogue of the $0$-Hecke--Clifford algebra, and we use this to provide representation-theoretic interpretations for both the type-$B$ peak functions and the shifted domino functions. We consider the modules of this algebra induced from type-$B$ $0$-Hecke modules constructed via ascent-compatibility and prove a general formula, in terms of type-$B$ peak functions, for the type-$B$ quasisymmetric characteristics of the restrictions of these modules.
On two-coloring bipartite uniform hypergraphs
Of a given bipartite graph $G = (V, E)$, it is elementary to construct a bipartition in time $O(|V| + |E|)$. For a given $k$-graph $H = H^{(k)}$ with $k \geq 3$ fixed, Lovász proved that deciding whether $H$ is bipartite is NP-complete. Let $\mathcal{B}_n$ denote the collection of all $[n]$-vertex bipartite $k$-graphs. We construct, of a given $H \in \mathcal{B}_n$, a bipartition in time averaging $O(n^k)$ over the class $\mathcal{B}_n$. We provide two proofs of our result. When $k = 3$, this result expedites one of Person and Schacht.