On Injectivity of an Integral Operator Connected to Riemann Hypothesis

In 1993, Alcantara-Bode showed ([2]) that Riemann Hypothesisholds if and only if the integral operator on the Hilbert space L2(0; 1)having the kernel function defined by the fractional part of (y/x), isinjective. Since then, the injectivity of the integral operator used inequivalent formulation of RH has not been addressed nor has beendissociated from RH.We provided in this paper methods for investigating the injectivityof linear bounded operators on separable Hilbert spaces using theirapproximations on dense families of subspaces.On the separable Hilbert space L2(0,1), an linear bounded operator(or its associated Hermitian), strict positive definite on a dense familyof including approximation subspaces in built on simple functions, isinjective if the rate of convergence of its sequence of injectivity pa-rameters on approximation subspaces is inferior bounded by a not nullconstant, that is the case with the Beurling - Alcantara-Bode integraloperator.We applied these methods to the integral operator used in RHequivalence proving its injectivity.

On Injectivity of an Integral Operator Connected to Riemann Hypothesis

Using the equivalent formulation of RH given by Beurling ([4],1955), Alcantara-Bode showed ([2], 1993) that Riemann Hypothesisholds if and only if the integral operator on the Hilbert space L2(0; 1)having the kernel defined by fractional part function of the expressionbetween brackets {y/x}, is injective.Since then, the injectivity of the integral operator used in equivalentformulation of RH has not been addressed nor has been dissociatedfrom RH and, a pure mathematics solution for RH is not ready yet.Here is a numerical analysis approach of the injectivity of the linearbounded operators on separable Hilbert spaces addressing the problemslike the one presented in [2]. Apart of proving the injectivity of theBeurling - Alcantara-Bode integral operator, we obtained the followingresult: every linear bounded operator (or its associated Hermitian),strict positive definite on a dense family of including approximationsubspaces in L2(0,1) built on simple functions, is injective if the rateof convergence to zero of its unbounded sequence of inverse conditionnumbers on approximation subspaces is o(n-s) for some s ≥ 0. Whens = 0, the sequence is inferior bounded by a not null constant, that isthe case in the Beurling - Alcantara-Bode integral operator.In the Theorem 4.1 we addressed with numerical analysis toolsthe injectivity of the integral operator in [2] claiming that - even if asolution in pure mathematics is desired, together with the Theorem 1,pg. 153 in [2], the RH holds.

Neural net implementation of steam properties on FPGA

Real time applications like model predictive control, monitoring and data reconciliation of power plants and industrial processes employ nonlinear mathematical models and require thermodynamic properties and their derivatives of working fluids. Applications like super heater temperature control based on energy balance and real time data reconciliation, require an efficient and a compact method for simultaneous estimation of thermodynamic properties, and their partial derivatives suitable for implementation in field-programmable gate array (FPGA). However, the complex mathematical formulations of these properties prohibit direct implementations in FPGAs. Single artificial neural network (ANN) architecture is used to replace the entire code in higher level languages, running into a few thousand lines. FPGA implementation of a compact neural network for the entire range of thermodynamic properties is presented. Large arguments in sigmoid function are factored into a product of integer and a fractional part which is represented using series approximation with five terms only and the integers are represented in look up table (LUT). This ensures optimum storage and computational burden for the above applications. The ANN is implemented in IEEE 754 floating point with synthesis in Xilinx ISE design suite using Verilog HDL. The results are presented for a typical pressure versus saturation temperature.

Fundamentals of metric theory of real numbers in their $\overline{Q_3}$-representation

In the paper we were studied encoding of fractional part of a real number with an infinite alphabet (set of digits) coinciding with the set of non-negative integers. The geometry of this encoding is generated by $Q_3$-representation of real numbers, which is a generalization of the classical ternary representation. The new representation has infinite alphabet, zero surfeit and can be efficiently used for specifying mathematical objects with fractal properties. We have been studied the functions that store the "tails" of $\overline{Q_3}$-representation of numbers and the set of such functions,some metric problems and some problems of probability theory are connected with $\overline{Q_3}$-representation.

A novel secure biomedical data aggregation using fully homomorphic encryption in WSN

A new method of secure data aggregation for decimal data having integer as well as fractional part using homomorphic encryption is described. The proposed homomorphic encryption provides addition, subtraction, multiplication, division and averaging operations in the cipher domain for both positive and negative numbers. The scheme uses integer matrices in finite field Zp as encryption and decryption keys. An embedded Digital signature along with data provides data integrity and authentication by signature verification at the receiving end. The proposed scheme is immune to chosen plaintext and chosen ciphertext attacks. In the case of homomorphic multiplication, the ciphertext expansion ratio grows linearly with the data size. The computational complexity of the proposed method for multiplication and division is relatively less by 22.87% compared to Brakerski and Vaikantanathan method when the size of the plaintext data is ten decimal digits.

A generalized Davenport expansion

We prove a new generalization of Davenport's Fourier expansion of the infinite series involving the fractional part function over arithmetic functions. A new Mellin transform related to the Riemann zeta function is also established.

Proving the 6d Cardy formula and matching global gravitational anomalies

