title: Improved approximation schemes for early work scheduling on identical parallel machines with common due date

abstract: We study the early work scheduling problem on identical parallel machines in order to maximize the total early work, i.e., the parts of non-preemptive jobs executed before a common due date. By preprocessing and constructing an auxiliary instance which has several good properties, we propose an efficient polynomial time approximation scheme with running time $O(n)$, which improves the result in [Gy\"{o}rgyi, P., Kis, T. (2020). A common approximation framework for early work, late work, and resource leveling problems. {\it European Journal of Operational Research}, 286(1), 129-137], and a fully polynomial time approximation scheme with running time $O(n)$ when the number of machines is a fixed number, which improves the result in [Chen, X., Liang, Y., Sterna, M., Wang, W., B{\l}a\.{z}ewicz, J. (2020b). Fully polynomial time approximation scheme to maximize early work on parallel machines with common due date. {\it European Journal of Operational Research}, 284(1), 67-74], where $n$ is the number of jobs, and the hidden constant depends on the desired accuracy.


title: Magnetic dipolar interaction between hyperfine clock states in a planar alkali Bose gas

abstract: In atomic systems, clock states feature a zero projection of the total angular momentum and thus a low sensitivity to magnetic fields. This makes them widely used for metrological applications like atomic fountains or gravimeters. Here, we show that a mixture of two such non-magnetic states still display magnetic dipole-dipole interactions. Using high resolution spectroscopy of a planar gas of $^{87}$Rb atoms with a controlled in-plane shape, we explore the effective isotropic and extensive character of these interactions and demonstrate their tunability. Our measurements set strong constraints on the relative values of the s-wave scattering lengths $a_{ij}$ involving the two clock states.


title: IDS at SemEval-2020 Task 10: Does Pre-trained Language Model Know What to Emphasize?

abstract: We propose a novel method that enables us to determine words that deserve to be emphasized from written text in visual media, relying only on the information from the self-attention distributions of pre-trained language models (PLMs). With extensive experiments and analyses, we show that 1) our zero-shot approach is superior to a reasonable baseline that adopts TF-IDF and that 2) there exist several attention heads in PLMs specialized for emphasis selection, confirming that PLMs are capable of recognizing important words in sentences.


title: Artificial Intelligence in the Creative Industries: A Review

