arXiv Science⌕ Search

arXiv subjects

Peter Nelson

Publications and source records attributed to Peter Nelson.

At least 19 recordsLinked to original sources
arXiv2026

Unavoidable flats in GF(q)-representable matroids

We show that, for any finite field $\mathbb{F}$ and positive integer $k$, a simple $\mathbb{F}$-representable matroid $M$ with sufficiently high rank contains a rank-$k$ flat which is either independent in $M$, or is a projective or affine geometry over a subfield of $\mathbb{F}$. This generalizes a result for matroids representable over prime fields due to the first two authors. As a corollary, we obtain a Ramsey theorem for matroids representable over a finite field $\mathbb{F}$. For an integer $k$, in any $2$-colouring of the points of an $\mathbb{F}$-representable matroid of sufficiently high rank, there is a monochromatic rank-$k$ flat.

math.CO↗
arXiv2026

Modularity, Extensions and Connectivity in Infinite Matroids

We generalize the well-studied notion of a modular pair of a finite matroid to arbitrary families of sets in infinite matroids, and use it to develop the theory of infinite matroids in several as-yet-unexplored areas. Our results include a complete theory of single-element extensions, a description of the relationship between quotients and projections, a proof that matroids for which every flat is modular must be finitary, and two new perspectives on the infinite matroid connectivity parameter λ. In most cases, existing theory for finite matroids either fails completely or does not extend in obvious ways, and as a result we develop multiple new techniques for reasoning about infinite matroids, including establishing well-behaved infinite analogues of nullity, local connectivity and skewness. We also point to an online repository containing formalized proofs of all our results using the lean4 proof assistant

math.CO↗
arXiv2025

Structuring Definitions in Mathematical Libraries

Codifying mathematical theories in a proof assistant or computer algebra system is a challenging task, of which the most difficult part is, counterintuitively, structuring definitions. This results in a steep learning curve for new users and slow progress in formalizing even undergraduate level mathematics. There are many considerations one has to make, such as level of generality, readability, and ease of use in the type system, and there are typically multiple equivalent or related definitions from which to choose. Often, a definition that is ultimately selected for formalization is settled on after a lengthy trial and error process. This process involves testing potential definitions for usability by formalizing standard theorems about them, and weeding out the definitions that are unwieldy. Inclusion of a formal definition in a centralized community-run mathematical library is typically an indication that the definition is "good." For this reason, in this survey, we make some observations about what makes a definition "good," and examine several case studies of the refining process for definitions that have ultimately been added to the Lean Theorem Prover community-run mathematical library, mathlib. We observe that some of the difficulties are shared with the design of libraries for computer algebra systems, and give examples of related issues in that context.

cs.SC↗
arXiv2025

Rainbow triangles and the Erdős-Hajnal problem in projective geometries

We formulate a geometric version of the Erdős-Hajnal conjecture that applies to finite projective geometries rather than graphs, in both its usual 'induced' form and the multicoloured form. The multicoloured conjecture states, roughly, that a colouring $c$ of the points of $\mathsf{PG}(n-1,q)$ containing no copy of a fixed colouring $c_0$ of $\mathsf{PG}(k-1,q)$ for small $k$ must contain a subspace of dimension polynomial in $n$ that avoids some colour. If $(k,q) = (2,2)$, then $c_0$ is a colouring of a three-element 'triangle', and there are three essentially different cases, all of which we resolve. We derive both the cases where $c_0$ assigns the same colour to two different elements from a recent breakthrough result in additive combinatorics due to Kelley and Meka. We handle the case that $c_0$ is a 'rainbow' colouring by proving that rainbow-triangle-free colourings of projective geometries are exactly those that admit a certain decomposition into two-coloured pieces. This is closely analogous to a theorem of Gallai on rainbow-triangle-free coloured complete graphs. We also show that existing structure theorems resolve certain two-coloured cases where $(k,q) = (2,3)$, and $(k,q) = (3,2)$.

math.CO↗
arXiv2025

Composition Direction of Seymour's Theorem for Regular Matroids -- Formally Verified

Seymour's decomposition theorem is a hallmark result in matroid theory presenting a structural characterization of the class of regular matroids. Formalization of matroid theory faces many challenges, most importantly that only a limited number of notions and results have been implemented so far. In this work, we formalize the proof of the forward (composition) direction of Seymour's theorem for regular matroids. To this end, we develop a library in Lean 4 that implements definitions and results about totally unimodular matrices, vector matroids, their standard representations, regular matroids, and 1-, 2-, and 3-sums of matrices and binary matroids given by their standard representations. Using this framework, we formally state Seymour's decomposition theorem and implement a formally verified proof of the composition direction in the setting where the matroids have finite rank and may have infinite ground sets.

