-
Geometry of syzygies of sheaves on $\mathbb{P}^2$ via interpolation and Bridgeland stability
Authors:
Manuel Leal,
Cesar Lozano Huerta,
Tim Ryan
Abstract:
We show that the minimal free resolution of a general semi-stable sheaf $U$ on $\mathbb{P}^2$ contains a subcomplex that determines an extremal ray of the cone of effective divisors of its moduli space. We provide evidence that this is part of a general phenomenon in which minimal free resolutions, for distinct Betti tables, contain subcomplexes depending on wall-crossing. From this viewpoint, we…
▽ More
We show that the minimal free resolution of a general semi-stable sheaf $U$ on $\mathbb{P}^2$ contains a subcomplex that determines an extremal ray of the cone of effective divisors of its moduli space. We provide evidence that this is part of a general phenomenon in which minimal free resolutions, for distinct Betti tables, contain subcomplexes depending on wall-crossing. From this viewpoint, we provide new computations of the movable cones and Mori decompositions of some moduli spaces of sheaves using syzygies.
△ Less
Submitted 29 June, 2024;
originally announced July 2024.
-
Quantitative measurement of cooperative binding in partially dissociated water dimers at the hematite R-cut surface
Authors:
Paul T. P. Ryan,
Panukorn Sombut,
Ali Rafsanjani Abbasi,
Chunlei Wang,
Fulden Eratam,
Francesco Goto,
Ulrike Diebold,
Matthias Meier,
David A. Duncan,
Gareth S. Parkinson
Abstract:
Water-solid interfaces pervade the natural environment and modern technology. On some surfaces, water-water interactions induce the formation of partially dissociated interfacial layers; understanding why is important to model processes in catalysis or mineralogy. The complexity of the partially dissociated structures often make it difficult to probe them in a quantitative manner. Here, we utilize…
▽ More
Water-solid interfaces pervade the natural environment and modern technology. On some surfaces, water-water interactions induce the formation of partially dissociated interfacial layers; understanding why is important to model processes in catalysis or mineralogy. The complexity of the partially dissociated structures often make it difficult to probe them in a quantitative manner. Here, we utilize normal incidence x-ray standing waves (NIXSW) to study the structure of partially dissociated water dimers (H2O-OH) at the Fe2O3(012) surface (also called (1-102) or R-cut surface); a system simple enough to be tractable, yet complex enough to capture the essential physics. We find the H2O and terminal OH groups to be the same height above the surface within experimental error (1.45 +/- 0.04 Angstrom and 1.47 +/- 0.02 Angstrom, respectively), in line with DFT-based calculations that predict comparable Fe-O bond lengths for both water and OH species. This result is understood in the context of cooperative binding, where the formation of the H-bond between adsorbed H2O and OH induces the H2O to bind more strongly, and OH to bind more weakly compared to when these species are isolated on the surface. The surface OH formed by the liberated proton is found to be in plane with a bulk truncated (012) surface (-0.01 +/- 0.02 Angstrom). DFT calculations based on various functionals correctly model the cooperative effect, but overestimate the water-surface interaction.
△ Less
Submitted 26 June, 2024;
originally announced June 2024.
-
Smooth Surfaces with Maximal Lines
Authors:
Janet Page,
Tim Ryan,
Karen E. Smith
Abstract:
We prove that a smooth projective surface of degree $d$ in $\mathbb P^3$ contains at most $d^2(d^2-3d+3)$ lines. We characterize the surfaces containing exactly $d^2(d^2-3d+3)$ lines: these occur only in prime characterize $p$ and, up to choice of projective coordinates, are cut out by equations of the form $x^{p^{e}+1}+y^{p^{e}+1}+z^{p^{e}+1}+ w^{p^{e}+1} = 0.$
We prove that a smooth projective surface of degree $d$ in $\mathbb P^3$ contains at most $d^2(d^2-3d+3)$ lines. We characterize the surfaces containing exactly $d^2(d^2-3d+3)$ lines: these occur only in prime characterize $p$ and, up to choice of projective coordinates, are cut out by equations of the form $x^{p^{e}+1}+y^{p^{e}+1}+z^{p^{e}+1}+ w^{p^{e}+1} = 0.$
△ Less
Submitted 24 June, 2024; v1 submitted 22 June, 2024;
originally announced June 2024.
-
Wasserstein gradient flow for optimal probability measure decomposition
Authors:
Jiangze Han,
Christopher Thomas Ryan,
Xin T. Tong
Abstract:
We examine the infinite-dimensional optimization problem of finding a decomposition of a probability measure into K probability sub-measures to minimize specific loss functions inspired by applications in clustering and user grou**. We analytically explore the structures of the support of optimal sub-measures and introduce algorithms based on Wasserstein gradient flow, demonstrating their conver…
▽ More
We examine the infinite-dimensional optimization problem of finding a decomposition of a probability measure into K probability sub-measures to minimize specific loss functions inspired by applications in clustering and user grou**. We analytically explore the structures of the support of optimal sub-measures and introduce algorithms based on Wasserstein gradient flow, demonstrating their convergence. Numerical results illustrate the implementability of our algorithms and provide further insights.
△ Less
Submitted 2 June, 2024;
originally announced June 2024.
-
Programmable electrical coupling between stochastic magnetic tunnel junctions
Authors:
Sidra Gibeault,
Temitayo N. Adeyeye,
Liam A. Pocher,
Daniel P. Lathrop,
Matthew W. Daniels,
Mark D. Stiles,
Jabez J. McClelland,
William A. Borders,
Jason T. Ryan,
Philippe Talatchian,
Ursula Ebels,
Advait Madhavan
Abstract:
Superparamagnetic tunnel junctions (SMTJs) are promising sources of randomness for compact and energy efficient implementations of probabilistic computing techniques. Augmenting an SMTJ with electronic circuits, to convert the random telegraph fluctuations of its resistance state to stochastic digital signals, gives a basic building block known as a probabilistic bit or $p$-bit. Though scalable pr…
▽ More
Superparamagnetic tunnel junctions (SMTJs) are promising sources of randomness for compact and energy efficient implementations of probabilistic computing techniques. Augmenting an SMTJ with electronic circuits, to convert the random telegraph fluctuations of its resistance state to stochastic digital signals, gives a basic building block known as a probabilistic bit or $p$-bit. Though scalable probabilistic computing methods connecting $p$-bits have been proposed, practical implementations are limited by either minimal tunability or energy inefficient microprocessors-in-the-loop. In this work, we experimentally demonstrate the functionality of a scalable analog unit cell, namely a pair of $p$-bits with programmable electrical coupling. This tunable coupling is implemented with operational amplifier circuits that have a time constant of approximately 1us, which is faster than the mean dwell times of the SMTJs over most of the operating range. Programmability enables flexibility, allowing both positive and negative couplings, as well as coupling devices with widely varying device properties. These tunable coupling circuits can achieve the whole range of correlations from $-1$ to $1$, for both devices with similar timescales, and devices whose time scales vary by an order of magnitude. This range of correlation allows such circuits to be used for scalable implementations of simulated annealing with probabilistic computing.
△ Less
Submitted 20 December, 2023;
originally announced December 2023.
-
Spectroscopy of photoionization from the $^1E$ singlet state in nitrogen$-$vacancy centers in diamond
Authors:
Sean M. Blakley,
Thuc T. Mai,
Stephen J. Moxim,
Jason T. Ryan,
Adam J. Biacchi,
Angela R. Hight Walker,
Robert D. McMichael
Abstract:
The $^1E-^1A_1$ singlet manifold of the negatively charged nitrogen vacancy $(NV^-)$ center in diamond plays a central role in the quantum information and quantum sensing applications of the $NV^-$ center. However, the energy of this manifold within the diamond bandgap and with respect to the $^3A_2-^3E$ triplet manifold has not been measured directly. Using field-quenching effects on photolumines…
▽ More
The $^1E-^1A_1$ singlet manifold of the negatively charged nitrogen vacancy $(NV^-)$ center in diamond plays a central role in the quantum information and quantum sensing applications of the $NV^-$ center. However, the energy of this manifold within the diamond bandgap and with respect to the $^3A_2-^3E$ triplet manifold has not been measured directly. Using field-quenching effects on photoluminescence (PL) spectra, we report on the energy gap between the $^1E-^1A_1$ singlet manifold and the $^3A_2$ and $^3E$ ground and excited triplet states of the $NV^-$ as a function of excitation wavelength and power, temperature, and applied magnetic field in a heavily nitrogen-doped sample. Increased PL and decreased zero-phonon line width from the $NV^0$ were observed in the presence of an applied magnetic field, indicating ionization from the long-lived $^1E$ singlet state. A temperature-dependent ionization threshold between 532 nm and 550 nm was found, locating the singlet states within the diamond band gap.
△ Less
Submitted 26 February, 2024; v1 submitted 24 January, 2023;
originally announced January 2023.
-
Maximal skew sets of lines on a Hermitian surface and a modified Bron-Kerbosch algorithm
Authors:
Anna Brosowsky,
Haoyu Du,
Madhav Krishna,
Sandra Nair,
Janet Page,
Tim Ryan
Abstract:
In this paper, we study maximal sets of skew lines on Hermitian surfaces. We give a new algorithm to compute these sets and give some computational results for Hermitian surfaces of degrees 3,4, and 5. In more generality, this algorithm solves a new variant of the clique listing problem, which may be more approachable than the classical problem. Finally, we explicitly construct a large skew set of…
▽ More
In this paper, we study maximal sets of skew lines on Hermitian surfaces. We give a new algorithm to compute these sets and give some computational results for Hermitian surfaces of degrees 3,4, and 5. In more generality, this algorithm solves a new variant of the clique listing problem, which may be more approachable than the classical problem. Finally, we explicitly construct a large skew set of lines on Hermitian varieties of any degree and use it to give a lower bound on the largest size of maximal skew sets and a lower bound on the possible number of maximal skew sets.
△ Less
Submitted 29 November, 2022;
originally announced November 2022.
-
Donor-acceptor co-adsorption ratio controls structure and electronic properties of two-dimensional alkali-organic networks on Ag(100)
Authors:
B. Sohail,
P. J. Blowey,
L. A. Rochford,
P. T. P. Ryan,
D. A. Duncan,
T. -L. Lee,
P. Starrs,
G. Costantini,
D. P. Woodruff,
R. J. Maurer
Abstract:
The results are presented of a detailed combined experimental and theoretical investigation of the influence of coadsorbed electron-donating alkali atoms and the prototypical electron acceptor molecule TCNQ (7,7,8,8-tetracyanoquinodimethane) on the Ag(100) surface. Several coadsorption phases were characterised by scanning tunnelling microscopy, low energy electron diffraction, and soft-X-ray phot…
▽ More
The results are presented of a detailed combined experimental and theoretical investigation of the influence of coadsorbed electron-donating alkali atoms and the prototypical electron acceptor molecule TCNQ (7,7,8,8-tetracyanoquinodimethane) on the Ag(100) surface. Several coadsorption phases were characterised by scanning tunnelling microscopy, low energy electron diffraction, and soft-X-ray photoelectron spectroscopy. Quantitative structural data were obtained using normal incidence X-ray standing wave (NIXSW) measurements and compared with the results of density functional theory (DFT) calculations using several different methods of dispersion correction. Generally good agreement between theory and experiment was achieved for the quantitative structures, albeit with prediction of the alkali atom heights being challenging for some methods. The adsorption structures depend sensitively on the interplay of molecule-metal charge transfer and long-range dispersion forces, which are controlled by the composition ratio between alkali atoms and TCNQ. The large difference in atomic size between K and Cs has negligible effects on stability, whereas increasing the ratio of K:TCNQ from 1:4 to 1:1 leads to a weakening of molecule-metal interaction strength in favour of stronger ionic bonds within the two-dimensional alkali-organic network. A strong dependence of the work function on the alkali donor-TCNQ acceptor co-adsorption ratio is predicted.
△ Less
Submitted 15 January, 2023; v1 submitted 23 August, 2022;
originally announced August 2022.
-
Using Donald Trump's COVID-19 Vaccine Endorsement to Give Public Health a Shot in the Arm: A Large-Scale Ad Experiment
Authors:
Bradley J. Larsen,
Timothy J. Ryan,
Steven Greene,
Marc J. Hetherington,
Rahsaan Maxwell,
Steven Tadelis
Abstract:
We report a large-scale randomized controlled trial designed to assess whether the partisan cue of a pro-vaccine message from Donald Trump would induce Americans to get COVID-19 vaccines. Our study involved presenting a 27-second advertisement to millions of U.S. YouTube users in October 2021. Results indicate that the campaign increased the number of vaccines in the average treated county by 103.…
▽ More
We report a large-scale randomized controlled trial designed to assess whether the partisan cue of a pro-vaccine message from Donald Trump would induce Americans to get COVID-19 vaccines. Our study involved presenting a 27-second advertisement to millions of U.S. YouTube users in October 2021. Results indicate that the campaign increased the number of vaccines in the average treated county by 103. Spread across 1,014 treated counties, the total effect of the campaign was an estimated increase of 104,036 vaccines. The campaign was cost-effective: with an overall budget of about \$100,000, the cost to obtain an additional vaccine was about \$1 or less.
△ Less
Submitted 31 March, 2022; v1 submitted 4 March, 2022;
originally announced March 2022.
-
Direct experimental evidence for substrate adatom incorporation into a molecular overlayer
Authors:
Philip J. Mousley,
Luke A. Rochford,
Paul T. P. Ryan,
Phil J. Blowey,
James Lawrence,
David A. Duncan,
Hadeel Hussain,
Billal Sohail,
Tien-Lin Lee,
Gavin R. Bell,
Giovanni Costantini,
Reinhard J. Maurer,
Chris Nicklin,
D. Phil Woodruff
Abstract:
While the phenomenon of metal substrate adatom incorporation into molecular overlayers is generally believed to occur in several systems, the experimental evidence for this relies on the interpretation of scanning tunnelling microscopy (STM) images, which can be ambiguous and provides no quantitative structural information. We show that surface X-ray diffraction (SXRD) uniquely provides unambiguou…
▽ More
While the phenomenon of metal substrate adatom incorporation into molecular overlayers is generally believed to occur in several systems, the experimental evidence for this relies on the interpretation of scanning tunnelling microscopy (STM) images, which can be ambiguous and provides no quantitative structural information. We show that surface X-ray diffraction (SXRD) uniquely provides unambiguous identification of these metal adatoms. We present the results of a detailed structural study of the Au(111)-F4TCNQ system, combining surface characterisation by STM, low energy electron diffraction and soft X-ray photoelectron spectroscopy with quantitative experimental structural information from normal incidence X-ray standing waves (NIXSW) and SXRD, together with dispersion corrected density functional theory (DFT) calculations. Excellent agreement is found between the NIXSW data and the DFT calculations regarding the height and conformation of the adsorbed molecule, which has a twisted geometry rather than the previously supposed inverted bowl shape. SXRD measurements provide unequivocal evidence for the presence and location of Au adatoms, while the DFT calculations show this reconstruction to be strongly energetically favoured.
△ Less
Submitted 19 April, 2022; v1 submitted 10 November, 2021;
originally announced November 2021.
-
Geometry of Smooth Extremal Surfaces
Authors:
Anna Brosowsky,
Janet Page,
Tim Ryan,
Karen E. Smith
Abstract:
We study the geometry of the smooth projective surfaces that are defined by Frobenius forms, a class of homogenous polynomials in prime characteristic recently shown to have minimal possible F-pure threshold among forms of the same degree. We call these surfaces $\textit{extremal surfaces}$, and show that their geometry is reminiscent of the geometry of smooth cubic surfaces, especially non-Froben…
▽ More
We study the geometry of the smooth projective surfaces that are defined by Frobenius forms, a class of homogenous polynomials in prime characteristic recently shown to have minimal possible F-pure threshold among forms of the same degree. We call these surfaces $\textit{extremal surfaces}$, and show that their geometry is reminiscent of the geometry of smooth cubic surfaces, especially non-Frobenius split cubic surfaces of characteristic two, which are examples of extremal surfaces. For example, we show that an extremal surface $X$ contains $d^2(d^2-3d+3)$ lines where $d$ is the degree, which is notable since the number of lines on a complex surface is bounded above by a quadratic function in $d$. Whenever two of those lines meet, they determine a $d$-tangent plane to $X$ which consists of a union of $d$ lines meeting in one point; we count the precise number of such "star points" on $X$, showing that it is quintic in the degree, which recovers the fact that there are exactly 45 Eckardt points on an extremal cubic surface.
Finally, we generalize the classical notion of a double six for cubic surfaces to a double $2d$ on an extremal surface of degree $d$. We show that, asymptotically in $d$, smooth extremal surfaces have at least $\frac{1}{16}d^{14}$ double $2d$'s. A key element of the proofs is using the large automorphism group of extremal surfaces which we show acts transitively on many sets, such as the set of (triples of skew) lines on the extremal surface. Extremal surfaces are closely related to finite Hermitian geometries, which we recover as the $\mathbb F_{q^2}$-rational points of special extremal surfaces defined by Hermitian forms over $\mathbb F_{q^2}$.
△ Less
Submitted 29 October, 2021;
originally announced October 2021.
-
Minimal free resolutions of sheaves on the projective plane and the stable base locus decomposition of their moduli spaces
Authors:
Manuel Leal,
César Lozano Huerta,
Tim Ryan
Abstract:
The purpose of this paper is to incorporate minimal free resolutions into the study of the birational geometry of the moduli space of coherent sheaves on the plane with character $ξ$, denoted by $M(ξ)$. We show that it is possible to recover the relevant Bridgeland destabilizing object from the minimal free resolution in order to compute the effective cone $\mathrm{Eff}(M(ξ))$ and conjecture a ful…
▽ More
The purpose of this paper is to incorporate minimal free resolutions into the study of the birational geometry of the moduli space of coherent sheaves on the plane with character $ξ$, denoted by $M(ξ)$. We show that it is possible to recover the relevant Bridgeland destabilizing object from the minimal free resolution in order to compute the effective cone $\mathrm{Eff}(M(ξ))$ and conjecture a full relationship between Bridgeland destabilizing objects and minimal free resolutions. Moreover, we also prove that minimal free resolutions, paired with interpolation for vector bundles, yield the movable cone of the Hilbert scheme of $n$ points on the plane $\mathbb{P}^{2[n]}$, for certain values of $n$. We propose a program that computes the full stable base locus decomposition of $\mathbb{P}^{2[n]}$ based on free resolutions and interpolation. We show that this programs yields correct answers for small values of $n$.
△ Less
Submitted 28 October, 2021;
originally announced October 2021.
-
Optimizing for Strategy Diversity in the Design of Video Games
Authors:
Oussama Hanguir,
Will Ma,
Christopher Thomas Ryan,
Jiangze Han
Abstract:
We consider the problem of designing a linear program that has diverse solutions as the right-hand side varies. This problem arises in video game settings where designers aim to have players use different "weapons" or "tactics" as they progress. We model this design question as a choice over the constraint matrix $A$ and cost vector $c$ to maximize the number of possible \emph{supports} of unique…
▽ More
We consider the problem of designing a linear program that has diverse solutions as the right-hand side varies. This problem arises in video game settings where designers aim to have players use different "weapons" or "tactics" as they progress. We model this design question as a choice over the constraint matrix $A$ and cost vector $c$ to maximize the number of possible \emph{supports} of unique optimal solutions (what we call "loadouts") of Linear Programs $\max\{c^\top x \mid Ax \le b, x \ge 0\}$ with nonnegative data considered over all resource vectors $b$. We provide an upper bound on the optimal number of loadouts and provide a family of constructions that have an asymptotically optimal number of loadouts. The upper bound is based on a connection between our problem and the study of triangulations of point sets arising from polyhedral combinatorics, and specifically the combinatorics of the cyclic polytope. Our asymptotically optimal construction also draws inspiration from the properties of the cyclic polytope.
△ Less
Submitted 30 June, 2024; v1 submitted 22 June, 2021;
originally announced June 2021.
-
Irreducibility and singularities of some nested Hilbert schemes
Authors:
Tim Ryan,
Gregory Taylor
Abstract:
Let $S$ be a smooth projective surface over $\mathbb{C}$. We study the local and global geometry of the nested Hilbert scheme of points $S^{[n,n+1,n+2]}$. In particular, we show that $S^{[n,n+1,n+2]}$ is an irreducible local complete intersection with klt singularities. In addition, we compute the Picard group of $S^{[n,n+1,n+2]}$ when $h^1(S,\mathcal{O}_S) = 0$. From the irreducibility of…
▽ More
Let $S$ be a smooth projective surface over $\mathbb{C}$. We study the local and global geometry of the nested Hilbert scheme of points $S^{[n,n+1,n+2]}$. In particular, we show that $S^{[n,n+1,n+2]}$ is an irreducible local complete intersection with klt singularities. In addition, we compute the Picard group of $S^{[n,n+1,n+2]}$ when $h^1(S,\mathcal{O}_S) = 0$. From the irreducibility of $S^{[n,n+1,n+2]}$, we deduce irreducibility for four other infinite families of nested Hilbert schemes. We give the first explicit example of a reducible nested Hilbert scheme, which allows us to show that $S^{[n_1,\dots,n_k]}$ is reducible for $k > 22$.
△ Less
Submitted 11 June, 2021;
originally announced June 2021.
-
Multi-Class Micro-CT Image Segmentation Using Sparse Regularized Deep Networks
Authors:
Amirsaeed Yazdani,
Yung-Chen Sun,
Nicholas B. Stephens,
Timothy Ryan,
Vishal Monga
Abstract:
It is common in anthropology and paleontology to address questions about extant and extinct species through the quantification of osteological features observable in micro-computed tomographic (micro-CT) scans. In cases where remains were buried, the grey values present in these scans may be classified as belonging to air, dirt, or bone. While various intensity-based methods have been proposed to…
▽ More
It is common in anthropology and paleontology to address questions about extant and extinct species through the quantification of osteological features observable in micro-computed tomographic (micro-CT) scans. In cases where remains were buried, the grey values present in these scans may be classified as belonging to air, dirt, or bone. While various intensity-based methods have been proposed to segment scans into these classes, it is often the case that intensity values for dirt and bone are nearly indistinguishable. In these instances, scientists resort to laborious manual segmentation, which does not scale well in practice when a large number of scans are to be analyzed. Here we present a new domain-enriched network for three-class image segmentation, which utilizes the domain knowledge of experts familiar with manually segmenting bone and dirt structures. More precisely, our novel structure consists of two components: 1) a representation network trained on special samples based on newly designed custom loss terms, which extracts discriminative bone and dirt features, 2) and a segmentation network that leverages these extracted discriminative features. These two parts are jointly trained in order to optimize the segmentation performance. A comparison of our network to that of the current state-of-the-art U-NETs demonstrates the benefits of our proposal, particularly when the number of labeled training images are limited, which is invariably the case for micro-CT segmentation.
△ Less
Submitted 21 April, 2021;
originally announced April 2021.
-
The geometry of Hilbert schemes of two points on projective space
Authors:
Tim Ryan
Abstract:
In this paper, we give three bases for the cohomology groups of the Hilbert scheme of two points on projective space. Then, we use these bases to compute all effective and nef cones of higher codimensional cycles on the Hilbert scheme. Next, we compute the class in one of these bases of the Chern classes of tautological bundles coming from line bundles. Finally, we provide an application of these…
▽ More
In this paper, we give three bases for the cohomology groups of the Hilbert scheme of two points on projective space. Then, we use these bases to compute all effective and nef cones of higher codimensional cycles on the Hilbert scheme. Next, we compute the class in one of these bases of the Chern classes of tautological bundles coming from line bundles. Finally, we provide an application of these results to the degrees of secant varieties of complete intersections.
△ Less
Submitted 23 March, 2021;
originally announced March 2021.
-
The sum of the Betti numbers of smooth Hilbert schemes
Authors:
Joseph Donato,
Monica Lewis,
Tim Ryan,
Faustas Udrenas,
Zijian Zhang
Abstract:
In this paper, we compute the sum of the Betti numbers for 6 of the 7 families of smooth Hilbert schemes over projective space.
In this paper, we compute the sum of the Betti numbers for 6 of the 7 families of smooth Hilbert schemes over projective space.
△ Less
Submitted 2 December, 2020;
originally announced December 2020.
-
"Near" Weighted Utilitarian Characterizations of Pareto Optima
Authors:
Yeon-Koo Che,
**woo Kim,
Fuhito Kojima,
Christopher Thomas Ryan
Abstract:
We characterize Pareto optimality via "near" weighted utilitarian welfare maximization. One characterization sequentially maximizes utilitarian welfare functions using a finite sequence of nonnegative and eventually positive welfare weights. The other maximizes a utilitarian welfare function with a certain class of positive hyperreal weights. The social welfare ordering represented by these "near"…
▽ More
We characterize Pareto optimality via "near" weighted utilitarian welfare maximization. One characterization sequentially maximizes utilitarian welfare functions using a finite sequence of nonnegative and eventually positive welfare weights. The other maximizes a utilitarian welfare function with a certain class of positive hyperreal weights. The social welfare ordering represented by these "near" weighted utilitarian welfare criteria is characterized by the standard axioms for weighted utilitarianism under a suitable weakening of the continuity axiom.
△ Less
Submitted 25 March, 2023; v1 submitted 25 August, 2020;
originally announced August 2020.
-
Intrinsic and Extrinsic Approximation of Koopman Operators over Manifolds
Authors:
Sai Tej Paruchuri,
Jia Guo,
Michael Kepler,
Tim Ryan,
Haoran Wang,
Andrew J. Kurdila,
Daniel Stilwell
Abstract:
This paper derives rates of convergence of certain approximations of the Koopman operators that are associated with discrete, deterministic, continuous semiflows on a complete metric space $(X,d_X)$. Approximations are constructed in terms of reproducing kernel bases that are centered at samples taken along the system trajectory. It is proven that when the samples are dense in a certain type of sm…
▽ More
This paper derives rates of convergence of certain approximations of the Koopman operators that are associated with discrete, deterministic, continuous semiflows on a complete metric space $(X,d_X)$. Approximations are constructed in terms of reproducing kernel bases that are centered at samples taken along the system trajectory. It is proven that when the samples are dense in a certain type of smooth manifold $M\subseteq X$, the derived rates of convergence depend on the fill distance of samples along the trajectory in that manifold. Error bounds for projection-based and data-dependent approximations of the Koopman operator are derived in the paper. A discussion of how these bounds are realized in intrinsic and extrinsic approximation methods is given. Finally, a numerical example that illustrates qualitatively the convergence guarantees derived in the paper is given.
△ Less
Submitted 11 April, 2020;
originally announced April 2020.
-
Higher Codimension Cycles on the Hilbert Scheme of Three Points on the Projective Plane
Authors:
Tim Ryan,
Alexander Stathis
Abstract:
In this paper, we study the higher codimensional cycle structure of the Hilbert scheme of three points in the projective plane. In particular, we compute all Chern (and Segre) classes of all tautological bundles on it and compute the nef (effective) cones of cycles in codimensions 2 and 3 (dimensions 2 and 3).
In this paper, we study the higher codimensional cycle structure of the Hilbert scheme of three points in the projective plane. In particular, we compute all Chern (and Segre) classes of all tautological bundles on it and compute the nef (effective) cones of cycles in codimensions 2 and 3 (dimensions 2 and 3).
△ Less
Submitted 29 March, 2020;
originally announced March 2020.
-
On the position of nodes of plane curves
Authors:
Cesar Lozano Huerta,
Tim Ryan
Abstract:
The Severi variety $V_{d,n}$ of plane curves of a given degree $d$ and exactly $n$ nodes admits a map to the Hilbert scheme $\mathbb{P}^{2[n]}$ of zero-dimensional subschemes of $\mathbb{P}^2$ of degree $n$. This map assigns to every curve $C\in V_{d,n}$ its nodes. For some $n$, we consider the image under this map of many known divisors of the Severi variety and its partial compactification. We c…
▽ More
The Severi variety $V_{d,n}$ of plane curves of a given degree $d$ and exactly $n$ nodes admits a map to the Hilbert scheme $\mathbb{P}^{2[n]}$ of zero-dimensional subschemes of $\mathbb{P}^2$ of degree $n$. This map assigns to every curve $C\in V_{d,n}$ its nodes. For some $n$, we consider the image under this map of many known divisors of the Severi variety and its partial compactification. We compute the divisor classes of such images in Pic$(\mathbb{P}^{2[n]})$ and provide enumerative numbers of nodal curves. We also answer directly a question of Diaz-Harris about whether the canonical class of the Severi variety is effective.
△ Less
Submitted 19 February, 2020;
originally announced February 2020.
-
Polysaccharide conformations measured by solution state x-ray scattering
Authors:
Bradley W. Mansel,
Timothy M. Ryan,
Hsin-Lung Chen,
Leif Lundin,
Martin A. K. Williams
Abstract:
Polysaccharides are semi-flexible polymers composed of sugar residues with a myriad of important functions including structural support, energy storage and immunogenicity. The local conformation of such chains is a crucial factor governing their interactions, where the relative orientation of adjacent sugar rings determines the propensity for hydrogen bonding and specific ion-mediated interactions…
▽ More
Polysaccharides are semi-flexible polymers composed of sugar residues with a myriad of important functions including structural support, energy storage and immunogenicity. The local conformation of such chains is a crucial factor governing their interactions, where the relative orientation of adjacent sugar rings determines the propensity for hydrogen bonding and specific ion-mediated interactions with neighbouring chains. Traditionally this conformation has only been directly accessible in the solid-state, using crystallographic techniques such as fibre diffraction. Herein it is demonstrated that improvements in the quality of synchrotron-based x-ray scattering data means that conformation-dependent features, the positions of which are related to the linear repeating distance between single saccharide monomers, can now be measured in solution. This technique is expected to be universally applicable for polysaccharides that consist of comparatively stiff glycosidic linkages, and to have extensive relevance for a number of biological macromolecules, including glycosylated proteins.
△ Less
Submitted 4 September, 2019;
originally announced September 2019.
-
Resolving solution conformations of the model semi-flexible polyelectrolyte homogalacturonan using molecular dynamics simulations and small-angle x-ray scattering
Authors:
Bradley W. Mansel,
Amir Hossein Irani,
Timothy M. Ryan,
Duncan J. McGillivray,
Hsin-Lung Chen,
Martin A. K. Williams
Abstract:
The conformation of polyelectrolytes in the solution state has long been of interest in polymer science. Herein we utilize all atom molecular dynamics simulations (MD) and small-angle x-ray scattering experiments (SAXS) to elucidate the molecular structure of the model polyelectrolyte homogalacturonan. Several degrees of polymerization were studied and in addition partial methylesterification of t…
▽ More
The conformation of polyelectrolytes in the solution state has long been of interest in polymer science. Herein we utilize all atom molecular dynamics simulations (MD) and small-angle x-ray scattering experiments (SAXS) to elucidate the molecular structure of the model polyelectrolyte homogalacturonan. Several degrees of polymerization were studied and in addition partial methylesterification of the otherwise charge-carrying carboxyl groups was used in order to generate samples with varying intra-chain charge distributions. It is shown that at length scales above around 1 nm the conformation of isolated chains has surprisingly little dependence on the charge distribution or the concentration of attendant monovalent salts, reflective of the intrinsic stiffness of the saccharide rings and the dynamical constraints of the glycosidic linkage. Indeed the conformation of isolated chains over all accessible length-scales is well described by the atomic co-ordinates available from fibre diffraction studies. Furthermore, in more concentrated systems it is shown that, after careful analysis of the SAXS data, the form of the inter-particle effects heralded by the emergence of a so-called polyelectrolyte peak, can be extracted, and that this phenomena can be reproduced by multiple chain MD simulations.
△ Less
Submitted 24 December, 2018;
originally announced December 2018.
-
Mixed-integer bilevel representability
Authors:
Amitabh Basu,
Christopher Thomas Ryan,
Sriram Sankaranarayanan
Abstract:
We study the representability of sets that admit extended formulations using mixed-integer bilevel programs. We show that feasible regions modeled by continuous bilevel constraints (with no integer variables), complementarity constraints, and polyhedral reverse convex constraints are all finite unions of polyhedra. Conversely, any finite union of polyhedra can be represented using any one of these…
▽ More
We study the representability of sets that admit extended formulations using mixed-integer bilevel programs. We show that feasible regions modeled by continuous bilevel constraints (with no integer variables), complementarity constraints, and polyhedral reverse convex constraints are all finite unions of polyhedra. Conversely, any finite union of polyhedra can be represented using any one of these three paradigms. We then prove that the feasible region of bilevel problems with integer constraints exclusively in the upper level is a finite union of sets representable by mixed-integer programs and vice versa. Further, we prove that, up to topological closures, we do not get additional modeling power by allowing integer variables in the lower level as well. To establish the last statement, we prove that the family of sets that are finite unions of mixed-integer representable sets forms an algebra of sets (up to topological closures).
△ Less
Submitted 9 October, 2018; v1 submitted 11 August, 2018;
originally announced August 2018.
-
On the birational geometry of Hilbert schemes of points and Severi divisors
Authors:
Cesar Lozano Huerta,
Tim Ryan
Abstract:
We study the birational geometry of Hilbert schemes of points on non-minimal surfaces. In particular, we study the weak Lefschetz Principle in the context of birational geometry. We focus on the interaction of the stable base locus decomposition (SBLD) of the cones of effective divisors of $X^{[n]}$ and $Y^{[n]}$, when there is a birational morphism $f:X\rightarrow Y$ between surfaces. In this set…
▽ More
We study the birational geometry of Hilbert schemes of points on non-minimal surfaces. In particular, we study the weak Lefschetz Principle in the context of birational geometry. We focus on the interaction of the stable base locus decomposition (SBLD) of the cones of effective divisors of $X^{[n]}$ and $Y^{[n]}$, when there is a birational morphism $f:X\rightarrow Y$ between surfaces. In this setting, $N^1(Y^{[n]})$ embeds in $N^1(X^{[n]})$, and we ask if the restriction of the stable base locus decomposition of $N^1(X^{[n]})$ yields the respective decomposition in $N^1(Y^{[n]})$ $i.e.$, if the weak Lefschetz Principle holds. Even though the stable base loci in $N^1(X^{[n]})$ fails to provide information about how the two decompositions interact, we show that the restriction of the augmented stable base loci of $X^{[n]}$ to $Y^{[n]}$ is equal to the stable base locus decomposition of $Y^{[n]}$. We also exhibit effective divisors induced by Severi varieties. We compute the classes of such divisors and observe that in the case that $X$ is the projective plane, these divisors yield walls of the SBLD for some cases.
△ Less
Submitted 30 September, 2019; v1 submitted 25 July, 2018;
originally announced July 2018.
-
Mixed-integer linear representability, disjunctions, and Chvatal functions --- modeling implications
Authors:
Amitabh Basu,
Kipp Martin,
Christopher Thomas Ryan,
Guanyi Wang
Abstract:
Jeroslow and Lowe gave an exact geometric characterization of subsets of $\mathbb{R}^n$ that are projections of mixed-integer linear sets, also known as MILP-representable or MILP-R sets. We give an alternate algebraic characterization by showing that a set is MILP-R {\em if and only if} the set can be described as the intersection of finitely many {\em affine Chvatal inequalities} in continuous v…
▽ More
Jeroslow and Lowe gave an exact geometric characterization of subsets of $\mathbb{R}^n$ that are projections of mixed-integer linear sets, also known as MILP-representable or MILP-R sets. We give an alternate algebraic characterization by showing that a set is MILP-R {\em if and only if} the set can be described as the intersection of finitely many {\em affine Chvatal inequalities} in continuous variables (termed AC sets). These inequalities are a modification of a concept introduced by Blair and Jeroslow. Unlike the case for linear inequalities, allowing for integer variables in Chvatal inequalities and projection does not enhance modeling power. We show that the MILP-R sets are still precisely those sets that are modeled as affine Chvatal inequalites with integer variables. Furthermore, the projection of a set defined by affine Chvatal inequalites with integer variables is still an MILP-R set.
We give a sequential variable elimination scheme that, when applied to a MILP-R set yields the AC set characterization. This is related to the elimination scheme of Williams and Williams-Hooker, who describe projections of integer sets using \emph{disjunctions} of affine Chvatal systems. We show that disjunctions are unnecessary by showing how to find the affine Chvatal inequalities that cannot be discovered by the Williams-Hooker scheme. This allows us to answer a long-standing open question due to Ryan (1991) on designing an elimination scheme to represent finitely-generated integral monoids as a system of Chvatal inequalities \emph{without} disjunctions. Finally, our work can be seen as a generalization of the approach of Blair and Jeroslow, and Schrijver for constructing consistency testers for integer programs to general AC sets.
△ Less
Submitted 19 November, 2017;
originally announced November 2017.
-
The discrete moment problem with nonconvex shape constraints
Authors:
Xi Chen,
Simai He,
Bo Jiang,
Christopher Thomas Ryan,
Teng Zhang
Abstract:
The discrete moment problem is a foundational problem in distribution-free robust optimization, where the goal is to find a worst-case distribution that satisfies a given set of moments. This paper studies the discrete moment problems with additional "shape constraints" that guarantee the worst case distribution is either log-concave or has an increasing failure rate. These classes of shape constr…
▽ More
The discrete moment problem is a foundational problem in distribution-free robust optimization, where the goal is to find a worst-case distribution that satisfies a given set of moments. This paper studies the discrete moment problems with additional "shape constraints" that guarantee the worst case distribution is either log-concave or has an increasing failure rate. These classes of shape constraints have not previously been studied in the literature, in part due to their inherent nonconvexities. Nonetheless, these classes of distributions are useful in practice. We characterize the structure of optimal extreme point distributions by develo** new results in reverse convex optimization, a lesser-known tool previously employed in designing global optimization algorithms. We are able to show, for example, that an optimal extreme point solution to a moment problem with $m$ moments and log-concave shape constraints is piecewise geometric with at most $m$ pieces. Moreover, this structure allows us to design an exact algorithm for computing optimal solutions in a low-dimensional space of parameters. Moreover, We describe a computational approach to solving these low-dimensional problems, including numerical results for a representative set of instances.
△ Less
Submitted 7 August, 2017;
originally announced August 2017.
-
Nef cones of nested Hilbert schemes of points on surfaces
Authors:
Tim Ryan,
Ruijie Yang
Abstract:
Let $X$ be the projective plane, a Hirzebruch surface, or a general $K3$ surface. In this paper, we study the birational geometry of various nested Hilbert schemes of points parameterizing pairs of zero-dimensional subschemes on $X$. We calculate the nef cone for two types of nested Hilbert schemes: $X^{[n+1,n]}$ and universal families. As an application, we recover a theorem of Butler on syzygies…
▽ More
Let $X$ be the projective plane, a Hirzebruch surface, or a general $K3$ surface. In this paper, we study the birational geometry of various nested Hilbert schemes of points parameterizing pairs of zero-dimensional subschemes on $X$. We calculate the nef cone for two types of nested Hilbert schemes: $X^{[n+1,n]}$ and universal families. As an application, we recover a theorem of Butler on syzygies on Hirzebruch surfaces.
△ Less
Submitted 25 March, 2020; v1 submitted 2 August, 2017;
originally announced August 2017.
-
The Effective Cone of Moduli Spaces of Sheaves on a Smooth Quadric Surface
Authors:
Tim Ryan
Abstract:
Let $ξ$ be a stable Chern character on $\mathbb{P}^1 \times \mathbb{P}^1$, and let $M(ξ)$ be the moduli space of Gieseker semistable sheaves on $\mathbb{P}^1 \times \mathbb{P}^1$ with Chern character $ξ$. In this paper, we provide an approach to computing the effective cone of $M(ξ)$ after showing that it is a Mori dream space for all $ξ$. We find Brill-Noether divisors spanning extremal rays of t…
▽ More
Let $ξ$ be a stable Chern character on $\mathbb{P}^1 \times \mathbb{P}^1$, and let $M(ξ)$ be the moduli space of Gieseker semistable sheaves on $\mathbb{P}^1 \times \mathbb{P}^1$ with Chern character $ξ$. In this paper, we provide an approach to computing the effective cone of $M(ξ)$ after showing that it is a Mori dream space for all $ξ$. We find Brill-Noether divisors spanning extremal rays of the effective cone using resolutions of the general elements of $M(ξ)$ which are found using the machinery of exceptional bundles. We use this approach to provide many examples of extremal rays in these effective cones. In particular, we completely compute the effective cone of the first fifteen Hilbert schemes of points on $\mathbb{P}^1 \times \mathbb{P}^1$.
△ Less
Submitted 24 July, 2016;
originally announced July 2016.
-
Strong duality and sensitivity analysis in semi-infinite linear programming
Authors:
Amitabh Basu,
Kipp Martin,
Christopher Thomas Ryan
Abstract:
Finite-dimensional linear programs satisfy strong duality (SD) and have the "dual pricing" (DP) property. The (DP) property ensures that, given a sufficiently small perturbation of the right-hand-side vector, there exists a dual solution that correctly "prices" the perturbation by computing the exact change in the optimal objective function value. These properties may fail in semi-infinite linear…
▽ More
Finite-dimensional linear programs satisfy strong duality (SD) and have the "dual pricing" (DP) property. The (DP) property ensures that, given a sufficiently small perturbation of the right-hand-side vector, there exists a dual solution that correctly "prices" the perturbation by computing the exact change in the optimal objective function value. These properties may fail in semi-infinite linear programming where the constraint vector space is infinite dimensional. Unlike the finite-dimensional case, in semi-infinite linear programs the constraint vector space is a modeling choice. We show that, for a sufficiently restricted vector space, both (SD) and (DP) always hold, at the cost of restricting the perturbations to that space. The main goal of the paper is to extend this restricted space to the largest possible constraint space where (SD) and (DP) hold. Once (SD) or (DP) fail for a given constraint space, then these conditions fail for all larger constraint spaces. We give sufficient conditions for when (SD) and (DP) hold in an extended constraint space. Our results require the use of linear functionals that are singular or purely finitely additive and thus not representable as finite support vectors. The key to understanding these linear functionals is the extension of the Fourier-Motzkin elimination procedure to semi-infinite linear programs.
△ Less
Submitted 26 October, 2015;
originally announced October 2015.
-
Initial Performance of the NEOWISE Reactivation Mission
Authors:
A. Mainzer,
J. Bauer,
R. M. Cutri,
T. Grav,
J. Masiero,
R. Beck,
P. Clarkson,
T. Conrow,
J. Dailey,
P. Eisenhardt,
B. Fabinsky,
S. Fajardo-Acosta,
J. Fowler,
C. Gelino,
C. Grillmair,
I. Heinrichsen,
M. Kendall,
J. Davy Kirkpatrick,
F. Liu,
F. Masci,
H. McCallon,
C. R. Nugent,
M. Papin,
E. Rice,
D. Royer
, et al. (10 additional authors not shown)
Abstract:
NASA's Wide-field Infrared Survey Explorer (WISE) spacecraft has been brought out of hibernation and has resumed surveying the sky at 3.4 and 4.6 um. The scientific objectives of the NEOWISE reactivation mission are to detect, track, and characterize near-Earth asteroids and comets. The search for minor planets resumed on December 23, 2013, and the first new near-Earth object (NEO) was discovered…
▽ More
NASA's Wide-field Infrared Survey Explorer (WISE) spacecraft has been brought out of hibernation and has resumed surveying the sky at 3.4 and 4.6 um. The scientific objectives of the NEOWISE reactivation mission are to detect, track, and characterize near-Earth asteroids and comets. The search for minor planets resumed on December 23, 2013, and the first new near-Earth object (NEO) was discovered six days later. As an infrared survey, NEOWISE detects asteroids based on their thermal emission and is equally sensitive to high and low albedo objects; consequently, NEOWISE-discovered NEOs tend to be large and dark. Over the course of its three-year mission, NEOWISE will determine radiometrically-derived diameters and albedos for approximately 2000 NEOs and tens of thousands of Main Belt asteroids. The 32 months of hibernation have had no significant effect on the mission's performance. Image quality, sensitivity, photometric and astrometric accuracy, completeness, and the rate of minor planet detections are all essentially unchanged from the prime mission's post-cryogenic phase.
△ Less
Submitted 23 June, 2014;
originally announced June 2014.
-
A parametric integer programming algorithm for bilevel mixed integer programs
Authors:
Matthias Köppe,
Maurice Queyranne,
Christopher Thomas Ryan
Abstract:
We consider discrete bilevel optimization problems where the follower solves an integer program with a fixed number of variables. Using recent results in parametric integer programming, we present polynomial time algorithms for pure and mixed integer bilevel problems. For the mixed integer case where the leader's variables are continuous, our algorithm also detects whether the infimum cost fails…
▽ More
We consider discrete bilevel optimization problems where the follower solves an integer program with a fixed number of variables. Using recent results in parametric integer programming, we present polynomial time algorithms for pure and mixed integer bilevel problems. For the mixed integer case where the leader's variables are continuous, our algorithm also detects whether the infimum cost fails to be attained, a difficulty that has been identified but not directly addressed in the literature. In this case it yields a ``better than fully polynomial time'' approximation scheme with running time polynomial in the logarithm of the relative precision. For the pure integer case where the leader's variables are integer, and hence optimal solutions are guaranteed to exist, we present two algorithms which run in polynomial time when the total number of variables is fixed.
△ Less
Submitted 2 November, 2009; v1 submitted 7 July, 2009;
originally announced July 2009.
-
Rational Generating Functions and Integer Programming Games
Authors:
Matthias Köppe,
Christopher Thomas Ryan,
Maurice Queyranne
Abstract:
We explore the computational complexity of computing pure Nash equilibria for a new class of strategic games called integer programming games with difference of piecewise linear convex payoffs. Integer programming games are games where players' action sets are integer points inside of polytopes. Using recent results from the study of short rational generating functions for encoding sets of integ…
▽ More
We explore the computational complexity of computing pure Nash equilibria for a new class of strategic games called integer programming games with difference of piecewise linear convex payoffs. Integer programming games are games where players' action sets are integer points inside of polytopes. Using recent results from the study of short rational generating functions for encoding sets of integer points pioneered by Alexander Barvinok, we present efficient algorithms for enumerating all pure Nash equilibria, and other computations of interest, such as the pure price of anarchy, and pure threat point, when the dimension and number of "convex" linear pieces in the payoff functions are fixed. Sequential games where a leader is followed by competing followers (a Stackelberg--Nash setting) are also considered.
△ Less
Submitted 3 September, 2008;
originally announced September 2008.
-
Ligand Rebinding: Self-consistent Mean-field Theory and Numerical Simulations Applied to SPR Studies
Authors:
Manoj Gopalakrishnan,
Kimberly Forsten-Williams,
Theressa R. Cassino,
Luz Padro,
Thomas E. Ryan,
Uwe C. Tauber
Abstract:
Rebinding of dissociated ligands from cell surface proteins can confound quantitative measurements of dissociation rates important for characterizing the affinity of binding interactions. This can be true also for in vitro techniques such as surface plasmon resonance (SPR). We present experimental results using SPR for the interaction of insulin-like growth factor-I (IGF-I) with one of its bindi…
▽ More
Rebinding of dissociated ligands from cell surface proteins can confound quantitative measurements of dissociation rates important for characterizing the affinity of binding interactions. This can be true also for in vitro techniques such as surface plasmon resonance (SPR). We present experimental results using SPR for the interaction of insulin-like growth factor-I (IGF-I) with one of its binding proteins, IGF binding protein-3 (IGFBP-3), and show that rebinding, even with the addition of soluble heparin in the dissociation phase, does not exhibit the expected exponential decay characteristic of a 1:1 binding reaction. We thus consider the effect of (multiple) rebinding events and, within a self-consistent mean-field approximation, we derive the complete mathematical form for the fraction of bound ligand as a function of time. We show that, except for very low surface coverage/association rate, this function is non-exponential at all times, indicating that multiple rebinding events strongly influence dissociation even at early times. We compare the mean-field results with numerical simulations and find good agreement, although deviations are measurable in certain cases. Our analysis of the IGF-I-IGFBP-3 data indicates that rebinding is prominent for this system and that the theoretical predictions fit the experimental data well. Our results provide a means for analyzing SPR biosensor data where rebinding is problematic and a methodology to do so is presented.
△ Less
Submitted 1 February, 2005; v1 submitted 2 June, 2004;
originally announced June 2004.