English
Related papers

Related papers: A note about words which coincide except in one po…

200 papers

Referring to a standard context of voting theory, and to the classic notion of voting situation, here we show that it is possible to observe any arbitrary set of elections' outcomes, no matter how paradoxical it may appear. On this purpose…

Probability · Mathematics 2022-06-01 Emilio De Santis , Fabio Spizzichino

We uncover a close relationship between combinatorial and syntactic proofs for first-order logic (without equality). Whereas syntactic proofs are formalized in a deductive proof system based on inference rules, a combinatorial proof is a…

Logic in Computer Science · Computer Science 2021-04-28 Dominic Hughes , Lutz Straßburger , Jui-Hsuan Wu

Either fibered knots supporting the tight contact structure are unique in their smooth concordance class or there exists a fibered counterexample to the Slice-Ribbon Conjecture.

Geometric Topology · Mathematics 2017-05-17 Kenneth L. Baker

We study FO+, a fragment of first-order logic on finite words, where monadic predicates can only appear positively. We show that there is an FO-definable language that is monotone in monadic predicates but not definable in FO+. This…

Formal Languages and Automata Theory · Computer Science 2024-02-14 Denis Kuperberg

It is shown that the unique representation of positive integers in terms of tribonacci numbers and the unique representation in terms of iterated A, B and C sequences defined from the tribonacci word are equivalent. Two auxiliary…

Number Theory · Mathematics 2020-09-25 Wolfdieter Lang

In this paper we present a new approach to prove effective results in Diophantine approximation. We then use it to prove an effective theorem on the simultaneous approximation of two algebraic numbers satisfying an algebraic equation with…

Number Theory · Mathematics 2020-05-15 Matthias Nickel

This article presents a combinatorial result on indexed languages which was inspired by an attempt to understand the structure of groups with indexed language word problem. We show that a sufficiently long word in an indexed language can be…

Group Theory · Mathematics 2009-09-25 Robert Gilman

This paper provides evidence that weak crossover effects differ in nature between matrix and relative clauses. Fukushima et al. (2024) provided similar evidence, showing that, when various non-structural factors were eliminated English…

Computation and Language · Computer Science 2024-10-04 Haruka Fukushima , Daniel Plesniak , Daisuke Bekki

Using Singular Rescaling We Prove Some Bifurcation Results. This note Presents short proofs for some Bifurcation results which had been appeared with other authors.

Dynamical Systems · Mathematics 2024-04-16 Ali Taghavi

We analyze the unitarity of a modified QED with higher-order terms that violate Lorentz symmetry. We make an explicit calculation to verify unitarity at the one-loop level. As expected we find negative norm states that could in principle…

High Energy Physics - Phenomenology · Physics 2014-03-26 Markos Maniatis , Carlos M. Reyes

These lecture notes provide an introduction to combinatorics on words and its interactions with dynamics, algebra, and arithmetic. The central theme is the notion of low factor complexity for infinite words. We investigate the following…

Combinatorics · Mathematics 2026-03-10 Mélodie Andrieu

It is always possible to decide, with one-sided error, whether two quantum states are the same under a specific unitary transformation. However we show here that it is {\em impossible} to do so if the transformation is anti-linear and…

Quantum Physics · Physics 2007-05-23 Chiu Fan Lee , Neil F. Johnson

Order effects occur when judgments about a hypothesis's probability given a sequence of information do not equal the probability of the same hypothesis when the information is reversed. Different experiments have been performed in the…

Artificial Intelligence · Computer Science 2021-09-24 Catarina Moreira , Jose Acacio de Barros

We verify a confluence result for the rewriting calculus of the linear category introduced in our previous paper. Together with the termination result proved therein, the generalized coherence theorem for linear category is established.…

Category Theory · Mathematics 2021-05-04 Ryu Hasegawa

In this note, we show that a part of [5, Remark 2.2] is not correct. Some conditions are given under which the same holds.

Commutative Algebra · Mathematics 2020-05-18 Rahul Kumar , Atul Gaur

Let $A,B\in B(H)$. We present among others a simple proof of the widely known result stating that if $0\leq A\leq B$, then $\sqrt A\leq \sqrt B$. The same idea is used to prove that if $0\leq A\leq B$ and $A$ is invertible, then $B$ too is…

Functional Analysis · Mathematics 2017-03-13 Mohammed Hichem Mortad

This proof of Godel's first incompleteness theorem doesn't require omega-consistency, nor does it refer to codes of negated sentences as in Rosser's. It begins from where Godel's usual proof ends, and stalks it till it ends proving it.

Logic · Mathematics 2023-08-30 Zuhair A. Al-Johar

Here I share a few notes I used in various course lectures, talks, etc. Some may be just calculations that in the textbooks are more complicated, scattered, or less specific; others may be simple observations I found useful or curious.

Discrete Mathematics · Computer Science 2025-06-17 Leonid A. Levin

The sequence of partial sums of Fibonacci numbers, beginning with $2$, $4$, $7$, $12$, $20$, $33,\dots$, has several combinatorial interpretations (OEIS A000071). For instance, the $n$-th term in this sequence is the number of length-$n$…

Combinatorics · Mathematics 2025-03-17 Erik Bates , Blan Morrison , Mason Rogers , Arianna Serafini , Anav Sood

Learning word embeddings using distributional information is a task that has been studied by many researchers, and a lot of studies are reported in the literature. On the contrary, less studies were done for the case of multiple languages.…

Computation and Language · Computer Science 2020-04-15 Marco Berlot , Evan Kaplan
‹ Prev 1 8 9 10 Next ›