representation ↗ reference
4143 papers tagged with this keyword
Metropolis-Hastings Sampling of Phylogenetic Networks: Correcting for Symmetries
In phylogenetics, Metropolis-Hastings methods are commonly used to sample phylogenetic trees or networks, for example from Bayesian posteriors. These methods generally use transitions that distinguish all nodes involved, and thus require fully labelled representations of phylogenetic networks. We argue that sampling leaf-labelled phylogenetic networks demands a correction for the number of fully labelled representatives of a leaf-labelled network, or, equivalently, for its internal symmetry. Without correction, there is a danger of undersampling networks with internal symmetries. We show that this correction can be realized by a quotient construction on the Metropolis-Hastings Markov chain, which, in practice, requires the calculation of the size of the network's automorphism group. Using $μ$-vectors, we show that the automorphism group is trivial for orchard networks, and thus also for tree-child networks and trees. This implies that a correction for symmetry is not needed when sampling only from such network classes. More generally, using our Python implementation of the algorithms in this paper, we show that using $μ$-vectors can significantly speed up calculations of automorphism group sizes and thus of Metropolis-Hastings sampling of leaf-labelled networks.
An AI Generated Counterexample to Borsuk Problem in Dimension 63
We construct a 321 point set in R^63 that cannot be partitioned into 64 subsets of smaller diameter, proving b(63)>=65. Starting from the G_2(4) Euclidean representation and the Jenrich Brouwer 320 point core in dimension 63, we add one projected and rescaled point while preserving the relevant clique obstruction. The example and proof were generated entirely by ChatGPT using GPT 5.6 Sol. The author has personally verified the result and assumes responsibility for that verification, but claims no credit for the originality of the construction.
Average hitting times and recurrence structures II: Cartesian products of powers of cycles and regular graphs
In our previous work \cite{MiezakiTamura2026}, we clarified the second-order linear recurrence structures appearing in the average hitting times on the $k$-th power graph $C_N^k$ of the cycle graph. In this paper, for a connected $r$-regular graph $G$ on $m$ vertices, we investigate the average hitting times of the simple random walk on the Cartesian product graph $C_N^k \square G$. By using discrete Fourier analysis in the $C_N^k$ direction and the Laplacian spectral decomposition of $G$, we decompose the average hitting time into a component proportional to the average hitting time on $C_N^k$ and correction terms arising from the nonzero Laplacian eigenspaces of $G$. For each nonzero Laplacian eigenvalue, we introduce a Chebyshev-type polynomial, and when all of its roots are simple, we express the correction term as a finite Green-type sum. Furthermore, for two vertices having the same $G$-coordinate, we transform this expression into a second-order linear recurrence representation of the form $V_\ell V_{N-\ell}/V_N$.
When $G$ is a walk-regular graph, the average hitting time between two vertices having the same $G$-coordinate depends only on the Laplacian eigenvalues of $G$ and their multiplicities. We also derive formulas for the number of spanning trees and the number of two-component spanning forests of $C_N^k \square G$, and give several explicit examples.
Quasirandomness and Uniform Twin-Width
For every nontrivial finite group, we prove that its quasirandom degree gives a polynomial lower bound on its uniform twin-width, whereas its minimum faithful complex representation degree gives a linear upper bound. For nonabelian finite simple groups, these two parameters coincide, so uniform twin-width is polynomially equivalent to quasirandomness in that class, yielding a new definition of quasirandomness in the sense of Gowers. We use the lower bound to prove that uniform twin-width is unbounded over finite groups, which helps us construct finitely presented groups with finite twin-width but infinite uniform twin-width. This answers a question of Bonnet, Geniet, Tessera and Thomasse. Finally, we determine the uniform twin-width of all three Thompson groups.
Product representations of polynomials over finite fields
Published in Acta Arith., 2026+
• View Publication
• BIB
Erdős, Sárközy, and Sós studied the asymptotics of the maximum size of a subset of $\{1,2,\ldots, N\}$ such that it does not contain $k$ distinct elements whose product is a perfect square. More generally, Verstraëte proposed a conjecture regarding the asymptotic behavior of the same quantity with the set of perfect squares replaced by the value set of a polynomial in $\mathbb{Z}[x]$. In this paper, we study a finite field analogue of Verstraëte's conjecture.
A combinatorial rule for $GL$-multiplicities of $A_n$-quiver loci
We give the first positive combinatorial rule for the multiplicities of irreducible $GL$-representations in the coordinate rings of type $A$ quiver orbit closures, valid for every orientation of the quiver. Previously, for the special case of varieties of complexes, work of De Concini--Strickland in the early 1980s gave an implicit description of these multiplicities. The combinatorial objects in our rule carry a crystal structure whose highest-weight elements compute these multiplicities.
A Second-Logarithm Lower Bound for Sets with No Unique Sums
For an odd prime $p$, let $m(p)$ be the minimum cardinality of a set $A\subseteq \mathbb Z/p\mathbb Z$, with $|A|\geq2$, such that no sum in $A+A$ has a unique representation as an unordered pair from $A$, with repetition allowed. Bedert proved \[
m(p)\gg
\log p\,
\frac{\sqrt{\log^{(3)}p}}{\log^{(4)}p}. \] We prove the stronger lower bound \[
m(p)\gg \log p\,\log\log p. \] More generally, if $G$ is a finite Abelian group and $q(G)$ is the least prime divisor of $|G|$, then the same explicit estimate holds whenever $q(G)>2$, and in particular every subset $A\subseteq G$ with $|A|\geq2$ and no unique sum has cardinality $\gg \log q(G)\,\log\log q(G)$ as $q(G)\to\infty$.
The proof has two structural inputs. First, a maximum subset of $A$ whose distinct-element subset sums of size at most four are all different has cardinality $\gg\log p$. This follows from a short-coordinate lemma and a collision-lattice determinant argument. Second, we refine Bedert's density increment. Alternative representations are oriented toward an uncovered endpoint, coalesced by their translation, and separated into wide, exposed, and recurrent batches. A load-sensitive entropy lemma codes the recurrent translations using their actual final fibre multiplicities. The resulting global shift-set complexity is $\exp(O(K))$, where $K$ is the ratio of $|A|$ to the level-four additive dimension. This forces $K\gg\log\log p$, and the theorem follows. All headline statements and the structural implications used to derive them have also been checked in Lean~4 with explicit integer constants. As a secondary and logically independent result, we construct weakly ternary-balanced sets and obtain \[
m(p)\leq
\frac{(\log p)^2}{2(\log 3)^2}
+\left(\frac{2}{\log 3}+o(1)\right)
\frac{(\log p)^2}{\log\log p}. \]
Coatom Enumeration in Hypergraph Horn Functions: Rank-Three Representations of Horn Model Posets
For a finite hypergraph H, the complements of the models of its associated definite Horn CNF are exactly the stopping sets of H; hence the complements of its coatoms are the inclusion-minimal nonempty stopping sets. We study their output-sensitive enumeration from the hypergraph incidence representation. Our main result is a representation of arbitrary Horn model posets whose incidence size is linear in the incidence length of the normalized Horn input. Given a Horn CNF $Γ$, we construct a hypergraph $C(Γ)$ of rank at most three whose proper-model poset is inclusion-order isomorphic to the model poset of $Γ$; equivalently, each source model has a unique extension to a proper target model. Thus maximal models of $Γ$ correspond bijectively to target coatoms. Combining this representation with the maximal-model construction of Kavvadias, Sideri, and Stavropoulos shows that coatom enumeration is not in OutputP unless P=NP, even when all hyperedges have size two or three. Incidence splitting reduces maximum element frequency to three while preserving the stopping-set poset, and a local replacement of two-element hyperedges yields the same lower bound for three-uniform hypergraphs of maximum element frequency at most three. These thresholds are conditionally sharp for arbitrary-order enumeration: rank at most two and maximum element frequency at most two both admit output-linear total-time generation; in the frequency-two case, a polynomial-delay, polynomial-space algorithm is also available. In contrast, coatom extension is NP-complete already for three-uniform hypergraphs of exact element frequency two.
$Δ$-separated Sidon sets in additive number theory
The nonempty set $A$ of integers is $Δ$-separated if $|a-a'| \geq Δ$ for all $a,a' \in A$ with $a \neq a'$. The set $A$ is a $B_h$-set if every element of the sumset $hA$ has a unique representation as a sum of $h$ elements of $A$. A $B_2$-set is also called a Sidon set. Upper and lower bounds are obtained for the cardinality of the largest $Δ$-separated Sidon sets contained in the integer interval $\{1,2,\ldots, n\}$.
Maximum Edge Open Packing in Permutation, Interval, and Well-Partitioned Chordal Graphs
Edge open packing is a relaxation of induced matching in which the selected edges may induce disjoint stars. We study the \textsc{Maximum Edge Open Packing} problem on permutation graphs, interval graphs, and well-partitioned chordal graphs. For the first two classes, we introduce an oriented star-conflict graph whose vertices are ordered edges. We prove that its compatibility graph admits a natural transitive orientation: a product-order orientation for permutation graphs and a left-to-right orientation for interval graphs. In each case, a maximum edge open packing is obtained from a maximum clique, equivalently a longest directed path, in the compatibility graph. Given the corresponding representation, both algorithms run in \(O(n^2+m^2)\leq O(n^4)\) time, where \(n=|V(G)|\) and \(m=|E(G)|\). For well-partitioned chordal graphs, we give a dynamic program over a partition tree. Its states use the fact that the endpoint set of an edge open packing meets each clique bag in at most two vertices. Given a partition-tree representation, the edge open packing number is computed in \(O(n^4)\) time, and an optimal packing can be reconstructed within the same time bound.
Isogeny graphs of elliptic curves in characteristic zero
For an elliptic curve $E$ defined over a field $K$ of characteristic $0$ with $\operatorname{End}_K \! E \cong \mathbb{Z}$, we classify which isogeny graphs $\mathcal{G}(E/K)$ can occur. We first show that $\mathcal{G}(E/K)$ decomposes as a weak Cartesian product of its $p$-primary isogeny graphs, one for each prime $p$, thereby reducing the problem to classifying $p$-primary isogeny graphs. We then show that each such graph is isomorphic, as an edge-weighted graph, to a member of an explicit family of edge-weighted graphs $\mathcal{H}_{p^k}^r$ and $\mathcal{H}_{p^{\infty,+}}^r$, every member of which occurs as a $p$-primary isogeny graph except for $\mathcal{H}_{2^k}^0$ for $k\ge 2$. The proof relies on a detailed study of the $p$-adic Galois representation attached to $E$, through which we identify each graph with a subgroup of $\operatorname*{GL}\nolimits_{2}(\mathbb{Z}_{p})$.
More generally, we identify subgroups of $\operatorname*{GL}\nolimits_{2}(\widehat{\mathbb{Z}})$ for each possible isogeny graph and describe their corresponding modular curves, completing, in the genus $0$ case, the explicit parameterization of isogeny graphs via parameterized isogenous families of elliptic curves. We also introduce the $p$-blooming invariant $\mathfrak{I}_p(E/K)$, an isogeny class invariant determining the value of $r$ in the $p$-primary isogeny graph, and show that elliptic curves over fields with a real embedding attain the smallest possible value. As applications, we characterize the isogeny graphs of elliptic curves with potential complex multiplication; give an algorithm for determining the isogeny graph from the adelic Galois representation; recover the classification of rational isogeny graphs; and, under GRH, classify the isogeny graphs occurring over certain number fields.
Intertwining Operators for Siegel Parabolics over Finite Fields
We consider degenerate principal series representations $\operatorname{Ind}_P^Gχ$ over finite fields, where $G$ is a classical subgroup of $\operatorname{GL}_{2n}$, and $P$ is the Siegel parabolic subgroup. For example, we show that this representation is always multiplicity-free and irreducible for generic characters $χ$. We then discuss a particular intertwining operator $I$ on $\operatorname{Ind}_P^Gχ$ and its related combinatorics. Firstly, this operator $I$ produces families of diagonalizable antitriangular matrices with well-behaved eigenvalues. Secondly, applying $I$ to a special vector in $\operatorname{Ind}_P^Gχ$ leads us to various matrix Gauss sums, whose evaluations imply an explicit equidistribution result of the trace and determinant of symmetric and alternating invertible matrices.
The Aldous property for normal Cayley graphs on symmetric groups
Aldous' spectral gap conjecture states that the random walk and the interchange process on any connected graph have the same spectral gap, or, equivalently, the second largest eigenvalue of any connected Cayley graph on the symmetric group $S_n$ with respect to a set of transpositions is achieved by the standard representation of $S_n$. This celebrated conjecture, proved in its general form in 2010, has inspired much interest in searching for other Cayley graphs on $S_n$ possessing this property, now known as the Aldous property. In this paper, we first prove that for $n \ge 5$ at most one of a normal Cayley graph on $S_n$ and its complement can possess the Aldous property except when these two graphs are $2K_{n!/2}$ and $K_{n!/2,n!/2}$ respectively. We then determine, for sufficiently large $n$, all normal Cayley graphs $\mathrm{Cay}(S_n, S)$ that have the Aldous property, except for the case when $S$ contains a permutation with support size in $\{2, 3, \dots, n-2\}$ and a permutation with support size in $\{n-1, n\}$, but not all permutations with support size $n$ are contained in $S$. In particular, we show that a non-complete normal Cayley graph $\mathrm{Cay}(S_n, S)$ does not have the Aldous property if all permutations in $S$ have support size $n-1$ or $n$, or all permutations with support size $n$ are contained in $S$, thereby solving an open problem posed by Li, Xia and Zhou in 2023. Along the way we determine all normal Cayley graphs on $S_n$ that are line graphs, and classify all normal Cayley graphs on $S_n$ with the strictly second largest eigenvalue at most $1$.
Chebyshev Recurrence Structures for Reduced Spectral Functions of Cyclic Circulant Graphs
Let $S$ be a nonempty finite set of positive integers, let $q=\max S$, and let $B_n(S)$, $n>2q$, be the normalized product sequence associated with the Chebyshev-type polynomial of the cyclic circulant graph $G_n(S)$. When $G_n(S)$ is connected, $B_n(S)$ is both the normalized spanning-tree number and a normalized special value of the \emph{reduced spectral function}, a determinant-type function constructed from the non-trivial adjacency spectrum. Chebyshev root representations and the existence of linear recurrences for fixed-step circulant spanning-tree sequences are known. Starting from these representations, we explicitly construct a monic annihilating polynomial $\mathcal H_S(X)\in\mathbb Z[X]$ of degree $3^{q-1}$, which yields a general upper bound for the recurrence order of $B_n(S)$. By collecting coincident exponential bases and accounting for possible cancellations, we determine the minimal annihilating polynomial and give a sufficient condition under which the minimal recurrence order is exactly $3^{q-1}$. For $S=\{1,2,3\}$ and $S=\{1,3\}$, we explicitly derive the corresponding ninth-degree annihilating polynomials and prove their minimality.
Laplacian Bounds for the Dissociation Number of Regular Graphs of Matrix Rings
Let $Γ_n(q)$ be the graph whose vertices are the invertible matrices in $\Mat_n(\F_q)$, with two distinct matrices adjacent whenever their sum is singular. A dissociation set is a vertex set inducing a graph of maximum degree at most one. We study the dissociation number of $Γ_n(q)$ by embedding it as an induced subgraph of the total graph $T_n(q)$ on all of $\Mat_n(\F_q)$. A general Laplacian inequality for $k$-independent sets, together with an explicit character computation for the additive group of the matrix ring, gives parity-sensitive upper bounds. For fixed $n$, the resulting bound is of order at most $q^{n^2-n+1}$ for odd $q$ and at most $q^{n^2-2n+2}$ for even $q$. In particular, \[
\diss(Γ_n(q))\le q^{n^2-n+1}-1. \] In the other direction, the regular representation of the extension field $\F_{q^n}$ gives $\diss(Γ_n(q))\ge q^n-1$. We give complete proofs, including a self-contained derivation of the required matrix character sum, and determine the smallest case: $\diss(Γ_2(2))=3$.
Sumsets and generalized arithmetic progressions in multiplicative subgroups
Let $q=p^f$, and let $A\leq\mathbb{F}_q^\times$ be a multiplicative subgroup with $\mathbb{F}_p(A)=\mathbb{F}_q$. We prove that a proper subgroup $A$ is a generalized arithmetic progression (GAP) if and only if $|A| \in \{1, 2, 4\}$, and we determine when the full group $\mathbb{F}_q^\times$ is a GAP. For certain families of subgroups, we obtain the stronger conclusion that $A$ is additively irreducible. In particular, if $|A|>4$ and $p^e\equiv-1\pmod{|A|}$ for some $e\ge1$, then $A$ admits no nontrivial sumset decomposition. We also prove that every $c \neq 0$ has fewer than $|A|/2$ representations as a sum (or difference) of two elements of $A$ whenever $[\mathbb{F}_q^\times:A] \ge3$ and $|A| \ge 5$, which may be of independent interest.
Self-avoiding polygons on a three-row square-lattice strip
We give a closed formula for the number $p^{S_2}(n)$ of self-avoiding polygons (SAPs) of length $n$ on the strip $S_2:=\mathbb{Z}\times\{0,1,2\}$, together with closed formulas for those subtypes of SAPs which are determined by the numbers of vertical steps in their leftmost and rightmost columns. For the subtype whose leftmost and rightmost columns each contain two vertical steps, we also derive an alternative representation as a binomial sum. Our derivation is elementary: it is purely combinatorial and geometric and avoids generating functions. Comparing the two representations yields a new geometric proof of an identity arising in Larsen's treatment \cite{L07} of a problem posed by Gessel \cite{G95}. Finally, we show that this subtype of SAPs is closely connected to the sequence A007909. More precisely, for $m\geq0$, the number of these SAPs whose leftmost and rightmost columns each contain two vertical steps and whose length equals $2m+6$ is given by the term of this sequence with index $m$, which thereby acquires a geometric interpretation alongside the compositions it enumerates.
Banach-valued graph limits: Graphon representability and Banach-space structure
We study a graph-limit problem for Banach-decorated graphs. Given a sequence of $X$-decorated graphs whose homomorphism densities converge against all $X^*$-decorated test graphs, we ask whether the limiting densities are represented by an $X$-valued graphon. The results connect this graph-limit problem with Banach-space structure.
If $X^*$ is separable, then the graphon representation property for graph sequences uniformly bounded in $L^p$ for every finite $p$ holds if and only if $X$ is reflexive. For Banach lattices, it is equivalent to the Radon--Nikodým property. For dual Banach spaces, it is equivalent to the conjunction of the Radon--Nikodým property and weak sequential completeness. In the bounded setting, the same characterization extends to arbitrary Banach spaces: for every Banach space $X$, the representation property for uniformly $L^\infty$-bounded graph sequences holds if and only if $X$ has the Radon--Nikodým property and is weakly sequentially complete.
On the Betti numbers, Poincaré polynomials, and Euler characteristics of $\overline{\mathcal M}_{0,n}$
In this paper, we revisit the Poincaré polynomials, Betti numbers, and Euler characteristics of the Deligne-Mumford moduli spaces $\overline{\mathcal M}_{0,n}$ of stable $n$-pointed rational curves. We give elementary derivations of two recent closed formulas for their Poincaré polynomials, due respectively to Aluffi-Marcolli-Nascimento (arXiv:2406.13095) and to Eur-Ferroni-Matherne-Pagaria-Vecchi (arXiv:2504.16776). Our approach shows that both formulas are already implicit in the generating-series results of Getzler and Manin, and can be extracted from them by elementary manipulations of generating functions, the binomial series, and standard identities for Stirling numbers. Beyond these new derivations, the same method also yields new linear recurrence relations for refined invariants associated with these Poincaré polynomials, namely distinguished summands and a bivariate refinement. As a further consequence, we obtain two additional formulas for the Betti numbers, not previously recorded in this form.
We also study the Euler characteristics $χ(\overline{\mathcal M}_{0,n})$. Using the Taylor expansion of a suitable branch of the Lambert $W$-function, we show that their sequence is obtained by evaluating complete Bell polynomials at an explicit auxiliary integer sequence. This Bell-polynomial representation yields Hessenberg determinantal formulas and a new linear recursion, distinct from the well-known quadratic Keel-Manin recursion. It also provides an explicit extraction of the Euler characteristics from the Lambert $W$-function expression considered by Aluffi-Marcolli-Nascimento. Finally, we refine the Manin-Zagier asymptotic estimate for these Euler characteristics by computing the full asymptotic expansion.
Additive Bases from Primitive Dyck Words: Regular Underapproximations, Motzkin Coding, and Digit Lifting
We study additive representations by integers whose canonical binary expansions are primitive Dyck words. Pairing consecutive bits yields a positional form of the classical relation between Dyck paths and two-colored Motzkin paths: except for 10, primitive Dyck words are exactly the binary block images of base-4 words 3w0, where w is a two-colored Motzkin word. This exposes a regular underapproximation, digit closure, and sharp generation bounds. We prove an interval digit-lifting theorem for digitally closed sets and a constructive base-4 propagation algorithm that lifts finite sumset certificates to infinite tails in logarithmically many recursive stages. Combining these tools with exact finite certificates and generation-gap lower bounds, we classify all positive even integers requiring more than six primitive Dyck summands. The integer 46 requires eight, and 34, 44, 98, 154, 198, 202, 206, 838, 842, and 846 require seven; every other positive even integer requires at most six. Thus 848 is the sharp eventual threshold. The bound is asymptotically optimal because 10*4^(k+1)-6 requires six summands for every k >= 2. The associated halved family has exact asymptotic additive order five. Supplementary programs reproduce all finite certificates using exact integer arithmetic.