Showing 20 papers (Total: 82374 papers, 47635 authors in database)
Analytic torsion for graphs
Analytic torsion is a functional on graphs which only needs linear algebra to be defined. In the continuum it corresponds to the Ray-Singer analytic torsion. We have formulas for analytic torsion if the graph is contractible or if it is a discrete sphere. A key insight is that analytic torsion is the super determinant of the Dirac operator of the graph.
On the support of Grothendieck polynomials
Grothendieck polynomials $\mathfrak{G}_w$ of permutations $w\in S_n$ were introduced by Lascoux and Schützenberger in 1982 as a set of distinguished representatives for the K-theoretic classes of Schubert cycles in the K-theory of the flag variety of $\mathbb{C}^n$. We conjecture that the exponents of nonzero terms of the Grothendieck polynomial $\mathfrak{G}_w$ form a poset under componentwise comparison that is isomorphic to an induced subposet of $\mathbb{Z}^n$. When $w\in S_n$ avoids a certain set of patterns, we conjecturally connect the coefficients of $\mathfrak{G}_w$ with the Möbius function values of the aforementioned poset with $\hat{0}$ appended. We prove special cases of our conjectures for Grassmannian and fireworks permutations.
The crossing number of the complete 4-partite graph $K_{1,1,m,n}$
Let $\textrm{cr}(G)$ denote the crossing number of a graph $G$. The well-known Zarankiewicz's conjecture (ZC) asserted $\textrm{cr}(K_{m,n})$ in 1954. In 1971, Harborth gave a conjecture (HC) on $\textrm{cr}(K_{x_1,...,x_n})$. HC on $K_{1,m,n}$ is verified if ZC is true by Ho et al. in 2021. In this paper, we showed the following results: If both $m$ and $n$ are even, then \[\textrm{cr}(K_{1,1,m,n})\geq \frac{1}{2}(\textrm{cr}(K_{m+1,n+3})+\textrm{cr}(K_{m+3,n+1})-mn-\frac{1}{4}(m^2+n^2));\] If both $m$ and $n$ are odd, then \[\textrm{cr}(K_{1,1,m,n})\geq \frac{1}{2}(\textrm{cr}(K_{1,m+1,n+1})+\textrm{cr}(K_{2,m,n})-\frac{1}{4}(m+1)(n+1)+1);\] If $m$ is even and $n$ is odd, then \begin{equation}\nonumber \begin{split} \textrm{cr}(K_{1,1,m,n})&\geq \frac{1}{4}(\textrm{cr}(K_{m+1,n+2})+\textrm{cr}(K_{m+3,n+2})+2\textrm{cr}(K_{2,m,n}) \\&-m(n+1)-\frac{1}{4}(n+1)^2). \end{split} \end{equation} The lower bounds in our result imply that if both $m$ and $n$ are even and ZC is true, then HC on $K_{1,1,m,n}$ holds; if at least one of $m$ and $n$ is odd and both ZC and HC on $K_{2,m,n}$ are true, then HC on $K_{1,1,m,n}$ holds.
Prefix palindromic length of the Sierpinski word
Published
• View Publication
• BIB
The prefix palindromic length $p_{\mathbf{u}}(n)$ of an infinite word $\mathbf{u}$ is the minimal number of concatenated palindromes needed to express the prefix of length $n$ of $\mathbf{u}$. This function is surprisingly difficult to study; in particular, the conjecture that $p_{\mathbf{u}}(n)$ can be bounded only if $\mathbf{u}$ is ultimately periodic is open since 2013. A more recent conjecture concerns the prefix palindromic length of the period doubling word: it seems that it is not $2$-regular, and if it is true, this would give a rare if not unique example of a non-regular function of a $2$-automatic word.
For some other $k$-automatic words, however, the prefix palindromic length is known to be $k$-regular. Here we add to the list of those words the Sierpinski word $\mathbf{s}$ and give a complete description of $p_{\mathbf{s}}(n)$.
Joint distribution of the cokernels of random $p$-adic matrices
Published in Forum Mathematicum 35 (2023), no. 4, 1005-1020
• View Publication
• BIB
In this paper, we study the joint distribution of the cokernels of random $p$-adic matrices. Let $p$ be a prime and $P_1(t), \cdots, P_l(t) \in \mathbb{Z}_p[t]$ be monic polynomials whose reductions modulo $p$ in $\mathbb{F}_p[t]$ are distinct and irreducible. We determine the limit of the joint distribution of the cokernels $\text{cok} (P_1(A)), \cdots, \text{cok}(P_l(A))$ for a random $n \times n$ matrix $A$ over $\mathbb{Z}_p$ with respect to Haar measure as $n \rightarrow \infty$. By applying the linearization of a random matrix model, we also provide a conjecture which generalizes this result. Finally, we provide a sufficient condition that the cokernels $\text{cok}(A)$ and $\text{cok}(A+B_n)$ become independent as $n \rightarrow \infty$, where $B_n$ is a fixed $n \times n$ matrix over $\mathbb{Z}_p$ for each $n$ and $A$ is a random $n \times n$ matrix over $\mathbb{Z}_p$.
Multidimensional Manhattan Preferences
Published
• View Publication
• BIB
A preference profile with $m$ alternatives and $n$ voters is $d$-Manhattan (resp. $d$-Euclidean) if both the alternatives and the voters can be placed into the $d$-dimensional space such that between each pair of alternatives, every voter prefers the one which has a shorter Manhattan (resp. Euclidean) distance to the voter. Following Bogomolnaia and Laslier [Journal of Mathematical Economics, 2007] and Chen and Grottke [Social Choice and Welfare, 2021] who look at $d$-Euclidean preference profiles, we study which preference profiles are $d$-Manhattan depending on the values $m$ and $n$.
First, we show that each preference profile with $m$ alternatives and $n$ voters is $d$-Manhattan whenever $d$ $\geq$ min($n$, $m$-$1$). Second, for $d = 2$, we show that the smallest non $d$-Manhattan preference profile has either three voters and six alternatives, or four voters and five alternatives, or five voters and four alternatives. This is more complex than the case with $d$-Euclidean preferences (see [Bogomolnaia and Laslier, 2007] and [Bulteau and Chen, 2020].
High-order bootstrap percolation in hypergraphs
Motivated by the bootstrap percolation process for graphs, we define a new, high-order generalisation to $k$-uniform hypergraphs, in which we infect $j$-sets of vertices for some integer $1\le j \le k-1$. We investigate the smallest possible size of an initially infected set which ultimately percolates and determine the exact size in almost all cases of $k$ and $j$.
On the intersection density of the symmetric group acting on uniform subsets of small size
Published
• View Publication
• BIB
Given a finite transitive group $G\leq \operatorname{Sym}(Ω)$, a subset $\mathcal{F}$ of $G$ is \emph{intersecting} if any two elements of $\mathcal{F}$ agree on some element of $Ω$. The \emph{intersection density} of $G$, denoted by $ρ(G)$, is the maximum of the rational number $|\mathcal{F}|\left(\frac{|G|}{|Ω|}\right)^{-1}$ when $\mathcal{F}$ runs through all intersecting sets in $G$. In this paper, we prove that if $G$ is the group $\operatorname{Sym}(n)$ or $\operatorname{Alt}(n)$ acting on the $k$-subsets of $\{1,2,3\ldots,n\}$, for $k\in \{3,4,5\}$, then $ρ(G)=1$. Our proof relies on the representation theory of the symmetric group and the ratio bound.
Bounding twin-width for bounded-treewidth graphs, planar graphs, and bipartite graphs
Published
• View Publication
• BIB
Twin-width is a newly introduced graph width parameter that aims at generalizing a wide range of "nicely structured" graph classes. In this work, we focus on obtaining good bounds on twin-width $\text{tww}(G)$ for graphs $G$ from a number of classic graph classes. We prove the following:
- $\text{tww}(G) \leq 3\cdot 2^{\text{tw}(G)-1}$, where $\text{tw}(G)$ is the treewidth of $G$,
- $\text{tww}(G) \leq \max(4\text{bw}(G),\frac{9}{2}\text{bw}(G)-3)$ for a planar graph $G$ with $\text{bw}(G) \geq 2$, where $\text{bw}(G)$ is the branchwidth of $G$,
- $\text{tww}(G) \leq 183$ for a planar graph $G$,
- the twin-width of a universal bipartite graph $(X,2^X,E)$ with $|X|=n$ is $n - \log_2(n) +
\mathcal{O}(1)$ .
An important idea behind the bounds for planar graphs is to use an embedding of the graph and sphere-cut decompositions to obtain good bounds on neighbourhood complexity.
A note on increasing paths in countable hypergraphs
An old result of Müller and Rödl states that a countable graph $G$ has a subgraph whose vertices all have infinite degree if and only if for any vertex labeling of $G$ by positive integers, an infinite increasing path can be found. They asked whether an analogous equivalence holds for edge labelings, which Reiterman answered in the affirmative. Recently, Arman, Elliott, and Rödl extended this problem to linear $k$-uniform hypergraphs $H$ and generalized the original equivalence for vertex labelings. They asked whether Reiterman's result for edge labelings can similarly be extended. We confirm this for the case where $H$ admits only finitely many Berge cycles.
On the gamma-vector of symmetric edge polytopes
Published in SIAM Journal on Discrete Mathematics 37 (2023), no. 2, pp. 487-515
• View Publication
• BIB
We study $γ$-vectors associated with $h^*$-vectors of symmetric edge polytopes both from a deterministic and a probabilistic point of view. On the deterministic side, we prove nonnegativity of $γ_2$ for any graph and completely characterize the case when $γ_2 = 0$. The latter also confirms a conjecture by Lutz and Nevo in the realm of symmetric edge polytopes. On the probabilistic side, we show that the $γ$-vectors of symmetric edge polytopes of most Erdős-Rényi random graphs are asymptotically almost surely nonnegative up to any fixed entry. This proves that Gal's conjecture holds asymptotically almost surely for arbitrary unimodular triangulations in this setting.
Growth of bilinear maps III: Decidability
Published
• View Publication
• BIB
The following notion of growth rate can be seen as a generalization of joint spectral radius: Given a bilinear map $*:\mathbb R^d\times\mathbb R^d\to\mathbb R^d$ with nonnegative coefficients and a nonnegative vector $s\in\mathbb R^d$, denote by $g(n)$ the largest possible entry of a vector obtained by combining $n$ instances of $s$ using $n-1$ applications of $*$. Let $λ$ denote the growth rate $\limsup_{n\to\infty} \sqrt[n]{g(n)}$. Rosenfeld showed that the problem of checking $λ\le 1$ is undecidable by reducing the problem of joint spectral radius.
In this article, we provide a simpler reduction using the observation that matrix multiplication is actually a bilinear map. Moreover, we extend the reduction to show that checking $λ\le 1$ is still undecidable even if $s$ is positive. If there is no restriction on the signs, we can also show that the problem of checking if the system can produce a zero vector is undecidable by reducing the problem of checking the mortality of a pair of matrices. This answers a question asked by Rosenfeld. Beside that, we confirm a remark of Rosenfeld that the problem does not become harder when we introduce more bilinear maps and more starting vectors.
It is known that if the vector $s$ is strictly positive, then the limit superior $λ$ is actually a limit. However, we show that when $s$ is only nonnegative, the problem of checking the existence of the limit is undecidable. This also answers a question asked by Rosenfeld.
We provide a formula for the growth rate $λ$ in terms of the diagonals of matrices corresponding to a special structure called ``linear pattern''. A condition is given so that the limit $λ$ exists. This actually provides a simpler proof for the existence of the limit $λ$ when $s>0$. An important corollary of the formula is the computability of the growth rate,....
The sharp form of the Kolmogorov--Rogozin inequality and a conjecture of Leader--Radcliffe
Let $X$ be a random variable and define its concentration function by $$\mathcal{Q}_{h}(X)=\sup_{x\in \mathbb{R}}\mathbb{P}(X\in (x,x+h]).$$ For a sum $S_n=X_1+\cdots+X_n$ of independent real-valued random variables the Kolmogorov-Rogozin inequality states that $$\mathcal{Q}_{h}(S_n)\leq C\left(\sum_{i=1}^{n}(1-\mathcal{Q}_{h}(X_i))\right)^{-\frac{1}{2}}.$$
In this paper we give an optimal bound for $\mathcal{Q}_{h}(S_n)$ in terms of $\mathcal{Q}_{h}(X_i)$, which settles a question posed by Leader and Radcliffe in 1994. Moreover, we show that the extremal distributions are mixtures of two uniform distributions each lying on an arithmetic progression.
On vertex decomposability and regularity of graphs
Published
• View Publication
• BIB
There are two motivation questions in \cite{MTS, MTS1} about Castelnuovo-Mumford regularity and vertex decomposable of simple graph $G$. In this paper, we disprove the questions by providing of two counterexamples.
Balanced and Swap-Robust Trades for Dynamical Distributed Storage
Published
• View Publication
• BIB
Trades, introduced by Hedayat, are two sets of blocks of elements which may be exchanged (traded) without altering the counts of certain subcollections of elements within their constituent blocks. They are of importance in applications where certain combinations of elements dynamically become prohibited from being placed in the same group of elements, since in this case one can trade the offending blocks with allowed ones. This is particularly the case in distributed storage systems, where due to privacy and other constraints, data of some groups of users cannot be stored together on the same server. We introduce a new class of balanced trades, important for access balancing of servers, and perturbation resilient balanced trades, important for studying the stability of server access frequencies with respect to changes in data popularity. The constructions and bounds on our new trade schemes rely on specialized selections of defining sets in minimal trades and number-theoretic analyses.
Some statistics on generalized Motzkin paths with vertical steps
Published
• View Publication
• BIB
Recently, several authors have considered lattice paths with various steps, including vertical steps permitted. In this paper, we consider a kind of generalized Motzkin paths, called {\it G-Motzkin paths} for short, that is lattice paths from $(0, 0)$ to $(n, 0)$ in the first quadrant of the $XOY$-plane that consist of up steps $\mathbf{u}=(1, 1)$, down steps $\mathbf{d}=(1, -1)$, horizontal steps $\mathbf{h}=(1, 0)$ and vertical steps $\mathbf{v}=(0, -1)$. We mainly count the number of G-Motzkin paths of length $n$ with given number of $\mathbf{z}$-steps for $\mathbf{z}\in \{\mathbf{u}, \mathbf{h}, \mathbf{v}, \mathbf{d}\}$, and enumerate the statistics "number of $\mathbf{z}$-steps" at given level in G-Motzkin paths for $\mathbf{z}\in \{\mathbf{u}, \mathbf{h}, \mathbf{v}, \mathbf{d}\}$, some explicit formulas and combinatorial identities are given by bijective and algebraic methods, some enumerative results are linked with Riordan arrays according to the structure decompositions of G-Motzkin paths. We also discuss the statistics "number of $\mathbf{z}_1\mathbf{z}_2$-steps" in G-Motzkin paths for $\mathbf{z}_1, \mathbf{z}_2\in \{\mathbf{u}, \mathbf{h}, \mathbf{v}, \mathbf{d}\}$, the exact counting formulas except for $\mathbf{z}_1\mathbf{z}_2=\mathbf{dd}$ are obtained by the Lagrange inversion formula and their generating functions.
The $\mathbf{uvu}$-avoiding $(a,b,c)$-Generalized Motzkin paths with vertical steps: bijections and statistic enumerations
Published
• View Publication
• BIB
A generalized Motzkin path, called G-Motzkin path for short, of length $n$ is a lattice path from $(0, 0)$ to $(n, 0)$ in the first quadrant of the XOY-plane that consists of up steps $\mathbf{u}=(1, 1)$, down steps $\mathbf{d}=(1, -1)$, horizontal steps $\mathbf{h}=(1, 0)$ and vertical steps $\mathbf{v}=(0, -1)$. An $(a,b,c)$-G-Motzkin path is a weighted G-Motzkin path such that the $\mathbf{u}$-steps, $\mathbf{h}$-steps, $\mathbf{v}$-steps and $\mathbf{d}$-steps are weighted respectively by $1, a, b$ and $c$. In this paper, we first give bijections between the set of $\mathbf{uvu}$-avoiding $(a,b,b^2)$-G-Motzkin paths of length $n$ and the set of $(a,b)$-Schröder paths as well as the set of $(a+b,b)$-Dyck paths of length $2n$, between the set of $\{\mathbf{uvu, uu}\}$-avoiding $(a,b,b^2)$-G-Motzkin paths of length $n$ and the set of $(a+b,ab)$-Motzkin paths of length $n$, between the set of $\{\mathbf{uvu,uu}\}$-avoiding $(a,b,b^2)$-G-Motzkin paths of length $n+1$ beginning with an $\mathbf{h}$-step weighted by $a$ and the set of $(a,b)$-Dyck paths of length $2n+2$. In the last section, we focus on the enumeration of statistics "number of $\mathbf{z}$-steps" for $\mathbf{z}\in \{\mathbf{u}, \mathbf{h}, \mathbf{v}, \mathbf{d}\}$ and "number of points" at given level in $\mathbf{uvu}$-avoiding G-Motzkin paths. These counting results are linked with Riordan arrays.
Proximity, remoteness and maximum degree in graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 24, no 2, Graph Theory (November 30, 2022) dmtcs:9432
• View Publication
• BIB
The average distance of a vertex $v$ of a connected graph $G$ is the arithmetic mean of the distances from $v$ to all other vertices of $G$. The proximity $π(G)$ and the remoteness $ρ(G)$ of $G$ are the minimum and the maximum of the average distances of the vertices of $G$, respectively.
In this paper, we give upper bounds on the remoteness and proximity for graphs of given order, minimum degree and maximum degree. Our bounds are sharp apart from an additive constant.
Bounding generalized coloring numbers of planar graphs using coin models
Published
• View Publication
• BIB
We study Koebe orderings of planar graphs: vertex orderings obtained by modelling the graph as the intersection graph of pairwise internally-disjoint discs in the plane, and ordering the vertices by non-increasing radii of the associated discs. We prove that for every $d\in \mathbb{N}$, any such ordering has $d$-admissibility bounded by $O(d/\ln d)$ and weak $d$-coloring number bounded by $O(d^4 \ln d)$. This in particular shows that the $d$-admissibility of planar graphs is bounded by $O(d/\ln d)$, which asymptotically matches a known lower bound due to Dvořák and Siebertz.
On the Homomorphism Order of Oriented Paths and Trees
Published in In: Extended Abstracts EuroComb 2021. Trends in Mathematics, vol 14. Birkhäuser, Cham (2021)
• View Publication
• BIB
A partial order is universal if it contains every countable partial order as a suborder. In 2017, Fiala, Hubička, Long and Nešetřil showed that every interval in the homomorphism order of graphs is universal, with the only exception being the trivial gap $[K_1,K_2]$. We consider the homomorphism order restricted to the class of oriented paths and trees. We show that every interval between two oriented paths or oriented trees of height at least 4 is universal. The exceptional intervals coincide for oriented paths and trees and are contained in the class of oriented paths of height at most 3, which forms a chain.