**7.** Sebastian J. Szybka, Michał J. Wyrȩbowski
*Backreaction for Einstein-Rosen waves coupled to a massless scalar field* Phys. Rev. D: Part. Fields , vol. **94**, p. 024059 (2016). [abstract] [preprint] [journal]
| Abstract: We present a one-parameter family of exact solutions to Einstein's equations that may be used to study the nature of the Green-Wald backreaction framework. Our explicit example is a family of Einstein-Rosen waves coupled to a massless scalar field. | **8.** Sebastian J. Szybka
*Równania Einsteina i efekt niejednorodności w kosmologii* W ,,Ogólna teoria względności a filozofia - sto lat interakcji'', red. P. Polak, J. Mączka, CCPress, pp. 127-142 [journal]
| Abstract:
| **9.** Nicolas Franco, Michał Eckstein
*Causality in noncommutative two-sheeted space-times* , vol. **xxx**, pp. xxx-xxx (2015). [abstract] [preprint]
| Abstract: We investigate the causal structure of two-sheeted space-times using the tools of Lorentzian spectral triples. We show that the noncommutative geometry of these spaces allows for causal relations between the two sheets. The computation is given in details when the sheet is a 2- or 4-dimensional globally hyperbolic spin manifold. The conclusions are then generalised to a point-dependent distance between the two sheets resulting from the fluctuations of the Dirac operator. | **10.** Michał Eckstein, Nicolas Franco
*Causal structure for noncommutative geometry* Frontiers of Fundamental Physics, vol. **14**, pp. 138-xxx (2015). [abstract] [journal]
| Abstract: Noncommutative Geometry à la Connes offers a promising framework for models of fundamental interactions. To guarantee the correct signature, the theory of Lorentzian spectral triples has been developed. We will briefly summarise its main elements and show that it can accommodate a sensible notion of causality understood as a partial order relation on the space of states on an algebra. For almost-commutative algebras of the form $C^\infty \otimes \A_F$, with $\A_F$ being finite-dimensional, the space of (pure) states is a simple product of space-time $\M$ and an internal space. The exploration of causal structures in this context leads to a surprising conclusion: The motion in both space-time and internal space is restricted by a "finite speed of light" constraint. We will present this phenomena on 2 simple toy-models. | **11.** Edited by James Ladyman, Stuart Presnell, Gordon McCabe, Michał Eckstein, Sebastian J. Szybka
*Road to Reality with Roger Penrose* CCPress [abstract] [preprint] [journal]
| Abstract: Where does the road to reality lie? This fundamental question is addressed in this collection of essays by physicists and philosophers, inspired by the original ideas of Sir Roger Penrose. The topics range from black holes and quantum information to the very nature of mathematical cognition itself. | **12.** A. Woszczyna, W. Czaja, K. Głód, Z. A. Golda, R. A. Kycia, A. Odrzywołek, P. Plaszczyk, L. M. Sokołowski, S. J. Szybka
*ccgrg: The symbolic tensor analysis package with tools for general relativity* Wolfram Library Archive, vol. **8848** (2014). [abstract] [journal]
| Abstract: Riemann and Weyl curvature, covariant derivative, Lie derivative, the first and the second fundamental form on hyper-surfaces, as well as basic notions of relativistic hydrodynamics (expansion, vorticity, shear) are predefined functions of the package. New tensors are easy to define. Instructions, basic examples, and some more advanced examples are attached to the package. Characteristic feature of the ccgrg package is the specific coupling between the functional programming and the Parker-Christensen index convention. This causes that no particular tools to rising/lowering tensor indices neither to the tensor contractions are needed. Tensor formulas are written in the form close to that of classical textbooks in GRG, with the only difference that the summation symbol appears explicitly. Tensors are functions, not matrixes, and their components are evaluated lazily. This means that only these components which are indispensable to realize the final task are computed. The memoization technique prevents repetitive evaluation of the same quantities. This saves both, time and memory. | |