abstract: This paper reviews the current state of the art in Artificial Intelligence (AI) technologies and applications in the context of the creative industries. A brief background of AI, and specifically Machine Learning (ML) algorithms, is provided including Convolutional Neural Network (CNNs), Generative Adversarial Networks (GANs), Recurrent Neural Networks (RNNs) and Deep Reinforcement Learning (DRL). We categorise creative applications into five groups related to how AI technologies are used: i) content creation, ii) information analysis, iii) content enhancement and post production workflows, iv) information extraction and enhancement, and v) data compression. We critically examine the successes and limitations of this rapidly advancing technology in each of these areas. We further differentiate between the use of AI as a creative tool and its potential as a creator in its own right. We foresee that, in the near future, machine learning-based AI will be adopted widely as a tool or collaborative assistant for creativity. In contrast, we observe that the successes of machine learning in domains with fewer constraints, where AI is the `creator', remain modest. The potential of AI (or its developers) to win awards for its original creations in competition with human creatives is also limited, based on contemporary technologies. We therefore conclude that, in the context of creative industries, maximum benefit from AI will be derived where its focus is human centric -- where it is designed to augment, rather than replace, human creativity.


title: An LSTM Approach to Temporal 3D Object Detection in LiDAR Point Clouds

abstract: Detecting objects in 3D LiDAR data is a core technology for autonomous driving and other robotics applications. Although LiDAR data is acquired over time, most of the 3D object detection algorithms propose object bounding boxes independently for each frame and neglect the useful information available in the temporal domain. To address this problem, in this paper we propose a sparse LSTM-based multi-frame 3d object detection algorithm. We use a U-Net style 3D sparse convolution network to extract features for each frame's LiDAR point-cloud. These features are fed to the LSTM module together with the hidden and memory features from last frame to predict the 3d objects in the current frame as well as hidden and memory features that are passed to the next frame. Experiments on the Waymo Open Dataset show that our algorithm outperforms the traditional frame by frame approach by 7.5% mAP@0.7 and other multi-frame approaches by 1.2% while using less memory and computation per frame. To the best of our knowledge, this is the first work to use an LSTM for 3D object detection in sparse point clouds.


title: Supersymmetric Black Holes and the SJT/nSCFT$_1\!$ Correspondence

abstract: We consider 1/4 BPS black hole solutions of ${\cal N}=2$ gauged supergravity in $AdS_4$. The near horizon geometry is $AdS_2 \times S^2$ and supersymmetry is enhanced. In the first part of the paper we choose a moment map, which allows the embedding of this supergravity solution into a sugra theory with a hypermultiplet. We then perform the s-wave reduction of this theory at the horizon and determine the dilaton multiplet, which couples to both metric and gravitino fluctuations. In the second part we work with Euclidean axial $\mathcal{N}=(2,2)$ JT supergravity and show how to add gauged matter in form of covariantly twisted chiral and anti-chiral multiplets. We demonstrate how to reduce the on-shell action to boundary superspace. We compare both theories and calculate the fourpoint function by integrating out gravitons, gravitini and photons for the s-wave setting and by use of the Super-Schwarzian modes in the JT theory.


title: $F$-thresholds $c^I({\bf m})$ for projective curves

abstract: We show that if $R$ is a two dimensional standard graded ring (with the graded maximal ideal ${\bf m}$) of characteristic $p>0$ and $I\subset R$ is a graded ideal with $\ell(R/I) <\infty$ then the $F$-threshold $c^I({\bf m})$ can be expressed in terms of a strong HN (Harder-Narasimahan) slope of the canonical syzygy bundle on $\mbox{Proj}~R$. Thus $c^I({\bf m})$ is a rational number. This gives us a well defined notion, of the $F$-threshold $c^I({\bf m})$ in characteristic $0$, in terms of a HN slope of the syzygy bundle on $\mbox{Proj}~R$. This generalizes our earlier result (in [TrW]) where we have shown that if $I$ has homogeneous generators of the same degree, then the $F$-threshold $c^I({\bf m})$ is expressed in terms of the minimal strong HN slope (in char $p$) and in terms of the minimal HN slope (in char $0$), respectively, of the canonical syzygy bundle on $\mbox{Proj}~R$. Here we also prove that, for a given pair $(R, I)$ over a field of characteristic $0$, if $({\bf m}_p, I_p)$ is a reduction mod $p$ of $({\bf m}, I)$ then $c^{I_p}({\bf m}_p) \neq c^I_{\infty}({\bf m})$ implies $c^{I_p}({\bf m}_p)$ has $p$ in the denominator, for almost all $p$.


title: Gate-Tuned Interlayer Coupling in van der Waals Ferromagnet Fe$_3$GeTe$_2$ Nanoflakes

abstract: The weak interlayer coupling in van der Waals (vdW) magnets has confined their application to two dimensional (2D) spintronic devices. Here, we demonstrate that the interlayer coupling in a vdW magnet Fe$_3$GeTe$_2$ (FGT) can be largely modulated by a protonic gate.With the increase of the protons intercalated among vdW layers,interlayer magnetic coupling increases.Because of the existence of antiferromagnetic layers in FGT nanoflakes, the increasing interlayer magnetic coupling induces exchange bias in protonated FGT nanoflakes. Most strikingly, a rarely seen zero-field cooled (ZFC) exchange bias with very large values (maximally up to 1.2 kOe) has been observed when higher positive voltages (Vg>4.36 V) are applied to the protonic gate, which clearly demonstrates that a strong interlayer coupling is realized by proton intercalation. Such strong interlayer coupling will enable a wider range of applications for vdW magnets.


title: Almost all Finsler metrics have infinite dimensional holonomy group

abstract: We show that the set of Finsler metrics on a manifold contains an open everywhere dense subset of Finsler metrics with infinite-dimensional holonomy groups.


title: Learning the Solution Manifold in Optimization and Its Application in Motion Planning

abstract: Optimization is an essential component for solving problems in wide-ranging fields. Ideally, the objective function should be designed such that the solution is unique and the optimization problem can be solved stably. However, the objective function used in a practical application is usually non-convex, and sometimes it even has an infinite set of solutions. To address this issue, we propose to learn the solution manifold in optimization. We train a model conditioned on the latent variable such that the model represents an infinite set of solutions. In our framework, we reduce this problem to density estimation by using importance sampling, and the latent representation of the solutions is learned by maximizing the variational lower bound. We apply the proposed algorithm to motion-planning problems, which involve the optimization of high-dimensional parameters. The experimental results indicate that the solution manifold can be learned with the proposed algorithm, and the trained model represents an infinite set of homotopic solutions for motion-planning problems.


title: Quantum point particle approximation of spinning black holes and compact stars

abstract: Gravitational wave observatories targeted for compact binary coalescence, such as LIGO and VIRGO, require various theoretical inputs for their efficient detection. One of such inputs are analytical description of binary dynamics at sufficiently separated orbital scales, commonly known as post-Newtonian dynamics. One approach for determining such two-body effective Hamiltonians is to use quantum scattering amplitudes. This dissertation aims at an improved understanding of classical physics of spinning bodies in quantum scattering amplitudes, for application to the problem of effective two-body Hamiltonians. The main focus will be on spin-induced higher-order multipole moments. In this dissertation results for the first post-Minkowskian order (linear in Newton's constant $G$ and to all orders in relative momentum $p^2$) Hamiltonian that is valid for arbitrary compact spinning bodies to all orders in spin is presented. Next, obstruction and prospects for the formulation's extension to second post-Minkowskian order is discussed, based on an equivalent loop order quantum field theory computations. This dissertation is based on the works [1-4].


title: Finite elements for divdiv-conforming symmetric tensors in three dimensions

abstract: Two types of finite element spaces on a tetrahedron are constructed for divdiv conforming symmetric tensors in three dimensions. The key tools of the construction are the decomposition of polynomial tensor spaces and the characterization of the trace operators. First, the divdiv Hilbert complex and its corresponding polynomial complexes are presented. Several decompositions of polynomial vector and tensors spaces are derived from the polynomial complexes. Then, traces for div-div operator are characterized through a Green's identity. Besides the normal-normal component, another trace involving combination of first order derivatives of the tensor is continuous across the face. Due to the smoothness of polynomials, the symmetric tensor element is also continuous at vertices, and on the plane orthogonal to each edge. Third, a finite element for sym curl-conforming trace-free tensors is constructed following the same approach. Finally, a finite element divdiv complex, as well as the bubble functions complex, in three dimensions are established.


title: Does elasticity stabilise a magnetic neutron star?

abstract: The configuration of the magnetic field in the interior of a neutron star is mostly unknown from observations. Theoretical models of the interior magnetic field geometry tend to be oversimplified to avoid mathematical complexity and tend to be based on axisymmetric barotropic fluid systems. These static magnetic equilibrium configurations have been shown to be unstable on a short time scale against an infinitesimal perturbation. Given this instability, it is relevant to consider how more realistic neutron star physics affects the outcome. In particular, it makes sense to ask if elasticity, which provides an additional restoring force on the perturbations, may stabilise the system. It is well-known that the matter in the neutron star crust forms an ionic crystal. The interactions between the crystallized nuclei can generate shear stress against any applied strain. To incorporate the effect of the crust on the dynamical evolution of the perturbed equilibrium structure, we study the effect of elasticity on the instability of an axisymmetric magnetic star. In particular we determine the critical shear modulus required to prevent magnetic instability and consider the corresponding astrophysical consequences.


title: Predictive Information Accelerates Learning in RL

abstract: The Predictive Information is the mutual information between the past and the future, I(X_past; X_future). We hypothesize that capturing the predictive information is useful in RL, since the ability to model what will happen next is necessary for success on many tasks. To test our hypothesis, we train Soft Actor-Critic (SAC) agents from pixels with an auxiliary task that learns a compressed representation of the predictive information of the RL environment dynamics using a contrastive version of the Conditional Entropy Bottleneck (CEB) objective. We refer to these as Predictive Information SAC (PI-SAC) agents. We show that PI-SAC agents can substantially improve sample efficiency over challenging baselines on tasks from the DM Control suite of continuous control environments. We evaluate PI-SAC agents by comparing against uncompressed PI-SAC agents, other compressed and uncompressed agents, and SAC agents directly trained from pixels. Our implementation is given on GitHub.


title: Fully Convolutional Networks for Continuous Sign Language Recognition

abstract: Continuous sign language recognition (SLR) is a challenging task that requires learning on both spatial and temporal dimensions of signing frame sequences. Most recent work accomplishes this by using CNN and RNN hybrid networks. However, training these networks is generally non-trivial, and most of them fail in learning unseen sequence patterns, causing an unsatisfactory performance for online recognition. In this paper, we propose a fully convolutional network (FCN) for online SLR to concurrently learn spatial and temporal features from weakly annotated video sequences with only sentence-level annotations given. A gloss feature enhancement (GFE) module is introduced in the proposed network to enforce better sequence alignment learning. The proposed network is end-to-end trainable without any pre-training. We conduct experiments on two large scale SLR datasets. Experiments show that our method for continuous SLR is effective and performs well in online recognition.


title: Semiconductor quantum plasmons for high frequency thermal emission

abstract: Plasmons in heavily doped semiconductor layers are optically active excitations with sharp resonances in the 5-15 um wavelength region set by the doping level and the effective mass. Here we demonstrate that volume plasmons can form in doped layers of widths of hundreds of nanometers, without the need of potential barrier for electronic confinement. Their strong interaction with light makes them perfect absorber and therefore suitable for incandescent emission. Moreover, by injecting microwave current in the doped layer, we can modulate the temperature of the electron gas. We have fabricated devices for high frequency thermal emission and measured incandescent emission up to 50MHz, limited by the cutoff of our detector. The frequency dependent thermal emission is very well reproduced by our theoretical model that let us envision a frequency cutoff in the tens of GHz.


title: Algebras of UTxO blockchains

abstract: We condense the theory of blockchains down to a simple and compact set of four type equations (Idealised EUTxO), and to an algebraic characterisation (abstract chunk systems), and exhibit an adjoint pair of functors between them. This gives a novel account of the essential mathematical structures underlying blockchain technology, such as Bitcoin.


title: A chemical study of carbon fractionation in external galaxies

abstract: In the interstellar medium carbon exists in the form of two stable isotopes $^{12}$C and $^{13}$C and their ratio is a good indicator of nucleosynthesis in galaxies. However, chemical fractionation can potentially significantly alter this ratio and in fact observations of carbon fractionation within the same galaxy has been found to vary from species to species. In this paper we theoretically investigate the carbon fractionation for selected abundant carbon-bearing species in order to determine the conditions that may lead to a spread of the $^{12}$C/$^{13}$C ratio in external galaxies. We find that carbon fractionation is sensitive to almost all the physical conditions we investigated, it strongly varies with time for all species but CO, and shows pronounced differences across species. Finally we discuss our theoretical results in the context of the few observations of the $^{12}$C/$^{13}$C ratio in both local and higher redshift galaxies.


title: The Einstein-Hilbert type action on metric-affine almost-product manifolds

abstract: We continue our study of the mixed Einstein-Hilbert action as a functional of a pseudo-Riemannian metric and a linear connection. Its geometrical part is the total mixed scalar curvature on a smooth manifold endowed with a distribution or a foliation. We develop variational formulas for quantities of extrinsic geometry of a distribution on a metric-affine space and use them to derive Euler-Lagrange equations (which in the case of space-time are analogous to those in Einstein-Cartan theory) and to characterize critical points of this action on vacuum space-time. Together with arbitrary variations of metric and connection, we consider also variations that partially preserve the metric, e.g., along the distribution, and also variations among distinguished classes of connections (e.g., statistical and metric compatible, and this is expressed in terms of restrictions on contorsion tensor). One of Euler-Lagrange equations of the mixed Einstein-Hilbert action is an analog of the Cartan spin connection equation, and the other can be presented in the form similar to the Einstein equation, with Ricci curvature replaced by the new Ricci type tensor. This tensor generally has a complicated form, but is given in the paper explicitly for variations among semi-symmetric~connections.


title: Visual Compositional Learning for Human-Object Interaction Detection

abstract: Human-Object interaction (HOI) detection aims to localize and infer relationships between human and objects in an image. It is challenging because an enormous number of possible combinations of objects and verbs types forms a long-tail distribution. We devise a deep Visual Compositional Learning (VCL) framework, which is a simple yet efficient framework to effectively address this problem. VCL first decomposes an HOI representation into object and verb specific features, and then composes new interaction samples in the feature space via stitching the decomposed features. The integration of decomposition and composition enables VCL to share object and verb features among different HOI samples and images, and to generate new interaction samples and new types of HOI, and thus largely alleviates the long-tail distribution problem and benefits low-shot or zero-shot HOI detection. Extensive experiments demonstrate that the proposed VCL can effectively improve the generalization of HOI detection on HICO-DET and V-COCO and outperforms the recent state-of-the-art methods on HICO-DET. Code is available at https://github.com/zhihou7/VCL.


title: Quasi-Degradation Probability of Two-User NOMA over Rician Fading Channels

abstract: Non-orthogonal multiple access (NOMA) has a great potential to offer a higher spectral efficiency of multi-user wireless networks than orthogonal multiples access (OMA). Previous work has established the condition, referred to quasi-degradation (QD) probability, under which NOMA has no performance loss compared to the capacity-achieving dirty paper coding for the two-user case. Existing results assume Rayleigh fading channels without line-of-sight (LOS). In many practical scenarios, the channel LOS component is critical to the link quality where the channel gain follows a Rician distribution instead of a Rayleigh distribution. In this work, we analyze the QD probability over multi-input and single-output (MISO) channels subject to Rician fading. The QD probability heavily depends on the angle between two user channels, which involves a matrix quadratic form in random vectors and a stochastic matrix. With the deterministic LOS component, the distribution of the matrix quadratic form is non-central that dramatically complicates the derivation of the QD probability. To remedy this difficulty, a series of approximations is proposed that yields a closed-form expression for the QD probability over MISO Rician channels. Numerical results are presented to assess the analysis accuracy and get insights into the optimality of NOMA over Rician fading channels.


title: A new approach to find an approximate solution of linear initial value problems

abstract: This work investigates a new approach to find closed form analytical approximate solution of linear initial value problems. Classical Bernoulli polynomials have been used to derive a finite set of orthonormal polynomials and a finite operational matrix to simplify derivatives of dependent variable. These orthonormal polynomials together with the operational matrix of relevant order provides a good approximation to the solution of a linear initial value problem. Depending upon the nature of a problem, a series form approximation or numerical approximation can be obtained. The technique has been demonstrated through three problems. Approximate solutions have been compared with available exact or other numerical solutions. High degree of accuracy has been noted in numerical values of solutions for considered problems.


title: Calculation of IR absorption intensities for hydrogen bond from exactly solvable Schr\"odinger equation

abstract: A theoretical description of IR spectroscopy data for a hydrogen bond (HB) is constructed on the base of trigonometric double-well potential for which an exact analytic solution of the one-dimensional Schr\"odinger equation (SE) is available. The wave functions (full orthogonal basis) are expressed via the spheroidal function while its spectrum of eigenvalues yields the corresponding energy levels (both special functions are implemented in {\sl {Mathematica}}). Then an approximate solution of two-dimensional SE taking into account the excitation state of heavy atoms stretching mode in HB is obtained. It is constructed by decomposing over the above mentioned basis within the framework of standard adiabatic separating the proton motion from that of the heavy atoms. We exemplify the general theory by calculating the IR relative absorption intensities for HB in the Zundel ion ${\rm{H_5O_2^{+}}}$ (oxonium hydrate).


title: Interpreting Spatially Infinite Generative Models

abstract: Traditional deep generative models of images and other spatial modalities can only generate fixed sized outputs. The generated images have exactly the same resolution as the training images, which is dictated by the number of layers in the underlying neural network. Recent work has shown, however, that feeding spatial noise vectors into a fully convolutional neural network enables both generation of arbitrary resolution output images as well as training on arbitrary resolution training images. While this work has provided impressive empirical results, little theoretical interpretation was provided to explain the underlying generative process. In this paper we provide a firm theoretical interpretation for infinite spatial generation, by drawing connections to spatial stochastic processes. We use the resulting intuition to improve upon existing spatially infinite generative models to enable more efficient training through a model that we call an infinite generative adversarial network, or $\infty$-GAN. Experiments on world map generation, panoramic images and texture synthesis verify the ability of $\infty$-GAN to efficiently generate images of arbitrary size.


title: Model Checkers Are Cool: How to Model Check Voting Protocols in Uppaal

abstract: The design and implementation of an e-voting system is a challenging task. Formal analysis can be of great help here. In particular, it can lead to a better understanding of how the voting system works, and what requirements on the system are relevant. In this paper, we propose that the state-of-art model checker Uppaal provides a good environment for modelling and preliminary verification of voting protocols. To illustrate this, we present an Uppaal model of Pr\^et \`a Voter, together with some natural extensions. We also show how to verify a variant of receipt-freeness, despite the severe limitations of the property specification language in the model checker.


title: Determination of the spin Hall angle, spin mixing conductance and spin diffusion length in Ir/CoFeB for spin-orbitronic devices

abstract: Iridium is a very promising material for spintronic applications due to its interesting magnetic properties such as large RKKY exchange coupling as well as its large spin-orbit coupling value. Ir is for instance used as a spacer layer for perpendicular synthetic antiferromagnetic or ferrimagnet systems. However, only a few studies of the spintronic parameters of this material have been reported. In this paper, we present inverse spin Hall effect - spin pumping ferromagnetic resonance measurements on CoFeB/Ir based bilayers to estimate the values of the effective spin Hall angle, the spin diffusion length within iridium, and the spin mixing conductance in the CoFeB/Ir bilayer. In order to have reliable results, we performed the same experiments on CoFeB/Pt bilayers, which behavior is well known due to numerous reported studies. Our experimental results show that the spin diffusion length within iridium is 1.3 nm for resistivity of 250 n$\Omega$.m, the spin mixing conductance $g_{eff}^{\uparrow \downarrow}$ of the CoFeB/Ir interface is 30 nm$^{-2}$, and the spin Hall angle of iridium has the same sign than the one of platinum and is evaluated at 26% of the one of platinum. The value of the spin Hall angle found is 7.7% for Pt and 2% for Ir. These relevant parameters shall be useful to consider Ir in new concepts and devices combining spin-orbit torque and spin-transfer torque.


title: Coulomb electron pairing in a tight-binding model of La-based cuprate superconductors

abstract: We study the properties of two electrons with Coulomb interactions in a tight-binding model of La-based cuprate superconductors. This tight-binding model is characterized by long-range hopping obtained previously by advanced quantum chemistry computations. We show analytically and numerically that the Coulomb repulsion leads to a formation of compact pairs propagating through the whole system. The mechanism of pair formation is related to the emergence of an effective narrow energy band for Coulomb electron pairs with conserved total pair energy and momentum. The dependence of the pair formation probability on an effective filling factor is obtained with a maximum around a filling factor of 20 (or 80) percent. The comparison with the case of the nearest neighbor tight-binding model shows that the long-range hopping provides an increase of the phase space volume with high pair formation probability. We conjecture that the Coulomb electron pairs discussed here may play a role in high temperature superconductivity.


title: What and Where: Learn to Plug Adapters via NAS for Multi-Domain Learning

abstract: As an important and challenging problem, multi-domain learning (MDL) typically seeks for a set of effective lightweight domain-specific adapter modules plugged into a common domain-agnostic network. Usually, existing ways of adapter plugging and structure design are handcrafted and fixed for all domains before model learning, resulting in the learning inflexibility and computational intensiveness. With this motivation, we propose to learn a data-driven adapter plugging strategy with Neural Architecture Search (NAS), which automatically determines where to plug for those adapter modules. Furthermore, we propose a NAS-adapter module for adapter structure design in a NAS-driven learning scheme, which automatically discovers effective adapter module structures for different domains. Experimental results demonstrate the effectiveness of our MDL model against existing approaches under the conditions of comparable performance.


title: MSPPIR: Multi-source privacy-preserving image retrieval in cloud computing

abstract: Content-Based Image Retrieval (CBIR) techniques have been widely researched and in service with the help of cloud computing like Google Images. However, the images always contain rich sensitive information. In this case, the privacy protection become a big problem as the cloud always can't be fully trusted. Many privacy-preserving image retrieval schemes have been proposed, in which the image owner can upload the encrypted images to the cloud, and the owner himself or the authorized user can execute the secure retrieval with the help of cloud. Nevertheless, few existing researches notice the multi-source scene which is more practical. In this paper, we analyze the difficulties in Multi-Source Privacy-Preserving Image Retrieval (MSPPIR). Then we use the image in JPEG-format as the example, to propose a scheme called JES-MSIR, namely a novel JPEG image Encryption Scheme which is made for Multi-Source content-based Image Retrieval. JES-MSIR can support the requirements of MSPPIR, including the constant-rounds secure retrieval from multiple sources and the union of multiple sources for better retrieval services. Experiment results and security analysis on the proposed scheme show its efficiency, security and accuracy.


title: Asymmetric Stochastic Resetting: Modeling Catastrophic Events

abstract: In the classical stochastic resetting problem, a particle, moving according to some stochastic dynamics, undergoes random interruptions that bring it to a selected domain, and then, the process recommences. Hitherto, the resetting mechanism has been introduced as a symmetric reset about the preferred location. However, in nature, there are several instances where a system can only reset from certain directions, e.g., catastrophic events. Motivated by this, we consider a continuous stochastic process on the positive real line. The process is interrupted at random times occurring at a constant rate, and then, the former relocates to a value only if the current one exceeds a threshold; otherwise, it follows the trajectory defined by the underlying process without resetting. We present a general framework to obtain the exact non-equilibrium steady state of the system and the mean first passage time for the system to reach the origin. Employing this framework, we obtain the explicit solutions for two different model systems. Some of the classical results found in symmetric resetting such as the existence of an optimal resetting, are strongly modified. Finally, numerical simulations have been performed to verify the analytical findings, showing an excellent agreement.


title: Quantum Quench and Charge Oscillations in the SU(3) Hubbard Model: a Test of Time Evolving Block Decimation with general non-Abelian Symmetries

abstract: We introduce the notion of non-Abelian tensors, and use them to construct a general non-Abelian time evolving block decimation (NA-TEBD) scheme that uses an arbitrary number of Abelian and non-Abelian symmetries. Our approach increases the speed and memory storage efficiency of matrix product state based computations by several orders of magnitudes, and makes large bond dimensions accessible even on simple desktop architectures. We use it to study post-quench dynamics in the repulsive SU(3) Hubbard model, and to determine the time evolution of various local operators and correlation functions efficiently. Interactions turn algebraic charge relaxation into exponential, and suppress coherent quantum oscillations rapidly.


title: A versatile trend test for the evaluation of tumor incidences in long-term carcinogenicity bioassays

abstract: For the evaluation of carcinogenicity bioassays a new trend test is proposed which is based on a maximum of arithmetic, ordinal, and logarithmic regression scores as well as the Williams-type contrasts for either crude proportions or more appropriate poly3-estimates for the tumor-by-time relationships. This test provides an almost appropriate power for most shapes of dose-response relationships (including for possible downturn effect at high(er) dose(s)), common signs of significance (p-value, confidence limits) and the information on the probable shape. Related software is easily available within the CRAN-packages tukeytrend, MCPAN, multcomp.


title: Multinomial Sampling for Hierarchical Change-Point Detection

abstract: Bayesian change-point detection, together with latent variable models, allows to perform segmentation over high-dimensional time-series. We assume that change-points lie on a lower-dimensional manifold where we aim to infer subsets of discrete latent variables. For this model, full inference is computationally unfeasible and pseudo-observations based on point-estimates are used instead. However, if estimation is not certain enough, change-point detection gets affected. To circumvent this problem, we propose a multinomial sampling methodology that improves the detection rate and reduces the delay while keeping complexity stable and inference analytically tractable. Our experiments show results that outperform the baseline method and we also provide an example oriented to a human behavior study.


title: Micro-expression spotting: A new benchmark

abstract: Micro-expressions (MEs) are brief and involuntary facial expressions that occur when people are trying to hide their true feelings or conceal their emotions. Based on psychology research, MEs play an important role in understanding genuine emotions, which leads to many potential applications. Therefore, ME analysis has become an attractive topic for various research areas, such as psychology, law enforcement, and psychotherapy. In the computer vision field, the study of MEs can be divided into two main tasks, spotting and recognition, which are used to identify positions of MEs in videos and determine the emotion category of the detected MEs, respectively. Recently, although much research has been done, no fully automatic system for analyzing MEs has yet been constructed on a practical level for two main reasons: most of the research on MEs only focuses on the recognition part, while abandoning the spotting task; current public datasets for ME spotting are not challenging enough to support developing a robust spotting algorithm. The contributions of this paper are threefold: (1) we introduce an extension of the SMIC-E database, namely the SMIC-E-Long database, which is a new challenging benchmark for ME spotting; (2) we suggest a new evaluation protocol that standardizes the comparison of various ME spotting techniques; (3) extensive experiments with handcrafted and deep learning-based approaches on the SMIC-E-Long database are performed for baseline evaluation.


title: Spectral flow for pair compatible equipartitions

abstract: We show that a recent spectral flow approach proposed by Berkolaiko-Cox-Marzuola for analyzing the nodal deficiency of the nodal partition associated to an eigenfunction can be extended to more general partitions. To be more precise, we work with spectral equipartitions that satisfy a pair compatible condition. Nodal partitions and spectral minimal partitions are examples of such partitions. Along the way, we discuss different approaches to the Dirichlet-to-Neumann operators: via Aharonov-Bohm operators, via a double covering argument, and via a slitting of the domain.


title: High-Gain Harmonic Generation with temporally overlapping seed pulses and application to ultrafast spectroscopy

abstract: Collinear double-pulse seeding of the High-Gain Harmonic Generation (HGHG) process in a free-electron laser (FEL) is a promising approach to facilitate various coherent nonlinear spectroscopy schemes in the extreme ultraviolet (XUV) spectral range. However, in collinear arrangements using a single nonlinear medium, temporally overlapping seed pulses may introduce nonlinear mixing signals that compromise the experiment at short time delays. Here, we investigate these effects in detail by extending the analysis described in a recent publication (Wituschek et al., Nat. Commun., 11, 883, 2020). High-order fringe-resolved autocorrelation and wave-packet interferometry experiments at photon energies > $23\,$eV are performed, accompanied by numerical simulations. It turns out that both the autocorrelation and the wave-packet interferometry data are very sensitive to saturation effects and can thus be used to characterize saturation in the HGHG process. Our results further imply that time-resolved spectroscopy experiments are feasible even for time delays smaller than the seed pulse duration.


title: Natural Strategic Abilities in Voting Protocols

abstract: Security properties are often focused on the technological side of the system. One implicitly assumes that the users will behave in the right way to preserve the property at hand. In real life, this cannot be taken for granted. In particular, security mechanisms that are difficult and costly to use are often ignored by the users, and do not really defend the system against possible attacks. Here, we propose a graded notion of security based on the complexity of the user's strategic behavior. More precisely, we suggest that the level to which a security property $\varphi$ is satisfied can be defined in terms of (a) the complexity of the strategy that the voter needs to execute to make $\varphi$ true, and (b) the resources that the user must employ on the way. The simpler and cheaper to obtain $\varphi$, the higher the degree of security. We demonstrate how the idea works in a case study based on an electronic voting scenario. To this end, we model the vVote implementation of the \Pret voting protocol for coercion-resistant and voter-verifiable elections. Then, we identify "natural" strategies for the voter to obtain receipt-freeness, and measure the voter's effort that they require. We also look at how hard it is for the coercer to compromise the election through a randomization attack.


title: On the positivity of high-degree Schur classes of an ample vector bundle

abstract: Let $X$ be a smooth projective variety of dimension $n$, and let $E$ be an ample vector bundle over $X$. We show that any non-zero Schur class of $E$, lying in the cohomology group of bidegree $(n-1, n-1)$, has a representative which is strictly positive in the sense of smooth forms. This conforms the prediction of Griffiths conjecture on the positive polynomials of Chern classes/forms of an ample vector bundle on the form level, and thus strengthens the celebrated positivity results of Fulton-Lazarsfeld for certain degrees.


title: A Framework to Control Inter-Area Oscillations with Local Measurement

abstract: Inter-area oscillations in power system limit of power transfer capability though tie-lines. For stable operation, wide-area power system stabilizers are deployed to provide sufficient damping. However, as the feedback is through a communication network, it brings challenges such as additional communication layer and cybersecurity issues. To address this, a framework for synthesizing remote signal from local measurement as feedback in the wide-area power system stabilizer is proposed. The remote signal is synthesized using different variants of observers in a case study of two-area benchmark system. The proposed framework can improve the damping of inter-area oscillations for static output feedback controller. The presented framework should help to design attack-resilient controller design in smart grid.


title: Quasicrystal formation in binary soft matter mixtures

abstract: Using a strategy that may be applied in theory or in experiments, we identify the regime in which a model binary soft matter mixture forms quasicrystals. The system is described using classical density functional theory combined with integral equation theory. Quasicrystal formation requires particle ordering with two characteristic lengthscales in certain particular ratios. How the lengthscales are related to the form of the pair interactions is reasonably well understood for one component systems, but less is known for mixtures. In our model mixture of big and small colloids confined to an interface, the two lengthscales stem from the range of the interactions between pairs of big particles and from the cross big-small interactions, respectively. The small-small lengthscale is not significant. Our strategy for finding quasicrystals involves tuning locations of maxima in the dispersion relation, or equivalently in the liquid state partial static structure factors.


title: Convergence Rates of Inertial Primal-Dual Dynamical Methods for Separable Convex Optimization Problems

abstract: In this paper, we propose a second-order continuous primal-dual dynamical system with time-dependent positive damping terms for a separable convex optimization problem with linear equality constraints. By the Lyapunov function approach, we investigate asymptotic properties of the proposed dynamical system as the time $t\to+\infty$. The convergence rates are derived for different choices of the damping coefficients. We also show that the obtained results are robust under external perturbations.


title: Hot-spots and gain enhancement in a doubly pumped parametric down-conversion process

abstract: We experimentally investigate the parametric down-conversion process in a nonlinear bulk crystal, driven by two non-collinear pump modes. The experiment shows the emergence of bright hot-spots in modes shared by the two pumps, in analogy with the phenomenology recently observed in 2D nonlinear photonic crystals. By exploiting the spatial walk-off between the two extraordinary pump modes we have been able to recreate a peculiar resonance condition, reported by a local enhancement of the parametric gain, which corresponds to a transition from a three-mode to a four-mode coupling. From a quantum point of view this opens the way to the generation of multimode entangled states of light such as tripartite or quadripartite states, in simple bulk nonlinear sources.


title: Grid-Based Stochastic Model Predictive Control for Trajectory Planning in Uncertain Environments

abstract: Stochastic Model Predictive Control has proved to be an efficient method to plan trajectories in uncertain environments, e.g., for autonomous vehicles. Chance constraints ensure that the probability of collision is bounded by a predefined risk parameter. However, considering chance constraints in an optimization problem can be challenging and computationally demanding. In this paper, we present a grid-based Stochastic Model Predictive Control approach. This approach allows to determine a simple deterministic reformulation of the chance constraints and reduces the computational effort, while considering the stochastic nature of the environment. Within the proposed method, we first divide the environment into a grid and, for each predicted step, assign each cell a probability value, which represents the probability that this cell will be occupied by surrounding vehicles. Then, the probabilistic grid is transformed into a binary grid of admissible and inadmissible cells by applying a threshold, representing a risk parameter. Only cells with an occupancy probability lower than the threshold are admissible for the controlled vehicle. Given the admissible cells, a convex hull is generated, which can then be used for trajectory planning. Simulations of an autonomous driving highway scenario show the benefits of the proposed grid-based Stochastic Model Predictive Control method.


title: Tile test for back-testing risk evaluation

abstract: A new test for measuring the accuracy of financial market risk estimations is introduced. It is based on the probability integral transform (PIT) of the ex post realized returns using the ex ante probability distributions underlying the risk estimation. If the forecast is correct, the result of the PIT, that we called probtile, should be an iid random variable with a uniform distribution. The new test measures the variance of the number of probtiles in a tiling over the whole sample. Using different tilings allow to check the dynamic and the distributional aspect of risk methodologies. The new test is very powerful, and new benchmarks need to be introduced to take into account subtle mean reversion effects induced by some risk estimations. The test is applied on 2 data sets for risk horizons of 1 and 10 days. The results show unambiguously the importance of capturing correctly the dynamic of the financial market, and exclude some broadly used risk methodologies.


title: MULTISEM at SemEval-2020 Task 3: Fine-tuning BERT for Lexical Meaning

abstract: We present the MULTISEM systems submitted to SemEval 2020 Task 3: Graded Word Similarity in Context (GWSC). We experiment with injecting semantic knowledge into pre-trained BERT models through fine-tuning on lexical semantic tasks related to GWSC. We use existing semantically annotated datasets and propose to approximate similarity through automatically generated lexical substitutes in context. We participate in both GWSC subtasks and address two languages, English and Finnish. Our best English models occupy the third and fourth positions in the ranking for the two subtasks. Performance is lower for the Finnish models which are mid-ranked in the respective subtasks, highlighting the important role of data availability for fine-tuning.


title: Effects of dynamic capability and marketing strategy on the organizational performance of the banking sector in Makassar, Indonesia

abstract: The dynamic capability and marketing strategy are challenges to the banking sector in Indonesia. This study uses a survey method solving 39 banks in Makassar. Data collection was conducted of questionnaires. The results show that, the dynamic capability has a positive yet insignificant impact on the organizational performance, the marketing strategy has a positive and significant effect on organizational performance and, dynamic capability and marketing strategy have a positive and significant effect on the organization's performance in the banking sector in Makassar. Keywords : dynamic capability, marketing strategy, organizational performance, banking


title: Partition of graphs with maximum degree ratio

abstract: Given a graph $G$ and a non trivial partition $(V_1,V_2)$ of its vertex-set, the satisfaction of a vertex $v\in V_i$ is the ratio between the size of it's closed neighborhood in $V_i$ and the size of its closed neighborhood in $G$. The worst ratio over all the vertices defines the quality of the partition. We define $q(G)$ the degree ratio of a graph as the maximum of the worst ratio over all the non trivial partitions. We give bounds and exact values of $q(G)$ for some classes of graphs. We also show some complexity results for the associated optimization or decision problems.


title: Crystal and Electronic Structure of GaTa$_4$Se$_8$ From First-Principle Calculations

abstract: GaTa$_4$Se$_8$ belongs to the lacunar spinel family. Its crystal structures is still a puzzle though there have been intensive studies on its novel properties, such as the Mott insulator phase and superconductivity under pressure. In this work, we investigate its phonon spectra through first-principle calculations and proposed it most probably has crystal structure phase transition, which is consistent with several experimental observations. For the prototype lacunar spinel with cubic symmetry of space group $F\bar{4}3m$, its phonon spectra have three soft modes in the whole Brillouin zone, indicating the strong dynamical instability of such crystal structure. In order to find the dynamically stable crystal structure, further calculations indicate two new structures of GaTa$_4$Se$_8$, corresponding to $R3m$ and $P\bar{4}2_{1}m$, verifying that at the ambient pressure, there does exist structure phase transition of GaTa$_4$Se$_8$ from $F\bar{4}3m$ to other structures when the temperature is lowered. We also performed electronic structure calculation for $R3m$ and $P\bar{4}2_{1}m$ structure, showing that $P\bar{4}2_{1}m$ structure GaTa$_4$Se$_8$ is band insulator, and obtained Mott insulator state for $R3m$ structure by DMFT calculation under single-band Hubbard model picture when interaction parameter U is larger than 0.40 eV vs. band width of 0.25 eV. It is reasonable to assume that while lowering the temperature, $F\bar{4}3m$ structure GaTa$_4$Se$_8$ becomes $R3m$ structure GaTa$_4$Se$_8$ first, then $P\bar{4}2_{1}m$ structure GaTa$_4$Se$_8$, because of the symmetry of $P\bar{4}2_{1}m$ is lower than $R3m$ after Jahn-Teller distortion. The structure transition may explain the magnetic susceptibility anomalous at low temperature.


title: Nuclear Spin Crossover in Dense Molecular Hydrogen

abstract: The laws of quantum mechanics are often tested against the behaviour of the lightest element in the periodic table, hydrogen. One of the most striking properties of molecular hydrogen is the coupling between molecular rotational properties and nuclear spin orientations, giving rise to the spin isomers ortho- and para-hydrogen. At high pressure, as intermolecular interactions increase significantly, the free rotation of H2 molecules is increasingly hindered, and consequently a modification of the coupling between molecular rotational properties and the nuclear spin system can be anticipated. To date, high-pressure experimental methods have not been able to observe nuclear spin states at pressures approaching 100 GPa and consequently the effect of high pressure on the nuclear spin statistics could not be directly measured. Here, we present in-situ high-pressure nuclear magnetic resonance data on molecular hydrogen in its hexagonal phase I up to 123 GPa at room temperature. While our measurements confirm the presence of I=1 ortho-hydrogen at low pressures, above 70 GPa, where inter- and intramolecular distances become comparable, we observe a crossover in the nuclear spin statistics from a spin-1 quadrupolar to a spin-1/2 dipolar system, evidencing the loss of spin isomer distinction. These observations represent a unique case of a nuclear spin crossover phenomenon in quantum solids.


title: Landau Theory for Non-Symmetry-Breaking Electronic Instability Coupled to Symmetry-Breaking Applied to Prussian Blue Analogue

abstract: Different types of ordering phenomena may occur during phase transitions, described within the universal framework of the Landau theory through the evolution of one, or several, symmetry-breaking order parameter h. In addition, many systems undergo phase transitions related to an electronic instability, in the absence of a symmetry-breaking and eventually described through the evolution of a totally symmetric order parameter q linearly coupled to volume change. Analyzing the coupling of a non-symmetry-breaking electronic instability, responsible for volume strain, to symmetry-breaking phenomena is of importance for many systems in nature and here we show that the symmetry-allowed qh2 coupling plays a central role. We use as case study the rubidium manganese hexacyanoferrate Prussian blue analogue, exhibiting phase transitions with hysteresis that may exceed 100 K, and based on intermetallic charge transfer (CT). During the phase transition, the intermetallic CT described through the evolution of q is coupled to cubic-tetragonal ferroelastic symmetry-breaking described through the evolution of h. In this system, the symmetry-breaking and non-symmetry breaking deformations have similar amplitudes but the large volume strain is mainly due to CT. We analyze both the ferroelastic and the CT features of the phase transition within the frame of the Landau theory, taking into account the qh2 coupling, stabilizing concomitant CT and Jahn-Teller distortion. The phase diagrams obtained with this model are in good qualitative agreement with various experimental findings and apply to diverse families of materials undergoing Mott transition, spin-crossover, neutral-ionic transition, for which isostructural electronic instability driving volume strain can couple to symmetry-breaking or not, create phase transition lines and drive cooperative phenomena.


title: Evolution of exploding granules from coordinated observations by THEMIS, IRIS, SDO/HMI, and HINODE, and a simulation

abstract: Exploding granules constitute the strongest horizontal flows on the quiet Sun and contribute to the structure of the surface horizontal velocity fields which build the large-scale organization of the discrete magnetic field. In this work we explore exploding granule expansion through the observations of the ground-based THEMIS telescope, IRIS, SDO, and the Hinode space-borne instruments, and finally with the magnetohydrodynamics simulation. We evaluate the detection and the expansion of exploding granules at several wavelengths and at various spatial and temporal resolutions. To analyze the different temporal sequences, two methods of image segmentation are applied to select the granules. The first allows us to follow individually the exploding granules observed simultaneously by THEMIS, IRIS, and SDO. The second uses long time independent sequences from THEMIS, IRIS, SDO, Hinode, and a simulation. In the first method (called manual) the segmentation isolates the cell of the granules (bright granules and intergranular parts), while in the second method (called statistical) only the bright part of the granules are isolated. The results obtained with simultaneous or distinct temporal observations using the two methods of segmentation are in good agreement. The granule area evolves linearly with an expansion velocity that decreases with the radius. A rapid decrease in the velocity expansion in the first two minutes is observed. The detection and measurement of the dynamics of the explosive granules can be performed from ground- and space-based instruments. Our work reveals the usefulness of SDO data, with low spatial resolution, to study the dynamics of the exploding granules all over the solar surface


title: On Endpoint Regularity Criterion of the 3D Navier-Stokes equations

abstract: Let $(u, \pi)$ with $u=(u_1,u_2,u_3)$ be a suitable weak solution of the three dimensional Navier-Stokes equations in $\mathbb{R}^3\times [0, T]$. Denote by $\dot{\mathcal{B}}^{-1}_{\infty,\infty}$ the closure of $C_0^\infty$ in $\dot{B}^{-1}_{\infty,\infty}$. We prove that if $u\in L^\infty(0, T; \dot{B}^{-1}_{\infty,\infty})$, $u(x, T)\in \dot{\mathcal{B}}^{-1}_{\infty,\infty})$, and $u_3\in L^\infty(0, T; L^{3, \infty})$ or $u_3\in L^\infty(0, T; \dot{B}^{-1+3/p}_{p, q})$ with $3<p, q< \infty$, then $u$ is smooth in $\mathbb{R}^3\times [0, T]$. Our result improves a previous result established by Wang and Zhang [Sci. China Math. 60, 637-650 (2017)].


title: Probability over Plonka sums of Boolean algebras: states, metrics and topology

abstract: The paper introduces the notion of state for involutive bisemilattices, a variety which plays the role of algebraic counterpart of paraconsistent weak Kleene logic and whose elements are represented as Plonka sum of Boolean algebras. We investigate the relations between states over an involutive bisemilattice and probability measures over the (Boolean) algebras in the Plonka sum representation and, the direct limit of these algebras. Moreover, we study completition of involutive bisemilattices, as pseudometric spaces, and the topology induced by the pseudometric.


title: Prediction-based estimation for diffusion models with high-frequency data

abstract: This paper obtains asymptotic results for parametric inference using prediction-based estimating functions when the data are high frequency observations of a diffusion process with an infinite time horizon. Specifically, the data are observations of a diffusion process at $n$ equidistant time points $\Delta_n i$, and the asymptotic scenario is $\Delta_n \to 0$ and $n\Delta_n \to \infty$. For a useful and tractable classes of prediction-based estimating functions, existence of a consistent estimator is proved under standard weak regularity conditions on the diffusion process and the estimating function. Asymptotic normality of the estimator is established under the additional rate condition $n\Delta_n^3 \to 0$. The prediction-based estimating functions are approximate martingale estimating functions to a smaller order than what has previously been studied, and new non-standard asymptotic theory is needed. A Monte Carlo method for calculating the asymptotic variance of the estimators is proposed.


title: MQT-TZ: Hardening IoT Brokers Using ARM TrustZone

abstract: The publish-subscribe paradigm is an efficient communication scheme with strong decoupling between the nodes, that is especially fit for large-scale deployments. It adapts natively to very dynamic settings and it is used in a diversity of real-world scenarios, including finance, smart cities, medical environments, or IoT sensors. Several of the mentioned application scenarios require increasingly stringent security guarantees due to the sensitive nature of the exchanged messages as well as the privacy demands of the clients/stakeholders/receivers. MQTT is a lightweight topic-based publish-subscribe protocol popular in edge and IoT settings, a de-facto standard widely adopted nowadays by the industry and researchers. However, MQTT brokers must process data in clear, hence exposing a large attack surface. This paper presents MQT-TZ, a secure MQTT broker leveraging Arm TrustZone, a trusted execution environment (TEE) commonly found even on inexpensive devices largely available on the market (such as Raspberry Pi units). We define a mutual TLS-based handshake and a two-layer encryption for end-to-end security using the TEE as a trusted proxy. The experimental evaluation of our fully implemented prototype with micro-, macro-benchmarks, as well as with real-world industrial workloads from a MedTech use-case, highlights several trade-offs using TrustZone TEE. We report several lessons learned while building and evaluating our system. We release MQT-TZ as open-source.


title: Optical Forces in Coupled Chiral Particles

abstract: Structural chirality can induce counter-intuitive optical forces due to inherent symmetry properties. While optical forces on a single chiral particle in the Rayleigh regime have been well studied, optical forces in coupled chiral particles remain less explored. By using full-wave numerical simulations and analytical methods of source representation and coupled mode theory, we investigated the optical forces induced by a plane wave on two chiral particles coupling with each other via the evanescent near fields. We found that the induced electric and magnetic dipoles of the chiral particles have complicated couplings that give rise to dark and bright modes. The interaction force between the particles can be either attractive or repulsive, and its magnitude can be significantly enhanced by the resonance modes. The attractive force is much stronger if two particles are of opposite handedness compared with the case of same handedness. The electric dipole force and the magnetic dipole force have the same sign for two particles with the same handedness, while they are of different signs for two particles with opposite handedness. The results can lead to a better understanding of chirality-induced optical forces with potential applications in optical manipulations and chiral light-matter interactions.


title: Filtrations of tilting modules and costalks of parity sheaves

abstract: Let G be a reductive algebraic group over a field k. When k=C, R.K.Brylinski constructed a filtration of weight spaces of a G module, using the action of a principal nilpotent element of the Lie algebra, and proved that this filtration corresponds to Lusztig's q-analogue of the weight multiplicity. Later, Ginzburg discovered that this filtration has an interesting geometric interpretation via the geometric Satake correspondence. The goal of this article is to generalize these results to positive characteristics.


title: On transverse momenta and (pseudo)rapidity spectrum of the top quark in proton-proton collisions at 13 TeV

abstract: We study the transverse momenta and (pseudo)rapidity spectrum of the top quark and their decay products, the tt-system, and the total number of jets in proton-proton (pp) collisions at 13 TeV by using the Tsallis-Pareto-type function and the three-source Landau hydrodynamic model, respectively. The related parameters, such as the effective temperature of the interacting system (T), the non-extensivity of the process (n) and the width ($\sigma$) of (pseudo)rapidity distribution are extracted.


title: Transferred Discrepancy: Quantifying the Difference Between Representations

abstract: Understanding what information neural networks capture is an essential problem in deep learning, and studying whether different models capture similar features is an initial step to achieve this goal. Previous works sought to define metrics over the feature matrices to measure the difference between two models. However, different metrics sometimes lead to contradictory conclusions, and there has been no consensus on which metric is suitable to use in practice. In this work, we propose a novel metric that goes beyond previous approaches. Recall that one of the most practical scenarios of using the learned representations is to apply them to downstream tasks. We argue that we should design the metric based on a similar principle. For that, we introduce the transferred discrepancy (TD), a new metric that defines the difference between two representations based on their downstream-task performance. Through an asymptotic analysis, we show how TD correlates with downstream tasks and the necessity to define metrics in such a task-dependent fashion. In particular, we also show that under specific conditions, the TD metric is closely related to previous metrics. Our experiments show that TD can provide fine-grained information for varied downstream tasks, and for the models trained from different initializations, the learned features are not the same in terms of downstream-task predictions. We find that TD may also be used to evaluate the effectiveness of different training strategies. For example, we demonstrate that the models trained with proper data augmentations that improve the generalization capture more similar features in terms of TD, while those with data augmentations that hurt the generalization will not. This suggests a training strategy that leads to more robust representation also trains models that generalize better.


title: Towards Automated Discovery of Geometrical Theorems in GeoGebra

abstract: We describe a prototype of a new experimental GeoGebra command and tool Discover that analyzes geometric figures for salient patterns, properties, and theorems. This tool is a basic implementation of automated discovery in elementary planar geometry. The paper focuses on the mathematical background of the implementation, as well as methods to avoid combinatorial explosion when storing the interesting properties of a geometric figure.


title: A (tight) upper bound for the length of confidence intervals with conditional coverage

abstract: We show that two popular selective inference procedures, namely data carving (Fithian et al., 2017) and selection with a randomized response (Tian et al., 2018b), when combined with the polyhedral method (Lee et al., 2016), result in confidence intervals whose length is bounded. This contrasts results for confidence intervals based on the polyhedral method alone, whose expected length is typically infinite (Kivaranovic and Leeb, 2020). Moreover, we show that these two procedures always dominate corresponding sample-splitting methods in terms of interval length.


title: Learning Crisp Edge Detector Using Logical Refinement Network

abstract: Edge detection is a fundamental problem in different computer vision tasks. Recently, edge detection algorithms achieve satisfying improvement built upon deep learning. Although most of them report favorable evaluation scores, they often fail to accurately localize edges and give thick and blurry boundaries. In addition, most of them focus on 2D images and the challenging 3D edge detection is still under-explored. In this work, we propose a novel logical refinement network for crisp edge detection, which is motivated by the logical relationship between segmentation and edge maps and can be applied to both 2D and 3D images. The network consists of a joint object and edge detection network and a crisp edge refinement network, which predicts more accurate, clearer and thinner high quality binary edge maps without any post-processing. Extensive experiments are conducted on the 2D nuclei images from Kaggle 2018 Data Science Bowl and a private 3D microscopy images of a monkey brain, which show outstanding performance compared with state-of-the-art methods.


title: Multi-view adaptive graph convolutions for graph classification

abstract: In this paper, a novel multi-view methodology for graph-based neural networks is proposed. A systematic and methodological adaptation of the key concepts of classical deep learning methods such as convolution, pooling and multi-view architectures is developed for the context of non-Euclidean manifolds. The aim of the proposed work is to present a novel multi-view graph convolution layer, as well as a new view pooling layer making use of: a) a new hybrid Laplacian that is adjusted based on feature distance metric learning, b) multiple trainable representations of a feature matrix of a graph, using trainable distance matrices, adapting the notion of views to graphs and c) a multi-view graph aggregation scheme called graph view pooling, in order to synthesise information from the multiple generated views. The aforementioned layers are used in an end-to-end graph neural network architecture for graph classification and show competitive results to other state-of-the-art methods.


title: Boson stars in $f(T)$ extended theory of gravity

abstract: Spherically symmetric configurations of the non-interacting massive complex scalar field, representing non-rotating boson stars, are considered within the framework of the modified torsion based $f(T)$ gravity, with $f(T) = T + \alpha \, T^2/2$. We find that with sufficiently large negative value of $\alpha$ the mass of the boson stars can be made arbitrarily large. This is in contrast to General Relativity where an upper bound, $M_{max} \sim M_{Planck}^2/m$, to the mass of the boson stars built from the non-interacting scalar field exists and where the masses of boson stars in the astrophysical regime can be obtained only with the introduction of the scalar field self-interaction. With sufficiently large negative $\alpha$ we also find negative gravitational binding energy for all masses, which can be seen as an indication of the stability of such configurations. In its positive regime, $\alpha$ can not be made arbitrarily large as a phase transition in the stress--energy components of the $f(T)$-fluid develops. This phenomenon has already been reported to occur in polytropic stars constructed within the $f(T)$ gravity theory.


title: Structural Phase Transitions of Optical Patterns in Atomic Gases with Microwave Controlled Rydberg Interactions

abstract: Spontaneous symmetry breaking and formation of self-organized structures in nonlinear systems are intriguing and important phenomena in nature. Advancing such research to new nonlinear optical regimes is of much interest for both fundamental physics and practical applications. Here we propose a scheme to realize optical pattern formation in a cold Rydberg atomic gas via electromagnetically induced transparency. We show that, by coupling two Rydberg states with a microwave field (microwave dressing), the nonlocal Kerr nonlinearity of the Rydberg gas can be enhanced significantly and may be tuned actively. Based on such nonlocal Kerr nonlinearity, we demonstrate that a plane-wave state of probe laser field can undergo a modulation instability (MI) and hence spontaneous symmetry breaking, which may result in the emergence of various self-organized optical patterns. Especially, we find that a hexagonal lattice pattern (which is the only optical pattern when the microwave dressing is absent) may develop into several types of square lattice ones when the microwave dressing is applied; moreover, as a outcome of the MI the formation of nonlocal optical solitons is also possible in the system. Different from earlier studies, the optical patterns and nonlocal optical solitons found here can be flexibly manipulated by adjusting the effective probe-field intensity, nonlocality degree of the Kerr nonlinearity, and the strength of the microwave field. Our work opens a route for versatile controls of self-organizations and structural phase transitions of laser light, which may have potential applications in optical information processing and transmission.

categories: physics.optics nlin.AO nlin.PS physics.atom-ph


title: Constraints on Dynamical Dark Energy Models from the Abundance of Massive Galaxies at High Redshifts

abstract: We compare the maximal abundance of massive systems predicted in different dynamical dark energy (DDE) models at high redshifts z = 4-7 with the measured abundance of the most massive galaxies observed to be already in place at such redshifts. The aim is to derive constraints for the evolution of the dark energy equation of state parameter w which are complementary to existing probes. We adopt the standard parametrization for the DDE evolution in terms of the local value w_0 and of the look-back time derivative w_a of the equation of state. We derive constraints on combinations (w_0, w_a) in the different DDE models by using three different, independent probes: (i) the observed stellar mass function of massive objects at z = 6 derived from the CANDELS survey; (ii) the estimated volume density of massive halos derived from the observation of massive, star-forming galaxies detected in the submillimeter range at z = 4; (iii) The rareness of he most massive system (estimated gas mass exceeding 3 10^11 M_sun) observed to be in place at z = 7, a far-infrared-luminous object recently detected in the South Pole Telescope (SPT) survey. Finally, we show that the combination of our results from the three above probes excludes a sizable fraction of the DDE parameter space w_a > -3/4 - (w_0 + 3/2) presently allowed (or even favored) by existing probes.


title: Treatment-induced shrinking of tumour aggregates: A nonlinear volume-filling chemotactic approach

abstract: Motivated by experimental observations in 3D/organoid cultures derived from glioblastoma, we develop a mathematical model where tumour aggregate formation is obtained as the result of nutrient-limited cell proliferation coupled with chemotaxis-based cell movement. The introduction of a chemotherapeutic treatment induces mechanical changes at the cell level, with cells undergoing a transition from rigid bodies to semi-elastic entities. We analyse the influence of these individual mechanical changes on the properties of the aggregates obtained at the population level by introducing a nonlinear volume-filling chemotactic system of partial differential equations. The elastic properties of the cells are taken into account through the so-called squeezing probability, which allows us to change the packing capacity of the aggregates, depending on the concentration of the treatment in the extracellular microenvironment. We explore two scenarios for the effect of the treatment: firstly, the treatment acts only on the mechanical properties of the cells and, secondly, we assume it also prevents cell proliferation. A linear stability analysis enables us to study the ability of the system to create patterns. We provide numerical simulations in 1D and 2D that illustrate the shrinking of the aggregates due to the presence of the treatment.


title: Explicit Harmonic Structure Of Bidimensional Linear Strain-Gradient Elasticity

abstract: In the perspective of homogenization theory, strain-gradient elasticity is a strategy to describe the overall behaviour of materials with coarse mesostructure. In this approach, the effect of the mesostructure is described by the use of three elasticity tensors whose orders vary from 4 to 6. Higher-order constitutive tensors make it possible to describe rich physical phenomena. However, these objects have intricate algebraic structures that prevent us from having a clear picture of their modeling capabilities. The harmonic decomposition is a fundamental tool to investigate the anisotropic properties of constitutive tensor spaces. For higher-order tensors (i.e. tensors of order $n\geq$3), its establishment is generally a difficult task. In this paper a novel procedure to obtain this decomposition is introduced. This method, that we have called the \textit{Clebsch-Gordan Harmonic Algorithm}, allows to obtain \emph{explicit} harmonic decompositions satisfying good properties such as orthogonality and unicity. The elements of the decomposition also have a precise geometrical meaning simplifying their physical interpretation. This new algorithm is here developed in the specific case of 2D space and applied to Mindlin's Strain-Gradient Elasticity. We provide, for the first time, the harmonic decompositions of the fifth- and sixth-order elasticity tensors involved in this constitutive law.


title: Energy Spaces, Dirichlet Forms and Capacities in a Nonlinear Setting

abstract: In this article we study lower semicontinuous, convex functionals on real Hilbert spaces. In the first part of the article we construct a Banach space that serves as the energy space for such functionals. In the second part we study nonlinear Dirichlet forms, as defined by Cipriani and Grillo, and show, as it is well known in the bilinear case, that the energy space of such forms is a lattice. We define a capacity and introduce the notion quasicontinuity associated with these forms and prove several results, which are well known in the bilinear case.


title: Optimal Control of the Sabatier Process in Microchannel Reactors

abstract: We consider the optimization of a chemical microchannel reactor by means of PDE constrained optimization techniques, using the example of the Sabatier reaction. To model the chemically reacting flow in the microchannels, we introduce a three- and a one-dimensional model. As these are given by strongly coupled and highly nonlinear systems of partial differential equations (PDEs), we present our software package cashocs which implements the adjoint approach and facilitates the numerical solution of the subsequent optimization problems. We solve a parameter identification problem numerically to determine necessary kinetic parameters for the models from experimental data given in the literature. The obtained results show excellent agreement to the measurements. Finally, we present two optimization problems for optimizing the reactor's product yield. First, we use a tracking-type cost functional to maximize the reactant conversion, keep the flow rate of the reactor fixed, and use its wall temperature as optimization variable. Second, we consider the wall temperature and the inlet gas velocity as optimization variables, use an objective functional for maximizing the flow rate in the reactor, and ensure the quality of the product by means of a state constraint. The results obtained from solving these problems numerically show great potential for improving the design of the microreactor.


title: On the vanishing discount problem from the negative direction

abstract: It has been proved in [10] that the unique viscosity solution of \begin{equation}\label{abs}\tag{*} \lambda u_\lambda+H(x,d_x u_\lambda)=c(H)\qquad\hbox{in $M$}, \end{equation} uniformly converges, for $\lambda\rightarrow 0^+$, to a specific solution $u_0$ of the critical equation \[ H(x,d_x u)=c(H)\qquad\hbox{in $M$}, \] where $M$ is a closed and connected Riemannian manifold and $c(H)$ is the critical value. In this note, we consider the same problem for $\lambda\rightarrow 0^-$. In this case, viscosity solutions of equation \eqref{abs} are not unique, in general, so we focus on the asymptotics of the minimal solution $u_\lambda^-$ of \eqref{abs}. Under the assumption that constant functions are subsolutions of the critical equation, we prove that the $u_\lambda^-$ also converges to $u_0$ as $\lambda\rightarrow 0^-$. Furthermore, we exhibit an example of $H$ for which equation \eqref{abs} admits a unique solution for $\lambda<0$ as well.


title: Thermal and orbital evolution of low-mass exoplanets

abstract: Thermal, orbital, and rotational dynamics of tidally loaded exoplanets are interconnected by intricate feedback. The rheological structure of the planet determines its susceptibility to tidal deformation and, as a consequence, participates in shaping its orbit. The orbital parameters and the spin state, conversely, control the rate of tidal dissipation and may lead to substantial changes of the interior. We investigate the coupled thermal-orbital evolution of differentiated rocky exoplanets governed by the Andrade viscoelastic rheology. The coupled evolution is treated by a semi-analytical model, 1d parametrized heat transfer and self-consistently calculated tidal dissipation. First, we conduct several parametric studies, exploring the effect of the rheological properties, the planet's size, and the orbital eccentricity on the tidal locking and dissipation. These tests show that the role of tidal locking into high spin-orbit resonances is most prominent on low eccentric orbits, where it results in substantially higher tidal heating than the synchronous rotation. Second, we calculate the long-term evolution of three currently known low-mass exoplanets with nonzero orbital eccentricity and absent or yet unknown eccentricity forcing (namely GJ 625 b, GJ 411 b, and Proxima Centauri b). The tidal model incorporates the formation of a stable magma ocean and a consistently evolving spin rate. We find that the thermal state is strongly affected by the evolution of eccentricity and spin state and proceeds as a sequence of thermal equilibria. Final despinning into synchronous rotation slows down the orbital evolution and helps to maintain long-term stable orbital eccentricity.


title: Quantum reactive scattering in the long-range ion-dipole potential

abstract: An ion and a polar molecule interact by an anisotropic ion-dipole potential scaling as $- \alpha \cos (\theta)/r^2$ at large distances. Due to its long-range character, it modifies the properties of angular wave functions, which are no longer given by spherical harmonics. In addition, an effective centrifugal potential in the radial equation can become attractive for low angular momenta. In this paper, we develop a general framework for an ion-dipole reactive scattering, focusing on the regime of large $\alpha$. We introduce modified spherical harmonics as solutions of the angular part of the Schr\"odinger equation and derive several useful approximations in the limit of large $\alpha$. We present a formula for the scattering amplitude expressed in terms of the modified spherical harmonics and we derive expressions for the elastic and reactive collision rates. The solutions of the radial equation are given by Bessel functions, and we analyse their behaviour in two distinct regimes corresponding, basically, to attractive and repulsive long-range centrifugal potentials. Finally, we study reactive collisions in the universal regime, where the short-range probability of loss or reaction is equal to unity.


title: On the obstruction to extending a vector bundle from a submanifold

abstract: For the first obstruction to extending a holomorphic vector bundle from a submanifold of a complex manifold found by Griffiths we give an explicit formula in terms of the Atiyah class of the bundle.


title: Can the dynamics of test particles around charged stringy black holes mimic the spin of Kerr black holes?

abstract: We study the motion of electrically charged particles, magnetic monopoles, and magnetic dipoles around electrically and magnetically charged stringy black holes. From the analysis of the radius of the innermost stable circular orbit (ISCO) of electrically charged particles, we show that the electric charge $Q$ of stringy black holes can mimic well the spin of Kerr black holes; the black hole magnetic charge $Q_m$ can mimic spins up to $a_* \simeq 0.85$ for magnetic dipoles; the magnetic charge parameter $g$ of a magnetic monopole can mimic spins up to $a_* \simeq 0.8$. This is due to the destructive character of the magnetic field and such a result excludes the existence of an appreciable black hole magnetic charge in astrophysical black holes from the observation of rapidly rotating objects with dimensionless spin up to $a_* \simeq 0.99$. We then consider the magnetar SGR (PSR) J1745-2900 as a magnetic dipole orbiting the supermassive black hole Sagittarius A* (Sgr A*). We show that Sgr A* may be interpreted as a stringy black hole with magnetic charge $Q_{\rm m}/M \leq 0.4118$.


title: Approximately Optimal Binning for the Piecewise Constant Approximation of the Normalized Unexplained Variance (nUV) Dissimilarity Measure

abstract: The recently introduced Matching by Tone Mapping (MTM) dissimilarity measure enables template matching under smooth non-linear distortions and also has a well-established mathematical background. MTM operates by binning the template, but the ideal binning for a particular problem is an open question. By pointing out an important analogy between the well known mutual information (MI) and MTM, we introduce the term "normalized unexplained variance" (nUV) for MTM to emphasize its relevance and applicability beyond image processing. Then, we provide theoretical results on the optimal binning technique for the nUV measure and propose algorithms to find approximate solutions. The theoretical findings are supported by numerical experiments. Using the proposed techniques for binning shows 4-13% increase in terms of AUC scores with statistical significance, enabling us to conclude that the proposed binning techniques have the potential to improve the performance of the nUV measure in real applications.


title: Bayesian estimate of position in mobile phone network

abstract: The traditional approach to mobile phone positioning is based on the assumption that the geographical location of a cell tower recorded in a call details record (CDR) is a proxy for a device's location. A Voronoi tessellation is then constructed based on the entire network of cell towers and this tessellation is considered as a coordinate system, with the device located in a Voronoi polygon of a cell tower that is recorded in the CDR. If Voronoi-based positioning is correct, the uniqueness of the device trajectory is very high, and the device can be identified based on 3-4 of its recorded locations. We propose and investigate a probabilistic approach to device positioning that is based on knowledge of each antennas' parameters and number of connections, as dependent on the distance to the antenna. The critical difference between the Voronoi-based and the real world layout is in the essential overlap of the antennas' service areas: the device that is located in a cell tower's polygon can be served by a more distant antenna that is chosen by the network system to balance the network load. This overlap is too significant to be ignored. Combining data on the distance distribution of the number of connections available for each antenna in the network, we succeed in resolving the overlap problem by applying Bayesian inference and construct a realistic distribution of the device location. Probabilistic device positioning demands a full revision of mobile phone data analysis, which we discuss with a focus on privacy risk estimates.


title: Spatial ergodicity of stochastic wave equations in dimensions 1,2 and 3

abstract: In this note, we study a large class of stochastic wave equations with spatial dimension less than or equal to $3$. Via a soft application of Malliavin calculus, we establish that their random field solutions are spatially ergodic.


title: Target search of active agents crossing high energy barriers

abstract: Target search by active agents in rugged energy landscapes has remained a challenge because standard enhanced sampling methods do not apply to irreversible dynamics. We overcome this non-equilibrium rare-event problem by developing an algorithm generalizing transition-path sampling to active Brownian dynamics. This method is exemplified and benchmarked for a paradigmatic two-dimensional potential with a high barrier. We find that even in such a simple landscape the structure and kinetics of the ensemble of transition paths change drastically in the presence of activity. Indeed, active Brownian particles reach the target more frequently than passive Brownian particles, following longer and counterintuitive search patterns.


title: A theoretical analysis of the semileptonic decays $\eta^{(\prime)}\to\pi^0l^+l^-$ and $\eta^\prime\to\eta l^+l^-$

abstract: A complete theoretical analysis of the $C$-conserving semileptonic decays $\eta^{(\prime)}\to\pi^0l^+l^-$ and $\eta^\prime\to\eta l^+l^-$ ($l=e$ or $\mu$) is carried out within the framework of the Vector Meson Dominance (VMD) model. An existing phenomenological model is used to parametrise the VMD coupling constants and the associated numerical values are obtained from an optimisation fit to $V\to P\gamma$ and $P\to V\gamma$ radiative decays ($V=\rho^0$, $\omega$, $\phi$ and $P=\pi^0$, $\eta$, $\eta^{\prime}$). The decay widths and dilepton energy spectra for the two $\eta\to\pi^0l^+l^-$ processes obtained using this approach are compared and found to be in good agreement with other results available in the published literature. Theoretical predictions for the four $\eta^{\prime}\to\pi^0l^+l^-$ and $\eta^\prime\to\eta l^+l^-$ decay widths and dilepton energy spectra are calculated and presented for the first time in this work.


title: Clebsch Confinement and Instantons in Turbulence

abstract: We introduce a concept of Clebsch confinement related to unbroken gauge invariance and study Clebsch instantons: singular vorticity sheets with nontrivial helicity. This is realization of the "Instantons and intermittency" program we started back in the 90ties\cite{FKLM}. These singular solutions are involved in enhancing infinitesimal random forces at remote boundary leading to critical phenomena. In the Euler equation vorticity is concentrated along the random self-avoiding surface, with tangent components proportional to the delta function of normal distance. Viscosity in Navier-Stokes equation smears this delta function to the Gaussian with width $h \propto \nu^{\nicefrac{3}{5}}$ at $\nu \ra 0$ with fixed energy flow. These instantons dominate the enstrophy in dissipation as well as the PDF for velocity circulation $\Gamma_C$ around fixed loop $C$ in space. At large loops, the resulting symmetric exponential distribution perfectly fits the numerical simulations\cite{IBS20} including pre-exponential factor $1/\sqrt{|\Gamma|}$. At small loops, we advocate relation of resulting random self-avoiding surface theory with multi-fractal scaling laws observed in numerical simulations. These laws are explained as a result of fluctuating internal metric (Liouville field). The curve of anomalous dimensions $\zeta(n)$ can be fitted at small $n$ to the parabola, coming from the Liouville theory with two parameters $\alpha, Q$. At large $n$ the ratios of the subsequent moments in our theory grow linearly with the size of the loop, which corresponds to finite value of $\zeta(\infty)$ in agreement with DNS.


title: Efficient Conversion of Nitrogen to Nitrogen-Vacancy Centers in Diamond Particles with High-Temperature Electron Irradiation

abstract: Fluorescent nanodiamonds containing negatively-charged nitrogen-vacancy (NV$^-$) centers are promising for a wide range of applications, such as for sensing, as fluorescence biomarkers, or to hyperpolarize nuclear spins. NV$^-$ centers are formed from substitutional nitrogen (P1 centers) defects and vacancies in the diamond lattice. Maximizing the concentration of NVs is most beneficial, which justifies the search for methods with a high yield of conversion from P1 to NV$^-$. We report here the characterization of surface cleaned fluorescent micro- and nanodiamonds, obtained by irradiation of commercial diamond powder with high-energy (10 MeV) electrons and simultaneous annealing at 800{\deg}C. Using this technique and increasing the irradiation dose, we demonstrate the creation of NV$^-$ with up to 25 % conversion yield. Finally, we monitor the creation of irradiation-induced spin-1 defects in microdiamond particles, which we associate with W16 and W33 centers, and investigate the effects of irradiation dose and particle size on the coherence time of NV$^-$.


title: Map-Repair: Deep Cadastre Maps Alignment and Temporal Inconsistencies Fix in Satellite Images

abstract: In the fast developing countries it is hard to trace new buildings construction or old structures destruction and, as a result, to keep the up-to-date cadastre maps. Moreover, due to the complexity of urban regions or inconsistency of data used for cadastre maps extraction, the errors in form of misalignment is a common problem. In this work, we propose an end-to-end deep learning approach which is able to solve inconsistencies between the input intensity image and the available building footprints by correcting label noises and, at the same time, misalignments if needed. The obtained results demonstrate the robustness of the proposed method to even severely misaligned examples that makes it potentially suitable for real applications, like OpenStreetMap correction.


title: Stability Analysis of Charged Rotating Black Ring

abstract: We study the electromagnetic field equation along with the WKB approximation. The boson tunneling phenomenon from charged rotating black ring(CRBR) is analyzed. It is examined that reserve radiation consistent with CRBR can be computed in general by neglecting back reaction and self-gravitational of the radiated boson particle. The calculated temperature depends upon quantum gravity and CRBR geometry. We also examine the corrected tunneling rate/probability of boson particles by assuming charge as well as energy conservation laws and the quantum gravity. Furthermore, we study the graphical behavior of the temperature and check the stability and instability of CRBR.


title: Optically tunable photoluminescence and upconversion lasing on a chip

abstract: The ability to tune the wavelength of light emission on a silicon chip is important for scalable photonic networks, distributed photonic sensor networks and next generation computer architectures. Here we demonstrate light emission in a chip-scale optomechanical device, with wide tunablity provided by a combination of radiation pressure and photothermal effects. To achieve this, we develop an optically active double-disk optomechanical system through implantation of erbium ions. We observe frequency tuning of photoluminescence in the telecommunications band with a wavelength range of 520 pm, green upconversion lasing with a threshold of $340\pm 70 \; \mu$W, and optomechanical self-pulsing caused by the interplay of radiation pressure and thermal effects. These results provide a path towards widely-tunable micron-scale lasers for photonic networks.


title: The Beginning and the Unfinished Story of the Millennium Prize Problems

abstract: The "Millennium Prize Problems" have a place in the history of mathematics. Here we tell some little-known anecdotes from the perspective of the planner of that project. These stories are far from their end; more likely they are just at their beginning.


title: Abstract Interpretation in Formal Argumentation: with a Galois Connection for Abstract Dialectical Frameworks and May-Must Argumentation (First Report)

abstract: Labelling-based formal argumentation relies on labelling functions that typically assign one of 3 labels to indicate either acceptance, rejection, or else undecided-to-be-either, to each argument. While a classical labelling-based approach applies globally uniform conditions as to how an argument is to be labelled, they can be determined more locally per argument. Abstract dialectical frameworks (ADF) is a well-known argumentation formalism that belongs to this category, offering a greater labelling flexibility. As the size of an argumentation increases in the numbers of arguments and argument-to-argument relations, however, it becomes increasingly more costly to check whether a labelling function satisfies those local conditions or even whether the conditions are as per the intention of those who had specified them. Some compromise is thus required for reasoning about a larger argumentation. In this context, there is a more recently proposed formalism of may-must argumentation (MMA) that enforces still local but more abstract labelling conditions. We identify how they link to each other in this work. We prove that there is a Galois connection between them, in which ADF is a concretisation of MMA and MMA is an abstraction of ADF. We explore the consequence of abstract interpretation at play in formal argumentation, demonstrating a sound reasoning about the judgement of acceptability/rejectability in ADF from within MMA. As far as we are aware, there is seldom any work that incorporates abstract interpretation into formal argumentation in the literature, and, in the stated context, this work is the first to demonstrate its use and relevance.


title: Predicting and Mapping of Soil Organic Carbon Using Machine Learning Algorithms in Northern Iran

abstract: Estimation of the soil organic carbon content is of utmost importance in understanding the chemical, physical, and biological functions of the soil. This study proposes machine learning algorithms of support vector machines, artificial neural networks, regression tree, random forest, extreme gradient boosting, and conventional deep neural network for advancing prediction models of SOC. Models are trained with 1879 composite surface soil samples, and 105 auxiliary data as predictors. The genetic algorithm is used as a feature selection approach to identify effective variables. The results indicate that precipitation is the most important predictor driving 15 percent of SOC spatial variability followed by the normalized difference vegetation index, day temperature index of moderate resolution imaging spectroradiometer, multiresolution valley bottom flatness and land use, respectively. Based on 10 fold cross validation, the DNN model reported as a superior algorithm with the lowest prediction error and uncertainty. In terms of accuracy, DNN yielded a mean absolute error of 59 percent, a root mean squared error of 75 percent, a coefficient of determination of 0.65, and Lins concordance correlation coefficient of 0.83. The SOC content was the highest in udic soil moisture regime class with mean values of 4 percent, followed by the aquic and xeric classes, respectively. Soils in dense forestlands had the highest SOC contents, whereas soils of younger geological age and alluvial fans had lower SOC. The proposed DNN is a promising algorithm for handling large numbers of auxiliary data at a province scale, and due to its flexible structure and the ability to extract more information from the auxiliary data surrounding the sampled observations, it had high accuracy for the prediction of the SOC baseline map and minimal uncertainty.


title: A classical complex $\phi^4$ scalar field in a gauge background

abstract: We solve the equations of motion of a complex $\phi^4$ theory coupled to some given gauge field background. The solutions are given in both cylindrical and spherical coordinates and have finite energy.


title: An Object Oriented Approach For the Protection of Information Systems

abstract: We provide a protection system making use of encapsulation, messages communication, interface functions coming from an object oriented model described in previous works. Each user represents himself to the system by the mean of his "USER" object type. The recognition procedure is suitable to every one's needs. Any user's objects and types are labeled with a personal signature, exclusively provided and known by the system. Administrator's rights are restricted to backup procedures. The system verify each messages access, it is robust because partitioned, flexible, suitable and psychologically acceptable.