Showing 20 papers (Total: 82505 papers, 47699 authors in database)
On $(t,r)$ broadcast domination of directed graphs
Published
• View Publication
• BIB
A dominating set of a graph $G$ is a set of vertices that contains at least one endpoint of every edge on the graph. The domination number of $G$ is the order of a minimum dominating set of $G$. The $(t,r)$ broadcast domination is a generalization of domination in which a set of broadcasting vertices emits signals of strength $t$ that decrease by 1 as they traverse each edge, and we require that every vertex in the graph receives a cumulative signal of at least $r$ from its set of broadcasting neighbors. In this paper, we extend the study of $(t,r)$ broadcast domination to directed graphs. Our main result explores the interval of values obtained by considering the directed $(t,r)$ broadcast domination numbers of all orientations of a graph $G$. In particular, we prove that in the cases $r=1$ and $(t,r) = (2,2)$, for every integer value in this interval, there exists an orientation $\vec{G}$ of $G$ which has directed $(t,r)$ broadcast domination number equal to that value. We also investigate directed $(t,r)$ broadcast domination on the finite grid graph, the star graph, the infinite grid graph, and the infinite triangular lattice graph. We conclude with some directions for future study.
Lah distribution: Stirling numbers, records on compositions, and convex hulls of high-dimensional random walks
Published
• View Publication
• BIB
Let $ξ_1,ξ_2,\ldots$ be a sequence of independent copies of a random vector in $\mathbb R^d$ having an absolutely continuous distribution. Consider a random walk $S_i:=ξ_1+\cdots+ξ_i$, and let $C_{n,d}:=\text{conv}(0,S_1,S_2,\ldots,S_n)$ be the convex hull of the first $n+1$ points it has visited. The polytope $C_{n,d}$ is called $k$-neighborly if for every indices $0\leq i_0 <\cdots < i_k\leq n$ the convex hull of the $k+1$ points $S_{i_0},\ldots, S_{i_k}$ is a $k$-dimensional face of $C_{n,d}$. We study the probability that $C_{n,d}$ is $k$-neighborly in various high-dimensional asymptotic regimes, i.e. when $n$, $d$, and possibly also $k$ diverge to $\infty$. There is an explicit formula for the expected number of $k$-dimensional faces of $C_{n,d}$ which involves Stirling numbers of both kinds. Motivated by this formula, we introduce a distribution, called the Lah distribution, and study its properties. In particular, we provide a combinatorial interpretation of the Lah distribution in terms of random compositions and records, and explicitly compute its factorial moments. Limit theorems which we prove for the Lah distribution imply neighborliness properties of $C_{n,d}$. This yields a new class of random polytopes exhibiting phase transitions parallel to those discovered by Vershik and Sporyshev, Donoho and Tanner for random projections of regular simplices and crosspolytopes.
The singularity probability of a random symmetric matrix is exponentially small
Published
• View Publication
• BIB
Let $A$ be drawn uniformly at random from the set of all $n\times n$ symmetric matrices with entries in $\{-1,1\}$. We show that \[ \mathbb{P}( \det(A) = 0 ) \leq e^{-cn},\] where $c>0$ is an absolute constant, thereby resolving a well-known conjecture.
GraphSAT -- a decision problem connecting satisfiability and graph theory
Satisfiability of boolean formulae (SAT) has been a topic of research in logic and computer science for a long time. In this paper we are interested in understanding the structure of satisfiable and unsatisfiable sentences. In previous work we initiated a new approach to SAT by formulating a mapping from propositional logic sentences to graphs, allowing us to find structural obstructions to 2SAT (clauses with exactly 2 literals) in terms of graphs. Here we generalize these ideas to multi-hypergraphs in which the edges can have more than 2 vertices and can have multiplicity. This is needed for understanding the structure of SAT for sentences made of clauses with 3 or more literals (3SAT), which is a building block of NP-completeness theory. We introduce a decision problem that we call GraphSAT, as a first step towards a structural view of SAT. Each propositional logic sentence can be mapped to a multi-hypergraph by associating each variable with a vertex (ignoring the negations) and each clause with a hyperedge. Such a graph then becomes a representative of a collection of possible sentences and we can then formulate the notion of satisfiability of such a graph. With this coarse representation of classes of sentences one can then investigate structural obstructions to SAT. To make the problem tractable, we prove a local graph rewriting theorem which allows us to simplify the neighborhood of a vertex without knowing the rest of the graph. We use this to deduce several reduction rules, allowing us to modify a graph without changing its satisfiability status which can then be used in a program to simplify graphs. We study a subclass of 3SAT by examining sentences living on triangulations of surfaces and show that for any compact surface there exists a triangulation that can support unsatisfiable sentences, giving specific examples of such triangulations for various surfaces.
Infinite flags and Schubert polynomials
Published in Forum of Mathematics, Sigma 13 (2025) e36
• View Publication
• BIB
We study Schubert polynomials using geometry of infinite-dimensional flag varieties and degeneracy loci. Applications include Graham-positivity of coefficients appearing in equivariant coproduct formulas and expansions of back-stable and enriched Schubert polynomials. We also construct an embedding of the type C flag variety, and study the corresponding pullback map on (equivariant) cohomology rings.
A lower bound for the $n$-queens problem
Published
• View Publication
• BIB
The $n$-queens puzzle is to place $n$ mutually non-attacking queens on an $n \times n$ chessboard. We present a simple two stage randomized algorithm to construct such configurations. In the first stage, a random greedy algorithm constructs an approximate \textit{toroidal} $n$-queens configuration. In this well-known variant the diagonals wrap around the board from left to right and from top to bottom. We show that with high probability this algorithm succeeds in placing $(1-o(1))n$ queens on the board. In the second stage, the method of absorbers is used to obtain a complete solution to the non-toroidal problem. By counting the number of choices available at each step of the random greedy algorithm we conclude that there are more than $\left( \left( 1 - o(1) \right) n e^{-3} \right)^n$ solutions to the $n$-queens problem. This proves a conjecture of Rivin, Vardi, and Zimmerman in a strong form.
Universality for the directed configuration model: metric space convergence of the strongly connected components at criticality
Published
• View Publication
• BIB
We consider the strongly connected components (SCCs) of a uniform directed graph on $n$ vertices with i.i.d. in- and out-degree pairs distributed as $(D^-,D^+)$, with $\mathbb E[D^+]=\mathbb E[D^-]=μ$. We condition on equal total in- and out-degree. A phase transition for the emergence of a giant SCC is known to occur at the critical value $\mathbb E[D^-D^+] = μ$. We study the model at this critical value and, additionally, require that $\mathbb E[(D^-)^i(D^+)^j]<\infty$ for all $i+j\leq 3$, and for $(i,j)=(1,3)$ and $(i,j)=(3,1)$. We show that, under these conditions, the SCCs ranked by decreasing number of edges with distances rescaled by $n^{-1/3}$ converge in distribution to a sequence of finite strongly connected directed multigraphs with edge lengths, and that these are either $3$-regular or loops. The limit objects lie in a $3$-parameter family, which contains the scaling limit of the SCCs in the directed Erdős-Rényi model at criticality as found by Goldschmidt and Stephenson (2019). This is the first universality result for the scaling limit of a critical directed graph model and the first quantitative result on the directed configuration model at criticality. As a trivial consequence, the largest SCCs at criticality contain $Θ(n^{1/3})$ vertices and edges in probability, and the diameter of the directed graph at criticality is $Ω(n^{1/3})$ in probability. We use a metric on the space of weighted multigraphs in which two multigraphs are close if there are compatible isomorphisms between their vertex and edge sets which roughly preserve the edge lengths. We use the product topology on the sequence of multigraphs. Our method of proof involves a depth-first exploration of the directed graph, resulting in a spanning forest with additional identifications, of which we study the limit under rescaling.
The Average Size of a Connected Vertex Set of a $k$-connected Graph
Published
• View Publication
• BIB
The topic is the average order $A(G)$ of a connected induced subgraph of a graph $G$. This generalizes, to graphs in general, the average order of a subtree of a tree. In 1984, Jamison proved that the average order, over all trees of order $n$, is minimized by the path $P_n$, the average being $A(P_n)=(n+2)/3$. In 2018, Kroeker, Mol, and Oellermann conjectured that $P_n$ minimizes the average order over all connected graphs $G$ - a conjecture that was recently proved. In this short note we show that this lower bound can be improved if the connectivity of $G$ is known. If $G$ is $k$-connected, then \[A(G) \geq \frac{n}2 \Bigg (1- \frac{1}{2^k+1} \Bigg ).\]
Fractal mountains and binary random loops
We discuss a variation of Takagi curves based, however, more on algebraic than geometric principles. Namely, we construct functions of loops in a special binary representation. The graph of these functions usually has chaotic and fractal forms, sometimes recall mountain landscapes. Nevertheless, the values in a dense set of points and even the integral of these functions can be calculated explicitly.
Borel fractional colorings of Schreier graphs
Published
• View Publication
• BIB
Let $Γ$ be a countable group and let $G$ be the Schreier graph of the free part of the Bernoulli shift of $Γ$ (with respect to some finite subset $F \subseteq Γ$). We show that the Borel fractional chromatic number of $G$ is equal to $1$ over the measurable independence number of $G$. As a consequence, we asymptotically determine the Borel fractional chromatic number of $G$ when $Γ$ is the free group, answering a question of Meehan.
A spectral theory for combinatorial dynamics
This article proposes a framework for the study of periodic maps $T$ from a (typically finite) set $X$ to itself when the set $X$ is equipped with one or more real- or complex-valued functions. The main idea, inspired by the time-evolution operator construction from ergodic theory, is the introduction of a vector space that contains the given functions and is closed under composition with $T$, along with a time-evolution operator on that vector space. I show that the invariant functions and 0-mesic functions span complementary subspaces associated respectively with the eigenvalue 1 and the other eigenvalues. Alongside other examples, I give an explicit description of the spectrum of the evolution operator when $X$ is the set of $k$-element multisets with elements in $\{0,1,\dots,n-1\}$, $T$ increments each element of a multiset by 1 mod $n$, and $g_i: X \rightarrow \mathbb{R}$ (with $1 \leq i \leq k$) maps a multiset to its $i$th smallest element.
On the $A_α$ spectral radius of strongly connected digraphs
Published
• View Publication
• BIB
Let $G$ be a digraph with adjacency matrix $A(G)$. Let $D(G)$ be the diagonal matrix with outdegrees of vertices of $G$. Nikiforov \cite{Niki} proposed to study the convex combinations of the adjacency matrix and diagonal matrix of the degrees of undirected graphs. Liu et al. \cite{LWCL} extended the definition to digraphs. For any real $α\in[0,1]$, the matrix $A_α(G)$ of a digraph $G$ is defined as $$A_α(G)=αD(G)+(1-α)A(G).$$ The largest modulus of the eigenvalues of $A_α(G)$ is called the $A_α$ spectral radius of $G$, denoted by $λ_α(G)$. This paper proves some extremal results about the spectral radius $λ_α(G)$ that generalize previous results about $λ_0(G)$ and $λ_{\frac{1}{2}}(G)$.
In particular, we characterize the extremal digraph with the maximum (or minimum) $A_α$ spectral radius among all $\widetilde{\infty}$-digraphs and $\widetildeθ$-digraphs on $n$ vertices. Furthermore, we determine the digraphs with the second and the third minimum $A_α$ spectral radius among all strongly connected bicyclic digraphs. For $0\leqα\leq\frac{1}{2}$, we also determine the digraphs with the second, the third and the fourth minimum $A_α$ spectral radius among all strongly connected digraphs on $n$ vertices. Finally, we characterize the digraph with the minimum $A_α$ spectral radius among all strongly connected bipartite digraphs which contain a complete bipartite subdigraph.
On a problem of M. Talagrand
Published
• View Publication
• BIB
We address a special case of a conjecture of M. Talagrand relating two notions of "threshold" for an increasing family $\mathcal F$ of subsets of a finite set $V$. The full conjecture implies equivalence of the "Fractional Expectation-Threshold Conjecture," due to Talagrand and recently proved by the authors and B. Narayanan, and the (stronger) "Expectation-Threshold Conjecture" of the second author and G. Kalai. The conjecture under discussion here says there is a fixed $L$ such that if, for a given $\mathcal F$, $p\in [0,1]$ admits $λ:2^V \rightarrow \mathbb R^+$ with \[ \mbox{$\sum_{S\subseteq F}λ_S\ge 1 ~~\forall F\in \mathcal F$} \] and \[ \mbox{$\sum_Sλ_Sp^{|S|} \le 1/2$} \] (a.k.a. $\mathcal F$ is weakly $p$-small), then $p/L$ admits such a $λ$ taking values in $\{0,1\}$ ($\mathcal F$ is $(p/L)$-small). Talagrand showed this when $λ$ is supported on singletons and suggested, as a more challenging test case, proving it when $λ$ is supported on pairs. The present work provides such a proof.
A comment on the paper "Continued fractions and orderings on the Markov numbers, Adv. Math. 370 (2020), 107231"
We discuss the validity of the proof of the fixed numerator conjecture on Markov numbers, which is the main result of the paper mentioned in the title.
Tabulation of knots up to five triple-crossings and moves between oriented diagrams
Published
• View Publication
• BIB
We enumerate and show tables of minimal diagrams for all prime knots up to the triple-crossing number equal to five. We derive a minimal generating set of oriented moves connecting triple-crossing diagrams of the same oriented knot. We also present a conjecture about a strict lower bound of the triple-crossing number of a knot related to the breadth of its Alexander polynomial.
Every Steiner triple system contains an almost spanning d-ary hypertree
Published
• View Publication
• BIB
In this paper we make a partial progress on the following conjecture: for every $μ>0$ and large enough $n$, every Steiner triple system $S$ on at least $(1+μ)n$ vertices contains every hypertree $T$ on $n$ vertices. We prove that the conjecture holds if $T$ is a perfect $d$-ary hypertree.
Independent sets in subgraphs of a shift graph
Published
• View Publication
• BIB
Erdős, Hajnal and Szemerédi proved that any subset $G$ of vertices of a shift graph $\text{Sh}_{n}^{k}$ has the property that the independence number of the subgraph induced by $G$ satisfies $α(\text{Sh}_{n}^{k}[G])\geq \left(\frac{1}{2}-\varepsilon\right)|G|$, where $\varepsilon\to 0$ as $k\to \infty$. In this note we prove that for $k=2$ and $n \to \infty$ there are graphs $G\subseteq \binom{[n]}{2}$ with $α(\text{Sh}_{n}^{2}[G])\leq \left(\frac{1}{4}+o(1)\right)|G|$, and $\frac{1}{4}$ is best possible. We also consider a related problem for infinite shift graphs.
Fungible obstructions to embedding 2-complexes
We give examples of finite, simplicial $2$-complexes that do not PL embed in $\mathbb{R}^4$ and exhibit, for each such complex, a family of PL immersions into $\mathbb{R}^4$ that hide the obstruction to embedding in "higher and higher order Milnor invariants". In addition, we show that the embedding obstructions defined by Krushkal in [8] vanish for our examples. We also answer a question in a paper of Avramidi-Okun-Schreve.
On planar arcs of size $(q+3)/2$
The subject of this paper is the study of small complete arcs in $\mathrm{PG}(2,q)$, for $q$ odd, with at least $(q+1)/2$ points on a conic. We give a short comprehensive proof of the completeness problem left open by Segre in his seminal work [20]. This gives an alternative to Pellegrino's long proof which was obtained in a series of papers in the 1980s. As a corollary of our analysis, we obtain a counterexample to a misconception in the literature [6].
Tight bounds on the maximal perimeter of convex equilateral small polygons
Published in Archiv der Mathematik, 119(3), 325-336, 2022
• View Publication
• BIB
A small polygon is a polygon that has diameter one. The maximal perimeter of a convex equilateral small polygon with $n=2^s$ sides is not known when $s \ge 4$. In this paper, we construct a family of convex equilateral small $n$-gons, $n=2^s$ and $s \ge 4$, and show that their perimeters are within $O(1/n^4)$ of the maximal perimeter and exceed the previously best known values from the literature. In particular, for the first open case $n=16$, our result proves that Mossinghoff's equilateral hexadecagon is suboptimal.