Showing 20 papers (Total: 82311 papers, 47607 authors in database)
The Arithmetic-Periodicity of \textsc{cut} for $\mathcal{C}=\{1,2c\}$
\textsc{cut} is a class of partition games played on a finite number of finite piles of tokens. Each version of \textsc{cut} is specified by a cut-set $\mathcal{C}\subseteq\mathbb{N}$. A legal move consists of selecting one of the piles and partitioning it into $d+1$ nonempty piles, where $d\in\mathcal{C}$. No tokens are removed from the game. It turns out that the nim-set for any $\mathcal{C}=\{1,2c\}$ with $c\geq 2$ is arithmetic-periodic, which answers an open question of \cite{par}. The key step is to show that there is a correspondence between the nim-sets of \textsc{cut} for $\mathcal{C}=\{1,6\}$ and the nim-sets of \textsc{cut} for $\mathcal{C}=\{1,2c\}, c\geq 4$. The result easily extends to the case of $\mathcal{C} = \{1, 2c_1, 2c_2, 2c_3, ...\}$, where $c_1,c_2, ... \geq 2$.
What is a random surface?
Published
• View Publication
• BIB
Given $2n$ unit equilateral triangles, there are finitely many ways to glue each edge to a partner. We obtain a random sphere-homeomorphic surface by sampling uniformly from the gluings that produce a topological sphere. As $n$ tends to infinity, these random surfaces (appropriately scaled) converge in law. The limit is a "canonical" sphere-homeomorphic random surface, much the way Brownian motion is a canonical random path.
Depending on how the surface space and convergence topology are specified, the limit is the Brownian sphere, the peanosphere, the pure Liouville quantum gravity sphere, or a certain conformal field theory. All of these objects have concise definitions, and are all in some sense equivalent, but the equivalence is highly non-trivial, building on hundreds of math and physics papers over the past half century.
More generally, the "continuum random surface embedded in $d$-dimensional Euclidean space" makes a kind of sense for $d \in (-\infty, 25)$ even when $d$ is not a positive integer; and this can be extended to higher genus surfaces, surfaces with boundary, and surfaces with marked points or other decoration.
These constructions have deep roots in both mathematics and physics, drawing from classical graph theory, complex analysis, probability and representation theory, as well as string theory, planar statistical physics, random matrix theory and a simple model for two-dimensional quantum gravity.
We present here an informal, colloquium-level overview of the subject, which we hope will be accessible to both newcomers and experts. We aim to answer, as cleanly as possible, the fundamental question. What is a random surface?
A combinatorial model for lane merging
A two lane road approaches a stoplight. The left lane merges into the right just past the intersection. Vehicles approach the intersection one at a time, with some drivers always choosing the right lane, while others always choose the shorter lane, giving preference to the right lane to break ties. An arrival sequence of vehicles can be represented as a binary string, where the zeros represent drivers always choosing the right lane, and the ones represent drivers choosing the shorter lane. From each arrival sequence we construct a merging path, which is a lattice path determined by the lane chosen by each car. We give closed formulas for the number of merging paths reaching the point $(n,m)$ with exactly $k$ zeros in the arrival sequence, and the expected length of the right lane for all arrival sequences with exactly $k$ zeros. Proofs involve an adaptation of Andre's Reflection Principle. Other interesting connections also emerge, including to: Ballot numbers, the expected maximum number of heads or tails appearing in a sequence of $n$ coin flips, the largest domino snake that can be made using pieces up to $[n:n]$, and the longest trail on the complete graph $K_n$ with loops.
On the square peg problem
Published
• View Publication
• BIB
We show that if $γ$ is a Jordan curve in $\mathbb{R}^2$ which is close to a $C^2$ Jordan curve $β$ in $\mathbb{R}^2$, then $γ$ contains an inscribed square. In particular, if $κ> 0$ is the maximum unsigned curvature of $β$ and there is a map $f$ from the image of $γ$ to the image of $β$ with $||f(x) - x|| < \frac{1}{10 κ}$ and $f \circ γ$ having winding number $1$, then $γ$ has an inscribed square of positive sidelength.
Modularity of the ABCD Random Graph Model with Community Structure
The Artificial Benchmark for Community Detection (ABCD) graph is a random graph model with community structure and power-law distribution for both degrees and community sizes. The model generates graphs with similar properties as the well-known LFR one, and its main parameter $ξ$ can be tuned to mimic its counterpart in the LFR model, the mixing parameter $μ$.
In this paper, we investigate various theoretical asymptotic properties of the ABCD model. In particular, we analyze the modularity function, arguably, the most important graph property of networks in the context of community detection. Indeed, the modularity function is often used to measure the presence of community structure in networks. It is also used as a quality function in many community detection algorithms, including the widely used Louvain algorithm.
Measurable tilings by abelian group actions
Let $X$ be a measure space with a measure-preserving action $(g,x) \mapsto g \cdot x$ of an abelian group $G$. We consider the problem of understanding the structure of measurable tilings $F \odot A = X$ of $X$ by a measurable tile $A \subset X$ translated by a finite set $F \subset G$ of shifts, thus the translates $f \cdot A$, $f \in F$ partition $X$ up to null sets. Adapting arguments from previous literature, we establish a "dilation lemma" that asserts, roughly speaking, that $F \odot A = X$ implies $F^r \odot A = X$ for a large family of integer dilations $r$, and use this to establish a structure theorem for such tilings analogous to that established recently by the second and fourth authors. As applications of this theorem, we completely classify those random tilings of finitely generated abelian groups that are "factors of iid", and show that measurable tilings of a torus $\mathbb{T}^d$ can always be continuously (in fact linearly) deformed into a tiling with rational shifts, with particularly strong results in the low-dimensional cases $d=1,2$ (in particular resolving a conjecture of Conley, the first author, and Pikhurko in the $d=1$ case).
Cographic Splitting Of Graphic Matroids With Respect To A Set With Three Elements
Published in Graphs and Combinatorics, 97 (2023)
• View Publication
• BIB
In general, the splitting operation on binary matroids does not preserve the graphicness and cographicness properties of binary matroids. In this paper, we obtain a characterization of the class of graphic matroids whose splitting with respect to a set of three elements gives cographic matroids. We also provide an alternate proof to such characterization when the set contains two elements which was provided by Borse et al.
On signed graphs whose spectral radius does not exceed $\sqrt{2+\sqrt{5}}$
Published
• View Publication
• BIB
The Hoffman program with respect to any real or complex square matrix $M$ associated to a graph $G$ stems from Hoffman's pioneering work on the limit points for the spectral radius of adjacency matrices of graphs does not exceed $\sqrt{2+\sqrt{5}}$. A signed graph $\dot{G}=(G,σ)$ is a pair $(G,σ),$ where $G=(V,E)$ is a simple graph and $σ: E(G)\rightarrow \{+1,-1\}$ is the sign function. In this paper, we study the Hoffman program of signed graphs. Here, all signed graphs whose spectral radius does not exceed $\sqrt{2+\sqrt{5}}$ will be identified.
Introduction to the combinatorial atlas
Published in Expo. Math. 40 (2022), no. 4, 1014-1048
• View Publication
• BIB
We give elementary self-contained proofs of the strong Mason conjecture recently proved by Anari at. al. (arXiv:1811.01600) and Brändén--Huh (arXiv:1902.03719), and of the classical Alexandrov--Fenchel inequality. Both proofs use the combinatorial atlas technology recently introduced by the authors (arXiv:2110.10740). We also give a formal relationship between combinatorial atlases and Lorentzian polynomials.
Cycles in graphs with geometric property (T)
Published
• View Publication
• BIB
We show that a sequence of graphs with geometric property (T) has many small cycles. We also show that when a small part of a sequence of graphs with geometric property (T) is changed, it still has geometric property (T), provided that it is still an expander. We use this to give an example of a sequence of graphs with geometric property (T) that has large cycle-free balls.
Quaternionic $1-$factorizations and complete sets of rainbow spanning trees
Published
• View Publication
• BIB
A $1-$factorization of a complete graph on $2n$ vertices is said to be $G-$regular if it posseses an automorphism group $G$ acting sharply transitively on the vertex-set. The problem of determining which groups can realize such a situation dates back to a result by Hartman and Rosa (1985) on cyclic groups and, when $n$ is even, the problem is still open. An attempt to obtain a fairly precise description of groups and $1-$factorizations satisfying this symmetry constrain can be done by imposing further conditions. It was recently proved, see Rinaldi (2021) and Mazzuoccolo et al. (2019), that a $G-$regular $1-$factorization together with a complete set of rainbow spanning trees exists whenever $n$ is odd, while the existence for each $n$ even was proved when either $G$ is cyclic and $n$ is not a power of $2$, or when $G$ is a dihedral group. In this paper we extend this result and prove the existence also for other classes of groups.
A central limit theorem for star-generators of $S_{\infty}$, which relates to traceless CCR-GUE matrices
Published in International Journal of Mathematics Volume 33, Issue 09 (2022), paper no. 2250065
• View Publication
• BIB
We prove a limit theorem concerning the sequence of star-generators of $S_{\infty}$, where the expectation functional is provided by a character of $S_{\infty}$ with weights $(w_1, \ldots , w_d, 0,0, \ldots )$ in the Thoma classification. The limit law turns out to be the law of a "traceless CCR-GUE" matrix, an analogue of the traceless GUE where the off-diagonal entries $g_{i,j}$ satisfy the commutation relation $g_{i,j}g_{j,i} = g_{j,i}g_{i,j} + (w_j - w_i)$. The special case $w_1 = \cdots = w_d = 1/d$ yields the law of a bona fide traceless GUE matrix, and we retrieve a result of Köstler and Nica from 2021, which in turn extended a result of Biane from 1995.
Exchange distance of basis pairs in split matroids
The basis exchange axiom has been a driving force in the development of matroid theory. However, the axiom gives only a local characterization of the relation of bases, which is a major stumbling block to further progress, and providing a global understanding of the structure of matroid bases is a fundamental goal in matroid optimization.
While studying the structure of symmetric exchanges, Gabow proposed the problem that any pair of bases admits a sequence of symmetric exchanges. A different extension of the exchange axiom was proposed by White, who investigated the equivalence of compatible basis sequences. These conjectures suggest that the family of bases of a matroid possesses much stronger structural properties than we are aware of.
In the present paper, we study the distance of basis pairs of a matroid in terms of symmetric exchanges. In particular, we give a polynomial-time algorithm that determines a shortest possible exchange sequence that transforms a basis pair into another for split matroids, a class that was motivated by the study of matroid polytopes from a tropical geometry point of view. As a corollary, we verify the above mentioned long-standing conjectures for this large class. Being a subclass of split matroids, our result settles the conjectures for paving matroids as well.
An attack on Zarankiewicz's problem through SAT solving
The Zarankiewicz function gives, for a chosen matrix and minor size, the maximum number of ones in a binary matrix not containing an all-one minor. Tables of this function for small arguments have been compiled, but errors are known in them. We both correct the errors and extend these tables in the case of square minors by expressing the problem of finding the value at a specific point as a series of Boolean satisfiability problems, exploiting permutation symmetries for a significant reduction in the work needed. When the ambient matrix is also square we also give all non-isomorphic examples of matrices attaining the maximum, up to the aforementioned symmetries; it is found that most maximal matrices have some form of symmetry.
Triangulations of Flow Polytopes, Ample Framings, and Gentle Algebras
Published
• View Publication
• BIB
The cone of nonnegative flows for a directed acyclic graph (DAG) is known to admit regular unimodular triangulations induced by framings of the DAG. These triangulations restrict to triangulations of the flow polytope for strength one flows, which are called DKK triangulations. For a special class of framings called ample framings, these triangulations of the flow cone project to a complete fan. We characterize the DAGs that admit ample framings, and we enumerate the number of ample framings for a fixed DAG. We establish a connection between maximal simplices in DKK triangulations and $τ$-tilting posets for certain gentle algebras, which allows us to impose a poset structure on the dual graph of any DKK triangulation for an amply framed DAG. Using this connection, we are able to prove that for full DAGs, i.e., those DAGs with inner vertices having in-degree and out-degree equal to two, the flow polytopes are Gorenstein and have unimodal Ehrhart $h^\ast$-polynomials.
Subcritical monotone cellular automata
Published
• View Publication
• BIB
We study monotone cellular automata (also known as $\mathcal{U}$-bootstrap percolation) in $\mathbb{Z}^d$ with random initial configurations. Confirming a conjecture of Balister, Bollobás, Przykucki and Smith, who proved the corresponding result in two dimensions, we show that the critical probability is non-zero for all subcritical models.
Kleinian sphere packings, reflection groups, and arithmeticity
Published
• View Publication
• BIB
In this paper we study crystallographic sphere packings and Kleinian sphere packings, introduced first by Kontorovich and Nakamura in 2017 and then studied further by Kapovich and Kontorovich in 2021. In particular, we solve the problem of existence of crystallographic sphere packings in certain higher dimensions posed by Kontorovich and Nakamura. In addition, we present a geometric doubling procedure allowing to obtain sphere packings from some Coxeter polyhedra without isolated roots, and study "properly integral" packings (that is, ones which are integral but not superintegral). Our techniques rely extensively on computations with Lorentzian quadratic forms, their orthogonal groups, and associated higher-dimensional hyperbolic polyhedra.
A note on the conflict-free chromatic index
Published
• View Publication
• BIB
Let $G$ be a graph with maximum degree $Δ$ and without isolated vertices. An edge colouring $c$ of $G$ is conflict-free if the closed neighbourhood of every edge includes a uniquely coloured element. The least number of colours admitting such $c$ is the conflict-free chromatic index of $G$, denoted by $χ'_{CF}(G)$. In "Conflict-free chromatic number versus conflict-free chromatic index" [J. Graph Theory, 2022; 99: 349--358] it was recently proved by means of the probabilistic method that $χ'_{CF}(G)\leq C_1\log_2Δ+C_2$, where $C_1>337$ and $C_2$ are constants, whereas there are families of graphs with $χ'_{CF}(G)\geq (1-o(1))\log_2Δ$. In this note we provide an explicit simple proof of the fact that $χ'_{CF}(G)\leq 3\log_2Δ+1$, which is a corollary of a stronger result: $χ'_{CF}(G)\leq 3\log_2χ(G)+1$. For this aim we prove a few auxiliary observations, implying in particular that $χ'_{CF}(G)\leq 4$ for bipartite graphs.
A Unified Spatially Coupled Code Design: Threshold, Cycles, and Locality
Spatially-Coupled (SC)-LDPC codes are known to have outstanding error-correction performance and low decoding latency. Whereas previous works on LDPC and SC-LDPC codes mostly take either an asymptotic or a finite-length design approach, in this paper we present a unified framework for jointly optimizing the codes' thresholds and cycle counts to address both regimes. The framework is based on efficient traversal and pruning of the code search space, building on the fact that the performance of a protograph-based SC-LDPC code depends on some characteristics of the code's partitioning matrix, which by itself is much smaller than the code's full parity-check matrix. We then propose an algorithm that traverses all nonequivalent partitioning matrices, and outputs a list of codes, each offering an attractive point on the trade-off between asymptotic and finite-length performance. We further extend the framework to designing SC-LDPC codes with sub-block locality, which is a recently introduced feature offering fast access to sub-blocks within the code block. Our simulations show that our framework results in SC-LDPC codes that outperform the state-of-the-art constructions, and that it offers the flexibility to choose low-SNR, high-SNR, or in-between SNR region as the primary design target.
Dyson's crank and unimodal compositions
Published
• View Publication
• BIB
The crank is a partition statistic requested by Dyson in 1944 in order to combinatorially prove a Ramanujan congruence of Euler's partition function $p(n)$. In this paper, we provide connections between Dyson's crank and unimodal compositions. Somewhat unrelated, we give a combinatorial proof of a new truncated Euler pentagonal number theorem due to Xia and Zhao.