相关论文: Combinatorial Properties Related to the Higher Bau…
In this note, we prove the existence of a set of $n$-fold Pfister forms of cardinality $2^n$ over $\mathbb{C}(x_1,\dots,x_n)$ which do not share a common $(n-1)$-fold factor. This gives a negative answer to a question raised by Becher. The…
We propose FC, a new logic on words that combines finite model theory with the theory of concatenation - a first-order logic that is based on word equations. Like the theory of concatenation, FC is built around word equations; in contrast…
We show that the Proper Forcing Axiom for forcing notions of size $\aleph_1$ is consistent with the continuum being arbitrarily large. In fact, assuming $GCH$ holds and $\kappa\geq\omega_2$ is a regular cardinal, we prove that there is a…
Given a pure, full-dimensional, locally strongly connected polyhedral complex C with convex support, we characterize, by a local codimension-2 condition, polyhedral complexes that coarsen C. The proof of the characterization draws upon a…
Scattering amplitudes connect theoretical descriptions to experimental predictions. Low energy terms of the scattering amplitude tend to factorize from the high energy. Different methods have already been established to understand the…
Here, we find the characteristics polynomial of normalized Laplacian of a tree. The coefficients of this polynomial are expressed by the higher order general Randi\'c indices for matching, whose values depend on the structure of the tree.…
By using combinatorics, we give a new proof for the recurrence relations of the characteristic polynomial coefficients, and then we obtain an explicit expression for the generic term of the coefficient sequence, which yields the trace…
We show that Martin's axiom for $\omega_1$ dense sets is equivalent to its fragment asserting that every ccc poset has the Knaster property K$_3$. On the other hand, we show that the dimension 3 in K$_3$ is in some sense minimal.
We show the existence of and explicitly construct generic polynomials for various groups, over fields of positive characteristic. The methods we develop apply to a broad class of connected linear algebraic groups defined over finite fields…
We investigate possible quantifications of the Dunford-Pettis property. We show, in particular, that the Dunford-Pettis property is automatically quantitative in a sense. Further, there are two incomparable mutually dual stronger versions…
The linearization coefficients for a set of orthogonal polynomials are given explicitly as a weighted sum of combinatorial objects. Positivity theorems of Askey and Szwarc are corollaries of these expansions.
A hyperplane arrangement is called formal provided all linear dependencies among the defining forms of the hyperplanes are generated by ones corresponding to intersections of codimension two. The significance of this notion stems from the…
I characterize the combinatorially complete pargoids (partial applicative systems) by expandability with two constants that satisfy the well-known identities. An example shows that this class contains more than just the reducts of partial…
We generalize the celebrated Fr\"{o}berg's theorem to embedded joins of copies of a simplicial complex, namely higher secant complexes to the simplicial complex, in terms of property $N_{q+1,p}$ due to Green and Lazarsfeld. Furthermore, we…
We study two types of unique continuation properties for the higher order Schr\"{o}dinger equation with potential $$ i\partial_tu=(-\Delta_x)^mu+V(t,x)u,\quad(t,x)\in\mathbb{R}^{1+n},\,2\leq m\in\mathbb{N}_+. $$ The first one says if $u$…
In this paper we prove that for a fixed neat principal congruence subgroup of a Bianchi group the order of the torsion part of its second cohomology group with coefficients in an integral lattice associated to the m-th symmetric power of…
We settle an old question about the existence of certain "sums-of-squares" formulas over a field F (which are the simplest examples of composition formulas for quadratic forms). A classical theorem says that if such a formula exists over a…
Let $\alpha>0$, $\beta>\alpha$, and let $X_1,\ldots, X_q$ be $\mathscr{C}^{\alpha}_{\mathrm{loc}}$ vector fields on a $\mathscr{C}^{\alpha+1}$ manifold which span the tangent space at every point, where $\mathscr{C}^{s}$ denotes the…
We analyze a few illustrative examples of scenarios in which relativistic symmetries are deformed by Planck-scale effects in particle-type-dependent manner. The novel mathematical structures required by such scenarios are the mixing…
Every partition of [[omega_1]^{< omega}]^2 into finitely many pieces has a cofinal homogeneous set. Furthermore, it is consistent that every directed partially ordered set satisfies the partition property if and only if it has finite…