共找到 20 条结果
A defining set of a Latin square is a partially filled-in Latin square which completes to no other Latin square of the same order. We introduce the concept of a $k$-strong defining set, in which if less than $k$ entries are deleted, the property of being a defining set is retained. Equivalently, a $k$-strong defining set intersects every Latin trade in the Latin square at least $k$ times. In the addition table for integers modulo $n$, when $n$ is even we determine the minimum size of a $k$-strong defining set for any $k$. For odd $n$ we give a construction for a minimally $2$-strong defining set. We furthermore give computational results for Latin squares of small orders.
Explainable Artificial Intelligence (XAI) has become popular in the last few years. The Artificial Intelligence (AI) community in general, and the Machine Learning (ML) community in particular, is coming to the realisation that in many applications, for AI to be trusted, it must not only demonstrate good performance in its decisionmaking, but it also must explain these decisions and convince us that it is making the decisions for the right reasons. However, different applications have different requirements on the information required of the underlying AI system in order to convince us that it is worthy of our trust. How do we define these requirements? In this paper, we present three dimensions for categorising the explanatory requirements of different applications. These are Source, Depth and Scope. We focus on the problem of matching up the explanatory requirements of different applications with the capabilities of underlying ML techniques to provide them. We deliberately avoid including aspects of explanation that are already well-covered by the existing literature and we focus our discussion on ML although the principles apply to AI more broadly.
The super Weyl group of a basic classical Lie superalgebra was introduced and studied in \cite{PS}, which turns out to play an important role for the study of representations of the basic classical Lie superalgebras and algebraic supergroups (see \cite{PS, LS}). These groups turn out to be some quotients of Coxeter groups. It is deserved to specially investigate super Weyl groups via revealing the related Coxeter systems. The purpose of this paper is twofold. One is to describe the Coxeter systems for super Weyl groups of basic classical Lie superalgebras. The other one is to introduce defining sequences which are a kind of new descriptions of fundamental root systems for classical Lie superalgebras of type $A,B,C$ and $D$. Based on defining sequences, we decide the Coxeter groups associated with those super Weyl groups via Coxeter graphs.
Let $A$ be a commutative Noetherian local ring with maximal ideal $\mathfrak{m}$, and let $I$ be an ideal. The fiber cone is then an image of the polynomial ring over the residue field $A/\mathfrak{m}$. The kernel of this map is called the defining ideal, and it is natural to ask how to compute it. In this paper, we provide a construction for the defining ideals of Cohen-Macaulay fiber cones.
In this article I propose an approach for defining replicability for prediction rules. Motivated by a recent NAS report, I start from the perspective that replicability is obtaining consistent results across studies suitable to address the same prediction question, each of which has obtained its own data. I then discuss concept and issues in defining key elements of this statement. I focus specifically on the meaning of "consistent results" in typical utilization contexts, and propose a multi-agent framework for defining replicability, in which agents are neither partners nor adversaries. I recover some of the prevalent practical approaches as special cases. I hope to provide guidance for a more systematic assessment of replicability in machine learning.
This paper discusses key challenges of Artificial Intelligence in Education, with main focus on higher education institutions. We start with reviewing normative actions of international organizations and concerns expressed about the current technical landscape. Then we proceed with proposing a framework that comprises five key dimensions relating to the main challenges relating to AI in higher education institutions, followed by five key strategic actions that the main stakeholders need to take in order to address the current developments. We map these actions to the main stakeholders of higher education and propose a deployment plan. This defines a framework along the dimensions: Challenges, Actions, Stakeholders, Deployment CASD. Examples of AI specific actions at the institutional and individual course level are also provided and discussed.
Every Steiner triple system is a uniform hypergraph. The coloring of hypergraph and its special case Steiner triple systems, {STS}$(v)$, is studied extensively. But the defining set of the coloring of hypergraph even its special case {STS}$(v)$, is not explored yet. We study minimum defining set and the largest minimal defining set for $3$-coloring of {STS}$(v)$. We determined minimum defining set and the largest minimal defining set, for all non-isomorphic {STS}$(v)$, $v\le 15$. Also we have found the {\sf defining number} for all Steiner triple systems of order $v$, and some lower bounds for the size of the largest minimal defining set for all Steiner triple systems of order $v$, for each admissible $v$.
In a given graph $G$, a set $S$ of vertices with an assignment of colors is a {\sf defining set of the vertex coloring of $G$}, if there exists a unique extension of the colors of $S$ to a $\Cchi(G)$-coloring of the vertices of $G$. A defining set with minimum cardinality is called a {\sf smallest defining set} (of vertex coloring) and its cardinality, the {\sf defining number}, is denoted by $d(G, \Cchi)$. Let $ d(n, r, \Cchi = k)$ be the smallest defining number of all $r$-regular $k$-chromatic graphs with $n$ vertices. Mahmoodian et. al \cite{rkgraph} proved that, for a given $k$ and for all $n \geq 3k$, if $r \geq 2(k-1)$ then $d(n, r, \Cchi = k)=k-1$. In this paper we show that for a given $k$ and for all $n < 3k$ and $r\geq 2(k-1)$, $d(n, r, \Cchi=k)=k-1$.
We investigate the question of existence of plurisubharmonic defining functions for smoothly bounded, pseudoconvex domains in $\mathbb{C}^2$. In particular, we construct a family of simple counterexamples to the existence of plurisubharmonic smooth local defining functions. Moreover, we give general criteria equivalent to the existence of plurisubharmonic smooth defining functions on or near the boundary of the domain. These equivalent characterizations are then explored for some classes of domains.
In this article, we study the Mahler measures of more than 500 families of reciprocal polynomials defining genus 2 and genus 3 curves. We numerically find relations between the Mahler measures of these polynomials with special values of $L$-functions. We also numerically discover more than 100 identities between Mahler measures involving different families of polynomials defining genus 2 and genus 3 curves. Furthermore, we study the Mahler measures of several families of nonreciprocal polynomials defining genus 2 curves and numerically find relations between the Mahler measures of these families and special values of $L$-functions of elliptic curves. We also find identities between the Mahler measures of these nonreciprocal families and tempered polynomials defining genus 1 curves. We will explain these relations by considering the pushforward and pullback of certain elements in $K_2$ of curves defined by these polynomials and applying Beilinson's conjecture on $K_2$ of curves. We show that there are two and three explicit linearly independent elements in $K_2$ of certain families of genus 2 and genus 3 curves.
Classification of AS-regular algebras is one of the main interests in non-commutative algebraic geometry. Recently, a complete list of superpotentials (defining relations) of all $3$-dimensional AS-regular algebras which are Calabi-Yau was given by Mori-Smith (the quadratic case) and Mori-Ueyama (the cubic case), however, no complete list of defining relations of all $3$-dimensional AS-regular algebras has not appeared in the literature. In this paper, we give all possible defining relations of $3$-dimensional quadratic AS-regular algebras. Moreover, we classify them up to isomorphism and up to graded Morita equivalence in terms of their defining relations in the case that their point schemes are not elliptic curves. In the case that their point schemes are elliptic curves, we give conditions for isomorphism and graded Morita equivalence in terms of geometric data.
The greedy defining sets of graphs were appeared first time in [M. Zaker, Greedy defining sets of graphs, Australas. J. Combin, 2001]. We show that to determine the greedy defining number of bipartite graphs is an NP-complete problem. This result answers affirmatively the problem mentioned in the previous paper. It is also shown that this number for forests can be determined in polynomial time. Then we present a method for obtaining greedy defining sets in Latin squares and using this method, show that any $n\times n$ Latin square has a GDS of size at most $n^2-(n\log n)/4$. Finally we present an application of greedy defining sets in designing practical secret sharing schemes.
Consider a matrix $M$ chosen uniformly at random from a class of $m \times n$ matrices of zeros and ones with prescribed row and column sums. A partially filled matrix $D$ is a $\mathit{defining}$ $\mathit{set}$ for $M$ if $M$ is the unique member of its class that contains the entries in $D$. The $\mathit{size}$ of a defining set is the number of filled entries. A $\mathit{critical}$ $\mathit{set}$ is a defining set for which the removal of any entry stops it being a defining set. For some small fixed $ε>0$, we assume that $n\le m=o(n^{1+ε})$, and that $λ\le1/2$, where $λ$ is the proportion of entries of $M$ that equal $1$. We also assume that the row sums of $M$ do not vary by more than $\mathcal{O}(n^{1/2+ε})$, and that the column sums do not vary by more than $\mathcal{O}(m^{1/2+ε})$. Under these assumptions we show that $M$ almost surely has no defining set of size less than $λmn-\mathcal{O}(m^{7/4+ε})$. It follows that $M$ almost surely has no critical set of size more than $(1-λ)mn+\mathcal{O}(m^{7/4+ε})$. Our results generalise a theorem of Cavenagh and Ramadurai, who examined the case when $λ=1/2$ and $n=m=2^k$ for an integer $k$.
This paper proposes a new view to algorithms, Algorithms as defining dynamic systems. This view extends the traditional, deterministic view that an algorithm is a step by step procedure with nondeterminism. As a dynamic system can be designed by a set of its defining laws, it is also desirable to design an algorithm by a (possibly nondeterministic) set of defining laws. This observation requires some changes to algorithm development. We propose a two step approach, the first step is to design an algorithm via a set of defining laws of dynamic system. The second step is to translate these laws (written in a natural language) into a formal language such as linear logic.
It is well known that, when defining Householder transformations, the correct choice of sign in the standard formula is important to avoid cancellation and hence numerical instability. In this note we point out that when the "wrong" choice of sign is used, the extent of the resulting instability depends in a somewhat subtle way on the data leading to cancellation.
Suppose we have a family ${\cal F}$ of sets. For every $S \in {\cal F}$, a set $D \subseteq S$ is a {\sf defining set} for $({\cal F},S)$ if $S$ is the only element of $\cal{F}$ that contains $D$ as a subset. This concept has been studied in numerous cases, such as vertex colorings, perfect matchings, dominating sets, block designs, geodetics, orientations, and Latin squares. In this paper, first, we propose the concept of a defining set of a logical formula, and we prove that the computational complexity of such a problem is $Σ_2$-complete. We also show that the computational complexity of the following problem about the defining set of vertex colorings of graphs is $Σ_2$-complete: {\sc Instance:} A graph $G$ with a vertex coloring $c$ and an integer $k$. {\sc Question:} If ${\cal C}(G)$ be the set of all $χ(G)$-colorings of $G$, then does $({\cal C}(G),c)$ have a defining set of size at most $k$? Moreover, we study the computational complexity of some other variants of this problem.
Consider the rational map $φ: \mathbb{P}^{n-1}_{\mathbf k} \stackrel{[f_0:\cdots: f_n]}{\longrightarrow} \mathbb{P}^{n}_{\mathbf k}$ defined by homogeneous polynomials $f_0,\dots,f_n$ of the same degree $d$ in a polynomial ring $R=\mathbf k [x_1,\dots,x_n]$ over a field $\mathbf k$. Suppose $I=(f_0,\dots,f_n)$ is a height two perfect ideal satisfying $μ(I_p)\leq\dim R_p$ for $p\in \operatorname{Spec} (R) \setminus V(x_1,\dots, x_n)$. We study the equations defining the graph of $φ$ whose coordinate ring is the Rees algebra $R[It]$. We provide new methods to construct these equations using work of Buchsbaum and Eisenbud. Furthermore, for certain classes of ideals satisfying the conditions above, our methods lead to explicit equations defining Rees algebras of the ideals in these classes. These classes of examples are interesting, in that, there are no known methods to compute the defining ideal of the Rees algebra of such ideals. These new methods also give rise to effective criteria to check that $φ$ is birational onto its image.
For a domain $Ω\subset\mathbb R^n$, we introduce the concept of a uniformly $C^m$ defining function. We characterize uniformly $C^m$ defining functions in terms of the signed distance function for the boundary and provide a large class of examples of unbounded domains with uniformly $C^m$ defining functions. Some of our results extend results from the bounded case.
In this research article, we survey existing quantum physics-related games and, based on this survey, propose a definition for the concept of quantum games. We define a quantum game as any type of rule-based game that either employs the principles of quantum physics or references quantum phenomena or the theory of quantum physics through any of three proposed dimensions: the perceivable dimension of quantum physics, the dimension of quantum technologies, and the dimension of scientific purposes, such as citizen science or education. We also discuss the concept of quantum computer games, which are games on quantum computers, as well as definitions for the concept of science games. Various games explore quantum physics and quantum computing through digital, analogue, and hybrid means, with various incentives driving their development. As interest in games as educational tools for supporting quantum literacy grows, understanding the diverse landscape of quantum games becomes increasingly important. We propose that the three dimensions of quantum games identified in this article be used for designing, analysing, and defining the phenomenon of quantum games.
We show that every strictly pseudoconvex domain $Ω$ with smooth boundary in a complex manifold $\mathcal{M}$ admits a global defining function, i.e., a smooth plurisubharmonic function $\varphi \colon U \to \mathbb R$ defined on an open neighbourhood $U \subset \mathcal{M}$ of $\overlineΩ$ such that $Ω= \{\varphi < 0\}$, $d\varphi eq 0$ on $bΩ$ and $\varphi$ is strictly plurisubharmonic near $bΩ$. We then introduce the notion of the core $\mathfrak{c}(Ω)$ of an arbitrary domain $Ω\subset \mathcal{M}$ as the set of all points where every smooth and bounded from above plurisubharmonic function on $Ω$ fails to be strictly plurisubharmonic. If $Ω$ is not relatively compact in $\mathcal{M}$, then in general $\mathfrak{c}(Ω)$ is nonempty, even in the case when $\mathcal{M}$ is Stein. It is shown that every strictly pseudoconvex domain $Ω\subset \mathcal{M}$ with smooth boundary admits a global defining function that is strictly plurisubharmonic precisely in the complement of $\mathfrak{c}(Ω)$. We then investigate properties of the core. Among other results we prove 1-pseudoconcavity of the core, we show that in general the core does not possess an analytic structure, and we investiga