Showing 20 papers (Total: 81680 papers, 47334 authors in database)
Sparse reconstruction in spin systems II: Ising and other factor of IID measures
Published
• View Publication
• BIB
For a sequence of Boolean functions $f_n : \{-1, 1\}^{V_n} \longrightarrow \{-1, 1\}$, with random input given by some probability measure $\mathbb{P}_n$, we say that there is sparse reconstruction for $f_n$ if there is a sequence of subsets $U_n \subseteq V_n$ of coordinates satisfying $|U_n| = o(|V_n|)$ such that knowing the spins in $U_n$ gives us a non-vanishing amount of information about the value of $f_n$.
In the first part of this work, we showed that if the $\mathbb{P}_n$s are product measures, then no sparse reconstruction is possible for any sequence of transitive functions. In this sequel, we consider spin systems that are relatives of IID measures in one way or another, with our main focus being on the Ising model on finite transitive graphs or exhaustions of lattices. We prove that no sparse reconstruction is possible for the entire high temperature regime on Euclidean boxes and the Curie-Weiss model, while sparse reconstruction for the majority function of the spins is possible in the critical and low temperature regimes. We give quantitative bounds for two-dimensional boxes and the Curie-Weiss model, sharp in the latter case.
The proofs employ several different methods, including factor of IID and FK random cluster representations, strong spatial mixing, a generalization of discrete Fourier analysis to Divide-and-Color models, and entropy inequalities.
The reflection complexity of sequences over finite alphabets
Published
• View Publication
• BIB
In combinatorics on words, the well-studied factor complexity function $ρ_{\infw{x}}$ of a sequence $\infw{x}$ over a finite
alphabet counts, for every nonnegative integer $n$, the number of distinct length-$n$ factors of $\infw{x}$. In this paper, we
introduce the \emph{reflection complexity} function $r_{\infw{x}}$ to enumerate the factors occurring in a sequence $\infw{x}$, up
to reversing the order of symbols in a word. We prove a number of results about the growth properties of $r_{\infw{x}}$
and its relationship with other complexity functions. We also prove a Morse--Hedlund-type result characterizing eventually periodic
sequences in terms of their reflection complexity, and we deduce a characterization of Sturmian sequences. We investigate
the reflection complexity of quasi-Sturmian, episturmian, $(s+1)$-dimensional billiard, complementation-symmetric Rote, and rich
sequences. Furthermore, we prove that if $\infw{x}$ is $k$-automatic, then $r_{\infw{x}}$ is computably $k$-regular, and we use the
software \texttt{Walnut} to evaluate the reflection complexity of some automatic sequences, such as the Thue--Morse sequence. We
note that there are still many unanswered questions about this reflection measure.
On the Expressibility of the Reconstructional Color Refinement
Published
• View Publication
• BIB
One of the most basic facts related to the famous Ulam reconstruction conjecture is that the connectedness of a graph can be determined by the deck of its vertex-deleted subgraphs, which are considered up to isomorphism. We strengthen this result by proving that connectedness can still be determined when the subgraphs in the deck are given up to equivalence under the color refinement isomorphism test. Consequently, this implies that connectedness is recognizable by Reconstruction Graph Neural Networks, a recently introduced GNN architecture inspired by the reconstruction conjecture (Cotta, Morris, Ribeiro 2021).
On the independence number of sparser random Cayley graphs
Published in J. Lond. Math. Soc. 110 (2024)
• View Publication
• BIB
The Cayley sum graph $Γ_A$ of a set $A \subseteq \mathbb{Z}_n$ is defined to have vertex set $\mathbb{Z}_n$ and an edge between two distinct vertices $x, y \in \mathbb{Z}_n$ if $x + y \in A$. Green and Morris proved that if the set $A$ is a $p$-random subset of $\mathbb{Z}_n$ with $p = 1/2$, then the independence number of $Γ_A$ is asymptotically equal to $α(G(n, 1/2))$ with high probability. Our main theorem is the first extension of their result to $p = o(1)$: we show that, with high probability, $$α(Γ_A) = (1 + o(1)) α(G(n, p))$$ as long as $p \ge (\log n)^{-1/80}$.
One of the tools in our proof is a geometric-flavoured theorem that generalises Freĭman's lemma, the classical lower bound on the size of high dimensional sumsets. We also give a short proof of this result up to a constant factor; this version yields a much simpler proof of our main theorem at the expense of a worse constant.
On the existence of magic squares of powers
Published
• View Publication
• BIB
For any $d \geq 2$, we prove that there exists an integer $n_0(d)$ such that there exists an $n \times n$ magic square of $d^\text{th}$ powers for all $n \geq n_0(d)$. In particular, we establish the existence of an $n \times n$ magic square of squares for all $n \geq 4$, which settles a conjecture of Várilly-Alvarado.
All previous approaches had been based on constructive methods and the existence of $n \times n$ magic squares of $d^\text{th}$ powers had only been known for sparse values of $n$. We prove our result by the Hardy-Littlewood circle method, which in this setting essentially reduces the problem to finding a sufficient number of disjoint linearly independent subsets of the columns of the coefficient matrix of the equations defining magic squares. We prove an optimal (up to a constant) lower bound for this quantity.
Descents in powers of permutations
Published
• View Publication
• BIB
We consider a few special cases of the more general question: How many permutations $π\in\mathcal{S}_n$ have the property that $π^2$ has $j$ descents for some $j$? In this paper, we first enumerate Grassmannian permutations $π$ by the number of descents in $π^2$. We then consider all permutations whose square has exactly one descent, fully enumerating when the descent is "small" and providing a lower bound in the general case. Finally, we enumerate permutations whose square or cube has the maximum number of descents, and finish the paper with a few future directions for study.
New Strongly Regular Graphs Found via Local Search for Partial Difference Sets
Published
• View Publication
• BIB
Strongly regular graphs (SRGs) are highly symmetric combinatorial objects, with connections to many areas of mathematics including finite fields, finite geometries, and number theory. One can construct an SRG via the Cayley Graph of a regular partial difference set (PDS). Local search is a common class of search algorithm that iteratively adjusts a state to (locally) minimize an error function. In this work, we use local search to find PDSs. We found PDSs with 62 different parameter values in 1254 nonisomorphic groups of orders at most 147. Many of these PDSs replicate known results. In two cases, (144,52,16,20) and (147,66,25,33), the PDSs found give the first known construction of SRGs with these parameters. In some other cases, the SRG was already known but a PDS in that group was unknown. This work also corroborates the existence of (64,18,2,6) PDSs in precisely 73 groups of order 64.
The irregularity strength of dense graphs -- on asymptotically optimal solutions of problems of Faudree, Jacobson, Kinch and Lehel
The irregularity strength of a graph $G$, $s(G)$, is the least $k$ such that there exists a $\{1,2,\ldots,k\}$-weighting of the edges of $G$ attributing distinct weighted degrees to all vertices, or equivalently the least $k$ enabling obtaining a multigraph with nonrecurring degrees by blowing each edge $e$ of $G$ to at most $k$ copies of $e$. In 1991 Faudree, Jacobson, Kinch and Lehel asked for the optimal lower bound for the minimum degree of a graph $G$ of order $n$ which implies that $s(G)\leq 3$. More generally, they also posed a similar question regarding the upper bound $s(G)\leq K$ for any given constant $K$. We provide asymptotically tight solutions of these problems by proving that such optimal lower bound is of order $\frac{1}{K-1}n$ for every fixed integer $K\geq 3$.
Combinatorial enumeration of lattice paths by flaws with respect to a linear boundary of rational slope
Published
• View Publication
• BIB
Let $a,b$ be fixed positive coprime integers. For a positive integer $g$, write $W_k(g)$ for the set of lattice paths from the startpoint $(0,0)$ to the endpoint $(ga,gb)$ with steps restricted to $\{(1,0), (0,1)\}$, having exactly $k$ flaws (lattice points lying above the linear boundary connecting the startpoint to the endpoint). We determine $|W_k(g)|$ for all $k$ and $g$. The enumeration of lattice paths with respect to a linear boundary while accounting for flaws has a long and rich history, dating back at least to the 1949 results of Chung and Feller. The only previously known values of $|W_k(g)|$ are the extremal cases $k = 0$ and $k = g(a+b)-1$, determined by Bizley in 1954. Our main combinatorial result is that a certain subset of $W_k(g)$ is in bijection with $W_{k+1}(g)$. One consequence is that the value $|W_k(g)|$ is constant over each successive set of $a+b$ values of $k$. This in turn allows us to derive a recursion for $|W_k(g)|$ whose base case is given by Bizley's result for $k=0$. We solve this recursion to obtain a closed form expression for $|W_k(g)|$ for all $k$ and $g$. Our methods are purely combinatorial.
The smith normal form of the walk matrix of the Dynkin graph $A_n$
Published in Linear Algebra and its Applications 698(2024), 26-39
• View Publication
• BIB
In this paper, we give the rank of the walk matrix of the Dynkin graph $A_n$, and prove that its Smith normal form is $$\diag(\underbrace{1,\ldots,1}_{\lceil\frac{n}{2}\rceil},0,\ldots,0).$$
Counting independent sets in structured graphs
Published
• View Publication
• BIB
Counting independent sets in graphs and hypergraphs under a variety of restrictions is a classical question with a long history. It is the subject of the celebrated container method which found numerous spectacular applications over the years. We consider the question of how many independent sets we can have in a graph under structural restrictions. We show that any $n$-vertex graph with independence number $α$ without $bK_a$ as an induced subgraph has at most $n^{O(1)} \cdot α^{O(α)}$ independent sets. This substantially improves the trivial upper bound of $n^α,$ whenever $α\le n^{o(1)}$ and gives a characterization of graphs forbidding of which allows for such an improvement. It is also in general tight up to a constant in the exponent since there exist triangle-free graphs with $α^{Ω(α)}$ independent sets. We also prove that if one in addition assumes the ground graph is chi-bounded one can improve the bound to $n^{O(1)} \cdot 2^{O(α)}$ which is tight up to a constant factor in the exponent.
Bottlenecking in graphs and a coarse Menger-type theorem
We expand upon the notion of bottlenecking introduced in our earlier work, characterizing a spectrum of graphs and showing that this naturally extends to a concept of coarse bottlenecking. We show how the notion of bottlenecking provides a different approach to coarsening measures of connectedness than the Coarse Menger Conjecture proposed independently by Georgakopoulos and Papasoglu as well as Albrechtsen, Huynh, Jacobs, Knappe, and Wollan - which was recently disproved by a counterexample. We formulate and prove a Coarse Menger-type theorem, and also propose a coarse Erdős-Menger-type Conjecture, in the spirit of the Erdős-Menger conjecture which was proven after decades by Aharoni and Berger.
Colouring isonemal fabrics with more than two colours and non-twilly redundancy
Perfect colouring of isonemal fabrics by thin and thick striping of warp and weft with more than two colours is examined where the cells with warps and wefts of the same colour do not appear along diagonal lines (not twilly redundancy). In species 33 to 39, all fabrics of specific orders (linear periods) can be perfectly coloured by thin striping with satin redundancy. In fewer species, all fabrics of specific orders can be perfectly coloured by thick striping in two different ways with doubled satin redundancy. The isonemal fabric 6-1-1 can be used as a redundancy configuration. All these colourings allow the coloured weaving of flat tori and -- a few of them -- cubes.
Walks, infinite series and spectral radius of graphs
For a graph G, the spectral radius \r{ho}(G) of G is the largest eigenvalue of its adjacency matrix. In this paper, we seek the relationship between \r{ho}(G) and the walks of the subgraphs of G. Especially, if G contains a complete multi-partite graph as a spanning subgraph, we give a formula for \r{ho}(G) by using an infinite series on walks of the subgraphs of G. These results are useful for the current popular spectral extremal problem.
Capacity bounds on integral flows and the Kostant partition function
Published
• View Publication
• BIB
The type $A$ Kostant partition function is an important combinatorial object with various applications: it counts integer flows on the complete directed graph, computes Hilbert series of spaces of diagonal harmonics, and can be used to compute weight and tensor product multiplicities of representations. In this paper we study asymptotics of the Kostant partition function, improving on various previously known lower bounds and settling conjectures of O'Neill and Yip. Our methods build upon recent results and techniques of Brändén-Leake-Pak, who used Lorentzian polynomials and Gurvits' capacity method to bound the number of lattice points of transportation and flow polytopes. Finally, we also give new two-sided bounds using the Lidskii formulas from subdivisions of flow polytopes.
Random Combinatorial Billiards and Stoned Exclusion Processes
Published
• View Publication
• BIB
We introduce and study several random combinatorial billiard trajectories. Such a system, which depends on a fixed parameter $p\in(0,1)$, models a beam of light that travels in a Euclidean space, occasionally randomly reflecting off of a hyperplane in the Coxeter arrangement of an affine Weyl group with some probability that depends on the side of the hyperplane that it hits. In one case, we (essentially) recover Lam's reduced random walk in the limit as $p$ tends to $0$. The investigation of our random billiard trajectories relies on an analysis of new finite Markov chains that we call stoned exclusion processes. These processes have remarkable stationary distributions determined by well-studied polynomials such as ASEP polynomials, inhomogeneous TASEP polynomials, and open boundary ASEP polynomials; in many cases, it was previously not known how to construct Markov chains with these stationary distributions. Using multiline queues, we analyze correlations in the stoned multispecies TASEP, allowing us to determine limit directions for reduced random billiard trajectories and limit shapes for new random growth processes for $n$-core partitions. Our perspective coming from combinatorial billiards naturally leads us to formulate a new variant of the ASEP on $\mathbb{Z}$ called the scan ASEP, which we deem interesting in its own right.
Maesaka-Seki-Watanabe's formula for multiple harmonic $q$-sums
Published
• View Publication
• BIB
Maesaka, Seki, and Watanabe recently discovered an equality called the MSW formula. This paper provides a $q$-analogue of the MSW formula. It discusses the new proof of the duality relation for finite multiple harmonic $q$-series at primitive roots of unity via $q$-analogue of the MSW formula. This paper also gives a $q$-analogue of Yamamoto's generalization of the MSW formula for Schur type.
Bound vertices of longest paths between two vertices in cubic graphs
Thomassen's chord conjecture from 1976 states that every longest cycle in a $3$-connected graph has a chord. This is one of the most important unsolved problems in graph theory. Let $H$ be a subgraph of a graph $G$. A vertex $v$ of $H$ is said to be $H$-bound if all the neighbors of $v$ in $G$ lie in $H$. Recently, Zhan has made the more general conjecture that in a $k$-connected graph, every longest path $P$ between two vertices contains at least $k-1$ internal $P$-bound vertices. In this paper, we prove that Zhan's conjecture holds for $2$-connected cubic graphs. This conclusion generalizes a result of Thomassen [{\em J. Combin. Theory Ser. B} \textbf{129} (2018) 148--157]. Furthermore, we prove that if the two vertices are adjacent, Zhan's conjecture holds for $3$-connected cubic graphs, from which we deduce that every longest cycle in a $3$-connected cubic graph has at least two chords. This strengthens a result of Thomassen [{\em J. Combin. Theory Ser. B} \textbf{71} (1997) 211--214].
Algorithmic methods of finite discrete structures. Isomorphism of Nonseparable Graphs
In this monography, it is proposed to consider the concepts of spectra of edge cuts and edge cycles of a graph as a basic mathematical structure for solving the problem of graph isomorphism. An edge cut is defined by an edge and the vertices incident to it. In contrast to the generation of iterated edge graphs, we consider an iterated chain of qualicuts of the original graph, generated by edge cuts and determined by a recurrence relation. An edge cycle is defined by the set of isometric cycles of a graph. The monography examines the issues of constructing the spectrum of edge cuts Ws and the spectrum of edge cycles Tc of a graph G. It is shown that the formation of spectra is based on the incidence matrix of the graph. The independence of the construction of the graph structure from the numbering of vertices and edges is shown. The necessity and sufficiency of the spectra of edge cuts and the spectrum of edge cycles for determining the isomorphism of graph structures is shown. The relation between the internal structures of the graph and Whitney's theorem is considered.
Unified study of the phase transition for block-weighted random planar maps
Published in Eurocomb'23, pages 790-798, 2023
• View Publication
• BIB
In [Fleurat, Salvy 2024], we introduced a model of block-weighted random maps that undergoes a phase transition as the density of separating elements changes. The purpose of this note is to demonstrate that the methodology we developed can be extended to many other families of maps. We prove that a phase transition exists and provide detailed information about the size of the largest blocks in each regime.