math.CO↗
arXiv2025

Excluding a line from $\mathbb C$-representable matroids

For each positive integer $t$ and each sufficiently large integer $r$, we show that the maximum number of elements of a simple, rank-$r$, $\mathbb C$-representable matroid with no $U_{2,t+3}$-minor is $t{r\choose 2}+r$. We derive this as a consequence of a much more general result concerning matroids on group-labeled graphs.

math.CO↗
arXiv2024

Evolution of random representable matroids: minors, circuits, connectivity and the critical number

We study the evolution of random matroids represented by the sequence of random matrices over ${\mathbb F}_q$ where columns are added one after the other, and each column vector is a uniformly random vector in ${\mathbb F}_q^n$, independent of each other. We study the appearance of matroid minors, the appearance of circuits, the evolution of the connectivities and the critical number. We settle several open problems in the literature.

math.CO↗
arXiv2024

Minors of matroids represented by sparse random matrices over finite fields

Consider a random $n\times m$ matrix $A$ over the finite field of order $q$ where every column has precisely $k$ nonzero elements, and let $M[A]$ be the matroid represented by $A$. In the case that q=2, Cooper, Frieze and Pegden (RS\&A 2019) proved that given a fixed binary matroid $N$, if $k\ge k_N$ and $m/n\ge d_N$ where $k_N$ and $d_N$ are sufficiently large constants depending on N, then a.a.s. $M[A]$ contains $N$ as a minor. We improve their result by determining the sharp threshold (of $m/n$) for the appearance of a fixed matroid $N$ as a minor of $M[A]$, for every $k\ge 3$, and every finite field.

math.CO↗
arXiv2023

On the density of matroids omitting a complete-graphic minor

We show that, if $M$ is a simple rank-$n$ matroid with no $\ell$-point line minor and no minor isomorphic to the cycle matroid of a $t$-vertex complete graph, then the ratio $|M| / n$ is bounded above by a singly exponential function of $\ell$ and $t$. We also bound this ratio in the special case where $M$ is a frame matroid, obtaining an answer that is within a factor of two of best-possible.

math.CO↗
arXiv2022

Investigating the low-flux states in six Intermediate Polars

We present optical photometry of six intermediate polars that exhibit transitions to a low-flux state. For four of these systems, DW Cnc, V515 And, V1223 Sgr and RX J2133.7+5107, we are able to perform timing analysis in and out of the low states. We find that, for DW Cnc and V515 And, the dominant periodicities in the light curves change as the flux decreases, indicating a change in the sources' accretion properties as they transition to the low state. For V1223 Sgr we find that the variability is almost completely quenched at the lowest flux, but do not find evidence for a changing accretion geometry. For RX J2133.7+5107, the temporal properties do not change in the low state, but we do see a period of enhanced accretion that is coincident with increased variability on the beat frequency, which we do not associate with a change in the accretion mechanisms in the system.

astro-ph.SR↗
arXiv2022

A Possible Alignment Between the Orbits of Planetary Systems and their Visual Binary Companions

Astronomers do not have a complete picture of the effects of wide-binary companions (semimajor axes greater than 100 AU) on the formation and evolution of exoplanets. We investigate these effects using new data from Gaia EDR3 and the TESS mission to characterize wide-binary systems with transiting exoplanets. We identify a sample of 67 systems of transiting exoplanet candidates (with well-determined, edge-on orbital inclinations) that reside in wide visual binary systems. We derive limits on orbital parameters for the wide-binary systems and measure the minimum difference in orbital inclination between the binary and planet orbits. We determine that there is statistically significant difference in the inclination distribution of wide-binary systems with transiting planets compared to a control sample, with the probability that the two distributions are the same being 0.0037. This implies that there is an overabundance of planets in binary systems whose orbits are aligned with those of the binary. The overabundance of aligned systems appears to primarily have semimajor axes less than 700 AU. We investigate some effects that could cause the alignment and conclude that a torque caused by a misaligned binary companion on the protoplanetary disk is the most promising explanation.

astro-ph.EP↗
arXiv2021

The extremal function for geometry minors of matroids over prime fields

A frame template over a field $\mathbb F$ describes the precise way in which a given $\mathbb F$-representable matroid is close to being a frame matroid. Our main result determines the maximum-rank projective or affine geometry that is described by a given frame template over a prime field. Subject to the matroid minors hypothesis of Geelen, Gerards, and Whittle, we use our result to determine, for each projective or affine geometry $N$ over a prime field $\mathbb F$, a best-possible upper bound on the number of elements in a simple $\mathbb F$-representable matroid $M$ of sufficiently large rank with no $N$-minor.

