Searcharxiv⌕ Search

arXiv subjects

Thomas Prellberg

Publications and source records attributed to Thomas Prellberg.

At least 19 recordsLinked to original sources
arXiv2026

Three Irrationality Results for the Dilogarithm: Rhin--Viola and Viola--Zudilin Constructions at $-1/4$, $1/5$, and $-1/3$

We prove the irrationality of \[ \Li_2(-1/4),\qquad \Li_2(1/5),\qquad \Li_2(-1/3). \] The three arguments form a natural progression. The first is an endpoint completion of the five-parameter Rhin--Viola method. Rhin and Viola's 2019 treatment already supplies the negative-argument continuation, permutation invariance and factorial divisor; at $z=-4$ we use three bounded shifts, an elementary fixed-contour estimate and a four-term recurrence to remove the remaining nonvanishing problem in the complex-saddle regime. For $1/5$ we pass to the six-parameter Viola--Zudilin family and apply the Rhin--Viola factorial transformations term by term inside two binomial expansions of the same integral. This inherited divisor crosses the arithmetic threshold that the unrefined five-parameter construction does not reach in our computations. The same crossbreed, combined with the negative-argument continuation, proves the result at $-1/3$. All proof-critical finite inequalities are accompanied by exact executable certificates. Supplementary computations propagate $10{,}000$ exact primitive coefficient pairs for each of $1/5$ and $-1/3$, with complete gcd removal and no failure of the certified smallness or adjacent nonproportionality checks.

math.NT↗
arXiv2026

Collision-Generated Compression for Homogeneous Keller Maps

We formulate a collision-generated compression principle for homogeneous Keller maps. In the language of polarization algebras, the construction takes the subalgebra generated by a collision; the additional point is that this subalgebra carries a noninjective Keller restriction and controls the dimension of the standard symmetric lift. We give two exact applications. For Thompson's 24-variable cubic-homogeneous map, the polarization-subalgebra growth is \(2,4,11,20,20\), and the resulting subalgebra is exactly MacFarlane's 20-dimensional invariant subspace, thereby recovering the known \(24\)-to-\(20\) compression canonically from the collision. For Van Rijn's subsequent 19-variable cubic-homogeneous map, arising from a 12-variable degree-three Keller map, the corresponding growth is \(2,4,11,19,19\), so the known collision generates the whole space. Thus no proper invariant linear restriction retaining that collision can improve its 38-variable symmetric lift. We make this lift explicit: the resulting homogeneous quartic has 340 monomials, is Hessian-nilpotent, violates Zhao's Vanishing Conjecture, and its gradient Keller map has an exact collision over \(\Q(i)\). For comparison, the 20-variable application gives the previously studied 40-variable, 350-monomial quartic. No global minimality is claimed. All finite calculations are checked by accompanying exact code.

math.AG↗
arXiv2026

Area and water-capacity statistics for upper hulls of Dyck paths

We study Dyck paths refined simultaneously by proper area and water capacity, where water capacity is measured above the path and below its lattice-path upper hull. The finite-height ingredients used in the enumeration are classical bounded-height area-polynomial and continued-fraction objects. The upper-hull decomposition produces a coupled area--capacity substitution, which gives an exact four-variable height expansion with denominator branches indexed by the height levels. The full generating function is asymmetric in the two weights, while the height summands admit a symmetric unreduced denominator representation under interchange of the area and capacity weights. In the open square $0<p,q<1$, we prove that the length radius of $G(x,1,p,q)$ is the minimum of the positive real denominator branches. The proof combines uniform normal convergence of the height expansion below this first branch with a Perron-root representation of the branch locations and an interval log-submodularity theorem for spectral radii of weighted paths. On the diagonal $p=q=s$, the classical Chebyshev specialisation gives explicit branch crossings and a $(1-s)^{2/3}$ branch-envelope accumulation law at the Dyck critical point.

math.CO↗
arXiv2026

No-three-in-line sets on the checkerboard grid

