Source author record

Brandon Carter

Brandon Carter appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

22works
15topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

22 published item(s)

preprint2022arXiv

Embedding Comparator: Visualizing Differences in Global Structure and Local Neighborhoods via Small Multiples

Embeddings mapping high-dimensional discrete input to lower-dimensional continuous vector spaces have been widely adopted in machine learning applications as a way to capture domain semantics. Interviewing 13 embedding users across disciplines, we find comparing embeddings is a key task for deployment or downstream analysis but unfolds in a tedious fashion that poorly supports systematic exploration. In response, we present the Embedding Comparator, an interactive system that presents a global comparison of embedding spaces alongside fine-grained inspection of local neighborhoods. It systematically surfaces points of comparison by computing the similarity of the $k$-nearest neighbors of every embedded object between a pair of spaces. Through case studies across multiple modalities, we demonstrate our system rapidly reveals insights, such as semantic changes following fine-tuning, language changes over time, and differences between seemingly similar models. In evaluations with 15 participants, we find our system accelerates comparisons by shifting from laborious manual specification to browsing and manipulating visualizations.

preprint2022arXiv

Maximum n-times Coverage for Vaccine Design

We introduce the maximum $n$-times coverage problem that selects $k$ overlays to maximize the summed coverage of weighted elements, where each element must be covered at least $n$ times. We also define the min-cost $n$-times coverage problem where the objective is to select the minimum set of overlays such that the sum of the weights of elements that are covered at least $n$ times is at least $τ$. Maximum $n$-times coverage is a generalization of the multi-set multi-cover problem, is NP-complete, and is not submodular. We introduce two new practical solutions for $n$-times coverage based on integer linear programming and sequential greedy optimization. We show that maximum $n$-times coverage is a natural way to frame peptide vaccine design, and find that it produces a pan-strain COVID-19 vaccine design that is superior to 29 other published designs in predicted population coverage and the expected number of peptides displayed by each individual's HLA molecules.

preprint2021arXiv

Lost in Pruning: The Effects of Pruning Neural Networks beyond Test Accuracy

Neural network pruning is a popular technique used to reduce the inference costs of modern, potentially overparameterized, networks. Starting from a pre-trained network, the process is as follows: remove redundant parameters, retrain, and repeat while maintaining the same test accuracy. The result is a model that is a fraction of the size of the original with comparable predictive performance (test accuracy). Here, we reassess and evaluate whether the use of test accuracy alone in the terminating condition is sufficient to ensure that the resulting model performs well across a wide spectrum of "harder" metrics such as generalization to out-of-distribution data and resilience to noise. Across evaluations on varying architectures and data sets, we find that pruned networks effectively approximate the unpruned model, however, the prune ratio at which pruned networks achieve commensurate performance varies significantly across tasks. These results call into question the extent of \emph{genuine} overparameterization in deep learning and raise concerns about the practicability of deploying pruned networks, specifically in the context of safety-critical systems, unless they are widely evaluated beyond test accuracy to reliably predict their performance. Our code is available at https://github.com/lucaslie/torchprune.

preprint2012arXiv

Classical Anthropic Everett model: indeterminacy in a preordained multiverse

Although ultimately motivated by quantum theoretical considerations, Everett's many-world idea remains valid, as an approximation, in the classical limit. However to be applicable it must in any case be applied in conjunction with an appropriate anthropic principle, whose precise formulation involves an anthropic quotient that can be normalised to unity for adult humans but that would be lower for infants and other animals. The outcome is a deterministic multiverse in which the only function of chance is the specification of one's particular identity.

preprint2012arXiv

The regular conducting fluid model for relativistic thermodynamics

The "regular" model presented here can be considered to be the most natural solution to the problem of constructing the simplest possible relativistic analogue of the category of classical Fourier--Euler thermally conducting fluid models as characterised by a pair of equations of state for just two dependent variables (an equilibrium density and a conducting scalar). The historically established but causally unsatisfactory solution to this problem due to Eckart is shown to be based on an ansatz that is interpretable as postulating a most unnatural relation between the (particle and entropy) velocities and their associated momenta, which accounts for the well known bad behaviour of that model which has recently been shown to have very pathological mixed-elliptic-hyperbolic comportments. The newer (and more elegant) solution of Landau and Lifshitz has a more mathematically respectable parabolic-hyperbolic comportment, but is still compatible with a well posed initial value problem only in such a restricted limit-case such as that of linearised perturbations of a static background. For mathematically acceptable behaviour undermore general circumstances, and a fortiori for the physically motivated requirement of subluminal signal propagation, only strictly hyperbolic behaviour is acceptable. Attention is drawn here to the availability of a more modern "regular" solution which, is fully satisfactory as far as all these requirements are concerned. This "regular" category of relativistic conducting fluid models arises naturally within a recently developed variational approach, in which the traditionally important stress--momentum-energy density tensor is relegated to a secondary role, while the relevant covariant 4-momentum co-vectors are instead brought to the fore.

