Showing 1–8 of 8 results for author: Hobby, D

Nontrivial solutions for homogeneous linear equations over some non-quotient hyperfields

Authors: David Hobby, Jaiung Jun

Abstract: We introduce a class of hyperfields which includes several constructions of non-quotient hyperfields. We then use it to partially answer a question posed by M. Baker and T. Zhang: Does a system of homogeneous linear equations with more unknowns than equations always have a nonzero solution? We also consider a class of hyperfields that was claimed in the literature to be non-quotient, and show that… ▽ More We introduce a class of hyperfields which includes several constructions of non-quotient hyperfields. We then use it to partially answer a question posed by M. Baker and T. Zhang: Does a system of homogeneous linear equations with more unknowns than equations always have a nonzero solution? We also consider a class of hyperfields that was claimed in the literature to be non-quotient, and show that this is false. △ Less

Submitted 22 June, 2023; originally announced June 2023.

MSC Class: 16Y20 (primary); 15A06 (secondary)

Sums of finitely many distinct rationals

Authors: Donald Silberger, Sylvia Silberger, David Hobby

Abstract: ${\cal E}$ denotes the family of all finite nonempty $S\subseteq{\mathbb N}:=\{1,2,\ldots\}$, and ${\cal E}(X):={\cal E}\cap\{S:S\subseteq X\}$ when $X\subseteq{\mathbb N}$. Similarly, ${\cal F}$ denotes the family of all finite nonempty $T\subseteq{\mathbb Q}^+$, and ${\cal F}(Y) := {\cal F}\cap\{T:T\subseteq Y\}$ where ${\mathbb Q}^+$ is the set of all positive rationals and $Y\subseteq{\mathbb… ▽ More ${\cal E}$ denotes the family of all finite nonempty $S\subseteq{\mathbb N}:=\{1,2,\ldots\}$, and ${\cal E}(X):={\cal E}\cap\{S:S\subseteq X\}$ when $X\subseteq{\mathbb N}$. Similarly, ${\cal F}$ denotes the family of all finite nonempty $T\subseteq{\mathbb Q}^+$, and ${\cal F}(Y) := {\cal F}\cap\{T:T\subseteq Y\}$ where ${\mathbb Q}^+$ is the set of all positive rationals and $Y\subseteq{\mathbb Q}^+$. This paper treats the functions $σ:{\cal E}\rightarrow{\mathbb Q}^+$ given by $σ:S\mapstoσS :=\sum\{1/x:x\in S\}$, the function $δ:{\cal E}\rightarrow{\mathbb N}$ defined by $σS = νS/δS$ where the integers $νS$ and $δS$ are coprime, and the more general function $Σ:{\cal F}\rightarrow{\mathbb Q}^+$ where $ΣT$ denotes the sum of the elements in $T$ for $T\in{\cal F}$. Theorem 1.1. For each $r\in{\mathbb Q}^+$, there exists an infinite pairwise disjoint subfamily ${\cal H}_r\subseteq{\cal E}$ such that $r=σS$ for all $S\in{\cal H}_r$. Theorem 1.2. Let $X$ be a pairwise coprime set of positive integers. Then $σ$ restricted to ${\cal E}(X)$ and $δ$ restricted to ${\cal E}(X)$ are injective. Also, $σC\in{\mathbb N}$ for $C\in{\cal E}(X)$ only if $C=\{1\}$. Theorem 6.5. There is a set $X$ of positive rational numbers for which $Σ:{\cal F}(X)\rightarrow{\mathbb Q}^+$ is a surjection, but for which $1\in X$ and the only $S\in{\cal F}(X)$ with $ΣS = 1$ is $S = \{1\}$. △ Less

Submitted 19 February, 2019; v1 submitted 4 February, 2017; originally announced February 2017.

Classification of Multidimensional Darboux Transformations: First Order and Continued Type

Authors: David Hobby, Ekaterina Shemyakova

Abstract: We analyze Darboux transformations in very general settings for multidimensional linear partial differential operators. We consider all known types of Darboux transformations, and present a new type. We obtain a full classification of all operators that admit Wronskian type Darboux transformations of first order and a complete description of all possible first-order Darboux transformations. We int… ▽ More We analyze Darboux transformations in very general settings for multidimensional linear partial differential operators. We consider all known types of Darboux transformations, and present a new type. We obtain a full classification of all operators that admit Wronskian type Darboux transformations of first order and a complete description of all possible first-order Darboux transformations. We introduce a large class of invertible Darboux transformations of higher order, which we call Darboux transformations of continued Type I. This generalizes the class of Darboux transformations of Type I, which was previously introduced. There is also a modification of this type of Darboux transformations, continued Wronskian type, which generalize Wronskian type Darboux transformations. △ Less

Submitted 24 February, 2017; v1 submitted 13 May, 2016; originally announced May 2016.

MSC Class: 16S32; 37K35; 37K25

Journal ref: SIGMA 13 (2017), 010, 20 pages

Term inequalities in finite algebras

Authors: David Hobby

Abstract: Given an algebra $\mathbf{A}$, and terms $s(x_{1},x_{2},\dots x_{k})$ and $t(x_{1},x_{2},\dots x_{k})$ of the language of ${\mathbf A}$, we say that $s$ and $t$ are {\em separated} in ${\mathbf A}$ iff for all $a_{1},a_{2}\dots a_{k}\in A$, $s(a_{1},a_{2},\dots a_{k})$ and $t(a_{1},a_{2},\dots a_{k})$ are never equal. We prove that given two terms that are separated in any algebra, there exists a… ▽ More Given an algebra $\mathbf{A}$, and terms $s(x_{1},x_{2},\dots x_{k})$ and $t(x_{1},x_{2},\dots x_{k})$ of the language of ${\mathbf A}$, we say that $s$ and $t$ are {\em separated} in ${\mathbf A}$ iff for all $a_{1},a_{2}\dots a_{k}\in A$, $s(a_{1},a_{2},\dots a_{k})$ and $t(a_{1},a_{2},\dots a_{k})$ are never equal. We prove that given two terms that are separated in any algebra, there exists a finite algebra in which they are separated. As a corollary, we obtain that whenever the sentence $σ$ is a universally quantified conjunction of negated atomic formulas, $σ$ is consistent iff it has a finite model. △ Less

Submitted 19 January, 2016; originally announced January 2016.

MSC Class: 08A99 (Primary); 03C13; 20N02; 68N17 (Secondary)

Roots with common tails

Authors: Alexandra Hobby, David Hobby

Abstract: Some cubic polynomials over the integers have three distinct real roots with continued fractions that all have the same common tail. We characterize the polynomials for which this happens, and then investigate the situation for other polynomials of low degree. Some cubic polynomials over the integers have three distinct real roots with continued fractions that all have the same common tail. We characterize the polynomials for which this happens, and then investigate the situation for other polynomials of low degree. △ Less

Submitted 29 August, 2015; originally announced August 2015.

Comments: 13 pages, no figures

MSC Class: 11A55 (Primary); 12F10 (Secondary)

Antiassociative Groupoids

Authors: Milton Braitt, David Hobby, Donald Silberger

Abstract: Given a groupoid $< G, \star >$, and $k \geq 3$, we say that $G$ is antiassociative iff for all $x_1, x_2, x_3 \in G$, $(x_1 \star x_2) \star x_3$ and $x_1 \star (x_2 \star x_3)$ are never equal. Generalizing this, $< G, \star >$ is $k$-antiassociative iff for all $x_1, x_2, ... x_k \in G$, any two distinct expressions made by putting parentheses in $x_1 \star x_2 \star x_3 \star ...x_k$ are never… ▽ More Given a groupoid $< G, \star >$, and $k \geq 3$, we say that $G$ is antiassociative iff for all $x_1, x_2, x_3 \in G$, $(x_1 \star x_2) \star x_3$ and $x_1 \star (x_2 \star x_3)$ are never equal. Generalizing this, $< G, \star >$ is $k$-antiassociative iff for all $x_1, x_2, ... x_k \in G$, any two distinct expressions made by putting parentheses in $x_1 \star x_2 \star x_3 \star ...x_k$ are never equal. We prove that for every $k \geq 3$, there exist finite groupoids that are $k$-antiassociative. We then generalize this, investigating when other pairs of groupoid terms can be made never equal. △ Less

Submitted 27 October, 2014; originally announced October 2014.

Comments: 20 pages, 2 figures. Submitted to Journal of Algebra

MSC Class: 20N02; 08A99 (Primary) 68Q99; 68T15 (Secondary)

Traffic Analysis in Random Delaunay Tessellations and Other Graphs

Authors: John D. Hobby, Gabriel H. Tucci

Abstract: In this work we study the degree distribution, the maximum vertex and edge flow in non-uniform random Delaunay triangulations when geodesic routing is used. We also investigate the vertex and edge flow in Erdös-Renyi random graphs, geometric random graphs, expanders and random $k$-regular graphs. Moreover we show that adding a random matching to the original graph can considerably reduced the maxi… ▽ More In this work we study the degree distribution, the maximum vertex and edge flow in non-uniform random Delaunay triangulations when geodesic routing is used. We also investigate the vertex and edge flow in Erdös-Renyi random graphs, geometric random graphs, expanders and random $k$-regular graphs. Moreover we show that adding a random matching to the original graph can considerably reduced the maximum vertex flow. △ Less

Submitted 21 March, 2012; originally announced March 2012.

Comments: Submitted to the Journal of Discrete Computational Geometry

Completely dissociative groupoids

Authors: Milton S. Braitt, David Hobby, Donald Silberger

Abstract: Consider arbitrarily parenthesized expressions on the $k$ variables $x_0, x_1, ..., x_{k-1}$, where each $x_i$ appears exactly once and in the order of their indices. We call these expressions {\em formal $k$--products}. $F^σ(k)$ denotes the set of formal $k$--products. For ${{\bf u},{\bf v}}\subseteq F^σ(k)$, the claim, that ${\bf u}$ and ${\bf v}$ produce equal elements in a groupoid $G$ for all… ▽ More Consider arbitrarily parenthesized expressions on the $k$ variables $x_0, x_1, ..., x_{k-1}$, where each $x_i$ appears exactly once and in the order of their indices. We call these expressions {\em formal $k$--products}. $F^σ(k)$ denotes the set of formal $k$--products. For ${{\bf u},{\bf v}}\subseteq F^σ(k)$, the claim, that ${\bf u}$ and ${\bf v}$ produce equal elements in a groupoid $G$ for all values assumed in $G$ by the variables $x_i$, attributes to $G$ a {\em generalized associative law}. Many groupoids are {\em completely dissociative}; i.e., no generalized associative law holds for them; two examples are the groupoids on ${0,1}$ whose binary operations are implication and NAND. We prove a variety of results of that flavor. △ Less

Submitted 20 November, 2011; originally announced November 2011.

Comments: 29 pages

MSC Class: 20N02 (Primary) 05A99; 08A99; 08B99; 08C10 (Secondary)