Search
Search results for: PALEY-WIENER THEOREM
-
A note on a Wiener-Wintner theorem for mean ergodic Markov amenable semigroups
PublicationWe prove a Wiener-Wintner ergodic type theorem for a Markov representation of a right amenable semitopological semigroup.
-
A Measurable Selector in Kadison’s Carpenter’s Theorem
PublicationWe show the existence of a measurable selector in Carpenter’s Theorem due to Kadison. This solves a problem posed by Jasper and the first author in an earlier work. As an application we obtain a characterization of all possible spectral functions of shift-invariant subspaces of L 2 (R d ) and Carpenter’s Theorem for type I ∞ von Neumann algebras.
-
A Hopf type theorem for equivariant local maps
PublicationWe study otopy classes of equivariant local maps and prove a Hopf type theorem for such maps in the case of a real finite-dimensional orthogonal representation of a compact Lie group.
-
Contra Bellum: Bell's Theorem as a Confusion of Languages
PublicationBell's theorem is a conflict of mathematical predictions formulated within an infinite hierarchy of mathematical models. Inequalities formulated at level k ∈ Z are violated by probabilities at level k+1. We are inclined to think that k=0 corresponds to the classical world, while k=1 — to the quantum one. However, as the k=0 inequalities are violated by k=1 probabilities, the same relation holds between k=1 inequalities violated...
-
The Wiener filter applied to EMI decomposition
PublicationArtykuł przestawia zastosowanie metody filtracji Wienera do dekompozycji zaburzeń elektromagnetycznych z różnych źródeł. Zaburzenia generowane w trójfazowym rezonansowym falowniku napięcia typy PQRDCLI oraz w przekształtniku napięcia stałego zasilającego obwód sterowania falownika zostały zmierzone z zastosowaniem sieci sztucznej (LISN). W oparciu o transmitancje częstotliwościowe pomiędzy źródłami zaburzeń i zaburzeniami zmierzonymi...
-
Conducted emi identification in power electronic converters : modeling of EMI generation and propagation using circuit simulation and wiener filtering methods.
PublicationThis work presents the circuit simulations and the conventional signal processing technique (Wiener filtering) in order to reconstruct conducted ElectroMagnetic Interferences (EMI), generated and propagated in power electronics converters. In the simulation study, the most accurate presently available models of components of circuit have been used and improved. The proposed Wiener filtering method allows to identifying the transfer...
-
The Hopf theorem for gradient local vector fields on manifolds
PublicationWe prove the Hopf theorem for gradient local vector fields on manifolds, i.e., we show that there is a natural bijection between the set of gradient otopy classes of gradient local vector fields and the integers if the manifold is connected Riemannian without boundary.
-
No-local-broadcasting theorem for multipartite quantum correlations
PublicationWe prove that the correlations present in a multipartite quantum state have an operational quantum character even if the state is unentangled, as long as it does not simply encode a multipartite classical probability distribution. Said quantumness is revealed by the new task of local broadcasting, i.e., of locally sharing preestablished correlations, which is feasible if and only if correlations are stricly classical. Our operational...
-
On the Peano Theorem for Some Functional Differential Equations on Time Scale
PublicationThe Peano Theorem for some functional differential equations on time scale is proved. Assumptions are of Caratheodory type. Two counter examples for false Peano theorems in the literature are presented.
-
On the theorem of Tverberg
Publication -
About the Noether’s theorem for fractional Lagrangian systems and a generalization of the classical Jost method of proof
PublicationRecently, the fractional Noether's theorem derived by G. Frederico and D.F.M. Torres in [10] was proved to be wrong by R.A.C. Ferreira and A.B. Malinowska in (see [7]) using a counterexample and doubts are stated about the validity of other Noether's type Theorem, in particular ([9],Theorem 32). However, the counterexample does not explain why and where the proof given in [10] does not work. In this paper, we make a detailed analysis...
-
Wiener Studien
Journals -
Arithmetic Loophole in Bell's Theorem: Overlooked Threat to Entangled-State Quantum Cryptography
PublicationBell’s theorem is supposed to exclude all local hidden-variable models of quantum correlations. However,an explicit counterexample shows that a new class of local realistic models, based on generalized arith-metic and calculus, can exactly reconstruct rotationally symmetric quantum probabilities typical oftwo-electron singlet states. Observable probabilities are consistent with the usual arithmetic employedby macroscopic observers...
-
Wiener Filtering Applied to Conducted EMI Estimation in Soft Switching Inverter
PublicationW artykule tym przedstawiono metodę szacowania poziomu zaburzeń elektromagnetycznych przewodzonych generowanych w miekko-przełączalnym falowniku napięcia. Wykorzystano metodę filtracji Wienera, gdzie wykorzystano skończoną liczbę filtrów Wienera jako odzwierciedlenie wszystkich warunków generacji i propagacji zaburzeń. Do określenia transmitancji filtrów wykorzystano przebiegi napięć na zaciskach łączników energoelektronicznych...
-
Bernstein-type theorem for ϕ-Laplacian
PublicationIn this paper we obtain a solution to the second-order boundary value problem of the form \frac{d}{dt}\varPhi'(\dot{u})=f(t,u,\dot{u}), t\in [0,1], u\colon \mathbb {R}\to \mathbb {R} with Sturm–Liouville boundary conditions, where \varPhi\colon \mathbb {R}\to \mathbb {R} is a strictly convex, differentiable function and f\colon[0,1]\times \mathbb {R}\times \mathbb {R}\to \mathbb {R} is continuous and satisfies a suitable growth...
-
Shift invariant operators and a saturation theorem.
PublicationPraca jest kontynuacją wcześniejszych dwóch prac wydanych w Appl. Math. w latach 2001 i 2002. Główny wynik dotyczy wygładzania specjalnego ciągu zbieżnego słabo, tak iż dostajemy ciąg zbieżny w normie supremum.
-
A Noether theorem for stochastic operators on Schatten classes
PublicationWe prove that a stochastic (Markov) operator S acting on a Schatten class C_1 satisfies the Noether condition S'(A) = A and S'(A^2) = A^2, where A is a Hermitian bounded linear operator on a complex Hilbert space H, if and only if, S(E(G)XE(G)) = E(G)S(X)E(G) holds true for every Borel subset G of the real line R, where E(G) denotes the orthogonal projection coming from the spectral resolution of A. Similar results are obtained...
-
WIENER TIERARZTLICHE MONATSSCHRIFT
Journals -
WIENER KLINISCHE WOCHENSCHRIFT
Journals -
Wiener slawistischer Almanach
Journals -
Wiener Humanistische Blätter
Journals -
WIENER MEDIZINISCHE WOCHENSCHRIFT
Journals -
Application of Mazur-Orlicz`s theorem in AMISE calculation
PublicationW pracy podano nowe wyprowadzenie formuły asymptotycznej błędu aproksymacji dla operatorów całkowych w przestrzeniach niezmienniczych na przesunięcia. Obliczono asymptotykę błędu średniokwakratowego dla estymatora gęstości.
-
Effective residue-to-binary converter with the Chinese Remainder Theorem
PublicationKonwersja liczb z systemu resztowego do systemu binarnego jest podstawową operacją we wszystkich układach cyfrowego przetwarzania sygnałów, które wykorzystują system resztowy. W niniejszej pracy zaproponowano nową metodę konwersji opartą o chińskie twierdzenie o resztach dla modułów 5- i 6-bitowych. Specyficzną cechą nowej metody jest sposób obliczania tzw. współczynnika nadmiaru w formule chińskiego twierdzenia o resztach, co...
-
The Hopf type theorem for equivariant gradient local maps
PublicationWe construct a degree-type otopy invariant for equivariant gradient local maps in the case of a real finite-dimensional orthogonal representation of a compact Lie group. We prove that the invariant establishes a bijection between the set of equivariant gradient otopy classes and the direct sum of countably many copies of Z.
-
New aspects of the use of Optical Theorem in the analysis of microcavity lasers
Publication -
Mazur-Orlicz theorem and asymptotic formula for the error in supreme norm.
PublicationObliczono formułę asymptotyczną błędu interpolacji dla normy supremum.
-
RNS reverse converter based on the new chinese remainder theorem.
PublicationPrzeanalizowano złożoność układu cyfrowego opartego na nowej odmianie chińskiego twierdzenia o resztach.
-
Imitating Quantum Probabilities: Beyond Bell’s Theorem and Tsirelson Bounds
PublicationLocal hidden-variable model of singlet-state correlations discussed in M. Czachor, Acta Phys. Polon. A 139, 70, is shown to be a particular case of an infinite hierarchy of local hidden-variable models based on an infinite hierarchy of calculi. Violation of Bell-type inequalities can be interpreted as a `confusion of languages' problem, a result of mixing different but neighboring levels of the hierarchy. Mixing of non-neighboring...
-
Wiener Jahrbuch für Kunstgeschichte
Journals -
Fast rns scaling of signed numbers based on the chinese remainder theorem
PublicationPrzedstawiono architekturę szybkiego skalera resztowego dla liczb ze znakiem dla modułów 5-bitowych opartego na chińskim twierdzeniu o resztach. W architekturze zastosowano wyznaczanie projekcji ortogonalnych przy użyciu funkcji logicznych 5 zmiennych, sumator kodulo m/k oraz wejściowy konwerter do systemu resztowego. Operacja modulo m/k jest wykonywana przy zastosowaniu drzewa 4-operandowych sumatorów modulo 2m/k i końcowego...
-
Optical theorem helps understand thresholds of lasing in open semiconductor microcavities
Publication -
Optical Theorem Helps Understand Thresholds of Lasing in Microcavities With Active Regions
Publication -
An improved high-speed residue-to-binary converter based on the chinese remainder theorem
Publicationw pracy zaprezentowano nowy szybki konwerter z systemu resztowego do systemu binarnego. Projekcje ortogonalne wyznaczane są przy użyciu funkcji logicznych pięciu zmiennych. Suma projekcji obliczana jest z zastosowaniem drzewa Wallace'a. Wektor sumy i wektor przeniesienia są dzielone na segmenty tak aby liczba reprezentowana łącznie przez obydwa segmenty o młodszych wagach nie przekraczała zakresu systemu resztowego,M. Bity segmentów...
-
FPGA realization of the high-speed residue-to-binary converter based on the Chinese Remainder Theorem
Publication...
-
FPGA realization of the high-speed residue-to-binary converter based on chinese remainder theorem
PublicationW pracy przedstawiono architekturę, realizację FPGA oraz symulację numeryczną na poziomie bitowym szybkiego konwertera z systemu resztowego do systemu binarnego dla modułów 5-bitowych opartego na chińskim twierdzeniu o resztach. Algorytm konwertera obejmuje obliczanie projekcji ortogonalnych poprzez odczyt pamięci oraz sumowanie modulo M realizowane dwustopniowo, pierwszy stopień oparty o sumatory CSA umożliwia redukcję do zakresu...
-
RNS reverse high-speed converter with quasi-regular structure based on the Chinese Remainder Theorem
PublicationPrzedstawiono dwie nowe architektury szybkiego konwertera z systemuresztowego do systemu binarnego oparte o chińskie tw. o resztach. Zastosowano nowe struktury 4-operandowych sumatorów modulo 2M. Pierwsza ze struktur oparta jest o wstępne sumowanie najstarszych bitów wektorów sumy i przeniesienia na wyjściu sumatora CSA, natomiast druga o bezpośrednie wykrywanie przekroczenia 2M. Konwerter wykorzystujący drugą ze struktur charakteryzuje...
-
FPGA implementation of reverse residue conversion based on the new Chinese Remainder Theorem II- Part I
PublicationW pracy opisano implementację algorytmu konwersji z systemu resztowego do systemu binarnego opartą na nowej formie chińskiego twierdzenia o resztach określanego jako CRT II.Nowa forma CRT nie wymaga operacji modulo M , gdzie M jest zakresem liczbowym systemu resztowego, jednak wymagana jest pewna liczba mnożników. W środowisku FPGA jest zwykle dostępne są mnożniki, stąd mogą być one wykorzystane do realizacji konwertera. Głównym...
-
Derivation of the scaling laws used in geotechnical centrifuge modelling-application of dimensional analysis and Buckingham Π theorem
PublicationGeotechnical centrifuge modelling has been a world-wide used technology in physical tests. In this paper a derivation of scaling laws by dimensional analysis for the centrifugal modelling is presented. Basic principles of centrifuge modelling are described. Scaling laws for slow events like consolidation and fast events like dynamic loads are shown. The differences in scale factors for both processes are noticed. The aim of this...
-
Wiener Zeitschrift zur Geschichte der Neuzeit
Journals -
FPGA implementation of reverse residue conversion based on the new Chinese Remainder Theorem II- Part II,- Experimantal results
PublicationW pracy opisano realizację sprzętową konwertera z systemu resztowego do systemu binarnego. Konwerter jest oparty na nowej formie chińskiego twierdzenia o resztach CRT II. Teoretyczne aspekty takiej konwersji przedstawiono w części I. Implementację konwertera wykonano w środowisku Xilinx FPGA. Zaprezentowano ogólną architekturę konwertera, a także opisano realizację wybranych bloków. Podano ilość koniecznych zasobów sprzętowych...
-
Wiener Zeitschrift für die Kunde des Morgenlandes
Journals -
Analytical Methods for Causality Evaluation of Photonic Materials
PublicationWe comprehensively review several general methods and analytical tools used for causality evaluation of photonic materials. Our objective is to call to mind and then formulate, on a mathematically rigorous basis, a set of theorems which can answer the question whether a considered material model is causal or not. For this purpose, a set of various distributional theorems presented in literature is collected as the distributional...
-
Marek Czachor prof. dr hab.
People -
International Workshops on First-Order Theorem Proving
Conferences -
International Conference on Theorem Proving with Analytic Tableaux and Related Methods
Conferences -
Conference on Interactive Theorem Proving (previously TPHOLs, changed in 2009)
Conferences -
Conducted EMI Propagation Paths in DC-AC Hard Switching Converter
PublicationIn order to limit the electromagnetic interference (EMI) in power electronics devices, knowledge about the phenomena connected with EMI generation and propagation is necessary. This papers describes the propagation paths in the 3 phase voltage source inverter using wide-band simulation and laboratory test with the signal processing method Wiener filtering, where the transfer functions between voltage across switches and the perturbation...
-
Rating by detection: an artifact detection protocol for rating EEG quality with average event duration
PublicationQuantitative evaluation protocols are critical for the development of algorithms that remove artifacts from real EEG optimally. However, visually inspecting the real EEG to select the top-performing artifact removal pipeline is infeasible while hand-crafted EEG data allow assessing artifact removal configurations only in a simulated environment. This study proposes a novel, principled approach for quantitatively evaluating algorithmically...
-
Functional delay fractional equations
PublicationIn this paper, we discuss functional delay fractional equations. A Banach fixed point theorem is applied to obtain the existence (uniqueness) theorem. We also discuss such problems when a delay argument has a form α(t) = αt, 0 < α < 1, by Rusing the method of successive approximations. Some existence results are also formulated in this case. An example illustrates the main result.