Showing 20 papers (Total: 82661 papers, 47773 authors in database)
A proof of Brouwer's toughness conjecture
Published in SIAM J. Discrete Math. 35 (2021), 948-952
• View Publication
• BIB
The toughness $t(G)$ of a connected graph $G$ is defined as $t(G)=\min\{\frac{|S|}{c(G-S)}\}$, in which the minimum is taken over all proper subsets $S\subset V(G)$ such that $c(G-S)>1$, where $c(G-S)$ denotes the number of components of $G-S$. Let $λ$ denote the second largest absolute eigenvalue of the adjacency matrix of a graph. For any connected $d$-regular graph $G$, it has been shown by Alon that $t(G)>\frac{1}{3}(\frac{d^2}{dλ+λ^2}-1)$, through which, Alon was able to show that for every $t$ and $g$ there are $t$-tough graphs of girth strictly greater than $g$, and thus disproved in a strong sense a conjecture of Chvátal on pancyclicity. Brouwer independently discovered a better bound $t(G)>\frac{d}λ-2$ for any connected $d$-regular graph $G$, while he also conjectured that the lower bound can be improved to $t(G)\ge \frac{d}λ - 1$. We confirm this conjecture.
Tropical Geometric Variation of Phylogenetic Tree Shapes
Published in Discrete & Computational Geometry 68, 817-849 (2022)
• View Publication
• BIB
We study the behavior of phylogenetic tree shapes in the tropical geometric interpretation of tree space. Tree shapes are formally referred to as tree topologies; a tree topology can also be thought of as a tree combinatorial type, which is given by the tree's branching configuration and leaf labeling. We use the tropical line segment as a framework to define notions of variance as well as invariance of tree topologies: we provide a combinatorial search theorem that describes all tree topologies occurring along a tropical line segment, as well as a setting under which tree topologies do not change along a tropical line segment. Our study is motivated by comparison to the moduli space endowed with a geodesic metric proposed by Billera, Holmes, and Vogtmann (referred to as BHV space); we consider the tropical geometric setting as an alternative framework to BHV space for sets of phylogenetic trees. We give an algorithm to compute tropical line segments which is lower in computational complexity than the fastest method currently available for BHV geodesics and show that its trajectory behaves more subtly: while the BHV geodesic traverses the origin for vastly different tree topologies, the tropical line segment bypasses it.
Feynman checkers: the probability to find an electron vanishes nowhere inside the light cone
Published in Reviews in Mathematical Physics, 34(07) 2250020 (2022)
• View Publication
• BIB
We study Feynman checkers, the most elementary model of electron motion introduced by R. Feynman. For the model, we prove that the probability to find an electron vanishes nowhere inside the light cone. We also prove several results on the average electron velocity. In addition, we present a lot of identities related to the model.
Shi variety corresponding to an affine Weyl group
Published
• View Publication
• BIB
Let $W$ be an irreducible Weyl group and $W_a$ its affine Weyl group. In this article we show that there exists a bijection between $W_a$ and the integral points of an affine variety, denoted $\widehat{X}_{W_a}$, which we call the Shi variety of $W_a$. In order to do so, we use Jian-Yi Shi's characterization of alcoves in affine Weyl groups. We then study this variety further. We highlight combinatorial properties of the irreducible components of $\widehat{X}_{W_a}$ and we show how they are related to a fundamental parallelepiped $P_{\mathcal{H}}$.
Congruences Related to Dual Sequences and Catalan Numbers
Published
• View Publication
• BIB
During the study of dual sequences, Sun introduced the polynomials \[ D_n(x,y)=\sum_{k=0}^{n}{n\choose k}{x\choose k}y^k\text{ and } S_n(x,y)=\sum_{k=0}^{n}\binom{n}{k}\binom{x}{k}\binom{-1-x}{k} y^k. \] Many related congruences have been established and conjectured by Sun. Here we generalize some of them by determining \[ \sum_{k=0}^{p-1}D_k(x_1,y_1)D_k(x_2,y_2)\pmod p \text{ and } \sum_{k=0}^{p-1}S_k(x_1,y_1)S_k(x_2,y_2)\pmod p \] for any odd prime $p$ and $p$-adic integers $x_i,\ y_i$ with $i\in\{1,2\}$. Considering the immediate connection between binomial coefficients and Catalan numbers, we also characterize \[ \sum_{n=0}^{p-1}\left(\sum_{k=0}^n {n \choose k} \frac{C_k}{a^k}\right)^2 \pmod {p}, \] where $C_k$ denotes the $k$th Catalan number, $a\in\mathbb{Z}\setminus \{0\}$ with $\gcd(a,p)=1$. These confirm and generalise some of Sun's conjectures.
A note on the orientation covering number
Published in Discrete Appl. Math. 304 (2021), 349-351
• View Publication
• BIB
Given a graph $G$, its orientation covering number $σ(G)$ is the smallest non-negative integer $k$ with the property that we can choose $k$ orientations of $G$ such that whenever $x, y, z$ are vertices of $G$ with $xy,xz\in E(G)$ then there is a chosen orientation in which both $xy$ and $xz$ are oriented away from $x$. Esperet, Gimbel and King showed that $σ(G)\leq σ\left(K_{χ(G)}\right)$, where $χ(G)$ is the chromatic number of $G$, and asked whether we always have equality. In this note we prove that it is indeed always the case that $σ(G)=σ(K_{χ(G)})$. We also determine the exact value of $σ(K_n)$ explicitly for `most' values of $n$.
Maximal subsets free of arithmetic progressions in arbitrary sets
Published in Math Notes 102, 396-402 (2017)
• View Publication
• BIB
We consider the problem of determining the maximum cardinality of a subset containing no arithmetic progressions of length $k$ in a given set of size $n$. It is proved that it is sufficient, in a certain sense, to consider the interval $[1,\dots, n]$. The study continues the work of Komlós, Sulyok, and Szemerédi.
Effective resistance is more than distance: Laplacians, Simplices and the Schur complement
Published
• View Publication
• BIB
This article discusses a geometric perspective on the well-known fact in graph theory that the effective resistance is a metric on the nodes of a graph. The classical proofs of this fact make use of ideas from electrical circuits or random walks; here we describe an alternative approach which combines geometric (using simplices) and algebraic (using the Schur complement) ideas. These perspectives are unified in a matrix identity of Miroslav Fiedler, which beautifully summarizes a number of related ideas at the intersection of graphs, Laplacian matrices and simplices, with the metric property of the effective resistance as a prominent consequence.
Well-covered Token Graphs
Published
• View Publication
• BIB
The $k$-token graph $T_k(G)$ is the graph whose vertices are the $k$-subsets of vertices of a graph $G$, with two vertices of $T_k(G)$ adjacent if their symmetric difference is an edge of $G$. We explore when $T_k(G)$ is a well-covered graph, that is, when all of its maximal independent sets have the same cardinality. For bipartite graphs $G$, we classify when $T_k(G)$ is well-covered. For an arbitrary graph $G$, we show that if $T_2(G)$ is well-covered, then the girth of $G$ is at most four. We include upper and lower bounds on the independence number of $T_k(G)$, and provide some families of well-covered token graphs.
Maximum spectral radius of outerplanar 3-uniform hypergraphs
Published
• View Publication
• BIB
In this paper, we study the maximum spectral radius of outerplanar $3$-uniform hypergraphs. Given a hypergraph $\mathcal{H}$, the shadow of $\mathcal{H}$ is a graph $G$ with $V(G)= V(\mathcal{H})$ and $E(G) = \{uv: uv \in h \textrm{ for some } h\in E(\mathcal{H})\}$. A graph is \textit{outerplanar} if it can be embedded in the plane such that all its vertices lie on the outer face. A $3$-uniform hypergraph $\mathcal{H}$ is called \textit{outerplanar} if its shadow has an outerplanar embedding such that every hyperedge of $\mathcal{H}$ is the vertex set of an interior triangular face of the shadow. Cvetković and Rowlinson conjectured in 1990 that among all outerplanar graphs on $n$ vertices, the graph $K_1+ P_{n-1}$ attains the maximum spectral radius. We show a hypergraph analogue of the Cvetković-Rowlinson conjecture. In particular, we show that for sufficiently large $n$, the $n$-vertex outerplanar $3$-uniform hypergraph of maximum spectral radius is the unique $3$-uniform hypergraph whose shadow is $K_1 + P_{n-1}$.
A graph-theoretic approach to a conjecture of Dixon and Pressman
Published
• View Publication
• BIB
Given $n \times n$ matrices, $A_1, \dots, A_k$, consider the linear operator $L(A_1,\dots,A_k) \, \colon \; \operatorname{M}_n \to \operatorname{M}_n$ given by \[ L(A_1,\dots,A_k)(A_{k+1})= \sum_{σ\in S_{k+1}} \operatorname{sign}(σ) A_{σ(1)}A_{σ(2)} \cdots A_{σ(k+1)}. \] The Amitsur-Levitzki theorem asserts that $L(A_1, \ldots, A_k)$ is identically $0$ for every $k \geq 2n-1$. Dixon and Pressman conjectured that if $k$ is an even number between $2$ and $2n - 2$, then the kernel of $L(A_1, \ldots, A_k)$ is of dimension $k$ for $A_1, \ldots, A_k\in \operatorname{M}_n(\mathbb{R})$ in general position. We prove this conjecture using graph-theoretic techniques.
A graph theoretical framework for the strong Gram classification of non-negative unit forms of Dynkin type A
Published in Fundamenta Informaticae, Volume 184, Issue 1 (December 23, 2021) fi:7596
• View Publication
• BIB
In the context of signed line graphs, this article introduces a modified inflation technique to study strong Gram congruence of non-negative (integral quadratic) unit forms, and uses it to show that weak and strong Gram congruence coincide among positive unit forms of Dynkin type A. The concept of inverse of a quiver is also introduced, and is used to obtain and analyze the Coxeter matrix of non-negative unit forms of Dynkin type A. Connected principal unit forms of such type are also classified.
Counting Path Configurations in Parallel Diffusion
Parallel Diffusion is a variant of Chip-Firing introduced in 2018 by Duffy et al. In Parallel Diffusion, chips move from places of high concentration to places of low concentration through a discrete-time process. At each time step, every vertex sends a chip to each of its poorer neighbours, allowing for some vertices to perhaps fall into debt (represented by negative stack sizes). In their recent paper, Long and Narayanan proved a conjecture from the original paper by Duffy et al. that every Parallel Diffusion process eventually, after some pre-period, exhibits periodic behaviour. With this result, we are now able to count the number of these periods that exist up to a definition of isomorphism. We determine a recurrence relation for calculating this number for a path of any length. If $T_n$ is the number of configurations with period length 2 that can exist on $P_n$ up to isomorphism and $n$ is an integer greater than 4, we conclude that $T_n = 3T_{n-1} + 2T_{n-2} + T_{n-3} - T_{n-4}$.
Dimension-expanding polynomials and the discretized Elekes-Rónyai theorem
We characterize when bivariate real analytic functions are "dimension expanding" when applied to a Cartesian product. If $P$ is a bivariate real analytic function that is not locally of the form $P(x,y) = h(a(x) + b(y))$, then whenever $A$ and $B$ are Borel subsets of $\mathbb{R}$ with Hausdorff dimension $0<α<1$, we have that $P(A,B)$ has Hausdorff dimension at least $α+ ε$ for some $ε(α)>0$ that is independent of $P$. The result is sharp, in the sense that no estimate of this form can hold if $P(x,y) = h(a(x) + b(y))$. We also prove a more technical single-scale version of this result, which is an analogue of the Elekes-Rónyai theorem in the setting of the Katz-Tao discretized ring conjecture. As an application, we show that a discretized non-concentrated set cannot have small nonlinear projection under three distinct analytic projection functions, provided that the corresponding 3-web has non-vanishing Blaschke curvature.
A general Chevalley formula for semi-infinite flag manifolds and quantum K-theory
Published
• View Publication
• BIB
We give a Chevalley formula for an arbitrary weight for the torus-equivariant $K$-group of semi-infinite flag manifolds, which is expressed in terms of the quantum alcove model. As an application, we prove the Chevalley formula for an anti-dominant fundamental weight for the (small) torus-equivariant quantum $K$-theory $QK_{T}(G/B)$ of an (ordinary) flag manifold $G/B$; this has been a longstanding conjecture about the multiplicative structure of $QK_{T}(G/B)$. In type $A_{n-1}$, we prove that the so-called quantum Grothendieck polynomials indeed represent (opposite) Schubert classes in the (non-equivariant) quantum $K$-theory $QK(SL_{n}/B)$; we also obtain very explicit information about the coefficients in the respective Chevalley formula.
On the size of planar graphs with positive Lin-Lu-Yau Ricci curvature
Published
• View Publication
• BIB
We show that if a planar graph $G$ with minimum degree at least $3$ has positive Lin-Lu-Yau Ricci curvature on every edge, then $Δ(G)\leq 17$, which then implies that $G$ is finite. This is an analogue of a result of DeVos and Mohar [{\em Trans. Amer. Math. Soc., 2007}] on the size of planar graphs with positive combinatorial curvature.
On the arithmetic-geometric index of graphs
Very recently, the first geometric-arithmetic index $GA$ and arithmetic-geometric index $AG$ were introduced in mathematical chemistry. In the present paper, we first obtain some lower and upper bounds on $AG$ and characterize the extremal graphs. We also establish various relations between $AG$ and other topological indices, such as the first geometric-arithmetic index $GA$, atom-bond-connectivity index $ABC$, symmetric division deg index $SDD$, chromatic number $χ$ and so on. Finally, we present some sufficient conditions of $GA(G)>GA(G-e)$ or $AG(G)>AG(G-e)$ for an edge $e$ of a graph $G$. In particular, for the first geometric-arithmetic index, we also give a refinement of Bollobás-Erdős-type theorem obtained in [3].
Quasi--Euclidean classification of Alcoved Convex Polyhedra
Published in Linear and Multilinear Algebra 67, (2019)
• View Publication
• BIB
We give the quasi--Euclidean classification of the maximal (with respect to the $f$--vector) alcoved polyhedra. The $f$--vector of these maximal convex bodies is $(20,30,12)$, so they are simple dodecahedra. We find eight quasi--Euclidean classes. This classification, which preserves angles, is finer than the known combinatorial classification (found in 2012 by Jiménez and de la Puente), which has only six classes. Each alcoved polyhedron $\mathcal{P}$ is represented by a unique visualized idempotent matrix $A$. Some 2--minors of $A$ are invariants of $\mathcal{P}$: they are the tropical edge--lengths of $\mathcal{P}$.
Hyper-regular graphs and high dimensional expanders
Published
• View Publication
• BIB
Let $G= (V,E)$ be a finite graph. For $d_0>0$ we say that $G$ is $d_0$-regular, if every $v\in V$ has degree $d_0$. We say that $G$ is $(d_0, d_1)$-regular, for $0<d_1<d_0$, if $G$ is $d_0$ regular and for every $v\in V$, the subgraph induced on $v$'s neighbors is $d_1$-regular. Similarly, $G$ is $(d_0, d_1,\ldots, d_{n-1})$-regular for $0<d_{n-1}<\ldots<d_1<d_0$, if $G$ is $d_0$ regular and for every $1\leq i\leq n-1$, the joint neighborhood of every clique of size $i$ is $d_i$-regular; In that case, we say that $G$ is an $n$-dimensional hyper-regular graph (HRG). Here we define a new kind of graph product, through which we build examples of infinite families of $n$-dimensional HRG such that the joint neighborhood of every clique of size at most $n-1$ is connected. In particular, relying on the work of Kaufman and Oppenheim, our product yields an infinite family of $n$-dimensional HRG for arbitrarily large $n$ with good expansion properties. This answers a question of Dinur regarding the existence of such objects.
Finding descending sequences through ill-founded linear orders
Published in J. symb. log. 86 (2021) 817-854
• View Publication
• BIB
In this work we investigate the Weihrauch degree of the problem $\mathsf{DS}$ of finding an infinite descending sequence through a given ill-founded linear order, which is shared by the problem $\mathsf{BS}$ of finding a bad sequence through a given non-well quasi-order. We show that $\mathsf{DS}$, despite being hard to solve (it has computable inputs with no hyperarithmetic solution), is rather weak in terms of uniform computational strength. To make the latter precise, we introduce the notion of the deterministic part of a Weihrauch degree. We then generalize $\mathsf{DS}$ and $\mathsf{BS}$ by considering $\boldsymbolΓ$-presented orders, where $\boldsymbolΓ$ is a Borel pointclass or $\boldsymbolΔ^1_1$, $\boldsymbolΣ^1_1$, $\boldsymbolΠ^1_1$. We study the obtained $\mathsf{DS}$-hierarchy and $\mathsf{BS}$-hierarchy of problems in comparison with the (effective) Baire hierarchy and show that they do not collapse at any finite level.