English
Related papers

Related papers: Symmetric Iterations with Countable and $<\kappa$-…

200 papers

This work develops a systematic functional-analytic framework for nonlinear adaptive memory, where the influence of past events depends on both elapsed time and the state values along a trajectory. The framework comprises three hierarchical…

Functional Analysis · Mathematics 2026-04-07 Jiahao Jiang

We study generalized symmetries of quantum field theories in 1+1D generated by topological defect lines with no inverse. This paper follows our companion paper on gapped phases and anomalies associated with these symmetries. In the present…

High Energy Physics - Theory · Physics 2021-06-25 Ryan Thorngren , Yifan Wang

In many iterative optimization methods, fixed-point theory enables the analysis of the convergence rate via the contraction factor associated with the linear approximation of the fixed-point operator. While this factor characterizes the…

Systems and Control · Electrical Eng. & Systems 2022-06-22 Trung Vu , Raviv Raich

We consider a generalisation of the self-affine iterated function systems of Lalley and Gatzouras by allowing for a countable infinity of non-conformal contractions. It is shown that the Hausdorff dimension of the limit set is equal to the…

Dynamical Systems · Mathematics 2011-06-08 Henry WJ Reeve

We study a classification of the kappa-times integrated semigroups (for kappa>0) by the (uniform) rate of convergence at the origin: $\|S(t)\|=O(t^\alpha)$, $0\leq\alpha\leq\kappa$. By an improved generation theorem we characterize this…

Functional Analysis · Mathematics 2008-08-04 Vincent Cachia

We initiate the S-matrix bootstrap analysis of theories with non-invertible symmetries in (1+1) dimensions. Our previous work showed that crossing symmetry of S-matrices in such theories is modified, with modification characterized by the…

High Energy Physics - Theory · Physics 2024-11-04 Christian Copetti , Lucia Cordova , Shota Komatsu

The property of countable metacompactness of a topological space gets its importance from Dowker's 1951 theorem that the product of a normal space X with the unit interval is again normal iff X is countably metacompact. In a recent paper,…

Logic · Mathematics 2024-05-29 Rodrigo Carvalho , Tanmay Inamdar , Assaf Rinot

We introduce a new class of extensions of terms that consists in navigation strategies and insertion of contexts. We introduce an operation of combination on this class which is associative, admits a neutral element and so that each…

Logic in Computer Science · Computer Science 2019-04-25 Walid Belkhir , Nicolas Ratier , Duy Duc Nguyen Michel Lenczner

In parallel to the unified construction of relativistic Hamiltonians based solely on physical arguments [J. Chem. Phys. 160, 084111 (2024)], a unified implementation of relativistic wave function methods is achieved here via programming…

Chemical Physics · Physics 2024-07-26 Ning Zhang , Wenjian Liu

Counters that hold natural numbers are ubiquitous in modeling and verifying software systems; for example, they model dynamic creation and use of resources in concurrent programs. Unfortunately, such discrete counters often lead to…

Formal Languages and Automata Theory · Computer Science 2025-11-27 A. R. Balasubramanian , Matthew Hague , Rupak Majumdar , Ramanathan S. Thinniyam , Georg Zetzsche

Typical iterated filters, such as the iterated extended Kalman filter (IEKF), iterated unscented Kalman filter (IUKF), and iterated posterior linearization filter (IPLF), have been developed to improve the linearization point (or density)…

Optimization and Control · Mathematics 2024-04-25 Anton Kullberg , Martin A. Skoglund , Isaac Skog , Gustaf Hendeby

We introduce regenerative tree growth processes as consistent families of random trees with n labelled leaves, n>=1, with a regenerative property at branch points. This framework includes growth processes for exchangeably labelled Markov…

Probability · Mathematics 2013-09-30 Jim Pitman , Douglas Rizzolo , Matthias Winkel

This paper develops a new framework, \emph{simultaneous saturation}, designed to quantify the size of sets whose elements are simultaneously large. The framework establishes a correspondence between the magnitude of such sets and a system…

Classical Analysis and ODEs · Mathematics 2025-11-26 Melissa Tacy

This paper makes significant progress towards resolving a conjecture relating strong forcing axioms like $PFA$ and the derived model at a limit of Woodin cardinals $\kappa$. In particular, using a concept called Covering Matrices, we show…

Logic · Mathematics 2026-02-20 Derek Levinson , Nam Trang , Trevor Wilson

Hardness amplification is a central problem in the study of interactive protocols. While ``natural'' parallel repetition transformation is known to reduce the soundness error of some special cases of interactive arguments: three-message…

Cryptography and Security · Computer Science 2021-05-04 Itay Berman , Iftach Haitner , Eliad Tsfadia

We define a certain finite set in set theory $\{x\mid\varphi(x)\}$ and prove that it exhibits a universal extension property: it can be any desired particular finite set in the right set-theoretic universe and it can become successively any…

Logic · Mathematics 2018-06-21 Joel David Hamkins , W. Hugh Woodin

We study the nonstationary-support iteration of Prikry forcings below a measurable cardinal \kappa, characterizing all the normal measures it carries in the generic extension. We then analyze the restriction of ultrapower embeddings, taken…

Logic · Mathematics 2021-09-23 Moti Gitik , Eyal Kaplan

Discrete-time domain Iterative Learning Control (ILC) schemes inspired by Repetitive control algorithms are proposed and analyzed. The well known relation between a discrete-time plant (filter) and its Markov Toeplitz matrix representation…

Optimization and Control · Mathematics 2014-08-12 K. Krishnamoorthy , Tsu-Chin Tsao

We prove that an $\omega$-categorical core structure primitively positively interprets all finite structures with parameters if and only if some stabilizer of its polymorphism clone has a homomorphism to the clone of projections, and that…

Logic in Computer Science · Computer Science 2016-02-16 Libor Barto , Michael Pinsker

Goal. We analyze when the Partition Principle ($\mathsf{PP}$) holds without $\mathsf{AC}$ in models arising from a free finite $H$-action on Cantor space, and reconcile two standard routes to such models. Approach. Route I proceeds via a…

Logic · Mathematics 2026-01-26 Frank Gilson