Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Affine twisted length function
Published
• View Publication
• BIB
Let $W_a$ be an affine Weyl group. In 1987 Jian Yi Shi gave a characterization of the elements $w \in W_a$ in terms of $Φ^+$-tuples $(k(w,α))_{α\in Φ^+}$ called the Shi vectors. Using these coefficients, a formula is provided to compute the standard length of $W_a$. In this note we express the twisted affine length function of $W_a$ in terms of the Shi coefficients.
DP color functions versus chromatic polynomials
Published
• View Publication
• BIB
For any graph $G$, the chromatic polynomial of $G$ is the function $P(G,m)$ which counts the number of proper $m$-colorings of $G$ for each positive integer $m$. The DP color function $P_{DP}(G,m)$ of $G$, introduced by Kaul and Mudrock in 2019, is a generalization of $P(G,m)$ with $P_{DP}(G,m)\le P(G,m)$ for each positive integer $m$. Let $P_{DP}(G)\approx P(G)$ (resp. $P_{DP}(G)< P(G)$) denote the property that $P_{DP}(G,m)=P(G,m)$ (resp. $P_{DP}(G,m)<P(G,m)$) holds for sufficiently large integers $m$.It is an interesting problem of finding graphs $G$ for which $P_{DP}(G)\approx P(G)$ (resp. $P_{DP}(G,m)<P(G,m)$) holds. Kaul and Mudrock showed that if $G$ has an even girth, then $P_{DP}(G)<P(G)$ and Mudrock and Thomason recently proved that $P_{DP}(G)\approx P(G)$ holds for each graph $G$ which has a dominating vertex. We shall generalize their results in this article. For each edge $e$ in $G$, let $\ell(e)=\infty$ if $e$ is a bridge of $G$, and let $\ell(e)$ be the length of a shortest cycle in $G$ containing $e$ otherwise. We first show that if $\ell(e)$ is even for some edge $e$ in $G$, then $P_{DP}(G)<P(G)$ holds. However, the converse statement of this conclusion fails with infinitely many counterexamples. We then prove that $P_{DP}(G)\approx P(G)$ holds for every graph $G$ that contains a spanning tree $T$ such that for each $e\in E(G)\setminus E(T)$, $\ell(e)$ is odd and $e$ contained in a cycle $C$ of length $\ell (e)$ with the property that $\ell(e')<\ell(e)$ for each $e'\in E(C)\setminus (E(T)\cup \{e\})$. Some open problems are proposed in this article.
Constructive Characterization of Critical Bipartite Grafts
Factor-critical graphs are a classical concept in matching theory that constitute an important component of the Gallai-Edmonds canonical decomposition and Edmonds' algorithm for maximum matchings. Lovász provided a constructive characterization of factor-critical graphs in terms of ear decompositions. This characterization has been a useful inductive tool for studying factor-critical graphs and also connects them with Edmonds' algorithm.
Joins in grafts, also known as $T$-joins in graphs, are a classical variant of matchings proposed in terms of parity. Minimum joins and grafts are generalizations of perfect matchings and graphs with perfect matchings, respectively. Accordingly, graft analogues of fundamental concepts and results from matching theory, such as canonical decompositions, will develop the theory of minimum join. In this paper, we propose a new concept, critical quasicombs, as a bipartite graft analogue of factor-critical graphs and provide a constructive characterization of critical quasicombs using a graft version of ear decompositions. This characterization can be considered as a bipartite graft analogue of Lovász' result. From our results, the Dulmage-Mendelsohn canonical decomposition, originally a theory for bipartite graphs, has been generalized for bipartite grafts.
Coloring squares of planar graphs with small maximum degree
For a graph $G$, by $χ_2(G)$ we denote the minimum integer $k$, such that there is a $k$-coloring of the vertices of $G$ in which vertices at distance at most 2 receive distinct colors. Equivalently, $χ_2(G)$ is the chromatic number of the square of $G$. In 1977 Wegner conjectured that if $G$ is planar and has maximum degree $Δ$, then $χ_2(G) \leq 7$ if $Δ\leq 3$, $χ_2(G) \leq Δ+5$ if $4 \leq Δ\leq 7$, and $\lfloor 3Δ/2 \rfloor +1$ if $Δ\geq 8$. Despite extensive work, the known upper bounds are quite far from the conjectured ones, especially for small values of $Δ$. In this work we show that for every planar graph $G$ with maximum degree $Δ$ it holds that $χ_2(G) \leq 3Δ+4$. This result provides the best known upper bound for $6 \leq Δ\leq 14$.
On the Number of Arrows of Cluster Quivers
Published
• View Publication
• BIB
Let $\tilde{Q}$ (resp. $Q$) be an extended exchange (resp. exchange) cluster quiver of finite mutation type. We introduce the distribution set of the number of arrows for $Mut[\tilde{Q}]$ (resp. $Mut[Q]$), give the maximum and minimum numbers of the distribution set and establish the existence of an extended complete walk (resp. a complete walk). As a consequence, we prove that the distribution set for $Mut[\tilde{Q}]$ (resp. $Mut[Q]$) is continuous except the exceptional cases.
In case of cluster quivers $Q_{inf}$ of infinite mutation type, the number of arrows does not present a continuous distribution. Besides, we show that the maximal number of arrows of quivers in $Mut[Q_{inf}]$ is infinite if and only if the maximal number of arrows between any two vertices of a quiver in $Mut[Q_{inf}]$ is infinite.
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.