Showing 20 papers (Total: 82064 papers, 47505 authors in database)
Torus orbit closures and 1-strip-less tableaux
Published
• View Publication
• BIB
We compare two formulas for the class of a generic torus orbit closure on the Grassmannian, due to Klyachko and Berget-Fink. The naturally emerging combinatorial objects are semi-standard fillings we call 1-strip-less tableaux.
Equivariant cohomology of even-dimensional complex quadrics from a combinatorial point of view
Published in Osaka Journal of Mathematics, Vol 62, No 4, pp. 539--563, 2025
• Search Publication
The purpose of this paper is to determine the ring structure of the graph equivariant cohomology of the GKM graph induced from the even-dimensional complex quadrics. We show that the graph equivariant cohomology is generated by two types of subgraphs in the GKM graph, which are subject to four different types of relations. By utilizing this ring structure, we establish the multiplicative relation for the generators of degree 2n and provide an alternative computation of the ordinary cohomology ring of 4n-dimensional complex quadrics, as previously computed by H. Lai. Additionally, we provide a combinatorial explanation for why the square of the 2n degree generator x vanishes when n is odd and is non-vanishing when n is even.
On asymptotically automatic sequences
Published
• View Publication
• BIB
We study the notion of an asymptotically automatic sequence, which generalises the notion of an automatic sequence. While $k$-automatic sequences are characterised by finiteness of $k$-kernels, the $k$-kernels of asymptotically $k$-automatic sequences are only required to be finite up to equality almost everywhere. We prove basic closure properties and a linear bound on asymptotic subword complexity, show that results concerning frequencies of symbols are no longer true for the asymptotic analogue, and discuss some classification problems.
Further Results on Random Walk Labelings
Published
• View Publication
• BIB
Recently, we initiated the study of random walk labelings of graphs. These are graph labelings that are obtainable by performing a random walk on the graph, such that each vertex is labeled upon its first visit. In this work, we calculate the number of random walk labelings of several natural graph families: The wheel, fan, barbell, lollipop, tadpole, friendship, and snake graphs. Additionally, we prove several combinatorial identities that emerged during the calculations.
Nonorientable genus embedding of nearly complete bipartite graphs
The nearly complete bipartite graph $G(m,n,k)$ is obtained by removing $k$ independent edges from the complete bipartite graph $K_{m,n}$. In this paper, we prove that for any nearly complete bipartite graph $G(m,n,k)$ with $m, n\geq 3$, and $(m,n,k)\notin\{(5,4,4)$, $(4,5,4)$, $(5,5,5)\}$, there exists a nonorientable genus embedding $Π$ satisfying $\tildeγ(Π)=\max\{\lceil \big((m-2)(n-2)-k\big)/2\rceil, 1\}$. This embedding can be constructed by starting from an embedding of some $G(p,q,h)$ with $h\leq 6$ and $p,q\leq 7$, and then iteratively adding multiple copies of $G(2,2,2)$, $G(2,0,0)$ and $G(0,2,0)$. As a consequence, the previously unresolved nonorientable genus $\tildeγ(G(n+1,n,n))$ for even $n$ and $\tildeγ(G(n,n,n))$ for arbitrary $n$ are now determined.
Generalized polymorphisms
We find all functions $f_0,f_1,\dots,f_m\colon \{0,1\}^n \to \{0,1\}$ and $g_0,g_1,\dots,g_n\colon \{0,1\}^m \to \{0,1\}$ satisfying the following identity for all $n \times m$ matrices $(z_{ij}) \in \{0,1\}^{n \times m}$: \[ f_0(g_1(z_{11},\dots,z_{1m}),\dots,g_n(z_{n1},\dots,z_{nm})) =
g_0(f_1(z_{11},\dots,z_{n1}),\dots,f_m(z_{1m},\dots,z_{nm})). \] Our results generalize work of Dokow and Holzman (2010), which considered the case $g_0 = g_1 = \cdots = g_n$, and of Chase, Filmus, Minzer, Mossel and Saurabh (2022), which considered the case $g_0 \neq g_1 = \cdots = g_n$.
The twist for electrical networks and the inverse problem
Published
• View Publication
• BIB
We construct an electrical-network version of the twist map for the positive Grassmannian, and use it to solve the inverse problem of recovering conductances from the response matrix. Each conductance is expressed as a biratio of Pfaffians as in the inverse map of Kenyon and Wilson; however, our Pfaffians are the more canonical $B$ variables instead of their tripod variables, and are coordinates on the positive orthogonal Grassmannian studied by Henriques and Speyer.
List 3-Coloring on Comb-Convex and Caterpillar-Convex Bipartite Graphs
Published in LNCS 14422, Springer, 2023, pp. 168-181
• View Publication
• BIB
Given a graph $G=(V, E)$ and a list of available colors $L(v)$ for each vertex $v\in V$, where $L(v) \subseteq \{1, 2, \ldots, k\}$, List $k$-Coloring refers to the problem of assigning colors to the vertices of $G$ so that each vertex receives a color from its own list and no two neighboring vertices receive the same color. The decision version of the problem List $3$-Coloring is NP-complete even for bipartite graphs, and its complexity on comb-convex bipartite graphs has been an open problem. We give a polynomial-time algorithm to solve List $3$-Coloring for caterpillar-convex bipartite graphs, a superclass of comb-convex bipartite graphs. We also give a polynomial-time recognition algorithm for the class of caterpillar-convex bipartite graphs.
On the extremal families for the Kruskal--Katona theorem
In \cite[Serra, Vena, Extremal families for the Kruskal-Katona theorem]{sv21}, the authors have shown a characterization of the extremal families for the Kruskal-Katona Theorem. We further develop some of the arguments given in \cite{sv21} and give additional properties of these extremal families. Füredi-Griggs/Mörs theorem from 1986/85 \cite{furgri86,mors85} claims that, for some cardinalities, the initial segment of the colexicographical is the unique extremal family; we extend their result as follows: the number of (non-isomorphic) extremal families strictly grows with the gap between the last two coefficients of the $k$-binomial decomposition.
We also show that every family is an induced subfamily of an extremal family, and that, somewhat going in the opposite direction, every extremal family is close to being the inital segment of the colex order; namely, if the family is extremal, then after performing $t$ lower shadows, with $t=O(\log(\log n))$, we obtain the initial segment of the colexicographical order. We also give a ``fast'' algorithm to determine whether, for a given $t$ and $m$, there exists an extremal family of size $m$ for which its $t$-th lower shadow is not yet the initial segment in the colexicographical order.
As a byproduct of these arguments, we give yet another characterization of the families of $k$-sets satisfying equality in the Kruskal--Katona theorem. Such characterization is, at first glance, less appealing than the one in \cite{sv21}, since the additional information that it provides is indirect. However, the arguments used to prove such characterization provide additional insight on the structure of the extremal families themselves.
Orienting undirected phylogenetic networks to tree-child network
Phylogenetic networks are used to represent the evolutionary history of species. They are versatile when compared to traditional phylogenetic trees, as they capture more complex evolutionary events such as hybridization and horizontal gene transfer. Distance-based methods such as the Neighbor-Net algorithm are widely used to compute phylogenetic networks from data. However, the output is necessarily an undirected graph, posing a great challenge to deduce the direction of genetic flow in order to infer the true evolutionary history. Recently, Huber et al. investigated two different computational problems relevant to orienting undirected phylogenetic networks into directed ones. In this paper, we consider the problem of orienting an undirected binary network into a tree-child network. We give some necessary conditions for determining the tree-child orientability, such as a tight upper bound on the size of tree-child orientable graphs, as well as many interesting examples. In addition, we introduce new families of undirected phylogenetic networks, the jellyfish graphs and ladder graphs, that are orientable but not tree-child orientable. We also prove that any ladder graph can be made tree-child orientable by adding extra leaves, and describe a simple algorithm for orienting a ladder graph to a tree-child network with the minimum number of extra leaves. We pose many open problems as well.
Epimorphisms of generalized polygons B: The octagons
Published
• View Publication
• BIB
This is the second part of our study of epimorphisms with source a thick generalized $m$-gon and target a thin generalized $m$-gon. We classify the case $m = 8$ when the polygons are finite (in the first part [15] we handled the cases $m = 3, 4$ and $6$). Then we show that the infinite case is very different, and construct examples which strongly differ from the finite case. A number of general structure theorems are also obtained, and we also take a look at the infinite case for general gonality.
No perfect state transfer in trees with more than 3 vertices
Published
• View Publication
• BIB
We prove that the only trees that admit perfect state transfer according to the adjacency matrix model are $P_2$ and $P_3$. This answers a question first asked by Godsil in 2012 and proves a conjecture by Coutinho and Liu from 2015.
A Simple and Elementary Proof of Zorn's Lemma
Published in Discrete Mathematics Letters, vol.13 (2024) 108-110
• View Publication
• BIB
Zorn's Lemma is a well-known equivalent of the Axiom of Choice. It is usually regarded as a topic in axiomatic set theory, and its historically standard proof (from the Axiom of Choice) relies on transfinite recursion, a non-elementary set-theoretic machinery. However, the statement of Zorn's Lemma itself uses only elementary terminology for partially ordered sets. Therefore, it is worthy to establish a proof using only such elementary terminology. Following this line of study, we give a new simple proof of Zorn's Lemma, which does not even use the notion of a well-ordered set.
Rings whose associated extended zero-divisor graphs are complemented
Let $R$ be a commutative ring with identity $1\neq 0$. In this paper, we continue the study started in [10] concerning when the extended zero-divisor graph of $R$, $\overlineΓ(R)$, is complemented. We also study when $\overlineΓ(R)$ is uniquely complemented. We give a complete characterization of when $\overlineΓ(R)$ of a finite ring is complemented. Various examples are given using the direct product of rings and idealizations of modules.
Addition-deletion theorems for the Solomon-Terao polynomials and $B$-sequences of hyperplane arrangements
Published
• View Publication
• BIB
We prove the addition-deletion theorems for the Solomon-Terao polynomials, which have two important specializations. Namely, one is to the characteristic polynomials of hyperplane arangements, and the other to the Poincarè polynomials of the regular nilpotent Hessenberg varieties. One of the main tools to show them is the free surjection theorem which confirms the right exactness of several important exact sequences among logarithmic modules. Moreover, we introduce a generalized polynomial $B$-theory to the higher order logarithmic modules, whose origin was due to Terao.
Unsolved Problems in Spectral Graph Theory
Published in Oper. Res. Trans. 27 (2023), no. 4, 33--60
• View Publication
• BIB
Spectral graph theory is a captivating area of graph theory that employs the eigenvalues and eigenvectors of matrices associated with graphs to study them. In this paper, we present a collection of $20$ topics in spectral graph theory, covering a range of open problems and conjectures. Our focus is primarily on the adjacency matrix of graphs, and for each topic, we provide a brief historical overview.
Regular Graphs of Degree at most Four that Allow Two Distinct Eigenvalues
Published
• View Publication
• BIB
For an $n \times n$ matrix $A$, let $q(A)$ be the number of distinct eigenvalues of $A$. If $G$ is a connected graph on $n$ vertices, let $\mathcal{S}(G)$ be the set of all real symmetric $n \times n$ matrices $A=[a_{ij}]$ such that for $i\neq j$, $a_{ij}=0$ if and only if $\{i,j\}$ is not an edge of $G$. Let $q(G)={\rm min}\{q(A)\,:\,A \in \mathcal{S}(G)\}$. Studying $q(G)$ has become a fundamental sub-problem of the inverse eigenvalue problem for graphs, and characterizing the case for which $q(G)=2$ has been especially difficult. This paper considers the problem of determining the regular graphs $G$ that satisfy $q(G)=2$. The resolution is straightforward if the degree of regularity is $1, 2,$ or $3$. However, the $4$-regular graphs with $q(G)=2$ are much more difficult to characterize. A connected $4$-regular graph has $q(G)=2$ if and only if either $G$ belongs to a specific infinite class of graphs, or else $G$ is one of fifteen $4$-regular graphs whose number of vertices ranges from $5$ to $16$. This technical result gives rise to several intriguing questions.
Degree criteria and stability for independent transversals
Published
• View Publication
• BIB
An \emph{independent transversal} (IT) in a graph $G$ with a given vertex partition $P$ is an independent set of vertices of $G$ (i.e. it induces no edges), that consists of one vertex from each part (\emph{block}) of $P$. Over the years, various criteria have been established that guarantee the existence of an IT, often given in terms of $P$ being $t$-\emph{thick}, meaning all blocks have size at least $t$. One such result, obtained recently by Wanless and Wood, is based on the \emph{maximum average block degree} $b(G,P)=\max\{\sum_{u\in U} d(u)/|U| : U \in P\}$. They proved that if $b(G,P)\leq t/4$ then an IT exists. Resolving a problem posed by Groenland, Kaiser, Treffers and Wales (who showed that the ratio $1/4$ is best possible), here we give a full characterization of pairs $(α,β)$ such that the following holds for every $t>0$: whenever $G$ is a graph with maximum degree $Δ(G)\leqαt$, and $P$ is a $t$-thick vertex partition of $G$ such that $b(G,P)\leq βt$, there exists an IT of $G$ with respect to $P$. Our proof makes use of another previously known criterion for the existence of IT's that involves the topological connectedness of the independence complex of graphs, and establishes a general technical theorem on the structure of graphs for which this parameter is bounded above by a known quantity. Our result interpolates between the criterion $b(G,P)\leq t/4$ and the old and frequently applied theorem that if $Δ(G)\leq t/2$ then an IT exists. Using the same approach, we also extend a theorem of Aharoni, Holzman, Howard and Sprüssel, by giving a stability version of the latter result.
Nodal decompositions of a symmetric matrix
Published
• View Publication
• BIB
Analyzing nodal domains is a way to discern the structure of eigenvectors of operators on a graph. We give a new definition extending the concept of nodal domains to arbitrary signed graphs, and therefore to arbitrary symmetric matrices. We show that for an arbitrary symmetric matrix, a positive fraction of eigenbases satisfy a generalized version of known nodal bounds for un-signed (that is classical) graphs. We do this through an explicit decomposition. Moreover, we show that with high probability, the number of nodal domains of a bulk eigenvector of the adjacency matrix of signed a Erdős-Rényi graph is $Ω(n/\log n)$ and $o(n)$.
Pivot-minors and the Erdős-Hajnal conjecture
Published
• View Publication
• BIB
We prove a conjecture of Kim and Oum that every proper pivot-minor-closed class of graphs has the strong Erdős-Hajnal property. More precisely, for every graph $H$, there exists $ε> 0$ such that every $n$-vertex graph with no pivot-minor isomorphic to $H$ contains two sets $A, B$ of vertices such that $|A|, |B| \ge εn$ and $A$ is complete or anticomplete to $B$.