Testing Linear-Invariant Non-Linear Properties

We consider the task of testing properties of Boolean functions that are invariant under linear transformations of the Boolean cube. Previous work in property testing, including the linearity test and the test for Reed-Muller codes, has mostly focused on such tasks for linear properties. The one exception is a test due to Green for "triangle freeness": a function f:\cube^{n}\to\cube satisfies this property if $f(x),f(y),f(x+y)$ do not all equal 1, for any pair x,y\in\cube^{n}. Here we extend this test to a more systematic study of testing for linear-invariant non-linear properties. We consider properties that are described by a single forbidden pattern (and its linear transformations), i.e., a property is given by $k$ points v_{1},...,v_{k}\in\cube^{k} and f:\cube^{n}\to\cube satisfies the property that if for all linear maps L:\cube^{k}\to\cube^{n} it is the case that $f(L(v_{1})),...,f(L(v_{k}))$ do not all equal 1. We show that this property is testable if the underlying matroid specified by $v_{1},...,v_{k}$ is a graphic matroid. This extends Green's result to an infinite class of new properties. Our techniques extend those of Green and in particular we establish a link between the notion of "1-complexity linear systems" of Green and Tao, and graphic matroids, to derive the results.Comment: This is the full version; conference version appeared in the proceedings of STACS 200

The Disjunctive Conception of Perceiving

John McDowell's conception of perceptual knowledge commits him to the claim that if I perceive that P then I am in a position to know that I perceive that P. In the first part of this essay, I present some reasons to be suspicious of this claim - reasons which derive from a general argument against 'luminosity' - and suggest that McDowell can reject this claim, while holding on to almost all of the rest of his conception of perceptual knowledge, by supplementing his existing disjunctive conception of experience with a new disjunctive conception of perceiving. In the second part of the essay, I present some reasons for thinking that one's justification, in cases of perceptual knowledge, consists not in the fact that one perceives that P but in the fact that one perceives such-and-such. I end by suggesting that the disjunctive conception of perceiving should be understood as a disjunctive conception of perceiving such-and-such

How Reasoning Aims at Truth

Many hold that theoretical reasoning aims at truth. In this paper, I ask what it is for reasoning to be thus aim-directed. Standard answers to this question explain reasoning’s aim-directedness in terms of intentions, dispositions, or rule-following. I argue that, while these views contain important insights, they are not satisfactory. As an alternative, I introduce and defend a novel account: reasoning aims at truth in virtue of being the exercise of a distinctive kind of cognitive power, one that, unlike ordinary dispositions, is capable of fully explaining its own exercises. I argue that this account is able to avoid the difficulties plaguing standard accounts of the relevant sort of mental teleology

Bounds for graph regularity and removal lemmas

We show, for any positive integer k, that there exists a graph in which any equitable partition of its vertices into k parts has at least ck^2/\log^* k pairs of parts which are not \epsilon-regular, where c,\epsilon>0 are absolute constants. This bound is tight up to the constant c and addresses a question of Gowers on the number of irregular pairs in Szemer\'edi's regularity lemma. In order to gain some control over irregular pairs, another regularity lemma, known as the strong regularity lemma, was developed by Alon, Fischer, Krivelevich, and Szegedy. For this lemma, we prove a lower bound of wowzer-type, which is one level higher in the Ackermann hierarchy than the tower function, on the number of parts in the strong regularity lemma, essentially matching the upper bound. On the other hand, for the induced graph removal lemma, the standard application of the strong regularity lemma, we find a different proof which yields a tower-type bound. We also discuss bounds on several related regularity lemmas, including the weak regularity lemma of Frieze and Kannan and the recently established regular approximation theorem. In particular, we show that a weak partition with approximation parameter \epsilon may require as many as 2^{\Omega(\epsilon^{-2})} parts. This is tight up to the implied constant and solves a problem studied by Lov\'asz and Szegedy.Comment: 62 page

The critical window for the classical Ramsey-Tur\'an problem

