Showing 20 papers (Total: 81623 papers, 47312 authors in database)
The realization spaces of certain conic-line arrangements of degree 7
Published
• View Publication
• BIB
We study the embedded topology of certain conic-line arrangements of degree 7. Two new examples of Zariski pairs are given. Furthermore, we determine the number of connected components of the conic-line arrangements. We also calculate the fundamental groups using SageMath and the package Sirocco in the appendix.
Distant digraph domination
Published
• View Publication
• BIB
A {\em $k$-kernel} in a digraph $G$ is a stable set $X$ of vertices such that every vertex of $G$ can be joined from $X$ by a directed path of length at most $k$. We prove three results about $k$-kernels. First, it was conjectured by Erdős and Székely in 1976 that every digraph $G$ with no source has a 2-kernel $|K|$ with $|K|\le |G|/2$. We prove this conjecture when $G$ is a ``split digraph'' (that is, its vertex set can be partitioned into a tournament and a stable set), improving a result of Langlois et al., who proved that every split digraph $G$ with no source has a 2-kernel of size at most $2|G|/3$. Second, the Erdős-Székely conjecture implies that in every digraph $G$ there is a 2-kernel $K$ such that the union of $K$ and its out-neighbours has size at least $|G|/2$. We prove that this is true if $V(G)$ can be partitioned into a tournament and an acyclic set. Third, in a recent paper, Spiro asked whether, for all $k\ge 3$, every strongly-connected digraph $G$ has a $k$-kernel of size at most about $|G|/(k+1)$. This remains open, but we prove that there is one of size at most about $|G|/(k-1)$.
Connected matching in graphs with independence number two
Published
• View Publication
• BIB
A matching $M$ in a graph $G$ is {\em connected} if $G$ has an edge linking each pair of edges in $M$. The problem to find large connected matchings in graphs $G$ with $α(G)=2$ is closely related to Hadwiger's conjecture for graphs with independence number 2. The problem of finding a large connected matching in a general graph is NP-hard. F{ü}redi et al. in 2005 conjectured that each $(4t-1)$-vertex graph $G$ with $α(G)=2$ contains a connected matching of size at least $t$. Cambie recently showed that if this conjecture is false, then so is Hadwiger's conjecture. In this paper, we present a number of properties possessed by a counterexample to F{ü}redi et al.'s conjecture, and then using these properties, we prove that F{ü}redi et al.'s conjecture holds for $t\leq22$.
Explicit formulas for the Hattori-Stong theorem and applications
Published
• View Publication
• BIB
We employ combinatorial techniques to present an explicit formula for the coefficients in front of Chern classes involving in the Hattori-Stong integrability conditions. We also give an evenness condition for the signature of stably almost-complex manifolds in terms of Chern numbers. As an application, it can be showed that the signature of a $2n$-dimensional stably almost-complex manifold whose possibly nonzero Chern numbers being $c_n$ and $c_ic_{n-i}$ is even, which particularly rules out the existence of such structure on rational projective planes. Some other related results and remarks are also discussed in this article.
On the strong metric dimension of the zero-divisor graph of a lattice
Published
• View Publication
• BIB
In this paper, the generalized blow-up of a Boolean lattice $L\cong \textbf{2}^n$ using finite chains is introduced. Also, we compute the strong metric dimension of the zero-divisor graph of the blow-up of a Boolean lattice. These results are applied to calculate the strong metric dimension of the comaximal graph, the comaximal ideal graph, the zero-divisor graph of a reduced ring, and the component graph of a vector space.
Multiplayer Games of War
A recent paper by Bhatia, Chin, Mani, and Mossel (2026) defined stochastic processes aimed at modeling the game of War for {\em two players} with $n$ cards. That paper showed that these models, assuming uniform random decks, are equivalent to the Gambler's Ruin problem and therefore have an expected termination time of $Θ(n^2)$. In this paper, we generalize these models to {\em any number of players} $m$. We prove that the game with $m$ players is equivalent to a sticky random walk on an $m$-simplex; therefore, the termination time is the same as the absorption time of the sticky random walk. Interestingly, it seems that this absorption time has not been analyzed before. We show that the absorption time of the walk and the termination time of the game are both $Θ(n^2)$ for any number of players.
Boolean, Free, and Classical Cumulants as Tree Enumerations
Published
• View Publication
• BIB
Defant found that the relationship between a sequence of (univariate) classical cumulants and the corresponding sequence of (univariate) free cumulants can be described combinatorially in terms of families of binary plane trees called troupes. Using a generalization of troupes that we call weighted troupes, we generalize this result to allow for multivariate cumulants. Our result also gives a combinatorial description of the corresponding Boolean cumulants. This allows us to answer a question of Defant regarding his troupe transform. We also provide explicit distributions whose cumulants correspond to some specific weighted troupes.
Maximum Persistent Betti Numbers of Čech Complexes
Published
• View Publication
• BIB
This note proves that only a linear number of holes in a Čech complex of $n$ points in $\mathbb{R}^d$ can persist over an interval of constant length. The proof uses a packing argument supported by relating the Čech complexes with corresponding snap complexes over the cells in a partition of space. The bound also applies to Alpha complexes and Vietoris-Rips complexes.
Enumeration of dicirculant digraphs
Published
• View Publication
• BIB
Let $T_{4p}=\langle a,b\mid a^{2p}=1,a^p=b^2, b^{-1}ab=a^{-1}\rangle$ be the dicyclic group of order $4p$. A Cayley digraph over $T_{4p}$ is called a dicirculant digraph. In this paper, we calculate the number of (connected) dicirculant digraphs of order $4p$ ($p$ prime) up to isomorphism by using the Pólya Enumeration Theorem. Moreover, we get the number of (connected) dicirculant digraphs of order $4p$ ($p$ prime) and out-degree $k$ for every $k$.
The Zero Forcing Numbers of Peony Graphs and Web Graphs
Published
• View Publication
• BIB
The concept of zero forcing involves a dynamic coloring process by which blue vertices cause white vertices to become blue, with the goal of forcing the entire graph blue while choosing as few as possible vertices to be initially blue. Past research in this area has focused on structural arguments, with approaches varying from graph substructures to the interplay between local and global graph structures. This paper explores the use of these structural concepts when determining the zero forcing number of complex classes of graphs, specifically two infinite classes of graphs each defined on multiple parameters.
Affine groups as flag-transitive and point-primitive automorphism groups of symmetric designs
Published
• View Publication
• BIB
In this article, we investigate symmetric designs admitting a flag-transitive and point-primitive affine automorphism group. We prove that if an automorphism group $G$ of a symmetric $(v,k,λ)$ design with $λ$ prime is point-primitive of affine type, then $G=2^{6}{:}\mathrm{S}_{6}$ and $(v,k,λ)=(16,6,2)$, or $G$ is a subgroup of $\mathrm{AΓL}_{1}(q)$ for some odd prime power $q$. In conclusion, we present a classification of flag-transitive and point-primitive symmetric designs with $λ$ prime, which says that such an incidence structure is a projective space $\mathrm{PG}(n,q)$, it has parameter set $(15,7,3)$, $(7, 4, 2)$, $(11, 5, 2)$, $(11, 6, 2)$, $(16,6,2)$ or $(45, 12, 3)$, or $v=p^d$ where $p$ is an odd prime and the automorphism group is a subgroup of $\mathrm{AΓL}_{1}(q)$.
Ramsey-type problems for generalised Sidon sets
Published
• View Publication
• BIB
We establish the existence of generalised Sidon sets enjoying additional Ramsey-type properties, which are motivated by questions of Erdős and Newman and of Alon and Erdős.
Adjacency Labeling Schemes for Small Classes
A graph class admits an implicit representation if, for every positive integer $n$, its $n$-vertex graphs have a $O(\log n)$-bit (adjacency) labeling scheme, i.e., their vertices can be labeled by binary strings of length $O(\log n)$ such that the presence of an edge between any pair of vertices can be deduced solely from their labels. The famous Implicit Graph Conjecture posited that every hereditary (i.e., closed under taking induced subgraphs) factorial (i.e., containing $2^{O(n \log n)}$ $n$-vertex graphs) class admits an implicit representation. The conjecture was recently refuted [Hatami and Hatami, FOCS '22], and does not even hold among monotone (i.e., closed under taking subgraphs) factorial classes [Bonnet et al., ICALP '24]. However, monotone small (i.e., containing at most $n! c^n$ many $n$-vertex graphs for some constant $c$) classes do admit implicit representations.
This motivates the Small Implicit Graph Conjecture: Every hereditary small class admits an $O(\log n)$-bit labeling scheme. We provide evidence supporting the Small Implicit Graph Conjecture. First, we show that every small weakly sparse (i.e., excluding some fixed bipartite complete graph as a subgraph) class has an implicit representation. This is a consequence of the following fact of independent interest proved in the paper: Every weakly sparse small class has bounded expansion (hence, in particular, bounded degeneracy). Second, we show that every hereditary small class admits an $O(\log^3 n)$-bit labeling scheme, which provides a substantial improvement of the best-known polynomial upper bound of $n^{1-\varepsilon}$ on the size of adjacency labeling schemes for such classes. This is a consequence of another fact of independent interest proved in the paper: Every small class has neighborhood complexity $O(n \log n)$.
Babai Numbers and Babai Spectra of Paths and Cycles
Published
• View Publication
• BIB
We study Babai numbers and Babai $k$-spectra of paths and cycles. We completely determine the Babai numbers of paths $P_n$ for $n>1$ and $1 \leq k \leq n-1$, and the Babai $k$-spectra for $P_n$ when $1 \leq k \leq n/2$. We also completely determine Babai numbers and Babai $k$-spectra of all cycles $C_n$ for $k \in \{1,2\}$ and $n \geq 3$ if $k=1$ and $n > 3$ if $k=2$.
From Schubert Varieties to Doubly-Spherical Varieties
Horospherical Schubert varieties are determined. It is shown that the stabilizer of an arbitrary point in a Schubert variety is a strongly solvable algebraic group. The connectedness of this stabilizer subgroup is discussed. Moreover, a new family of spherical varieties, called doubly spherical varieties, is introduced. It is shown that every nearly toric Schubert variety is doubly spherical.
Bessenrodt--Ono inequalities for $\ell$-tuples of pairwise commuting permutations
Published
• View Publication
• BIB
Let $S_n$ denote the symmetric group. We consider \begin{equation*} N_{\ell}(n) := \frac{\left\vert Hom\left( \mathbb{Z}^{\ell},S_n\right) \right\vert}{n!} \end{equation*} which also counts the number of $\ell$-tuples $π=\left( π_1, \ldots, π_{\ell}\right) \in S_n^{\ell}$ with $π_i π_j = π_j π_i$ for $1 \leq i,j \leq \ell$ scaled by $n!$. A recursion formula, generating function, and Euler product have been discovered by Dey, Wohlfahrt, Bryman and Fulman, and White. Let $a,b, \ell \geq 2$. It is known by Bringman, Franke, and Heim, that the Bessenrodt--Ono inequality \begin{equation*} Δ_{a,b}^{\ell}:= N_{\ell}(a) \, N_{\ell}(b) - N_{\ell}(a+b) >0 \end{equation*} is valid for $a,b \gg 1$ and by Bessenrodt and Ono that it is valid for $\ell =2$ and $a+b >9$. In this paper we prove that for each pair $(a,b)$ the sign of $\{Δ_{a,b}^{\ell} \}_{\ell}$ is getting stable. In each case we provide an explicit bound. The numbers $N_{\ell}\left( n\right) $ had been identified by Bryan and Fulman as the $n$-th orbifold characteristics, generalizing work by Macdonald and Hirzebruch--Höfer concerning the ordinary and string-theoretic Euler characteristics of symmetric products, where $N_2(n)=p(n) $ represents the partition function.
A new approach to bipartite stable matching optimization
As a common generalization of previously solved optimization problems concerning bipartite stable matchings, we describe a strongly polynomial network flow based algorithm for computing $\ell$ disjoint stable matchings with minimum total cost. The major observation behind the approach is that stable matchings, as edge sets, can be represented as certain cuts of an associated directed graph. This allows us to use results on disjoint cuts directly to answer questions about disjoint stable matchings. We also provide a construction that represents stable matchings as maximum-size antichains in a partially ordered set (poset), which enables us to apply the theorems of Dilworth, Mirsky, Greene and Kleitman directly to stable matchings. Another consequence of these approaches is a min-max formula for the minimum number of stable matchings covering all stable edges.
A Toric Analogue for Greene's Rational Function of a Poset
Published
• View Publication
• BIB
Given a finite poset, Greene introduced a rational function obtained by summing certain rational functions over the linear extensions of the poset. This function has interesting interpretations, and for certain families of posets, it simplifies surprisingly. In particular, Greene evaluated this rational function for strongly planar posets in his work on the Murnaghan-Nakayama formula.
In 2012, Develin, Macauley, and Reiner introduced toric posets, which combinatorially are equivalence classes of posets (or rather acyclic quivers) under the operation of flipping maximum elements into minimum elements and vice versa. In this work, we introduce a toric analogue of Greene's rational function for toric posets, and study its properties. In addition, we use toric posets to show that the Kleiss-Kuijf relations, which appear in scattering amplitudes, are equivalent to a specific instance of Greene's evaluation of his rational function for strongly planar posets. Also in this work, we give an algorithm for finding the set of toric total extensions of a toric poset.
A $Δ$-evaluation function for column permutation problems
In this study, a new $Δ$-evaluation method is introduced for solving a column permutation problem defined on a sparse binary matrix with the consecutive ones property. This problem models various $\mathcal{NP}$-hard problems in graph theory and industrial manufacturing contexts. The computational experiments compare the processing time of the $Δ$-evaluation method with two other methods used in well-known local search procedures. The study considers a comprehensive set of instances of well-known problems, such as Gate Matrix Layout and Minimization of Open Stacks. The proposed evaluation method is generally competitive and particularly useful for large and dense instances. It can be easily integrated into local search and metaheuristic algorithms to improve solutions without significantly increasing processing time.
Stability of ranks under field extensions
Published in Discrete Analysis, 2025
• Search Publication
This paper studies the stability of tensor ranks under field extensions. Our main contributions are fourfold: (1) We prove that the analytic rank is stable under field extensions. (2) We establish the equivalence between the partition rank vs. analytic rank conjecture and the stability conjecture for partition rank. We also prove that they are equivalent to other two important conjectures. (3) We resolve the Adiprasito-Kazhdan-Ziegler conjecture on the stability of the slice rank of linear subspaces under field extensions. (4) As an application of (1), we show that the geometric rank is equal to the analytic rank up to a constant factor.