Given a graph $G=(V,E)$, a $β$-ruling set is a subset $S\subseteq V$ that is i) independent, and ii) every node $v\in V$ has a node of $S$ within distance $β$. In this paper we present almost optimal distributed algorithms for finding ruling sets in trees and high girth graphs in the classic LOCAL model. As our first contribution we present an $O(\log\log n)$-round randomized algorithm for computing $2$-ruling sets on trees, almost matching the $Ω(\log\log n/\log\log\log n)$ lower bound given by Balliu et al. [FOCS'20]. Second, we show that $2$-ruling sets can be solved in $\widetilde{O}(\log^{5/3}\log n)$ rounds in high-girth graphs. Lastly, we show that $O(\log\log\log n)$-ruling sets can be computed in $\widetilde{O}(\log\log n)$ rounds in high-girth graphs matching the lower bound up to triple-log factors. All of these results either improve polynomially or exponentially on the previously best algorithms and use a smaller domination distance $β$.
We study the deterministic complexity of the $2$-Ruling Set problem in the model of Massively Parallel Computation (MPC) with linear and strongly sublinear local memory. Linear MPC: We present a constant-round deterministic algorithm for the $2$-Ruling Set problem that matches the randomized round complexity recently settled by Cambus, Kuhn, Pai, and Uitto [DISC'23], and improves upon the deterministic $O(\log \log n)$-round algorithm by Pai and Pemmaraju [PODC'22]. Our main ingredient is a simpler analysis of CKPU's algorithm based solely on bounded independence, which makes its efficient derandomization possible. Sublinear MPC: We present a deterministic algorithm that computes a $2$-Ruling Set in $\tilde O(\sqrt{\log n})$ rounds deterministically. Notably, this is the first deterministic ruling set algorithm with sublogarithmic round complexity, improving on the $O(\log Δ+ \log \log^* n)$-round complexity that stems from the deterministic MIS algorithm of Czumaj, Davies, and Parter [TALG'21]. Our result is based on a simple and fast randomness-efficient construction that achieves the same sparsification as that of the randomized $\tilde O(\sqrt{\log n})$-round LOCAL algorithm by
An $(α,β)$-ruling set of a graph $G=(V,E)$ is a set $R\subseteq V$ such that for any node $v\in V$ there is a node $u\in R$ in distance at most $β$ from $v$ and such that any two nodes in $R$ are at distance at least $α$ from each other. The concept of ruling sets can naturally be extended to edges, i.e., a subset $F\subseteq E$ is an $(α,β)$-ruling edge set of a graph $G=(V,E)$ if the corresponding nodes form an $(α,β)$-ruling set in the line graph of $G$. This paper presents a simple deterministic, distributed algorithm, in the $\mathsf{CONGEST}$ model, for computing $(2,2)$-ruling edge sets in $O(\log^* n)$ rounds. Furthermore, we extend the algorithm to compute ruling sets of graphs with bounded diversity. Roughly speaking, the diversity of a graph is the maximum number of maximal cliques a vertex belongs to. We devise $(2,O(\mathcal{D}))$-ruling sets on graphs with diversity $\mathcal{D}$ in $O(\mathcal{D}+\log^* n)$ rounds. This also implies a fast, deterministic $(2,O(\ell))$-ruling edge set algorithm for hypergraphs with rank at most $\ell$. Furthermore, we provide a ruling set algorithm for general graphs that for any $B\geq 2$ computes an $\big(α, α\lceil \log_B n \rceil
This paper improves and in two cases nearly settles, up to logarithmically lower-order factors, the deterministic complexity of some of the most central problems in distributed graph algorithms, which have been studied for over three decades: Near-Optimal Network Decomposition: We present a deterministic distributed algorithm that computes a network decomposition in approximately O(log^2 n) rounds, with O(log n) diameter and O(log n) colors. This round complexity is near-optimal in the following sense: even given an ideal network decomposition, using it (in the standard way) requires round complexity equal to the product of diameter and number of colors, which is known to be approximately Omega(log^2 n). This near-optimality is remarkable, considering the rarity of optimal deterministic distributed algorithms and that for network decomposition, the first polylogarithmic-round algorithm was achieved only recently, by Rozhon and Ghaffari [STOC 2020], after three decades. Near-Optimal Ruling Set: We present a deterministic distributed algorithm that computes an O(log log n) ruling set in approximately O(log n) rounds. This is an exponential improvement over the O(log n) ruling set of
Many Security Operations Centers (SOCs) today still heavily rely on signature-based Network Intrusion Detection Systems (NIDS) such as Suricata. The specificity of intrusion detection rules and the coverage provided by rulesets are common concerns within the professional community surrounding SOCs, which impact the effectiveness of automated alert post-processing approaches. We postulate a better understanding of factors influencing the quality of rules can help address current SOC issues. In this paper, we characterize the rules in use at a collaborating commercial (managed) SOC serving customers in sectors including education and IT management. During this process, we discover six relevant design principles, which we consolidate through interviews with experienced rule designers at the SOC.We then validate our design principles by quantitatively assessing their effect on rule specificity. We find that several of these design considerations significantly impact unnecessary workload caused by rules. For instance, rules that leverage proxies for detection, and rules that do not employ alert throttling or do not distinguish (un)successful malicious actions, cause significantly more w
A meta-complexity assumption, Feasible Chaitin Incompleteness (FCI), asserts the hardness of ruling out length $t$ proofs that string $x$ is Kolmogorov random (e.g. $x{\in}R$), by analogy to Chaitin's result that proving $x{\in}R$ is typically impossible. By assertion, efficiently ruling out short proofs requires, impossibly, ruling out any proof. FCI has strong implications: (i) randomly chosen $x$ typically yields tautologies hard with high probability for any given proof system, densely witnessing its nonoptimality; (ii) average-case impossibility of proving $x{\in}R$ implies average-case hardness of proving tautologies and Feige's hypothesis; and (iii) a natural language is $\textbf{NP}$-intermediate -- the sparse complement of "$x{\in}R$ lacks a length $t$ proof" (where $R$'s complement is sparse) -- and has $\textbf{P/poly}$ circuits despite not being in $\textbf{P}$. FCI and its variants powerfully assert: (i) noncomputability facts translate to hardness conjectures; (ii) numerous open complexity questions have the expected answers (e.g. non-collapse of $\textbf{PH}$), so one overarching conjecture subsumes many questions; and (iii) an implicit mapping between certain unprov
We study local symmetry breaking problems in the CONGEST model, focusing on ruling set problems, which generalize the fundamental Maximal Independent Set (MIS) problem. A $β$-ruling set is an independent set such that every node in the graph is at most $β$ hops from a node in the independent set. Our work is motivated by the following central question: can we break the $Θ(\log n)$ time complexity barrier and the $Θ(m)$ message complexity barrier in the CONGEST model for MIS or closely-related symmetry breaking problems? We present the following results: - Time Complexity: We show that we can break the $O(\log n)$ "barrier" for 2- and 3-ruling sets. We compute 3-ruling sets in $O\left(\frac{\log n}{\log \log n}\right)$ rounds with high probability (whp). More generally we show that 2-ruling sets can be computed in $O\left(\log Δ\cdot (\log n)^{1/2 + \varepsilon} + \frac{\log n}{\log\log n}\right)$ rounds for any $\varepsilon > 0$, which is $o(\log n)$ for a wide range of $Δ$ values (e.g., $Δ= 2^{(\log n)^{1/2-\varepsilon}}$). These are the first 2- and 3-ruling set algorithms to improve over the $O(\log n)$-round complexity of Luby's algorithm in the CONGEST model. - Message Comp
We define ruling invariants for even-valence Legendrian graphs in standard contact three-space. We prove that rulings exist if and only if the DGA of the graph, introduced by the first two authors, has an augmentation. We set up the usual ruling polynomials for various notions of gradedness and prove that if the graph is four-valent, then the ungraded ruling polynomial appears in Kauffman-Vogel's graph version of the Kauffman polynomial. Our ruling invariants are compatible with certain vertex-identifying operations as well as vertical cuts and gluings of front diagrams. We also show that Leverson's definition of a ruling of a Legendrian link in a connected sum of $S^1 \times S^2$'s can be seen as a special case of ours.
If no optimal propositional proof system exists, we (and independently Pudlák) prove that ruling out length $t$ proofs of any unprovable sentence is hard. This mapping from unprovable to hard-to-prove sentences powerfully translates facts about noncomputability into complexity theory. For instance, because proving string $x$ is Kolmogorov random ($x{\in}R$) is typically impossible, it is typically hard to prove "no length $t$ proof shows $x{\in}R$", or tautologies encoding this. Therefore, a proof system with one family of hard tautologies has these densely in an enumeration of families. The assumption also implies that a natural language is $\textbf{NP}$-intermediate: with $R$ redefined to have a sparse complement, the complement of the language $\{\langle x,1^t\rangle|$ no length $t$ proof exists of $x{\in}R\}$ is also sparse. Efficiently ruling out length $t$ proofs of $x{\in}R$ might violate the constraint on using the fact of $x{\in}R$'s unprovability. We conjecture: any computable predicate on $R$ that might be used in if-then statements (or case-based proofs) does no better than branching at random, because $R$ appears random by any effective test. This constraint could also
This work deals with planar dynamical systems with and without noise. In the first part, we seek to gain a refined understanding of such systems by studying their differential-geometric transformation properties under an arbitrary smooth mapping. Using elementary techniques, we obtain a unified picture of different classes of dynamical systems, some of which are classically viewed as distinct. We specifically give two examples of Hamiltonian systems with first integrals, which are simultaneously gradient systems. Potential applications of this apparent duality are discussed. The second part of this study is concerned with ruling out closed orbits in steady planar systems. We reformulate Bendixson's criterion using the coordinate-independent Helmholtz decomposition derived in the first part, and we derive another, similar criterion. Our results allow for automated ruling out of closed orbits in certain regions of phase space, and could be used in the future for efficient seeding of initial conditions in numerical algorithms to detect periodic solutions.
In this paper we present a deterministic $O(\log\log n)$-round algorithm for the 2-ruling set problem in the Massively Parallel Computation model with $\tilde{O}(n)$ memory; this algorithm also runs in $O(\log\log n)$ rounds in the Congested Clique model. This is exponentially faster than the fastest known deterministic 2-ruling set algorithm for these models, which is simply the $O(\log Δ)$-round deterministic Maximal Independent Set algorithm due to Czumaj, Davies, and Parter (SPAA 2020). Our result is obtained by derandomizing the 2-ruling set algorithm of Kothapalli and Pemmaraju (FSTTCS 2012).
Each ruling of a Legendrian link can be naturally treated as a surface. For knots, the ruling is 2-graded if and only if the surface is orientable. For 2-graded rulings of homogeneous (in particular, alternating) knots, we prove that the genus of this surface is at most the genus of the knot. While this is not true in general, we do prove that the canonical genus (a.k.a. diagram genus) of any knot is an upper bound for the genera of its 2-graded rulings.
For Legendrian links in the 1-jet space of $S^1$ we show that the 1-graded ruling polynomial may be recovered from the Kauffman skein module. For such links a generalization of the notion of normal ruling is introduced. We show that the existence of such a generalized normal ruling is equivalent to sharpness of the Kauffman polynomial estimate for the Thurston-Bennequin number as well as to the existence of an ungraded augmentation of the Chekanov-Eliashberg DGA. Parallel results involving the HOMFLY-PT polynomial and 2-graded generalized normal rulings are established.
We establish relationships between two classes of invariants of Legendrian knots in $\mathbb{R}^3$: Representation numbers of the Chekanov-Eliashberg DGA and satellite ruling polynomials. For positive permutation braids, $β\subset J^1S^1$, we give a precise formula in terms of representation numbers for the $m$-graded ruling polynomial $R^m_{S(K,β)}(z)$ of the satellite of $K$ with $β$ specialized at $z=q^{1/2}-q^{-1/2}$ with $q$ a prime power, and we use this formula to prove that arbitrary $m$-graded satellite ruling polynomials, $R^m_{S(K,L)}$, are determined by the Chekanov-Eliashberg DGA of $K$. Conversely, for $m eq 1$, we introduce an $n$-colored $m$-graded ruling polynomial, $R^m_{n,K}(q)$, in strict analogy with the $n$-colored HOMFLY-PT polynomial, and show that the total $n$-dimensional $m$-graded representation number of $K$ to $\mathbb{F}_q^n$, $\mbox{Rep}_m(K,\mathbb{F}_q^n)$, is exactly equal to $R^m_{n,K}(q)$. In the case of $2$-graded representations, we show that $R^2_{n,K}=\mbox{Rep}_2(K, \mathbb{F}_q^n)$ arises as a specialization of the $n$-colored HOMFLY-PT polynomial.
Associated to Legendrian links in the standard contact three-space, Ruling polynomials are Legendrian isotopy invariants, which also compute augmentation numbers, that is, the points-counting of augmentation varieties for Legendrian links (up to a normalized factor) \cite{HR15}. In this article, we generalize this picture to Legendrian tangles, which are morally the pieces obtained by cutting Legendrian link fronts along 2 vertical lines. Moreover, we show that the Ruling polynomials for Legendrian tangles satisfy the composition axiom. In the special case of Legendrian knots, our arguments provide new proofs to the main results in \cite{HR15}. In the end, we also introduce generalized Ruling polynomials for Legendrian tangles, to account for non-acyclic augmentations in the "Ruling polynomials compute augmentation numbers" picture.
An intuitive design method is proposed for generating developable ruled B-spline surfaces from a sequence of straight line segments indicating the surface shape. The first and last line segments are enforced to be the head and tail ruling lines of the resulting surface while the interior lines are required to approximate rulings on the resulting surface as much as possible. This manner of developable surface design is conceptually similar to the popular way of the freeform curve and surface design in the CAD community, observing that a developable ruled surface is a single parameter family of straight lines. This new design mode of the developable surface also provides more flexibility than the widely employed way of developable surface design from two boundary curves of the surface. The problem is treated by numerical optimization methods with which a particular level of distance error is allowed. We thus provide an effective tool for creating surfaces with a high degree of developability when the input control rulings do not lie in exact developable surfaces. We consider this ability as the superiority over analytical methods in that it can deal with arbitrary design inputs and f
A ruled surface is a shape swept out by moving a line in 3D space. Due to their simple geometric forms, ruled surfaces have applications in various domains such as architecture and engineering. In the past, various approaches have been proposed to approximate a target shape using developable surfaces, which are special ruled surfaces with zero Gaussian curvature. However, methods for shape approximation using general ruled surfaces remain limited and often require the target shape to be either represented as parametric surfaces or have non-positive Gaussian curvature. In this paper, we propose a method to compute a piecewise ruled surface that approximates an arbitrary freeform mesh surface. We first use a group-sparsity formulation to optimize the given mesh shape into an approximately piecewise ruled form, in conjunction with a tangent vector field that indicates the ruling directions. Afterward, we utilize the optimization result to extract seams that separate smooth families of rulings, and use the seams to construct the initial rulings. Finally, we further optimize the positions and orientations of the rulings to improve the alignment with the input target shape. We apply our
Dual-bandpass spatial heterodyne spectrometers (DB-SHS) enable simultaneous high-resolution measurements of widely separated passbands, providing powerful diagnostics of astrophysical and planetary environments. However, DB-SHS instruments require a single incident beam to span two adjacent diffraction gratings with distinct ruling densities and blaze angles, resulting in a large gap between ruled sections that reduces throughput. Dual-ruled gratings solve this problem by integrating multiple ruled panels onto a single substrate, minimizing the dead space between ruled sections. We present experimental validation of a first-generation symmetric-facet dual-ruled grating manufactured by Bach Research, mechanically ruled at $800$ and $\mathrm{2000\;gr\;mm^{-1}}$ with a $13.8^\circ$ blaze angle. Using a stabilized deuterium source alongside a Czerny-Turner monochromator, we measured diffraction efficiencies into the $m = 0, \pm1, \pm2$ orders from $200$ to $\mathrm{700\;nm}$. We compare these results with theoretical predictions from rigorous coupled-wave analysis (RCWA), inferring a facet asymmetry of $\lesssim1^\circ$ and $\sim70\%$ facet duty cycle indicative of minor manufacturing
In this paper, we show how to construct a special class of ruled hypersurfaces in the nonflat complex space forms $\mathbb{CP}^n$ and $\mathbb{C}H^n$. This is done by taking an arbitrary smooth curve in a totally geodesic (complex) one-dimensional submanifold and erecting an orthogonal ruling over each of its points. Concentrating on the $n=2$ case, we also examine the special situation in which the base curve has constant geodesic curvature. We show that, in this case, the construction yields precisely the real-analytic hypersurfaces of cohomogeneity one that satisfy a certain transversality condition.
We reformulate and generalize the equilibrium hyperforce sum rule, a generalization of the Bogoliubov-Born-Green-Kirkwood-Yvon (BBGKY) hierarchy, by employing the Schwartz space and its dual. We show that the hyperforce sum rule for the Euclidean space and the equilibrium BBGKY hierarchy at arbitrary level are derived through the Leibniz rule of the derivative for the pairing of tempered distributions and Schwartz functions. We also apply the Leibniz rule to obtain the hyperforce sum rule for systems with periodic boundary conditions.