The classical no-three-in-line problem asks for the largest number (D(n)) of points that can be chosen from an (n \times n) grid with no three collinear. We study the checkerboard-restricted variant in which all chosen points lie in one fixed parity class of (x+y \pmod 2). Let (D_{\mathrm{mono}}(n)) be the corresponding optimum. The slope-(\pm1) diagonals give the elementary bound (D_{\mathrm{mono}}(n) \le 2n-2). The main tool is a four-direction linear-programming relaxation on a fixed parity class, using rows, columns, and the two diagonal families of slopes (\pm1). For the ordinary square-grid problem this relaxation is trivial, but on the checkerboard it gives substantially tighter finite bounds. After symmetry reduction, the dual relaxation has three one-dimensional forms, according to the parity of (n) and the chosen colour class. The main rigorous result is an exact continuum dual certificate for the formal continuum problem associated with the scaled odd-fat case. We construct explicit nonnegative functions satisfying the continuum obstacle inequalities and having objective value (\alpha), where (401\alpha^3-1744\alpha^2+2240\alpha-768=0) and (\alpha) is the middle real root. This proves the upper bound (\Lambda_{\mathrm{fat}}\le\alpha) for the odd-fat continuum relaxation. Finite LP computations are consistent with (\alpha) as a limiting slope, and exact small-(n) data suggest the same scale for the original checkerboard optimum.

math.CO↗
arXiv2025

Three methods, one problem: Classical and AI approaches to no-three-in-line

The No-Three-In-Line problem asks for the maximum number of points that can be placed on an n by n grid with no three collinear, representing a famous problem in combinatorial geometry. While classical methods like Integer Linear Programming (ILP) guarantee optimal solutions, they face exponential scaling with grid size, and recent advances in machine learning offer promising alternatives for pattern-based approximation. This paper presents the first systematic comparison of classical optimization and AI approaches to this problem, evaluating their performance against traditional algorithms. We apply PatternBoost transformer learning and reinforcement learning (PPO) to this problem for the first time, comparing them against ILP. ILP achieves provably optimal solutions up to 19 by 19 grids, while PatternBoost matches optimal performance up to 14 by 14 grids with 96% test loss reduction. PPO achieves perfect solutions on 10 by 10 grids but fails at 11 by 11 grids, where constraint violations prevent valid configurations. These results demonstrate that classical optimization remains essential for exact solutions while AI methods offer competitive performance on smaller instances, with hybrid approaches presenting the most promising direction for scaling to larger problem sizes.

cs.AI↗
arXiv2024

Zeros of conditional Gaussian analytic functions, random sub-unitary matrices and q-series

We investigate radial statistics of zeros of hyperbolic Gaussian Analytic Functions (GAF) of the form $\varphi (z) = \sum_{k\ge 0} c_k z^k$ given that $|\varphi (0)|^2=t$ and assuming coefficients $c_k$ to be independent standard complex normals. We obtain the full conditional distribution of $N_q$, the number of zeros of $\varphi (z)$ within a disk of radius $\sqrt{q}$ centred at the origin, and prove its asymptotic normality in the limit when $q\to 1^{-}$, the limit that captures the entire zero set of $\varphi (z)$. In the same limit we also develop precise estimates for conditional probabilities of moderate to large deviations from normality. Finally, we determine the asymptotic form of $P_k(t;q)=\mathrm{Prob} \{ N_q= k | |\varphi(0)|^2=t \}$ in the limit when $k$ is kept fixed whilst $q$ approaches 1. To leading order, the hole probability $P_0(t;q)$ does not depend on $t$ for $t>0$ but yet is different from that of $P_0(t=0;q)$ and coincides with the hole probability for unconditioned hyperbolic GAF of the form $\sum_{k\ge 0} \sqrt{k+1}\, c_k z^k$. We also find that asymptotically as $q \to 1^{-}$, $P_k(t;q)= e^t P_{k}(0;q)$ for every fixed $k \ge 1$ with $P_{k}(0;q)= \mathrm{Prob} \{ N_q =k-1 \}$.

math.PR↗
arXiv2024

Improving Convergence of Generalised Rosenbluth Sampling for Branched Polymer Models by Uniform Sampling

