Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Node resistance curvature in Cartesian graph products
Published
• View Publication
• BIB
Devriendt and Lambiotte recently introduced the \emph{node resistance curvature}, a notion of graph curvature based on the effective resistance matrix. In this paper, we begin the study of the behavior of the node resistance curvature under the operation of the Cartesian graph product. We study the natural question of global positivity of node resistance curvature of the Cartesian product of positively-curved graphs, and prove that, whenever $m,n\ge3$, the node resistance curvature of the interior vertices of a $m\times n$ grid is always nonpositive, while it is always nonnegative on the boundary of such grids. For completeness, we also prove a number of results on node resistance curvature in $2\times n$ grids and exhibit a counterexample to a generalization. We also give generic bounds and suggest several further questions for future study.
A general $q$-series transformation and its applications to multi-sum Rogers-Ramanujan-Slater identities
In the present paper, we establish a general transformation for $q$-series which contains L. Wang et al's transformation involved in Nahm series. As direct applications, some concrete new transformation formulas for the ${}_{r+1}φ_r$ series as well as $q$-identities of multi-sum Rogers-Ramanujan-Slater type are presented.
The classification of two-distance transitive dihedrants
Published
• View Publication
• BIB
A vertex transitive graph $Γ$ is said to be $2$-distance transitive if for each vertex $u$, the group of automorphisms of $Γ$ fixing the vertex $u$ acts transitively on the set of vertices at distance $1$ and $2$ from $u$, while $Γ$ is said to be $2$-arc transitive if its automorphism group is transitive on the set of $2$-arcs. Then $2$-arc transitive graphs are $2$-distance transitive. The classification of $2$-arc transitive Cayley graphs on dihedral groups was given by Du, Malnič and Marušič in [Classification of 2-arc-transitive dihedrants, J. Combin. Theory Ser. B 98 (2008), 1349--1372]. In this paper, it is shown that a connected 2-distance transitive Cayley graph on the dihedral group of order $2n$ is either $2$-arc transitive, or isomorphic to the complete multipartite graph $K_{m[b]}$ for some $m\geq3$ and $b\geq2$ with $mb=2n$.
A Strongly Subcubic Combinatorial Algorithm for Triangle Detection with Applications
We revisit the algorithmic problem of finding a triangle in a graph: We give a randomized combinatorial algorithm for triangle detection in a given $n$-vertex graph with $m$ edges running in $O(n^{7/3})$ time, or alternatively in $O(m^{4/3})$ time. This may come as a surprise since it invalidates several conjectures in the literature. In particular,
- the $O(n^{7/3})$ runtime surpasses the long-standing fastest algorithm for triangle detection based on matrix multiplication running in $O(n^ω) = O(n^{2.372})$ time, due to Itai and Rodeh (1978).
- the $O(m^{4/3})$ runtime surpasses the long-standing fastest algorithm for triangle detection in sparse graphs based on matrix multiplication running in $O(m^{2ω/(ω+1)})= O(m^{1.407})$ time due to Alon, Yuster, and Zwick (1997).
- the $O(n^{7/3})$ time algorithm for triangle detection leads to a $O(n^{25/9} \log{n})$ time combinatorial algorithm for $n \times n$ Boolean matrix multiplication, by a reduction of V. V. Williams and R.~R.~Williams (2018).This invalidates a conjecture of A.~Abboud and V. V. Williams (FOCS 2014).
- the $O(m^{4/3})$ runtime invalidates a conjecture of A.~Abboud and V. V. Williams (FOCS 2014) that any combinatorial algorithm for triangle detection requires $m^{3/2 - o(1)}$ time.
- as a direct application of the triangle detection algorithm, we obtain a faster exact algorithm for the $k$-clique problem, surpassing an almost $40$ years old algorithm of Ne{š}et{ř}il and Poljak (1985). This result strongly disproves the combinatorial $k$-clique conjecture.
- as another direct application of the triangle detection algorithm, we obtain a faster exact algorithm for the \textsc{Max-Cut} problem, surpassing an almost $20$ years old algorithm of R.~R.~Williams (2005).
A Ricci flow on graphs from effective resistance
Published
• View Publication
• BIB
In this paper, we introduce a new notion of curvature on the edges of a graph that is defined in terms of effective resistances. We call this the Ricci--Foster curvature. We study the Ricci flow resulting from this curvature. We prove the existence of solutions to Ricci flow on short time intervals, and prove that Ricci flow preserves graphs with nonnegative (resp. positive) curvature.
Polyhedral realizations for crystal bases and Young walls of classical affine types
Published
• View Publication
• BIB
For affine Lie algebra $\mathfrak{g}$ of type $A^{(1)}_{n-1}$, $B^{(1)}_{n-1}$, $C^{(1)}_{n-1}$, $D^{(1)}_{n-1}$, $A^{(2)}_{2n-2}$, $A^{(2)}_{2n-3}$ or $D^{(2)}_{n}$, let $B(λ)$ and $B(\infty)$ be the crystal bases of integrable highest weight representation $V(λ)$ and negative part $U_q^-(\mathfrak{g})$ of quantum group $U_q(\mathfrak{g})$. We consider the polyhedral realizations of crystal bases, which realize $B(λ)$ and $B(\infty)$ as sets of integer points of some polytopes and cones in $\mathbb{R}^{\infty}$. It is a natural problem to find explicit forms of the polytopes and cones. In this paper, we introduce pairs of truncated walls, which are defined as modifications of level $2$-Young walls and describe inequalities defining the polytopes and cones in terms of level $1$-proper Young walls and pairs of truncated walls. As an application, we also give combinatorial descriptions of $\varepsilon_k^*$-functions on $B(\infty)$ in terms of Young walls and truncated walls.
Stability of graph pairs involving cycles
Published
• View Publication
• BIB
A graph pair $(Γ, Σ)$ is called stable if $\aut(Γ)\times\aut(Σ)$ is isomorphic to $\aut(Γ\timesΣ)$ and unstable otherwise, where $Γ\timesΣ$ is the direct product of $Γ$ and $Σ$. A graph is called $R$-thin if distinct vertices have different neighbourhoods. $Γ$ and $Σ$ are said to be coprime if there is no nontrivial graph $Δ$ such that $Γ\cong Γ_1 \times Δ$ and $Σ\cong Σ_1 \times Δ$ for some graphs $Γ_1$ and $Σ_1$. An unstable graph pair $(Γ, Σ)$ is called nontrivially unstable if $Γ$ and $Σ$ are $R$-thin connected coprime graphs and at least one of them is non-bipartite. This paper contributes to the study of the stability of graph pairs with a focus on the case when $Σ= C_n$ is a cycle. We give two sufficient conditions for $(Γ, C_n)$ to be nontrivially unstable, where $n \ne 4$ and $Γ$ is an $R$-thin connected graph. In the case when $Γ$ is an $R$-thin connected non-bipartite graph, we obtain the following results: (i) if $(Γ, K_2)$ is unstable, then $(Γ, C_{n})$ is unstable for every even integer $n \geq 4$; (ii) if an even integer $n \ge 6$ is compatible with $Γ$ in some sense, then $(Γ, C_{n})$ is nontrivially unstable if and only if $(Γ, K_2)$ is unstable; (iii) if there is an even integer $n \ge 6$ compatible with $Γ$ such that $(Γ, C_{n})$ is nontrivially unstable, then $(Γ, C_{m})$ is unstable for all even integers $m \ge 6$. We also prove that if $Γ$ is an $R$-thin connected graph and $n \ge 3$ is an odd integer compatible with $Γ$, then $(Γ, C_{n})$ is stable.
On q-series and the moment problem associated to local factors
We investigate the moment problem and Jacobi matrix associated -- by the operator theoretic framework of the semilocal trace formula -- to each finite set $S$ of places of $\mathbb Q$ containing the archimedean place. The measure is given by the absolute value squared of the product over $S$ of local factors restricted to the critical line. We treat the case $S=\{p,\infty\}$, where a single prime $p$ is adjoined to the archimedean place. We find that all the key ingredients such as the moments, the orthogonal polynomials and the Jacobi matrices can be expressed as power series in terms of the parameter $q:=1/p$. We show that the series which appear for the moments themselves are Lambert series. The study of the $q$-series for the coefficients of the Jacobi matrix, and for the associated orthogonal polynomials reveals an intriguing integrality result: all those coefficients belong to the ring $\mathbb Z[\frac{1}{\sqrt{2}}]$ obtained by adjoining $1 / \sqrt{2}$ to the ring of integers. The main result of this paper is the conceptual explanation of this integrality property using Catalan numbers.
The characterization of an Alternating Sign Matrix using a triplet
Published in Math.J.Okayama.Univ., vol.67(2025), PP.101-131
• Search Publication
Alternating Sign Matrix(ASM for short) is a square matrix which is consist of 0, 1 and -1. In this paper, we characterize an ASM by showing a bijection between alternating sign matrix and six vertex model, and a bijection between six vertex model and height function. In order to show these bijections, we define a triplet $({a}_{i, j}, {c}_{i, j}, {r}_{i, j})$ for each entry of an ASM. We also define a \textsl{track} for each index of height function, and state more properties of height function.
On the correctness of Maximum Parsimony for data with few substitutions in the NNI neighborhood of phylogenetic trees
Published
• View Publication
• BIB
Estimating phylogenetic trees, which depict the relationships between different species, from aligned sequence data (such as DNA, RNA, or proteins) is one of the main aims of evolutionary biology. However, tree reconstruction criteria like maximum parsimony do not necessarily lead to unique trees and in some cases even fail to recognize the \enquote{correct} tree (i.e., the tree on which the data was generated). On the other hand, a recent study has shown that for an alignment containing precisely those binary characters (sites) which require up to two substitutions on a given tree, this tree will be the unique maximum parsimony tree.
It is the aim of the present paper to generalize this recent result in the following sense: We show that for a tree $T$ with $n$ leaves, as long as $k<\frac{n}{8}+\frac{11}{9}-\frac{1}{18}\sqrt{9\cdot \left(\frac{n}{4}\right)^2+16}$ (or, equivalently, $n>9 k-11+\sqrt{9k^2-22 k+17} $, which in particular holds for all $n\geq 12k$), the maximum parsimony tree for the alignment containing all binary characters which require (up to or precisely) $k$ substitutions on $T$ will be unique in the NNI neighborhood of $T$ and it will coincide with $T$, too. In other words, within the NNI neighborhood of $T$, $T$ is the unique most parsimonious tree for the said alignment. This partially answers a recently published conjecture affirmatively. Additionally, we show that for $n\geq 8$ and for $k$ being in the order of $\frac{n}{2}$, there is always a pair of phylogenetic trees $T$ and $T'$ which are NNI neighbors, but for which the alignment of characters requiring precisely $k$ substitutions each on $T$ in total requires fewer substitutions on $T'$.
Automorphism group of a family of distance regular graphs which are not distance transitive
Let $G_n=\mathbb{Z}_n\times \mathbb{Z}_n$ for $n\geq 4$ and $S=\{(i,0),(0,i),(i,i): 1\leq i \leq n-1\}\subset G_n$. Define $Γ(n)$ to be the Cayley graph of $G_n$ with respect to the connecting set $S$. It is known that $Γ(n)$ is a strongly regular graph with the parameters $(n^2,3n-3,n,6)$ \cite{19}. Hence $Γ(n)$ is a distance regular graph. It is known that every distance transitive graph is distance regular, but the converse is not true. In this paper, we study some algebraic properties of the graph $Γ(n)$. Then by determining the automorphism group of this family of graphs, we show that the graphs under study are not distance transitive.
The unitary Cayley graph of upper triangular matrix rings
The unitary Cayley graph $C_R$ of a finite unital ring $R$ is the simple graph with vertex set $R$ in which two elements $x$ and $y$ are connected by an edge if and only if $x-y$ is a unit of $R$. We characterize the unitary Cayley graph $C_{T_n (\mathbb{F})}$ of the ring of all upper triangular matrices $T_n(\mathbb{F})$ over a finite field $\mathbb{F}$. We show that $C_{T_n (\mathbb{F})}$ is isomorphic to the semistrong product of the complete graph $K_m$ and the antipodal graph of the Hamming graph $A(H(n,p^k))$, where $m=p^{\frac{kn(n-1)}{2}}$ and $|\mathbb{F}|=p^k$. In particular, if $|\mathbb{F}|=2$, then the graph $C_{T_n (\mathbb{F})}$ has $2^{n-1}$ connected components, each component is isomorphic to the complete bipartite graph $K_{m,m}$, where $m=2^{\frac{n(n-1)}{2}}$. We also compute the diameter, triameter, and clique number of the graph $C_{T_n (\mathbb{F})}$.
A family of symmetric graphs in relation to 2-point-transitive linear spaces
Published
• View Publication
• BIB
A graph $Γ$ is $G$-symmetric if it admits $G$ as a group of automorphisms acting transitively on the set of arcs of $Γ$, where an arc is an ordered pair of adjacent vertices. Let $Γ$ be a $G$-symmetric graph such that its vertex set admits a nontrivial $G$-invariant partition ${\cal B}$, and let ${\cal D}(Γ, {\cal B})$ be the incidence structure with point set ${\cal B}$ and blocks $\{B\} \cup Γ_{\cal B}(α)$, for $B \in {\cal B}$ and $α\in B$, where $Γ_{\cal B}(α)$ is the set of blocks of ${\cal B}$ containing at least one neighbour of $α$ in $Γ$. In this paper we classify all $G$-symmetric graphs $Γ$ such that $Γ_{\cal B}(α) \ne Γ_{\cal B}(β)$ for distinct $α, β\in B$, the quotient graph of $Γ$ with respect to ${\cal B}$ is a complete graph, and ${\cal D}(Γ, {\cal B})$ is isomorphic to the complement of a $(G, 2)$-point-transitive linear space.
Nonexistence of generalized quadrangles admitting a point-primitive and line-primitive automorphism group with socle ${\rm PSU}(3,q)$, $q\geq 3$
Published
• View Publication
• BIB
A central problem in the study of generalized quadrangles is to classify finite generalized quadrangles satisfying certain symmetry conditions. It is known that an automorphism group of a finite thick generalized quadrangle $\mathcal{S}$ acting primitively on both the points and lines of $\mathcal{S}$ must be almost simple. In this paper, we initiate the study of finite generalized quadrangles admitting a point-primitive and line-primitive automorphism group with socle being a unitary group. We develop a group-theoretic tool to prove that the socle of such a group cannot be ${\rm PSU}(3,q)$ with $q\geq 3$.
Tropical twisted Hurwitz numbers for elliptic curves
Published
• View Publication
• BIB
Hurwitz numbers enumerate branched morphisms between Riemann surfaces. For a fixed elliptic target, Hurwitz numbers are intimately related to mirror symmetry following work of Dijkgraaf. In recent work of Chapuy and Dolega a new variant of Hurwitz numbers with fixed genus $0$ target was introduced that includes maps between between non-orientiable surfaces. These numbers are called $b$-Hurwitz numbers and are polynomials in a parameter $b$ which measures the non-orientability of the involved maps. An interpretation in terms of factorisations of $b$-Hurwitz numbers for $b=1$, so-called twisted Hurwitz numbers, was found in work of Burman and Fesler. In previous work, the authors derived a tropical geometry interpretation of these numbers. In this paper, we introduce a natural generalisation of twisted Hurwitz numbers with elliptic targets within the framework of symmetric groups. We derive a tropical interpretation of these invariants, relate them to Feynman integrals and derive an expression as a matrix element of an operator in the bosonic Fock space.
A group action on cyclic compositions and $γ$-positivity
Published
• View Publication
• BIB
Let $w_{n,k,m}$ be the number of Dyck paths of semilength $n$ with $k$ occurrences of $UD$ and $m$ occurrences of $UUD$. We establish in two ways a new interpretation of the numbers $w_{n,k,m}$ in terms of plane trees and internal nodes. The first way builds on a new characterization of plane trees that involves cyclic compositions. The second proof utilizes a known interpretation of $w_{n,k,m}$ in terms of plane trees and leaves, and a recent involution on plane trees constructed by Li, Lin, and Zhao. Moreover, a group action on the set of cyclic compositions (or equivalently, $2$-dominant compositions) is introduced, which amounts to give a combinatorial proof of the $γ$-positivity of the Narayana polynomial, as well as the $γ$-positivity of the polynomial $W_{2k+1,k}(t):=\sum_{1\le m\le k}w_{2k+1,k,m}t^m$ previously obtained by Bóna et al, with apparently new combinatorial interpretations of their $γ$-coefficients.
Irreducible components of sets of points in the plane that satisfy distance conditions
Published
• View Publication
• BIB
For a given graph whose edges are labeled with general real numbers, we consider the set of functions from the vertex set into the Euclidean plane such that the distance between the images of neighbouring vertices is equal to the corresponding edge label. This set of functions can be expressed as the zero set of quadratic polynomials and our main result characterizes the number of complex irreducible components of this zero set in terms of combinatorial properties of the graph. In case the complex components are three-dimensional, then the graph is minimally rigid and the component number is a well-known invariant from rigidity theory. If the components are four-dimensional, then they correspond to one-dimensional coupler curves of flexible planar mechanisms. As an application, we characterize the degree of irreducible components of such coupler curves combinatorially.
Improved Bounds for Point Selections and Halving Hyperplanes in Higher Dimensions
Published
• View Publication
• BIB
Let $(P,E)$ be a $(d+1)$-uniform geometric hypergraph, where $P$ is an $n$-point set in general position in $\mathbb{R}^d$ and $E\subseteq {P\choose d+1}$ is a collection of $ε{n\choose d+1}$ $d$-dimensional simplices with vertices in $P$, for $0<ε\leq 1$. We show that there is a point $x\in {\mathbb R}^d$ that pierces $\displaystyle Ω\left(ε^{(d^4+d)(d+1)+δ}{n\choose d+1}\right)$ simplices in $E$, for any fixed $δ>0$. This is a dramatic improvement in all dimensions $d\geq 3$, over the previous lower bounds of the general form $\displaystyle ε^{(cd)^{d+1}}n^{d+1}$, which date back to the seminal 1991 work of Alon, Bárány, Füredi and Kleitman.
As a result, any $n$-point set in general position in $\mathbb{R}^d$ admits only $\displaystyle O\left(n^{d-\frac{1}{d(d-1)^4+d(d-1)}+δ}\right)$ halving hyperplanes, for any $δ>0$, which is a significant improvement over the previously best known bound $\displaystyle O\left(n^{d-\frac{1}{(2d)^{d}}}\right)$ in all dimensions $d\geq 5$.
An essential ingredient of our proof is the following semi-algebraic Turán-type result of independent interest: Let $(V_1,\ldots,V_k,E)$ be a hypergraph of bounded semi-algebraic description complexity in ${\mathbb R}^d$ that satisfies $|E|\geq \varepsilon |V_1|\cdot\ldots \cdot |V_k|$ for some $\varepsilon>0$. Then there exist subsets $W_i\subseteq V_i$ that satisfy $W_1\times W_2\times\ldots\times W_k\subseteq E$, and $|W_1|\cdot\ldots\cdots|W_k|=Ω\left(\varepsilon^{d(k-1)+1}|V_1|\cdot |V_2|\cdot\ldots\cdot|V_k|\right)$.
Admissable sets do not exist for all parameters
A cap set in $\mathbb{F}_3^n$ is a subset that contains no three elements adding to 0. Building on a construction of Edel, a recent paper of Tyrrell gave the first improvement to the lower bound for a size of a cap set in two decades showing that, for large enough $n$, there is always a cap set in $\mathbb{F}_3^n$ of size at least $2.218^n$. This was shown by constructing what is called an $I(11,7)$ admissible set.
An admissible set is a subset of $\{0,1,2\}^m$ such that the supports of the vectors form an antichain with respect to inclusion and each triple of vectors has some coordinate where either exactly one of them is non-zero or exactly two are and they have different values. Such an admissible set is said to be $I(m,w)$ if it is of size $\binom mw$ and all of the vectors have exactly $w$ non-zero elements. In Tyrrell's paper they conjectured that $I(m,w)$ admissible set exists for all parameters. We resolve this conjecture by showing that there exists an $N$ such that an $I(N,4)$ admissible set does not exist.
We refer to the type of a vector in $\{0,1,2\}^m$ is the ordered sequence of its non-zero coefficients. The vectors of type $12$ form an $I(m,2)$ admissible set and the vectors of type $121$ form an $I(m,3)$ admissible set (as can be easily checked by an interested reader). Sadly it is quite easily proved that there is no $I(6,4)$ admissible set where all vectors are of the same type. It follows by Ramsey's Theorem applied to 4-regular hypergraphs that there exists an $N$ such that an $I(N,4)$ admissible set does not exist.
A similar argument shows that there exists an $N'$ such that an $I(N',N'-2)$ admissible set does not exist. Since we can construct an $I(m-1,w)$ and an $I(m-1,w-1)$ admissible set from an $I(m,w)$ admissible set, it follows that there are only finitely many $I(m,w)$ admissible sets exist other than the known forms.
Manifolds realized as orbit spaces of non-free $\mathbb Z_2^k$-actions on real moment-angle manifolds
Published
• View Publication
• BIB
We consider (non-necessarily free) actions of subgroups $H\subset \mathbb Z_2^m$ on the real moment-angle manifold $\mathbb R\mathcal{Z}_P$ corresponding to a simple convex $n$ polytope $P$ with $m$ facets. The criterion when the orbit space $\mathbb R\mathcal{Z}_P/H$ is a topological manifold (perhaps with a boundary) can be extracted from results by M.A. Mikhailova and C. Lange. For any dimension $n$ we construct series of manifolds $\mathbb R\mathcal{Z}_P/H$ homeomorphic to $S^n$ and series of manifolds $M^n=\mathbb R\mathcal{Z}_P/H$ admitting a hyperelliptic involution $τ\in\mathbb Z_2^m/H$, that is an involution $τ$ such that $M^n/\langleτ\rangle$ is homeomorphic to $S^n$. For any simple $3$-polytope $P$ we classify all subgroups $H\subset\mathbb Z_2^m$ such that $\mathbb R\mathcal{Z}_P/H$ is homeomorphic to $S^3$. For any simple $3$-polytope $P$ and any subgroup $H\subset\mathbb Z_2^m$ we classify all hyperelliptic involutions $τ\in\mathbb Z_2^m/H$ acting on $\mathbb R\mathcal{Z}_P/H$. As a corollary we obtain that a $3$-dimensional small cover has $3$ hyperelliptic involutions in $\mathbb Z_2^3$ if and only if it is a rational homology $3$-sphere and if and only if it correspond to a triple of Hamiltonian cycles such that each edge of the polytope belongs to exactly two of them.