arXiv subjects

Subhasis Ray

Publications and source records attributed to Subhasis Ray.

4 recordsLinked to original sources

arXiv2026

Soft Metric Spaces via Soft Elements: Topology Across Parameter-Cardinalities and Fixed-Point Theory

A soft set $(F,E)$ determines the selection space $\SE(F)=\prod_{e\in E}F(e)$. This paper studies two natural structures on that space. For at most countable $E$, the series metric $\dPi$ induces the product topology. For arbitrary $E$, the sup metric $\dsup$ induces uniform convergence. We prove that these metric spaces are complete exactly when all fibres are complete. We then compare global contractions with coordinatewise contractions and give counterexamples when coordinate separability or a uniform contractive bound is absent. Standard fixed-point theorems for complete metric spaces are recorded as direct consequences, without repeating their classical proofs. For uncountable $E$, the product topology may fail to be metrizable, so we work with its product uniformity. A parameterwise contraction theorem gives a unique fixed point and convergence in the product topology; a common bound below one gives convergence in $\dsup$.

math.GN↗

arXiv2026

Distributional Point Values for Borel and Symmetric Borel Derivatives

Borel and symmetric Borel derivatives are generalized derivatives defined through local averages of difference quotients. Distributional point values, in the sense of {\L}ojasiewicz and its symmetric variants, are a classical way of describing the local value of a distribution. This paper connects these two ideas. Writing $T_f$ for the regular distribution generated by $f$, we prove that finite first and second symmetric Borel derivatives give symmetric distributional point values of $T_f'$ and $T_f''$, respectively. For the first symmetric derivative, Borel smoothness is used as a sufficient condition to pass from the symmetric point value to the full {\L}ojasiewicz point value. We also prove that the one-sided Borel derivatives determine the right and left distributional point values of $T_f'$, and that the ordinary Borel derivative gives the full point value when the two one-sided averages agree. Examples show why the second-order symmetric result cannot be strengthened automatically.

math.GM↗

arXiv2026

Pairwise Separation and Compactness in Soft Bitopological Spaces via Soft Elements

Let $F\colon A\to\mathcal P(X)$ be a soft set, and let $SE(F)$ be the set of all maps $a\colon A\to X$ such that $a(t)\in F(t)$, for every $t\in A$. If $\tau$ is a soft topology on $F$, the sets $SE(H)$, where $H\in\tau$, form a basis for an ordinary topology $\tau^{\mathrm e}$ on $SE(F)$, called the \emph{induced soft-element topology}. Hence, two soft topologies on $F$ induce a bitopological space on $SE(F)$. We define pairwise soft $T_0$, $T_1$, and $T_2$ axioms using soft elements and prove that they are equivalent to the corresponding pairwise axioms of the induced soft-element bitopological space. For canonical soft bitopologies, these properties are also equivalent to the same axioms in every component bitopological space. We also study pairwise soft compactness. For canonical soft bitopological spaces, pairwise soft compactness implies pairwise compactness of every component space, and the converse holds when the parameter set is finite. An example with infinitely many parameters shows that the finiteness condition is needed.

math.GN↗

arXiv2024

EFECT: A Method to Quantify the Reproducibility of Stochastic Simulations

Reproducibility is a fundamental requirement for validating scientific claims in computational research. Stochastic computational models are widely used in fields such as systems biology, financial modeling and environmental sciences. However, achieving reproducibility in stochastic simulations remains challenging, as each run can produce different outcomes. Existing infrastructure and software tools do not address independent reproduction of simulation results. Without independent reproducibility, results and conclusions lack credibility, as it remains unclear whether observed findings reflect model behavior or are artifacts of stochastic variation or an underpowered study. To bridge this gap, we introduce the Empirical Characteristic Function Equality Convergence Test (EFECT), a data-driven method to quantify the reproducibility of stochastic simulation results. EFECT employs empirical characteristic functions to compare reported results with those independently generated by assessing distributional inequality, termed EFECT error. Additionally, we establish the EFECT convergence point, a quantitative metric for determining the required number of simulation runs to achieve an EFECT error value of a priori significance. EFECT is applicable to all bounded, real-valued outputs, regardless of the model type or simulation method that produced them. We tested EFECT with over 40 use cases to demonstrate its broad applicability and effectiveness. EFECT standardizes stochastic simulation reproducibility, establishing a workflow that guarantees reliable results, supporting a wide range of stakeholders, and thereby enhancing validation of stochastic simulation studies, across a model's lifecycle. To promote standardization, we are developing the open-source software library libSSR in multiple programming languages for easy integration of EFECT.

stat.ME↗