preprint2011arXiv

Classical dynamics of strings and branes, with application to vortons

These notes offer an introductory overview of the essentials of classical brane dynamics in a space-time background of arbitrary dimension, using a systematic geometric treatment emphasising the role of the second fundamental tensor and its trace, the curvature vector $K^μ$. This approach is applied to the problem of stability of vorton equilibrium states of cosmic string loops in an ordinary 4-dimensional background.

preprint2011arXiv

Hominid evolution: genetics versus memetics

The last few million years on planet Earth have witnessed two remarkable phases of hominid development, starting with a phase of biological evolution characterised by rather rapid increase of the size of the brain. This has been followed by a phase of even more rapid technological evolution and concomitant expansion of the size of the population, that began when our own particular `sapiens' species emerged, just a few hundred thousand years ago. The present investigation exploits the analogy between the neo-Darwinian genetic evolution mechanism governing the first phase, and the memetic evolution mechanism governing the second phase. From the outset of the latter until very recently -- about the year 2000 -- the growth of the global population N was roughly governed by an equation of the form dN/Ndt= N/T*, in which T* is a coefficient introduced (in 1960) by von Foerster, who evaluated it empirically as about two hundred thousand million years. It is shown here how the value of this hitherto mysterious timescale governing the memetic phase is explicable in terms of what happenned in the preceding genetic phase. The outcome is that the order of magnitude of the Foerster timescale can be accounted for as the product of the relevant (human) generation timescale, about 20 years, with the number of bits of information in the genome, of the order of ten thousand million. Whereas the origin of our `homo' genus may well have involved an evolutionary hard step, it transpires that the emergence of our particular `sapiens' species was rather an automatic process.

preprint2010arXiv

Fields in nonaffine bundles. IV. Harmonious non-Abelian currents in string defects

This article continues the study of the category of harmonious field models that was recently introduced as a kinetically non-linear generalisation of the well known harmonic category of multiscalar fields over a supporting brane wordsheet in a target space with a curved Riemannian metric. Like the perfectly harmonious case of which a familiar example is provided by ordinary barotropic perfect fluids, another important subcategory is the simply harmonious case, for which it is shown that as well as ``wiggle'' modes of the underlying brane world sheet, and sound type longitudinal modes, there will also be transverse shake modes that propagate at the speed of light. Models of this type are shown to arise from a non-Abelian generalisation of the Witten mechanism for conducting string formation by ordinary scalar fields with a suitable quartic self coupling term in the action.

preprint2009arXiv

Fields in nonaffine bundles. III. Effective symmetries and conserved currents in strings and higher branes

The principles of a previously developed formalism for the covariant treatment of multi-scalar fields for which (as in a nonlinear sigma model) the relevant target space is not of affine type -- but curved -- are recapitulated. Their application is extended from ordinary harmonic models to a more general category of "harmonious" field models, with emphasis on cases in which the field is confined to a string or higher brane worldsheet, and for which the relevant internal symmetry group is non Abelian, so that the conditions for conservation of the corresponding charge currents become rather delicate, particularly when the symmetry is gauged. Attention is also given to the conditions for conservation of currents of a different kind -- representing surface fluxes of generalised momentum or energy -- associated with symmetries not of the internal target space but of the underlying spacetime background structure, including the metric and any relevant gauge field. For the corresponding current to be conserved the latter need not be manifestly invariant: preservation modulo a gauge adjustment will suffice. The simplest case is that of "strong" symmetry, meaning invariance under the action of an effective Lie derivative (an appropriately gauge adjusted modification of an ordinary Lie derivative). When the effective symmetry is of the more general "weak" kind, the kinetic part of the current is not conserved by itself but only after being supplemented by a suitable contribution from the background.

preprint2007arXiv

Five or six step scenario for evolution?

