Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Zero Forcing on Iterated Graph Models
Modeling how information travels throughout a network has vast applications across social sciences, cybersecurity, and graph-based neural networks. In this paper, we consider the zero forcing model for information diffusion on iterative deterministic complex network models. In particular, we continue the exploration of the Iterative Local Transitive (ILT) model and the Iterative Local Anti-Transitive (ILAT) model, both introduced by Bonato et. al. in 2009 and 2017, respectively. These models use ideas from Structural Balance Theory to generate edges through a notion of cloning where ``the friend of my friend is my friend'' and anticloning where ``the enemy of my enemy is my friend.''
Zero forcing, introduced independently by Burgarth and Giovanetti and a special working group at AIM in 2007 and 2008, begins with some set of forced vertices, the remaining are unforced. If a forced vertex has a single unforced neighbor, that neighbor becomes forced. The minimum number of vertices in a starting set required to guarantee all vertices eventually become forced is the zero forcing number of the graph. The maximum number of vertices in a starting set such that the graph cannot become fully forced is the failed zero forcing number of a graph. In this paper we provide bounds for both the zero forcing and failed zero forcing number of graphs created using both the ILT and ILAT models. In particular, we show that in the case of ILAT graphs the failed zero forcing number can only take on one of four values, dependent on the number of vertices of the graph. Finally, we briefly consider another information diffusion model, graph burning, on a more general iterated graph model.
Framing Triangulations and Framing Posets of Planar DAGs with Nontrivial Netflow Vectors
The space of unit flows on a directed acyclic graph (DAG) with one source and one sink is known to admit regular unimodular triangulations induced by framings of the DAG. The dual graph of any of these triangulations may be given the structure of the Hasse diagram of a lattice, generalizing many variations of the Tamari lattice and the weak order. We extend this theory to flow polytopes of DAGs which may have multiple sources, multiple sinks, and nontrivial netflow vectors under certain planarity conditions. We construct a unimodular triangulation of such a flow polytope indexed by combinatorial data and give a poset structure on its maximal simplices generalizing the strongly planar one-source-one-sink case.
Flows on Gentle Algebras
The space of unit flows on a directed acyclic graph (DAG) is known to admit regular unimodular triangulations induced by framings of the DAG. Amply framed DAGs and their triangulated flow polytopes have recently been connected with the representation theory of certain gentle algebras. We expand on this connection by defining a flow on the fringed quiver of an arbitrary gentle algebra. We call the space of unit flows its turbulence polyhedron. We show that support tau-tilting modules of a gentle algebra index a unimodular triangulation of its turbulence polyhedron. In the representation-infinite case, this triangulation is not complete and we give two different larger polyhedral dissections given by adding lower-dimensional walls to the picture. The turbulence polyhedron has a quotient map to what we define as the g-polyhedron lying in the ambient space of the g-vector fan, proving that gentle algebras are g-convex. Moreover, the images of our two types of walls under this quotient map provide two different interpretations for the complement of the g-vector fan of a gentle algebra.
The model theory of metric lattices: pseudofinite partition lattices
We initiate the study of general metric lattices in the context of the model theory of metric structures. As an application we develop a theory of pseudo-finite limits of partition lattices and connect this theory with the theory of continuous limits of partition lattices due to Björner and Lovász.
Characterization of matchable sets and subspaces via Dyson transforms
A matching from a finite subset $A$ of an abelian group $G$ to another subset $B$ is a bijection $f : A \to B$ such that $af(a) \notin A$ for all $a \in A$. The study of matchings began in the 1990s and was motivated by a conjecture of E. K. Wakeford on canonical forms for homogeneous polynomials. The theory was later extended to the linear setting of vector subspaces over field extensions, and then to matroids. In this paper, we investigate the existence and structure of matchings in both abelian groups and field extensions. Using Dyson's $e$-transform, a tool from additive combinatorics, along with a linear analogue which is introduced in this paper, we establish characterization theorems for matchable sets and subspaces. Several applications are given to demonstrate the effectiveness of these theorems as standalone tools. Throughout, we highlight the parallels between the group-theoretic and linear perspectives.
Convolutive sequences, I: Through the lens of integer partition functions
Motivated by the convolutive behavior of the counting function for partitions with designated summands in which all parts are odd, we consider coefficient sequences $(a_n)_{n\ge 0}$ of primitive eta-products that satisfy the generic convolutive property
\begin{align*}
\sum_{n\ge 0} a_{mn} q^n = \left(\sum_{n\ge 0} a_n q^n\right)^m
\end{align*}
for a specific positive integer $m$. Given the results of an exhaustive search of the Online Encyclopedia of Integer Sequences for such sequences for $m$ up to $6$, we first focus on the case where $m=2$ with our attention mainly paid to the combinatorics of two $2$-convolutive sequences, featuring bijective proofs for both. For other $2$-convolutive sequences discovered in the OEIS, we apply generating function manipulations to show their convolutivity. We also give two examples of $3$-convolutive sequences. Finally, we discuss other convolutive series that are not eta-products.
A lemma on a finite union-closed family of finite sets and its applications
Suppose that $\mathscr{F}$ is a finite union-closed family of sets with $\cup_{A\in \mathscr{F}}A=\{1,2,\ldots,m\}$ and $m\geq 2$. Fix $i\in \{1,2,\ldots,m\}$ and denote $\mathscr{G}:=\{A\backslash \{i\}: A\in \mathscr{F}\}$. For $j\in \{1,2,\ldots,m\}\backslash\{i\}$, let $\mathscr{G}_j:=\{A\in\mathscr{G}: j\in A\}$ and $\mathscr{F}_j:=\{A\in\mathscr{F}: j\in A\}$. In this note, we will prove a lemma which says that if $\frac{|\mathscr{G}_j|}{|\mathscr{G}|}\geq c\,(c\in (0,1])$, then $\frac{|\mathscr{F}_j|}{|\mathscr{F}|}\geq \frac{1}{1+2(1-c)/c}$. Several applications of this lemma will be given.
A characterization of the Carathéodory number for $H$-convexity
We show that the Carathéodory number for $H$-convexity is the maximum of two parameters: the Helly number for $H$-convexity and the cone number of $H$. The cone number in this article is defined as the maximal number of points of $H$ in conical position with an empty positive hull relative to the remaining points. Earlier partial results by Boltyanski and Martini can provide an exact value for the Carathéodory number only when the Helly number is $1$ or $2$.
We further establish connections between the Carathéodory numbers for $H$-convexity and that for $K$-strong convexity, where $H$ is the set of normals of $K$. Specifically, the Carathéodory number for $H$-convexity provides a lower bound for that of $K$-strong convexity. Moreover, if $K$ is a polytope, which has $|H|$ facets, then the Carathéodory number for $K$-strong convexity is at most the maximum of $|H|-1$ and the Carathéodory number for $H$-convexity. We conjecture a characterization of when the bound $|H|-1$ is attained. It is a consequence of a broader conjecture stating that the Carathéodory number for $K$-strong convexity is at most the maximum of the Carathéodory numbers for $H'$-convexity over all subsets $H'\subseteq H$. Finally, we observe that the Carathéodory number is at least the Helly number in any convex-structure where all sets are ordinarily convex.
Turán type problems for a fixed graph and a linear forest
Let $\mathscr{F}$ be a family of graphs. A graph $G$ is $\mathscr{F}$-free if $G$ does not contain any $F\in \mathscr{F}$ as a subgraph. The Turán number, denoted by $ex(n, \mathscr{F})$, is the maximum number of edges in an $n$-vertex $\mathscr{F}$-free graph. Let $F $ be a fixed graph with $ χ(F) \geq 3 $. A forest $H$ is called a linear forest if all components of $H$ are paths. In this paper, we determined the exact value of $ex(n, \{H, F\}) $ for a fixed graph $F$ with $χ(F)\geq 3$ and a linear forest $H$ with at least $2$ components and each component with size at least $3$.
Spanning subgraphs and spectral radius in graphs
A spanning tree $T$ of a connected graph $G$ is a subgraph of $G$ that is a tree covers all vertices of $G$. The leaf distance of $T$ is defined as the minimum of distances between any two leaves of $T$. A fractional matching of a graph $G$ is a function $h$ assigning every edge a real number in $[0,1]$ so that $\sum\limits_{e\in E_G(v)}{h(e)}\leq1$ for any $v\in V(G)$, where $E_G(v)$ denotes the set of edges incident with $v$ in $G$. A fractional matching of $G$ is called a fractional perfect matching if $\sum\limits_{e\in E_G(v)}{h(e)}=1$ for any $v\in V(G)$. A graph $G$ with at least $2k+2$ vertices is said to be fractional $k$-extendable if every $k$-matching $M$ in $G$ is included in a fractional perfect matching $h$ of $G$ such that $h(e)=1$ for any $e\in M$. This paper considers a lower bound on the spectral radius of $G$ to guarantee that $G$ has a spanning tree with leaf distance at least $d$. At the same time, we obtain a lower bound on the spectral radius of $G$ to ensure that $G$ is fractional $k$-extendable.
Connected forcing density and related problems
A connected forcing set of a graph is a zero forcing set that induces a connected subgraph. In this paper, we introduce and study CF-dense graphs -- graphs in which every vertex belongs to some minimum connected forcing set. We identify several CF-dense graph families and investigate the relationships between CF-density and analogous notions in zero forcing and total forcing. We also characterize CF-dense trees and give a formula for the number of distinct connected forcing sets in trees. Finally, we analyze when CF-density is preserved under graph operations such as Cartesian products, joins, and coronas.
Self-reverse labelings of distance magic graphs
A graph is distance magic if it admits a bijective labeling of its vertices by integers from $1$ up to the order of the graph in such a way that the sum of the labels of all the neighbors of a vertex is independent of a given vertex. We introduce the concept of a self-reverse distance magic labeling of a regular graph which allows for a more compact description of the graph and the labeling in terms of the corresponding quotient graph. We show that the members of several known infinite families of tetravalent distance magic graphs admit such labelings. We present a novel general construction producing a new distance magic graph from two existing ones. Using it we show that for each integer $n \geq 6$, except for the odd integers up to $19$, there exists a connected tetravalent graph of order $n$ admitting a self-reverse distance magic labeling. We also determine all connected tetravalent graphs up to order $30$ admitting a self-reverse distance magic labeling. The obtained data suggests a number of natural interesting questions giving several possibilities for future research.
Order-Dependent Dissimilarity Measures on Phylogenetic Trees
Ordered leaf attachment, Phylo2Vec, and HOP are three recently introduced vector representations for rooted phylogenetic trees where the representation is determined by an ordering of the underlying leaf set X. Comparing the vectors of two rooted phylogenetic X-trees T and T' for a fixed ordering on X leads to polynomial-time computable measure for the dissimilarity of T and T', albeit dependent on the choice of the leaf ordering. For each of ordered leaf attachment, Phylo2Vec, and HOP, we compare this measure with the rooted subtree prune and regraft distance (rSPR), the hybrid number, and the temporal tree-child hybrid number of T and T'. Although there is no direct relationship between rSPR and any of the three vector-based measures, we show that, when minimized over all orderings, the hybrid number is equivalent to HOP, and an upper bound on the other two. Moreover, when minimized over all orderings induced by common cherry-picking sequences of T and T', the temporal tree-child hybrid number of T and T' is equivalent to each of the three vector-based measures.
Tileable Surfaces
We study $C^1$-regular surfaces in $R^3$ that admit tilings by a finite number of rigid motion congruence classes of tiles. We construct examples with various topologies and present a framework for a systematic study, mainly concentrating on monotilings. A finite edge prototile is a tile that has only a finite number of possible interfaces with adjacent copies of itself. We describe all monotilings by such tiles with three or less edges. We consider the question of whether a monohedral polyhedron can be smoothed to become a finite edge type tileable surface with the same graph structure, and we give an example where this is not possible. Finally we list some open problems.
A remark on the $t$-intersecting Erdős-Ko-Rado theorem
The $t$-intersecting Erdős-Ko-Rado theorem is the following statement: if $\mathcal{F} \subset \binom{[n]}{k}$ is a $t$-intersecting family of sets and $n\ge (t+1)(k-t+1)$, then $|\mathcal{F}| \le \binom{n-t}{k-t}$. The first proof of this statement for all $t$ was a linear algebraic argument of Wilson. Earlier, Schrijver had proven the $t$-intersecting Erdős-Ko-Rado theorem for sufficiently large $n$ by a seemingly different linear algebraic argument motivated by Delsarte theory. In this note, we show that the approaches of Schrijver and Wilson are in fact equivalent.
Weakly distance-regular digraphs of diameter 2
Weakly distance-regular digraphs is a directed version of distance-regular graphs. In this paper, we characterize all weakly distance-regular digraphs of diameter 2.
Absolute order and involutions
Published
• View Publication
• BIB
We study the restriction of the absolute order on a Coxeter group $W$ to an interval $[1,w]_T$, where $w\in W$ is an involution. We characterize and classify those involutions $w$ for which $[1,w]_T$ is a lattice, using the notion of involutive parabolic subgroups.
Perfect Matchings in Random Sparsifications of Dense Hypergraphs
The decision problem of perfect matchings in uniform hypergraphs is famously an NP-complete problem. It has been shown by Keevash--Knox--Mycroft [STOC, 2013] that for every $\varepsilon>0$, such decision problem restricted to $k$-uniform hypergraphs $H$ satisfying that every $(k-1)$-set of vertices is in at least $(1/k+\varepsilon)|H|$ edges is tractable, and the quantity $1/k$ is best possible. In this paper we study the existence of perfect matchings in the random $p$-sparsification of such $k$-uniform hypergraphs, that is, for $p=p(n)\in [0,1]$, every edge is kept with probability $p$ independent of others. As a consequence, we give a polynomial-time algorithm that with high probability solves the decision problem; we also derive effective bounds on the number of perfect matchings in such hypergraphs. At last, similar results are obtained for the $F$-factor problem in graphs.
The key ingredients of the proofs are a strengthened partition lemma for the lattice-based absorption method, and the random redistribution method developed recently by Kelly, Müyesser and Pokrovskiy, based on the spread method.
Vogel's universality and Macdonald dimensions
Published in Nucl. Phys. B 1018, 117085 (2025)
• View Publication
• BIB
We discuss algebraic universality in the sense of P. Vogel for the simplest refined quantity, the Macdonald dimensions. The main known source of universal quantities is given by Chern-Simons theory. Refinement of Chern-Simons theory means introducing additional parameters. At the level of symmetric functions, the refinement is the transition from the Schur functions to the Macdonald polynomials. We consider the Macdonald polynomials associated with the simple Lie algebras, define Macdonald dimensions and dual Macdonald dimensions, and present a universal formula for them that unifies these quantities for algebras associated with simply laced root systems. We also consider mixed Macdonald dimensions that depend on two different root systems.
Identically vanishing $k$-generalized Fibonacci polynomials
The recurrence for the $k$-generalized Fibonacci polynomials is usually iterated upwards to positive values of $n$ only. When the recurrence is iterated downwards to $n<0$, there are indices where the polynomials vanish identically. This fact does not seem to have been noted in the literature. We derive the set of such indices. We present the left-justified generalized Pascal triangle for $n<0$. For $k\ge3$ and $n<0$, we show that the degree of the polynomial does not increase monotonically with $|n|$. We derive expressions for the individual polynomial coefficients (the elementary symmetric polynomials of the roots). We present results for the properties of the polynomials, for both $n>0$ and $n<0$, including factorization of the polynomials and properties of the roots (including bounds on the amplitudes of the nonzero roots). Results are also derived for real roots. (Separate treatments are required for $n>0$ and $n<0$.) We employ generating functions to derive new combinatorial sums for the polynomials. The sums are more concise and computationally more efficient than previously published expressions. We also exhibit the relation of the $k$-generalized Jacobsthal and Pell polynomials to the Fibonacci polynomials.