Our study on nondegenerate dark-bright-bright solitons in a three-component Manakov model with repulsive interactions reveals the existence of diverse branches of nondegenerate vector solitons. For fixed bright component particle numbers and a given soliton velocity, the nondegenerate dark-bright-bright solitons exhibit four distinct branches with different density profiles and phase distributions, comprising two positive mass branches and two negative mass branches. The energy-velocity dispersion relation of each pair of positive- and one negative-mass branches form a closed loop, resulting in two mutually independent loops for the soliton's overall dispersion. All soliton branches share a common maximal velocity, which is determined by the larger bright soliton particle number. Linear stability analysis shows that all these branches are stable against weak perturbations. Extending to an $N$-component Manakov system, the nondegenerate solitons have $2^{N-1}$ distinct branches, of which $2^{N-2}$ branches solitons is positive mass and $2^{N-2}$ branches solitons is negative mass. Each pair of positive- and negative-mass branches form a closed dispersion relation loop, so that the v
Branch misprediction latency is one of the most important contributors to performance degradation and wasted energy consumption in a modern core. State-of-the-art predictors generally perform very well but occasionally suffer from high Misprediction Per Kilo Instruction due to hard-to-predict branches. In this work, we investigate if predicting branches using microarchitectural information, in addition to traditional branch history, can improve prediction accuracy. Our approach considers branch timing information (resolution cycle) both for older branches in the Reorder Buffer (ROB) and recently committed, and for younger branches relative to the branch we re-predict. We propose Speculative Branch Resolution (SBR) in which, N cycles after a branch allocates in the ROB, various timing information is collected and used to re-predict. Using the gem5 simulator we implement and perform a limit-study of SBR using a TAGE-Like predictor. Our experiments show that the post-alloc timing information we used was not able to yield performance gains over an unbounded TAGE-SC. However, we find two hard to predict branches where timing information did provide an advantage and thoroughly analysed o
This study presents a method for modeling diverse plant branches by iteratively estimating material parameters to support delicate branch manipulation. Branch manipulation is necessary in agricultural robotics for plant repositioning, stabilizing, and clearing visual obstructions in dense foliage. The proposed method builds a tetrahedral branch model from point-cloud data and simulates its behavior using the finite element method. Using real observed deformation data, it iteratively estimates branch parameters and then computes an optimal path with a deformation-aware motion planner to move and stabilize branches within another robot's field of view. Across 30 trials on branches with varying geometries and material properties, the proposed method reduced the deformation energy by 35.69% while increasing the path length by 8.10% on average.
Under unitary evolution, a typical macroscopic quantum system is thought to develop wavefunction branches: a time-dependent decomposition into orthogonal components that (1) form a tree structure forward in time, (2) are approximate eigenstates of quasiclassical macroscopic observables, and (3) exhibit effective collapse of feasibly measurable observables. If they could be defined precisely, wavefunction branches would extend the theory of decoherence beyond the system-environment paradigm and could supplant anthropocentric measurement in the quantum axioms. Furthermore, when such branches have bounded entanglement and can be effectively identified numerically, sampling them would allow asymptotically efficient classical simulation of quantum systems. I consider a promising recent approach to formalizing branches on the lattice by Taylor & McCulloch [Quantum 9, 1670 (2025), arXiv:2308.04494], and compare it to prior work from Weingarten [Found. Phys. 52, 45 (2022), arXiv:2105.04545]. Both proposals are based on quantum complexity and argue that, once created, branches persist for long times due to the generic linear growth of state complexity. Taylor & McCulloch characteriz
Piecewise fractional linear maps wzth three or more branches have been studied in several papers. For many Moebius maps the shape of the density of their invariant measurs can be written down exactly. However, if just two branches are linear, no explicit form is known. In this paper a partial solution is offered.
Branch mispredictions cause catastrophic performance penalties in modern processors, leading to performance loss. While hardware predictors and profile-guided techniques exist, data-dependent branches with irregular patterns remain challenging. Traditional if-conversion eliminates branches via software predication but faces limitations on architectures like x86. It often fails on paths containing memory instructions or incurs excessive instruction overhead by fully speculating large branch bodies. This paper presents Melding IR Instructions (MERIT), a compiler transformation that eliminates branches by aligning and melding similar operations from divergent paths at the IR instruction level. By observing that divergent paths often perform structurally similar operations with different operands, MERIT adapts sequence alignment to discover merging opportunities and employs safe operand-level guarding to ensure semantic correctness without hardware predication. Implemented as an LLVM pass and evaluated on 102 programs from four benchmark suites, MERIT achieves a geometric mean speedup of 10.9% with peak improvements of 32x compared to hardware branch predictor, demonstrating the effect
In this paper, we present an explicit construction of twisted traces for quantum Coulomb branches of conical theories. We develop an operator representation of the Coulomb branch algebra and use it to derive integral formulas for the twisted trace. Our construction provides a concrete realization of twisted traces that arise as the correlation functions of a conformal field theory, particularly in the work of Beem, Peelaers, and Rastelli. This complements recent developments in the study of twisted traces on quantum Higgs branches and offers new mathematical insights into the structure of quantum Coulomb branches.
In this work, we study the relation between the roots of the Bernstein polynomial $\widetilde{b}$ and the value set of differentials $Λ$ for plane branches. For plane branches defined by semiquasihomogeneous polynomial we describe the set of common roots of $\widetilde{b}$ sharing by every branch with a fixed $Λ$ set.
Let $A=A_{G,N}^{\hbar=1}$ be a quantized Coulomb branch with an antilinear automorphism $ρ$. A map $T\colon A\to\mathbb{C}$ is called a positive trace if $T(aρ(a))>0$ for all nonzero $a\in A$. Positive traces on Coulomb branches appear in the study of supersymmetric gauge theories. We classify positive traces on all abelian Coulomb branches, meaning $G=(\mathbb{C}^{\times})^d$ is a torus.
We develop principal branches for three key square root functions and for the inverse trigonometric and inverse hyperbolic functions. The three square root branches are integral to defining the inverse function branches, their derivatives, and their antiderivatives. Complex analysis is used to turn the definitions of the principal branches into concrete expressions. We take the standard reference in this area to be the NIST Digital Library of Mathematical Functions (DLMF). We adopt the notation for, and the definitions of, the principal branches of the inverse functions in the DLMF. Our goal is to widen the scope of the results in the DLMF while at the same time lowering the complex variables burden on the average DLMF user.
Consider a Bellman--Harris-type branching process, in which individuals evolve independently of one another, giving birth after a random time $T$ to a random number $L$ of children. In this article, we study the asymptotic behaviour of the length of the longest branches of this branching process at time $t$, both pendant branches (corresponding to individuals still alive at time $t$) and interior branches (corresponding to individuals dead before time $t$).
We prove that the affine closure of the cotangent bundle of the parabolic base affine space for $\mathrm{GL}_n$ or $\mathrm{SL}_n$ is a Coulomb branch, which confirms a conjecture of Bourget-Dancer-Grimminger-Hanany-Zhong. In particular, we show that the algebra of functions on the cotangent bundle of the parabolic base affine space of $\mathrm{GL}_n$ or $\mathrm{SL}_n$ is finitely generated. We prove this by showing that, if we are given a map $H \to G$ of complex reductive groups and a representation of $G$ satisfying an assumption we call gluable, then the Coulomb branch for the induced representation of $H$ is obtained from the corresponding Coulomb branch for $G$ by a certain Hamiltonian reduction procedure. In particular, we show that the Coulomb branch associated to any quiver with no loops can be obtained from Coulomb branches associated to quivers with exactly two vertices using this procedure.
This paper is concerned with the existence and uniqueness of transition fronts of a general reaction-diffusion-advection equation in domains with multiple branches. In this paper, every branch in the domain is not necessary to be straight and we use the notions of almost-planar fronts to generalize the standard planar fronts. Under some assumptions of existence and uniqueness of almost-planar fronts with positive propagating speeds in extended branches, we prove the existence of entire solutions emanating from some almost-planar fronts in some branches. Then, we get that these entire solutions converge to almost-planar fronts in some of the rest branches as time increases if no blocking occurs in these branches. Finally, provided by the complete propagation of every front-like solution emanating from one almost-planar front in every branch, we prove that there is only one type of transition fronts, that is, the entire solutions emanating from some almost-planar fronts in some branches and converging to almost-planar fronts in the rest branches.
We study transverse equivariant Hilbert schemes of affine hypertoric varieties equipped with a symplectic action of a Weyl group. In particular, we show that the Coulomb branches of Braverman, Finkelberg, and Nakajima can be obtained either as such Hilbert schemes or Hamiltonian reductions thereof. Furthermore, we propose that the Coulomb branches for representations of non-cotangent type are also obtained in this way. We also investigate the putative complete hyperkähler metrics on these objects. We describe their twistor spaces and, in the case when the symplectic quotient construction of the hypertoric variety is $W$-equivariant (which includes Coulomb branches of cotangent type), we show that the hyperkähler metric can be described as the natural $L^2$-metric on a moduli space of solutions to modified Nahm's equations on an interval with poles at both ends and a discontinuity in the middle, with the latter described by a new object: a hyperspherical variety canonically associated to a hypertoric variety.
We develop the skeleton algorithm to define the number of main branches $N_b$ of diffusion-limited aggregation (DLA) clusters. The skeleton algorithm provides a systematic way to remove dangling side branches of the DLA cluster and has successfully been applied to study the ramification properties of percolation. We study the skeleton of comparatively large ($\approx 10^6$ sites) off-lattice DLA clusters in two, three and four spatial dimensions. We find that initially with increasing distance from the cluster seed the number of branches increases in all dimensions. In two dimensions, the increase in the number of branches levels off at larger distances, indicating a fixed number of $N_b = 7.5\pm 1.5$ main branches of DLA. In contrast, in three and four dimensions, the skeleton continues to ramify strongly as one proceeds from the cluster center outward, and we find no indication of a constant number of main branches. Likewise, we find no indication for a fixed $N_b$ in a study of DLA on the Cayley tree. In two dimensions, we find strong corrections to scaling of logarithmic character, which can help to explain recently reported deviations from self-similar behavior.
We study finite automata running over infinite binary trees. A run of such an automaton is usually said to be accepting if all its branches are accepting. In this article, we relax the notion of accepting run by allowing a certain quantity of rejecting branches. More precisely we study the following criteria for a run to be accepting: - it contains at most finitely (resp countably) many rejecting branches; - it contains infinitely (resp uncountably) many accepting branches; - the set of accepting branches is topologically "big". In all situations we provide a simple acceptance game that later permits to prove that the languages accepted by automata with cardinality constraints are always $ω$-regular. In the case (ii) where one counts accepting branches it leads to new proofs (without appealing to logic) of an old result of Beauquier and Niwinski.
Modern processors implement a decoupled front-end in the form of Fetch Directed Instruction Prefetching (FDIP) to avoid front-end stalls. FDIP is driven by the Branch Prediction Unit (BPU), relying on the BPU's accuracy and branch target tracking structures to speculatively fetch instructions into the Instruction Cache (L1I). As data center applications become more complex, their code footprints also grow, resulting in an increase in Branch Target Buffer (BTB) misses. FDIP can alleviate L1I cache misses, but when it encounters a BTB miss, the BPU may not identify the current instruction as a branch to FDIP. This can prevent FDIP from prefetching or cause it to speculate down the wrong path, further polluting the L1I cache. We observe that the vast majority, 75%, of BTB-missing, unidentified branches are actually present in instruction cache lines that FDIP has previously fetched but, these missing branches have not yet been decoded and inserted into the BTB. This is because the instruction line is decoded from an entry point (which is the target of the previous taken branch) till an exit point (the taken branch). Branch instructions present in the ignored portion of the cache line
Recent methods expose intra-request parallelism in LLM outputs, allowing independent branches to decode concurrently. Existing serving systems execute these branches eagerly or under fixed caps. We show that both are brittle: eager admission inflates the shared decode step, degrading co-batched requests in serial stages, while conservative fixed caps forgo the throughput that motivated exposing branches in the first place. We call the excess step latency caused by admitted branches the branch externality and show that the safe width depends on batch composition, context lengths, and accumulated slack, all of which change continuously over a workload trace. We introduce TAPER, a per-step admission controller that treats extra branches as opportunistic work, admitted only when the predicted branch externality fits within the batch's current slack budget. Per-step regulation is practical because branch-level scheduling decouples compute from memory: branches share the request's prefix KV, so expanding or contracting width requires no memory reclamation. On Qwen3-32B, TAPER improves goodput by $1.77\times$ over IRP-Off and by $1.48\times$ over IRP-Eager, while maintaining over $95\%$ S
Real-world graph applications are generally larger than the size of the cache itself. Due to this reason, the memory hierarchy was identified as a key bottleneck by the earlier works. Undoubtedly, the performance can be achieved by improving cache, there is still a scope for performance gain by improving branch prediction accuracy. In graph processing applications, the occurrence of branch mispredictions is very frequent and is a major limitation for the overall performance. Within a program, there are different kinds of branches that recur throughout its execution. Although lots of branch predictors (BP) have been developed earlier to capture the static and dynamic behavior of branches. Branch predictors can yet be further optimized to handle the branches that cause mispredictions.
This study presents a methodology to safely manipulate branches to aid various agricultural tasks. Humans in a real agricultural environment often manipulate branches to perform agricultural tasks effectively, but current agricultural robots lack this capability. This proposed strategy to manipulate branches can aid in different precision agriculture tasks, such as fruit picking in dense foliage, pollinating flowers under occlusion, and moving overhanging vines and branches for navigation. The proposed method modifies RRT* to plan a path that satisfies the branch geometric constraints and obeys branch deformable characteristics. Re-planning is done to obtain a path that helps the robot exert force within a desired range so that branches are not damaged during manipulation. Experimentally, this method achieved a success rate of 78% across 50 trials, successfully moving a branch from different starting points to a target region.