The prediction that (due to the limited amount of hydrogen available as fuel in the Sun) the future duration of our favourable terrestrial environment will be short (compared with the present age of the Earth) has been interpreted as evidence for a hard step scenario. This means that some of the essential steps (such as the development of eukaryotes) in the evolution process leading to the ultimate emergence of intelligent life would have been hard, in the sense of being against the odds in the available time, so that they are unlikely to have been achieved in most of the earth-like planets that may one day be discovered in nearby extra-solar systems. It was originally estimated that only one or two of the essential evolutionary steps had to have been hard in this sense, but it has become apparent that this figure may need upward revision, because recent studies of climatic instability suggest that the possible future duration of our biologically favourable environment may be shorter than had been supposed, only about one Giga year rather than five. On the basis of the statistical requirement of roughly equal spacing between hard steps, it is argued that the best fit with the fossil record is now obtainable by postulating the number of hard steps to be five, if our evolution was exclusively terrestrial, or six if, as now seems very plausible, the first step occurred on Mars.

preprint2007arXiv

Mechanics of cosmic rings

In a flat background, simple non-conducting string loops have no strictly stationary equilibrium states, but for cosmic string loops of superconducting kind such ``vorton'' states will exist, with rotating circular configurations appropriately describable as ``cosmic rings'' (which may conceivably be a significant contributor to the material content of the universe) whose equilibrium is obtained for zero angular velocity of retrograde characteristics. Such a ``cosmic ring'' is characterised by its mass M and angular momentum J say, corresponding at a microscopic level to two independent quantum numbers, namely charge number C and a topological phase number N whose product determines the angular momentum, J=CN, while their ratio determines the local intrinsic state of the string, which may be qualitatively classified as being of ``electric'' or ``magnetic'' type depending on whether C/N is greater or less than a critical value dependent on the underlying theoretical model.

preprint2006arXiv

Entrainment coefficient and effective mass for conduction neutrons in neutron star crust: II Macroscopic treatment

Phenomena such as pulsar frequency glitches are believed to be attributable to differential rotation of a current of ``free'' superfluid neutrons at densities above the ``drip'' threshold in the ionic crust of a neutron star. Such relative flow is shown to be locally describable by adaption of a canonical two fluid treatment that emphasizes the role of the momentum covectors constructed by differentiation of action with respect to the currents, with allowance for stratification whereby the ionic number current may be conserved even when the ionic charge number Z is altered by beta processes. It is demonstrated that the gauge freedom to make different choices of the chemical basis determining which neutrons are counted as ``free'' does not affect their ``superfluid'' momentum covector, which must locally have the form of a gradient (though it does affect the ``normal'' momentum covector characterising the protons and those neutrons that are considered to be ``confined'' in the nuclei). It is shown how the effect of ``entrainment'' (whereby the momentum directions deviate from those of the currents) is controlled by the (gauge independent) mobility coefficient K, estimated in recent microscopical quantum mechanical investigations, which suggest that the corresponding (gauge dependent) ``effective mass'' m* of the free neutrons can become very large in some layers. The relation between this treatment of the crust layers and related work (using different definitions of ``effective mass'') intended for the deeper core layers is discussed.

preprint2002arXiv

Cold, warm, and composite (cool) cosmic string models

The dynamical behaviour of a cosmic string is strongly affected by any reduction of the effective string tension $T$ below the constant value $T=m^2$ say that characterizes the simple, longitudinally Lorentz invariant, Goto Nambu string model in terms of a fixed mass scale $m$ whose magnitude depends on that of the Higgs field responsible for the existence of the string. Such a reduction occurs in the standard "hot" cosmic string model in which the effect of thermal perturbations of a simple Goto Nambu model is expressed by the formula $T^2=m^2(m^2-2πΘ^2/3)$, where $Θ$ is the string temperature. A qualitatively similar though analytically more complicated tension reduction phenomenon occurs in "cold" conducting cosmic string models where the role of the temperature is played by an effective chemical potential $μ$ that is constructed as the magnitude of the phase $ϕ$ of a bosonic condensate of the kind whose existence was first proposed by Witten. The present article describes the construction and essential mechanical properties of a category of "warm" cosmic string models that are intermediate between these "hot" and "cold" extremes. These "warm" models are the string analogues of the standard Landau model for a 2-constituent finite temperature superfluid, and as such involve two independent currents interpretable as that of the entropy on one hand and that of the bosonic condensate on the other. It is surmised that the stationary (in particular ring) equilibrium states of such "warm" cosmic strings may be of cosmological significance.

preprint2001arXiv

Einstein equations for an asymmetric brane-world

