Group Boolean algebras

ＧｒｏｕｐＢｏｏｌｅａｎＡｌｇｅｂｒａｓＷ．Ｂ．ＶａｅａｎｔｈａＫａｎｄａｓａｍｇ（Ｄｅｐｔ．ｏｆＭａｔｈ．，ＩｎｄｉａｎＩｎｓｔｉｔｕｔｅｏｆＴｅｃｈｎｏｌｏｇｙ，Ｉｎｄｉａ）ＧｒｏｕｐＢｏｏｌｅａｎＡｌｇｅｂｒａｓ／Ｗ．Ｂ．ＶａｅａｎｔｈａＫａｎ...     

Δ20-categoricity in Boolean algebras and linear orderings

We characterize Δ₂⁰-categoricity in Boolean algebras and linear orderings under some extra effectiveness conditions. We begin with a study of the relativized notion in these structures.     

An inverse cavity problem for Maxwellʼs equations

Consider the scattering of a time-harmonic electromagnetic plane wave by an open cavity embedded in a perfect electrically conducting infinite ground plane, where the electromagnetic wave propagation is governed by the Maxwell equations. The upper half-space is filled with a lossless homogeneous medium above the flat ground surface; while the interior of the cavity is assumed to be filled with a lossy homogeneous medium accounting for the energy absorption. The inverse problem is to determine the cavity structure or the shape of the cavity from the tangential trace of the electric field measured on the aperture of the cavity. In this paper, results on a global uniqueness and a local stability are established for the inverse problem. A crucial step in the proof of the stability is to obtain the existence and characterization of the domain derivative of the electric field with respect to the shape of the cavity.     

The Fourier–Stieltjes transform of Minkowskiʼs ?(x) function and an affirmative answer to Salemʼs problem

By using structural and asymptotic properties of the Kontorovich–Lebedev transform associated with Minkowski?s question mark function, we give an affirmative answer to the question posed by R. Salem (Trans. Amer. Math. Soc. 53 (3) (1943) 439) whether its Fourier–Stieltjes transform vanishes at infinity.     

On Waringʼs problem for systems of skew-symmetric forms

This paper is devoted to a problem of finding the smallest positive integer s(m,n,k)$s(m,n,k)$ such that (m+1)$(m+1)$ generic skew-symmetric (k+1)$(k+1)$-forms in (n+1)$(n+1)$ variables as linear combinations of the same s(m,n,k)$s(m,n,k)$ decomposable skew-symmetric (k+1)$(k+1)$-forms.     

Fulkersonʼs Conjecture and Loupekine snarks

Fulkersonʼs Conjecture says that every bridgeless cubic graph has six perfect matchings such that each edge belongs to exactly two of them. In 1976, F. Loupekine created a method for constructing new snarks from already known ones. We consider an infinite family of snarks built with Loupekineʼs method, and verify Fulkersonʼs Conjecture for this family.     

Nakajimaʼs remark on Hennʼs proof

We fill up a gap in Hennʼs proof concerning large automorphism groups of function fields of degree 1 over an algebraically closed field of positive characteristic.     

Hedetniemi’s Conjecture and Dense Boolean Lattices

The category D{\mathcal{D}} of finite directed graphs is Cartesian closed, hence it has a product and exponential objects. For a fixed K, let K^DK^{\mathcal{D}} be the class of all directed graphs of the form K ^G , preordered by the existence of homomorphisms, and factored by homomorphic equivalence. It has long been known that K^DK^{\mathcal{D}} is always a Boolean lattice. In this paper we prove that for any complete graph K _n with n ≥ 3, K_n^DK_n^{\mathcal{D}} is dense, hence up to isomorphism it is the unique countable dense Boolean lattice. In graph theory, the structure of K_n^DK_n^{\mathcal{D}} is connected to the conjecture of Hedetniemi on the chromatic number of a categorical product of graphs.     

Baumgartnerʼs conjecture and bounded forcing axioms

We study the spectrum of forcing notions between the iterations of σ-closed followed by ccc forcings and the proper forcings. This includes the hierarchy of α-proper forcings for indecomposable countable ordinals α, the Axiom A forcings and forcings completely embeddable into an iteration of a σ-closed followed by a ccc forcing. For the latter class, we present an equivalent characterization in terms of Baumgartner?s Axiom A. This resolves a conjecture of Baumgartner from the 1980s.     

Perverse equivalences and Brouéʼs conjecture

We give a new approach to the construction of derived equivalences between blocks of finite groups, based on perverse equivalences, in the setting of Broué?s abelian defect group conjecture. We provide in particular local and global perversity data describing the principal blocks and the derived equivalences for a number of finite simple groups with Sylow subgroups elementary abelian of order 9. We also examine extensions to automorphism groups in a general setting.     

Fischer determinantal inequalities and Highamʼs Conjecture

We obtain a Fischer type determinantal inequality for matrices with given angular numerical range. We discuss the growth factor for Gaussian elimination for linear systems in which the coefficient matrix has this form and give a proof of Higham?s Conjecture.     

Perspective in Leibnizʼs invention of Characteristica Geometrica: The problem of Desarguesʼ influence

During his whole life, Leibniz attempted to elaborate a new kind of geometry devoted to relations and not to magnitudes, based on space and situation, independent of shapes and quantities, and endowed with a symbolic calculus. Such a “geometric characteristic” shares some elements with the perspective geometry: they both are geometries of situational relations, founded in a transformation preserving some invariants, using infinity, and constituting a general method of knowledge. Hence, the aim of this paper is to determine the nature of the relation between Leibniz?s new geometry and the works on perspective, namely Desargues? ones.