The first application of Szemer\'edi's powerful regularity method was the following celebrated Ramsey-Tur\'an result proved by Szemer\'edi in 1972: any K_4-free graph on N vertices with independence number o(N) has at most (1/8 + o(1)) N^2 edges. Four years later, Bollob\'as and Erd\H{o}s gave a surprising geometric construction, utilizing the isoperimetric inequality for the high dimensional sphere, of a K_4-free graph on N vertices with independence number o(N) and (1/8 - o(1)) N^2 edges. Starting with Bollob\'as and Erd\H{o}s in 1976, several problems have been asked on estimating the minimum possible independence number in the critical window, when the number of edges is about N^2 / 8. These problems have received considerable attention and remained one of the main open problems in this area. In this paper, we give nearly best-possible bounds, solving the various open problems concerning this critical window.Comment: 34 page

Dynamical mean-field approach to materials with strong electronic correlations

We review recent results on the properties of materials with correlated electrons obtained within the LDA+DMFT approach, a combination of a conventional band structure approach based on the local density approximation (LDA) and the dynamical mean-field theory (DMFT). The application to four outstanding problems in this field is discussed: (i) we compute the full valence band structure of the charge-transfer insulator NiO by explicitly including the p-d hybridization, (ii) we explain the origin for the simultaneously occuring metal-insulator transition and collapse of the magnetic moment in MnO and Fe2O3, (iii) we describe a novel GGA+DMFT scheme in terms of plane-wave pseudopotentials which allows us to compute the orbital order and cooperative Jahn-Teller distortion in KCuF3 and LaMnO3, and (iv) we provide a general explanation for the appearance of kinks in the effective dispersion of correlated electrons in systems with a pronounced three-peak spectral function without having to resort to the coupling of electrons to bosonic excitations. These results provide a considerable progress in the fully microscopic investigations of correlated electron materials.Comment: 24 pages, 14 figures, final version, submitted to Eur. Phys. J. for publication in the Special Topics volume "Cooperative Phenomena in Solids: Metal-Insulator Transitions and Ordering of Microscopic Degrees of Freedom

High Antipredatory Efficiency of Insular Lizards: A Warning Signal of Excessive Specimen Collection?

We live-captured lizards on islands in the Gulf of California and the Baja California peninsula mainland, and compared their ability to escape predation. Contrary to expectations, endemic lizard species from uninhabited islands fled from humans earlier and more efficiently than those from peninsular mainland areas. In fact, 58.2% (n = 146) of the lizards we tried to capture on the various islands escaped successfully, while this percentage was only 14.4% (n = 160) on the peninsular mainland. Separate evidence (e.g., proportion of regenerated tails, low human population at the collection areas, etc.) challenges several potential explanations for the higher antipredatory efficiency of insular lizards (e.g., more predation pressure on islands, habituation to humans on the peninsula, etc.). Instead, we suggest that the ability of insular lizards to avoid predators may be related to harvesting by humans, perhaps due to the value of endemic species as rare taxonomic entities. If this hypothesis is correct, predation-related behavioral changes in rare species could provide early warning signals of their over-exploitation, thus encouraging the adoption of conservation measures

"I am NN": A Reconstruction of Anscombe's "The First Person"

This paper develops a way of understanding G.E.M. Anscombe’s essay “The First Person”, at the heart of which are the following two ideas: first, that the point of her essay is to show that it is not possible for anyone to understand what they express with “I” as an Art des Gegebenseins—a way of thinking of an object that constitutes identifying knowledge of which object is being thought of; and second, that the argument through which her essay seeks to show this is itself first personal in character. Understanding Anscombe’s essay in this light has the merit of showing much of what it says to be correct. But it sets us the task of saying what it is that we understand ourselves to express with “I” if not an Art des Gegebenseins, and in particular what it is that we understand ourselves to express with sentences with “I” as subject that might seem to express identity-judgments, such as “I am NN”, and “I am this body”