Generalized fuzzy interior ideals of semigroups

The concept of $(\overline{\in},\overline{\in} \vee \overline{q})The concept of ([`( ? )],[`( ? )] ú[`(q)])(\overline{\in},\overline{\in} \vee \overline{q})-fuzzy interior ideals of semigroups is introduced and some related properties are investigated. In particular, we describe the relationships among ordinary fuzzy interior ideals, (∈, ∈ ∨ q)-fuzzy interior ideals and ([`( ? )],[`( ? )] ú[`(q)])(\overline{\in},\overline{\in} \vee \overline{q})-fuzzy interior ideals of semigroups. Finally, we give some characterization of [F] _t by means of (∈, ∈ ∨ q)-fuzzy interior ideals.     

Soft set theory applied to p-ideals of BCI-algebras related to fuzzy points

The notions of $(\overline{\in}, \overline{\in} \vee \overline{\hbox{q}})The notions of ([`( ? )],[`( ? )] ú[`q])(\overline{\in}, \overline{\in} \vee \overline{\hbox{q}})-fuzzy p-ideals and fuzzy p-ideals with thresholds related to soft set theory are discussed. Relations between ([`( ? )],[`( ? )] ú[`q])(\overline{\in}, \overline{\in} \vee \overline{\hbox{q}})-fuzzy ideals and ([`( ? )],[`( ? )] ú[`q])(\overline{\in}, \overline{\in} \vee \overline{\hbox{q}})-fuzzy p-ideals are investigated. Characterizations of an ([`( ? )],[`( ? )] ú[`q])(\overline{\in}, \overline{\in} \vee \overline{\hbox{q}})-fuzzy p-ideal and a fuzzy p-ideal with thresholds are displayed. Implication-based fuzzy p-ideals are discussed.     

Fuzzy n-ary hypergroups related to fuzzy points

In this paper, we introduce and study a new sort of fuzzy n-ary sub-hypergroups of an n-ary hypergroup, called $(\in,\in \vee q)In this paper, we introduce and study a new sort of fuzzy n-ary sub-hypergroups of an n-ary hypergroup, called ( ? , ? úq)(\in,\in \vee q)-fuzzy n-ary sub-hypergroup. By using this new idea, we consider the ( ? , ? úq)(\in,\in\vee q)-fuzzy n-ary sub-hypergroup of a n-ary hypergroup. This newly defined ( ? , ? úq)(\in,\in \vee q)-fuzzy n-ary sub-hypergroup is a generalization of the usual fuzzy n-ary sub-hypergroup. Finally, we consider the concept of implication-based fuzzy n-ary sub-hypergroup in an n-ary hypergroup and discuss the relations between them, in particular, the implication operators in £\poundsukasiewicz system of continuous-valued logic are discussed.     

New types of fuzzy ideals of near-rings

In this paper, we consider the $(\in_{\gamma},\in_{\gamma} \vee \; \hbox{q}_{\delta})$ -fuzzy and $(\overline{\in}_{\gamma},\overline{\in}_{\gamma} \vee \; \overline{\hbox{q}}_{\delta})$ -fuzzy subnear-rings (ideals) of a near-ring. Some new characterizations are also given. In particular, we introduce the concepts of (strong) prime $(\in_{\gamma},\in_{\gamma} \vee \; \hbox{q}_{\delta})$ -fuzzy ideals of near-rings and discuss the relationship between strong prime $(\in_{\gamma},\in_{\gamma} \vee \; \hbox{q}_{\delta})$ -fuzzy ideals and prime $(\in_{\gamma},\in_{\gamma} \vee \; \hbox{q}_{\delta})$ -fuzzy ideals of near-rings.     

On (\overline{\in},\overline{\in} \vee \overline{q})-fuzzy ideals of BCI-algebras

