natural ↗ reference
4894 papers tagged with this keyword
Utilizing Symmetry in Finding New Permutiples from Known Examples
A permutiple is a natural number whose representation in some base, $b>1$, is an integer multiple of a number whose base-$b$ representation has the same collection of digits. Previous efforts have made progress in finding such numbers using graph-theoretical and finite-state-machine constructions. These are the mother graph and the Hoey-Sloane machine. In this paper, we leverage the inherent symmetry of the above constructions for the purpose of finding new permutiples from old. Such results also help us to see previous work through a new lens.
On the action of the cactus group on the set of Gelfand-Tsetlin patterns for orthogonal Lie algebras
The purpose of this work is to define a natural action of the cactus group on the set of Gelfand-Tsetlin patterns for orthogonal Lie algebras. These Gelfand-Tsetlin patterns are meant to index the Gelfand-Tsetlin basis in the irreducible representations of the orthogonal Lie algebra $\mathfrak{o}_N$ with respect to the chain of nested orthogonal Lie algebras $\mathfrak{o}_N \supset \mathfrak{o}_{N-1} \supset \ldots \supset \mathfrak{o}_3$. Using the Howe duality between $O_N$ and $\mathfrak{o}_{2n}$, we realize some representations of $\mathfrak{o}_N$ as multiplicity spaces inside the tensor power of the spinor representation $(Λ\mathbb{C}^{n})^{\otimes N}$. There is a natural choice of the basis inside the multiplicity space, which agrees with the decomposition of $(Λ\mathbb{C}^{n})^{\otimes N}$ into simple $\mathfrak{o}_{2n}$-modules. We call such basis principal. The action of the cactus group $C_N$ by the crystal commutors on the crystal arising from $(Λ\mathbb{C}^{n})^{\otimes N}$ induces the action of $C_N$ on the set indexing the principal basis inside the multiplicity space. We call this set regular cell tables. Regular cell tables are the analog of semi-standard Young tables. There is a natural bijection between a specific subset of semi-standard Young tables and regular cell tables. In this paper, we establish a natural bijection between the principal basis and the Gelfand-Tsetlin basis and, therefore, define an action of the cactus group on the set Gelfand-Tsetlin patterns.
Goldbach Conjecture: Violation Probability and Generalization to Prime-like Distributions
Due to the distribution of primes among integers, we establish an upper bound for the probability $\mathbb{P}_n$ that the Goldbach conjecture fails. Assuming the conjecture holds true for all even number less than $2N$, we prove this probability is less than $e^{-N^α}$, where $ α= 1 - \frac{2\ln\ln N}{\ln N}$.
For large $N$, this probability becomes vanishingly small, effectively precluding the existence of counterexamples in practice. If $N =4 \times 10^{18}$, the probability of a counterexample is less than $e^{-10^{15}}$. Our approach fundamentally depends on the distributional properties of primes rather than their primality per se. This perspective enables a natural generalization of the conjecture to non-prime subsets of integers that exhibit similar distributional characteristics. As a concrete example, we construct new subsets by applying random $\pm 1$ shifts to primes, which preserve the essential prime-like distributional properties. Computational verification confirms that this generalized Goldbach conjecture holds for all even integers up to $2 \times 10^{8}$ within these modified subsets.
Cops and Robbers for Graphs on Surfaces with Crossings
Published
• View Publication
• BIB
Cops and Robbers is a game played on a graph where a set of cops attempt to capture a single robber. The game proceeds in rounds, where each round first consists of the cops' turn, followed by the robber's turn. In the cops' turn, every cop can choose to either stay on the same vertex or move to an adjacent vertex, and likewise the robber in his turn. The robber is considered to be captured if, at any point in time, there is some cop on the same vertex as the robber. A natural question in this game concerns the cop-number of a graph -- the minimum number of cops needed to capture the robber. It has long been known that graphs embeddable (without crossings) on surfaces of bounded genus have bounded cop-number. In contrast, the class of 1-planar graphs -- graphs that can be drawn on the plane with at most one crossing per edge -- does not have bounded cop-number. This paper initiates an investigation into how distance between crossing pairs of edges influences a graph's cop number. In particular, we look at Distance $d$ Cops and Robbers, a variant of the classical game, where the robber is considered to be captured if there is a cop within distance $d$ of the robber. Let $c_d(G)$ denote the minimum number of cops required in the graph $G$ to capture a robber within distance $d$. We look at various classes of graphs, such as 1-plane graphs, $k$-plane graphs (graphs where each edge is crossed at most $k$ times), and even general graph drawings, and show that if every crossing pair of edges can be connected by a path of small length, then $c_d(G)$ is bounded, for small values of $d$.
Ordered Yao graphs: maximum degree, edge numbers, and clique numbers
For a positive integer $k$ and an ordered set of $n$ points in the plane, define its k-sector ordered Yao graphs as follows. Divide the plane around each point into $k$ equal sectors and draw an edge from each point to its closest predecessor in each of the $k$ sectors. We analyze several natural parameters of these graphs. Our main results are as follows:
I) Let $d_k(n)$ be the maximum integer so that for every $n$-element point set in the plane, there exists an order such that the corresponding $k$-sector ordered Yao graph has maximum degree at least $d_k(n)$. We show that $d_k(n)=n-1$ if $k=4$ or $k \ge 6$, and provide some estimates for the remaining values of $k$. Namely, we show that $d_1(n) = Θ( \log_2n )$; $\frac{1}{2}(n-1) \le d_3(n) \le 5\left\lceil\frac{n}{6}\right\rceil-1$; $\frac{2}{3}(n-1) \le d_5(n) \le n-1$;
II) Let $e_k(n)$ be the minimum integer so that for every $n$-element point set in the plane, there exists an order such that the corresponding $k$-sector ordered Yao graph has at most $e_k(n)$ edges. Then $e_k(n)=\left\lceil\frac{k}{2}\right\rceil\cdot n-o(n)$.
III) Let $w_k$ be the minimum integer so that for every point set in the plane, there exists an order such that the corresponding $k$-sector ordered Yao graph has clique number at most $w_k$. Then $\lceil\frac{k}{2}\rceil \le w_k\le \lceil\frac{k}{2}\rceil+1$.
All the orders mentioned above can be constructed effectively.
Limiting spectral laws for sparse random circulant matrices
Fix a positive integer $d$ and let $(G_n)_{n\geq1}$ be a sequence of finite abelian groups with orders tending to infinity. For each $n \geq 1$, let $C_n$ be a uniformly random $G_n$-circulant matrix with entries in $\{0,1\}$ and exactly $d$ ones in each row/column. We show that the empirical spectral distribution of $C_n$ converges weakly in expectation to a probability measure $μ$ on $\mathbb{C}$ if and only if the distribution of the order of a uniform random element of $G_n$ converges weakly to a probability measure $ρ$ on $\mathbb{N}^*$, the one-point compactification of the natural numbers. Furthermore, we show that convergence in expectation can be strengthened to convergence in probability if and only if $ρ$ is a Dirac mass $δ_m$. In this case, $μ$ is the $d$-fold convolution of the uniform distribution on the $m$-th roots of unity if $m\in\mathbb{N}$ or the unit circle if $m = \infty$. We also establish that, under further natural assumptions, the determinant of $C_n$ is $\pm\exp((c_{m,d}+o(1))|G_n|)$ with high probability, where $c_{m,d}$ is a constant depending only on $m$ and $d$.
A lattice point counting approach for the study of the number of self-avoiding walks on $\mathbb{Z}^{d}$
We reduce the problem of counting self-avoiding walks in the square lattice to a problem of counting the number of integral points in multidimensional domains. We obtain an asymptotic estimate of the number of self-avoiding walks of length $n$ in the square lattice. This new formalism gives a natural and unified setting in order to study the properties of the number of self-avoiding walks in the lattice $\mathbb{Z}^{d}$ of any dimension $d\geq 2$.
Levenshtein's Sequence Reconstruction Problem and Results for Larger Alphabet Sizes
Published
• View Publication
• BIB
The problem of storing large amounts of information safely for a long period of time has become essential. One of the most promising new data storage mediums are the polymer-based data storage systems, like the DNA-storage system. These storage systems are highly durable and they consume very little energy to store the data. When information is retrieved from a storage, however, several different types of errors may occur in the process. It is known that the Levenshtein's sequence reconstruction framework is well-suited to overcome such errors and to retrieve the original information. Many of the previous results regarding Levenshtein's sequence reconstruction method are so far given only for the binary alphabet. However, larger alphabets are natural for the polymer-based data storage. For example, the quaternary alphabet is suitable for DNA-storage due to the four amino-acids in DNA. The results for larger alphabets often require, as we will see in this work, different and more complicated techniques compared to the binary case. Moreover, we show that an increase in the alphabet size makes some error types behave rather surprisingly.
Generalized Natural Density $\DF(\mathfrak{F}_n)$ of Fibonacci Word
This paper explores profound generalizations of the Fibonacci sequence, delving into random Fibonacci sequences, $k$-Fibonacci words, and their combinatorial properties. We established that the $n$-th root of the absolute value of terms in a random Fibonacci sequence converges to $1.13198824\ldots$, a symmetry identity for sums involving Fibonacci words, $\sum_{n=1}^{b} \frac{(-1)^n F_a}{F_n F_{n+a}} = \sum_{n=1}^{a} \frac{(-1)^n F_b}{F_n F_{n+b}}$, and an infinite series identity linking Fibonacci terms to the golden ratio. These findings underscore the intricate interplay between number theory and combinatorics, illuminating the rich structure of Fibonacci-related sequences. We provide, according to this paper, new concepts of density of Fibonacci word.
Sublevels in arrangements and the spherical arc crossing number of complete graphs
Levels and sublevels in arrangements -- and, dually, $k$-sets and $(\leq k)$-sets -- are fundamental notions in discrete and computational geometry and natural generalizations of convex polytopes, which correspond to the $0$-level. A long-standing conjecture of Eckhoff, Linhart, and Welzl, which would generalize McMullen's Upper Bound Theorem for polytopes and provide an exact refinement of asymptotic bounds by Clarkson, asserts that for all $k\leq \lfloor \frac{n-d-2}{2}\rfloor$, the number of $(\leq k)$-sets of a set $S$ of $n$ points in $\mathbf{R}^d$ is maximized if $S$ is the vertex set of a neighborly polytope.
As a new tool for studying this conjecture and related problems, we introduce the $g$-matrix, which generalizes both the $g$-vector of a simple polytope and a Gale dual version of the $g$-vector studied by Lee and Welzl. Our main result is that the $g$-matrix of every vector configuration in $\mathbf{R}^3$ is non-negative, which implies the Eckhoff--Linhart--Welzl conjecture in the case where $d=n-4$.
As a corollary, we obtain the following result about crossing numbers: Consider a configuration $V\subset S^2 \subset \mathbf{R}^3$ of $n$ unit vectors, and connect every pair of vectors by the unique shortest geodesic arc between them in the unit sphere $S^2$. This yields a drawing of the complete graph $K_n$ in $S^2$, which we call a spherical arc drawing. Complementing previous results for rectilinear drawings, we show that the number of crossings in any spherical arc drawing of $K_n$ is at least $\frac{1}{4}\lfloor \frac{n}{2}\rfloor \lfloor \frac{n-1}{2}\rfloor \lfloor \frac{n-2}{2}\rfloor \lfloor \frac{n-3}{2}\rfloor$, which equals the conjectured value of the crossing number of $K_n$. Moreover, the lower bound is attained if $V$ is coneighborly, i.e., if every open linear halfspace contains at least $\lfloor (n-2)/2 \rfloor$ of the vectors in $V$.
Shuffling via Transpositions
We consider a family of card shuffles of $n$ cards, where the allowed moves involve transpositions corresponding to the Jucys--Murphy elements of $\{S_m\}_{m \leq n}$. We diagonalize the transition matrix of these shuffles. As a special case, we consider the $k$-star transpositions shuffle, a natural interpolation between random transpositions and star transpositions. We proved that the $k$-star transpositions shuffle exhibits total variation cutoff at time $\frac{2n-(k+1)}{2(n-1)}n\log n$ with a window of $\frac{2n-(k+1)}{2(n-1)}n$. Furthermore, we prove that for the case where $k/n \rightarrow 0$ or $1$, this shuffle has the same limit profile as random transpositions, which has been fully determined by Teyssier.
Hanf numbers for poset games
Given two well partial orders $(P;\leq_P)$ and $(T;\leq_T)$, each with a minimum element, we study the following question: which player has a winning strategy for Chomp on the poset $(P\times T;\leq_{P\times T})$? Here, $(P\times T;\leq_{P\times T})$ denotes the poset obtained as the Cartesian product of $P$ and $T$, equipped with the corresponding lexicographic order. The answer to this very natural question depends strongly on the specific choice of $(P;\leq_P)$ and $(T;\leq_T)$. For this reason, we restrict our attention to classes of posets given by powers of a fixed poset: $\{(P^σ;\leq_{P^σ})\mid σ\in\mathrm{Ord}\}$. A fundamental fact about these classes of structures is that, if the second player does not have a winning strategy for all the posets in $\{(P^σ;\leq_{P^σ})\mid σ\in\mathrm{Ord}\}$, there exists an ordinal $ξ$ such that the second player has a winning strategy on $(P^ξ;\leq_{P^ξ})$ but not on $(P^γ;\leq_{P^γ})$ for all $γ\geqξ+1$. Determining the corresponding ordinal for this Hanf number-style property constitutes the main objective of this work.
Inspired by results of García-Marco and Knauer, we focus on classes of posets with a purely algebraic definition. These posets arise from submonoids (with respect to the natural sum, or Hessenberg sum) of ordinals of the form $ω^σ$ and are generated by sets of ordinals. In the process, we provide a test to determine whether a finite set $Γ$ of ordinals indeed yields well partial orders, and, using set-theoretic techniques, we establish an upper bound for the ordinal $ξ$: if $Γ\subsetω$, then $ξ<ω_1$, and otherwise $ξ<|\bigcupΓ|^+$.
The Density Finite Sums Theorem
Published
• View Publication
• BIB
For any set $A$ of natural numbers with positive upper Banach density and any $k\geq 1$, we show the existence of an infinite set $B\subset{\mathbb N}$ and a shift $t\geq0$ such that $A-t$ contains all sums of $m$ distinct elements from $B$ for all $m\in\{1,\ldots,k\}$. This can be viewed as a density analog of Hindman's finite sums theorem. Our proof reveals the natural relationships among infinite sumsets, the dynamics underpinning arithmetic progressions, and homogeneous spaces of nilpotent Lie groups.
Wild generalised truncation of infinite matroids
For ${n \in \mathbb{N}}$, the $n$-truncation of a matroid $M$ of rank at least $n$ is the matroid whose bases are the $n$-element independent sets of $M$. One can extend this definition to negative integers by letting the $(-n)$-truncation be the matroid whose bases are all the sets that can be obtained by deleting $n$ elements of a base of $M$. If $M$ has infinite rank, then for distinct ${m,n \in \mathbb{Z}}$ the $m$-truncation and the $n$-truncation are distinct matroids.
Inspired by the work of Bowler and Geschke on infinite uniform matroids, we provide a natural definition of generalised truncations that encompasses the notions mentioned above. We call a generalised truncation wild if it is not an $n$-truncation for any ${n \in \mathbb{Z}}$ and we prove that, under Martin's Axiom, any finitary matroid of infinite rank and size of less than continuum admits ${2^{2^{\aleph_0}}}$ wild generalised truncations.
Relationships between minimum rank problem parameters for cobipartite graphs
Published
• View Publication
• BIB
For a simple graph, the minimum rank problem is to determine the smallest rank among the symmetric matrices whose off-diagonal nonzero entries occur in positions corresponding to the edges of the graph. Bounds on this minimum rank (and on an equivalent value, the maximum nullity) are given by various graph parameters, most notably the zero forcing number and its variants. For a matrix, replacing each nonzero entry with the symbol \(\ast\) gives its zero-nonzero pattern. The associated minimum rank problem is to determine, given only this pattern, the smallest possible rank of the matrix. The most fundamental lower bound on this minimum rank is the triangle number of the pattern. A cobipartite graph is the complement of a bipartite graph; its vertices can be partitioned into two cliques. Such a graph corresponds to a zero-nonzero pattern in a natural way. Over an infinite field, the minimum rank of the graph and that of the pattern obey a simple relationship. We show that this same relationship is followed by the zero forcing number of the graph and the triangle number of the pattern. This has implications for the relationship between the two minimum rank problems. We also explore how, for cobipartite graphs, variants of the zero forcing number and other parameters important to the minimum rank problem are related, as well as how, for graphs in general, these parameters can be interpreted in terms of the zero-nonzero patterns of the symmetric matrices associated with the graph.
A Dense Neighborhood Lemma: Applications of Partial Concept Classes to Domination and Chromatic Number
Published
• View Publication
• BIB
In its Euclidean form, the Dense Neighborhood Lemma (DNL) asserts that if $V$ is a finite set of points of $\mathbb{R}^N$ such that for each $v \in V$ the ball $B(v,1)$ intersects $V$ on at least $δ|V|$ points, then for every $\varepsilon >0$, the points of $V$ can be covered with $f(δ,\varepsilon)$ balls $B(v,1+\varepsilon)$ with $v \in V$. DNL also applies to other metric spaces and to abstract set systems, where elements are compared pairwise with respect to (near) disjointness. In its strongest form, DNL provides an $\varepsilon$-clustering with size exponential in $\varepsilon^{-1}$, which amounts to a Regularity Lemma with 0/1 densities of some trigraph.
Trigraphs are graphs with additional red edges. They are natural instances of partial concept classes, introduced by Alon, Hanneke, Holzman and Moran [FOCS 2021]. This paper is mainly a combinatorial study of the generalization of Vapnik-Cervonenkis dimension to partial concept classes. The main point is to show how trigraphs can sometimes explain the success of random sampling even though the VC-dimension of the underlying graph is unbounded. All the results presented here are effective in the sense of computation: they primarily rely on uniform sampling with the same success rate as in classical VC-dimension theory.
Among some applications of DNL, we show that $\left(\frac{3t-8}{3t-5}+\varepsilon\right)\cdot n$-regular $K_t$-free graphs have bounded chromatic number. Similarly, triangle-free graphs with minimum degree $n/3-n^{1-\varepsilon}$ have bounded chromatic number (this does not hold with $n/3-n^{1-o(1)}$). For tournaments, DNL implies that the domination number is bounded in terms of the fractional chromatic number. Also, $(1/2-\varepsilon)$-majority digraphs have bounded domination, independently of the number of voters.
Log-concavity of characters of parabolic Verma modules, and of restricted Kostant partition functions
In 2022, Huh-Matherne-Mészáros-St. Dizier showed that normalized Schur polynomials are Lorentzian, thereby yielding their continuous (resp. discrete) log-concavity on the positive orthant (resp. on their support, in type $A$ root directions). A reinterpretation of this result is that the characters of finite-dimensional simple representations of $\mathfrak{sl}_{n+1}(\mathbb{C})$ are denormalized Lorentzian (DL). In the same paper, these authors also showed that shifted characters of Verma modules over $\mathfrak{sl}_{n+1}(\mathbb{C})$ are DL.
In this work we extend these results to a larger family of modules that subsumes both of the above: we show that shifted characters of all parabolic Verma modules over $\mathfrak{sl}_{n+1}(\mathbb{C})$ are denormalized Lorentzian. The proof involves certain graphs on $[n+1]$; more strongly, we explain why the character (i.e., generating function) of the Kostant partition function of any loopless multigraph on $[n+1]$ is Lorentzian after shifting and normalizing.
We then show that parabolic Vermas form a "maximal" class with log-concave (hence DL) characters. Namely, log-concavity fails in greater generality along three natural directions: (1) it does not hold for every simple Lie type, (2) nor for a larger universal family of highest weight modules, the higher order Verma modules, even in type $A$, and (3) it does not always hold for important generalizations of Schur polynomials: the Jack and Macdonald polynomials.
Finally, we extend these results to parabolic (i.e. "first order") and higher order Verma modules over the semisimple Lie algebras $\oplus_{t=1}^T \mathfrak{sl}_{n_t+1}(\mathbb{C})$. We also partially resolve a conjecture of Huh et al on the DL property for integral highest weight simple modules.
A symmetric multivariate Elekes-Rónyai theorem
We consider a polynomial $P\in \mathbb{R}[x_{1},\cdots, x_{d}]$ of degree $ δ$ that depends non-trivially on each of $x_1,...,x_d$ with $d\geq 2$. For any integer $t$ with $2\leq t\leq d$, any natural number $n \in \mathbb{N}$, and any finite set $A \subset \mathbb{R}$ of size $n$, our first result shows that \[ |P(A, A, \dots, A)| \gg_δ n^{\frac{3}{2} - \frac{1}{2^{d-t+2}}}, \] unless \begin{align*}
&P(x_1, x_2, \dots, x_d) = f\big( u_1(x_1) + u_2(x_2) + \cdots + u_d(x_d) \big) \quad \text{or }
&P(x_1, x_2, \dots, x_d) = f\big( v_1(x_1) v_2(x_2) \cdots v_d(x_d) \big), \end{align*} where $f$, $u_i$, and $v_i$ are nonconstant univariate polynomials over $\mathbb{R}$, and there exists an index subset $I \subseteq [d]$ with $|I| = t$ such that for any $i, j \in I$, we have $u_i = λ_{ij} u_j$ (in the additive case) or $|v_i|= |v_j|^{κ_{ij}}$ (in the multiplicative case) for some constants $λ_{ij}\in \mathbb{R}^{\neq 0},κ_{ij}\in\mathbb{Q}^{+}$. This result generalizes the symmetric Elekes-Rónyai theorem proved by Jing, Roy, and Tran. Our second result is a generalized Erdős-Szemerédi theorem for two polynomials in higher dimensions, generalizing another theorem by Jing, Roy, and Tran. A key ingredient in our proofs is a variation of a theorem by Elekes, Nathanson, and Ruzsa.
A Graph Minors Approach to Temporal Sequences
Published
• View Publication
• BIB
We develop a structural approach to simultaneous embeddability in temporal sequences of graphs, inspired by graph minor theory. Our main result is a classification theorem for 2-connected temporal sequences: we identify five obstruction classes and show that every 2-connected temporal sequence is either simultaneously embeddable or admits a sequence of improvements leading to an obstruction. This structural insight leads to a polynomial-time algorithm for deciding the simultaneous embeddability of 2-connected temporal sequences.
The restriction to 2-connected sequences is necessary, as the problem is NP-hard for connected graphs, while trivial for 3-connected graphs. As a consequence, our framework also resolves the rooted-tree SEFE problem, a natural extension of the well-studied sunflower SEFE. More broadly, our results demonstrate the applicability of graph minor techniques to evolving graph structures and provide a foundation for future algorithmic and structural investigations in temporal graph theory.
Causal Models for Growing Networks
Real-world networks grow over time; statistical models based on node exchangeability are not appropriate. Instead of constraining the structure of the \textit{distribution} of edges, we propose that the relevant symmetries refer to the \textit{causal structure} between them. We first enumerate the 96 causal directed acyclic graph (DAG) models over pairs of nodes (dyad variables) in a growing network with finite ancestral sets that are invariant to node deletion. We then partition them into 21 classes with ancestral sets that are closed under node marginalization. Several of these classes are remarkably amenable to distributed and asynchronous evaluation. As an example, we highlight a simple model that exhibits flexible power-law degree distributions and emergent phase transitions in sparsity, which we characterize analytically. With few parameters and much conditional independence, our proposed framework provides natural baseline models for causal inference in relational data.