A Cardy formula for 6d superconformal field theories (SCFTs) conjectured by Di Pietro and Komargodski in [1] governs the universal behavior of the supersymmetric partition function on S^1_\beta \times S^5Sβ1×S5 in the limit of small \betaβ and fixed squashing of the S^5S5. For a general 6d SCFT, we study its 5d effective action, which is dominated by the supersymmetric completions of perturbatively gauge-invariant Chern-Simons terms in the small \betaβ limit. Explicitly evaluating these supersymmetric completions gives the precise squashing dependence in the Cardy formula. For SCFTs with a pure Higgs branch (also known as very Higgsable SCFTs), we determine the Chern-Simons levels by explicitly going onto the Higgs branch and integrating out the Kaluza-Klein modes of the 6d fields on S^1_\betaSβ1. We then discuss tensor branch flows, where an apparent mismatch between the formula in [1] and the free field answer requires an additional contribution from BPS strings. This ``missing contribution’’ is further sharpened by the relation between the fractional part of the Chern-Simons levels and the (mixed) global gravitational anomalies of the 6d SCFT. We also comment on the Cardy formula for 4d \mathcal{N}=2𝒩=2 SCFTs in relation to Higgs branch and Coulomb branch flows.

Real-Time Estimation of GPS-BDS Inter-System Biases: An Improved Particle Swarm Optimization Algorithm

The restart of the receiver will lead to the change in the non-overlapping frequency inter-system biases (ISB), which will make it difficult to apply the tightly combined RTK method of pre-calibrating ISB to the actual scene. Particle swarm optimization (PSO) algorithm can be used to estimate the fractional part of the inter-system phase bias (F-ISPB) in real time, which is not affected by the receiver restart. However, the standard PSO can easily fall into local optimum and cannot accurately estimate the value of F-ISPB. In this contribution, based on the characteristics of F-ISPB, we propose an improved PSO with adaptive search space and elite reservation strategy to estimate the F-ISPB in real time. When the value of F-ISPB is close to the boundary of the search space, the improved PSO will transform the search space so that F-ISPB will be located near the central region of the new search space, which will greatly reduce the situation of the standard PSO easily falling into local optimum. Since F-ISPB is very stable, an elite retention strategy will help us to estimate F-ISPB faster and more accurately. Three sets of short baseline static data were selected for testing. The results show that the inter-system differenced model based on the improved PSO has a higher ambiguity fixed rate and positioning accuracy than the inter-system differenced model based on the standard PSO and the classical intra-system differenced model, and the fewer the number of satellites, the more obvious the effect.

Comparisons of CODE and CNES/CLS GPS satellite bias products and applications in Sentinel-3 satellite precise orbit determination

To resolve undifferenced GNSS phase ambiguities, dedicated satellite products are needed, such as satellite orbits, clock offsets and biases. The International GNSS Service CNES/CLS analysis center provides satellite (HMW) Hatch-Melbourne-Wübbena bias and dedicated satellite clock products (including satellite phase bias), while the CODE analysis center provides satellite OSB (observable-specific-bias) and integer clock products. The CNES/CLS GPS satellite HMW bias products are determined by the Hatch-Melbourne-Wübbena (HMW) linear combination and aggregate both code (C1W, C2W) and phase (L1W, L2W) biases. By forming the HMW linear combination of CODE OSB corrections on the same signals, we compare CODE satellite HMW biases to those from CNES/CLS. The fractional part of GPS satellite HMW biases from both analysis centers are very close to each other, with a mean Root-Mean-Square (RMS) of differences of 0.01 wide-lane cycles. A direct comparison of satellite narrow-lane biases is not easily possible since satellite narrow-lane biases are correlated with satellite orbit and clock products, as well as with integer wide-lane ambiguities. Moreover, CNES/CLS provides no satellite narrow-lane biases but incorporates them into satellite clock offsets. Therefore, we compute differences of GPS satellite orbits, clock offsets, integer wide-lane ambiguities and narrow-lane biases (only for CODE products) between CODE and CNES/CLS products. The total difference of these terms for each satellite represents the difference of the narrow-lane bias by subtracting certain integer narrow-lane cycles. We call this total difference “narrow-lane” bias difference. We find that 3% of the narrow-lane biases from these two analysis centers during the experimental time period have differences larger than 0.05 narrow-lane cycles. In fact, this is mainly caused by one Block IIA satellite since satellite clock offsets of the IIA satellite cannot be well determined during eclipsing seasons. To show the application of both types of GPS products, we apply them for Sentinel-3 satellite orbit determination. The wide-lane fixing rates using both products are more than 98%, while the narrow-lane fixing rates are more than 95%. Ambiguity-fixed Sentinel-3 satellite orbits show clear improvement over float solutions. RMS of 6-h orbit overlaps improves by about a factor of two. Also, we observe similar improvements by comparing our Sentinel-3 orbit solutions to the external combined products. Standard deviation value of Satellite Laser Ranging residuals is reduced by more than 10% for Sentinel-3A and more than 15% for Sentinel-3B satellite by fixing ambiguities to integer values.