Showing 1–48 of 48 results for author: Szekely, G

Three classical probability problems: the Hungarian roulette

Authors: Tamás F. Móri, Gábor J. Székely

Abstract: In this paper three unrelated problems will be discussed. What connects them is the rich methodology of classical probability theory. In the first two problems we have a complete answer to the problems raised; in the third case, what we call the Hungarian roulette problem, we only have a conjecture with heuristic justification. In this paper three unrelated problems will be discussed. What connects them is the rich methodology of classical probability theory. In the first two problems we have a complete answer to the problems raised; in the third case, what we call the Hungarian roulette problem, we only have a conjecture with heuristic justification. △ Less

Submitted 27 June, 2024; v1 submitted 16 April, 2024; originally announced April 2024.

Comments: 13 pages, 1 figure. To appear in Annales Univ. Sci. Budapest., Sec. Comp., vol. 56

MSC Class: 60E10; 60F05; 62E10

Epidemic spread, parameter sensitivity and vaccination strategies on a random graph with overlapping communities

Authors: Ágnes Backhausz, György J. Székely

Abstract: Our main goal is to examine the role of communities in epidemic spread in a random graph model. More precisely, we consider a random graph model which consists of overlapping complete graphs, representing households, workplaces, school classes, and which also has a simple geometric structure. We study the model's sensitivity to infection parameters and other tunable parameters of the model, which… ▽ More Our main goal is to examine the role of communities in epidemic spread in a random graph model. More precisely, we consider a random graph model which consists of overlapping complete graphs, representing households, workplaces, school classes, and which also has a simple geometric structure. We study the model's sensitivity to infection parameters and other tunable parameters of the model, which might be helpful in finding efficient social distancing strategies. We also quantitatively compare different vaccination strategies to see which order is the best to defend the most vulnerable groups or the population in general, and how important it is to gather and use information on the position of infected individuals in the network. △ Less

Submitted 24 August, 2023; originally announced August 2023.

Comments: 16 pages, 7 figures

MSC Class: 92D30

Testing definitional equivalence of theories via automorphism groups

Authors: H. Andréka, J. Madarász, I. Németi, G. Székely

Abstract: Two first-order logic theories are definitionally equivalent if and only if there is a bijection between their model classes that preserves isomorphisms and ultraproducts (Theorem 2). This is a variant of a prior theorem of van Benthem and Pearce. In Example 2, uncountably many pairs of definitionally inequivalent theories are given such that their model categories are concretely isomorphic via bi… ▽ More Two first-order logic theories are definitionally equivalent if and only if there is a bijection between their model classes that preserves isomorphisms and ultraproducts (Theorem 2). This is a variant of a prior theorem of van Benthem and Pearce. In Example 2, uncountably many pairs of definitionally inequivalent theories are given such that their model categories are concretely isomorphic via bijections that preserve ultraproducts in the model categories up to isomorphism. Based on these results, we settle several conjectures of Barrett, Glymour and Halvorson. △ Less

Submitted 7 July, 2023; v1 submitted 25 November, 2022; originally announced November 2022.

MSC Class: 03C40 (Primary) 03C20; 08A35; 03B10; 03A10; 18Cxx (Secondary)

Complexity in the interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime

Authors: Hajnal Andréka, Judit X. Madarász, István Németi, Gergely Székely

Abstract: Interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime is investigated in detail in the paper, with the aim of finding the simplest definitions. Based on ideas scattered in the literature, definitions are given between any two of these relations that use only 4 variables. All these definitions work over arbitrary Euclidean fields in place of the field of reals, i… ▽ More Interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime is investigated in detail in the paper, with the aim of finding the simplest definitions. Based on ideas scattered in the literature, definitions are given between any two of these relations that use only 4 variables. All these definitions work over arbitrary Euclidean fields in place of the field of reals, if the dimension n of spacetime is greater than two. If n=2, the definitions work over arbitrary ordered fields except the ones based on lightlike relatedness (where no definition can work by symmetry). None of these relations can be defined from another one using only 3 variables. Our four-variable definitions use only one universal and one existential quantifiers in a specific order. In some of the cases, we show that the order of these quantifiers can be reversed for the price of using twice as many quantifiers. Except two cases, we provide existential/universal definitions using 5 variables or show that no existential/universal definition exists. There are no existential/universal definitions between any two of these relations using only 4 variables. It remains open whether there is an existential (universal) definition of timelike (lightlike) relatedness from spacelike relatedness if $n>2$. Finally, several other open problems related to the quantifier complexity of the simplest possible definitions are given. △ Less

Submitted 30 December, 2021; originally announced December 2021.

Comments: 30 pages, 18 figures, 3 tables

Journal ref: Annals of Pure and Applied Logic, Volume 173, Issue 5, May 2022, 103100

On the networks of large embeddings

Authors: Tuğba Aslan, Mohamed Khaled, Gergely Székely

Abstract: We define a special network that exhibits the large embeddings in any class of similar algebras. With the aid of this network, we introduce a notion of distance that conceivably counts the minimum number of dissimilarities, in a sense, between two given algebras in the class in hand; with the possibility that this distance may take the value $\infty$. We display a number of inspirational examples… ▽ More We define a special network that exhibits the large embeddings in any class of similar algebras. With the aid of this network, we introduce a notion of distance that conceivably counts the minimum number of dissimilarities, in a sense, between two given algebras in the class in hand; with the possibility that this distance may take the value $\infty$. We display a number of inspirational examples from different areas of algebra, e.g., group theory and monounary algebras, to show that this research direction can be quite remarkable. △ Less

Submitted 20 December, 2021; originally announced December 2021.

Comments: 25 pages; 15 figures

MSC Class: Primary 08A60; 03C05; Secondary 08A05; 05C12

The Earth Mover's Correlation

Authors: Tamás F. Móri, Gábor J. Székely

Abstract: Since Pearson's correlation was introduced at the end of the 19th century many dependence measures have appeared in the literature. Recently we have suggested four simple axioms for dependence measures of random variables that take values in Hilbert spaces. We showed that distance correlation satisfies all these axioms. We still need a new measure of dependence because existing measures either do… ▽ More Since Pearson's correlation was introduced at the end of the 19th century many dependence measures have appeared in the literature. Recently we have suggested four simple axioms for dependence measures of random variables that take values in Hilbert spaces. We showed that distance correlation satisfies all these axioms. We still need a new measure of dependence because existing measures either do not work in general metric spaces (that are not Hilbert spaces) or they do not satisfy our four simple axioms. The earth mover's correlation introduced in this paper applies in general metric spaces and satisfies our four axioms (two of them in a weaker form). △ Less

Submitted 9 September, 2020; originally announced September 2020.

MSC Class: 62H20

Groups of Worldview Transformations Implied by Isotropy of Space

Authors: Judit X. Madarász, Mike Stannett, Gergely Székely