Sampling with the Generalised Atmospheric Rosenbluth Method (GARM) is a technique for estimating the distributions of lattice polymer models that has had some success in the study of linear polymers and lattice polygons. In this paper we will explain how and why such sampling appears not to be effective for many models of branched polymers. Analysing the algorithm on a simple binary tree, we argue that the fundamental issue is an inherent bias towards extreme configurations that is costly to correct with reweighting techniques. We provide a solution to this by applying uniform sampling methods to the atmospheres that are central to GARM. We caution that the ensuing computational complexity often outweighs the improvements gained.

cond-mat.stat-mech↗
arXiv2023

On the universality class of the special adsorption point of two-dimensional lattice polymers

In recent work [PRE 100, 022121 (2019)] evidence was found that the surface adsorption transition of interacting self-avoiding trails (ISATs) placed on the square lattice displays a non-universal behavior at the special adsorption point (SAP) where the collapsing polymers adsorb. In fact, different surface exponents $\phi^{(s)}$ and $1/\delta^{(s)}$ were found at the SAP depending on whether the surface orientation is horizontal (HS) or diagonal (DS). Here, we revisit these systems and study other ones, through extensive Monte Carlo simulations, considering much longer trails than previous works. Importantly, we demonstrate that the different exponents observed in the reference above are due to the presence of a previously unseen surface-attached-globule (SAG) phase in the DS system, which changes the multicritical nature of the SAP and is absent in the HS case. By considering a modified horizontal surface (mHS) where the trails are forbidden of having two consecutive steps along it, resembling the DS situation, a stable SAG phase is found in the phase diagram, and both DS and mHS systems present similar $1/\delta^{(s)}$ exponents at the SAP, being $1/\delta^{(s)} \approx 0.44$, whilst $1/\delta^{(s)} \approx 0.34$ in the HS case. Intriguingly, while $\phi^{(s)} \approx 1/\delta^{(s)}$ is found for the DS and HS scenarios, as expected, in the mHS case $\phi^{(s)}$ is about $10$\% smaller than $1/\delta^{(s)}$. These results strongly indicate that at least two universality classes exist for the SAPs of adsorbing ISATs on the square lattice.

cond-mat.soft↗
arXiv2019

Adsorption of 2d polymers with two- and three-body self-interactions

Using extensive Monte Carlo simulations, we investigate the surface adsorption of self-avoiding trails on the triangular lattice with two- and three-body on-site monomer-monomer interactions. In the parameter space of two-body, three-body, and surface interaction strengths, the phase diagram displays four phases: swollen (coil), globule, crystal, and adsorbed. For small values of the surface interaction, we confirm the presence of swollen, globule, and crystal bulk phases. For sufficiently large values of the surface interaction, the system is in an adsorbed state, and the adsorption transition can be continuous or discontinuous, depending on the bulk phase. As such, the phase diagram contains a rich phase structure with transition surfaces that meet in multicritical lines joining in a single special multicritical point. The adsorbed phase displays two distinct regions with different characteristics, dominated by either single or double layer adsorbed ground states. Interestingly, we find that there is no finite-temperature phase transition between these two regions though rather a smooth crossover.

cond-mat.stat-mech↗
arXiv2019

Skew Schur Function Representation of Directed Paths in a Slit

In this work, we establish a general relationship between the enumeration of weighted directed paths and skew Schur functions, extending work by Bousquet-M\'elou, who expressed generating functions of discrete excursions in terms of rectangular Schur functions.

math.CO↗
arXiv2019

Enumerating path diagrams in connection with $q$-tangent and $q$-secant numbers

We enumerate height-restricted path diagrams associated with $q$-tangent and $q$-secant numbers by considering convergents of continued fractions, leading to expressions involving basic hypergeometric functions. Our work generalises some results by M. Josuat-Verg\'es for unrestricted path diagrams [European Journal of Combinatorics 31 (2010) 1892].

math.CO↗
arXiv2018

Exact solution of pulled, directed vesicles with sticky walls in two dimensions

We analyse a directed lattice vesicle model incorporating both the binding-unbinding transition and the vesicle inflation-deflation transition. From the exact solution we derive the phase diagram for this model and elucidate scaling properties around the binding-unbinding critical point in this larger parameter space. We also consider how the phase diagram changes when a perpendicular force is applied to the end of a directed vesicle.

