Showing 20 papers (Total: 84460 papers, 48641 authors in database)
The combinatorics of weight systems and characteristic polynomials of isolated quasihomogeneous singularities
Published
• View Publication
• BIB
A paper of the first author and Zilke proposed seven combinatorial problems around formulas for the characteristic polynomial and the exponents of an isolated quasihomogeneous singularity. The most important of them was a conjecture on the characteristic polynomial. Here the conjecture is proved, and some of the other problems are solved, too. In the cases where also an old conjecture of Orlik on the integral monodromy holds, this has implications on the automorphism group of the Milnor lattice. The combinatorics used in the proof of the conjecture consists of tuples of orders on sets $\{0,1,...,n\}$ with special properties and may be of independent interest.
Twist polynomials of delta-matroids
Published
• View Publication
• BIB
Recently, Gross, Mansour and Tucker introduced the partial duality polynomial of a ribbon graph and posed a conjecture that there is no orientable ribbon graph whose partial duality polynomial has only one non-constant term. We found an infinite family of counterexamples for the conjecture and showed that essentially these are the only counterexamples. This is also obtained independently by Chumutov and Vignes-Tourneret and they posed a problem: it would be interesting to know whether the partial duality polynomial and the related conjectures would make sence for general delta-matroids. In this paper, we show that partial duality polynomials have delta-matroid analogues. We introduce the twist polynomials of delta-matroids and discuss its basic properties for delta-matroids. We give a characterization of even normal binary delta-matroids whose twist polynomials have only one term and then prove that the twist polynomial of a normal binary delta-matroid contains non-zero constant term if and only if its intersection graph is bipartite.
Spectrum of weighted adjacency operator on a non-uniform arithmetic quotient of $PGL_3$
Published in Comb. Number Th. 13 (2024) 103-122
• View Publication
• BIB
We investigate the automorphic spectra of the natural weighted adjacency operator on the complex arising as a $PGL(3,\mathbb{F}_q[t])$ quotient of $\widetilde{A}_2$-type building. We prove that the set of non-trivial approximate eigenvalues $(λ^+,λ^-)$ of the weighted adjacency operators $A_w^\pm$ on the quotient induced from the colored adjacency operators $A^\pm$ on the building for $PGL_3$ contains the simultaneous spectrum of $A^\pm$ and another hypocycloid with three cusps. As a byproduct, we re-establish a proof of the fact that $PGL(3,\mathbb{F}_q[t])\backslash PGL(3,\mathbb{F}_q(\!(t^{-1})\!))/PGL(3,\mathbb{F}_q[\![t^{-1}]\!])$ is not a Ramanujan complex, from a combinatorial aspect.
Bohr neighborhoods in generalized difference sets
Published
• View Publication
• BIB
If $A$ is a set of integers having positive upper Banach density and $r,s,t$ are nonzero integers whose sum is zero, a theorem of Bergelson and Ruzsa says that the set $rA+sA+tA:=\{ra_1+sa_2+ta_3:a_i\in A\}$ contains a Bohr neighborhood of zero. We prove the natural generalization of this result for subsets of countable abelian groups and more summands.
The signless Laplacian state transfer in Q-graph
The $\mathcal{Q}$-graph of a graph $G$, denoted by $\mathcal{Q}(G)$, is the graph derived from $G$ by plugging a new vertex to each edge of $G$ and adding a new edge between two new vertices which lie on adjacent edges of $G$. In this paper, we consider to study the existence of the signless Laplacian perfect state transfer and signless Laplacian pretty good state transfer in $\mathcal{Q}$-graphs of graphs. We show that, if all the signless Laplacian eigenvalues of a regular graph $G$ are integers, then the $\mathcal{Q}$-graph of $G$ has no signless Laplacian perfect state transfer. We also give a sufficient condition that the $\mathcal{Q}$-graph of a regular graph has signless Laplacian pretty good state transfer when $G$ has signless Laplacian perfect state transfer between two specific vertices.
Three families of toric rings arising from posets or graphs with small class groups
Published
• View Publication
• BIB
The main objects of the present paper are (i) Hibi rings (toric rings arising from order polytopes of posets), (ii) stable set rings (toric rings arising from stable set polytopes of perfect graphs), and (iii) edge rings (toric rings arising from edge polytopes of graphs satisfying the odd cycle condition). The goal of the present paper is to analyze those three toric rings and to discuss their structures in the case where their class groups have small rank. We prove that the class groups of (i), (ii) and (iii) are torsionfree. More precisely, we give descriptions of their class groups. Moreover, we characterize the posets or graphs whose associated toric rings have rank $1$ or $2$. By using those characterizations, we discuss the differences of isomorphic classes of those toric rings with small class groups.
Small non-Leighton two-complexes
Published in Math. Proc. Cambridge Philos. Soc., 174:2 (2023), 385-391
• View Publication
• BIB
How many two-cells must two finite CW-complexes have to admit a common, but not finite common, covering? Leighton's theorem says that both complexes must have two-cells. We construct an almost (?) minimal example with two two-cells in each complex.
Calculus of variations on locally finite graphs
Published
• View Publication
• BIB
Let $G=(V,E)$ be a locally finite graph. Firstly, using calculus of variations, including a direct method of variation and the mountain-pass theory, we get sequences of solutions to several local equations on $G$ (the Schrödinger equation, the mean field equation, and the Yamabe equation). Secondly, we derive uniform estimates for those local solution sequences. Finally, we obtain global solutions by extracting convergent sequence of solutions. Our method can be described as a variational method from local to global.
A heat flow for the mean field equation on a finite graph
Published
• View Publication
• BIB
Inspired by works of Castéras (Pacific J. Math., 2015), Li-Zhu (Calc. Var., 2019) and Sun-Zhu (Calc. Var., 2020), we propose a heat flow for the mean field equation on a connected finite graph $G=(V,E)$. Namely $$ \left\{\begin{array}{lll} \partial_tφ(u)=Δu-Q+ρ\frac{e^u}{\int_Ve^udμ}\\[1.5ex] u(\cdot,0)=u_0, \end{array}\right. $$ where $Δ$ is the standard graph Laplacian, $ρ$ is a real number, $Q:V\rightarrow\mathbb{R}$ is a function satisfying $\int_VQdμ=ρ$, and $φ:\mathbb{R}\rightarrow\mathbb{R}$ is one of certain smooth functions including $φ(s)=e^s$. We prove that for any initial data $u_0$ and any $ρ\in\mathbb{R}$, there exists a unique solution $u:V\times[0,+\infty)\rightarrow\mathbb{R}$ of the above heat flow; moreover, $u(x,t)$ converges to some function $u_\infty:V\rightarrow\mathbb{R}$ uniformly in $x\in V$ as $t\rightarrow+\infty$, and $u_\infty$ is a solution of the mean field equation $$Δu_\infty-Q+ρ\frac{e^{u_\infty}}{\int_Ve^{u_\infty}dμ}=0.$$ Though $G$ is a finite graph, this result is still unexpected, even in the special case $Q\equiv 0$. Our approach reads as follows: the short time existence of the heat flow follows from the ODE theory; various integral estimates give its long time existence; moreover we establish a Lojasiewicz-Simon type inequality and use it to conclude the convergence of the heat flow.
On Ledin and Brousseau's summation problems
We develop a recursive scheme, as well as polynomial forms (polynomials in $n$ of degree $m$), for the evaluation of Ledin and Brousseau's Fibonacci sums of the form $S(m,n,r)=\sum_{k=1}^nk^mF_{k + r}$, $T(m,n,r)=\sum_{k=1}^nk^mL_{k + r}$ for non-negative integers $m$ and $n$ and arbitrary integer $r$; $F_j$ and $L_j$ being the $j^{th}$ Fibonacci and Lucas numbers. We also extend the study to a general second order sequence by establishing a recursive procedure to determine $W(m,n,r;a,b,p,q)=\sum_{k=1}^nk^mw_{k+r}$ where $(w_j(a,b;p,q))$ is the Horadam sequence defined by $w_0 = a,\,w_1 = b;\,w_j = pw_{j - 1} - qw_{j - 2}\, (j \ge 2);$ where $a$, $b$, $p$ and $q$ are arbitrary complex numbers, with $p\ne 0$ and $q\ne 0$. An explicit polynomial form for $W(m,n,r;a,b,1,q)$ and more generally for the sum $\mathcal W(m,n,h,r;a,b,p,q) = \sum_{k = 1}^n {V_h^{- k}k^m w_{hk + r}}$, where $(V_j(p,q))=(w_j(2,p;p,q))$, is established. Finally a polynomial form is established for a Ledin-Brousseau sum involving Horadam numbers with subscripts in arithmetic progression.
Biased multilinear maps of abelian groups
We adapt the theory of partition rank and analytic rank to the category of abelian groups. If $A_1, \dots, A_k$ are finite abelian groups and $φ: A_1 \times \cdots \times A_k \to \mathbf{T}$ is a multilinear map, where $\mathbf{T} = \mathbf{R}/\mathbf{Z}$, the bias of $φ$ is defined to be the average value of $\exp(i 2 πφ)$. If the bias of $φ$ is bounded away from zero we show that $φ$ is the sum of boundedly many multilinear maps each of which factors through the standard multiplication map of $\mathbf{Z}/q\mathbf{Z}$ for some bounded prime power $q$. Relatedly, if $F : A_1 \times \cdots \times A_{k-1} \to B$ is a multilinear map such that $\mathbf{P}(F = 0)$ is bounded away from zero, we show that $F$ is the sum of boundedly many multilinear functions of a particular form. These structure theorems generalize work of several authors in the elementary abelian case to the arbitrary abelian case. The set of all possible biases is also investigated.
Persistent homology method to detect block structures in weighted networks
Unravelling the block structure of a network is critical for studying macroscopic features and community-level dynamics. The weighted stochastic block model (WSBM), a variation of the traditional stochastic block model, is designed for weighted networks, but it is not always optimal. We introduce a novel topological method to study the block structure of weighted networks by comparing their persistence diagrams. We found persistence diagrams of networks with different block structures show distinct features, sufficient to distinguish. Moreover, the overall characteristics are preserved even with more stochastic examples or modified hyperparameters. Finally, when random graphs whose latent block structure is unknown are tested, results from persistence diagram analysis are consistent with their weighted stochastic block model. Although this topological method cannot completely replace the original WSBM method for some reasons, it is worth to be investigated further.
Reducing Linear Hadwiger's Conjecture to Coloring Small Graphs
Published
• View Publication
• BIB
In 1943, Hadwiger conjectured that every graph with no $K_t$ minor is $(t-1)$-colorable for every $t\ge 1$. In the 1980s, Kostochka and Thomason independently proved that every graph with no $K_t$ minor has average degree $O(t\sqrt{\log t})$ and hence is $O(t\sqrt{\log t})$-colorable. Recently, Norin, Song and the second author showed that every graph with no $K_t$ minor is $O(t(\log t)^β)$-colorable for every $β> 1/4$, making the first improvement on the order of magnitude of the $O(t\sqrt{\log t})$ bound. The first main result of this paper is that every graph with no $K_t$ minor is $O(t\log\log t)$-colorable.
This is a corollary of our main technical result that the chromatic number of a $K_t$-minor-free graph is bounded by $O(t(1+f(G,t)))$ where $f(G,t)$ is the maximum of $\frac{χ(H)}{a}$ over all $a\ge \frac{t}{\sqrt{\log t}}$ and $K_a$-minor-free subgraphs $H$ of $G$ that are small (i.e. $O(a\log^4 a)$ vertices). This has a number of interesting corollaries. First as mentioned, using the current best-known bounds on coloring small $K_t$-minor-free graphs, we show that $K_t$-minor-free graphs are $O(t\log\log t)$-colorable. Second, it shows that proving Linear Hadwiger's Conjecture (that $K_t$-minor-free graphs are $O(t)$-colorable) reduces to proving it for small graphs. Third, we prove that $K_t$-minor-free graphs with clique number at most $\sqrt{\log t}/ (\log \log t)^2$ are $O(t)$-colorable. This implies our final corollary that Linear Hadwiger's Conjecture holds for $K_r$-free graphs for every fixed $r$.
One key to proving the main theorem is a new standalone result that every $K_t$-minor-free graph of average degree $d=Ω(t)$ has a subgraph on $O(t \log^3 t)$ vertices with average degree $Ω(d)$.
Separating topological recurrence from measurable recurrence: exposition and extension of Kriz's example
We prove that for every infinite set $E\subset \mathbb Z$, there is a set $S\subset E-E$ which is a set of topological recurrence and not a set of measurable recurrence. This extends a result of Igor Kriz, proving that there is a set of topological recurrence which is not a set of measurable recurrence. Our construction follows Kriz's closely, and this paper can be considered an exposition of the original argument.
Smith Normal Form and the Generalized Spectral Characterization of Graphs
Published
• View Publication
• BIB
Spectral characterization of graphs is an important topic in spectral graph theory, which has received a lot of attention from researchers in recent years. It is generally very hard to show a given graph to be determined by its spectrum. Recently, Wang [10] gave a simple arithmetic condition for graphs being determined by their generalized spectra. Let $G$ be a graph with adjacency matrix $A$ on $n$ vertices, and $W=[e,Ae,\ldots,A^{n-1}e]$ ($e$ is the all-one vector) be the walk-matrix of $G$. A theorem of Wang [10] states that if $2^{-\lfloor n/2\rfloor}\det W$ (which is always an integer) is odd and square-free, then $G$ is determined by the generalized spectrum. In this paper, we find a new and short route which leads to a stronger version of the above theorem. The result is achieved by using the Smith Normal Form of the walk-matrix of $G$. The proposed method gives a new insight in dealing with the problem of generalized spectral characterization of graphs.
Weakly distance-regular digraphs of one type of arcs
Published
• View Publication
• BIB
In this paper, we classify all commutative weakly distance-regular digraphs of girth $g$ and one type of arcs under the assumption that $p_{(1,g-1),(1,g-1)}^{(2,g-2)}\geq k_{1,g-1}-2$. In consequence, we recover [13, Theorem 1.1] as a special case of our result.
Bier spheres of extremal volume and generalized permutohedra
Published
• View Publication
• BIB
A Bier sphere $Bier(K) = K\ast_ΔK^\circ$, defined as the deleted join of a simplicial complex and its Alexander dual $K^\circ$, is a purely combinatorial object (abstract simplicial complex). Here we study a hidden geometry of Bier spheres by describing their natural geometric realizations, compute their volume, describe an effective criterion for their polytopality, and associate to $K$ a natural fan $Fan(K)$, related to the Braid fan. Along the way we establish a connection of Bier spheres of maximal volume with recent generalizations of the classical Van Kampen-Flores theorem and clarify the role of Bier spheres in the theory of generalized permutohedra.
The number of distinguishing colorings of a Cartesian product graph
Published in Quaestiones Mathematicae
• View Publication
• BIB
A vertex coloring is called distinguishing if the identity is the only automorphism that can preserve it. The distinguishing threshold $θ(G)$ of a graph $G$ is the minimum number of colors $k$ required that any arbitrary $k$-coloring of $G$ is distinguishing. In this paper, we calculate the distinguishing threshold of a Cartesian product graph. Moreover, we calculate the number of non-equivalent distinguishing colorings of grids.
Efficient covering of convex domains by congruent discs
Published
• View Publication
• BIB
In this paper, we consider the problem of covering a plane region with unit discs. We present an improved upper bound and the first nontrivial lower bound on the number of discs needed for such a covering, depending on the area and perimeter of the region. We provide algorithms for efficient covering of convex polygonal regions using unit discs. We show that the computational complexity of the algorithms is pseudo-polynomial in the size of the input and the output. We also show that these algorithms provide a constant factor approximation of the optimal covering of the region.
Biobjective Optimization Problems on Matroids with Binary Costs
Published
• View Publication
• BIB
Like most multiobjective combinatorial optimization problems, biobjective optimization problems on matroids are in general intractable and their corresponding decision problems are in general NP-hard. In this paper, we consider biobjective optimization problems on matroids where one of the objective functions is restricted to binary cost coefficients. We show that in this case the problem has a connected efficient set with respect to a natural definition of a neighborhood structure and hence, can be solved efficiently using a neighborhood search approach. This is, to the best of our knowledge, the first non-trivial problem on matroids where connectedness of the efficient set can be established.
The theoretical results are validated by numerical experiments with biobjective minimum spanning tree problems (graphic matroids) and with biobjective knapsack problems with a cardinality constraint (uniform matroids). In the context of the minimum spanning tree problem, coloring all edges with cost 0 green and all edges with cost 1 red leads to an equivalent problem where we want to simultaneously minimize one general objective and the number of red edges (which defines the second objective) in a Pareto sense.