Related papers: Ordinal and cardinal solution concepts for two-sid…
We initiate the study of fairness for ordinal regression. We adapt two fairness notions previously considered in fair ranking and propose a strategy for training a predictor that is approximately fair according to either notion. Our…
The paper is a first of two and aims to show that (assuming large cardinals) set theory is a tractable (and we dare to say tame) first order theory when formalized in a first order signature with natural predicate symbols for the basic…
We investigate the phenomenon of non-recursive trade-offs between descriptional systems in an abstract fashion. We aim at categorizing non-recursive trade-offs by bounds on their growth rate, and show how to deduce such bounds in general.…
We study a canonical duality method to solve a mixed-integer nonconvex fourth-order polynomial minimization problem with fixed cost terms. This constrained nonconvex problem can be transformed into a continuous concave maximization dual…
On the one hand, termination analysis of logic programs is now a fairly established research topic within the logic programming community. On the other hand, non-termination analysis seems to remain a much less attractive subject. If we…
Consider Bernoulli(1/2) percolation on $\mathbb{Z}^d$, and define a perfect matching between open and closed vertices in a way that is a deterministic equivariant function of the configuration. We want to find such matching rules that make…
Taking advantage of a recent critical point theorem, the existence of infinitely many solutions for an anisotropic problem with a parameter is established. More precisely, a concrete interval of positive parameters, for which the treated…
We prove the existence of resolution of singularities for arbitrary (not necessarily reduced or irreducible) excellent two-dimensional schemes, via permissible blow-ups. The resolution is canonical, and functorial with respect to…
We develop a systematic method of obtaining duality symmetric actions in different dimensions. This technique is applied for the quantum mechanical harmonic oscillator, the scalar field theory in two dimensions and the Maxwell theory in…
We examine multi-task benchmarks in machine learning through the lens of social choice theory. We draw an analogy between benchmarks and electoral systems, where models are candidates and tasks are voters. This suggests a distinction…
We present unitarily represented supersymmetric canonical commutation relations which are subsequently used to canonically quantize massive and massless chiral,antichiral and vector fields. The massless fields, especially the vector one,…
Bilinear systems of equations are defined, motivated and analyzed for solvability. Elementary structure is mentioned and it is shown that all solutions may be obtained as rank one completions of a linear matrix polynomial derived from…
The canonical duality theory has provided with a unified analytic solution to a range of discrete and continuous problems in global optimization, which can transform a nonconvex primal problem to a concave maximization dual problem over a…
In a dynamic matching market, such as a marriage or job market, how should agents balance accepting a proposed match with the cost of continuing their search? We consider this problem in a discrete setting, in which agents have cardinal…
Considering a linearly ordered set, we introduce its symmetric version, and endow it with two operations extending supremum and infimum, so as to obtain an algebraic structure close to a commutative ring. We show that imposing symmetry…
Under the assumption that degenerate fields exist, diagonal CFTs such as Liouville theory can be solved analytically using the conformal bootstrap method. Here we generalize this approach to non-diagonal CFTs, i.e. CFTs whose primary fields…
We consider partial matchings, which are finite graphs consisting of edges and vertices of degree zero or one. We consider transformations between two states of partial matchings. We introduce a method of presenting a transformation between…
After an introduction to some aspects of bidifferential calculus on associative algebras, we focus on the notion of a "symmetry" of a generalized zero curvature equation and derive Backlund and (forward, backward and binary) Darboux…
We investigate the well-posedness of the radiative transfer equation with polarization and varying refractive index. The well-posedness analysis includes non-homogeneous boundary value problems on bounded spatial domains, which requires the…
Classical matching theory can be defined in terms of matrices with nonnegative entries. The notion of Positive operator, central in Quantum Theory, is a natural generalization of matrices with nonnegative entries. Based on this point of…