Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Perfect matchings in hyperfinite graphings
We characterize hyperfinite bipartite graphings that admit measurable perfect matchings. In particular, we prove that every regular hyperfinite bipartite graphing admits a measurable perfect matching if it is one-ended or the degree is odd. We give several applications of this result, answering various open questions in the field. For instance, we extend the Lyons--Nazarov theorem by characterizing bipartite Cayley graphs which admit a factor of iid perfect matching, answering the bipartite case of a well-known question of Lyons and Nazarov, popularized by Kechris and Marks. Moreover, we show how our results apply to measurable equidecompositions and, in particular, generalize the recent result of Grabowski, Máthé and Pikhurko on the measurable circle squaring. Our approach applies more generally to rounding measurable perfect fractional matchings.
The measurable Hall theorem fails for treeings
We construct, for every $d \geq 3$, a $d$-regular acyclic measurably bipartite graphing that admits no measurable perfect matching, resolving a problem of Kechris and Marks.
A dense variant of our construction yields a coupling of two standard Borel probability measure spaces whose support contains no deterministic coupling, though the conditional probabilities of the coupling measure are atomless. This refutes a conjecture of Gurel-Gurevich and Peled.
Local Problems on Trees from the Perspectives of Distributed Algorithms, Finitary Factors, and Descriptive Combinatorics
We study connections between distributed local algorithms, finitary factors of iid processes, and descriptive combinatorics in the context of regular trees.
We extend the Borel determinacy technique of Marks coming from descriptive combinatorics and adapt it to the area of distributed computing. Using this technique, we prove deterministic distributed $Ω(\log n)$-round lower bounds for problems from a natural class of homomorphism problems. Interestingly, these lower bounds seem beyond the current reach of the powerful round elimination technique responsible for all substantial locality lower bounds of the last years. Our key technical ingredient is a novel ID graph technique that we expect to be of independent interest.
We prove that a local problem admits a Baire measurable coloring if and only if it admits a local algorithm with local complexity $O(\log n)$, extending the classification of Baire measurable colorings of Bernshteyn. A key ingredient of the proof is a new and simple characterization of local problems that can be solved in $O(\log n)$ rounds. We complement this result by showing separations between complexity classes from distributed computing, finitary factors, and descriptive combinatorics. Most notably, the class of problems that allow a distributed algorithm with sublogarithmic randomized local complexity is incomparable with the class of problems with a Borel solution.
We hope that our treatment will help to view all three perspectives as part of a common theory of locality, in which we follow the insightful paper of [Bernshteyn -- arXiv 2004.04905].
Arctic curves of the Reflecting Boundary Six Vertex and of the Twenty Vertex models
Published
• View Publication
• BIB
We apply the Tangent Method of Colomo and Sportiello to predict the arctic curves of the Six Vertex model with reflecting (U-turn) boundary and of the related Twenty Vertex model with suitable domain wall boundary conditions on a quadrangle, both in their Disordered phase.
Winning the War by (Strategically) Losing Battles: Settling the Complexity of Grundy-Values in Undirected Geography
Published
• View Publication
• BIB
We settle two long-standing complexity-theoretical questions-open since 1981 and 1993-in combinatorial game theory (CGT).
We prove that the Grundy value (a.k.a. nim-value, or nimber) of Undirected Geography is PSPACE-complete to compute. This exhibits a stark contrast with a result from 1993 that Undirected Geography is polynomial-time solvable. By distilling to a simple reduction, our proof further establishes a dichotomy theorem, providing a "phase transition to intractability" in Grundy-value computation, sharply characterized by a maximum degree of four: The Grundy value of Undirected Geography over any degree-three graph is polynomial-time computable, but over degree-four graphs-even when planar and bipartite-is PSPACE-hard. Additionally, we show, for the first time, how to construct Undirected Geography instances with Grundy value $\ast n$ and size polynomial in n.
We strengthen a result from 1981 showing that sums of tractable partisan games are PSPACE-complete in two fundamental ways. First, since Undirected Geography is an impartial ruleset, we extend the hardness of sums to impartial games, a strict subset of partisan. Second, the 1981 construction is not built from a natural ruleset, instead using a long sum of tailored short-depth game positions. We use the sum of two Undirected Geography positions to create our hard instances. Our result also has computational implications to Sprague-Grundy Theory (1930s) which shows that the Grundy value of the disjunctive sum of any two impartial games can be computed-in polynomial time-from their Grundy values. In contrast, we prove that assuming PSPACE $\neq$ P, there is no general polynomial-time method to summarize two polynomial-time solvable impartial games to efficiently solve their disjunctive sum.
Primality of weakly connected collections of cells and weakly closed path polyominoes
Published
• View Publication
• BIB
In this paper we study the primality of weakly connected collections of cells, showing that the ideal generated by inner 2-minors attached to a weakly connected and simple collection of cells is the toric ideal of the edge ring of a weakly chordal bipartite graph. As an application of this result we characterize the primality of the polyomino ideals of weakly closed paths, a new class of non simple polyominoes.
Introduction to Cluster Algebras. Chapter 7
This is a preliminary draft of Chapter 7 of our forthcoming textbook "Introduction to Cluster Algebras." Chapters 1-3 have been posted as arXiv:1608.05735. Chapters 4-5 have been posted as arXiv:1707.07190. Chapter 6 has been posted as arXiv:2008.09189.
This installment contains:
Chapter 7. Plabic graphs
Analytical and computational study of the variable inverse sum deg index
A large number of graph invariants of the form $\sum_{uv \in E(G)} F(d_u,d_v)$ are studied in mathematical chemistry, where $uv$ denotes the edge of the graph $G$ connecting the vertices $u$ and $v$, and $d_u$ is the degree of the vertex $u$. Among them the variable inverse sum deg index $ISD_a$, with $F(d_u,d_v)=1/(d_u^a+d_v^a)$, was found to have applicative properties. The aim of this paper is to obtain new inequalities for the variable inverse sum deg index, and to characterize graphs extremal with respect to them. Some of these inequalities generalize and improve previous results for the inverse sum deg index. In addition, we computationally validate some of the obtained inequalities on ensembles of random graphs and show that the ratio $\left\langle ISD_a(G) \right\rangle/n$ ($n$ being the order of the graph) depends only on the average degree $\left\langle d \right\rangle$.
Finite Prime Distance Graphs and 2-Odd Graphs
Published in Discrete Mathematics 313 (20) 2013, pages 2281-2291
• Search Publication
A graph $G$ is a prime distance graph (respectively, a 2-odd graph) if its vertices can be labeled with distinct integers such that for any two adjacent vertices, the difference of their labels is prime (either 2 or odd). We prove that trees, cycles, and bipartite graphs are prime distance graphs, and that Dutch windmill graphs and paper mill graphs are prime distance graphs if and only if the Twin Prime Conjecture and dePolignac's Conjecture are true, respectively. We give a characterization of 2-odd graphs in terms of edge colorings, and we use this characterization to determine which circulant graphs of the form $Circ(n, \{1,k\})$ are 2-odd and to prove results on circulant prime distance graphs.
The maximum size of a nonhamiltonian graph with given order and connectivity
Published
• View Publication
• BIB
Motivated by work of Erdős, Ota determined the maximum size $g(n,k)$ of a $k$-connected nonhamiltonian graph of order $n$ in 1995. But for some pairs $n,k,$ the maximum size is not attained by a graph of connectivity $k.$ For example, $g(15,3)=77$ is attained by a unique graph of connectivity $7,$ not $3.$ In this paper we obtain more precise information by determining the maximum size of a nonhamiltonian graph of order $n$ and connectivity $k,$ and determining the extremal graphs. Consequently we solve the corresponding problem for nontraceable graphs.
Analytical and computational properties of the variable symmetric division deg index
The aim of this work is to obtain new inequalities for the variable symmetric division deg index $SDD_α(G) = \sum_{uv \in E(G)} (d_u^α/d_v^α+d_v^α/d_u^α)$, and to characterize graphs extremal with respect to them. Here, $uv$ denotes the edge of the graph $G$ connecting the vertices $u$ and $v$, $d_u$ is the degree of the vertex $u$, and $α\in \mathbb{R}$. Some of these inequalities generalize and improve previous results for the symmetric division deg index. In addition, we computationally apply the $SDD_α(G)$ index on random graphs and show that the ratio $\left\langle SDD_α(G) \right\rangle/n$ ($n$ being the order of the graph) depends only on the average degree $\left\langle d \right\rangle$.
Invertibility of the 3-core of Erdos Renyi Graphs with Growing Degree
Let $A \in \mathbb{R}^{n \times n}$ be the adjacency matrix of an Erdős Rényi graph $G(n, d/n)$ for $d = ω(1)$ and $d \leq 3\log(n)$. We show that as $n$ goes to infinity, with probability that goes to $1$, the adjacency matrix of the $3$-core of $G(n, d/n)$ is invertible.
The asymptotic number of lattice zonotopes in a hypercube
We provide a sharp estimate for the asymptotic number of lattice zonotopes, inscribed in $[0,n ]^d$ when $n$ tends to infinity. Our estimate refines the logarithmic equivalent established by Barany, Bureaux, and Lund when the sum of the generators of the zonotope is prescribed. As we shall see, the exponential part of our estimate is composed of a polynomial of degree $d$ in $n^{1/(d+1)}$, and involves Riemann's zeta function and its non-trivial zeros. %Our analysis is based on a mapping between sums of coprime numbers and Eulerian polynomials. We also analyze some combinatorial properties of lattice zonotopes. In particular, we provide the first moment of the polyhedral graph asymptotic diameter when $n$ goes to infinity.
Note on $4$-coloring $6$-regular triangulations on the torus
Published in Ann. Comb. 26 (2022), no. 3, 559-569
• View Publication
• BIB
In 1973, Altshuler characterized the $6$-regular triangulations on the torus to be precisely those that are obtained from a regular triangulation of the $r \times s$ toroidal grid where the vertices in the first and last column are connected by a shift of $t$ vertices. Such a graph is denoted $T(r, s, t)$. In 1999, Collins and Hutchinson classified the $4$-colorable graphs $T(r, s, t)$ with $r, s \geq 3$. In this paper, we point out a gap in their classification and show how it can be fixed. Combined with the classification of the $4$-colorable graphs $T(1, s, t)$ by Yeh and Zhu in 2003, this completes the characterization of the colorability of all the $6$-regular triangulations on the torus.
The two higher Stasheff-Tamari orders are equal
Published
• View Publication
• BIB
The set of triangulations of a cyclic polytope possesses two a priori different partial orders, known as the higher Stasheff-Tamari orders. The first of these orders was introduced by Kapranov and Voevodsky, while the second order was introduced by Edelman and Reiner, who also conjectured the two to coincide in 1996. In this paper we prove their conjecture, thereby substantially increasing our understanding of these orders. This result also has ramifications in the representation theory of algebras, as established in previous work of the author. Indeed, it means that the two corresponding orders on tilting modules, cluster-tilting objects and their maximal chains are equal for the higher Auslander algebras of type $A$.
Identities for the Euler polynomials, $p$-adic integrals and Witt's formula
By using Cauchy's formula, it is known that Bernoulli numbers and Euler numbers can be represented by the contour integrals \begin{equation*} \begin{aligned} B_n&=\frac{n!}{2πi}\oint \frac{z}{e^z-1}\frac{d z}{z^{n+1}},\label{condefi}\\[4pt] E_n&=\frac{n!}{2πi}\oint \frac{2e^z}{e^{2z}+1}\frac{d z}{z^{n+1}}, \end{aligned} \end{equation*} while the following Witt's formula represents Euler polynomials through the fermionic $p$-adic integrals
$$E_n(a)=\int_{\mathbb Z_p}(x+a)^ndμ_{-1}(x).$$
Base on the above Witt's identity and the binomial theorem, we prove some new identities for the Euler polynomials briefly. In particular, some symmetry properties of Euler polynomials have been discovered, which implies many interesting identities (known or unknown), including the Kaneko-Momiyama type identities (shown by Wu, Sun, and Pan) and the Alzer-Kwong type identity for Euler polynomials.
Some remarks on even-hole-free graphs
Published
• View Publication
• BIB
A vertex of a graph is bisimplicial if the set of its neighbors is the union of two cliques; a graph is quasi-line if every vertex is bisimplicial. A recent result of Chudnovsky and Seymour asserts that every non-empty even-hole-free graph has a bisimplicial vertex. Both Hadwiger's conjecture and the Erdős-Lovász Tihany conjecture have been shown to be true for quasi-line graphs, but are open for even-hole-free graphs. In this note, we prove that for all $k\ge7$, every even-hole-free graph with no $K_k$ minor is $(2k-5)$-colorable; every even-hole-free graph $G$ with $ω(G)<χ(G)=s+t-1$ satisfies the Erdős-Lovász Tihany conjecture provided that $ t\ge s> χ(G)/3$. Furthermore, we prove that every $9$-chromatic graph $G$ with $ω(G)\le 8$ has a $K_4\cup K_6$ minor. Our proofs rely heavily on the structural result of Chudnovsky and Seymour on even-hole-free graphs.
Counting Lyndon Subsequences
Counting substrings/subsequences that preserve some property (e.g., palindromes, squares) is an important mathematical interest in stringology. Recently, Glen et al. studied the number of Lyndon factors in a string. A string $w = uv$ is called a Lyndon word if it is the lexicographically smallest among all of its conjugates $vu$. In this paper, we consider a more general problem "counting Lyndon subsequences". We show (1) the maximum total number of Lyndon subsequences in a string, (2) the expected total number of Lyndon subsequences in a string, (3) the expected number of distinct Lyndon subsequences in a string.
Decidability of the satisfiability problem for Boolean set theory with the unordered Cartesian product operator
Published
• View Publication
• BIB
The satisfiability problem for multilevel syllogistic extended with the Cartesian product operator (MLSC) is a long-standing open problem in computable set theory. For long, it was not excluded that such a problem were undecidable, due to its remarkable resemblance with the well-celebrated Hilbert's tenth problem, as it was deemed reasonable that union of disjoint sets and Cartesian product might somehow play the roles of integer addition and multiplication.
To dispense with nonessential technical difficulties, we report here about a positive solution to the satisfiability problem for a slight simplified variant of MLSC, yet fully representative of the combinatorial complications due to the presence of the Cartesian product, in which membership is not present and the Cartesian product operator is replaced with its unordered variant.
We are very confident that such decidability result can be generalized to full MLSC, though at the cost of considerable technicalities.
Integral mixed circulant graph
Published
• View Publication
• BIB
A mixed graph is said to be \textit{integral} if all the eigenvalues of its Hermitian adjacency matrix are integer. The \textit{mixed circulant graph} $Circ(\mathbb{Z}_n,\mathcal{C})$ is a mixed graph on the vertex set $\mathbb{Z}_n$ and edge set $\{ (a,b): b-a\in \mathcal{C} \}$, where $0\not\in \mathcal{C}$. If $\mathcal{C}$ is closed under inverse, then $Circ(\mathbb{Z}_n,\mathcal{C})$ is called a \textit{circulant graph}. We express the eigenvalues of $Circ(\mathbb{Z}_n,\mathcal{C})$ in terms of primitive $n$-th roots of unity, and find a sufficient condition for integrality of the eigenvalues of $Circ(\mathbb{Z}_n,\mathcal{C})$. For $n\equiv 0 \Mod 4$, we factorize the cyclotomic polynomial into two irreducible factors over $\mathbb{Q}(i)$. Using this factorization, we characterize integral mixed circulant graphs in terms of its symbol set. We also express the integer eigenvalues of an integral oriented circulant graph in terms of a Ramanujan type sum, and discuss some of their properties.