Handling the inconsistency of systems of $\min\rightarrow$ fuzzy
relational equations
- URL: http://arxiv.org/abs/2308.12385v1
- Date: Tue, 22 Aug 2023 16:12:26 GMT
- Title: Handling the inconsistency of systems of $\min\rightarrow$ fuzzy
relational equations
- Authors: Isma\"il Baaj
- Abstract summary: We give analytical formulas for computing the Chebyshev distances $nabla = inf_d in mathcalD Vert beta.
We show that, in the case of the $min-rightarrow_G$ system, the Chebyshev distance $nabla$ may be an infimum.
- Score: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: In this article, we study the inconsistency of systems of $\min-\rightarrow$
fuzzy relational equations. We give analytical formulas for computing the
Chebyshev distances $\nabla = \inf_{d \in \mathcal{D}} \Vert \beta - d \Vert$
associated to systems of $\min-\rightarrow$ fuzzy relational equations of the
form $\Gamma \Box_{\rightarrow}^{\min} x = \beta$, where $\rightarrow$ is a
residual implicator among the G\"odel implication $\rightarrow_G$, the Goguen
implication $\rightarrow_{GG}$ or Lukasiewicz's implication $\rightarrow_L$ and
$\mathcal{D}$ is the set of second members of consistent systems defined with
the same matrix $\Gamma$. The main preliminary result that allows us to obtain
these formulas is that the Chebyshev distance $\nabla$ is the lower bound of
the solutions of a vector inequality, whatever the residual implicator used.
Finally, we show that, in the case of the $\min-\rightarrow_{G}$ system, the
Chebyshev distance $\nabla$ may be an infimum, while it is always a minimum for
$\min-\rightarrow_{GG}$ and $\min-\rightarrow_{L}$ systems.
Related papers
- The Communication Complexity of Approximating Matrix Rank [50.6867896228563]
We show that this problem has randomized communication complexity $Omega(frac1kcdot n2log|mathbbF|)$.
As an application, we obtain an $Omega(frac1kcdot n2log|mathbbF|)$ space lower bound for any streaming algorithm with $k$ passes.
arXiv Detail & Related papers (2024-10-26T06:21:42Z) - LevAttention: Time, Space, and Streaming Efficient Algorithm for Heavy Attentions [54.54897832889028]
We show that for any $K$, there is a universal set" $U subset [n]$ of size independent of $n$, such that for any $Q$ and any row $i$, the large attention scores $A_i,j$ in row $i$ of $A$ all have $jin U$.
We empirically show the benefits of our scheme for vision transformers, showing how to train new models that use our universal set while training as well.
arXiv Detail & Related papers (2024-10-07T19:47:13Z) - Stationary states of boundary driven quantum systems: some exact results [0.40964539027092906]
We study finite-dimensional open quantum systems whose density matrix evolves via a Lindbladian, $dotrho=-i[H,rho]+mathcal Drho$.
We show that any stationary density matrix $barrho$ on the full system which commutes with $H$ must be of the product form $barrho=hatrho_Aotimesrho_B$.
arXiv Detail & Related papers (2024-08-13T13:33:56Z) - Maximal Consistent Subsystems of Max-T Fuzzy Relational Equations [0.0]
We study the inconsistency of a system of $max-T$ fuzzy relational equations of the form $A Box_Tmax x = b$, where $T$ is a t-norm among $min$, the product or Lukasiewicz's t-norm.
For an inconsistent $max-T$ system, we construct a canonical maximal consistent subsystem.
We show how to iteratively get all its maximal consistent subsystems.
arXiv Detail & Related papers (2023-11-06T12:41:21Z) - Max-min Learning of Approximate Weight Matrices from Fuzzy Data [0.0]
We study the approximate solutions set $Lambda_b$ of an inconsistent system of $max-min$ fuzzy relational equations.
We introduce a paradigm for $max-min$ learning weight matrices that relates input and output data from training data.
arXiv Detail & Related papers (2023-01-15T16:48:30Z) - Metricizing the Euclidean Space towards Desired Distance Relations in
Point Clouds [1.2366208723499545]
We attack unsupervised learning algorithms, specifically $k$-Means and density-based (DBSCAN) clustering algorithms.
We show that the results of clustering algorithms may not generally be trustworthy, unless there is a standardized and fixed prescription to use a specific distance function.
arXiv Detail & Related papers (2022-11-07T16:37:29Z) - Low-Rank Approximation with $1/\epsilon^{1/3}$ Matrix-Vector Products [58.05771390012827]
We study iterative methods based on Krylov subspaces for low-rank approximation under any Schatten-$p$ norm.
Our main result is an algorithm that uses only $tildeO(k/sqrtepsilon)$ matrix-vector products.
arXiv Detail & Related papers (2022-02-10T16:10:41Z) - Terminal Embeddings in Sublinear Time [14.959896180728832]
We show how to pre-process $T$ to obtain an almost linear-space data structure that supports computing the terminal embedding image of any $qinmathbbRd$ in sublinear time.
Our main contribution in this work is to give a new data structure for computing terminal embeddings.
arXiv Detail & Related papers (2021-10-17T00:50:52Z) - Threshold Phenomena in Learning Halfspaces with Massart Noise [56.01192577666607]
We study the problem of PAC learning halfspaces on $mathbbRd$ with Massart noise under Gaussian marginals.
Our results qualitatively characterize the complexity of learning halfspaces in the Massart model.
arXiv Detail & Related papers (2021-08-19T16:16:48Z) - The Average-Case Time Complexity of Certifying the Restricted Isometry
Property [66.65353643599899]
In compressed sensing, the restricted isometry property (RIP) on $M times N$ sensing matrices guarantees efficient reconstruction of sparse vectors.
We investigate the exact average-case time complexity of certifying the RIP property for $Mtimes N$ matrices with i.i.d. $mathcalN(0,1/M)$ entries.
arXiv Detail & Related papers (2020-05-22T16:55:01Z) - Agnostic Q-learning with Function Approximation in Deterministic
Systems: Tight Bounds on Approximation Error and Sample Complexity [94.37110094442136]
We study the problem of agnostic $Q$-learning with function approximation in deterministic systems.
We show that if $delta = Oleft(rho/sqrtdim_Eright)$, then one can find the optimal policy using $Oleft(dim_Eright)$.
arXiv Detail & Related papers (2020-02-17T18:41:49Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.