670 research outputs found
Polynomial systems supported on circuits and dessins d'enfants
We study polynomial systems whose equations have as common support a set C of
n+2 points in Z^n called a circuit. We find a bound on the number of real
solutions to such systems which depends on n, the dimension of the affine span
of the minimal affinely dependent subset of C, and the "rank modulo 2" of C. We
prove that this bound is sharp by drawing so-called dessins d'enfant on the
Riemann sphere. We also obtain that the maximal number of solutions with
positive coordinates to systems supported on circuits in Z^n is n+1, which is
very small comparatively to the bound given by the Khovanskii fewnomial
theorem.Comment: 19 pages, 5 figures, Section 3.1 revised, minor changes in other
section
Realizability and uniqueness in graphs
AbstractConsider a finite graph G(V,E). Let us associate to G a finite list P(G) of invariants. To any P the following two natural problems arise: (R) Realizability. Given P, when is P=P(G) for some graph G?, (U) Uniqueness. Suppose P(G)=P(H) for graphs G and H. When does this imply G ≅ H? The best studied questions in this context are the degree realization problem for (R) and the reconstruction conjecture for (U). We discuss the problems (R) and (U) for the degree sequence and the size sequence of induced subgraphs for undirected and directed graphs, concentrating on the complexity of the corresponding decision problems and their connection to a natural search problem on graphs
Static Analysis of Deterministic Negotiations
Negotiation diagrams are a model of concurrent computation akin to workflow
Petri nets. Deterministic negotiation diagrams, equivalent to the much studied
and used free-choice workflow Petri nets, are surprisingly amenable to
verification. Soundness (a property close to deadlock-freedom) can be decided
in PTIME. Further, other fundamental questions like computing summaries or the
expected cost, can also be solved in PTIME for sound deterministic negotiation
diagrams, while they are PSPACE-complete in the general case.
In this paper we generalize and explain these results. We extend the
classical "meet-over-all-paths" (MOP) formulation of static analysis problems
to our concurrent setting, and introduce Mazurkiewicz-invariant analysis
problems, which encompass the questions above and new ones. We show that any
Mazurkiewicz-invariant analysis problem can be solved in PTIME for sound
deterministic negotiations whenever it is in PTIME for sequential
flow-graphs---even though the flow-graph of a deterministic negotiation diagram
can be exponentially larger than the diagram itself. This gives a common
explanation to the low-complexity of all the analysis questions studied so far.
Finally, we show that classical gen/kill analyses are also an instance of our
framework, and obtain a PTIME algorithm for detecting anti-patterns in
free-choice workflow Petri nets.
Our result is based on a novel decomposition theorem, of independent
interest, showing that sound deterministic negotiation diagrams can be
hierarchically decomposed into (possibly overlapping) smaller sound diagrams.Comment: To appear in the Proceedings of LICS 2017, IEEE Computer Societ
Oriented Matroids -- Combinatorial Structures Underlying Loop Quantum Gravity
We analyze combinatorial structures which play a central role in determining
spectral properties of the volume operator in loop quantum gravity (LQG). These
structures encode geometrical information of the embedding of arbitrary valence
vertices of a graph in 3-dimensional Riemannian space, and can be represented
by sign strings containing relative orientations of embedded edges. We
demonstrate that these signature factors are a special representation of the
general mathematical concept of an oriented matroid. Moreover, we show that
oriented matroids can also be used to describe the topology (connectedness) of
directed graphs. Hence the mathematical methods developed for oriented matroids
can be applied to the difficult combinatorics of embedded graphs underlying the
construction of LQG. As a first application we revisit the analysis of [4-5],
and find that enumeration of all possible sign configurations used there is
equivalent to enumerating all realizable oriented matroids of rank 3, and thus
can be greatly simplified. We find that for 7-valent vertices having no
coplanar triples of edge tangents, the smallest non-zero eigenvalue of the
volume spectrum does not grow as one increases the maximum spin \jmax at the
vertex, for any orientation of the edge tangents. This indicates that, in
contrast to the area operator, considering large \jmax does not necessarily
imply large volume eigenvalues. In addition we give an outlook to possible
starting points for rewriting the combinatorics of LQG in terms of oriented
matroids.Comment: 43 pages, 26 figures, LaTeX. Version published in CQG. Typos
corrected, presentation slightly extende
Discrete Geometry
The workshop on Discrete Geometry was attended by 53 participants, many of them young researchers. In 13 survey talks an overview of recent developments in Discrete Geometry was given. These talks were supplemented by 16 shorter talks in the afternoon, an open problem session and two special sessions. Mathematics Subject Classification (2000): 52Cxx. Abstract regular polytopes: recent developments. (Peter McMullen) Counting crossing-free configurations in the plane. (Micha Sharir) Geometry in additive combinatorics. (József Solymosi) Rigid components: geometric problems, combinatorial solutions. (Ileana Streinu) • Forbidden patterns. (János Pach) • Projected polytopes, Gale diagrams, and polyhedral surfaces. (Günter M. Ziegler) • What is known about unit cubes? (Chuanming Zong) There were 16 shorter talks in the afternoon, an open problem session chaired by Jesús De Loera, and two special sessions: on geometric transversal theory (organized by Eli Goodman) and on a new release of the geometric software Cinderella (Jürgen Richter-Gebert). On the one hand, the contributions witnessed the progress the field provided in recent years, on the other hand, they also showed how many basic (and seemingly simple) questions are still far from being resolved. The program left enough time to use the stimulating atmosphere of the Oberwolfach facilities for fruitful interaction between the participants
- …