title: A causal role of sensory cortices in behavioral benefits of 'learning by doing'

abstract: Despite a rise in the use of "learning by doing" pedagogical methods in praxis, little is known as to how these methods improve learning outcomes. Here we show that visual association cortex causally contributes to performance benefits of a learning by doing method. This finding derives from transcranial magnetic stimulation (TMS) and a gesture-enriched foreign language (L2) vocabulary learning paradigm performed by 22 young adults. Inhibitory TMS of visual motion cortex reduced learning outcomes for abstract and concrete gesture-enriched words in comparison to sham stimulation. There were no TMS effects on words learned with pictures. These results adjudicate between opposing predictions of two neuroscientific learning theories: While reactivation-based theories predict no functional role of visual motion cortex in vocabulary learning outcomes, the current study supports the predictive coding theory view that specialized sensory cortices precipitate sensorimotor-based learning benefits.


title: Refine and Distill: Exploiting Cycle-Inconsistency and Knowledge Distillation for Unsupervised Monocular Depth Estimation

abstract: Nowadays, the majority of state of the art monocular depth estimation techniques are based on supervised deep learning models. However, collecting RGB images with associated depth maps is a very time consuming procedure. Therefore, recent works have proposed deep architectures for addressing the monocular depth prediction task as a reconstruction problem, thus avoiding the need of collecting ground-truth depth. Following these works, we propose a novel self-supervised deep model for estimating depth maps. Our framework exploits two main strategies: refinement via cycle-inconsistency and distillation. Specifically, first a \emph{student} network is trained to predict a disparity map such as to recover from a frame in a camera view the associated image in the opposite view. Then, a backward cycle network is applied to the generated image to re-synthesize back the input image, estimating the opposite disparity. A third network exploits the inconsistency between the original and the reconstructed input frame in order to output a refined depth map. Finally, knowledge distillation is exploited, such as to transfer information from the refinement network to the student. Our extensive experimental evaluation demonstrate the effectiveness of the proposed framework which outperforms state of the art unsupervised methods on the KITTI benchmark.


title: Security, Performance and Energy Trade-offs of Hardware-assisted Memory Protection Mechanisms

abstract: The deployment of large-scale distributed systems, e.g., publish-subscribe platforms, that operate over sensitive data using the infrastructure of public cloud providers, is nowadays heavily hindered by the surging lack of trust toward the cloud operators. Although purely software-based solutions exist to protect the confidentiality of data and the processing itself, such as homomorphic encryption schemes, their performance is far from being practical under real-world workloads. The performance trade-offs of two novel hardware-assisted memory protection mechanisms, namely AMD SEV and Intel SGX - currently available on the market to tackle this problem, are described in this practical experience. Specifically, we implement and evaluate a publish/subscribe use-case and evaluate the impact of the memory protection mechanisms and the resulting performance. This paper reports on the experience gained while building this system, in particular when having to cope with the technical limitations imposed by SEV and SGX. Several trade-offs that provide valuable insights in terms of latency, throughput, processing time and energy requirements are exhibited by means of micro- and macro-benchmarks.


title: Amenability and Orlicz Figa-Talamanca Herz Algebras

abstract: In this paper, we characterize the amenablity of locally compact groups in terms of the properties of the Orlicz Figa-Talamanca Herz algebras.


title: Incentives in Ethereum's Hybrid Casper Protocol

abstract: We present an overview of hybrid Casper the Friendly Finality Gadget (FFG): a Proof-of-Stake checkpointing protocol overlaid onto Ethereum's Proof-of-Work blockchain. We describe its core functionalities and reward scheme, and explore its properties. Our findings indicate that Casper's implemented incentives mechanism ensures liveness, while providing safety guarantees that improve over standard Proof-of-Work protocols. Based on a minimal-impact implementation of the protocol as a smart contract on the blockchain, we discuss additional issues related to parametrisation, funding, throughput and network overhead and detect potential limitations.


title: Covariant Poisson's equation in torsional Newton-Cartan gravity

abstract: We derive the covariant Poisson's equation of (d+1)-dimensional Newton-Cartan gravity with (twistless) torsion by applying the `non-relativistic conformal method' introduced in arXiv:1512.06277. We apply this method on-shell to a Schr\"odinger field theory on the curved Newton-Hooke background. The covariance of the field equation in the presence of the non-relativistic cosmological constant, entails fixing all coefficients in the covariant Poisson's equation for (twistless) torsional Newton-Cartan gravity. We further derive Ehlers conditions and an equation associated to the torsion in this method.


title: Distributed deep learning for robust multi-site segmentation of CT imaging after traumatic brain injury

abstract: Machine learning models are becoming commonplace in the domain of medical imaging, and with these methods comes an ever-increasing need for more data. However, to preserve patient anonymity it is frequently impractical or prohibited to transfer protected health information (PHI) between institutions. Additionally, due to the nature of some studies, there may not be a large public dataset available on which to train models. To address this conundrum, we analyze the efficacy of transferring the model itself in lieu of data between different sites. By doing so we accomplish two goals: 1) the model gains access to training on a larger dataset that it could not normally obtain and 2) the model better generalizes, having trained on data from separate locations. In this paper, we implement multi-site learning with disparate datasets from the National Institutes of Health (NIH) and Vanderbilt University Medical Center (VUMC) without compromising PHI. Three neural networks are trained to convergence on a computed tomography (CT) brain hematoma segmentation task: one only with NIH data,one only with VUMC data, and one multi-site model alternating between NIH and VUMC data. Resultant lesion masks with the multi-site model attain an average Dice similarity coefficient of 0.64 and the automatically segmented hematoma volumes correlate to those done manually with a Pearson correlation coefficient of 0.87,corresponding to an 8% and 5% improvement, respectively, over the single-site model counterparts.


title: Radiative generation of realistic neutrino mixing with $A4$

abstract: Radiative generation of realistic mixing in neutrino sector is studied at one-loop level in a scotogenic $A4\times Z_2$ symmetric framework. A scheme of obtaining non-zero $\theta_{13}$ through small mass splitting in right-handed neutrino sector is proposed. The model consists of three right-handed neutrinos, two of which were required to be degenerate in masses to yield the common structure of the left-handed neutrino mass matrix that corresponds to $\theta_{13}=0$, $\theta_{23}=\pi/4$ and any $\theta_{12}^0$ in particular the choices specific to the Tribimaximal (TBM), Bimaximal (BM) and Golden Ratio (GR) mixings. Non-zero $\theta_{13}$, deviations of $\theta_{23}$ from maximality and small corrections to the solar mixing angle $\theta_{12}$ can be generated in one stroke by shifting from this degeneracy in the right-handed neutrino sector by a small amount. The lightest among the three $Z_2$ odd inert $SU(2)_L$ doublet scalars present in the model can be a potential dark matter candidate.


title: Parametric inference with universal function approximators

abstract: Universal function approximators, such as artificial neural networks, can learn a large variety of target functions arbitrarily well given sufficient training data. This flexibility comes at the cost of the ability to perform parametric inference. We address this gap by proposing a generic framework based on the Shapley-Taylor decomposition of a model. A surrogate parametric regression analysis is performed in the space spanned by the Shapley value expansion of a model. This allows for the testing of standard hypotheses of interest. At the same time, the proposed approach provides novel insights into statistical learning processes themselves derived from the consistency and bias properties of the nonparametric estimators. We apply the framework to the estimation of heterogeneous treatment effects in simulated and real-world randomised experiments. We introduce an explicit treatment function based on higher-order Shapley-Taylor indices. This can be used to identify potentially complex treatment channels and help the generalisation of findings from experimental settings. More generally, the presented approach allows for a standardised use and communication of results from machine learning models.


title: Picard groups, pull back and class groups

abstract: Let $S$ be a certain affine algebraic surface over $\mathbb{Q}$ such that it admits a regular map to $\mathbb{A}^2/\mathbb{Q}$. We show that any non-trivial torsion line bundle in the relative Picard group $Pic^0\left(S/\mathbb{A}^2\right)$ can be pulled back to ideal classes of quadratic fields whose order can be made sufficiently large. This gives an affirmative answer to a question raised by Agboola and Pappas, in case of affine algebraic surfaces. For a closed point $P\in \mathbb{A}^2/\mathbb{Q}$, we show that the cardinality of a subgroup of the Picard group of the fiber $S_P$ remains unchanged when $P$ varies over a Zarisky open subset in $\mathbb{A}^2$. We also show by constructing an element of odd order $n\geq 3$ in the class group of certain imaginary quadratic fields that the Picard group of $S_P$ has a subgroup isomorphic to $\mathbb{Z}/n\mathbb{Z}$.


title: Affine term structure models : a time-changed approach with perfect fit to market curves

abstract: We address the so-called calibration problem which consists of fitting in a tractable way a given model to a specified term structure like, e.g., yield or default probability curves. Time-homogeneous jump-diffusions like Vasicek or Cox-Ingersoll-Ross (possibly coupled with compounded Poisson jumps, JCIR), are tractable processes but have limited flexibility; they fail to replicate actual market curves. The deterministic shift extension of the latter (Hull-White or JCIR++) is a simple but yet efficient solution that is widely used by both academics and practitioners. However, the shift approach is often not appropriate when positivity is required, which is a common constraint when dealing with credit spreads or default intensities. In this paper, we tackle this problem by adopting a time change approach. On the top of providing an elegant solution to the calibration problem under positivity constraint, our model features additional interesting properties in terms of implied volatilities. It is compared to the shift extension on various credit risk applications such as credit default swap, credit default swaption and credit valuation adjustment under wrong-way risk. The time change approach is able to generate much larger volatility and covariance effects under the positivity constraint. Our model offers an appealing alternative to the shift in such cases.


title: A structure-preserving discontinuous Galerkin scheme for the Fischer-KPP equation