The concepts of $(\overline{\in},\overline{\in} \vee \overline{q})$ -fuzzy (p-, q- and a-) ideals of BCI-algebras are introduced and some related properties are investigated. In particular, we describe the relationships among ordinary fuzzy (p-, q- and a-) ideals, (??,?????? q)-fuzzy (p-, q- and a-) ideals and $(\overline{\in},\overline{\in} \vee \overline{q})$ -fuzzy (p-,q- and a-) ideals of BCI-algebras. Moreover, we prove that a fuzzy set??? of a BCI-algebra X is an $(\overline{\in},\overline{\in} \vee \overline{q})$ -fuzzy a-ideal of X if and only if it is both an $(\overline{\in},\overline{\in} \vee \overline{q})$ -fuzzy p-ideal and an $(\overline{\in},\overline{\in} \vee \overline{q})$ -fuzzy q-ideal. Finally, we give some characterizations of three particular cases of BCI-algebras by these generalized fuzzy ideals.     

Generalized fuzzy filters of <Emphasis Type="Italic">R</Emphasis><Subscript>0</Subscript>-algebras

In this paper, we introduce the notions of interval valued -fuzzy filters and interval valued -fuzzy Boolean (implicative) filters in R ₀-algebras and investigate some of their related properties. Some characterization theorems of these generalized fuzzy filters are derived. In particular, we prove that an interval valued fuzzy set F in R ₀-algebras is an interval valued -fuzzy Boolean filter if and only if it is an interval valued -fuzzy implicative filter.     

Generalized fuzzy bi-ideals of semigroups

After the introduction of fuzzy sets by Zadeh, there have been a number of generalizations of this fundamental concept. The notion of (∈, ∈ ∨q)-fuzzy subgroups introduced by Bhakat is one among them. In this paper, using the relations between fuzzy points and fuzzy sets, the concept of a fuzzy bi-ideal with thresholds is introduced and some interesting properties are investigated. The acceptable nontrivial concepts obtained in this manner are the (∈, ∈ ∨q)-fuzzy bi-ideals and -fuzzy bi-ideals, which are extension of the concept of a fuzzy bi-ideal in semigroup.     

Parsimonious flooding in dynamic graphs

An edge-Markovian process with birth-rate p and death-rate q generates infinite sequences of graphs (G ₀, G ₁, G ₂,…) with the same node set [n] such that G _t is obtained from G _t-1 as follows: if e ? E(G_t-1){e\notin E(G_{t-1})} then e ? E(G_t){e\in E(G_{t})} with probability p, and if e ? E(G_t-1){e\in E(G_{t-1})} then e ? E(G_t){e\notin E(G_{t})} with probability q. In this paper, we establish tight bounds on the complexity of flooding in edge-Markovian graphs, where flooding is the basic mechanism in which every node becoming aware of an information at step t forwards this information to all its neighbors at all forthcoming steps t′ > t. These bounds complete previous results obtained by Clementi et al. Moreover, we also show that flooding in dynamic graphs can be implemented in a parsimonious manner, so that to save bandwidth, yet preserving efficiency in term of simplicity and completion time. For a positive integer k, we say that the flooding protocol is k-active if each node forwards an information only during the k time steps immediately following the step at which the node receives that information for the first time. We define the reachability threshold for the flooding protocol as the smallest integer k such that, for any source s ? [n]{s\in [n]} , the k-active flooding protocol from s completes (i.e., reaches all nodes), and we establish tight bounds for this parameter. We show that, for a large spectrum of parameters p and q, the reachability threshold is by several orders of magnitude smaller than the flooding time. In particular, we show that it is even constant whenever the ratio p/(p + q) exceeds log n/n. Moreover, we also show that being active for a number of steps equal to the reachability threshold (up to a multiplicative constant) allows the flooding protocol to complete in optimal time, i.e., in asymptotically the same number of steps as when being perpetually active. These results demonstrate that flooding can be implemented in a practical and efficient manner in dynamic graphs. The main ingredient in the proofs of our results is a reduction lemma enabling to overcome the time dependencies in edge-Markovian dynamic graphs.     

