arXiv Science⌕ Search

arXiv subjects

Peter Nelson

Publications and source records attributed to Peter Nelson.

At least 19 recordsLinked to original sources
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 \lambda. 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

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

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\H{o}s-Hajnal problem in projective geometries

We formulate a geometric version of the Erd\H{o}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↗
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↗
arXiv2023

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

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↗
arXiv2021

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↗
arXiv2020

The critical number of $I_{1,t}$-free triangle-free binary matroids

A simple binary matroid, viewed as a restriction of a finite binary projective geometry $PG(n-1,2)$, is $I_{1,t}$-free if for any rank-$t$ flat of $PG(n-1,2)$, its intersection with the matroid is not a one-element set. In this paper, we show that the simple $I_{1,t}$-free and triangle-free binary matroids have bounded critical number for any $t \geq 1$.

math.CO↗
arXiv2020

The structure of $I_4$-free and triangle-free binary matroids

A simple binary matroid is called $I_4$-free if none of its rank-4 flats are independent sets. These objects can be equivalently defined as the sets $E$ of points in $PG(n-1,2)$ for which $|E \cap F|$ is not a basis of $F$ for any four-dimensional flat $F$. We prove a decomposition theorem that exactly determines the structure of all $I_4$-free and triangle-free matroids. In particular, our theorem implies that the $I_4$-free and triangle-free matroids have critical number at most $2$.

math.CO↗
arXiv2019

Survey of Period Variations of Superhumps in SU UMa-Type Dwarf Novae. X: The Tenth Year (2017)

Continuing the project described by Kato et al. (2009, PASJ, 61, S395, arXiv/0905.1757), we collected times of superhump maxima for 102 SU UMa-type dwarf novae observed mainly during the 2017 season and characterized these objects. WZ Sge-type stars identified in this study are PT And, ASASSN-17ei, ASASSN-17el, ASASSN-17es, ASASSN-17fn, ASASSN-17fz, ASASSN-17hw, ASASSN-17kd, ASASSN-17la, PNV J20205397+2508145 and TCP J00332502-3518565. We obtained new mass ratios for 7 objects using growing superhumps (stage A). ASASSN-17gf is an EI Psc-type object below the period minimum. CRTS J080941.3+171528 and DDE 51 are objects in the period gap and both showed long-lasting phase of stage A superhumps. We also summarized the recent advances in understanding of SU UMa-type and WZ Sge-type dwarf novae.

astro-ph.SR↗