abstract: An implicit Euler discontinuous Galerkin scheme for the Fisher-Kolmogorov-Petrovsky-Piscounov (Fisher-KPP) equation for population densities with no-flux boundary conditions is suggested and analyzed. Using an exponential variable transformation, the numerical scheme automatically preserves the positivity of the discrete solution. A discrete entropy inequality is derived, and the exponential time decay of the discrete density to the stable steady state in the L1 norm is proved if the initial entropy is smaller than the measure of the domain. The discrete solution is proved to converge in the L2 norm to the unique strong solution to the time-discrete Fisher-KPP equation as the mesh size tends to zero. Numerical experiments in one space dimension illustrate the theoretical results.


title: Weighted Voting on the Blockchain: Improving Consensus in Proof of Stake Protocols

abstract: Proof of Stake (PoS) protocols rely on voting mechanisms to reach consensus on the current state. If an enhanced majority of staking nodes, also called validators, agree on a proposed block, then this block is appended to the blockchain. Yet, these protocols remain vulnerable to faults caused by validators who abstain either accidentally or maliciously. To protect against such faults while retaining the PoS selection and reward allocation schemes, we study weighted voting in validator committees. We formalize the block creation process and introduce validators' voting profiles which we update by a multiplicative weights algorithm relative to validators' voting behavior and aggregate blockchain rewards. Using this framework, we leverage weighted majority voting rules that optimize collective decision making to show, both numerically and analytically, that the consensus mechanism is more robust if validators' votes are appropriately scaled. We raise potential issues and limitations of weighted voting in trustless, decentralized networks and relate our results to the design of current PoS protocols.


title: How far away must forced letters be so that squares are still avoidable?

abstract: We describe a new non-constructive technique to show that squares are avoidable by an infinite word even if we force some letters from the alphabet to appear at certain occurrences. We show that as long as forced positions are at distance at least 19 (resp. 3, resp. 2) from each other then we can avoid squares over 3 letters (resp. 4 letters, resp. 6 or more letters). We can also deduce exponential lower bounds on the number of solutions. For our main Theorem to be applicable, we need to check the existence of some languages and we explain how to verify that they exist with a computer. We hope that this technique could be applied to other avoidability questions where the good approach seems to be non-constructive (e.g., the Thue-list coloring number of the infinite path).


title: Earth-Moon VLBI project. Modeling of scientific outcome

abstract: Modern radio astrometry has reached the limit of the resolution that is determined by the size of the Earth. The only way to overcome that limit is to create the radio telescopes outside our planet. It is proposed to build an autonomous remote-controlled radio observatory on the Moon. Working together with the existing radio telescopes on Earth in the VLBI mode, the new observatory will form an interferometer baseline up to 410000 km, enhancing the present astrometric and geodetic capabilities of VLBI. We perform numerical simulations of Earth-Moon VLBI observations operating simultaneously with the international VLBI network. It is shown that these observations will significantly improve the precision of determination of Moon's orbital motion, libration angles, ICRF, and relativistic parameters.


title: Three-body problem with velocity-dependent optical potentials: a case of $(d,p)$ reactions

abstract: The change in mass of a nucleon, arising from its interactions with other nucleons inside the target, results in velocity-dependent terms in the Schr\"odinger equation that describes nucleon scattering. It has recently been suggested in a number of publications that introducing and fitting velocity-dependent terms improves the quality of the description of nucleon scattering data for various nuclei. The present paper discusses velocity-dependent optical potentials in a context of a three-body problem used to account for deuteron breakup in the entrance channel of $(d,p)$ reactions. Such potentials form a particular class of nonlocal optical potentials which are a popular object of modern studies. It is shown here that because of a particular structure of the velocity-dependent terms the three-body problem can be formulated in two different ways. Solving this problem within an adiabatic approximation results in a significant difference between the two approaches caused by contributions from the high $n$-$p$ momenta in deuteron in one of them. Solving the three-body problem beyond the adiabatic approximation may remove such contributions, which is indirectly confirmed by replacing the adiabatic approximation by the folding Watanabe model where such contributions are suppressed. Discussion of numerical results is carried out for the $^{40}$Ca($d,p)^{41}$Ca reaction where experimental data both on elastic scattering in entrance and exit channels and on nucleon transfer are available.


title: Surface plasmon polaritons on rough metal surfaces: Understanding the formation of laser induced periodic surface structures in metals

abstract: The formation of self-organized laser induced periodic surface structures (LIPSS) in metals, semiconductors and dielectrics upon pulsed laser irradiation is a well-known phenomenon, receiving increased attention due to its huge technological potential. For the case of metals, a major role in this process is played by surface plasmon polaritons (SPPs) propagating at the interface of the metal with the medium of incidence. Yet, simple and advanced models based on SPP propagation sometimes fail to explain experimental results, even of basic features as the LIPSS period. We experimentally demonstrate, for the particular case of LIPSS on Cu, that significant deviations of the structure period from the predictions of the standard model are observed, which are very pronounced for elevated angles of laser incidence. In order to explain this deviation, we introduce a model based on the propagation of a SPP on a rough surface that takes into account the influence of the specific roughness properties on the SPP wave vector. Good agreement of the modelling results with the experimental data is observed, which highlights the potential of this model for the general understanding of LIPSS in other metals.


title: Spectral Distortions of the CMB as a Probe of Inflation, Recombination, Structure Formation and Particle Physics

abstract: Following the pioneering observations with COBE in the early 1990s, studies of the cosmic microwave background (CMB) have focused on temperature and polarization anisotropies. CMB spectral distortions - tiny departures of the CMB energy spectrum from that of a perfect blackbody - provide a second, independent probe of fundamental physics, with a reach deep into the primordial Universe. The theoretical foundation of spectral distortions has seen major advances in recent years, which highlight the immense potential of this emerging field. Spectral distortions probe a fundamental property of the Universe - its thermal history - thereby providing additional insight into processes within the cosmological standard model (CSM) as well as new physics beyond. Spectral distortions are an important tool for understanding inflation and the nature of dark matter. They shed new light on the physics of recombination and reionization, both prominent stages in the evolution of our Universe, and furnish critical information on baryonic feedback processes, in addition to probing primordial correlation functions at scales inaccessible to other tracers. In principle the range of signals is vast: many orders of magnitude of discovery space could be explored by detailed observations of the CMB energy spectrum. Several CSM signals are predicted and provide clear experimental targets, some of which are already observable with present-day technology. Confirmation of these signals would extend the reach of the CSM by orders of magnitude in physical scale as the Universe evolves from the initial stages to its present form. The absence of these signals would pose a huge theoretical challenge, immediately pointing to new physics.


title: Thyr: A Volumetric Ray-Marching Tool for Simulating Microwave Emission

abstract: Gyrosynchrotron radiation is produced by solar flares, and can be used to infer properties of the accelerated electrons and magnetic field of the flaring region. This microwave emission is highly dependent on many local plasma parameters, and the viewing angle. To correctly interpret observations, detailed simulations of the emission are required. Additionally, gyrosynchrotron emission from the chromosphere has been largely ignored in modelling efforts, and recent studies have shown the importance of thermal emission at millimetric wavelengths. Thyr is a new tool for modelling microwave emission from three-dimensional flaring loops with spatially varying atmosphere and increased resolution in the lower corona and chromosphere. Thyr is modular and open-source, consisting of separate components to compute the thermal and non-thermal microwave emission coefficients and perform three-dimensional radiative transfer (in local thermodynamic equilibrium). The radiative transfer integral is computed by a novel ray-marching technique to efficiently compute the contribution of many volume elements. This technique can also be employed on a variety of astrophysics problems. Herein we present a review of the theory of gyrosynchrotron radiation, and two simulations of identical flare loops in low- and high-resolution performed with Thyr, with a spectral imaging analysis of differing regions. The high-resolution simulation presents a spectral hardening at higher frequencies. This hardening originates around the top of the chromosphere due to the strong convergence of the magnetic field, and is not present in previous models due to insufficient resolution. This hardening could be observed with a coordinated flare observation from active radio observatories.


title: Topological Indices of Proteins

abstract: Protein molecules can be approximated by discrete polygonal chains of amino acids. Standard topological tools can be applied to the smoothening of the polygons to introduce a topological classification of proteins, for example, using the self-linking number of the corresponding framed curves. In this paper we add new details to the standard classification. Known definitions of the self-linking number apply to non-singular framings: for example, the Frenet framing cannot be used if the curve has inflection points. Meanwhile in the discrete proteins the special points are naturally resolved. Consequently, a separate integer topological characteristics can be introduced, which takes into account the intrinsic features of the special points. For large number of proteins we compute integer topological indices associated with the singularities of the Frenet framing. We show how a version of the Calugareanu's theorem is satisfied for the associated self-linking number of a discrete curve. Since the singularities of the Frenet framing correspond to the structural motifs of proteins, we propose topological indices as a technical tool for the description of the folding dynamics of proteins.


title: Maximum pseudo-likelihood estimation based on estimated residuals in copula semiparametric models

abstract: This paper deals with a situation when one is interested in the dependence structure of a multidimensional response variable in the presence of a multivariate covariate. It is assumed that the covariate affects only the marginal distributions through regression models while the dependence structure, which is described by a copula, is unaffected. A parametric estimation of the copula function is considered with focus on the maximum pseudo-likelihood method. It is proved that under some appropriate regularity assumptions the estimator calculated from the residuals is asymptotically equivalent to the estimator based on the unobserved errors. In such case one can ignore the fact that the response is first adjusted for the effect of the covariate. A Monte Carlo simulation study explores (among others) situations where the regularity assumptions are not satisfied and the claimed result does not hold. It shows that in such situations the maximum pseudo-likelihood estimator may behave poorly and the moment estimation of the copula parameter is of interest. Our results complement the results available for nonparametric estimation of the copula function.


title: A linear magnetic flux-to-voltage transfer function of differential DC SQUID

