-
Statistical Geometry and Information Dynamics on Hyperspherical Surfaces
Authors:
Masoud Ataei
Abstract:
We study the statistical geometry of random chords on n-dimensional spheres by deriving explicit analytical expressions for the chord length distribution and its associated structural properties. A critical threshold emerges at dimension 19, marking the transition from curvature-dominated variability to high-dimensional concentration, where interpoint distances become nearly deterministic and prob…
▽ More
We study the statistical geometry of random chords on n-dimensional spheres by deriving explicit analytical expressions for the chord length distribution and its associated structural properties. A critical threshold emerges at dimension 19, marking the transition from curvature-dominated variability to high-dimensional concentration, where interpoint distances become nearly deterministic and probabilistic diversity collapses into geometric uniformity. We further derive a closed-form expression for the Fisher information, showing that it is inversely proportional to the square of the radius and varies non-monotonically with dimension. Notably, it attains a minimum at dimension 7, coinciding with the dimension at which the volume of the unit sphere is maximized. This reflects a unique regime of maximal spatial diffuseness and minimal inferential sensitivity, arising from the interplay between weakening curvature and still-latent concentration. The alignment between volumetric and statistical extrema reveals a deeper duality between geometry and information. We also analyze the characteristic function, which exhibits a dichotomy: in even dimensions, it takes rational-exponential form, while in odd dimensions it involves Bessel and Struve functions. This distinction reflects differences in harmonic structure and boundary regularity across dimensions. Together, these findings show how curvature and dimension jointly regulate statistical efficiency on hyperspherical domains, with implications for geometric inference and high-dimensional learning.
△ Less
Submitted 23 June, 2025;
originally announced June 2025.
-
Mathematical Programming Models for Exact and Interpretable Formulation of Neural Networks
Authors:
Masoud Ataei,
Edrin Hasaj,
Jacob Gipp,
Sepideh Forouzi
Abstract:
This paper presents a unified mixed-integer programming framework for training sparse and interpretable neural networks. We develop exact formulations for both fully connected and convolutional architectures by modeling nonlinearities such as ReLU activations through binary variables and encoding structural sparsity via filter- and layer-level pruning constraints. The resulting models integrate pa…
▽ More
This paper presents a unified mixed-integer programming framework for training sparse and interpretable neural networks. We develop exact formulations for both fully connected and convolutional architectures by modeling nonlinearities such as ReLU activations through binary variables and encoding structural sparsity via filter- and layer-level pruning constraints. The resulting models integrate parameter learning, architecture selection, and structural regularization within a single optimization problem, yielding globally optimal solutions with respect to a composite objective that balances prediction accuracy, weight sparsity, and architectural compactness. The mixed-integer programming formulation accommodates piecewise-linear operations, including max pooling and activation gating, and permits precise enforcement of logic-based or domain-specific constraints. By incorporating considerations of interpretability, sparsity, and verifiability directly into the training process, the proposed framework bridges a range of research areas including explainable artificial intelligence, symbolic reasoning, and formal verification.
△ Less
Submitted 19 April, 2025;
originally announced April 2025.
-
A Deep Learning Algorithm for Piecewise Linear Interface Construction (PLIC)
Authors:
Mohammadmehdi Ataei,
Erfan Pirmorad,
Franco Costa,
Sejin Han,
Chul B Park,
Markus Bussmann
Abstract:
Piecewise Linear Interface Construction (PLIC) is frequently used to geometrically reconstruct fluid interfaces in Computational Fluid Dynamics (CFD) modeling of two-phase flows. PLIC reconstructs interfaces from a scalar field that represents the volume fraction of each phase in each computational cell. Given the volume fraction and interface normal, the location of a linear interface is uniquely…
▽ More
Piecewise Linear Interface Construction (PLIC) is frequently used to geometrically reconstruct fluid interfaces in Computational Fluid Dynamics (CFD) modeling of two-phase flows. PLIC reconstructs interfaces from a scalar field that represents the volume fraction of each phase in each computational cell. Given the volume fraction and interface normal, the location of a linear interface is uniquely defined. For a cubic computational cell (3D), the position of the planar interface is determined by intersecting the cube with a plane, such that the volume of the resulting truncated polyhedron cell is equal to the volume fraction. Yet it is geometrically complex to find the exact position of the plane, and it involves calculations that can be a computational bottleneck of many CFD models. However, while the forward problem of 3D PLIC is challenging, the inverse problem, of finding the volume of the truncated polyhedron cell given a defined plane, is simple. In this work, we propose a deep learning model for the solution to the forward problem of PLIC by only making use of its inverse problem. The proposed model is up to several orders of magnitude faster than traditional schemes, which significantly reduces the computational bottleneck of PLIC in CFD simulations.
△ Less
Submitted 27 July, 2021;
originally announced July 2021.
-
Designing Sequence with Minimum PSL Using Chebyshev Distance and its Application for Chaotic MIMO Radar Waveform Design
Authors:
Hamid Esmaeili Najafabadi,
Mohammad Ataei,
Mohamad F. Sabahi
Abstract:
Controlling peak side-lobe level (PSL) is of great importance in high-resolution applications of multiple-input multiple-output (MIMO) radars. In this paper, designing sequences with good autocorrelation properties are studied. The PSL of the autocorrelation is regarded as the main merit and is optimized through newly introduced cyclic algorithms, namely; PSL Minimization Quadratic Approach (PMQA)…
▽ More
Controlling peak side-lobe level (PSL) is of great importance in high-resolution applications of multiple-input multiple-output (MIMO) radars. In this paper, designing sequences with good autocorrelation properties are studied. The PSL of the autocorrelation is regarded as the main merit and is optimized through newly introduced cyclic algorithms, namely; PSL Minimization Quadratic Approach (PMQA), PSL Minimization Algorithm, the smallest Rectangular (PMAR), and PSL Optimization Cyclic Algorithm (POCA). It is revealed that minimizing PSL results in better sequences in terms of autocorrelation side-lobes when compared with traditional integrated side-lobe level (ISL) minimization. In order to improve the performance of these algorithms, fast-randomized Singular Value Decomposition (SVD) is utilized. To achieve waveform design for MIMO radars, this algorithm is applied to the waveform generated from a modified Bernoulli chaotic system. The numerical experiments confirm the superiority of the newly developed algorithms compared to high-performance algorithms in mono-static and MIMO radars.
△ Less
Submitted 7 October, 2020;
originally announced October 2020.
-
NPLIC: A Machine Learning Approach to Piecewise Linear Interface Construction
Authors:
Mohammadmehdi Ataei,
Markus Bussmann,
Vahid Shaayegan,
Franco Costa,
Sejin Han,
Chul B. Park
Abstract:
Volume of fluid (VOF) methods are extensively used to track fluid interfaces in numerical simulations, and many VOF algorithms require that the interface be reconstructed geometrically. For this purpose, the Piecewise Linear Interface Construction (PLIC) technique is most frequently used, which for reasons of geometric complexity can be slow and difficult to implement. Here, we propose an alternat…
▽ More
Volume of fluid (VOF) methods are extensively used to track fluid interfaces in numerical simulations, and many VOF algorithms require that the interface be reconstructed geometrically. For this purpose, the Piecewise Linear Interface Construction (PLIC) technique is most frequently used, which for reasons of geometric complexity can be slow and difficult to implement. Here, we propose an alternative neural network based method called NPLIC to perform PLIC calculations. The model is trained on a large synthetic dataset of PLIC solutions for square, cubic, triangular, and tetrahedral meshes. We show that this data-driven approach results in accurate calculations at a fraction of the usual computational cost, and a single neural network system can be used for interface reconstruction of different mesh types.
△ Less
Submitted 24 January, 2021; v1 submitted 26 June, 2020;
originally announced July 2020.
-
A Geometrical Branch-and-Price (GEOM-BP) Algorithm for Big Bin Packing Problems
Authors:
Masoud Ataei,
Shengyuan Chen
Abstract:
Bin packing problem examines the minimum number of identical bins needed to pack a set of items of various weights. This problem arises in various areas of the artificial intelligence demanding derivation of the exact solutions in the shortest amount of time. Employing branch-and-bound and column generation techniques to derive the exact solutions to this problem, usually requires designation of p…
▽ More
Bin packing problem examines the minimum number of identical bins needed to pack a set of items of various weights. This problem arises in various areas of the artificial intelligence demanding derivation of the exact solutions in the shortest amount of time. Employing branch-and-bound and column generation techniques to derive the exact solutions to this problem, usually requires designation of problem-specific branching rules compatible with the nature of the polluted pricing sub-problem of column generation. In this work, we present a new approach to deal with the forbidden bins which handles two-dimensional knapsack problems. Furthermore, a set of diving criteria are introduced which emphasize the importance of the geometrical features of the bins. It is further shown that efficiency of the column generation technique could significantly get improved using an implicit sectional pricing scheme. The proposed algorithm outperforms the current state-of-the-art algorithms in number of the benchmark instances solved in less than one minute.
△ Less
Submitted 1 September, 2019;
originally announced September 2019.
-
Description of Galois unipotent extensions
Authors:
Masoud Ataei,
Jan Minac,
Nguyen Duy Tan
Abstract:
Given an arbitrary field $F$, we describe all Galois extensions $L/F$ whose Galois groups are isomorphic to the group of upper triangular unipotent 4-by-4 matrices with entries in the field of two elements.
Given an arbitrary field $F$, we describe all Galois extensions $L/F$ whose Galois groups are isomorphic to the group of upper triangular unipotent 4-by-4 matrices with entries in the field of two elements.
△ Less
Submitted 16 September, 2016; v1 submitted 22 August, 2015;
originally announced August 2015.
-
Minimal blocking sets in PG(n,2) and covering groups by subgroups
Authors:
Alireza Abdollahi,
M. J. Ataei,
A. Mohammadi Hassanabadi
Abstract:
In this paper we prove that a set of points $B$ of PG(n,2) is a minimal blocking set if and only if $<B>=PG(d,2)$ with $d$ odd and $B$ is a set of $d+2$ points of $PG(d,2)$ no $d+1$ of them in the same hyperplane. As a corollary to the latter result we show that if $G$ is a finite 2-group and $n$ is a positive integer, then $G$ admits a $\mathfrak{C}_{n+1}$-cover if and only if $n$ is even and…
▽ More
In this paper we prove that a set of points $B$ of PG(n,2) is a minimal blocking set if and only if $<B>=PG(d,2)$ with $d$ odd and $B$ is a set of $d+2$ points of $PG(d,2)$ no $d+1$ of them in the same hyperplane. As a corollary to the latter result we show that if $G$ is a finite 2-group and $n$ is a positive integer, then $G$ admits a $\mathfrak{C}_{n+1}$-cover if and only if $n$ is even and $G\cong (C_2)^{n}$, where by a $\mathfrak{C}_m$-cover for a group $H$ we mean a set $\mathcal{C}$ of size $m$ of maximal subgroups of $H$ whose set-theoretic union is the whole $H$ and no proper subset of $\mathcal{C}$ has the latter property and the intersection of the maximal subgroups is core-free. Also for all $n<10$ we find all pairs $(m,p)$ ($m>0$ an integer and $p$ a prime number) for which there is a blocking set $B$ of size $n$ in $PG(m,p)$ such that $<B>=PG(m,p)$.
△ Less
Submitted 16 August, 2007;
originally announced August 2007.
