Zero-Avoiding Transducers, Length Separable Relations, and the Rational Asymmetric Partition Problem

2021 ◽  
pp. 1-26
Author(s):  
Stavros Konstantinidis ◽  
Mitja Mastnak ◽  
Juraj Šebej
Keyword(s):  
Open Problem ◽  
Partition Problem ◽  
Rational Relation ◽  
Recent Method ◽  
Asymmetric Partition

We consider the problem of partitioning effectively a given irreflexive (and possibly symmetric) rational relation [Formula: see text] into two asymmetric rational relations. This problem is motivated by a recent method of embedding an [Formula: see text]-independent language into one that is maximal [Formula: see text]-independent, where the method requires to use an asymmetric partition of [Formula: see text]. We solve the problem when [Formula: see text] is length-separable, which means that the following two subsets of [Formula: see text] are rational: the subset of word pairs [Formula: see text] where [Formula: see text]; and the subset of word pairs [Formula: see text] where [Formula: see text]. This property is satisfied by all recognizable, all left synchronous, and all right synchronous relations. We leave it as an open problem when [Formula: see text] is not length-separable. We also define zero-avoiding transducers for length-separable relations, which makes our partitioning solution constructive.

The Yukawa Potential Function and Reciprocal Univalent Function

2013 ◽  
Vol 3 (2) ◽  
pp. 197-202
Author(s):  
Amir Pishkoo ◽  
Maslina Darus
Keyword(s):  
Mathematical Model ◽  
Unit Disk ◽  
Potential Function ◽  
Univalent Function ◽  
Open Problem ◽  
Yukawa Potential ◽  
Reciprocal Theorem ◽  
Problem Statement ◽  
Fundamental Forces

This paper presents a mathematical model that provides analytic connection between four fundamental forces (interactions), by using modified reciprocal theorem,derived in the paper, as a convenient template. The essential premise of this work is to demonstrate that if we obtain with a form of the Yukawa potential function [as a meromorphic univalent function], we may eventually obtain the Coloumb Potential as a univalent function outside of the unit disk. Finally, we introduce the new problem statement about assigning Meijer's G-functions to Yukawa and Coloumb potentials as an open problem.

The d-Subtree Partition Problem

2010 ◽  
Vol 33 (4) ◽  
pp. 652-665
Author(s):  
Yan-Guang CAI ◽  
Yun ZHANG ◽  
Ji-Xin QIAN
Keyword(s):  
Partition Problem

scholarly journals Compact Differences of Composition Operators on Bergman Spaces Induced by Doubling Weights

2021 ◽  
Author(s):  
Bin Liu ◽  
Jouni Rättyä ◽  
Fanglei Wu
Keyword(s):  
Bergman Space ◽  
Open Problem ◽  
Lebesgue Space ◽  
Composition Operators ◽  
Bergman Spaces ◽  
Weighted Bergman Space ◽  
Carleson Measures ◽  
Doubling Weights ◽  
The Way

AbstractBounded and compact differences of two composition operators acting from the weighted Bergman space $$A^p_\omega $$ A ω p to the Lebesgue space $$L^q_\nu $$ L ν q , where $$0<q<p<\infty $$ 0 < q < p < ∞ and $$\omega $$ ω belongs to the class "Equation missing" of radial weights satisfying two-sided doubling conditions, are characterized. On the way to the proofs a new description of q-Carleson measures for $$A^p_\omega $$ A ω p , with $$p>q$$ p > q and "Equation missing", involving pseudohyperbolic discs is established. This last-mentioned result generalizes the well-known characterization of q-Carleson measures for the classical weighted Bergman space $$A^p_\alpha $$ A α p with $$-1<\alpha <\infty $$ - 1 < α < ∞ to the setting of doubling weights. The case "Equation missing" is also briefly discussed and an open problem concerning this case is posed.

scholarly journals Optimal regularity of stable solutions to nonlinear equations involving the p-Laplacian

2020 ◽  
Vol 0 (0) ◽  
Author(s):  
Xavier Cabré ◽  
Pietro Miraglio ◽  
Manel Sanchón
Keyword(s):  
Dirichlet Problem ◽  
Optimal Condition ◽  
Bounded Domain ◽  
Laplace Operator ◽  
Nonlinear Equations ◽  
Open Problem ◽  
Optimal Range ◽  
Optimal Regularity ◽  
Smooth Bounded Domain ◽  
Stable Solutions

