English
Related papers

Related papers: An Improved Composition Theorem of a Universal Rel…

200 papers

Let $(L; \sqcap, \sqcup)$ be a finite lattice and let $n$ be a positive integer. A function $f : L^n \to \mathbb{R}$ is said to be submodular if $f(\tup{a} \sqcap \tup{b}) + f(\tup{a} \sqcup \tup{b}) \leq f(\tup{a}) + f(\tup{b})$ for all…

Data Structures and Algorithms · Computer Science 2009-04-22 Fredrik Kuivinen

A key idea in convex optimization theory is to use well-structured affine functions to approximate general functions, leading to impactful developments in conjugate functions and convex duality theory. This raises the question: what are the…

Optimization and Control · Mathematics 2025-04-22 Ningji Wei

We prove a structure theorem for multiplicative functions which states that an arbitrary bounded multiplicative function can be decomposed into two terms, one that is approximately periodic and another that has small Gowers uniformity norm…

Number Theory · Mathematics 2016-01-27 Nikos Frantzikinakis , Bernard Host

A hallmark of human intelligence is the ability to construct self-contained chunks of knowledge and reuse them in novel combinations for solving different problems. Learning such compositional structures has been a challenge for artificial…

Machine Learning · Computer Science 2022-07-26 Jorge A. Mendez

Let $Di\langle X\rangle$ be the free dialgebra over a field generated by a set $X$. Let $S$ be a monic subset of $Di\langle X\rangle$. A Composition-Diamond lemma for dialgebras is firstly established by Bokut, Chen and Liu in 2010…

Rings and Algebras · Mathematics 2017-06-07 Guangliang Zhang , Yuqun Chen

We prove a contraction property of certain classes of smooth functions, whose absolute values of elements are log-hyperharmonic functions in the unit ball, thus extending the results of Kulikov to higher-dimensional space (GAFA (2022)).…

Complex Variables · Mathematics 2023-05-15 David Kalaj

The two function theories of monogenic and of slice monogenic functions have been extensively studied in the literature and were developed independently; the relations between them, e.g. via Fueter mapping and Radon transform, have been…

Complex Variables · Mathematics 2024-12-19 Zhenghua Xu , Irene Sabadini

The classical Arrow's Theorem answers "how can $n$ voters obtain a collective preference on a set of outcomes, if they have to obey certain constraints?" We give an analogue in the judgment aggregation framework of List and Pettit,…

Combinatorics · Mathematics 2018-10-30 Yan X Zhang

We establish a general uniqueness theorem for subharmonic functions of several variables on a domain. A corollary from this uniqueness theorem for holomorphic functions is formulated in terms of the zero subset of holomorphic functions and…

Complex Variables · Mathematics 2016-06-14 Bulat Khabibullin , Nargiza Tamindarova

The classical hypercontractive inequality for the noise operator on the discrete cube plays a crucial role in many of the fundamental results in the Analysis of Boolean functions, such as the KKL (Kahn-Kalai-Linial) theorem, Friedgut's…

Combinatorics · Mathematics 2019-06-14 Peter Keevash , Noam Lifshitz , Eoin Long , Dor Minzer

A correspondence between arbitrary Fourier series and certain analytic functions on the unit disk of the complex plane is established. The expression of the Fourier coefficients is derived from the structure of complex analysis. The…

Complex Variables · Mathematics 2015-03-25 Jorge L. deLyra

A \Def{composition} of a positive integer $n$ is a $k$-tuple $(\l_1, \l_2, \dots, \l_k) \in \Z_{> 0}^k$ such that $n = \l_1 + \l_2 + \dots + \l_k$. Our goal is to enumerate those compositions whose parts $\l_1, \l_2, \dots, \l_k$ avoid a…

Number Theory · Mathematics 2016-05-10 Matthias Beck , Neville Robbins

We deal with the random combinatorial structures called assemblies. By weakening the logarithmic condition which assures regularity of the number of components of a given order, we extend the notion of logarithmic assemblies. Using the…

Probability · Mathematics 2009-03-06 Eugenijus Manstavičius

This note studies numerical methods for solving compositional optimization problems, where the inner function is smooth, and the outer function is Lipschitz continuous, non-smooth, and non-convex but exhibits one of two special structures…

Optimization and Control · Mathematics 2024-11-22 Yao Yao , Qihang Lin , Tianbao Yang

We show that for a relation $f\subseteq \{0,1\}^n\times \mathcal{O}$ and a function $g:\{0,1\}^{m}\times \{0,1\}^{m} \rightarrow \{0,1\}$ (with $m= O(\log n)$), $$\mathrm{R}_{1/3}(f\circ g^n) = \Omega\left(\mathrm{R}_{1/3}(f) \cdot…

Computational Complexity · Computer Science 2018-01-23 Anurag Anshu , Naresh B. Goud , Rahul Jain , Srijita Kundu , Priyanka Mukhopadhyay

In this note we compare two measures of the complexity of a class $\mathcal F$ of Boolean functions studied in (unconditional) pseudorandomness: $\mathcal F$'s ability to distinguish between biased and uniform coins (the coin problem), and…

Computational Complexity · Computer Science 2020-09-01 Rohit Agrawal

Seymour's decomposition theorem is a hallmark result in matroid theory presenting a structural characterization of the class of regular matroids. Formalization of matroid theory faces many challenges, most importantly that only a limited…

An aggregative composition is a binary operation obeying the principle that the whole is determined by the sum of its parts. The development of graph algebras, on which the theory of formal graph languages is built, relies on aggregative…

Formal Languages and Automata Theory · Computer Science 2025-10-13 Marius Bozga , Radu Iosif , Florian Zuleger

In recent years, deep learning-based sequence modelings, such as language models, have received much attention and success, which pushes researchers to explore the possibility of transforming non-sequential problems into a sequential form.…

Machine Learning · Computer Science 2024-05-24 Yongqiang Cai

In this note, we extend the well-known theorems of M. Riesz and Zygmund on conjugate functions as follows. Let $\Omega$ be a domain in $\mathbb C^n$. Suppose that $f=u+iv\in \mathcal O(\Omega)$ satisfies $v(z_0)=0$ for some $z_0\in \Omega$.…

Complex Variables · Mathematics 2023-09-06 Bo-Yong Chen