arXiv ScienceSearch

arXiv subjects

Brian Cook

Publications and source records attributed to Brian Cook.

18 recordsLinked to original sources

Prompt Programming for Cultural Bias and Alignment of Large Language Models

Culture shapes reasoning, values, prioritization, and strategic decision-making, yet large language models (LLMs) often exhibit cultural biases that misalign with target populations. As LLMs are increasingly used for strategic decision-making, policy support, and document engineering tasks such as summarization, categorization, and compliance-oriented auditing, improving cultural alignment is important for ensuring that downstream analyses and recommendations reflect target-population value profiles rather than default model priors. Previous work introduced a survey-grounded cultural alignment framework and showed that culture-specific prompting can reduce misalignment, but it primarily evaluated proprietary models and relied on manual prompt engineering. In this paper, we validate and extend that framework by reproducing its social sciences survey based projection and distance metrics on open-weight LLMs, testing whether the same cultural skew and benefits of culture conditioning persist outside closed LLM systems. Building on this foundation, we introduce use of prompt programming with DSPy for this problem-treating prompts as modular, optimizable programs-to systematically tune cultural conditioning by optimizing against cultural-distance objectives. In our experiments, we show that prompt optimization often improves upon cultural prompt engineering, suggesting prompt compilation with DSPy can provide a more stable and transferable route to culturally aligned LLM responses.

cs.AI

Preserving security in a world with powerful AI Considerations for the future Defense Architecture

Advances in AI threaten to invalidate assumptions underpinning today's defense architecture. We argue that the current U.S. defense program of record, designed in an era before capable machine intelligence, cannot by itself preserve national security against rapidly emerging AI enabled threats. Instead, shoring up legacy systems must be coupled with entirely new elements of a defense architecture. We outline immediate steps to adapt the Department of Energy National Nuclear Security Administration National Laboratories to ensure agility and resilience in an era of powerful AI.

cs.CY

Multilinear maximal operators associated to simplices

We establish $L^{p_1}\times\cdots\times L^{p_k}\to L^r$ and $\ell^{p_1}\times\cdots\times \ell^{p_k}\to \ell^r$ type bounds for multilinear maximal operators associated to averages over isometric copies of a given non-degenerate $k$-simplex in both the continuous and discrete settings. These provide natural extensions of $L^p\to L^p$ and $\ell^p\to \ell^p$ bounds for Stein's spherical maximal operator and the discrete spherical maximal operator, with each of these results serving as a key ingredient of the respective proofs.

math.CA

Supercritical discrete restriction estimates for forms in many variables

We prove discrete restriction estimates for a broad class of hypersurfaces and varieties of intermediate codimension. For our result about hypersurfaces, we use Bourgain's arithmetic version of the Tomas--Stein method and Magyar's decomposition of Birch's hypersurfaces. For our result about varieties of higher codimension, we use the even moment method and works of Birch and Schmidt.

math.CA

Bounds for Lacunary maximal functions given by Birch--Magyar averages

We obtain positive and negative results concerning lacunary discrete maximal operators defined by dilations of sufficiently nonsingular hypersurfaces arising from Diophantine equations in many variables. Our negative results show that this problem differs substantially from that of lacunary discrete maximal operators defined along a nonsingular hypersurface. Our positive results are improvements over bounds for the corresponding full maximal functions which were initially studied by Magyar. In order to obtain positive results, we use an interpolation technique of the second author to reduce problem to a maximal function of main terms. The main terms take the shape of those introduced in work of the first author, which is a more localized version of the main terms that appear in work of Magyar. The main ingredient of this paper is a new bound on the main terms near $\ell^1$. For our negative results we generalize an argument of Zienkiewicz.

math.CA

Prediction of Silicate Glasses' Stiffness by High-Throughput Molecular Dynamics Simulations and Machine Learning

The development by machine learning of models predicting materials' properties usually requires the use of a large number of consistent data for training. However, quality experimental datasets are not always available or self-consistent. Here, as an alternative route, we combine machine learning with high-throughput molecular dynamics simulations to predict the Young's modulus of silicate glasses. We demonstrate that this combined approach offers excellent predictions over the entire compositional domain. By comparing the performance of select machine learning algorithms, we discuss the nature of the balance between accuracy, simplicity, and interpretability in machine learning.

cond-mat.mtrl-sci

A note on discrete spherical averages over sparse sequences

This note presents an example of an increasing sequence $(\lambda_l)_{l=1}^\infty$ such that the maximal operators associated to normalized discrete spherical convolution averages \[ \sup_{l\geq 1}\frac{1}{r(\lambda_l)}\left|\sum_{|x|^2=\lambda_l}f(y-x)\right|\] for functions $f:\mathbb{Z}^n\to\mathbb{C}^n$ are bounded on $\ell^p$ for all $p>1$ when the ambient dimension $n$ is at least five.

math.CA

Discrete multilinear spherical averages

In this note we give a characterization of $\ell^{p}\times ...\times \ell^{p}\to\ell^q$ boundedness of maximal operators associated to multilinear convolution averages over spheres in $\mathbb{Z}^n$.

math.CA

Maximal Function Inequalities and a Theorem of Birch