AbstractWe consider the equation {-\Delta_{p}u=f(u)} in a smooth bounded domain of {\mathbb{R}^{n}}, where {\Delta_{p}} is the p-Laplace operator. Explicit examples of unbounded stable energy solutions are known if {n\geq p+\frac{4p}{p-1}}. Instead, when {n<p+\frac{4p}{p-1}}, stable solutions have been proved to be bounded only in the radial case or under strong assumptions on f. In this article we solve a long-standing open problem: we prove an interior {C^{\alpha}} bound for stable solutions which holds for every nonnegative {f\in C^{1}} whenever {p\geq 2} and the optimal condition {n<p+\frac{4p}{p-1}} holds. When {p\in(1,2)}, we obtain the same result under the nonsharp assumption {n<5p}. These interior estimates lead to the boundedness of stable and extremal solutions to the associated Dirichlet problem when the domain is strictly convex. Our work extends to the p-Laplacian some of the recent results of Figalli, Ros-Oton, Serra, and the first author for the classical Laplacian, which have established the regularity of stable solutions when {p=2} in the optimal range {n<10}.

scholarly journals A new multi-level algorithm for balanced partition problem on large scale directed graphs

2021 ◽  
Vol 3 (1) ◽  
Author(s):  
Xianyue Li ◽  
Yufei Pang ◽  
Chenxia Zhao ◽  
Yang Liu ◽  
Qingzhen Dong
Keyword(s):  
Large Scale ◽  
Directed Graphs ◽  
Vlsi Design ◽  
Graph Partition ◽  
Partition Problem ◽  
Multi Level ◽  
The Stability ◽  
Recursive Partition ◽  
Balanced Partition ◽  
Partition Method

AbstractGraph partition is a classical combinatorial optimization and graph theory problem, and it has a lot of applications, such as scientific computing, VLSI design and clustering etc. In this paper, we study the partition problem on large scale directed graphs under a new objective function, a new instance of graph partition problem. We firstly propose the modeling of this problem, then design an algorithm based on multi-level strategy and recursive partition method, and finally do a lot of simulation experiments. The experimental results verify the stability of our algorithm and show that our algorithm has the same good performance as METIS. In addition, our algorithm is better than METIS on unbalanced ratio.

scholarly journals Quantum Mean-Field Games with the Observations of Counting Type

Games ◽  
2021 ◽  
Vol 12 (1) ◽  
pp. 7
Author(s):  
Vassili N. Kolokoltsov
Keyword(s):  
Game Theory ◽  
Nash Equilibrium ◽  
Open Problem ◽  
Existence And Uniqueness ◽  
Existence Of Solutions ◽  
Mean Field ◽  
Mean Field Games ◽  
Quantum Game ◽  
Quantum Games ◽  
Interesting Open Problem

Quantum games and mean-field games (MFG) represent two important new branches of game theory. In a recent paper the author developed quantum MFGs merging these two branches. These quantum MFGs were based on the theory of continuous quantum observations and filtering of diffusive type. In the present paper we develop the analogous quantum MFG theory based on continuous quantum observations and filtering of counting type. However, proving existence and uniqueness of the solutions for resulting limiting forward-backward system based on jump-type processes on manifolds seems to be more complicated than for diffusions. In this paper we only prove that if a solution exists, then it gives an ϵ-Nash equilibrium for the corresponding N-player quantum game. The existence of solutions is suggested as an interesting open problem.

A note on derived connections from semi-symmetric metric connections

2017 ◽  
Vol 67 (1) ◽  
pp. 221-226
Author(s):  
Adela Mihai
Keyword(s):  
Open Problem ◽  
Complex Structure ◽  
Kaehler Manifold ◽  
Different Types ◽  
Metric Connection

Abstract In this paper we construct examples of different types of connections starting from a semi-symmetric metric connection g, for example a connection which is a symmetric metric connection with respect to a conformally related metric, but symmetric non-metric with respect to the initial metric. We formulate an open problem: to find a parallel complex structure on a Kaehler manifold with respect to such a new connection.

scholarly journals Computing the Exact Number of Similarity Classes in the Longest Edge Bisection of Tetrahedra

Mathematics ◽  
2021 ◽  
Vol 9 (12) ◽  
pp. 1447
Author(s):  
Jose P. Suárez ◽  
Agustín Trujillo ◽  
Tania Moreno
Keyword(s):  
Data Structure ◽  
Stability Condition ◽  
Open Problem ◽  
Integer Arithmetic ◽  
Exact Number ◽  
Similarity Class ◽  
The Stability ◽  
High Level ◽  
The Cost

Showing whether the longest-edge (LE) bisection of tetrahedra meshes degenerates the stability condition or not is still an open problem. Some reasons, in part, are due to the cost for achieving the computation of similarity classes of millions of tetrahedra. We prove the existence of tetrahedra where the LE bisection introduces, at most, 37 similarity classes. This family of new tetrahedra was roughly pointed out by Adler in 1983. However, as far as we know, there has been no evidence confirming its existence. We also introduce a new data structure and algorithm for computing the number of similarity tetrahedral classes based on integer arithmetic, storing only the square of edges. The algorithm lets us perform compact and efficient high-level similarity class computations with a cost that is only dependent on the number of similarity classes.

Sign in / Sign up

Export Citation Format

Share Document