-
A bivariate two-state Markov modulated Poisson process for failure modelling
Authors:
Yoel G. Yera,
Rosa E. Lillo,
Bo F. Nielsen,
Pepa Ramírez-Cobo,
Fabrizio Ruggeri
Abstract:
Motivated by a real failure dataset in a two-dimensional context, this paper presents an extension of the Markov modulated Poisson process (MMPP) to two dimensions. The one-dimensional MMPP has been proposed for the modeling of dependent and non-exponential inter-failure times (in contexts as queuing, risk or reliability, among others). The novel two-dimensional MMPP allows for dependence between…
▽ More
Motivated by a real failure dataset in a two-dimensional context, this paper presents an extension of the Markov modulated Poisson process (MMPP) to two dimensions. The one-dimensional MMPP has been proposed for the modeling of dependent and non-exponential inter-failure times (in contexts as queuing, risk or reliability, among others). The novel two-dimensional MMPP allows for dependence between the two sequences of inter-failure times, while at the same time preserves the MMPP properties, marginally. The generalization is based on the Marshall-Olkin exponential distribution. Inference is undertaken for the new model through a method combining a matching moments approach with an Approximate Bayesian Computation (ABC) algorithm. The performance of the method is shown on simulated and real datasets representing times and distances covered between consecutive failures in a public transport company. For the real dataset, some quantities of importance associated with the reliability of the system are estimated as the probabilities and expected number of failures at different times and distances covered by trains until the occurrence of a failure.
△ Less
Submitted 26 January, 2024;
originally announced January 2024.
-
Bifurcations in the Herd Immunity Threshold for Discrete-Time Models of Epidemic Spread
Authors:
Sinan A. Ozbay,
Bjarke F. Nielsen,
Maximilian M. Nguyen
Abstract:
We performed a thorough sensitivity analysis of the herd immunity threshold for discrete-time SIR compartmental models with a static network structure. We find unexpectedly that these models violate classical intuition which holds that the herd immunity threshold should monotonically increase with the transmission parameter. We find the existence of bifurcations in the herd immunity threshold in t…
▽ More
We performed a thorough sensitivity analysis of the herd immunity threshold for discrete-time SIR compartmental models with a static network structure. We find unexpectedly that these models violate classical intuition which holds that the herd immunity threshold should monotonically increase with the transmission parameter. We find the existence of bifurcations in the herd immunity threshold in the high transmission probability regime. The extent of these bifurcations is modulated by the graph heterogeneity, the recovery parameter, and the network size. In the limit of large, well-mixed networks, the behavior approaches that of difference equation models, suggesting this behavior is a universal feature of all discrete-time SIR models. These results suggest careful attention is needed in both selecting the assumptions on how to model time and heterogeneity in epidemiological models and the subsequent conclusions that can be drawn.
△ Less
Submitted 24 February, 2023; v1 submitted 13 December, 2022;
originally announced December 2022.
-
Identifying the source term in the potential equation with weighted sparsity regularization
Authors:
Ole Løseth Elvetun,
Bjørn Fredrik Nielsen
Abstract:
We explore the possibility for using boundary measurements to recover a sparse source term f(x) in the potential equation. Employing weighted sparsity regularization and standard results for subgradients, we derive simple-to-check criteria which assure that a number of sinks (f(x) < 0) and sources (f(x) > 0) can be identified. Furthermore, we present two cases for which these criteria always are f…
▽ More
We explore the possibility for using boundary measurements to recover a sparse source term f(x) in the potential equation. Employing weighted sparsity regularization and standard results for subgradients, we derive simple-to-check criteria which assure that a number of sinks (f(x) < 0) and sources (f(x) > 0) can be identified. Furthermore, we present two cases for which these criteria always are fulfilled: a) well-separated sources and sinks, and b) many sources or sinks located at the boundary plus one interior source/sink. Our approach is such that the linearity of the associated forward operator is preserved in the discrete formulation. The theory is therefore conveniently developed in terms of Euclidean spaces, and it can be applied to a wide range of problems. In particular, it can be applied to both isotropic and anisotropic cases. We present a series of numerical experiments. This work is motivated by the observation that standard methods typically suggest that internal sinks and sources are located close to the boundary.
△ Less
Submitted 3 November, 2023; v1 submitted 8 December, 2022;
originally announced December 2022.
-
Box constraints and weighted sparsity regularization for identifying sources in elliptic PDEs
Authors:
Ole Løseth Elvetun,
Bjørn Fredrik Nielsen
Abstract:
We explore the possibility for using boundary data to identify sources in elliptic PDEs. Even though the associated forward operator has a large null space, it turns out that box constraints, combined with weighted sparsity regularization, can enable rather accurate recovery of sources with constant magnitude/strength. In addition, for sources with varying strength, the support of the inverse solu…
▽ More
We explore the possibility for using boundary data to identify sources in elliptic PDEs. Even though the associated forward operator has a large null space, it turns out that box constraints, combined with weighted sparsity regularization, can enable rather accurate recovery of sources with constant magnitude/strength. In addition, for sources with varying strength, the support of the inverse solution will be a subset of the support of the true source. We present both an analysis of the problem and a series of numerical experiments. Our work only addresses discretized problems.
The reason for introducing the weighting procedure is that standard (unweighted) sparsity regularization fails to provide adequate results for the source identification task considered in this paper. This investigation is also motivated by applications, e.g., recovering mass distributions from measurements of gravitational fields and inverse scattering. We develop the methodology and the analysis in terms of Euclidean spaces, and our results can therefore be applied to many problems. For example, the results are equally applicable to models involving the screened Poisson equation as to models using the Helmholtz equation, with both large and small wave numbers.
△ Less
Submitted 3 March, 2023; v1 submitted 13 June, 2022;
originally announced June 2022.
-
Numerical approximation of the spectrum of self-adjoint continuously invertible operators
Authors:
Tomáš Gergelits,
Bjørn Fredrik Nielsen,
Zdeněk Strakoš
Abstract:
This paper deals with the generalized spectrum of continuously invertible linear operators defined on infinite dimensional Hilbert spaces. More precisely, we consider two bounded, coercive, and self-adjoint operators $\bc{A, B}: V\mapsto V^{\#}$, where $V^{\#}$ denotes the dual of $V$, and investigate the conditions under which the whole spectrum of $\bc{B}^{-1}\bc{A}:V\mapsto V$ can be approximat…
▽ More
This paper deals with the generalized spectrum of continuously invertible linear operators defined on infinite dimensional Hilbert spaces. More precisely, we consider two bounded, coercive, and self-adjoint operators $\bc{A, B}: V\mapsto V^{\#}$, where $V^{\#}$ denotes the dual of $V$, and investigate the conditions under which the whole spectrum of $\bc{B}^{-1}\bc{A}:V\mapsto V$ can be approximated to an arbitrary accuracy by the eigenvalues of the finite dimensional discretization $\bc{B}_n^{-1}\bc{A}_n$. Since $\bc{B}^{-1}\bc{A}$ is continuously invertible, such an investigation cannot use the concept of uniform (normwise) convergence, and it relies instead on the pointwise (strong) convergence of $\bc{B}_n^{-1}\bc{A}_n$ to $\bc{B}^{-1}\bc{A}$.
The paper is motivated by operator preconditioning which is employed in the numerical solution of boundary value problems. In this context, $\bc{A}, \bc{B}: H_0^1(Ω) \mapsto H^{-1}(Ω)$ are the standard integral/functional representations of the differential operators $ -\nabla \cdot (k(x)\nabla u)$ and $-\nabla \cdot (g(x)\nabla u)$, respectively, and $k(x)$ and $g(x)$ are scalar coefficient functions. The investigated question differs from the eigenvalue problem studied in the numerical PDE literature which is based on the approximation of the eigenvalues within the framework of compact operators.
This work follows the path started by the two recent papers published in [SIAM J. Numer. Anal., 57 (2019), pp.~1369-1394 and 58 (2020), pp.~2193-2211] and addresses one of the open questions formulated at the end of the second paper.
△ Less
Submitted 1 March, 2021;
originally announced March 2021.
-
RAP-modulated Fluid Processes: First Passages and the Stationary Distribution
Authors:
Nigel G. Bean,
Giang T. Nguyen,
Bo F. Nielsen,
Oscar Peralta
Abstract:
We construct a stochastic fluid process with an underlying piecewise deterministic Markov process (PDMP) akin to the one used in the construction of the rational arrival process (RAP), which we call the RAP-modulated fluid process. As opposed to the classic stochastic fluid process driven by a Markov jump process, the underlying PDMP of a RAP-modulated fluid process has a continuous state space an…
▽ More
We construct a stochastic fluid process with an underlying piecewise deterministic Markov process (PDMP) akin to the one used in the construction of the rational arrival process (RAP), which we call the RAP-modulated fluid process. As opposed to the classic stochastic fluid process driven by a Markov jump process, the underlying PDMP of a RAP-modulated fluid process has a continuous state space and is driven by matrix parameters which may not be related to an intensity matrix. Through novel techniques we show how well-known formulae associated to the classic stochastic fluid process, such as first passage probabilities and the stationary distribution of its queue, translate to its RAP-modulated counterpart.
△ Less
Submitted 8 January, 2021;
originally announced January 2021.
-
Weighted sparsity regularization for source identification for elliptic PDEs
Authors:
Ole Løseth Elvetun,
Bjørn Fredrik Nielsen
Abstract:
This investigation is motivated by PDE-constrained optimization problems arising in connection with electrocardiograms (ECGs) and electroencephalography (EEG). Standard sparsity regularization does not necessarily produce adequate results for these applications because only boundary data/observations are available for the identification of the unknown source, which may be interior. We therefore st…
▽ More
This investigation is motivated by PDE-constrained optimization problems arising in connection with electrocardiograms (ECGs) and electroencephalography (EEG). Standard sparsity regularization does not necessarily produce adequate results for these applications because only boundary data/observations are available for the identification of the unknown source, which may be interior. We therefore study a weighted $\ell^1$-regularization technique for solving inverse problems when the forward operator has a significant null space. In particular, we prove that a sparse source, regardless of whether it is interior or located at the boundary, can be exactly recovered with this weighting procedure as the regularization parameter $α$ tends to zero. Our analysis is supported by numerical experiments for cases with one and several local sources. The theory is developed in terms of Euclidean spaces, and our results can therefore be applied to many problems.
△ Less
Submitted 24 May, 2023; v1 submitted 21 December, 2020;
originally announced December 2020.
-
Modified Tikhonov regularization for identifying several sources
Authors:
Ole Løseth Elvetun,
Bjørn Fredrik Nielsen
Abstract:
We study whether a modified version of Tikhonov regularization can be used to identify several local sources from Dirichlet boundary data for a prototypical elliptic PDE. This paper extends the results presented in [5]. It turns out that the possibility of distinguishing between two, or more, sources depends on the smoothing properties of a second or fourth order PDE. Consequently, the geometry of…
▽ More
We study whether a modified version of Tikhonov regularization can be used to identify several local sources from Dirichlet boundary data for a prototypical elliptic PDE. This paper extends the results presented in [5]. It turns out that the possibility of distinguishing between two, or more, sources depends on the smoothing properties of a second or fourth order PDE. Consequently, the geometry of the involved domain, as well as the position of the sources relative to the boundary of this domain, determines the identifiability.
We also present a uniqueness result for the identification of a single local source. This result is derived in terms of an abstract operator framework and is therefore not only applicable to the model problem studied in this paper. Our schemes yield quadratic optimization problems and can thus be solved with standard software tools. In addition to a theoretical investigation, this paper also contains several numerical experiments.
△ Less
Submitted 9 November, 2020;
originally announced November 2020.
-
Understanding the second quantization of fermions in Clifford and in Grassmann space -- New way of second quantization of fermions, Part I
Authors:
N. S. Mankoc Borstnik,
H. B. F. Nielsen
Abstract:
Both algebras, Clifford and Grassmann, offer "basis vectors" for describing the internal degrees of freedom of fermions. The oddness of the "basis vectors", transferred to the creation operators, which are tensor products of the finite number of "basis vectors" and the infinite number of momentum basis, and to their Hermitian conjugated partners annihilation operators, offers the second quantizati…
▽ More
Both algebras, Clifford and Grassmann, offer "basis vectors" for describing the internal degrees of freedom of fermions. The oddness of the "basis vectors", transferred to the creation operators, which are tensor products of the finite number of "basis vectors" and the infinite number of momentum basis, and to their Hermitian conjugated partners annihilation operators, offers the second quantization of fermions without postulating the conditions proposed by Dirac, enabling the explanation of the Dirac's postulates. But while the Clifford fermions manifest the half integer spins -- in agreement with the observed properties of quarks and leptons and antiquarks and antileptons -- the "Grassmann fermions" manifest the integer spins. In Part I properties of the creation and annihilation operators of integer spins "Grassmann fermions" are presented and the proposed equations of motion solved. The anticommutation relations of second quantized integer spin fermions are shown when applying on the vacuum state as well as when applying on the Hilbert space of the infinite number of "Slater determinants" with all the possibilities of empty and occupied "fermion states". In Part II the conditions are discussed under which the Clifford algebras offer the appearance of the second quantized fermions, enabling as well the appearance of families. In both parts, Part I and Part II, the relation between the Dirac way and our way of the second quantization of fermions is presented.
△ Less
Submitted 15 December, 2020; v1 submitted 6 July, 2020;
originally announced July 2020.
-
Understanding the second quantization of fermions in Clifford and in Grassmann space -- New way of second quantization of fermions, Part II
Authors:
N. S. Mankoc Borstnik,
H. B. F. Nielsen
Abstract:
We present in Part II the description of the internal degrees of freedom of fermions by the superposition of odd products of the Clifford algebra elements, either $γ^a$'s or $\tildeγ^a$'s, which determine with their oddness the anticommuting properties of the creation and annihilation operators of the second quantized fermion fields in even $d$-dimensional space-time, as we do in Part I of this pa…
▽ More
We present in Part II the description of the internal degrees of freedom of fermions by the superposition of odd products of the Clifford algebra elements, either $γ^a$'s or $\tildeγ^a$'s, which determine with their oddness the anticommuting properties of the creation and annihilation operators of the second quantized fermion fields in even $d$-dimensional space-time, as we do in Part I of this paper by the Grassmann algebra elements $θ^a$'s and $\frac{\partial}{\partial θ_a}$'s. We discuss: {\bf i.} The properties of the two kinds of the odd Clifford algebras, forming two independent spaces, both expressible with the Grassmann algebra of $θ^{a}$'s and $\frac{\partial}{\partial θ_{a}}$'s. {\bf ii.} The freezing out procedure of one of the two kinds of the odd Clifford objects, enabling that the remaining Clifford objects determine with their oddness in the tensor products of the finite number of the Clifford basis vectors and the infinite number of momentum basis, the creation and annihilation operators carrying the family quantum numbers and fulfilling the anticommutation relations of the second quantized fermions: on the vacuum state, and on the whole Hilbert space defined by the sum of infinite number of "Slater determinants" of empty and occupied single fermion states. {\bf iii.} The relation between the second quantized fermions as postulated by Dirac and the ones following from our Clifford algebra creation and annihilation operators, what offers the explanation for the Dirac postulates.
△ Less
Submitted 15 December, 2020; v1 submitted 6 July, 2020;
originally announced July 2020.
-
A regularization operator for source identification for elliptic PDEs
Authors:
Ole Løseth Elvetun,
Bjørn Fredrik Nielsen
Abstract:
We study a source identification problem for a prototypical elliptic PDE from Dirichlet boundary data. This problem is ill-posed, and the involved forward operator has a significant nullspace. Standard Tikhonov regularization yields solutions which approach the minimum $L^2$-norm least-squares solution as the regularization parameter tends to zero. We show that this approach 'always' suggests that…
▽ More
We study a source identification problem for a prototypical elliptic PDE from Dirichlet boundary data. This problem is ill-posed, and the involved forward operator has a significant nullspace. Standard Tikhonov regularization yields solutions which approach the minimum $L^2$-norm least-squares solution as the regularization parameter tends to zero. We show that this approach 'always' suggests that the unknown local source is very close to the boundary of the domain of the PDE, regardless of the position of the true local source.
We propose an alternative regularization procedure, realized in terms of a novel regularization operator, which is better suited for identifying local sources positioned anywhere in the domain of the PDE. Our approach is motivated by the classical theory for Tikhonov regularization and yields a standard quadratic optimization problem. Since the new methodology is derived for an abstract operator equation, it can be applied to many other source identification problems. This paper contains several numerical experiments and an analysis of the new methodology.
△ Less
Submitted 28 October, 2020; v1 submitted 19 May, 2020;
originally announced May 2020.
-
Generalized spectrum of second order differential operators
Authors:
Tomáš Gergelits,
Bjørn Fredrik Nielsen,
Zdeněk Strakoš
Abstract:
We analyze the spectrum of the operator $Δ^{-1} [\nabla \cdot (K\nabla u)]$, where $Δ$ denotes the Laplacian and $K=K(x,y)$ is a symmetric tensor. Our main result shows that this spectrum can be derived from the spectral decomposition $K=Q ΛQ^T$, where $Q=Q(x,y)$ is an orthogonal matrix and $Λ=Λ(x,y)$ is a diagonal matrix. More precisely, provided that $K$ is continuous, the spectrum equals the co…
▽ More
We analyze the spectrum of the operator $Δ^{-1} [\nabla \cdot (K\nabla u)]$, where $Δ$ denotes the Laplacian and $K=K(x,y)$ is a symmetric tensor. Our main result shows that this spectrum can be derived from the spectral decomposition $K=Q ΛQ^T$, where $Q=Q(x,y)$ is an orthogonal matrix and $Λ=Λ(x,y)$ is a diagonal matrix. More precisely, provided that $K$ is continuous, the spectrum equals the convex hull of the ranges of the diagonal function entries of $Λ$. The involved domain is assumed to be bounded and Lipschitz, and both homogeneous Dirichlet and homogeneous Neumann boundary conditions are considered. We study operators defined on infinite dimensional Sobolev spaces. Our theoretical investigations are illuminated by numerical experiments, using discretized problems.
The results presented in this paper extend previous analyses which have addressed elliptic differential operators with scalar coefficient functions. Our investigation is motivated by both preconditioning issues (efficient numerical computations) and the need to further develop the spectral theory of second order PDEs (core analysis).
△ Less
Submitted 3 February, 2020;
originally announced February 2020.
-
Newton-Cartan Submanifolds and Fluid Membranes
Authors:
Jay Armas,
Jelle Hartong,
Emil Have,
Bjarke Frost Nielsen,
Niels A. Obers
Abstract:
We develop the geometric description of submanifolds in Newton--Cartan spacetime. This provides the necessary starting point for a covariant spacetime formulation of Galilean-invariant hydrodynamics on curved surfaces. We argue that this is the natural geometrical framework to study fluid membranes in thermal equilibrium and their dynamics out of equilibrium. A simple model of fluid membranes that…
▽ More
We develop the geometric description of submanifolds in Newton--Cartan spacetime. This provides the necessary starting point for a covariant spacetime formulation of Galilean-invariant hydrodynamics on curved surfaces. We argue that this is the natural geometrical framework to study fluid membranes in thermal equilibrium and their dynamics out of equilibrium. A simple model of fluid membranes that only depends on the surface tension is presented and, extracting the resulting stresses, we show that perturbations away from equilibrium yield the standard result for the dispersion of elastic waves. We also find a generalisation of the Canham--Helfrich bending energy for lipid vesicles that takes into account the requirements of thermal equilibrium.
△ Less
Submitted 18 June, 2020; v1 submitted 3 December, 2019;
originally announced December 2019.
-
Substrate curvature governs texture orientation in thin films of smectic block copolymers
Authors:
Bjarke Frost Nielsen,
Gaute Linga,
Amalie Christensen,
Joachim Mathiesen
Abstract:
Self-assembly of ordered nanometer-scale patterns is interesting in itself, but its practical value depends on the ability to predict and control pattern formation. In this paper we demonstrate theoretically and numerically that engineering of extrinsic as well as intrinsic substrate geometry may provide such a controllable ordering mechanism for block copolymers films. We develop an effective two…
▽ More
Self-assembly of ordered nanometer-scale patterns is interesting in itself, but its practical value depends on the ability to predict and control pattern formation. In this paper we demonstrate theoretically and numerically that engineering of extrinsic as well as intrinsic substrate geometry may provide such a controllable ordering mechanism for block copolymers films. We develop an effective two-dimensional model of thin films of striped-phase diblock copolymers on general curved substrates. The model is obtained as an expansion in the film thickness and thus takes the third dimension into account, which crucially allows us to predict the preferred orientations even in the absence of intrinsic curvature. We determine the minimum-energy textures on several curved surfaces and arrive at a general principle for using substrate curvature as an ordering field, namely that the stripes will tend to align along directions of maximal curvature.
△ Less
Submitted 29 November, 2019;
originally announced November 2019.
-
Self-assembly, Buckling & Density-Invariant Growth of Three-dimensional Vascular Networks
Authors:
Julius B. Kirkegaard,
Bjarke F. Nielsen,
Ala Trusina,
Kim Sneppen
Abstract:
The experimental actualisation of organoids modelling organs from brains to pancreases has revealed that much of the diverse morphologies of organs are emergent properties of simple intercellular "rules" and not the result of top-down orchestration. In contrast to other organs, the initial plexus of the vascular system is formed by aggregation of cells in the process known as vasculogenesis. Here…
▽ More
The experimental actualisation of organoids modelling organs from brains to pancreases has revealed that much of the diverse morphologies of organs are emergent properties of simple intercellular "rules" and not the result of top-down orchestration. In contrast to other organs, the initial plexus of the vascular system is formed by aggregation of cells in the process known as vasculogenesis. Here we study this self-assembling process of blood vessels in three dimensions through a set of simple rules that align intercellular apical-basal and planar cell polarity. We demonstrate that a fully connected network of tubes emerges above a critical initial density of cells. Through planar cell polarity our model demonstrates convergent extension, and this polarity furthermore allows for both morphology-maintaining growth and growth-induced buckling. We compare this buckling to the special vasculature of Islets of Langerhans in the pancreas and suggest that the mechanism behind the vascular density-maintaining growth of these islets could be the result of growth-induced buckling.
△ Less
Submitted 4 October, 2019;
originally announced October 2019.
-
Laplacian preconditioning of elliptic PDEs: Localization of the eigenvalues of the discretized operator
Authors:
Tomáš Gergelits,
Kent-André Mardal,
Bjørn Fredrik Nielsen,
Zdeněk Strakoš
Abstract:
In the paper \textit{Preconditioning by inverting the {L}aplacian; an analysis of the eigenvalues. IMA Journal of Numerical Analysis 29, 1 (2009), 24--42}, Nielsen, Hackbusch and Tveito study the operator generated by using the inverse of the Laplacian as preconditioner for second order elliptic PDEs $\nabla \cdot (k(x) \nabla u) = f$. They prove that the range of $k(x)$ is contained in the spectr…
▽ More
In the paper \textit{Preconditioning by inverting the {L}aplacian; an analysis of the eigenvalues. IMA Journal of Numerical Analysis 29, 1 (2009), 24--42}, Nielsen, Hackbusch and Tveito study the operator generated by using the inverse of the Laplacian as preconditioner for second order elliptic PDEs $\nabla \cdot (k(x) \nabla u) = f$. They prove that the range of $k(x)$ is contained in the spectrum of the preconditioned operator, provided that $k$ is continuous. Their rigorous analysis only addresses map**s defined on infinite dimensional spaces, but the numerical experiments in the paper suggest that a similar property holds in the discrete case.
% Motivated by this investigation, we analyze the eigenvalues of the matrix $\bf{L}^{-1}\bf{A}$, where $\bf{L}$ and ${\bf{A}}$ are the stiffness matrices associated with the Laplace operator and general second order elliptic operators, respectively. Without any assumption about the continuity of $k(x)$, we prove the existence of a one-to-one pairing between the eigenvalues of $\bf{L}^{-1}\bf{A}$ and the intervals determined by the images under $k(x)$ of the supports of the FE nodal basis functions. As a consequence, we can show that the nodal values of $k(x)$ yield accurate approximations of the eigenvalues of $\bf{L}^{-1}\bf{A}$. Our theoretical results are illuminated by several numerical experiments.
△ Less
Submitted 11 September, 2018;
originally announced September 2018.
-
Fermionization, Number of Families
Authors:
N. S. Mankoc Borstnik,
H. B. F. Nielsen
Abstract:
We investigate bosonization/fermionization for free massless fermions being equivalent to free massless bosons with the purpose of checking and correcting the old rule by Aratyn and one of us (H.B.F.N.) for the number of boson species relative to the number of fermion species which is required to have bosonization possible. An important application of such a counting of degrees of freedom relation…
▽ More
We investigate bosonization/fermionization for free massless fermions being equivalent to free massless bosons with the purpose of checking and correcting the old rule by Aratyn and one of us (H.B.F.N.) for the number of boson species relative to the number of fermion species which is required to have bosonization possible. An important application of such a counting of degrees of freedom relation would be to invoke restrictions on the number of families that could be possible under the assumption, that all the fermions in nature are the result of fermionizing a system of boson species. Since a theory of fundamental fermions can be accused for not being properly local because of having anticommutativity at space like distances rather than commutation as is more physically reasonable to require, it is in fact called for to have all fermions arising from fermionization of bosons. To make a realistic scenario with the fermions all coming from fermionizing some bosons we should still have at least some not fermionized bosons and we are driven towards that being a gravitational field, that is not fermionized. Essentially we reach the spin-charge-families theory by one of us (N.S.M.B.) with the detail that the number of fermion components and therefore of families get determined from what possibilities for fermionization will finally turn out to exist. The spin-charge-family theory has long been plagued by predicting 4 families rather than the phenomenologically more favoured 3. Unfortunately we do not yet understand well enough the unphysical negative norm square components in the system of bosons that can fermionize in higher dimensions because we have no working high dimensional case of fermionization. But suspecting they involve gauge fields with complicated unphysical state systems the corrections from such states could putatively improve the family number prediction.
△ Less
Submitted 15 May, 2018;
originally announced May 2018.
-
New way of second quantized theory of fermions with either Clifford or Grassmann coordinates and spin-charge-family theory
Authors:
N. S. Mankoc Borstnik,
H. B. F. Nielsen
Abstract:
Fermions with the internal degrees of freedom described in Clifford space carry in any dimension a half integer spin. There are two kinds of spins in Clifford space. The spin-charge-family theory,assuming even d=13+1, uses one kind of spins to describe in d=3+1 spins and charges of quarks and leptons and antiquarks and antileptons, while the other kind is used to describe families. The new way of…
▽ More
Fermions with the internal degrees of freedom described in Clifford space carry in any dimension a half integer spin. There are two kinds of spins in Clifford space. The spin-charge-family theory,assuming even d=13+1, uses one kind of spins to describe in d=3+1 spins and charges of quarks and leptons and antiquarks and antileptons, while the other kind is used to describe families. The new way of second quantization, suggested by the spin-charge-family theory, is presented. It is shown that the creation and annihilation operators of 1-fermion states, written as products of nilpotents and projectors of an odd Clifford character, fulfill the anticommutation relations as required in the second quantization procedure for fermions: 1-fermion states are in Clifford space already second quantized, the creation operators for any n-fermion second quantized vectors are products of one fermion creation operators, operating on the empty vacuum state. It is demonstrated that also in Grassmann space there exist the creation and annihilation operators of an odd Grassmann character, generating "fermions", which fulfill as well the anticommutation relations for fermions, representing correspondingly the second quantized 1-"fermion" states, in this case with integer spins. Grassmann space offers no families. We discuss the new second quantization procedure of the fields in both spaces. For the Grassmann case we present the action, basic states, solutions of the Weyl equation for free massless "fermions" and discrete symmetry operators. A short overview of the achievements of the spin-charge-family theory is done, and open problems of this theory still waiting to be solved are presented. The Grassmann and the Clifford case are compared in order to better understand open questions in physics of elementary fermion and boson fields and in cosmology.
△ Less
Submitted 31 August, 2019; v1 submitted 13 February, 2018;
originally announced February 2018.
-
Regularization of ill-posed point neuron models
Authors:
Bjørn Fredrik Nielsen
Abstract:
Point neuron models with a Heaviside firing rate function can be ill-posed. That is, the initial-condition-to-solution map might become discontinuous in finite time. If a Lipschitz continuous, but steep, firing rate function is employed, then standard ODE theory implies that such models are well-posed and can thus, approximately, be solved with finite precision arithmetic. We investigate whether t…
▽ More
Point neuron models with a Heaviside firing rate function can be ill-posed. That is, the initial-condition-to-solution map might become discontinuous in finite time. If a Lipschitz continuous, but steep, firing rate function is employed, then standard ODE theory implies that such models are well-posed and can thus, approximately, be solved with finite precision arithmetic. We investigate whether the solution of this well-posed model converges to a solution of the ill-posed limit problem as the steepness parameter, of the firing rate function, tends to infinity. Our argument employs the Arzelà-Ascoli theorem and also yields the existence of a solution of the limit problem. However, we only obtain convergence of a subsequence of the regularized solutions. This is consistent with the fact that we show that models with a Heaviside firing rate function can have several solutions. Our analysis assumes that the Lebesgue measure of the time the limit function, provided by the Arzelà-Ascoli theorem, equals the threshold value for firing, is zero. If this assumption does not hold, we argue that the regularized solutions may not converge to a solution of the limit problem with a Heaviside firing function.
△ Less
Submitted 1 March, 2017;
originally announced March 2017.
-
Degrees of freedom of massless boson and fermion fields in any even dimension
Authors:
N. S. Mankoc Borstnik,
H. B. F. Nielsen
Abstract:
This is a discussion on degrees of freedom of massless fermion and boson fields, if they are free or weakly interacting. We generalize the gauge fields of $S^{ab}$ - $ω_{abc}$ - and of $\tilde{S}^{ab}$ - $ \tildeω_{abc}$ - of the spin-charge-family to the gauge fields of all possible products of $γ^a$'s and of all possible products of $\tildeγ^a$'s, the first taking care in the {\it spin-charge-fa…
▽ More
This is a discussion on degrees of freedom of massless fermion and boson fields, if they are free or weakly interacting. We generalize the gauge fields of $S^{ab}$ - $ω_{abc}$ - and of $\tilde{S}^{ab}$ - $ \tildeω_{abc}$ - of the spin-charge-family to the gauge fields of all possible products of $γ^a$'s and of all possible products of $\tildeγ^a$'s, the first taking care in the {\it spin-charge-family} theory of the spins and charges quantum numbers ($τ^{Ai}=\sum_{a,b} c^{Ai}{}_{ab} \,S^{ab}$) of fermions, the second ($\tildeτ^{Ai}= \sum_{a,b} \tilde{c}^{Ai}{}_{ab}\, \tilde{S}^{ab}$) taking care of the families quantum numbers.
△ Less
Submitted 9 February, 2016;
originally announced March 2016.
-
Fermionization in an Arbitrary Number of Dimensions
Authors:
N. S. Mankoc Borstnik,
H. B. F. Nielsen
Abstract:
One purpose of this proceedings-contribution is to show that at least for free massless particles it is possible to construct an explicit boson theory which is exactly equivalent in terms of momenta and energy to a fermion theory. The fermions come as $2^{d/2-1}$ families and the to this whole system of fermions corresponding bosons come as a whole series of the Kalb-Ramond fields, one set of comp…
▽ More
One purpose of this proceedings-contribution is to show that at least for free massless particles it is possible to construct an explicit boson theory which is exactly equivalent in terms of momenta and energy to a fermion theory. The fermions come as $2^{d/2-1}$ families and the to this whole system of fermions corresponding bosons come as a whole series of the Kalb-Ramond fields, one set of components for each number of indexes on the tensor fields.
Since Kalb-Ramond fields naturally (only) couple to the extended objects or branes, we suspect that inclusion of interaction into such for a bosonization prepared system - except for the lowest dimensions - without including branes or something like that is not likely to be possible.
The need for the families is easily seen just by using the theorem long ago put forward by Aratyn and one of us (H.B.F.N.), which says that to have the statistical mechanics of the fermion system and the boson system to match one needs to have the number of the field components in the ratio $\frac{2^{d-1}-1}{2^{d-1}}= \frac{\# bosons}{\# fermions}$, enforcing that the number of fermion components must be a multiple of $2^{d-1}$, where $d$ is the space-time dimension. This "explanation" of the number of dimension is potentially useful for the explanation for the number of dimension put forward by one of us (S.N.M.B.) since long in the spin-charge-family theory, and leads like the latter to typically (a multiple of) $4$ families.
And this is the second purpose for our work on the fermionization in an arbitrary number of dimensions - namely to learn how "natural" is the inclusion of the families in the way the spin-charge-family theory does.
△ Less
Submitted 9 February, 2016;
originally announced February 2016.
-
Robust preconditioners for PDE-constrained optimization with limited observations
Authors:
Kent-André Mardal,
Bjørn Fredrik Nielsen,
Magne Nordaas
Abstract:
Regularization robust preconditioners for PDE-constrained optimization problems have been successfully developed. These methods, however, typically assume that observation data is available throughout the entire domain of the state equation. For many inverse problems, this is an unrealistic assumption. In this paper we propose and analyze preconditioners for PDE-constrained optimization problems w…
▽ More
Regularization robust preconditioners for PDE-constrained optimization problems have been successfully developed. These methods, however, typically assume that observation data is available throughout the entire domain of the state equation. For many inverse problems, this is an unrealistic assumption. In this paper we propose and analyze preconditioners for PDE-constrained optimization problems with limited observation data, e.g. observations are only available at the boundary of the solution domain. Our methods are robust with respect to both the regularization parameter and the mesh size. That is, the condition number of the preconditioned optimality system is uniformly bounded, independently of the size of these two parameters. We first consider a prototypical elliptic control problem and thereafter more general PDE-constrained optimization problems. Our theoretical findings are illuminated by several numerical results.
△ Less
Submitted 22 June, 2015;
originally announced June 2015.
-
Small Representation Principle
Authors:
H. B. F. Nielsen
Abstract:
In a previous article Don Bennett and I looked for, found and proposed a game in which the Standard Model Gauge Group $S(U(2) \times U(3))$ gets singled out as the "winner". This "game" means that the by Nature chosen gauge group should be just that one, which has the maximal value for a quantity, which is a modification of the ratio of the quadratic Casimir for the adjoint representation and that…
▽ More
In a previous article Don Bennett and I looked for, found and proposed a game in which the Standard Model Gauge Group $S(U(2) \times U(3))$ gets singled out as the "winner". This "game" means that the by Nature chosen gauge group should be just that one, which has the maximal value for a quantity, which is a modification of the ratio of the quadratic Casimir for the adjoint representation and that for a "smallest" faithful representation. In a recent article I proposed to extend this "game" to construct a corresponding game between different potential dimensions for space-time. The idea is to formulate, how the same competition as the one between the potential gauge groups would run out, if restricted to the potential Lorentz or Poincare groups achievable for different dimensions of space-time $d$. The remarkable point is, that it is the experimental space-time dimension 4, which wins. It follows that the whole Standard Model is specified by requiring SMALLEST REPRESENTATIONS! Speculatively we even argue that our principle found suggests the group of gauge transformations and some manifold(suggestive of say general relativity).
△ Less
Submitted 6 March, 2014;
originally announced March 2014.
-
Proceedings to the 14th International Workshop "What Comes Beyond the Standard Models", July 11-21, 2011, Bled, Slovenia
Authors:
N. S. Mankoc Borstnik,
H. B. F. Nielsen,
M. Y. Khlopov,
D. Lukman
Abstract:
The contribution contains the preface to the Proceedings to the 14th Workshop What Comes Beyond the Standard Models, Bled, July 11 - 21, 2011, published in Bled workshops in physics, Vol.12, No. 2, DMFA-Zaloznistvo, Ljubljana, Dec. 2011, and links to the published contributions.
The contribution contains the preface to the Proceedings to the 14th Workshop What Comes Beyond the Standard Models, Bled, July 11 - 21, 2011, published in Bled workshops in physics, Vol.12, No. 2, DMFA-Zaloznistvo, Ljubljana, Dec. 2011, and links to the published contributions.
△ Less
Submitted 6 May, 2014; v1 submitted 10 September, 2013;
originally announced September 2013.
-
Discrete symmetries in the Kaluza-Klein-like theories
Authors:
N. S. Mankoc Borstnik,
H. B. F. Nielsen
Abstract:
In theories of the Kaluza-Klein kind there are spins or total angular moments in higher dimensions which manifest as charges in the observable $d=(3+1)$. The charge conjugation requirement, if following the prescription in ($3+1$), would transform any particle state out of the Dirac sea into the hole in the Dirac sea, which manifests as an anti-particle having all the spin degrees of freedom in…
▽ More
In theories of the Kaluza-Klein kind there are spins or total angular moments in higher dimensions which manifest as charges in the observable $d=(3+1)$. The charge conjugation requirement, if following the prescription in ($3+1$), would transform any particle state out of the Dirac sea into the hole in the Dirac sea, which manifests as an anti-particle having all the spin degrees of freedom in $d$, except $S^{03}$, the same as the corresponding particle state. This is in contradiction with what we observe for the anti-particle. In this paper we redefine the discrete symmetries so that we stay within the subgroups of the starting group of symmetries, while we require that the angular moments in higher dimensions manifest as charges in $d=(3+1)$. We pay attention on spaces with even $d$.
△ Less
Submitted 13 March, 2014; v1 submitted 11 December, 2012;
originally announced December 2012.
-
Roadmap Document on Stochastic Analysis
Authors:
Bo Friis Nielsen,
Flemming Nielson,
Henrik Pilegaard,
Michael James Andrew Smith,
Ender Yüksel,
Kebin Zeng,
Lijun Zhang
Abstract:
This document was prepared as part of the MT-LAB research centre. The research centre studies the Modelling of Information Technology and is a VKR Centre of Excellence funded for five years by the VILLUM Foundation. You can read more about MT-LAB at its webpage www.MT-LAB.dk.
The goal of the document is to serve as an introduction to new PhD students addressing the research goals of MT-LAB. As s…
▽ More
This document was prepared as part of the MT-LAB research centre. The research centre studies the Modelling of Information Technology and is a VKR Centre of Excellence funded for five years by the VILLUM Foundation. You can read more about MT-LAB at its webpage www.MT-LAB.dk.
The goal of the document is to serve as an introduction to new PhD students addressing the research goals of MT-LAB. As such it aims to provide an overview of a number of selected approaches to the modelling of stochastic systems. It should be readable not only by computers scientists with a background in formal methods but also by PhD students in stochastics that are interested in understanding the computer science approach to stochastic model checking.
We have no intention of being encyclopedic in our treatment of the approaches or the literature. Rather we have made the selection of material based on the competences of the groups involved in or closely affiliated to MT-LAB, so as to ease the task of the PhD students in navigating an otherwise vast amount of literature.
We have decided to publish the document in case other young researchers may find it helpful. The list of authors reflect those that have at times played a significant role in the production of the document.
△ Less
Submitted 27 September, 2012;
originally announced September 2012.
-
A Stochastic Broadcast Pi-Calculus
Authors:
Lei Song,
Flemming Nielson,
Bo Friis Nielsen
Abstract:
In this paper we propose a stochastic broadcast PI-calculus which can be used to model server-client based systems where synchronization is always governed by only one participant. Therefore, there is no need to determine the joint synchronization rates. We also take immediate transitions into account which is useful to model behaviors with no impact on the temporal properties of a system. Since i…
▽ More
In this paper we propose a stochastic broadcast PI-calculus which can be used to model server-client based systems where synchronization is always governed by only one participant. Therefore, there is no need to determine the joint synchronization rates. We also take immediate transitions into account which is useful to model behaviors with no impact on the temporal properties of a system. Since immediate transitions may introduce non-determinism, we will show how these non-determinism can be resolved, and as result a valid CTMC will be obtained finally. Also some practical examples are given to show the application of this calculus.
△ Less
Submitted 6 July, 2011;
originally announced July 2011.