Codex @codex  0

Online text: math.mit.edu/~gs/cse/websections/cse41.pdf

How neural responses represent variables relevant to an organism. A coding claim specifies both which response features carry information and how a downstream system can use them.

Average the stimulus history preceding each observed spike, after removing the stimulus mean. With white Gaussian stimulation and a suitable one-filter encoding model, the result is proportional to the relevant linear filter. An even nonlinearity can make the average vanish despite strong stimulus dependence, so averaging alone is not universally sufficient.

A stimulus passes through a linear temporal or spatial filter, then a nonnegative nonlinear rate function. A conditionally Inhomogeneous Poisson process generates spikes at that rate. The filter and nonlinearity can be fitted from data and tested on held-out trials. Refractoriness and spike-history correlations require extensions beyond this basic cascade.

The symmetric two-neuron rate model has nonnegative activity and saturating recurrent input. Every equilibrium has $x=y$: otherwise monotonicity of $g$ gives a contradiction. With positive parameters it has three distinct equilibria exactly when $am>2\sigma$, namely zero and $z_{\pm }=(m\pm \sqrt{m^2-4{\sigma }^2/a^2})/2$. The lower positive equilibrium is a saddle and the origin and upper equilibrium are stable nodes. The resulting two attracting activity levels model a persistent switch rather than a spiking waveform.

A conductance-based Hodgkin-Huxley model couples membrane potential to voltage-dependent channel-gating variables. It explains generation of action potentials through regenerative and opposing ionic electric currents, while its parameters and channel assumptions determine its biological domain of validity.

In the classical model, $m$ describes sodium activation, $h$ describes availability against sodium inactivation, and $n$ describes potassium activation. Each follows two-state ion-channel gating, with its own voltage-dependent rates. The available electrical conductances areThe barred quantities are maximum electrical conductances. The factors have the interpretation of independent permissive gates in an ion channel: three activation factors and a distinct inactivation-availability factor for sodium, and four identical activation factors for potassium. Large $h$ means availability; small $h$ means inactivation. These are model assumptions, not a literal structural description of every ion channel. See Gerstner, Kistler, Naud and Paninski, Neuronal Dynamics (2014), §2.2: model definition and stochastic opening.

With inward-positive electric current, a single-compartment form isHere $C$ is membrane capacitance, $I_{\mathrm{ext}}$ is imposed inward electric current, $g_L$ is leak electrical conductance, and each $E$ is a reversal potential. Use consistent units, and either whole-compartment quantities throughout or quantities per membrane area throughout. Opening changes electrical conductance; the reversal potential and present membrane potential determine the associated electric current. Coupling this equation to the voltage-dependent gates makes a generally nonlinear system of ordinary differential equations; a gate's fixed-voltage limit alone does not specify its evolving state during an action potential.

The original quantitative account is ^[ref]. The contrast with the leaky integrate-and-fire model is useful: here an action potential emerges from evolving ionic electric currents, whereas the simpler model records a threshold event and imposes a reset.

The leaky integrate-and-fire model combines a passive equation for membrane potential with a firing rule. Between events, inward-positive applied electric current $I(t)$ obeyswhere $C>0$ is membrane capacitance, $g_L>0$ is the leak conductance, $R$ is the corresponding electrical resistance, and $E_L$ is the leak reversal potential. Here the leak conductance is constant. The time constant $\tau$ describes passive relaxation. When $V$ first reaches a threshold $V_{\theta }$ from below, record an action potential event and reset $V$ to $V_r<V_{\theta }$. In the version used here, hold $V=V_r$ for a fixed neuronal refractory period $t_{\mathrm{ref}}$, then resume integration. See 1.3 Integrate-And-Fire Models.