Abstract: Given any Euclidean ordered field, $Q$, and any 'reasonable' group, $G$, of (1+3)-dimensional spacetime symmetries, we show how to construct a model $M_{G}$ of kinematics for which the set $W$ of worldview transformations between inertial observers satisfies $W=G$. This holds in particular for all relevant subgroups of $Gal$, $cPoi$, and $cEucl$ (the groups of Galilean, Poincaré and Euclidean tran… ▽ More Given any Euclidean ordered field, $Q$, and any 'reasonable' group, $G$, of (1+3)-dimensional spacetime symmetries, we show how to construct a model $M_{G}$ of kinematics for which the set $W$ of worldview transformations between inertial observers satisfies $W=G$. This holds in particular for all relevant subgroups of $Gal$, $cPoi$, and $cEucl$ (the groups of Galilean, Poincaré and Euclidean transformations, respectively, where $c\in Q$ is a model-specific parameter orresponding to the speed of light in the case of Poincaré transformations). In doing so, by an elementary geometrical proof, we demonstrate our main contribution: spatial isotropy is enough to entail that the set $W$ of worldview transformations satisfies either $W\subseteq Gal$, $W\subseteq cPoi$, or $W\subseteq cEucl$ for some $c>0$. So assuming spatial isotropy is enough to prove that there are only 3 possible cases: either the world is classical (the worldview transformations between inertial observers are Galilean transformations); the world is relativistic (the worldview transformations are Poincaré transformations); or the world is Euclidean (which gives a nonstandard kinematical interpretation to Euclidean geometry). This result considerably extends previous results in this field, which assume a priori the (strictly stronger) special principle of relativity, while also restricting the choice of $Q$ to the field of reals. As part of this work, we also prove the rather surprising result that, for any $G$ containing translations and rotations fixing the time-axis $t$, the requirement that $G$ be a subgroup of one of the groups $Gal$, $cPoi$ or $cEucl$ is logically equivalent to the somewhat simpler requirement that, for all $g\in G$: $g[t]$ is a line, and if $g[t]=t$ then $g$ is a trivial transformation (i.e. $g$ is a linear transformation that preserves Euclidean length and fixes the time-axis setwise). △ Less

Submitted 28 July, 2020; originally announced July 2020.

Comments: 51 pages, 20 figures

Calibrating dependence between random elements

Authors: Abram M. Kagan, Gabor J. Székely

Abstract: Attempts to quantify dependence between random elements X and Y via maximal correlation go back to Gebelein (1941) and Rényi (1959). After summarizing properties (including some new) of the Rényi measure of dependence, a calibrated scale of dependence is introduced. It is based on the ``complexity`` of approximating functions of X by functions of Y. Attempts to quantify dependence between random elements X and Y via maximal correlation go back to Gebelein (1941) and Rényi (1959). After summarizing properties (including some new) of the Rényi measure of dependence, a calibrated scale of dependence is introduced. It is based on the ``complexity`` of approximating functions of X by functions of Y. △ Less

Submitted 11 March, 2019; originally announced March 2019.

MSC Class: 60H99; 62E10

A Bayesian framework for the analog reconstruction of kymographs from fluorescence microscopy data

Authors: Denis K. Samuylov, Gábor Székely, Grégory Paul

Abstract: Kymographs are widely used to represent and anal- yse spatio-temporal dynamics of fluorescence markers along curvilinear biological compartments. These objects have a sin- gular geometry, thus kymograph reconstruction is inherently an analog image processing task. However, the existing approaches are essentially digital: the kymograph photometry is sampled directly from the time-lapse images. As a… ▽ More Kymographs are widely used to represent and anal- yse spatio-temporal dynamics of fluorescence markers along curvilinear biological compartments. These objects have a sin- gular geometry, thus kymograph reconstruction is inherently an analog image processing task. However, the existing approaches are essentially digital: the kymograph photometry is sampled directly from the time-lapse images. As a result, such kymographs rely on raw image data that suffer from the degradations entailed by the image formation process and the spatio-temporal resolution of the imaging setup. In this work, we address these limitations and introduce a well-grounded Bayesian framework for the analog reconstruction of kymographs. To handle the movement of the object, we introduce an intrinsic description of kymographs using differential geometry: a kymograph is a photometry defined on a parameter space that is embedded in physical space by a time-varying map that follows the object geometry. We model the kymograph photometry as a Lévy innovation process, a flexible class of non-parametric signal priors. We account for the image formation process using the virtual microscope framework. We formulate a computationally tractable representation of the associated maximum a posteriori problem and solve it using a class of efficient and modular algorithms based on the alternating split Bregman. We assess the performance of our Bayesian framework on synthetic data and apply it to reconstruct the fluorescence dynamics along microtubules in vivo in the budding yeast S. cerevisiae. We demonstrate that our framework allows revealing patterns from single time-lapse data that are invisible on standard digital kymographs. △ Less

Submitted 5 September, 2018; originally announced September 2018.

Comments: This paper has been accepted in the IEEE Transactions on Image Processing

Modelling Point Spread Function in Fluorescence Microscopy with a Sparse Combination of Gaussian Mixture: Trade-off between Accuracy and Efficiency

Authors: Denis K. Samuylov, Prateek Purwar, Gábor Székely, Grégory Paul

Abstract: Deblurring is a fundamental inverse problem in bioimaging. It requires modelling the point spread function (PSF), which captures the optical distortions entailed by the image formation process. The PSF limits the spatial resolution attainable for a given microscope. However, recent applications require a higher resolution, and have prompted the development of super-resolution techniques to achieve… ▽ More Deblurring is a fundamental inverse problem in bioimaging. It requires modelling the point spread function (PSF), which captures the optical distortions entailed by the image formation process. The PSF limits the spatial resolution attainable for a given microscope. However, recent applications require a higher resolution, and have prompted the development of super-resolution techniques to achieve sub-pixel accuracy. This requirement restricts the class of suitable PSF models to analog ones. In addition, deblurring is computationally intensive, hence further requiring computationally efficient models. A custom candidate fitting both requirements is the Gaussian model. However, this model cannot capture the rich tail structures found in both theoretical and empirical PSFs. In this paper, we aim at improving the reconstruction accuracy beyond the Gaussian model, while preserving its computational efficiency. We introduce a new class of analog PSF models based on Gaussian mixtures. The number of Gaussian kernels controls both the modelling accuracy and the computational efficiency of the model: the lower the number of kernels, the lower accuracy and the higher efficiency. To explore the accuracy--efficiency trade-off, we propose a variational formulation of the PSF calibration problem, where a convex sparsity-inducing penalty on the number of Gaussian kernels allows trading accuracy for efficiency. We derive an efficient algorithm based on a fully-split formulation of alternating split Bregman. We assess our framework on synthetic and real data and demonstrate a better reconstruction accuracy in both geometry and photometry in point source localisation---a fundamental inverse problem in fluorescence microscopy. △ Less

Submitted 28 February, 2019; v1 submitted 5 September, 2018; originally announced September 2018.

Comments: This paper has been accepted in the IEEE Transactions on Image Processing

Distances between formal theories

Authors: Michèle Friend, Mohamed Khaled, Koen Lefever, Gergely Székely

Abstract: In the literature, there have been several methods and definitions for working out if two theories are "equivalent" (essentially the same) or not. In this article, we do something subtler. We provide means to measure distances (and explore connections) between formal theories. We introduce two main notions for such distances. The first one is that of \textit{axiomatic distance}, but we argue that… ▽ More In the literature, there have been several methods and definitions for working out if two theories are "equivalent" (essentially the same) or not. In this article, we do something subtler. We provide means to measure distances (and explore connections) between formal theories. We introduce two main notions for such distances. The first one is that of \textit{axiomatic distance}, but we argue that it might be of limited interest. The more interesting and widely applicable notion is that of \textit{conceptual distance} which measures the minimum number of concepts that distinguish two theories. For instance, we use conceptual distance to show that relativistic and classical kinematics are distinguished by one concept only. We also develop further notions of distance, and we include a number of suggestions for applying and extending our project. △ Less

Submitted 30 July, 2018; v1 submitted 4 July, 2018; originally announced July 2018.

MSC Class: 03B99; 03C07; 03A10; 03G99; 03B80

Journal ref: The Review of Symbolic Logic 13 (2020) 633-654

An extension of the Plancherel measure

Authors: Miklós Arató, Villö Csiszár, Balázs Gerencsér, György Michaletzky, Lídia Rejtö, Gábor Székely, Gábor Tusnády, Katalin Varga

Abstract: Given a distribution in the unite square and having iid sample from it the first question what a statistician might do to test the hypothesis that the sample is iid. For this purpose an extension of the Plancherel measure is introduced. Recent literature on asymptotic behavior of Plancherel measure is discussed with extension to the new set up. Models for random permutations are described and the… ▽ More Given a distribution in the unite square and having iid sample from it the first question what a statistician might do to test the hypothesis that the sample is iid. For this purpose an extension of the Plancherel measure is introduced. Recent literature on asymptotic behavior of Plancherel measure is discussed with extension to the new set up. Models for random permutations are described and the power of different tests is compared. △ Less

Submitted 17 May, 2018; originally announced May 2018.

Comments: 10 pages + 13pages of figures, figures are contained in 3 pdf files, the first one contains the 11 pages of Figure 1

MSC Class: 60E99

On Generalization of Definitional Equivalence to Languages with Non-Disjoint Signatures

Authors: Koen Lefever, Gergely Székely

Abstract: For simplicity, most of the literature introduces the concept of definitional equivalence only to languages with disjoint signatures. In a recent paper, Barrett and Halvorson introduce a straightforward generalization to languages with non-disjoint signatures and they show that their generalization is not equivalent to intertranslatability in general. In this paper, we show that their generalizati… ▽ More For simplicity, most of the literature introduces the concept of definitional equivalence only to languages with disjoint signatures. In a recent paper, Barrett and Halvorson introduce a straightforward generalization to languages with non-disjoint signatures and they show that their generalization is not equivalent to intertranslatability in general. In this paper, we show that their generalization is not transitive and hence it is not an equivalence relation. Then we introduce the Andréka and Németi generalization as one of the many equivalent formulations for languages with disjoint signatures. We show that the Andréka-Németi generalization is the smallest equivalence relation containing the Barrett-Halvorson generalization and it is equivalent to intertranslatability even for languages with non-disjoint signatures. Finally, we investigate which definitions for definitional equivalences remain equivalent when we generalize them for theories with non-disjoint signatures. △ Less

Submitted 23 February, 2018; v1 submitted 19 February, 2018; originally announced February 2018.

Comments: 19 pages

Comparing Classical and Relativistic Kinematics in First-Order Logic

Authors: Koen Lefever, Gergely Székely

Abstract: The aim of this paper is to present a new logic-based understanding of the connection between classical kinematics and relativistic kinematics. We show that the axioms of special relativity can be interpreted in the language of classical kinematics. This means that there is a logical translation function from the language of special relativity to the language of classical kinematics which translat… ▽ More The aim of this paper is to present a new logic-based understanding of the connection between classical kinematics and relativistic kinematics. We show that the axioms of special relativity can be interpreted in the language of classical kinematics. This means that there is a logical translation function from the language of special relativity to the language of classical kinematics which translates the axioms of special relativity into consequences of classical kinematics. We will also show that if we distinguish a class of observers (representing observers stationary with respect to the "Ether") in special relativity and exclude the non-slower-than light observers from classical kinematics by an extra axiom, then the two theories become definitionally equivalent (i.e., they become equivalent theories in the sense as the theory of lattices as algebraic structures is the same as the theory of lattices as partially ordered sets). Furthermore, we show that classical kinematics is definitionally equivalent to classical kinematics with only slower-than-light inertial observers, and hence by transitivity of definitional equivalence that special relativity theory extended with "Ether" is definitionally equivalent to classical kinematics. So within an axiomatic framework of mathematical logic, we explicitly show that the transition from classical kinematics to relativistic kinematics is the knowledge acquisition that there is no "Ether", accompanied by a redefinition of the concepts of time and space. △ Less

Submitted 13 July, 2017; originally announced July 2017.

Comments: 58 pages, 10 figures

Three Different Formalisations of Einstein's Relativity Principle

Authors: Judit X. Madarász, Gergely Székely, Mike Stannett

Abstract: We present three natural but distinct formalisations of Einstein's special principle of relativity, and demonstrate the relationships between them. In particular, we prove that they are logically distinct, but that they can be made equivalent by introducing a small number of additional, intuitively acceptable axioms. We present three natural but distinct formalisations of Einstein's special principle of relativity, and demonstrate the relationships between them. In particular, we prove that they are logically distinct, but that they can be made equivalent by introducing a small number of additional, intuitively acceptable axioms. △ Less

Submitted 23 February, 2017; originally announced February 2017.

Comments: 20 pages

MSC Class: 03B30; 03B10; 83A05

Journal ref: REVIEW OF SYMBOLIC LOGIC 10:(3) pp. 530-548. (2017)

Schur properties of convolutions of gamma random variables

Authors: Farbod Roosta-Khorasani, Gabor J. Szekely

Abstract: Sufficient conditions for comparing the convolutions of heterogeneous gamma random variables in terms of the usual stochastic order are established. Such comparisons are characterized by the Schur convexity properties of the cumulative distribution function of the convolutions. Some examples of the practical applications of our results are given. Sufficient conditions for comparing the convolutions of heterogeneous gamma random variables in terms of the usual stochastic order are established. Such comparisons are characterized by the Schur convexity properties of the cumulative distribution function of the convolutions. Some examples of the practical applications of our results are given. △ Less

Submitted 18 January, 2016; originally announced January 2016.

MSC Class: 60E15; 62E99

Journal ref: Metrika 78(8):997-1014, 2015

On some Symmetry Axioms in Relativity Theories

Authors: Gergely Székely

Abstract: In this paper we review two symmetry axioms of special relativity and their connections to each other together with their role in some famous predictions of relativity theory, such as time dilation, length contraction, and the twin paradox. We also discuss briefly counterparts of these symmetry axioms in general relativity and formulate a conjecture, namely that without them the axioms of general… ▽ More In this paper we review two symmetry axioms of special relativity and their connections to each other together with their role in some famous predictions of relativity theory, such as time dilation, length contraction, and the twin paradox. We also discuss briefly counterparts of these symmetry axioms in general relativity and formulate a conjecture, namely that without them the axioms of general relativity would capture general relativistic spacetimes only up to conformal equivalence. △ Less

Submitted 14 January, 2016; originally announced January 2016.

Comments: 15 pages, 1 figure

MSC Class: 03B30; 83A02; 83C02

Journal ref: Symmetry: Cutlure and Science, Vol. 26. No. 4, 405-420, 2015

Fast Computing for Distance Covariance

Authors: Xiaoming Huo, Gabor J. Szekely

Abstract: Distance covariance and distance correlation have been widely adopted in measuring dependence of a pair of random variables or random vectors. If the computation of distance covariance and distance correlation is implemented directly accordingly to its definition then its computational complexity is O($n^2$) which is a disadvantage compared to other faster methods. In this paper we show that the c… ▽ More Distance covariance and distance correlation have been widely adopted in measuring dependence of a pair of random variables or random vectors. If the computation of distance covariance and distance correlation is implemented directly accordingly to its definition then its computational complexity is O($n^2$) which is a disadvantage compared to other faster methods. In this paper we show that the computation of distance covariance and distance correlation of real valued random variables can be implemented by an O(n log n) algorithm and this is comparable to other computationally efficient algorithms. The new formula we derive for an unbiased estimator for squared distance covariance turns out to be a U-statistic. This fact implies some nice asymptotic properties that were derived before via more complex methods. We apply the fast computing algorithm to some synthetic data. Our work will make distance correlation applicable to a much wider class of applications. △ Less

Submitted 6 October, 2014; originally announced October 2014.

Comments: 38 pages, 6 tables, 5 figures. arXiv admin note: text overlap with arXiv:1205.4701 by other authors

On a Nonparametric Notion of Residual and its Applications

Authors: Rohit Kumar Patra, Bodhisattva Sen, Gabor Szekely

Abstract: Let $(X, \mathbf{Z})$ be a continuous random vector in $\mathbb{R} \times \mathbb{R}^d$, $d \ge 1$. In this paper, we define the notion of a nonparametric residual of $X$ on $\mathbf{Z}$ that is always independent of the predictor $\mathbf{Z}$. We study its properties and show that the proposed notion of residual matches with the usual residual (error) in a multivariate normal regression model. Gi… ▽ More Let $(X, \mathbf{Z})$ be a continuous random vector in $\mathbb{R} \times \mathbb{R}^d$, $d \ge 1$. In this paper, we define the notion of a nonparametric residual of $X$ on $\mathbf{Z}$ that is always independent of the predictor $\mathbf{Z}$. We study its properties and show that the proposed notion of residual matches with the usual residual (error) in a multivariate normal regression model. Given a random vector $(X, Y, \mathbf{Z})$ in $\mathbb{R} \times \mathbb{R} \times \mathbb{R}^d$, we use this notion of residual to show that the conditional independence between $X$ and $Y$, given $\mathbf{Z}$, is equivalent to the mutual independence of the residuals (of $X$ on $\mathbf{Z}$ and $Y$ on $\mathbf{Z}$) and $\mathbf{Z}$. This result is used to develop a test for conditional independence. We propose a bootstrap scheme to approximate the critical value of this test. We compare the proposed test, which is easily implementable, with some of the existing procedures through a simulation study. △ Less

Submitted 30 September, 2015; v1 submitted 12 September, 2014; originally announced September 2014.

Comments: 19 pages, 2 figures

On the Possibility and Consequences of Negative Mass

Authors: J. X. Madarász, G. Székely, M. Stannett

Abstract: We investigate the possibility and consequences of the existence of particles having negative relativistic masses, and show that their existence implies the existence of faster- than-light particles (tachyons). Our proof requires only two postulates concerning such particles: that it is possible for particles of any (positive, negative or zero) relativistic mass to collide inelastically with 'norm… ▽ More We investigate the possibility and consequences of the existence of particles having negative relativistic masses, and show that their existence implies the existence of faster- than-light particles (tachyons). Our proof requires only two postulates concerning such particles: that it is possible for particles of any (positive, negative or zero) relativistic mass to collide inelastically with 'normal' (i.e. positive relativistic mass) particles, and that four-momentum is conserved in such collisions. △ Less

Submitted 22 July, 2014; originally announced July 2014.

Comments: 8 pages, 5 figures

Faster than light motion does not imply time travel

Authors: H. Andréka, J. X. Madarász, I. Németi, M. Stannett, G. Székely

Abstract: Seeing the many examples in the literature of causality violations based on faster-than- light (FTL) signals one naturally thinks that FTL motion leads inevitably to the possibility of time travel. We show that this logical inference is invalid by demonstrating a model, based on (3+1)-dimensional Minkowski spacetime, in which FTL motion is permitted (in every direction without any limitation on sp… ▽ More Seeing the many examples in the literature of causality violations based on faster-than- light (FTL) signals one naturally thinks that FTL motion leads inevitably to the possibility of time travel. We show that this logical inference is invalid by demonstrating a model, based on (3+1)-dimensional Minkowski spacetime, in which FTL motion is permitted (in every direction without any limitation on speed) yet which does not admit time travel. Moreover, the Principle of Relativity is true in this model in the sense that all observers are equivalent. In short, FTL motion does not imply time travel after all. △ Less

Submitted 9 July, 2014; originally announced July 2014.

Comments: 11 pages, 5 figures

Journal ref: 2014 Class. Quantum Grav. 31 095005

Assessing stochastic algorithms for large scale nonlinear least squares problems using extremal probabilities of linear combinations of gamma random variables

Authors: Farbod Roosta-Khorasani, Gábor J. Székely, Uri Ascher

Abstract: This article considers stochastic algorithms for efficiently solving a class of large scale non-linear least squares (NLS) problems which frequently arise in applications. We propose eight variants of a practical randomized algorithm where the uncertainties in the major stochastic steps are quantified. Such stochastic steps involve approximating the NLS objective function using Monte-Carlo methods… ▽ More This article considers stochastic algorithms for efficiently solving a class of large scale non-linear least squares (NLS) problems which frequently arise in applications. We propose eight variants of a practical randomized algorithm where the uncertainties in the major stochastic steps are quantified. Such stochastic steps involve approximating the NLS objective function using Monte-Carlo methods, and this is equivalent to the estimation of the trace of corresponding symmetric positive semi-definite (SPSD) matrices. For the latter, we prove tight necessary and sufficient conditions on the sample size (which translates to cost) to satisfy the prescribed probabilistic accuracy. We show that these conditions are practically computable and yield small sample sizes. They are then incorporated in our stochastic algorithm to quantify the uncertainty in each randomized step. The bounds we use are applications of more general results regarding extremal tail probabilities of linear combinations of gamma distributed random variables. We derive and prove new results concerning the maximal and minimal tail probabilities of such linear combinations, which can be considered independently of the rest of this paper. △ Less

Submitted 27 November, 2014; v1 submitted 1 April, 2014; originally announced April 2014.

MSC Class: 65C20; 65C05; 60E05; 68W20

Journal ref: SIAM/ASA Journal on Uncertainty Quantification. 3 (2015) 61-90

Partial Distance Correlation with Methods for Dissimilarities

Authors: Gabor J. Szekely, Maria L. Rizzo

Abstract: Distance covariance and distance correlation are scalar coefficients that characterize independence of random vectors in arbitrary dimension. Properties, extensions, and applications of distance correlation have been discussed in the recent literature, but the problem of defining the partial distance correlation has remained an open question of considerable interest. The problem of partial distanc… ▽ More Distance covariance and distance correlation are scalar coefficients that characterize independence of random vectors in arbitrary dimension. Properties, extensions, and applications of distance correlation have been discussed in the recent literature, but the problem of defining the partial distance correlation has remained an open question of considerable interest. The problem of partial distance correlation is more complex than partial correlation partly because the squared distance covariance is not an inner product in the usual linear space. For the definition of partial distance correlation we introduce a new Hilbert space where the squared distance covariance is the inner product. We define the partial distance correlation statistics with the help of this Hilbert space, and develop and implement a test for zero partial distance correlation. Our intermediate results provide an unbiased estimator of squared distance covariance, and a neat solution to the problem of distance correlation for dissimilarities rather than distances. △ Less

Submitted 8 July, 2014; v1 submitted 10 October, 2013; originally announced October 2013.

MSC Class: Primary: 62H20; 62H15; Secondary: 62Gxx

An Axiom System for General Relativity Complete with respect to Lorentzian Manifolds

Authors: Hajnal Andréka, Judit X. Madarász, István Németi, Gergely Székely

Abstract: We introduce several axiom systems for general relativity and show that they are complete with respect to the standard models of general relativity, i.e., to Lorentzian manifolds having the corresponding smoothness properties. We introduce several axiom systems for general relativity and show that they are complete with respect to the standard models of general relativity, i.e., to Lorentzian manifolds having the corresponding smoothness properties. △ Less

Submitted 5 October, 2013; originally announced October 2013.

Comments: 30 pages, 6 figures

Why Do the Relativistic Masses and Momenta of Faster-than-Light Particles Decrease as their Speeds Increase?

Authors: Judit X. Madarász, Mike Stannett, Gergely Székely

Abstract: It has recently been shown within a formal axiomatic framework using a definition of four-momentum based on the Stückelberg-Feynman-Sudarshan-Recami "switching principle" that Einstein's relativistic dynamics is logically consistent with the existence of interacting faster-than-light inertial particles. Our results here show, using only basic natural assumptions on dynamics, that this definition i… ▽ More It has recently been shown within a formal axiomatic framework using a definition of four-momentum based on the Stückelberg-Feynman-Sudarshan-Recami "switching principle" that Einstein's relativistic dynamics is logically consistent with the existence of interacting faster-than-light inertial particles. Our results here show, using only basic natural assumptions on dynamics, that this definition is the only possible way to get a consistent theory of such particles moving within the geometry of Minkowskian spacetime. We present a strictly formal proof from a streamlined axiom system that given any slow or fast inertial particle, all inertial observers agree on the value of $\mathsf{m}\cdot \sqrt{|1-v^2|}$, where $\mathsf{m}$ is the particle's relativistic mass and $v$ its speed. This confirms formally the widely held belief that the relativistic mass and momentum of a positive-mass faster-than-light particle must decrease as its speed increases. △ Less

Submitted 11 January, 2014; v1 submitted 14 September, 2013; originally announced September 2013.

MSC Class: 70A05; 03B30; 83A05

Journal ref: SIGMA 10 (2014), 005, 21 pages

The Existence of Superluminal Particles is Consistent with Relativistic Dynamics

Authors: Judit X. Madarász, Gergely Székely

Abstract: Within an axiomatic framework, we prove that the existence of faster than light particles is consistent with (does not contradict) the dynamics of Einstein's special relativity. Within an axiomatic framework, we prove that the existence of faster than light particles is consistent with (does not contradict) the dynamics of Einstein's special relativity. △ Less

Submitted 24 July, 2014; v1 submitted 2 March, 2013; originally announced March 2013.

Comments: 29 pages, 11 figures. arXiv admin note: text overlap with arXiv:1202.5790

Journal ref: Journal of Applied Logic 12:(4) pp. 477-500. (2014)

A note on "Einstein's special relativity beyond the speed of light by James M. Hill and Barry J. Cox"

Authors: Hajnal Andréka, Judit X. Madarász, István Németi, Gergely Székely

Abstract: We show that the transformations J. M. Hill and B. J. Cox introduce between inertial observers moving faster than light with respect to each other are consistent with Einstein's principle of relativity only if the spacetime is 2 dimensional. We show that the transformations J. M. Hill and B. J. Cox introduce between inertial observers moving faster than light with respect to each other are consistent with Einstein's principle of relativity only if the spacetime is 2 dimensional. △ Less

Submitted 17 February, 2013; v1 submitted 9 November, 2012; originally announced November 2012.

Comments: 7 pages, 3 figures

Journal ref: Proceedings of the Royal Society A 469(2154):6pp. (2013)

What properties of numbers are needed to model accelerated observers in relativity?

Authors: Gergely Székely

Abstract: We investigate the possible structures of numbers (as physical quantities) over which accelerated observers can be modeled in special relativity. We present a general axiomatic theory of accelerated observers which has a model over every real closed field. We also show that, if we would like to model certain accelerated observers, then not every real closed field is suitable, e.g., uniformly accel… ▽ More We investigate the possible structures of numbers (as physical quantities) over which accelerated observers can be modeled in special relativity. We present a general axiomatic theory of accelerated observers which has a model over every real closed field. We also show that, if we would like to model certain accelerated observers, then not every real closed field is suitable, e.g., uniformly accelerated observers cannot be modeled over the field of real algebraic numbers. Consequently, the class of fields over which uniform acceleration can be investigated is not axiomatizable in the language of ordered fields. △ Less

Submitted 29 September, 2012; originally announced October 2012.

Comments: 13 pages. arXiv admin note: text overlap with arXiv:1209.3492, arXiv:1204.1773

Journal ref: In: Jean-Yves Béziau, Décio Krause and Jonas R. Becker Arenhart (eds.) Conceptual Clarifications: Tributes to Patrick Suppes (1922-2014). College Publications, pp. 161-174. (2015), http://www.collegepublications.co.uk/tributes/?00028

Special Relativity over the Field of Rational Numbers

Authors: Madarász X. Judit, Gergely Székely

Abstract: We investigate the question: what structures of numbers (as physical quantities) are suitable to be used in special relativity? The answer to this question depends strongly on the auxiliary assumptions we add to the basic assumptions of special relativity. We show that there is a natural axiom system of special relativity which can be modeled even over the field of rational numbers. We investigate the question: what structures of numbers (as physical quantities) are suitable to be used in special relativity? The answer to this question depends strongly on the auxiliary assumptions we add to the basic assumptions of special relativity. We show that there is a natural axiom system of special relativity which can be modeled even over the field of rational numbers. △ Less

Submitted 16 September, 2012; originally announced September 2012.

Comments: 13 pages, 1 figures. arXiv admin note: substantial text overlap with arXiv:1204.1350

Journal ref: International Journal of Theoretical Physics 52(5):pp.1706-1718 (2013)

Existence of Faster Than Light Signals Implies Hypercomputation Already in Special Relativity

Authors: Péter Németi, Gergely Székely

Abstract: Within an axiomatic framework, we investigate the possibility of hypercomputation in special relativity via faster than light signals. We formally show that hypercomputation is theoretically possible in special relativity if and only if there are faster than light signals. Within an axiomatic framework, we investigate the possibility of hypercomputation in special relativity via faster than light signals. We formally show that hypercomputation is theoretically possible in special relativity if and only if there are faster than light signals. △ Less

Submitted 8 April, 2012; originally announced April 2012.

Comments: 14 pages, 2 figures

Journal ref: Lecture Notes in Computer Science Volume 7318, 2012, pp 528-538

What are the numbers in which spacetime?

Authors: H. Andréka, J. X. Madarász, I. Németi, G. Székely

Abstract: Within an axiomatic framework, we investigate the possible structures of numbers (as physical quantities) in different theories of relativity. Within an axiomatic framework, we investigate the possible structures of numbers (as physical quantities) in different theories of relativity. △ Less

Submitted 5 April, 2012; originally announced April 2012.

Comments: 28 pages, 2 figures

The existence of superluminal particles is consistent with the kinematics of Einstein's special theory of relativity

Authors: Gergely Székely

Abstract: Within an axiomatic framework of kinematics, we prove that the existence of faster than light particles is logically independent of Einstein's special theory of relativity. Consequently, it is consistent with the kinematics of special relativity that there might be faster than light particles. Within an axiomatic framework of kinematics, we prove that the existence of faster than light particles is logically independent of Einstein's special theory of relativity. Consequently, it is consistent with the kinematics of special relativity that there might be faster than light particles. △ Less

Submitted 28 March, 2013; v1 submitted 26 February, 2012; originally announced February 2012.

Comments: 19 pages, 3 figures

Journal ref: Reports on Mathematical Physics 72(2):pp.133-152 (2013)

On Logical Analysis of Relativity Theories

Authors: Hajnal Andréka, István Németi, Judit X. Madarász, Gergely Székely

Abstract: The aim of this paper is to give an introduction to our axiomatic logical analysis of relativity theories. The aim of this paper is to give an introduction to our axiomatic logical analysis of relativity theories. △ Less

Submitted 4 May, 2011; originally announced May 2011.

Comments: 19 pages, 1 figures

Journal ref: Hungarian Philosophical Review, 2010/4, pp.204-222

Closed Timelike Curves in Relativistic Computation

Authors: Hajnal Andréka, István Németi, Gergely Székely

Abstract: In this paper, we investigate the possibility of using closed timelike curves (CTCs) in relativistic hypercomputation. We introduce a wormhole based hypercomputation scenario which is free from the common worries, such as the blueshift problem. We also discuss the physical reasonability of our scenario, and why we cannot simply ignore the possibility of the existence of spacetimes containing CTCs. In this paper, we investigate the possibility of using closed timelike curves (CTCs) in relativistic hypercomputation. We introduce a wormhole based hypercomputation scenario which is free from the common worries, such as the blueshift problem. We also discuss the physical reasonability of our scenario, and why we cannot simply ignore the possibility of the existence of spacetimes containing CTCs. △ Less

Submitted 30 April, 2011; originally announced May 2011.

Comments: 17 pages, 5 figures

Journal ref: Parallel Processing Letters, 22, 1240010 (2012)

Vienna Circle and Logical Analysis of Relativity Theory

Authors: H. Andréka, J. X. Madarász, I. Németi, P. Németi, G. Székely

Abstract: In this paper we present some of our school's results in the area of building up relativity theory (RT) as a hierarchy of theories in the sense of logic. We use plain first-order logic (FOL) as in the foundation of mathematics (FOM) and we build on experience gained in FOM. The main aims of our school are the following: We want to base the theory on simple, unambiguous axioms with clear meanings… ▽ More In this paper we present some of our school's results in the area of building up relativity theory (RT) as a hierarchy of theories in the sense of logic. We use plain first-order logic (FOL) as in the foundation of mathematics (FOM) and we build on experience gained in FOM. The main aims of our school are the following: We want to base the theory on simple, unambiguous axioms with clear meanings. It should be absolutely understandable for any reader what the axioms say and the reader can decide about each axiom whether he likes it. The theory should be built up from these axioms in a straightforward, logical manner. We want to provide an analysis of the logical structure of the theory. We investigate which axioms are needed for which predictions of RT. We want to make RT more transparent logically, easier to understand, easier to change, modular, and easier to teach. We want to obtain deeper understanding of RT. Our work can be considered as a case-study showing that the Vienna Circle's (VC) approach to doing science is workable and fruitful when performed with using the insights and tools of mathematical logic acquired since its formation years at the very time of the VC activity. We think that logical positivism was based on the insight and anticipation of what mathematical logic is capable when elaborated to some depth. Logical positivism, in great part represented by VC, influenced and took part in the birth of modern mathematical logic. The members of VC were brave forerunners and pioneers. △ Less

Submitted 31 January, 2011; originally announced January 2011.

Comments: 25 pages, 1 firgures

Journal ref: In: The Vienna Circle in Hungary, A. Máté, M. Rédei, F. Stadler, (Eds.), Springer-Verlag, Wien, 2011, pp.147-267

On Why-Questions in Physics

Authors: Gergely Székely

Abstract: The aim of this paper is to introduce a mathematical logic based approach investigating why-type questions in physics. The aim of this paper is to introduce a mathematical logic based approach investigating why-type questions in physics. △ Less

Submitted 22 January, 2011; originally announced January 2011.

Comments: 10 pages

Journal ref: In: The Vienna Circle in Hungary, A. Máté, M. Rédei, F. Stadler, (Eds.) Springer-Verlag, Wien, 2011, pp.181-189

DISCO analysis: A nonparametric extension of analysis of variance

Authors: Maria L. Rizzo, Gábor J. Székely

Abstract: In classical analysis of variance, dispersion is measured by considering squared distances of sample elements from the sample mean. We consider a measure of dispersion for univariate or multivariate response based on all pairwise distances between-sample elements, and derive an analogous distance components (DISCO) decomposition for powers of distance in $(0,2]$. The ANOVA F statistic is obtained… ▽ More In classical analysis of variance, dispersion is measured by considering squared distances of sample elements from the sample mean. We consider a measure of dispersion for univariate or multivariate response based on all pairwise distances between-sample elements, and derive an analogous distance components (DISCO) decomposition for powers of distance in $(0,2]$. The ANOVA F statistic is obtained when the index (exponent) is 2. For each index in $(0,2)$, this decomposition determines a nonparametric test for the multi-sample hypothesis of equal distributions that is statistically consistent against general alternatives. △ Less

Submitted 10 November, 2010; originally announced November 2010.

Comments: Published in at http://dx.doi.org/10.1214/09-AOAS245 the Annals of Applied Statistics (http://www.imstat.org/aoas/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-AOAS-AOAS245

Journal ref: Annals of Applied Statistics 2010, Vol. 4, No. 2, 1034-1055

Rejoinder: Brownian distance covariance

Authors: Gábor J. Székely, Maria L. Rizzo

Abstract: Rejoinder to "Brownian distance covariance" by Gábor J. Székely and Maria L. Rizzo [arXiv:1010.0297] Rejoinder to "Brownian distance covariance" by Gábor J. Székely and Maria L. Rizzo [arXiv:1010.0297] △ Less

Submitted 5 October, 2010; originally announced October 2010.

Comments: Published in at http://dx.doi.org/10.1214/09-AOAS312REJ the Annals of Applied Statistics (http://www.imstat.org/aoas/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-AOAS-AOAS312REJ

Journal ref: Annals of Applied Statistics 2009, Vol. 3, No. 4, 1303-1308

Brownian distance covariance

Authors: Gábor J. Székely, Maria L. Rizzo

Abstract: Distance correlation is a new class of multivariate dependence coefficients applicable to random vectors of arbitrary and not necessarily equal dimension. Distance covariance and distance correlation are analogous to product-moment covariance and correlation, but generalize and extend these classical bivariate measures of dependence. Distance correlation characterizes independence: it is zero if a… ▽ More Distance correlation is a new class of multivariate dependence coefficients applicable to random vectors of arbitrary and not necessarily equal dimension. Distance covariance and distance correlation are analogous to product-moment covariance and correlation, but generalize and extend these classical bivariate measures of dependence. Distance correlation characterizes independence: it is zero if and only if the random vectors are independent. The notion of covariance with respect to a stochastic process is introduced, and it is shown that population distance covariance coincides with the covariance with respect to Brownian motion; thus, both can be called Brownian distance covariance. In the bivariate case, Brownian covariance is the natural extension of product-moment covariance, as we obtain Pearson product-moment covariance by replacing the Brownian motion in the definition with identity. The corresponding statistic has an elegantly simple computing formula. Advantages of applying Brownian covariance and correlation vs the classical Pearson covariance and correlation are discussed and illustrated. △ Less

Submitted 6 October, 2010; v1 submitted 2 October, 2010; originally announced October 2010.

Comments: This paper discussed in: [arXiv:0912.3295], [arXiv:1010.0822], [arXiv:1010.0825], [arXiv:1010.0828], [arXiv:1010.0836], [arXiv:1010.0838], [arXiv:1010.0839]. Rejoinder at [arXiv:1010.0844]. Published in at http://dx.doi.org/10.1214/09-AOAS312 the Annals of Applied Statistics (http://www.imstat.org/aoas/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-AOAS-AOAS312

Journal ref: Annals of Applied Statistics 2009, Vol. 3, No. 4, 1236-1265

First-Order Logic Investigation of Relativity Theory with an Emphasis on Accelerated Observers

Authors: Gergely Székely

Abstract: This thesis is mainly about extensions of the first-order logic axiomatization of special relativity introduced by Andréka, Madarász and Németi. These extensions include extension to accelerated observers, relativistic dynamics and general relativity; however, its main subject is the extension to accelerated observers (AccRel). One surprising result is that natural extension to accelerated observe… ▽ More This thesis is mainly about extensions of the first-order logic axiomatization of special relativity introduced by Andréka, Madarász and Németi. These extensions include extension to accelerated observers, relativistic dynamics and general relativity; however, its main subject is the extension to accelerated observers (AccRel). One surprising result is that natural extension to accelerated observers is not enough if we want our theory to imply certain experimental facts, such as the twin paradox. Even if we add the whole first-order theory of real numbers to this natural extension, it is still not enough to imply the twin paradox. Nevertheless, that does not mean that this task cannot be carried out within first-order logic since by approximating a second-order logic axiom of real numbers, we introduce a first-order axiom schema that solves the problem. Our theory AccRel nicely fills the gap between special and general relativity theories, and only one natural generalization step is needed to achieve a first-order logic axiomatization of general relativity from it. We also show that AccRel is strong enough to make predictions about the gravitational effect slowing down time. Our general aims are to axiomatize relativity theories within pure first-order logic using simple, comprehensible and transparent basic assumptions (axioms); to prove the surprising predictions (theorems) of relativity theories from a few convincing axioms; to eliminate tacit assumptions from relativity by replacing them with explicit axioms formulated in first-order logic (in the spirit of the first-order logic foundation of mathematics and Tarski's axiomatization of geometry); and to investigate the relationship between the axioms and the theorems. △ Less

Submitted 6 May, 2010; originally announced May 2010.

Comments: PhD thesis Eötvös Loránd University

A logic road from special relativity to general relativity

Authors: Hajnal Andréka, Judit X. Madarász, István Németi, Gergely Székely

Abstract: We present a streamlined axiom system of special relativity in first-order logic. From this axiom system we "derive" an axiom system of general relativity in two natural steps. We will also see how the axioms of special relativity transform into those of general relativity. This way we hope to make general relativity more accessible for the non-specialist. We present a streamlined axiom system of special relativity in first-order logic. From this axiom system we "derive" an axiom system of general relativity in two natural steps. We will also see how the axioms of special relativity transform into those of general relativity. This way we hope to make general relativity more accessible for the non-specialist. △ Less

Submitted 22 January, 2011; v1 submitted 6 May, 2010; originally announced May 2010.

Journal ref: Synthese Volume 186, Number 3 (2012), 633-649

A Geometrical Characterization of the Twin Paradox and its Variants

Authors: Gergely Szekely

Abstract: The aim of this paper is to provide a logic-based conceptual analysis of the twin paradox (TwP) theorem within a first-order logic framework. A geometrical characterization of TwP and its variants is given. It is shown that TwP is not logically equivalent to the assumption of the slowing down of moving clocks, and the lack of TwP is not logically equivalent to the Newtonian assumption of absolut… ▽ More The aim of this paper is to provide a logic-based conceptual analysis of the twin paradox (TwP) theorem within a first-order logic framework. A geometrical characterization of TwP and its variants is given. It is shown that TwP is not logically equivalent to the assumption of the slowing down of moving clocks, and the lack of TwP is not logically equivalent to the Newtonian assumption of absolute time. The logical connection between TwP and a symmetry axiom of special relativity is also studied. △ Less

Submitted 19 February, 2010; v1 submitted 11 July, 2008; originally announced July 2008.

Comments: 22 pages, 3 figures

Journal ref: Studia Logica 95:161-182,2010

Measuring and testing dependence by correlation of distances

Authors: Gábor J. Székely, Maria L. Rizzo, Nail K. Bakirov

Abstract: Distance correlation is a new measure of dependence between random vectors. Distance covariance and distance correlation are analogous to product-moment covariance and correlation, but unlike the classical definition of correlation, distance correlation is zero only if the random vectors are independent. The empirical distance dependence measures are based on certain Euclidean distances between… ▽ More Distance correlation is a new measure of dependence between random vectors. Distance covariance and distance correlation are analogous to product-moment covariance and correlation, but unlike the classical definition of correlation, distance correlation is zero only if the random vectors are independent. The empirical distance dependence measures are based on certain Euclidean distances between sample elements rather than sample moments, yet have a compact representation analogous to the classical covariance and correlation. Asymptotic properties and applications in testing independence are discussed. Implementation of the test and Monte Carlo results are also presented. △ Less

Submitted 28 March, 2008; originally announced March 2008.

Comments: Published in at http://dx.doi.org/10.1214/009053607000000505 the Annals of Statistics (http://www.imstat.org/aos/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-AOS-AOS0283 MSC Class: 62G10 (Primary) 62H20 (Secondary)

Journal ref: Annals of Statistics 2007, Vol. 35, No. 6, 2769-2794

Axiomatizing relativistic dynamics without conservation postulates

Authors: H. Andreka, J. X. Madarasz, I. Nemeti, G. Szekely

Abstract: A part of relativistic dynamics (or mechanics) is axiomatized by simple and purely geometrical axioms formulated within first-order logic. A geometrical proof of the formula connecting relativistic and rest masses of bodies is presented, leading up to a geometric explanation of Einstein's famous $E=mc^2$. The connection of our geometrical axioms and the usual axioms on the conservation of mass,… ▽ More A part of relativistic dynamics (or mechanics) is axiomatized by simple and purely geometrical axioms formulated within first-order logic. A geometrical proof of the formula connecting relativistic and rest masses of bodies is presented, leading up to a geometric explanation of Einstein's famous $E=mc^2$. The connection of our geometrical axioms and the usual axioms on the conservation of mass, momentum and four-momentum is also investigated. △ Less

Submitted 25 July, 2008; v1 submitted 31 January, 2008; originally announced January 2008.

Comments: 21 pages, 7 figures

Journal ref: Studia Logica Volume 89, Number 2 (2008), 163-186

A Logical Analysis of the Time-Warp Effect of General Relativity

Authors: Judit X. Madarasz, Istvan Nemeti, Gergely Szekely

Abstract: Several versions of the Gravitational Time Dilation effect of General Relativity are formulated by the use of Einstein's Equivalence Principle. It is shown that all of them are logical consequence of a first-order axiom system of Special Relativity extended to accelerated observers. Several versions of the Gravitational Time Dilation effect of General Relativity are formulated by the use of Einstein's Equivalence Principle. It is shown that all of them are logical consequence of a first-order axiom system of Special Relativity extended to accelerated observers. △ Less

Submitted 16 September, 2007; originally announced September 2007.

Comments: 43 pages, 13 figures

Student's $t$-test for scale mixture errors

Authors: Gábor J. Székely

Abstract: Generalized t-tests are constructed under weaker than normal conditions. In the first part of this paper we assume only the symmetry (around zero) of the error distribution (i). In the second part we assume that the error distribution is a Gaussian scale mixture (ii). The optimal (smallest) critical values can be computed from generalizations of Student's cumulative distribution function (cdf),… ▽ More Generalized t-tests are constructed under weaker than normal conditions. In the first part of this paper we assume only the symmetry (around zero) of the error distribution (i). In the second part we assume that the error distribution is a Gaussian scale mixture (ii). The optimal (smallest) critical values can be computed from generalizations of Student's cumulative distribution function (cdf), $t_n(x)$. The cdf's of the generalized $t$-test statistics are denoted by (i) $t_n^S(x)$ and (ii) $t_n^G(x)$, resp. As the sample size $n\to \infty$ we get the counterparts of the standard normal cdf $Φ(x)$: (i) $Φ^S(x):=\operatorname {lim}_{n\to \infty}t_n^S(x)$, and (ii) $Φ^G(x):=\operatorname {lim}_{n\to \infty}t_n^G(x)$. Explicit formulae are given for the underlying new cdf's. For example $Φ^G(x)=Φ(x)$ iff $|x|\ge \sqrt{3}$. Thus the classical 95% confidence interval for the unknown expected value of Gaussian distributions covers the center of symmetry with at least 95% probability for Gaussian scale mixture distributions. On the other hand, the 90% quantile of $Φ^G$ is $4\sqrt{3}/5=1.385... >Φ^{-1}(0.9)=1.282...$. △ Less

Submitted 27 October, 2006; originally announced October 2006.

Comments: Published at http://dx.doi.org/10.1214/074921706000000365 in the IMS Lecture Notes--Monograph Series (http://www.imstat.org/publications/lecnotes.htm) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-LNMS49-LNMS4902 MSC Class: 62F03 (Primary) 62F04 (Secondary)

Journal ref: IMS Lecture Notes--Monograph Series 2006, Vol. 49, 9-15

First-Order Logic Foundation of Relativity Theories

Authors: Judit X. Madarasz, Istvan Nemeti, Gergely Szekely

Abstract: Motivation and perspective for an exciting new research direction interconnecting logic, spacetime theory, relativity--including such revolutionary areas as black hole physics, relativistic computers, new cosmology--are presented in this paper. We would like to invite the logician reader to take part in this grand enterprise of the new century. Besides general perspective and motivation, we pres… ▽ More Motivation and perspective for an exciting new research direction interconnecting logic, spacetime theory, relativity--including such revolutionary areas as black hole physics, relativistic computers, new cosmology--are presented in this paper. We would like to invite the logician reader to take part in this grand enterprise of the new century. Besides general perspective and motivation, we present initial results in this direction. △ Less

Submitted 10 April, 2006; originally announced April 2006.

Comments: 25 pages, 4 figures

Journal ref: In: New Logics for the XXIst Century II, Mathematical Problems from Applied Logics, International Mathematical Series Vol 5, Springer, (2006)

Twin Paradox and the logical foundation of relativity theory

Authors: Judit X. Madarasz, Istvan Nemeti, Gergely Szekely

Abstract: We study the foundation of space-time theory in the framework of first-order logic (FOL). Since the foundation of mathematics has been successfully carried through (via set theory) in FOL, it is not entirely impossible to do the same for space-time theory (or relativity). First we recall a simple and streamlined FOL-axiomatization SpecRel of special relativity from the literature. SpecRel is com… ▽ More We study the foundation of space-time theory in the framework of first-order logic (FOL). Since the foundation of mathematics has been successfully carried through (via set theory) in FOL, it is not entirely impossible to do the same for space-time theory (or relativity). First we recall a simple and streamlined FOL-axiomatization SpecRel of special relativity from the literature. SpecRel is complete with respect to questions about inertial motion. Then we ask ourselves whether we can prove usual relativistic properties of accelerated motion (e.g., clocks in acceleration) in SpecRel. As it turns out, this is practically equivalent to asking whether SpecRel is strong enough to "handle" (or treat) accelerated observers. We show that there is a mathematical principle called induction (IND) coming from real analysis which needs to be added to SpecRel in order to handle situations involving relativistic acceleration. We present an extended version AccRel of SpecRel which is strong enough to handle accelerated motion, in particular, accelerated observers. Among others, we show that the Twin Paradox becomes provable in AccRel, but it is not provable without IND. △ Less

Submitted 25 August, 2005; v1 submitted 25 April, 2005; originally announced April 2005.

Comments: 24 pages, 6 figures

Journal ref: Found.Phys. 36 (2006) 681-714