abstract: A superconducting quantum interference device with differential output or "DSQUID" was proposed earlier for operation in the presence of large common-mode signals. The DSQUID is the differential connection of two identical SQUIDs. Here we show that besides suppression of electromagnetic interference this device provides effective linearization of DC SQUID voltage response. In the frame of the resistive shunted junction model with zero capacitance, we demonstrate that Spur-Free Dynamic Range (SFDR) of DSQUID magnetic flux-to-voltage transfer function is higher than SFDR > 100 dB while Total Harmonic Distortion (THD) of a signal is less than THD < $10^{-3}\%$ with a peak-to-peak amplitude of a signal being a quarter of half flux quantum, $2\Phi_a = \Phi_0/8$. Analysis of DSQUID voltage response stability to a variation of the circuit parameters shows that DSQUID implementation allows doing highly linear magnetic flux-to-voltage transformation at the cost of a high identity of Josephson junctions and high-precision current supply.


title: Confidence Interval for Quantile Ratio of the Dagum Distribution

abstract: In economic research inequality measures based on ratios of quantiles are frequently applied to the analysis of income distributions. In the paper, we construct a confidence interval for such measures under the Dagum distribution which has been widely assumed as a~model for income distributions in empirical analyses Its properties are investigated on the basis of computer simulations. The constructed confidence interval is applied to the analysis of inequality income in Poland in 2015.


title: Seismic modelling of early B-type pulsators observed by BRITE: I. $\theta$ Ophiuchi

abstract: We analyse time-series observations from the BRITE-Constellation of the well known $\beta$ Cephei type star $\theta$ Ophiuchi. Seven previously known frequencies were confirmed and nineteen new frequency peaks were detected. In particular, high-order g modes, typical for the SPB (Slowly Pulsating B-type star) pulsators, are uncovered. These low-frequency modes are also obtained from the 7-year SMEI light curve. If g modes are associated with the primary component of $\theta$ Oph, then our discovery allows, as in the case of other hybrid pulsators, to infer more comprehensive information on the internal structure. To this aim we perform in-depth seismic studies involving simultaneous fitting of mode frequencies, reproducing mode instability and adjusting the relative amplitude of the bolometric flux variations. To explain the mode instability in the observed frequency range a significant increase of the mean opacity in the vicinity of the $Z$-bump is needed. Moreover, constraints on mass, overshooting from the convective core and rotation are derived. If the low-frequency modes come from the speckle B5 companion then taking into account the effects of rotation is enough to explain the pulsational mode instability.


title: $\operatorname{SL}(n)$ invariant valuations on super-coercive convex functions

abstract: All non-negative, continuous, $\operatorname{SL}(n)$ and translation invariant valuations on the space of super-coercive, convex functions on $\mathbb{R}^n$ are classified. Furthermore, using the invariance of the function space under the Legendre transform, a classification of non-negative, continuous, $\operatorname{SL}(n)$ and dually translation invariant valuations is obtained. In both cases, different functional analogs of the Euler characteristic, volume and polar volume are characterized.


title: The Shortest Confidence Interval for the Ratio of Quantiles of the Dagum Distribution

abstract: J\k{e}drzejczak et al. (2018) constructed a confidence interval for a ratio of quantiles coming from the Dagum distribution, which is frequently applied as a theoretical model in numerous income distribution analyses. The proposed interval is symmetric with respect to the ratio of sample quantiles, which result may be unsatisfactory in many practical applications. The search for a confidence interval with a smaller length led to the derivation of the shortest interval with the ends being asymmetric relative to the ratio of sample quantiles. In the paper, the existence of the shortest confidence interval is shown and the method of obtaining such an interval is presented. The results of the calculation show a reduction in the length of the confidence intervals by several percent in relation to the symmetric confidence interval.


title: Pluralistic Image Completion

abstract: Most image completion methods produce only one result for each masked input, although there may be many reasonable possibilities. In this paper, we present an approach for \textbf{pluralistic image completion} -- the task of generating multiple and diverse plausible solutions for image completion. A major challenge faced by learning-based approaches is that usually only one ground truth training instance per label. As such, sampling from conditional VAEs still leads to minimal diversity. To overcome this, we propose a novel and probabilistically principled framework with two parallel paths. One is a reconstructive path that utilizes the only one given ground truth to get prior distribution of missing parts and rebuild the original image from this distribution. The other is a generative path for which the conditional prior is coupled to the distribution obtained in the reconstructive path. Both are supported by GANs. We also introduce a new short+long term attention layer that exploits distant relations among decoder and encoder features, improving appearance consistency. When tested on datasets with buildings (Paris), faces (CelebA-HQ), and natural images (ImageNet), our method not only generated higher-quality completion results, but also with multiple and diverse plausible outputs.


title: The Crank-Nicholson type compact difference scheme for a loaded time-fractional Hallaire's equation

abstract: In this paper, we study loaded modified diffusion equation (the Hallaire equation with the fractional derivative with respect to time). The compact finite difference scheme of Crank-Nicholson type of higher order is developed for approximating the stated problem on uniform grids. A priori estimates are obtained in difference and differential interpretations, from which there follow uniqueness, stability, and convergence of the solution of the difference problem to solution of the differential problem with the rate $\mathcal{O}(h^4+\tau^{2-\alpha}.)$ Proposed theoretical calculations are confirmed by numerical experiments on test problem.


title: Instance- and Category-level 6D Object Pose Estimation

abstract: 6D object pose estimation is an important task that determines the 3D position and 3D rotation of an object in camera-centred coordinates. By utilizing such a task, one can propose promising solutions for various problems related to scene understanding, augmented reality, control and navigation of robotics. Recent developments on visual depth sensors and low-cost availability of depth data significantly facilitate object pose estimation. Using depth information from RGB-D sensors, substantial progress has been made in the last decade by the methods addressing the challenges such as viewpoint variability, occlusion and clutter, and similar looking distractors. Particularly, with the recent advent of convolutional neural networks, RGB-only based solutions have been presented. However, improved results have only been reported for recovering the pose of known instances, i.e., for the instance-level object pose estimation tasks. More recently, state-of-the-art approaches target to solve object pose estimation problem at the level of categories, recovering the 6D pose of unknown instances. To this end, they address the challenges of the category-level tasks such as distribution shift among source and target domains, high intra-class variations, and shape discrepancies between objects.


title: Roof fall hazard due to blasting activity in the light of numerical modeling and underground measurements

abstract: One of the major problems associated with exploitation of the copper ore deposit in underground mines in Poland is the local disturbance in a state of stable equilibrium manifested in a sudden release of strain energy stored in the deformed rock mass. It occurs mainly in the form of dynamic events which may result in rockbursts and roof falls. In order to face this threats, a number of organisational and technical prevention methods are applied in mines. It should be also noted that the greatest difficulties with the roof control are observed in the vicinity of active mining fronts, where the highest deformations are observed. The detonation of explosives generates a propagating shock wave which may cause a serious damage to a material body that is encountered on its way. Thus, a number of doubts during the mining operation emerged, that simultaneous firing of group of mining faces may have the negative impact on the condition of applied roof support and condition of roof strata as well The article discusses geomechanical influence of multi-faces blasting on immediate roof strata condition through the mutual comparison of the instrumented bolts monitoring data and the computer simulations results. The numerically assessed stress/strain field in the near vicinity of the blasting works operation has proved to be in close agreement with the field measured data. In the considered mining conditions both the numerical approach and field strain/stress monitoring indicated the low effect of production blasting on the immediate roof fall potential.


title: The Neumann problem for a class of fully nonlinear elliptic partial differential equations

abstract: In this paper, we establish a global $C^2$ estimates to the Neumann problem for a class of fullly nonlinear elliptic equations. By the method of continuity, we establish the existence theorem of $k$-admissible solutions of the Neumann problems.


title: Seismic peak partcile velocity and acceleration response to mining faces firing in a light of numerical modeling and underground measurements

abstract: Extraction of the copper ore deposit in the Legnica-Glogow Copper Basin in Poland is usually associated with high seismic activity. In order to face this threats, a number of organizational and technical prevention methods are utilized, from which blasting works seem to be the most effective. A significant number of recorded dynamic events may be clearly and directly explained by the effects of this approach. It is also expected, that the simultaneous firing of a number of mining faces may provide the amplification of vibrations in a specific location chosen within the rock mass. For better recognition of a such process, formation of an elastic wave generated by the detonation of explosives in a single mining face have been evaluated using the numerical tools and verified by the field measurements of ground particle velocity and acceleration parameters, i.e. PPV and PPA parameters. The primary objective of presented paper was to find the bridge between numerical simulations of the time-dependent seismic particle velocity values induced by blasting and in situ measurements using seismic three component geophones


title: InceptionGCN: Receptive Field Aware Graph Convolutional Network for Disease Prediction

abstract: Geometric deep learning provides a principled and versatile manner for the integration of imaging and non-imaging modalities in the medical domain. Graph Convolutional Networks (GCNs) in particular have been explored on a wide variety of problems such as disease prediction, segmentation, and matrix completion by leveraging large, multimodal datasets. In this paper, we introduce a new spectral domain architecture for deep learning on graphs for disease prediction. The novelty lies in defining geometric 'inception modules' which are capable of capturing intra- and inter-graph structural heterogeneity during convolutions. We design filters with different kernel sizes to build our architecture. We show our disease prediction results on two publicly available datasets. Further, we provide insights on the behaviour of regular GCNs and our proposed model under varying input scenarios on simulated data.


title: Analysis of tensor approximation schemes for continuous functions

abstract: In this article, we analyze tensor approximation schemes for continuous functions. We assume that the function to be approximated lies in an isotropic Sobolev space and discuss the cost when approximating this function in the continuous analogue of the Tucker tensor format or of the tensor train format. We especially show that the cost of both approximations are dimension-robust when the Sobolev space under consideration provides appropriate weights.


title: Similarity Learning via Kernel Preserving Embedding