When Does Eddy Viscosity Damp Subfilter Scales Sufficiently?

Large eddy simulation (LES) seeks to predict the dynamics of spatially filtered turbulent flows. The very essence is that the LES-solution contains only scales of size ≥Δ, where Δ denotes some user-chosen length scale. This property enables us to perform a LES when it is not feasible to compute the full, turbulent solution of the Navier-Stokes equations. Therefore, in case the large eddy simulation is based on an eddy viscosity model we determine the eddy viscosity such that any scales of size <Δ are dynamically insignificant. In this paper, we address the following two questions: how much eddy diffusion is needed to (a) balance the production of scales of size smaller than Δ; and (b) damp any disturbances having a scale of size smaller than Δ initially. From this we deduce that the eddy viscosity ν _e has to depend on the invariants q = \frac12tr(S²)q = \frac{1}{2}\mathrm{tr}(S^{2}) and r = -\frac13tr(S³)r= -\frac{1}{3}\mathrm{tr}(S^{3}) of the (filtered) strain rate tensor S. The simplest model is then given by n_e = \frac32(D/p)² |r|/q\nu_{e} = \frac{3}{2}(\Delta/\pi)^{2} |r|/q. This model is successfully tested for a turbulent channel flow (Re  _τ =590).     

Small Space Representations for Metric Min-sum k-Clustering and Their Applications

The min-sum k -clustering problem is to partition a metric space (P,d) into k clusters C ₁,…,C _k ?P such that $\sum_{i=1}^{k}\sum_{p,q\in C_{i}}d(p,q)The min-sum k -clustering problem is to partition a metric space (P,d) into k clusters C ₁,…,C _k ⊆P such that ?_i=1^k?_{p,q ? Ci}d(p,q)\sum_{i=1}^{k}\sum_{p,q\in C_{i}}d(p,q) is minimized. We show the first efficient construction of a coreset for this problem. Our coreset construction is based on a new adaptive sampling algorithm. With our construction of coresets we obtain two main algorithmic results.     

Entanglement and Yangian in a {V^{\otimes 3}} Yang-Baxter system

In this paper, a 8 × 8 unitary Yang-Baxter matrix \breveR₁₂₃(q₁,q₂,f){\breve{R}_{123}(\theta_{1},\theta_{2},\phi)} acting on the triple tensor product space, which is a solution of the Yang-Baxter Equation for three qubits, is presented. Then quantum entanglement and the Berry phase of the Yang-Baxter system are studied. The Yangian generators, which can be viewed as the shift operators, are investigated in detail. And it is worth mentioning that the Yangian operators we constructed are independent of choice of basis.     

Entanglement and Berry phase in a 9 × 9 Yang–Baxter system

A M-matrix which satisfies the Hecke algebraic relations is presented. Via the Yang–Baxterization approach, we obtain a unitary solution \breveR(q,j₁,j₂){\breve{R}(\theta,\varphi_{1},\varphi_{2})} of Yang–Baxter equation. It is shown that any pure two-qutrit entangled states can be generated via the universal \breveR{\breve{R}}-matrix assisted by local unitary transformations. A Hamiltonian is constructed from the \breveR{\breve{R}}-matrix, and Berry phase of the Yang–Baxter system is investigated. Specifically, for j₁ = j₂{\varphi_{1}\,{=}\,\varphi_{2}}, the Hamiltonian can be represented based on three sets of SU(2) operators, and three oscillator Hamiltonians can be obtained. Under this framework, the Berry phase can be interpreted.     

Interpolation of Shifted-Lacunary Polynomials

Given a “black box” function to evaluate an unknown rational polynomial f ? \mathbbQ[x]f \in {\mathbb{Q}}[x] at points modulo a prime p, we exhibit algorithms to compute the representation of the polynomial in the sparsest shifted power basis. That is, we determine the sparsity $t \in {\mathbb{Z}}_{>0}$t \in {\mathbb{Z}}_{>0}, the shift a ? \mathbbQ\alpha \in {\mathbb{Q}}, the exponents 0 ￡ e₁ < e₂ < ? < e_t{0 \leq e_{1} < e_{2} < \cdots < e_{t}}, and the coefficients c₁, ?, c_t ? \mathbbQ \{0}c_{1}, \ldots , c_{t} \in {\mathbb{Q}} \setminus \{0\} such that

