Showing 20 papers (Total: 82064 papers, 47505 authors in database)
Weak Kantorovich difference and associated Ricci curvature of hypergraphs
Published in Tsukuba J. Math. 48(1): 131-170 (July 2024)
• View Publication
• BIB
Ollivier and Lin--Lu--Yau established the theory of graph Ricci curvature (LLY curvature) via optimal transport on graphs. Ikeda--Kitabeppu--Takai--Uehara introduced a new distance called the Kantorovich difference on hypergraphs and generalized the LLY curvature to hypergraphs (IKTU curvature). As the LLY curvature can be represented by the graph Laplacian by Münch--Wojciechowski, Ikeda--Kitabeppu--Takai--Uehara conjectured that the IKTU curvature has a similar expression in terms of the hypergraph Laplacian. In this paper, we introduce a variant of the Kantorovich difference inspired by the above conjecture and study the Ricci curvature associated with this distance ($\mathsf{wIKTU}$ curvature). Moreover, for hypergraphs with a specific structure, we analyze a quantity $\mathcal{C}(x,y)$ at two distinct vertices $x,y$ defined by using the hypergraph Laplacian. If the resolvent operator converges uniformly to the identity, then $\mathcal{C}(x,y)$ coincides with the $\mathsf{wIKTU}$ curvature along $x,y$.
Laplacain eigenvalue distribution and diameter of graphs
Published
• View Publication
• BIB
Let $G$ be a connected graph on $n$ vertices with diameter $d$. It is known that if $2\le d\le n-2$, there are at most $n-d$ Laplacian eigenvalues in the interval $[n-d+2, n]$. In this paper, we show that if $1\le d\le n-3$, there are at most $n-d+1$ Laplacian eigenvalues in the interval $[n-d+1, n]$. Moreover, we try to identify the connected graphs on $n$ vertices with diameter $d$, where $2\le d\le n-3$, such that there are at most $n-d$ Laplacian eigenvalues in the interval $[n-d+1, n]$.
Exploring two concepts: branch decomposition and weak ultrafilter on connectivity system
This paper explores two fundamental concepts: branch width and weak ultrafilter. Branch width is a significant graph width parameter that measures the degree of connectivity in a graph using a branch decomposition and a symmetric submodular function. Weak ultrafilter, introduced as a weakened definition of an ultrafilter, plays a vital role in interpreting defaults in logic. We introduce the concept of Weak Ultrafilter on the connectivity system (X, f) and demonstrate its duality with branch decomposition. This study enhances our understanding of these concepts in graph combinatorial and logical contexts.
$α$-$β$-Factorization and the Binary Case of Simon's Congruence
Published
• View Publication
• BIB
In 1991 Hébrard introduced a factorization of words that turned out to be a powerful tool for the investigation of a word's scattered factors (also known as (scattered) subwords or subsequences). Based on this, first Karandikar and Schnoebelen introduced the notion of $k$-richness and later on Barker et al. the notion of $k$-universality. In 2022 Fleischmann et al. presented a generalization of the arch factorization by intersecting the arch factorization of a word and its reverse. While the authors merely used this factorization for the investigation of shortest absent scattered factors, in this work we investigate this new $α$-$β$-factorization as such. We characterize the famous Simon congruence of $k$-universal words in terms of $1$-universal words. Moreover, we apply these results to binary words. In this special case, we obtain a full characterization of the classes and calculate the index of the congruence. Lastly, we start investigating the ternary case, present a full list of possibilities for $αβα$-factors, and characterize their congruence.
Circuit decompositions of binary matroids
Published
• View Publication
• BIB
Given a simple Eulerian binary matroid $M$, what is the minimum number of disjoint circuits necessary to decompose $M$? We prove that $|M| / (\operatorname{rank}(M) + 1)$ many circuits suffice if $M = \mathbb F_2^n \setminus \{0\}$ is the complete binary matroid, for certain values of $n$, and that $\mathcal{O}(2^{\operatorname{rank}(M)} / (\operatorname{rank}(M) + 1))$ many circuits suffice for general $M$. We also determine the asymptotic behaviour of the minimum number of circuits in an odd-cover of $M$.
Castling tree of tight Dyck nests with applications to odd and middle-levels graphs
Published
• View Publication
• BIB
A subfamily of Dyck words called tight Dyck words is seen to correspond, via a "castling" procedure, to the vertex set of an ordered tree $T$. From $T$, a "blowing" operation recreates the whole family ol Dyck words. The vertices of $T$ can be elementarily updated all along $T$. This simplifies an edge-supplementary arc-factorization view of Hamilton cycles of odd and middle-levels graphs found by T. Mütze et al. This take into account that the Dyck words represent: {\bf(a)} the cyclic and dihedral vertex classes of odd and middle-levels graphs, respectively, and {\bf(b)} the cycles of their 2-factors, as found by T. Mütze et al.
Sparse critical graphs for defective DP-colorings
Published
• View Publication
• BIB
An interesting generalization of list coloring is so called DP-coloring (named after Dvořák and Postle). We study $(i,j)$-defective DP-colorings of simple graphs. Define $g_{DP}(i,j,n)$ to be the minimum number of edges in an $n$-vertex DP-$(i,j)$-critical graph. We prove sharp bounds on $g_{DP}(i,j,n)$ for $i=1,2$ and $j\geq 2i$ for infinitely many $n$.
Topological expansion for posets and the homological $k$-connectivity of random $q$-complexes
We study high dimensional expansion beyond simplicial complexes (posets) and focus on $q$-complexes which are complexes whose basic building blocks are linear spaces. We show that the complete $q$-complex (consists of all subspaces of a given linear space) may have non-trivial homology groups and therefore some techniques for simplicial complexes fail. We develop new techniques to work bypass this. In particular: (i) We describe a new construction of cones and use it to determine when the homology of the complete $q$-complex is trivial. We use this construction to prove the "projective support dimension conjecture" conjectured by Mnukhin and Siemons. (ii) We define topological high dimensional expansion for posets, and show that the complete $q$-complex has linear (in the number of lines) coboundary expansion. (iii) We define the $q$-Linial-Meshulam model of random $q$-complexes and prove a sharp threshold for the connectivity of random $q$-complexes.
Efficient equidistribution of periodic nilsequences and applications
This is a companion paper to arXiv:2312.10772. We deduce an equidistribution theorem for periodic nilsequences and use this theorem to give two applications in arithmetic combinatorics. The first application is quasi-polynomial bounds for a certain complexity one polynomial progression, improving the iterated logarithm bound previusly obtained. The second application is a proof of the quasi-polynomial $U^4[N]$ inverse theorem. In work with Sah and Sawhney, we obtain improved bounds for sets lacking nontrivial $5$-term arithmetic progressions.
Threshold phenomena for random discrete structures
Published
• View Publication
• BIB
In this expository article, we give a gentle introduction to the Erdős-Rényi random graphs and threshold phenomena that they exhibit. We also mildly introduce the Kahn-Kalai Conjecture with several intuitive examples, mainly targeting the general audience.
Schubert puzzles and integrability III: separated descents
In paper I of this series we gave positive formulae for expanding the product $\mathfrak S^π\mathfrak S^ρ$ of two Schubert polynomials, in the case that both $π,ρ$ had shared descent set of size $\leq 3$. Here we introduce and give positive formulae for two new classes of Schubert product problems: separated descent in which $π$'s last descent occurs at (or before) $ρ$'s first, and almost separated descent in which $π$'s last two descents occur at (or before) $ρ$'s first two respectively. In both cases our puzzle formulae extend to $K$-theory (multiplying Grothendieck polynomials), and in the separated descent case, to equivariant $K$-theory. The two formulae arise (via quantum integrability) from fusion of minuscule quantized loop algebra representations in types $A$, $D$ respectively.
The multiplicity of a Hermitian eigenvalue on graphs
For a graph $G$, let $\mathcal{S}(G)$ be the set consisting of Hermitian matrices whose graph is $G$. Denoted by $m_B(G,λ)$ the multiplicity of an eigenvalue $λ$ of $B(G)\in \mathcal{S}(G)$, we show that $m_B(G,λ)\le 2θ(G)+p(G)$ where $θ(G)$ and $p(G)$ are the cyclomatic number and the number of pendent vertices of $G$ respectively, and characterize the graphs attaining the equality. This is a generalization of a result on adjacency matrix by Wang et al.\cite{Wang1}. Moreover, they arose an open problem in \cite{Wang1}: \textit{characterize all graphs with $m_A(G,λ)=2θ(G)+p(G)-1$ for any eigenvalue $λ$ of its adjacency matrix.}
In this paper, we completely characterize the graphs with $m_B(G,λ)=2θ(G)+p(G)-1$ for any eigenvalue $λ$ of an arbitrary Hermitian matrix $B(G)\in \mathcal{S}(G)$. This result provides a stronger answer to the above problem, and encompasses some previous known works considering $λ=-1$ or $0$ on the problem.
On the seeds and the great-grandchildren of a numerical semigroup
Published
• View Publication
• BIB
We present a revisit of the seeds algorithm to explore the semigroup tree. First, an equivalent definition of seed is presented, which seems easier to manage. Second, we determine the seeds of semigroups with at most three left elements. And third, we find the great-grandchildren of any numerical semigroup in terms of its seeds. The RGD algorithm is the fastest known algorithm at the moment. But if one compares the originary seeds algorithm with the RGD algorithm, one observes that the seeds algorithm uses more elaborated mathematical tools while the RGD algorithm uses data structures that are better adapted to the final C implementations. For genera up to around one half of the maximum size of native integers, the newly defined seeds algorithm performs significantly better than the RGD algorithm. For future compilators allowing larger native sized integers this may constitute a powerful tool to explore the semigroup tree up to genera never explored before. The new seeds algorithm uses bitwise integer operations, the knowledge of the seeds of semigroups with at most three left elements and of the great-grandchildren of any numerical semigroup, apart from techniques such as parallelization and depth first search as wisely introduced in this context by Fromentin and Hivert. The algorithm has been used to prove that there are no Eliahou semigroups of genus $66$, hence proving the Wilf conjecture for genus up to $66$. We also found three Eliahou semigroups of genus $67$. One of these semigroups is neither of Eliahou-Fromentin type, nor of Delgado's type. However, it is a member of a new family suggested by Shalom Eliahou.
The weak Lefschetz property and mixed multiplicities of monomial ideals
Published
• View Publication
• BIB
Recently, H. Dao and R. Nair gave a combinatorial description of simplicial complexes $Δ$ such that the squarefree reduction of the Stanley-Reisner ideal of $Δ$ has the WLP in degree $1$ and characteristic zero. In this paper, we apply the connections between analytic spread of equigenerated monomial ideals, mixed multiplicities and birational monomial maps to give a sufficient and necessary condition for the squarefree reduction $A(Δ)$ to satisfy the WLP in degree $i$ and characteristic zero in terms of mixed multiplicities of monomial ideals that contain combinatorial information of $Δ$, we call them incidence ideals. As a consequence, we give an upper bound to the possible failures of the WLP of $A(Δ)$ in degree $i$ in positive characteristics in terms of mixed multiplicities. Moreover, we extend Dao and Nair's criterion to arbitrary monomial ideals in positive odd characteristics.
Enumeration of maximum matchings of graphs
Published
• View Publication
• BIB
Counting maximum matchings in a graph is of great interest in statistical mechanics,
solid-state chemistry, theoretical computer science, mathematics, among other disciplines. However, it is a challengeable problem to explicitly determine the number of maximum matchings of general graphs. In this paper, using Gallai-Edmonds structure theorem, we derive a computing formula for the number of maximum matching in a graph. According to the formula, we obtain an algorithm to enumerate maximum matchings of a graph. In particular, The formula implies that computing the number of maximum matchings of a graph is converted to compute the number of perfect matchings of some induced subgraphs of the graph. As an application, we calculate the number of maximum matchings of opt trees. The result extends a conclusion obtained by Heuberger and Wagner[C. Heuberger, S. Wagner, The number of maximum matchings in a tree, Discrete Math. 311 (2011) 2512--2542].
Bounded diameter tree-decompositions
Published
• View Publication
• BIB
When does a graph admit a tree-decomposition in which every bag has small diameter? For finite graphs, this is a property of interest in algorithmic graph theory, where it is called having bounded ``tree-length''. We will show that this is equivalent to being ``boundedly quasi-isometric to a tree'', which for infinite graphs is a much-studied property from metric geometry. One object of this paper is to tie these two areas together. We will prove that there is a tree-decomposition in which each bag has small diameter, if and only if there is a map $φ$ from $V(G)$ into the vertex set of a tree $T$, such that for all $u,v\in V(G)$, the distances $d_G(u,v), d_T(φ(u),φ(v))$ differ by at most a constant.
A ``geodesic loaded cycle'' in $G$ is a pair $(C,F)$, where $C$ is a cycle of $G$ and $F\subseteq E(C)$, such that for every pair $u,v$ of vertices of $C$, one of the paths of $C$ between $u,v$ contains at most $d_G(u,v)$ $F$-edges, where $d_G(u,v)$ is the distance between $u,v$ in $G$. We will show that a graph $G$ admits a tree-decomposition in which every bag has small diameter, if and only if $|F|$ is small for every geodesic loaded cycle $(C,F)$. Our proof is an extension of an algorithm to approximate tree-length in finite graphs by Dourisboure and Gavoille.
In metric geometry, there is a similar theorem that characterizes when a graph is quasi-isometric to a tree, ``Manning's bottleneck criterion''. The goal of this paper is to tie all these concepts together, and add a few more related ideas. For instance, we prove a conjecture of Rose McCarty, that $G$ admits a tree-decomposition in which every bag has small diameter, if and only if for all vertices $u,v,w$ of $G$, some ball of small radius meets every path joining two of $u,v,w$.
Partitions with parts separated by parity: conjugation, congruences and the mock theta functions
Published in Proceedings of the Royal Society of Edinburgh: Section A Mathematics 155 (2025) 954-974
• View Publication
• BIB
Noting a curious link between Andrews' even-odd crank and the Stanley rank, we adopt a combinatorial approach building on the map of conjugation and continue the study of integer partitions with parts separated by parity. Our motivation is twofold. First off, we derive results for certain restricted partitions with even parts below odd parts. These include a Franklin-type involution proving a parametrized identity that generalizes Andrews' bivariate generating function, and two families of Andrews--Beck type congruences. Secondly, we introduce several new subsets of partitions that are stable (i.e., invariant under conjugation) and explore their connections with three third order mock theta functions $ω(q)$, $ν(q)$, and $ψ^{(3)}(q)$, introduced by Ramanujan and Watson.
Reduced Power Graphs of $\mathrm{PGL}_3(\mathbb{F}_q)$
Given a group $G$, let us connect two non-identity elements by an edge if and only if one is a power of another. This gives a graph structure on $G$ minus identity, called the reduced power graph. In this paper, we shall find the exact number of connected components and the exact diameter of each component for the reduced power graphs of $\mathrm{PGL}_3(\mathbb{F}_q)$ for all prime power $q$.
A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem
Published
• View Publication
• BIB
One of the fundamental results in quantum foundations is the Kochen-Specker (KS) theorem, which states that any theory whose predictions agree with quantum mechanics must be contextual, i.e., a quantum observation cannot be understood as revealing a pre-existing value. The theorem hinges on the existence of a mathematical object called a KS vector system. While many KS vector systems are known, the problem of finding the minimum KS vector system in three dimensions (3D) has remained stubbornly open for over 55 years.
To address the minimum KS problem, we present a new verifiable proof-producing method based on a combination of a Boolean satisfiability (SAT) solver and a computer algebra system (CAS) that uses an isomorph-free orderly generation technique that is very effective in pruning away large parts of the search space. Our method shows that a KS system in 3D must contain at least 24 vectors. We show that our sequential and parallel Cube-and-Conquer (CnC) SAT+CAS methods are significantly faster than SAT-only, CAS-only, and a prior CAS-based method of Uijlen and Westerbaan. Further, while our parallel pipeline is somewhat slower than the parallel CnC version of the recently introduced Satisfiability Modulo Theories (SMS) method, this is in part due to the overhead of proof generation. Finally, we provide the first computer-verifiable proof certificate of a lower bound to the KS problem with a size of 40.3 TiB in order 23.
Normal 5-edge-coloring of some snarks superpositioned by Flower snarks
Published in European Journal of Combinatorics 122 (2024) 104038
• View Publication
• BIB
An edge e is normal in a proper edge-coloring of a cubic graph G if the number of distinct colors on four edges incident to e is 2 or 4: A normal edge-coloring of G is a proper edge-coloring in which every edge of G is normal. The Petersen Coloring Conjecture is equivalent to stating that every bridgeless cubic graph has a normal 5-edge-coloring. Since every 3-edge-coloring of a cubic graph is trivially normal, it is suficient to consider only snarks to establish the conjecture. In this paper, we consider a class of superpositioned snarks obtained by choosing a cycle C in a snark G and superpositioning vertices of C by one of two simple supervertices and edges of C by superedges Hx;y, where H is any snark and x; y any pair of nonadjacent vertices of H: For such superpositioned snarks, two suficient conditions are given for the existence of a normal 5-edge-coloring. The first condition yields a normal 5-edge-coloring for all hypohamiltonian snarks used as superedges, but only for some of the possible ways of connecting them. In particular, since the Flower snarks are hypohamiltonian, this consequently yields a normal 5-edge-coloring for many snarks superpositioned by the Flower snarks. The second sufficient condition is more demanding, but its application yields a normal 5-edge-colorings for all superpositions by the Flower snarks. The same class of snarks is considered in [S. Liu, R.-X. Hao, C.-Q. Zhang, Berge{Fulkerson coloring for some families of superposition snarks, Eur. J. Comb. 96 (2021) 103344] for the Berge-Fulkerson conjecture. Since we established that this class has a Petersen coloring, this immediately yields the result of the above mentioned paper.