Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Bilinear expansions of lattices of KP $τ$-functions in BKP $τ$-functions: a fermionic approach
Published in J. Math. Phys. 62, 013508 (2021)
• View Publication
• BIB
We derive a bilinear expansion expressing elements of a lattice of KP $τ$-functions, labelled by partitions, as a sum over products of pairs of elements of an associated lattice of BKP $τ$-functions, labelled by strict partitions. This generalizes earlier results relating determinants and Pfaffians of minors of skew symmetric matrices, with applications to Schur functions and Schur $Q$-functions. It is deduced using the representations of KP and BKP $τ$-functions as vacuum expectation values (VEV's) of products of fermionic operators of charged and neutral type, respectively. The lattice is generated by insertion of products of pairs of charged creation and annihilation operators. The result follows from expanding the product as a sum of monomials in the neutral fermionic generators and applying a factorization theorem for VEV's of products of operators in the mutually commuting subalgebras. Applications include the case of inhomogeneous polynomial $τ$-functions of KP and BKP type.
Combining the Mersenne Twister and the Xorgens Designs
We combine the design of two \emph{random number generators}, \emph{Mersenne Twister} and \emph{Xorgens}, to obtain a new class of generators with heavy-weight characteristic polynomials (exceeded only by the {\sc well} generators) and high speed (comparable with the originals). Tables with parameter combinations are included for state sizes ranging from 521 to 44497 bits and each of the word lengths 32, 64, 128. These generators passed all tests of the \emph{TestU01}-package for each 32-bit integer part and each 64-bit derived real part of the output. We determine \emph{dimension gaps} for 32-bit words, neglecting the non-linear tempering, and compare with an alternative experimental linear tempering.
Card Guessing with Partial Feedback
Published in Combinator. Probab. Comp. 31 (2022) 1-20
• View Publication
• BIB
Consider the following experiment: a deck with $m$ copies of $n$ different card types is randomly shuffled, and a guesser attempts to guess the cards sequentially as they are drawn. Each time a guess is made, some amount of "feedback" is given. For example, one could tell the guesser the true identity of the card they just guessed (the complete feedback model) or they could be told nothing at all (the no feedback model).
In this paper we explore a partial feedback model, where upon guessing a card, the guesser is only told whether or not their guess was correct. We show in this setting that, uniformly in $n$, at most $m+O(m^{3/4}\log m)$ cards can be guessed correctly in expectation. This resolves a question of Diaconis and Graham from 1981, where even the $m=2$ case was open.
Firefighting on the Hexagonal Grid and on Infinite Trees
Published
• View Publication
• BIB
The firefighter problem with $k$ firefighters on an infinite graph $G$ is an iterative graph process, defined as follows: Suppose a fire breaks out at a given vertex $v\in V(G)$ on Turn 1. On each subsequent even turn, $k$ firefighters protect $k$ vertices that are not on fire, and on each subsequent odd turn, any vertex that is on fire spreads the fire to all adjacent unprotected vertices. The firefighters' goal is to eventually stop the spread of the fire. If there exists a strategy for $k$ firefighters to eventually stop the spread of the fire, then we say $G$ is $k$-containable.
We consider the firefighter problem on the hexagonal grid, which is the graph whose vertices and edges are exactly the vertices and edges of a regular hexagonal tiling of the plane. It is not known if the hexagonal grid is $1$-containable. In arXiv:1305.7076 [math.CO], it was shown that if the firefighters have one firefighter per turn and one extra firefighter on two turns, the firefighters can contain the fire. We improve on this result by showing that even with only one extra firefighter on one turn, the firefighters can still contain the fire.
In addition, we explore $k$-containability for birth sequence trees, which are infinite rooted trees that have the property that every vertex at the same level has the same degree. A birth sequence forest is an infinite forest, each component of which is a birth sequence tree. For birth sequence trees and forests, the fire always starts at the root of each tree. We provide a pseudopolynomial time algorithm to decide if all the vertices at a fixed level can be protected or not.
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.