math.CO↗
arXiv2021

Optical Variability Correlated with X-ray Spectral Transition in the Black-Hole Transient ASASSN-18ey = MAXI J1820+070

How a black hole accretes matter and how this process is regulated are fundamental but unsolved questions in astrophysics. In transient black-hole binaries, a lot of mass stored in an accretion disk is suddenly drained to the central black hole because of thermal-viscous instability. This phenomenon is called an outburst and is observable at various wavelengths (Frank et al., 2002). During the outburst, the accretion structure in the vicinity of a black hole shows dramatical transitions from a geometrically-thick hot accretion flow to a geometrically-thin disk, and the transition is observed at X-ray wavelengths (Remillard, McClintock, 2006; Done et al., 2007). However, how that X-ray transition occurs remains a major unsolved problem (Dunn et al., 2008). Here we report extensive optical photometry during the 2018 outburst of ASASSN-18ey (MAXI J1820$+$070), a black-hole binary at a distance of 3.06 kpc (Tucker et al., 2018; Torres et al., 2019) containing a black hole and a donor star of less than one solar mass. We found optical large-amplitude periodic variations similar to superhumps which are well observed in a subclass of white-dwarf binaries (Kato et al., 2009). In addition, the start of the stage transition of the optical variations was observed 5 days earlier than the X-ray transition. This is naturally explained on the basis of our knowledge regarding white dwarf binaries as follows: propagation of the eccentricity inward in the disk makes an increase of the accretion rate in the outer disk, resulting in huge mass accretion to the black hole. Moreover, we provide the dynamical estimate of the binary mass ratio by using the optical periodic variations for the first time in transient black-hole binaries. This paper opens a new window to measure black-hole masses accurately by systematic optical time-series observations which can be performed even by amateur observers.

astro-ph.HE↗
arXiv2021

Populating the brown dwarf and stellar boundary: Five stars with transiting companions near the hydrogen-burning mass limit

We report the discovery of five transiting companions near the hydrogen-burning mass limit in close orbits around main sequence stars originally identified by the Transiting Exoplanet Survey Satellite (TESS) as TESS Objects of Interest (TOIs): TOI-148, TOI-587, TOI-681, TOI-746, and TOI-1213. Using TESS and ground-based photometry as well as radial velocities from the CORALIE, CHIRON, TRES, and FEROS spectrographs, we found the companions have orbital periods between 4.8 and 27.2 days, masses between 77 and 98 $\mathrm{M_{Jup}}$, and radii between 0.81 and 1.66 $\mathrm{R_{Jup}}$. These targets have masses near the uncertain lower limit of hydrogen core fusion ($\sim$73-96 $\mathrm{M_{Jup}}$), which separates brown dwarfs and low-mass stars. We constrained young ages for TOI-587 (0.2 $\pm$ 0.1 Gyr) and TOI-681 (0.17 $\pm$ 0.03 Gyr) and found them to have relatively larger radii compared to other transiting companions of a similar mass. Conversely we estimated older ages for TOI-148 and TOI-746 and found them to have relatively smaller companion radii. With an effective temperature of 9800 $\pm$ 200 K, TOI-587 is the hottest known main-sequence star to host a transiting brown dwarf or very low-mass star. We found evidence of spin-orbit synchronization for TOI-148 and TOI-746 as well as tidal circularization for TOI-148. These companions add to the population of brown dwarfs and very low-mass stars with well measured parameters ideal to test formation models of these rare objects, the origin of the brown dwarf desert, and the distinction between brown dwarfs and hydrogen-burning main sequence stars.

astro-ph.SR↗
arXiv2020

On the number of biased graphs

A biased graph is a graph $G$, together with a distinguished subset $\mathcal{B}$ of its cycles so that no Theta-subgraph of $G$ contains precisely two cycles in $\mathcal{B}$. A large number of biased graphs can be constructed by choosing $G$ to be a complete graph, and $\mathcal{B}$ to be an arbitrary subset of its Hamilton cycles. We show that, on the logarithmic scale, the total number of simple biased graphs on $n$ vertices does not asymptotically exceed the number that can be constructed in this elementary way.

math.CO↗
arXiv2020

The smallest matroids with no large independent flat

We show that a simple rank-$r$ matroid with no $(t+1)$-element independent flat has at least as many elements as the matroid $M_{r,t}$ defined as the direct sum of $t$ binary projective geometries whose ranks pairwise differ by at most $1$. We also show for $r \ge 2t$ that $M_{r,t}$ is the unique example for which equality holds.

math.CO↗