We introduce baseSPIDER and SPIDER, private information retrieval (PIR) schemes that embody two technical advancements. The baseSPIDER protocol operates with a single server and a stateful client that performs pre-processing and stores hints for future queries. In this setting, baseSPIDER introduces a new approach that matches the asymptotically optimal communication complexity of state-of-the-art schemes while improving constant factors--an advantage that is particularly significant for databases with large entries. In addition, baseSPIDER offers a conceptually simpler design relative to prior protocols. SPIDER operates over a default database interface and requires no cooperation from the server at any stage. To our knowledge, SPIDER is the first single-server PIR construction of this design, achieving privacy without specialized APIs, auxiliary server state, or protocol-specific interaction beyond conventional indexed access. SPIDER is built via a simple transformation of baseSPIDER to the default server setting, eliminating deployment barriers and enabling immediate applicability to existing systems. This transformation can be applied more broadly to three recent PIR solutions,
Orb-weaving spiders detect prey on a web using vibration sensors at leg joints. They often dynamically crouch their legs during prey sensing, likely an active sensing strategy. However, how leg crouching enhances sensing is poorly understood, because measuring system vibrations in behaving animals is difficult. We use robophysical modeling to study this problem. Our previous spider robot had only four legs, simplified leg morphology, and a shallow crouching range of motion. Here, we developed a new spider robot, with eight legs, each with four joints that better approximated spider leg morphology. Leg exoskeletons were 3-D printed and joint stiffness was tuned using integrated silicone molding with variable materials and geometry. Tendon-driven actuation allowed a motor in the body to crouch all eight legs deeply as spiders do, while accelerometers at leg joints record leg vibrations. Experiments showed that our new spider robot reproduced key vibration features observed in the previous robot while improving biological accuracy. Our new robot provides a biologically more accurate robophysical model for studying how leg behaviors modulate vibration sensing on a web.
Compact binary millisecond pulsars (also known as spiders) allow us to probe pulsar winds in their innermost regions, between the light cylinder (radius $\sim10^{7}$ cm) and the companion star (at $\sim10^{11}$ cm). Their flux is known to vary along the orbit, from radio to X-rays. During the past decade, gamma-ray orbital modulation (GOM) has been discovered in a handful of spiders, but its origin remains largely unknown. We present the results of a systematic search for GOM among 43 systems, selecting pulsed 0.1-1 GeV photons and using spin and orbital ephemeris from Fermi's Third Pulsar Catalog. We discover GOM from three spiders - PSR J1124-3653, PSR J1946-5403 and PSR J2215+5135 - and confirm four previous detections. In all seven cases so far, the GOM peaks near the pulsar's superior conjunction. The X-ray orbital light curves are usually in antiphase, peaking when the pulsar is at inferior conjunction, but we find one case where both gamma-rays and X-rays peak around superior conjunction: PSR J1946-5403. We measure the modulated fractions of the GOM and find consistent values for all seven spiders, with an average $22.0\pm2.6\%$. Including eclipsing systems seen edge-on, we
Using data from the first flight of SPIDER and from Planck HFI, we probe the properties of polarized emission from interstellar dust in the SPIDER observing region. Component separation algorithms operating in both the spatial and harmonic domains are applied to probe their consistency and to quantify modeling errors associated with their assumptions. Analyses of diffuse Galactic dust emission spanning the full SPIDER region demonstrate i) a spectral energy distribution that is broadly consistent with a modified-blackbody (MBB) model with a spectral index of $β_\mathrm{d}=1.45\pm0.05$ $(1.47\pm0.06)$ for $E$ ($B$)-mode polarization, slightly lower than that reported by Planck for the full sky; ii) an angular power spectrum broadly consistent with a power law; and iii) no significant detection of line-of-sight polarization decorrelation. Tests of several modeling uncertainties find only a modest impact (~10% in $σ_r$) on SPIDER's sensitivity to the cosmological tensor-to-scalar ratio. The size of the SPIDER region further allows for a statistically meaningful analysis of the variation in foreground properties within it. Assuming a fixed dust temperature $T_\mathrm{d}=19.6$ K, an ana
Multimodal LLMs (MLLMs) have emerged as an extension of Large Language Models (LLMs), enabling the integration of various modalities. However, Any-to-Any MLLMs are limited to generating pairwise modalities 'Text + X' within a single response, such as Text + {Image or Audio or Video}. To address this limitation, we introduce Spider, a novel efficient Any-to-Many Modalities Generation (AMMG) framework, which can generate an arbitrary combination of modalities 'Text + Xs', such as Text + {Image and Audio and Video}. To achieve efficient AMMG, our Spider integrates three core components: a Base Model for basic X-to-X (i.e., Any-to-Any) modality processing, an Any-to-Many Instruction Template designed for producing Xs signal prompts, and a novel Efficient Decoders-Controller for controlling multimodal Decoders to generate Xs (many-modal) contents. To train Spider, we constructed a novel Text-formatted Many-Modal (TMM) dataset, which facilitates learning the X-to-Xs (i.e., Any-to-Many) capability necessary for AMMG. Ultimately, the well-trained Spider generates a pseudo X-to-Xs dataset, the first-ever X-to-Xs many-modal dataset, enhancing the potential for AMMG tasks in future research.
In this study, we introduce Spider RIS technology, which offers an innovative solution to the challenges encountered in movable antennas (MAs) and unmanned aerial vehicle (UAV)-enabled communication systems. By combining the dynamic adaptation capability of MAs and the flexible location advantages of UAVs, this technology offers a dynamic and movable RIS, which can flexibly optimize physical locations within the two-dimensional movement platform. Spider RIS aims to enhance the communication efficiency and reliability of wireless networks, particularly in obstructive environments, by elevating the signal quality and achievable rate. The motivation of Spider RIS is based on the ability to fully exploit the spatial variability of wireless channels and maximize channel capacity even with a limited number of reflecting elements by overcoming the limitations of traditional fixed RIS and energy-intensive UAV systems. Considering the geometry-based millimeter wave channel model, we present the design of a three-stage angular-based hybrid beamforming system empowered by Spider RIS: First, analog beamformers are designed using angular information, followed by the generation of digital precod
Figuring out which Pre-Trained Model (PTM) from a model zoo fits the target task is essential to take advantage of plentiful model resources. With the availability of numerous heterogeneous PTMs from diverse fields, efficiently selecting the most suitable PTM is challenging due to the time-consuming costs of carrying out forward or backward passes over all PTMs. In this paper, we propose Model Spider, which tokenizes both PTMs and tasks by summarizing their characteristics into vectors to enable efficient PTM selection. By leveraging the approximated performance of PTMs on a separate set of training tasks, Model Spider learns to construct tokens and measure the fitness score between a model-task pair via their tokens. The ability to rank relevant PTMs higher than others generalizes to new tasks. With the top-ranked PTM candidates, we further learn to enrich task tokens with their PTM-specific semantics to re-rank the PTMs for better selection. Model Spider balances efficiency and selection ability, making PTM selection like a spider preying on a web. Model Spider demonstrates promising performance in various configurations of model zoos.
Learning dexterous and agile policy for humanoid and dexterous hand control requires large-scale demonstrations, but collecting robot-specific data is prohibitively expensive. In contrast, abundant human motion data is readily available from motion capture, videos, and virtual reality, which could help address the data scarcity problem. However, due to the embodiment gap and missing dynamic information like force and torque, these demonstrations cannot be directly executed on robots. To bridge this gap, we propose Scalable Physics-Informed DExterous Retargeting (SPIDER), a physics-based retargeting framework to transform and augment kinematic-only human demonstrations to dynamically feasible robot trajectories at scale. Our key insight is that human demonstrations should provide global task structure and objective, while large-scale physics-based sampling with curriculum-style virtual contact guidance should refine trajectories to ensure dynamical feasibility and correct contact sequences. SPIDER scales across diverse 9 humanoid/dexterous hand embodiments and 6 datasets, improving success rates by 18% compared to standard sampling, while being 10X faster than reinforcement learning
The paper contains the probabilistic analysis of the Brownian motion on the simplest quantum graph, spider: a system of N-half axis connected only at the graph's origin by the simplest (so-called Kirchhoff's) gluing conditions. The limit theorems for the diffusion on such a graph, especially if $N \to \infty$ are significantly different from the classical case $N = 2$ (full axis). Additional results concern the properties of the spectral measure of the spider Laplacian and the corresponding generalized Fourier transforms. The continuation of the paper will contain the study of the spectrum for the class of Schrödinger operators on the spider graphs: Laplacian perturbed by unbounded potential and related phase transitions.
Different from the context-independent (CI) concepts such as human, car, and airplane, context-dependent (CD) concepts require higher visual understanding ability, such as camouflaged object and medical lesion. Despite the rapid advance of many CD understanding tasks in respective branches, the isolated evolution leads to their limited cross-domain generalisation and repetitive technique innovation. Since there is a strong coupling relationship between foreground and background context in CD tasks, existing methods require to train separate models in their focused domains. This restricts their real-world CD concept understanding towards artificial general intelligence (AGI). We propose a unified model with a single set of parameters, Spider, which only needs to be trained once. With the help of the proposed concept filter driven by the image-mask group prompt, Spider is able to understand and distinguish diverse strong context-dependent concepts to accurately capture the Prompter's intention. Without bells and whistles, Spider significantly outperforms the state-of-the-art specialized models in 8 different context-dependent segmentation tasks, including 4 natural scenes (salient, c
We study the joint moments of occupation times on the legs of a diffusion spider. Specifically, we give a recursive formula for the Laplace transform of the joint moments, which extends earlier results for a one-dimensional diffusion. For a Bessel spider, of which the Brownian spider is a special case, our approach yields an explicit formula for the joint moments of the occupation times.
Molecular spiders are synthetic molecular motors based on DNA nanotechnology. While natural molecular motors have evolved towards very high efficiency, it remains a major challenge to develop efficient designs for man-made molecular motors. Inspired by biological motor proteins like kinesin and myosin, molecular spiders comprise a body and several legs. The legs walk on a lattice that is coated with substrate which can be cleaved catalytically. We propose a novel molecular spider design in which n spiders form a team. Our theoretical considerations show that coupling several spiders together alters the dynamics of the resulting team significantly. Although spiders operate at a scale where diffusion is dominant, spider teams can be tuned to behave nearly ballistic, which results in fast and predictable motion. Based on the separation of time scales of substrate and product dwell times, we develop a theory which utilises equivalence classes to coarse-grain the micro-state space. In addition, we calculate diffusion coefficients of the spider teams, employing a mapping of an n-spider team to an n-dimensional random walker on a confined lattice. We validate these results with Monte Carl
Synthetic bio-molecular spiders with "legs" made of single-stranded segments of DNA can move on a surface covered by single-stranded segments of DNA called substrates when the substrate DNA is complementary to the leg DNA. If the motion of a spider does not affect the substrates, the spider behaves asymptotically as a random walk. We study the diffusion coefficient and the number of visited sites for spiders moving on the square lattice with a substrate in each lattice site. The spider's legs hop to nearest-neighbor sites with the constraint that the distance between any two legs cannot exceed a maximal span. We establish analytic results for bipedal spiders, and investigate multileg spiders numerically. In experimental realizations legs usually convert substrates into products (visited sites). The binding of legs to products is weaker, so the hopping rate from the substrates is smaller. This makes the problem non-Markovian and we investigate it numerically. We demonstrate the emergence of a counter-intuitive behavior - the more spiders are slowed down on unvisited sites, the more motile they become.
In this investigation we study a family of networks, called spiders, which covers a range of networks going from chains to complete graphs. These spiders are characterized by three parameters: the number of nodes in the core, the number of legs at each core node, and the length of these legs. Keeping two of the three parameters constant we investigate if spiders are small worlds in the sense recently defined by Egghe.
Context. Spider pulsars are millisecond pulsars in tight binary systems, in which a low-mass companion star is heated and ablated by the pulsar wind. Their observations allow one to study stellar evolution with formation of millisecond pulsars and physics of superdense matter in neutron stars. However, spiders are rare due to difficulties of their discovery using typical radio search techniques. The Fermi $γ$-ray source 4FGL J1544.2$-$2554 was recently proposed as a pulsar candidate, and its likely X-ray and optical counterparts with the galactic coordinates $l\approx344.\!\!^\circ76$, $b\approx22.\!\!^\circ59$ and the magnitude $G\approx20.6$ were found using the eROSITA and Gaia surveys. Aims. Our goals are to study whether the source is a new spider pulsar and to estimate its fundamental parameters. Methods. We performed the first optical time-series multi-band photometry of the object. We used the Lomb-Scargle periodogram to search for its brightness periodicity and fitted its light curves with a model of direct heating of the binary companion by the pulsar wind. Results. The source shows a strong brightness variability with a period of $\approx$ 2.724 h and an amplitude of $\g
We study the trace reconstruction problem for spider graphs. Let $n$ be the number of nodes of a spider and $d$ be the length of each leg, and suppose that we are given independent traces of the spider from a deletion channel in which each non-root node is deleted with probability $q$. This is a natural generalization of the string trace reconstruction problem in theoretical computer science, which corresponds to the special case where the spider has one leg. In the regime where $d\ge \log_{1/q}(n)$, the problem can be reduced to the vanilla string trace reconstruction problem. We thus study the more interesting regime $d\le \log_{1/q}(n)$, in which entire legs of the spider are deleted with non-negligible probability. We describe an algorithm that reconstructs spiders with high probability using $\exp\left(\mathcal{O}\left(\frac{(nq^d)^{1/3}}{d^{1/3}}(\log n)^{2/3}\right)\right)$ traces. Our algorithm works for all deletion probabilities $q\in(0,1)$.
In `spider' pulsars, the X-ray band is dominated by Intrabinary Shock (IBS) synchrotron emission. While the double-peaked X-ray light curves from these shocks have been well characterized in several spider systems (both black widows and redbacks), the polarization of this emission is yet to be studied. Motivated by the new polarization capability of the Imaging X-ray Polarization Explorer (IXPE) and the confirmation of highly ordered magnetic fields in pulsar wind nebulae, we model the IBS polarization, employing two potential magnetic field configurations: toroidal magnetic fields imposed by the pre-shock pulsar wind, and tangential shock-generated fields, which follow the post-shock flow. We find that if IBSs host ordered magnetic fields, the synchrotron X-rays from spider binaries can display a high degree of polarization ($\gtrsim50\%$), while the polarization angle variation provides a good probe of the binary geometry and the magnetic field structure. Our results encourage polarization observational studies of spider pulsars, which can distinguish the proposed magnetic models and better constrain unique properties of these systems.
The Segmented Planar Imaging Detector for Electro-Optical Reconnaissance (SPIDER) is an optical interferometric imaging device that aims to offer an alternative to the large space telescope designs of today with reduced size, weight and power consumption. This is achieved through interferometric imaging. State-of-the-art methods for reconstructing images from interferometric measurements adopt proximal optimization techniques, which are computationally expensive and require handcrafted priors. In this work we present two data-driven approaches for reconstructing images from measurements made by the SPIDER instrument. These approaches use deep learning to learn prior information from training data, increasing the reconstruction quality, and significantly reducing the computation time required to recover images by orders of magnitude. Reconstruction time is reduced to ${\sim} 10$ milliseconds, opening up the possibility of real-time imaging with SPIDER for the first time. Furthermore, we show that these methods can also be applied in domains where training data is scarce, such as astronomical imaging, by leveraging transfer learning from domains where plenty of training data are avai
A novel algorithm named Perturbed Prox-Preconditioned SPIDER (3P-SPIDER) is introduced. It is a stochastic variancereduced proximal-gradient type algorithm built on Stochastic Path Integral Differential EstimatoR (SPIDER), an algorithm known to achieve near-optimal first-order oracle inequality for nonconvex and nonsmooth optimization. Compared to the vanilla prox-SPIDER, 3P-SPIDER uses preconditioned gradient estimators. Preconditioning can either be applied "explicitly" to a gradient estimator or be introduced "implicitly" as in applications to the EM algorithm. 3P-SPIDER also assumes that the preconditioned gradients may (possibly) be not known in closed analytical form and therefore must be approximated which adds an additional degree of perturbation. Studying the convergence in expectation, we show that 3P-SPIDER achieves a near-optimal oracle inequality O(n^(1/2) /epsilon) where n is the number of observations and epsilon the target precision even when the gradient is estimated by Monte Carlo methods. We illustrate the algorithm on an application to the minimization of a penalized empirical loss.
Tripod spiders are the simplest examples of arachnoid mechanisms. Their workspaces and configuration spaces are well known. For Hooke potential, we give a complete description of the Morse theory and treat the robust control of the spider. For the Coulomb energy, we use stationary charges and the trapping domain to study the robust control of spiders. We show that, for a regular triangle and positive charges, the domain of robust control is non-void. This relates to questions about the Maxwell conjecture about point charges. We end with several natural problems and research perspectives suggested by our results.