English
Related papers

Related papers: Separable discrete functions: recognition and suff…

200 papers

We describe a procedure for determining the generalised scaling functions $f_n(g)$ at all the values of the coupling constant. These functions describe the high spin contribution to the anomalous dimension of large twist operators (in the…

High Energy Physics - Theory · Physics 2011-02-17 Davide Fioravanti , Paolo Grinza , Marco Rossi

We consider the discrete time stopping problem \[ V(t,x) = \sup_{\tau}E_{(t,x)}[g(\tau, X_\tau)],\] where $X$ is a random walk. It is well known that the value function $V$ is in general not smooth on the boundary of the continuation set…

Probability · Mathematics 2019-11-14 Simon Fischer , Sören Christensen

This paper analyses Escard\'o and Oliva's generalisation of selection functions over a strong monad from a game-theoretic perspective. We focus on the case of the nondeterminism (finite nonempty powerset) monad $\mathcal{P}$. We use these…

Computer Science and Game Theory · Computer Science 2019-04-16 Joe Bolt , Jules Hedges , Philipp Zahn

By discussing several examples, the theory of generalized functional models is shown to be very natural for modeling some situations of reasoning under uncertainty. A generalized functional model is a pair (f, P) where f is a function…

Artificial Intelligence · Computer Science 2013-02-08 Paul-Andre Monney

A finite dynamical system with $n$ components is a function $f:X\to X$ where $X=X_1\times\dots\times X_n$ is a product of $n$ finite intervals of integers. The structure of such a system $f$ is represented by a signed digraph $G$, called…

Combinatorics · Mathematics 2022-01-24 Adrien Richard

Connections are made between solution concepts for games in characteristic function form and Euler's Theorem underlying the neo-classical theory of distribution in which the total output produced is imputed to the marginal products of the…

Theoretical Economics · Economics 2025-04-29 Joseph M. Ostroy , Joon Song

The objective of this article is to formalize the definition of NP problems. We construct a mathematical model of discrete problems as independence systems with weighted elements. We introduce two auxiliary sets that characterize the…

Data Structures and Algorithms · Computer Science 2007-05-23 Anatoly D. Plotnikov

A differentiable function is pseudoconvex if and only if its restrictions over straight lines are pseudoconvex. A differentiable function depending on one variable, defined on some closed interval $[a,b]$ is pseudoconvex if and only if…

Optimization and Control · Mathematics 2019-11-19 Vsevolod Ivanov Ivanov

Cooperative games provide a framework to study cooperation among self-interested agents. They offer a number of solution concepts describing how the outcome of the cooperation should be shared among the players. Unfortunately, computational…

Computer Science and Game Theory · Computer Science 2017-11-28 Ayumi Igarashi , Rani Izsak , Edith Elkind

Any function can be constructed using a hierarchy of simpler functions through compositions. Such a hierarchy can be characterized by a binary rooted tree. Each node of this tree is associated with a function which takes as inputs two…

Machine Learning · Computer Science 2019-10-23 Roozbeh Farhoodi , Khashayar Filom , Ilenna Simone Jones , Konrad Paul Kording

Strong solving of perfect-information games certifies optimal play from every reachable position, but the required state-space coverage is often prohibitive. Weak solving is far cheaper, yet it certifies correctness only at the initial…

Artificial Intelligence · Computer Science 2026-03-27 Hiroki Takizawa

When given a class of functions and a finite collection of sets, one might be interested whether the class in question contains any function whose domain is a subset of the union of the sets of the given collection and whose restrictions to…

Logic · Mathematics 2019-03-14 Dimiter Skordev

We will study some important properties of Boolean functions based on newly introduced concepts called Special Decomposition of a Set and Special Covering of a Set. These concepts enable us to study important problems concerning Boolean…

Computational Complexity · Computer Science 2025-04-01 Stepan Margaryan

Given a finite group $G$, we denote by $\nu(G)$ the probability that two randomly chosen elements of $G$ generate a nilpotent subgroup. We prove that if $\nu(G)>1/12,$ then $G$ is solvable.

Group Theory · Mathematics 2026-04-07 Andrea Lucchini

The UNIQUE GAMES problem is a central problem in algorithms and complexity theory. Given an instance of UNIQUE GAMES, the STRONG UNIQUE GAMES problem asks to find the largest subset of vertices, such that the UNIQUE GAMES instance induced…

Data Structures and Algorithms · Computer Science 2020-05-19 Suprovat Ghoshal , Anand Louis

Potential game is an emerging notion and framework for studying N-player games, especially with heterogeneous players. In this paper, we build an analytical framework for dynamic potential games. We prove that a game is a dynamic potential…

Optimization and Control · Mathematics 2024-09-09 Xin Guo , Yufei Zhang

We study computational problems arising from the iterated removal of weakly dominated actions in anonymous games. Our main result shows that it is NP-complete to decide whether an anonymous game with three actions can be solved via iterated…

Computer Science and Game Theory · Computer Science 2015-02-06 Felix Brandt , Felix Fischer , Markus Holzer

This paper contributes to the program of numerical characterisation and classification of simple games outlined in the classical monograph of von Neumann and Morgenstern (1944). One of the most fundamental questions of this program is what…

Combinatorics · Mathematics 2009-12-31 T. Gvozdeva , A. Slinko

Consider a two-player game repeated N times. Player 1 can choose between two styles (for interpretability, offensive and defensive), whereas Player 2 uses a single fixed style. Let X N\,:= \#wins -\#losses for Player 1 after N games, and…

Computer Science and Game Theory · Computer Science 2026-04-20 Jonatha ANSELMI , Bruno Gaujal

A sufficient statistic is a deterministic function that captures an essential property of a probabilistic function (channel, kernel). Being a sufficient statistic can be expressed nicely in terms of string diagrams, as Tobias Fritz showed…

Logic in Computer Science · Computer Science 2023-06-22 Bart Jacobs