Publications related to A decomposition of multicorrelation sequences for commuting transformations along primes

Disjointness for measurably distal group actions and applications

We generalize Berg's notion of quasi-disjointness to actions of countable groups and prove that every measurably distal system is quasi-disjoint from every measure preserving system. As a corollary we obtain easy to check necessary and sufficient condition ...

2017

Multilevel and weighted reduced basis method for stochastic optimal control problems constrained by Stokes equations

Alfio Quarteroni, Gianluigi Rozza, Peng Chen

In this paper we develop and analyze a multilevel weighted reduced basis method for solving stochastic optimal control problems constrained by Stokes equations. We prove the analytic regularity of the optimal solution in the probability space under certain ...

Springer Heidelberg2016

Fibre Products of Supersingular Curves and the Enumeration of Irreducible Polynomials with Prescribed Coefficients

Robert Granger

For any positive integers

n\geq 3, r\geq 1

we present formulae for the number of irreducible polynomials of degree

n

over the finite field

\mathbb{F}_{2^r}

where the coefficients of

x^{n-1}

,

x^{n-2}

and

x^{n-3}

are zero. Our proofs involve coun ...

Elsevier2016

Polynomials Vanishing On Cartesian Products: The Elekes-Szabo Theorem Revisited

Frank de Zeeuw

Let F 2 C[x; y; z] be a constant-degree polynomial, and let A; B; C subset of C be finite sets of size n. We show that F vanishes on at most O(n(11/6))points of the Cartesian product A X B X C, unless F has a special group-related form. This improves a the ...

Duke Univ Press2016

An Ergodic Theory of Binary Operations-Part I: Key Properties

Rajai Nasser

An open problem in polarization theory is to determine the binary operations that always lead to polarization (in the general multilevel sense) when they are used in Arikan style constructions. This paper, which is presented in two parts, solves this probl ...

Ieee-Inst Electrical Electronics Engineers Inc2016

CM values of higher Green's functions and regularized Petersson products

Maryna Viazovska

Higher Green functions are real-valued functions of two variables on the upper half-plane, which are bi-invariant under the action of a congruence subgroup, have a logarithmic singularity along the diagonal, and satisfy the equation f = k(1−k) f ; here i ...

Cambridge UP2015

Cross-Intersecting Families of Vectors

János Pach, Gábor Tardos

Given a sequence of positive integers , let denote the family of all sequences of positive integers such that for all . Two families of sequences (or vectors), , are said to be -cross-intersecting if no matter how we select and , there are at least distinc ...

Springer Japan Kk2015

Discrete least squares polynomial approximation with random evaluations − application to parametric and stochastic elliptic PDEs

Fabio Nobile, Giovanni Migliorati

Motivated by the numerical treatment of parametric and stochastic PDEs, we analyze the least-squares method for polynomial approximation of multivariate functions based on random sampling according to a given probability measure. Recent work has shown that ...

2015

Sound reasoning about integral data types with a reusable SMT solver interface

Viktor Kuncak, Régis William Blanc

We extend the Leon verification system for Scala with support for bit-vector reasoning, thus addressing one of its fundamental soundness limitation with respect to the treatment of integers primitives. We leverage significant progresses recently achieved i ...

ACM Press2015

Isometries of quadratic spaces

Eva Bayer Fluckiger

Let k be a global field of characteristic not 2, and let f is an element of k[X] be an irreducible polynomial. We show that a non-degenerate quadratic space has an isometry with minimal polynomial f if and only if such an isometry exists over all the compl ...

European Mathematical Soc2015

A decomposition of multicorrelation sequences for commuting transformations along primes

Graph Chatbot

Chat with Graph Search

Disjointness for measurably distal group actions and applications

Multilevel and weighted reduced basis method for stochastic optimal control problems constrained by Stokes equations

Fibre Products of Supersingular Curves and the Enumeration of Irreducible Polynomials with Prescribed Coefficients

Polynomials Vanishing On Cartesian Products: The Elekes-Szabo Theorem Revisited

An Ergodic Theory of Binary Operations-Part I: Key Properties

CM values of higher Green's functions and regularized Petersson products

Cross-Intersecting Families of Vectors

Discrete least squares polynomial approximation with random evaluations − application to parametric and stochastic elliptic PDEs

Sound reasoning about integral data types with a reusable SMT solver interface

Isometries of quadratic spaces

Multilevel and weighted reduced basis method for stochastic optimal control problems constrained by Stokes equations

Disjointness for measurably distal group actions and applications

Sound reasoning about integral data types with a reusable SMT solver interface

Fibre Products of Supersingular Curves and the Enumeration of Irreducible Polynomials with Prescribed Coefficients

Cross-Intersecting Families of Vectors

An Ergodic Theory of Binary Operations-Part I: Key Properties

Discrete least squares polynomial approximation with random evaluations − application to parametric and stochastic elliptic PDEs

CM values of higher Green's functions and regularized Petersson products

Polynomials Vanishing On Cartesian Products: The Elekes-Szabo Theorem Revisited

Isometries of quadratic spaces