In this paper we prove an analogue of the discrete spherical maximal theorem of Magyar, Stein, and Wainger, an analogue which concerns maximal functions associated to homogenous algebraic surfaces. Let $\mathfrak{p}$ be a homogenous polynomial in $n$ variables with integer coefficients of degree $d>1$. The maximal functions we consider are defined by \[ A_*f(y)=\sup_{N\geq1}\left|\frac{1}{r(N)}\sum_{\mathfrak{p}(x)=0;\,x\in[N]^n}f(y-x)\right|\] for functions $f:\mathbb{Z}^n\to\mathbb{C}$, where $[N]=\{-N,-N+1,...,N\}$ and $r(N)$ represents the number of integral points on the surface defined by $\mathfrak{p}(x)=0$ inside the $n$-cube $[N]^n.$ It is shown here that the operators $A_*$ are bounded on $\ell^p$ in the optimal range $p>1$ under certain regularity assumptions on the polynomial $\mathfrak{p}$.

math.NT

Improved $\ell^p$-Boundedness for Integral $k$-Spherical Maximal Functions

We improve the range of $\ell^p(\mathbb Z^d)$-boundedness of the integral $k$-spherical maximal functions introduced by Magyar. The previously best known bounds for the full $k$-spherical maximal function require the dimension $d$ to grow at least cubicly with the degree $k$. Combining ideas from our prior work with recent advances in the theory of Weyl sums by Bourgain, Demeter, and Guth and by Wooley, we reduce this cubic bound to a quadratic one. As an application, we deduce improved bounds in the ergodic Waring--Goldbach problem.

math.CA

On the ergodic Waring--Goldbach problem

We prove an asymptotic formula for the Fourier transform of the arithmetic surface measure associated to the Waring--Goldbach problem and provide several applications, including bounds for discrete spherical maximal functions along the primes and distribution results such as ergodic theorems.

math.CA

A Roth type theorem for dense subsets of $\mathbb{R}^d$

Let $1 < p < \infty$, $p\neq 2$. We prove that if $d\geq d_p$ is sufficiently large, and $A\subs\R^d$ is a measurable set of positive upper density then there exists $\la_0=\la_0(A)$ such for all $\la\geq\la_0$ there are $x,y\in\R^d$ such that $\{x,x+y,x+2y\}\subs A$ and $|y|_p=\la$, where $||y||_p=(\sum_i |y_i|^p)^{1/p}$ is the $l^p(\mathbb R^d)$-norm of a point $y=(y_1,\ldots,y_d)\in\R^d$. This means that dense subsets of $\R^d$ contain 3-term progressions of all sufficiently large gaps when the gap size is measured in the $l^p$-metric. This statement is known to be false in the Euclidean $l^2$-metric as well as in the $l^1$ and $\ell^{\infty}$-metrics. One of the goals of this note is to understand this phenomenon. A distinctive feature of the proof is the use of multilinear singular integral operators, widely studied in classical time-frequency analysis, in the estimation of forms counting configurations.

math.CO

Diophantine equations in the primes

Let $\mathfrak{p}=(\mathfrak{p}_1,...,\mathfrak{p}_r)$ be a system of $r$ polynomials with integer coefficients of degree $d$ in $n$ variables $\mathbf{x}=(x_1,...,x_n)$. For a given $r$-tuple of integers, say $\mathbf{s}$, a general local to global type statement is shown via classical Hardy-Littlewood type methods which provides sufficient conditions for the solubility of $\mathfrak{p}(\mathbf{x})=\mathbf{s}$ under the condition that each of the $x_i$'s is prime.

math.NT

A Multidimensional Szemer\'edi Theorem in the primes

Let $A$ be a subset of positive relative upper density of $\PP^d$, the $d$-tuples of primes. We prove that $A$ contains an affine copy of any finite set $F\subs\Z^d$, which provides a natural multi-dimensional extension of the theorem of Green and Tao on the existence of long arithmetic progressions in the primes. The proof uses the hypergraph approach by assigning a pseudo-random weight system to the pattern $F$ on a $d+1$-partite hypergraph; a novel feature being that the hypergraph is no longer uniform with weights attached to lower dimensional edges. Then, instead of using a transference principle, we proceed by extending the proof of the so-called hypergraph removal lemma to our settings, relying only on the linear forms condition of Green and Tao.

math.NT

On restricted arithmetic progressions over finite fields

Let A be a subset of $\F_p^n$, the $n$-dimensional linear space over the prime field $\F_p$ of size at least $\de N$ $(N=p^n)$, and let $S_v=P^{-1}(v)$ be the level set of a homogeneous polynomial map $P:\F_p^n\to\F_p^R$ of degree $d$, and $v\in\F_p^R$. We show, that under appropriate conditions, the set $A$ contains at least $c\, N|S|$ arithmetic progressions of length $l\leq d$ with common difference in $S_v$, where c is a positive constant depending on $\de$, $l$ and $P$. We also show that the conditions are generic for a class of sparse algebraic sets of density $\approx N^{-\eps}$.

math.NT

Constellations in P^d

Let A be a subset of positive relative upper density of P^d, the d-tuples of primes. We prove that A contains an affine copy of any finite set of lattice points E, as long as E is in general position in the sense that it has at most one point on every coordinate hyperplane.

math.NT

Torsion points on elliptic curves with complex multiplication

We present seven theorems on the structure of prime order torsion points on CM elliptic curves defined over number fields. The first three results refine bounds of Silverberg and Prasad-Yogananda by taking into account the class number of the CM order and the splitting of the prime in the CM field. In many cases we can show that our refined bounds are optimal or asymptotically optimal. We also derive asymptotic upper and lower bounds on the least degree of a CM-point on X_1(N). Upon comparison to bounds for the least degree for which there exist infinitely many rational points on X_1(N), we deduce that, for sufficiently large N, X_1(N) will have a rational CM point of degree smaller than the degrees of at least all but finitely many non-CM points.

math.NT