abstract: Data similarity is a key concept in many data-driven applications. Many algorithms are sensitive to similarity measures. To tackle this fundamental problem, automatically learning of similarity information from data via self-expression has been developed and successfully applied in various models, such as low-rank representation, sparse subspace learning, semi-supervised learning. However, it just tries to reconstruct the original data and some valuable information, e.g., the manifold structure, is largely ignored. In this paper, we argue that it is beneficial to preserve the overall relations when we extract similarity information. Specifically, we propose a novel similarity learning framework by minimizing the reconstruction error of kernel matrices, rather than the reconstruction error of original data adopted by existing work. Taking the clustering task as an example to evaluate our method, we observe considerable improvements compared to other state-of-the-art methods. More importantly, our proposed framework is very general and provides a novel and fundamental building block for many other similarity-based tasks. Besides, our proposed kernel preserving opens up a large number of possibilities to embed high-dimensional data into low-dimensional space.


title: Note on the semiampleness theorem for the log canonical divisors on klt varieties which are nef and abundant

abstract: We give another alternative proof to the Kawamata semiampleness theorem for the log canonical divisors on klt varieties which are nef and abundant. After the first version of this article was posted to the e-print Arxiv, Prof. Fujino notified the author that the quick and essential proof ([Fujino. On Kawamata's theorem.(EMS 2011), Rem 2.7]) is already known. The author would like to thank him. More precisely, Prof. Fujino already gave the quick and essential proof ([Fujino. On Kawamata's thm.(EMS 2011), Rem 2.7], [Fujino. Finite generation of the lc ring in dim 4. (Kyoto J. Math. 50 (2010)), Rem 3.15]) from the finite generation thm (Birkar-Cascini-Hacon-McKernan [BCHM]) of the lc rings for klt pairs and from the fact (cf. Mourougane-Russo [MoRu, C.R.A.S. Math. 325 (1997)]) that a nef and abundant $\mathbf{Q}$-divisor $D$ is semiample if its graded ring is finitely generated:"For a nef and abundant lc divisor which is klt, the lc ring is finitely generated, thus it is semiample." [BCHM] first proved that the minimal model program runs for big klt lc divisors and next implied the finite generation of the lc rings for klt lc divisors which are not necessarily big from the Fujino-Mori lc bdle formula ([FM, J. Differential Geom., 56 (2000)]). Mourougane-Russo [MoRu] implies the semiampleness of a nef and abundant $\mathbf{Q}$-divisor whose graded ring is finitely generated, using the Kawamata numerically trivial fibrations ([Kawamata. Pluricanonical systems. Invent. Math. 79 (1985)]). Consequently the author withdraw the article.


title: Comparing the Properties of GMCs in M33 from Simulations and Observations

abstract: We compare the properties of clouds in simulated M33 galaxies to those observed in the real M33. We apply a friends of friends algorithm and CPROPS to identify clouds, as well as a pixel by pixel analysis. We obtain very good agreement between the number of clouds, and maximum mass of clouds. Both are lower than occurs for a Milky Way-type galaxy and thus are a function of the surface density, size and galactic potential of M33. We reproduce the observed dependence of molecular cloud properties on radius in the simulations, and find this is due to the variation in gas surface density with radius. The cloud spectra also show good agreement between the simulations and observations, but the exact slope and shape of the spectra depends on the algorithm used to find clouds, and the range of cloud masses included when fitting the slope. Properties such as cloud angular momentum, velocity dispersions and virial relation are also in good agreement between the simulations and observations, but do not necessarily distinguish between simulations of M33 and other galaxy simulations. Our results are not strongly dependent on the level of feedback used here (10 and 20%) although they suggest that 15% feedback efficiency may be optimal. Overall our results suggest that the molecular cloud properties are primarily dependent on the gas and mass surface density, and less dependent on the localised physics such as the details of stellar feedback, or the numerical code used.


title: Counting maximal Lagrangian subbundles over an algebraic curve

abstract: Let $C$ be a smooth projective curve and $W$ a symplectic bundle over $C$. Let $LQ_e (W)$ be the Lagrangian Quot scheme parametrizing Lagrangian subsheaves $E \subset W$ of degree $e$. We give a closed formula for intersection numbers on $LQ_e (W)$. As a special case, for $g \ge 2$, we compute the number of Lagrangian subbundles of maximal degree of a general stable symplectic bundle, when this is finite. This is a symplectic analogue of Holla's enumeration of maximal subbundles in [13].


title: Multiobject fusion with minimum information loss

abstract: Generalized covariance intersection (GCI) has been effective in fusing multiobject densities from multiple agents for multitarget tracking and mapping purposes. From an information-theoretic viewpoint, it has been shown that GCI fusion essentially minimizes the weighted information gain (WIG) from local densities to the fused one. In this paper, the interest is in the fusion rule that dually minimizes the weighted information loss (WIL) and it turns out that such a fusion rule is consistent with the so-called linear opinion pool (LOP). However, the LOP cannot be directly applied to multiobject fusion since the resulting fused multiobject density (FMD), in general, no longer belongs to the same family of the local ones, thus it cannot be utilized as prior information for the next recursion in the context of Bayesian multiobject filtering. In order to overcome such a difficulty, the principle of minimizing WIL is further exploited in that the optimal FMD in the same family of the local ones is looked for. Implementation issues relative to the proposed minimum WIL (MWIL) fusion rule are discussed. Finally, the performance of the MWIL rule is assessed via simulation experiments concerning distributed multitarget tracking over a wireless sensor network.


title: Adaptive Trajectory Planning and Optimization at Limits of Handling

abstract: In this paper, we tackle the problem of trajectory planning and control of a vehicle under locally varying traction limitations, in the presence of suddenly appearing obstacles. We employ concepts from adaptive model predictive control for run-time adaptation of tire force constraints that are imposed by local traction conditions. To solve the resulting optimization problem for real-time control synthesis with such time varying constraints, we propose a novel numerical scheme based on Real Time Iteration Sequential Quadratic Programming (RTI-SQP), which we call Sampling Augmented Adaptive RTI (SAA-RTI). Sampling augmentation of conventional RTI-SQP provides additional feasible candidate trajectories for warmstarting the optimization procedure. Thus, the proposed SAA-RTI algorithm enables real time constraint adaptation and reduces sensitivity to local minima. Through extensive numerical simulations we demonstrate that our method increases the vehicle's capacity to avoid accidents in scenarios with unanticipated obstacles and locally varying traction, compared to equivalent non-adaptive control schemes and traditional planning and tracking approaches.


title: A nonsmooth optimization approach for hemivariational inequalities with applications in Contact Mechanics

abstract: In this paper we introduce an abstract nonsmooth optimization problem and prove existence and uniqueness of its solution. We present a numerical scheme to approximate this solution. The theory is later applied to a sample static contact problem describing an elastic body in frictional contact with a foundation. This contact is governed by a nonmonotone friction law with dependence on normal and tangential components of displacement. Finally, computational simulations are performed to illustrate obtained results.


title: Explicit formula for Schroedinger wave operators on the half-line for potentials up to optimal decay

abstract: We give an explicit formula for the wave operators for Schroedinger operators on the half-line with a potential decaying strictly faster than the polynomial of degree minus two. The formula consists of the main term given by the scattering operator and a function of the generator of the dilation group, and a Hilbert-Schmidt remainder term. Our method is based on the elementary construction of the generalized Fourier transform in terms of the solutions of the Volterra integral equations. As a corollary, a topological interpretation of Levinson's theorem is established via an index theorem approach.


title: Auto-Vectorizing TensorFlow Graphs: Jacobians, Auto-Batching And Beyond

abstract: We propose a static loop vectorization optimization on top of high level dataflow IR used by frameworks like TensorFlow. A new statically vectorized parallel-for abstraction is provided on top of TensorFlow, and used for applications ranging from auto-batching and per-example gradients, to jacobian computation, optimized map functions and input pipeline optimization. We report huge speedups compared to both loop based implementations, as well as run-time batching adopted by the DyNet framework.


title: Four-Fermion Interaction Model on $\mathcal{M}^{D-1} \otimes S^1$

abstract: Four-fermion interaction models are often used as simplified models of interacting fermion fields with the chiral symmetry. The chiral symmetry is dynamically broken for a larger four-fermion coupling. It is expected that the broken symmetry is restored under extreme conditions. In this paper, the finite size effect on the chiral symmetry breaking is investigated in the four-fermion interaction model. We consider the model on a flat spacetime with a compactified spatial coordinate, $\mathcal{M}^{D-1} \otimes S^1$ and obtain explicit expressions of the effective potential for arbitrary spacetime dimensions in the leading order of the $1/N$ expansion. Evaluating the effective potential, we show the critical lines which divide the symmetric and the broken phase and the sign-flip condition for the Casimir force.


title: Expansion of the strongly interacting superfluid Fermi gas: symmetries and self-similar regimes

abstract: We consider an expansion of the strongly interacting superfluid Fermi gas in a vacuum, assuming absence of the trapping potential, in the so-called unitary regime (see, for instance, \cite{pitaevskii2008superfluid}) when the chemical potential $\mu \propto \hbar^2n^{2/3}/m$ where $n$ is the density of the Bose-Einstein condensate of Cooper pairs of fermionic atoms. In low temperatures, $T\to 0$, such expansion can be described in the framework of the Gross-Pitaevskii equation (GPE). Because of the chemical potential dependence on the density, $\sim n^{2/3}$, the GPE has additional symmetries, resulting in the existence of the virial theorem \cite% {vlasov1971averaged}, connecting the mean size of the gas cloud and its Hamiltonian. It leads asymptotically at $t\to\infty$ to the gas cloud expansion, linearly growing in time. We study such asymptotics, and reveal the perfect match between the quasi-classical self-similar solution and the asymptotic expansion of the non-interacting gas. This match is governed by the virial theorem, derived through utilizing the Talanov transformation \cite{talanov1970focusing}, which was first obtained for the stationary self-focusing of light in media with a cubic nonlinearity due to the Kerr effect. In the quasi-classical limit, the equations of motion coincide with 3D hydrodynamics for the perfect monoatomic gas with $\gamma=5/3$. Their self-similar solution describes, on the background of the gas expansion, the angular deformities of the gas shape in the framework of the Ermakov--Ray--Reid type system.


title: Manifold Mixup improves text recognition with CTC loss

