natural ↗ reference
4897 papers tagged with this keyword
Undirecting membership in models of ZFA
Published
• View Publication
• BIB
It is known that, if we take a countable model of Zermelo--Fraenkel set theory ZFC and "undirect" the membership relation (that is, make a graph by joining $x$ to $y$ if either $x\in y$ or $y\in x$), we obtain the Erdős--Rényi random graph. The crucial axiom in the proof of this is the Axiom of Foundation, so it is natural to wonder what happens if we delete this axiom, or replace it by an alternative (such as Aczel's Anti-Foundation Axiom). The resulting graph may fail to be simple, it may have loops (if $x\in x$ for some $x$) or multiple edges (if $x\in y$ and $y\in x$ for some $x,y$). We show that, in ZFA, if we keep the loops and ignore the multiple edges, we obtain the "random loopy graph" (which is $\aleph_0$-categorical and homogeneous), but if we keep multiple edges, the resulting graph is not $\aleph_0$-categorical, but has infinitely many $1$-types. Moreover, if we keep only loops and double edges and discard single edges, the resulting graph contains countably many connected components isomorphic to any given finite connected graph with loops.
Hyperwalk Formulae for Even and Odd Laplacians in Finite CW-Hypergraphs
In this note we provide a combinatorial interpretation for the powers of the hypergraph Laplacians. Our motivation comes from the discrete formulation of quantum mechanics and thermodynamics in the case of finite graphs, which suggest a natural extension to simplicial and CW-complexes. With this motivation, we also define generalizations of the odd Laplacian which is specific to hypergraphs arising from CW-complexes. We then provide a combinatorial interpretation for the powers of these Laplacians.
Network Essence: PageRank Completion and Centrality-Conforming Markov Chains
Published
• View Publication
• BIB
Jiří Matoušek (1963-2015) had many breakthrough contributions in mathematics and algorithm design. His milestone results are not only profound but also elegant. By going beyond the original objects --- such as Euclidean spaces or linear programs --- Jirka found the essence of the challenging mathematical/algorithmic problems as well as beautiful solutions that were natural to him, but were surprising discoveries to the field.
In this short exploration article, I will first share with readers my initial encounter with Jirka and discuss one of his fundamental geometric results from the early 1990s. In the age of social and information networks, I will then turn the discussion from geometric structures to network structures, attempting to take a humble step towards the holy grail of network science, that is to understand the network essence that underlies the observed sparse-and-multifaceted network data. I will discuss a simple result which summarizes some basic algebraic properties of personalized PageRank matrices. Unlike the traditional transitive closure of binary relations, the personalized PageRank matrices take "accumulated Markovian closure" of network data. Some of these algebraic properties are known in various contexts. But I hope featuring them together in a broader context will help to illustrate the desirable properties of this Markovian completion of networks, and motivate systematic developments of a network theory for understanding vast and ubiquitous multifaceted network data.
A natural generalisation in graph Ramsey theory
In this note we study graphs $G_r$ with the property that every colouring of $E(G_r)$ with $r+1$ colours admits a copy of some graph $H$ using at most $r$ colours. For $1\le r\le e(H)$ such graphs occur naturally at intermediate steps in the synthesis of a $2$-colour Ramsey graph $G_1\longrightarrow H$. (The corresponding notion of Ramsey-type numbers was introduced by Erdös, Hajnal and Rado in 1965 and subsequently studied by Erdös and Szemerédi in 1972). For $H=K_n$ we prove a result on building a $G_{r}$ from a $G_{r+1}$ and establish Ramsey-infiniteness. From the structural point of view, we characterise the class of the minimal $G_r$ in the case when $H$ is relaxed to be the graph property of containing a cycle; we then use it to progress towards a constructive description of that class by proving both a reduction and an extension theorem.
Construction of the Symbol Invariant of Partition
Symbol is used to describe the Springer correspondence for the classical groups. We prove two structure theorems of symbol. We propose a construction of the symbol of the rigid partitions in the $B_n$, $C_n$, and $D_n$ theories. This construction is natural and consists of two basic building blocks. Using this construction, we give closed formulas of symbols for the rigid partitions in the $B_n, C_n$, and $D_n$ theories. One part of the closed formula is universal and other parts are determined by the specific theory. A comparison of between this closed formula and the old one is made. Previous results can be illustrated more clearly by this closed formula.
K-orbit closures and Barbasch-Evens-Magyar varieties
Published in Pacific J. Math. 320 (2022) 103-132
• View Publication
• BIB
We define the Barbasch-Evens-Magyar varieties. We show they are isomorphic to the smooth varieties defined in [D.~Barbasch-S.~Evens '94] that map generically finitely to symmetric orbit closures, thereby giving resolutions of singularities in certain cases. Our definition parallels [P.~Magyar '98]'s construction of the Bott-Samelson varieties [H.~C.~Hansen '73, M.~Demazure '74]. From this alternative viewpoint, one deduces a graphical description in type $A$, stratification into closed subvarieties of the same kind, and determination of the torus-fixed points. Moreover, we explain how these manifolds inherit a natural symplectic structure with Hamiltonian torus action. We then express the moment polytope in terms of the moment polytope of a Bott-Samelson variety.
The Graph of Critical Pairs of a Crown
Published
• View Publication
• BIB
There is a natural way to associate with a poset $P$ a hypergraph $H$, called the hypergraph of critical pairs, so that the dimension of $P$ is exactly equal to the chromatic number of $H$. The edges of $H$ have variable sizes, but it is of interest to consider the graph $G$ formed by the edges of $H$ that have size~2. The chromatic number of $G$ is less than or equal to the dimension of $P$ and the difference between the two values can be arbitrarily large. Nevertheless, there are important instances where the two parameters are the same, and we study one of these in this paper. Our focus is on a family $\{S_n^k:n\ge 3, k\ge 0\}$ of height two posets called crowns. We show that the chromatic number of the graph $G_n^k$ of critical pairs of the crown $S_n^k$ is the same as the dimension of $S_n^k$, which is known to be $\lceil 2(n+k)/(k+2)\rceil$. In fact, this theorem follows as an immediate corollary to the stronger result: The independence number of $G_n^k$ is $(k+1)(k+2)/2$. We obtain this theorem as part of a comprehensive analysis of independent sets in $G_n^k$ including the determination of the second largest size among the maximal independent sets, both the reversible and non-reversible types.
Some Distributions on Finite Rooted Binary Trees
We introduce some natural families of distributions on rooted binary ranked plane trees with a view toward unifying ideas from various fields, including macroevolution, epidemiology, computational group theory, search algorithms and other fields. In the process we introduce the notions of split-exchangeability and plane-invariance of a general Markov splitting model in order to readily obtain probabilities over various equivalence classes of trees that arise in statistics, phylogenetics, epidemiology and group theory.
Generalized chordality, vertex separators and hyperbolicity on graphs
Let $G$ be a graph with the usual shortest-path metric. A graph is $δ$-hyperbolic if for every geodesic triangle $T$, any side of $T$ is contained in a $δ$-neighborhood of the union of the other two sides. A graph is chordal if every induced cycle has at most three edges. A vertex separator set in a graph is a set of vertices that disconnects two vertices. In this paper we study the relation between vertex separator sets, some chordality properties which are natural generalizations of being chordal and the hyperbolicity of the graph. We also give a characterization of being quasi-isometric to a tree in terms of chordality and prove that this condition also characterizes being hyperbolic, when restricted to triangles, and having stable geodesics, when restricted to bigons.
Topology of tropical moduli of weighted stable curves
Published
• View Publication
• BIB
The moduli space $Δ_{g,w}$ of tropical $w$-weighted stable curves of volume $1$ is naturally identified with the dual complex of the divisor of singular curves in Hassett's spaces of $w$-weighted stable curves. If at least two of the weights are $1$, we prove that $Δ_{0,w}$ is homotopic to a wedge sum of spheres, possibly of varying dimensions. Under additional natural hypotheses on the weight vector, we establish explicit formulas for the Betti numbers of the spaces. We exhibit infinite families of weights for which the space $Δ_{0,w}$ is disconnected and for which the fundamental group of $Δ_{0,w}$ has torsion. In the latter case, the universal cover is shown to have a natural modular interpretation. This places the weighted variant of the space in stark contrast to the heavy/light cases studied previously by Vogtmann and Cavalieri-Hampe-Markwig-Ranganathan. Finally, we prove a structural result relating the spaces of weighted stable curves in genus $0$ and $1$, and leverage this to extend several of our genus $0$ results to the spaces $Δ_{1,w}$.
The Slack Realization Space of a Polytope
Published
• View Publication
• BIB
In this paper we introduce a natural model for the realization space of a polytope up to projective equivalence which we call the slack realization space of the polytope. The model arises from the positive part of an algebraic variety determined by the slack ideal of the polytope. This is a saturated determinantal ideal that encodes the combinatorics of the polytope. We also derive a new model of the realization space of a polytope from the positive part of the variety of a related ideal. The slack ideal offers an effective computational framework for several classical questions about polytopes such as rational realizability, non-prescribability of faces, and realizability of combinatorial polytopes.
Root system chip-firing I: Interval-firing
Published in Mathematische Zeitschrift, 292(3-4), 2019
• View Publication
• BIB
Jim Propp recently introduced a variant of chip-firing on a line where the chips are given distinct integer labels. Hopkins, McConville, and Propp showed that this process is confluent from some (but not all) initial configurations of chips. We recast their set-up in terms of root systems: labeled chip-firing can be seen as a root-firing process which allows the moves $λ\to λ+ α$ for $α\in Φ^{+}$ whenever $\langleλ,α^\vee\rangle = 0$, where $Φ^{+}$ is the set of positive roots of a root system of Type A and $λ$ is a weight of this root system. We are thus motivated to study the exact same root-firing process for an arbitrary root system. Actually, this central root-firing process is the subject of a sequel to this paper. In the present paper, we instead study the interval root-firing processes determined by $λ\to λ+ α$ for $α\in Φ^{+}$ whenever $\langleλ,α^\vee\rangle \in [-k-1,k-1]$ or $\langleλ,α^\vee\rangle \in [-k,k-1]$, for any $k \geq 0$. We prove that these interval-firing processes are always confluent, from any initial weight. We also show that there is a natural way to consistently label the stable points of these interval-firing processes across all values of $k$ so that the number of weights with given stabilization is a polynomial in $k$. We conjecture that these Ehrhart-like polynomials have nonnegative integer coefficients.
Random walks on rings and modules
Published in Algebraic Combinatorics, Volume 3 (2020) no. 2, pp. 309-329
• View Publication
• BIB
We consider two natural models of random walks on a module $V$ over a finite commutative ring $R$ driven simultaneously by addition of random elements in $V$, and multiplication by random elements in $R$. In the coin-toss walk, either one of the two operations is performed depending on the flip of a coin. In the affine walk, random elements $a \in R,b \in V$ are sampled independently, and the current state $x$ is taken to $ax+b$. For both models, we obtain the complete spectrum of the transition matrix from the representation theory of the monoid of all affine maps on $V$ under a suitable hypothesis on the measure on $V$ (the measure on $R$ can be arbitrary).
Hyperbolic Pascal simplex
Published in International Electronic Journal of Geometry (IEJG), Vol.10 No.2, (2017) 46-55
• Search Publication
In this article we introduce a new geometric object called hyperbolic Pascal simplex. This new object is presented by the regular hypercube mosaic in the 4-dimensional hyperbolic space. The definition of the hyperbolic Pascal simplex, whose hyperfaces are hyperbolic Pascal pyramids and faces are hyperbolic Pascals triangles, is a natural generalization of the definition of the hyperbolic Pascal triangle and pyramid. We describe the growing of the hyperbolic Pascal simplex considering the numbers and the values of the elements. Further figures illustrate the stepping from a level to the next one.
Sampling perspectives on sparse exchangeable graphs
Published in Annals of Probability 47 (2019), no. 5, 2754-2800
• View Publication
• BIB
Recent work has introduced sparse exchangeable graphs and the associated graphex framework, as a generalization of dense exchangeable graphs and the associated graphon framework. The development of this subject involves the interplay between the statistical modeling of network data, the theory of large graph limits, exchangeability, and network sampling. The purpose of the present paper is to clarify the relationships between these subjects by explaining each in terms of a certain natural sampling scheme associated with the graphex model. The first main technical contribution is the introduction of sampling convergence, a new notion of graph limit that generalizes left convergence so that it becomes meaningful for the sparse graph regime. The second main technical contribution is the demonstration that the (somewhat cryptic) notion of exchangeability underpinning the graphex framework is equivalent to a more natural probabilistic invariance expressed in terms of the sampling scheme.
Perfect quantum state transfer in weighted paths with potentials (loops) using orthogonal polynomials
Published in Linear and Multilinear Algebra (2018): 1-19
• View Publication
• BIB
A simple method for transmitting quantum states within a quantum computer is via a quantum spin chain---that is, a path on $n$ vertices. Unweighted paths are of limited use, and so a natural generalization is to consider weighted paths; this has been further generalized to allow for loops (\emph{potentials} in the physics literature). We study the particularly important situation of perfect state transfer with respect to the corresponding adjacency matrix or Laplacian through the use of orthogonal polynomials. Low-dimensional examples are given in detail. Our main result is that PST with respect to the Laplacian matrix cannot occur for weighted paths on $n\geq 3$ vertices nor can it occur for certain symmetric weighted trees. The methods used lead us to a conjecture directly linking the rationality of the weights of weighted paths on $n>3$ vertices, with or without loops, with the capacity for PST between the end vertices with respect to the adjacency matrix.
On the number of proper paths between vertices in edge-colored hypercubes
Published
• View Publication
• BIB
Given an integer $1\leq j <n$, define the $(j)$-coloring of a $n$-dimensional hypercube $H_{n}$ to be the $2$-coloring of the edges of $H_{n}$ in which all edges in dimension $i$, $1\leq i \leq j$, have color $1$ and all other edges have color $2$. Cheng et al.
[Proper distance in edge-colored hypercubes, Applied Mathematics and Computation 313 (2017) 384-391.] determined the number of distinct shortest properly colored paths between a pair of vertices for the $(1)$-colored hypercubes. It is natural to consider the number for $(j)$-coloring, $j\geq 2$. In this note, we determine the number of different shortest proper paths in $(j)$-colored hypercubes for arbitrary $j$.
A simple permutoassociahedron
In the early 1990s, a family of combinatorial CW-complexes named permutoassociahedra was introduced by Kapranov, and it was realized by Reiner and Ziegler as a family of convex polytopes. The polytopes in this family are "hybrids" of permutohedra and associahedra. Since permutohedra and associahedra are simple, it is natural to search for a family of simple permutoassociahedra, which is still adequate for a topological proof of Mac Lane's coherence. This paper presents such a family.
Locally Searching for Large Induced Matchings
It is an easy observation that a natural greedy approach yields a $\left(d-O(1)\right)$-factor approximation algorithm for the maximum induced matching problem in $d$-regular graphs. The only considerable and non-trivial improvement of this approximation ratio was obtained by Gotthilf and Lewenstein using a combination of the greedy approach and local search, where understanding the performance of the local search was the challenging part of the analysis. We study the performance of their local search when applied to general graphs, $C_4$-free graphs, $\{C_3,C_4\}$-free graphs, $C_5$-free graphs, and claw-free graphs. As immediate consequences, we obtain approximation algorithms for the maximum induced matching problem restricted to the $d$-regular graphs in these classes.
The complexity of computing the cylindrical and the $t$-circle crossing number of a graph
Published in Electron. J. Combin. 25 (2018), no. 2, Paper 2.43, 11 pp
• View Publication
• BIB
A plane drawing of a graph is {\em cylindrical} if there exist two concentric circles that contain all the vertices of the graph, and no edge intersects (other than at its endpoints) any of these circles. The {\em cylindrical crossing number} of a graph \(G\) is the minimum number of crossings in a cylindrical drawing of \(G\). In his influential survey on the variants of the definition of the crossing number of a graph, Schaefer lists the complexity of computing the cylindrical crossing number of a graph as an open question. In this paper we settle this by showing that this problem is NP-complete. Moreover, we show an analogous result for the natural generalization of the cylindrical crossing number, namely the \(t\)-{\em circle crossing number}.