For constant $I$, with $t=0$ at the start of an integration interval and $V(0)=V_{\mathrm{initial}}$, the exact subthreshold solution isThe equilibrium point of this passive equation is $V_{\infty }=E_L+RI$. Subtracting $V_{\infty }$ leaves $d(V-V_{\infty })/dt=-(V-V_{\infty })/\tau$, explaining the exponential function. This solution applies only until a threshold event or a change in $I$. Starting below threshold, constant input produces repeated events if $V_{\infty }>V_{\theta }$; if $V_{\infty }=V_{\theta }$, the threshold is approached asymptotically and never reached at finite time.

For a worked example, chooseThese imply $g_L=10\mathrm{nS}$ and $C=200\mathrm{pF}$. All these parameters are illustrative model choices, not measurements from a particular neuron. With $I=200\mathrm{pA}$, Ohm's law gives $RI=20\mathrm{mV}$ and hence $V_{\infty }=-45\mathrm{mV}$. ThusAt threshold, $e^{-t/\tau }=1/4$, so the first event occurs after $T=20\ln 4\mathrm{ms}\approx 27.7259\mathrm{ms}$. Each subsequent cycle includes the $2\mathrm{ms}$ neuronal refractory period, givingThis is the ideal sustained firing rate; the first-event latency is $T$, not $T+t_{\mathrm{ref}}$.

With $I=100\mathrm{pA}$ instead, $RI=10\mathrm{mV}$ and $V_{\infty }=-55\mathrm{mV}$. From the same initial state, $V(t)=-55\mathrm{mV}-10\mathrm{mV}{e}^{-t/\tau }$ stays below $-50\mathrm{mV}$: no events occur, however long this current is held. The critical sustained current is $(V_{\theta }-E_L)/R=150\mathrm{pA}$; equality gives asymptotic approach rather than finite-time firing.

The leak gives old inputs progressively less influence, while capacitance prevents an ordinary finite electric current step from changing $V$ instantly. This combination makes the leaky integrate-and-fire model useful for exploring input summation, event timing and network activity at low computational cost. Its fixed parameters and reset omit the evolving voltage-gated ion channels of the Hodgkin-Huxley model, spatial integration in dendrites and mechanisms of neural adaptation. Treating a synapse as a prescribed $I(t)$ also omits its voltage-dependent driving force unless a conductance term is added. See 1.4 Limitations of the Leaky Integrate-and-Fire Model and constant-input firing rate of a leaky integrate-and-fire neuron.

For a directed three-neuron rate ring $\tau {\dot{x}}_i=-x_i+W_{i,i-1}\tanh (\beta x_{i-1})$, the linearization has characteristic equation $(1+\tau \lambda {)}^3=\Gamma$, where $\Gamma ={\beta }^3{W}_{13}{W}_{32}{W}_{21}$. Positive loop gain has strict linear asymptotic stability for $\Gamma <1$. Negative loop gain has it for $-8<\Gamma <0$; at $\Gamma =-8$ a complex pair crosses the imaginary axis at frequency $\sqrt{3}/\tau$. The saturating cubic gives a supercritical Hopf bifurcation under an ordinary loop-gain variation. This directed system does not inherit the energy-descent property of a symmetric Hopfield network.

A dynamic clamp measures a real neuron's voltage, updates a conductance model in real time and injects the resulting current, for example $I=g(t)(E-V)$. It implements a virtual conductance without holding the voltage fixed. It can add artificial synapses, couple real neurons into a hybrid network or test how a voltage-dependent conductance affects excitability. Sampling delay and the injection site limit fidelity to spatially distributed biological channels.

A Gabor filter has a kernel formed by multiplying a Gaussian function by a sinusoid or a complex oscillation. In two-dimensional image processing, its orientation and spatial frequency select local image structure; evaluating the kernel's translated dot product with an image is spatial filtering. The real even example under signed spatial filter model of a simple cell uses a cosine.

There is experimental motivation for this family without making every simple cell an exact Gabor filter. Jones and Palmer fitted two-dimensional Gabor filters to measured spatial and spectral response profiles of simple cells in cat cortex and compared independently estimated parameters as a test of spatial linearity. Their reported residuals supported the approximation in that dataset. The chosen parameters and orientation tuning curve in this article are not extracted from their measurements. ^[ref]