abstract: Modern handwritten text recognition techniques employ deep recurrent neural networks. The use of these techniques is especially efficient when a large amount of annotated data is available for parameter estimation. Data augmentation can be used to enhance the performance of the systems when data is scarce. Manifold Mixup is a modern method of data augmentation that meld two images or the feature maps corresponding to these images and the targets are fused accordingly. We propose to apply the Manifold Mixup to text recognition while adapting it to work with a Connectionist Temporal Classification cost. We show that Manifold Mixup improves text recognition results on various languages and datasets.


title: Koopman analysis of isolated fronts and solitons

abstract: A Koopman decomposition of a complex system leads to a representation in which nonlinear dynamics appear to be linear. The existence of a linear framework with which to analyse nonlinear dynamical systems brings new strategies for prediction and control, while the approach is straight-forward to apply to large datasets owing to a connection with dynamic mode decomposition (DMD). However, it can be challenging to connect the output of DMD to a Koopman analysis since there are relatively few analytical results available, while the DMD algorithm itself is known to struggle in situations involving the propagation of a localised structure through the domain. Motivated by these issues, we derive a series of Koopman decompositions for localised, finite-amplitude solutions of classical nonlinear PDEs. We first demonstrate that nonlinear travelling wave solutions to both the Burgers and KdV equations have two Koopman decompositions; one of which converges upstream and another which converges the other downstream of the soliton or front. We then use the inverse scattering transform to derive a full Koopman decomposition for (pure soliton) solutions to the KdV equation, identifying Koopman eigenvalues, eigenfunctions and modes. Our analysis indicates that there are many possible Koopman decompositions when the solution involves the interaction of multiple solitons. The existence of multiple expansions in space and time has a critical impact on the ability of DMD to extract Koopman eigenvalues and modes - which must be performed within a temporally and spatially localised window to correctly identify the separate expansions. In addition, we provide evidence that these features may be generic for isolated nonlinear structures by applying DMD to a moving breather solution of the sine-Gordon equation.


title: Spin-glass state and reversed magnetic anisotropy induced by Cr doping in the Kitaev magnet $\alpha$-RuCl$_3$

abstract: Magnetic properties of the substitution series Ru$_{1-x}$Cr$_x$Cl$_3$ were investigated to determine the evolution from the anisotropic Kitaev magnet $\alpha$-RuCl$_3$ with $J_{\rm eff} = 1/2$ magnetic Ru$^{3+}$ ions to the isotropic Heisenberg magnet CrCl$_3$ with $S = 3/2$ magnetic Cr$^{3+}$ ions. Magnetization measurements on single crystals revealed a reversal of the magnetic anisotropy under doping, which we argue to arise from the competition between anisotropic Kitaev and off-diagonal interactions on the Ru-Ru links and approximately isotropic Cr-Ru and isotropic Cr-Cr interactions. In addition, combined magnetization, ac susceptibility and specific-heat measurements clearly show the destabilization of the long-range magnetic order of $\alpha$-RuCl$_3$ in favor of a spin-glass state of Ru$_{1-x}$Cr$_x$Cl$_3$ for a low doping of $x\backsimeq0.1$. The corresponding freezing temperature as a function of Cr content shows a broad maximum around $x\backsimeq0.45$.


title: Highway traffic data: macroscopic, microscopic and criticality analysis for capturing relevant traffic scenarios and traffic modeling based on the highD data set

abstract: This work provides a comprehensive analysis on naturalistic driving behavior for highways based on the highD data set. Two thematic fields are considered. First, some macroscopic and microscopic traffic statistics are provided. These include the traffic flow rate and the traffic density, as well as velocity, acceleration and distance distributions. Additionally, the dependencies to each other are examined and compared to related work. The second part investigates the distributions of criticality measures. The Time-To-Collision, Time-Headway and a third measure, which couples both, are analyzed. These measures are also combined with other indicators. Scenarios, in which these measures reach a critical level, are separately discussed. The results are compared to related work as well. The two main contributions of this work can be stated as follows. First, the analysis on the criticality measures can be used to find suitable thresholds for rare traffic scenarios. Second, the statistics provided in this work can also be utilized for traffic modeling, for example in simulation environments.


title: Transparent nonlinear networks

abstract: We consider the reflectionless transport of solitons in networks. The system is modeled in terms of the nonlinear Schr\"odinger equation on metric graphs, for which transparent boundary conditions at the branching points are imposed. This allows to derive simple constraints, which link equivalent usual Kirchhoff-type vertex conditions to the transparent ones. Our approach is applied to a metric star graph. An extension to more complicated graph topologies is straight forward.

categories: nlin.PS cond-mat.supr-con math-ph math.MP nlin.SI physics.optics


title: Techno-Economic Analysis and Optimal Control of Battery Storage for Frequency Control Services, Applied to the German Market

abstract: Optimal investment in battery energy storage systems, taking into account degradation, sizing and control, is crucial for the deployment of battery storage, of which providing frequency control is one of the major applications. In this paper, we present a holistic, data-driven framework to determine the optimal investment, size and controller of a battery storage system providing frequency control. We optimised the controller towards minimum degradation and electricity costs over its lifetime, while ensuring the delivery of frequency control services compliant with regulatory requirements. We adopted a detailed battery model, considering the dynamics and degradation when exposed to actual frequency data. Further, we used a stochastic optimisation objective while constraining the probability on unavailability to deliver the frequency control service. Through a thorough analysis, we were able to decrease the amount of data needed and thereby decrease the execution time while keeping the approximation error within limits. Using the proposed framework, we performed a techno-economic analysis of a battery providing 1 MW capacity in the German primary frequency control market. Results showed that a battery rated at 1.6 MW, 1.6 MWh has the highest net present value, yet this configuration is only profitable if costs are low enough or in case future frequency control prices do not decline too much. It transpires that calendar ageing drives battery degradation, whereas cycle ageing has less impact.


title: High-Resolution Hydrogen Spectroscopy and the Proton Radius Puzzle

abstract: High resolution spectroscopy of the hydrogen atom takes on particular importance in the new SI, as it allows to accurately determine fundamental constants, such as the Rydberg constant and the proton charge radius. Recently, the second most precisely measured transition frequency in hydrogen, 1S - 3S, was obtained in our group. In the context of the Proton Radius Puzzle, this result calls for further investigation.


title: A Unified Formulation for Visual Odometry

abstract: Monocular Odometry systems can be broadly categorized as being either Direct, Indirect, or a hybrid of both. While Indirect systems process an alternative image representation to compute geometric residuals, Direct methods process the image pixels directly to generate photometric residuals. Both paradigms have distinct but often complementary properties. This paper presents a Unified Formulation for Visual Odometry, referred to as UFVO, with the following key contributions: (1) a tight coupling of photometric (Direct) and geometric (Indirect) measurements using a joint multi-objective optimization, (2) the use of a utility function as a decision maker that incorporates prior knowledge on both paradigms, (3) descriptor sharing, where a feature can have more than one type of descriptor and its different descriptors are used for tracking and mapping, (4) the depth estimation of both corner features and pixel features within the same map using an inverse depth parametrization, and (5) a corner and pixel selection strategy that extracts both types of information, while promoting a uniform distribution over the image domain. Experiments show that our proposed system can handle large inter-frame motions, inherits the sub-pixel accuracy of direct methods, can run efficiently in real-time, can generate an Indirect map representation at a marginal computational cost when compared to traditional Indirect systems, all while outperforming state of the art in Direct, Indirect and hybrid systems.


title: Large Scale Product Categorization using Structured and Unstructured Attributes

abstract: Product categorization using text data for eCommerce is a very challenging extreme classification problem with several thousands of classes and several millions of products to classify. Even though multi-class text classification is a well studied problem both in academia and industry, most approaches either deal with treating product content as a single pile of text, or only consider a few product attributes for modelling purposes. Given the variety of products sold on popular eCommerce platforms, it is hard to consider all available product attributes as part of the modeling exercise, considering that products possess their own unique set of attributes based on category. In this paper, we compare hierarchical models to flat models and show that in specific cases, flat models perform better. We explore two Deep Learning based models that extract features from individual pieces of unstructured data from each product and then combine them to create a product signature. We also propose a novel idea of using structured attributes and their values together in an unstructured fashion along with convolutional filters such that the ordering of the attributes and the differing attributes by product categories no longer becomes a modelling challenge. This approach is also more robust to the presence of faulty product attribute names and values and can elegantly generalize to use both closed list and open list attributes.


title: S-wave contributions in $\bar B_s^0\to (D^0,\bar D^0)\pi^+\pi^- $ within perturbative QCD approach

abstract: The $\bar B_s^0\to (D^0,\bar D^0) \pi^+\pi^-$ is induced by the $b\to c \bar us$/$b \to u\bar cs$ transition, and can interfere if a CP-eigenstate $D_{\rm CP}$ is formed. The interference contribution is sensitive to the CKM angle $\gamma$. In this work, we study S-wave $\pi^+\pi^-$ contributions to the process in the perturbative QCD factorization. Under the factorization framework, we adopt two-meson light-cone distribution amplitudes, whose normalization is parametrized by the S-wave time-like two-pion form factor with the resonance contributions from $f_0(500)$, $f_0(980),f_0(1500),f_0(1790)$. We find the branching ratios of $\bar B_s^0\to (D^0,\bar D^0) (\pi^+\pi^-)_S$ can reach the order of $10^{-6}$, and significant interferences exist in $\bar B_s^0\to D_{CP} (\pi^+\pi^-)_S$. The future measurement can not only provide useful constraints on the CKM angle $\gamma$ but is also helpful to explore the multi-body decay mechanism of heavy mesons.


title: Bullwhip effect attenuation in supply chain management via control-theoretic tools and short-term forecasts: A preliminary study with an application to perishable inventories

abstract: Supply chain management and inventory control provide most exciting examples of control systems with delays. Here, Smith predictors, model-free control and new time series forecasting techniques are mixed in order to derive an efficient control synthesis. Perishable inventories are also taken into account. The most intriguing "bullwhip effect" is explained and attenuated, at least in some important situations. Numerous convincing computer simulations are presented and discussed.


