We propose a hierarchical splitting approach to differential equations that provides a design principle for constructing splitting methods for $N$-split systems by iteratively applying splitting methods for two-split systems. We analyze the convergence order, derive explicit formulas for the leading-order error terms, and investigate self-adjointness. Moreover, we discuss compositions of hierarchical splitting methods in detail. We further augment the hierarchical splitting approach with multiple time-stepping techniques, turning the class into a promising framework at the intersection of geometric numerical integration and multirate integration. In this context, we characterize the computational order of a multirate integrator and establish conditions on the multirate factors that guarantee an increased convergence rate in practical computations up to a certain step size. Finally, we design several hierarchical splitting methods and perform numerical simulations for rigid body equations and a separable Hamiltonian system with multirate potential, confirming the theoretical findings and showcasing the computational efficiency of hierarchical splitting methods.
The scale evolution of parton distributions is governed by splitting functions. We compute the four-loop splitting functions in perturbative QCD that control the evolution of quark non-singlet distributions. We confirm previous partial results and obtain, for the first time, fully analytic expressions for all non-singlet contributions at this order. These allow us to extract the analytic form of the four-loop virtual and rapidity anomalous dimensions entering logarithmic resummation. We provide precise numerical representations of the splitting functions suitable for parton evolution.
Resource allocation problems in which demand is splittable are usually solved using different solution methods from their unsplittable equivalents. Although splittable problem instances can be the easier of the two (for example, they might simply correspond to a linear relaxation of a discrete problem), there exist many problems, including routing problems, for which the converse is true. That is, the technology for solving unsplittable problems is mature, but the splittable counterpart is not. For such problems, one strategy that has recently shown potential is the use of an a priori splitting rule in which each customer's demand is split into smaller pieces in advance, which enables one to simply solve the splittable problem as an instance of the unsplittable version. An important factor to consider is the number of pieces that result after this splitting. A large numbers of pieces will allow more splitting patterns to be realizable, but will result in a larger problem instance. In this paper, we introduce a splitting rule that minimizes the number of pieces, subject to the constraint that all demand splitting patterns remain feasible. Computational experiments on benchmark insta
The Necklace Splitting problem is a classical problem in combinatorics that has been intensively studied both from a combinatorial and a computational point of view. It is well-known that the Necklace Splitting problem reduces to the discrete Ham Sandwich problem. This reduction was crucial in the proof of PPA-completeness of the Ham Sandwich problem. Recently, Borzechowski, Schnider and Weber [ISAAC'23] introduced a variant of Necklace Splitting that similarly reduces to the $α$-Ham Sandwich problem, which lies in the complexity class UEOPL but is not known to be complete. To make this reduction work, the input necklace is guaranteed to be n-separable. They showed that these necklaces can be fairly split in polynomial time and thus this subproblem cannot be used to prove UEOPL-hardness for $α$-Ham Sandwich. We consider the more general unfair necklace splitting problem on n-separable necklaces, i.e., the problem of splitting these necklaces such that each thief gets a desired fraction of each type of jewels. This more general problem is the natural necklace-splitting-type version of $α$-Ham Sandwich, and its complexity status is one of the main open questions posed by Borzechowski
In this paper, we define generalized splitting and element splitting operations on $p$-matroids. $p$-matroids are the matroids representable over $GF(p).$ The circuits and the bases of the new matroid are characterized in terms of circuits and bases of the original matroid, respectively. A class of $n$-connected $p$-matroids which gives n-connected $p$- matroids using the generalized splitting operation is also characterized. We also prove that connectivity of $p$-matroid is preserved under element splitting operation. Sufficient conditions to obtain Eulerian $p$-matroid from Eulerian $p$-matroid under splitting and element splitting operations are provided.
We introduce the notion of quasi-$F$-splitting in mixed characteristic and study Kodaira-type vanishing on quasi-$F$-splitting varieties. As an application, we prove a Kodaira-type vanishing on lifts of rational double point (RDP) del Pezzo surfaces.
In this paper, we apply Fedder-type criteria for quasi-$F$-splitting to provide explicit computations of quasi-$F$-split heights for Calabi-Yau hypersurfaces, bielliptic surfaces, Fano varieties, and rational double points. We also find interesting phenomena concerned with inversion of adjunction, fiber products, Fano varieties, and general fibers of fibrations.
We prove a warped product splitting theorem for manifolds with Ricci curvature bounded from below in the spirit of [Croke-Kleiner, \emph{Duke Math.\;J}.\;(1992)], but instead of asking that one boundary component is compact and mean-convex, we require that it is parabolic and convex. The parabolicity assumption cannot be dropped as, otherwise, the catenoid in ambient dimension four would give a counterexample. The convexity assumption, instead, can be relaxed to mean-convexity, if one requires an additional control on the volume growth at infinity. Among the applications, we establish a half-space theorem for mean-convex sets in product manifolds. Additionally, we prove splitting results for: 3-manifolds with non-negative Ricci curvature and disconnected mean-convex boundary, 4-manifolds with weakly bounded geometry, non-negative 2-Ricci curvature, scalar curvature bounded away from zero, and disconnected mean-convex boundary.
In this study, we investigate the dynamics of system composed of a single cavity consisting of an optical parametric amplifier (OPA) and a YIG sphere influenced by a bias magnetic field. This bias field leads to magnetostrictive effects on magnon modes that induces phonons. We investigate the position fluctuation spectrum and the output field spectrum, finding that at G =0, the system displays a single peak, indicative of weak coupling between the optical and phononic modes. As G increases (e.g., G =0.1 kappa_a, 0.2 kappa_a, 0.4 kappa_a, we observe a transition to double peak, which reflects stronger coupling in the vicinity of cavity along with phonon modes that leads to normal mode splitting (NMS) in cavity magnomechanic system. Furthermore, we examine that the OPA amplifies the Y quadrature while squeezing the X quadrature of the output field spectrum. This sensitive behavior results in a more pronounced splitting in the Y quadrature spectra compared to the X quadrature. Our findings emphasize the essential role of the OPA in adjusting the interaction strength between the optical and phononic modes as well as underscore the importance of quadrature analysis in characterizing the
This note provides modern proofs of some classical results in algebraic topology, such as the James Splitting, the Hilton-Milnor Splitting, and the metastable EHP sequence. We prove fundamental splitting results \begin{equation*} ΣΩΣX \simeq ΣX \vee (X\wedge ΣΩΣX) \quad \text{and} \quad Ω(X \vee Y) \simeq ΩX\times ΩY\times ΩΣ(ΩX \wedge ΩY) \end{equation*} in the maximal generality of an $\infty$-category with finite limits and pushouts in which pushouts squares remain pushouts after basechange along an arbitrary morphism (i.e., Mather's Second Cube Lemma holds). For connected objects, these imply the classical James and Hilton-Milnor Splittings. Moreover, working in this generality shows that the James and Hilton-Milnor splittings hold in many new contexts, for example in: elementary $\infty$-topoi, profinite spaces, and motivic spaces over arbitrary base schemes. The splitting result in this last context extend Wickelgren and Williams' splitting result for motivic spaces over a perfect field. We also give two proofs of the metastable EHP sequence in the setting of $\infty$-topoi: the first is a new, non-computational proof that only utilizes basic connectedness estimates involving
We study convergence rates of the Trotter splitting $e^{A+L} = \lim_{n \to \infty} (e^{L/n} e^{A/n})^n$ in the strong operator topology. In the first part, we use complex interpolation theory to treat generators $L$ and $A$ of contraction semigroups on Banach spaces, with $L$ relatively $A$-bounded. In the second part, we study unitary dynamics on Hilbert spaces and develop a new technique based on the concept of energy constraints. Our results provide a complete picture of the convergence rates for the Trotter splitting for all common types of Schrödinger and Dirac operators, including singular, confining and magnetic vector potentials, as well as molecular many-body Hamiltonians in dimension $d=3$. Using the Brezis-Mironescu inequality, we derive convergence rates for the Schrödinger operator with $V(x)=\pm |x|^{-a}$ potential. In each case, our conditions are fully explicit.
We find exact solutions of the string equations of motion and constraints describing the {\em classical}\ splitting of a string into two. We show that for the same Cauchy data, the strings that split have {\bf smaller} action than the string without splitting. This phenomenon is already present in flat space-time. The mass, energy and momentum carried out by the strings are computed. We show that the splitting solution describes a natural decay process of one string of mass $M$ into two strings with a smaller total mass and some kinetic energy. The standard non-splitting solution is contained as a particular case. We also describe the splitting of a closed string in the background of a singular gravitational plane wave, and show how the presence of the strong gravitational field increases (and amplifies by an overall factor) the negative difference between the action of the splitting and non-splitting solutions.
Mode splittings produced by uniform rotation and a particular form of differential rotation are computed for two-dimensional rotating 10 Mo ZAMS stellar models. The change in the character of the mode splitting is traced as a function of uniform rotation rate, and it is found that only relatively slow rotation rates are required before the mode splitting becomes asymmetric about the azimuthally symmetric (m=0) mode. Increased rotation produces a progressively altered pattern of the individual modes with respect to each other. Large mode splittings begin to overlap with the mode splittings produced by different radial and latitudinal modes at relatively low rotation rates. The mode splitting pattern for the differentially rotating stars we model is different than that for uniformly rotating stars, making the mode splitting a possible discriminant of the internal angular momentum distribution if one assumes the formidable challenge of mode identification can be overcome.
Frequencies of magnetic patch processes on supergranule boundary, namely flux emergence, splitting, merging, and cancellation, are investigated through an automatic detection. We use a set of line of sight magnetograms taken by the Solar Optical Telescope (SOT) on board Hinode satellite. We found 1636 positive patches and 1637 negative patches in the data set, whose time duration is 3.5 hours and field of view is 112" \times 112". Total numbers of magnetic processes are followed: 493 positive and 482 negative splittings, 536 positive and 535 negative mergings, 86 cancellations, and 3 emergences. Total numbers of emergence and cancellation are significantly smaller than those of splitting and merging. Further, frequency dependences of merging and splitting processes on flux content are investigated. Merging has a weak dependence on flux content only with a power- law index of 0.28. Timescale for splitting is found to be independent of parent flux content before splitting, which corresponds to \sim 33 minutes. It is also found that patches split into any flux contents with a same probability. This splitting has a power-law distribution of flux content with an index of -2 as a time in
The performance of Retrieval-Augmented Generation (RAG) systems in information retrieval is significantly influenced by the characteristics of the documents being processed. In this study, the structured nature of textbooks, the conciseness of articles, and the narrative complexity of novels are shown to require distinct retrieval strategies. A comparative evaluation of multiple document-splitting methods reveals that the Recursive Character Splitter outperforms the Token-based Splitter in preserving contextual integrity. A novel evaluation technique is introduced, utilizing an open-source model to generate a comprehensive dataset of question-and-answer pairs, simulating realistic retrieval scenarios to enhance testing efficiency and metric reliability. The evaluation employs weighted scoring metrics, including SequenceMatcher, BLEU, METEOR, and BERT Score, to assess the system's accuracy and relevance. This approach establishes a refined standard for evaluating the precision of RAG systems, with future research focusing on optimizing chunk and overlap sizes to improve retrieval accuracy and efficiency.
We calculate the transverse momentum dependent gluon-to-gluon splitting function within $k_T$-factorization, generalizing the framework employed in the calculation of the quark splitting functions in [1-3] and demonstrate at the same time the consistency of the extended formalism with previous results. While existing versions of $k_T$ factorized evolution equations contain already a gluon-to-gluon splitting function i.e. the leading order Balitsky-Fadin-Kuraev-Lipatov (BFKL) kernel or the Ciafaloni-Catani-Fiore-Marchesini (CCFM) kernel, the obtained splitting function has the important property that it reduces both to the leading order BFKL kernel in the high energy limit, to the Dokshitzer-Gribov-Lipatov-Altarelli-Parisi (DGLAP) gluon-to-gluon splitting function in the collinear limit as well as to the CCFM kernel in the soft limit. At the same time we demonstrate that this splitting kernel can be obtained from a direct calculation of the QCD Feynman diagrams, based on a combined implementation of the Curci-Furmanski-Petronzio formalism for the calculation of the collinear splitting functions and the framework of high energy factorization.
We prove several versions of N. Alon's "necklace-splitting theorem", subject to additional constraints, as illustrated by the following results. (1) The "almost equicardinal necklace-splitting theorem" claims that, without increasing the number of cuts, one guarantees the existence of a fair splitting such that each thief is allocated (approximately) one and the same number of pieces of the necklace (including "degenerate pieces" if they exist), provided the number of thieves $r=p^ν$ is a prime power. (2) The "binary splitting theorem" claims that if $r=2^d$ and the thieves are associated with the vertices of a $d$-cube then, without increasing the number of cuts, one can guarantee the existence of a fair splitting such that adjacent pieces are allocated to thieves that share an edge of the cube. This result provides a positive answer to the "binary splitting necklace conjecture" of Asada at al. (Conjecture 2.11 in [7]) in the case $r=2^d$. (3) An interesting variation arises when the thieves have their own individual preferences. We prove several "envy-free fair necklace-splitting theorems" of various level of generality. By specialization we obtain numerous corollaries, among the
We show that there exist split, orientable, 2-component surface-links in $S^4$ with non-isotopic splitting spheres in their complements. In particular, for non-negative integers $m,n$ with $m\ge 4$, the unlink $L_{m,n}$ consisting of one component of genus $m$ and one component of genus $n$ contains in its complement two smooth splitting spheres that are not topologically isotopic in $S^4\setminus L_{m,n}$. This contrasts with link theory in the classical dimension, as any two splitting spheres in the complement of a 2-component split link $L\subset S^3$ are isotopic in $S^3\setminus L$.
Recently the splitting of elliptic flow $v_2$ at finite rapidities has been proposed as a result of the global vorticity in non-central relativistic heavy ion collisions. In this study, we find that this left-right (i.e., on opposite sides of the impact parameter axis) splitting of the elliptic flow at finite rapidities is a result of the non-zero directed flow $v_1$, with the splitting magnitude $\approx 8v_1(1-3v_2)/(3π)$. We also use a multi-phase transport model, which automatically includes the vorticity field and flow fluctuations, to confirm the $v_2$ splitting. In addition, we find that the analytical expectations for the $v_2$ splitting work for the raw $v_2$ and $v_1$ (i.e., before event plane resolutions are applied) measured relative to either the first- or second-order event plane. Since the $v_2$ splitting is mostly driven by $v_1$, it vanishes at zero transverse momentum ($p_{\rm T}$), and its magnitude and sign may have non-trivial dependencies on $p_{\rm T}$, centrality, collision energy, and hadron species.
A set $A$ is said to split a finite set $B$ if exactly half the elements of $B$ (up to rounding) are contained in $A$. We study the dual notions: (1) splitting family, which is a collection of sets such that any subset of $\{1,\ldots,k\}$ is split by a set in the family, and (2) splittable family, which is a collection of sets such that there is a single set $A$ that splits each set in the family. We study the minimum size of a splitting family on $\{1,\ldots,k\}$, as well as the structure of splitting families of minimum size. We use a mixture of computational and theoretical techniques. We additionally study the related notions of $\mathord{\leq}4$-splitting families and $4$-splitting families, and we provide lower bounds on the minimum size of such families. Next we investigate splittable families that are just on the edge of unsplittability in several senses. First, we study splittable families that have the fewest number of splitters. We give a complete characterization in the case of two sets, and computational results in the case of three sets. Second, we define a splitting game, and study splittable families for which a splitter cannot be found under adversarial conditions.