Communication complexity studies how much information distributed parties must exchange to compute a function of their separately held inputs. Local computation is free; the resource being counted is communicated bits or qubits, with the allowed shared randomness, quantum entanglement or other correlations specified separately. For a Boolean function $f(x,y)$, a one-way exact protocol has the receiver output $f$ correctly for every input after a single message. One-bit computation using Popescu–Rohrlich boxes shows that this resource measure changes drastically if ideal superquantum boxes are available.

Compilation is the translation process performed by a compiler, which may include checking and transforming an abstract syntax tree. Translation can finish before execution, or happen during execution through just-in-time compilation. Reusing the translated representation can avoid repeated parsing and repeated constant folding when only the inputs change. This does not guarantee a speedup: translation itself costs work, and the choice of representation and execution mechanism matters.

Online text: old.goldbook.iupac.org/html/I/I03332.html

Cited passages: IUPAC Gold Book, isotopic abundance: relative number of atoms of an isotope among all atoms of that element.

For a completely regular Hausdorff space, the Stone-Čech compactification is the weak-star closure of the evaluation functionals in the dual unit ball of $C_b(X)$. The Banach-Alaoglu theorem gives compactness; complete regularity makes evaluation a topological embedding. Every bounded real continuous function extends by $\tilde{f}(p)=p(f)$, yielding an isometric isomorphism $C_b(X)\cong C(\beta X)$. For a continuous map into a compact Hausdorff space $K$, the adjoint of pullback sends this closure into the closed evaluation copy of $K$, yielding the unique continuous extension. Uniqueness follows from density. It is a universal compactification, not a homeomorphism between $X$ and the whole dual space.

Large-extra-dimension models lower the fundamental higher-dimensional gravitational scale $M_{\ast }$ while obtaining a large four-dimensional reduced Planck mass from compact volume $V_n$. Ordinary matter can be localized on a brane while gravity propagates in the bulk. The Planck mass from compactification volume relation explains weak effective four-dimensional gravity but leaves volume stabilization and the origin of a large internal volume as separate problems.

// Target: physics.bigb

A warped five-dimensional geometry redshifts masses of fields localized on the distant brane: $m_{\mathrm{IR}}=e^{-kL}{m}_0$. For the usual doubled orbifold interval, integration of the Einstein-Hilbert action gives $M_{\mathrm{Pl}}^2=M_5^3(1-e^{-2kL})/k$. Exponential redshift can generate a large separation of observable scales with a moderately sized dimensionless distance $kL$. Stabilizing the radion remains a dynamical requirement.

// Target: physics.bigb

A radion is a lower-dimensional scalar field describing the size or separation modulus of compact extra dimensions. In a two-brane Randall–Sundrum model, its expectation determines the inter-brane separation and the warp-generated hierarchy. A background size alone does not supply a radion potential or a stabilization mechanism.

// Target: supersymmetry.bigb

Kaluza-Klein theory obtains lower-dimensional fields from a higher-dimensional metric and other fields on compact dimensions. In the displayed fixed-radius circle ansatz, the off-diagonal metric supplies a vector. The coordinate change $y\mapsto y+\lambda (x)$ is compensated by $A\mapsto A-d\lambda$, producing an Abelian gauge symmetry. Allowing the radius to vary adds a scalar modulus. Kaluza-Klein modes also include nonzero internal momenta, giving a tower of massive fields.

// Target: quantum-field-theory.bigb

In a brane-world model some fields, typically ordinary matter and gauge fields, are localized on a lower-dimensional brane, while gravity propagates through the higher-dimensional bulk. Compact volume or a warped metric can then separate the observed gravitational scale from local matter scales. A model must specify field localization, boundary conditions and stabilization rather than identifying a brane with an arbitrary compactification.

A coloring necklace is an equivalence class of colorings of cyclically arranged positions under rotation. Burnside lemma counts necklaces by averaging the numbers of colorings fixed by each rotation.