Related papers: Counter-examples to the minimal model theory in ch…

Suppose l=2m+1, m>0. We introduce m "theta-series", [1],...,[m], in Z/2[[x]]. It has been conjectured that the n for which the coefficient of x^n in 1/[i] is 1 form a set of density 0. This is probably always false, but in certain cases,…

This appendix shows that the Fundamental lemma of Jacquet-Rallis, proved by Zhiwei Yun in the positive charactersitic case, is also true in characteristic zero, when residue characteristic is sufficiently large. In fact, this follows…

We give counterexamples to Okounkov's log-concavity conjecture for Littlewood-Richardson coefficients.

Extending the discovery by Giles Gardam of a concrete counterexample to Kaplansky's unit conjecture in characteristic 2, a family of counterexamples for every prime characteristic is presented.

We study the failure of the Lipman-Zariski conjecture in positive characteristic. For rational double points, the conjecture holds true except for a short finite list of exceptions. For log canonical surface singularities, the conjecture…

Normalization fails in type theory with an impredicative universe of propositions and a proof-irrelevant propositional equality. The counterexample to normalization is adapted from Girard's counterexample against normalization of System F…

In this paper, we show that the Alperin-McKay conjecture holds for 2-blocks of maximal defect. A major step in the proof is the verification of the inductive Alperin-McKay condition for the principal 2-block of groups of Lie type in odd…

The common cause principle for two random variables $A$ and $B$ is examined in the case of causal insufficiency, when their common cause $C$ is known to exist, but only the joint probability of $A$ and $B$ is observed. As a result, $C$…

We propose analogs of the classical Generalized Riemann Hypothesis and the Generalized Simplicity Conjecture for the characteristic p L-series associated to function fields over a finite field. These analogs are based on the use of absolute…

We introduce the notions of triviality and order-triviality for global invariant types in an arbitrary first-order theory and show that they are well behaved in the NIP context. We show that these two notions agree for invariant global…

The paper presents a counterexample to the Hodge conjecture.

We discuss the ACC conjecture and the LSC conjecture for minimal log discrepancies of generalized pairs. We prove that some known results on these two conjectures for usual pairs are still valid for generalized pairs. We also discuss the…

We give an infinite class of counterexamples to the Gotsman-Linial conjecture when d = 2. On the other hand, we establish an asymptotic form of the conjecture for quadratic threshold functions whose non-zero quadratic terms define a graph…

We establish the H\"{o}lder estimate and the asymptotic behavior at infinity for $K$-quasiconformal mappings over exterior domains in $\mathbb{R}^2$. As a consequence, we prove an exterior Bernstein type theorem for fully nonlinear…

In preparing the paper "Some extensions of Hilbert-Kunz multiplicity", we had occasion to perform an intricate set of computations pertaining to a single illustrative example. In the end, we have decided not to include the computations in…

In this note we give several counterexamples. One shows that small energy majorization on bi-tree fails. The second counterexample shows that partial energy estimate always valid on a usual tree by a trivial reason (and with constant $C=1$)…

We describe a new source of counterexamples to the so-called integral Hodge and integral Tate conjectures. As in the other known counterexamples to the integral Tate conjecture over finite fields, ours are approximations of the classifying…

If T has only countably many complete types, yet has a type of infinite multiplicity then there is a ccc forcing notion Q such that, in any Q --generic extension of the universe, there are non-isomorphic models M_1 and M_2 of T that can be…

We apply the Inclusion-Exclusion Principle to a unique pair of prime number subsequences to determine whether these subsequences form a small set or a large set and thus whether the infinite sum of the inverse of their terms converges or…

We show that there is no theory that is minimal with respect to interpretability among recursively enumerable essentially undecidable theories.