arXiv++ Combinatorics

For every finite $P\subset\mathbb{R}^2$ we prove $|\{p\cdot q: p,q\in P\}|\gg |P|^{199/295}$, with an absolute constant and no logarithmic loss, where $199/295 = 2/3+7/885$. This improves the bound $2/3+7/1425$ of Kokkinos (arXiv:2502.12727), which in turn had improved the first superthreshold bound of Hanson, Roche-Newton, and Senger. The main new ingredient is the inequality $|F^{(2)}G^{(2)}/(F^{(2)}G)| \le |AB|(|AF|/|A|)^4(|BG|/|B|)^3$: each radial profile retains its own Petridis growth-minimizing subset, and the product of the two subsets serves as a common base for both growth operators; a prime-power construction shows this is sharp under its hypotheses. The second ingredient is a weighted-median replacement for the dyadic selection in the squeezing argument of Roche-Newton and Wong, upgrading their seven-factor expander to a logarithm-free form; an appendix gives the complete proof from the Solymosi-Zahl incidence theorem. We complement the lower bound with a third-moment structure theorem for near-extremal configurations and a construction showing that the pinned problem admits no linear lower bound: $\max_{p\in P}|p\cdot P| = O(|P|/\sqrt{\log |P|})$ is attainable. The algebraic core, the median lemma, the surface identities, and the pinned construction are formally verified in Lean 4 and included as ancillary files.

For a connected regular graph G and a vertex a, we study the algebra generated by the adjacency and degree matrices of G-a and its cyclic module P_a generated by the all-ones vector. Our main theorem determines dim P_a for Cartesian products whose factors have equitable distance partitions at the chosen roots. A normalized logarithmic derivative of the local spectral generating function partitions the factors into boundary classes. We identify the boundary-return space exactly and express dim P_a as a sum of affine ranks on additive spectral fibres. For a distance-regular factor with distinct spectrum Θ, this gives dim P_a(F^{\square m}) = |mΘ| - 1. For products of powers of two distinct complete graphs, we evaluate the fibre formula in closed form. We also determine the full punctured algebras of all Hamming graphs: equality with the compressed Terwilliger algebra holds precisely in dimensions at most four for the hypercube and at most two for larger alphabets. For distance-regular graphs, adjacency moments alone determine the intersection array, with an explicit finite reconstruction. Finally, Cartesian stabilizer formulas separate metric loss from orbit splitting; on Doob graphs their distance-graded defect recovers the number of Shrikhande factors.

McKay proved that the spectra of all polynomial functions of the adjacency matrix $A$ and the diagonal degree matrix $D$ determine a tree. We prove a principal version of this theorem. Let $\mathcal A(G)=\langle I,A_G,D_G\rangle$ and let $M_G=\mathcal A(G)\mathbf1$ be the cyclic module generated by the all-ones vector. For connected graphs the ideal $\mathcal A(G)J\mathcal A(G)$, where $J=\mathbf1\mathbf1^T$, acts on $M_G$ as the full endomorphism algebra. We show that every forest satisfies $M_G=U_G$, the automorphism-orbit module, and that the induced algebra on the orbit quotient of a tree is a full matrix algebra. It follows that the scalar moments $\mathbf1^Tw(A_T,D_T)\mathbf1$ determine every tree. For general graphs these moments are degree-decorated caterpillar homomorphism counts. The resulting moment-rigidity class lies inside the amenable, compact, refinable hierarchy of color refinement, and its first small-order failures are ten-vertex integral switchings invisible to $M_G$.

Since the well-known breakthrough of L. Guth and N. Katz on the Erdos distinct distances problem in the plane, mainstream of interest is aroused by their method and the Elekes-Sharir framework. In short words, they study the second moment in the framework. One may wonder if higher moments would be more efficient. In this paper, we show that any higher moment fails the expectation. In addition, we show that the second moment gives optimal estimate in higher dimensions.

We establish the optimal lower bound $\gtrsim N$ for counting the number of distinct inner products of pairs from any $N$ given vectors in $\R^2$. Essentially, we lift a related incidence structure defined by inner products in the plane to $\R^3$ and derive our bound by showing that the lifted structures result in planar graphs.

We study unions of fundamental domains of a Fuchsian group, especially those with hyperbolic plane metric realizing the metric of the corresponding hyperbolic surface. We call these unions the \textit{geodesic covers} of the Fuchsian group or the hyperbolic surface. The paper contributes to showing that finiteness of geodesic covers is basically another characterization of geometrically finiteness. The resolution of geometrically finite case is based on Shimizu's lemma.

This is a note for constructing fundamental invariants and computing the Hilbert series of the invariant subalgebras of tensor products of polynomial rings under the action by a direct product of symmetric groups. Our computation relies on Schur functions bringing together several identities of combinatorial generating functions including that of plane partitions.

In this paper, we introduce the notion of "geodesic cover" for Fuchsian groups, which summons copies of fundamental polygons in the hyperbolic plane to cover pairs of representatives realizing distances in the corresponding hyperbolic surface. Then we use estimates of geodesic-covering numbers to study the distinct distances problem in hyperbolic surfaces. Especially, for $Y$ from a large class of hyperbolic surfaces, we establish the nearly optimal bound $\geq c(Y)N/\log N$ for distinct distances determined by any $N$ points in $Y$, where $c(Y)>0$ is some constant depending only on $Y$. In particular, for $Y$ being modular surface or standard regular of genus $g\geq 2$, we evaluate $c(Y)$ explicitly. We also derive new sum-product type estimates.

Let $S_{2m}$ be the symmetric group, $h=(1\ 2)(3\ 4)\cdots(2m-1\ 2m)$ and $H=C(h)$. We consider the structure of $gHg^{-1}\cap H$ for any $g\in S_{2m}$. We prove the permutations $g$ which makes $gHg^{-1}\cap H$ have size of polynomial in $m$ have density zero.