math-ph↗
arXiv2018

Multicritical Scaling in a Lattice Model of Vesicles

Vesicles, or closed fluctuating membranes, have been modeled in two dimensions by self-avoiding polygons, weighted with respect to their perimeter and enclosed area, with the simplest model given by area-weighted excursions. These models generically show a tricritical phase transition between an inflated and a crumpled phase, with a scaling function given by the logarithmic derivative of the Airy function. Extending such a model, we find realizations of multicritical points of arbitrary order, with the associated multivariate scaling functions expressible in terms of generalized Airy integrals, as previously conjectured by John Cardy. This work therefore adds to the small list of models with a critical phase transition, for which exponents and the associated scaling functions are explicitly known.

cond-mat.stat-mech↗
arXiv2017

Solution of semi-flexible self-avoiding trails on a Husimi lattice built with squares

We study a model of semi-flexible self-avoiding trails, where the lattice paths are constrained to visit each lattice edge at most once, with configurations weighted by the number of collisions, crossings and bends, on a Husimi lattice built with squares. We find a rich phase diagram with five phases: a non-polymerised phase (${\bf NP}$), low density (${\bf P1}$) and high density (${\bf P2}$) polymerised phases, and, for sufficiently large stiffness, two additional anisotropic (nematic) (${\bf AN1}$ and ${\bf AN2}$) polymerised phases within the ${\bf P1}$ phase. Moreover, the {\bf AN1} phase which shows a broken symmetry with a preferential direction, is separated from the ${\bf P1}$ phase by the other nematic ${\bf AN2}$ phase. Although this scenario is similar to what was found in our previous calculation on the Bethe lattice, where the ${\bf AN-P1}$ transition was discontinuous and critical, the presence of the additional nematic phase between them introduces a qualitative difference. Other details of the phase diagram are that a line of tri-critical points may separate the ${\bf P1}-{\bf P2}$ transition surface into a continuous and a discontinuous portion, and that the same may happen at the ${\bf NP}-{\bf P1}$ transition surface, details of which depend on whether crossings are allowed or forbidden. A critical end-point line is also found in the phase diagram.

cond-mat.stat-mech↗
arXiv2017

Area-width scaling in generalised Motzkin paths

We consider a generalised version of Motzkin paths, where horizontal steps have length $\ell$, with $\ell$ being a fixed positive integer. We first give the general functional equation for the area-length generating function of this model. Using a heuristic ansatz, we derive the area-length scaling behaviour in terms of a scaling function in one variable for the special cases of Dyck, (standard) Motzkin and Schröder paths, before generalising our approach to arbitrary $\ell$. We then derive an expression for the generating function of Schröder paths and analyse the scaling behaviour of this function rigorously in the vicinity of the tri-critical point of the model by applying the method of steepest descents for the case of two coalescing saddle points. Our results show that for Dyck and Schröder paths, the heuristic scaling ansatz reproduces the rigorous results.

cond-mat.stat-mech↗
arXiv2016

Higher-order Airy scaling in deformed Dyck paths

We introduce a deformed version of Dyck paths (DDP), where additional to the steps allowed for Dyck paths, 'jumps' orthogonal to the preferred direction of the path are permitted. We consider the generating function of DDP, weighted with respect to their half-length, area and number of jumps. This represents the first example of an exactly solvable lattice path model showing a higher-order multicritical point. Applying the generalized method of steepest descents, we see that the associated two-variable scaling function is given by the logarithmic derivative of a generalized (higher-order) Airy integral.

math-ph↗
arXiv2016

Writhe induced phase transition in unknotted self-avoiding polygons

Recently it has been argued that weighting the writhe of unknotted self-avoiding polygons can be related to possible experiments that turn double stranded DNA. We first solve exactly a directed model and demonstrate that in such a subset of polygons the problem of weighting their writhe is associated with a phase transition. We then analyse simulations using the Wang-Landau algorithm to observe scaling in the fluctuations of the writhe that is compatible with a second-order phase transition in a undirected self-avoiding polygon model. Crucially, we conclude that the transition becomes apparent when the polygon is stretched sufficiently with a pulling force.

cond-mat.stat-mech↗