English
Related papers

Related papers: LSM is not generated by binary functions

200 papers

In this paper, we study modularity of several functions which naturally arose in a recent paper of Lau and Zhou on open Gromov-Witten potentials of elliptic orbifolds. They derived a number of examples of indefinite theta functions, and we…

Number Theory · Mathematics 2015-10-05 Kathrin Bringmann , Larry Rolen , Sander Zwegers

Enumerating the extremal submodular functions defined on subsets of a fixed base set has only been done for base sets up to five elements. This paper reports the results of attempting to generate all such functions on a six-element base…

Combinatorics · Mathematics 2024-10-22 Elod P. Csirmaz , Laszlo Csirmaz

Submodular set-functions have many applications in combinatorial optimization, as they can be minimized and approximately maximized in polynomial time. A key element in many of the algorithms and analyses is the possibility of extending the…

Machine Learning · Computer Science 2016-02-24 Francis Bach

Using notions of composita and composition of generating functions we obtain explicit formulas for Chebyshev polynomials, Legendre polynomials, Gegenbauer polynomials, Associated Laguerre polynomials, Stirling polynomials, Abel polynomials,…

Number Theory · Mathematics 2012-11-02 Vladimir Kruchinin , Dmitry Kruchinin

The concept of effective complexity of an object as the minimal description length of its regularities has been initiated by Gell-Mann and Lloyd. The regularities are modeled by means of ensembles, that is probability distributions on…

Information Theory · Computer Science 2015-05-18 Nihat Ay , Markus Mueller , Arleta Szkola

We study the polyregular string-to-string functions, which are certain functions of polynomial output size that can be described using automata and logic. We describe a system of combinators that generates exactly these functions. Unlike…

Logic in Computer Science · Computer Science 2023-04-27 Mikołaj Bojańczyk

We define a modular function which is a generalization of the elliptic modular lambda function. We show this function and the modular invariant function generate the modular function field with respect to the principal congruence subgroup.…

Number Theory · Mathematics 2015-04-21 Noburo Ishii

We consider functions of natural numbers which allow a combinatorial interpretation as density functions (speed) of classes of relational structures, s uch as Fibonacci numbers, Bell numbers, Catalan numbers and the like. Many of these…

Combinatorics · Mathematics 2013-09-10 T. Kotek , J. A. Makowsky

Regular cost functions have been introduced recently as an extension to the notion of regular languages with counting capabilities, which retains strong closure, equivalence, and decidability properties. The specificity of cost functions is…

Logic in Computer Science · Computer Science 2017-02-09 Denis Kuperberg

Let $L$ be a countable language. We characterize, in terms of definable closure, those countable theories $\Sigma$ of $\mathcal{L}_{\omega_1, \omega}(L)$ for which there exists an $S_\infty$-invariant probability measure on the collection…

Logic · Mathematics 2017-10-18 Nathanael Ackerman , Cameron Freer , Rehana Patel

This paper introduces a probability density estimator based on Green's function identities. A density model is constructed under the sole assumption that the probability density is differentiable. The method is implemented as a binary…

Machine Learning · Statistics 2012-08-22 Peter Kovesarki , Ian C. Brock , A. Elizabeth Nuncio Quiroz

Submodular functions are discrete functions that model laws of diminishing returns and enjoy numerous algorithmic applications. They have been used in many areas, including combinatorial optimization, machine learning, and economics. In…

Data Structures and Algorithms · Computer Science 2012-08-24 Maria-Florina Balcan , Nicholas J. A. Harvey

Submodular functions are at the core of many machine learning and data mining tasks. The underlying submodular functions for many of these tasks are decomposable, i.e., they are sum of several simple submodular functions. In many data…

Data Structures and Algorithms · Computer Science 2022-01-20 Akbar Rafiey , Yuichi Yoshida

We define the supermodular rank of a function on a lattice. This is the smallest number of terms needed to decompose it into a sum of supermodular functions. The supermodular summands are defined with respect to different partial orders. We…

Combinatorics · Mathematics 2023-05-25 Rishi Sonthalia , Anna Seigal , Guido Montufar

Inspired by a question of Lie, we study boundedness in subspaces of $L^1(\mathbb{R})$ of oscillatory maximal functions. In particular, we construct functions in $L^1(\mathbb{R})$ which are never integrable under action of our class of…

Classical Analysis and ODEs · Mathematics 2020-02-03 Tainara Borges , Cynthia Bortolotto , João P. G. Ramos

In this paper, we investigate the problem of synthesizing computable functions of infinite words over an infinite alphabet (data $\omega$-words). The notion of computability is defined through Turing machines with infinite inputs which can…

Formal Languages and Automata Theory · Computer Science 2023-06-22 Léo Exibard , Emmanuel Filiot , Nathan Lhote , Pierre-Alain Reynier

It is a common knowledge that the integer functions definable in simply typed lambda-calculus are exactly the extended polynomials. This is indeed the case when one interprets integers over the type (p->p)->p->p where p is a base type…

Logic in Computer Science · Computer Science 2007-05-23 Mateusz Zakrzewski

Submodular functions are a fundamental object of study in combinatorial optimization, economics, machine learning, etc. and exhibit a rich combinatorial structure. Many subclasses of submodular functions have also been well studied and…

Data Structures and Algorithms · Computer Science 2013-04-19 Nikhil R. Devanur , Shaddin Dughmi , Roy Schwartz , Ankit Sharma , Mohit Singh

In this paper, we investigate the problem of synthesizing computable functions of infinite words over an infinite alphabet (data omega-words). The notion of computability is defined through Turing machines with infinite inputs which can…

Logic in Computer Science · Computer Science 2020-02-20 Léo Exibard , Emmanuel Filiot , Pierre-Alain Reynier

We introduce a non-linear criterion which allows us to determine when a function can be written as a sum of functions belonging to homogeneous fractional spaces: for $\ell \in \mathbb{N}^*$, $s_i\in (0, 1)$ and $p_i \in [1, +\infty)$, $u :…

Analysis of PDEs · Mathematics 2021-04-21 Rémy Rodiac , Jean Van Schaftingen