-
Some results on perfect codes in Cayley sum graphs
Authors:
Masoumeh Koohestani,
Doost Ali Mojdeh,
Mohsen Ghasemi,
Hassan Khodaiemehr
Abstract:
We establish a necessary and sufficient condition for a normal subgroup of a finite group to be a subgroup perfect code.
We establish a necessary and sufficient condition for a normal subgroup of a finite group to be a subgroup perfect code.
△ Less
Submitted 6 May, 2025;
originally announced May 2025.
-
Sensor Scheduling in Intrusion Detection Games with Uncertain Payoffs
Authors:
Jayanth Bhargav,
Shreyas Sundaram,
Mahsa Ghasemi
Abstract:
We study the problem of sensor scheduling for an intrusion detection task. We model this as a two-player zero-sum game over a graph, where the defender (Player 1) seeks to identify the optimal strategy for scheduling sensor orientations to minimize the probability of missed detection at minimal cost, while the intruder (Player 2) aims to identify the optimal path selection strategy to maximize mis…
▽ More
We study the problem of sensor scheduling for an intrusion detection task. We model this as a two-player zero-sum game over a graph, where the defender (Player 1) seeks to identify the optimal strategy for scheduling sensor orientations to minimize the probability of missed detection at minimal cost, while the intruder (Player 2) aims to identify the optimal path selection strategy to maximize missed detection probability at minimal cost. The defender's strategy space grows exponentially with the number of sensors, making direct computation of the Nash Equilibrium (NE) strategies computationally expensive. To tackle this, we propose a distributed variant of the Weighted Majority algorithm that exploits the structure of the game's payoff matrix, enabling efficient computation of the NE strategies with provable convergence guarantees. Next, we consider a more challenging scenario where the defender lacks knowledge of the true sensor models and, consequently, the game's payoff matrix. For this setting, we develop online learning algorithms that leverage bandit feedback from sensors to estimate the NE strategies. By building on existing results from perturbation theory and online learning in matrix games, we derive high-probability order-optimal regret bounds for our algorithms. Finally, through simulations, we demonstrate the empirical performance of our proposed algorithms in both known and unknown payoff scenarios.
△ Less
Submitted 20 April, 2025;
originally announced April 2025.
-
Robust Information Selection for Hypothesis Testing with Misclassification Penalties
Authors:
Jayanth Bhargav,
Shreyas Sundaram,
Mahsa Ghasemi
Abstract:
We study the problem of robust information selection for a Bayesian hypothesis testing / classification task, where the goal is to identify the true state of the world from a finite set of hypotheses based on observations from the selected information sources. We introduce a novel misclassification penalty framework, which enables non-uniform treatment of different misclassification events. Extend…
▽ More
We study the problem of robust information selection for a Bayesian hypothesis testing / classification task, where the goal is to identify the true state of the world from a finite set of hypotheses based on observations from the selected information sources. We introduce a novel misclassification penalty framework, which enables non-uniform treatment of different misclassification events. Extending the classical subset selection framework, we study the problem of selecting a subset of sources that minimize the maximum penalty of misclassification under a limited budget, despite deletions or failures of a subset of the selected sources. We characterize the curvature properties of the objective function and propose an efficient greedy algorithm with performance guarantees. Next, we highlight certain limitations of optimizing for the maximum penalty metric and propose a submodular surrogate metric to guide the selection of the information set. We propose a greedy algorithm with near-optimality guarantees for optimizing the surrogate metric. Finally, we empirically demonstrate the performance of our proposed algorithms in several instances of the information set selection problem.
△ Less
Submitted 20 February, 2025; v1 submitted 20 February, 2025;
originally announced February 2025.
-
Optimizing Perishable and Non-Perishable Product Assignment to Packaging Lines in a Sustainable Manufacturing System: An AUGMECON2VIKOR Algorithm
Authors:
Reza Shahabi-Shahmiri,
Reza Tavakkoli-Moghaddam,
Zdenek Hanzalek,
Mohammad Ghasemi,
Seyed-Ali Mirnezami,
Mohammad Rohaninejad
Abstract:
Identifying appropriate manufacturing systems for products can be considered a pivotal manufacturing task contributing to the optimization of operational and planning activities. It has gained importance in the food industry due to the distinct constraints and considerations posed by perishable and non-perishable items in this problem. Hence, this study proposes a new mathematical model according…
▽ More
Identifying appropriate manufacturing systems for products can be considered a pivotal manufacturing task contributing to the optimization of operational and planning activities. It has gained importance in the food industry due to the distinct constraints and considerations posed by perishable and non-perishable items in this problem. Hence, this study proposes a new mathematical model according to knowledge discovery as well as an assignment model to optimize manufacturing systems for perishable, non-perishable, and hybrid products tailored to meet their unique characteristics. In the presented model, three objective functions are taken into account: (1) minimizing production costs by assigning the products to the right set of manufacturing systems, (2) maximizing the product quality by assigning the products to the systems, and (3) minimizing total CO2 emissions of the machines. A numerical example is utilized to evaluate the performance of AUGMECON2VIKOR compared to AUGMECON2. The results show that AUGMECON2VIKOR obtains superior Pareto solutions across all objective functions. Furthermore, the sensitivity analysis explores the positive green impacts, influencing both cost and quality.
△ Less
Submitted 29 May, 2025; v1 submitted 29 October, 2024;
originally announced October 2024.
-
Optimal Sensor and Actuator Selection for Factored Markov Decision Processes: Complexity, Approximability and Algorithms
Authors:
Jayanth Bhargav,
Mahsa Ghasemi,
Shreyas Sundaram
Abstract:
Factored Markov Decision Processes (fMDPs) are a class of Markov Decision Processes (MDPs) in which the states (and actions) can be factored into a set of state (and action) variables and can be encoded compactly using a factored representation. In this paper, we consider a setting where the state of the fMDP is not directly observable, and the agent relies on a set of potential sensors to gather…
▽ More
Factored Markov Decision Processes (fMDPs) are a class of Markov Decision Processes (MDPs) in which the states (and actions) can be factored into a set of state (and action) variables and can be encoded compactly using a factored representation. In this paper, we consider a setting where the state of the fMDP is not directly observable, and the agent relies on a set of potential sensors to gather information. Each sensor has a selection cost and the designer must select a subset of sensors under a limited budget. We formulate the problem of selecting a set of sensors for fMDPs (under a budget) to maximize the infinite-horizon discounted return provided by the optimal policy. We show the fundamental result that it is NP-hard to approximate this problem to within any non-trivial factor. Our inapproximability results for optimal sensor selection also extend to a general class of Partially Observable MDPs (POMDPs). We then study the dual problem of budgeted actuator selection (at design-time) to maximize the expected return under the optimal policy. Again, we show that it is NP-hard to approximate this problem to within any non-trivial factor. Furthermore, with explicit examples, we show the failure of greedy algorithms for both the sensor and actuator selection problems and provide insights into the factors that cause these problems to be challenging. Despite this, through extensive simulations, we show the practical effectiveness and near-optimal performance of the greedy algorithm for actuator and sensor selection in many real-world and randomly generated instances.
△ Less
Submitted 25 February, 2025; v1 submitted 9 July, 2024;
originally announced July 2024.
-
Submodular Information Selection for Hypothesis Testing with Misclassification Penalties
Authors:
Jayanth Bhargav,
Mahsa Ghasemi,
Shreyas Sundaram
Abstract:
We consider the problem of selecting an optimal subset of information sources for a hypothesis testing/classification task where the goal is to identify the true state of the world from a finite set of hypotheses, based on finite observation samples from the sources. In order to characterize the learning performance, we propose a misclassification penalty framework, which enables nonuniform treatm…
▽ More
We consider the problem of selecting an optimal subset of information sources for a hypothesis testing/classification task where the goal is to identify the true state of the world from a finite set of hypotheses, based on finite observation samples from the sources. In order to characterize the learning performance, we propose a misclassification penalty framework, which enables nonuniform treatment of different misclassification errors. In a centralized Bayesian learning setting, we study two variants of the subset selection problem: (i) selecting a minimum cost information set to ensure that the maximum penalty of misclassifying the true hypothesis is below a desired bound and (ii) selecting an optimal information set under a limited budget to minimize the maximum penalty of misclassifying the true hypothesis. Under certain assumptions, we prove that the objective (or constraints) of these combinatorial optimization problems are weak (or approximate) submodular, and establish high-probability performance guarantees for greedy algorithms. Further, we propose an alternate metric for information set selection which is based on the total penalty of misclassification. We prove that this metric is submodular and establish near-optimal guarantees for the greedy algorithms for both the information set selection problems. Finally, we present numerical simulations to validate our theoretical results over several randomly generated instances.
△ Less
Submitted 27 June, 2024; v1 submitted 17 May, 2024;
originally announced May 2024.
-
Jordan derivations on the $θ-$Lau products of Banach algebras
Authors:
M. Ghasemi,
M. J. Mehdipour
Abstract:
In this paper, we study Jordan derivation-like maps on the $θ-$Lau products of algebras. We characterize them and prove that under certain condition any Jordan derivation-like maps on the $θ-$Lau products is a derivation-like map. Moreover, we investigate the concept of centralizing for Jordan derivation-like maps on the $θ-$Lau products of algebras.
In this paper, we study Jordan derivation-like maps on the $θ-$Lau products of algebras. We characterize them and prove that under certain condition any Jordan derivation-like maps on the $θ-$Lau products is a derivation-like map. Moreover, we investigate the concept of centralizing for Jordan derivation-like maps on the $θ-$Lau products of algebras.
△ Less
Submitted 30 January, 2023;
originally announced January 2023.
-
Tetravalent s-transitive graphs of order $6p^2$
Authors:
Mohsen Ghasemi,
AliAsghar Talebi,
Narges Mehdipoor
Abstract:
Let $s$ be a positive integer. A graph is $s$-transitive if its automorphism group is transitive on s-arcs but not on $(s + 1)$-arcs. In this paper, we study all tetravalent s-transitive graphs of order $6p^2$.
Let $s$ be a positive integer. A graph is $s$-transitive if its automorphism group is transitive on s-arcs but not on $(s + 1)$-arcs. In this paper, we study all tetravalent s-transitive graphs of order $6p^2$.
△ Less
Submitted 1 October, 2022;
originally announced October 2022.
-
A lower bound of the energy of non-singular graphs in terms of average degree
Authors:
Saieed Akbari,
Hossein Dabirian,
S. Mahmood Ghasemi
Abstract:
Let $G$ be a graph of order $n$ with adjacency matrix $A(G)$. The \textit{energy} of graph $G$, denoted by $\mathcal{E}(G)$, is defined as the sum of absolute value of eigenvalues of $A(G)$. It was conjectured that if $A(G)$ is non-singular, then $\mathcal{E}(G)\geqΔ(G)+δ(G)$. In this paper we propose a stronger conjecture as for $n \geq 5$, $\mathcal{E}(G)\geq n-1+ d$, where $d$ is the average de…
▽ More
Let $G$ be a graph of order $n$ with adjacency matrix $A(G)$. The \textit{energy} of graph $G$, denoted by $\mathcal{E}(G)$, is defined as the sum of absolute value of eigenvalues of $A(G)$. It was conjectured that if $A(G)$ is non-singular, then $\mathcal{E}(G)\geqΔ(G)+δ(G)$. In this paper we propose a stronger conjecture as for $n \geq 5$, $\mathcal{E}(G)\geq n-1+ d$, where $d$ is the average degree of $G$. Here, we show that conjecture holds for bipartite graphs, planar graphs and for the graphs with $d \leq n-2\ln n -3$
△ Less
Submitted 10 July, 2022;
originally announced July 2022.
-
Tetravalent half-arc-transitive graphs of order $12p$
Authors:
M. Ghasemi,
A. A. Talebi,
N. Mehdipoor
Abstract:
A graph is half-arc-transitive if its automorphism group acts transitively on its vertex set, edge set, but not its arc set. In this paper, we study all tetravalent half-arc-transitive graphs of order $12p$.
A graph is half-arc-transitive if its automorphism group acts transitively on its vertex set, edge set, but not its arc set. In this paper, we study all tetravalent half-arc-transitive graphs of order $12p$.
△ Less
Submitted 30 May, 2022;
originally announced May 2022.
-
Tetravalent vertex-transitive graphs of order $6p$
Authors:
Majid Arezoomand,
Mohsen Ghasemi,
Mohammad A. Iranmanesh
Abstract:
A graph is vertex-transitive if its automorphism group acts transitively on vertices of the graph. A vertex-transitive graph is a Cayley graph if its automorphism group contains a subgroup acting regularly on its vertices. In this paper, the tetravalent vertex-transitive non-Cayley graphs of order $6p$ are classified for each prime $p$.
A graph is vertex-transitive if its automorphism group acts transitively on vertices of the graph. A vertex-transitive graph is a Cayley graph if its automorphism group contains a subgroup acting regularly on its vertices. In this paper, the tetravalent vertex-transitive non-Cayley graphs of order $6p$ are classified for each prime $p$.
△ Less
Submitted 8 March, 2022;
originally announced March 2022.
-
A Barrier Pair Method for Safe Human-Robot Shared Autonomy
Authors:
Binghan He,
Mahsa Ghasemi,
Ufuk Topcu,
Luis Sentis
Abstract:
Shared autonomy provides a framework where a human and an automated system, such as a robot, jointly control the system's behavior, enabling an effective solution for various applications, including human-robot interaction. However, a challenging problem in shared autonomy is safety because the human input may be unknown and unpredictable, which affects the robot's safety constraints. If the human…
▽ More
Shared autonomy provides a framework where a human and an automated system, such as a robot, jointly control the system's behavior, enabling an effective solution for various applications, including human-robot interaction. However, a challenging problem in shared autonomy is safety because the human input may be unknown and unpredictable, which affects the robot's safety constraints. If the human input is a force applied through physical contact with the robot, it also alters the robot's behavior to maintain safety. We address the safety issue of shared autonomy in real-time applications by proposing a two-layer control framework. In the first layer, we use the history of human input measurements to infer what the human wants the robot to do and define the robot's safety constraints according to that inference. In the second layer, we formulate a rapidly-exploring random tree of barrier pairs, with each barrier pair composed of a barrier function and a controller. Using the controllers in these barrier pairs, the robot is able to maintain its safe operation under the intervention from the human input. This proposed control framework allows the robot to assist the human while preventing them from encountering safety issues. We demonstrate the proposed control framework on a simulation of a two-linkage manipulator robot.
△ Less
Submitted 1 December, 2021;
originally announced December 2021.
-
A family of tetravalent one-regular graphs
Authors:
Mohsen Ghasemi,
Rezvan Varmazyar
Abstract:
A graph is one-regular if its automorphism group acts regularly on the set of its arcs. In this paper, $4$-valent one-regular graphs of order $5p^2$, where $p$ is a prime, are classified
A graph is one-regular if its automorphism group acts regularly on the set of its arcs. In this paper, $4$-valent one-regular graphs of order $5p^2$, where $p$ is a prime, are classified
△ Less
Submitted 9 August, 2021;
originally announced August 2021.
-
A note on codegrees and Taketa's inequality
Authors:
Mahtab Delfani,
Mohsen Ghasemi,
Somayeh Hekmatara
Abstract:
Let $G$ be a finite group and ${\rm cd}(G)$ will be the set of the degrees of the complex irreducible characters of $G$. Also let ${\rm cod}(G)$ be the set of codegrees of the irreducible characters of $G$. The Taketa problem conjectures if $G$ is solvable, then ${\rm dl}(G) \leq |{\rm cd}(G)|$, where ${\rm dl}(G)$ is the derived length of $G$. In this note, we show that…
▽ More
Let $G$ be a finite group and ${\rm cd}(G)$ will be the set of the degrees of the complex irreducible characters of $G$. Also let ${\rm cod}(G)$ be the set of codegrees of the irreducible characters of $G$. The Taketa problem conjectures if $G$ is solvable, then ${\rm dl}(G) \leq |{\rm cd}(G)|$, where ${\rm dl}(G)$ is the derived length of $G$. In this note, we show that ${\rm dl}(G) \leq |{\rm cod}(G)|$ in some cases and we conjecture that this inequality holds if $G$ is a finite solvable group.
△ Less
Submitted 5 July, 2021; v1 submitted 1 July, 2021;
originally announced July 2021.
-
Equivalent version of Huppert's conjecture for $K_3$-groups
Authors:
Mohsen Ghasemi,
Somayeh Hekmatara
Abstract:
In this note we verify the equivalent version of Huppert's conjecture for $K_3$-groups.
In this note we verify the equivalent version of Huppert's conjecture for $K_3$-groups.
△ Less
Submitted 10 April, 2021;
originally announced April 2021.
-
The Truncated Moment Problem for Unital Commutative R-Algebras
Authors:
Raul E. Curto,
Mehdi Ghasemi,
Maria Infusino,
Salma Kuhlmann
Abstract:
We investigate when a linear functional $L$ defined on a linear subspace $B$ of a unital commutative real algebra $A$ admits an integral representation w.r.t. a positive Radon measure supported on a closed subset $K$ of the character space of $A$. We provide a criterion for the existence of such a representation for $L$ when $A$ is equipped with a submultiplicative seminorm. We then build on this…
▽ More
We investigate when a linear functional $L$ defined on a linear subspace $B$ of a unital commutative real algebra $A$ admits an integral representation w.r.t. a positive Radon measure supported on a closed subset $K$ of the character space of $A$. We provide a criterion for the existence of such a representation for $L$ when $A$ is equipped with a submultiplicative seminorm. We then build on this result to prove our main theorem for $A$ not necessarily equipped with a topology. This allows us to extend well-known classical results on truncated moment problems.
△ Less
Submitted 30 January, 2024; v1 submitted 10 September, 2020;
originally announced September 2020.
-
Super connectivity of lexicographic product graphs
Authors:
Khalid Kamyab,
Mohsen Ghasemi,
Rezvan Varmazyar
Abstract:
For a graph $G$, $k(G)$ denotes its connectivity. A graph is super connected if every minimum vertex-cut isolates a vertex. Also $k_{1}$-connectivity of a connected graph is the minimum number of vertices whose deletion gives a disconnected graph without isolated vertices. This paper provides bounds for the super connectivity and $k_{1}$-connectivity of the lexicographic product of two graphs.
For a graph $G$, $k(G)$ denotes its connectivity. A graph is super connected if every minimum vertex-cut isolates a vertex. Also $k_{1}$-connectivity of a connected graph is the minimum number of vertices whose deletion gives a disconnected graph without isolated vertices. This paper provides bounds for the super connectivity and $k_{1}$-connectivity of the lexicographic product of two graphs.
△ Less
Submitted 10 September, 2020;
originally announced September 2020.
-
Efficient Parameter Selection for Scaled Trust-Region Newton Algorithm in Solving Bound-constrained Nonlinear Systems
Authors:
Hengameh Mirhajianmoghadam,
S. Mahmood Ghasemi
Abstract:
We investigate the problem of parameter selection for the scaled trust-region Newton (STRN) algorithm in solving bound-constrained nonlinear equations. Numerical experiments were performed on a large number of test problems to find the best value range of parameters that give the least algorithm iterations and function evaluations. Our experiments demonstrate that, in general, there is no best par…
▽ More
We investigate the problem of parameter selection for the scaled trust-region Newton (STRN) algorithm in solving bound-constrained nonlinear equations. Numerical experiments were performed on a large number of test problems to find the best value range of parameters that give the least algorithm iterations and function evaluations. Our experiments demonstrate that, in general, there is no best parameter to be chosen and each specific value shows an efficient performance on some problems and weak performance on other ones. In this research, we report the performance of STRN for various choices of parameters and then suggest the most effective one.
△ Less
Submitted 9 September, 2020;
originally announced September 2020.
-
Normality of one-matching semi-Cayley graphs over finite abelian groups with maximum degree three
Authors:
Majid Arezoomand,
Mohsen Ghasemi
Abstract:
A graph $Γ$ is said to be a semi-Cayley graph over a group $G$ if it admits $G$ as a semiregular automorphism group with two orbits of equal size. We say that $Γ$ is normal if $G$ is a normal subgroup of ${\rm Aut}(Γ)$. We prove that every connected intransitive one-matching semi-Cayley graph, with maximum degree three, over a finite abelian group is normal and characterize all such non-normal gra…
▽ More
A graph $Γ$ is said to be a semi-Cayley graph over a group $G$ if it admits $G$ as a semiregular automorphism group with two orbits of equal size. We say that $Γ$ is normal if $G$ is a normal subgroup of ${\rm Aut}(Γ)$. We prove that every connected intransitive one-matching semi-Cayley graph, with maximum degree three, over a finite abelian group is normal and characterize all such non-normal graphs.
△ Less
Submitted 21 April, 2020;
originally announced April 2020.
-
Time adaptive numerical solution of a highly degenerate diffusion-reaction biofilm model based on regularisation
Authors:
M. Ghasemi,
H. J. Eberl
Abstract:
We consider a quasilinear degenerate diffusion-reaction system that describes biofilm formation. The model exhibits two non-linear effects: a power law degeneracy as one of the dependent variables vanishes and a super diffusion singularity as it approaches unity. Biologically relevant solutions are characterized by a moving interface and gradient blow-up there. Discretisation of the PDE in space b…
▽ More
We consider a quasilinear degenerate diffusion-reaction system that describes biofilm formation. The model exhibits two non-linear effects: a power law degeneracy as one of the dependent variables vanishes and a super diffusion singularity as it approaches unity. Biologically relevant solutions are characterized by a moving interface and gradient blow-up there. Discretisation of the PDE in space by a standard Finite Volume scheme leads to a singular system of ordinary differential equations. We show that regularisation of this system allows the application of error controlled adaptive integration techniques to solve the underlying PDE. This overcomes the major limitation of existing methods for this type of problem which work with fixed time-steps. We apply the resulting numerical method to study the effect of signal diffusion in the aqueous phase on quorum sensing induction in a biofilm colony.
△ Less
Submitted 22 May, 2017; v1 submitted 24 March, 2017;
originally announced March 2017.
-
Seminormed $\ast$-subalgebras of $\ell^{\infty}(X)$
Authors:
Mahmood Alaghmandan,
Mehdi Ghasemi
Abstract:
Arbitrary representations of a commutative unital ($\ast$-) $\mathbb{F}$-algebra $A$ as a subalgeba of $\mathbb{F}^X$ are considered, where $\mathbb{F}=\mathbb{C}$ or $\mathbb{R}$ and $X\neq\emptyset$. The Gelfand spectrum of $A$ is explained as a topological extension of $X$ where a seminorm on the image of $A$ in $\mathbb{F}^X$ is present. It is shown that among all seminormes, the $\sup$-norm i…
▽ More
Arbitrary representations of a commutative unital ($\ast$-) $\mathbb{F}$-algebra $A$ as a subalgeba of $\mathbb{F}^X$ are considered, where $\mathbb{F}=\mathbb{C}$ or $\mathbb{R}$ and $X\neq\emptyset$. The Gelfand spectrum of $A$ is explained as a topological extension of $X$ where a seminorm on the image of $A$ in $\mathbb{F}^X$ is present. It is shown that among all seminormes, the $\sup$-norm is of special importance which reduces $\mathbb{F}^X$ to $\ell^{\infty}(X)$. The Banach subalgebra of $\ell^{\infty}(X)$ of all $Σ$-measurable bounded functions on $X$, is studied for which $Σ$ is a $σ$-algebra of subsets of $X$. In particular, we study lifting of positive measures from $(X, Σ)$ to the Gelfand spectrum of this algebra and observe an unexpected shift in the support of measures. In the case that $Σ$ is the Borel algebra of a topology, we study the relation of the underlying topology of $X$ and the one of the Gelfand spectrum.
△ Less
Submitted 12 December, 2015; v1 submitted 3 October, 2015;
originally announced October 2015.
-
Moment problem for symmetric algebras of locally convex spaces
Authors:
M. Ghasemi,
M. Infusino,
S. Kuhlmann,
M. Marshall
Abstract:
It is explained how a locally convex (lc) topology $τ$ on a real vector space $V$ extends to a locally multiplicatively convex (lmc) topology $\overlineτ$ on the symmetric algebra $S(V)$. This allows the application of the results on lmc topological algebras obtained by Ghasemi, Kuhlmann and Marshall to obtain representations of $\overlineτ$-continuous linear functionals…
▽ More
It is explained how a locally convex (lc) topology $τ$ on a real vector space $V$ extends to a locally multiplicatively convex (lmc) topology $\overlineτ$ on the symmetric algebra $S(V)$. This allows the application of the results on lmc topological algebras obtained by Ghasemi, Kuhlmann and Marshall to obtain representations of $\overlineτ$-continuous linear functionals $L: S(V)\rightarrow \mathbb{R}$ satisfying $L(\sum S(V)^{2d}) \subseteq [0,\infty)$ (more generally, $L(M) \subseteq [0,\infty)$ for some $2d$-power module $M$ of $S(V)$) as integrals with respect to uniquely determined Radon measures $μ$ supported by special sorts of closed balls in the dual space of $V$. The result is simultaneously more general and less general than the corresponding result of Berezansky, Kondratiev and \v Sifrin. It is more general because $V$ can be any lc topological space (not just a separable nuclear space), the result holds for arbitrary $2d$-powers (not just squares), and no assumptions of quasi-analyticity are required. It is less general because it is necessary to assume that $L : S(V) \rightarrow \mathbb{R}$ is $\overlineτ$-continuous (not just continuous on each homogeneous part of $S(V)$).
△ Less
Submitted 27 March, 2018; v1 submitted 24 July, 2015;
originally announced July 2015.
-
Moment problem in infinitely many variables
Authors:
Mehdi Ghasemi,
Salma Kuhlmann,
Murray Marshall
Abstract:
The multivariate moment problem is investigated in the general context of the polynomial algebra $\mathbb{R}[x_i \mid i \in Ω]$ in an arbitrary number of variables $x_i$, $i\in Ω$. The results obtained are sharpest when the index set $Ω$ is countable. Extensions of Haviland's theorem [Amer. J. Math., 58 (1936) 164-168] and Nussbaum's theorem [Ark. Math., 6 (1965) 179-191] are proved. Lasserre's de…
▽ More
The multivariate moment problem is investigated in the general context of the polynomial algebra $\mathbb{R}[x_i \mid i \in Ω]$ in an arbitrary number of variables $x_i$, $i\in Ω$. The results obtained are sharpest when the index set $Ω$ is countable. Extensions of Haviland's theorem [Amer. J. Math., 58 (1936) 164-168] and Nussbaum's theorem [Ark. Math., 6 (1965) 179-191] are proved. Lasserre's description of the support of the measure in terms of the non-negativity of the linear functional on a quadratic module of $\mathbb{R}[x_i \mid i \in Ω]$ in [Trans. Amer. Math. Soc., 365 (2013) 2489-2504] is shown to remain valid in this more general situation. The main tool used in the paper is an extension of the localization method developed by the third author.
△ Less
Submitted 19 September, 2014;
originally announced September 2014.
-
Integral representation of linear functionals on function spaces
Authors:
Mehdi Ghasemi
Abstract:
Let $A$ be a vector space of real valued functions on a non-empty set $X$ and $L:A\rightarrow\mathbb{R}$ a linear functional. Given a $σ$-algebra $\mathcal{A}$, of subsets of $X$, we present a necessary condition for $L$ to be representable as an integral with respect to a measure $μ$ on $X$ such that elements of $\mathcal{A}$ are $μ$-measurable. This general result then is applied to the case whe…
▽ More
Let $A$ be a vector space of real valued functions on a non-empty set $X$ and $L:A\rightarrow\mathbb{R}$ a linear functional. Given a $σ$-algebra $\mathcal{A}$, of subsets of $X$, we present a necessary condition for $L$ to be representable as an integral with respect to a measure $μ$ on $X$ such that elements of $\mathcal{A}$ are $μ$-measurable. This general result then is applied to the case where $X$ carries a topological structure and $A$ is a family of continuous functions and naturally $\mathcal{A}$ is the Borel structure of $X$. As an application, short solutions for the full and truncated $K$-moment problem are presented. An analogue of Riesz-Markov-Kakutani representation theorem is given where $C_{c}(X)$ is replaced with whole $C(X)$. Then we consider the case where $A$ only consists of bounded functions and hence is equipped with $\sup$-norm.
△ Less
Submitted 27 March, 2014;
originally announced March 2014.
-
On the topologies induced by a cone
Authors:
Mehdi Ghasemi
Abstract:
Let $A$ be a commutative and unital $\mathbb{R}$-algebra, and $M$ be an Archimedean quadratic module of $A$. We define a submultiplicative seminorm $\|\cdot\|_M$ on $A$, associated with $M$. We show that the closure of $M$ with respect to $\|\cdot\|_M$-topology is equal to the closure of $M$ with respect to the finest locally convex topology on $A$. We also compute the closure of any cone in…
▽ More
Let $A$ be a commutative and unital $\mathbb{R}$-algebra, and $M$ be an Archimedean quadratic module of $A$. We define a submultiplicative seminorm $\|\cdot\|_M$ on $A$, associated with $M$. We show that the closure of $M$ with respect to $\|\cdot\|_M$-topology is equal to the closure of $M$ with respect to the finest locally convex topology on $A$. We also compute the closure of any cone in $\|\cdot\|_M$-topology. Then we omit the Archimedean condition and show that there still exists a lmc topology associated to $M$, pursuing the same properties.
△ Less
Submitted 27 March, 2014;
originally announced March 2014.
-
Lower Bounds for a Polynomial on a basic closed semialgebraic set using geometric programming
Authors:
Mehdi Ghasemi,
Murray Marshall
Abstract:
$f,g_1,...,g_m$ be elements of the polynomial ring $\mathbb{R}[x_1,...,x_n]$. The paper deals with the general problem of computing a lower bound for $f$ on the subset of $\mathbb{R}^n$ defined by the inequalities $g_i\ge 0$, $i=1,...,m…
▽ More
$f,g_1,...,g_m$ be elements of the polynomial ring $\mathbb{R}[x_1,...,x_n]$. The paper deals with the general problem of computing a lower bound for $f$ on the subset of $\mathbb{R}^n$ defined by the inequalities $g_i\ge 0$, $i=1,...,m$. The paper shows that there is an algorithm for computing such a lower bound, based on geometric programming, which applies in a large number of cases. The algorithm extends and generalizes earlier algorithms of Ghasemi and Marshall, dealing with the case $m=0$, and of Ghasemi, Lasserre and Marshall, dealing with the case $m=1$ and $g_1= M-(x_1^d+\cdots+x_n^d)$. Here, $d$ is required to be an even integer $d \ge \max\{2,°(f)\}$. The algorithm is implemented in a SAGE program developed by the first author. The bound obtained is typically not as good as the bound obtained using semidefinite programming, but it has the advantage that it is computable rapidly, even in cases where the bound obtained by semidefinite programming is not computable.
△ Less
Submitted 23 March, 2015; v1 submitted 14 November, 2013;
originally announced November 2013.
-
Lower bounds on the global minimum of a polynomial
Authors:
Mehdi Ghasemi,
Jean Bernard Lasserre,
Murray Marshall
Abstract:
We extend the method of Ghasemi and Marshall [SIAM. J. Opt. 22(2) (2012), pp 460-473], to obtain a lower bound $f_{{\rm gp},M}$ for a multivariate polynomial $f(x) \in \mathbb{R}[x]$ of degree $ \le 2d$ in $n$ variables $x = (x_1,...,x_n)$ on the closed ball ${x \in \mathbb{R}^n : \sum x_i^{2d} \le M}$, computable by geometric programming, for any real $M$. We compare this bound with the (global)…
▽ More
We extend the method of Ghasemi and Marshall [SIAM. J. Opt. 22(2) (2012), pp 460-473], to obtain a lower bound $f_{{\rm gp},M}$ for a multivariate polynomial $f(x) \in \mathbb{R}[x]$ of degree $ \le 2d$ in $n$ variables $x = (x_1,...,x_n)$ on the closed ball ${x \in \mathbb{R}^n : \sum x_i^{2d} \le M}$, computable by geometric programming, for any real $M$. We compare this bound with the (global) lower bound $f_{\rm gp}$ obtained by Ghasemi and Marshall, and also with the hierarchy of lower bounds, computable by semidefinite programming, obtained by Lasserre [SIAM J. Opt. 11(3) (2001) pp 796-816]. Our computations show that the bound $f_{{\rm gp},M}$ improves on the bound $f_{\rm gp}$ and that the computation of $f_{{\rm gp},M}$, like that of $f_{\rm gp}$, can be carried out quickly and easily for polynomials having of large number of variables and/or large degree, assuming a reasonable sparsity of coefficients, cases where the corresponding computation using semidefinite programming breaks down.
△ Less
Submitted 13 September, 2012;
originally announced September 2012.
-
Application of Jacobi's Representation Theorem to locally multiplicatively convex topological real Algebras
Authors:
Mehdi Ghasemi,
Salma Kuhlmann,
Murray Marshall
Abstract:
Let $A$ be a commutative unital $\mathbb{R}$-algebra and let $ρ$ be a seminorm on $A$ which satisfies $ρ(ab)\leqρ(a)ρ(b)$. We apply T. Jacobi's representation theorem to determine the closure of a $\sum A^{2d}$-module $S$ of $A$ in the topology induced by $ρ$, for any integer $d\ge1$. We show that this closure is exactly the set of all elements $a\in A$ such that $α(a)\ge0$ for every $ρ$-continuou…
▽ More
Let $A$ be a commutative unital $\mathbb{R}$-algebra and let $ρ$ be a seminorm on $A$ which satisfies $ρ(ab)\leqρ(a)ρ(b)$. We apply T. Jacobi's representation theorem to determine the closure of a $\sum A^{2d}$-module $S$ of $A$ in the topology induced by $ρ$, for any integer $d\ge1$. We show that this closure is exactly the set of all elements $a\in A$ such that $α(a)\ge0$ for every $ρ$-continuous $\mathbb{R}$-algebra homomorphism $α: A \rightarrow \mathbb{R}$ with $α(S)\subseteq[0,\infty)$, and that this result continues to hold when $ρ$ is replaced by any locally multiplicatively convex topology $τ$ on $A$. We obtain a representation of any linear functional $L : A \rightarrow \reals$ which is continuous with respect to any such $ρ$ or $τ$ and non-negative on $S$ as integration with respect to a unique Radon measure on the space of all real valued $\reals$-algebra homomorphisms on $A$, and we characterize the support of the measure obtained in this way.
△ Less
Submitted 13 September, 2012;
originally announced September 2012.
-
Closure of the cone of sums of 2d-powers in real topological algebras
Authors:
Mehdi Ghasemi,
Salma Kuhlmann
Abstract:
Let $R$ be a unitary commutative real algebra and $K\subseteq Hom(R,\mathbb{R})$, closed with respect to the product topology. We consider $R$ endowed with the topology $\mathcal{T}_K$, induced by the family of seminorms $ρ_α(a):=|α(a)|$, for $α\in K$ and $a\in R$. In case $K$ is compact, we also consider the topology induced by $\|a\|_K:=\sup_{α\in K}|α(a)|$ for $a\in R$. If $K$ is Zariski dense,…
▽ More
Let $R$ be a unitary commutative real algebra and $K\subseteq Hom(R,\mathbb{R})$, closed with respect to the product topology. We consider $R$ endowed with the topology $\mathcal{T}_K$, induced by the family of seminorms $ρ_α(a):=|α(a)|$, for $α\in K$ and $a\in R$. In case $K$ is compact, we also consider the topology induced by $\|a\|_K:=\sup_{α\in K}|α(a)|$ for $a\in R$. If $K$ is Zariski dense, then those topologies are Hausdorff. In this paper we prove that the closure of the cone of sums of 2d-powers, $\sum R^{2d}$, with respect to those two topologies is equal to $Psd(K):=\{a\in R:α(a)\geq 0,\textrm{for all}α\in K\}$. In particular, any continuous linear functional $L$ on the polynomial ring $R=\mathbb{R}[X_1,...,X_n]$ with $L(h^{2d})\ge0$ for each $h\in R$ is integration with respect to a positive Borel measure supported on $K$. Finally we give necessary and sufficient conditions to ensure the continuity of a linear functional with respect to those two topologies.
△ Less
Submitted 16 June, 2012; v1 submitted 13 October, 2011;
originally announced October 2011.
-
Closure of the cone of sums of 2d-powers in certain weighted $\ell_1$-seminorm topologies
Authors:
Mehdi Ghasemi,
Murray Marshall,
Sven Wagner
Abstract:
Berg, Christensen and Ressel prove that the closure of the cone of sums of squares in the ring of real polynomials in the topology induced by the $\ell_1$-norm is equal to the cone consisting of all polynomials which are non-negative on the hypercube $[-1,1]^n$. The result is deduced as a corollary of a general result which is valid for any commutative semigroup. In later work Berg and Maserick an…
▽ More
Berg, Christensen and Ressel prove that the closure of the cone of sums of squares in the ring of real polynomials in the topology induced by the $\ell_1$-norm is equal to the cone consisting of all polynomials which are non-negative on the hypercube $[-1,1]^n$. The result is deduced as a corollary of a general result which is valid for any commutative semigroup. In later work Berg and Maserick and also Berg, Christensen and Ressel establish an even more general result, for a commutative semigroup with involution, for the closure of the cone of sums of squares of symmetric elements in the weighted $\ell_1$-seminorm topology associated to an absolute value. In the present paper we give a new proof of these results which is based on Jacobi's representation theorem. At the same time, we use Jacobi's representation theorem to extend these results from sums of squares to sums of 2d-powers, proving, in particular, that for any integer $d>0$, the closure of the cone of sums of 2d-powers in the ring of real polynomials in the topology induced by the $\ell_1$-norm is equal the cone consisting of all polynomials which are non-negative on the hypercube $[-1,1]^n$.
△ Less
Submitted 31 August, 2011;
originally announced September 2011.
-
Lower bounds for polynomials using geometric programming
Authors:
Mehdi Ghasemi,
Murray Marshall
Abstract:
We make use of a result of Hurwitz and Reznick, and a consequence of this result due to Fidalgo and Kovacec, to determine a new sufficient condition for a polynomial $f\in\mathbb{R}[X_1,...,X_n]$ of even degree to be a sum of squares. This result generalizes a result of Lasserre and a result of Fidalgo and Kovacec, and it also generalizes the improvements of these results given in [6]. We apply th…
▽ More
We make use of a result of Hurwitz and Reznick, and a consequence of this result due to Fidalgo and Kovacec, to determine a new sufficient condition for a polynomial $f\in\mathbb{R}[X_1,...,X_n]$ of even degree to be a sum of squares. This result generalizes a result of Lasserre and a result of Fidalgo and Kovacec, and it also generalizes the improvements of these results given in [6]. We apply this result to obtain a new lower bound $f_{gp}$ for $f$, and we explain how $f_{gp}$ can be computed using geometric programming. The lower bound $f_{gp}$ is generally not as good as the lower bound $f_{sos}$ introduced by Lasserre and Parrilo and Sturmfels, which is computed using semidefinite programming, but a run time comparison shows that, in practice, the computation of $f_{gp}$ is much faster. The computation is simplest when the highest degree term of $f$ has the form $\sum_{i=1}^n a_iX_i^{2d}$, $a_i>0$, $i=1,...,n$. The lower bounds for $f$ established in [6] are obtained by evaluating the objective function of the geometric program at the appropriate feasible points.
△ Less
Submitted 8 June, 2011;
originally announced June 2011.
-
The Moment Problem for Continuous Positive Semidefinite Linear functionals
Authors:
Mehdi Ghasemi,
Salma Kuhlmann,
Ebrahim Samei
Abstract:
Let $τ$ be a locally convex topology on the countable dimensional polynomial $\reals$-algebra $\rx:=\reals[X_1,...,X_n]$. Let $K$ be a closed subset of $\reals^n$, and let $M:=M_{\{g_1, ... g_s\}}$ be a finitely generated quadratic module in $\rx$. We investigate the following question: When is the cone $\Pos(K)$ (of polynomials nonnegative on $K$) included in the closure of $M$? We give an interp…
▽ More
Let $τ$ be a locally convex topology on the countable dimensional polynomial $\reals$-algebra $\rx:=\reals[X_1,...,X_n]$. Let $K$ be a closed subset of $\reals^n$, and let $M:=M_{\{g_1, ... g_s\}}$ be a finitely generated quadratic module in $\rx$. We investigate the following question: When is the cone $\Pos(K)$ (of polynomials nonnegative on $K$) included in the closure of $M$? We give an interpretation of this inclusion with respect to representing continuous linear functionals by measures. We discuss several examples; we compute the closure of $M=\sos$ with respect to weighted norm-$p$ topologies. We show that this closure coincides with the cone $\Pos(K)$ where $K$ is a certain convex compact polyhedron.
△ Less
Submitted 14 June, 2012; v1 submitted 13 October, 2010;
originally announced October 2010.
