Search results for " Mathematica"

Characters and Sylow 2-subgroups of maximal class revisited

2018

Abstract We give two ways to distinguish from the character table of a finite group G if a Sylow 2-subgroup of G has maximal class. We also characterize finite groups with Sylow 3-subgroups of order 3 in terms of their principal 3-block.

Kirkman's tetrahedron and the fifteen schoolgirl problem

2011

We give a visual construction of two solutions to Kirkman's fifteen schoolgirl problem by combining the fifteen simplicial elements of a tetrahedron. Furthermore, we show that the two solutions are nonisomorphic by introducing a new combinatorial algorithm. It turns out that the two solutions are precisely the two nonisomorphic arrangements of the 35 projective lines of PG(3,2) into seven classes of five mutually skew lines. Finally, we show that the two solutions are interchanged by the canonical duality of the projective space.

A non-linear Bishop–Phelps–BollobÁs type theorem

2018

The Equationally-Defined Commutator in Quasivarieties Generated by Two-Element Algebras

2018

The notion of the equationally-defined commutator was introduced and thoroughly investigated in (Czelakowski, 2015). In this work the properties of the equationally-defined commutator in quasivarieties generated by two-element algebras are examined. It is proved: If a quasivariety Q is generated by a finite set of two-element algebras, then the equationally-defined commutator of Q is additive (Theorem 3.1) Moreover it satisfies the associativity law (Theorem 3.6). The second result is strengthened if the quasivariety is generated by a single two-element algebra 2: If Q = SP(2), then the equationally-defined commutator of Q universally validates one of the following laws: [x,y] = x^y or [x,y…

Existence, uniqueness and comparison results for BSDEs with Lévy jumps in an extended monotonic generator setting

2018

We show existence of a unique solution and a comparison theorem for a one-dimensional backward stochastic differential equation with jumps that emerge from a L\'evy process. The considered generators obey a time-dependent extended monotonicity condition in the y-variable and have linear time-dependent growth. Within this setting, the results generalize those of Royer (2006), Yin and Mao (2008) and, in the $L^2$-case with linear growth, those of Kruse and Popier (2016). Moreover, we introduce an approximation technique: Given a BSDE driven by Brownian motion and Poisson random measure, we consider BSDEs where the Poisson random measure admits only jumps of size larger than $1/n$. We show con…

Nonlinear Nonhomogeneous Robin Problems with Almost Critical and Partially Concave Reaction

2020

We consider a nonlinear Robin problem driven by a nonhomogeneous differential operator, with reaction which exhibits the competition of two Caratheodory terms. One is parametric, $$(p-1)$$-sublinear with a partially concave nonlinearity near zero. The other is $$(p-1)$$-superlinear and has almost critical growth. Exploiting the special geometry of the problem, we prove a bifurcation-type result, describing the changes in the set of positive solutions as the parameter $$\lambda >0$$ varies.

A Lebesgue-type decomposition for non-positive sesquilinear forms

2018

A Lebesgue-type decomposition of a (non necessarily non-negative) sesquilinear form with respect to a non-negative one is studied. This decomposition consists of a sum of three parts: two are dominated by an absolutely continuous form and a singular non-negative one, respectively, and the latter is majorized by the product of an absolutely continuous and a singular non-negative forms. The Lebesgue decomposition of a complex measure is given as application.

Determining a Random Schrödinger Operator : Both Potential and Source are Random

2020

We study an inverse scattering problem associated with a Schr\"odinger system where both the potential and source terms are random and unknown. The well-posedness of the forward scattering problem is first established in a proper sense. We then derive two unique recovery results in determining the rough strengths of the random source and the random potential, by using the corresponding far-field data. The first recovery result shows that a single realization of the passive scattering measurements uniquely recovers the rough strength of the random source. The second one shows that, by a single realization of the backscattering data, the rough strength of the random potential can be recovered…

Towards new solutions for scientific computing: the case of Julia

2018

This year marks the consolidation of Julia (https://julialang.org/), a programming language designed for scientific computing, as the first stable version (1.0) has been released, in August 2018. Among its main features, expressiveness and high execution speeds are the most prominent: the performance of Julia code is similar to statically compiled languages, yet Julia provides a nice interactive shell and fully supports Jupyter; moreover, it can transparently call external codes written in C, Fortran, and even Python and R without the need of wrappers. The usage of Julia in the astronomical community is growing, and a GitHub organization named JuliaAstro takes care of coordinating the devel…

Crowd-Averse Cyber-Physical Systems: The Paradigm of Robust Mean-Field Games

2016

For a networked controlled system, we illustrate the paradigm of robust mean-field games. This is a modeling framework at the interface of differential game theory, mathematical physics, and $H_{\infty}$ - optimal control that tries to capture the mutual influence between a crowd and its individuals. First, we establish a mean-field system for such games including the effects of adversarial disturbances. Second, we identify the optimal response of the individuals for a given population behavior. Third, we provide an analysis of equilibria and their stability.