SearcharxivSearch

arXiv subjects

Simon Schwarz

Publications and source records attributed to Simon Schwarz.

9 recordsLinked to original sources

A Two-Watched Literal Scheme for First-Order Logic

The two-watched literal scheme, a core component of efficient CDCL (Conflict-Driven Clause Learning) implementations for propositional logic, is extended to first-order logic. Given a set of first-order clauses and a set of ground literals, our lifted two-watched literal scheme efficiently detects all propagating and false clauses with respect to the ground literals. We present the algorithm as a system of rules and prove its soundness and completeness. Additionally, we provide an implementation of the two-watched literal scheme, which outperforms a standard dynamic programming approach for detecting propagatable literals and conflicts, especially when dealing with long clauses.

cs.LO

SCL(FOL) Revisited

This paper presents an up-to-date and refined version of the SCL calculus for first-order logic without equality. The refinement mainly consists of the following two parts: First, we incorporate a stronger notion of regularity into SCL(FOL). Our regularity definition is adapted from the SCL(T) calculus. This adapted definition guarantees non-redundant clause learning during a run of SCL. However, in contrast to the original presentation, it does not require exhaustive propagation. Second, we introduce trail and model bounding to achieve termination guarantees. In previous versions, no termination guarantees about SCL were achieved. Last, we give rigorous proofs for soundness, completeness and clause learning guarantees of SCL(FOL) and put SCL(FOL) into context of existing first-order calculi.

cs.LO

Heat kernel asymptotics for scaling limits of isoradial graphs

We consider the asymptotics of the discrete heat kernel on isoradial graphs for the case where the time and the edge lengths tend to zero simultaneously. Depending on the asymptotic ratio between time and edge lengths, we show that two different regimes arise: (i) a Gaussian regime and (ii) a Poissonian regime, which resemble the short-time asymptotics of the heat kernel on (i) Euclidean spaces and (ii) graphs, respectively.

math.PR

You Cannot Escape Me: Detecting Evasions of SIEM Rules in Enterprise Networks

Cyberattacks have grown into a major risk for organizations, with common consequences being data theft, sabotage, and extortion. Since preventive measures do not suffice to repel attacks, timely detection of successful intruders is crucial to stop them from reaching their final goals. For this purpose, many organizations utilize Security Information and Event Management (SIEM) systems to centrally collect security-related events and scan them for attack indicators using expert-written detection rules. However, as we show by analyzing a set of widespread SIEM detection rules, adversaries can evade almost half of them easily, allowing them to perform common malicious actions within an enterprise network without being detected. To remedy these critical detection blind spots, we propose the idea of adaptive misuse detection, which utilizes machine learning to compare incoming events to SIEM rules on the one hand and known-benign events on the other hand to discover successful evasions. Based on this idea, we present AMIDES, an open-source proof-of-concept adaptive misuse detection system. Using four weeks of SIEM events from a large enterprise network and more than 500 hand-crafted evasions, we show that AMIDES successfully detects a majority of these evasions without any false alerts. In addition, AMIDES eases alert analysis by assessing which rules were evaded. Its computational efficiency qualifies AMIDES for real-world operation and hence enables organizations to significantly reduce detection blind spots with moderate effort.

cs.CR

Efficient Random Walks on Riemannian Manifolds

According to a version of Donsker's theorem, geodesic random walks on Riemannian manifolds converge to the respective Brownian motion. From a computational perspective, however, evaluating geodesics can be quite costly. We therefore introduce approximate geodesic random walks based on the concept of retractions. We show that these approximate walks converge in distribution to the correct Brownian motion as long as the geodesic equation is approximated up to second order. As a result we obtain an efficient algorithm for sampling Brownian motion on compact Riemannian manifolds.

math.PR

Sub-Riemannian Random Walks: From Connections to Retractions

We study random walks on sub-Riemannian manifolds using the framework of retractions, i.e., approximations of normal geodesics. We show that such walks converge to the correct horizontal Brownian motion if normal geodesics are approximated to at least second order. In particular, we (i) provide conditions for convergence of geodesic random walks defined with respect to normal, compatible, and partial connections and (ii) provide examples of computationally efficient retractions, e.g., for simulating anisotropic Brownian motion on Riemannian manifolds.

math.PR

On the Mean-Field Limit of Bosons with Coulomb Two-Body Interaction

In the mean-field limit the dynamics of a quantum Bose gas is described by a Hartree equation. We present a simple method for proving the convergence of the microscopic quantum dynamics to the Hartree dynamics when the number of particles becomes large and the strength of the two-body potential tends to 0 like the inverse of the particle number. Our method is applicable for a class of singular interaction potentials including the Coulomb potential. We prove and state our main result for the Heisenberg-picture dynamics of "observables", thus avoiding the use of coherent states. Our formulation shows that the mean-field limit is a "semi-classical" limit.

math-ph

Mean-Field- and Classical Limit of Many-Body Schrödinger Dynamics for Bosons

We present a new proof of the convergence of the N-particle Schroedinger dynamics for bosons towards the dynamics generated by the Hartree equation in the mean-field limit. For a restricted class of two-body interactions, we obtain convergence estimates uniform in the Planck constant , up to an exponentially small remainder. For h=0, the classical dynamics in the mean-field limit is given by the Vlasov equation.

math-ph

Statistical Mechanics of Thermodynamic Processes

In this note we describe some results concerning non-relativistic quantum systems at positive temperature and density confined to macroscopically large regions of physical space which are under the influence of some local, time-dependent external forces. We are interested in asymptotic properties of such systems.

math-ph