English
Related papers

Related papers: Product cones in dense pairs

200 papers

Let $\F_q$ be a finite field of order $q$ and $P$ be a polynomial in $\F_q[x_1, x_2]$. For a set $A \subset \F_q$, define $P(A):=\{P(x_1, x_2) | x_i \in A \}$. Using certain constructions of expanders, we characterize all polynomials $P$…

Combinatorics · Mathematics 2007-05-23 Van Vu

We discuss a class of linear representations of the product poset of totally ordered sets $P= T_1 \times \cdots \times T_n$ which decompose into interval representations for block intervals. These can be characterised in terms of a…

Representation Theory · Mathematics 2024-06-05 Jan-Paul Lerch

We prove the following propositions. Theorem 1: Let $M$ be a subfield of a fixed algebraic closure $\tilde \Q$ of $\Q$ whose existential elementary theory is decidable (resp. primitively decidable). Then, M is conjugate to a recursive…

Logic · Mathematics 2015-02-16 Moshe Jarden , Alexandra Shlapentokh

Let $\mathfrak{M}(\mathbb{D}, m, n, P)$ be the ring of all $m \times n$ matrices over a division ring $\mathbb{D}$, with the product given by $A \bullet B=A P B$, where $P$ is a fixed $n \times m$ matrix over $\mathbb{D}$. When $2\leq m, n…

Rings and Algebras · Mathematics 2024-07-02 Bo Yu , Kaijia Luo , Jiankui Li

The symmetric group $\mathfrak{S}_n$ (and more generally, any Coxeter group) admits an associative operation known as the Demazure product. In this paper, we first extend the Demazure product to the (infinite) set of all biwords on $\{1,…

Combinatorics · Mathematics 2024-07-19 William Q. Erickson

We consider the set of monic irreducible polynomials $P$ over a finite field $\mathbb{F}_q$ such that the multiplicative order modulo $P$ of some a in $\mathbb{F}_q(T)$ is divisible by a fixed positive integer $d$. Call $R_q(a,d)$ this set.…

Number Theory · Mathematics 2025-10-21 Joaquim Cera Da Conceição

Expansions of the monadic second-order (MSO) theory of the structure $\langle \mathbb{N} ; < \rangle$ have been a fertile and active area of research ever since the publication of the seminal papers of B\"uchi and Elgot & Rabin on the…

Logic in Computer Science · Computer Science 2025-07-23 Joris Nieuwveld , Joël Ouaknine

In this article we prove that for a large class of 2-dimensional minimal cones (including almost all 2-dimensional minimal cones that we know), the almost orthogonal union of any two of them is still a minimal cone. Comparing to existing…

Classical Analysis and ODEs · Mathematics 2018-08-30 Xiangyu Liang

Consider a definable complete d-minimal expansion $(F, <, +, \cdot, 0, 1, \dots,)$ of an oredered field $F$. Let $X$ be a definably compact definably normal definable $C^r$ manifold and $2 \le r <\infty$. We prove that the set of definable…

Logic · Mathematics 2024-08-28 Masato Fujita , Tomohiro Kawakami

Two homotopy decompositions of supensions of spaces involving polyhedral products are given. The first decomposition is motivated by the decomposition of suspensions of polyhedral products by Bahri, Bendersky, Cohen, and Gitler, and is a…

Algebraic Topology · Mathematics 2016-05-04 Kouyemon Iriye , Daisuke Kishimoto

A classical tensor product $A \,\otimes\, B$ of complete lattices $A$ and $B$, consisting of all down-sets in $A \times B$ that are join-closed in either coordinate, is isomorphic to the complete lattice $Gal(A,B)$ of Galois maps from $A$…

Category Theory · Mathematics 2016-12-20 Marcel Erné , Jorge Picado

Let $G$ be a non-compact simple Lie group with Lie algebra $\mathfrak{g}$. Denote with $m(\mathfrak{g})$ the dimension of the smallest non-trivial $\mathfrak{g}$-module with an invariant non-degenerate symmetric bilinear form. For an…

Differential Geometry · Mathematics 2011-09-29 Gestur Olafsson , Raul Quiroga-Barranco

We prove several structural results on definably compact groups G in o-minimal expansions of real closed fields, such as (i) G is definably an almost direct product of a semisimple group and a commutative group, and (ii) the group (G, .) is…

Logic · Mathematics 2008-11-04 Ehud Hrushovski , Ya'acov Peterzil , Anand Pillay

A brief introduction to the theory of ordered sets and lattice theory is given. To illustrate proof techniques in the theory of ordered sets, a generalization of a conjecture of Daykin and Daykin, concerning the structure of posets that can…

Combinatorics · Mathematics 2009-09-25 Jonathan David Farley

We study directed sets definable in o-minimal structures, showing that in expansions of ordered fields these admit cofinal definable curves, as well as a suitable analogue in expansions of ordered groups, and furthermore that no analogue…

Logic · Mathematics 2021-09-17 Pablo Andujar Guerrero , Margaret E. M. Thomas , Erik Walsberg

We explore \emph{semibounded} expansions of arbitrary ordered groups; namely, expansions that do not define a field on the whole universe. We introduce the notion of a \emph{semibounded} expansion of an arbitrary ordered group, extending…

Logic · Mathematics 2021-10-26 Alex Savatovsky

A. Iosevich and K. Taylor showed that compact subsets of $\mathbb R^d$ with Hausdorff dimension greater than $(d+1)/2$ contain trees with gaps in an open interval. Under the same dimensional threshold, we prove the analogous result where…

Classical Analysis and ODEs · Mathematics 2022-12-27 Arian Nadjimzadah

We study product sets of finite arithmetic progressions of polynomials over a finite field. We prove a lower bound for the size of the product set, uniform in a wide range of parameters. We apply our results to resolve the function field…

Number Theory · Mathematics 2023-09-19 Lior Bary-Soroker , Noam Goldgraber

A space is od-compact (resp. od-Lindel\"of) provided any cover by open dense sets has a finite (resp. countable) subcover. We first show with simple examples that these properties behave quite poorly under finite or countable unions. We…

General Topology · Mathematics 2015-03-24 Mathieu Baillif

Let $P: \F \times \F \to \F$ be a polynomial of bounded degree over a finite field $\F$ of large characteristic. In this paper we establish the following dichotomy: either $P$ is a moderate asymmetric expander in the sense that $|P(A,B)|…

Combinatorics · Mathematics 2013-01-04 Terence Tao