We consider a brane-world of co-dimension one without the reflection symmetry that is commonly imposed between the two sides of the brane. Using the coordinate-free formalism of the Gauss-Codacci equations, we derive the effective Einstein equations by relating the local curvature to the matter on the brane in the case when its bare tension is much larger than the localized matter, and hence show that Einstein gravity is a natural consequence of such models in the weak field limit. We find agreement with the recently derived cosmological case, which can be solved exactly, and point out that such models can be realized naturally in the case where there is a minimally coupled form field in the bulk.

preprint2000arXiv

Cancellation of linearised axion-dilaton self interaction divergence in strings

The force densities exerted on a localised material system by linearised interaction with fields of axionic and dilatonic type are shown to be describable very generally by relatively simple expressions that are well behaved for fields of purely external origin, but that will be subject to ultraviolet divergences requiring regularisation for fields arising from self interaction in submanifold supported ``brane'' type systems. In the particular case of 2-dimensionally supported, i.e. string type, system in an ordinary 4-dimensional background it is shown how the result of this regularisation is expressible in terms of the worldsheet curvature vector $K^μ$, and more particularly that (contrary to what was suggested by early work on this subject) for a string of Nambu Goto type the divergent contribution from the dilatonic self action will always be directed oppositely to its axionic counterpart. This makes it possible for the dilatonic and axionic divergences to entirely cancel each other out (so that there is no need of a renormalisation to get rid of ``infinities'') when the relevant coupling coefficents are related by the appropriate proportionality condition provided by the low energy limit of superstring theory.

preprint1998arXiv

Formally renormalisable gravitationally self interacting string models

It has recently been shown how the effect of the divergent part of the gravitational self interaction for a classical string model in 4 dimensions can be allowed for by a renormalisation of its stress energy tensor and in the elastic case a corresponding renormalisation of the off shell action. It is shown here that that it is possible to construct a new category of elastic string models for which this effect is describable as a renormalisation in the stricter ``formal'' sense, meaning that it only requires a rescaling of one of the fixed parameters characterising the model.

preprint1997arXiv

Amalgamated Codazzi Raychaudhuri identity for foliation

It is shown how a pure background tensor formalism provides a concise but explicit and highly flexible machinery for the generalised curvature analysis of individual embedded surfaces and foliations such as arise in the theory of topological defects in cosmological and other physical contexts. The unified treatment provided here shows how the relevant extension of the Raychaudhuri identity is related to the correspondingly extended Codazzi identity.

preprint1997arXiv

Electromagnetic self interaction in strings

To facilitate the treatment of electromagnetic effects in applications such as dynamically perturbed vortons, this work employs a covariantly formulated string-source Green measure to obtain a coherent relativistic scheme for describing the self interaction of electromagnetic currents in string models of a very general kind, at leading order in the relevant field gradients, using a regularised gradient operator given by $\hat\nabla_ν=$ $\bar\nabla_ν+{1\over 2} K_ν$ where $\bar\nabla_ν$ is the usual tangential gradient operator and $K_ν$ is the extrinsic curvature vector.

preprint1997arXiv

Recent developments in Vorton Theory

This article provides a concise overview of recent theoretical results concerning the theory of vortons, which are defined to be (centrifugally supported) equilibrium configurations of (current carrying) cosmic string loops. Following a presentation of the results of work on the dynamical evolution of small circular string loops, whose minimum energy states are the simplest examples of vortons, recent order of magnitude estimates of the cosmological density of vortons produced in various kinds of theoretical scenario are briefly summarised.

preprint1994arXiv

Curvature Corrections to Dynamics of Domain Walls

The most usual procedure for deriving curvature corrections to effective actions for topological defects is subjected to a critical reappraisal. A logically unjustified step (leading to overdetermination) is identified and rectified, taking the standard domain wall case as an illustrative example. Using the appropriately corrected procedure, we obtain a new exact (analytic) expression for the corresponding effective action contribution of quadratic order in the wall width, in terms of the intrinsic Ricci scalar $R$ and the extrinsic curvature scalar $K$. The result is proportional to $cK^2-R$ with the coefficient given by $c\simeq 2$. The resulting form of the ensuing dynamical equations is obtained in terms of the second fundamental form and the Dalembertian of its trace, K. It is argued that this does not invalidate the physical conclusions obtained from the "zero rigidity" ansatz $c=0$ used in previous work.

preprint1994arXiv

Supersonic String Model for Witten Vortices

A new cosmic string model specified by two independent mass parameters is introduced for the purpose of providing a realistic representation of the macroscopic dynamical behaviour of Witten type (superconducting) vortex defects of the vacuum. Unlike the self dual single mass parameter models previously used for this purpose, the new model successfully represents the effect of current saturation and the feature that wiggle propagation remains supersonic even in the weak current limit.