title: Optimal Entry and Consumption under Habit Formation

abstract: This paper studies a composite problem involving the decision making of the optimal entry time and dynamic consumption afterwards. In stage-1, the investor has access to full market information subjecting to some information costs and needs to choose an optimal stopping time to initiate stage-2; in stage-2, the investor terminates the costly full information acquisition and starts dynamic investment and consumption under partial observations of free public stock prices. The habit formation preference is employed, in which the past consumption affects the investor's current decisions. By using the stochastic Perron's method, the value function of the composite problem is proved to be the unique viscosity solution of some variational inequalities.


title: Energy cascades in active-grid-generated turbulent flows

abstract: The energy cascade and diverse turbulence properties of active-grid-generated turbulence were studied in a wind tunnel via hot-wire anemometry. To this aim, two active grid protocols were considered. The first protocol is the standard triple-random mode, where the grid motors are driven with random rotation rates and directions, which are changed randomly in time. This protocol has been extensively used due to its capacity to produce higher values of $Re_\lambda$ than its passive counter part, with good statistical homogeneity and isotropy. The second protocol was a static or open grid mode, where all grid blades were completely open, yielding the minimum blockage attainable with our grid. Centreline streamwise profiles were measured for both protocols and several inlet velocities. It was found that the turbulent flow generated with the triple-random protocol evolved in the streamwise direction consistently with an energy dissipation scaling of the form $\varepsilon=C_\varepsilon u^{\prime3}/L$, with $C_\varepsilon$ being a constant, $L$ the longitudinal integral length-scale, and $u^\prime$ the rms of the longitudinal velocity fluctuations. Conversely for the open-static grid, the energy dissipation followed a non-equilibrium turbulence scaling, namely, $C_\varepsilon \sim Re_G/Re_L$, where $Re_G$ is a global Reynolds number based on the inlet conditions of the flow, and $Re_L$ is based on the local properties of the flow downstream the grid. Furthermore, this open-static grid mode scaling exhibits important differences with other grids, as the downstream location of the peak of turbulence intensity is a function of the inlet velocity. It was also found that a rather simple theoretical model can predict the value of $C_\varepsilon$ based on the number density of zero-crossings of the longitudinal velocity fluctuations. This theory is valid for both active grid operating protocols.


title: Stability of the Einstein static Universe in Einstein-Cartan-Brans-Dicke gravity

abstract: In the present work we consider the existence and stability of Einstein static {\sf ES} Universe in Brans-Dicke ({\sf BD}) theory with non-vanishing spacetime torsion. In this theory, torsion field can be generated by the {\sf BD} scalar field as well as the intrinsic angular momentum (spin) of matter. Assuming the matter content of the Universe to be a Weyssenhoff fluid, which is a generalization of perfect fluid in general relativity ({\sf GR}) in order to include the spin effects, we find that there exists a stable {\sf ES} state for a suitable choice of the model parameters. We analyze the stability of the solution by considering linear homogeneous perturbations and discuss the conditions under which the solution can be stable against these type of perturbations. Moreover, using dynamical system techniques and numerical analysis, the stability regions of the {\sf ES} Universe are parametrized by the {\sf BD} coupling parameter and first and second derivatives of the {\sf BD} scalar field potential, and it is explicitly shown that a large class of stable solutions exists within the respective parameter space. This allows for non-singular emergent cosmological scenarios where the Universe oscillates indefinitely about an initial {\sf ES} solution and is thus past eternal.


title: Review on DNA Strand Algebra and its Application

abstract: Several technological limitations of traditional silicon based computing are leading towards the paradigm shift, from silicon to carbon, in computational world. Among the unconventional modes of computing evolved in past several decades, DNA computing has been considered to be quite promising in solving computational and reasoning problems by using DNA strands. Along with the sequential operations, the huge parallelism of DNA computing methodologies engaging numerous numbers of DNA strands induce the consideration of concurrent high-level formalisms. In this paper we have reviewed the algebraic explanation of concurrent DNA processes using DNA strand algebra, process calculus and DNA strand graph. We have demonstrated the application of syntax and semantics of the illustrated methodologies in the domains of reasoning and theorem proving with resolution refutation. Finally, we have presented DNA cryptography as one of the prominent areas for the future scope of research work where DNA strand algebra can be used as formal modelling tool to authenticate the security, logic and reasoning of the existing protocols.


title: Whether an enormously large energy density of the quantum vacuum is catastrophic

abstract: The problem of an enormously large energy density of the quantum vacuum is discussed in connection with the concept of renormalization of physical parameters in quantum field theory. Using the method of dimensional regularization, it is recalled that the normal ordering procedure of creation and annihilation operators is equivalent to a renormalization of the cosmological constant leading to its zero and nonzero values in Minkowski space-time and in the standard cosmological model, respectively. It is argued that a frequently discussed gravitational effect, resulting from an enormously large energy density described by the nonrenormalized (bare) cosmological constant, might be nonobservable much like some other bare quantities introduced in the formalism of quantum field theory.


title: Decompositions into isomorphic rainbow spanning trees

abstract: A subgraph of an edge-coloured graph is called rainbow if all its edges have distinct colours. Our main result implies that, given any optimal colouring of a sufficiently large complete graph $K_{2n}$, there exists a decomposition of $K_{2n}$ into isomorphic rainbow spanning trees. This settles conjectures of Brualdi--Hollingsworth (from 1996) and Constantine (from 2002) for large graphs.


title: On Application of Learning to Rank for E-Commerce Search

abstract: E-Commerce (E-Com) search is an emerging important new application of information retrieval. Learning to Rank (LETOR) is a general effective strategy for optimizing search engines, and is thus also a key technology for E-Com search. While the use of LETOR for web search has been well studied, its use for E-Com search has not yet been well explored. In this paper, we discuss the practical challenges in applying learning to rank methods to E-Com search, including the challenges in feature representation, obtaining reliable relevance judgments, and optimally exploiting multiple user feedback signals such as click rates, add-to-cart ratios, order rates, and revenue. We study these new challenges using experiments on industry data sets and report several interesting findings that can provide guidance on how to optimally apply LETOR to E-Com search: First, popularity-based features defined solely on product items are very useful and LETOR methods were able to effectively optimize their combination with relevance-based features. Second, query attribute sparsity raises challenges for LETOR, and selecting features to reduce/avoid sparsity is beneficial. Third, while crowdsourcing is often useful for obtaining relevance judgments for Web search, it does not work as well for E-Com search due to difficulty in eliciting sufficiently fine grained relevance judgments. Finally, among the multiple feedback signals, the order rate is found to be the most robust training objective, followed by click rate, while add-to-cart ratio seems least robust, suggesting that an effective practical strategy may be to initially use click rates for training and gradually shift to using order rates as they become available.


title: Note about the linear complexity of new generalized cyclotomic binary sequences of period $2p^n$

abstract: This paper examines the linear complexity of new generalized cyclotomic binary sequences of period $2p^n$ recently proposed by Yi Ouang et al. (arXiv:1808.08019v1 [cs.IT] 24 Aug 2018). We generalize results obtained by them and discuss author's conjecture of this paper.


title: From Hotelling to Load Balancing: Approximation and the Principle of Minimum Differentiation

abstract: Competing firms tend to select similar locations for their stores. This phenomenon, called the principle of minimum differentiation, was captured by Hotelling with a landmark model of spatial competition but is still the object of an ongoing scientific debate. Although consistently observed in practice, many more realistic variants of Hotelling's model fail to support minimum differentiation or do not have pure equilibria at all. In particular, it was recently proven for a generalized model which incorporates negative network externalities and which contains Hotelling's model and classical selfish load balancing as special cases, that the unique equilibria do not adhere to minimum differentiation. Furthermore, it was shown that for a significant parameter range pure equilibria do not exist. We derive a sharp contrast to these previous results by investigating Hotelling's model with negative network externalities from an entirely new angle: approximate pure subgame perfect equilibria. This approach allows us to prove analytically and via agent-based simulations that approximate equilibria having good approximation guarantees and that adhere to minimum differentiation exist for the full parameter range of the model. Moreover, we show that the obtained approximate equilibria have high social welfare.


title: On free subsemigroups of associative algebras

abstract: In 1992, following earlier conjectures of Lichtman and Makar-Limanov, Klein conjectured that a noncommutative domain must contain a free, multiplicative, noncyclic subsemigroup. He verified the conjecture when the center is uncountable. In this note we consider the existence (or not) of free subsemigroups in associative $k$-algebras $R$, where $k$ is a field not algebraic over a finite subfield. We show that $R$ contains a free noncyclic subsemigroup in the following cases: (1) $R$ satisfies a polynomial identity and is noncommutative modulo its prime radical. (2) $R$ has at least one nonartinian primitive subquotient. (3) $k$ is uncountable and $R$ is noncommutative modulo its Jacobson radical. In particular, (1) and (2) verify Klein's conjecture for numerous well known classes of domains, over countable fields, not covered in the prior literature.


title: Energy Harvesting Powered Embedded Systems

abstract: Historically, battery is the power source for mobile, embedded and remote system applications. However, the development of battery techniques does not follow the Moore's Law. The large physical size, limited electric quantity and high-cost replacement process always restrict the performance of the application such as embedded systems, wireless sensors networks and lower-power electronics. Energy harvesting, a technique which enables the applications to scavenge energy from RF signal from TV towers, solar energy, piezoelectric driven by motion of people and thermal energy from the temperature difference, which could dramatically extend the operating lifetime of applications. Thus, energy harvesting is important for the sustainable operations of an application.


title: From Complexity to Simplicity: Adaptive ES-Active Subspaces for Blackbox Optimization

