We present strategies for placing a swarm of mobile relays to provide a bi-directional wireless network that connects fixed (immobile) terminals. Neither terminals nor relays are permitted to transmit into disk-shaped no-transmission zones. We assume a planar environment and that each transmission area is a disk centered at the transmitter. We seek a strongly connected network between all terminals with minimal total cost, where the cost is the sum area of the transmission disks. Results for networks with increasing levels of complexity are provided. The solutions for local networks containing low numbers of relays and terminals are applied to larger networks. For more complex networks, algorithms for a minimum-spanning tree (MST) based procedure are implemented to reduce the solution cost. A procedure to characterize and determine the possible homotopies of a system of terminals and obstacles is described, and used to initialize the evolution of the network under the presented algorithms.
Photovoltaic cells usually have two terminals, one collecting electrons and the other collecting holes. Can more terminals improve such solar cells? Energy-filtering terminals could collect "hot" carriers (electrons or holes not yet relaxed to the band edge), with other terminals for low-energy carriers. When collection is faster than carrier-phonon relaxation, we predict that four-terminal cells have higher power output than optimal two-terminal cells, often 20-40% higher. Similar effects will occur in multi-terminal thermoelectrics exploiting non-equilibrium distributions.
Environments are the bottleneck for self-improving agents. Current terminal benchmarks were built for evaluation, not training; reinforcement learning requires a scalable pipeline, not just a dataset. We introduce Endless Terminals, a fully autonomous pipeline that procedurally generates terminal-use tasks without human annotation. The pipeline has four stages: generating diverse task descriptions, building and validating containerized environments, producing completion tests, and filtering for solvability. From this pipeline we obtain 3255 tasks spanning file operations, log management, data processing, scripting, and database operations. We train agents using vanilla PPO with binary episode level rewards and a minimal interaction loop: no retrieval, multi-agent coordination, or specialized tools. Despite this simplicity, models trained on Endless Terminals show substantial gains: on our held-out dev set, Llama-3.2-3B improves from 4.0% to 18.2%, Qwen2.5-7B from 10.7% to 53.3%, and Qwen3-8B-openthinker-sft from 42.6% to 59.0%. These improvements transfer to human-curated benchmarks: models trained on Endless Terminals show substantial gains on held out human curated benchmarks: on
We consider the \textsc{Edge Multiway Cut} problem on planar graphs. It is known that this can be solved in $n^{O(\sqrt{t})}$ time [Klein, Marx, ICALP 2012] and not in $n^{o(\sqrt{t})}$ time under the Exponential Time Hypothesis [Marx, ICALP 2012], where $t$ is the number of terminals. A stronger parameter is the number $k$ of faces of the planar graph that jointly cover all terminals. For the related {\sc Steiner Tree} problem, an $n^{O(\sqrt{k})}$ time algorithm was recently shown [Kisfaludi-Bak et al., SODA 2019]. By a completely different approach, we prove in this paper that \textsc{Edge Multiway Cut} can be solved in $n^{O(\sqrt{k})}$ time as well. Our approach employs several major concepts on planar graphs, including homotopy and sphere-cut decomposition. We also mix a global treewidth dynamic program with a Dreyfus-Wagner style dynamic program to locally deal with large numbers of terminals.
Vehicle Dispatching Systems (VDSs) are critical to the operational efficiency of Automated Container Terminals (ACTs). However, their widespread commercialization is hindered due to their low transferability across diverse terminals. This transferability challenge stems from three limitations: high reliance on port operational specialists, a high demand for terminal-specific data, and time-consuming manual deployment processes. Leveraging the emergence of Large Language Models (LLMs), this paper proposes PortAgent, an LLM-driven vehicle dispatching agent that fully automates the VDS transferring workflow. It bears three features: (1) no need for port operations specialists; (2) low need of data; and (3) fast deployment. Specifically, specialist dependency is eliminated by the Virtual Expert Team (VET). The VET collaborates with four virtual experts, including a Knowledge Retriever, Modeler, Coder, and Debugger, to emulate a human expert team for the VDS transferring workflow. These experts specialize in the domain of terminal VDS via a few-shot example learning approach. Through this approach, the experts are able to learn VDS-domain knowledge from a few VDS examples. These example
We consider the problem of autonomous channel access (AutoCA), where a group of terminals tries to discover a communication strategy with an access point (AP) via a common wireless channel in a distributed fashion. Due to the irregular topology and the limited communication range of terminals, a practical challenge for AutoCA is the hidden terminal problem, which is notorious in wireless networks for deteriorating the throughput and delay performances. To meet the challenge, this paper presents a new multi-agent deep reinforcement learning paradigm, dubbed MADRL-HT, tailored for AutoCA in the presence of hidden terminals. MADRL-HT exploits topological insights and transforms the observation space of each terminal into a scalable form independent of the number of terminals. To compensate for the partial observability, we put forth a look-back mechanism such that the terminals can infer behaviors of their hidden terminals from the carrier sensed channel states as well as feedback from the AP. A window-based global reward function is proposed, whereby the terminals are instructed to maximize the system throughput while balancing the terminals' transmission opportunities over the cours
Given a set of terminals in 2D/3D, the network with the shortest total length that connects all terminals is a Steiner tree. On the other hand, with enough budget, every terminal can be connected to every other terminals via a straight edge, yielding a complete graph over all terminals. In this work, we study a generalization of Steiner trees asking what happens in between these two extremes. Focusing on three terminals with equal pairwise path weights, we characterize the full evolutionary pathway between the Steiner tree and the complete graph, which contains intriguing intermediate structures.
The $k$-Steiner-2NCS problem is as follows: Given a constant $k$, and an undirected connected graph $G = (V,E)$, non-negative costs $c$ on $E$, and a partition $(T, V-T)$ of $V$ into a set of terminals, $T$, and a set of non-terminals (or, Steiner nodes), where $|T|=k$, find a minimum-cost two-node connected subgraph that contains the terminals. We present a randomized polynomial-time algorithm for the unweighted problem, and a randomized PTAS for the weighted problem. We obtain similar results for the $k$-Steiner-2ECS problem, where the input is the same, and the algorithmic goal is to find a minimum-cost two-edge connected subgraph that contains the terminals. Our methods build on results by Björklund, Husfeldt, and Taslaman (ACM-SIAM SODA 2012) that give a randomized polynomial-time algorithm for the unweighted $k$-Steiner-cycle problem; this problem has the same inputs as the unweighted $k$-Steiner-2NCS problem, and the algorithmic goal is to find a minimum-size simple cycle $C$ that contains the terminals ($C$ may contain any number of Steiner nodes).
The steadily high demand for cash contributes to the expansion of the network of Bank payment terminals. To optimize the amount of cash in payment terminals, it is necessary to minimize the cost of servicing them and ensure that there are no excess funds in the network. The purpose of this work is to create a cash management system in the network of payment terminals. The article discusses the solution to the problem of determining the optimal amount of funds to be loaded into the terminals, and the effective frequency of collection, which allows to get additional income by investing the released funds. The paper presents the results of predicting daily cash withdrawals at ATMs using a triple exponential smoothing model, a recurrent neural network with long short-term memory, and a model of singular spectrum analysis. These forecasting models allowed us to obtain a sufficient level of correct forecasts with good accuracy and completeness. The results of forecasting cash withdrawals were used to build a discrete optimal control model, which was used to develop an optimal schedule for adding funds to the payment terminal. It is proved that the efficiency and reliability of the propos
Conformal mapping is an important mathematical tool in many physical and engineering fields, especially in electrostatics, fluid mechanics, classical mechanics, and transformation optics. However in the existing textbooks and literatures, it is only adopted to solve the problems which have only two terminals. Two terminals with electric potential differences, pressure difference, optical path difference, etc., can be mapped conformally onto a solvable structure, e.g., a rectangle, where the two terminals are mapped onto two opposite edges of the rectangle. Here we show a conformal mapping method for multiple terminals, which is more common in practical applications. Through accurate analysis of the boundary conditions, additional terminals or boundaries are folded in the inner of the mapped rectangle. Then the solution will not be influenced. The method is described in several typical situations and two application examples are detailed. The first example is an electrostatic actuator with three electrodes. A previous literature dealt with this problem by approximately treat the three electrodes as two electrodes. Based on the proposed method, a preciser result is achieved in our pa
With the goal of meeting the diverse requirements of many different types of platforms, ranging from small drones to big satellites, and being applied in a variety of diverse scenarios, ranging from fixed terrestrial links to moving platforms in general, and operating within a wide range of conditions and distances, the Japanese National Institute of Information and Communications Technology (NICT) is currently working towards the development of a series of versatile miniaturized free-space laser-communication terminals. By choosing the appropriate terminal configuration for any given scenario, the basic conditions of operations can be satisfied without the need of customization, and the adaptive design of the terminals can close the gap to achieve an optimum solution that meets the communication requirements. This paper presents NICT's current efforts regarding the development of this series of lasercom terminals and introduces the first prototypes developed for validation and test purposes.
Take a graph $G$, an edge subset $Σ\subseteq E(G)$, and a set of terminals $T\subseteq V(G)$ where $|T|$ is even. The triple $(G,Σ,T)$ is called a signed graft. A $T$-join is odd if it contains an odd number of edges from $Σ$. Let $ν$ be the maximum number of edge-disjoint odd $T$-joins. A signature is a set of the form $Σ\triangle δ(U)$ where $U\subseteq V(G)$ and $|U\cap T)$ is even. Let $τ$ be the minimum cardinality a $T$-cut or a signature can achieve. Then $ν\leq τ$ and we say that $(G,Σ,T)$ packs if equality holds here. We prove that $(G,Σ,T)$ packs if the signed graft is Eulerian and it excludes two special non-packing minors. Our result confirms the Cycling Conjecture for the class of clutters of odd $T$-joins with at most two terminals. Corollaries of this result include, the characterizations of weakly and evenly bipartite graphs, packing two-commodity paths, packing $T$-joins with at most four terminals, and a new result on covering edges with cuts.
Many terminals are used in safety-critical operations in which humans, through terminal user interfaces, become a part of the system control loop (e.g., medical and industrial systems). These terminals are typically embedded, single-purpose devices with restricted functionality, sometimes air-gapped and increasingly hardened. We describe a new way of attacking such terminals in which an adversary has only temporary, non-invasive, physical access to the terminal. In this attack, the adversary attaches a small device to the interface that connects user input peripherals to the terminal. The device executes the attack when the authorized user is performing safety-critical operations, by modifying or blocking user input, or injecting new input events. Given that the attacker has access to user input, the execution of this attack might seem trivial. However, to succeed, the attacker needs to overcome a number of challenges including the inability to directly observe the user interface and avoid being detected by the users. We present techniques that allow user interface state and input tracking. We evaluate these techniques and show that they can be implemented efficiently. We further e
The next generation of interactive satellite terminals is going to play a crucial role in the future of DVB standards. As a matter of fact in the current standard, satellite terminals are expected to be interactive thus offering apart from the possibility of logon signalling and control signalling also data transmission in the return channel with satisfying quality. Considering the nature of the traffic from terminals that is by nature bursty and with big periods of inactivity, the use of a Random Access technique could be preferred. In this paper Random Access congestion control in DVB-RCS2 is considered with particular regard to the recently introduced Contention Resolution Diversity Slotted Aloha technique, able to boost the performance compared to Slotted Aloha. The paper analyzes the stability of such a channel with particular emphasis on the design and on limit control procedures that can be applied in order to ensure stability of the channel even in presence of possible instability due to statistical fluctuations.
Negative conductance elements are key to shape the input-output behavior at the terminals of a network through localized positive feedback amplification. The balance of positive and negative differential conductances creates singularities at which rich, intrinsically nonlinear, and ultrasensitive terminal behaviors emerge. Motivated by neuromorphic engineering applications, in this note we extend a recently introduced nonlinear network graphical modeling framework to include negative conductance elements. We use this extended framework to define the class of singular networks and to characterize their ultra-sensitive input/output behaviors at given terminals. Our results are grounded in the Lyapunov-Schmidt reduction method, which is shown to fully characterize the singularities and bifurcations of the input-output behavior at the network terminals, including when the underlying input-output relation is not explicitly computable through other reduction methods.
Given a connected graph $G$ and a terminal set $R \subseteq V(G)$, the Steiner tree problem (ST) asks for a tree that spans all of $R$ with at most $r$ vertices from $V(G)\backslash R$, for some integer $r\geq 0$. It is known from (Garey et al.,1977 ) that ST is NP-complete. A Steiner tree in which all terminal vertices are constrained to be leaves is called a terminal Steiner tree. Our study addresses the existence of a terminal Steiner tree, its complexity across various graph classes, black-box applications of the ST, and a fixed-parameter tractable (FPT) algorithm with respect to the number of terminals.
We investigate the thermodynamic uncertainty relations (TURs) in steady-state transport for a multi-terminal system consisting of two conducting terminals and N-2 probe terminals, within the linear response regime under broken time-reversal symmetry. We independently derive exact bounds on the TURs for the steady-state particle and heat currents under a strong constraint on the Onsager coefficients. Based on our proposed exact bounds, the analysis reveals that the bounds differ for particle and heat currents and are dependent on the system parameters. Furthermore, we demonstrate that under specific parameter conditions, the TURs of the particle and heat currents have a unified minimum value that depends solely on the number of terminals.
A two-terminal graph is a simple graph equipped with two distinguished vertices, called terminals. Let $T_{n,m}$ be the class consisting of all nonisomorphic two-terminal graphs on $n$ vertices and $m$ edges. Let $G$ be any two-terminal graph in $T_{n,m}$, and let $d$ be any positive integer. For each $ρ\in [0,1]$, the \emph{$d$-constrained two-terminal reliability of $G$ at $ρ$}, denoted $R_G^d(ρ)$, is the probability that $G$ has some path of length at most $d$ joining its terminals after each of its edges is independently deleted with probability $ρ$. We say $G$ is a \emph{$d$-uniformly most reliable two-terminal graph} ($d$-UMRTTG) if for each $H$ in $T_{n,m}$ and every $ρ\in [0,1]$ it holds that $R_{G}^d(ρ)\geq R_H^d(ρ)$. Previous works studied the existence of $d$-UMRTTG in $T_{n,m}$ when $d$ is greater than or equal to $n-1$, or equivalently, when the distance constraint is dropped. In this work, a characterization of all $1$-UMRTTGs and $2$-UMRTTGs is given. Then, it is proved that there exists a unique $3$-UMRTTG in $T_{n,m}$ when $n\geq 6$ and $5 \leq m \leq 2n-3$. Finally, for each $d\geq 4$ and each $n\geq 11$ it is proved that there is no $d$-UMRTTG in $T_{n,m}$ when $
Given a graph where vertices are partitioned into $k$ terminals and non-terminals, the goal is to compress the graph (i.e., reduce the number of non-terminals) using minor operations while preserving terminal distances approximately.The distortion of a compressed graph is the maximum multiplicative blow-up of distances between all pairs of terminals. We study the trade-off between the number of non-terminals and the distortion. This problem generalizes the Steiner Point Removal (SPR) problem, in which all non-terminals must be removed. We introduce a novel black-box reduction to convert any lower bound on distortion for the SPR problem into a super-linear lower bound on the number of non-terminals, with the same distortion, for our problem. This allows us to show that there exist graphs such that every minor with distortion less than $2~/~2.5~/~3$ must have $Ω(k^2)~/~Ω(k^{5/4})~/~Ω(k^{6/5})$ non-terminals, plus more trade-offs in between. The black-box reduction has an interesting consequence: if the tight lower bound on distortion for the SPR problem is super-constant, then allowing any $O(k)$ non-terminals will not help improving the lower bound to a constant. We also build on th
Multiterminal superconducting junctions have revitalized the investigation of the Josephson effect. One of the most interesting aspects of these hybrid systems is the occurrence of multi-Cooper pair tunneling processes that have no analog in two-terminal devices. Such correlated tunneling events are also intimately connected to the Andreev bound states (ABSs) supported by these structures. Josephson junctions with four superconducting terminals have attracted special attention because they are predicted to support ABSs with nontrivial topological properties. Here, we present a theoretical study of sextets, which are correlated tunneling processes involving three Cooper pairs and four different superconducting terminals. We investigate how sextets can be identified from the analysis of the current-phase relation, we show how sextets are connected to the hybridization of ABSs, and we discuss their existence in recent experiments on four-terminal devices realized in hybrid Al/InAs heterostructures.