Showing 20 papers (Total: 83076 papers, 47999 authors in database)
Unified theory for finite Markov chains
Published in Advances in Mathematics 347 (2019) 739-779
• View Publication
• BIB
We provide a unified framework to compute the stationary distribution of any finite irreducible Markov chain or equivalently of any irreducible random walk on a finite semigroup $S$. Our methods use geometric finite semigroup theory via the Karnofsky-Rhodes and the McCammond expansions of finite semigroups with specified generators; this does not involve any linear algebra. The original Tsetlin library is obtained by applying the expansions to $P(n)$, the set of all subsets of an $n$ element set. Our set-up generalizes previous groundbreaking work involving left-regular bands (or $\mathscr{R}$-trivial bands) by Brown and Diaconis, extensions to $\mathscr{R}$-trivial semigroups by Ayyer, Steinberg, Thiéry and the second author, and important recent work by Chung and Graham. The Karnofsky-Rhodes expansion of the right Cayley graph of $S$ in terms of generators yields again a right Cayley graph. The McCammond expansion provides normal forms for elements in the expanded $S$. Using our previous results with Silva based on work by Berstel, Perrin, Reutenauer, we construct (infinite) semaphore codes on which we can define Markov chains. These semaphore codes can be lumped using geometric semigroup theory. Using normal forms and associated Kleene expressions, they yield formulas for the stationary distribution of the finite Markov chain of the expanded $S$ and the original $S$. Analyzing the normal forms also provides an estimate on the mixing time.
Recursive Harmonic Numbers and Binomial Coefficients
We define recursive harmonic numbers as a generalization of harmonic numbers. The table of recursive harmonic numbers, which is like Pascal's triangle, is constructed. A formula for recursive harmonic numbers containing binomial coefficients is also presented.
A maximizing characteristic for critical configurations of chip-firing games on digraphs
Published
• View Publication
• BIB
Aval et al. proved that starting from a critical configuration of a chip- firing game on an undirected graph, one can never achieve a stable configuration by reverse firing any non-empty subsets of its vertices. In this paper, we generalize the result to digraphs with a global sink where reverse firing subsets of vertices is replaced with reverse firing multi-subsets of vertices. Consequently, a combinatorial proof for the duality between critical configurations and superstable configurations on digraphs is given. Finally, by introducing the concept of energy vector assigned to each configuration, we show that critical and superstable configurations are the unique ones with the greatest and smallest (w.r.t. the containment order), respectively, energy vectors in each of their equivalence classes.
The Alon-Tarsi number of planar graphs
Published
• View Publication
• BIB
This paper proves that the Alon-Tarsi number of any planar graph is at most $5$, which gives an alternate proof of the $5$-choosability as well as the $5$-paintability of planar graphs.
On a Greedy Algorithm to Construct Universal Cycles for Permutations
Published
• View Publication
• BIB
A universal cycle for permutations of length $n$ is a cyclic word or permutation, any factor of which is order-isomorphic to exactly one permutation of length $n$, and containing all permutations of length $n$ as factors. It is well known that universal cycles for permutations of length $n$ exist. However, all known ways to construct such cycles are rather complicated. For example, in the original paper establishing the existence of the universal cycles, constructing such a cycle involves finding an Eulerian cycle in a certain graph and then dealing with partially ordered sets.
In this paper, we offer a simple way to generate a universal cycle for permutations of length $n$, which is based on applying a greedy algorithm to a permutation of length $n-1$. We prove that this approach gives a unique universal cycle $Π_n$ for permutations, and we study properties of $Π_n$.
The rank of a complex unit gain graph in terms of the rank of its underlying graph
Published
• View Publication
• BIB
Let $Φ=(G, \varphi)$ be a complex unit gain graph (or $\mathbb{T}$-gain graph) and $A(Φ)$ be its adjacency matrix, where $G$ is called the underlying graph of $Φ$. The rank of $Φ$, denoted by $r(Φ)$, is the rank of $A(Φ)$. Denote by $θ(G)=|E(G)|-|V(G)|+ω(G)$ the dimension of cycle spaces of $G$, where $|E(G)|$, $|V(G)|$ and $ω(G)$ are the number of edges, the number of vertices and the number of connected components of $G$, respectively. In this paper, we investigate bounds for $r(Φ)$ in terms of $r(G)$, that is, $r(G)-2θ(G)\leq r(Φ)\leq r(G)+2θ(G)$, where $r(G)$ is the rank of $G$. As an application, we also prove that $1-θ(G)\leq\frac{r(Φ)}{r(G)}\leq1+θ(G)$. All corresponding extremal graphs are characterized.
On sets of points with few odd secants
Published in Combinator. Probab. Comp. 29 (2020) 31-43
• View Publication
• BIB
We prove that, for $q$ odd, a set of $q+2$ points in the projective plane over the field with $q$ elements has at least $2q-c$ odd secants, where $c$ is a constant and an odd secant is a line incident with an odd number of points of the set.
On S-packing edge-colorings of cubic graphs
Given a non-decreasing sequence S = (s 1,s 2,. .. ,s k) of positive integers, an S-packing edge-coloring of a graph G is a partition of the edge set of G into k subsets {X 1 ,X 2,. .. ,X k } such that for each 1 $\le$ i $\le$ k, the distance between two distinct edges e, e ' $\in$ X i is at least s i + 1. This paper studies S-packing edge-colorings of cubic graphs. Among other results, we prove that cubic graphs having a 2-factor are (1,1,1,3,3)-packing edge-colorable, (1,1,1,4,4,4,4,4)-packing edge-colorable and (1,1,2,2,2,2,2)-packing edge-colorable. We determine sharper results for cubic graphs of bounded oddness and 3-edge-colorable cubic graphs and we propose many open problems.
The first order convergence law fails for random perfect graphs
We consider first order expressible properties of random perfect graphs. That is, we pick a graph $G_n$ uniformly at random from all (labelled) perfect graphs on $n$ vertices and consider the probability that it satisfies some graph property that can be expressed in the first order language of graphs. We show that there exists such a first order expressible property for which the probability that $G_n$ satisfies it does not converge as $n\to\infty$.
Discrete Morse-Bott theory for CW complexes
We derive a discrete analogue of Morse-Bott theory on CW complexes and use this discrete Morse-Bott function to do some Conley theory analysis. It turns out that our discrete Morse-Bott theory is indeed a generalization of Forman's discrete Morse theory.
Balanced Spanning Caterpillars
A $p$-caterpillar is a caterpillar such that every non-leaf vertex is adjacent to exactly $p$ leaves. We give a tight minimum degree condition for a graph to have a spanning $p$-caterpillar.
BPS/CFT correspondence IV: sigma models and defects in gauge theory
Published
• View Publication
• BIB
Quantum field theory $L_1$ on spacetime $X_{1}$ can be coupled to another quantum field theory $L_2$ on a spacetime $X_{2}$ via the third quantum field theory $L_{12}$ living on $X_{12} = X_{1} \cap X_{2}$. We explore several such constructions with two and four dimensional $X_{1}, X_{2}$'s and zero and two dimensional $X_{12}$'s, in the context of $\mathcal{N}=2$ supersymmetry, non-perturbative Dyson-Schwinger equations, and BPS/CFT correspondence. The companion paper will show that the BPZ and KZ equations of two dimensional conformal field theory are obeyed by the half-BPS surface defects in quiver $\mathcal{N}=2$ gauge theories.
A robust version of Freiman's $3k-4$ Theorem and applications
Published in Mathematical Proceedings of the Cambridge Philosophical Society. 2019;166(3):567-581
• View Publication
• BIB
We prove a robust version of Freiman's $3k - 4$ theorem on the restricted sumset $A+_ΓB$, which applies when the doubling constant is at most $\tfrac{3+\sqrt{5}}{2}$ in general and at most $3$ in the special case when $A = -B$. As applications, we derive robust results with other types of assumptions on popular sums, and structure theorems for sets satisfying almost equalities in discrete and continuous versions of the Riesz-Sobolev inequality.
Compounding Doubly Affine Matrices
Weighted sums of left and right hand Kronecker products of Integer Sequence Doubly Affine (ISDA) as well as Generalized Arithmetic Progression Doubly Affine (GAPDA) arrays are used to generate larger ISDA arrays of multiplicative order (compound squares) from pairs of smaller ones.
In two dimensions we find general expressions for the eigenvalues (EVs) and singular values (SVs) of the larger arrays in terms of the EVs and SVs of their constituent matrices, leading to a simple result for the rank of these highly singular compound matrices. Since the critical property of the smaller constituent matrices involves only identical row and column sums (often called semi-magic), the eigenvalue and singular value results can be applied to both magic squares and Latin squares. Additionally, the compounding process works in arbitrary dimensions due to the generality of the Kronecker product, providing a simple method to generate large order ISDA cubes and hypercubes.
The first examples of compound magic squares are found in manuscripts that date back to the 10th century CE, and other representative applications are outlined through judicious examples.
A generative graph model for electrical infrastructure networks
Published
• View Publication
• BIB
We propose a generative graph model for electrical infrastructure networks that accounts for heterogeneity in both node and edge type. To inform the model design, we analyze the properties of power grid graphs derived from the U.S. Eastern Interconnection, Texas Interconnection, and Poland transmission system power grids. Across these datasets, we find subgraphs induced by nodes of the same voltage level exhibit shared structural properties atypical to small-world networks, including low local clustering, large diameter, and large average distance. On the other hand, we find subgraphs induced by transformer edges linking nodes of different voltage types contain a more limited structure, consisting mainly of small, disjoint star graphs. The goal of our proposed model is to match both these inter and intra-network properties by proceeding in two phases: the first phase adapts the Chung-Lu random graph model, taking desired vertex degrees and desired diameter as inputs, while the second phase of the model is based on a simpler random star graph generation process. We test the model's performance by comparing its output across many runs to the aforementioned real data. In nearly all categories tested, we find our model is more accurate in reproducing the unusual mixture of properties apparent in the data than the Chung-Lu model. We also include graph visualization comparisons, a brief analysis of edge-deletion resiliency, and guidelines for artificially generating the model inputs in the absence of real data.
Optimal $(t,r)$ Broadcasts On the Infinite Grid
Let $G=(V,E)$ be a graph and $t,r$ be positive integers. The signal that a vertex $v$ receives from a tower of signal strength $t$ located at vertex $T$ is defined as $sig(v,T)=max(t-dist(v,T),0)$, where $dist(v,T)$ denotes the distance between the vertices $v$ and $T$. In 2015 Blessing, Insko, Johnson, and Mauretour defined a $(t,r)$ broadcast dominating set, or simply a $(t,r)$ broadcast, on $G$ as a set $\mathbb{T}\subseteq V$ such that the sum of all signal received at each vertex $v \in V$ is at least $r$. We say that $\mathbb{T}$ is optimal if $|\mathbb{T}|$ is minimal among all such sets $\mathbb{T}$. The cardinality of an optimal $(t,r)$ broadcast on a finite graph $G$ is called the $(t,r)$ broadcast domination number of $G$. The concept of $(t,r)$ broadcast domination generalizes the classical problem of domination on graphs. In fact, the $(2,1)$ broadcasts on a graph $G$ are exactly the dominating sets of $G$.
In their paper, Blessing et al. considered $(t,r)\in\{(2,2),(3,1),(3,2),(3,3)\}$ and gave optimal $(t,r)$ broadcasts on $G_{m,n}$, the grid graph of dimension $m\times n$, for small values of $m$ and $n$. They also provided upper bounds on the optimal $(t,r)$ broadcast numbers for grid graphs of arbitrary dimensions. In this paper, we define the density of a $(t,r)$ broadcast, which allows us to provide optimal $(t,r)$ broadcasts on the infinite grid graph for all $t\geq2$ and $r=1,2$, and bound the density of the optimal $(t,3)$ broadcast for all $t\geq2$. In addition, we give a family of counterexamples to the conjecture of Blessing et al. that the optimal $(t,r)$ and $(t+1, r+2)$ broadcasts are identical for all $t\geq1$ and $r\geq1$ on the infinite grid.
A Product Formula for the Normalized Volume of Free Sums of Lattice Polytopes
Published
• View Publication
• BIB
The free sum is a basic geometric operation among convex polytopes. This note focuses on the relationship between the normalized volume of the free sum and that of the summands. In particular, we show that the normalized volume of the free sum of full dimensional polytopes is precisely the product of the normalized volumes of the summands.
Asymptotic Chow semistability implies Ding polystability for Gorenstein toric Fano varieties
Published in Mathematics 2023, 11, 4114. Special Issue: New Trends in Algebraic Geometry and Its Applications, 2nd Edition
• View Publication
• BIB
In this paper, we prove that a Gorenstein toric Fano variety $(X, -K_{X})$ is asymptotically Chow semistable then it is Ding polystable with respect to toric test configurations (Theorem 1.3). This extends the known result obtained by others (Theorem 1.2) to the case where $X$ admits Gorenstein singularity. We also show the additivity of the Mabuchi constant for the product toric Fano varieties in Proposition 1.5 based on the author's recent work (Ono, Sano and Yotsutani in arXiv:2305.05924). Applying this formula to certain toric Fano varieties, we construct infinitely many examples that clarify the difference between relative K-stability and relative Ding stability in a systematic way (Proposition 1.4). Finally, we verify relative Chow stability for Gorenstein toric del Pezzo surfaces using the combinatorial criterion developed in (Yotsutani and Zhou in Tohoku Math. J. 71 (2019), 495-524.) and specifying the symmetry of the associated polytopes as well.
On a conjecture about the absence of an initial balanced pair for Pisot substitutions
Sellami and Sirvent conjectured that the balanced pair algorithm fails for the following pair of Pisot substitutions:
\[ \varphi_0: \begin{array}{l} a \mapsto abc b \mapsto a c \mapsto ac \end{array} \quad \text{ and } \quad \varphi_1: \begin{array}{l} a \mapsto cba b \mapsto a c \mapsto ca \end{array}. \]
The conjecture stated the balanced pair algorithm fails because there is no initial balanced pair.
In the present note we prove this conjecture using a method based on simultaneous coding of the pair of the fixed points of the morphisms.
Restricted lonesum matrices
Lonesum matrices are matrices that are uniquely reconstructible from their row and column sum vectors. These matrices are enumerated by the poly-Bernoulli numbers that are related to the multiple zeta values and have a rich literature in number theory. Combinatorially, lonesum matrices are in bijection with many other combinatorial objects: several permutation classes, other matrix classes, acyclic orientations in graphs etc. Motivated of these facts, we study in this paper lonesum matrices with restriction on the number of columns and rows of the same type.