abstract: We present a new algorithm ASEBO for optimizing high-dimensional blackbox functions. ASEBO adapts to the geometry of the function and learns optimal sets of sensing directions, which are used to probe it, on-the-fly. It addresses the exploration-exploitation trade-off of blackbox optimization with expensive blackbox queries by continuously learning the bias of the lower-dimensional model used to approximate gradients of smoothings of the function via compressed sensing and contextual bandits methods. To obtain this model, it leverages techniques from the emerging theory of active subspaces in the novel ES blackbox optimization context. As a result, ASEBO learns the dynamically changing intrinsic dimensionality of the gradient space and adapts to the hardness of different stages of the optimization without external supervision. Consequently, it leads to more sample-efficient blackbox optimization than state-of-the-art algorithms. We provide theoretical results and test ASEBO advantages over other methods empirically by evaluating it on the set of reinforcement learning policy optimization tasks as well as functions from the recently open-sourced Nevergrad library.


title: A New Load-based Thermopower Measurement Setup in the Temperature Range of 5 - 330 K

abstract: This is the report on new development of an automated precision load-based measurement setup for thermoelectric power of different types of samples in the temperature range 5 - 330 K. The problems in the old spring-based setup have been solved by making load-based setup. This new setup takes nearly 4 h for each run and typical error is within 5 %. A high quality calibration been demonstrated using high purity platinum wires.


title: Partite Tur\'an-densities for complete $r-$uniform hypergraphs on $r+1$ vertices

abstract: In this paper we investigate density conditions for finding a complete $r$-uniform hypergraph $K_{r+1}^{(r)}$ on $r+1$ vertices in an $(r+1)$-partite $r$-uniform hypergraph $G$. First we prove an optimal condition in terms of the densities of the $(r+1)$ induced $r$-partite subgraphs of $G$. Second, we prove a version of this result where we assume that $r$-tuples of vertices in $G$ have their neighbours evenly distributed in $G$. Third, we also prove a counting result for the minimum number of copies of $K_{r+1}^{(r)}$ when $G$ satisfies our density bound, and present some open problems. A striking difference between the graph, $r=2$, and the hypergraph, $ r \geq 3 $, cases is that in the first case both the existence threshold and the counting function are non-linear in the involved densities, whereas for hypergraphs they are given by a linear function. Also, the smallest density of the $r$-partite parts needed to ensure the existence of a complete $r$-graph with $(r+1)$ vertices is equal to the golden ratio $\tau=0.618\ldots$ for $r=2$, while it is $\frac{r}{r+1}$for $r\geq3$.


title: CloudSafe: A Tool for an Automated Security Analysis for Cloud Computing

abstract: Cloud computing has been adopted widely, providing on-demand computing resources to improve perfornance and reduce the operational costs. However, these new functionalities also bring new ways to exploit the cloud computing environment. To assess the security of the cloud, graphical security models can be used, such as Attack Graphs and Attack Trees. However, existing models do not consider all types of threats, and also automating the security assessment functions are difficult. In this paper, we propose a new security assessment tool for the cloud named CloudSafe, an automated security assessment for the cloud. The CloudSafe tool collates various tools and frameworks to automate the security assessment process. To demonstrate the applicability of the CloudSafe, we conducted security assessment in Amazon AWS, where our experimental results showed that we can effectively gather security information of the cloud and carry out security assessment to produce security reports. Users and cloud service providers can use the security report generated by the CloudSafe to understand the security posture of the cloud being used/provided.


title: Hashtag Usage in a Geographically-Local Microblogging App

abstract: This paper studies for the first time the usage and propagation of hashtags in a new and fundamentally different type of social media that is i) without profiles and ii) location-based to only show nearby posted content. Our study is based on analyzing the mobile-only Jodel microblogging app, which has an established user base in several European countries and Saudi Arabia. All posts are user to user anonymous (i.e., no displayed user handles) and are only displayed in the proximity of the user's location (up to 20 km). It thereby forms local communities and opens the question of how information propagates within and between these communities. We tackle this question by applying established metrics for Twitter hashtags to a ground-truth data set of Jodel posts within Germany that spans three years. We find the usage of hashtags in Jodel to differ from Twitter; despite embracing local communication in its design, Jodel hashtags are mostly used country-wide.


title: Relationships between computability-theoretic properties of problems

abstract: A problem is a multivalued function from a set of \emph{instances} to a set of \emph{solutions}. We consider only instances and solutions coded by sets of integers. A problem admits preservation of some computability-theoretic weakness property if every computable instance of the problem admits a solution relative to which the property holds. For example, cone avoidance is the ability, given a non-computable set $A$ and a computable instance of a problem $\mathsf{P}$, to find a solution relative to which $A$ is still non-computable. In this article, we compare relativized versions of computability-theoretic notions of preservation which have been studied in reverse mathematics, and prove that the ones which were not already separated by natural statements in the literature actually coincide. In particular, we prove that it is equivalent to admit avoidance of 1 cone, of $\omega$ cones, of 1 hyperimmunity or of 1 non-$\Sigma^0_1$ definition. We also prove that the hierarchies of preservation of hyperimmunity and non-$\Sigma^0_1$ definitions coincide. On the other hand, none of these notions coincide in a non-relativized setting.


title: Multi-wavelength observation of cosmic-ray air-showers with CODALEMA/EXTASIS

abstract: Since 2003, significant efforts have been devoted to the understanding of the radio emission of extensive air shower in the range [20-200] MHz. Despite some studies led until the early nineties, the [1-10] MHz band has remained unused for 20 years. However, it has been measured by some pioneering experiments that extensive air shower emit a strong electric field in this band and that there is evidence of a large increase in the amplitude of the radio pulse at lower frequencies. The EXTASIS experiment, located within the Nan\c{c}ay Radioastronomy Observatory and supported by the CODALEMA experiment, aims to reinvestigate the [1-10] MHz band, and especially to study the so-called "Sudden Death" contribution, the expected electric field emitted by shower front when hitting the ground level. Currently, EXTASIS has confirmed some results obtained by the pioneering experiments, and tends to bring explanations to the other ones, for instance the role of the underlying atmospheric electric field. Moreover, CODALEMA has demonstrated that in the most commonly used frequency band ([20-80] MHz) the electric field profile of EAS can be well sampled, and contains all the information needed for the reconstruction of EAS: an automatic comparison between the SELFAS3 simulations and data has been developed, allowing us to reconstruct in an almost real time the primary cosmic ray characteristics.


title: Towards Ultrafast Gyroscopes Employing Real-time Intensity and Spectral Domain Measurements of Ultrashort Pulses

abstract: Active ring laser gyroscopes (RLG) operating on the principle of the optical Sagnac effect are preferred instruments for a range of applications, such as inertial guidance systems, seismology, and geodesy, that require both high bias stability and high angular velocity resolutions. Operating at such accuracy levels demands special precautions like dithering or multi-mode operation to eliminate frequency lock-in or similar effects introduced due to synchronisation of counter-propagating channels. Recently proposed bidirectional ultrafast fibre lasers can circumvent the limitations of continuous wave RLGs. However, their performance is limited due to the nature of the highly-averaged interrogation of the Sagnac effect. In general, the performance of current optical gyroscopes relies on the available measurement methods used for extracting the signal. Here, by changing the paradigm of traditional measurement and applying spatio-temporal intensity processing, we demonstrate that the bidirectional ultrafast laser can be transformed to an ultrafast gyroscope with acquisition rates of the order of the laser repetition rate, making them at least two orders of magnitude faster than commercially deployed versions. We also show the proof-of-principle for dead-band-free round trip time-resolved spectral domain measurements using the Dispersive Fourier Transform, further enhancing the gyroscopic sensitivity. Our results reveal the high potential of application of novel methods of signal measurements in mid-sized ultrafast fibre laser gyroscopes to achieve performances that are currently available only with large-scale RLGs.


title: A Clustering-Based Combinatorial Approach to Unsupervised Matching of Product Titles

abstract: The constant growth of the e-commerce industry has rendered the problem of product retrieval particularly important. As more enterprises move their activities on the Web, the volume and the diversity of the product-related information increase quickly. These factors make it difficult for the users to identify and compare the features of their desired products. Recent studies proved that the standard similarity metrics cannot effectively identify identical products, since similar titles often refer to different products and vice-versa. Other studies employed external data sources (search engines) to enrich the titles; these solutions are rather impractical mainly because the external data fetching is slow. In this paper we introduce UPM, an unsupervised algorithm for matching products by their titles. UPM is independent of any external sources, since it analyzes the titles and extracts combinations of words out of them. These combinations are evaluated according to several criteria, and the most appropriate of them constitutes the cluster where a product is classified into. UPM is also parameter-free, it avoids product pairwise comparisons, and includes a post-processing verification stage which corrects the erroneous matches. The experimental evaluation of UPM demonstrated its superiority against the state-of-the-art approaches in terms of both efficiency and effectiveness.


title: Distributed Online Convex Optimization with Time-Varying Coupled Inequality Constraints

abstract: This paper considers distributed online optimization with time-varying coupled inequality constraints. The global objective function is composed of local convex cost and regularization functions and the coupled constraint function is the sum of local convex functions. A distributed online primal-dual dynamic mirror descent algorithm is proposed to solve this problem, where the local cost, regularization, and constraint functions are held privately and revealed only after each time slot. Without assuming Slater's condition, we first derive regret and constraint violation bounds for the algorithm and show how they depend on the stepsize sequences, the accumulated dynamic variation of the comparator sequence, the number of agents, and the network connectivity. As a result, under some natural decreasing stepsize sequences, we prove that the algorithm achieves sublinear dynamic regret and constraint violation if the accumulated dynamic variation of the optimal sequence also grows sublinearly. We also prove that the algorithm achieves sublinear static regret and constraint violation under mild conditions. Assuming Slater's condition, we show that the algorithm achieves smaller bounds on the constraint violation. In addition, smaller bounds on the static regret are achieved when the objective function is strongly convex. Finally, numerical simulations are provided to illustrate the effectiveness of the theoretical results.


title: Coping with Large Traffic Volumes in Schedule-Driven Traffic Signal Control

