Showing 20 papers (Total: 83842 papers, 48355 authors in database)
On the Castelnuovo-Mumford regularity of symbolic powers of cover ideals
Published
• View Publication
• BIB
Assume that $G$ is a graph with cover ideal $J(G)$. For every integer $k\geq 1$, we denote the $k$-th symbolic power of $J(G)$ by $J(G)^{(k)}$. We provide a sharp upper bound for the regularity of $J(G)^{(k)}$ in terms of the star packing number of $G$. Also, for any integer $k\geq 2$, we study the difference between ${\rm reg}(J(G)^{(k)})$ and ${\rm reg}(J(G)^{(k-2)})$. As a consequence, we compute the regularity of $J(G)^{(k)}$ when $G$ is a doubly Cohen-Macaulay graph. Furthermore, we determine ${\rm reg}(J(G)^{(k)})$ if $G$ is either a Cameron-Walker graph or a claw-free graph which has no cycle of length other that $3$ and $5$.
Combinatorics of semi-toric degenerations of Schubert varieties in type C
Published
• View Publication
• BIB
An approach to Schubert calculus is to realize Schubert classes as concrete combinatorial objects such as Schubert polynomials. Using the polytope ring of the Gelfand-Tsetlin polytopes, Kiritchenko-Smirnov-Timorin realized each Schubert class as a sum of reduced Kogan faces. The first named author introduced a generalization of reduced Kogan faces to symplectic Gelfand-Tsetlin polytopes using a semi-toric degeneration of a Schubert variety, and extended the result of Kiritchenko-Smirnov-Timorin to type C case. In this paper, we introduce a combinatorial model to this type C generalization using a kind of pipe dream with self-crossings. As an application, we prove that the type C generalization can be constructed by skew mitosis operators.
An FPT Algorithm for Splitting a Necklace Among Two Thieves
Published
• View Publication
• BIB
It is well-known that the 2-Thief-Necklace-Splitting problem reduces to the discrete Ham Sandwich problem. In fact, this reduction was crucial in the proof of the PPA-completeness of the Ham Sandwich problem [Filos-Ratsikas and Goldberg, STOC'19]. Recently, a variant of the Ham Sandwich problem called $α$-Ham Sandwich has been studied, in which the point sets are guaranteed to be well-separated [Steiger and Zhao, DCG'10]. The complexity of this search problem remains unknown, but it is known to lie in the complexity class UEOPL [Chiu, Choudhary and Mulzer, ICALP'20]. We define the analogue of this well-separability condition in the necklace splitting problem -- a necklace is $n$-separable, if every subset $A$ of the $n$ types of jewels can be separated from the types $[n]\setminus A$ by at most $n$ separator points. By the reduction to the Ham Sandwich problem it follows that this version of necklace splitting has a unique solution.
We furthermore provide two FPT algorithms: The first FPT algorithm solves 2-Thief-Necklace-Splitting on $(n-1+\ell)$-separable necklaces with $n$ types of jewels and $m$ total jewels in time $2^{O(\ell\log\ell)}+m^2$. In particular, this shows that 2-Thief-Necklace-Splitting is polynomial-time solvable on $n$-separable necklaces. Thus, attempts to show hardness of $α$-Ham Sandwich through reduction from the 2-Thief-Necklace-Splitting problem cannot work. The second FPT algorithm tests $(n-1+\ell)$-separability of a given necklace with $n$ types of jewels in time $2^{O(\ell^2)}\cdot n^4$. In particular, $n$-separability can thus be tested in polynomial time, even though testing well-separation of point sets is coNP-complete [Bergold et al., SWAT'22].
On the relation between quantum walks and absolute zeta functions
Published in Quantum Studies: Mathematics and Foundations, Volume 11, pp.147-157 (2024)
• View Publication
• BIB
The quantum walk is a quantum counterpart of the classical random walk. On the other hand, the absolute zeta function can be considered as a zeta function over F_1. This paper presents a connection between the quantum walk and the absolute zeta function. First we deal with a zeta function determined by a time evolution matrix of the Grover walk on a graph. The Grover walk is a typical model of the quantum walk. Then we prove that the zeta function given by the quantum walk is an absolute automorphic form of weight depending on the number of edges of the graph. Furthermore we consider an absolute zeta function for the zeta function based on a quantum walk. As an example, we compute an absolute zeta function for the cycle graph and show that it is expressed as the multiple gamma function of order 2.
Randomly perturbed digraphs also have bounded-degree spanning trees
Published
• View Publication
• BIB
We show that a randomly perturbed digraph, where we start with a dense digraph $D_α$ and add a small number of random edges to it, will typically contain a fixed orientation of a bounded degree spanning tree. This answers a question posed by Araujo, Balogh, Krueger, Piga and Treglown and generalizes the corresponding result for randomly perturbed graphs by Krivelevich, Kwan and Sudakov. More specifically, we prove that there exists a constant $c = c(α, Δ)$ such that if $T$ is an oriented tree with maximum degree $Δ$ and $D_α$ is an $n$-vertex digraph with minimum semidegree $αn$, then the graph obtained by adding $cn$ uniformly random edges to $D_α$ will contain $T$ with high probability.
A new variant of the Erdős-Gyárfás problem on $K_{5}$
Motivated by an extremal problem on graph-codes that links coding theory and graph theory, Alon recently proposed a question aiming to find the smallest number $t$ such that there is an edge coloring of $K_{n}$ by $t$ colors with no copy of given graph $H$ in which every color appears an even number of times. When $H=K_{4}$, the question of whether $n^{o(1)}$ colors are enough, was initially emphasized by Alon. Through modifications to the coloring functions originally designed by Mubayi, and Conlon, Fox, Lee and Sudakov, the question of $K_{4}$ has already been addressed. Expanding on this line of inquiry, we further study this new variant of the generalized Ramsey problem and provide a conclusively affirmative answer to Alon's question concerning $K_{5}$.
Parking functions, Fubini rankings, and Boolean intervals in the weak order of $\mathfrak{S}_n$
Published
• View Publication
• BIB
Let $\mathfrak{S}_n$ denote the symmetric group and let $W(\mathfrak{S}_n)$ denote the weak order of $\mathfrak{S}_n$. Through a surprising connection to a subset of parking functions, which we call unit Fubini rankings, we provide a complete characterization and enumeration for the total number of Boolean intervals in $W(\mathfrak{S}_n)$ and the total number of Boolean intervals of rank $k$ in $W(\mathfrak{S}_n)$. Furthermore, for any $π\in\mathfrak{S}_n$, we establish that the number of Boolean intervals in $W(\mathfrak{S}_n)$ with minimal element $π$ is a product of Fibonacci numbers. We conclude with some directions for further study.
Matroid Products in Tropical Geometry
Published
• View Publication
• BIB
Symmetric powers of matroids were first introduced by Lovasz and Mason in the 1970s, where it was shown that not all matroids admit higher symmetric powers. Since these initial findings, the study of matroid symmetric powers has remained largely unexplored. In this paper, we establish an equivalence between valuated matroids with arbitrarily large symmetric powers and tropical linear spaces that appear as the variety of a tropical ideal. In establishing this equivalence, we additionally show that all tropical linear spaces are connected through codimension one. These results provide additional geometric and algebraic connections to the study of matroid symmetric powers, which we leverage to prove that the class of matroids with second symmetric power is minor closed and has infinitely many forbidden minors.
Left Regular Bands of Groups and the Mantaci--Reutenauer algebra
Published in Journal of Algebra, Volume 655 (2023)
• View Publication
• BIB
We develop the idempotent theory for algebras over a class of semigroups called left regular bands of groups (LRBGs), which simultaneously generalize group algebras of finite groups and left regular band (LRB) algebras. Our techniques weave together the representation theory of finite groups and LRBs, opening the door for a systematic study of LRBGs in an analogous way to LRBs. We apply our results to construct complete systems of primitive orthogonal idempotents in the Mantaci--Reutenauer algebra ${\sf{MR}}_n[G]$ associated to any finite group $G$. When $G$ is abelian, we give closed form expressions for these idempotents, and when $G$ is the cyclic group of order two, we prove that these recover idempotents introduced by Vazirani.
Factorial Polynomials and Associated Number Families
Published
• View Publication
• BIB
Two doubly indexed families of polynomials in several indeterminates are considered. They are related to the falling and rising factorials in a similar way as the potential polynomials (introduced by L. Comtet) are related to the ordinary power function. We study the inversion relations valid for these factorial polynomials as well as the number families associated with them.
On the density of matroids omitting a complete-graphic minor
We show that, if $M$ is a simple rank-$n$ matroid with no $\ell$-point line minor and no minor isomorphic to the cycle matroid of a $t$-vertex complete graph, then the ratio $|M| / n$ is bounded above by a singly exponential function of $\ell$ and $t$. We also bound this ratio in the special case where $M$ is a frame matroid, obtaining an answer that is within a factor of two of best-possible.
A Note on Extension Properties and Representations of Matroids
Published
• View Publication
• BIB
We discuss several extension properties of matroids and polymatroids and their application as necessary conditions for the existence of different matroid representations, namely linear, folded linear, algebraic, and entropic representations. Iterations of those extension properties are checked for matroids on eight and nine elements by means of computer-aided explorations, finding in that way several new examples of non-linearly representable matroids. A special emphasis is made on sparse paving matroids on nine points containing the tic-tac-toe configuration. We present a new, more clear description of that family and we analyze extension properties on those matroids and their duals.
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.