Tight bounds for k-set agreement with limited-scope failure detectors

In a system with limited-scope failure detectors, there are q disjoint clusters of processes such that some correct process in each cluster is never suspected by any process in that cluster. The failure detector class S_x,q satisfies this property all the time, while ⋄S_x,q satisfies it eventually. This paper gives the first tight bounds for the k-set agreement task in asynchronous message-passing models augmented with failure detectors from either the S_x,q or ⋄S_x,q classes. For S_x,q, we show that any k-set agreement protocol that tolerates f failures must satisfy f < k + x − q if q < k and f < x otherwise, where x is the combined size of the q disjoint clusters if q < k (or the k largest, otherwise). This result establishes for the first time that the protocol of Mostèfaoui and Raynal for the S_x = S_x,1 failure detector is optimal. For ⋄S_x,q, we show that any k-set agreement protocol that tolerates f failures must satisfy if q < k and otherwise, where n + 1 is the total number of processes. We give a novel protocol that matches our lower bound, disproving a conjecture of Mostèfaoui and Raynal for the ⋄S_x = ⋄S_x,1 failure detector. Our lower bounds exploit techniques borrowed from Combinatorial Topology, demonstrating for the first time that this approach is applicable to models that encompass failure detectors.     

The 1-Versus-2 Queries Problem Revisited

The 1-versus-2 queries problem, which has been extensively studied in computational complexity theory, asks in its generality whether every efficient algorithm that makes at most 2 queries to a Σ _k ^p -complete language L _k has an efficient simulation that makes at most 1 query to L _k . We obtain solutions to this problem for hypotheses weaker than previously considered. We prove that:

Comparing Nontriviality for E and EXP

A set A is nontrivial for the linear-exponential-time class E=DTIME(2 ^lin ) if for any k≥1 there is a set B _k ∈E such that B _k is (p-m-)reducible to A and B_k ? DTIME(2^k·n)B_{k} \not\in \mathrm{DTIME}(2^{k\cdot n}). I.e., intuitively, A is nontrivial for E if there are arbitrarily complex sets in E which can be reduced to A. Similarly, a set A is nontrivial for the polynomial-exponential-time class EXP=DTIME(2 ^poly ) if for any k≥1 there is a set [^(B)]_k ? EXP\hat{B}_{k} \in \mathrm {EXP} such that [^(B)]_k\hat{B}_{k} is reducible to A and [^(B)]_k ? DTIME(2^nk)\hat{B}_{k} \not\in \mathrm{DTIME}(2^{n^{k}}). We show that these notions are independent, namely, there are sets A ₁ and A ₂ in E such that A ₁ is nontrivial for E but trivial for EXP and A ₂ is nontrivial for EXP but trivial for E. In fact, the latter can be strengthened to show that there is a set A∈E which is weakly EXP-hard in the sense of Lutz (SIAM J. Comput. 24:1170–1189, 11) but E-trivial.     

Spreading of Messages in Random Graphs

Consider the following model on the spreading of messages. A message initially convinces a set of vertices, called the seeds, of the Erdős-Rényi random graph G(n,p). Whenever more than a ρ∈(0,1) fraction of a vertex v’s neighbors are convinced of the message, v will be convinced. The spreading proceeds asynchronously until no more vertices can be convinced. This paper derives lower bounds on the minimum number of initial seeds, min-seed(n,p,d,r)\mathrm{min\hbox{-}seed}(n,p,\delta,\rho), needed to convince a δ∈{1/n,…,n/n} fraction of vertices at the end. In particular, we show that (1) there is a constant β>0 such that min-seed(n,p,d,r)=W(min{d,r}n)\mathrm{min\hbox{-}seed}(n,p,\delta,\rho)=\Omega(\min\{\delta,\rho\}n) with probability 1−n ^−Ω(1) for p≥β (ln (e/min {δ,ρ}))/(ρ n) and (2) min-seed(n,p,d,1/2)=W(dn/ln(e/d))\mathrm{min\hbox{-}seed}(n,p,\delta,1/2)=\Omega(\delta n/\ln(e/\delta)) with probability 1−exp (−Ω(δ n))−n ^−Ω(1) for all p∈[ 0,1 ]. The hidden constants in the Ω notations are independent of p.     

