Path-Fault-Tolerant Approximate Shortest-Path Trees

Let $G=(V,E)$ be an $n$-nodes non-negatively real-weighted undirected graph. In this paper we show how to enrich a {\em single-source shortest-path tree} (SPT) of $G$ with a \emph{sparse} set of \emph{auxiliary} edges selected from $E$, in order to create a structure which tolerates effectively a \emph{path failure} in the SPT. This consists of a simultaneous fault of a set $F$ of at most $f$ adjacent edges along a shortest path emanating from the source, and it is recognized as one of the most frequent disruption in an SPT. We show that, for any integer parameter $k \geq 1$, it is possible to provide a very sparse (i.e., of size $O(kn\cdot f^{1+1/k})$) auxiliary structure that carefully approximates (i.e., within a stretch factor of $(2k-1)(2|F|+1)$) the true shortest paths from the source during the lifetime of the failure. Moreover, we show that our construction can be further refined to get a stretch factor of $3$ and a size of $O(n \log n)$ for the special case $f=2$, and that it can be converted into a very efficient \emph{approximate-distance sensitivity oracle}, that allows to quickly (even in optimal time, if $k=1$) reconstruct the shortest paths (w.r.t. our structure) from the source after a path failure, thus permitting to perform promptly the needed rerouting operations. Our structure compares favorably with previous known solutions, as we discuss in the paper, and moreover it is also very effective in practice, as we assess through a large set of experiments.Comment: 21 pages, 3 figures, SIROCCO 201

A rare case of leiomyoma of the bladder

Bladder leiomyoma is a benign tumour of the bladder and constitute <0.5% of all bladder tumors. We report a clinical case of a 51‑year‑old female who presented with with symptomatic bladder leiomyoma. An ultrasound examination showed well-defined bladder leiomyoma in the right posterior bladder wall, which was excised through a transurethral resection. The pathologic diagnosis was bladder leiomyoma

The Isospectral Dirac Operator on the 4-dimensional Orthogonal Quantum Sphere

Equivariance under the action of Uq(so(5)) is used to compute the left regular and (chiral) spinorial representations of the algebra of the orthogonal quantum 4-sphere S^4_q. These representations are the constituents of a spectral triple on this sphere with a Dirac operator which is isospectral to the canonical one on the round undeformed four-sphere and which gives metric dimension four for the noncommutative geometry. Non-triviality of the geometry is proved by pairing the associated Fredholm module with an `instanton' projection. We also introduce a real structure which satisfies all required properties modulo smoothing operators.Comment: 40 pages, no figures, Latex. v2: Title changed. Sect. 9 on real structure completely rewritten and results strengthened. Additional minor changes throughout the pape

On Pythagoras' theorem for products of spectral triples

We discuss a version of Pythagoras theorem in noncommutative geometry. Usual Pythagoras theorem can be formulated in terms of Connes' distance, between pure states, in the product of commutative spectral triples. We investigate the generalization to both non pure states and arbitrary spectral triples. We show that Pythagoras theorem is replaced by some Pythagoras inequalities, that we prove for the product of arbitrary (i.e. non-necessarily commutative) spectral triples, assuming only some unitality condition. We show that these inequalities are optimal, and provide non-unital counter-examples inspired by K-homology.Comment: Paper slightly shortened to match the published version; Lett. Math. Phys. 201

Fundamental collapse of the exciton-exciton effective scattering

The exciton-exciton effective scattering which rules the time evolution of two excitons is studied as a function of initial momentum difference, scattering angle and electron-to-hole mass ratio. We show that this effective scattering can collapse for energy-conserving configurations provided that the difference between the two initial exciton momenta is larger than a threshold value. Sizeable scatterings then exist in the forward direction only. We even find that, for an electron-to-hole mass ratio close to 1/2, the exciton-exciton effective scattering stays close to zero in all directions when the difference between the initial exciton momenta has a very specific value. This unexpected but quite remarkable collapse comes from tricky compensation between direct and exchange Coulomb processes which originates from the fundamental undistinguishability of the exciton fermionic components.Comment: Revised text version. Accepted for publication in Physical Review

Local Index Formula on the Equatorial Podles Sphere

We discuss spectral properties of the equatorial Podles sphere. As a preparation we also study the `degenerate' (i.e. $q=0$) case (related to the quantum disk). We consider two different spectral triples: one related to the Fock representation of the Toeplitz algebra and the isopectral one. After the identification of the smooth pre-$C^*$-algebra we compute the dimension spectrum and residues. We check the nontriviality of the (noncommutative) Chern character of the associated Fredholm modules by computing the pairing with the fundamental projector of the $C^*$-algebra (the nontrivial generator of the $K_0$-group) as well as the pairing with the $q$-analogue of the Bott projector. Finally, we show that the local index formula is trivially satisfied.Comment: 18 pages, no figures; minor correction

Dirac Operators on Quantum Projective Spaces

We construct a family of self-adjoint operators D_N which have compact resolvent and bounded commutators with the coordinate algebra of the quantum projective space CP_q(l), for any l>1 and 0<q<1. They provide 0^+ dimensional equivariant even spectral triples. If l is odd and N=(l+1)/2, the spectral triple is real with KO-dimension 2l mod 8.Comment: 54 pages, no figures, dcpic, pdflate

Fully-dynamic Approximation of Betweenness Centrality

Betweenness is a well-known centrality measure that ranks the nodes of a network according to their participation in shortest paths. Since an exact computation is prohibitive in large networks, several approximation algorithms have been proposed. Besides that, recent years have seen the publication of dynamic algorithms for efficient recomputation of betweenness in evolving networks. In previous work we proposed the first semi-dynamic algorithms that recompute an approximation of betweenness in connected graphs after batches of edge insertions. In this paper we propose the first fully-dynamic approximation algorithms (for weighted and unweighted undirected graphs that need not to be connected) with a provable guarantee on the maximum approximation error. The transfer to fully-dynamic and disconnected graphs implies additional algorithmic problems that could be of independent interest. In particular, we propose a new upper bound on the vertex diameter for weighted undirected graphs. For both weighted and unweighted graphs, we also propose the first fully-dynamic algorithms that keep track of such upper bound. In addition, we extend our former algorithm for semi-dynamic BFS to batches of both edge insertions and deletions. Using approximation, our algorithms are the first to make in-memory computation of betweenness in fully-dynamic networks with millions of edges feasible. Our experiments show that they can achieve substantial speedups compared to recomputation, up to several orders of magnitude

Open and / or laparoscopic surgical treatment of liver hydatic cysts

Hydatid disease is a severe parasitic disease with a widely ranging distribution. In the human being the liver is the most frequent organ affected. 1 The treatment should be individualized to the morphology, size, number and location of the cysts, that is why a variety of surgical operations have been advocated from complete resection like total pericystectomy or partial hepatectomy to laparoscopy to a minimally invasive procedures like percutaneous aspiration of cysts to conservative drug therapy. 3-4 This study compares laparoscopic versus open management of the hydatid cyst of liver the surgical approach to liver echinococcosis is still a controversial issue and shows our results of surgical treatment of liver hydatid cysts during a 3-years period

Quantum Isometries of the finite noncommutative geometry of the Standard Model

We compute the quantum isometry group of the finite noncommutative geometry F describing the internal degrees of freedom in the Standard Model of particle physics. We show that this provides genuine quantum symmetries of the spectral triple corresponding to M x F where M is a compact spin manifold. We also prove that the bosonic and fermionic part of the spectral action are preserved by these symmetries.Comment: 29 pages, no figures v3: minor change