abstract: Recent work in decentralized, schedule-driven traffic control has demonstrated the ability to significantly improve traffic flow efficiency in complex urban road networks. However, in situations where vehicle volumes increase to the point that the physical capacity of a road network reaches or exceeds saturation, it has been observed that the effectiveness of a schedule-driven approach begins to degrade, leading to progressively higher network congestion. In essence, the traffic control problem becomes less of a scheduling problem and more of a queue management problem in this circumstance. In this paper we propose a composite approach to real-time traffic control that uses sensed information on queue lengths to influence scheduling decisions and gracefully shift the signal control strategy to queue management in high volume/high congestion settings. Specifically, queue-length information is used to establish weights for the sensed vehicle clusters that must be scheduled through a given intersection at any point, and hence bias the wait time minimization calculation. To compute these weights, we develop a model in which successive movement phases are viewed as different states of an Ising model, and parameters quantify strength of interactions. To ensure scalability, queue information is only exchanged between direct neighbors and the asynchronous nature of local intersection scheduling is preserved. We demonstrate the potential of the approach through microscopic traffic simulation of a real-world road network, showing a 60% reduction in average wait times over the baseline schedule-driven approach in heavy traffic scenarios. We also report initial field test results, which show the ability to reduce queues during heavy traffic periods.


title: Rigorous derivation of a ternary Boltzmann equation for a classical system of particles

abstract: In this paper, we present a rigorous derivation of a new kinetic equation describing the limiting behavior of a classical system of particles with three particle elastic instantaneous interactions, which are modeled using a non-symmetric version of a ternary distance. The ternary collisional operator we derive can be seen as the first step towards obtaining a toy model for a non-ideal gas where higher order interactions are taken into account.


title: Single-Input Control of Multiple Fluid-Driven Elastic Actuators Via Interaction Between Bi-Stability and Viscosity

abstract: A leading concept in soft robotics actuation, as well as in microfluidics applications such as valves in lab-on-a-chip devices, is applying pressurized flow in cavities embedded within elastic bodies. Generating complex deformation patterns typically requires control of several inputs, which greatly complicates the system's operation. In this work, we present a novel method for single-input control of a serial chain of bi-stable elastic chambers connected by thin tubes. Controlling a single flow rate at the chain's inlet, we induce an irreversible sequence of transitions that can reach any desired state combination of all bi-stable elements. Mathematical formulation and analysis of the system's dynamics reveal that these transitions are enabled thanks to bi-stability combined with pressure lag induced by viscous resistance. The results are demonstrated via numerical simulations combined with experiments for chains of up to 5 chambers, using water-diluted glycerol as the injected fluid. The proposed technique has a promising potential for development of sophisticated soft actuators with minimalistic control.


title: Doubling coverings via resolution of singularities and preparation

abstract: In this paper we provide asymptotic upper bounds on the complexity in two (closely related) situations. We confirm for the total doubling coverings and not only for the chains the expected bounds of the form $$ \kappa({\mathcal U}) \le K_1(\log ({1}/{\delta}))^{K_2} . $$ This is done in a rather general setting, i.e. for the $\delta$-complement of a polynomial zero-level hypersurface $Y_0$ and for the regular level hypersurfaces $Y_c$ themselves with no assumptions on the singularities of $P$. The coefficient $K_2$ is the ambient dimension $n$ in the first case and $n-1$ in the second case. However, the question of a uniform behavior of the coefficient $K_1$ remains open. As a second theme, we confirm in arbitrary dimension the upper bound for the number of a-charts covering a real semi-algebraic set $X$ of dimension $m$ away from the $\delta$-neighborhood of a lower dimensional set $S$, with bound of the form $$ \kappa(\delta) \le C (\log ({1}/{\delta}))^{m} $$ holding uniformly in the complexity of $X$. We also show an analogue for level sets with parameter away from the $\delta$-neighborhood of a low dimensional set. More generally, the bounds are obtained also for real subanalytic and real power-subanalytic sets.


title: Grid-Constrained Distributed Optimization for Frequency Control with Low-Voltage Flexibility

abstract: Providing frequency control services with flexible assets connected to the low-voltage distribution grid, amongst which residential battery storage or electrical hot water boilers, can lead to congestion problems and voltage issues in the distribution grid. In order to mitigate these problems, a new regulation has been put in place in Belgium, imposing a specific constraint: in any circle with a radius of 100m, there can be at maximum 10 connection points providing frequency control at any time. This paper presents an impact analysis and a coordination strategy of a Flexibility Service Provider (FSP) that operates a pool of assets and is exposed to this new regulatory constraint. Results show that at 5% participation, only 90% of total control capacity can be used, with a large difference between neighbourhoods with different population densities. A distributed optimization framework to coordinate the assets arises naturally, in which the assets are able to keep their local cost functions private and only have to communicate with neighbouring assets that are geographically close, and with the FSP. Analysis of the proposed distributed optimization algorithm shows a clear trade-off between optimality gap, owing to the mixed-integer nature of the problem, and iterations to convergence.


title: $pp$-waves as exact solutions to ghost-free infinite derivative gravity

abstract: We construct exact pp-wave solutions of ghost-free infinite derivative gravity and demonstrate that the sourceless theory does not bring any pp-wave solutions save for that of Einstein's gravity. These waves described in the Kerr-Schild form also solve the linearized field equations of the theory. We also find an exact gravitational shock wave with non-singular curvature invariants and with a finite limit in the ultraviolet regime of non-locality which is in contrast to the divergent limit in Einstein's theory.


title: Cracking the problem with 33

abstract: Inspired by the Numberphile video "The uncracked problem with 33" by Tim Browning and Brady Haran, we investigate solutions to $x^3+y^3+z^3=k$ for a few small values of $k$. We find the first known solution for $k=33$.


title: The enveloping algebra of a Lie algebra of differential operators

abstract: The aim of this note is to prove various general properties of a generalization of the full module of first order differential operators on a commutative ring - a $\operatorname{D}$-Lie algebra. A $\operatorname{D}$-Lie algebra $\tilde{L}$ is a Lie-Rinehart algebra over $A/k$ equipped with an $A\otimes_k A$-module structure that is compatible with the Lie-structure. It may be viewed as a simultaneous generalization of a Lie-Rinehart algebra and an Atiyah algebra with additional structure. Given a $\operatorname{D}$-Lie algebra $\tilde{L}$ and an arbitrary connection $(\rho, E)$ we construct the universal ring $\tilde{U}^{\otimes}(\tilde{L},\rho)$ of the connection $(\rho, E)$. The associative unital ring $\tilde{U}^{\otimes}(\tilde{L},\rho)$ is in the case when $A$ is Noetherian and $\tilde{L}$ and $E$ finitely generated $A$-modules, an almost commutative Noetherian sub ring of $\operatorname{Diff}(E)$ - the ring of differential operators on $E$. It is constructed using non-abelian extensions of $\operatorname{D}$-Lie algebras. The non-flat connection $(\rho, E)$ is a finitely generated $ \tilde{U}^{\otimes}(\tilde{L},\rho)$-module, hence we may speak of the characteristic variety $\operatorname{Char}(\rho,E)$ of $(\rho, E)$ in the sense of $D$-modules. We may define the notion of holonomicity for non-flat connections using the universal ring $ \tilde{U}^{\otimes}(\tilde{L},\rho)$. This was previously done for flat connections. We also define cohomology and homology of arbitrary non-flat connections. The cohomology and homology of a non-flat connection $(\rho,E)$ is defined using $\operatorname{Ext}$ and $\operatorname{Tor}$-groups of a non-Noetherian ring $\operatorname{U}$. In the case when the $A$-module $E$ is finitely generated we may always calculate cohomology and homology using a Noetherian quotient of $\operatorname{U}$. This was previously done for flat connections.


title: The general position problem on Kneser graphs and on some graph operations

abstract: A vertex subset $S$ of a graph $G$ is a general position set of $G$ if no vertex of $S$ lies on a geodesic between two other vertices of $S$. The cardinality of a largest general position set of $G$ is the general position number (gp-number) ${\rm gp}(G)$ of $G$. The gp-number is determined for some families of Kneser graphs, in particular for $K(n,2)$ and $K(n,3)$. A sharp lower bound on the gp-number is proved for Cartesian products of graphs. The gp-number is also determined for joins of graphs, coronas over graphs, and line graphs of complete graphs.


title: Affine and Projective Planes Linked with Projective Lines over Certain Rings of Lower Triangular Matrices

abstract: Let $T_n(q)$ be the ring of lower triangular matrices of order $n \geq 2$ with entries from the finite field $F(q)$ of order $q \geq 2$ and let ${^2T_n(q)}$ denote its free left module. For $n=2,3$ it is shown that the projective line over $T_n(q)$ gives rise to a set of $(q+1)^{(n-1)}q^{\frac{3(n-1)(n-2)}{2}}$ affine planes of order $q$. The points of such an affine plane are non-free cyclic submodules of ${^2T_n(q)}$ not contained in any non-unimodular free cyclic submodule of ${^2T_n(q)}$ and its lines are points of the projective line. Furthermore, it is demonstrated that each affine plane can be extended to the projective plane of order $q$, with the `line at infinity' being represented by those free cyclic submodules of ${^2T_n(q)}$ that are generated by non-unimodular pairs. Our approach can straightforwardly be adjusted to address the case of arbitrary $n$.


title: Spin waves in thin films and magnonic crystals with Dzyaloshinskii-Moriya interactions

abstract: The influence of the Dzyaloshinskii-Moriya interaction in ultra-thin ferromagnetic films and chiral magnonic crystals on the behavior of spin waves is reviewed. During the last decade, it has been shown, both theoretically and experimentally, that this anisotropic exchange interaction produces non-reciprocal features on the spin-wave spectrum of a magnetic system, a phenomenon that occurs both for bulk and interfacial Dzyaloshinskii-Moriya coupling. More recently, the concept of a chiral magnonic crystal has been introduced, where the interfacial Dzyaloshinskii-Moriya interaction is periodic. The effect of this periodicity include additional features such as flat bands, indirect gaps, and an unusual spin-wave evolution.