Lower Bounds for Agnostic Learning via Approximate Rank

We prove that the concept class of disjunctions cannot be pointwise approximated by linear combinations of any small set of arbitrary real-valued functions. That is, suppose that there exist functions f₁, ?, f_r\phi_{1}, \ldots , \phi_{r} : {− 1, 1}ⁿ → \mathbbR{\mathbb{R}} with the property that every disjunction f on n variables has $\|f - \sum\nolimits_{i=1}^{r} \alpha_{i}\phi _{i}\|_{\infty}\leq 1/3$\|f - \sum\nolimits_{i=1}^{r} \alpha_{i}\phi _{i}\|_{\infty}\leq 1/3 for some reals a₁, ?, a_r\alpha_{1}, \ldots , \alpha_{r}. We prove that then $r \geq exp \{\Omega(\sqrt{n})\}$r \geq exp \{\Omega(\sqrt{n})\}, which is tight. We prove an incomparable lower bound for the concept class of decision lists. For the concept class of majority functions, we obtain a lower bound of W(2ⁿ/n)\Omega(2^{n}/n) , which almost meets the trivial upper bound of 2ⁿ for any concept class. These lower bounds substantially strengthen and generalize the polynomial approximation lower bounds of Paturi (1992) and show that the regression-based agnostic learning algorithm of Kalai et al. (2005) is optimal.     

Characterizations of ordered semigroups in terms of (∈, ∈ ∨ q)-fuzzy interior ideals

In this paper, we give characterizations of ordered semigroups in terms of (∈, ∈ ∨q)-fuzzy interior ideals. We characterize different classes regular (resp. intra-regular, simple and semisimple) ordered semigroups in terms of (∈, ∈ ∨q)-fuzzy interior ideals (resp. (∈, ∈ ∨q)-fuzzy ideals). In this regard, we prove that in regular (resp. intra-regular and semisimple) ordered semigroups the concept of (∈, ∈ ∨q)-fuzzy ideals and (∈, ∈ ∨q)-fuzzy interior ideals coincide. We prove that an ordered semigroup S is simple if and only if it is (∈, ∈ ∨q)-fuzzy simple. We characterize intra-regular (resp. semisimple) ordered semigroups in terms of (∈, ∈ ∨q)-fuzzy ideals (resp. (∈, ∈ ∨q)-fuzzy interior ideals). Finally, we consider the concept of implication-based fuzzy interior ideals in an ordered semigroup, in particular, the implication operators in Lukasiewicz system of continuous-valued logic are discussed.     

Random walks for selected boolean implication and equivalence problems

This paper is concerned with the design and analysis of a random walk algorithm for the 2CNF implication problem (2CNFI). In 2CNFI, we are given two 2CNF formulas f₁{\phi_{1}} and f₂{\phi_{2}} and the goal is to determine whether every assignment that satisfies f₁{\phi_{1}} , also satisfies f₂{\phi_{2}} . The implication problem is clearly coNP-complete for instances of kCNF, k ≥ 3; however, it can be solved in polynomial time, when k ≤ 2. The goal of this paper is to provide a Monte Carlo algorithm for 2CNFI with a bounded probability of error. The technique developed for 2CNFI is then extended to derive a randomized, polynomial time algorithm for the problem of checking whether a given 2CNF formula Nae-implies another 2CNF formula.